title: Pyramid Multi-view Stereo Net with Self-adaptive View Aggregation

abstract: n this paper, we propose an effective and efficient pyramid multi-view stereo (MVS) net with self-adaptive view aggregation for accurate and complete dense point cloud reconstruction. Different from using mean square variance to generate cost volume in previous deep-learning based MVS methods, our \textbf{VA-MVSNet} incorporates the cost variances in different views with small extra memory consumption by introducing two novel self-adaptive view aggregations: pixel-wise view aggregation and voxel-wise view aggregation. To further boost the robustness and completeness of 3D point cloud reconstruction, we extend VA-MVSNet with pyramid multi-scale images input as \textbf{PVA-MVSNet}, where multi-metric constraints are leveraged to aggregate the reliable depth estimation at the coarser scale to fill in the mismatched regions at the finer scale. Experimental results show that our approach establishes a new state-of-the-art on the \textsl{\textbf{DTU}} dataset with significant improvements in the completeness and overall quality, and has strong generalization by achieving a comparable performance as the state-of-the-art methods on the \textsl{\textbf{Tanks and Temples}} benchmark. Our codebase is at \hyperlink{https://github.com/yhw-yhw/PVAMVSNet}{https://github.com/yhw-yhw/PVAMVSNet}


title: Microscopic cluster study of the 10Be and 11Be nuclei

abstract: We use a microscopic multicluster model to investigate the structure of $^{10}$Be and of $^{11}$Be. These nuclei are described by $\alpha+\alpha+n+n$ and $\alpha+\alpha+n+n+n$ configurations, respectively, within the Generator Coordinate Method (GCM). The 4- and 5-body models raise the problem of a large number of generator coordinates (6 for $^{10}$Be and 9 for $^{11}$Be), which requires specific treatment. We address this issue by using the Stochastic Variational Method (SVM), which is based on an optimal choice of the basis functions, generated randomly. The model provides good energy spectra for low-lying states of both nuclei. We also compute rms radii and densities, as well as electromagnetic transition probabilities. We analyze the structure of $^{10}$Be and of $^{11}$Be by considering energy curves, where one of the generator coordinates is fixed during the minimization procedure.


title: Effect of disorder and polarization sequences on two-dimensional spectra of light harvesting complexes

abstract: Two-dimensional electronic spectra (2DES) provide unique ways to track the energy transfer dynamics in light-harvesting complexes. The interpretation of the peaks and structures found in experimentally recorded 2DES is often not straightforward, since several processes are imaged simultaneously. The choice of specific pulse polarization sequences helps to disentangle the sometimes convoluted spectra, but brings along other disturbances. We show by detailed theoretical calculations how 2DES of the Fenna-Matthews-Olson complex are affected by rotational and conformational disorder of the chromophores.


title: Model Order Reduction of Combustion Processes with Complex Front Dynamics

abstract: In this work we present a data driven method, used to improve mode-based model order reduction of transport fields with sharp fronts. We assume that the original flow field $q(\mathbf{x},t)=f(\phi(\mathbf{x},t))$ can be reconstructed by a front shape function $f$ and a level set function $\phi$. The level set function is used to generate a local coordinate, which parametrizes the distance to the front. In this way, we are able to embed the local 1D description of the front for complex 2D front dynamics with merging or splitting fronts, while seeking a low rank description of $\phi$. Here, the freedom of choosing $\phi$ far away from the front can be used to find a low rank description of $\phi$ which accelerates the convergence of $\Vert q- f(\phi_n)\Vert$, when truncating $\phi$ after the $n$th mode. We demonstrate the ability of this new ansatz for a 2D propagating flame with a moving front.


title: Perspective-consistent multifocus multiview 3D reconstruction of small objects

abstract: Image-based 3D reconstruction or 3D photogrammetry of small-scale objects including insects and biological specimens is challenging due to the use of high magnification lens with inherent limited depth of field, and the object's fine structures and complex surface properties. Due to these challenges, traditional 3D reconstruction techniques cannot be applied without suitable image pre-processings. One such preprocessing technique is multifocus stacking that combines a set of partially focused images captured from the same viewing angle to create a single in-focus image. Traditional multifocus image capture uses a camera on a macro rail. Furthermore, the scale and shift are not properly considered by multifocus stacking techniques. As a consequence, the resulting in-focus images contain artifacts that violate perspective image formation. A 3D reconstruction using such images will fail to produce an accurate 3D model of the object. This paper shows how this problem can be solved effectively by a new multifocus stacking procedure which includes a new Fixed-Lens Multifocus Capture and camera calibration for image scale and shift. Initial experimental results are presented to confirm our expectation and show that the camera poses of fixed-lens images are at least 3-times less noisy than those of conventional moving lens images.


title: On-demand generation and characterization of a microwave time-bin qubit

abstract: Superconducting circuits offer a scalable platform for the construction of large-scale quantum networks where information can be encoded in multiple temporal modes of propagating microwaves. Characterization of such microwave signals with a method extendable to an arbitrary number of temporal modes with a single detector and demonstration of their phase-robust nature are of great interest. Here we show the on-demand generation and Wigner tomography of a microwave time-bin qubit with superconducting circuit quantum electrodynamics architecture. We perform the tomography with a single heterodyne detector by dynamically changing the measurement quadrature with a phase-sensitive amplifier independently for the two temporal modes. By generating and measuring the qubits with hardware lacking a shared phase reference, we demonstrate conservation of phase information in each time-bin qubit generated.


title: Effects of vector leptoquarks on $ \Lambda_b \rightarrow \Lambda_c~\ell ~ \overline{\nu}_\ell$ decay

abstract: Experimental data on $ R(D^{(*)}) $, $ R(K^{(*)}) $ and $ R(J/\psi) $, provided by different collaborations, show sizable deviations from the SM predictions. To describe these anomalies many new physics scenarios have been proposed. One of them is leptoquark model with introducing the vector and scalar leptoquarks coupling simultaneously to the quarks and leptons. To look for similar possible anomalies in baryonic sector, we investigate the effects of a vector leptoquark $U_3 (3,3, \frac{2}{3})$ on various physical quantities related to the tree-level $ \Lambda_b \rightarrow \Lambda_c \ell ~ \overline{\nu}_\ell$ decays ($ \ell=\mu, ~\tau $), which proceed via $ b \rightarrow c~\ell ~ \overline{\nu}_\ell$ transitions at quark level. We calculate the differential branching ratio, forward-backward asymmetry and longitudinal polarizations of lepton and $\Lambda_{c}$ baryon at $ \mu $ and $ \tau $ lepton channels in leptoquark model and compare their behavior with respect to $ q^2 $ with the predictions of the standard model (SM). In the calculations we use the form factors calculated in full QCD as the main inputs and take into account all the errors coming from the form factors and model parameters. It is observed that ........


title: Stability of hyperbolic Oseledets splittings for quasi-compact operator cocycles

abstract: We consider the problem of stability and approximability of Oseledets splittings and Lyapunov exponents for Perron-Frobenius operator cocycles associated to random dynamical systems. By developing a random version of the perturbation theory of Gou\"ezel, Keller, and Liverani, we obtain a general framework for solving such stability problems, which is particularly well adapted to applications to random dynamical systems. We apply our theory to random dynamical systems consisting of $\mathcal{C}^k$ expanding maps on $S^1$ ($k \ge 2$) and provide conditions for the stability of Lyapunov exponents and Oseledets splitting of the associated Perron-Frobenius operator cocycle to (i) uniformly small fiber-wise $\mathcal{C}^{k-1}$-perturbations to the random dynamics, and (ii) numerical approximation via a Fej\'er kernel method. A notable addition to our approach is the use of Saks spaces, which provide a unifying framework for many key concepts in the so-called `functional analytic' approach to studying dynamical systems, such as Lasota-Yorke inequalities and Gou\"ezel-Keller-Liverani perturbation theory.


title: Advanced attribute-based protocol based on the modified secret sharing scheme

abstract: We construct a new protocol for attribute-based encryption with the use of the modification of the standard secret sharing scheme. In the suggested modification of the secret sharing scheme, only one master key for each user is required that is achieved by linearly enlarging public parameters in the access formula. We then use this scheme for designing an attribute-based encryption protocol related to some access structure in terms of attributes. We demonstrate that the universe of possible attributes does not affect the resulting efficiency of the scheme. The security proofs for both constructions are provided.


title: Semantic Mask for Transformer based End-to-End Speech Recognition

abstract: Attention-based encoder-decoder model has achieved impressive results for both automatic speech recognition (ASR) and text-to-speech (TTS) tasks. This approach takes advantage of the memorization capacity of neural networks to learn the mapping from the input sequence to the output sequence from scratch, without the assumption of prior knowledge such as the alignments. However, this model is prone to overfitting, especially when the amount of training data is limited. Inspired by SpecAugment and BERT, in this paper, we propose a semantic mask based regularization for training such kind of end-to-end (E2E) model. The idea is to mask the input features corresponding to a particular output token, e.g., a word or a word-piece, in order to encourage the model to fill the token based on the contextual information. While this approach is applicable to the encoder-decoder framework with any type of neural network architecture, we study the transformer-based model for ASR in this work. We perform experiments on Librispeech 960h and TedLium2 data sets, and achieve the state-of-the-art performance on the test set in the scope of E2E models.


title: A priori generalization error for two-layer ReLU neural network through minimum norm solution

abstract: We focus on estimating \emph{a priori} generalization error of two-layer ReLU neural networks (NNs) trained by mean squared error, which only depends on initial parameters and the target function, through the following research line. We first estimate \emph{a priori} generalization error of finite-width two-layer ReLU NN with constraint of minimal norm solution, which is proved by \cite{zhang2019type} to be an equivalent solution of a linearized (w.r.t. parameter) finite-width two-layer NN. As the width goes to infinity, the linearized NN converges to the NN in Neural Tangent Kernel (NTK) regime \citep{jacot2018neural}. Thus, we can derive the \emph{a priori} generalization error of two-layer ReLU NN in NTK regime. The distance between NN in a NTK regime and a finite-width NN with gradient training is estimated by \cite{arora2019exact}. Based on the results in \cite{arora2019exact}, our work proves an \emph{a priori} generalization error bound of two-layer ReLU NNs. This estimate uses the intrinsic implicit bias of the minimum norm solution without requiring extra regularity in the loss function. This \emph{a priori} estimate also implies that NN does not suffer from curse of dimensionality, and a small generalization error can be achieved without requiring exponentially large number of neurons. In addition the research line proposed in this paper can also be used to study other properties of the finite-width network, such as the posterior generalization error.


title: Quantum flips I: local model

abstract: We study analytic continuations of quantum cohomology under simple flips $f: X \dashrightarrow X'$ along the extremal ray quantum variable $q^\ell$. The inverse correspondence $\Psi = [\Gamma_f]^*$ by the graph closure gives an embedding of Chow motives $[\hat{X}'] \hookrightarrow [\hat{X}]$ which preserves the Poincar\'e pairing. We construct a deformation $\widehat{\Psi}$ of $\Psi = [\Gamma_f]^*$ which induces a non-linear embedding $$QH(X') \hookrightarrow QH(X)$$ in the category of $F$-manifolds into the regular integrable loci of $QH(X)$ near $q^\ell = \infty$. This provides examples of functoriality of quantum cohomology beyond $K$-equivalent transformations. In this paper, we focus on the case when $X$ and $X'$ are (projective) local models.


