title: Supervised learning in a mechanical system

abstract: Mechanical metamaterials are usually designed to show desired responses to prescribed forces. In some applications, the desired force-response relationship might be hard to specify exactly, although examples of forces and corresponding desired responses are easily available. Here we propose a framework for supervised learning in a thin creased sheet that learns the desired force-response behavior from training examples of spatial force patterns and can then respond correctly to previously unseen test forces. During training, we fold the sheet using different training forces and assume a learning rule that changes stiffness of creases in response to their folding strain. We find that this learning process reshapes non-linearities inherent in folding a sheet so as to show the correct response for previously unseen test forces. We study the relationship between training error, test error and sheet size which plays the role of model complexity. Our framework shows how the complex energy landscape of disordered mechanical materials can be reshaped using an iterative local learning rule.


title: Complex density wave orders and quantum phase transitions in a model of square-lattice Rydberg atom arrays

abstract: We describe the zero-temperature phase diagram of a model of a two-dimensional square-lattice array of neutral atoms, excited into Rydberg states and interacting via strong van der Waals interactions. Using the density-matrix renormalization group algorithm, we map out the phase diagram and obtain a rich variety of phases featuring complex density wave orderings, upon varying lattice spacing and laser detuning. While some of these phases result from the classical optimization of the van der Waals energy, we also find intrinsically quantum-ordered phases stabilized by quantum fluctuations. These phases are surrounded by novel quantum phase transitions, which we analyze by finite-size scaling numerics and Landau theories. Our work highlights Rydberg quantum simulators in higher dimensions as promising platforms to realize exotic many-body phenomena.

categories: cond-mat.str-el cond-mat.quant-gas physics.atom-ph quant-ph


title: Asymptotic Flux Compactifications and the Swampland

abstract: We initiate the systematic study of flux scalar potentials and their vacua by using asymptotic Hodge theory. To begin with, we consider F-theory compactifications on Calabi-Yau fourfolds with four-form flux. We argue that a classifications of all scalar potentials can be performed when focusing on regions in the field space in which one or several fields are large and close to a boundary. To exemplify the constraints on such asymptotic flux compactifications, we explicitly determine this classification for situations in which two complex structure moduli are taken to be large. Our classification captures, for example, the weak string coupling limit and the large complex structure limit. We then show that none of these scalar potentials admits de Sitter vacua at parametric control, formulating a new no-go theorem valid beyond weak string coupling. We also check that the recently proposed asymptotic de Sitter conjecture is satisfied near any infinite distance boundary. Extending this strategy further, we generally identify the type of fluxes that induce an infinite series of Anti-de Sitter vacua, thereby generalizing the well-known Type IIA settings. Finally, we argue that also the large field dynamics of any axion in complex structure moduli space is universally constrained. Displacing such an axion by large field values will generally lead to severe backreaction effects destabilizing other directions.


title: Exact $\beta$-function of Yang-Mills theory in 2+1 dimensions

abstract: To set the stage, I discuss the $\beta$-function of the massless O(N) model in three dimensions, which can be calculated exactly in the large N limit. Then, I consider SU(N) Yang-Mills theory in 2+1 space-time dimensions. Relating the $\beta$-function to the expectation value of the action in lattice gauge theory, and the latter to the trace of the energy-momentum tensor, I show that $\frac{d \ln g^2/\mu}{d\ln \mu}=-1$ for all $g$ and all N in one particular renormalization scheme. As a consequence, I find that the Yang-Mills $\beta$-function in three dimensions must have the same sign for all finite and positive bare coupling parameters in any renormalization scheme, and all non-trivial infrared fixed points are unreachable in practice.


title: Small quantum networks in the qudit stabilizer formalism

abstract: How much noise can a given quantum state tolerate without losing its entanglement? For qudits of arbitrary dimension, I investigate this question for two noise models: Global white noise, where a depolarizing channel is applied to all qudits simultaneously, and local white noise, where a single qudit depolarizing channel is applied to every qudit individually. Using a unitary generalization of the Pauli group, I derive noise thresholds for stabilizer states, with an emphasis on graph states, and compare different entanglement criteria. The PPT and reduction criteria generally provide high noise thresholds, however, it is difficult to apply them in the case of local white noise. Entanglement criteria based on so-called sector lengths, on the other hand, provide coarse noise thresholds for both noise models. The only thing one has to know about a state to compute this threshold is the number of its full-weight stabilizers. In the special case of qubit graph states, I relate this question to a graph-theoretical puzzle and solve it for four important families of states. For Greenberger-Horne-Zeilinger states under local white noise, I obtain for the first time a noise threshold below which so-called semiseparability is ruled out.


title: Empirical constraints on the formation of early-type galaxies

abstract: We present constraints on the formation and evolution of early-type galaxies (ETGs) with the empirical model EMERGE. The parameters of this model are adjusted so that it reproduces the evolution of stellar mass functions, specific star formation rates, and cosmic star formation rates since $z\approx10$ as well as 'quenched' galaxy fractions and correlation functions. We find that at fixed halo mass present-day ETGs are more massive than late-type galaxies, whereas at fixed stellar mass ETGs populate more massive halos in agreement with lensing results. This effect naturally results from the shape and scatter of the stellar-to-halo mass relation and the galaxy formation histories. The ETG stellar mass assembly is dominated by 'in-situ' star formation below a stellar mass of $3\times10^{11}\mathrm{M}_\odot$ and by merging and accretion of 'ex-situ' formed stars at higher mass. The mass dependence is in tension with current cosmological simulations. Lower mass ETGs show extended star formation towards low redshift in agreement with recent estimates from IFU surveys. All ETGs have main progenitors on the 'main sequence of star formation' with the 'red sequence' appearing at $z \approx 2$. Above this redshift, over 95 per cent of the ETG progenitors are star-forming. More than 90 per cent of $z \approx 2$ 'main sequence' galaxies with $m_* > 10^{10}\mathrm{M}_\odot$ evolve into present-day ETGs. Above redshift 6, more than 80 per cent of the observed stellar mass functions above $10^{9}\mathrm{M}_\odot$ can be accounted for by ETG progenitors with $m_* > 10^{10}\mathrm{M}_\odot$. This implies that current and future high redshift observations mainly probe the birth of present-day ETGs. The source code and documentation of EMERGE are available at github.com/bmoster/emerge.


title: Self-consistent solution for the magnetic exchange interaction mediated by a superconductor

abstract: We theoretically determine the magnetic exchange interaction between two ferromagnets coupled by a superconductor using a tight-binding lattice model. The main purpose of this study is to determine how the self-consistently determined superconducting state influences the exchange interaction and the preferred ground-state of the system, including the role of impurity scattering. We find that the superconducting state eliminates RKKY-like oscillations for a sufficiently large superconducting gap, making the anti-parallel orientation the ground state of the system. Interestingly, the superconducting gap is larger in the parallel configuration than in the anti-parallel configuration, giving a larger superconducting condensation energy, even when the preferred ground state is anti-parallel. We also show that increasing the impurity concentration in the superconductor causes the exchange interaction to decrease, likely due to an increasing localization of the mediating quasiparticles in the superconductor.


title: Simple Yet Powerful: Hot Galactic Outflows Driven by Supernovae

abstract: Supernovae (SNe) drive multiphase galactic outflows, impacting galaxy formation; however, cosmological simulations mostly use \textit{ad hoc} feedback models for outflows, making outflow-related predictions from first principles problematic. Recent small-box simulations resolve individual SNe remnants in the interstellar medium (ISM), naturally driving outflows and permitting a determination of the wind loading factors of energy $\eta_E$, mass $\eta_m$, and metals $\eta_Z$. In this Letter, we compile small-box results, and find consensus that the hot outflows are much more powerful than the cool outflows: (i) hot outflows generally dominate the energy flux, and (ii) their specific energy $e_{s,h}$ is 10-1000 times higher than cool outflows. Moreover, the properties of hot outflows are remarkably simple: $e_{s,h} \propto \eta_{E,h}/\eta_{m,h}$ is almost invariant over four orders of magnitude of star formation surface density. Also, we find tentatively that $\eta_{E,h}/\eta_{Z,h} \sim$ 0.5. If corroborated by more simulation data, these correlations reduce the three hot phase loading factors into one. Finally, this one parameter is closely related to whether the ISM has a "breakout" condition. The narrow range of \esh\ indicates that hot outflows cannot escape dark matter halos with log $M_{\rm{halo}}\ [M_\odot] \gtrsim 12$. This mass is also where the galaxy mass-metallicity relation reaches its plateau, implying a deep connection between \textit{hot} outflows and galaxy formation. We argue that hot outflows should be included explicitly in cosmological simulations and (semi-)analytic modeling of galaxy formation.


title: Temperature Dependence of the Anomalous Hall Effect from Electron Interactions

abstract: We consider the impact of electron-electron interactions on the temperature dependence of the anomalous Hall effect in disordered conductors. The microscopic analysis is carried out within the diagrammatic approach of the linear response Kubo-Streda formula with an account of both extrinsic skew-scattering and side-jump mechanisms of the anomalous Hall effect arising in the presence of spin-orbit coupling. We demonstrate the importance of electron interactions in the Cooper channel even for nominally non-superconducting materials and find that the corresponding low-temperature dependence of the anomalous Hall conductivity is asymptotically of the form $\sqrt{T}/\ln(T_0/T)$ in three dimensions and $\ln[\ln(T_0/T)]$ in two dimensions, where the scale of $T_0$ is parametrically of the order of Fermi energy. These results, in particular, may provide an explanation for the recently observed unconventional temperature dependence of the anomalous Hall effect in HgCr$_2$Se$_4$.


title: Analytical theory of pyrochlore cooperative paramagnets

abstract: The pyrochlore lattice is associated with several potential and actual spin liquid phases as a result of its strong geometric frustration. At finite temperature, these can exhibit an unusually broad cross-over regime to a conventional paramagnet. Here, we study this regime analytically by showing how a single-tetrahedron Hamiltonian can extrapolate beyond the first term of a high-temperature expansion and yield insights into the build-up of correlations. We discuss how this unusual behaviour is brought about by the structure of the eigenspaces of the coupling matrix. Further interesting behaviour can appear for parameter values located near phase transitions: we find coexistence of $(111)$ rods and $(220)$ peaks in the structure factor, as observed in neutron scattering experiments on Yb$_2$Ti$_2$O$_7$.


