title: Continuous quantum phase transition in the fermionic mass solutions of the Nambu-Jona-Lasinio model

abstract: Recently quantum simulators have been constructed to investigate experimentally the most prominent theoretical four-point many-body system described by the Hubbard model. By varying the coupling strength of the four-point interaction in relation to the kinetic term, one can analyze the phase structure of the model. This intriguing fact leads us to investigate whether similar Hamiltonians with four-point interactions can also be studied as a function of their four-point coupling strength. In this paper, we reexamine the Nambu-Jona-Lasinio model, regarding it generally beyond the context of quantum chromodynamics. Essentially, it is a model in which particle-antiparticle pairing leads to a BCS-like condensate, with the result that chiral symmetry is broken dynamically in the strong-coupling regime. To study the behavior of the system, it is necessary to move from this regime to a hypothetical regime of weak coupling, altering the coupling strength of the interaction arbitrarily. In order to do this, the gap equation must be regarded as complex and its Riemann surface structure must be known. We do this and obtain a continuous quantum phase transition characterized by the development of a complex order parameter (the dynamically generated mass) from the second sheet of the Riemann surface, as we move into the weak-coupling regime. The power-law behavior of the order parameter in the vicinity of the phase transition point is demonstrated to be independent of the choice of the regularization scheme with the critical exponent as $\beta \approx 0.55$. At the same time, the isovector pseudoscalar modes retain their feature as Goldstone modes and still have zero mass, while the isoscalar scalar meson follows the behavior of the order parameter and gains a width. Energetically, this mode is not favored over the normal, uncondensed mode but would have to be accessed through an excitation process.

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


title: XACC: A System-Level Software Infrastructure for Heterogeneous Quantum-Classical Computing

abstract: Quantum programming techniques and software have advanced significantly over the past five years, with a majority focusing on high-level language frameworks targeting remote REST library APIs. As quantum computing architectures advance and become more widely available, lower-level, system software infrastructures will be needed to enable tighter, co-processor programming and access models. Here we present XACC, a system-level software infrastructure for quantum-classical computing that promotes a service-oriented architecture to expose interfaces for core quantum programming, compilation, and execution tasks. We detail XACC's interfaces, their interactions, and its implementation as a hardware-agnostic framework for both near-term and future quantum-classical architectures. We provide concrete examples demonstrating the utility of this framework with paradigmatic tasks. Our approach lays the foundation for the development of compilers, associated runtimes, and low-level system tools tightly integrating quantum and classical workflows.


title: From Symmetry to Asymmetry: Generalizing TSP Approximations by Parametrization

abstract: We generalize the tree doubling and Christofides algorithm, the two most common approximations for TSP, to parameterized approximations for ATSP. The parameters we consider for the respective parameterizations are upper bounded by the number of asymmetric distances in the given instance, which yields algorithms to efficiently compute constant factor approximations also for moderately asymmetric TSP instances. As generalization of the Christofides algorithm, we derive a parameterized 2.5-approximation, where the parameter is the size of a vertex cover for the subgraph induced by the asymmetric edges. Our generalization of the tree doubling algorithm gives a parameterized 3-approximation, where the parameter is the number of asymmetric edges in a given minimum spanning arborescence. Both algorithms are also stated in the form of additive lossy kernelizations, which allows to combine them with known polynomial time approximations for ATSP. Further, we combine them with a notion of symmetry relaxation which allows to trade approximation guarantee for runtime. We complement our results by experimental evaluations, which show that generalized tree-doubling frequently outperforms generalized Christofides with respect to parameter size.


title: Bousfield-Segal spaces

abstract: This paper is a study of Bousfield-Segal spaces, a notion introduced by Julie Bergner drawing on ideas about Eilenberg-Mac Lane objects due to Bousfield. In analogy to Rezk's Segal spaces, they are defined in such a way that Bousfield-Segal spaces naturally come equipped with a homotopy-coherent fraction operation in place of a composition. In this paper we show that Bergner's model structure for Bousfield-Segal spaces in fact can be obtained from the model structure for Segal spaces both as a localization and a colocalization. We thereby prove that Bousfield-Segal spaces really are Segal spaces, and that they characterize exactly those with invertible arrows. We note that the complete Bousfield-Segal spaces are precisely the homotopically constant Segal spaces, and deduce that the associated model structure yields a model for both $\infty$-groupoids and Homotopy Type Theory.


title: Unfairness towards subjective opinions in Machine Learning

abstract: Despite the high interest for Machine Learning (ML) in academia and industry, many issues related to the application of ML to real-life problems are yet to be addressed. Here we put forward one limitation which arises from a lack of adaptation of ML models and datasets to specific applications. We formalise a new notion of unfairness as exclusion of opinions. We propose ways to quantify this unfairness, and aid understanding its causes through visualisation. These insights into the functioning of ML-based systems hint at methods to mitigate unfairness.


title: Anomalous Behavior of Magnetic Susceptibility Obtained by Quench Experiments in Isolated Quantum Systems

abstract: We examine how the magnetic susceptibility obtained by the quench experiment on isolated quantum systems is related to the isothermal and adiabatic susceptibilities defined in thermodynamics. Under the conditions similar to the eigenstate thermalization hypothesis, together with some additional natural ones, we prove that for translationally invariant systems the quench susceptibility as a function of wave vector k is discontinuous at k=0. Moreover, its values at k=0 and the k to 0 limit coincide with the adiabatic and the isothermal susceptibilities, respectively. We give numerical predictions on how these particular behaviors can be observed in experiments on the XYZ spin chain with tunable parameters, and how they deviate when the conditions are not fully satisfied.


title: High-dimensional Black-box Optimization Under Uncertainty

abstract: Optimizing expensive black-box systems with limited data is an extremely challenging problem. As a resolution, we present a new surrogate optimization approach by addressing two gaps in prior research -- unimportant input variables and inefficient treatment of uncertainty associated with the black-box output. We first design a new flexible non-interpolating parsimonious surrogate model using a partitioning-based multivariate adaptive regression splines approach, Tree Knot MARS (TK-MARS). The proposed model is specifically designed for optimization by capturing the structure of the function, bending at near-optimal locations, and is capable of screening unimportant input variables. Furthermore, we develop a novel replication approach called \emph{Smart-Replication}, to overcome the uncertainty associated with the black-box output. The Smart-Replication approach identifies promising input points to replicate and avoids unnecessary evaluations of other data points. Smart-Replication is agnostic to the choice of a surrogate and can adapt itself to an unknown noise level. Finally to demonstrate the effectiveness of our proposed approaches we consider different complex global optimization test functions from the surrogate optimization literature. The results indicate that TK-MARS outperforms original MARS within a surrogate optimization algorithm and successfully detects important variables. The results also show that although non-interpolating surrogates can mitigate uncertainty, replication is still beneficial for optimizing highly complex black-box functions. The robustness and the quality of the final optimum solution found through Smart-Replication are competitive with that using no replications in environments with low levels of noise and using a fixed number of replications in highly noisy environments.


title: Common preperiodic points for quadratic polynomials

abstract: Let $f_c(z) = z^2+c$ for $c \in \mathbb{C}$. We show there exists a uniform bound on the number of points in $\mathbb{P}^1(\mathbb{C})$ that can be preperiodic for both $f_{c_1}$ and $f_{c_2}$ with $c_1\not= c_2$ in $\mathbb{C}$. The proof combines arithmetic ingredients with complex-analytic; we estimate an adelic energy pairing when the parameters lie in $\bar{\mathbb{Q}}$, building on the quantitative arithmetic equidistribution theorem of Favre and Rivera-Letelier, and we use distortion theorems in complex analysis to control the size of the intersection of distinct Julia sets. The proof is effective, and we provide explicit constants for each of the results.


title: zksk: A Library for Composable Zero-Knowledge Proofs

abstract: Zero-knowledge proofs are an essential building block in many privacy-preserving systems. However, implementing these proofs is tedious and error-prone. In this paper, we present zksk, a well-documented Python library for defining and computing sigma protocols: the most popular class of zero-knowledge proofs. In zksk, proofs compose: programmers can convert smaller proofs into building blocks that then can be combined into bigger proofs. zksk features a modern Python-based domain-specific language. This makes possible to define proofs without learning a new custom language, and to benefit from the rich Python syntax and ecosystem. The library is available at https://github.com/spring-epfl/zksk


title: A Unidirectional On-Chip Photonic Interface for Superconducting Circuits

abstract: We propose and analyze a passive architecture for realizing on-chip, scalable cascaded quantum devices. In contrast to standard approaches, our scheme does not rely on breaking Lorentz reciprocity. Rather, we engineer the interplay between pairs of superconducting transmon qubits and a microwave transmission line, in such a way that two delocalized orthogonal excitations emit (and absorb) photons propagating in opposite directions. We show how such cascaded quantum devices can be exploited to passively probe and measure complex many-body operators on quantum registers of stationary qubits, thus enabling the heralded transfer of quantum states between distant qubits, as well as the generation and manipulation of stabilizer codes for quantum error correction.


title: $Y(4626)$ in a chiral constituent quark model

abstract: Recently, Belle Collaboration reported a new exotic state $Y(4620)$ with mass at 4625.9 MeV in the positronium annihilation process. Inspired by experiment, we study the tetraquark system $c\bar{s}s\bar{c}$ with quantum numbers $J^{P}=1^{-}$ in the framework of chiral constituent quark model with the help of Gaussian expansion method. Two structures, diquark-antidiquark and meson-meson, with all possible color and spin configurations are considered. The result shows that no bound state can be formed. To investigate the possible resonance states, the real scaling method is employed. Several resonance states with energies 4354, 4408, 4469, 4497 and 4531 MeV, are proposed. Taking into account the errors in calculating the $q\bar{q}$ mesons, the system errors in the calculation of four-quark system are around 60$\sim 100$ MeV. The resonance with energy 4531 MeV is possible the candidate of the newly found state $Y(4620)$.