title: The canonical pairs of bounded depth Frege systems

abstract: The canonical pair of a proof system $P$ is the pair of disjoint NP sets where one set is the set of all satisfiable CNF formulas and the other is the set of CNF formulas that have $P$-proofs bounded by some polynomial. We give a combinatorial characterization of the canonical pairs of depth~$d$ Frege systems. Our characterization is based on certain games, introduced in this article, that are parametrized by a number~$k$, also called the depth. We show that the canonical pair of a depth~$d$ Frege system is polynomially equivalent to the pair $(A_{d+2},B_{d+2})$ where $A_{d+2}$ (respectively, $B_{d+1}$) are depth {$d+1$} games in which Player~I (Player II) has a positional winning strategy. Although this characterization is stated in terms of games, we will show that these combinatorial structures can be viewed as generalizations of monotone Boolean circuits. In particular, depth~1 games are essentially monotone Boolean circuits. Thus we get a generalization of the monotone feasible interpolation for Resolution, which is a property that enables one to reduce the task of proving lower bounds on the size of refutations to lower bounds on the size of monotone Boolean circuits. However, we do not have a method yet for proving lower bounds on the size of depth~$d$ games for $d>1$.


title: Contracting Arbitrary Tensor Networks: General Approximate Algorithm and Applications in Graphical Models and Quantum Circuit Simulations

abstract: We present a general method for approximately contracting tensor networks with an arbitrary connectivity. This enables us to release the computational power of tensor networks to wide use in inference and learning problems defined on general graphs. We show applications of our algorithm in graphical models, specifically on estimating free energy of spin glasses defined on various of graphs, where our method largely outperforms existing algorithms including the mean-field methods and the recently proposed neural-network-based methods. We further apply our method to the simulation of random quantum circuits, and demonstrate that, with a trade off of negligible truncation errors, our method is able to simulate large quantum circuits that are out of reach of the state-of-the-art simulation methods.

categories: physics.comp-ph cond-mat.stat-mech cond-mat.str-el quant-ph


title: Learning to Correspond Dynamical Systems

abstract: Many dynamical systems exhibit similar structure, as often captured by hand-designed simplified models that can be used for analysis and control. We develop a method for learning to correspond pairs of dynamical systems via a learned latent dynamical system. Given trajectory data from two dynamical systems, we learn a shared latent state space and a shared latent dynamics model, along with an encoder-decoder pair for each of the original systems. With the learned correspondences in place, we can use a simulation of one system to produce an imagined motion of its counterpart. We can also simulate in the learned latent dynamics and synthesize the motions of both corresponding systems, as a form of bisimulation. We demonstrate the approach using pairs of controlled bipedal walkers, as well as by pairing a walker with a controlled pendulum.


title: Highness properties close to PA-completeness

abstract: Suppose we are given a computably enumerable object arise from algorithmic randomness or computable analysis. We are interested in the strength of oracles which can compute an object that approximates this c.e. object. It turns out that, depending on the type of object, the resulting highness property is either close to, or equivalent to being PA-complete. We examine, for example, dominating a c.e. martingale by an oracle-computable martingale, computing compressions functions for two variants of Kolmogorov complexity, and computing subtrees of positive measure of a given $\Pi^0_1$ tree of positive measure without dead ends. We prove a separation result from PA-completeness for the latter property, called the \emph{continuous covering property}. We also separate the corresponding principles in reverse mathematics.


title: Spectroscopy of $^{196}$Hg using Digital INGA at VECC, Kolkata

abstract: Spectroscopic investigation of the $^{196}$Hg (Z=80, N=116) was carried out using the Indian National Gamma Array (INGA) setup at the Variable Energy Cyclotron Centre (VECC), Kolkata. Analysis of the acquired data led to the identification of new $\gamma$-ray transitions and levels in the excitation pattern of the nucleus along with the spin-parity assignments thereof. The latter were either previously absent or had been tentatively identified. Theoretical interpretation of the level structure obtained from these efforts can be pursued with appropriate model calculations.


title: On Racial Disparities in Recent Fatal Police Shootings

abstract: Fatal police shootings in the United States continue to be a polarizing social and political issue. Clear disagreement between racial proportions of victims and nationwide racial demographics together with graphic video footage has created fertile ground for controversy. However, simple population level summary statistics fail to take into account fundamental local characteristics such as county-level racial demography, local arrest demography, and law enforcement density. Utilizing data on fatal police shootings between January 2015 and July 2016, we implement a number of straightforward resampling procedures designed to carefully examine how unlikely the victim totals from each race are with respect to these local population characteristics if no racial bias were present in the decision to shoot by police. We present several approaches considering the shooting locations both as fixed and also as a random sample. In both cases, we find overwhelming evidence of a racial disparity in shooting victims with respect to local population demographics but substantially less disparity after accounting for local arrest demographics. We conclude our analyses by examining the effect of police-worn body cameras and find no evidence that the presence of such cameras impacts the racial distribution of victims.


title: Unramified Heisenberg group extensions of number fields

abstract: We construct \'etale generalized Heisenberg group covers of hyperelliptic curves over number fields. We use these to produce infinite families of quadratic extensions of cyclotomic fields that admit everywhere unramified generalized Heisenberg Galois extensions.


title: Completely Order Bounded Maps on Non-Commutative $L_p$-Spaces

abstract: We define norms on $L_p(\mathcal{M}) \otimes M_n$ where $\mathcal{M}$ is a von Neumann algebra and $M_n$ is the complex $n \times n$ matrices. We show that a linear map $T: L_p(\mathcal{M}) \to L_q(\mathcal{N})$ is decomposable if $\mathcal{N}$ is an injective von Neumann algebra, the maps $T \otimes Id_{M_n}$ have a common upper bound with respect to our defined norms, and $p = \infty$ or $q = 1$. For $2p < q < \infty$ we give an example of a map $T$ with uniformly bounded maps $T \otimes Id_{M_n}$ which is not decomposable.


title: Boundary conformal field theory at the extraordinary transition: The layer susceptibility to $O(\varepsilon)$

abstract: We present an analytic calculation of the layer (parallel) susceptibility at the extraordinary transition in a semi-infinite system with a flat boundary. Using the method of integral transforms put forward by McAvity and Osborn [Nucl. Phys. B 455 (1995) 522] in the boundary CFT we derive the coordinate-space representation of the mean-field propagator at the transition point. The simple algebraic structure of this function provides a practical possibility of higher-order calculations. Thus we calculate the explicit expression for the layer susceptibility at the extraordinary transition in the one-loop approximation. Our result is correct up to order $O(\varepsilon)$ of the $\varepsilon=4-d$ expansion and holds for arbitrary width of the layer and its position in the half-space. We discuss the general structure of our result and consider the limiting cases related to the boundary operator expansion and (bulk) operator product expansion. We compare our findings with previously known results and less complicated formulas in the case of the ordinary transition. We believe that analytic results for layer susceptibilities could be a good starting point for efficient calculations of two-point correlation functions. This possibility would be of great importance given the recent breakthrough in bulk and boundary conformal field theories in general dimensions.


title: Big Ramsey spectra of countable chains

abstract: A big Ramsey spectrum of a countable chain (i.e. strict linear order) C is a sequence of big Ramsey degrees of finite chains computed in C. In this paper we consider big Ramsey spectra of countable scattered chains. We prove that countable scattered chains of infinite Hausdorff rank do not have finite big Ramsey spectra, and that countable scattered chains of finite Hausdorff rank with bounded finite sums have finite big Ramsey spectra. Since big Ramsey spectra of all non-scattered countable chains are finite by results of Galvin, Laver and Devlin, in order to complete the characterization of countable chains with finite big Ramsey spectra (or degrees) one still has to resolve the remaining case of countable scattered chains of finite Hausdorff rank whose finite sums are not bounded.


title: Upscaling human activity data: an ecological perspective

abstract: In recent years we have witnessed an explosion of data collected for different human dynamics, from email communication to social networks activities. Extract useful information from these huge data sets represents a major challenge. In the last decades, statistical regularities has been widely observed in human activities and various models have been proposed. Here we move from modeling to inference and propose a statistical framework capable to predict global features of human activities from local knowledge. We consider four data sets of human activities: email communication, Twitter posts, Wikipedia articles and Gutenberg books. From the statistics of local activities, such as sent emails per senders, post per hashtags and word occurrences collected in a small sample of the considered dataset, we infer global features, as the number of senders, hashtags and words at the global scale. Our estimates are robust and accurate with a small relative error. Moreover, we predict how abundance of a hashtag or of a word may change through scales. Thus, observing a small portion of tweets and the popularity of a given hashtag among them, we can estimate whether it will remain popular or not in the unseen part of the network. Our approach is grounded on statistical ecology as we discover inference of unseen human activity hallmarks can be mapped into the unseen species problem in biodiversity. Our findings may have applications to different areas, from resource management in emails to collective attention monitoring in Twitter and to language learning process in word databases.


title: 2019 Update on $\varepsilon_K$ with lattice QCD inputs