title: Gravitational waves and higher dimensions: Love numbers and Kaluza-Klein excitations

abstract: Gravitational-wave (GW) observations provide a wealth of information on the nature and properties of black holes. Among these, tidal Love numbers or the multipole moments of the inspiralling and final objects are key to a number of constraints. Here, we consider these observations in the context of higher-dimensional scenarios, with flat large extra dimensions. We show that -- as might be anticipated, but not always appreciated in the literature -- physically motivated set-ups are unconstrained by gravitational-wave data. Dynamical processes that do not excite the Kaluza-Klein (KK) modes lead to a signal identical to that in four-dimensional general relativity in vacuum . In addition, any possible excitation of the KK modes is highly suppressed relative to the dominant quadrupolar term; given existing constraints on the extra dimensions and the masses of the objects seen in gravitational-wave observations, KK modes appear at post-Newtonian order $\sim 10^{11}$. Finally, we re-compute the tidal Love numbers of spherical black holes in higher dimensions. We confirm that these are different from zero, but comparing with previous computations we find a different magnitude and sign.


title: Double white dwarf merger products among high-mass white dwarfs

abstract: Double white dwarf (double-WD) binaries may merge within a Hubble time and produce high-mass WDs. Compared to other high-mass WDs, the double-WD merger products have higher velocity dispersion because they are older. With the power of Gaia data, we show strong evidence for double-WD merger products among high-mass WDs by analyzing the transverse-velocity distribution of more than a thousand high-mass WDs (0.8--1.3 $M_\odot$). We estimate that the fraction of double-WD merger products in our sample is about 20 %. We also obtain a precise double-WD merger rate and its mass dependence. Our merger rate estimates are close to binary population synthesis results and support the idea that double-WD mergers may contribute to a significant fraction of type Ia supernovae.


title: Developing local RG: quantum RG and BFSS

abstract: In this paper we study various forms of RG, applying them to the BFSS model of $N$ coincident D0-branes. Firstly, as a warm-up, we perform standard Wilsonian RG, investigating the conditions under which supersymmetry is preserved along the flow. Next, we develop a local RG scheme such that the cutoff is spacetime dependent, which could have further applications to studying QFT in curved spacetime. Finally, we test the conjecture put forward in arXiv:1305.3908 that the method of quantum RG could be the mechanism responsible for the gauge/gravity duality by applying it to the BFSS model, which has a known gravitational dual. Although not entirely conclusive some questions are raised about the applicability of quantum RG as a description of the AdS/CFT correspondence.


title: Nonmonotonic plasmon dispersion in strongly interacting Coulomb Luttinger liquids

abstract: We demonstrate that the plasmon in one-dimensional Coulomb interacting electron fluids can develop a finite-momentum maxon-roton-like nonmonotonic energy-momentum dispersion. Such an unusual nonmonotonicity arises from the strongly interacting $1/r$ Coulomb potential going beyond the conventional band linearization approximation used in the standard bosonization theories of Luttinger liquids. We provide details for the nonmonotonic plasmon dispersion using both bosonization and RPA theories. We also calculate the specific heat including the nonmonotonicity and discuss possibilities for observing the nonmonotonic plasmon dispersion in various physical systems including semiconductor quantum wires, carbon nanotubes, and the twisted bilayer graphene at sub-degree twist angles, which naturally realize one-dimensional domain-wall states.


title: The large-separation expansion of peak clustering in Gaussian random fields

abstract: In the peaks approach, the formation sites of observable structures in the Universe are identified as peaks in the matter density field. The statistical properties of the clustering of peaks are particularly important in this respect. In this paper, we investigate the large-separation expansion of the correlation function of peaks in Gaussian random fields. The analytic formula up to third order is derived, and the resultant expression can be evaluated by a combination of one-dimensional fast Fourier transforms, which are evaluated very fast. The analytic formula obtained perturbatively in the large-separation limit is compared with a method of Monte-Carlo integrations, and a complementarity between the two methods is demonstrated.


title: Solitosynthesis and Gravitational Waves

abstract: We study the gravitational wave phenomenology in models of solitosynthesis. In such models, a first order phase transition is precipitated by a period in which non-topological solitons with a conserved global charge (Q-balls) accumulate charge. As such, the nucleation rate of critical bubbles differs significantly from thermal phase transitions. In general we find that the peak amplitude of the gravitational wave spectrum resulting from solitosynthesis is stronger than that of a thermal phase transition and the timescale of the onset of nonlinear plasma dynamics is comparable to Hubble. We demonstrate this explicitly in an asymmetric dark matter model, and discuss current and future constraints in this scenario.


title: Content Removal as a Moderation Strategy: Compliance and Other Outcomes in the ChangeMyView Community

abstract: Moderators of online communities often employ comment deletion as a tool. We ask here whether, beyond the positive effects of shielding a community from undesirable content, does comment removal actually cause the behavior of the comment's author to improve? We examine this question in a particularly well-moderated community, the ChangeMyView subreddit. The standard analytic approach of interrupted time-series analysis unfortunately cannot answer this question of causality because it fails to distinguish the effect of having made a non-compliant comment from the effect of being subjected to moderator removal of that comment. We therefore leverage a "delayed feedback" approach based on the observation that some users may remain active between the time when they posted the non-compliant comment and the time when that comment is deleted. Applying this approach to such users, we reveal the causal role of comment deletion in reducing immediate noncompliance rates, although we do not find evidence of it having a causal role in inducing other behavior improvements. Our work thus empirically demonstrates both the promise and some potential limits of content removal as a positive moderation strategy, and points to future directions for identifying causal effects from observational data.


title: Strong Cosmic Censorship and the Universal Relaxation Bound

abstract: The strong cosmic censorship conjecture, introduced by Penrose five decades ago, asserts that, in self-consistent theories of gravity, Cauchy horizons inside dynamically formed black holes should be unstable to remnant perturbation fields that fall into the newly born black holes. The question of the (in)validity of this intriguing conjecture in non-asymptotically flat charged black-hole spacetimes has recently attracted much attention from physicists and mathematicians. We here provide a general proof, which is based on Bekenstein's generalized second law of thermodynamics, for the validity of this fundamental conjecture in non-asymptotically flat de Sitter black-hole spacetimes.


title: Baryonic effects on CMB lensing and neutrino mass constraints

abstract: Measurements of gravitational lensing of the cosmic microwave background (CMB) hold the promise of yielding unique insights into cosmology at high redshift. Uncertainties due to baryonic effects associated with galaxy formation and evolution, including gas cooling, star formation, and feedback from active galactic nuclei (AGN) and supernovae, have typically been neglected when forecasting the sensitivity of future CMB surveys. In this paper, we determine the impact of these effects using four suites of hydrodynamical simulations which incorporate various prescriptions for baryonic processes, namely OWLS, BAHAMAS, Horizon, and IllustrisTNG. Our analysis shows characteristic power suppressions of several percent in CMB lensing due to baryonic effects, compared to dark-matter only simulations, at experimentally observable angular scales. We investigate the associated bias in the inferred neutrino mass for experiments like the upcoming Simons Observatory and CMB-S4. Depending on the experimental precision and the strength of the baryonic feedback within the simulations, biases in the neutrino mass sum show significant dispersion, ranging from very small to an over-estimation by 1.1$\sigma$. We conclude that baryonic effects will likely be non-negligible for a detection of neutrino mass using CMB lensing.


title: Galactic outflow rates in the EAGLE simulations

abstract: We present measurements of galactic outflow rates from the EAGLE suite of cosmological simulations. We find that gas is removed from the interstellar medium (ISM) of central galaxies with a dimensionless mass loading factor that scales approximately with circular velocity as $V_{\mathrm{c}}^{-3/2}$ in the low-mass regime where stellar feedback dominates. Feedback from active galactic nuclei (AGN) causes an upturn in the mass loading for halo masses $> 10^{12} \, \mathrm{M_\odot}$. We find that more gas outflows through the halo virial radius than is removed from the ISM of galaxies, particularly at low redshift, implying substantial mass loading within the circum-galactic medium (CGM). Outflow velocities span a wide range at a given halo mass/redshift, and on average increase positively with redshift and halo mass up to $M_{200} \sim 10^{12} \, \mathrm{M_\odot}$. Outflows exhibit a bimodal flow pattern on circum-galactic scales, aligned with the galactic minor axis. We present a number of like-for-like comparisons to outflow rates from other recent cosmological hydrodynamical simulations, and show that comparing the propagation of galactic winds as a function of radius reveals substantial discrepancies between different models. Relative to some other simulations, EAGLE favours a scenario for stellar feedback where agreement with the galaxy stellar mass function is achieved by removing smaller amounts of gas from the ISM, but with galactic winds that then propagate and entrain ambient gas out to larger radii.


title: Testing thermal photon and dilepton rates

abstract: We confront the thermal NLO vector spectral function (both the transverse and longitudinal channel with respect to spatial momentum, both above and below the light cone) with continuum-extrapolated lattice data (both quenched and with $N_{\rm f} = 2$, at $T \sim 1.2 T_{\rm c}$). The perturbative side incorporates new results, whose main features are summarized. The resolution of the lattice data is good enough to constrain the scale choice of $\alpha_{\rm s}$ on the perturbative side. The comparison supports the previous indication that the true spectral function falls below the resummed NLO one in a substantial frequency domain. Our results may help to scrutinize direct spectral reconstruction attempts from lattice QCD.


title: The Geometry of SUSY Enhancement

