title: Exact solution of network flow models with strong relaxations

abstract: We address the solution of Mixed Integer Linear Programming (MILP) models with strong relaxations that are derived from Dantzig-Wolfe decompositions and allow a pseudo-polynomial pricing algorithm. We exploit their network-flow characterization and provide a framework based on column generation, reduced-cost variable-fixing, and a highly asymmetric branching scheme that allows us to take advantage of the potential of the current MILP solvers. We apply our framework to a variety of cutting and packing problems from the literature. The efficiency of the framework is proved by extensive computational experiments, in which a significant number of open instances could be solved to proven optimality for the first time.


title: Boosting the Performance of Video Compression Artifact Reduction with Reference Frame Proposals and Frequency Domain Information

abstract: Many deep learning based video compression artifact removal algorithms have been proposed to recover high-quality videos from low-quality compressed videos. Recently, methods were proposed to mine spatiotemporal information via utilizing multiple neighboring frames as reference frames. However, these post-processing methods take advantage of adjacent frames directly, but neglect the information of the video itself, which can be exploited. In this paper, we propose an effective reference frame proposal strategy to boost the performance of the existing multi-frame approaches. Besides, we introduce a loss based on fast Fourier transformation~(FFT) to further improve the effectiveness of restoration. Experimental results show that our method achieves better fidelity and perceptual performance on MFQE 2.0 dataset than the state-of-the-art methods. And our method won Track 1 and Track 2, and was ranked the 2nd in Track 3 of NTIRE 2021 Quality enhancement of heavily compressed videos Challenge.


title: Polynomial methods to construct inputs for uniformly ensemble reachable linear systems

abstract: This paper is concerned with linear parameter-dependent systems and considers the notion uniform ensemble reachability. The focus of this work is on constructive methods to compute suitable parameter-independent open-loop inputs for such systems. In contrast to necessary and sufficient conditions for ensemble reachability, computational methods have to distinguish between continuous-time and discrete-time systems. Based on recently derived sufficient conditions and techniques from complex approximation we present two algorithms for discrete-time single-input linear systems. Moreover, we illustrate that one method can also be applied to certain continuous-time single-input systems.


title: A Capacity Region Outer Bound for the Two-User Perturbative Nonlinear Fiber Optical Channel

abstract: We study a nonlinear fiber optical channel impaired by cross-phase modulation and dispersion from the viewpoint of an interference channel. We characterize an outer bound on the capacity region of simultaneously achievable rate pairs, assuming a two-user perturbative channel model.


title: Poisson gauge theory

abstract: The Poisson gauge algebra is a semi-classical limit of complete non-commutative gauge algebra. In the present work we formulate the Poisson gauge theory which is a dynamical field theoretical model having the Poisson gauge algebra as a corresponding algebra of gauge symmetries. The proposed model is designed to investigate the semi-classical features of the full non-commutative gauge theory with coordinate dependent non-commutativity $\Theta^{ab}(x)$, especially whose with a non-constant rank. We derive the expression for the covariant derivative of matter field. The commutator relation for the covariant derivatives defines the Poisson field strength which is covariant under the Poisson gauge transformations and reproduces the standard $U(1)$ field strength in the commutative limit. We derive the corresponding Bianchi identities. The field equations for the gauge and the matter fields are obtained from the gauge invariant action. We consider different examples of linear in coordinates Poisson structures $\Theta^{ab}(x)$, as well as non-linear ones, and obtain explicit expressions for all proposed constructions. Our model is unique up to invertible field redefinitions and coordinate transformations.


title: Hartree-Fock-Bogolubov method in the theory of Bose-condensed systems

abstract: The Hohenberg-Martin dilemma of conserving versus gapless theories for systems with Bose-Einstein condensate is considered. This dilemma states that, generally, a theory characterizing a system with broken global gauge symmetry, which is necessary for Bose-Einstein condensation, is either conserving, but has a gap in its spectrum, or is gapless, but does not obey conservation laws. In other words, such a system either displays a gapless spectrum, which is necessary for condensate existence, but is not conserving, which implies that it corresponds to an unstable system, or it respects conservation laws, describing a stable system, but the spectrum acquires a gap, which means that the condensate cannot appear. An approach is described, resolving this dilemma, and it is shown to give good quantitative agreement with experimental data. Calculations are accomplished in the Hartree-Fock-Bogolubov approximation.


title: Measures of Helicity and Chirality of Optical Vortex Beams

abstract: Analytical forms of the optical helicity and optical chirality of monochromatic Laguerre-Gaussian optical vortex beams are derived up to second order in the paraxial parameter $kw_0$. We show that input linearly polarised optical vortices which possess no optical chirality, helicity or spin densities can acquire them at the focal plane for values of a beam waist $w_0 \approx \lambda$ via an OAM-SAM conversion which is manifest through longitudinal (with respect to the direction of propagation) fields. We place the results into context with respect to the intrinsic and extrinsic nature of SAM and OAM, respectively; the continuity equation which relates the densities of helicity and spin; and the newly coined term Kelvins chirality which describes the extrinsic, geometrical chirality of structured laser beams. Finally we compare our work (which agrees with previous studies) to the recent article K\"oksal, et al. Optics Communications 490, 126907 (2021) which shows conflicting results, highlighting the importance of including all relevant terms to a given order in the paraxial parameter.


title: Radiative and photon-exchange corrections to New Physics contributions to energy levels in few-electron ions

abstract: The influence of hypothetical new interactions beyond the Standard Model on atomic spectra has attracted recent interest. In the present work, interelectronic photon-exchange corrections and radiative quantum electrodynamic corrections to the hypothetical contribution to the energy levels of few-electron ions from a new interaction are calculated. The $1s$, $2s$ and $2p_{1/2}$ ground states of H-like, Li-like and B-like ions are considered, as motivated by proposals to use isotope shift spectroscopy of few-electron ions in order to set stringent constraints on hypothetical new interactions. It is shown that, for light Li-like and B-like ions, photon-exchange corrections are comparable to or even larger, by up to several orders of magnitude, than the leading one-electron contribution from the new interaction, when the latter is mediated by heavy bosons.


title: OCT-GAN: Neural ODE-based Conditional Tabular GANs

abstract: Synthesizing tabular data is attracting much attention these days for various purposes. With sophisticate synthetic data, for instance, one can augment its training data. For the past couple of years, tabular data synthesis techniques have been greatly improved. Recent work made progress to address many problems in synthesizing tabular data, such as the imbalanced distribution and multimodality problems. However, the data utility of state-of-the-art methods is not satisfactory yet. In this work, we significantly improve the utility by designing our generator and discriminator based on neural ordinary differential equations (NODEs). After showing that NODEs have theoretically preferred characteristics for generating tabular data, we introduce our designs. The NODE-based discriminator performs a hidden vector evolution trajectory-based classification rather than classifying with a hidden vector at the last layer only. Our generator also adopts an ODE layer at the very beginning of its architecture to transform its initial input vector (i.e., the concatenation of a noisy vector and a condition vector in our case) onto another latent vector space suitable for the generation process. We conduct experiments with 13 datasets, including but not limited to insurance fraud detection, online news article prediction, and so on, and our presented method outperforms other state-of-the-art tabular data synthesis methods in many cases of our classification, regression, and clustering experiments.


title: Real degeneracy loci of matrices and phase retrieval

abstract: Let ${\mathcal A} = \{A_{1},\dots,A_{r}\}$ be a collection of linear operators on ${\mathbb R}^m$. The degeneracy locus of ${\mathcal A}$ is defined as the set of points $x \in {\mathbb P}^{m-1}$ for which rank$([A_1 x \ \dots \ A_{r} x]) \\ \leq m-1$. Motivated by results in phase retrieval we study degeneracy loci of four linear operators on ${\mathbb R}^3$ and prove that the degeneracy locus consists of 6 real points obtained by intersecting four real lines if and only if the collection of matrices lies in the linear span of four fixed rank one operators. We also relate such {\em quadrilateral configurations} to the singularity locus of the corresponding Cayley cubic symmetroid. More generally, we show that if $A_i , i = 1, \dots, m + 1$ are in the linear span of $m + 1$ fixed rank-one matrices, the degeneracy locus determines a {\em generalized Desargues configuration} which corresponds to a Sylvester spectrahedron.


title: Probing gluon Bose correlations in DIS

abstract: We study correlations originating from the quantum nature of gluons in a hadronic wave function. Bose-Einstein correlation between identical particles lead to the enhancement in the number of pairs of gluons with the same quantum numbers and small relative momentum. We show that these preexisting correlations can be probed in Deep Inelastic Scattering experiments at high energy. Specifically, we consider diffractive dijet plus a third jet production. The azimuthal dependence displays a peak at the zero relative angle between the transverse momentum imbalance of the photon-going dijet and the transverse momentum of the hadron-going jet. Our calculations explicitly show that the peak originates from Bose enhancement. Comparing electron-proton to electron-nucleus collisions, we demonstrate that the nuclear target enhances the relative strength of the peak. With the future high luminosity Electron-Ion Collider the proposed measurements of gluon Bose enhancement become experimentally feasible.


title: Renormalized Singles Green's Function in the T-Matrix Approximation for Accurate Quasiparticle Energy Calculation