abstract: We present updated results for $\varepsilon_K$ determined directly from the standard model (SM) with lattice QCD inputs such as $\hat{B}_K$, $|V_{cb}|$, $|V_{us}|$, $\xi_0$, $\xi_2$, $\xi_\text{LD}$, $f_K$, and $m_c$. We find that the standard model with exclusive $|V_{cb}|$ and other lattice QCD inputs describes only 65\% of the experimental value of $|\varepsilon_K|$ and does not explain its remaining 35\%, which leads to a strong tension in $|\varepsilon_K|$ at the $4.6\sigma \sim 4.2\sigma$ level between the SM theory and experiment. We also find that this tension disappears when we use the inclusive value of $|V_{cb}|$ obtained using the heavy quark expansion based on QCD sum rules.


title: Optimal state replication in stateful data planes

abstract: In SDN stateful data planes, switches can execute algorithms to process traffic based on local states. This approach permits to offload decisions from the controller to the switches, thus to reduce the latency to react to network events. We consider distributed network applications that process traffic at each switch based on local replicas of network-wide states. Replicating a state across multiple switches poses many challenges, because the number of state replicas and their placement affects both the data traffic and the synchronization traffic among the replicas. In our work, we formulate the optimal placement problem for replicated states, taking into account the data traffic routing, to ensure that the network applications affect the proper traffic flows, and the synchronization traffic between replicas, to ensure state coherence. Due to the high complexity required to find the optimal solution, we propose an approximated algorithm able to scale to large network instances. We show numerically that this algorithm, despite its simplicity, approximates quite well the optimal solution. We also show the beneficial effects of replicating the states with respect to the single-replica scenario, so far considered in the literature. Finally, we provide an asymptotic analysis to find the optimal number of replicas.


title: Data Augmentation for Deep Learning-based Radio Modulation Classification

abstract: Deep learning has recently been applied to automatically classify the modulation categories of received radio signals without manual experience. However, training deep learning models requires massive volume of data. An insufficient training data will cause serious overfitting problem and degrade the classification accuracy. To cope with small dataset, data augmentation has been widely used in image processing to expand the dataset and improve the robustness of deep learning models. However, in wireless communication areas, the effect of different data augmentation methods on radio modulation classification has not been studied yet. In this paper, we evaluate different data augmentation methods via a state-of-the-art deep learning-based modulation classifier. Based on the characteristics of modulated signals, three augmentation methods are considered, i.e., rotation, flip, and Gaussian noise, which can be applied in both training phase and inference phase of the deep learning algorithm. Numerical results show that all three augmentation methods can improve the classification accuracy. Among which, the rotation augmentation method outperforms the flip method, both of which achieve higher classification accuracy than the Gaussian noise method. Given only 12.5% of training dataset, a joint rotation and flip augmentation policy can achieve even higher classification accuracy than the baseline with initial 100% training dataset without augmentation. Furthermore, with data augmentation, radio modulation categories can be successfully classified using shorter radio samples, leading to a simplified deep learning model and shorter the classification response time.


title: Spaces of generators for matrix algebras with involution

abstract: Let $k$ be an algebraically closed field of characteristic different from 2. Up to isomorphism, the algebra $\operatorname{Mat}_{n \times n}(k)$ can be endowed with a $k$-linear involution in one way if $n$ is odd and in two ways if $n$ is even. In this paper, we consider $r$-tuples $A_\bullet \in \operatorname{Mat}_{n\times n}(k)^r$ such that the entries of $A_\bullet$ fail to generate $\operatorname{Mat}_{n\times n}(k)$ as an algebra with involution. We show that the locus of such $r$-tuples forms a closed subvariety $Z(r;V)$ of $\operatorname{Mat}_{n\times n}(k)^r$ that is not irreducible. We describe the irreducible components and we calculate the dimension of the largest component of $Z(r;V)$ in all cases. This gives a numerical answer to the question of how generic it is for an $r$-tuple $(a_1, \dots, a_r)$ of elements in $\operatorname{Mat}_{n\times n}(k)$ to generate it as an algebra with involution.


title: A Survey on Theorem Provers in Formal Methods

abstract: Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (also known as theorem provers) was to enable mathematicians to prove theorems by computer programs. However, these tools evolved with time and now play vital role in the modeling and reasoning about complex and large-scale systems, especially safety-critical systems. Technically, mathematical formalisms and automated reasoning based-approaches are employed to perform inferences and to generate proofs in theorem provers. In literature, there is a shortage of comprehensive documents that can provide proper guidance about the preferences of theorem provers with respect to their designs, performances, logical frameworks, strengths, differences and their application areas. In this work, more than 40 theorem provers are studied in detail and compared to present a comprehensive analysis and evaluation of these tools. Theorem provers are investigated based on various parameters, which includes: implementation architecture, logic and calculus used, library support, level of automation, programming paradigm, programming language, differences and application areas.


title: Low-Rank Matrix Optimization Over Affine Set

abstract: The low-rank matrix optimization with affine set (rank-MOA) is to minimize a continuously differentiable function over a low-rank set intersecting with an affine set. Under some suitable assumptions, the intersection rule of the Fr\'{e}chet normal cone to the feasible set of the rank-MOA is established. This allows us to propose the first-order optimality conditions for the rank-MOA in terms of the so-called F-stationary point and the $\alpha$-stationary point. Furthermore, the second-order optimality analysis, including the necessary condition and the sufficient one, is proposed as well. All these results will enrich the theory of low-rank matrix optimization and give potential clues to designing efficient numerical algorithms for seeking low-rank solutions. Meanwhile, we illustrate our proposed optimality analysis for several specific applications of the rank-MOA including the Hankel matrix approximation problem in system identification and the low-rank representation on linear manifold in signal processing.


title: New test of Lorentz invariance using the MICROSCOPE space mission

abstract: We use data from the T-SAGE instrument on board the MICROSCOPE space mission to search for Lorentz violation in matter-gravity couplings as described by the Lorentz violating Standard-Model Extension (SME) coefficients $(\bar{a}_\text{eff})_\mu^w$, where ($\mu = T,X,Y,Z$) and ($w = e,p,n$) for the electron, proton and neutron. One of the phenomenological consequences of a non-zero value of those coefficients is that test bodies of different composition fall differently in an external gravitational field. This is similar to "standard" tests of the universality of free fall, but with a specific signature that depends on the orbital velocity and rotation of the Earth. We analyze data from five measurement sessions of MICROSCOPE spread over a year finding no evidence for such a signature, but setting constraints on linear combinations of the SME coefficients that improve on best previous results by one to two orders of magnitude. Additionally, our independent linear combinations are different from previous ones, which increases the diversity of available constraints, paving the way towards a full decorrelation of the individual coefficients.


title: Symmetry of extending properties in nonsingular Utumi rings

abstract: This paper presents the right-left symmetry of the CS and max-min CS conditions on nonsingular rings, and generalization to nonsingular modules. We prove that a ring is right nonsingular right CS and left Utumi if and only if it is left nonsingular left CS and right Utumi. A nonsingular Utumi ring is right max (resp. right min, right max-min) CS if and only if it is left min (resp. left max, left max-min) CS. In addition, a semiprime nonsingular ring is right max-min CS with finite right uniform dimension if and only if it is left max-min CS with finite left uniform dimension.


title: Topology-Preserving Terrain Simplification

abstract: We give necessary and sufficient criteria for elementary operations in a two-dimensional terrain to preserve the persistent homology induced by the height function. These operations are edge flips and removals of interior vertices, re-triangulating the link of the removed vertex. This problem is motivated by topological terrain simplification, which means removing as many critical vertices of a terrain as possible while maintaining geometric closeness to the original surface. Existing methods manage to reduce the maximal possible number of critical vertices, but increase thereby the number of regular vertices. Our method can be used to post-process a simplified terrain, drastically reducing its size and preserving its favorable properties.


title: Recovering the homology of immersed manifolds

abstract: Given a sample of an abstract manifold immersed in some Euclidean space, we describe a way to recover the singular homology of the original manifold. It consists in estimating its tangent bundle -- seen as subset of another Euclidean space -- in a measure theoretic point of view, and in applying measure-based filtrations for persistent homology. The construction we propose is consistent and stable, and does not involve the knowledge of the dimension of the manifold. In order to obtain quantitative results, we introduce the normal reach, which is a notion of reach suitable for an immersed manifold.


title: Improved semiclassical dynamics through adiabatic switching trajectory sampling

abstract: We introduce an improved semiclassical dynamics approach to quantum vibrational spectroscopy. In this method, a harmonic-based phase space sampling is preliminarily driven toward non-harmonic quantization by slowly switching on the actual potential. The new coordinates and momenta serve as initial conditions for the semiclassical dynamics calculation, leading to a substantial decrease in the number of chaotic trajectories to deal with. Applications are presented for model and molecular systems of increasing dimensionality characterized by moderate or high chaoticity. They include a bidimensional Henon-Heiles potential, water, formaldehyde, and methane.The method improves accuracy and precision of semiclassical results and it can be easily interfaced with all pre-existing semiclassical theories.


title: Performing Arithmetic Using a Neural Network Trained on Digit Permutation Pairs

abstract: In this paper a neural network is trained to perform simple arithmetic using images of concatenated handwritten digit pairs. A convolutional neural network was trained with images consisting of two side-by-side handwritten digits, where the image's label is the summation of the two digits contained in the combined image. Crucially, the network was tested on permutation pairs that were not present during training in an effort to see if the network could learn the task of addition, as opposed to simply mapping images to labels. A dataset was generated for all possible permutation pairs of length 2 for the digits 0-9 using MNIST as a basis for the images, with one thousand samples generated for each permutation pair. For testing the network, samples generated from previously unseen permutation pairs were fed into the trained network, and its predictions measured. Results were encouraging, with the network achieving an accuracy of over 90% on some permutation train/test splits. This suggests that the network learned at first digit recognition, and subsequently the further task of addition based on the two recognised digits. As far as the authors are aware, no previous work has concentrated on learning a mathematical operation in this way.


title: Improved PAC-Bayesian Bounds for Linear Regression