abstract: We provide a precise geometric picture that demystifies the phenomenon of supersymmetry enhancement along certain RG flows of four-dimensional field theories, recently discovered by Maruyoshi and Song. It applies to theories of arbitrary rank and it is based on a hyperk\"ahler-structure restoration on the moduli space of solutions of (twisted) Hitchin systems, which underly the class-S construction we use as an engineering tool. Along the way, we formulate a necessary algebraic condition for supersymmetry enhancement, and, when enhancement occurs, we are able to derive the Seiberg-Witten geometry and all conformal dimensions of Coulomb-branch operators for the infrared theory, without using a-maximization.


title: Inverse see-saw neutrino masses in the Littlest Higgs model with T-parity

abstract: We show that the inverse see-saw is the most natural way of implementing neutrino masses in the Littlest Higgs model with T-parity. The three extra quasi-Dirac neutrinos are needed to cancel the quadratically divergent contributions of the mirror leptons to the Higgs mass. If the T-parity of the heavy neutrino singlets is chosen to be even, their contributions to lepton flavor violating transitions are one-loop finite. The most stringent limits on this scenario result from the non-observation of these transitions. Constraints on neutrino mixing imply an upper bound on the mass of the T-odd mirror leptons at the reach of the LHC and/or future colliders.


title: Icentia11K: An Unsupervised Representation Learning Dataset for Arrhythmia Subtype Discovery

abstract: We release the largest public ECG dataset of continuous raw signals for representation learning containing 11 thousand patients and 2 billion labelled beats. Our goal is to enable semi-supervised ECG models to be made as well as to discover unknown subtypes of arrhythmia and anomalous ECG signal events. To this end, we propose an unsupervised representation learning task, evaluated in a semi-supervised fashion. We provide a set of baselines for different feature extractors that can be built upon. Additionally, we perform qualitative evaluations on results from PCA embeddings, where we identify some clustering of known subtypes indicating the potential for representation learning in arrhythmia sub-type discovery.


title: Negativity Spectrum in the Random Singlet Phase

abstract: Entanglement features of the ground state of disordered quantum matter are often captured by an infinite randomness fixed point that, for a variety of models, is the random singlet phase. Although a copious number of studies covers bipartite entanglement in pure states, at present, less is known for mixed states and tripartite settings. Our goal is to gain insights in this direction by studying the negativity spectrum in the random singlet phase. Through the strong disorder renormalization group technique, we derive analytic formulas for the universal scaling of the disorder averaged moments of the partially transposed reduced density matrix. Our analytic predictions are checked against a numerical implementation of the strong disorder renormalization group and against exact computations for the XX spin chain (a model in which free fermion techniques apply). Importantly, our results show that the negativity and logarithmic negativity are not trivially related after the average over the disorder.


title: Super-Massive Neutron Stars and Compact Binary Millisecond Pulsars

abstract: The maximum mass of a neutron star has important implications across multiple research fields, including astrophysics, nuclear physics and gravitational wave astronomy. Compact binary millisecond pulsars (with orbital periods shorter than about a day) are a rapidly-growing pulsar population, and provide a good opportunity to search for the most massive neutron stars. Applying a new method to measure the velocity of both sides of the companion star, we previously found that the compact binary millisecond pulsar PSR J2215+5135 hosts one of the most massive neutron stars known to date, with a mass of 2.27$\pm$0.16 M$_\odot$ (Linares, Shahbaz & Casares, 2018). We reexamine the properties of the 0.33 M$_\odot$ companion star, heated by the pulsar, and argue that irradiation in this "redback" binary is extreme yet stable, symmetric and not necessarily produced by an extended source. We also review the neutron star mass distribution in light of this and more recent discoveries. We compile a list of all (nine) systems with published evidence for super-massive neutron stars, with masses above 2 M$_\odot$. We find that four of them are compact binary millisecond pulsars (one black widow, two redbacks and one redback candidate). This shows that compact binary millisecond pulsars are key to constraining the maximum mass of a neutron star.


title: Detecting Underspecification with Local Ensembles

abstract: We present local ensembles, a method for detecting underspecification -- when many possible predictors are consistent with the training data and model class -- at test time in a pre-trained model. Our method uses local second-order information to approximate the variance of predictions across an ensemble of models from the same class. We compute this approximation by estimating the norm of the component of a test point's gradient that aligns with the low-curvature directions of the Hessian, and provide a tractable method for estimating this quantity. Experimentally, we show that our method is capable of detecting when a pre-trained model is underspecified on test data, with applications to out-of-distribution detection, detecting spurious correlates, and active learning.


title: Quantum coherence of spatial photonic qudits: experimental measurement and path-marker analysis

abstract: Discussions about quantum interference, indistinguishability and superpostion between quantum states goes back to the beginning of quantum mechanics, but the theoretical problem concerning quantitative measures for quantum coherence was only recently solved by Baumgratz et al. [Phys. Rev. Lett. 113 140401 (2014)]. Since then many works have explored one of the possible coherence measures, the l1 norm, which has not yet been experimentally obtained for spatial photonic states in high dimensions. In this article we study states prepared with photons crossing multiple slits and implement the theoretical proposal of T. Paul and T. Qureshi [ Phys. Rev. A 95 042110 (2017)] to determine experimentally the l1 norm of qutrit states. We analyze the method validity and present an alternative for states in which one of their assumptions does not apply. We also discuss the requirements necessary for using an interference pattern for measuring quantum coherence of qudits by treating the measure-operator that describe the detection optical configuration as path-markers, relating them with the quantum coherence determination.


title: Vertical position of the Sun with $\gamma$-rays

abstract: We illustrate a method for estimating the vertical position of the Sun above the Galactic plane by $\gamma$-ray observations. Photons of $\gamma$-ray wavelengths are particularly well suited for geometrical and kinematic studies of the Milky Way because they are not subject to extinction by interstellar gas or dust. Here, we use the radioactive decay line of $\mathrm{^{26}Al}$ at $1.809\,\mathrm{MeV}$ to perform maximum likelihood fits to data from the spectrometer SPI on board the INTEGRAL satellite as a proof-of-concept study. Our simple analytic 3D emissivity models are line-of-sight integrated, and varied as a function of the Sun's vertical position, given a known distance to the Galactic centre. We find a vertical position of the Sun of $z_0 = 15 \pm 17\,\mathrm{pc}$ above the Galactic plane, consistent with previous studies, finding $z_0$ in a range between $5$ and $29\,\mathrm{pc}$. Even though the sensitivity of current MeV instruments is several orders of magnitude below that of telescopes for other wavelengths, this result reveals once more the disregarded capability of soft $\gamma$-ray telescopes. We further investigate possible biases in estimating the vertical extent of $\gamma$-ray emission if the Sun's position is set incorrectly, and find that the larger the true extent, the less is it affected by the observer position. In the case of $\mathrm{^{26}Al}$ with an exponential scale height of $150,\mathrm{pc}$ ($700\,\mathrm{pc}$) in the inner (full) Galaxy, this may lead to misestimates of up to $25\,\%$.


title: Double zeta values and Picard-Fuchs equation

abstract: In this paper we will study the double zeta values $\zeta(k,m)$ using Picard-Fuchs equation. We will give a very efficient method to evaluate $\zeta(k,1)$ (resp. $\zeta(k,2)$) in terms of the products of zeta values $\zeta(2),\zeta(3),\cdots$ when $k$ is even (resp. odd), which admits immediate generalization to arbitrary double zeta values. Moreover, this method provides new insights into the nature of double zeta values, which further can be generalized to arbitrary multiple zeta values.


title: Hierarchical quantum master equation approach to current fluctuations in nonequilibrium charge transport through nanosystems

abstract: We present a hierarchical quantum master equation (HQME) approach, which allows the numerically exact evaluation of higher-order current cumulants in the framework of full counting statistics for nonequilibrium charge transport in nanosystems. The novel methodology is exemplarily applied to a model of vibrationally coupled electron transport in a molecular nanojunction. We investigate the influence of cotunneling on avalanche-like transport, in particular in the nonresonant transport regime, where we find that inelastic cotunneling acts as trigger process for resonant avalanches. In this regime, we also demonstrate that the correction to the elastic noise upon opening of the inelastic transport channel is strongly affected by the nonequilibrium excitation of the vibration as well as the polaron shift.


title: On Predictive Information in RNNs

abstract: Certain biological neurons demonstrate a remarkable capability to optimally compress the history of sensory inputs while being maximally informative about the future. In this work, we investigate if the same can be said of artificial neurons in recurrent neural networks (RNNs) trained with maximum likelihood. Empirically, we find that RNNs are suboptimal in the information plane. Instead of optimally compressing past information, they extract additional information that is not relevant for predicting the future. We show that constraining past information by injecting noise into the hidden state can improve RNNs in several ways: optimality in the predictive information plane, sample quality, heldout likelihood, and downstream classification performance.


title: Transparent Synchronous Dataflow

abstract: Dataflow programming is a popular and convenient programming paradigm in systems modelling, optimisation, and machine learning. It has a number of advantages, for instance the lacks of control flow allows computation to be carried out in parallel as well as in distributed machines. More recently the idea of dataflow graphs has also been brought into the design of various deep learning frameworks. They facilitate an easy and efficient implementation of automatic differentiation, which is the heart of modern deep learning paradigm. [abstract abridged]


title: Global Stellar Budget for LIGO Black Holes

abstract: The binary black hole mergers observed by LIGO-Virgo gravitational-wave detectors pose two major challenges: (i) how to produce these massive black holes from stellar processes; and (ii) how to bring them close enough to merge within the age of the universe? We derive a fundamental constraint relating the binary separation and the available stellar budget in the universe to produce the observed black hole mergers. We find that $\lesssim 14\%$ of the entire budget contributes to the observed merger rate of $(30 + 30)~\mathrm{M}_\odot$ black holes, if the separation is around the diameter of their progenitor stars. Furthermore, the upgraded LIGO detector and third-generation gravitational-wave detectors are not expected to find stellar-mass black hole mergers at high redshifts. From LIGO's strong constraints on the mergers of black holes in the pair-instability mass-gap ($60-120~\mathrm{M}_\odot$), we find that $\lesssim 0.8\%$ of all massive stars contribute to a remnant black hole population in this gap. Our derived separation$-$budget constraint provides a robust framework for testing the formation scenarios of stellar binary black holes.