abstract: We combine the renormalized singles (RS) Green's function with the T-Matrix approximation for the single-particle Green's function to compute quasiparticle energies for valence and core states of molecular systems. The $G_{\text{RS}}T_0$ method uses the RS Green's function that incorporates singles contributions as the initial Green's function. The $G_{\text{RS}}T_{\text{RS}}$ method further calculates the generalized effective interaction with the RS Green's function by using RS eigenvalues in the T-Matrix calculation through the particle-particle random phase approximation. The $G_{\text{RS}}T_{\text{RS}}$ method provides significant improvements over the one-shot T-Matrix method $G_0T_0$ as demonstrated in calculations for GW100 and CORE65 test sets. It also systematically eliminates the dependence of $G_{0}T_{0}$ on the choice of density functional approximations (DFAs). For valence states, the $G_{\text{RS}}T_{\text{RS}}$ method provides an excellent accuracy, which is better than $G_0T_0$ with Hartree-Fock (HF) or other DFAs. For core states, the $G_{\text{RS}}T_{\text{RS}}$ method correctly identifies desired peaks in the spectral function and significantly outperforms $G_0T_0$ on core level binding energies (CLBEs) and relative CLBEs, with any commonly used DFAs.


title: Network embedding unveils the hidden interactions in the mammalian virome

abstract: At most 1-2% of the global virome has been sampled to date. Recent work has shown that predicting which host-virus interactions are possible but undiscovered or unrealized is, fundamentally, a network science problem. Here, we develop a novel method that combines a coarse recommender system (Linear Filtering; LF) with an imputation algorithm based on low-rank graph embedding (Singular Value Decomposition; SVD) to infer host-virus associations. This combination of techniques results in informed initial guesses based on directly measurable network properties (density, degree distribution) that are refined through SVD (which is able to leverage emerging features). Using this method, we recovered highly plausible undiscovered interactions with a strong signal of viral coevolutionary history, and revealed a global hotspot of unusually unique but unsampled (or unrealized) host-virus interactions in the Amazon rainforest. We develop several tests for quantifying the bias and realism of these predictions, and show that the LF-SVD method is robust in each aspect. We finally show that graph embedding of the imputed network can be used to improve predictions of human infection from viral genome features, showing that the global structure of the mammal-virus network provides additional insights into human disease emergence.


title: Non-Convex Tensor Low-Rank Approximation for Infrared Small Target Detection

abstract: Infrared small target detection is an important fundamental task in the infrared system. Therefore, many infrared small target detection methods have been proposed, in which the low-rank model has been used as a powerful tool. However, most low-rank-based methods assign the same weights for different singular values, which will lead to inaccurate background estimation. Considering that different singular values have different importance and should be treated discriminatively, in this paper, we propose a non-convex tensor low-rank approximation (NTLA) method for infrared small target detection. In our method, NTLA regularization adaptively assigns different weights to different singular values for accurate background estimation. Based on the proposed NTLA, we propose asymmetric spatial-temporal total variation (ASTTV) regularization to achieve more accurate background estimation in complex scenes. Compared with the traditional total variation approach, ASTTV exploits different smoothness intensities for spatial and temporal regularization. We design an efficient algorithm to find the optimal solution of our method. Compared with some state-of-the-art methods, the proposed method achieves an improvement in terms of various evaluation metrics. Extensive experimental results in various complex scenes demonstrate that our method has strong robustness and low false-alarm rate. Code is available at https://github.com/LiuTing20a/ASTTV-NTLA.


title: Privileged Graph Distillation for Cold Start Recommendation

abstract: The cold start problem in recommender systems is a long-standing challenge, which requires recommending to new users (items) based on attributes without any historical interaction records. In these recommendation systems, warm users (items) have privileged collaborative signals of interaction records compared to cold start users (items), and these Collaborative Filtering (CF) signals are shown to have competing performance for recommendation. Many researchers proposed to learn the correlation between collaborative signal embedding space and the attribute embedding space to improve the cold start recommendation, in which user and item categorical attributes are available in many online platforms. However, the cold start recommendation is still limited by two embedding spaces modeling and simple assumptions of space transformation. As user-item interaction behaviors and user (item) attributes naturally form a heterogeneous graph structure, in this paper, we propose a privileged graph distillation model~(PGD). The teacher model is composed of a heterogeneous graph structure for warm users and items with privileged CF links. The student model is composed of an entity-attribute graph without CF links. Specifically, the teacher model can learn better embeddings of each entity by injecting complex higher-order relationships from the constructed heterogeneous graph. The student model can learn the distilled output with privileged CF embeddings from the teacher embeddings. Our proposed model is generally applicable to different cold start scenarios with new user, new item, or new user-new item. Finally, extensive experimental results on the real-world datasets clearly show the effectiveness of our proposed model on different types of cold start problems, with average $6.6\%, 5.6\%, $ and $17.1\%$ improvement over state-of-the-art baselines on three datasets, respectively.


title: Long-term dynamics of the solar system inner planets

abstract: Although the discovery of the chaotic motion of the inner planets in the solar system dates back to more than thirty years ago, the secular chaos of their orbits still dares more analytical analyses. Apart from the high-dimensional structure of the motion, this is probably related to the lack of an adequately simple dynamical model. Here, we consider a new secular dynamics for the inner planets, with the aim of retaining a fundamental set of interactions responsible for their chaotic behaviour, while being consistent with the predictions of the most precise orbital solutions currently available. We exploit the regularity in the secular motion of the outer planets, to predetermine a quasi-periodic solution for their orbits. This reduces the secular phase space to the degrees of freedom dominated by the inner planets. On top of that, the smallness of the inner planet masses and the absence of strong mean-motion resonances permits to restrict ourselves to first-order secular averaging. The resulting dynamics can be integrated numerically in a very efficient way through Gauss's method, while computer algebra allows for analytical inspection of planet interactions, once the Hamiltonian is truncated at a given total degree in eccentricities and inclinations. The new model matches very satisfactorily reference orbital solutions of the solar system over timescales shorter than or comparable to the Lyapunov time. It correctly reproduces the maximum Lyapunov exponent of the inner system and the statistics of the high eccentricities of Mercury over the next five billion years. The destabilizing role of the $g_1-g_5$ secular resonance also arises. A numerical experiment, consisting of a thousand orbital solutions over one hundred billion years, reveals the essential properties of the stochastic process driving the destabilization of the inner solar system and clarifies its current metastable state.


title: Stable High Power deep-UV Enhancement Cavity in Ultra High Vacuum with Fluoride Coatings

abstract: We demonstrate the superior performance of fluoride coated versus oxide coated mirrors in long term vacuum operation of a high power deep-ultraviolet enhancement cavity. In high vacuum ($10^{-8}$ mbar), the fluoride optics can maintain up to a record-high 10 w of stable intracavity power on one hour time scales, whereas for the oxide optics, we observe rapid degradation at lower intracavity powers with a rate that increases with power. After observing degradation in high vacuum, we can recover the fluoride and oxide optics with oxygen; however, this recovery process becomes ineffective after several applications. For fluoride coatings, we see that initial UV conditioning in an oxygen environment helps to improve the performances of the optics. In oxygen-rich environments from $\sim 10^{-4}$ mbar to 1 mbar, the fluoride optics can stably maintain up to 20 W of intracavity power on several-hour time scales whereas for the oxide optics there is immediate degradation with a rate that increases with decreasing oxygen pressure.

categories: physics.optics hep-ex physics.atom-ph quant-ph


title: On the conformal transformation between two anisotropic fluid spacetimes

abstract: We investigate the necessary conditions for the two spacetimes, which are solutions to the Einstein field equations with an anisotropic matter source, to be related to each other by means of a conformal transformation. As a result, we obtain that if one of such spacetimes is a generalization of the Robertson-Walker solution with vanishing acceleration and vorticity, then the other one has to be in this class as well, i.e. the conformal factor will be a constant function on the hypersurfaces orthogonal to the fluid flow lines. The evolution equation for this function appears naturally as a direct consequence of the conformal transformation of the Ricci tensor.


title: Complex symmetric weighted composition operators on Bergman spaces and Lebesgue spaces

abstract: In the paper, we investigate weighted composition operators on Bergman spaces of a half-plane. We characterize weighted composition operators which are hermitian and those which are complex symmetric with respect to a family of conjugations. As it turns out, weighted composition operators enhanced by a symmetry must be bounded. Hermitian, and unitary weighted composition operators are proven to be complex symmetric with respect to an adapted and highly relevant conjugation. We classify which the linear fractional functions give rise to the complex symmetry of bounded composition operators. We end the paper with a natural link to complex symmetry in Lebesgue space.


title: Crowdsourcing Learning as Domain Adaptation: A Case Study on Named Entity Recognition

abstract: Crowdsourcing is regarded as one prospective solution for effective supervised learning, aiming to build large-scale annotated training data by crowd workers. Previous studies focus on reducing the influences from the noises of the crowdsourced annotations for supervised models. We take a different point in this work, regarding all crowdsourced annotations as gold-standard with respect to the individual annotators. In this way, we find that crowdsourcing could be highly similar to domain adaptation, and then the recent advances of cross-domain methods can be almost directly applied to crowdsourcing. Here we take named entity recognition (NER) as a study case, suggesting an annotator-aware representation learning model that inspired by the domain adaptation methods which attempt to capture effective domain-aware features. We investigate both unsupervised and supervised crowdsourcing learning, assuming that no or only small-scale expert annotations are available. Experimental results on a benchmark crowdsourced NER dataset show that our method is highly effective, leading to a new state-of-the-art performance. In addition, under the supervised setting, we can achieve impressive performance gains with only a very small scale of expert annotations.


title: Critical Functions and Inf-Sup Stability of Crouzeix-Raviart Elements

abstract: In this paper, we prove that Crouzeix-Raviart finite elements of polynomial order $p\geq5$, $p$ odd, are inf-sup stable for the Stokes problem on triangulations. For $p\geq4$, $p$ even, the stability was proved by \'{A}. Baran and G. Stoyan in 2007 by using the \textit{macroelement technique,} a \textit{dimension formula}, the concept of \textit{critical points} in a triangulation and a representation of the corresponding \textit{critical functions}. Baran and Stoyan proved that these critical functions belong to the range of the divergence operator applied to Crouzeix-Raviart velocity functions and the macroelement technique implies the inf-sup stability. The generalization of this theory to cover odd polynomial orders $p\geq5$ is involved; one reason is that the macroelement classes, which have been used for even $p$, are unsuitable for odd $p$. In this paper, we introduce a new and simple representation of non-conforming Crouzeix-Raviart basis functions of odd degree. We employ only one type of macroelement and derive representations of all possible critical functions. Finally, we show that they are in the range of the divergence operator applied to Crouzeix-Raviart velocities from which the stability of the discretization follows.


