title: When Children Program Intelligent Environments: Lessons Learned from a Serious AR Game

abstract: While the body of research focusing on Intelligent Environments (IEs) programming by adults is steadily growing, informed insights about children as programmers of such environments are limited. Previous work already established that young children can learn programming basics. Yet, there is still a need to investigate whether this capability can be transferred in the context of IEs, since encouraging children to participate in the management of their intelligent surroundings can enhance responsibility, independence, and the spirit of cooperation. We performed a user study (N=15) with children aged 7-12, using a block-based, gamified AR spatial coding prototype allowing to manipulate smart artifacts in an Intelligent Living room. Our results validated that children understand and can indeed program IEs. Based on our findings, we contribute preliminary implications regarding the use of specific technologies and paradigms (e.g. AR, trigger-action programming) to inspire future systems that enable children to create enriching experiences in IEs.


title: Scene Understanding for Autonomous Driving

abstract: To detect and segment objects in images based on their content is one of the most active topics in the field of computer vision. Nowadays, this problem can be addressed using Deep Learning architectures such as Faster R-CNN or YOLO, among others. In this paper, we study the behaviour of different configurations of RetinaNet, Faster R-CNN and Mask R-CNN presented in Detectron2. First, we evaluate qualitatively and quantitatively (AP) the performance of the pre-trained models on KITTI-MOTS and MOTSChallenge datasets. We observe a significant improvement in performance after fine-tuning these models on the datasets of interest and optimizing hyperparameters. Finally, we run inference in unusual situations using out of context datasets, and present interesting results that help us understanding better the networks.


title: VICReg: Variance-Invariance-Covariance Regularization for Self-Supervised Learning

abstract: Recent self-supervised methods for image representation learning are based on maximizing the agreement between embedding vectors from different views of the same image. A trivial solution is obtained when the encoder outputs constant vectors. This collapse problem is often avoided through implicit biases in the learning architecture, that often lack a clear justification or interpretation. In this paper, we introduce VICReg (Variance-Invariance-Covariance Regularization), a method that explicitly avoids the collapse problem with a simple regularization term on the variance of the embeddings along each dimension individually. VICReg combines the variance term with a decorrelation mechanism based on redundancy reduction and covariance regularization, and achieves results on par with the state of the art on several downstream tasks. In addition, we show that incorporating our new variance term into other methods helps stabilize the training and leads to performance improvements.


title: The scalars $a_0(980)$ and $f_0(980)$ in the process $D_s^+ \to K^{+} K^{-} \pi^{+}$

abstract: In this work, we have investigated the process $D_s^+\to K^+ K^- \pi^+$, taking into account the contributions from the $S$-wave pseudoscalar-pseudoscalar interaction within the chiral unitary approach, and also the intermediate $\phi$ resonance. By analyzing the BESIII and {\it BABAR} measurements, we conclude that the $f_0(980)$ state, dynamically generated from the $S$-wave pseudoscalar-pseudoscalar interaction, gives the dominant contribution close to the $K^+K^-$ threshold in the $K^+K^-$ invariant mass distribution of the decay $D_s^+\to K^+ K^- \pi^+$ in $S$-wave. On the other hand, our results imply that the lineshape adopted by BESIII and {\it BABAR} for the resonances $a_0(980)$ and $f_0(980)$ is not advisable in the fit to the data close to the $K^+K^-$ threshold.


title: Video Surveillance for Road Traffic Monitoring