title: Four-top as probe of light top-philic New Physics

abstract: We study the four-top final state at the LHC as a probe for New Physics (NP) effects due to new particles that couple predominantly to the top quark and whose masses are below the top-quark-pair production threshold. We consider simple NP models containing a new particle with either spin 0, spin 1, or spin 2, and find benchmark points compatible with current experimental results. We find that interference effects between NP and QED amplitudes can be large, pointing out the necessity of NLO contributions to be explicitly computed and taken into account when NP is present. We examine kinematic differences between these models and the Standard Model (SM) at the parton level and the reconstructed level. In the latter case, we focus on events selected requiring two same-sign leptons and multiple jets. We investigate how the different Lorentz structure of the light NP affects the kinematic hardness, the polarization, the spin correlations, and the angular distributions of the parton-level and/or final-state particles. We find that spin-2 light NP would be identified by harder kinematics than the SM. We also show that the angular separation between the same-sign leptons is a sensitive observable for spin-0 NP. The spin-0 and spin-2 NP cases would also yield a signal in $t\bar t \gamma\gamma$ with the invariant mass of the photons indicating the mass of the new particle. The spin-1 NP would be identified through an excess in four-top signal and slight or not modification in other observables, as for instance the lack of signal in $t\bar t \gamma\gamma$ due to the Landau-Yang theorem. We comment on the opportunities that would open from the kinematic reconstruction of some of the top quarks in the four-top state. Our results provide new handles to probe for light top-philic NP as part of the ongoing experimental program of searches for four-top production at the LHC Run 2 and beyond.


title: The matter beyond the ring: the recent evolution of SN 1987A observed by the Hubble Space Telescope

abstract: The nearby SN 1987A offers a spatially resolved view of the evolution of a young supernova remnant. Here we precent recent Hubble Space Telescope imaging observations of SN 1987A, which we use to study the evolution of the ejecta, the circumstellar equatorial ring (ER) and the increasing emission from material outside the ER. We find that the inner ejecta have been brightening at a gradually slower rate and that the western side has been brighter than the eastern side since ~7000 days. This is expected given that the X-rays from the ER are most likely powering the ejecta emission. At the same time the optical emission from the ER continues to fade linearly with time. The ER is expanding at 680\pm 50 km/s, which reflects the typical velocity of transmitted shocks in the dense hotspots. A dozen spots and a rim of diffuse H-alpha emission have appeared outside the ER since 9500 days. The new spots are more than an order of magnitude fainter than the spots in the ER and also fade faster. We show that the spots and diffuse emission outside the ER may be explained by fast ejecta interacting with high-latitude material that extends from the ER toward the outer rings. Further observations of this emission will make it possible to determine the detailed geometry of the high-latitude material and provide insight into the formation of the rings and the mass-loss history of the progenitor.


title: Diffusive external light-trap for solar cells

abstract: The ability to absorb light is indispensable for high efficient solar power generation. This places conflicting requirements on the structure of a solar cell: On one hand, it needs to have thick active layers to absorb more of the available sunlight while on the other it needs thinner ones for better charge transport. This dilemma stands in the way of any semiconductor from ever achieving its full potential as a solar cell material. Recently, external light-traps have emerged as a cost-effective solution for this dilemma by being able to decouple the optics from the electronic aspects of the power-generating process in the cell. In this paper, we study the effectiveness of external light-traps with diffusive inner reflecting walls. Results indicate that given the correct design, external light-traps may present a genuine opportunity for high-efficiency cost-effective solar power production.


title: Resonance energy transfer at percolation transition

abstract: We compute the resonance energy transfer (RET) in a system composed of two quantum emitters near a host dielectric matrix in which metallic inclusions are inserted until the medium undergoes a dielectric-metal transition at percolation. We show that there is no peak in the RET rate at percolation, in contrast to what happens with the spontaneous emission rate of an emitter near the same critical medium. This result suggests that RET does not strongly correlate with the local density of states.


title: Quantum Depinning of a Magnetic Skyrmion

abstract: We investigate the quantum depinning of a weakly driven skyrmion out of an impurity potential in a mesoscopic magnetic insulator. For small barrier height, the Magnus force dynamics dominates over the inertial one, and the problem is reduced to a massless charged particle in a strong magnetic field. The universal form of the WKB exponent, the rate of tunneling, and the crossover temperature between thermal and quantum tunneling is provided, independently of the detailed form of the pinning potential. The results are discussed in terms of macroscopic parameters of the insulator Cu2OSeO3 and various skyrmion radii. We demonstrate that small enough magnetic skyrmions, with a radius of ~ 10 lattice sites, consisting of some thousands of spins, can behave as quantum objects at low temperatures in the mK regime.


title: Memory Safety Preservation for WebAssembly

abstract: WebAssembly (Wasm) is a next-generation portable compilation target for deploying applications written in high-level languages on the web. In order to protect their memory from untrusted code, web browser engines confine the execution of compiled Wasm programs in a memory-safe sandbox. Unfortunately, classic memory-safety vulnerabilities (e.g., buffer overflows and use-after-free) can still corrupt the memory within the sandbox and allow Wasm code to mount severe attacks. To prevent these attacks, we study a class of secure compilers that eliminate (different kinds of) of memory safety violations. Following a rigorous approach, we discuss memory safety in terms of hypersafety properties, which let us identify suitable secure compilation criteria for memory-safety-preserving compilers. We conjecture that, barring some restrictions at module boundaries, the existing security mechanisms of Wasm may suffice to enforce memory-safety preservation, in the short term. In the long term, we observe that certain features proposed in the design of a memory-safe variant of Wasm could allow compilers to lift these restrictions and enforce relaxed forms of memory safety.


title: On Distributed Stochastic Gradient Algorithms for Global Optimization

abstract: The paper considers the problem of network-based computation of global minima in smooth nonconvex optimization problems. It is known that distributed gradient-descent-type algorithms can achieve convergence to the set of global minima by adding slowly decaying Gaussian noise in order escape local minima. However, the technical assumptions under which convergence is known to occur can be restrictive in practice. In particular, in known convergence results, the local objective functions possessed by agents are required to satisfy a highly restrictive bounded-gradient-dissimilarity condition. The paper demonstrates convergence to the set of global minima while relaxing this key assumption.


title: Collapsed Amortized Variational Inference for Switching Nonlinear Dynamical Systems

abstract: We propose an efficient inference method for switching nonlinear dynamical systems. The key idea is to learn an inference network which can be used as a proposal distribution for the continuous latent variables, while performing exact marginalization of the discrete latent variables. This allows us to use the reparameterization trick, and apply end-to-end training with stochastic gradient descent. We show that the proposed method can successfully segment time series data, including videos and 3D human pose, into meaningful ``regimes'' by using the piece-wise nonlinear dynamics.


title: GraphSAC: Detecting anomalies in large-scale graphs

abstract: A graph-based sampling and consensus (GraphSAC) approach is introduced to effectively detect anomalous nodes in large-scale graphs. Existing approaches rely on connectivity and attributes of all nodes to assign an anomaly score per node. However, nodal attributes and network links might be compromised by adversaries, rendering these holistic approaches vulnerable. Alleviating this limitation, GraphSAC randomly draws subsets of nodes, and relies on graph-aware criteria to judiciously filter out sets contaminated by anomalous nodes, before employing a semi-supervised learning (SSL) module to estimate nominal label distributions per node. These learned nominal distributions are minimally affected by the anomalous nodes, and hence can be directly adopted for anomaly detection. Rigorous analysis provides performance guarantees for GraphSAC, by bounding the required number of draws. The per-draw complexity grows linearly with the number of edges, which implies efficient SSL, while draws can be run in parallel, thereby ensuring scalability to large graphs. GraphSAC is tested under different anomaly generation models based on random walks, clustered anomalies, as well as contemporary adversarial attacks for graph data. Experiments with real-world graphs showcase the advantage of GraphSAC relative to state-of-the-art alternatives.


title: Edge Dithering for Robust Adaptive Graph Convolutional Networks

abstract: Graph convolutional networks (GCNs) are vulnerable to perturbations of the graph structure that are either random, or, adversarially designed. The perturbed links modify the graph neighborhoods, which critically affects the performance of GCNs in semi-supervised learning (SSL) tasks. Aiming at robustifying GCNs conditioned on the perturbed graph, the present paper generates multiple auxiliary graphs, each having its binary 0-1 edge weights flip values with probabilities designed to enhance robustness. The resultant edge-dithered auxiliary graphs are leveraged by an adaptive (A)GCN that performs SSL. Robustness is enabled through learnable graph-combining weights along with suitable regularizers. Relative to GCN, the novel AGCN achieves markedly improved performance in tests with noisy inputs, graph perturbations, and state-of-the-art adversarial attacks. Further experiments with protein interaction networks showcase the competitive performance of AGCN for SSL over multiple graphs.


title: Contextuality and the fundamental theorems of quantum mechanics

abstract: Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr and later realised more technically by Kochen and Specker. Isham and Butterfield put contextuality at the heart of their topos-based formalism and gave a reformulation of the Kochen-Specker theorem in the language of presheaves. Here, we broaden this perspective considerably (partly drawing on existing, but scattered results) and show that apart from the Kochen-Specker theorem, also Wigner's theorem, Gleason's theorem, and Bell's theorem relate fundamentally to contextuality. We provide reformulations of the theorems using the language of presheaves over contexts and give general versions valid for von Neumann algebras. This shows that a very substantial part of the structure of quantum theory is encoded by contextuality.


title: On speeding up factoring with quantum SAT solvers

abstract: There have been several efforts to apply quantum SAT solving methods to factor large integers. While these methods may provide insight into quantum SAT solving, to date they have not led to a convincing path to integer factorization that is competitive with the best known classical method, the Number Field Sieve. Many of the techniques tried involved directly encoding multiplication to SAT or an equivalent NP-hard problem and looking for satisfying assignments of the variables representing the prime factors. The main challenge in these cases is that, to compete with the Number Field Sieve, the quantum SAT solver would need to be superpolynomially faster than classical SAT solvers. In this paper the use of SAT solvers is restricted to a smaller task related to factoring: finding smooth numbers, which is an essential step of the Number Field Sieve. We present a SAT circuit that can be given to quantum SAT solvers such as annealers in order to perform this step of factoring. If quantum SAT solvers achieve any speedup over classical brute-force search, then our factoring algorithm is faster than the classical NFS.