title: Rank-Based Norms, Capra-Conjugacies and the Rank Function

abstract: We consider the space of matrices, with given number of rows and of columns, equipped with the classic trace scalar product. With any matrix (source) norm, we associate a coupling, called Capra, between the space of matrices and itself. Then, we compute the Capra conjugate and biconjugate of the rank function. They are expressed in function of a sequence of rank-based norms, more precisely generalized r-rank and dual r-rank matrix norms associated with the matrix source norm. We deduce a lower bound of the rank function given by a variational formula which involves the generalized r-rank norms. In the case of the Frobenius norm, we show that the rank function is equal to the variational formula.


title: Best Convex Lower Approximations of the l 0 Pseudonorm on Unit Balls

abstract: Whereas the norm of a vector measures amplitude (and is a 1-homogeneous function), sparsity is measured by the 0-homogeneous l0 pseudonorm, which counts the number of nonzero components. We propose a family of conjugacies suitable for the analysis of 0-homogeneous functions. These conjugacies are derived from couplings between vectors, given by their scalar product divided by a 1-homogeneous normalizing factor. With this, we characterize the best convex lower approximation of a 0-homogeneous function on the unit ''ball'' of a normalization function (i.e. a norm without the requirement of subadditivity). We do the same with the best convex and 1-homogeneous lower approximation. In particular, we provide expressions for the tightest convex lower approximation of the l0 pseudonorm on any unit ball, and we show that the tightest norm which minorizes the l0 pseudonorm on the unit ball of any lp-norm is the l1-norm. We also provide the tightest convex lower convex approximation of the l0 pseudonorm on the unit ball of any norm.


title: WAP: Digital Dependability Identities

abstract: Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition for this is that the issue of dependability has been addressed. This paper presents the concept of a Digital Dependability Identity (DDI) of a component or system as foundation for assuring the dependability of CPS. A DDI is an analyzable and potentially executable model of information about the dependability of a component or system. We argue that DDIs must fulfill a number of properties including being universally useful across supply chains, enabling off-line certification of systems where possible, and providing capabilities for in-field certification of safety of CPS. In this paper, we focus on system safety as one integral part of dependability and as a practical demonstration of the concept, we present an initial implementation of DDIs in the form of Conditional Safety Certificates (also known as ConSerts). We explain ConSerts and their practical operationalization based on an illustrative example.


title: Noether charge astronomy

abstract: Noether's theorem identifies fundamental conserved quantities, called Noether charges, from a Hamiltonian. To-date Noether charges remain largely elusive within theories of gravity: We do not know how to directly measure them, and their physical interpretation remains unsettled in general spacetimes. Here we show that the surface gravity as naturally defined for a family of observers in arbitrarily dynamical spacetimes is a directly measurable Noether charge. This Noether charge reduces to the accepted value on stationary horizons, and, when integrated over a closed surface, yields an energy with the characteristics of gravitating mass. Stokes' theorem then identifies the gravitating energy density as the time-component of a locally conserved Noether current in general spacetimes. Our conclusion, that this Noether charge is extractable from astronomical observations, holds the potential for determining the detailed distribution of the gravitating mass in galaxies, galaxy clusters and beyond.


title: Feasibility Assessment of Multitasking in MRI Neuroimaging Analysis: Tissue Segmentation, Cross-Modality Conversion and Bias correction

abstract: Neuroimaging is essential in brain studies for the diagnosis and identification of disease, structure, and function of the brain in its healthy and disease states. Literature shows that there are advantages of multitasking with some deep learning (DL) schemes in challenging neuroimaging applications. This study examines the feasibility of using multitasking in three different applications, including tissue segmentation, cross-modality conversion, and bias-field correction. These applications reflect five different scenarios in which multitasking is explored and 280 training and testing sessions conducted for empirical evaluations. Two well-known networks, U-Net as a well-known convolutional neural network architecture, and a closed architecture based on the conditional generative adversarial network are implemented. Different metrics such as the normalized cross-correlation coefficient and Dice scores are used for comparison of methods and results of the different experiments. Statistical analysis is also provided by paired t-test. The present study explores the pros and cons of these methods and their practical impacts on multitasking in different implementation scenarios. This investigation shows that bias correction and cross-modality conversion applications are significantly easier than the segmentation application, and having multitasking with segmentation is not reasonable if one of them is identified as the main target application. However, when the main application is the segmentation of tissues, multitasking with cross-modality conversion is beneficial, especially for the U-net architecture.


title: Crouzeix-Raviart triangular elements are inf-sup stable

abstract: The Crouzeix-Raviart triangular finite elements are $\inf$-$\sup$ stable for the Stokes equations for any mesh with at least one interior vertex. This result affirms a {\em conjecture of Crouzeix-Falk} from 1989 for $p=3$. Our proof applies to {\em any odd degree} $p\ge 3$ and hence Crouzeix-Raviart triangular finite elements of degree $p$ in two dimensions and the piecewise polynomials of degree $p-1$ with vanishing integral form a stable Stokes pair {\em for all positive integers} $p$.


title: Asymmetric All-or-nothing Transforms

abstract: In this paper, we initiate a study of asymmetric all-or-nothing transforms (or asymmetric AONTs). A (symmetric) $t$-all-or-nothing transform is a bijective mapping defined on the set of $s$-tuples over a specified finite alphabet. It is required that knowledge of all but $t$ outputs leaves any $t$ inputs completely undetermined. There have been numerous papers developing the theory of AONTs as well as presenting various applications of AONTs in cryptography and information security. In this paper, we replace the parameter $t$ by two parameters $t_o$ and $t_i$, where $t_i \leq t_o$. The requirement is that knowledge of all but $t_o$ outputs leaves any $t_i$ inputs completely undetermined. When $t_i < t_o$, we refer to the AONT as asymmetric. We give several constructions and bounds for various classes of asymmetric AONTs, especially those with $t_i = 1$ or $t_i = 2$. We pay particular attention to linear transforms, where the alphabet is a finite field $\mathbb{F}_q$ and the mapping is linear.


title: Representation Learning Beyond Linear Prediction Functions

abstract: Recent papers on the theory of representation learning has shown the importance of a quantity called diversity when generalizing from a set of source tasks to a target task. Most of these papers assume that the function mapping shared representations to predictions is linear, for both source and target tasks. In practice, researchers in deep learning use different numbers of extra layers following the pretrained model based on the difficulty of the new task. This motivates us to ask whether diversity can be achieved when source tasks and the target task use different prediction function spaces beyond linear functions. We show that diversity holds even if the target task uses a neural network with multiple layers, as long as source tasks use linear functions. If source tasks use nonlinear prediction functions, we provide a negative result by showing that depth-1 neural networks with ReLu activation function need exponentially many source tasks to achieve diversity. For a general function class, we find that eluder dimension gives a lower bound on the number of tasks required for diversity. Our theoretical results imply that simpler tasks generalize better. Though our theoretical results are shown for the global minimizer of empirical risks, their qualitative predictions still hold true for gradient-based optimization algorithms as verified by our simulations on deep neural networks.


title: A new distance based on minimal absent words and applications to biological sequences

abstract: A minimal absent word of a sequence x, is a sequence yt hat is not a factorof x, but all of its proper factors are factors of x as well. The set of minimal absent words uniquely defines the sequence itself. In recent times minimal absent words have been used in order to compare sequences. In fact, to do this, one can compare the sets of their minimal absent words. Chairungasee and Crochemorein [2] define a distance between pairs of sequences x and y, where the symmetric difference of the sets of minimal absent words of x and y is involved. Here, weconsider a different distance, introduced in [1], based on a specific subset of such symmetric difference that, in our opinion, better capture the different features ofthe considered sequences. We show the result of some experiments where the distance is tested on a dataset of genetic sequences by 11 living species, in order to compare the new distance with the ones existing in literature.


title: Mapping cone of $k$-Entanglement Breaking Maps

abstract: In \cite{CMW19}, the authors introduced $k$-entanglement breaking linear maps to understand the entanglement breaking property of completely positive maps on taking composition. In this article, we do a systematic study of $k$-entanglement breaking maps. We prove many equivalent conditions for a $k$-positive linear map to be $k$-entanglement breaking, thereby study the mapping cone structure of $k$-entanglement breaking maps. We discuss examples of $k$-entanglement breaking maps and some of their significance. As an application of our study, we characterize completely positive maps that reduce Schmidt number on taking composition with another completely positive map.

categories: math.OA math-ph math.FA math.MP quant-ph


title: INSiDER: Incorporation of system and safety analysis models using a dedicated reference model

abstract: In order to enable model-based, iterative design of safety-relevant systems, an efficient incorporation of safety and system engineering is a pressing need. Our approach interconnects system design and safety analysis models efficiently using a dedicated reference model. Since all information are available in a structured way, traceability between the model elements and consistency checks enable automated synchronization to guarantee that information within both kind of models are consistent during the development life-cycle.


title: Urban Traffic Surveillance (UTS): A fully probabilistic 3D tracking approach based on 2D detections