abstract: In this paper, we improve the PAC-Bayesian error bound for linear regression derived in Germain et al. [10]. The improvements are twofold. First, the proposed error bound is tighter, and converges to the generalization loss with a well-chosen temperature parameter. Second, the error bound also holds for training data that are not independently sampled. In particular, the error bound applies to certain time series generated by well-known classes of dynamical models, such as ARX models.


title: Cubic spline approximation of the reliability polynomials of two dual hammock networks

abstract: The property of preserving the convexity and concavity of the Bernstein polynomial and of the B\'{e}zier curves is used to generate a method of approximating the reliability polynomial of a hammock network. The mutual behaviour of the reliability polynomials of two dual hammock networks is used to generate a system of constraints since the initial information is not enough for using a classical approximation scheme. A cubic spline function is constructed to generate approximations of the coefficients of the two reliability polynomials. As consequence, an approximation algorithm is described and tested through simulations on hammocks with known reliability, comparing the results with the results of approximations attempts from literature.


title: Rotation of a submerged finite cylinder moving down a soft incline

abstract: A submerged finite cylinder moving under its own weight along a soft incline lifts off and slides at a steady velocity while also spinning. Here, we experimentally quantify the steady spinning of the cylinder and show theoretically that it is due to a combination of an elastohydrodynamic torque generated by flow in the variable gap, and the viscous friction on the edges of the finite-length cylinder. The relative influence of the latter depends on the aspect ratio of the cylinder as well as the deformability of the substrate, which we express in term of a single scaled compliance parameter. By varying this compliance parameter, we show that our experimental results are consistent with a transition from an edge-effect dominated regime for short cylinders to a gap-dominated elastohydrodynamic regime when the cylinder is very long.


title: Impact of crystallite size on the performance of a beryllium reflector

abstract: Beryllium reflectors are used at spallation neutron sources in order to enhance the low-energy flux of neutrons emanating from the surface of a cold and thermal moderator. The design of such a moderator/reflector system is typically carried out using detailed Monte-Carlo simulations, where the beryllium reflector is assumed to behave as a poly-crystalline material. In reality, however, inhomogeneities in the beryllium could lead to discrepancies between the performance of the actual system when compared to the modeled system. The dependence of the total cross section in particular on crystallite size, in the Bragg scattering region, could influence the reflector performance, and if such effect is significant, it should be taken into account in the design of the moderator/reflector system. In this paper, we report on the preliminary results of using cross-section libraries, which include corrections for the crystallite size effect, in spallation source neutronics calculations.


title: The uncertainty of glass transition temperature in molecular dynamics simulations and numerical algorithm for its unique determination

abstract: When the cooling rate $v$ is smaller than a certain material-dependent threshold, the glass transition temperature $T_g$ becomes to a certain degree the "material parameter" being nearly independent on the cooling rate. The common method to determine $T_g$ is to extrapolate viscosity $\nu$ of the liquid state at temperatures not far above the freezing conditions to lower temperatures where liquid freezes and viscosity is hardly measurable. It is generally accepted that the glass transition occurs when viscosity drops by $13\leq n\leq17$ orders of magnitude. The accuracy of $T_g$ depends on the extrapolation quality. We propose here an algorithm for a unique determining of $T_g$. The idea is to unambiguously extrapolate $\nu(T)$ to low temperatures without relying upon a specific model. It can be done using the numerical analytical continuation of $\nu(T)$-function from above $T_g$ where it is measurable, to $T\gtrsim T_g$. For numerical analytical continuation, we use the Pade approximant method.


title: Integrating Deep Learning with Logic Fusion for Information Extraction

abstract: Information extraction (IE) aims to produce structured information from an input text, e.g., Named Entity Recognition and Relation Extraction. Various attempts have been proposed for IE via feature engineering or deep learning. However, most of them fail to associate the complex relationships inherent in the task itself, which has proven to be especially crucial. For example, the relation between 2 entities is highly dependent on their entity types. These dependencies can be regarded as complex constraints that can be efficiently expressed as logical rules. To combine such logic reasoning capabilities with learning capabilities of deep neural networks, we propose to integrate logical knowledge in the form of first-order logic into a deep learning system, which can be trained jointly in an end-to-end manner. The integrated framework is able to enhance neural outputs with knowledge regularization via logic rules, and at the same time update the weights of logic rules to comply with the characteristics of the training data. We demonstrate the effectiveness and generalization of the proposed model on multiple IE tasks.


title: Constructive derandomization of query algorithms

abstract: We give efficient deterministic algorithms for converting randomized query algorithms into deterministic ones. We first give an algorithm that takes as input a randomized $q$-query algorithm $R$ with description length $N$ and a parameter $\varepsilon$, runs in time $\mathrm{poly}(N) \cdot 2^{O(q/\varepsilon)}$, and returns a deterministic $O(q/\varepsilon)$-query algorithm $D$ that $\varepsilon$-approximates the acceptance probabilities of $R$. These parameters are near-optimal: runtime $N + 2^{\Omega(q/\varepsilon)}$ and query complexity $\Omega(q/\varepsilon)$ are necessary. Next, we give algorithms for instance-optimal and online versions of the problem: $\circ$ Instance optimal: Construct a deterministic $q^\star_R$-query algorithm $D$, where $q^\star_R$ is minimum query complexity of any deterministic algorithm that $\varepsilon$-approximates $R$. $\circ$ Online: Deterministically approximate the acceptance probability of $R$ for a specific input $\underline{x}$ in time $\mathrm{poly}(N,q,1/\varepsilon)$, without constructing $D$ in its entirety. Applying the techniques we develop for these extensions, we constructivize classic results that relate the deterministic, randomized, and quantum query complexities of boolean functions (Nisan, STOC 1989; Beals et al., FOCS 1998). This has direct implications for the Turing machine model of computation: sublinear-time algorithms for total decision problems can be efficiently derandomized and dequantized with a subexponential-time preprocessing step.


title: Sequential Heavy Ion Double Charge Exchange Reactions and the Link to Double $\beta$-decay

abstract: Heavy ion double charge exchange reactions are described by sequential meson-exchange, corresponding to a double single charge exchange (DSCE) reaction mechanism. The theoretical formulation is discussed. The fully quantum mechanical distorted wave 2-step calculations are shown to be reproduced very well by approximating the intermediate propagator by its pole part. The role of ion-ion elastic interactions is discussed. As a first application, calculations are performed for the reaction $^{40}$Ca $(^{18}$O $,^{18}$Ne $)^{40}$Ar at 15 AMeV. Results are compared to the data measured at LNS by the NUMEN Collaboration. The common aspects of DSCE reactions and double $\beta$- decay are discussed by a detailed comparison of the respective nuclear matrix elements (NME).


title: Coarsening Dynamics in the Vicsek Model of Active Matter

abstract: We study the flocking model introduced by Vicsek in the "coarsening" regime. At standard self-propulsion speeds, we find two distinct growth laws for the coupled density and velocity fields. The characteristic length scale of the density domains grows as $L_{\rho}(t) \sim t^{\theta_\rho}$ (with $\theta_\rho \simeq 0.25$), while the velocity length scale grows much faster, $viz.$, $L_{v}(t) \sim t^{\theta_v}$ (with $\theta_v \simeq 0.83$). The spatial fluctuations in the density and velocity fields are studied by calculating the two-point correlation function and the structure factor, which show deviations from the well-known Porod's law. This is a natural consequence of scattering from irregular morphologies that dynamically arise in the system. At large values of the scaled wave-vector, the scaled structure factors for the density and velocity fields decay with powers $-2.6$ and $-1.52$, respectively.


title: Optical imaging of coherent molecular rotors

abstract: Short laser pulses are widely used for controlling molecular rotational degrees of freedom and inducing molecular alignment, orientation, unidirectional rotation and other types of coherent rotational motion. To follow the ultra-fast rotational dynamics in real time, several techniques for producing molecular movies have been proposed based on the Coulomb explosion of rotating molecules, or recovering molecular orientation from the angular distribution of high-harmonics. The present work offers and demonstrates a novel non-destructive optical method for direct visualization and recording of movies of coherent rotational dynamics in a molecular gas. The technique is based on imaging the time-dependent polarization dynamics of a probe light propagating through a gas of coherently rotating molecules. The probe pulse continues through a radial polarizer, and is then recorded by a camera. We illustrate the technique by implementing it with two examples of time-resolved rotational dynamics: alignment-antialignment cycles in a molecular gas excited by a single linearly polarized laser pulse, and unidirectional molecular rotation induced by a pulse with twisted polarization. This method may open new avenues in studies on fast chemical transformation phenomena and ultrafast molecular dynamics caused by strong laser fields of various complexities.


title: Hyperbolic Graph Attention Network

abstract: Graph neural network (GNN) has shown superior performance in dealing with graphs, which has attracted considerable research attention recently. However, most of the existing GNN models are primarily designed for graphs in Euclidean spaces. Recent research has proven that the graph data exhibits non-Euclidean latent anatomy. Unfortunately, there was rarely study of GNN in non-Euclidean settings so far. To bridge this gap, in this paper, we study the GNN with attention mechanism in hyperbolic spaces at the first attempt. The research of hyperbolic GNN has some unique challenges: since the hyperbolic spaces are not vector spaces, the vector operations (e.g., vector addition, subtraction, and scalar multiplication) cannot be carried. To tackle this problem, we employ the gyrovector spaces, which provide an elegant algebraic formalism for hyperbolic geometry, to transform the features in a graph; and then we propose the hyperbolic proximity based attention mechanism to aggregate the features. Moreover, as mathematical operations in hyperbolic spaces could be more complicated than those in Euclidean spaces, we further devise a novel acceleration strategy using logarithmic and exponential mappings to improve the efficiency of our proposed model. The comprehensive experimental results on four real-world datasets demonstrate the performance of our proposed hyperbolic graph attention network model, by comparisons with other state-of-the-art baseline methods.


title: Inverse problems with partial data for elliptic operators on unbounded Lipschitz domains

abstract: For a second order formally symmetric elliptic differential expression we show that the knowledge of the Dirichlet-to-Neumann map or Robin-to-Dirichlet map for suitably many energies on an arbitrarily small open subset of the boundary determines the self-adjoint operator with a Dirichlet boundary condition or with a (possibly non-self-adjoint) Robin boundary condition uniquely up to unitary equivalence. These results hold for general Lipschitz domains, which can be unbounded and may have a non-compact boundary, and under weak regularity assumptions on the coefficients of the differential expression.