title: Monodromy of the family of cubic surfaces branching over smooth cubic curves

abstract: Consider the family of smooth cubic surfaces which can be realized as threefold-branched covers of $\mathbb{P}^{2}$, with branch locus equal to a smooth cubic curve. This family is parametrized by the space $\mathcal{U}_{3}$ of smooth cubic curves in $\mathbb{P}^{2}$ and each surface is equipped with a $\mathbb{Z}/3\mathbb{Z}$ deck group action. We compute the image of the monodromy map $\rho$ induced by the action of $\pi_{1}\left(\mathcal{U}_{3}\right)$ on the $27$ lines contained on the cubic surfaces of this family. Due to a classical result, this image is contained in the Weyl group $W\left(E_{6}\right)$. Our main result is that $\rho$ is surjective onto the centralizer of the image a of a generator of the deck group. Our proof is mainly computational, and relies on the relation between the $9$ inflection points in a cubic curve and the $27$ lines contained in the cubic surface branching over it.


title: Federated Neuromorphic Learning of Spiking Neural Networks for Low-Power Edge Intelligence

abstract: Spiking Neural Networks (SNNs) offer a promising alternative to conventional Artificial Neural Networks (ANNs) for the implementation of on-device low-power online learning and inference. On-device training is, however, constrained by the limited amount of data available at each device. In this paper, we propose to mitigate this problem via cooperative training through Federated Learning (FL). To this end, we introduce an online FL-based learning rule for networked on-device SNNs, which we refer to as FL-SNN. FL-SNN leverages local feedback signals within each SNN, in lieu of backpropagation, and global feedback through communication via a base station. The scheme demonstrates significant advantages over separate training and features a flexible trade-off between communication load and accuracy via the selective exchange of synaptic weights.


title: Revisiting Effects of Nitrogen Incorporation and Graphitization on Conductivity of Ultra-nano-crystalline Diamond Films

abstract: Detailed structural and electrical properties of ultra-nano-crystalline diamond (UNCD) films grown in H$_\text{2}$/CH$_\text{4}$/N$_\text{2}$ plasma were systematically studied as a function of deposition temperature ($T_d$) and nitrogen content ($\%$ N$_2$) to thoroughly evaluate their effects on conductivity. $T_d$ was scanned from 1000 to 1300 K for N$_2$ fixed at 0, 5, 10 and 20 $\%$. It was found that even the films grown in the synthetic gas mixture with no nitrogen could be made as conductive as 1$-$10$^{-2}$ $\Omega$ cm with overall resistivity of all the films tuned over 4 orders of magnitude through varying growth parameters. On a set of 27 samples, Raman spectroscopy and scanning electron microscopy show a progressive and highly reproducible film material phase transformation, from ultra-nano-crystalline diamond to nano-crystalline graphite as deposition temperature increases. The rate of this transformation is heavily dependent on N$_2$ content. Addition of nitrogen greatly increases the amount of $sp^2$ bonded carbon in the films thus enhancing the physical connectivity in the GB network that have high electronic density of states. However, addition of nitrogen greatly slows down crystallization of $sp^2$ phase in the GBs. Therefore, proper balance between GB connectivity and crystallinity is the key in conductivity engineering of (N)UNCD.


title: No-signalling, Contextuality, and the Arrow of Time

abstract: Bell's seminal paper shows that some correlations in quantum theory are not reconcilable with hidden variables and the classical notion of locality. Yet, a weaker notion of locality, known as no-signalling, survives the no-go-result. Here, we study its restrictiveness by considering the full set of local quantum observables. This leads to a much larger set of no-signalling constraints than usually considered, which is enough to exclude PR-boxes and other types of super-quantum correlations. We emphasise the close connection with contextuality, in particular, we show how no-signalling arises naturally from context composition. Finally, we prove a one-to-one correspondence between quantum states and collections of (non-signalling) probability distributions over product contexts under an additional consistency condition between time arrows in subsystems.


title: A Single-MOSFET MAC for Confidence and Resolution (CORE) Driven Machine Learning Classification

abstract: Mixed-signal machine-learning classification has recently been demonstrated as an efficient alternative for classification with power expensive digital circuits. In this paper, a high-COnfidence high-REsolution (CORE) mixed-signal classifier is proposed for classifying high-dimensional input data into multi-class output space with less power and area than state-of-the-art classifiers. A high-resolution multiplication is facilitated within a single-MOSFET by feeding the features and feature weights into, respectively, the body and gate inputs. High-resolution classifier that considers the confidence of the individual predictors is designed at 45 nm technology node and operates at 100 MHz in subthreshold region. To evaluate the performance of the classifier, a reduced MNIST dataset is generated by downsampling the MNIST digit images from 28 $\times$ 28 features to 9 $\times$ 9 features. The system is simulated across a wide range of PVT variations, exhibiting nominal accuracy of 90%, energy consumption of 6.2 pJ per classification (over 45 times lower than state-of-the-art classifiers), area of 2,179 $\mu$$m^{2}$ (over 7.3 times lower than state-of-the-art classifiers), and a stable response under PVT variations.


title: Performance Evaluation of Advanced Features in CUDA Unified Memory

abstract: CUDA Unified Memory improves the GPU programmability and also enables GPU memory oversubscription. Recently, two advanced memory features, memory advises and asynchronous prefetch, have been introduced. In this work, we evaluate the new features on two platforms that feature different CPUs, GPUs, and interconnects. We derive a benchmark suite for the experiments and stress the memory system to evaluate both in-memory and oversubscription performance. The results show that memory advises on the Intel-Volta/Pascal-PCIe platform bring negligible improvement for in-memory executions. However, when GPU memory is oversubscribed by about 50%, using memory advises results in up to 25% performance improvement compared to the basic CUDA Unified Memory. In contrast, the Power9-Volta-NVLink platform can substantially benefit from memory advises, achieving up to 34% performance gain for in-memory executions. However, when GPU memory is oversubscribed on this platform, using memory advises increases GPU page faults and results in considerable performance loss. The CUDA prefetch also shows different performance impact on the two platforms. It improves performance by up to 50% on the Intel-Volta/Pascal-PCI-E platform but brings little benefit to the Power9-Volta-NVLink platform.


title: On the space-time expressivity of ResNets

abstract: Residual networks (ResNets) are a deep learning architecture that substantially improved the state of the art performance in certain supervised learning tasks. Since then, they have received continuously growing attention. ResNets have a recursive structure $x_{k+1} = x_k + R_k(x_k)$ where $R_k$ is a neural network called a residual block. This structure can be seen as the Euler discretisation of an associated ordinary differential equation (ODE) which is called a neural ODE. Recently, ResNets were proposed as the space-time approximation of ODEs which are not of this neural type. To elaborate this connection we show that by increasing the number of residual blocks as well as their expressivity the solution of an arbitrary ODE can be approximated in space and time simultaneously by deep ReLU ResNets. Further, we derive estimates on the complexity of the residual blocks required to obtain a prescribed accuracy under certain regularity assumptions.


title: Is graph-based feature selection of genes better than random?