abstract: Urban Traffic Surveillance (UTS) is a surveillance system based on a monocular and calibrated video camera that detects vehicles in an urban traffic scenario with dense traffic on multiple lanes and vehicles performing sharp turning maneuvers. UTS then tracks the vehicles using a 3D bounding box representation and a physically reasonable 3D motion model relying on an unscented Kalman filter based approach. Since UTS recovers positions, shape and motion information in a three-dimensional world coordinate system, it can be employed to recognize diverse traffic violations or to supply intelligent vehicles with valuable traffic information. We build on YOLOv3 as a detector yielding 2D bounding boxes and class labels for each vehicle. A 2D detector renders our system much more independent to different camera perspectives as a variety of labeled training data is available. This allows for a good generalization while also being more hardware efficient. The task of 3D tracking based on 2D detections is supported by integrating class specific prior knowledge about the vehicle shape. We quantitatively evaluate UTS using self generated synthetic data and ground truth from the CARLA simulator, due to the non-existence of datasets with an urban vehicle surveillance setting and labeled 3D bounding boxes. Additionally, we give a qualitative impression of how UTS performs on real-world data. Our implementation is capable of operating in real time on a reasonably modern workstation. To the best of our knowledge, UTS is to date the only 3D vehicle tracking system in a surveillance scenario (static camera observing moving targets).


title: MAOMaps: A Photo-Realistic Benchmark For vSLAM and Map Merging Quality Assessment

abstract: Running numerous experiments in simulation is a necessary step before deploying a control system on a real robot. In this paper we introduce a novel benchmark that is aimed at quantitatively evaluating the quality of vision-based simultaneous localization and mapping (vSLAM) and map merging algorithms. The benchmark consists of both a dataset and a set of tools for automatic evaluation. The dataset is photo-realistic and provides both the localization and the map ground truth data. This makes it possible to evaluate not only the localization part of the SLAM pipeline but the mapping part as well. To compare the vSLAM-built maps and the ground-truth ones we introduce a novel way to find correspondences between them that takes the SLAM context into account (as opposed to other approaches like nearest neighbors). The benchmark is ROS-compatable and is open-sourced to the community. The data and the code are available at: \texttt{github.com/CnnDepth/MAOMaps}.


title: Choose a Transformer: Fourier or Galerkin

abstract: In this paper, we apply the self-attention from the state-of-the-art Transformer in Attention Is All You Need for the first time to a data-driven operator learning problem related to partial differential equations. An effort is put together to explain the heuristics of, and to improve the efficacy of the attention mechanism. By employing the operator approximation theory in Hilbert spaces, it is demonstrated for the first time that the softmax normalization in the scaled dot-product attention is sufficient but not necessary. Without softmax, the approximation capacity of a linearized Transformer variant can be proved to be comparable to a Petrov-Galerkin projection layer-wise, and the estimate is independent with respect to the sequence length. A new layer normalization scheme mimicking the Petrov-Galerkin projection is proposed to allow a scaling to propagate through attention layers, which helps the model achieve remarkable accuracy in operator learning tasks with unnormalized data. Finally, we present three operator learning experiments, including the viscid Burgers' equation, an interface Darcy flow, and an inverse interface coefficient identification problem. The newly proposed simple attention-based operator learner, Galerkin Transformer, shows significant improvements in both training cost and evaluation accuracy over its softmax-normalized counterparts.


title: Assessing Brazilian agri-food policies: what impact on family farms?

abstract: Since the beginning of the 1990s, Brazil has introduced different policies for increasing agricultural production among family farms, such as the National Program for Strengthening Family Farming (Pronaf), the technical assistance and rural extension programmes (ATER), and seeds distribution. Despite the importance of these policies for the development of family farming, there is a lack of empirical studies investigating their impact on commercialization of food products. By considering household-level data from the 2014 Brazilian National Household Sample Survey, we use propensity score matching techniques accounting for the interaction effects between policies to compare the commercialisation behaviour of recipients with non recipients. We find that Pronaf has a significant positive impact on family farmers propensity to engage in commercialisation, and this effect increases if farmers have also access to ATER. Receiving technical assistance alone has a positive effect, but this is mostly limited to smaller farms. In turn, seed distribution appears not to increase commercialization significantly. A well balanced policy mix could ensure that, in a country subject to the pressure of international food markets, increased commercialisation does not result in reduced food security for rural dwellers.


title: Classify the Higgs decays with the PFN and ParticleNet at electron-positron colliders

abstract: Various Higgs factories are proposed to study the Higgs boson precisely and systematically in a model-independent way. In this study, the Particle Flow Network and ParticleNet techniques are used to classify the Higgs decays into multi-categories and the ultimate goal is to realize an "end-to-end" analysis. A Monte Carlo simulation study is performed to demonstrate the feasibility, and the performance looks rather promising. This result could be the basis of a "one-shop" analysis to measure all the branching fractions of the Higgs decays simultaneously.


title: Incomplete Information VCG Contracts for Common Agency

abstract: We study contract design for welfare maximization in the well known "common agency" model of [Bernheim and Whinston, 1986]. This model combines the challenges of coordinating multiple principals with the fundamental challenge of contract design: that principals have incomplete information of the agent's choice of action. Motivated by the significant social inefficiency of standard contracts for such settings (which we formally quantify using a price of anarchy/stability analysis), we investigate whether and how a recent toolbox developed for the first set of challenges under a complete-information assumption, VCG contracts [Lavi and Shamash, 2019], can be extended to incomplete information. We define and characterize the class of "incomplete information VCG contracts (IIVCG)", and show it is the unique class guaranteeing truthfulness of the principals and welfare maximization by the agent. Our results reveal an inherent tradeoff between two important properties required to ensure participation in the contract: individual rationality (for the principals) and limited liability (for the agent). We design a polynomial-time algorithm for determining whether a setting has an IIVCG contract with both properties. As our main result we design a polynomial-time "algorithmic IIVCG" contract: given valuation reports from the principals it returns, if possible for the setting, a payment scheme for the agent that constitutes an IIVCG contract with all desired properties. We also give a sufficient graph-theoretic condition on the population of principals that ensures the existence of such an IIVCG contract.


title: Quotients of Navier--Stokes equation on space curves

abstract: A Navier--Stokes system on a curve is discussed. The quotient equation for this system is found. The quotient is used to find some solutions of Navier--Stokes system. Using virial expansion of the Planck potential, we reduce the quotient equation to a series of systems of ordinary differential equations.


title: Intrinsic Wasserstein Correlation Analysis

abstract: We develop a framework of canonical correlation analysis for distribution-valued functional data within the geometry of Wasserstein spaces. Specifically, we formulate an intrinsic concept of correlation between random distributions, propose estimation methods based on functional principal component analysis (FPCA) and Tikhonov regularization, respectively, for the correlation and its corresponding weight functions, and establish the minimax convergence rates of the estimators. The key idea is to extend the framework of tensor Hilbert spaces to distribution-valued functional data to overcome the challenging issue raised by nonlinearity of Wasserstein spaces. The finite-sample performance of the proposed estimators is illustrated via simulation studies, and the practical merit is demonstrated via a study on the association of distributions of brain activities between two brain regions.


title: Unsteady chiral swimmer in presence of an external chemical gradient

abstract: Unsteadiness occurs in the low Reynolds number swimmers' motion while they start from rest or escape from a predator or attack prey. In this paper, we study an unsteady chiral swimmer's behavior, with a prescribed surface slip velocity, in the low Reynold number regime and its response to an external chemical gradient. Using the general solution of unsteady Stokes equation and appropriate boundary conditions, i.e., slip velocity at the body surface and the ambient velocity field at the far-field, we calculate the migration velocity, rotation rate, and the ow field of the swimmer in a closed-form. We compare the velocity with some previously known results in appropriate limits. The continuous unsteady motion of the swimmer affects its tactic movement. A relevant example of this situation is chemotaxis, where the presence of chemical stimulus alters the swimmer's surface slip velocity. As a result, the swimmer either steers towards the chemical target or moves away from it, depending on the system parameters. Here, the rotation rate controls the success of the chemotaxis. In addition to the successful and unsuccessful cases, we observe a unique orbiting state where the swimmer keeps revolving around the chemical target in diffusive orbits.


title: ArChes -- Automatic generation of component fault trees from continuous function charts

abstract: The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses. However, it also increase the effort for creating and maintaining the safety analysis models (such as fault trees) significantly. In this work, we present a method to automatically generate Component Fault Trees from Continuous Function Charts. This method aims at generating the failure propagation model of the detailed software specification. Hence, control software can be included into safety analyses without additional manual effort required to construct the safety analysis models of the software. Moreover, safety analyses created during early system specification phases can be verified by comparing it with the automatically generated one in the detailed specification phased.


title: Entropy Dissipation at the Junction for Macroscopic Traffic Flow Models

abstract: A maximum entropy dissipation problem at a traffic junction and the corresponding coupling condition are studied. We prove that this problem is equivalent to a coupling condition introduced by Holden and Risebro. An $L^1$-contraction property of the coupling condition and uniqueness of solutions to the Cauchy problem are proven. Existence is obtained by a kinetic approximation of Bhatnagar-Gross-Krook-type together with a kinetic coupling condition obtained by a kinetic maximum entropy dissipation problem. The arguments do not require $TV$-bounds on the initial data compared to previous results. We also discuss the role of the entropies involved in the macroscopic coupling condition at the traffic junction by studying an example.


title: Generalization Error Rates in Kernel Regression: The Crossover from the Noiseless to Noisy Regime

abstract: In this manuscript we consider Kernel Ridge Regression (KRR) under the Gaussian design. Exponents for the decay of the excess generalization error of KRR have been reported in various works under the assumption of power-law decay of eigenvalues of the features co-variance. These decays were, however, provided for sizeably different setups, namely in the noiseless case with constant regularization and in the noisy optimally regularized case. Intermediary settings have been left substantially uncharted. In this work, we unify and extend this line of work, providing characterization of all regimes and excess error decay rates that can be observed in terms of the interplay of noise and regularization. In particular, we show the existence of a transition in the noisy setting between the noiseless exponents to its noisy values as the sample complexity is increased. Finally, we illustrate how this crossover can also be observed on real data sets.