title: Document Network Embedding: Coping for Missing Content and Missing Links

abstract: Searching through networks of documents is an important task. A promising path to improve the performance of information retrieval systems in this context is to leverage dense node and content representations learned with embedding techniques. However, these techniques cannot learn representations for documents that are either isolated or whose content is missing. To tackle this issue, assuming that the topology of the network and the content of the documents correlate, we propose to estimate the missing node representations from the available content representations, and conversely. Inspired by recent advances in machine translation, we detail in this paper how to learn a linear transformation from a set of aligned content and node representations. The projection matrix is efficiently calculated in terms of the singular value decomposition. The usefulness of the proposed method is highlighted by the improved ability to predict the neighborhood of nodes whose links are unobserved based on the projected content representations, and to retrieve similar documents when content is missing, based on the projected node representations.


title: Regularization Shortcomings for Continual Learning

abstract: In most machine learning algorithms, training data is assumed to be independent and identically distributed (iid). When it is not the case, the algorithm's performances are challenged, leading to the famous phenomenon of catastrophic forgetting. Algorithms dealing with it are gathered in the Continual Learning research field. In this paper, we study the regularization based approaches to continual learning and show that those approaches can not learn to discriminate classes from different tasks in an elemental continual benchmark: the class-incremental scenario. We make theoretical reasoning to prove this shortcoming and illustrate it with examples and experiments. Moreover, we show that it can have some important consequences on continual multi-tasks reinforcement learning or in pre-trained models used for continual learning. We believe that highlighting and understanding the shortcomings of regularization strategies will help us to use them more efficiently.


title: Volution of nuclear spin-orbit splittings with Skyrme functional SAMi-T

abstract: A new Skyrme functional has been developed with tensor term guided by ab initio relativistic Brueckner-Hartree-Fock (RBHF) studies on neutron-proton drops. Instead of extracting information on the tensor force from experimental single-particle energy splittings, the RBHF calculations do not contain beyond mean-field effects such as particle-vibration coupling and therefore the information on the tensor force can be obtained without ambiguities. The new functional gives a good description of nuclear ground-state properties as well as various giant resonances. The description for the evolution of single-particle energy splittings is also improved by the new functional.


title: Model-potential calculations of positron binding, scattering, and annihilation for atoms and small molecules, using a Gaussian basis

abstract: A model-potential method is employed to calculate binding, elastic scattering, and annihilation of positrons for a number of atoms and small nonpolar molecules, namely, Be, Mg, He, Ar, H$_2$, N$_2$, Cl$_2$, and CH$_4$. The model potential contains one free parameter for each type of atom within the target. Its values are chosen to reproduce existing ab initio positron-atom binding energies or scattering phase shifts. The calculations are performed using a Gaussian basis for the positron states, and we show how to obtain values of the scattering phase shifts and normalized annihilation rate $Z_{\rm eff}$ from discrete positive-energy pseudostates. Good agreement between the present results and existing calculations and experimental data, where available, is obtained, including the $Z_{\rm eff}$ value for CH$_4$, which is strongly enhanced by a low-lying virtual positron state. An exception is the room-temperature value of $Z_{\rm eff}$ for Cl$_2$, for which the present value is much smaller than the experimental value obtained over 50 years ago. Our calculations predict that among the molecular targets studied, only Cl$_2$ might support a bound state for the positron, with a binding energy of a few meV.


title: Continuity properties and the support of killed exponential functionals

abstract: For two independent L\'evy processes $\xi$ and $\eta$ and an exponentially distributed random variable $\tau$ with parameter $q>0$, independent of $\xi$ and $\eta$, the killed exponential functional is given by $V_{q,\xi,\eta} := \int_0^\tau \mathrm{e}^{-\xi_{s-}} \, \mathrm{d} \eta_s$. Interpreting the case $q=0$ as $\tau=\infty$, the random variable $V_{q,\xi,\eta}$ is a natural generalization of the exponential functional $\int_0^\infty \mathrm{e}^{-\xi_{s-}} \, \mathrm{d} \eta_s$, the law of which is well-studied in the literature as it is the stationary distribution of a generalised Ornstein-Uhlenbeck process. In this paper we show that also the law of the killed exponential functional $V_{q,\xi,\eta}$ arises as a stationary distribution of a solution to a stochastic differential equation, thus establishing a close connection to generalised Ornstein-Uhlenbeck processes. Moreover, the support and continuity of the law of killed exponential functionals is characterised, and many sufficient conditions for absolute continuity are derived. We also obtain various new sufficient conditions for absolute continuity of $\smash{\int_0^t\mathrm{e}^{-\xi_{s-}}\mathrm{d}\eta_s}$ for fixed $t\geq0$, as well as for integrals of the form $\smash{\int_0^\infty f(s) \, \mathrm{d}\eta_s}$ for deterministic functions $f$. Furthermore, applying the same techniques to the case $q=0$, new results on the absolute continuity of the improper integral $\int_0^\infty \mathrm{e}^{-\xi_{s-}} \, \mathrm{d} \eta_s$ are derived.


title: $\Upsilon(nl)$ decay into $ B^{(*)} \bar B^{(*)}$

abstract: We have evaluated the decay modes of the $\Upsilon(4s), \Upsilon(3d), \Upsilon(5s), \Upsilon(6s)$ states into $B\bar B, B\bar B^*+c.c., B^* \bar B^*, B_s \bar B_s, B_s \bar B^*_s +c.c., B^*_s \bar B_s^* $ using the $^3P_0$ model to hadronize the $b\bar b$ vector seed, fitting some parameters to the data. We observe that the $\Upsilon(4s)$ state has an abnormally large amount of meson-meson components in the wave function, while the other states are largely $b\bar b$. We predict branching ratios for the different decay channels which can be contrasted with experiment for the case of the $\Upsilon(5s)$ state. While globally the agreement is fair, we call the attention to some disagreement that could be a warning for the existence of more elaborate components in the state.


title: Modulation of Nearly Free Electron States in Hydroxyl-Functionalized MXenes: A First-Principles Study

abstract: The transition metal carbides (namely MXenes) and their functionalized derivatives exhibit various physical and chemical characteristics and offer many potential applications in electronic devices and sensors. Using density functional theory (DFT), it is revealed that the nearly free electron (NFE) states are near the Fermi levels in hydroxyl (OH) functionalized MXenes. Most of the OH-terminated MXene are metallic, but some of them, e.g. Sc2C(OH)2, are semiconductors and the NFE states are conduction bands. In this paper, to investigate the NFE states in MXenes, an attractive image-potential well model is adopted. Compared the solutions of this model with the DFT calculations, it is found that due to the overlap of spatially extensive wave functions of NFE states and their hybridization between the artificial neighboring layers imposed by the periodical boundary conditions (PBCs), the DFT results represent the properties of multiple layers, intrinsically. Based on the DFT calculations, it is found that the energy gap widths are affected by the interlayer distances. We address that the energetics of the NFE states can be modulated by the external electric fields and it is possible to convert semiconducting MXenes into metals. This band-gap manipulation makes the OH-terminated semiconducting MXenes an excellent candidate for electronic switch applications. Finally, using a set of electron transport calculations, I-V characteristics of Sc2C(OH)2 devices are investigated with the gate voltages.


title: A simple proof of a multidimensional Borg-Levinson type theorem

abstract: We provide a simple and short proof of a multidimensional Borg-Levinson type theorem. Precisely, we prove that the spectral boundary data determine uniquely the corresponding potential appearing in the Sch\"odinger operator on an admissible Riemannian manifold. We also sketch the proof of the case of incomplete spectral boundary data.


title: Determination of the Dzyaloshinskii-Moriya interactions

abstract: Using in-plane field dependence of the precessional flow of chiral domain walls (DWs) to simultaneously determine bulk and interfacial Dzyaloshinskii-Moriya interactions (DMIs) is proposed. It is found that effective fields of bulk and interfacial DMIs have respectively transverse and longitudinal components that affect differently the motion of chiral DWs in magnetic narrow heterostructure strips. The in-plane field dependence of DW velocity has a dome-shape or a canyon-shape, depending on whether the driving force is an in-plane current or an out-of-plane magnetic field. The responses of their center shifts to the reversal of topological wall charge and current/field direction uniquely determine the nature and strength of DMI therein. Operable procedures are proposed and applied to explain existing experimental data.


title: 3D Analytical Model of Skyrmions and Skyrmion-like Structures in a Two-sublattice Antiferromagnet with Dzyaloshinskii-Moriya Interaction

abstract: The analytical model is developed for description of skyrmions and skyrmion-like magnetic structures in a two-sublattice antiferromagnet with uniaxial magnetic anisotropy and Dzyaloshinskii-Moriya interaction. Relativistic contraction of skyrmion size in the direction of motion is demonstrated for subcritical case when the skyrmion velocity is less than spin wave velocity in antiferromagnet. Lorentz-like supercritical transformation are found for skyrmion-like magnetic structures moving with velocity greater than spin wave velocity in antiferromagnet.


title: Neutrinoless double beta decay versus other probes of heavy sterile neutrinos

abstract: We make a comparative study of the neutrinoless double beta decay constraints on heavy sterile neutrinos versus other direct and indirect constraints from both lepton number conserving and violating processes, as a sensitive probe of the extent of lepton number violation and possible interference effects in the sterile sector. We introduce a phenomenological parametrisation of the simplified one-generation seesaw model with one active and two sterile neutrino states in terms of experimentally measurable quantities, such as active-sterile neutrino mixing angles, CP phases, masses and mass splittings. This simple parametrisation enables us to analytically derive a spectrum of possible scenarios between the canonical seesaw with purely Majorana heavy neutrinos and inverse seesaw with pseudo-Dirac ones. We then go on to constrain the simplified parameters of this model from various experiments at the energy, intensity and cosmic frontiers. We emphasise that the constraints from lepton number violating processes strongly depend on the mass splitting between the two sterile states and the relative CP phase between them. This is particularly relevant for neutrinoless double beta decay, which is weakened for small mass splitting and opposite CP parities between the sterile states. On the other hand, neutrinoless double beta decay is especially sensitive for Majorana sterile neutrinos with masses around $0.1-10$ GeV.