abstract: Gene interaction graphs aim to capture various relationships between genes and represent decades of biology research. When trying to make predictions from genomic data, those graphs could be used to overcome the curse of dimensionality by making machine learning models sparser and more consistent with biological common knowledge. In this work, we focus on assessing whether those graphs capture dependencies seen in gene expression data better than random. We formulate a condition that graphs should satisfy to provide a good prior knowledge and propose to test it using a `Single Gene Inference' (SGI) task. We compare random graphs with seven major gene interaction graphs published by different research groups, aiming to measure the true benefit of using biologically relevant graphs in this context. Our analysis finds that dependencies can be captured almost as well at random which suggests that, in terms of gene expression levels, the relevant information about the state of the cell is spread across many genes.


title: Incoherence and fibering of many free-by-free groups

abstract: We show that free-by-free groups satisfying a homological criterion, which we call excessive homology, are incoherent. This class is large in nature, including many examples of hyperbolic and non-hyperbolic free-by-free groups. We apply this criterion to finite index subgroups of $F_2\rtimes F_n$ to show incoherence of all such groups, and to other similar classes of groups. Furthermore, we show that a large class of groups, including free-by-free, surface-by-surface, and finitely generated-by-RAAG, algebraically fiber if they have excessive homology.


title: Delay-optimal policies in partial fork-join systems with redundancy and random slowdowns

abstract: We consider a large distributed service system consisting of $n$ homogeneous servers with infinite capacity FIFO queues. Jobs arrive as a Poisson process of rate $\lambda n/k_n$ (for some positive constant $\lambda$ and integer $k_n$). Each incoming job consists of $k_n$ identical tasks that can be executed in parallel, and that can be encoded into at least $k_n$ "replicas" of the same size (by introducing redundancy) so that the job is considered to be completed when any $k_n$ replicas associated with it finish their service. Moreover, we assume that servers can experience random slowdowns in their processing rate so that the service time of a replica is the product of its size and a random slowdown. First, we assume that the server slowdowns are shifted exponential and independent of the replica sizes. In this setting we show that the delay of a typical job is asymptotically minimized (as $n\to\infty$) when the number of replicas per task is a constant that only depends on the arrival rate $\lambda$, and on the expected slowdown of servers. Second, we introduce a new model for the server slowdowns in which larger tasks experience less variable slowdowns than smaller tasks. In this setting we show that, under the class of policies where all replicas start their service at the same time, the delay of a typical job is asymptotically minimized (as $n\to\infty$) when the number of replicas per task is made to depend on the actual size of the tasks being replicated, with smaller tasks being replicated more than larger tasks.


title: Generating mechanical and optomechanical entanglement via pulsed interaction and measurement

abstract: Entanglement generation at a macroscopic scale offers an exciting avenue to develop new quantum technologies and study fundamental physics on a tabletop. Cavity quantum optomechanics provides an ideal platform to generate and exploit such phenomena owing to the precision of quantum optics combined with recent experimental advances in optomechanical devices. In this work, we propose schemes operating outside the resolved-sideband regime, to prepare and verify both optical-mechanical and mechanical-mechanical entanglement. Our schemes employ pulsed interactions with a duration much less than the mechanical period and, together with homodyne measurements, can both generate and characterize these types of entanglement. To improve the performance of our schemes, a precooling stage comprising prior pulses can be utilized to increase the amount of entanglement prepared, and local optical squeezers may be used to provide resilience against open-system dynamics. The entanglement generated by our schemes is quantified using the logarithmic negativity and is analysed with respect to the strength of the pulsed optomechanical interactions for realistic experimental scenarios including mechanical decoherence and optical loss. Two separate schemes for mechanical entanglement generation are introduced and compared: one scheme based on an optical interferometric design, and the other comprising sequential optomechanical interactions. The pulsed nature of our protocols provides more direct access to these quantum correlations in the time domain, with applications including quantum metrology and tests of quantum decoherence. By considering a parameter set based on recent experiments, the feasibility to generate significant entanglement with our schemes, even with large optical losses, is demonstrated.


title: Lattice gauge theory for Haldane conjecture and central-branch Wilson fermion

abstract: We develop the $(1+1)$d lattice $U(1)$ gauge theory in order to define $2$-flavor massless Schwinger model, and discuss its connection with Haldane conjecture. We propose to use the central-branch Wilson fermion, which is defined by relating the mass, $m$, and the Wilson parameter, $r$, as $m+2r=0$. This setup gives two massless Dirac fermions in the continuum limit, and it turns out that no fine-tuning of $m$ is required because the extra $U(1)$ symmetry at the central branch, $U(1)_{\bar{V}}$, prohibits the additive mass renormalization. Moreover, we show that Dirac determinant is positive semi-definite and this formulation is free from the sign problem, so the Monte Carlo simulation of the path integral is possible. By identifying the symmetry at low energy, we show that this lattice model has the mixed 't Hooft anomaly between $U(1)_{\bar{V}}$, lattice translation, and lattice rotation. We discuss its relation to the anomaly of half-integer anti-ferromagnetic spin chains, so our lattice gauge theory is suitable for numerical simulation of Haldane conjecture. Furthermore, it gives new and strict understanding on parity-broken phase (Aoki phase) of $2$d Wilson fermion.


title: Global stability of rigid-body-motion fluid-structure-interaction problems

abstract: A rigorous derivation and validation for linear fluid-structure-interaction (FSI) equations for a rigid-body-motion problem is performed in an Eulerian framework. We show that the added-stiffness terms arising in the formulation of Fanion et al. (2000) vanish at the FSI interface in a first-order approximation. Several numerical tests with rigid-body motion are performed to show the validity of the derived formulation by comparing the time evolution between the linear and non-linear equations when the base flow is perturbed by identical small-amplitude perturbations. In all cases both the growth rate and angular frequency of the instability matches within $0.1\%$ accuracy. The derived formulation is used to investigate the phenomenon of symmetry breaking for a rotating cylinder with an attached splitter-plate. The results show that the onset of symmetry breaking can be explained by the existence of a zero-frequency linearly unstable mode of the coupled fluid-structure-interaction system. Finally, the structural sensitivity of the least stable eigenvalue is studied for an oscillating cylinder, which is found to change significantly when the fluid and structural frequencies are close to resonance.


title: Representing and Reasoning about Dynamic Code

abstract: Dynamic code, i.e., code that is created or modified at runtime, is ubiquitous in today's world. The behavior of dynamic code can depend on the logic of the dynamic code generator in subtle and non-obvious ways, with significant security implications, e.g., JIT compiler bugs can lead to exploitable vulnerabilities in the resulting JIT-compiled code. Existing approaches to program analysis do not provide adequate support for reasoning about such behavioral relationships. This paper takes a first step in addressing this problem by describing a program representation and a new notion of dependency that allows us to reason about dependency and information flow relationships between the dynamic code generator and the generated dynamic code. Experimental results show that analyses based on these concepts are able to capture properties of dynamic code that cannot be identified using traditional program analyses.


title: Higgs boson mass measurement using $H\to ZZ\to 4\ell$ decays at CMS

abstract: A summary of the methods used to make a precision measurement of the Higgs boson mass is presented. The final mass value for the Higgs boson is measured to be $m_{\rm H} = 125.26 \pm 0.21\ \mathrm{GeV}$. This analysis considers the $\mathrm{H} \rightarrow \mathrm{Z}\mathrm{Z} \rightarrow 4\ell$ channel ($\ell = e, \mu$), using proton-proton collision data collected in 2016 corresponding to an integrated luminosity of $35.9\ \mathrm{fb}^{-1}$ at $\sqrt{s} = 13$ TeV by the CMS experiment at the LHC. A mass constraint is imposed on the invariant mass of the two leptons coming from the mostly on-shell Z boson to refit the lepton momenta and, hence, improve the measurement of the Higgs boson mass, per-event. The mass of the Higgs boson is extracted using a three-dimensional likelihood fit, which uses three observables per-event: (1) the refitted four-lepton invariant mass ($m'_{4\ell}$), (2) the refitted four-lepton mass uncertainty (${\mathcal D}'_{\rm mass}$), and (3) a matrix element-based kinematic discriminant (${\mathcal D}^{\rm kin}_{\rm bkg}$).


title: The (3$\times$3)-SiC-($\bar{1}\bar{1}\bar{1}$) Reconstruction: Atomic Structure of the Graphene Precursor Surface from a Large-Scale First-Principles Structure Search

abstract: Silicon carbide (SiC) is an excellent substrate for growth and manipulation of large scale, high quality epitaxial graphene. On the carbon face (the ($\bar{1}\bar{1}\bar{1}$) or $(000\bar{1}$) face, depending on the polytype), the onset of graphene growth is intertwined with the formation of several competing surface phases, among them a (3$\times$3) precursor phase suspected to hinder the onset of controlled, near-equilibrium growth of graphene. Despite more than two decades of research, the precise atomic structure of this phase is still unclear. We present a new model of the (3$\times$3)-SiC-($\bar{1}\bar{1}\bar{1}$) reconstruction, derived from an {\it ab initio} random structure search based on density functional theory including van der Waals effects. The structure consists of a simple pattern of five Si adatoms in bridging and on-top positions on an underlying, C-terminated substrate layer, leaving one C atom per (3$\times$3) unit cell formally unsaturated. Simulated scanning tunneling microscopy (STM) images are in excellent agreement with previously reported experimental STM images.


title: Action rigidity for free products of hyperbolic manifold groups

abstract: Two groups have a common model geometry if they act properly and cocompactly by isometries on the same proper geodesic metric space. The Milnor-Schwarz lemma implies that groups with a common model geometry are quasi-isometric; however, the converse is false in general. We consider free products of uniform lattices in isometry groups of rank-1 symmetric spaces and prove, within each quasi-isometry class, residually finite groups that have a common model geometry are abstractly commensurable. Our result gives the first examples of hyperbolic groups that are quasi-isometric but do not virtually have a common model geometry. Indeed, each quasi-isometry class contains infinitely many abstract commensurability classes. We prove that two free products of closed hyperbolic surface groups have a common model geometry if and only if the groups are isomorphic. This result combined with a commensurability classification of Whyte yields the first examples of torsion-free abstractly commensurable hyperbolic groups that do not have a common model geometry. An important component of the proof is a generalization of Leighton's graph covering theorem. The main theorem depends on residual finiteness, and we show that finite extensions of uniform lattices in rank-1 symmetric spaces that are not residually finite would give counterexamples.


title: Spherical Supervarieties

abstract: We give a definition of the notion of spherical varieties in the world of complex supervarieties with actions of algebraic supergroups. A characterization of affine spherical supervarieties is given which generalizes a characterization in the classical case. We also explain some general properties of the monoid of highest weights. Several examples are given that are interesting in their own right and highlight differences with the classical case, including the regular representation, symmetric supervarieties, and actions of split supergroups.


title: Attractive Interaction between Fully Charged Lipid Bilayers in a Strongly-Confined Geometry

abstract: We investigate the interaction between highly charged lipid bilayers in the presence of monovalent counterions. Neutron and X-ray reflectivity experiments show that the water layer between like-charged bilayers is thinner than for zwitterionic lipids, demonstrating the existence of counterintuitive electrostatic attractive interaction between bilayers. Such attraction can be explained by taking into account the correlations between counterions within the Strong Coupling limit, which falls beyond the classical Poisson-Boltzmann theory of electrostatics. Our results show the limit of the Strong Coupling continuous theory in a highly confined geometry and are in agreement with a decrease in the water dielectric constant due to a surface charge-induced orientation of water molecules.


title: Rheology of Active Polymer-like T. Tubifex Worms

abstract: Of all complex fluids, it is probably the rheology of polymers we understand best. In-depth insight into the entanglement and reptation of individual polymers allows us to predict for instance the shear-thinning rheology and the behaviour in virtually any flow situation of practical importance. The situation is markedly different when we move from passive to active polymers where the coupling of filament activity, hydrodynamic interactions, and conformations open the way to a plethora of novel structural and dynamical features. Here we experimentally study the rheology of long, slender and entangled living worms (Tubifex tubifex) and propose this system as a new type of active polymer. Its level of activity can be controlled by changing the temperature or by adding small amounts of alcohol to make the worms temporarily inactive. We find that (i) shear thinning is reduced by activity, (ii) the characteristic shear rate for the onset of shear-thinning is given by the time scale of the activity, and (iii) the low shear viscosity as a function of concentration shows a very different scaling from that of regular polymers. Our study paves the way towards a new research field of `living polymers'.


title: Overview to the Hard X-ray Modulation Telescope (Insight-HXMT) Satellite