title: Average Age-of-Information with a Backup Information Source

abstract: Data collected and transmitted by Internet of things (IoT) devices are typically used for control and monitoring purposes; and hence, their timely delivery is of utmost importance for the underlying applications. However, IoT devices operate with very limited energy sources, severely reducing their ability for timely collection and processing of status updates. IoT systems make up for these limitations by employing multiple low-power low-complexity devices that can monitor the same signal, possibly with different quality observations and different energy costs, to create diversity against the limitations of individual nodes. We investigate policies to minimize the average age of information (AoI) in a monitoring system that collects data from two sources of information denoted as primary and backup sources, respectively. We assume that each source offers a different trade-off between the AoI and the energy cost. The monitoring node is equipped with a finite size battery and harvests ambient energy. For this setup, we formulate the scheduling of status updates from the two sources as a Markov decision process (MDP), and obtain a policy that decides on the optimal action to take (i.e., which source to query or remain idle) depending on the current energy level and AoI. The performance of the obtained policy is compared with an aggressive policy for different system parameters. We identify few types of optimal solution structures and discuss the benefits of having a backup source of information in the system.


title: Inflation and Leptogenesis in High-Scale Supersymmetry

abstract: No-scale supergravity provides a successful framework for Starobinsky-like inflation models. Two classes of models can be distinguished depending on the identification of the inflaton with the volume modulus, $T$ (C-models), or a matter-like field, $\phi$ (WZ-models). When supersymmetry is broken, the inflationary potential may be perturbed, placing restrictions on the form and scale of the supersymmetry breaking sector. We consider both types of inflationary models in the context of high-scale supersymmetry. We further distinguish between models in which the gravitino mass is below and above the inflationary scale. We examine the mass spectra of the inflationary sector. We also consider in detail mechanisms for leptogenesis for each model when a right-handed neutrino sector, used in the seesaw mechanism to generate neutrino masses, is employed. In the case of C-models, reheating occurs via inflaton decay to two Higgs bosons. However, there is a direct decay channel to the lightest right-handed neutrino which leads to non-thermal leptogenesis. In the case of WZ-models, in order to achieve reheating, we associate the matter-like inflaton with one of the right-handed sneutrinos whose decay to the lightest right handed neutrino simultaneously reheats the Universe and generates the baryon asymmetry through leptogenesis.


title: Modeling chemo-hydrodynamic interactions of phoretic particles: a unified framework

abstract: Phoretic particles exploit local self-generated physico-chemical gradients to achieve self-propulsion at the micron scale. The collective dynamics of a large number of such particles is currently the focus of intense research efforts, both from a physical perspective to understand the precise mechanisms of the interactions and their respective roles, as well as from an experimental point of view to explain the observations of complex dynamics as well as formation of coherent large-scale structures. However, an exact modelling of such multi-particle problems is difficult and most efforts so far rely on the superposition of far-field approximations for each particle's signature, which are only valid asymptotically in the dilute suspension limit. A systematic and unified analytical framework based on the classical Method of Reflections (MoR) is developed here for both Laplace and Stokes' problems to obtain the higher-order interactions and the resulting velocities of multiple phoretic particles, up to any order of accuracy in the radius-to-distance ratio $\varepsilon$ of the particles. Beyond simple pairwise chemical or hydrodynamic interactions, this model allows us to account for the generic chemo-hydrodynamic couplings as well as $N$-particle interactions ($N\geq 3$). The $\varepsilon^5$-accurate interaction velocities are then explicitly obtained and the resulting implementation of this MoR model is discussed and validated quantitatively against exact solutions of a few canonical problems.


title: Local well-posedness of the compressible FENE dumbbell model of Warner type

abstract: We consider a dilute suspension of dumbbells joined by a finitely extendible nonlinear elastic (FENE) connector evolving under the classical Warner potential $U(s)=-\frac{b}{2} \log(1-\frac{2s}{b})$, $s\in[0,\frac{b}{2})$. The solvent under consideration is modelled by the compressible Navier--Stokes system defined on the torus $\mathbb{T}^d$ with $d=2,3$ coupled with the Fokker--Planck equation (Kolmogorov forward equation) for the probability density function of the dumbbell configuration. We prove the existence of a unique local-in-time solution to the coupled system where this solution is smooth in the spacetime variables and interpreted weakly in the elongation variable. Our result holds true independently of whether or not the centre-of-mass diffusion term is incorporated in the Fokker--Planck equation.


title: Towards Large yet Imperceptible Adversarial Image Perturbations with Perceptual Color Distance

abstract: The success of image perturbations that are designed to fool image classifier is assessed in terms of both adversarial effect and visual imperceptibility. The conventional assumption on imperceptibility is that perturbations should strive for tight $L_p$-norm bounds in RGB space. In this work, we drop this assumption by pursuing an approach that exploits human color perception, and more specifically, minimizing perturbation size with respect to perceptual color distance. Our first approach, Perceptual Color distance C&W (PerC-C&W), extends the widely-used C&W approach and produces larger RGB perturbations. PerC-C&W is able to maintain adversarial strength, while contributing to imperceptibility. Our second approach, Perceptual Color distance Alternating Loss (PerC-AL), achieves the same outcome, but does so more efficiently by alternating between the classification loss and perceptual color difference when updating perturbations. Experimental evaluation shows PerC approaches outperform conventional $L_p$ approaches in terms of robustness and transferability, and also demonstrates that the PerC distance can provide added value on top of existing structure-based methods to creating image perturbations.


title: Damping in Ru/Co-based multilayer films with large Dzyaloshinskii-Moriya interaction

abstract: Recent development of the magnetic material engineering led to achievement of the systems with a high interfacial Dzyaloshinskii-Moriya interaction (DMI). As a result, the formation of non-collinear magnetic soliton states or nonreciprocal spin wave dynamics is achievable. Typically used materials are based on bi-layers Heavy Metal/Ferromagnet, e.g., Pt/Co. These layers are characterized not only by a strong DMI, but also by the spin pumping effect and the resulting relatively large damping. Here, we show that the considerable interfacial DMI can be also present in bi-layers based on Ru/Co, characterized with low spin pumping effect and low damping. It is therefore a good candidate for the dynamical studies and implementations of chiral DMI. It is demonstrated by theoretical calculations that the value of DMI can be strongly affected and controlled by the strain of the lattice. We show a systematic experimental and theoretical comparison of magnetic material parameters between Pt/Co and Ru/Co bi-layers as a deserving candidate for spintronic and spin-orbitronic applications.


title: Generating entangled Schrodinger cat states using a number state and a beam splitter

abstract: Passing a photon number state through a balanced beam splitter will produce an entangled state in which the phases of the two output beams are highly correlated. This entangled state can be viewed as a generalized form of a Schrodinger cat state where there is an equal probability amplitude for all possible phases. We show that Bell's inequality can be violated using this entangled state and two distant measuring devices that consist of a single-photon interferometer with a Kerr medium in one path, a set of single-photon detectors, and postselection based on a homodyne measurement. These entangled states are sensitive to photon loss and a violation of Bell's inequality requires either that the losses are inherently small or that their effects have been minimized using linear optics techniques [M. Micuda et al., Phys. Rev. Lett. 109, 180503 (2012)]. Somewhat surprisingly, the use of the fair sampling assumption is not required for a violation of Bell's inequality despite the use of postselection if the measurements are made in the correct order.


title: Don't Blame the ELBO! A Linear VAE Perspective on Posterior Collapse

abstract: Posterior collapse in Variational Autoencoders (VAEs) arises when the variational posterior distribution closely matches the prior for a subset of latent variables. This paper presents a simple and intuitive explanation for posterior collapse through the analysis of linear VAEs and their direct correspondence with Probabilistic PCA (pPCA). We explain how posterior collapse may occur in pPCA due to local maxima in the log marginal likelihood. Unexpectedly, we prove that the ELBO objective for the linear VAE does not introduce additional spurious local maxima relative to log marginal likelihood. We show further that training a linear VAE with exact variational inference recovers an identifiable global maximum corresponding to the principal component directions. Empirically, we find that our linear analysis is predictive even for high-capacity, non-linear VAEs and helps explain the relationship between the observation noise, local maxima, and posterior collapse in deep Gaussian VAEs.


title: Simplicial volume of one-relator groups and stable commutator length

abstract: A one-relator group is a group $G_r$ that admits a presentation $\langle S \mid r \rangle$ with a single relation $r$. One-relator groups form a rich classically studied class of groups in Geometric Group Theory. If $r \in F(S)'$, the commutator subgroup of $F(S)$, we introduce the simplicial volume of $\| G_r \|$. We relate this invariant to the stable commutator length $\textrm{scl}_S(r)$ of the element $r \in F(S)$. We show that often (though not always) the linear relationship $\| G_r \| = 4 \cdot \textrm{scl}_S(r) - 2$ holds and that every rational number modulo $1$ is the simplicial volume of a one-relator group. Moreover, we show that this relationship holds approximately for proper powers and for elements satisfying the small cancellation condition $C'(1/N)$, with a multiplicative error of $O(1/N)$. This allows us to prove for random elements of $F(S)'$ of length $n$ that $\| G_r \|$ is $2 \log(2 |S| - 1)/3 \cdot n / \log(n) + o(n/\log(n))$ with high probability, using an analogous result of Calegari-Walker for stable commutator length.


title: Designing Evaluations of Machine Learning Models for Subjective Inference: The Case of Sentence Toxicity

abstract: Machine Learning (ML) is increasingly applied in real-life scenarios, raising concerns about bias in automatic decision making. We focus on bias as a notion of opinion exclusion, that stems from the direct application of traditional ML pipelines to infer subjective properties. We argue that such ML systems should be evaluated with subjectivity and bias in mind. Considering the lack of evaluation standards yet to create evaluation benchmarks, we propose an initial list of specifications to define prior to creating evaluation datasets, in order to later accurately evaluate the biases. With the example of a sentence toxicity inference system, we illustrate how the specifications support the analysis of biases related to subjectivity. We highlight difficulties in instantiating these specifications and list future work for the crowdsourcing community to help the creation of appropriate evaluation datasets.