title: Anderson-Bogoliubov collective excitations in superfluid Fermi gases at nonzero temperatures

abstract: The Anderson-Bogoliubov branch of collective excitations in a condensed Fermi gas is treated using the effective bosonic action of Gaussian pair fluctuations. The spectra of collective excitations are treated for finite temperature and momentum throughout the BCS-BEC crossover. The obtained spectra explain, both qualitatively and quantitatively, recent experimental results on Goldstone modes in atomic Fermi superfluids.


title: Existence and axial symmetry of minimal action odd solutions for 2-D Schr\"{o}dinger-Newton equation

abstract: We consider the following 2-D Schr\"{o}dinger-Newton equation \begin{eqnarray*} \begin{cases} -\Delta u+u=w|u|^{p-1}u \\ -\Delta w=2 \pi |u|^p \end{cases}\text{in} \; \mathbb{R}^2 \end{eqnarray*} for $ p \geq 2 $. Using variational method with the Cerami compactness property, we prove the existence of minimal action odd solutions. Also by carefully applying the method of moving plane to a similar but more complex equation on the upper half space, we prove these solutions are in fact axially symmetric. Our results partially can be seen as the counterpart of results in paper \cite{GS} for the 2-D case, or the extension of the results \cite{CW} to the odd solution case.


title: Rearrangement term in the nonlocal folding model of the nucleon optical potential

abstract: Based on the mean-field determination of the single-particle energy in nuclear matter that contains naturally a rearrangement term (RT) implied by the Hugenholtz-van Hove theorem, the folding model of the nucleon optical potential (OP) is extended to take into account the RT using the effective, density dependent CDM3Yn interaction. With the exchange part of the nucleon folded OP treated exactly in the Hartree-Fock manner, a compact nonlocal version of the folding model is suggested in the present work to determine explicitly the isospin-dependent, nonlocal central term of the nucleon OP. To solve the optical model (OM) equation with a complex nonlocal OP, the calculable $R$-matrix method is used to analyse the elastic neutron and proton scattering on $^{40,48}$Ca, $^{90}$Zr, and $^{208}$Pb targets at low energies. The inclusion of the RT into the folding model calculation of the nonlocal nucleon OP was shown to be essential for the overall good OM description of elastic nucleon scattering. To validate the nonlocal version of the folding model, the OM results given by the nonlocal folded nucleon OP are also compared with those given by the global parametrization of the nonlocal OP using the analytical nonlocal form factor suggested by Perey and Buck.


title: Optical response of an interacting polaron gas in strongly polar crystals

abstract: Optical conductivity of an interacting polaron gas is calculated within an extended random phase approximation which takes into account mixing of collective excitations of the electron gas with LO phonons. This mixing is important for the optical response of strongly polar crystals where the static dielectric constant is rather high: strontium titanate is the case. The present calculation sheds light on unexplained features of experimentally observed optical conductivity spectra in $n$-doped SrTiO$_{3}$. These features appear to be due to dynamic screening of the electron-electron interaction by polar optical phonons and hence do not require additional mechanisms for the explanation.


title: Weak Supervision helps Emergence of Word-Object Alignment and improves Vision-Language Tasks

abstract: The large adoption of the self-attention (i.e. transformer model) and BERT-like training principles has recently resulted in a number of high performing models on a large panoply of vision-and-language problems (such as Visual Question Answering (VQA), image retrieval, etc.). In this paper we claim that these State-Of-The-Art (SOTA) approaches perform reasonably well in structuring information inside a single modality but, despite their impressive performances , they tend to struggle to identify fine-grained inter-modality relationships. Indeed, such relations are frequently assumed to be implicitly learned during training from application-specific losses, mostly cross-entropy for classification. While most recent works provide inductive bias for inter-modality relationships via cross attention modules, in this work, we demonstrate (1) that the latter assumption does not hold, i.e. modality alignment does not necessarily emerge automatically, and (2) that adding weak supervision for alignment between visual objects and words improves the quality of the learned models on tasks requiring reasoning. In particular , we integrate an object-word alignment loss into SOTA vision-language reasoning models and evaluate it on two tasks VQA and Language-driven Comparison of Images. We show that the proposed fine-grained inter-modality supervision significantly improves performance on both tasks. In particular, this new learning signal allows obtaining SOTA-level performances on GQA dataset (VQA task) with pre-trained models without finetuning on the task, and a new SOTA on NLVR2 dataset (Language-driven Comparison of Images). Finally, we also illustrate the impact of the contribution on the models reasoning by visualizing attention distributions.


title: Gromov-Hausdorff stability of inertial manifolds under perturbations of the domain and equation

abstract: In this paper, we study the Gromov-Hausdorff stability and continuous dependence of the inertial manifolds under perturbations of the domain and equation. More precisely, we use the Gromov-Hausdorff distances between two inertial manifolds and two dynamical systems to consider the continuous dependence of the inertial manifolds and the stability of the dynamical systems on inertial manifolds induced by the reaction diffusion equations under perturbations of the domain and equation.


title: The Loewy Structure of Certain Fixpoint Algebras, Part II

abstract: In Part I of this paper, we introduced a class of certain algebras of finite dimension over a field. All these algebras are split, symmetric and local. Here we continue to investigate their Loewy structure. We show that in many cases their Loewy length is equal to an upper bound established in Part I, but we also construct examples where we have a strict inequality.


title: Exact controllability of the linear Zakharov-Kuznetsov equation

abstract: We consider the linear Zakharov-Kuznetsov equation on a rectangle with a left Dirich-let boundary control. Using the flatness approach, we prove the null controllability of this equation and provide a space of analytic reachable states.


title: Small and Finite Inertia in Stochastic Systems: Moment and Cumulant Formalisms

abstract: We analyze two approaches to elimination of a fast variable (velocity) in stochastic systems: moment and cumulant formalisms. With these approaches, we obtain the corresponding Smoluchovski-type equations, which contain only the coordinate/phase variable. The adiabatic elimination of velocity in terms of cumulants and moments requires the first three elements. However, for the case of small inertia, the corrected Smoluchowski equation in terms of moments requires five elements, while in terms of cumulants the same first three elements are sufficient. Compared to the method based on the expansion of the velocity distribution in Hermite functions, the considered approaches have comparable efficiency, but do not require individual mathematical preparation for the case of active Brownian particles, where one has to construct a new basis of eigenfunctions instead of the Hermite ones.


title: The final SDSS-IV/SPIDERS X-ray point source spectroscopic catalogue

abstract: We look to provide a detailed description of the SPectroscopic IDentification of ERosita Sources (SPIDERS) survey, an SDSS-IV programme aimed at obtaining spectroscopic classification and redshift measurements for complete samples of sufficiently bright X-ray sources. We describe the SPIDERS X-ray Point Source Spectroscopic Catalogue, considering its store of 11,092 observed spectra drawn from a parent sample of 14,759 ROSAT and XMM sources over an area of 5,129 deg$^2$ covered in SDSS-IV by the eBOSS survey. This programme represents the largest systematic spectroscopic observation of an X-ray selected sample. A total of 10,970 (98.9\%) of the observed objects are classified and 10,849 (97.8\%) have secure redshifts. The majority of the spectra (10,070 objects) are active galactic nuclei (AGN), 522 are cluster galaxies, and 294 are stars. The observed AGN redshift distribution is in good agreement with simulations based on empirical models for AGN activation and duty cycle. Forming composite spectra of type 1 AGN as a function of the mass and accretion rate of their black holes reveals systematic differences in the H-beta emission line profiles. This study paves the way for systematic spectroscopic observations of sources that are potentially to be discovered in the upcoming eROSITA survey over a large section of the sky.


title: A multiple group rack and oriented spatial surfaces

abstract: A spatial surface is a compact surface embedded in the 3-sphere. In this paper, we provide several typical examples of spatial surfaces and construct a coloring invariant to distinguish them. The coloring is defined by using a multiple group rack, which is a rack version of a multiple conjugation quandle.


title: Hydrodynamic simulations unravel the progenitor-supernova-remnant connection in SN 1987A

abstract: (Abridged) We aim at linking the dynamical and radiative properties of the remnant of SN 1987A to the geometrical and physical characteristics of the parent aspherical SN explosion and to the internal structure of its progenitor star. We performed 3D hydrodynamic simulations which describe the long-term evolution of SN 1987A from the onset of the SN to the full-fledged remnant at the age of 50 years, accounting for the pre-SN structure of the progenitor star. The simulations include all physical processes relevant for the complex phases of SN evolution and for the interaction of the SNR with the highly inhomogeneous ambient environment around SN 1987A. From the simulations, we synthesize observables to be compared with observations. By comparing the model results with observations, we constrained the initial SN anisotropy causing Doppler shifts observed in emission lines of heavy elements from ejecta, and leading to the remnant evolution observed in the X-ray band in the last 30 years. In particular, we found that the high mixing of ejecta unveiled by high redshifts and broadenings of [FeII] and $^{44}$Ti lines require a highly asymmetric SN explosion channeling a significant fraction of energy along an axis almost lying in the plane of the central equatorial ring around SN 1987A, roughly along the line-of-sight but with an offset of 40 deg, with the lobe propagating away from the observer slightly more energetic than the other. We found unambiguously that the observed distribution of ejecta and the dynamical and radiative properties of the SNR can be best reproduced if the structure of the progenitor star was that of a blue supergiant resulted from the merging of two massive stars.


title: Isotropic Lifshitz Scaling in four dimensions

abstract: The presence of isotropic Lifshitz points for a O(N)-symmetric scalar theory is investigated with the help of the Functional Renormalization Group. In particular, at the supposed lower critical dimension d=4, evidence for a continuous line of fixed points is found for the O(2) theory, and the observed structure presents clear similarities with the properties observed in the 2-dimensional Berezinskii-Kosterlitz-Thouless phase.


title: EdNet: A Large-Scale Hierarchical Dataset in Education