abstract: As China's first X-ray astronomical satellite, the Hard X-ray Modulation Telescope (HXMT), which was dubbed as Insight-HXMT after the launch on June 15, 2017, is a wide-band (1-250 keV) slat-collimator-based X-ray astronomy satellite with the capability of all-sky monitoring in 0.2-3 MeV. It was designed to perform pointing, scanning and gamma-ray burst (GRB) observations and, based on the Direct Demodulation Method (DDM), the image of the scanned sky region can be reconstructed. Here we give an overview of the mission and its progresses, including payload, core sciences, ground calibration/facility, ground segment, data archive, software, in-orbit performance, calibration, background model, observations and some preliminary results.


title: Demonstration of a superconducting nanowire microwave switch

abstract: The functionality of a nanowire integrated into a superconducting transmission line acting as a single pole single throw switch is demonstrated. The switch has an instantaneous bandwidth from 2 to 8 GHz with more than 10 dB of isolation between the open and closed states. The switch consumes no power in the closed state and $\approx 15~\rm{nW}$ in the open state. The rise and fall response time between open and closed states is approximately $370~\rm{ps}$.


title: IPO: Interior-point Policy Optimization under Constraints

abstract: In this paper, we study reinforcement learning (RL) algorithms to solve real-world decision problems with the objective of maximizing the long-term reward as well as satisfying cumulative constraints. We propose a novel first-order policy optimization method, Interior-point Policy Optimization (IPO), which augments the objective with logarithmic barrier functions, inspired by the interior-point method. Our proposed method is easy to implement with performance guarantees and can handle general types of cumulative multiconstraint settings. We conduct extensive evaluations to compare our approach with state-of-the-art baselines. Our algorithm outperforms the baseline algorithms, in terms of reward maximization and constraint satisfaction.


title: Volterra Neural Networks (VNNs)

abstract: The importance of inference in Machine Learning (ML) has led to an explosive number of different proposals in ML, and particularly in Deep Learning. In an attempt to reduce the complexity of Convolutional Neural Networks, we propose a Volterra filter-inspired Network architecture. This architecture introduces controlled non-linearities in the form of interactions between the delayed input samples of data. We propose a cascaded implementation of Volterra Filtering so as to significantly reduce the number of parameters required to carry out the same classification task as that of a conventional Neural Network. We demonstrate an efficient parallel implementation of this Volterra Neural Network (VNN), along with its remarkable performance while retaining a relatively simpler and potentially more tractable structure. Furthermore, we show a rather sophisticated adaptation of this network to nonlinearly fuse the RGB (spatial) information and the Optical Flow (temporal) information of a video sequence for action recognition. The proposed approach is evaluated on UCF-101 and HMDB-51 datasets for action recognition, and is shown to outperform state of the art CNN approaches.


title: Spectral Perturbations of the Line Graph Laplacian

abstract: The graph Laplacian is an important tool in Graph Signal Processing (GSP) as its eigenvalue decomposition acts as an analogue to the Fourier transform and is known as the Graph Fourier Transform (GFT). The line graph has a GFT that is a direct analogue to the Discrete Cosine Transform Type II (DCT-II). Leveraging Fourier transform properties, one can then define processing operations on this graph structure that is loosely analogous to processing operations encountered in Digital Signal Processing (DSP) theory. This raises the question of whether well defined DSP-like operations can be derived from the GFT for more complex graph structures. One potential approach to this problem is to perturb simple graph structures and study the perturbation's impact on the graph Laplacian. This paper explores this idea by examining the eigenvalue decomposition of the Laplacian of undirected line graphs that undergo a single edge weight perturbation. This single perturbation can perturb either an existing edge weight or create new edge between distant unconnected vertices. The eigenvalue bounds are expressed in closed form and agree with simulated examples. The theory can be extended to include multiple perturbations such that the GFT can be defined for a more general graph structure.


title: Geometry of Graph Partitions via Optimal Transport

abstract: We define a distance metric between partitions of a graph using machinery from optimal transport. Our metric is built from a linear assignment problem that matches partition components, with assignment cost proportional to transport distance over graph edges. We show that our distance can be computed using a single linear program without precomputing pairwise assignment costs and derive several theoretical properties of the metric. Finally, we provide experiments demonstrating these properties empirically, specifically focusing on its value for new problems in ensemble-based analysis of political districting plans.


title: Two-index model for characterizing site-specific night sky brightness patterns

abstract: Determining the all-sky radiance distribution produced by artificial light sources is a computationally demanding task that generally requires an intensive calculation load. We develop in this work an analytic formulation that provides the all-sky radiance distribution produced by an artificial light source as an explicit and analytic function of the observation direction, depending on two single parameters that characterize the overall effects of the atmosphere. One of these parameters is related to the effective attenuation of the light beams, whereas the other accounts for the overall asymmetry of the combined scattering processes in molecules and aerosols. By means of this formulation a wide range of all-sky radiance distributions can be efficiently and accurately calculated in a short time. This substantial reduction in the number of required parameters, in comparison with other currently used approaches, is expected to facilitate the development of new applications in the field of light pollution research.


title: You May Not Need Order in Time Series Forecasting

abstract: Time series forecasting with limited data is a challenging yet critical task. While transformers have achieved outstanding performances in time series forecasting, they often require many training samples due to the large number of trainable parameters. In this paper, we propose a training technique for transformers that prepares the training windows through random sampling. As input time steps need not be consecutive, the number of distinct samples increases from linearly to combinatorially many. By breaking the temporal order, this technique also helps transformers to capture dependencies among time steps in finer granularity. We achieve competitive results compared to the state-of-the-art on real-world datasets.


title: On Automating Conversations

abstract: From 2016 to 2018, we developed and deployed Chorus, a system that blends real-time human computation with artificial intelligence (AI) and has real-world, open conversations with users. We took a top-down approach that started with a working crowd-powered system, Chorus, and then created a framework, Evorus, that enables Chorus to automate itself over time. Over our two-year deployment, more than 420 users talked with Chorus, having over 2,200 conversation sessions. This line of work demonstrated how a crowd-powered conversational assistant can be automated over time, and more importantly, how such a system can be deployed to talk with real users to help them with their everyday tasks. This position paper discusses two sets of challenges that we explored during the development and deployment of Chorus and Evorus: the challenges that come from being an "agent" and those that arise from the subset of conversations that are more difficult to automate.


title: Satellite orbital drag during magnetic storms

abstract: We investigate satellite orbital drag effects at low-Earth orbit (LEO) associated with thermosphere heating during magnetic storms caused by coronal mass ejections. CHAllenge Mini-satellite Payload (CHAMP) and Gravity Recovery And Climate Experiment (GRACE) neutral density data are used to compute orbital drag. Storm-to-quiet density comparisons are performed with background densities obtained by the Jacchia-Bowman 2008 (JB2008) empirical model. Our storms are grouped in different categories regarding their intensities as indicated by minimum values of the SYM-H index. We then perform superposed epoch analyses with storm main phase onset as zero epoch time. In general, we find that orbital drag effects are larger for CHAMP (lower altitudes) in comparison to GRACE (higher altitudes). Results show that storm-time drag effects manifest first at high latitudes, but for extreme storms particularly observed by GRACE stronger orbital drag effects occur during early main phase at low/equatorial latitudes, probably due to heating propagation from high latitudes. We find that storm-time orbital decay along the satellites' path generally increases with storm intensity, being stronger and faster for the most extreme events. For these events, orbital drag effects decrease faster probably due to elevated cooling effects caused by nitric oxide, which introduce modeled density uncertainties during storm recovery phase. Errors associated with total orbit decay introduced by JB2008 are generally the largest for the strongest storms, and increase during storm times, particular during recovery phases. We discuss the implication of these uncertainties for the prediction of collision between space objects at LEO during magnetic storms.


title: Infinite stable Boltzmann planar maps are subdiffusive

abstract: The infinite discrete stable Boltzmann maps are generalisations of the well-known Uniform Infinite Planar Quadrangulation in the case where large degree faces are allowed. We show that the simple random walk on these random lattices is always subdiffusive with exponent less than 1/3. Our method is based on stationarity and geometric estimates obtained via the peeling process which are of own interest.


title: Compressible Navier-Stokes system on a moving domain in the $L_p-L_q$ framework

abstract: We prove the local well-posedness for the barotropic compressible Navier-Stokes system on a moving domain, a motion of which is determined by a given vector field ${\bf V}$, in a maximal $L_p-L_q$ regularity framework. Under additional smallness assumptions on the data we show that our solution exists globally in time and satisfies a decay estimate. In particular, for the global well-posedness we don't require exponential decay or smallness of ${\bf V}$ in $L_p(L_q)$. However, we require exponential decay and smallness of its derivatives.


title: How to lose at Monte Carlo: a simple dynamical system whose typical statistical behavior is non computable

abstract: We consider the simplest non-linear discrete dynamical systems, given by the logistic maps $f_{a}(x)=ax(1-x)$ of the interval $[0,1]$. We show that there exist real parameters $a\in (0,4)$ for which almost every orbit of $f_a$ has the same statistical distribution in $[0,1]$, but this limiting distribution is not Turing computable. In particular, the Monte Carlo method cannot be applied to study these dynamical systems.


title: Non-Gaussianity of Stochastic Gradient Noise

abstract: What enables Stochastic Gradient Descent (SGD) to achieve better generalization than Gradient Descent (GD) in Neural Network training? This question has attracted much attention. In this paper, we study the distribution of the Stochastic Gradient Noise (SGN) vectors during the training. We observe that for batch sizes 256 and above, the distribution is best described as Gaussian at-least in the early phases of training. This holds across data-sets, architectures, and other choices.


title: Molecular chains under tension: Thermal and mechanical activation of statistically interacting extension and contraction particles

abstract: This work introduces a methodology for the statistical mechanical analysis of polymeric chains under tension controlled by optical or magnetic tweezers at thermal equilibrium with an embedding fluid medium. The response of single bonds between monomers or of entire groups of monomers to tension is governed by the activation of statistically interacting particles representing quanta of extension or contraction. This method of analysis is capable of describing thermal unbending of the freely jointed or wormlike chain kind, linear or nonlinear contour elasticity, and structural transformations including effects of cooperativity. The versatility of this approach is demonstrated in an application to double-stranded DNA undergoing torsionally unconstrained stretching across three regimes of mechanical response including an overstretching transition. The three-regime force-extension characteristic, derived from a single free-energy expression, accurately matches empirical evidence.