title: Rapid mixing of Glauber dynamics via spectral independence for all degrees

abstract: We prove an optimal $\Omega(n^{-1})$ lower bound on the spectral gap of Glauber dynamics for anti-ferromagnetic two-spin systems with $n$ vertices in the tree uniqueness regime. This spectral gap holds for all, including unbounded, maximum degree $\Delta$. Consequently, we have the following mixing time bounds for the models satisfying the uniqueness condition with a slack $\delta\in(0,1)$: $\bullet$ $C(\delta) n^2\log n$ mixing time for the hardcore model with fugacity $\lambda\le (1-\delta)\lambda_c(\Delta)= (1-\delta)\frac{(\Delta - 1)^{\Delta - 1}}{(\Delta - 2)^\Delta}$; $\bullet$ $C(\delta) n^2$ mixing time for the Ising model with edge activity $\beta\in\left[\frac{\Delta-2+\delta}{\Delta-\delta},\frac{\Delta-\delta}{\Delta-2+\delta}\right]$; where the maximum degree $\Delta$ may depend on the number of vertices $n$, and $C(\delta)$ depends only on $\delta$. Our proof is built upon the recently developed connections between the Glauber dynamics for spin systems and the high-dimensional expander walks. In particular, we prove a stronger notion of spectral independence, called the complete spectral independence, and use a novel Markov chain called the field dynamics to connect this stronger spectral independence to the rapid mixing of Glauber dynamics for all degrees.


title: The N=50 and Z=28 shell closure revisited

abstract: Recent experiments performed in neutron-rich copper isotopes have revealed a crossing in the nucleus $^{75}$Cu between the $3/2^-$ and $5/2^-$ levels, which correspond to the ground-state and the first excited state in isotopes with mass number below $A =75$. Due to the strong single-particle character of these states, this scenario can be investigated through the analysis of the proton spectrum provided by mean-field models in nickel isotopes with neutron numbers between $N$=40 and $N$=50. In this work we show that the aforementioned crossing is mainly driven by the mean-field provided by the effective nucleon-nucleon and spin-orbit interactions. We also analyze the impact of the tensor interaction, and find that in some mean-field models it is essential to reproduce the crossing of the 2$p_{3/2}$ and 1$f_{5/2}$ proton single-particle levels, as in the case of the SAMi-T Skyrme force and the D1M Gogny interaction, whereas in other cases, as for example the SLy5 Skyrme force, a reasonable tensor force appears to be unable to modify the mean-field enough to reproduce this level crossing. Finally, in the calculations performed with the so-called simple effective interaction (SEI), it is shown that the experimental data in nickel and copper isotopes considered in this work can be explained satisfactorily without any explicit consideration of the tensor interaction.


title: Locally Private $k$-Means Clustering with Constant Multiplicative Approximation and Near-Optimal Additive Error