abstract: With advances in Artificial Intelligence in Education (AIEd) and the ever-growing scale of Interactive Educational Systems (IESs), data-driven approach has become a common recipe for various tasks such as knowledge tracing and learning path recommendation. Unfortunately, collecting real students' interaction data is often challenging, which results in the lack of public large-scale benchmark dataset reflecting a wide variety of student behaviors in modern IESs. Although several datasets, such as ASSISTments, Junyi Academy, Synthetic and STATICS, are publicly available and widely used, they are not large enough to leverage the full potential of state-of-the-art data-driven models and limits the recorded behaviors to question-solving activities. To this end, we introduce EdNet, a large-scale hierarchical dataset of diverse student activities collected by Santa, a multi-platform self-study solution equipped with artificial intelligence tutoring system. EdNet contains 131,441,538 interactions from 784,309 students collected over more than 2 years, which is the largest among the ITS datasets released to the public so far. Unlike existing datasets, EdNet provides a wide variety of student actions ranging from question-solving to lecture consumption and item purchasing. Also, EdNet has a hierarchical structure where the student actions are divided into 4 different levels of abstractions. The features of EdNet are domain-agnostic, allowing EdNet to be extended to different domains easily. The dataset is publicly released under Creative Commons Attribution-NonCommercial 4.0 International license for research purposes. We plan to host challenges in multiple AIEd tasks with EdNet to provide a common ground for the fair comparison between different state of the art models and encourage the development of practical and effective methods.


title: Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves

abstract: Loops and cycles play an important role in computing endomorphism rings of supersingular elliptic curves and related cryptosystems. For a supersingular elliptic curve $E$ defined over $\mathbb{F}_{p^2}$, if an imaginary quadratic order $O$ can be embedded in $\text{End}(E)$ and a prime $L$ splits into two principal ideals in $O$, we construct loops or cycles in the supersingular $L$-isogeny graph at the vertices which are next to $j(E)$ in the supersingular $\ell$-isogeny graph where $\ell$ is a prime different from $L$. Next, we discuss the lengths of these cycles especially for $j(E)=1728$ and $0$. Finally, we also determine an upper bound on primes $p$ for which there are unexpected $2$-cycles if $\ell$ doesn't split in $O$.


title: Solving Bernoulli Rank-One Bandits with Unimodal Thompson Sampling

abstract: Stochastic Rank-One Bandits (Katarya et al, (2017a,b)) are a simple framework for regret minimization problems over rank-one matrices of arms. The initially proposed algorithms are proved to have logarithmic regret, but do not match the existing lower bound for this problem. We close this gap by first proving that rank-one bandits are a particular instance of unimodal bandits, and then providing a new analysis of Unimodal Thompson Sampling (UTS), initially proposed by Paladino et al (2017). We prove an asymptotically optimal regret bound on the frequentist regret of UTS and we support our claims with simulations showing the significant improvement of our method compared to the state-of-the-art.


title: Dissipative Brackets for the Fokker-Planck Equation in Hamiltonian Systems and Characterization of Metriplectic Manifolds