title: Quantum mechanics of bending of a nonrelativistic charged particle beam by a dipole magnet

abstract: Quantum mechanics of bending of a nonrelativistic monoenergetic charged particle beam by a dipole magnet is studied in the paraxial approximation. The transfer map for the position and momentum components of a particle of the beam between two transverse planes at different points on the curved optic axis of the system is derived starting with the nonrelativistic Schr\"{o}dinger equation. It is found that the quantum transfer map contains the classical transfer map as the main part and there are tiny quantum correction terms. The negligibly small quantum corrections explain the remarkable success of classical mechanics in charged particle beam optics.


title: The Dynamics of Interstellar Asteroids and Comets within the Galaxy: an Assessment of Local Candidate Source Regions for 1I/`Oumuamua and 2I/Borisov

abstract: The low velocity of interstellar asteroid 1I/'Oumuamua with respect to our galaxy's Local Standard of Rest implies it is young. Adopting the young age hypothesis, we assess possible origin systems for this interstellar asteroid and for 2I/Borisov, though the latter's higher speed means it is unlikely to be young. First, their past trajectories are modelled under gravitational scattering by galactic components ('disk heating') to assess how far back one can trace them. The stochastic nature of disk heating means that a back-integration can only expect to be accurate to within 15 pc and 2 kms$^{-1}$ at -10 Myr, dropping steeply to 400 pc and 10 kms$^{-1}$ at -100 Myr, sharply limiting our ability to determine a precise origin. Nevertheless, we show `Oumuamua's origin system is likely currently within 1 kpc of Earth, in the local Orion Arm. Second, we back-integrate 'Oumuamua's trajectory to assess source regions, emphasizing young systems and moving groups. Though disk heating allows for only a statistical link to source regions, `Oumuamua passed through a considerable subset of the Carina and Columba moving groups when those groups were forming. This makes them perhaps the most plausible source region, if 'Oumuamua was ejected during planet formation or via intra-cluster interactions. We find three stars in the Ursa Major group, one brown dwarf, and seven other stars to have plausible encounters with 2I/Borisov, within 2 pc and 30 kms$^{-1}$. These encounters' high relative speeds mean none are likely to be the home of 2I/Borisov.


title: Irrational eigenvalues of almost expansive cellular automata

abstract: We show that an almost expansive cellular automaton according to Gilman's classification cannot have irrational eigenvalues. This completes the proof that any surjective cellular automaton cannot have irrational eigenvalues for the uniform measure.


title: Unimodal-uniform Constrained Wasserstein Training for Medical Diagnosis

abstract: The labels in medical diagnosis task are usually discrete and successively distributed. For example, the Diabetic Retinopathy Diagnosis (DR) involves five health risk levels: no DR (0), mild DR (1), moderate DR (2), severe DR (3) and proliferative DR (4). This labeling system is common for medical disease. Previous methods usually construct a multi-binary-classification task or propose some re-parameter schemes in the output unit. In this paper, we target on this task from the perspective of loss function. More specifically, the Wasserstein distance is utilized as an alternative, explicitly incorporating the inter-class correlations by pre-defining its ground metric. Then, the ground metric which serves as a linear, convex or concave increasing function w.r.t. the Euclidean distance in a line is explored from an optimization perspective. Meanwhile, this paper also proposes of constructing the smoothed target labels that model the inlier and outlier noises by using a unimodal-uniform mixture distribution. Different from the one-hot setting, the smoothed label endues the computation of Wasserstein distance with more challenging features. With either one-hot or smoothed target label, this paper systematically concludes the practical closed-form solution. We evaluate our method on several medical diagnosis tasks (e.g., Diabetic Retinopathy and Ultrasound Breast dataset) and achieve state-of-the-art performance.