title: Hypothesis Testing in High-Dimensional Instrumental Variables Regression with an Application to Genomics Data

abstract: Gene expression and phenotype association can be affected by potential unmeasured confounders from multiple sources, leading to biased estimates of the associations. Since genetic variants largely explain gene expression variations, they can be used as instruments in studying the association between gene expressions and phenotype in the framework of high dimensional instrumental variable (IV) regression. However, because the dimensions of both genetic variants and gene expressions are often larger than the sample size, statistical inferences such as hypothesis testing for such high dimensional IV models are not trivial and have not been investigated in literature. The problem is more challenging since the instrumental variables (e.g., genetic variants) have to be selected among a large set of genetic variants. This paper considers the problem of hypothesis testing for sparse IV regression models and presents methods for testing single regression coefficient and multiple testing of multiple coefficients, where the test statistic for each single coefficient is constructed based on an inverse regression. A multiple testing procedure is developed for selecting variables and is shown to control the false discovery rate. Simulations are conducted to evaluate the performance of our proposed methods. These methods are illustrated by an analysis of a yeast dataset in order to identify genes that are associated with growth in the presence of hydrogen peroxide.


title: Monochromatic X-ray source based on scattering from a magnetic nanoundulator

abstract: We present a novel design for an ultra-compact, passive light source capable of generating ultraviolet and X-ray radiation, based on the interaction of free electrons with the magnetic near-field of a ferromagnet. Our design is motivated by recent advances in the fabrication of nanostructures, which allow the confinement of large magnetic fields at the surface of ferromagnetic nanogratings. Using ab initio simulations and a complementary analytical theory, we show that highly directional, tunable, monochromatic radiation at high frequencies could be produced from relatively low-energy electrons within a tabletop design. The output frequency is tunable in the extreme ultraviolet to hard X-ray range via electron kinetic energies from 1 keV-5 MeV and nanograting periods from 1 {\mu}m-5 nm. Our design reduces the scale, cost, and complexity of current free-electron-driven light schemes, bypassing the need for lengthy acceleration stages in conventional synchrotrons and free-electron lasers and driving lasers in other compact designs. Our design could help realize the next generation of tabletop or on-chip X-ray sources.


title: Blind interactive learning of modulation schemes: Multi-agent cooperation without co-design

abstract: We examine the problem of learning to cooperate in the context of wireless communication. In our setting, two agents must learn modulation schemes that enable them to communicate across a power-constrained additive white Gaussian noise channel. We investigate whether learning is possible under different levels of information sharing between distributed agents which are not necessarily co-designed. We employ the "Echo" protocol, a "blind" interactive learning protocol where an agent hears, understands, and repeats (echoes) back the message received from another agent, simultaneously training itself to communicate. To capture the idea of cooperation between "not necessarily co-designed" agents we use two different populations of function approximators - neural networks and polynomials. We also include interactions between learning agents and non-learning agents with fixed modulation protocols such as QPSK and 16QAM. We verify the universality of the Echo learning approach, showing it succeeds independent of the inner workings of the agents. In addition to matching the communication expectations of others, we show that two learning agents can collaboratively invent a successful communication approach from independent random initializations. We complement our simulations with an implementation of the Echo protocol in software-defined radios. To explore the continuum of co-design, we study how learning is impacted by different levels of information sharing between agents, including sharing training symbols, losses, and full gradients. We find that co-design (increased information sharing) accelerates learning. Learning higher order modulation schemes is a more difficult task, and the beneficial effect of co-design becomes more pronounced as the task becomes harder.


title: X-Ray Transform in Asymptotically Conic Spaces

abstract: In this article, we study the properties of the geodesic X-ray transform for asymptotically Euclidean or conic Riemannian metrics and show injectivity under non-trapping and no conjugate point assumptions. We also define a notion of lens data for such metrics and study the associated inverse problem.


title: An Analog of the Weyl Law for the Kohn Laplacian on Spheres

abstract: We present an explicit formula for the leading coefficient in the asymptotic expansion of the eigenvalue counting function of the Kohn Laplacian on the unit sphere $\mathbb{S}^{2n-1}$.


title: Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

abstract: Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum programming language QPL. We construct a sound categorical model for the language and by doing so we provide the first detailed semantic treatment of user-defined inductive datatypes in quantum programming. We also show our denotational interpretation is invariant with respect to big-step reduction, thereby establishing another novel result for quantum programming. Compared to classical programming, this property is considerably more difficult to prove and we demonstrate its usefulness by showing how it immediately implies computational adequacy at all types. To further cement our results, our semantics is entirely based on a physically natural model of von Neumann algebras, which are mathematical structures used by physicists to study quantum mechanics.


title: Magnetic fields and cosmic rays in M 31. I. Spectral indices, scale lengths, Faraday rotation, and magnetic field pattern

abstract: Three deep radio continuum surveys of the Andromeda galaxy, M 31, were performed at 11.3, 6.2, and 3.6 cm wavelength with the Effelsberg 100-m telescope. At all wavelengths, the total and polarized emission is concentrated in a ring-like structure between about 7 kpc and 13 kpc radius from the center. Propagation of cosmic rays away from star-forming regions is evident. The ring of synchrotron emission is wider than the ring of the thermal radio emission, and the radial scale length of synchrotron emission is larger than that of thermal emission. The polarized intensity from the ring varies double-periodically with azimuthal angle, indicating that the ordered magnetic field is almost oriented along the ring, with a pitch angle of -14{\deg} $\pm$ 2{\deg}. Faraday rotation measures (RM) show a large-scale sinusoidal variation with azimuthal angle, signature of an axisymmetric spiral (ASS) regular magnetic field, plus a superimposed double-periodic variation of a bisymmetric spiral (BSS) field with about 6x smaller amplitude. The dominating ASS field of M 31 is the most compelling case so far of a field generated by the action of a mean-field dynamo. The RM amplitude between 6.2 cm and 3.6 cm is about 50% larger than between 11.3 cm and 6.2 cm, indicating that Faraday depolarization at 11.3 cm is stronger than at 6.2 cm and 3.6 cm. The phase of the sinusoidal RM variation of -7{\deg} $\pm$ 1{\deg} is interpreted as the average spiral pitch angle of the regular field. The average pitch angle of the ordered field, as derived from the intrinsic orientation of the polarized emission (corrected for Faraday rotation), is significantly smaller: -26{\deg} $\pm$ 3{\deg}. The difference in pitch angle of the regular and the ordered fields indicates that the ordered field contains a significant fraction of an anisotropic turbulent field that has a different pattern than the regular (ASS + BSS) field.


title: Curvature Measures of Pseudo-Riemannian Manifolds

abstract: The Weyl principle is extended from the Riemannian to the pseudo-Riemannian setting, and subsequently to manifolds equipped with generic symmetric $(0,2)$-tensors. More precisely, we construct a family of generalized curvature measures attached to such manifolds, extending the Riemannian Lipschitz-Killing curvature measures introduced by Federer. We then show that they behave naturally under isometric immersions, in particular they do not depend on the ambient signature. Consequently, we extend Theorema Egregium to surfaces equipped with a generic metric of changing signature, and more generally, establish the existence as distributions of intrinsically defined Lipschitz-Killing curvatures for such manifolds of arbitrary dimension. This includes in particular the scalar curvature and the Chern-Gauss-Bonnet integrand. Finally, we deduce a Chern-Gauss-Bonnet theorem for pseudo-Riemannian manifolds with generic boundary.


title: Real-Time Multi-Diver Tracking and Re-identification for Underwater Human-Robot Collaboration

abstract: Autonomous underwater robots working with teams of human divers may need to distinguish between different divers, e.g. to recognize a lead diver or to follow a specific team member. This paper describes a technique that enables autonomous underwater robots to track divers in real time as well as to reidentify them. The approach is an extension of Simple Online Realtime Tracking (SORT) with an appearance metric (deep SORT). Initial diver detection is performed with a custom CNN designed for realtime diver detection, and appearance features are subsequently extracted for each detected diver. Next, realtime tracking-by-detection is performed with an extension of the deep SORT algorithm. We evaluate this technique on a series of videos of divers performing human-robot collaborative tasks and show that our methods result in more divers being accurately identified during tracking. We also discuss the practical considerations of applying multi-person tracking to on-board autonomous robot operations, and we consider how failure cases can be addressed during on-board tracking.


title: Probing Primordial Stochastic Gravitational Wave Background with Multi-band Astrophysical Foreground Cleaning

abstract: The primordial stochastic gravitational wave background (SGWB) carries first-hand messages of early-universe physics, possibly including effects from inflation, preheating, cosmic strings, electroweak symmetry breaking, and etc. However, the astrophysical foreground from compact binaries may mask the SGWB, introducing difficulties in detecting the signal and measuring it accurately. In this paper, we propose a foreground cleaning method taking advantage of gravitational wave observations in other frequency bands. We apply this method to probing the SGWB with space-borne gravitational wave detectors, such as the laser interferometer space antenna (LISA). We find that the spectral density of the LISA-band astrophysical foreground from compact binaries (black holes and neutron stars) can be predicted with percent-level accuracy assuming 10-years' observations of third-generation GW detectors, e.g., cosmic explorer. While this multi-band method does not apply to binary white dwarfs (BWDs) which usually merger before entering the frequency band of ground-based detectors, we limit our foreground cleaning to frequency higher than $\sim5$ mHz, where all galactic BWDs can be individually resolved by LISA and the shape of the spectral density of the foreground from extragalactic BWDs can be reconstructed and/or modeled with certain uncertainties. After the foreground cleaning, LISA's sensitivity to the primordial SGWB will be substantially improved for either two LISA constellations where SGWB can be measured by cross correlating their outputs or only one constellation with three spacecrafts where SGWB can be measured by contrasting the responses of a signal channel and a null channel.