abstract: It is shown that the Fokker-Planck equation describing diffusion processes in noncanonical Hamiltonian systems exhibits a metriplectic structure, i.e. an algebraic bracket formalism that generates the equation in consistency with the thermodynamic principles of energy conservation and entropy growth. First, a microscopic metriplectic bracket is derived for the stochastic equations of motion that characterize the random walk of the elements constituting the statistical ensemble. Such bracket is fully determined by the Poisson operator generating the Hamiltonian dynamics of an isolated (unperturbed) particle. Then, the macroscopic metriplectic bracket associated with the evolution of the distribution function of the ensemble is induced from the microscopic metriplectic bracket. Similarly, the macroscopic Casimir invariants are inherited from microscopic dynamics. The theory is applied to construct the Fokker-Planck equation of an infinite dimensional Hamiltonian system, the Charney-Hasegawa-Mima equation. Finally, the canonical form of the symmetric (dissipative) part of the metriplectic bracket is identified in terms of a `canonical metric tensor' corresponding to an Euclidean metric tensor on the symplectic leaves foliated by the Casimir invariants.


title: TeleHammer: A Formal Model of Implicit Rowhammer

abstract: The rowhammer bug allows an attacker to gain privilege escalation or steal private data. A key requirement of all existing rowhammer attacks is that an attacker must have access to at least part of an exploitable hammer row. We refer to such rowhammer attacks as PeriHammer. The state-of-the-art software-only defenses against PeriHammer attacks is to make the exploitable hammer rows beyond the attacker's access permission. In this paper, we question the necessity of the above requirement and propose a new class of rowhammer attacks, termed as TeleHammer. It is a paradigm shift in rowhammer attacks since it crosses privilege boundary to stealthily rowhammer an inaccessible row by implicit DRAM accesses. Such accesses are achieved by abusing inherent features of modern hardware and or software. We propose a generic model to rigorously formalize the necessary conditions to initiate TeleHammer and PeriHammer, respectively. Compared to PeriHammer, TeleHammer can defeat the advanced software-only defenses, stealthy in hiding itself and hard to be mitigated. To demonstrate the practicality of TeleHammer and its advantages, we have created a TeleHammer's instance, called PThammer, which leverages the address-translation feature of modern processors. We observe that a memory access from user space can induce a load of a Level-1 page-table entry (L1PTE) from memory and thus hammer the L1PTE once, although L1PTE is not accessible to us. To achieve a high enough hammering frequency, we flush relevant TLB and cache effectively and efficiently. To this end, we demonstrate PThammer on three different test machines and show that it can cross user-kernel boundary and induce the first bit flips in L1PTEs within 15 minutes of double-sided PThammering. We have exploited PThammer to defeat advanced software-only rowhammer defenses in default system setting.


title: A Polynomially Irreducible Functional Basis of Elasticity Tensors

abstract: Tensor function representation theory is an essential topic in both theoretical and applied mechanics. For the elasticity tensor, Olive, Kolev and Auffray (2017) proposed a minimal integrity basis of 297 isotropic invariants, which is also a functional basis. Inspired by Smith's and Zheng's works, we use a novel method in this article to seek a functional basis of the elasticity tensor, that contains less number of isotropic invariants. We achieve this goal by constructing 22 intermediate tensors consisting of 11 second order symmetrical tensors and 11 scalars via the irreducible decomposition of the elasticity tensor. Based on such intermediate tensors, we further generate 429 isotropic invariants which form a functional basis of the elasticity tensor. After eliminating all the invariants that are zeros or polynomials in the others, we finally obtain a functional basis of 251 isotropic invariants for the elasticity tensor.


title: A partitioned scheme for adjoint shape sensitivity analysis of fluid-structure interactions involving non-matching meshes

abstract: This work presents a partitioned solution procedure to compute shape gradients in fluid-structure interaction (FSI) using black-box adjoint solvers. Special attention is paid to project the gradients onto the undeformed configuration. This is due to the mixed Lagrangian-Eulerian formulation of large-displacement FSI in this work. Adjoint FSI problem is partitioned as an assembly of well-known adjoint fluid and structural problems, without requiring expensive cross-derivatives. The sub-adjoint problems are coupled with each other by augmenting the target functions with auxiliary functions, independent of the concrete choice of the underlying adjoint formulations. The auxiliary functions are linear force-based or displacement-based functionals which are readily available in well-established single-disciplinary adjoint solvers. Adjoint structural displacements, adjoint fluid displacements, and domain-based adjoint sensitivities of the fluid are the coupling fields to be exchanged between the adjoint solvers. A reduced formulation is also derived for the case of boundary-based adjoint shape sensitivity analysis for fluids. Numerical studies show that the complete formulation computes accurate shape gradients whereas inaccuracies appear in the reduced gradients, specially in regions of strong flow gradients and near singularities. Nevertheless, reduced gradient formulations are found to be a compromise between computational costs and accuracy. Mapping techniques including nearest element interpolation and the mortar method are studied in computational adjoint FSI. It is numerically shown that the mortar method does not introduce spurious oscillations in primal and sensitivity fields along non-matching interfaces, unlike the nearest element interpolation.


title: Spatial tomography of individual atoms in a quantum gas microscope

abstract: We demonstrate a method to determine the position of single atoms in a three-dimensional optical lattice. Atoms are sparsely loaded from a far-off-resonant optical tweezer into a few vertical planes of a cubic optical lattice positioned near a high-resolution microscope objective. In a single realization of the experiment, we pin the atoms in deep lattices and then acquire multiple fluorescence images with single-site resolution. The objective is translated between images, bringing different lattice planes of the lattice into focus. The applicability of our method is assessed using simulated fluorescence images, where the atomic filling fraction in the lattice is varied. This opens up the possibility of extending the domain of quantum simulation using quantum gas microscopes from two to three dimensions.


title: Upper critical field and superconductor-metal transition in ultrathin niobium films

abstract: Recent studies suggests that in disordered ultrathin films superconducting (SC) state may be intrinsically inhomogeneous. Here we investigate the nature of SC state in ultrathin Nb films, of thickness $d$ ranging from 1.2 nm to 20 nm, which undergo a transition from amorphous to polycrystalline structure at the thickness $d \simeq 3.3$ nm. We show that the properties of SC state are very different in polycrystalline and amorphous films. The upper critical field ($H_{c2}$) is orbitally limited in the first case, and paramagnetically limited in the latter. The magnetic field induced superconductor-metal transition is observed, with the critical field approximately constant or decreasing as a power-law with the film conductance in polycrystalline or amorphous films, respectively. The scaling analysis indicates distinct scaling exponents in these two types of films. Negative contribution of the SC fluctuations to conductivity exists above $H_{c2}$, particularly pronounced in amorphous films, signaling the presence of fluctuating Cooper pairs. These observations suggest the development of local inhomogeneities in the amorphous films, in the form of proximity-coupled SC islands. An usual evolution of SC correlations on cooling is observed in amorphous films, likely related to the effect of quantum fluctuations on the proximity-induced phase coherence.


title: Monte Carlo simulations of the S-shaped neutron guide

abstract: Neutron transport along guides is governed by the Liouville theorem and the technology involved has advanced in recent decades. Computer simulations have proven to be useful tools in the design and conception of neutron guide systems in facilities. In this study, we use a Monte Carlo method to perform simulations for an S-shaped neutron guide with different dimensions for a Small-Angle Neutron Scattering (SANS) instrument, through the MCSTAS software. A wavelength cutoff is observed and shown to be dependent on the geometrical parameters of the guide. Results for the neutron flux at sample position are presented and a greater sensitivity of cutoffs concerning the curvatures of the guides than to their lengths is noticed. Our results are in agreement with those obtained from the Acceptance Diagram method and we analyze the beam divergence behavior along the S-shaped guide.


title: Analysis of Quiescent Corona X-ray Spectra from SphinX during the 2009 Solar Minimum

abstract: The SphinX X-ray spectrophotometer on the {\em CORONAS-PHOTON}\/ mission observed the 1~--~15\,keV X-ray spectrum of the spatially integrated solar corona during the deep minimum of 2009, when solar activity was exceptionally low. Its sensitivity for energies $> 1.2$\,keV was higher than that of any other solar X-ray spectrometer in orbit at the time, including the detectors on GOES. Using much improved instrumental data than was used previously, we analyzed SphinX spectra in 576 intervals for which there was no discernible activity (NA), 40 intervals when there were X-ray brightenings (B), and sixteen intervals when there were micro-flares with peak emission less than GOES A1 (F). An instrumental background spectrum, formed over 34 hours of spacecraft night-time periods and including electronic noise and particle radiation, was subtracted from the solar spectra. Theoretical spectra were used to deduce temperatures on an isothermal assumption for the NA, B, and F intervals (1.69, 1.81, and 1.86\,MK respectively). Differential emission measure (DEM) analysis for the same spectra revealed a "cooler" component (log\,$T = 6.2$ or $T \approx 1.6$\,MK) in each case, but with a second hotter component having a less well-defined peak temperature varying from $\approx 2.5$ to $\approx 3.5$\,MK (log\,$T = 6.4$ and 6.55) and an emission measure between two and three orders smaller than that of the cooler component. These results are similar to those obtained at times just after solar minimum with the EVE instrument. A very hot component that might indicate the signature of nano-flare heating of the corona is not evident in SphinX data.


title: Visual-Textual Association with Hardest and Semi-Hard Negative Pairs Mining for Person Search

abstract: Searching persons in large-scale image databases with the query of natural language description is a more practical important applications in video surveillance. Intuitively, for person search, the core issue should be visual-textual association, which is still an extremely challenging task, due to the contradiction between the high abstraction of textual description and the intuitive expression of visual images. However, for this task, while positive image-text pairs are always well provided, most existing methods doesn't tackle this problem effectively by mining more reasonable negative pairs. In this paper, we proposed a novel visual-textual association approach with visual and textual attention, and cross-modality hardest and semi-hard negative pair mining. In order to evaluate the effectiveness and feasibility of the proposed approach, we conduct extensive experiments on typical person search datasdet: CUHK-PEDES, in which our approach achieves the top1 score of 55.32% as a new state-of-the-art. Besides, we also evaluate the semi-hard pair mining approach in COCO caption dataset, and validate the effectiveness and complementarity of the methods.


title: Direct integrals of strongly continuous operator semigroups

abstract: The goal of this article is to develop a theory for direct integrals of $C_0$-semigroups on Hilbert spaces parallel to the recent approach by Lachowicz and Moszy\'nski for direct sums of Banach spaces, diagonal operators, and semigroups. In it we deal with the existence and characterisation of semigroups, asymptotic rates, and questions of decomposability.


title: Exploring Unlabeled Faces for Novel Attribute Discovery

abstract: Despite remarkable success in unpaired image-to-image translation, existing systems still require a large amount of labeled images. This is a bottleneck for their real-world applications; in practice, a model trained on labeled CelebA dataset does not work well for test images from a different distribution -- greatly limiting their application to unlabeled images of a much larger quantity. In this paper, we attempt to alleviate this necessity for labeled data in the facial image translation domain. We aim to explore the degree to which you can discover novel attributes from unlabeled faces and perform high-quality translation. To this end, we use prior knowledge about the visual world as guidance to discover novel attributes and transfer them via a novel normalization method. Experiments show that our method trained on unlabeled data produces high-quality translations, preserves identity, and be perceptually realistic as good as, or better than, state-of-the-art methods trained on labeled data.


title: A Simple proof of Curtis' connectivity theorem for Lie powers

abstract: We give a simple proof of the Curtis' theorem: if $A_\bullet$ is $k$-connected free simplicial abelian group, then $L^n(A_\bullet)$ is an $k+ \lceil \log_2 n \rceil$-connected simplicial abelian group, where $L^n$ is the functor of $n$-th Lie power. In the proof we do not use Curtis' decomposition of Lie powers. Instead of this we use the Chevalley-Eilenberg complex for the free Lie algebra.


title: Lorentz Symmetry Violation in QCD and the Frustration of Asymptotic Freedom

abstract: We study the effect of Lorentz symmetry violation (LSV) on the behaviour at high energy of SU(N) gauge theory with quarks in the fundamental representation. The approach is similar to that for QED treated in a previous paper. In contrast to QED, standard Lorentz invariant QCD is asymptotically free. Our aim is to explore the structure of the renormalisation group at high energy and hence weak coupling without requiring the Lorentz symmetry breaking to be small. The simplest type of LSV leaves the theory invariant under a subgroup of the Lorentz group that preserves a (time-like) 4-vector. We examine this case in detail and find that asymptotic freedom is frustrated. That is, at sufficiently high energy the running coupling constant attains a minimum value before increasing again, while the LSV parameter increases without bound.


title: Scheduling on Hybrid Platforms: Improved Approximability Window

abstract: Modern platforms are using accelerators in conjunction with standard processing units in order to reduce the running time of specific operations, such as matrix operations, and improve their performance. Scheduling on such hybrid platforms is a challenging problem since the algorithms used for the case of homogeneous resources do not adapt well. In this paper we consider the problem of scheduling a set of tasks subject to precedence constraints on hybrid platforms, composed of two types of processing units. We propose a $(3+2\sqrt{2})$-approximation algorithm and a conditional lower bound of 3 on the approximation ratio. These results improve upon the 6-approximation algorithm proposed by Kedad-Sidhoum et al. as well as the lower bound of 2 due to Svensson for identical machines. Our algorithm is inspired by the former one and distinguishes the allocation and the scheduling phases. However, we propose a different allocation procedure which, although is less efficient for the allocation sub-problem, leads to an improved approximation ratio for the whole scheduling problem. This approximation ratio actually decreases when the number of processing units of each type is close and matches the conditional lower bound when they are equal.


title: The Gravitational Potential of Two Point Masses at Five Loops

abstract: Corrections to the Newtonian gravitational potential from general relativity can be derived in a combined expansion around flat spacetime and a small velocity of the interacting bodies. We present the calculation of the static five-loop corrections in an effective field theory framework using techniques from multi-loop computations in particle physics.


title: Efficient multivariate approximation on the cube

abstract: We combine a periodization strategy for weighted $L_{2}$-integrands with efficient approximation methods in order to approximate multivariate non-periodic functions on the high-dimensional cube $\left[-\frac{1}{2},\frac{1}{2}\right]^{d}$. Our concept allows to determine conditions on the $d$-variate torus-to-cube transformations ${\psi:\left[-\frac{1}{2},\frac{1}{2}\right]^{d}\to\left[-\frac{1}{2},\frac{1}{2}\right]^{d}}$ such that a non-periodic function is transformed into a smooth function in the Sobolev space $\mathcal H^{m}(\mathbb{T}^{d})$ when applying $\psi$. We adapt some $L_{\infty}(\mathbb{T}^{d})$- and $L_{2}(\mathbb{T}^{d})$-approximation error estimates for single rank-$1$ lattice approximation methods and adjust algorithms for the fast evaluation and fast reconstruction of multivariate trigonometric polynomials on the torus in order to apply these methods to the non-periodic setting. We illustrate the theoretical findings by means of numerical tests in up to $d=5$ dimensions.


title: From Braces to Hecke algebras & Quantum Groups

abstract: We examine links between the theory of braces and set theoretical solutions of the Yang-Baxter equation, and fundamental concepts from the theory of quantum integrable systems. More precisely, we make connections with Hecke algebras and we identify new quantum groups associated to set-theoretic solutions coming from braces. We also construct a novel class of quantum discrete integrable systems and we derive symmetries for the corresponding periodic transfer matrices.


title: Synthetic spin-orbit coupling mediated by a bosonic environment

abstract: We study a mobile quantum impurity, possessing internal rotational degrees of freedom, confined to a ring in the presence of a many-particle bosonic bath. By considering the recently introduced rotating polaron problem, we define the Hamiltonian and examine the energy spectrum. The weak-coupling regime is studied by means of a variational ansatz in the truncated Fock space. The corresponding spectrum indicates that there emerges a coupling between the internal and orbital angular momenta of the impurity as a consequence of the phonon exchange. We interpret the coupling as a phonon-mediated spin-orbit coupling and quantify it by using a correlation function between the internal and orbital angular momentum operators. The strong-coupling regime is investigated within the Pekar approach and it is shown that the correlation function of the ground state shows a kink at a critical coupling, that is explained by a sharp transition from the non-interacting state to the states that exhibit strong interaction with the surroundings. The results might find applications in such fields as spintronics or topological insulators, where spin-orbit coupling is of crucial importance.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.other physics.atm-clus physics.atom-ph


title: Vertically-Oriented Graphene Oxide Membranes for High-Performance Osmotic Energy Conversion

abstract: Reverse electrodialysis is a promising method to harvest the osmotic energy stored between seawater and freshwater, but it has been a long-standing challenge to fabricate permselective membranes with the power density surpassing the industry benchmark of 5.0 W $m^{-2}$ for half a century. Herein, we report a vertically-oriented graphene oxide membranes (V-GOMs) with the combination of high ion selectivity and ultrafast ion permeation, whose permeation is three orders of magnitude higher than the extensively studied horizontally stacked GOMs (H-GOMs). By mixing artificial seawater and river water, we obtained an unprecedented high output power density of 10.6 W $m^{-2}$, outperforming all existing materials. Molecular dynamics (MD) simulations reveal the mechanism of the ultrafast transport in V-GOMs results from the quick entering of ions and the large accessible area as well as the apparent short diffusion paths in V-GOMs. These results will facilitate the practical application of osmotic energy and bring innovative design strategy for various systems involving ultrafast transport, such as filtration and catalysis.