abstract: Given a data set of size $n$ in $d'$-dimensional Euclidean space, the $k$-means problem asks for a set of $k$ points (called centers) so that the sum of the $\ell_2^2$-distances between points of a given data set of size $n$ and the set of $k$ centers is minimized. Recent work on this problem in the locally private setting achieves constant multiplicative approximation with additive error $\tilde{O} (n^{1/2 + a} \cdot k \cdot \max \{\sqrt{d}, \sqrt{k} \})$ and proves a lower bound of $\Omega(\sqrt{n})$ on the additive error for any solution with a constant number of rounds. In this work we bridge the gap between the exponents of $n$ in the upper and lower bounds on the additive error with two new algorithms. Given any $\alpha>0$, our first algorithm achieves a multiplicative approximation guarantee which is at most a $(1+\alpha)$ factor greater than that of any non-private $k$-means clustering algorithm with $k^{\tilde{O}(1/\alpha^2)} \sqrt{d' n} \mbox{poly}\log n$ additive error. Given any $c>\sqrt{2}$, our second algorithm achieves $O(k^{1 + \tilde{O}(1/(2c^2-1))} \sqrt{d' n} \mbox{poly} \log n)$ additive error with constant multiplicative approximation. Both algorithms go beyond the $\Omega(n^{1/2 + a})$ factor that occurs in the additive error for arbitrarily small parameters $a$ in previous work, and the second algorithm in particular shows for the first time that it is possible to solve the locally private $k$-means problem in a constant number of rounds with constant factor multiplicative approximation and polynomial dependence on $k$ in the additive error arbitrarily close to linear.


title: Multi-step Reflection Principle and Barrier Options

abstract: This paper examines a class of barrier options-multi-step barrier options, which can have any finite number of barriers of any level. We obtain a general, explicit expression of option prices of this type under the Black-Scholes model. Multi-step barrier options are not only useful in that they can handle barriers of different levels and time steps, but can also approximate options with arbitrary barriers. Moreover, they can be embedded in financial products such as deposit insurances based on jump models with simple barriers. Along the way, we derive multi-step reflection principle, which generalizes the reflection principle of Brownian motion.


title: Spectral stability, spectral flow and circular relative equilibria for the Newtonian $n$-body problem

abstract: For the Newtonian (gravitational) $n$-body problem in the Euclidean $d$-dimensional space, $d\ge 2$, the simplest possible periodic solutions are provided by circular relative equilibria, (RE) for short, namely solutions in which each body rigidly rotates about the center of mass and the configuration of the whole system is constant in time and central (or, more generally, balanced) configuration. For $d\le 3$, the only possible (RE) are planar, but in dimension four it is possible to get truly four dimensional (RE). A classical problem in celestial mechanics aims at relating the (in-)stability properties of a (RE) to the index properties of the central (or, more generally, balanced) configuration generating it. In this paper, we provide sufficient conditions that imply the spectral instability of planar and non-planar (RE) in $\mathbb R^4$ generated by a central configuration, thus answering some of the questions raised in \cite[Page 63]{Moe14}. As a corollary, we retrieve a classical result of Hu and Sun \cite{HS09} on the linear instability of planar (RE) whose generating central configuration is non-degenerate and has odd Morse index, and fix a gap in the statement of \cite[Theorem 1]{BJP14} about the spectral instability of planar (RE) whose (possibly degenerate) generating central configuration has odd Morse index. The key ingredients are a new formula of independent interest that allows to compute the spectral flow of a path of symmetric matrices having degenerate starting point, and a symplectic decomposition of the phase space of the linearized Hamiltonian system along a given (RE) which is inspired by Meyer and Schmidt's planar decomposition \cite{MS05} and which allows us to rule out the uninteresting part of the dynamics corresponding to the translational and (partially) to the rotational symmetry of the problem.


title: Query Attack by Multi-Identity Surrogates

abstract: Deep Neural Networks (DNNs) are acknowledged as vulnerable to adversarial attacks, while the existing black-box attacks require extensive queries on the victim DNN to achieve high success rates. For query-efficiency, surrogate models of the victim are used to generate transferable Adversarial Examples (AEs) because of their Gradient Similarity (GS), i.e., surrogates' attack gradients are similar to the victim's ones. However, it is generally neglected to exploit their similarity on outputs, namely the Prediction Similarity (PS), to filter out inefficient queries by surrogates without querying the victim. To jointly utilize and also optimize surrogates' GS and PS, we develop QueryNet, a unified attack framework that can significantly reduce queries. QueryNet creatively attacks by multi-identity surrogates, i.e., crafts several AEs for one sample by different surrogates, and also uses surrogates to decide on the most promising AE for the query. After that, the victim's query feedback is accumulated to optimize not only surrogates' parameters but also their architectures, enhancing both the GS and the PS. Although QueryNet has no access to pre-trained surrogates' prior, it reduces queries by averagely about an order of magnitude compared to alternatives within an acceptable time, according to our comprehensive experiments: 11 victims (including two commercial models) on MNIST/CIFAR10/ImageNet, allowing only 8-bit image queries, and no access to the victim's training data. The code is available at https://github.com/Sizhe-Chen/QueryNet.


abstract: In this paper we consider Hankel operators on domains with bounded intrinsic geometry. For these domains we characterize the $L^2$-symbols where the associated Hankel operator is compact (respectively bounded) on the space of square integrable holomorphic functions.


title: Large-Scale Data-Driven Airline Market Influence Maximization

abstract: We present a prediction-driven optimization framework to maximize the market influence in the US domestic air passenger transportation market by adjusting flight frequencies. At the lower level, our neural networks consider a wide variety of features, such as classical air carrier performance features and transportation network features, to predict the market influence. On top of the prediction models, we define a budget-constrained flight frequency optimization problem to maximize the market influence over 2,262 routes. This problem falls into the category of the non-linear optimization problem, which cannot be solved exactly by conventional methods. To this end, we present a novel adaptive gradient ascent (AGA) method. Our prediction models show two to eleven times better accuracy in terms of the median root-mean-square error (RMSE) over baselines. In addition, our AGA optimization method runs 690 times faster with a better optimization result (in one of our largest scale experiments) than a greedy algorithm.


title: SHAQ: Incorporating Shapley Value Theory into Multi-Agent Q-Learning

abstract: Value factorisation is a useful technique for multi-agent reinforcement learning (MARL) in global reward game, however its underlying mechanism is not yet fully understood. This paper studies a theoretical framework for value factorisation with interpretability via Shapley value theory. We generalise Shapley value to Markov convex game called Markov Shapley value (MSV) and apply it as a value factorisation method in global reward game, which is obtained by the equivalence between the two games. Based on the properties of MSV, we derive Shapley-Bellman optimality equation (SBOE) to evaluate the optimal MSV, which corresponds to an optimal joint deterministic policy. Furthermore, we propose Shapley-Bellman operator (SBO) that is proved to solve SBOE. With a stochastic approximation and some transformations, a new MARL algorithm called Shapley Q-learning (SHAQ) is established, the implementation of which is guided by the theoretical results of SBO and MSV. We also discuss the relationship between SHAQ and relevant value factorisation methods. In the experiments, SHAQ exhibits not only superior performances on all tasks but also the interpretability that agrees with the theoretical analysis. The implementation of this paper is on https://github.com/hsvgbkhgbv/shapley-q-learning.


title: Singing Language Identification using a Deep Phonotactic Approach

abstract: Extensive works have tackled Language Identification (LID) in the speech domain, however their application to the singing voice trails and performances on Singing Language Identification (SLID) can be improved leveraging recent progresses made in other singing related tasks. This work presents a modernized phonotactic system for SLID on polyphonic music: phoneme recognition is performed with a Connectionist Temporal Classification (CTC)-based acoustic model trained with multilingual data, before language classification with a recurrent model based on the phonemes estimation. The full pipeline is trained and evaluated with a large and publicly available dataset, with unprecedented performances. First results of SLID with out-of-set languages are also presented.


title: Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees

abstract: The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is currently one of the key approaches to cope with increasing development complexity, in general. Applying similar concepts to reliability, availability, maintainability and safety (RAMS) analysis activities is a promising approach to extend the advantages of model driven development to safety engineering activities aiming at a reduction of development costs, a higher product quality and a shorter time-to-market. Nevertheless, many model-based safety or reliability engineering approaches aim at reducing the analysis complexity but applications or case studies are rare. Therefore we present here a large scale industrial case study which shows the benefits of the application of component fault trees when it comes to complex safety mechanisms. We compare the methodology of component fault trees against classic fault trees and summarize benefits and drawbacks of both modeling methodologies.


title: Weak Harnack inequality for a mixed local and nonlocal parabolic equation

abstract: This article proves a weak Harnack inequality with a tail term for sign changing supersolutions of a mixed local and nonlocal parabolic equation. Our argument is purely analytic. It is based on energy estimates and the Moser iteration technique. Instead of the parabolic John-Nirenberg lemma, we adopt a lemma of Bombieri to the mixed local and nonlocal parabolic case. To this end, we prove an appropriate reverse H\"older inequality and a logarithmic estimate for weak supersolutions.


title: Stochastic Flows on Non-compact Manifolds

abstract: I was asked to make my, by now quite old PhD thesis, available on the arxiv, for parts of it was never submitted for publication. The thesis offers a systematic study of stochastic differential equations (SDEs) on non-compact spaces. In particular we solve the open problem on strong completeness. An SDE is strongly complete if its solution can be chosen to depend continuously in space and in time for all time. The question is whether non-explosion, with possibly additional assumptions, implies strong completeness. Strong completeness of an SDE implies that its solution depends continuously on the initial condition, opening up possibility for numerical solutions, and the existence of a perfect Cocycle (a basic assumption on random dynamical systems). This was known only for compact manifolds and for linear state spaces, methods for either are not applicable to a general space. We also obtain existence of the global smooth solution flow of SDEs on $R^n$ (sometimes allowing substantial growth of the derivative of the coefficients, removing the global Lipschitz continuity condition). Non-explosion, the $C_0$-property, and the derivative flow are studied. We showed Bismut-Witten Laplacians are essentially self-adjojnt, paving the way for studying theirs semigroups acting on functions and on differential forms. We relate the Markovian semi-group on differential one forms with the semi-group $P_t$ on functions (inter-twining), find a method for proving path integration formulas for $dP_tf$, path integration formula for semi-group on differential forms, moment bounds for the derivative flows. Relation are obtained between intrinsic topological and geometrical properties of the manifold and that of SDEs. Information on the homotopy and cohomology of the manifolds are obtained from moment stability of the stochastic flows.


title: Product Progression: a machine learning approach to forecasting industrial upgrading

abstract: Economic complexity methods, and in particular relatedness measures, lack a systematic evaluation and comparison framework. We argue that out-of-sample forecast exercises should play this role, and we compare various machine learning models to set the prediction benchmark. We find that the key object to forecast is the activation of new products, and that tree-based algorithms clearly overperform both the quite strong auto-correlation benchmark and the other supervised algorithms. Interestingly, we find that the best results are obtained in a cross-validation setting, when data about the predicted country was excluded from the training set. Our approach has direct policy implications, providing a quantitative and scientifically tested measure of the feasibility of introducing a new product in a given country.


title: The standard cohomology of regular Courant algebroids

abstract: For any regular Courant algebroid $E$ over a smooth manifold $M$ with characteristic distribution $F$ and ample Lie algebroid $A_E$, we prove that there exists a canonical homological vector field on the graded manifold $A_E[1] \oplus (TM/F)^\ast[2]$ such that the resulting dg manifold $\mathcal{M}_E$, which we call the minimal model of the Courant algebroid $E$, encodes all cohomological information of $E$. Indeed, the standard cohomology of $E$ can be identified with the cohomology of the function space on $\mathcal{M}_E$, which can be computed by a Hodge-to-de Rham type spectral sequence. We apply this result to generalized exact Courant algebroids and those arising from regular Lie algebroids.


title: On the continuity of maximal operators of convolution type at the derivative level

abstract: In this paper we study a question related to the continuity of maximal operators of convolution type acting on $W^{1,1}(\mathbb{R})$. We prove that the map $u\mapsto (u^{*})'$ is continuous from $W^{1,1}(\mathbb{R})$ to $L^{1}(\mathbb{R})$, where $u^{*}$ is the maximal function associated to the Poisson kernel, the Heat kernel or a family of kernels related to the fractional Laplacian. This is the first result of this type for a centered maximal operator.


title: Neural Bi-Lexicalized PCFG Induction

abstract: Neural lexicalized PCFGs (L-PCFGs) have been shown effective in grammar induction. However, to reduce computational complexity, they make a strong independence assumption on the generation of the child word and thus bilexical dependencies are ignored. In this paper, we propose an approach to parameterize L-PCFGs without making implausible independence assumptions. Our approach directly models bilexical dependencies and meanwhile reduces both learning and representation complexities of L-PCFGs. Experimental results on the English WSJ dataset confirm the effectiveness of our approach in improving both running speed and unsupervised parsing performance.


title: Reinforcement Learning-based Dynamic Service Placement in Vehicular Networks

abstract: The emergence of technologies such as 5G and mobile edge computing has enabled provisioning of different types of services with different resource and service requirements to the vehicles in a vehicular network.The growing complexity of traffic mobility patterns and dynamics in the requests for different types of services has made service placement a challenging task. A typical static placement solution is not effective as it does not consider the traffic mobility and service dynamics. In this paper, we propose a reinforcement learning-based dynamic (RL-Dynamic) service placement framework to find the optimal placement of services at the edge servers while considering the vehicle's mobility and dynamics in the requests for different types of services. We use SUMO and MATLAB to carry out simulation experiments. In our learning framework, for the decision module, we consider two alternative objective functions-minimizing delay and minimizing edge server utilization. We developed an ILP based problem formulation for the two objective functions. The experimental results show that 1) compared to static service placement, RL-based dynamic service placement achieves fair utilization of edge server resources and low service delay, and 2) compared to delay-optimized placement, server utilization optimized placement utilizes resources more effectively, achieving higher fairness with lower edge-server utilization.


title: System-aware dynamic partitioning for batch and streaming workloads

abstract: When processing data streams with highly skewed and nonstationary key distributions, we often observe overloaded partitions when the hash partitioning fails to balance data correctly. To avoid slow tasks that delay the completion of the whole stage of computation, it is necessary to apply adaptive, on-the-fly partitioning that continuously recomputes an optimal partitioner, given the observed key distribution. While such solutions exist for batch processing of static data sets and stateless stream processing, the task is difficult for long-running stateful streaming jobs where key distribution changes over time. Careful checkpointing and operator state migration is necessary to change the partitioning while the operation is running. Our key result is a lightweight on-the-fly Dynamic Repartitioning (DR) module for distributed data processing systems (DDPS), including Apache Spark and Flink, which improves the performance with negligible overhead. DR can adaptively repartition data during execution using our Key Isolator Partitioner (KIP). In our experiments with real workloads and power-law distributions, we reach a speedup of 1.5-6 for a variety of Spark and Flink jobs.


title: OASIS: An Active Framework for Set Inversion

abstract: In this work, we introduce a novel method for solving the set inversion problem by formulating it as a binary classification problem. Aiming to develop a fast algorithm that can work effectively with high-dimensional and computationally expensive nonlinear models, we focus on active learning, a family of new and powerful techniques which can achieve the same level of accuracy with fewer data points compared to traditional learning methods. Specifically, we propose OASIS, an active learning framework using Support Vector Machine algorithms for solving the problem of set inversion. Our method works well in high dimensions and its computational cost is relatively robust to the increase of dimension. We illustrate the performance of OASIS by several simulation studies and show that our algorithm outperforms VISIA, the state-of-the-art method.


title: Faulhaber polynomials and reciprocal Bernoulli polynomials

abstract: About four centuries ago, Johann Faulhaber developed formulas for the power sum $1^n + 2^n + \cdots + m^n$ in terms of $m(m+1)/2$. The resulting polynomials are called the Faulhaber polynomials. We first give a short survey of Faulhaber's work and discuss the results of Jacobi (1834) and the less known ones of Schr\"oder (1867), which already imply some results published afterwards. We then show, for suitable odd integers $n$, the following properties of the Faulhaber polynomials $F_n$. The recurrences between $F_n$, $F_{n-1}$, and $F_{n-2}$ can be described by a certain differential operator. Furthermore, we derive a recurrence formula for the coefficients of $F_n$ that is the complement of a formula of Gessel and Viennot (1989). As a main result, we show that these coefficients can be expressed and computed in different ways by derivatives of generalized reciprocal Bernoulli polynomials, whose values can also be interpreted as central coefficients. This new approach finally leads to a simplified representation of the Faulhaber polynomials. As an application, we obtain some recurrences of the Bernoulli numbers, which are induced by symmetry properties.


title: Evolution of Earth-like extended exospheres orbiting solar-like stars

abstract: Recent observations of the Earth's exosphere revealed the presence of an extended hydrogenic component that could reach distances beyond 40 planetary radii. Detection of similar extended exospheres around Earth-like exoplanets could reveal crucial facts in terms of habitability. The presence of these rarified hydrogen envelopes is extremely dependent of the planetary environment, dominated by the ionizing radiation and plasma winds coming from the host star. Radiation and fast wind particles ionize the uppermost layers of planetary atmospheres, especially for planets orbiting active, young stars. The survival of the produced ions in the exosphere of such these planets is subject to the action of the magnetized stellar winds, particularly for unmagnetized bodies. In order to address these star-planet interactions, we have carried out numerical 2.5D ideal MHD simulations using the PLUTO code to study the dynamical evolution of tenuous, hydrogen-rich, Earth-like extended exospheres for an unmagnetized planet, at different stellar evolutionary stages: from a very young, solar-like star of 0.1 Gyr to a 5.0 Gyr star. For each star-planet configuration, we show that the morphology of extended Earth-like hydrogen exospheres is strongly dependent of the incident stellar winds and the produced ions present in these gaseous envelopes, showing that the ionized component of Earth-like exospheres is quickly swept by the stellar winds of young stars, leading to large bow shock formation for later stellar ages.


title: Absorbing phase transitions in systems with mediated interactions

abstract: Experiments of periodically sheared colloidal suspensions or soft amorphous solids display a transition from reversible to irreversible particle motion that, when analysed stroboscopically in time, is interpreted as an absorbing phase transition with infinitely many absorbing states. In these systems interactions mediated by hydrodynamics or elasticity are present, causing passive regions to be affected by nearby active ones. We show that mediated interactions induce a new universality class of absorbing phase transitions, distinct from Conserved Directed Percolation, and we obtain the corresponding critical exponents. We do so with large-scale numerical simulations of a minimal model for the stroboscopic dynamics of sheared soft materials and derive the minimal field theoretical description.


title: Integrating Contextual Knowledge to Visual Features for Fine Art Classification

abstract: Automatic art analysis has seen an ever-increasing interest from the pattern recognition and computer vision community. However, most of the current work is mainly based solely on digitized artwork images, sometimes supplemented with some metadata and textual comments. A knowledge graph that integrates a rich body of information about artworks, artists, painting schools, etc., in a unified structured framework can provide a valuable resource for more powerful information retrieval and knowledge discovery tools in the artistic domain. To this end, this paper presents ArtGraph: an artistic knowledge graph based on WikiArt and DBpedia. The graph, implemented in Neo4j, already provides knowledge discovery capabilities without having to train a learning system. In addition, the embeddings extracted from the graph are used to inject "contextual" knowledge into a deep learning model to improve the accuracy of artwork attribute prediction tasks.


title: Aristotle Said "Happiness is a State of Activity" -- Predicting Mood through Body Sensing with Smartwatches

abstract: We measure and predict states of Activation and Happiness using a body sensing application connected to smartwatches. Through the sensors of commercially available smartwatches we collect individual mood states and correlate them with body sensing data such as acceleration, heart rate, light level data, and location, through the GPS sensor built into the smartphone connected to the smartwatch. We polled users on the smartwatch for seven weeks four times per day asking for their mood state. We found that both Happiness and Activation are negatively correlated with heart beats and with the levels of light. People tend to be happier when they are moving more intensely and are feeling less activated during weekends. We also found that people with a lower Conscientiousness and Neuroticism and higher Agreeableness tend to be happy more frequently. In addition, more Activation can be predicted by lower Openness to experience and higher Agreeableness and Conscientiousness. Lastly, we find that tracking people's geographical coordinates might play an important role in predicting Happiness and Activation. The methodology we propose is a first step towards building an automated mood tracking system, to be used for better teamwork and in combination with social network analysis studies.


title: Digital Contact Tracing for Covid 19

abstract: The COVID19 pandemic created a worldwide emergency as it is estimated that such a large number of infections are due to human-to-human transmission of the COVID19. As a necessity, there is a need to track users who came in contact with users having travel history, asymptomatic and not yet symptomatic, but they can be in the future. To solve this problem, the present work proposes a solution for contact tracing based on assisted GPS and cloud computing technologies. An application is developed to collect each user's assisted GPS coordinates once all the users install this application. This application periodically sends assisted GPS data to the cloud. To determine which devices are within the permissible limit of 5m, we perform clustering over assisted GPS coordinates and track the clusters for about t mins to allow the measure of spread. We assume that it takes around 3 or 5 mins to get the virus from an infected object. For clustering, the proposed M way like tree data structure stores the assisted GPS coordinates in degree, minute, and second format. Thus, every user is mapped to a leaf node of the tree. We split the "seconds" part of the assisted GPS location into m equal parts, which amount to d meter in latitude(longitude). Hence, two users who are within d meter range will map to the same leaf node. Thus, by mapping assisted GPS locations every t mins, we can find out how many users came in contact with a particular user for at least t mins. Our work's salient feature is that it runs in linear time O(n) for n users in the static case, i.e., when users are not moving. We also propose a variant of our solution to handle the dynamic case, that is, when users are moving. Besides, the proposed solution offers potential hotspot detection and safe-route recommendation as an additional feature, and proof of concept is presented through experiments on simulated data of 10M users.


title: Complex hypergeometric functions and integrable many-body problems

abstract: General reduction of the elliptic hypergeometric equation to the level of complex hypergeometric functions is described. The derived equation is generalized to the Hamiltonian eigenvalue problem for new rational integrable $N$-body systems emerging from particular degenerations of the elliptic Ruijsenaars and van Diejen models.


title: Truthful Mechanisms for Two-Sided Markets via Prophet Inequalities

abstract: We design novel mechanisms for welfare-maximization in two-sided markets. That is, there are buyers willing to purchase items and sellers holding items initially, both acting rationally and strategically in order to maximize utility. Our mechanisms are designed based on a powerful correspondence between two-sided markets and prophet inequalities. They satisfy individual rationality, dominant-strategy incentive compatibility, budget-balance constraints and give constant-factor approximations to the optimal social welfare. We improve previous results in several settings: Our main focus is on matroid double auctions, where the set of buyers who obtain an item needs to be independent in a matroid. We construct two mechanisms, the first being a $1/3$-approximation of the optimal social welfare satisfying strong budget-balance and requiring the agents to trade in a customized order, the second being a $1/2$-approximation, weakly budget-balanced and able to deal with online arrival determined by an adversary. In addition, we construct constant-factor approximations in two-sided markets when buyers need to fulfill a knapsack constraint. Also, in combinatorial double auctions, where buyers have valuation functions over item bundles instead of being interested in only one item, using similar techniques, we design a mechanism which is a $1/2$-approximation of the optimal social welfare, strongly budget-balanced and can deal with online arrival of agents in an adversarial order.


title: DiaKG: an Annotated Diabetes Dataset for Medical Knowledge Graph Construction

abstract: Knowledge Graph has been proven effective in modeling structured information and conceptual knowledge, especially in the medical domain. However, the lack of high-quality annotated corpora remains a crucial problem for advancing the research and applications on this task. In order to accelerate the research for domain-specific knowledge graphs in the medical domain, we introduce DiaKG, a high-quality Chinese dataset for Diabetes knowledge graph, which contains 22,050 entities and 6,890 relations in total. We implement recent typical methods for Named Entity Recognition and Relation Extraction as a benchmark to evaluate the proposed dataset thoroughly. Empirical results show that the DiaKG is challenging for most existing methods and further analysis is conducted to discuss future research direction for improvements. We hope the release of this dataset can assist the construction of diabetes knowledge graphs and facilitate AI-based applications.


title: A remark on a paper of Krotov and Hopfield [arXiv:2008.06996]

abstract: In their recent paper titled "Large Associative Memory Problem in Neurobiology and Machine Learning" [arXiv:2008.06996] the authors gave a biologically plausible microscopic theory from which one can recover many dense associative memory models discussed in the literature. We show that the layers of the recent "MLP-mixer" [arXiv:2105.01601] as well as the essentially equivalent model in [arXiv:2105.02723] are amongst them.


title: Machine Learning for Security in Vehicular Networks: A Comprehensive Survey

abstract: Machine Learning (ML) has emerged as an attractive and viable technique to provide effective solutions for a wide range of application domains. An important application domain is vehicular networks wherein ML-based approaches are found to be very useful to address various problems. The use of wireless communication between vehicular nodes and/or infrastructure makes it vulnerable to different types of attacks. In this regard, ML and its variants are gaining popularity to detect attacks and deal with different kinds of security issues in vehicular communication. In this paper, we present a comprehensive survey of ML-based techniques for different security issues in vehicular networks. We first briefly introduce the basics of vehicular networks and different types of communications. Apart from the traditional vehicular networks, we also consider modern vehicular network architectures. We propose a taxonomy of security attacks in vehicular networks and discuss various security challenges and requirements. We classify the ML techniques developed in the literature according to their use in vehicular network applications. We explain the solution approaches and working principles of these ML techniques in addressing various security challenges and provide insightful discussion. The limitations and challenges in using ML-based methods in vehicular networks are discussed. Finally, we present observations and lessons learned before we conclude our work.


title: Fitting Structural Equation Models via Variational Approximations

abstract: Structural equation models are commonly used to capture the relationship between sets of observed and unobservable variables. Traditionally these models are fitted using frequentist approaches but recently researchers and practitioners have developed increasing interest in Bayesian inference. In Bayesian settings, inference for these models is typically performed via Markov chain Monte Carlo methods, which may be computationally intensive for models with a large number of manifest variables or complex structures. Variational approximations can be a fast alternative; however, they have not been adequately explored for this class of models. We develop a mean field variational Bayes approach for fitting elemental structural equation models and demonstrate how bootstrap can considerably improve the variational approximation quality. We show that this variational approximation method can provide reliable inference while being significantly faster than Markov chain Monte Carlo.


title: A Novel Automatic Modulation Classification Scheme Based on Multi-Scale Networks

abstract: Automatic modulation classification enables intelligent communications and it is of crucial importance in today's and future wireless communication networks. Although many automatic modulation classification schemes have been proposed, they cannot tackle the intra-class diversity problem caused by the dynamic changes of the wireless communication environment. In order to overcome this problem, inspired by face recognition, a novel automatic modulation classification scheme is proposed by using the multi-scale network in this paper. Moreover, a novel loss function that combines the center loss and the cross entropy loss is exploited to learn both discriminative and separable features in order to further improve the classification performance. Extensive simulation results demonstrate that our proposed automatic modulation classification scheme can achieve better performance than the benchmark schemes in terms of the classification accuracy. The influence of the network parameters and the loss function with the two-stage training strategy on the classification accuracy of our proposed scheme are investigated.


title: $C^0$-gap between entropy-zero Hamiltonians and autonomous diffeomorphisms of surfaces

abstract: Let $\Sigma$ be a surface equipped with an area form. There is an long standing open question by Katok, which, in particular, asks whether every entropy-zero Hamiltonian diffeomorphism of a surface lies in the $C^0$-closure of the set of integrable diffeomorphisms. A slightly weaker version of this question asks: ``Does every entropy-zero Hamiltonian diffeomorphism of a surface lie in the $C^0$-closure of the set of autonomous diffeomorphisms?'' In this paper we answer in negative the later question. In particular, we show that on a surface $\Sigma$ the set of autonomous Hamiltonian diffeomorphisms is not $C^0$-dense in the set of entropy-zero Hamiltonians. We explicitly construct examples of such Hamiltonians which cannot be approximated by autonomous diffeomorphisms.


title: Sequenceable Event Recorders

abstract: With recent high-throughput technology we can synthesize large heterogeneous collections of DNA structures, and also read them all out precisely in a single procedure. Can we use these tools, not only to do things faster, but also to devise new techniques and algorithms? In this paper we examine some DNA algorithms that assume high-throughput synthesis and sequencing. We aim to monitor, record, and read out the order in which a number $N$ of events occur, using $N^2$ redundant detectors, and (after sequencing) reconstructing the order by transitive reduction.


title: Single-crystal hexagonal boron nitride monolayer epitaxially grown on Cu (111) thin film across a wafer

abstract: We demonstrate single crystal growth of wafer-scale hexagonal boron nitride (hBN), an insulating atomic thin monolayer, on high-symmetry index surface plane Cu(111). The unidirectional epitaxial growth is guaranteed by large binding energy difference, ~0.23 eV, between A- and B-steps edges on Cu(111) docking with B6N7 clusters, confirmed by density functional theory calculations.


title: Scorpion detection and classification systems based on computer vision and deep learning for health security purposes

abstract: In this paper, two novel automatic and real-time systems for the detection and classification of two genera of scorpions found in La Plata city (Argentina) were developed using computer vision and deep learning techniques. The object detection technique was implemented with two different methods, YOLO (You Only Look Once) and MobileNet, based on the shape features of the scorpions. High accuracy values of 88% and 91%, and high recall values of 90% and 97%, have been achieved for both models, respectively, which guarantees that they can successfully detect scorpions. In addition, the MobileNet method has been shown to have excellent performance to detect scorpions within an uncontrolled environment and to perform multiple detections. The MobileNet model was also used for image classification in order to successfully distinguish between dangerous scorpion (Tityus) and non-dangerous scorpion (Bothriurus) with the purpose of providing a health security tool. Applications for smartphones were developed, with the advantage of the portability of the systems, which can be used as a help tool for emergency services, or for biological research purposes. The developed systems can be easily scalable to other genera and species of scorpions to extend the region where these applications can be used.


title: Semi-Anchored Multi-Step Gradient Descent Ascent Method for Structured Nonconvex-Nonconcave Composite Minimax Problems

abstract: Minimax problems, such as generative adversarial network, adversarial training, and fair training, are widely solved by a multi-step gradient descent ascent (MGDA) method in practice. However, its convergence guarantee is limited. In this paper, inspired by the primal-dual hybrid gradient method, we propose a new semi-anchoring (SA) technique for the MGDA method. This makes the MGDA method find a stationary point of a structured nonconvex-nonconcave composite minimax problem; its saddle-subdifferential operator satisfies the weak Minty variational inequality condition. The resulting method, named SA-MGDA, is built upon a Bregman proximal point method. We further develop its backtracking line-search version, and its non-Euclidean version for smooth adaptable functions. Numerical experiments, including a fair classification training, are provided.


title: Testing the SZ-based tomographic approach to the thermal history of the universe with pressure-density cross-correlations: Insights from the Magneticum simulation

abstract: The thermal Sunyaev-Zeldovich effect contains information about the thermal history of the universe, observable in maps of the Compton $y$ parameter; however, it does not contain information about the redshift of the sources. Recent papers have utilized a tomographic approach, cross-correlating the Compton $y$ map with the locations of galaxies with known redshift, in order to deproject the signal along the line of sight. In this paper, we test the validity and accuracy of this tomographic approach to probe the thermal history of the universe. We use the state-of-the-art cosmological hydrodynamical simulation, Magneticum, for which the thermal history of the universe is a known quantity. The key ingredient is the Compton-$y$-weighted halo bias, $b_y$, computed from the halo model. We find that, at redshifts currently available, the method reproduces the correct mean thermal pressure (or the density-weighted mean temperature) to high accuracy, validating and confirming the results of previous papers. At higher redshifts ($z\gtrsim 2.5$), there is significant disagreement between $b_y$ from the halo model and the simulation.


title: Inversion of Integral Models: a Neural Network Approach

abstract: We introduce a neural network architecture to solve inverse problems linked to a one-dimensional integral operator. This architecture is built by unfolding a forward-backward algorithm derived from the minimization of an objective function which consists of the sum of a data-fidelity function and a Tikhonov-type regularization function. The robustness of this inversion method with respect to a perturbation of the input is theoretically analyzed. Ensuring robustness is consistent with inverse problem theory since it guarantees both the continuity of the inversion method and its insensitivity to small noise. The latter is a critical property as deep neural networks have been shown to be vulnerable to adversarial perturbations. One of the main novelties of our work is to show that the proposed network is also robust to perturbations of its bias. In our architecture, the bias accounts for the observed data in the inverse problem. We apply our method to the inversion of Abel integral operators, which define a fractional integration involved in wide range of physical processes. The neural network is numerically implemented and tested to illustrate the efficiency of the method. Lipschitz constants after training are computed to measure the robustness of the neural networks.


title: Novel vortices and the role of complex chemical potential in a rotating holographic superfluid

abstract: In this work, we have analytically devised novel vortex solutions in a rotating holographic superfluid. To achieve this result, we have considered a static disc at the AdS boundary and let the superfluid rotate relative to it. This idea has been numerically exploited in [1] where formation of vortices in such a setting was reported. We have found that these vortex solutions are eigenfunctions of angular momentum. We have also shown that vortices with higher winding numbers are associated with higher quantized rotation of the superfluid. We have, then, analysed the equation of motion along bulk AdS direction using St\"urm-Liouville eigenvalue approach. A surprising outcome of our study is that the chemical potential must be purely imaginary. We have then observed that the winding number of the vortices decreases with the increase in the imaginary chemical potential. We conclude from this that imaginary chemical potential leads to less dissipation in such holographic superfluids.


title: Extended Bose-Hubbard models with Rydberg macrodimer dressing

abstract: Extended Hubbard models have proven to bear novel quantum states, but their experimental realization remains challenging. In this work we propose to use bosonic quantum gases dressed with molecular bound states in Rydberg interaction potentials for the observation of these quantum states. We study the molecular Rabi coupling with respect to principal quantum number and trapping frequency of the ground state atoms for various molecular potentials of Rubidium and Potassium, and the hereby resulting dressed interaction strength. Additionally, we propose a two-color excitation scheme which significantly increases the dressed interaction and cancels AC Stark shifts limiting the atomic motion in the itinerant regime. We study the various equilibrium phases of the corresponding extended Bose-Hubbard model by means of the Cluster Gutzwiller approach and perform time evolution simulations via the Lindblad master equation. We find a supersolid phase by slowly ramping the molecular Rabi coupling of an initially prepared superfluid and discuss the role of dissipation.


title: D1 magic wavelength tweezers for scaling atom arrays

abstract: D1 magic wavelengths have been predicted for the alkali atoms but are not yet observed to date. We experimentally confirm a D1 magic wavelength that is predicted to lie at 615.87 nm for $^{23}$Na, which we then use to trap and image individual atoms with 80.0(6)% efficiency and without having to modulate the trapping and imaging light intensities. We further demonstrate that the mean loading efficiency remains as high as 74.2(7)% for a 1D array of eight atoms. Leveraging on the absence of trap intensity modulation and lower trap depths afforded by the D1 light, we achieve an order-of-magnitude reduction on the tweezer laser power requirements and a corresponding increase in the scalability of atom arrays. The methods reported here are applicable to all the alkalis, including those that are attractive candidates for dipolar molecule assembly, Rydberg dressing, or are fermionic in nature.