title: How to Better Distinguish Security Bug Reports (using Dual Hyperparameter Optimization

abstract: Background: In order that the general public is not vulnerable to hackers, security bug reports need to be handled by small groups of engineers before being widely discussed. But learning how to distinguish the security bug reports from other bug reports is challenging since they may occur rarely. Data mining methods that can find such scarce targets require extensive optimization effort. Goal: The goal of this research is to aid practitioners as they struggle to optimize methods that try to distinguish between rare security bug reports and other bug reports. Method: Our proposed method, called Swift, is a dual optimizer that optimizes both learner and pre-processor options. Since this is a large space of options, Swift uses a technique called epsilon-dominance that learns how to avoid operations that do not significantly improve performance. Result: When compared to recent state-of-the-art results (from FARSEC which is published in TSE'18), we find that the Swift's dual optimization of both pre-processor and learner is more useful than optimizing each of them individually. For example, in a study of security bug reports from the Chromium dataset, the median recalls of FARSEC and Swift were 15.7% and 77.4%, respectively. For another example, in experiments with data from the Ambari project, the median recalls improved from 21.5% to 85.7% (FARSEC to SWIFT). Conclusion: Overall, our approach can quickly optimize models that achieve better recalls than the prior state-of-the-art. These increases in recall are associated with moderate increases in false positive rates (from 8% to 24%, median). For future work, these results suggest that dual optimization is both practical and useful.


title: On the Gevrey ultradifferentiability of weak solutions of an abstract evolution equation with a scalar type spectral operator on the real axis

abstract: Given the abstract evolution equation \[ y'(t)=Ay(t),\ t\in \mathbb{R}, \] with a scalar type spectral operator $A$ in a complex Banach space, we find conditions on $A$, formulated exclusively in terms of the location of its spectrum in the complex plane, necessary and sufficient for all weak solutions of the equation, which a priori need not be strongly differentiable, to be strongly Gevrey ultradifferentiable of order $\beta\ge 1$, in particular analytic or entire, on $\mathbb{R}$. We also reveal certain inherent smoothness improvement effects and show that, if all weak solutions of the equation are Gevrey ultradifferentiable of orders less than one, then the operator $A$ is necessarily bounded. The important particular case of the equation with a normal operator $A$ in a complex Hilbert space follows immediately.


title: Recollements associated to cotorsion pairs over upper triangular matrix rings

abstract: Let $A$, $B$ be two rings and $T=\left(\begin{smallmatrix} A & M 0 & B \end{smallmatrix}\right)$ with $M$ an $A$-$B$-bimodule. Given two complete hereditary cotorsion pairs $(\mathcal{A}_{A},\mathcal{B}_{A})$ and $(\mathcal{C}_{B},\mathcal{D}_{B})$ in $A$-Mod and $B$-Mod respectively. We define two cotorsion pairs $(\Phi(\mathcal{A}_{A},\mathcal{C}_{B}), \mathrm{Rep}(\mathcal{B}_{A},\mathcal{D}_{B}))$ and $(\mathrm{Rep}(\mathcal{A}_{A},\mathcal{C}_{B}), \Psi(\mathcal{B}_{A},\mathcal{D}_{B}))$ in $T$-Mod and show that both of these cotorsion pairs are complete and hereditary. Given two cofibrantly generated model structures $\mathcal{M}_{A}$ and $\mathcal{M}_{B}$ on $A$-Mod and $B$-Mod respectively. Using the result above, we investigate when there exist a cofibrantly generated model structure $\mathcal{M}_{T}$ on $T$-Mod and a recollement of $\mathrm{Ho}(\mathcal{M}_{T})$ relative to $\mathrm{Ho}(\mathcal{M}_{A})$ and $\mathrm{Ho}(\mathcal{M}_{B})$. Finally, some applications are given in Gorenstein homological algebra.


title: Algorithms and Statistical Models for Scientific Discovery in the Petabyte Era

abstract: The field of astronomy has arrived at a turning point in terms of size and complexity of both datasets and scientific collaboration. Commensurately, algorithms and statistical models have begun to adapt --- e.g., via the onset of artificial intelligence --- which itself presents new challenges and opportunities for growth. This white paper aims to offer guidance and ideas for how we can evolve our technical and collaborative frameworks to promote efficient algorithmic development and take advantage of opportunities for scientific discovery in the petabyte era. We discuss challenges for discovery in large and complex data sets; challenges and requirements for the next stage of development of statistical methodologies and algorithmic tool sets; how we might change our paradigms of collaboration and education; and the ethical implications of scientists' contributions to widely applicable algorithms and computational modeling. We start with six distinct recommendations that are supported by the commentary following them. This white paper is related to a larger corpus of effort that has taken place within and around the Petabytes to Science Workshops (https://petabytestoscience.github.io/).


title: Diffusion of heavy quarks in the early stage of high-energy nuclear collisions at energies available at the BNL Relativistic Heavy Ion Collider and at the CERN Large Hadron Collider

abstract: We study the diffusion of charm and beauty in the early stage of high energy nuclear collisions at RHIC and LHC energies, considering the interaction of these heavy quarks with the evolving Glasma by means of the Wong equations. In comparison with previous works, we add the longitudinal expansion as well as we estimate the effect of energy loss due to gluon radiation. We find that heavy quarks diffuse in the strong transverse color fields in the very early stage (0.2-0.3 fm/c) and this leads to a suppression at low $p_T$ and enhancement at intermediate low $p_T$. The shape of the observed nuclear suppression factor obtained within our calculations is in qualitative agreement with the experimental results of the same quantity for $D-$mesons in proton-nucleus collisions. We compute the nuclear suppression factor in nucleus-nucleus collisions as well, for both charm and beauty, finding a substantial impact of the evolving Glasma phase on these, suggesting that initialization of heavy quarks spectra in the quark-gluon plasma phase should not neglect the early evolution in the strong gluon fields.


title: Kolmogorovian versus non-Kolmogorovian probabilities in contextual theories

abstract: Most scholars maintain that quantum mechanics (QM) is a contextual theory and that quantum probability does not allow an epistemic (ignorance) interpretation. By inquiring possible connections between contextuality and non-classical probabilities we show that a class T of theories can be selected in which probabilities are introduced as classical averages of Kolmogorovian probabilities over sets of (microscopic) contexts, which endows them with an epistemic interpretation. The conditions characterizing T are compatible with classical mechanics (CM), statistical mechanics (SM) and QM, hence we assume that these theories belong to T. In the case of CM and QM this assumption is irrelevant, as all notions introduced in them as members of T reduce to standard notions. In the case of QM it leads to interpret quantum probability as a derived notion in a Kolmogorovian framework, explains why it is non-Kolmogorovian and provides it with an epistemic interpretation. These results were anticipated in a previous paper but are obtained here in a general framework without referring to individual objects, which shows that they hold even if only a minimal (statistical) interpretation of QM is adopted to avoid the problems following from the standard quantum theory of measurement.


title: On hypersurfaces satisfying conditions determined by the Opozda-Verstraelen affine curvature tensor

abstract: Using the Blaschke-Berwald metric and the affine shape operator of a hypersurface M in the (n+1)-dimensional real affine space we can define some generalized curvature tensor named the Opozda-Verstraelen affine curvature tensor. In this paper we determine curvature conditions of pseudosymmetry type expressed by this tensor for locally strongly convex hypersurfaces M, n>2, with two distinct affine principal curvatures or with three distinct affine principal curvatures assuming that at least one affine principal curvature has multiplicity 1.


title: Self-similar co-ascent processes and Palm calculus

abstract: We discuss certain renormalised first passage bridges of self-similar processes. These processes generalise the Brownian co-ascent, a term recently introduced by H. Panzo (S\'eminaire de Probabilit\'es L, 2019). Our main result states that the co-ascent of a given process is the process under the Palm distribution of its record measure. We base our notion of Palm distribution on self-similarity, thereby complementing the more common approach of considering Palm distributions related to stationarity or stationarity of increments of the underlying processes.


title: Strange stars in energy-momentum-conserved $f(R,T)$ gravity

abstract: For the accurate understanding of compact objects such as neutron stars and strange stars, the Tolmann-Openheimer-Volkof (TOV) equation has proved to be of great use. Hence, in this work, we obtain the TOV equation for the energy-momentum-conserved $f(R,T)$ theory of gravity to study strange quark stars. The $f(R,T)$ theory is important, especially in cosmology, because it solves certain incompleteness of the standard model. In general, there is no intrinsic conservation of the energy-momentum tensor in the $f(R,T)$ gravity. Since this conservation is important in the astrophysical context, we impose the condition $\nabla T_{\mu\nu}=0$, so that we obtain a function $f(R,T)$ that implies conservation. This choice of a function $f(R,T)$ that conserves the momentum-energy tensor gives rise to a strong link between gravity and the microphysics of the compact object. We obtain the TOV by taking into account a linear equation of state to describe the matter inside strange stars, such as $p=\omega\rho$ and the MIT bag model $p=\omega(\rho-4B)$. With these assumptions it was possible to derive macroscopic properties of these objects.


title: Cotilting sheaves over weighted noncommutative regular projective curves

abstract: We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck category. We classify all indecomposable pure-injective sheaves and all cotilting sheaves of slope $\infty$. In the cases of nonnegative orbifold Euler characteristic this leads to a classification of pure-injective indecomposable sheaves and a description of all large cotilting sheaves in $\operatorname{Qcoh}\mathbb{X}$.


title: Global properties of vector fields on compact Lie groups in Komatsu classes. II. Normal forms

abstract: Let $G_1$ and $G_2$ be compact Lie groups, $X_1 \in \mathfrak{g}_1$, $X_2 \in \mathfrak{g}_2$ and consider the operator \begin{equation*} L_{aq} = X_1 + a(x_1)X_2 + q(x_1,x_2), \end{equation*} where $a$ and $q$ are ultradifferentiable functions in the sense of Komatsu, and $a$ is real-valued. We characterize completely the global hypoellipticity and the global solvability of $L_{aq}$ in the sense of Komatsu. For this, we present a conjugation between $L_{aq}$ and a constant-coefficient operator that preserves these global properties in Komatsu classes. We also present examples of globally hypoelliptic and globally solvable operators on $\mathbb{T}^1\times \mathbb{S}^3$ and $\mathbb{S}^3\times \mathbb{S}^3$ in the sense of Komatsu. In particular, we give examples of differential operators which are not globally $C^\infty$-solvable, but are globally solvable in Gevrey spaces.


title: New centrality and causality metrics assessing air traffic network interactions

abstract: In ATM systems, the massive number of interacting entities makes it difficult to identify critical elements and paths of disturbance propagation, as well as to predict the system-wide effects that innovations might have. To this end, suitable metrics are required to assess the role of the interconnections between the elements and complex network science provides several network metrics to evaluate the network functioning. Here we focus on centrality and causality metrics measuring, respectively, the importance of a node and the propagation of disturbances along links. By investigating a dataset of US flights, we show that existing centrality and causality metrics are not suited to characterise the effect of delays in the system. We then propose generalisations of such metrics that we prove suited to ATM applications. Specifically, the new centrality is able to account for the temporal and multi-layer structure of ATM network, while the new causality metric focuses on the propagation of extreme events along the system.


title: Simultaneous estimation of complementary moment independent sensitivity measures for reliability analysis

abstract: In reliability-based design, the estimation of the failure probability is a crucial objective. However, focusing only on the occurrence of the failure event may be insufficient to entirely characterize the reliability of the considered system. This paper provides a common estimation scheme of two complementary moment independent sensitivity measures, allowing to improve the understanding of the system's reliability. Numerical applications are performed in order to show the effectiveness of the proposed estimation procedure.


title: A Liouville theorem for fully nonlinear problems with infinite boundary conditions and applications

abstract: We prove a Liouville type classification theorem in half-spaces for infinite boundary value problems related to fully nonlinear, uniformly elliptic operators. We then apply the result in order to obtain gradient boundary blow up rates for ergodic functions in bounded domains related to degenerate/singular operators, and, as a further consequence, we deduce the uniqueness of the ergodic functions.


title: OpenML-Python: an extensible Python API for OpenML

abstract: OpenML is an online platform for open science collaboration in machine learning, used to share datasets and results of machine learning experiments. In this paper we introduce OpenML-Python, a client API for Python, opening up the OpenML platform for a wide range of Python-based tools. It provides easy access to all datasets, tasks and experiments on OpenML from within Python. It also provides functionality to conduct machine learning experiments, upload the results to OpenML, and reproduce results which are stored on OpenML. Furthermore, it comes with a scikit-learn plugin and a plugin mechanism to easily integrate other machine learning libraries written in Python into the OpenML ecosystem. Source code and documentation is available at https://github.com/openml/openml-python/.


title: Diagnostics for Eddy Viscosity Models of Turbulence Including Data-Driven/Neural Network Based Parameterizations

abstract: Classical eddy viscosity models add a viscosity term with turbulent viscosity coefficient whose specification varies from model to model. Turbulent viscosity coefficient approximations of unknown accuracy are typically constructed by solving associated systems of nonlinear evolution equations or by data driven approaches such as deep neural networks. Often eddy viscosity models over-diffuse, so additional fixes are added. This process increases model complexity and decreases model comprehensibility, leading to the following two questions: Is an eddy viscosity model needed? Does the eddy viscosity model fail? This report derives a posteriori computable conditions that answer these two questions.


title: Dynamic MRI using deep manifold self-learning

abstract: We propose a deep self-learning algorithm to learn the manifold structure of free-breathing and ungated cardiac data and to recover the cardiac CINE MRI from highly undersampled measurements. Our method learns the manifold structure in the dynamic data from navigators using autoencoder network. The trained autoencoder is then used as a prior in the image reconstruction framework. We have tested the proposed method on free-breathing and ungated cardiac CINE data, which is acquired using a navigated golden-angle gradient-echo radial sequence. Results show the ability of our method to better capture the manifold structure, thus providing us reduced spatial and temporal blurring as compared to the SToRM reconstruction.


title: SentiLARE: Sentiment-Aware Language Representation Learning with Linguistic Knowledge

abstract: Most of the existing pre-trained language representation models neglect to consider the linguistic knowledge of texts, which can promote language understanding in NLP tasks. To benefit the downstream tasks in sentiment analysis, we propose a novel language representation model called SentiLARE, which introduces word-level linguistic knowledge including part-of-speech tag and sentiment polarity (inferred from SentiWordNet) into pre-trained models. We first propose a context-aware sentiment attention mechanism to acquire the sentiment polarity of each word with its part-of-speech tag by querying SentiWordNet. Then, we devise a new pre-training task called label-aware masked language model to construct knowledge-aware language representation. Experiments show that SentiLARE obtains new state-of-the-art performance on a variety of sentiment analysis tasks.


title: A generalised model for asymptotically-scale-free geographical networks

abstract: We consider a generalised d-dimensional model for asymptotically-scale-free geographical networks. Central to many networks of this kind, when considering their growth in time, is the attachment rule, i.e. the probability that a new node is attached to one (or more) preexistent nodes. In order to be more realistic, a fitness parameter $\eta_i \in [0,1]$ for each node $i$ of the network is also taken into account to reflect the ability of the nodes to attract new ones. Our d-dimensional model takes into account the geographical distances between nodes, with different probability distribution for $\eta$ which sensibly modifies the growth dynamics. The preferential attachment rule is assumed to be $\Pi_i\propto k_i \eta_i r_{ij}^{-\alpha_A} $ where $k_i$ is the connectivity of the $i$th pre-existing site and $\alpha_A$ characterizes the importance of the euclidean distance r for the network growth. For special values of the parameters, this model recovers respectively the Bianconi-Barab\'{a}si and the Barab\'{a}si-Albert ones. The present generalised model is asymptotically scale-free in all cases, and its degree distribution is very well fitted with q-exponential distributions, which optimise the nonadditive entropy $S_q$, given by $p(k) \propto e_q^{-k/\kappa} \equiv 1/[1+(q-1)k/\kappa]^{1/(q-1)}$, with $(q,\kappa)$ depending uniquely only on the ratio $\alpha_A/d$ and the fitness distribution. Hence this model constitutes a realization of asymptotically-scale-free geographical networks within nonextensive statistical mechanics, where $k$ plays the role of energy and $\kappa$ plays the role of temperature. General scaling laws are also found for q as a function of the parameters of the model.


title: Classification of cosilting modules in type $\tilde{A}$

abstract: Torsion pairs in the category of finitely presented modules over a noetherian ring can be parametrised by the class of cosilting modules. In this paper, we characterise such modules in terms of their indecomposable summands, providing a new approach to the classification of torsion pairs. In particular, we classify cosilting modules over cluster-tilted algebras of type $\tilde{A}$. We do this by using a geometric model for finite- and infinite-dimensional modules over such algebras.


title: E.T.-RNN: Applying Deep Learning to Credit Loan Applications

abstract: In this paper we present a novel approach to credit scoring of retail customers in the banking industry based on deep learning methods. We used RNNs on fine grained transnational data to compute credit scores for the loan applicants. We demonstrate that our approach significantly outperforms the baselines based on the customer data of a large European bank. We also conducted a pilot study on loan applicants of the bank, and the study produced significant financial gains for the organization. In addition, our method has several other advantages described in the paper that are very significant for the bank.


title: A Programmable Approach to Neural Network Compression

abstract: Deep neural networks (DNNs) frequently contain far more weights, represented at a higher precision, than are required for the specific task which they are trained to perform. Consequently, they can often be compressed using techniques such as weight pruning and quantization that reduce both the model size and inference time without appreciable loss in accuracy. However, finding the best compression strategy and corresponding target sparsity for a given DNN, hardware platform, and optimization objective currently requires expensive, frequently manual, trial-and-error experimentation. In this paper, we introduce a programmable system for model compression called Condensa. Users programmatically compose simple operators, in Python, to build more complex and practically interesting compression strategies. Given a strategy and user-provided objective (such as minimization of running time), Condensa uses a novel Bayesian optimization-based algorithm to automatically infer desirable sparsities. Our experiments on four real-world DNNs demonstrate memory footprint and hardware runtime throughput improvements of 188x and 2.59x, respectively, using at most ten samples per search. We have released a reference implementation of Condensa at https://github.com/NVlabs/condensa.


title: AIM 2019 Challenge on Image Demoireing: Dataset and Study

abstract: This paper introduces a novel dataset, called LCDMoire, which was created for the first-ever image demoireing challenge that was part of the Advances in Image Manipulation (AIM) workshop, held in conjunction with ICCV 2019. The dataset comprises 10,200 synthetically generated image pairs (consisting of an image degraded by moire and a clean ground truth image). In addition to describing the dataset and its creation, this paper also reviews the challenge tracks, competition, and results, the latter summarizing the current state-of-the-art on this dataset.


title: Dimensional Emotion Detection from Categorical Emotion

abstract: We present a model to predict fine-grained emotions along the continuous dimensions of valence, arousal, and dominance (VAD) with a corpus with categorical emotion annotations. Our model is trained by minimizing the EMD (Earth Mover's Distance) loss between the predicted VAD score distribution and the categorical emotion distributions sorted along VAD, and it can simultaneously classify the emotion categories and predict the VAD scores for a given sentence. We use pre-trained RoBERTa-Large and fine-tune on three different corpora with categorical labels and evaluate on EmoBank corpus with VAD scores. We show that our approach reaches comparable performance to that of the state-of-the-art classifiers in categorical emotion classification and shows significant positive correlations with the ground truth VAD scores. Also, further training with supervision of VAD labels leads to improved performance especially when dataset is small. We also present examples of predictions of appropriate emotion words that are not part of the original annotations.


title: The quest for high critical current in applied high-temperature superconductors

abstract: We present a perspective on a new critical-current-by-design paradigm to tailor and enhance the current-carrying capacity of applied superconductors. Critical current by design is based on large-scale simulations of vortex matter pinning in high-temperature superconductors and has qualitative and quantitative predictive powers to elucidate vortex dynamics under realistic conditions and to propose vortex pinning defects that could enhance the critical current, particularly at high magnetic fields. The simulations are validated with controlled experiments and demonstrate a powerful tool for designing high-performance superconductors for targeted applications.


title: Bayesian Optimization for machine learning algorithms in the context of Higgs searches at the CMS experiment

abstract: Machine Learning algorithms, such as Boosted Decisions Trees and Deep Neural Network, are widely used in High-Energy-Physics. The aim of this study is to apply Bayesian Optimization to tune the hyperparameters used in a machine learning algorithm. This algorithm performs an energy regression process on photons and electrons detected in the electromagnetic calorimeter at the Compact Muon Solenoid experiment operating at the Large Hadron Collider at CERN. The goal of this algorithm is to estimate the energy of photons and electrons created during the collisions in the Compact Muon Solenoid, from the measured energy.


title: Deep Learning for Stock Selection Based on High Frequency Price-Volume Data

abstract: Training a practical and effective model for stock selection has been a greatly concerned problem in the field of artificial intelligence. Even though some of the models from previous works have achieved good performance in the U.S. market by using low-frequency data and features, training a suitable model with high-frequency stock data is still a problem worth exploring. Based on the high-frequency price data of the past several days, we construct two separate models-Convolution Neural Network and Long Short-Term Memory-which can predict the expected return rate of stocks on the current day, and select the stocks with the highest expected yield at the opening to maximize the total return. In our CNN model, we propose improvements on the CNNpred model presented by E. Hoseinzade and S. Haratizadeh in their paper which deals with low-frequency features. Such improvements enable our CNN model to exploit the convolution layer's ability to extract high-level factors and avoid excessive loss of original information at the same time. Our LSTM model utilizes Recurrent Neural Network'advantages in handling time series data. Despite considerable transaction fees due to the daily changes of our stock position, annualized net rate of return is 62.27% for our CNN model, and 50.31% for our LSTM model.


title: A faithful braid group action on the stable category of tricomplexes

abstract: Bicomplexes of vector spaces frequently appear throughout algebra and geometry. In Section 2 we explain how to think about the arrows in the spectral sequence of a bicomplex via its indecomposable summands. Polycomplexes seem to be much more rare. In Section 3 of this paper we rethink a well-known faithful categorical braid group action via an action on the stable category of tricomplexes.


title: Local well-posedness in Sobolev spaces for first-order conformal causal relativistic viscous hydrodynamics

abstract: In this manuscript, we study the theory of conformal relativistic viscous hydrodynamics introduced in arXiv:1708.06255, which provided a causal and stable first-order theory of relativistic fluids with viscosity. The local well-posedness of its equations of motion has been previously established in Gevrey spaces. Here, we improve this result by proving local well-posedness in Sobolev spaces.


title: Mitigating Shear-dependent Object Detection Biases with Metacalibration

abstract: Metacalibration is a new technique for measuring weak gravitational lensing shear that is unbiased for isolated galaxy images. In this work we test metacalibration with overlapping, or ``blended'' galaxy images. Using standard metacalibration, we find a few percent shear measurement bias for galaxy densities relevant for current surveys, and that this bias increases with increasing galaxy number density. We show that this bias is not due to blending itself, but rather to shear-dependent object detection. If object detection is shear independent, no deblending of images is needed, in principle. We demonstrate that detection biases are accurately removed when including object detection in the metacalibration process, a technique we call metadetection. This process involves applying an artificial shear to images of small regions of sky and performing detection on the sheared images, as well as measurements that are used to calculate a shear response. We demonstrate that the method can accurately recover weak shear signals even in highly blended scenes. In the metacalibration process, the space between objects is sheared coherently, which does not perfectly match the real universe in which some, but not all, galaxy images are sheared coherently. We find that even for the worst case scenario, in which the space between objects is completely unsheared, the resulting shear bias is at most a few tenths of a percent for future surveys. We discuss additional technical challenges that must be met in order to implement metadetection for real surveys.


title: Algorithms and Adaptivity Gaps for Stochastic $k$-TSP

abstract: Given a metric $(V,d)$ and a $\textsf{root} \in V$, the classic $\textsf{$k$-TSP}$ problem is to find a tour originating at the $\textsf{root}$ of minimum length that visits at least $k$ nodes in $V$. In this work, motivated by applications where the input to an optimization problem is uncertain, we study two stochastic versions of $\textsf{$k$-TSP}$. In Stoch-Reward $k$-TSP, originally defined by Ene-Nagarajan-Saket [ENS17], each vertex $v$ in the given metric $(V,d)$ contains a stochastic reward $R_v$. The goal is to adaptively find a tour of minimum expected length that collects at least reward $k$; here "adaptively" means our next decision may depend on previous outcomes. Ene et al. give an $O(\log k)$-approximation adaptive algorithm for this problem, and left open if there is an $O(1)$-approximation algorithm. We totally resolve their open question and even give an $O(1)$-approximation \emph{non-adaptive} algorithm for this problem. We also introduce and obtain similar results for the Stoch-Cost $k$-TSP problem. In this problem each vertex $v$ has a stochastic cost $C_v$, and the goal is to visit and select at least $k$ vertices to minimize the expected \emph{sum} of tour length and cost of selected vertices. This problem generalizes the Price of Information framework [Singla18] from deterministic probing costs to metric probing costs. Our techniques are based on two crucial ideas: "repetitions" and "critical scaling". We show using Freedman's and Jogdeo-Samuels' inequalities that for our problems, if we truncate the random variables at an ideal threshold and repeat, then their expected values form a good surrogate. Unfortunately, this ideal threshold is adaptive as it depends on how far we are from achieving our target $k$, so we truncate at various different scales and identify a "critical" scale.


title: Invariant-based inverse engineering for fast and robust load transport in a double pendulum bridge crane

abstract: We set a shortcut-to-adiabaticity strategy to design the trolley motion in a double-pendulum bridge crane. The trajectories found guarantee payload transport without residual excitation regardless of the initial conditions within the small oscillations regime. The results are compared with exact dynamics to set the working domain of the approach. The method is free from instabilities due boundary effects or to resonances with the two natural frequencies.


title: Fooling LIME and SHAP: Adversarial Attacks on Post hoc Explanation Methods

abstract: As machine learning black boxes are increasingly being deployed in domains such as healthcare and criminal justice, there is growing emphasis on building tools and techniques for explaining these black boxes in an interpretable manner. Such explanations are being leveraged by domain experts to diagnose systematic errors and underlying biases of black boxes. In this paper, we demonstrate that post hoc explanations techniques that rely on input perturbations, such as LIME and SHAP, are not reliable. Specifically, we propose a novel scaffolding technique that effectively hides the biases of any given classifier by allowing an adversarial entity to craft an arbitrary desired explanation. Our approach can be used to scaffold any biased classifier in such a way that its predictions on the input data distribution still remain biased, but the post hoc explanations of the scaffolded classifier look innocuous. Using extensive evaluation with multiple real-world datasets (including COMPAS), we demonstrate how extremely biased (racist) classifiers crafted by our framework can easily fool popular explanation techniques such as LIME and SHAP into generating innocuous explanations which do not reflect the underlying biases.


title: $\Upsilon$ Production From Quark-Gluon Plasma

abstract: Complete suppression of the heavy quarkonium due to the screening mechanism of the quark-gluon plasma is proposed in the literature to be a signature of the quark-gluon plasma detection at RHIC and LHC. However, since the heavy quarkonium $\Upsilon$ production is experimentally measured in the Pb-Pb collisions by the ALICE collaboration at LHC one has to study the $\Upsilon$ production from the quark-gluon plasma instead of studying the $\Upsilon$ suppression due to the screening mechanism of the quark-gluon plasma. In this paper we derive the non-perturbative formula of the $\Upsilon$ production amplitude from the quark-gluon plasma from the first principle in QCD which can be calculated by using the lattice QCD method at the finite temperature.


title: Smart Inventory Management System for Photovoltaic-Powered Freezer Using Wireless Sensor Network

abstract: An inventory management system for the freezer powered by photovoltaic panels was developed in this study. It aims to promote energy efficiency and the responsible use of food. Its sensor network is an Arduino-based wireless network of sensors on a solar-powered freezer that is used to develop a smart inventory management system that is accessible and is easy to use. By having network of sensors implemented inside the freezer, the inventory of perishable and non-perishable items can easily be monitored without having to physically check the inside of the freezer. In connection with this, a complemental Android application was developed that would receive and display the data sent from the sensor network through GSM Shield SIM800L.


title: Electronic Bottleneck Suppression in Next-generation Networks with Integrated Photonic Digital-to-analog Converters

abstract: Digital-to-analog converters (DAC) are indispensable functional units in signal processing instrumentation and wide-band telecommunication links for both civil and military applications. Since photonic systems are capable of high data throughput and low latency, an increasingly found system limitation stems from the required domain-crossing such as digital-to-analog, and electronic-to-optical. A photonic DAC implementation, in contrast, enables a seamless signal conversion with respect to both energy efficiency and short signal delay, often require bulky discrete optical components and electric-optic transformation hence introducing inefficiencies. Here, we introduce a novel coherent parallel photonic DAC concept along with an experimental demonstration capable of performing this digital-to-analog conversion without optic-electric-optic domain crossing. This design hence guarantees a linear intensity weighting among bits operating at high sampling rates, yet at a reduced footprint and power consumption compared to other photonic alternatives. Importantly, this photonic DAC could create seamless interfaces of next-generation data processing hardware for data-centers, task-specific compute accelerators such as neuromorphic engines, and network edge processing applications.


title: Trajectory Synthesis for a UAV Swarm to Perform Resilient Requirement-Aware Surveillance: A Smart Grid-based Study

abstract: A smart grid is a widely distributed engineering system with overhead transmission lines. Physical damage to these power lines, from natural calamities or technical failures, will disrupt the functional integrity of the grid. To ensure the continuation of the grid's operational flow when those phenomena happen, the grid operator must immediately take steps to nullify the impacts and repair the problems, even if those occur in hardly-reachable remote areas. Emerging unmanned aerial vehicles (UAVs) show great potential to replace traditional human patrols for regularly monitoring critical situations involving the safety of the grid. The critical lines can be monitored by a fleet of UAVs to ensure a resilient surveillance system. The proposed approach considers the \textit{n}-1 contingency analysis to find the criticality of a transmission line. We propose a formal framework that verifies whether a given set of UAVs (i.e., a UAV swarm) can perform continuous surveillance of the grid satisfying various requirements, particularly the monitoring and resiliency specifications. The verification process ultimately provides a trajectory plan for the UAVs, including the refueling schedules. The resiliency requirement of inspecting a point on a line is expressed in terms of a $k-$property specifying that if $k$ UAVs fail or compromised still there is a UAV to collect the data at the point within on time. We evaluate the proposed framework on synthetic data based on various IEEE test bus systems.


title: A Kinetic Equation for Particle Transport in Turbulent Flows

abstract: One key issue in the probability density function (PDF) approach for disperse two-phase turbulent flows is to close the diffusion term in the phase space. This study aimed to derive a kinetic equation for particle dispersion in turbulent flows by ensemble averaging over all possible realisations of state transition paths in the phase space. The probability density function is expanded as a series in terms of the cumulants of particle paths in the phase space, by introducing a local path density operator to identify the distribution of particle paths. The expansion enables us to directly obtain a kinetic equation with the diffusion term in closed form. The kinetic equation derived in this study has following features that: (1) it has its coefficients expressed as functions of the cumulants of particle paths in the phase space; (2) it applies to particle dispersion by non-Gaussian random forcing with long correlation time scales; (3) it presents new mechanisms responsible for particle diffusion. An application of the kinetic equation is also presented in this paper.


title: Fuzzy Inference Procedure for Intelligent and Automated Control of Refrigerant Charging

abstract: Fuzzy logic controllers are readily customizable in natural language terms and can effectively deal with nonlinearities and uncertainties in control systems. This paper presents an intelligent and automated fuzzy control procedure for the refrigerant charging of refrigerators. The elements that affect the experimental charging and the optimization of the performance of refrigerators are fuzzified and used in an inference model. The objective is to represent the intelligent behavior of a human tester and ultimately make the developed model available for the use in an automated data acquisition, monitoring, and decision-making system. The proposed system is capable of determining the needed amount of refrigerant in the shortest possible time. The system automates the refrigerant charging and performance testing of parallel units. The system is built using data acquisition systems from National Instruments and programmed under LabVIEW. The developed fuzzy models, and their testing results, are evaluated according to their compatibility with the principles that govern the intelligent behavior of human experts when performing the refrigerant-charging process. In addition, comparisons of the fuzzy models with classical inference models are presented. The obtained results confirm that the proposed fuzzy controllers outperform traditional crisp controllers and provide major test time and energy savings. The paper includes thorough discussions, analysis, and evaluation.


title: Gauge Invariance for Classical Massless Particles with Spin

abstract: Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincar\'e group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a classical-particle version of the Higgs mechanism.


title: DC-S3GD: Delay-Compensated Stale-Synchronous SGD for Large-Scale Decentralized Neural Network Training

abstract: Data parallelism has become the de facto standard for training Deep Neural Network on multiple processing units. In this work we propose DC-S3GD, a decentralized (without Parameter Server) stale-synchronous version of the Delay-Compensated Asynchronous Stochastic Gradient Descent (DC-ASGD) algorithm. In our approach, we allow for the overlap of computation and communication, and compensate the inherent error with a first-order correction of the gradients. We prove the effectiveness of our approach by training Convolutional Neural Network with large batches and achieving state-of-the-art results.


title: The SME with gravity and explicit diffeomorphism breaking

abstract: This overview looks at what happens when the Standard-Model Extension (SME) is used to investigate gravity theories with explicit diffeomorphism breaking. It is shown that when matter-gravity couplings are included, the SME generally maintains consistency with the Bianchi identities, and it therefore provides a useful phenomenological framework for investigating the effects of explicit diffeomorphism breaking in gravity theories.


title: A spectral theory for transverse tensor operators

abstract: Tensors are multiway arrays of data, and transverse operators are the operators that change the frame of reference. We develop the spectral theory of transverse tensor operators and apply it to problems closely related to classifying quantum states of matter, isomorphism in algebra, clustering in data, and the design of high performance tensor type-systems. We prove the existence and uniqueness of the optimally-compressed tensor product spaces over algebras, called \emph{densors}. This gives structural insights for tensors and improves how we recognize tensors in arbitrary reference frames. Using work of Eisenbud--Sturmfels on binomial ideals, we classify the maximal groups and categories of transverse operators, leading us to general tensor data types and categorical tensor decompositions, amenable to theorems like Jordan--H\"older and Krull--Schmidt. All categorical tensor substructure is detected by transverse operators whose spectra contain a Stanley--Reisner ideal, which can be analyzed with combinatorial and geometrical tools via their simplicial complexes. Underpinning this is a ternary Galois correspondence between tensor spaces, multivariable polynomial ideals, and transverse operators. This correspondence can be computed in polynomial time. We give an implementation in the computer algebra system \textsf{Magma}.


title: Cooper-Pair Tunneling in Small Josephson Junction Arrays under Radio-Frequency Irradiation

abstract: The influence of radio frequency microwaves on the Coulomb blockade characteristics in small Josephson junctions was studied using a one-dimensional array of ten small Al tunnel junctions in the frequency range from 1 MHz to 1000 MHz. Coulomb blockade voltage ($V_{\rm th}$) is diminished with increasing microwave power ($V_{\rm ac}$), where the $V_{\rm th}$-$V_{\rm ac}$ plots for varied frequencies fall on a single curve. We observed and theoretically analyzed a magnetic field $dependent$ renormalization of the applied microwave power, in addition to a magnetic-field $independent$ renormalization effect explained using an effective circuit approach of the array. Due to its high sensitivity to microwave power, the array is well-suited for on-chip detection applications in low temperature environments.


title: Spatio-Temporal Analysis of Spectrum Usage in Drone-based 5G eMBB Systems for Emergency Services

abstract: The expectation for increased capabilities of 5G networks opens the way for new verticals to be developed, with a growing interest in providing 5G connectivity for emergency service support. In this paper we propose a drone-based deployment scenario, where multiple drones make up a wireless link to a 5G ground base station (BS), to provide connectivity to areas affected by emergency events. Assuming that a part of the BS's available bandwidth will be allocated to the emergency link in order to provide a high-speed and reliable connection, we present a spatio-temporal analysis of the effect of such a service on commercial 5G traffic, based on the locality, time of occurrence and severity of the event. Our work is based on recent advances in spatial analysis of BS locations, and extended datasets of emergency events in the area of greater London.


title: Machine Learning Techniques for Biomedical Image Segmentation: An Overview of Technical Aspects and Introduction to State-of-Art Applications

abstract: In recent years, significant progress has been made in developing more accurate and efficient machine learning algorithms for segmentation of medical and natural images. In this review article, we highlight the imperative role of machine learning algorithms in enabling efficient and accurate segmentation in the field of medical imaging. We specifically focus on several key studies pertaining to the application of machine learning methods to biomedical image segmentation. We review classical machine learning algorithms such as Markov random fields, k-means clustering, random forest, etc. Although such classical learning models are often less accurate compared to the deep learning techniques, they are often more sample efficient and have a less complex structure. We also review different deep learning architectures, such as the artificial neural networks (ANNs), the convolutional neural networks (CNNs), and the recurrent neural networks (RNNs), and present the segmentation results attained by those learning models that were published in the past three years. We highlight the successes and limitations of each machine learning paradigm. In addition, we discuss several challenges related to the training of different machine learning models, and we present some heuristics to address those challenges.


title: Auptimizer -- an Extensible, Open-Source Framework for Hyperparameter Tuning

abstract: Tuning machine learning models at scale, especially finding the right hyperparameter values, can be difficult and time-consuming. In addition to the computational effort required, this process also requires some ancillary efforts including engineering tasks (e.g., job scheduling) as well as more mundane tasks (e.g., keeping track of the various parameters and associated results). We present Auptimizer, a general Hyperparameter Optimization (HPO) framework to help data scientists speed up model tuning and bookkeeping. With Auptimizer, users can use all available computing resources in distributed settings for model training. The user-friendly system design simplifies creating, controlling, and tracking of a typical machine learning project. The design also allows researchers to integrate new HPO algorithms. To demonstrate its flexibility, we show how Auptimizer integrates a few major HPO techniques (from random search to neural architecture search). The code is available at https://github.com/LGE-ARC-AdvancedAI/auptimizer.


title: All-hadronic HZ production at high energy at 3 TeV CLIC

abstract: In this note the $\mathrm{HZ}$ production in the all-hadronic final state in $\mathrm{e}^{+}\mathrm{e}^{-}$ collisions at the Compact Linear Collider is studied at the 3 TeV stage. At high energies, the events have an experimental signature of back-to-back approximately mono-energetic large jets. Each of these jets contains two sub-jets and substructure compatible with two original objects. The study is based on full simulation including the detector response, as well as the presence of beam-induced background from $\gamma\gamma\to\mathrm{hadrons}$. Results on the measurement of the total $\mathrm{HZ}$ cross section are given, and the potential to measure angular asymmetry observables is discussed.


title: A Spoken Dialogue System for Spatial Question Answering in a Physical Blocks World

abstract: The blocks world is a classic toy domain that has long been used to build and test spatial reasoning systems. Despite its relative simplicity, tackling this domain in its full complexity requires the agent to exhibit a rich set of functional capabilities, ranging from vision to natural language understanding. There is currently a resurgence of interest in solving problems in such limited domains using modern techniques. In this work we tackle spatial question answering in a holistic way, using a vision system, speech input and output mediated by an animated avatar, a dialogue system that robustly interprets spatial queries, and a constraint solver that derives answers based on 3-D spatial modeling. The contributions of this work include a semantic parser that maps spatial questions into logical forms consistent with a general approach to meaning representation, a dialog manager based on a schema representation, and a constraint solver for spatial questions that provides answers in agreement with human perception. These and other components are integrated into a multi-modal human-computer interaction pipeline.


title: Cosmic Rays and the Chiral Puzzle of Life

abstract: Living organisms exhibit consistent homochirality. It is argued that the specific, binary choice made is not an accident but is a consequence of parity violation in the weak interaction expressed by cosmic irradiation. The secondary muons and pairs are spin- and magnetic moment- polarized and may introduce a small, net chiral preference when they interact electromagnetically or quantum mechanically with molecules that have made the transition to self-replication. Although this preference is likely to be very small, it may suffice to give a chirally-dominant outcome after billions of replications, especially if combined with chirally-unbiased conflict between the two choices. Examples of mechanisms that can manifest the three essential steps of polarization, preference and domination are presented and some variations and possible implications are discussed.


title: Dynamic traversal of large gaps by insects and legged robots reveals a template

abstract: It is well known that animals can use neural and sensory feedback via vision, tactile sensing, and echolocation to negotiate obstacles. Similarly, most robots use deliberate or reactive planning to avoid obstacles, which relies on prior knowledge or high-fidelity sensing of the environment. However, during dynamic locomotion in complex, novel, 3-D terrains such as forest floor and building rubble, sensing and planning suffer bandwidth limitation and large noise and are sometimes even impossible. Here, we study rapid locomotion over a large gap, a simple, ubiquitous obstacle, to begin to discover general principles of dynamic traversal of large 3-D obstacles. We challenged the discoid cockroach and an open-loop six-legged robot to traverse a large gap of varying length. Both the animal and the robot could dynamically traverse a gap as large as 1 body length by bridging the gap with its head, but traversal probability decreased with gap length. Based on these observations, we developed a template that well captured body dynamics and quantitatively predicted traversal performance. Our template revealed that high approach speed, initial body pitch, and initial body pitch angular velocity facilitated dynamic traversal, and successfully predicted a new strategy of using body pitch control that increased the robot maximal traversal gap length by 50%. Our study established the first template of dynamic locomotion beyond planar surfaces and is an important step in expanding terradynamics into complex 3-D terrains.


title: Body-terrain interaction affects large bump traversal of insects and legged robots

abstract: Small animals and robots must often rapidly traverse large bump-like obstacles when moving through complex 3-D terrains, during which, in addition to leg-ground contact, their body inevitably comes into physical contact with the obstacles. However, we know little about the performance limits of large bump traversal and how body-terrain interaction affects traversal. To address these, we challenged the discoid cockroach and an open-loop six-legged robot to dynamically run into a large bump of varying height to discover the maximal traversal performance, and studied how locomotor modes and traversal performance are affected by body-terrain interaction. Remarkably, during rapid running, both the animal and the robot were capable of dynamically traversing a bump much higher than its hip height (up to 4 times the hip height for the animal and 3 times for the robot, respectively) at traversal speeds typical of running, with decreasing traversal probability with increasing bump height. A stability analysis using a novel locomotion energy landscape model explained why traversal was more likely when the animal or robot approached the bump with a low initial body yaw and a high initial body pitch, and why deflection was more likely otherwise. Inspired by these principles, we demonstrated a novel control strategy of active body pitching that increased the robot maximal traversable bump height by 75%. Our study is a major step in establishing the framework of locomotion energy landscapes to understand locomotion in complex 3-D terrains.


title: The Relation Between Automorphism Group and Isometry Group of Left Invariant $ (\alpha,\beta)$-metrics

abstract: This work generalizes the results of an earlier paper by the second author, from Randers metrics to $(\alpha,\beta)$-metrics. Let $F$ be an $(\alpha,\beta)$-metric which is defined by a left invariant vector field and a left invariant Riemannian metric on a simply connected real Lie group $G$. We consider the automorphism and isometry groups of the Finsler manifold $(G,F)$ and their intersection. We prove that for an arbitrary left invariant vector field $X$ and any compact subgroup $K$ of automorphisms which $X$ is invariant under them, there exists an $(\alpha,\beta)$-metric such that $K$ is a subgroup of its isometry group.


title: Quantum Biology: Can we explain olfaction using quantum phenomenon?

abstract: The sense of smell is an important part of living organisms. It assists with the interaction of the living organism with its environment. The mechanism by which smell is detected and identified is not fully known. Earlier, shape theory was proposed as an explanation for odor perception mechanism. This theory posits that the shape of the odorant must fit in its complementary olfactory receptor for an odor to be identified -- just like key fits in a lock. This theory turns out to have some limitations, thus leading to the proposition of new theory called the vibrational theory of olfaction. In vibrational theory, the nose is regarded as a spectroscope that detects vibration of odorants. However, this happens to be currently controversial and actively debated. In this paper, I will give a review of the history of olfaction, the challenges, and then explain some new experiments (both on human and fruit flies) that support or refute the vibrational theory of olfaction.


title: Topological phase diagrams of the frustrated Ising ferromagnet

abstract: The emergence of complex modulated structures in the magnetization pattern of thin films is a well-established experimental phenomenology caused by the frustrating effects of competing interactions. Using a coarse-grained version of the Ising ferromagnet with dipolar interactions, we develop a method that uses the information from the microscopic Hamiltonian to predict the specific topological phases present in the temperature-external magnetic field phase diagram. This is done by the combination of mean-field variational calculations and the renormalization group equations from the classical theory of two-dimensional melting. In this framework, we are able to distinguish when the orientational and translational symmetries are broken, discriminating between the ordered and disordered states of the system for all temperatures and fields. We observe that the reentrance developed by the $H$-$T$ phase diagrams in the regime of weak dipolar interactions is directly related with the appearance of anomalous topological transitions. These results motivate the realization of new experiments on magnetic thin films in order to explore the topological properties of the magnetic textures, allowing to identify new exotic phases in these materials.


title: Vacuum effects on the properties of nuclear matter under an external magnetic field

abstract: The effects of the Dirac sea of the nucleons are investigated within a covariant model of the hadronic interaction. We extend the usual Mean Field Approximation and present a procedure to deal with divergences which are proportional to polynomials on the magnetic field intensity. For this purpose a nucleon propagator is used which takes accounts of the full effect of the magnetic field as well as the presence of the anomalous magnetic moments of both protons and neutrons. We examine single particle properties and bulk thermodynamical quantities and conclude that within a reasonable range of densities and magnetic intensities the effects found are moderate.


title: The chord-length distribution of a polyhedron

abstract: We show that the chord-length distribution function $[\gamma"(r)]$ of any bounded polyhedron has an elementary algebraic form, the expression of which changes in the different subdomains of the $r$-range. In each of these, the $\gamma"(r)$ expression only involves, as transcendental contributions, inverse trigonometric functions of argument equal to $R[r,\,\Delta_1]$, \,$\Delta_1$ being the square root of a 2nd-degree $r$-polynomial and $R[x,y]$ a rational function. Besides, as $r$ approaches one boundary point ($\delta$) of each $r$-subdomain, the derivative of $\gamma"(r)$ can only show singularities of the forms $(r-\delta)^{-n}$ and $(r-\delta)^{-m+1/2}$ with $n$ and $m$ appropriate positive integers. Finally, the explicit algebraic expressions of the primitives are also reported.


title: Impact Factor volatility to a single paper: A comprehensive analysis

abstract: We study how a single paper affects the Impact Factor (IF) by analyzing data from 3,088,511 papers published in 11639 journals in the 2017 Journal Citation Reports of Clarivate Analytics. We find that IFs are highly volatile. For example, the top-cited paper of 381 journals caused their IF to increase by more than 0.5 points, while for 818 journals the relative increase exceeded 25%. And one in 10 journals had their IF boosted by more than 50% by their top three cited papers. Because the single-paper effect on the IF is inversely proportional to journal size, small journals are rewarded much more strongly than large journals for a highly-cited paper, while they are penalized more for a low-cited paper, especially if their IF is high. This skewed reward mechanism incentivizes high-IF journals to stay small, to remain competitive in rankings. We discuss the implications for breakthrough papers appearing in prestigious journals. We question the reliability of IF rankings given the high IF sensitivity to a few papers for thousands of journals.


title: Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory

abstract: We study the variety membership testing problem in the case when the variety is given as an orbit closure and the ambient space is the set of all 3-tensors. The first variety that we consider is the slice rank variety, which consists of all 3-tensors of slice rank at most $r$. We show that the membership testing problem for the slice rank variety is $\NP$-hard. While the slice rank variety is a union of orbit closures, we define another variety, the minrank variety, expressible as a single orbit closure. Our next result is the $\NP$-hardness of membership testing in the minrank variety, hence we establish the $\NP$-hardness of the orbit closure containment problem for 3-tensors. Algebraic natural proofs were recently introduced by Forbes, Shpilka and Volk and independently by Grochow, Kumar, Saks and Saraf. Bl\"aser et al. gave a version of an algebraic natural proof barrier for the matrix completion problem which relies on $\coNP \subseteq \exists \BPP$. It implied that constructing equations for the corresponding variety should be hard. We generalize their approach to work with any family of varieties for which the membership problem is $\NP$-hard and for which we can efficiently generate a dense subset. Therefore, a similar barrier holds for the slice rank and the minrank varieties, too. This allows us to set up the slice rank and the minrank varieties as a test-bed for geometric complexity theory (GCT). We determine the stabilizers of the tensors that generate the orbit closures of the two varieties and prove that these tensors are almost characterized by their symmetries. We prove several nontrivial equations for both the varieties using different GCT methods. Many equations also work in the regime where membership testing in the slice rank or minrank varieties is $\NP$-hard. We view this as a promising sign that the GCT approach might indeed be successful.


title: Variational multiscale modeling with discretely divergence-free subscales

abstract: We introduce a residual-based stabilized formulation for incompressible Navier-Stokes flow that maintains discrete (and, for divergence-conforming methods, strong) mass conservation for inf-sup stable spaces with $H^1$-conforming pressure approximation, while providing optimal convergence in the diffusive regime, robustness in the advective regime, and energetic stability. The method is formally derived using the variational multiscale (VMS) concept, but with a discrete fine-scale pressure field which is solved for alongside the coarse-scale unknowns such that the coarse and fine scale velocities separately satisfy discrete mass conservation. We show energetic stability for the full Navier-Stokes problem, and we prove convergence and robustness for a linearized model (Oseen flow), under the assumption of a divergence-conforming discretization. Numerical results indicate that all properties extend to the fully nonlinear case and that the proposed formulation can serve to model unresolved turbulence.


title: Unsupervised Hierarchy Matching with Optimal Transport over Hyperbolic Spaces

abstract: This paper focuses on the problem of unsupervised alignment of hierarchical data such as ontologies or lexical databases. This is a problem that appears across areas, from natural language processing to bioinformatics, and is typically solved by appeal to outside knowledge bases and label-textual similarity. In contrast, we approach the problem from a purely geometric perspective: given only a vector-space representation of the items in the two hierarchies, we seek to infer correspondences across them. Our work derives from and interweaves hyperbolic-space representations for hierarchical data, on one hand, and unsupervised word-alignment methods, on the other. We first provide a set of negative results showing how and why Euclidean methods fail in this hyperbolic setting. We then propose a novel approach based on optimal transport over hyperbolic spaces, and show that it outperforms standard embedding alignment techniques in various experiments on cross-lingual WordNet alignment and ontology matching tasks.


title: Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing

abstract: The ever increasing complexity of real-time control systems results in significant deviations in the timing of sensing and actuation, which may lead to degraded performance or even instability. In this paper we present a method to analyze stability under mostly-periodic timing with bounded uncertainty, a timing model typical for the implementation of controllers that were actually designed for strictly periodic execution. In contrast to existing work, we include the case of multiple sensors and actuators with individual timing uncertainty. Our approach is based on the discretization of a linear impulsive system. To avoid the curse of dimensionality, we apply a decomposition that breaks down the complex timing dependency into the effects of individual sensor-actuator pairs. Finally, we verify stability by norm bounding and a Common Quadratic Lyapunov Function. Experimental results substantiate the effectiveness of our approach for moderately complex systems.


title: The steady state partial slip problem for half plane contacts subject to a constant normal load using glide dislocations

abstract: A new solution for general half-plane contact problems subject to a constant normal load together with alternating shear loads and tension in the steady state is presented. The method uses a formulation where a displacement correction is made to the fully stuck contact solution. There will be two outer regions of slip and a central permanent stick zone, which is explicitly established. Thereby, the maximum extent of the slip zones is effectively specified. Cases of small and large tension are studied, that is when the direction of slip is the same or opposing at the ends of the contact, respectively.


title: On the Strong Attraction Limit for a Class of Nonlocal Interaction Energies

abstract: This note concerns the problem of minimizing a certain family of non-local energy functionals over measures on $\mathbb{R}^n$, subject to a mass constraint, in a strong attraction limit. In these problems, the total energy is an integral over pair interactions of attractive-repulsive type. The interaction kernel is a sum of competing power law potentials with attractive powers $\alpha \in (0, \infty)$ and repulsive powers associated with Riesz potentials. The strong attraction limit $\alpha \to \infty$ is addressed via Gamma-convergence, and minimizers of the limit are characterized in terms of an isodiametric capacity problem. We also provide evidence for symmetry-breaking in high dimensions.


title: How many zeros of a random sparse polynomial are real?

abstract: We investigate the number of real zeros of a univariate $k$-sparse polynomial $f$ over the reals, when the coefficients of $f$ come from independent standard normal distributions. Recently B\"urgisser, Erg\"ur and Tonelli-Cueto showed that the expected number of real zeros of $f$ in such cases is bounded by $O(\sqrt{k} \log k)$. In this work, we improve the bound to $O(\sqrt{k})$ and also show that this bound is tight by constructing a family of sparse support whose expected number of real zeros is lower bounded by $\Omega(\sqrt{k})$. Our main technique is an alternative formulation of the Kac integral by Edelman-Kostlan which allows us to bound the expected number of zeros of $f$ in terms of the expected number of zeros of polynomials of lower sparsity. Using our technique, we also recover the $O(\log n)$ bound on the expected number of real zeros of a dense polynomial of degree $n$ with coefficients coming from independent standard normal distributions.


title: Optimizing the Factual Correctness of a Summary: A Study of Summarizing Radiology Reports

abstract: Neural abstractive summarization models are able to generate summaries which have high overlap with human references. However, existing models are not optimized for factual correctness, a critical metric in real-world applications. In this work, we develop a general framework where we evaluate the factual correctness of a generated summary by fact-checking it automatically against its reference using an information extraction module. We further propose a training strategy which optimizes a neural summarization model with a factual correctness reward via reinforcement learning. We apply the proposed method to the summarization of radiology reports, where factual correctness is a key requirement. On two separate datasets collected from hospitals, we show via both automatic and human evaluation that the proposed approach substantially improves the factual correctness and overall quality of outputs over a competitive neural summarization system, producing radiology summaries that approach the quality of human-authored ones.