abstract: This paper presents the learned techniques during the Video Analysis Module of the Master in Computer Vision from the Universitat Aut\`onoma de Barcelona, used to solve the third track of the AI-City Challenge. This challenge aims to track vehicles across multiple cameras placed in multiple intersections spread out over a city. The methodology followed focuses first in solving multi-tracking in a single camera and then extending it to multiple cameras. The qualitative results of the implemented techniques are presented using standard metrics for video analysis such as mAP for object detection and IDF1 for tracking. The source code is publicly available at: https://github.com/mcv-m6-video/mcv-m6-2021-team4.


title: Accountability and Reconfiguration: Self-Healing Lattice Agreement

abstract: An accountable distributed system provides means to detect deviations of system components from their expected behavior. It is natural to complement fault detection with a reconfiguration mechanism, so that the system could heal itself, by replacing malfunctioning parts with new ones. In this paper, we describe a framework that can be used to implement a large class of accountable and reconfigurable replicated services. We build atop the fundamental lattice agreement abstraction lying at the core of storage systems and cryptocurrencies. Our asynchronous implementation of accountable lattice agreement ensures that every violation of consistency is followed by an undeniable evidence of misbehavior of a faulty replica. The system can then be seamlessly reconfigured by evicting faulty replicas, adding new ones and merging inconsistent states. We believe that this paper opens a direction towards asynchronous "self-healing" systems that combine accountability and reconfiguration.


title: Splitting recursion schemes into reversible and classical interacting threads

abstract: Given a simple recursive function, we show how to extract from it a reversible and an classical iterative part. Those parts can synchronously cooperate under a Producer/Consumer pattern in order to implement the original recursive function. The reversible producer is meant to run on reversible hardware. We also discuss how to extend the extraction to a more general compilation scheme.


title: Equivariant multiplicities via representations of quantum affine algebras

abstract: For any simply-laced type simple Lie algebra $\mathfrak{g}$ and any height function $\xi$ adapted to an orientation $Q$ of the Dynkin diagram of $\mathfrak{g}$, Hernandez-Leclerc introduced a certain category $\mathcal{C}^{\leq \xi}$ of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$, as well as a subcategory $\mathcal{C}_Q$ of $\mathcal{C}^{\leq \xi}$ whose complexified Grothendieck ring is isomorphic to the coordinate ring $\mathbb{C}[\mathbf{N}]$ of a maximal unipotent subgroup. In this paper, we define an algebraic morphism $\widetilde{D}_{\xi}$ on a torus $\mathcal{Y}^{\leq \xi}$ containing the image of $K_0(\mathcal{C}^{\leq \xi})$ under the truncated $q$-character morphism. We prove that the restriction of $\widetilde{D}_{\xi}$ to $K_0(\mathcal{C}_Q)$ coincides with the morphism $\overline{D}$ recently introduced by Baumann-Kamnitzer-Knutson in their study of equivariant multiplicities of Mirkovi\'c-Vilonen cycles. This is achieved using the T-systems satisfied by the characters of Kirillov-Reshetikhin modules in $\mathcal{C}_Q$, as well as certain results by Brundan-Kleshchev-McNamara on the representation theory of quiver Hecke algebras. This alternative description of $\overline{D}$ allows us to prove a conjecture by the first author on the distinguished values of $\overline{D}$ on the flag minors of $\mathbb{C}[\mathbf{N}]$. We also provide applications of our results from the perspective of Kang-Kashiwara-Kim-Oh's generalized Schur-Weyl duality. Finally, we define a cluster algebra $\overline{\mathcal{A}}_Q$ as a subquotient of $K_0(\mathcal{C}^{\leq \xi})$ naturally containing $\mathbb{C}[\mathbf{N}]$, and suggest the existence of an analogue of the Mirkovi\'c-Vilonen basis in $\overline{\mathcal{A}}_Q$ on which the values of $\widetilde{D}_{\xi}$ may be interpreted as certain equivariant multiplicities.


title: On Unbiased Score Estimation for Partially Observed Diffusions

abstract: We consider the problem of statistical inference for a class of partially-observed diffusion processes, with discretely-observed data and finite-dimensional parameters. We construct unbiased estimators of the score function, i.e. the gradient of the log-likelihood function with respect to parameters, with no time-discretization bias. These estimators can be straightforwardly employed within stochastic gradient methods to perform maximum likelihood estimation or Bayesian inference. As our proposed methodology only requires access to a time-discretization scheme such as the Euler-Maruyama method, it is applicable to a wide class of diffusion processes and observation models. Our approach is based on a representation of the score as a smoothing expectation using Girsanov theorem, and a novel adaptation of the randomization schemes developed in Mcleish [2011], Rhee and Glynn [2015], Jacob et al. [2020a]. This allows one to remove the time-discretization bias and burn-in bias when computing smoothing expectations using the conditional particle filter of Andrieu et al. [2010]. Central to our approach is the development of new couplings of multiple conditional particle filters. We prove under assumptions that our estimators are unbiased and have finite variance. The methodology is illustrated on several challenging applications from population ecology and neuroscience.


title: Role of Artificial Intelligence in Detection of Hateful Speech for Hinglish Data on Social Media

abstract: Social networking platforms provide a conduit to disseminate our ideas, views and thoughts and proliferate information. This has led to the amalgamation of English with natively spoken languages. Prevalence of Hindi-English code-mixed data (Hinglish) is on the rise with most of the urban population all over the world. Hate speech detection algorithms deployed by most social networking platforms are unable to filter out offensive and abusive content posted in these code-mixed languages. Thus, the worldwide hate speech detection rate of around 44% drops even more considering the content in Indian colloquial languages and slangs. In this paper, we propose a methodology for efficient detection of unstructured code-mix Hinglish language. Fine-tuning based approaches for Hindi-English code-mixed language are employed by utilizing contextual based embeddings such as ELMo (Embeddings for Language Models), FLAIR, and transformer-based BERT (Bidirectional Encoder Representations from Transformers). Our proposed approach is compared against the pre-existing methods and results are compared for various datasets. Our model outperforms the other methods and frameworks.


title: Implementation of hybridly protected quantum gates

abstract: We explore the implementation of hybridly protected quantum operations combining the merits of holonomy, dynamical decoupling approach and dephasing-free feature based on a simple and experimentally achievable spin model. The implementation of the quantum operations can be achieved in different physical systems with controllable parameters. The protected quantum operations are hence controllable, well-suited for resolving various quantum computation tasks, such as executing quantum error-correction codes or quantum error mitigation. Our scheme is based on experimentally achievable Hamiltonian with reduced requirement of computational resources and thus, it brings us closer towards realizing protected quantum operations for resolving quantum computation tasks in near-term quantum devices.


title: Gathering avoiding centralized pedestrian advice framework: an application for Covid-19 outbreak restrictions

abstract: Due to the COVID-19 pandemic, the focus on everydays mobility has been shifted from traditional means of transport to how to safely commute for work and/or move around the neighbourhood. Maintaining the safe distance among pedestrian becomes crucial in big pedestrian networks. Looking at personal goals, such as walking through the shortest path, could lead to congestion phenomena on both roadsand crossroads violating the imposed regulations. We suggest a centralized multi-objective approach able to assign alternative fair paths for users while maintaining the congestion level as lower as possible. Computational results show that, even considering paths that are not longer than the 1% with respect to the shortest path for each pedestrian, the congestion phenomena are reduced of more than the 50%


title: Pruning of Deep Spiking Neural Networks through Gradient Rewiring

abstract: Spiking Neural Networks (SNNs) have been attached great importance due to their biological plausibility and high energy-efficiency on neuromorphic chips. As these chips are usually resource-constrained, the compression of SNNs is thus crucial along the road of practical use of SNNs. Most existing methods directly apply pruning approaches in artificial neural networks (ANNs) to SNNs, which ignore the difference between ANNs and SNNs, thus limiting the performance of the pruned SNNs. Besides, these methods are only suitable for shallow SNNs. In this paper, inspired by synaptogenesis and synapse elimination in the neural system, we propose gradient rewiring (Grad R), a joint learning algorithm of connectivity and weight for SNNs, that enables us to seamlessly optimize network structure without retraining. Our key innovation is to redefine the gradient to a new synaptic parameter, allowing better exploration of network structures by taking full advantage of the competition between pruning and regrowth of connections. The experimental results show that the proposed method achieves minimal loss of SNNs' performance on MNIST and CIFAR-10 dataset so far. Moreover, it reaches a $\sim$3.5% accuracy loss under unprecedented 0.73% connectivity, which reveals remarkable structure refining capability in SNNs. Our work suggests that there exists extremely high redundancy in deep SNNs. Our codes are available at https://github.com/Yanqi-Chen/Gradient-Rewiring.


title: Extremal independence in discrete random systems

abstract: Let $\mathbf{X}(n) \in \mathbb{R}^d$ be a sequence of random vectors, where $n\in\mathbb{N}$ and $d = d(n)$. Under certain weakly dependence conditions, we prove that the distribution of the maximal component of $\mathbf{X}$ and the distribution of the maximum of their independent copies are asymptotically equivalent. Our result on extremal independence relies on new lower and upper bounds for the probability that none of a given finite set of events occurs. As applications, we obtain the distribution of various extremal characteristics of random discrete structures such as maximum codegree in binomial random hypergraphs and the maximum number of cliques sharing a given vertex in binomial random graphs. We also generalise Berman-type conditions for a sequence of Gaussian random vectors to possess the extremal independence property.


title: Mild parametrizations of power-subanalytic sets

abstract: We obtain two uniform parametrization theorems for families of bounded sets definable in $\mathbb R_{an}^{\mathbb R}$. Let $X = \{X_t \subset (0,1)^n \mid t \in T\}$ be a definable family of sets $X_t$ of dimension at most $m$. Firstly, $X_t$ admits a $C^r$-parametrization consisting of $cr^m$ maps for some positive constant $c = c(X)$, which is uniform in $t$. Secondly, $X_t$ admits a $C$-mild parametrization for any $C>1$, which is also uniform in $t$.


title: Agatha: Smart Contract for DNN Computation

abstract: Smart contract is one of the core features of Ethereum and has inspired many blockchain descendants. Since its advent, the verification paradigm of smart contract has been improving toward high scalability. It shifts from the expensive on-chain verification to the orchestration of off-chain VM (virtual machine) execution and on-chain arbitration with the pinpoint protocol. The representative projects are TrueBit, Arbitrum, YODA, ACE, and Optimism. Inspired by visionaries in academia and industry, we consider the DNN computation to be promising but on the next level of complexity for the verification paradigm of smart contract. Unfortunately, even for the state-of-the-art verification paradigm, off-chain VM execution of DNN computation has an orders-of-magnitude slowdown compared to the native off-chain execution. To enable the native off-chain execution of verifiable DNN computation, we present Agatha system, which solves the significant challenges of misalignment and inconsistency: (1) Native DNN computation has a graph-based computation paradigm misaligned with previous VM-based execution and arbitration; (2) Native DNN computation may be inconsistent cross platforms which invalidates the verification paradigm. In response, we propose the graph-based pinpoint protocol (GPP) which enables the pinpoint protocol on computational graphs, and bridges the native off-chain execution and the contract arbitration. We also develop a technique named Cross-evaluator Consistent Execution (XCE), which guarantees cross-platform consistency and forms the correctness foundation of GPP. We showcase Agatha for the DNN computation of popular models (MobileNet, ResNet50 and VGG16) on Ethereum. Agatha achieves a negligible on-chain overhead, and an off-chain execution overhead of 3.0%, which represents an off-chain latency reduction of at least 602x compared to the state-of-the-art verification paradigm.


title: More Powerful Conditional Selective Inference for Generalized Lasso by Parametric Programming

abstract: Conditional selective inference (SI) has been studied intensively as a new statistical inference framework for data-driven hypotheses. The basic concept of conditional SI is to make the inference conditional on the selection event, which enables an exact and valid statistical inference to be conducted even when the hypothesis is selected based on the data. Conditional SI has mainly been studied in the context of model selection, such as vanilla lasso or generalized lasso. The main limitation of existing approaches is the low statistical power owing to over-conditioning, which is required for computational tractability. In this study, we propose a more powerful and general conditional SI method for a class of problems that can be converted into quadratic parametric programming, which includes generalized lasso. The key concept is to compute the continuum path of the optimal solution in the direction of the selected test statistic and to identify the subset of the data space that corresponds to the model selection event by following the solution path. The proposed parametric programming-based method not only avoids the aforementioned major drawback of over-conditioning, but also improves the performance and practicality of SI in various respects. We conducted several experiments to demonstrate the effectiveness and efficiency of our proposed method.


title: Cauchy's formula on nonempty closed sets and a new notion of Riemann--Liouville fractional integral on time scales

abstract: We prove Cauchy's formula for repeated integration on time scales. The obtained relation gives rise to new notions of fractional integration and differentiation on arbitrary nonempty closed sets.


title: Using Deep Neural Networks to Predict and Improve the Performance of Polar Codes

abstract: Polar codes can theoretically achieve very competitive Frame Error Rates. In practice, their performance may depend on the chosen decoding procedure, as well as other parameters of the communication system they are deployed upon. As a consequence, designing efficient polar codes for a specific context can quickly become challenging. In this paper, we introduce a methodology that consists in training deep neural networks to predict the frame error rate of polar codes based on their frozen bit construction sequence. We introduce an algorithm based on Projected Gradient Descent that leverages the gradient of the neural network function to generate promising frozen bit sequences. We showcase on generated datasets the ability of the proposed methodology to produce codes more efficient than those used to train the neural networks, even when the latter are selected among the most efficient ones.


title: An algebraic approach to the Kuramoto model

abstract: We study the Kuramoto model with attractive sine coupling. We introduce a complex-valued matrix formulation whose argument coincides with the original Kuramoto dynamics. We derive an exact solution for the complex-valued model, which permits analytical insight into individual realizations of the Kuramoto model. The existence of a complex-valued form of the Kuramoto model provides a key demonstration that, in some cases, re-formulations of nonlinear dynamics in higher-order number fields may provide tractable analytical approaches.


title: Preconvergence of the randomized extended Kaczmarz method

abstract: In this paper, we analyze the convergence behavior of the randomized extended Kaczmarz (REK) method for all types of linear systems (consistent or inconsistent, overdetermined or underdetermined, full-rank or rank-deficient). The analysis shows that the larger the singular value of $A$ is, the faster the error decays in the corresponding right singular vector space, and as $k\rightarrow\infty$, $x_{k}-x_{\star}$ tends to the right singular vector corresponding to the smallest singular value of $A$, where $x_{k}$ is the $k$th approximation of the REK method and $x_{\star}$ is the minimum $\ell_2 $-norm least squares solution. These results explain the phenomenon found in the extensive numerical experiments appearing in the literature that the REK method seems to converge faster in the beginning. A simple numerical example is provided to confirm the above findings.


title: A parabolic approach to the Calabi-Yau problem in HKT geometry

abstract: We consider the natural generalization of the parabolic Monge-Amp\`ere equation to HKT geometry. We prove that in the compact case the equation has always a short-time solution and when the hypercomplex manifold is locally flat and admits a hyperk\"ahler metric, then the equation has a long-time solution whose normalization converges to a solution of the quaternionic Monge-Amp\`ere equation introduced by Alesker and Verbitsky. The result gives an alternative proof of a theorem of Alesker.


title: Rotational smoothing

abstract: Rotational smoothing is a phenomenon consisting in a gain of regularity by means of averaging over rotations. This phenomenon is present in operators that regularize only in certain directions, in contrast to operators regularizing in all directions. The gain of regularity is the result of rotating the directions where the corresponding operator performs the smoothing effect. In this paper we carry out a systematic study of the rotational smoothing for a class of operators that includes $k$-vector-space Riesz potentials in $\mathbb{R}^n$ with $k < n$, and the convolution with fundamental solutions of elliptic constant-coefficient differential operators acting on $k$-dimensional linear subspaces. Examples of the latter type of operators are the planar Cauchy transform in $\mathbb{R}^n$, or a solution operator for the transport equation in $\mathbb{R}^n$. The analysis of rotational smoothing is motivated by the resolution of some inverse problems under low-regularity assumptions.


title: Resolvent-based approach for H2-optimal estimation and control: an application to the cylinder flow

abstract: We consider estimation and control of the cylinder wake at low Reynolds numbers. A particular focus is on the development of efficient numerical algorithms to design optimal linear feedback controllers when there are many inputs (disturbances applied everywhere) and many outputs (perturbations measured everywhere). We propose a resolvent-based iterative algorithm to perform i) optimal estimation of the flow using a limited number of sensors; and ii) optimal control of the flow when the entire flow is known but only a limited number of actuators are available for control. The method uses resolvent analysis to take advantage of the low-rank characteristics of the cylinder wake and solutions are obtained without any model-order reduction. Optimal feedback controllers are also obtained by combining the solutions of the estimation and control problems. We show that the performance of the estimators and controllers converges to the true global optima, indicating that the important physical mechanisms for estimation and control are of low rank.


title: Note on the $q$-Logarithmic Sobolev and $p$-Talagrand Inequalities on Carnot Groups

abstract: In the setting of Carnot groups, we prove the $q-$Logarithmic Sobolev inequality for probability measures as a function of the Carnot-Carath\'eodory distance. As an application, we use the Hamilton-Jacobi equation in the setting of Carnot groups to prove the $p-$Talagrand inequality and hypercontractivity.


title: Asynchronous Template Games and the Gray Tensor Product of 2-Categories

abstract: In his recent and exploratory work on template games and linear logic, Melli\`es defines sequential and concurrent games as categories with positions as objects and trajectories as morphisms, labelled by a specific synchronization template. In the present paper, we bring the idea one dimension higher and advocate that template games should not be just defined as 1-dimensional categories but as 2-dimensional categories of positions, trajectories and reshufflings (or reschedulings) as 2-cells. In order to achieve the purpose, we take seriously the parallel between asynchrony in concurrency and the Gray tensor product of 2-categories. One technical difficulty on the way is that the category S=2-Cat of small 2-categories equipped with the Gray tensor product is monoidal, and not cartesian. This prompts us to extend the framework of template games originally formulated by Melli\`es in a category S with finite limits, and to upgrade it in the style of Aguiar's work on quantum groups to the more general situation of a monoidal category S with coreflexive equalizers, preserved by the tensor product componentwise. We construct in this way an asynchronous template game semantics of multiplicative additive linear logic (MALL) where every formula and every proof is interpreted as a labelled 2-category equipped, respectively, with the structure of Gray comonoid for asynchronous template games, and of Gray bicomodule for asynchronous strategies.


title: Exponential stabilization on infinite dimensional system with impulse controls

abstract: This paper studies the exponential stabilization on infinite dimensional system with impulse controls, where impulse instants appear periodically. The first main result shows that exponential stabilizability of the control system with a periodic feedback law is equivalent to one kind of weak observability inequalities. The second main result presents that, in the setting of a discrete LQ problem, the exponential stabilizability of control system with a periodic feedback law is equivalent to the solvability of an algebraic Riccati-type equation which was built up in [Qin, Wang and Yu, SIAM J. Control Optim., 59 (2021), pp. 1136-1160] for finite dimensional system. As an application, some sufficient and necessary condition for the exponential stabilization of an impulse controlled system governed by coupled heat equations is given.


title: Characterising atmospheric gravity waves on the nightside lower clouds of Venus: a systematic analysis

abstract: We present the detection and characterisation of mesoscale waves on the lower clouds of Venus using images from the Visible Infrared Thermal Imaging Spectrometer onboard the European Venus Express space mission and from the 2 $\mu$m camera (IR2) instrument onboard the Japanese space mission Akatsuki. We used image navigation and processing techniques based on contrast enhancement and geometrical projections to characterise morphological properties of the detected waves, such as horizontal wavelength and the relative optical thickness drop between crests and troughs. Additionally, we performed phase velocity and trajectory tracking of wave packets. We combined these observations to derive other properties of the waves such as the vertical wavelength of detected packets. Our observations include 13 months of data from August 2007 to October 2008, and the entire available data set of IR2 from January to November 2016.We characterised almost 300 wave packets across more than 5500 images over a broad region of the globe of Venus. Our results show a wide range of properties and are not only consistent with previous observations but also expand upon them, taking advantage of two instruments that target the same cloud layer of Venus across multiple periods. In general, waves observed on the nightside lower cloud are of a larger scale than the gravity waves reported in the upper cloud. This paper is intended to provide a more in-depth view of atmospheric gravity waves on the lower cloud and enable follow-up works on their influence in the general circulation of Venus.


title: One Shot Face Swapping on Megapixels

abstract: Face swapping has both positive applications such as entertainment, human-computer interaction, etc., and negative applications such as DeepFake threats to politics, economics, etc. Nevertheless, it is necessary to understand the scheme of advanced methods for high-quality face swapping and generate enough and representative face swapping images to train DeepFake detection algorithms. This paper proposes the first Megapixel level method for one shot Face Swapping (or MegaFS for short). Firstly, MegaFS organizes face representation hierarchically by the proposed Hierarchical Representation Face Encoder (HieRFE) in an extended latent space to maintain more facial details, rather than compressed representation in previous face swapping methods. Secondly, a carefully designed Face Transfer Module (FTM) is proposed to transfer the identity from a source image to the target by a non-linear trajectory without explicit feature disentanglement. Finally, the swapped faces can be synthesized by StyleGAN2 with the benefits of its training stability and powerful generative capability. Each part of MegaFS can be trained separately so the requirement of our model for GPU memory can be satisfied for megapixel face swapping. In summary, complete face representation, stable training, and limited memory usage are the three novel contributions to the success of our method. Extensive experiments demonstrate the superiority of MegaFS and the first megapixel level face swapping database is released for research on DeepFake detection and face image editing in the public domain. The dataset is at this link.


title: Fusion of 16O+165Ho at deep sub-barrier energies

abstract: Fusion cross-sections have been measured for the asymmetric system 16O+165Ho at energies near and deep below the Coulomb barrier with an aim to investigate the occurrence of fusion hindrance for the system. Fusion cross sections down to ~ 700 nb have been measured using the off-beam gamma-ray technique. The fusion cross sections have been compared with the coupled channel calculations. Although the onset of fusion hindrance could not be observed experimentally, an indication of a small deviation of the experimental fusion cross-sections with respect to the calculated cross-sections could be observed at the lowest energy measured. However, the energy onset of fusion hindrance has been obtained from the extrapolation technique and is found to be about 2 MeV below the lowest energy of the present measurement.


title: A Hybrid Decomposition-based Multi-objective Evolutionary Algorithm for the Multi-Point Dynamic Aggregation Problem

abstract: An emerging optimisation problem from the real-world applications, named the multi-point dynamic aggregation (MPDA) problem, has become one of the active research topics of the multi-robot system. This paper focuses on a multi-objective MPDA problem which is to design an execution plan of the robots to minimise the number of robots and the maximal completion time of all the tasks. The strongly-coupled relationships among robots and tasks, the redundancy of the MPDA encoding, and the variable-size decision space of the MO-MPDA problem posed extra challenges for addressing the problem effectively. To address the above issues, we develop a hybrid decomposition-based multi-objective evolutionary algorithm (HDMOEA) using $ \varepsilon $-constraint method. It selects the maximal completion time of all tasks as the main objective, and converted the other objective into constraints. HDMOEA decomposes a MO-MPDA problem into a series of scalar constrained optimization subproblems by assigning each subproblem with an upper bound robot number. All the subproblems are optimized simultaneously with the transferring knowledge from other subproblems. Besides, we develop a hybrid population initialisation mechanism to enhance the quality of initial solutions, and a reproduction mechanism to transmit effective information and tackle the encoding redundancy. Experimental results show that the proposed HDMOEA method significantly outperforms the state-of-the-art methods in terms of several most-used metrics.


title: Sparse image reconstruction on the sphere: a general approach with uncertainty quantification

abstract: Inverse problems defined naturally on the sphere are becoming increasingly of interest. In this article we provide a general framework for evaluation of inverse problems on the sphere, with a strong emphasis on flexibility and scalability. We consider flexibility with respect to the prior selection (regularization), the problem definition - specifically the problem formulation (constrained/unconstrained) and problem setting (analysis/synthesis) - and optimization adopted to solve the problem. We discuss and quantify the trade-offs between problem formulation and setting. Crucially, we consider the Bayesian interpretation of the unconstrained problem which, combined with recent developments in probability density theory, permits rapid, statistically principled uncertainty quantification (UQ) in the spherical setting. Linearity is exploited to significantly increase the computational efficiency of such UQ techniques, which in some cases are shown to permit analytic solutions. We showcase this reconstruction framework and UQ techniques on a variety of spherical inverse problems. The code discussed throughout is provided under a GNU general public license, in both C++ and Python.


title: First measurements of $N$-subjettiness in central Pb$-$Pb collisions at ${\sqrt{\it{s}_{\rm {NN}}}} = 2.76$ TeV

abstract: The ALICE Collaboration reports the first fully-corrected measurements of the $N$-subjettiness observable for track-based jets in heavy-ion collisions. This study is performed using data recorded in pp and Pb$-$Pb collisions at centre-of-mass energies of $\sqrt{s} = 7$ TeV and $\sqrt{s_{\rm NN}} = 2.76$\,TeV, respectively. In particular the ratio of 2-subjettiness to 1-subjettiness, $\tau_{2}/\tau_{1}$, which is sensitive to the rate of two-pronged jet substructure, is presented. Energy loss of jets traversing the strongly interacting medium in heavy-ion collisions is expected to change the rate of two-pronged substructure relative to vacuum. The results are presented for jets with a resolution parameter of $R = 0.4$ and charged jet transverse momentum of $40 \leq p_{\rm T,\rm jet} \leq 60$ GeV/$c$, which constitute a larger jet resolution and lower jet transverse momentum interval than previous measurements in heavy-ion collisions. This has been achieved by utilising a semi-inclusive hadron-jet coincidence technique to suppress the larger jet combinatorial background in this kinematic region. No significant modification of the $\tau_{2}/\tau_{1}$ observable for track-based jets in Pb--Pb collisions is observed relative to vacuum PYTHIA6 and PYTHIA8 references at the same collision energy. The measurements of $\tau_{2}/\tau_{1}$, together with the splitting aperture angle $\Delta R$, are also performed in pp collisions at $\sqrt{s}=7$ TeV for inclusive jets. These results are compared with PYTHIA calculations at $\sqrt{s}=7$ TeV, in order to validate the model as a vacuum reference for the Pb$-$Pb centre-of-mass energy. The PYTHIA references for $\tau_{2}/\tau_{1}$ are shifted to larger values compared to the measurement in pp collisions. This hints at a reduction in the rate of two-pronged jets in Pb--Pb collisions compared to pp collisions.


title: Accelerating the SpMV kernel on standard CPUs by exploiting the partially diagonal structures

abstract: Sparse Matrix Vector multiplication (SpMV) is one of basic building blocks in scientific computing, and acceleration of SpMV has been continuously required. In this research, we aim for accelerating SpMV on recent CPUs for sparse matrices that have a specific sparsity structure, namely a diagonally structured sparsity pattern. We focus a hybrid storage format that combines the DIA and CSR formats, so-called the HDC format. First, we recall the importance of introducing cache blocking techniques into HDC-based SpMV kernels. Next, based on the observation of the cache blocked kernel, we present a modified version of the HDC formats, which we call the M-HDC format, in which partial diagonal structures are expected to be more efficiently picked up. For these SpMV kernels, we theoretically analyze the expected performance improvement based on performance models. Then, we conduct comprehensive experiments on state-of-the-art multi-core CPUs. By the experiments using typical matrices, we clarify the detailed performance characteristics of each SpMV kernel. We also evaluate the performance for matrices appearing in practical applications and demonstrate that our approach can accelerate SpMV for some of them. Through the present paper, we demonstrate the effectiveness of exploiting partial diagonal structures by the M-HDC format as a promising approach to accelerating SpMV on CPUs for a certain kind of practical sparse matrices.


title: {\gamma}-GeSe:a new hexagonal polymorph from group IV-VI monochalcogenides

abstract: The family of group IV-VI monochalcogenides has an atomically puckered layered structure, and their atomic bond configuration suggests the possibility for the realization of various polymorphs. Here, we report the synthesis of the first hexagonal polymorph from the family of group IV-VI monochalcogenides, which is conventionally orthorhombic. Recently predicted four-atomic-thick hexagonal GeSe, so-called {\gamma}-GeSe, is synthesized and clearly identified by complementary structural characterizations, including elemental analysis, electron diffraction, high-resolution transmission electron microscopy imaging, and polarized Raman spectroscopy. The electrical and optical measurements indicate that synthesized {\gamma}-GeSe exhibits high electrical conductivity of 3x10^5 S/m, which is comparable to those of other two-dimensional layered semimetallic crystals. Moreover, {\gamma}-GeSe can be directly grown on h-BN substrates, demonstrating a bottom-up approach for constructing vertical van der Waals heterostructures incorporating {\gamma}-GeSe. The newly identified crystal symmetry of {\gamma}-GeSe warrants further studies on various physical properties of {\gamma}-GeSe.


title: Photoconversion of shallow nitrogen-vacancy centers in flat and nanostructured diamond under high-power laser irradiation

abstract: Shallow, negatively-charged Nitrogen-Vacancy centers (NV-) in diamond have been proposed for high-sensitivity magnetometry and spin-polarization transfer applications. However, surface effects tend to favor and stabilize the less useful neutral form, the NV0 centers. Here, we report the effects of green laser irradiation on ensembles of nanometer-shallow NV centers in flat and nanostructured diamond surfaces as a function of laser power in a range not previously explored (up to 150 mW/{\mu}m2). Raman spectroscopy, optically-detected-magnetic-resonance (ODMR) and charge-photoconversion fluorescence detection are applied to characterize the properties and dynamics of NV- and NV0 centers. We demonstrate that high laser power strongly promotes photoconversion of NV0 to NV- centers. Surprisingly, the excess NV- population is stable over a time scale of one hundred milliseconds after switching off the laser, resulting in long-lived enrichment of shallow NV-. The beneficial effect of photoconversion is less marked in nanostructured samples. Our results are important to inform the design of samples and experimental procedures for applications relying on ensembles of shallow NV- centers in diamond.


title: Optimal Sampling Algorithms for Block Matrix Multiplication

abstract: In this paper, we investigate the randomized algorithms for block matrix multiplication from random sampling perspective. Based on the A-optimal design criterion, the optimal sampling probabilities and sampling block sizes are obtained. To improve the practicability of the block sizes, two modified ones with less computation cost are provided. With respect to the second one, a two step algorithm is also devised. Moreover, the probability error bounds for the proposed algorithms are given. Extensive numerical results show that our methods outperform the existing one in the literature.


title: Long time dynamics of non-radial solutions to inhomogeneous nonlinear Schr\"odinger equations

abstract: We study long time dynamics of non-radial solutions to the focusing inhomogeneous nonlinear Schr\"odinger equation. By using the concentration/compactness and rigidity method, we establish a scattering criterion for non-radial solutions to the equation. We also prove a non-radial blow-up criterion for the equation whose proof makes use of localized virial estimates. As a byproduct of these criteria, we study long time dynamics of non-radial solutions to the equation with data lying below, at, and above the ground state threshold. In addition, we provide a new argument showing the existence of finite time blow-up solution to the equation with cylindrically symmetric data. The ideas developed in this paper are robust and can be applicable to other types of nonlinear Schr\"odinger equations.


title: A heuristic derivation of linear recurrence relations for $\zeta '(-2k)$ and $\zeta(2k+1)$

abstract: We have gone back to old methods found in the historical part of Hardy's Divergent Series well before the invention of the modern analytic continuation to use formal manipulation of harmonic sums which produce some interesting formulae. These are linear recurrence relations for $\displaystyle{ \sum_{n=1}^\infty H_n n^k}$ which in turn yield linear recurrence relations for $\zeta '(-k)$ and hence using the functional equation to a linear recurrence relation for $\zeta '(2k)$ and $\zeta (2k+1)$. Questions of rigor have been postponed to a subsequent preprint.


title: Ultra spin liquid in $\rm Lu_3Cu_2Sb_3O_{14}$

abstract: We analyze measurements of $C_{\rm mag}/T$, specific heat $C_{\rm mag}$ divided by temperature $T$, of the recently observed ultra spin liquid. The measurements are carried out in magnetic fields on the triangular lattice compound $\rm Lu_3Cu_2Sb_3O_{14}$. We show that the obtained heat capacity $C_{\rm mag}/T$ formed by ultra spin liquid as a function of temperature $T$ versus magnetic field $B$ behaves very similar to the electronic specific heat $C_{el}/T$ of the heavy fermion (HF) metal $\rm YbRh_2Si_2$ and that of the quantum magnet $\rm ZnCu_3(OH)_6Cl_2$. We further demonstrate that the spinon effective mass $M^*\propto C_{\rm mag}/T$ exhibits the universal scaling coinciding with that observed in HF metals and in $\rm ZnCu_3(OH)_6Cl_2$. Based on these observations we conclude that a strongly correlated spin liquid determines the thermodynamic properties of the ultra spin liquid of $\rm Lu_3Cu_2Sb_3O_{14}$.


title: Predicting Gene-Disease Associations with Knowledge Graph Embeddings over Multiple Ontologies

abstract: Ontology-based approaches for predicting gene-disease associations include the more classical semantic similarity methods and more recently knowledge graph embeddings. While semantic similarity is typically restricted to hierarchical relations within the ontology, knowledge graph embeddings consider their full breadth. However, embeddings are produced over a single graph and complex tasks such as gene-disease association may require additional ontologies. We investigate the impact of employing richer semantic representations that are based on more than one ontology, able to represent both genes and diseases and consider multiple kinds of relations within the ontologies. Our experiments demonstrate the value of employing knowledge graph embeddings based on random-walks and highlight the need for a closer integration of different ontologies.


title: Interactions Between a Responsive Microgel Monolayer and a Rigid Colloid: From Soft to Hard Interfaces

abstract: Responsive poly-N-isopropylacrylamide-based microgels are commonly used as model colloids with soft repulsive interactions. It has been shown that the microgel-microgel interaction in solution can be easily adjusted by varying the environmental parameters, e.g., temperature, pH, or salt concentration. Furthermore, microgels readily adsorb to liquid-gas and liquid-liquid interfaces forming responsive foams and emulsions that can be broken on-demand. In this work, we explore the interactions between microgel monolayers at the air-water interface and a hard colloid in the water. Force-distance curves between the monolayer and a silica particle were measured with the Monolayer Particle Interaction Apparatus. The measurements were conducted at different temperatures and lateral compression, i.e., different surface pressures. The force-distance approach curves display long-range repulsive forces below the volume phase transition temperature of the microgels. Temperature and lateral compression reduce the stiffness of the monolayer. The adhesion increases with temperature and decreases with a lateral compression of the monolayer. When compressed laterally, the interactions between the microgels are hardly affected by temperature, as the directly adsorbed microgel fractions are nearly insensitive to temperature. In contrast, our findings show that the temperature-dependent swelling of the microgel fractions in the aqueous phase strongly influences the interaction with the probe. The microgel monolayer changes from a soft to a hard repulsive interface.


title: Probing Photo-excited Charge Carrier Trapping and Defect Formation in Synergistic Doping of SrTiO3

abstract: Strontium titanate (SrTiO3) is widely used as a promising photocatalyst due to its unique band edge alignment with respect to the oxidation and reduction potential corresponding to oxygen evolution reaction (OER) and hydrogen evolution reaction (HER). However, further enhancement of the photocatalytic activity in this material could be envisaged through the effective control of oxygen vacancy states. This could substantially tune the photoexcited charge carrier trapping under the influence of elemental functionalization in SrTiO3, corresponding to the defect formation energy. The charge trapping states in SrTiO3 decrease through the substitutional doping in Ti sites with p-block elements like Aluminium (Al) with respect to the relative oxygen vacancies. With the help of electronic structure calculations based on density functional theory (DFT) formalism, we have explored the synergistic effect of doping with both Al and Iridium (Ir) in SrTiO3 from the perspective of defect formation energy, band edge alignment and the corresponding charge carrier recombination probability to probe the photoexcited charge carrier trapping that primarily governs the photocatalytic water splitting process. We have also systematically investigated the ratio-effect of Ir:Al functionalization on the position of acceptor levels lying between Fermi and conduction band in oxygen deficient SrTiO3, which governs the charge carrier recombination and therefore the corresponding photocatalytic efficiency.


title: A Euclidean Distance Matrix Model for Convex Clustering

abstract: Clustering has been one of the most basic and essential problems in unsupervised learning due to various applications in many critical fields. The recently proposed sum-of-nums (SON) model by Pelckmans et al. (2005), Lindsten et al. (2011) and Hocking et al. (2011) has received a lot of attention. The advantage of the SON model is the theoretical guarantee in terms of perfect recovery, established by Sun et al. (2018). It also provides great opportunities for designing efficient algorithms for solving the SON model. The semismooth Newton based augmented Lagrangian method by Sun et al. (2018) has demonstrated its superior performance over the alternating direction method of multipliers (ADMM) and the alternating minimization algorithm (AMA). In this paper, we propose a Euclidean distance matrix model based on the SON model. An efficient majorization penalty algorithm is proposed to solve the resulting model. Extensive numerical experiments are conducted to demonstrate the efficiency of the proposed model and the majorization penalty algorithm.


title: Fractal energy gaps and topological invariants in hBN/Graphene/hBN double moir\'{e} systems

abstract: We calculate the electronic structure in quasiperiodic double-moir\'e systems of graphene sandwiched by hexagonal boron nitride, and identify the topological invariants of energy gaps. We find that the electronic spectrum contains a number of minigaps, and they exhibit a recursive fractal structure similar to the Hofstadter butterfly when plotted against the twist angle. Each of the energy gaps can be characterized by a set of integers, which are associated with an area in the momentum space. The corresponding area is geometrically interpreted as a quasi Brillouin zone, which is a polygon enclosed by multiple Bragg planes of the composite periods and can be uniquely specified by the plain wave projection in the weak potential limit.


title: BERT is to NLP what AlexNet is to CV: Can Pre-Trained Language Models Identify Analogies?

abstract: Analogies play a central role in human commonsense reasoning. The ability to recognize analogies such as "eye is to seeing what ear is to hearing", sometimes referred to as analogical proportions, shape how we structure knowledge and understand language. Surprisingly, however, the task of identifying such analogies has not yet received much attention in the language model era. In this paper, we analyze the capabilities of transformer-based language models on this unsupervised task, using benchmarks obtained from educational settings, as well as more commonly used datasets. We find that off-the-shelf language models can identify analogies to a certain extent, but struggle with abstract and complex relations, and results are highly sensitive to model architecture and hyperparameters. Overall the best results were obtained with GPT-2 and RoBERTa, while configurations using BERT were not able to outperform word embedding models. Our results raise important questions for future work about how, and to what extent, pre-trained language models capture knowledge about abstract semantic relations.


title: Dealing with Variability in API Misuse Specification

abstract: APIs are the primary mechanism for developers to gain access to externally defined services and tools. However, previous research has revealed API misuses that violate the contract of APIs to be prevalent. Such misuses can have harmful consequences, especially in the context of cryptographic libraries. Various API misuse detectors have been proposed to address this issue including CogniCrypt, one of the most versatile of such detectors and that uses a language CrySL to specify cryptographic API usage contracts. Nonetheless, existing approaches to detect API misuse had not been designed for systematic reuse, ignoring the fact that different versions of a library, different versions of a platform, and different recommendations or guidelines might introduce variability in the correct usage of an API. Yet, little is known about how such variability impacts the specification of the correct API usage. This paper investigates this question by analyzing the impact of various sources of variability on widely used Java cryptographic libraries including JCA, Bouncy Castle, and Google Tink. The results of our investigation show that sources of variability like new versions of the API and security standards significantly impact the specifications. We then use the insights gained from our investigation to motivate an extension to the CrySL language named MetaCrySL, which builds on meta programming concepts. We evaluate MetaCrySL by specifying usage rules for a family of Android versions and illustrate that MetaCrySL can model all forms of variability we identified and drastically reduce the size of a family of specifications for the correct usage of cryptographic APIs


title: Task-Related Self-Supervised Learning for Remote Sensing Image Change Detection

abstract: Change detection for remote sensing images is widely applied for urban change detection, disaster assessment and other fields. However, most of the existing CNN-based change detection methods still suffer from the problem of inadequate pseudo-changes suppression and insufficient feature representation. In this work, an unsupervised change detection method based on Task-related Self-supervised Learning Change Detection network with smooth mechanism(TSLCD) is proposed to eliminate it. The main contributions include: (1) the task-related self-supervised learning module is introduced to extract spatial features more effectively. (2) a hard-sample-mining loss function is applied to pay more attention to the hard-to-classify samples. (3) a smooth mechanism is utilized to remove some of pseudo-changes and noise. Experiments on four remote sensing change detection datasets reveal that the proposed TSLCD method achieves the state-of-the-art for change detection task.


title: Influence of chiral asymmetry on phase structure of the two-color quark matter

abstract: In this paper the influence of chiral chemical potential $\mu_5$ on the phenomenon of diquark condensation and phase structure of dense quark matter altogether is contemplated in the framework of effective two-color and two-flavor Nambu--Jona-Lasinio model. We show that the duality relations, found $\mu_5=0$, are also valid for any value of $\mu_5\neq0$. Hence the dualities seem to be a real fundamental feature of the phase diagram of two color quark matter, and besides they are a very powerful tool of studying the phase structure. In terms of dualities and the influence on the phase diagram chiral imbalance $\mu_5$ stands alone from other chemical potentials. Two regimes in the phase diagram could be discerned, the first one, rather small or moderate values of chemical potentials $\mu_B$, $\mu_I$ and $\mu_{I5}$, where the picture is rather concise and elegant: each of the above phenomena is in one-to-one correspondence with some chemical potential ($\mu_{I5}$ induces chiral symmetry breaking, $\mu_I$ propels charged pion condensation and $\mu_B$ leads to diquark condensation). In this regime chiral chemical potential $\mu_5$ does not break this correspondence, it has a property of being universal catalyzer, i.e. it {\it catalyzes/enhances} all the phenomena on equal footing. The feature of chiral imbalance $\mu_5$ to catalyze chiral symmetry breaking phenomenon was known before but its catalytic properties appeared to be more universal and it can catalyze also diquark and charged pion condensation. These happen due to the dual properties. In the second regime, when several chemical potentials reach rather large values, one could observe a rather complicated and rich phase structure, and $\mu_5$ can be a factor that not so much catalyzes as {\it triggers} rather peculiar phases. For example, it can lead to the formation of diquark condensation at zero baryon chemical potential.


title: On the Validity of Arrest as a Proxy for Offense: Race and the Likelihood of Arrest for Violent Crimes

abstract: The risk of re-offense is considered in decision-making at many stages of the criminal justice system, from pre-trial, to sentencing, to parole. To aid decision makers in their assessments, institutions increasingly rely on algorithmic risk assessment instruments (RAIs). These tools assess the likelihood that an individual will be arrested for a new criminal offense within some time window following their release. However, since not all crimes result in arrest, RAIs do not directly assess the risk of re-offense. Furthermore, disparities in the likelihood of arrest can potentially lead to biases in the resulting risk scores. Several recent validations of RAIs have therefore focused on arrests for violent offenses, which are viewed as being more accurate reflections of offending behavior. In this paper, we investigate biases in violent arrest data by analysing racial disparities in the likelihood of arrest for White and Black violent offenders. We focus our study on 2007--2016 incident-level data of violent offenses from 16 US states as recorded in the National Incident Based Reporting System (NIBRS). Our analysis shows that the magnitude and direction of the racial disparities depend on various characteristics of the crimes. In addition, our investigation reveals large variations in arrest rates across geographical locations and offense types. We discuss the implications of the observed disconnect between re-arrest and re-offense in the context of RAIs and the challenges around the use of data from NIBRS to correct for the sampling bias.


title: Torsion groups of Mordell curves over number fields of higher degree

abstract: Mordell curves over a number field $K$ are elliptic curves of the form $ y^2 = x^3 + c$, where $c \in K \setminus \{ 0 \}$. Let $p \geq 5$ be a prime number, $K$ a number field such that $[K:\mathbb{Q}] \in \{ 2p, 3p \}$ and let $E$ be a Mordell curve defined over $K$. We classify all the possible torsion subgroups $E(K)_{\text{tors}}$ for all Mordell curves $E$ defined over $\mathbb{Q}$ when $[K: \mathbb{Q}] \in \{2p, 3p \}$.


title: Parton splitting scales of reclustered large-radius jets in high-energy nuclear collisions

abstract: We carry out the first theoretical investigation on yields and the hardest parton splitting of large-radius jets reclustered from small radius ($R=0.2$) anti-$k_t$ jets in Pb+Pb collisions, and confront them with the recent ATLAS measurements.The Linear Boltzmann Transport (LBT) model is employed for jet propagation and jet-induced medium excitation in the hot-dense medium. We demonstrate that, with their complex structures, the medium suppression of the reclustered large radius jets at $R=1$ is larger than that of inclusive $R=0.4$ jets defined conventionally. The large radius jet constituents are reclustered with the $k_t$ algorithm to obtain the splitting scale $\sqrt{d_{12}}$, which characterizes the transverse momentum scale for the hardest splitting in the jet. The large-radius jet production as a function of the splitting scale $\sqrt{d_{12}}$ of the hardest parton splitting is overall suppressed in Pb+Pb relative to p+p collisions due to the reduction of jets yields. A detailed analyses show that the alterations of jet substructures in Pb+Pb also make significant contribution to the splitting scale $\sqrt{d_{12}}$ dependence of the nuclear modification factor $R_{AA}$. Numerical results for the medium modifications of the jet splitting angle $\Delta R_{12}$ and the splitting fraction $z$ are also presented.


title: Multi-dimensional Short Blocklength Probabilistic Shaping for Digital Subcarrier Multiplexing Systems

abstract: We propose multi-dimensional short blocklength probabilistic shaping to increase the nonlinear tolerance gain in digital subcarrier multiplexing transmission systems and demonstrate an improvement in performance compared to lower dimensional formats.


title: Inclusive, prompt and non-prompt ${\rm J}/\psi$ production at midrapidity in p$-$Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV

abstract: A measurement of inclusive, prompt, and non-prompt ${\rm J}/\psi$ production in p$-$Pb collisions at a nucleon$-$nucleon centre-of-mass energy $\sqrt{s_{\mathrm{NN}}} = 5.02$ TeV is presented. The inclusive ${\rm J}/\psi$ mesons are reconstructed in the dielectron decay channel at midrapidity down to a transverse momentum $p_{\rm T} = 0$. The inclusive ${\rm J}/\psi$ nuclear modification factor $R_{\rm pPb}$ is calculated by comparing the new results in p$-$Pb collisions to a recently measured proton$-$proton reference at the same centre-of-mass energy. Non-prompt ${\rm J}/\psi$ mesons, which originate from the decay of beauty hadrons, are separated from promptly produced ${\rm J}/\psi$ on a statistical basis for $p_{\rm T}$ larger than 1.0 GeV/$c$. These results are based on the data sample collected by the ALICE detector during the 2016 LHC p$-$Pb run, corresponding to an integrated luminosity ${\cal L}_{\rm int} = 292 \pm 11 \; {\rm \mu b}^{-1}$, which is six times larger than the previous publications. The total uncertainty on the $p_{\rm T}$-integrated inclusive ${\rm J}/\psi$ and non-prompt ${\rm J}/\psi$ cross section are reduced by a factor 1.7 and 2.2, respectively. The measured cross sections and $R_{\rm pPb}$ are compared with theoretical models that include various combinations of cold nuclear matter effects. From the non-prompt ${\rm J}/\psi$ production cross section, the ${\rm b\overline{b}}$ production cross section at midrapidity, $\mathrm{d}\sigma_{\rm b\overline{b}}/\mathrm{d}y$, and the total cross section extrapolated over full phase space, $\sigma_{\rm b\overline{b}}$, are derived.


title: A Variety Theorem for Relational Universal Algebra

abstract: We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which we find that their categories of models are precisely the definable categories. The syntax of our relational algebraic theories is string-diagrammatic, and can be seen as an extension of the usual term syntax for algebraic theories.


title: Sumsets and fixed points of substitutions

abstract: In this paper we introduce a technique to determine the sumset $A+A$, where $A$ is the indicator function of the 0's occurring in a fixed point $x$ of a substitution on the alphabet $\{0,1\}$.


title: Effects of delayed feedback on the power spectrum of spin-torque nano-oscillators

abstract: A theoretical study of delayed feedback in a spin-torque nano-oscillator model is presented. The feedback acts as a modulation of the supercriticality, which results in changes in the oscillator frequency through a strong nonlinearity, amplitude modulations, and a rich modulation sideband structure in the power spectrum at long delays. Modulation sidebands persist at finite temperatures but some of the complex structure is lost through the finite coherence time of the oscillations.


title: You Are How (and Where) You Search? Comparative Analysis of Web Search Behaviour Using Web Tracking Data

abstract: We conduct a comparative analysis of desktop web search behaviour of users from Germany (n=558) and Switzerland (n=563) based on a combination of web tracking and survey data. We find that web search accounts for 13% of all desktop browsing, with the share being higher in Switzerland than in Germany. We find that in over 50% of cases users clicked on the first search result, with over 97% of all clicks being made on the first page of search outputs. Most users rely on Google when conducting searches, and users preferences for other engines are related to their demographics. We also test relationships between user demographics and daily number of searches, average share of search activities among tracked events by user as well as the tendency to click on higher- or lower-ranked results. We find differences in such relationships between the two countries that highlights the importance of comparative research in this domain. Further, we observe differences in the temporal patterns of web search use between women and men, marking the necessity of disaggregating data by gender in observational studies regarding online information behaviour.


title: Composable Energy Policies for Reactive Motion Generation and Reinforcement Learning

abstract: Reactive motion generation problems are usually solved by computing actions as a sum of policies. However, these policies are independent of each other and thus, they can have conflicting behaviors when summing their contributions together. We introduce Composable Energy Policies (CEP), a novel framework for modular reactive motion generation. CEP computes the control action by optimization over the product of a set of stochastic policies. This product of policies will provide a high probability to those actions that satisfy all the components and low probability to the others. Optimizing over the product of the policies avoids the detrimental effect of conflicting behaviors between policies choosing an action that satisfies all the objectives. Besides, we show that CEP naturally adapts to the Reinforcement Learning problem allowing us to integrate, in a hierarchical fashion, any distribution as prior, from multimodal distributions to non-smooth distributions and learn a new policy given them.


title: Exploring a Handwriting Programming Language for Educational Robots

abstract: Recently, introducing computer science and educational robots in compulsory education has received increasing attention. However, the use of screens in classrooms is often met with resistance, especially in primary school. To address this issue, this study presents the development of a handwriting-based programming language for educational robots. Aiming to align better with existing classroom practices, it allows students to program a robot by drawing symbols with ordinary pens and paper. Regular smartphones are leveraged to process the hand-drawn instructions using computer vision and machine learning algorithms, and send the commands to the robot for execution. To align with the local computer science curriculum, an appropriate playground and scaffolded learning tasks were designed. The system was evaluated in a preliminary test with eight teachers, developers and educational researchers. While the participants pointed out that some technical aspects could be improved, they also acknowledged the potential of the approach to make computer science education in primary school more accessible.


title: Fatou theorem and its converse for positive eigenfunctions of the Laplace-Beltrami operator on Harmonic $NA$ groups

abstract: We prove a Fatou-type theorem and its converse for certain positive eigenfunctions of the Laplace-Beltrami operator $\mathcal{L}$ on a Harmonic $NA$ group. We show that a positive eigenfunction $u$ of $\mathcal{L}$ with eigenvalue $\beta^2-\rho^2$, $\beta\in (0,\infty)$, has an admissible limit in the sense of Kor\'anyi, precisely at those boundary points where the strong derivative of the boundary measure of $u$ exists. Moreover, the admissible limit and the strong derivative are the same. This extends a result of Ramey and Ullrich regarding nontangential convergence of positive harmonic functions on the Euclidean upper half space.


title: Succinct Euler-Tour Trees

abstract: We show how a collection of Euler-tour trees for a forest on $n$ vertices can be stored in $2 n + o (n)$ bits such that simple queries take constant time, more complex queries take logarithmic time and updates take polylogarithmic amortized time.


title: Permissionless and Asynchronous Asset Transfer [Technical Report]

abstract: Most modern asset transfer systems use consensus to maintain a totally ordered chain of transactions. It was recently shown that consensus is not always necessary for implementing asset transfer. More efficient, asynchronous solutions can be built using reliable broadcast instead of consensus. This approach has been originally used in the closed (permissioned) setting. In this paper, we extend it to the open (permissionless) environment. We present Pastro, a permissionless and asynchronous asset-transfer implementation, in which quorum systems, traditionally used in reliable broadcast, are replaced with a weighted Proof-of-Stake mechanism. Pastro tolerates a dynamic adversary that is able to adaptively corrupt participants based on the assets owned by them.


title: Open Set Domain Recognition via Attention-Based GCN and Semantic Matching Optimization

abstract: Open set domain recognition has got the attention in recent years. The task aims to specifically classify each sample in the practical unlabeled target domain, which consists of all known classes in the manually labeled source domain and target-specific unknown categories. The absence of annotated training data or auxiliary attribute information for unknown categories makes this task especially difficult. Moreover, exiting domain discrepancy in label space and data distribution further distracts the knowledge transferred from known classes to unknown classes. To address these issues, this work presents an end-to-end model based on attention-based GCN and semantic matching optimization, which first employs the attention mechanism to enable the central node to learn more discriminating representations from its neighbors in the knowledge graph. Moreover, a coarse-to-fine semantic matching optimization approach is proposed to progressively bridge the domain gap. Experimental results validate that the proposed model not only has superiority on recognizing the images of known and unknown classes, but also can adapt to various openness of the target domain.


title: Angular deviations: From a cubic equation to a universal closed formula to determine the peak position of reflected and (upper) transmitted beams

abstract: Angular deviations and lateral displacements are optical effects widely investigated in literature. In this paper, by using the Taylor expansion of the Fresnel coefficients, we obtain an analytic expression for the beam reflected by and (upper) transmitted through a dielectric prism. These analytical approximations lead to a cubic equation which allows to determine the angular deviations of the optical beams. Near the Brewster angles, under specific conditions, we obtain a universal formulation for the cubic equation. Its explicit solution determines the peak position of the reflected and (upper) transmitted beams. The universal solution could be of great utility in future experimental implementations. The analytic results show an excellent agreement with the numerical calculation and the analytic expressions given for the reflected and (upper) transmitted beams should play an important role in the weak measurements analysis.


title: Vortex motion in tilted magnetic fields in highly layered electron-doped superconductor Nd2-xCexCuO4

abstract: The carrier transport and the motion of a vortex system in a mixed state of an electron-doped high-temperature superconductors Nd2-xCexCuO4 were investigated. To study the anisotropy of galvanomagnetic effects of highly layered NdCeCuO system we have synthesized Nd2-xCexCuO4/SrTiO3 epitaxial films with non-standart orientations of the c-axis and conductive CuO2 layers relative to the substrate. The variation ofe the angle of inclination of the magnetic field B, relative to the current J, reveals that the behavior of both the in-plane r_xx(B) and the out-plane r_xy(B) resistivities in the mixed state is mainly determined by the perpendicular to J component of B, that indicates the crucial role of the Lorentz force F_L~[JxB] and defines the motion of Josephson vortices across the CuO2 layers.


title: Dispersion Relations of Nambu-Goldstone Modes

abstract: We study the energy-momentum relations of the Nambu-Goldstone modes in quantum antiferromagnetic Heisenberg models on a hypercubic lattice. This work is a sequel to the previous series about the models. We prove that the Nambu-Goldstone modes show a linear dispersion relation for the small momenta, i.e., the low energies of the Nambu-Goldstone excitations are proportional to the momentum of the spin wave above the infinite-volume ground states with symmetry breaking. Our method relies on the upper bounds for the susceptibilities which are derived from the reflection positivity of the quantum Heisenberg antiferromagnets. The method is also applicable to other systems when the corresponding upper bounds for the susceptibilities are justified.


title: Backretrieval: An Image-Pivoted Evaluation Metric for Cross-Lingual Text Representations Without Parallel Corpora

abstract: Cross-lingual text representations have gained popularity lately and act as the backbone of many tasks such as unsupervised machine translation and cross-lingual information retrieval, to name a few. However, evaluation of such representations is difficult in the domains beyond standard benchmarks due to the necessity of obtaining domain-specific parallel language data across different pairs of languages. In this paper, we propose an automatic metric for evaluating the quality of cross-lingual textual representations using images as a proxy in a paired image-text evaluation dataset. Experimentally, Backretrieval is shown to highly correlate with ground truth metrics on annotated datasets, and our analysis shows statistically significant improvements over baselines. Our experiments conclude with a case study on a recipe dataset without parallel cross-lingual data. We illustrate how to judge cross-lingual embedding quality with Backretrieval, and validate the outcome with a small human study.


title: Perturbation theory without power series: iterative construction of non-analytic operator spectra

abstract: It is well known that quantum-mechanical perturbation theory often give rise to divergent series that require proper resummation. Here I discuss simple ways in which these divergences can be avoided in the first place. Using the elementary technique of relaxed fixed-point iteration, I obtain convergent expressions for various challenging ground states wavefunctions, including quartic, sextic and octic anharmonic oscillators, the hydrogenic Zeeman problem, and the Herbst-Simon Hamiltonian (with finite energy but vanishing Rayleigh-Schr\"odinger coefficients), all at arbitarily strong coupling. These results challenge the notion that non-analytic functions of coupling constants are intrinsically "non-perturbative". A possible application to exact diagonalization is briefly discussed.

categories: quant-ph cond-mat.other hep-th math-ph math.MP


title: Spectral unmixing for exoplanet direct detection in hyperspectral data

abstract: The direct detection of exoplanets with high-contrast instruments can be boosted with high spectral resolution. For integral field spectrographs yielding hyperspectral data, this means that the field of view consists of diffracted starlight spectra and a spatially localized planet. Analysis usually relies on cross-correlation with theoretical spectra. In a purely blind-search context, this supervised strategy can be biased with model mismatch and/or be computationally inefficient. Using an approach that is inspired by the remote-sensing community, we aim to propose an alternative to cross-correlation that is fully data-driven, which decomposes the data into a set of individual spectra and their corresponding spatial distributions. This strategy is called spectral unmixing. We used an orthogonal subspace projection to identify the most distinct spectra in the field of view. Their spatial distribution maps were then obtained by inverting the data. These spectra were then used to break the original hyperspectral images into their corresponding spatial distribution maps via non-negative least squares. The performance of our method was evaluated and compared with a cross-correlation using simulated hyperspectral data with medium resolution from the ELT/HARMONI integral field spectrograph. We show that spectral unmixing effectively leads to a planet detection solely based on spectral dissimilarities at significantly reduced computational cost. The extracted spectrum holds significant signatures of the planet while being not perfectly separated from residual starlight. The sensitivity of the supervised cross-correlation is three to four times higher than with unsupervised spectral unmixing, the gap is biased toward the former because the injected and correlated spectrum match perfectly. The algorithm was furthermore vetted on real data obtained with VLT/SINFONI of the beta Pictoris system.


title: Towards the Use of Slice-based Cohesion Metrics with Learning Analytics to Assess Programming Skills

abstract: In programming education, it makes a difference whether you are dealing with beginners or advanced students. As our future students will become even more tech-savvy, it is necessary to assess programming skills appropriately and quickly to protect them from boredom and optimally support the learning process. In this work, we advocate for the use of slice-based cohesion metrics to assess the process of program construction in a learning analytics setting. We argue that semantically related parts during program construction are an essential part of programming skills. Therefore, we propose using cohesion metrics on the level of variables to identify programmers' trains of thought based on the cohesion of semantically related parts during program construction.


title: Uniform mixing time and bottlenecks in uniform finite quadrangulations

abstract: We prove a lower bound on the size of bottlenecks in uniform quadrangulations, valid at all scales simultaneously. We use it to establish upper bounds on the uniform mixing time of the lazy random walk on uniform quadrangulations, as well as on their dual. The proofs involve an explicit computation of the Laplace transform of the number of faces in truncated hulls of the uniform infinite plane quadrangulation.


title: Designing an Automatic Agent for Repeated Language based Persuasion Games

abstract: Persuasion games are fundamental in economics and AI research and serve as the basis for important applications. However, work on this setup assumes communication with stylized messages that do not consist of rich human language. In this paper we consider a repeated sender (expert) -- receiver (decision maker) game, where the sender is fully informed about the state of the world and aims to persuade the receiver to accept a deal by sending one of several possible natural language reviews. We design an automatic expert that plays this repeated game, aiming to achieve the maximal payoff. Our expert is implemented within the Monte Carlo Tree Search (MCTS) algorithm, with deep learning models that exploit behavioral and linguistic signals in order to predict the next action of the decision maker, and the future payoff of the expert given the state of the game and a candidate review. We demonstrate the superiority of our expert over strong baselines, its adaptability to different decision makers, and that its selected reviews are nicely adapted to the proposed deal.


title: Nonlinear Stability of MHD Contact Discontinuities with Surface Tension

abstract: We consider the motion of two inviscid, compressible, and electrically conducting fluids separated by an interface across which there is no fluid flow in the presence of surface tension. The magnetic field is supposed to be nowhere tangential to the interface. This leads to the characteristic free boundary problem for contact discontinuities with surface tension in three-dimensional ideal compressible magnetohydrodynamics (MHD). We prove the nonlinear structural stability of MHD contact discontinuities with surface tension in Sobolev spaces by a modified Nash--Moser iteration scheme. The main ingredient of our proof is deriving the resolution and tame estimate of the linearized problem in usual Sobolev spaces of sufficiently large regularity. In particular, for solving the linearized problem, we introduce a suitable regularization that preserves the transport-type structure for the linearized entropy and divergence of the magnetic field.


title: The outermost edges of the Milky Way halo from galaxy kinematics

abstract: We measure for the first time the outermost edges of the Milky Way (MW) halo in terms of the depletion and turnaround radii. The inner depletion radius, $r_\mathrm{id}$, identified at the location of maximum infall velocity, separates a growing halo from the draining environment, while the turnaround radius, $r_\mathrm{ta}$, marks the outermost edge of infalling material towards the halo, both of which are located well outside the virial radius. Using the motions of nearby dwarf galaxies within $3\mathrm{Mpc}$, we obtain a marginal detection of the infall zone around the MW with a maximum velocity of $v_\mathrm{inf, max}=-46_{-39}^{+24}\mathrm{km s^{-1}}$. This enables us to measure $r_\mathrm{id}=559\pm 107 \mathrm{kpc}$ and $r_\mathrm{ta}=839\pm 121 \mathrm{kpc}$. The measured depletion radius is about 1.5 times the MW virial radius ($R_\mathrm{200m}$) measured from internal dynamics. Compared with halos in the cosmological simulation Illustris TNG100, the factor 1.5 is consistent with that of halos with similar masses and dynamical environments to the MW but slightly smaller than typical values of Local Group analogs, potentially indicating the unique evolution history of the MW. These measurements of halo edges directly quantify the ongoing evolution of the MW outer halo and provide constraints on the current dynamical state of the MW that are independent from internal dynamics.


title: Surrogate assisted active subspace and active subspace assisted surrogate -- A new paradigm for high dimensional structural reliability analysis

abstract: Performing reliability analysis on complex systems is often computationally expensive. In particular, when dealing with systems having high input dimensionality, reliability estimation becomes a daunting task. A popular approach to overcome the problem associated with time-consuming and expensive evaluations is building a surrogate model. However, these computationally efficient models often suffer from the curse of dimensionality. Hence, training a surrogate model for high-dimensional problems is not straightforward. Henceforth, this paper presents a framework for solving high-dimensional reliability analysis problems. The basic premise is to train the surrogate model on a low-dimensional manifold, discovered using the active subspace algorithm. However, learning the low-dimensional manifold using active subspace is non-trivial as it requires information on the gradient of the response variable. To address this issue, we propose using sparse learning algorithms in conjunction with the active subspace algorithm; the resulting algorithm is referred to as the sparse active subspace (SAS) algorithm. We project the high-dimensional inputs onto the identified low-dimensional manifold identified using SAS. A high-fidelity surrogate model is used to map the inputs on the low-dimensional manifolds to the output response. We illustrate the efficacy of the proposed framework by using three benchmark reliability analysis problems from the literature. The results obtained indicate the accuracy and efficiency of the proposed approach compared to already established reliability analysis methods in the literature.


title: Teachers' perspective on fostering computational thinking through educational robotics

abstract: With the introduction of educational robotics (ER) and computational thinking (CT) in classrooms, there is a rising need for operational models that help ensure that CT skills are adequately developed. One such model is the Creative Computational Problem Solving Model (CCPS) which can be employed to improve the design of ER learning activities. Following the first validation with students, the objective of the present study is to validate the model with teachers, specifically considering how they may employ the model in their own practices. The Utility, Usability and Acceptability framework was leveraged for the evaluation through a survey analysis with 334 teachers. Teachers found the CCPS model useful to foster transversal skills but could not recognise the impact of specific intervention methods on CT-related cognitive processes. Similarly, teachers perceived the model to be usable for activity design and intervention, although felt unsure about how to use it to assess student learning and adapt their teaching accordingly. Finally, the teachers accepted the model, as shown by their intent to replicate the activity in their classrooms, but were less willing to modify it or create their own activities, suggesting that they need time to appropriate the model and underlying tenets.


title: Quantifying patient and neighborhood risks for stillbirth and preterm birth in Philadelphia with a Bayesian spatial model

abstract: Stillbirth and preterm birth are major public health challenges. Using a Bayesian spatial model, we quantified patient-specific and neighborhood risks of stillbirth and preterm birth in the city of Philadelphia. We linked birth data from electronic health records at Penn Medicine hospitals from 2010 to 2017 with census-tract-level data from the United States Census Bureau. We found that both patient-level characteristics (e.g. self-identified race/ethnicity) and neighborhood-level characteristics (e.g. violent crime) were significantly associated with patients' risk of stillbirth or preterm birth. Our neighborhood analysis found that higher-risk census tracts had 2.68 times the average risk of stillbirth and 2.01 times the average risk of preterm birth compared to lower-risk census tracts. Higher neighborhood rates of women in poverty or on public assistance were significantly associated with greater neighborhood risk for these outcomes, whereas higher neighborhood rates of college-educated women or women in the labor force were significantly associated with lower risk. Several of these neighborhood associations were missed by the patient-level analysis. These results suggest that neighborhood-level analyses of adverse pregnancy outcomes can reveal nuanced relationships and, thus, should be considered by epidemiologists. Our findings can potentially guide place-based public health interventions to reduce stillbirth and preterm birth rates.


title: Spin chains with boundary inhomogeneities

abstract: We investigate the effect of introducing a boundary inhomogeneity in the transfer matrix of an integrable open quantum spin chain. We find that it is possible to construct a local Hamiltonian, and to have quantum group symmetry. The boundary inhomogeneity has a profound effect on the Bethe ansatz solution.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Tensor-Train Recurrent Neural Networks for Interpretable Multi-Way Financial Forecasting

abstract: Recurrent Neural Networks (RNNs) represent the de facto standard machine learning tool for sequence modelling, owing to their expressive power and memory. However, when dealing with large dimensional data, the corresponding exponential increase in the number of parameters imposes a computational bottleneck. The necessity to equip RNNs with the ability to deal with the curse of dimensionality, such as through the parameter compression ability inherent to tensors, has led to the development of the Tensor-Train RNN (TT-RNN). Despite achieving promising results in many applications, the full potential of the TT-RNN is yet to be explored in the context of interpretable financial modelling, a notoriously challenging task characterized by multi-modal data with low signal-to-noise ratio. To address this issue, we investigate the potential of TT-RNN in the task of financial forecasting of currencies. We show, through the analysis of TT-factors, that the physical meaning underlying tensor decomposition, enables the TT-RNN model to aid the interpretability of results, thus mitigating the notorious "black-box" issue associated with neural networks. Furthermore, simulation results highlight the regularization power of TT decomposition, demonstrating the superior performance of TT-RNN over its uncompressed RNN counterpart and other tensor forecasting methods.


title: A Comparison of Multi-View Learning Strategies for Satellite Image-Based Real Estate Appraisal

abstract: In the house credit process, banks and lenders rely on a fast and accurate estimation of a real estate price to determine the maximum loan value. Real estate appraisal is often based on relational data, capturing the hard facts of the property. Yet, models benefit strongly from including image data, capturing additional soft factors. The combination of the different data types requires a multi-view learning method. Therefore, the question arises which strengths and weaknesses different multi-view learning strategies have. In our study, we test multi-kernel learning, multi-view concatenation and multi-view neural networks on real estate data and satellite images from Asheville, NC. Our results suggest that multi-view learning increases the predictive performance up to 13% in MAE. Multi-view neural networks perform best, however result in intransparent black-box models. For users seeking interpretability, hybrid multi-view neural networks or a boosting strategy are a suitable alternative.


title: Nonlinear exciton-Mie coupling in transition metal dichalcogenides nanoresonators

abstract: Molybdenum disulfide (MoS2) is a layered material of transition metal dichalcogenides (TMDCs) with a high refractive index in the visible and infrared spectral range. Therefore, by constructing MoS2 into dielectric nanoresonators, one can generate highly confined electromagnetic Mie-type modes. In this work, we applied lithography and etching techniques to single crystal MoS2 flakes to fabricate nanodisks that support magnetic dipole Mie resonances in near infrared spectral range. The nanodisks were studied by second-harmonic generation (SHG) rotational anisotropy revealing the retention of crystallinity and the orientation of the crystallographic axes of the single disk structure after fabrication. Magnetic dipole resonances manifest as resonant intensity enhancement in SHG spectra. Tuning Mie resonances by selecting the geometrical size of MoS2 nanodisks, we demonstrated strongly enhanced SHG due to the overlap of the optical resonance at the fundamental wavelength with the C-exciton resonance at the second-harmonic wavelength.


title: A Meta Reinforcement Learning-based Approach for Self-Adaptive System

abstract: A self-learning adaptive system (SLAS) uses machine learning to enable and enhance its adaptability. Such systems are expected to perform well in dynamic situations. For learning high-performance adaptation policy, some assumptions must be made on the environment-system dynamics when information about the real situation is incomplete. However, these assumptions cannot be expected to be always correct, and yet it is difficult to enumerate all possible assumptions. This leads to the problem of incomplete-information learning. We consider this problem as multiple model problem in terms of finding the adaptation policy that can cope with multiple models of environment-system dynamics. This paper proposes a novel approach to engineering the online adaptation of SLAS. It separates three concerns that are related to the adaptation policy and presents the modeling and synthesis process, with the goal of achieving higher model construction efficiency. In addition, it designs a meta-reinforcement learning algorithm for learning the meta policy over the multiple models, so that the meta policy can quickly adapt to the real environment-system dynamics. At last, it reports the case study on a robotic system to evaluate the adaptability of the approach.


title: Scaling Migrations and Replications of Virtual Network Functions based on Network Traffic Forecasting

abstract: Migration and replication of virtual network functions (VNFs) are well-known mechanisms to face dynamic resource requests in Internet Service Provider (ISP) edge networks. They are not only used to reallocate resources in carrier networks, but in case of excessive traffic churns also to offloading VNFs to third party cloud providers. We propose to study how traffic forecasting can help to reduce the number of required migrations and replications when the traffic dynamically changes in the network. We analyze and compare three scenarios for the VNF migrations and replications based on: (i) the current observed traffic demands only, (ii) specific maximum traffic demand value observed in the past, or (iii) predictive traffic values. For the prediction of traffic demand values, we use an LSTM model which is proven to be one of the most accurate methods in time series forecasting problems. Based the traffic prediction model, we then use a Mixed-Integer Linear Programming (MILP) model as well as a greedy algorithm to solve this optimization problem that considers migrations and replications of VNFs. The results show that LSTM-based traffic prediction can reduce the number of migrations up to 45\% when there is enough available resources to allocate replicas, while less cloud-based offloading is required compared to overprovisioning.


title: Sequential Projected Newton method for regularization of nonlinear least squares problems

abstract: We develop a computationally efficient algorithm for the automatic regularization of nonlinear inverse problems based on the discrepancy principle. We formulate the problem as an equality constrained optimization problem, where the constraint is given by a least squares data fidelity term and expresses the discrepancy principle. The objective function is a convex regularization function that incorporates some prior knowledge, such as the total variation regularization function. Using the Jacobian matrix of the nonlinear forward model, we consider a sequence of quadratically constrained optimization problems that can all be solved using the Projected Newton method. We show that the solution of such a quadratically constrained sub-problem results in a descent direction for an exact merit function. This merit function can then be used to describe a formal line-search method. We also formulate a slightly more heuristic approach that simplifies the algorithm and allows for an inexact solution of the sequence of sub-problems. We illustrate the behavior of the algorithm using a number of numerical experiments, with Talbot-Lau X-ray phase contrast imaging as the main application. The numerical experiments confirm that the quadratically constrained sub-problems need not be solved with high accuracy in early iterations to make sufficient progress towards the solution. In addition, we show that the proposed method is able to produce reconstructions of similar quality compared to other state-of-the-art approaches with a significant reduction in computational time.


title: Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension

abstract: The algebraic dimension of a Polish permutation group $Q\leq \mathrm{Sym}(\mathbb{N})$ is the smallest $n\in\omega$, so that for all $A\subseteq \mathbb{N}$ of size $n+1$, the orbit of every $a\in A$ under the pointwise stabilizer of $A\setminus\{a\}$ is finite. We study the Bernoulli shift $P\curvearrowright \mathbb{R}^{\mathbb{N}}$ for various Polish permutation groups $P$ and we provide criteria under which the $P$-shift is generically ergodic relative to the injective part of the $Q$-shift, when $Q$ has algebraic dimension $\leq n$. We use this to show that the sequence of pairwise $*$-reduction-incomparable equivalence relations defined in [KP21] is a strictly increasing sequence in the Borel reduction hierarchy. We also use our main theorem to exhibit an equivalence relation of pinned cardinal $\aleph_1^{+}$ which strongly resembles the equivalence relation of pinned cardinal $\aleph_1^{+}$ from [Zap11], but which does not Borel reduce to the latter. It remains open whether they are actually incomparable under Borel reductions. Our proofs rely on the study of symmetric models whose symmetries come from the group $Q$. We show that when $Q$ is "locally finite" -- e.g. when $Q=\mathrm{Aut}(\mathcal{M})$, where $\mathcal{M}$ is a locally finite countable structure with no algebraicity -- the corresponding symmetric model admits a theory of supports which is analogous to that in the basic Cohen model.


title: Weighted Hierarchical Sparse Representation for Hyperspectral Target Detection

abstract: Hyperspectral target detection has been widely studied in the field of remote sensing. However, background dictionary building issue and the correlation analysis of target and background dictionary issue have not been well studied. To tackle these issues, a \emph{Weighted Hierarchical Sparse Representation} for hyperspectral target detection is proposed. The main contributions of this work are listed as follows. 1) Considering the insufficient representation of the traditional background dictionary building by dual concentric window structure, a hierarchical background dictionary is built considering the local and global spectral information simultaneously. 2) To reduce the impureness impact of background dictionary, target scores from target dictionary and background dictionary are weighted considered according to the dictionary quality. Three hyperspectral target detection data sets are utilized to verify the effectiveness of the proposed method. And the experimental results show a better performance when compared with the state-of-the-arts.