title: fairseq: A Fast, Extensible Toolkit for Sequence Modeling

abstract: fairseq is an open-source sequence modeling toolkit that allows researchers and developers to train custom models for translation, summarization, language modeling, and other text generation tasks. The toolkit is based on PyTorch and supports distributed training across multiple GPUs and machines. We also support fast mixed-precision training and inference on modern GPUs. A demo video can be found at https://www.youtube.com/watch?v=OtgDdWtHvto


title: Anomalous relaxation and the high-temperature structure factor of XXZ spin chains

abstract: We compute the spin structure factor of XXZ spin chains in the Heisenberg and gapped (Ising) regimes in the high-temperature limit for nonzero magnetization, within the framework of generalized hydrodynamics including diffusive corrections. The structure factor shows a hierarchy of timescales in the gapped phase, owing to $s$-spin magnon bound states (`strings') of various sizes. Although short strings move ballistically, long strings move primarily diffusively as a result of their collisions with short strings. The interplay between these effects gives rise to anomalous power-law decay of the spin structure factor, with continuously varying exponents, at any fixed separation in the late-time limit. We elucidate the crossover to diffusion (in the gapped phase) and to superdiffusion (at the isotropic point) in the half-filling limit. We verify our results via extensive matrix product operator calculations.

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


title: Bayesian inference for nanopore data analysis

abstract: Nanopore sensors detect the substructure of individual molecules from modulations in an ion current as molecules pass through them. In this work, we present the classification of features in the substructure as a case study to illustrate the power of Bayesian inference when analysing nanopore data. A brief introductory section provides an overview of the core concepts, followed by a detailed description of the analysis procedure to facilitate other researchers to add Bayesian inference to their toolbox. Our hybrid approach of a classical peak-finding algorithm and Bayesian model comparison allows the probabilistic classification of features as "0" or "1" bits by calculating relative evidences for two competing models. We correctly classify on average ~ 70% of bits for individual events and use the probabilistic nature of the approach to calculate a cumulative estimate with an accuracy of > 94%. The technique presented here is readily extensible to models of the translocation process which can take into account arbitrary molecular designs, our approach may therefore be used to analyse a wide range of features observed in nanopore experiments.


title: A metal-poor ultra compact dwarf galaxy at a kiloparsec distance from the low-mass elliptical galaxy FCC47

abstract: Photometric surveys of galaxy clusters have revealed a large number of ultra compact dwarfs (UCDs) around predominantly massive elliptical galaxies. Their origin is still debated as some UCDs are considered to be the remnant nuclei of stripped dwarf galaxies while others seem to mark the high-mass end of the star cluster population. We aim to characterise the properties of a UCD found at very close projected distance (1.1 kpc) from the centre of the low-mass (M~10^10 M_sun) early-type galaxy FCC47. This is a serendipitous discovery from MUSE adaptive optics science verification data. We explore the potential origin of this UCD as either a massive cluster or the remnant nucleus of a dissolved galaxy. We use archival Hubble Space Telescope data to study the photometric and structural properties of FCC47-UCD1. In the MUSE data, the UCD is unresolved, but we use its spectrum to determine the radial velocity and metallicity. FCC47-UCD1's surface brightness is best described by a single King profile with low concentration C = R_t/R_c ~ 10 and large effective radius (r_e = 24pc). Its integrated magnitude and a blue colour (G = -10.6 mag, g-z = 1.46 mag) combined with with a metallicity of [M/H] = -1.12+-0.10 dex and an age > 8 Gyr obtained from the full fitting of the MUSE spectrum suggests a stellar population mass of M_star = 4.87x10^6 M_sun. The low S/N of the MUSE spectrum prevents detailed stellar population analysis. Due to the limited spectral resolution of MUSE, we can only give an upper limit on the velocity dispersion (sig < 17km/s), and consequently on its dynamical mass (M_dyn < 1.3x10^7 M_sun). The origin of the UCD cannot be constrained with certainty. The low metallicity, old age and magnitude are consistent with a star cluster origin, whereas the extended size is consistent with an origin as the stripped nucleus of a dwarf galaxy with a initial stellar mass of a few 10^8 M_sun.


title: On one loop corrections in higher spin gravity

abstract: We propose an approach to compute one-loop corrections to the four-point amplitude in the higher spin gravities that are holographically dual to free $O(N)$, $U(N)$ and $USp(N)$ vector models. We compute the double-particle cut of one-loop diagrams by expressing them in terms of tree level four-point amplitudes. We then discuss how the remaining contributions to the complete one-loop diagram can be computed. With certain assumptions we find nontrivial evidence for the shift in the identification of the bulk coupling constant and $1/N$ in accordance with the previously established result for the vacuum energy.


title: The AKLT model on a hexagonal chain is gapped

abstract: In 1987, Affleck, Kennedy, Lieb, and Tasaki introduced the AKLT spin chain and proved that it has a spectral gap above the ground state. Their concurrent conjecture that the two-dimensional AKLT model on the hexagonal lattice is also gapped remains open. In this paper, we show that the AKLT Hamiltonian restricted to an arbitrarily long chain of hexagons is gapped. The argument is based on explicitly verifying a finite-size criterion which is tailor-made for the system at hand. We also discuss generalizations of the method to the full hexagonal lattice.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Isolated photon and photon+jet production at NNLO QCD accuracy

abstract: We describe the calculation of the next-to-next-to-leading order (NNLO) QCD corrections to isolated photon and photon-plus-jet production, and discuss how the experimental hadron-level photon definition and isolation criteria can be approximated in the theoretical parton-level calculation. The NNLO corrections lead to a considerable reduction of the theory uncertainty on the predictions, typically to less than five per cent, and enable an improved description of experimental measurements from ATLAS and CMS.


title: Symplectomorphisms with positive metric entropy

abstract: We obtain a dichotomy for $C^1$-generic symplectomorphisms: either all the Lyapunov exponents of almost every point vanish, or the map is partially hyperbolic and ergodic with respect to volume. This completes a program first put forth by Ricardo Ma\~n\'e. A main ingredient in our proof is a generalization to partially hyperbolic invariant sets of the main result in [Dolgopyat-Wilkinson] that stable accessibility is $C^1$ dense among partially hyperbolic diffeomorphisms.


title: Effects of the QCD Equation of State and Lepton Asymmetry on Primordial Gravitational Waves

abstract: Using the quantum chromodynamics (QCD) equation of state (EoS) from lattice calculations we investigate effects from QCD on primordial gravitational waves (PGWs) produced during the inflationary era. We also consider different cases for vanishing and nonvanishing lepton asymmetry where the latter one is constrained by cosmic microwave background experiments. Our results show that there is up to a few percent deviation in the predicted gravitational wave background in the frequency range around the QCD transition ($10^{-10}- 10^{-7}$~Hz) for different lattice QCD EoSs, or at larger frequencies for nonvanishing lepton asymmetry using perturbative QCD. Future gravitational wave experiments with high enough sensitivity in the measurement of the amplitude of PGWs like SKA, EPTA, DECIGO and LISA can probe these differences and can shed light on the real nature of the cosmic QCD transition and the existence of a nonvanishing lepton asymmetry in the early universe.


title: Dynamically Optimal Treatment Allocation using Reinforcement Learning

abstract: Dynamic decisions are pivotal to economic policy making. We show how existing evidence from randomized control trials can be utilized to guide personalized decisions in challenging dynamic environments with constraints such as limited budget or queues. Recent developments in reinforcement learning make it possible to solve many realistically complex settings for the first time. We allow for restricted policy functions and prove that their regret decays at rate $n^{-1/2}$, the same as in the static case. We illustrate our methods with an application to job training. The approach scales to a wide range of important problems faced by policy makers.


title: Non-compact quantum spin chains as integrable stochastic particle processes

abstract: In this paper we discuss a family of models of particle and energy diffusion on a one-dimensional lattice, related to those studied previously in [Sasamoto-Wadati], [Barraquand-Corwin] and [Povolotsky] in the context of KPZ universality class. We show that they may be mapped onto an integrable $\mathfrak{sl}(2)$ Heisenberg spin chain whose Hamiltonian density in the bulk has been already studied in the AdS/CFT and the integrable system literature. Using the quantum inverse scattering method, we study various new aspects, in particular we identify boundary terms, modeling reservoirs in non-equilibrium statistical mechanics models, for which the spin chain (and thus also the stochastic process) continues to be integrable. We also show how the construction of a "dual model" of probability theory is possible and useful. The fluctuating hydrodynamics of our stochastic model corresponds to the semiclassical evolution of a string that derives from correlation functions of local gauge invariant operators of $\mathcal{N}=4$ super Yang-Mills theory (SYM), in imaginary-time. As any stochastic system, it has a supersymmetric completion that encodes for the thermal equilibrium theorems: we show that in this case it is equivalent to the $\mathfrak{sl}(2|1)$ superstring that has been derived directly from $\mathcal{N}=4$ SYM.

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


title: Bayesian Optimization for Policy Search via Online-Offline Experimentation

abstract: Online field experiments are the gold-standard way of evaluating changes to real-world interactive machine learning systems. Yet our ability to explore complex, multi-dimensional policy spaces - such as those found in recommendation and ranking problems - is often constrained by the limited number of experiments that can be run simultaneously. To alleviate these constraints, we augment online experiments with an offline simulator and apply multi-task Bayesian optimization to tune live machine learning systems. We describe practical issues that arise in these types of applications, including biases that arise from using a simulator and assumptions for the multi-task kernel. We measure empirical learning curves which show substantial gains from including data from biased offline experiments, and show how these learning curves are consistent with theoretical results for multi-task Gaussian process generalization. We find that improved kernel inference is a significant driver of multi-task generalization. Finally, we show several examples of Bayesian optimization efficiently tuning a live machine learning system by combining offline and online experiments.


title: Structure of online dating markets in US cities

abstract: We study the structure of heterosexual dating markets in the United States through an analysis of the interactions of several million users of a large online dating web site, applying recently developed network analysis methods to the pattern of messages exchanged among users. Our analysis shows that the strongest driver of romantic interaction at the national level is simple geographic proximity, but at the local level other demographic factors come into play. We find that dating markets in each city are partitioned into submarkets along lines of age and ethnicity. Sex ratio varies widely between submarkets, with younger submarkets having more men and fewer women than older ones. There is also a noticeable tendency for minorities, especially women, to be younger than the average in older submarkets, and our analysis reveals how this kind of racial stratification arises through the messaging decisions of both men and women. Our study illustrates how network techniques applied to online interactions can reveal the aggregate effects of individual behavior on social structure.


title: The syzygy order of big polygon spaces

abstract: Big polygon spaces are compact orientable manifolds with a torus action whose equivariant cohomology can be torsion-free or reflexive without being free as a module over $H^*(BT)$. We determine the exact syzygy order of the equivariant cohomology of a big polygon space in terms of the length vector defining it. The proof uses a refined characterization of syzygies in terms of certain linearly independent elements in $H^2(BT)$ adapted to the isotropy groups occurring in a given $T$-space.


title: Grounds for trust: Essential Epistemic Opacity and Computational Reliabilism

abstract: Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations \cite{Parker2009, Morrison2009}, the nature of computer data \cite{Barberousse2013, Humphreys2013}, and the explanatory power of computer simulations \cite{Krohs2008, Duran2017}. The aim of this article is to show that these authors are right in assuming that the results of computer simulations are to be trusted when computer simulations are reliable processes. After a short reconstruction of the problem of \textit{epistemic opacity}, the article elaborates extensively on \textit{computational reliabilism}, a specified form of process reliabilism with computer simulations located at the center. The article ends with a discussion of four sources for computational reliabilism, namely, verification and validation, robustness analysis for computer simulations, a history of (un)successful implementations, and the role of expert knowledge in simulations.


title: Computer simulations in science and engineering - Concepts - Practices - Perspectives

abstract: The ubiquitous presence of computer simulations in all kinds of research areas evidence their role as the new driving force for the advancement of science and engineering research. Nothing seems to escape the image of success that computer simulations project onto the research community and the general public. One simple way to illustrate this consists of asking ourselves how would contemporary science and engineering look like without the use of computer simulations. The answer would certainly diverge from the current image we have of scientific and engineering research. As much as computer simulations are successful, they are also methods that fail in their purpose of inquiring about the world; and as much as researchers make use of them, computer simulations raise important questions that are at the heart of contemporary science and engineering practice. In this respect, computer simulations make a fantastic subject of research for the natural sciences, the social sciences, engineering and, as in our case, also for philosophy. Studies on computer simulations touch upon many different facets of scientific and engineering research and evoke philosophically inclined questions of interpretation with close ties to problems in experimental settings and engineering applications (...)


title: Varying the explanatory span: scientific explanation for computer simulations

abstract: This article aims to develop a new account of scientific explanation for computer simulations. To this end, two questions are answered: what is the explanatory relation for computer simulations? and what kind of epistemic gain should be expected? For several reasons tailored to the benefits and needs of computer simulations, these questions are better answered within the unificationist model of scientific explanation. Unlike previous efforts in the literature, I submit that the explanatory relation is between the simulation model and the results of the simulation. I also argue that our epistemic gain goes beyond the unificationist account, encompassing a practical dimension as well.


title: Random walks and forbidden minors II: A $\text{poly}(d\varepsilon^{-1})$-query tester for minor-closed properties of bounded-degree graphs

abstract: Let $G$ be a graph with $n$ vertices and maximum degree $d$. Fix some minor-closed property $\mathcal{P}$ (such as planarity). We say that $G$ is $\varepsilon$-far from $\mathcal{P}$ if one has to remove $\varepsilon dn$ edges to make it have $\mathcal{P}$. The problem of property testing $\mathcal{P}$ was introduced in the seminal work of Benjamini-Schramm-Shapira (STOC 2008) that gave a tester with query complexity triply exponential in $\varepsilon^{-1}$. Levi-Ron (TALG 2015) have given the best tester to date, with a quasipolynomial (in $\varepsilon^{-1}$) query complexity. It is an open problem to get property testers whose query complexity is $\text{poly}(d\varepsilon^{-1})$, even for planarity. In this paper, we resolve this open question. For any minor-closed property, we give a tester with query complexity $d\cdot \text{poly}(\varepsilon^{-1})$. The previous line of work on (independent of $n$, two-sided) testers is primarily combinatorial. Our work, on the other hand, employs techniques from spectral graph theory. This paper is a continuation of recent work of the authors (FOCS 2018) analyzing random walk algorithms that find forbidden minors.


title: Simulated neutrino signals of low and intermediate energy neutrinos on Cd detectors

abstract: Neutrino-nucleus reactions cross sections, obtained for neutrino energies in the range $\varepsilon_{\nu}\leq 100-120$ MeV (low- and intermediate-energy range), which refer to promising neutrino detection targets of current terrestrial neutrino experiments, are presented and discussed. At first, we evaluated original cross sections for elastic scattering of neutrinos produced from various astrophysical and laboratory neutrino sources with the most abundant Cd isotopes $^{112}$Cd, $^{114}$Cd and $^{116}$Cd. These isotopes constitute the main material of the COBRA detector aiming to search for neutrinoless double beta decay events and neutrino-nucleus scattering events at the Gran Sasso laboratory (LNGS). The coherent $\nu$-nucleus reaction channel addressed with emphasis here, dominates the neutral current $\nu$-nucleus scattering, events of which have only recently been observed for a first time in the COHERENT experiment at Oak Ridge. Subsequently, simulated $\nu$-signals expected to be recorded at Cd detectors are derived through the application of modern simulation techniques and employment of reliable neutrino distributions of astrophysical $\nu$-sources (as the solar, supernova and Earth neutrinos), as well as laboratory neutrinos (like the reactor neutrinos, the neutrinos produced from pion-muon decay at rest and the $\beta$-beam neutrinos produced from the acceleration of radioactive isotopes at storage rings as e.g. at CERN).


title: The abundance and physical properties of O VII and O VIII X-ray absorption systems in the EAGLE simulations

abstract: We use the EAGLE cosmological, hydrodynamical simulations to predict the column density and equivalent width distributions of intergalactic O VII ($E=574$ eV) and O VIII ($E=654$ eV) absorbers at low redshift. These two ions are predicted to account for 40% of the gas-phase oxygen, which implies that they are key tracers of cosmic metals. We find that their column density distributions evolve little at observable column densities from redshift 1 to 0, and that they are sensitive to AGN feedback, which strongly reduces the number of strong (column density $N \gtrsim 10^{16} \, \mathrm{cm}^{-2})$ absorbers. The distributions have a break at $N \sim 10^{16} \, \mathrm{cm}^{-2}$, corresponding to overdensities of $\sim 10^{2}$, likely caused by the transition from sheet/filament to halo gas. Absorption systems with $N \gtrsim 10^{16} \mathrm{cm}^{-2}$ are dominated by collisionally ionized O VII and O VIII, while the ionization state of oxygen at lower column densities is also influenced by photoionization. At these high column densities, O VII and O VIII arising in the same structures probe systematically different gas temperatures, meaning their line ratio does not translate into a simple estimate of temperature. While O VII and O VIII column densities and covering fractions correlate poorly with the H I column density at $N_{\mathrm{H \, I}} \gtrsim 10^{15} \, \mathrm{cm}^{-2}$, O VII and O VIII column densities are higher in this regime than at the more common, lower H I column densities. The column densities of O VI and especially Ne VIII, which have strong absorption lines in the UV, are good predictors of the strengths of O VII and O VIII absorption and can hence aid in the detection of the X-ray lines.


title: Tree Boosted Varying Coefficient Models

abstract: This paper investigates the integration of gradient boosted decision trees and varying coefficient models. We introduce the tree boosted varying coefficient framework which justifies the implementation of decision tree boosting as the nonparametric effect modifiers in varying coefficient models. This framework requires no structural assumptions in the space containing the varying coefficient covariates, is easy to implement, and keeps a balance between model complexity and interpretability. To provide statistical guarantees, we prove the asymptotic consistency of the proposed method under the regression settings with $L^2$ loss. We further conduct a thorough empirical study to show that the proposed method is capable of providing accurate predictions as well as intelligible visual explanations.


title: Optimal Obfuscation Mechanisms via Machine Learning

abstract: We consider the problem of obfuscating sensitive information while preserving utility, and we propose a machine learning approach inspired by the generative adversarial networks paradigm. The idea is to set up two nets: the generator, that tries to produce an optimal obfuscation mechanism to protect the data, and the classifier, that tries to de-obfuscate the data. By letting the two nets compete against each other, the mechanism improves its degree of protection, until an equilibrium is reached. We apply our method to the case of location privacy, and we perform experiments on synthetic data and on real data from the Gowalla dataset. We evaluate the privacy of the mechanism not only by its capacity to defeat the classifier, but also in terms of the Bayes error, which represents the strongest possible adversary. We compare the privacy-utility tradeoff of our method to that of the planar Laplace mechanism used in geo-indistinguishability, showing favorable results. Like the Laplace mechanism, our system can be deployed at the user end for protecting his location.


title: The gravitational redshift monitored with RadioAstron from near Earth up to 350,000 km

abstract: We report on our efforts to test the Einstein Equivalence Principle by measuring the gravitational redshift with the VLBI spacecraft RadioAstron, in an eccentric orbit around Earth with geocentric distances as small as $\sim$ 7,000 km and up to 350,000 km. The spacecraft and its ground stations are each equipped with stable hydrogen maser frequency standards, and measurements of the redshifted downlink carrier frequencies were obtained at both 8.4 and 15 GHz between 2012 and 2017. Over the course of the $\sim$ 9 d orbit, the gravitational redshift between the spacecraft and the ground stations varies between $6.8 \times 10^{-10}$ and $0.6 \times 10^{-10}$. Since the clock offset between the masers is difficult to estimate independently of the gravitational redshift, only the variation of the gravitational redshift is considered for this analysis. We obtain a preliminary estimate of the fractional deviation of the gravitational redshift from prediction of $\epsilon = -0.016 \pm 0.003_{\rm stat} \pm 0.030_{\rm syst}$ with the systematic uncertainty likely being dominated by unmodelled effects including the error in accounting for the non-relativistic Doppler shift. This result is consistent with zero within the uncertainties. For the first time, the gravitational redshift has been probed over such large distances in the vicinity of Earth. About three orders of magnitude more accurate estimates may be possible with RadioAstron using existing data from dedicated interleaved observations combining uplink and downlink modes of operation.


title: Approximation of one-dimensional relativistic point interactions by regular potentials revised

abstract: We show that the one-dimensional Dirac operator with quite general point interaction may be approximated in the norm resolvent sense by the Dirac operator with a scaled regular potential of the form $1/\varepsilon~h(x/\varepsilon)\otimes B$, where $B$ is a suitable $2\times 2$ matrix. Moreover, we prove that the limit does not depend on the particular choice of $h$ as long as it integrates to a constant value.


title: Advanced Aspects of the Galactic Habitability

abstract: Context. Astrobiological evolution of the Milky Way (or the shape of its "astrobiological landscape") has emerged as one of the key research topics in recent years. In order to build precise, quantitative models of the Galactic habitability, we need to account for two opposing tendencies of life and intelligence in the most general context: the tendency to spread to all available ecological niches (conventionally dubbed "colonization") and the tendency to succumb to various types of existential catastrophes ("catastrophism"). These evolutionary tendencies have become objects of study in fields such as ecology, macroevolution, risk analysis, and futures studies, while a serious astrobiological treatment has been lacking so far. Aims. Our aim is to numerically investigate the dynamics of opposed processes of expansion (panspermia, colonization) and extinction (catastrophic mechanisms) of life in the Galaxy. Methods. We employ a new type of numerical simulation based on 1D probabilistic cellular automaton with very high temporal resolution, in order to study astrobiological dynamics. Results. While the largest part of the examined parameter space shows very low habitability values, as expected, the remaining part has some observationally appealing features that imply, among other things, a reduction in the amount of fine-tuning necessary for resolving the Fermi paradox. Conclusions. Advanced aspects of Galactic habitability are amenable to precision studies using massive parallel computer simulations. There are regions of parameter space corresponding to a quasi-stationary state satisfying observable constraints and possessing viable SETI targets.


title: Extreme hydrodynamic losses of Earth-like atmospheres in the habitable zones of very active stars

abstract: Aims. In this letter, we calculate for the first time the full transonic hydrodynamic escape of an Earth-like atmosphere. We consider the case of an Earth-mass planet with an atmospheric composition identical to that of the current Earth orbiting at 1 AU around a young and very active solar mass star. Methods. To model the upper atmosphere, we used the Kompot Code, which is a first-principles model that calculates the physical structures of the upper atmospheres of planets, taking into account hydrodynamics and the main chemical and thermal processes taking place in the upper atmosphere of a planet. This model enabled us to calculate the 1D vertical structure of the atmosphere using as input the high-energy spectrum of a young and active Sun. Results. The atmosphere has the form of a transonic hydrodynamic Parker wind, which has an outflow velocity at the upper boundary of our computational domain that exceeds the escape velocity. The outflowing gas is dominated by atomic nitrogen and oxygen and their ion equivalents and has a maximum ionization fraction of 20%. The mass outflow rate is found to be 1.8x10^9 g s^-1, which would erode the modern Earth's atmosphere in less than 0.1 Myr. Conclusions. This extreme mass loss rate suggests that an Earth-like atmosphere cannot form when the planet is orbiting within the habitable zone of a very active star. Instead, such an atmosphere can only form after the activity of the star has decreased to a much lower level. This happened in the early atmosphere of the Earth, which was likely dominated by other gases such as CO2. Since the time it takes for the activity of a star to decay is highly dependent on its mass, this is important for understanding possible formation timescales for planets orbiting low-mass stars.


title: Unified formalism for entropy productions and fluctuation relations

abstract: Stochastic entropy production, which quantifies the difference between the probabilities of trajectories of a stochastic dynamics and its time reversals, has a central role in nonequilibrium thermodynamics. In the theory of probability, the change in the statistical properties of observables can be represented by a change in the probability measure. We consider operators on the space of probability measure that induce changes in the statistical properties of a process, and formulate entropy productions in terms of these change-of-probability-measure (CPM) operators. This mathematical underpinning of the origin of entropy productions allows us to achieve an organization of various forms of fluctuation relations: All entropy productions have a non-negative mean value, admit the integral fluctuation theorem, and satisfy a rather general fluctuation relation. Other results such as the transient fluctuation theorem and detailed fluctuation theorems then are derived from the general fluctuation relation with more constraints on the operator. We use a discrete-time, discrete-state-space Markov process to draw the contradistinction among three reversals of a process: time reversal, protocol reversal and the dual process. The properties of their corresponding CPM operators are examined, and the domains of validity of various fluctuation relations for entropy productions in physics and chemistry are revealed. We also show that our CPM operator formalism can help us rather easily extend other fluctuations relations for excess work and heat, discuss the martingale properties of entropy productions, and derive the stochastic integral formulas for entropy productions in constant-noise diffusion process with Girsanov theorem. Our formalism provides a general and concise way to study the properties of entropy-related quantities in stochastic thermodynamics and information theory.


title: Luminosity Ratio between [O IV] 25.89 um Line and Nuclear Continuum 12 um as Diagnostic for "Buried" AGN

abstract: We propose new diagnostics that utilize the [O IV] 25.89 $\mu$m and nuclear (subarcsecond scale) 12 $\mu$m luminosity ratio for identifying whether an AGN is deeply `buried' in their surrounding material. Utilizing a sample of 16 absorbed AGNs at redshifts lower than 0.03 in the Swift/BAT catalog observed with Suzaku, we find that AGNs with small scattering fractions ($<$0.5%) tend to show weaker [O IV]-to-12 $\mu$m luminosity ratios than the average of Seyfert 2 galaxies. This suggests that this ratio is a good indicator for identifying buried AGNs. Then, we apply this criterion to 23 local ultra/luminous infrared galaxies (U/LIRGs) in various merger stages hosting AGNs. We find that AGNs in most of mid- to late-stage mergers are buried, while those in earlier stage ones (including non-merger) are not. This result suggests that the fraction of buried AGNs in U/LIRGs increases as the galaxy-galaxy interaction becomes more significant.


title: CG X-1: an eclipsing Wolf-Rayet ULX in the Circinus galaxy

abstract: We investigated the time-variability and spectral properties of the eclipsing X-ray source Circinus Galaxy X-1 (GG X-1), using Chandra, XMM-Newton and ROSAT. We phase-connected the lightcurves observed over 20 years, and obtained a best-fitting period $P = (25,970.0 \pm 0.1)$ s $\approx$7.2 hr, and a period derivative $\dot{P}/P = ( 10.2\pm4.6) \times 10^{-7}$ yr$^{-1}$. The X-ray lightcurve shows asymmetric eclipses, with sharp ingresses and slow, irregular egresses. The eclipse profile and duration vary substantially from cycle to cycle. We show that the X-ray spectra are consistent with a power-law-like component, absorbed by neutral and ionized Compton-thin material, and by a Compton-thick, partial-covering medium, responsible for the irregular dips. The high X-ray/optical flux ratio rules out the possibility that CG X-1 is a foreground Cataclysmic Variable; in agreement with previous studies, we conclude that it is the first example of a compact ultraluminous X-ray source fed by a Wolf-Rayet star or stripped Helium star. Its unocculted luminosity varies between $\approx$4 $\times 10^{39}$ erg s$^{-1}$ and $\approx$3 $\times 10^{40}$ erg s$^{-1}$. Both the donor star and the super-Eddington compact object drive powerful outflows: we suggest that the occulting clouds are produced in the wind-wind collision region and in the bow shock in front of the compact object. Among the rare sample of Wolf-Rayet X-ray binaries, CG X-1 is an exceptional target for studies of super-critical accretion and close binary evolution; it is also a likely progenitor of gravitational wave events.


title: Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning

abstract: Machine learning (ML) has progressed rapidly during the past decade and the major factor that drives such development is the unprecedented large-scale data. As data generation is a continuous process, this leads to ML model owners updating their models frequently with newly-collected data in an online learning scenario. In consequence, if an ML model is queried with the same set of data samples at two different points in time, it will provide different results. In this paper, we investigate whether the change in the output of a black-box ML model before and after being updated can leak information of the dataset used to perform the update, namely the updating set. This constitutes a new attack surface against black-box ML models and such information leakage may compromise the intellectual property and data privacy of the ML model owner. We propose four attacks following an encoder-decoder formulation, which allows inferring diverse information of the updating set. Our new attacks are facilitated by state-of-the-art deep learning techniques. In particular, we propose a hybrid generative model (CBM-GAN) that is based on generative adversarial networks (GANs) but includes a reconstructive loss that allows reconstructing accurate samples. Our experiments show that the proposed attacks achieve strong performance.


title: Efficient and Safe Exploration in Deterministic Markov Decision Processes with Unknown Transition Models

abstract: We propose a safe exploration algorithm for deterministic Markov Decision Processes with unknown transition models. Our algorithm guarantees safety by leveraging Lipschitz-continuity to ensure that no unsafe states are visited during exploration. Unlike many other existing techniques, the provided safety guarantee is deterministic. Our algorithm is optimized to reduce the number of actions needed for exploring the safe space. We demonstrate the performance of our algorithm in comparison with baseline methods in simulation on navigation tasks.


title: Hardy fields, the intermediate value property, and $\omega$-freeness

abstract: We discuss the conjecture that every maximal Hardy field has the Intermediate Value Property for differential polynomials, and its equivalence to the statement that all maximal Hardy field are elementarily equivalent to the differential field of transseries. As a modest but essential step towards establishing the conjecture we show that every maximal Hardy field is $\omega$-free.


title: Multimodal Sparse Classifier for Adolescent Brain Age Prediction

abstract: The study of healthy brain development helps to better understand the brain transformation and brain connectivity patterns which happen during childhood to adulthood. This study presents a sparse machine learning solution across whole-brain functional connectivity (FC) measures of three sets of data, derived from resting state functional magnetic resonance imaging (rs-fMRI) and task fMRI data, including a working memory n-back task (nb-fMRI) and an emotion identification task (em-fMRI). These multi-modal image data are collected on a sample of adolescents from the Philadelphia Neurodevelopmental Cohort (PNC) for the prediction of brain ages. Due to extremely large variable-to-instance ratio of PNC data, a high dimensional matrix with several irrelevant and highly correlated features is generated and hence a pattern learning approach is necessary to extract significant features. We propose a sparse learner based on the residual errors along the estimation of an inverse problem for the extreme learning machine (ELM) neural network. The purpose of the approach is to overcome the overlearning problem through pruning of several redundant features and their corresponding output weights. The proposed multimodal sparse ELM classifier based on residual errors (RES-ELM) is highly competitive in terms of the classification accuracy compared to its counterparts such as conventional ELM, and sparse Bayesian learning ELM.


title: Fourier spectra for nonuniform phase-shifting algorithms based on principal component analysis

abstract: We develop an error-free, nonuniform phase-stepping algorithm (nPSA) based on principal component analysis (PCA). PCA-based algorithms typically give phase-demodulation errors when applied to nonuniform phase-shifted interferograms. We present a straightforward way to correct those PCA phase-demodulation errors. We give mathematical formulas to fully analyze PCA-based nPSA (PCA-nPSA). These formulas give a) the PCA-nPSA frequency transfer function (FTF), b) its corrected Lissajous figure, c) the corrected PCA-nPSA formula, d) its harmonic robustness, and e) its signal-to-noise-ratio (SNR). We show that the PCA-nPSA can be seen as a linear quadrature filter, and as consequence, one can find its FTF. Using the FTF, we show why plain PCA often fails to demodulate nonuniform phase-shifted fringes. Previous works on PCA-nPSA (without FTF), give specific numerical/experimental fringe data to "visually demonstrate" that their new nPSA works better than competitors. This often leads to biased/favorable fringe pattern selections which "visually demonstrate" the superior performance of their new nPSA. This biasing is herein totally avoided because we provide figures-of-merit formulas based on linear systems and stochastic process theories. However, and for illustrative purposes only, we provide specific fringe data phase-demodulation, including comprehensive analysis and comparisons.


title: Introduction to UniversalQCompiler

abstract: We introduce an open source software package UniversalQCompiler written in Mathematica that allows the decomposition of arbitrary quantum operations into a sequence of single-qubit rotations (with arbitrary rotation angles) and controlled-NOT (C-NOT) gates. Together with the existing package QI, this allows quantum information protocols to be analysed and then compiled to quantum circuits. Our decompositions are based on Phys. Rev. A 93, 032318 (2016), and hence, for generic operations, they are near optimal in terms of the number of gates required. UniversalQCompiler allows the compilation of any isometry (in particular, it can be used for unitaries and state preparation), quantum channel, positive-operator valued measure (POVM) or quantum instrument, although the run time becomes prohibitive for large numbers of qubits. The resulting circuits can be displayed graphically within Mathematica or exported to LaTeX. We also provide functionality to translate the circuits to OpenQASM, the quantum assembly language used, for instance, by the IBM Q Experience.


title: Observation of plasmonic exceptional points

abstract: Non-Hermitian singularities known as exceptional-points (EPs) have been shown to exhibit increased sensitivities but the observation of EPs has so far been limited to wavelength scaled systems subject to diffraction limit. We propose a novel approach to EPs and report their first observation in plasmonics at room temperature. The plasmonic EPs are based on the hybridization of detuned resonances in multilayered plasmonic crystals to reach a critical complex coupling rate between nanoantennas arrays, and, resulting in the simultaneous coalescence of the resonances and loss rates. Because plasmons shrink the wavelength of light to make it compatible with biological relevant substances, enhanced sensing of anti-Immunoglobulin G, the most common antibody found in blood circulation, is observed. Our work opens the way to novel class of nanoscale devices, sensors, and imagers based on topological polaritonic effects.


title: Astro2020 Science White Paper: Construction of an L* Galaxy: the Transformative Power of Wide Fields for Revealing the Past, Present and Future of the Great Andromeda System

abstract: The Great Andromeda Galaxy (M31) is the nexus of the near-far galaxy evolution connection and a principal data point for near-field cosmology. Due to its proximity (780 kpc), M31 can be resolved into individual stars like the Milky Way (MW). Unlike the MW, we have the advantage of a global view of M31, enabling M31 to be observed with techniques that also apply to more distant galaxies. Moreover, recent evidence suggests that M31 may have survived a major merger within the last several Gyr, shaping the morphology of its stellar halo and triggering a starburst, while leaving the stellar disk largely intact. The MW and M31 thus provide complementary opportunities for in-depth studies of the disks, halos, and satellites of L* galaxies. Our understanding of the M31 system will be transformed in the 2020s if they include wide field facilities for both photometry (HST-like sensitivity and resolution) and spectroscopy (10-m class telescope, >1 sq. deg. field, highly multiplexed, R~ 3000 to 6000). We focus here on the power of these facilities to constrain the past, present, and future merger history of M31, via chemo-dynamical analyses and star formation histories of phase-mixed stars accreted at early times, as well as stars in surviving tidal debris features, M31's extended disk, and intact satellite galaxies that will eventually be tidally incorporated into the halo. This will yield an unprecedented view of the hierarchical formation of the M31 system and the subhalos that built it into the L* galaxy we observe today.


title: Computation of non-Gaussianity in loop quantum cosmology

abstract: We summarize our investigations of the second-order perturbations in loop quantum cosmology (LQC). We shall discuss, primarily, two aspects. Firstly, whether the second-order contributions arising from the cosmic bounce, occurring at Planck scale, could be large enough to break the validity of perturbation theory. Secondly, the implications of the upper bounds on primordial non-Gaussianity, arrived at by the Planck collaboration, on the LQC phenomenology.


title: BIRADS Features-Oriented Semi-supervised Deep Learning for Breast Ultrasound Computer-Aided Diagnosis

abstract: Breast ultrasound (US) is an effective imaging modality for breast cancer detection and diagnosis. US computer-aided diagnosis (CAD) systems have been developed for decades and have employed either conventional hand-crafted features or modern automatic deep-learned features, the former relying on clinical experience and the latter demanding large datasets. In this paper, we have developed a novel BIRADS-SDL network that integrates clinically-approved breast lesion characteristics (BIRADS features) into semi-supervised deep learning (SDL) to achieve accurate diagnoses with a small training dataset. Breast US images are converted to BIRADS-oriented feature maps (BFMs) using a distance-transformation coupled with a Gaussian filter. Then, the converted BFMs are used as the input of an SDL network, which performs unsupervised stacked convolutional auto-encoder (SCAE) image reconstruction guided by lesion classification. We trained the BIRADS-SDL network with an alternative learning strategy by balancing reconstruction error and classification label prediction error. We compared the performance of the BIRADS-SDL network with conventional SCAE and SDL methods that use the original images as inputs, as well as with an SCAE that use BFMs as inputs. Experimental results on two breast US datasets show that BIRADS-SDL ranked the best among the four networks, with classification accuracy around 92.00% and 83.90% on two datasets. These findings indicate that BIRADS-SDL could be promising for effective breast US lesion CAD using small datasets.


title: From Cracked Polytopes to Fano Threefolds

abstract: We construct Fano threefolds with very ample anti-canonical bundle and Picard rank greater than one from cracked polytopes - polytopes whose intersection with a complete fan forms a set of unimodular polytopes - using Laurent inversion; a method developed jointly with Coates-Kasprzyk. We also give constructions of rank one Fano threefolds from cracked polytopes, following work of Christophersen-Ilten and Galkin. We explore the problem of classifying polytopes cracked along a given fan in three dimensions, and classify the unimodular polytopes which can occur as 'pieces' of a cracked polytope.


title: Neutron skins as laboratory constraints on properties of neutron stars and on what we can learn from heavy ion fragmentation reactions

abstract: The equation of state (EOS) of infinite nuclear matter with a small proton/neutron fraction is a crucial input to determine the properties of neutron stars and compare model predictions to astronomical observations. The so-called `symmetry energy' is the part of the EOS accounting for the difference in the number of neutrons and protons. Numerous experiments have been devised to assess the symmetry energy and constrain its functional dependence with the nucleon density. Further constraints follow from a stellar modeling using the EOS to reproduce astronomical observations such as neutron star masses and radii. The recent detection of gravitational waves emitted from neutron star mergers and the nucleosynthesis ensuing from these events caused a surge of interest for such studies. Several types of nuclear reactions have been proposed to study the symmetry energy part of the EOS. Some of them consist in determining the neutron skin in nuclei and exploit its correlation with the slope parameter of the symmetry energy. In this article we explore a particular set of reactions using high energy ($E_{lab} \sim 1$ GeV/nucleon) neutron-rich projectiles. We explore measurements of all reaction fragments (a) in the same isotopic chain, i.e., only by removal of neutrons, (b) in all charge-changing channels, and (c) total interaction cross sections. Using Hartree-Fock-Bogoliubov (HBF) predictions for neutron and proton densities with Skyrme interactions, we explore the sensitivity of these cross sections with the neutron skin in nuclei.


title: Working with first-order proofs and provers

abstract: Verifying software correctness has always been an important and complicated task. Recently, formal proofs of critical properties of algorithms and even implementations are becoming practical. Currently, the most powerful automated proof search tools use first-order logic while popular interactive proof assistants use higher-order logic. We present our work-in-progress set of tools that aim to eventually provide a usable first-order logic computer-assisted proof environment.


title: Learning Matchable Image Transformations for Long-term Metric Visual Localization

abstract: Long-term metric self-localization is an essential capability of autonomous mobile robots, but remains challenging for vision-based systems due to appearance changes caused by lighting, weather, or seasonal variations. While experience-based mapping has proven to be an effective technique for bridging the `appearance gap,' the number of experiences required for reliable metric localization over days or months can be very large, and methods for reducing the necessary number of experiences are needed for this approach to scale. Taking inspiration from color constancy theory, we learn a nonlinear RGB-to-grayscale mapping that explicitly maximizes the number of inlier feature matches for images captured under different lighting and weather conditions, and use it as a pre-processing step in a conventional single-experience localization pipeline to improve its robustness to appearance change. We train this mapping by approximating the target non-differentiable localization pipeline with a deep neural network, and find that incorporating a learned low-dimensional context feature can further improve cross-appearance feature matching. Using synthetic and real-world datasets, we demonstrate substantial improvements in localization performance across day-night cycles, enabling continuous metric localization over a 30-hour period using a single mapping experience, and allowing experience-based localization to scale to long deployments with dramatically reduced data requirements.


title: Temporal Landscapes: A Graphical Logic of Behavior

abstract: We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is similar to the usual first-order logic; what differs is the notion of truth value. Instead of reasoning about whether formulas are true or false, our logic reasons about temporal landscapes. A temporal landscape may be thought of as representing the set of durations over which a statement is true. To help understand the practical implications of this approach, we give a wide variety of examples where this logic is used to reason about autonomous agents.


title: Parametric shortest-path algorithms via tropical geometry

abstract: We study parameterized versions of classical algorithms for computing shortest-path trees. This is most easily expressed in terms of tropical geometry. Applications include shortest paths in traffic networks with variable link travel times.


title: DeepCloud. The Application of a Data-driven, Generative Model in Design

abstract: Generative systems have a significant potential to synthesize innovative design alternatives. Still, most of the common systems that have been adopted in design require the designer to explicitly define the specifications of the procedures and in some cases the design space. In contrast, a generative system could potentially learn both aspects through processing a database of existing solutions without the supervision of the designer. To explore this possibility, we review recent advancements of generative models in machine learning and current applications of learning techniques in design. Then, we describe the development of a data-driven generative system titled DeepCloud. It combines an autoencoder architecture for point clouds with a web-based interface and analog input devices to provide an intuitive experience for data-driven generation of design alternatives. We delineate the implementation of two prototypes of DeepCloud, their contributions, and potentials for generative design.


title: An old, metal-poor globular cluster in Sextans A and the metallicity floor of globular cluster systems

abstract: We report the confirmation of an old, metal-poor globular cluster in the nearby dwarf irregular galaxy Sextans A, the first globular cluster known in this galaxy. The cluster, which we designate as Sextans A-GC1, lies some 4.4 arcminutes ($\sim1.8$ kpc) to the SW of the galaxy centre and clearly resolves into stars in sub-arcsecond seeing ground-based imaging.We measure an integrated magnitude $V=18.04$, corresponding to an absolute magnitude, $M_{V,0} = -7.85$. This gives an inferred mass $M\sim$1.6$\times10^5~M\odot$, assuming a Kroupa IMF. An integrated spectrum of Sextans A-GC1 reveals a heliocentric radial velocity $v_{\rm helio}=305\pm15$~ km/s, consistent with the systemic velocity of Sextans A. The location of candidate red giant branch stars in the cluster, and stellar population analyses of the cluster's integrated optical spectrum, suggests a metallicity [Fe/H] $\sim$--2.4, and an age $\sim9$ Gyr. We measure a half light radius, $R_h = 7.6\pm0.2$ pc. Normalising to the galaxy integrated magnitude, we obtain a $V$-band specific frequency, $S_N=2.1$. We compile a sample of 1,928 GCs in 28 galaxies with spectroscopic metallicities and find that the low metallicity of Sextans A-GC1 is close to a "metallicity floor" at [Fe/H] $\sim-2.5$ seen in these globular cluster systems which include the Milky Way, M31, M87 and the Large Magellanic Cloud. This metallicity floor appears to hold across 6 dex in host galaxy stellar mass and is seen in galaxies with and without accreted GC subpopulations.


title: Continuous Selections of Lower semicontinuous Set-valued Mappings

abstract: A space $X$ is strongly $Y$-selective (resp., $Y$-selective) if every lower semicontinuous mapping from $Y$ to the nonempty subsets (resp., nonempty closed subsets) of $X$ has a continuous selection. We also call $X$ (strongly) $C$-selective if it is (strongly) $Y$-selective for any countable space $Y$, and (strongly) $L$-selective if it is (strongly) ($\omega+1$)-selective. E. Michael showed that every first countable space is strongly $C$-selective. We extend this by showing that every $W$-space in the sense of the second author is strongly $C$-selective. We also show that every GO-space is $C$-selective, and that every $L$-selective space has Arhangel'skii's property $\alpha_1$. We obtain an example under $\mathfrak p=\mathfrak c$ of a strongly $L$-selective space that is not $C$-selective, and we show that it is consistent with and independent of ZFC that a space is strongly $L$-selective iff it is $L$-selective and Fr\'echet. Finally, we answer a question of the third author and Junnila by showing that the ordinal space $\omega_1 +1$ is not self-selective.


title: Spin reorientation of the Fe moments in Eu$_{0.5}$Ca$_{0.5}$Fe$_{2}$As$_{2}$: Evidence for a strong interplay of Eu and Fe magnetism

abstract: Using complementary polarized and unpolarized single-crystal neutron diffraction, we have investigated the temperature-dependent magnetic structures of Eu$_{0.5}$Ca$_{0.5}$Fe$_{2}$As$_{2}$. Upon 50 \% dilution of the Eu sites with isovalent Ca$^{2+}$, the Eu sublattice is found to be still long-range ordered below $\mathit{T_{Eu}}$ = 10 K, in the A-typed antiferromagnetic (AFM) structure. The moment size of Eu$^{2+}$ spins is estimated to be as large as 6.74(4) $\mu_{B}$ at 2.5 K. The Fe sublattice undergoes a spin-density-wave transition at $\mathit{T_{SDW}}$ = 192(2) K and displays an in-plane AFM structure above $\mathit{T_{Eu}}$. However, at 2.5 K, the Fe$^{2+}$ moments are found to be ordered in a canted AFM structure with a canting angle of 14(4){\deg} out of the $\mathit{ab}$ plane. The spin reorientation of Fe below the AFM ordering temperature of Eu provides a direct evidence of a strong interplay between the two magnetic sublattices in Eu$_{0.5}$Ca$_{0.5}$Fe$_{2}$As$_{2}$.


title: The Role of Ionization in Thermal Transport of Solid Polyelectrolytes

abstract: Amorphous polymers are known as thermal insulators, increasing their thermal conductivities have not been guided by fully understood physics. In this work, we use molecular dynamics simulations to study the thermal transport mechanism of solid polyelectrolytes, poly(acrylic acid) (PAA) and its ionized forms. The thermal conductivity of PAA increases monotonically with the ionization strength. Although stronger ionization induces larger Coulombic interactions, the Coulombic interaction does not directly contribute to the thermal conductivity enhancement. Instead, it enhances thermal transport through the Lennard-Jones (LJ) interaction. The strong Coulombic force between the counterion and the ionized carboxylic group shifts the LJ force to the stronger LJ repulsive regime, which is mainly responsible for the improved thermal conductivity. Applying a high pressure can further reduce the inter-atomic distance and trigger the thermal transport through the LJ interaction. A thermal conductivity of 1.09 W/m.K can be achieved at 11.2 GPa in an ionized PAA.


title: Mixing time of the adjacent walk on the simplex

abstract: By viewing the $N$-simplex as the set of positions of $N-1$ ordered particles on the unit interval, the adjacent walk is the continuous time Markov chain obtained by updating independently at rate 1 the position of each particle with a sample from the uniform distribution over the interval given by the two particles adjacent to it. We determine its spectral gap and prove that both the total variation distance and the separation distance to the uniform distribution exhibit a cutoff phenomenon, with mixing times that differ by a factor $2$. The results are extended to the family of log-concave distributions obtained by replacing the uniform sampling by a symmetric log-concave Beta distribution.


title: Stellar Characterization Necessary to Define Holistic Planetary Habitability

abstract: It is a truism within the exoplanet field that "to know the planet, you must know the star." This pertains to the physical properties of the star (i.e. mass, radius, luminosity, age, multiplicity), the activity and magnetic fields, as well as the stellar elemental abundances which can be used as a proxy for planetary composition. In this white paper, we discuss important stellar characteristics that require attention in upcoming ground- and space-based missions, such that their processes can be understood and either detangled from that of the planet, correlated with the presence of a planet, or utilized in lieu of direct planetary observations.


title: Photonic Anomalous Quantum Hall Effect

abstract: We experimentally realize a photonic analogue of the anomalous quantum Hall insulator using a two-dimensional (2D) array of coupled ring resonators. Similar to the Haldane model, our 2D array is translation invariant, has zero net gauge flux threading the lattice, and exploits next-nearest neighbor couplings to achieve a topologically non-trivial bandgap. Using direct imaging and on-chip transmission measurements, we show that the bandgap hosts topologically robust edge states. We demonstrate a topological phase transition to a conventional insulator by frequency detuning the ring resonators and thereby breaking the inversion symmetry of the lattice. Furthermore, the clockwise or the counter-clockwise circulation of photons in the ring resonators constitutes a pseudospin degree of freedom. We show that the two pseudospins acquire opposite hopping phases and their respective edge states propagate in opposite directions. These results are promising for the development of robust reconfigurable integrated nanophotonic devices for applications in classical and quantum information processing.


title: Infant-Prints: Fingerprints for Reducing Infant Mortality

abstract: In developing countries around the world, a multitude of infants continue to suffer and die from vaccine-preventable diseases, and malnutrition. Lamentably, the lack of any official identification documentation makes it exceedingly difficult to prevent these infant deaths. To solve this global crisis, we propose Infant-Prints which is comprised of (i) a custom, compact, low-cost (85 USD), high-resolution (1,900 ppi) fingerprint reader, (ii) a high-resolution fingerprint matcher, and (iii) a mobile application for search and verification for the infant fingerprint. Using Infant-Prints, we have collected a longitudinal database of infant fingerprints and demonstrate its ability to perform accurate and reliable recognition of infants enrolled at the ages 0-3 months, in time for effective delivery of critical vaccinations and nutritional supplements (TAR=90% @ FAR = 0.1% for infants older than 8 weeks).


title: An Interdisciplinary Perspective on Elements in Astrobiology: From Stars to Planets to Life

abstract: Stellar elemental abundances direct impact planetary interior structure and mineralogy, surface composition, and life. However, the different communities that are necessary for planetary habitability exploration (astrophysics, planetary science, geology, and biology) emphasize different elements. If we are to make progress, especially in view of upcoming NASA missions, we must collectively broaden our communication regarding lists of useful elements, their impact on planetary systems, and how they can be observed in the near and long term.


title: Deformed AdS4-Reissner-Nordstr\"om black branes and shear viscosity-to-entropy density ratio

abstract: A family of deformed AdS4-Reissner-Nordstr\"om black branes, governed by a free parameter, is derived using the ADM formalism, in the context of the membrane paradigm. Their new event horizons, the Hawking temperature and other aspects are scrutinized. AdS/CFT near-horizon methods are then implemented to compute the shear viscosity-to-entropy ratio for the deformed AdS4-Reissner-Nordstr\"om metric. The Killing equation is shown to yield new values for the free parameter and the shear viscosity-to-entropy ratio is used to derive a reliable range for tidal charge.


title: Hardness Results for the Synthesis of $b$-bounded Petri Nets (Technical Report)

abstract: Synthesis for a type $\tau$ of Petri nets is the following search problem: For a transition system $A$, find a Petri net $N$ of type $\tau$ whose state graph is isomorphic to $A$, if there is one. To determine the computational complexity of synthesis for types of bounded Petri nets we investigate their corresponding decision version, called feasibility. We show that feasibility is NP-complete for (pure) $b$-bounded P/T-nets if $b\in \mathbb{N}^+$. We extend (pure) $b$-bounded P/T-nets by the additive group $\mathbb{Z}_{b+1}$ of integers modulo $(b+1)$ and show feasibility to be NP-complete for the resulting type. To decide if $A$ has the event state separation property is shown to be NP-complete for (pure) $b$-bounded and group extended (pure) $b$-bounded P/T-nets. Deciding if $A$ has the state separation property is proven to be NP-complete for (pure) $b$-bounded P/T-nets.


title: Fast, accurate, and transferable many-body interatomic potentials by symbolic regression

abstract: The length and time scales of atomistic simulations are limited by the computational cost of the methods used to predict material properties. In recent years there has been great progress in the use of machine learning algorithms to develop fast and accurate interatomic potential models, but it remains a challenge to develop models that generalize well and are fast enough to be used at extreme time and length scales. To address this challenge, we have developed a machine learning algorithm based on symbolic regression in the form of genetic programming that is capable of discovering accurate, computationally efficient manybody potential models. The key to our approach is to explore a hypothesis space of models based on fundamental physical principles and select models within this hypothesis space based on their accuracy, speed, and simplicity. The focus on simplicity reduces the risk of overfitting the training data and increases the chances of discovering a model that generalizes well. Our algorithm was validated by rediscovering an exact Lennard-Jones potential and a Sutton Chen embedded atom method potential from training data generated using these models. By using training data generated from density functional theory calculations, we found potential models for elemental copper that are simple, as fast as embedded atom models, and capable of accurately predicting properties outside of their training set. Our approach requires relatively small sets of training data, making it possible to generate training data using highly accurate methods at a reasonable computational cost. We present our approach, the forms of the discovered models, and assessments of their transferability, accuracy and speed.

categories: physics.comp-ph cond-mat.mtrl-sci cs.CE cs.LG cs.NE


title: Digging Deeper: Methodologies for High-Content Phenotyping and Knowledge-Abstraction in C. elegans

abstract: Deep phenotyping is an emerging conceptual paradigm and experimental approach that seeks to measure many aspects of phenotypes and link them to understand the underlying biology. Successful deep phenotyping has mostly been applied in cultured cells, less so in multicellular organisms. Recently, however, it has been recognized that such an approach could lead to better understanding of how genetics, the environment, and stochasticity affect development, physiology, and behavior of an organism. Over the last 50 years, the nematode Caenorhabditis elegans has become an invaluable model system for understanding the role of the genes underlying a phenotypic trait. Recent technological innovation has taken advantage of the worm physical attributes to increase the throughput and informational content of experiments. Coupling these technical advancements with computational or analytical tools has enabled a boom in deep phenotyping studies of C. elegans. In this review, we highlight how these new technologies and tools are digging into the biological origins of complex multidimensional phenotypes seen in the worm.


title: Accelerating strangelets via Penrose process in non-BPS fuzzballs

abstract: Ultra High Energy Cosmic Rays may include strangelets, a form of Strange Quark Matter, among their components. We briefly review their properties and discuss how they can be accelerated via Penrose process taking place in singular rotating Kerr black holes or in their smooth, horizonless counterparts in string theory, according to the fuzzball proposal. We focus on non-BPS solutions of the JMaRT kind and compute the efficiency of Penrose process that turns out not to be bounded unlike for Kerr BHs.


title: Unsupervised Inductive Graph-Level Representation Learning via Graph-Graph Proximity

abstract: We introduce a novel approach to graph-level representation learning, which is to embed an entire graph into a vector space where the embeddings of two graphs preserve their graph-graph proximity. Our approach, UGRAPHEMB, is a general framework that provides a novel means to performing graph-level embedding in a completely unsupervised and inductive manner. The learned neural network can be considered as a function that receives any graph as input, either seen or unseen in the training set, and transforms it into an embedding. A novel graph-level embedding generation mechanism called Multi-Scale Node Attention (MSNA), is proposed. Experiments on five real graph datasets show that UGRAPHEMB achieves competitive accuracy in the tasks of graph classification, similarity ranking, and graph visualization.


title: Fingerprints: Fixed Length Representation via Deep Networks and Domain Knowledge

abstract: We learn a discriminative fixed length feature representation of fingerprints which stands in contrast to commonly used unordered, variable length sets of minutiae points. To arrive at this fixed length representation, we embed fingerprint domain knowledge into a multitask deep convolutional neural network architecture. Empirical results, on two public-domain fingerprint databases (NIST SD4 and FVC 2004 DB1) show that compared to minutiae representations, extracted by two state-of-the-art commercial matchers (Verifinger v6.3 and Innovatrics v2.0.3), our fixed-length representations provide (i) higher search accuracy: Rank-1 accuracy of 97.9% vs. 97.3% on NIST SD4 against a gallery size of 2000 and (ii) significantly faster, large scale search: 682,594 matches per second vs. 22 matches per second for commercial matchers on an i5 3.3 GHz processor with 8 GB of RAM.


title: Defect-like structures and localized patterns in SH357

abstract: We study numerically the cubic-quintic-septic Swift-Hohenberg (SH357) equation on bounded one-dimensional domains. Under appropriate conditions stripes with wave number $k\approx 1$ bifurcate supercritically from the zero state and form S-shaped branches resulting in bistability between small and large amplitude stripes. Within this bistability range we find stationary heteroclinic connections or fronts between small and large amplitude stripes, and demonstrate that the associated spatially localized defect-like structures either snake or fall on isolas. In other parameter regimes we also find heteroclinic connections to spatially homogeneous states, and a multitude of dynamically stable steady states consisting of patches of small and large amplitude stripes with different wave numbers or of spatially homogeneous patches. The SH357 equation is thus extremely rich in the types of patterns it exhibits. Some of the features of the bifurcation diagrams obtained by numerical continuation can be understood using a conserved quantity, the spatial Hamiltonian of the system.


title: A Regression Discontinuity Design for Ordinal Running Variables: Evaluating Central Bank Purchases of Corporate Bonds

abstract: Regression discontinuity (RD) is a widely used quasi-experimental design for causal inference. In the standard RD, the assignment to treatment is determined by a continuous pretreatment variable (i.e., running variable) falling above or below a pre-fixed threshold. In the case of the corporate sector purchase programme (CSPP) of the European Central Bank, which involves large-scale purchases of securities issued by corporations in the euro area, such a threshold can be defined in terms of an ordinal running variable. This feature poses challenges to RD estimation due to the lack of a meaningful measure of distance. To evaluate such program, this paper proposes an RD approach for ordinal running variables under the local randomization framework. The proposal first estimates an ordered probit model for the ordinal running variable. The estimated probability of being assigned to treatment is then adopted as a latent continuous running variable and used to identify a covariate-balanced subsample around the threshold. Assuming local unconfoundedness of the treatment in the subsample, an estimate of the effect of the program is obtained by employing a weighted estimator of the average treatment effect. Two weighting estimators---overlap weights and ATT weights---as well as their augmented versions are considered. We apply the method to evaluate the causal effect of the CSPP and find a statistically significant and negative effect on corporate bond spreads at issuance.


title: The space of twisted cubics

abstract: We consider the Cohen-Macaulay compactification of the space of twisted cubics in projective n-space. This compactification is the fine moduli scheme representing the functor of CM-curves with Hilbert polynomial 3t+1. We show that the moduli scheme of CM-curves in projective 3-space is isomorphic to the twisted cubic component of the Hilbert scheme. We also describe the compactification for twisted cubics in n-space.


title: Charge transport through redox active [H7P8W48O184]33- polyoxometalates self-assembled onto gold surfaces and gold nanodots

abstract: Polyoxometalates (POMs) are redox-active molecular oxides, which attract growing interest for their integration into nano-devices, such as high-density data storage non-volatile memories. In this work, we investigated the electrostatic deposition of the negatively charged [H7P8W48O184]33- POM onto positively charged 8-amino-1-octanethiol self-assembled monolayers (SAMs) preformed onto gold substrates or onto an array of gold nanodots. The ring-shaped [H7P8W48O184]33- POM was selected as an example of large POMs with high charge storage capacity. To avoid the formation of POM aggregates onto the substrates, which would introduce variability in the local electrical properties, special attention has to be paid to the preformed SAM seeding layer, which should itself be deprived of aggregates. Where necessary, rinsing steps were found to be crucial to eliminate these aggregates and to provide uniformly covered substrates for subsequent POM deposition and electrical characterizations. This especially holds for commercially available gold/glass substrates while these rinsing steps were not essential in the case of template stripped gold of very low roughness. Charge transport through the related molecular junctions and nanodot molecule junctions (NMJs) has been probed by conducting-AFM. We analyzed the current-voltage curves with different models: electron tunneling though the SAMs (Simmons model), transition voltage spectroscopy (TVS) method or molecular single energy level mediated transport (Landauer equation) and we discussed the energetics of the molecular junctions. We concluded to an energy level alignment of the alkyl spacer and POM lowest occupied molecular orbitals (LUMOs), probably due to dipolar effects.


title: Dense III-V/Si Phase-Shifter Based Optical Phased Array

abstract: High-performance integrated optical phased arrays (OPAs) are crucial for building up energy-efficient solid-state beam steering systems on a chip. This work demonstrates a first heterogeneous III-V/Si phase-shifter based OPA that utilizes III-V multiple quantum well (MQW) structures to provide superior performance. Demonstrated phase shifters have Vpi of only 0.45 V and residual amplitude modulation (RAM) of only 0.15 dB at 1550 nm for 2pi phase shift with low power consumption of less than 3 nW, which are, to the best our knowledge, the state-of-the-art performance with a record low operating voltage, low power consumption, and low RAM in on-chip OPAs. Their bandwidth is >1 GHz across 200 nm wavelength range. Wavelength tuning is used to demonstrate two-dimensional beam steering with a field of view of 28x51 degree in the 32-channel OPA with an emitter-array pitch of 2 um. Side-mode suppression ratio of 16 dB is also achieved. The high-performance heterogeneous OPA paves the way for scalable and efficient on-chip beam steerers with large steering range and high beam quality.


title: Poly(ionic liquid)-derived N-doped carbons with hierarchical porosity for lithium and sodium ion batteries

abstract: The performance of lithium and sodium ion batteries relies notably on the accessibility to carbon electrodes of controllable porous structure and chemical composition. This work reports a facile synthesis of well-defined porous N-doped carbons (NPCs) using a poly(ionic liquid) (PIL) as precursor, and graphene oxide (GO)-stabilized poly(methyl methacrylate) (PMMA) nanoparticles as sacrificial template. The GO-stabilized PMMA nanoparticles were first prepared and then decorated by a thin PIL coating before carbonization. The resulting NPCs reached a satisfactory specific surface area of up to 561 m2/g and a hierarchically meso- and macroporous structure while keeping a nitrogen content of 2.6 wt %. Such NPCs delivered a high reversible charge/discharge capacity of 1013 mA h/g over 200 cycles at 0.4 A/g for lithium ion batteries (LIBs), and showed a good capacity of 204 mA h/g over 100 cycles at 0.1 A/g for sodium ion batteries (SIBs).


title: Silicon microcavity arrays with open access and a finesse of half a million

abstract: Optical resonators are increasingly important tools in science and technology. Their applications range from laser physics, atomic clocks, molecular spectroscopy, and single-photon generation to the detection, trapping and cooling of atoms or nano-scale objects. Many of these applications benefit from strong mode confinement and high optical quality factors, making small mirrors of high surface-quality desirable. Building such devices in silicon yields ultra-low absorption at telecom wavelengths and enables integration of micro-structures with mechanical, electrical and other functionalities. Here, we push optical resonator technology to new limits by fabricating lithographically aligned silicon mirrors with ultra-smooth surfaces, small and wellcontrolled radii of curvature, ultra-low loss and high reflectivity. We build large arrays of microcavities with finesse greater than F = 500,000 and a mode volume of 330 femtoliters at wavelengths near 1550 nm. Such high-quality micro-mirrors open up a new regime of optics and enable unprecedented explorations of strong coupling between light and matter.


title: Probing the surface of synthetic opals with the vanadyl-containing crude oil by using EPR and ENDOR techniques

abstract: Porous silica materials offer wide range of possibilities for enhancement of the productivity of oil reservoirs. However the mechanism of adsorption of polar components of crude oil on silica surface is poorly understood that hinders technological improvement of supports and oil extraction. We have synthesized opal films with the silica microspheres size of about 360 nm, specific surface area of 5.2 m2/g and pore size of 230 nm. We have fractionated and characterized oil and oil asphaltenes from heavy (Ashalchinskoe) oil. By pulsed electron paramagnetic resonance (EPR) and double electron nuclear resonance (ENDOR) in the W band frequency range (microwave frequency of 94 GHz, magnetic field of 3.4 T) we have studied the adsorption of oil asphaltenes on the surface of opal samples using the intrinsic for asphaltenes paramagnetic vanadylporphyrins (VO) complexes. 1H ENDOR spectra are found to be different for initial and the adsorbed samples in their central parts (that is a sign of asphaltenes VO disaggregation) whereas no significant changes in the W band EPR spectra were detected. Contrasting to alumina support, no strong electron proton interaction with the protons on the surface of SiO2 (presumably, silanol groups) was found and infiltration of the oiled opal films with gasoline changes the central part of 1H ENDOR spectra. It shows that the proton containing groups on the surface of amorphous SiO2 sample can significantly change the asphaltene adsorption properties and ENDOR of the intrinsic for oil paramagnetic centers could be used for the characterization of surface state in porous media in situ or operando.


title: Novel High Efficiency Quadruple Junction Solar Cell with Current Matching and Optimized Quantum Efficiency

abstract: A high photon to electricity conversion efficiency of 47.2082% was achieved by a novel combination of In0.51Ga0.49P, GaAs, In0.24Ga0.76As and In0.19Ga0.81Sb subcell layers in a quadruple junction solar cell design. The electronic bandgap of these materials are 1.9 eV, 1.42 eV, 1.08 eV and 0.55 eV respectively. This novel III-V arrangement enables the cell to absorb photons from the ultraviolet to deep infrared wavelengths of the solar spectrum. After careful consideration of important semiconductor parameters such as thicknesses of emitter and base layers, doping concentrations, diffusion lengths, minority carrier lifetimes and surface recombination velocities an optimized quadruple junction design has been suggested. Current matching of the subcell layers was ensured to obtain maximum efficiency from the proposed design. The short-circuit current density, open circuit voltage and fill factor of the solar cell are 14.7 mA/cm2, 3.3731 V and 0.9553 respectively. In the design process, 1 sun AM1.5 global solar spectrum was considered. The cell performance was also investigated for extraterrestrial illumination (AM0). A modified design is proposed for space applications. With a short circuit current density of 18.5 mA/cm2, open circuit voltage of 3.4104 and the fill factor of 0.9557, the power conversion efficiency of the modified quadruple junction design is 44.5473% in space.


title: Creativity Inspired Zero-Shot Learning

abstract: Zero-shot learning (ZSL) aims at understanding unseen categories with no training examples from class-level descriptions. To improve the discriminative power of zero-shot learning, we model the visual learning process of unseen categories with inspiration from the psychology of human creativity for producing novel art. We relate ZSL to human creativity by observing that zero-shot learning is about recognizing the unseen and creativity is about creating a likable unseen. We introduce a learning signal inspired by creativity literature that explores the unseen space with hallucinated class-descriptions and encourages careful deviation of their visual feature generations from seen classes while allowing knowledge transfer from seen to unseen classes. Empirically, we show consistent improvement over the state of the art of several percents on the largest available benchmarks on the challenging task or generalized ZSL from a noisy text that we focus on, using the CUB and NABirds datasets. We also show the advantage of our approach on Attribute-based ZSL on three additional datasets (AwA2, aPY, and SUN). Code is available.


title: Measurements of effective optical depth in the Ly$\alpha$ forest from the BOSS DR12 Quasar sample

abstract: We measure the effective optical depth in the Lyman-alpha (Ly$\alpha$) forest using 40,035 quasar spectra from the Twelfth Data Release (DR12) of the Baryon Oscillation Spectroscopic Survey (BOSS) of SDSS-IV. A rigorous selection based on spectral index and the equivalent width of the C IV emission line is applied to choose seven uniform samples with minimal intrinsic variations across redshifts. Modeling the redshift evolution of the effective optical depth with a power-law, $\tau_\mathrm{eff}=\tau_0 (1 + z)^\gamma$ produces $\tau_0=(5.54 \pm 0.64)\times 10^{-3}$ and $\gamma=3.182 \pm 0.074$. The 2.2% precision estimate on $\gamma$ is dominated by systematic errors, likely arising from the bias and uncertainties in spectral index estimates. Even after incorporating the systematic errors, this work provides the most precise estimates of optical depth parameters to date. Finally, using the reconstructed Ly$\alpha$ forest continuum to directly measure the transmitted flux ratio as a function of redshift, we find deviations of less than 2.5% from the predictions from the global model and no convincing evidence for signal associated with He II reionization.


title: Foliated fracton order in the Majorana checkerboard model

abstract: We establish the presence of foliated fracton order in the Majorana checkerboard model. In particular, we describe an entanglement renormalization group transformation which utilizes toric code layers as resources of entanglement, and furthermore discuss entanglement signatures and fractional excitations of the model. In fact, we give an exact local unitary equivalence between the Majorana checkerboard model and the semionic X-cube model augmented with decoupled fermionic modes. This mapping demonstrates that the model lies within the X-cube foliated fracton phase.


title: Deep Learning Methods for Parallel Magnetic Resonance Image Reconstruction

abstract: Following the success of deep learning in a wide range of applications, neural network-based machine learning techniques have received interest as a means of accelerating magnetic resonance imaging (MRI). A number of ideas inspired by deep learning techniques from computer vision and image processing have been successfully applied to non-linear image reconstruction in the spirit of compressed sensing for both low dose computed tomography and accelerated MRI. The additional integration of multi-coil information to recover missing k-space lines in the MRI reconstruction process, is still studied less frequently, even though it is the de-facto standard for currently used accelerated MR acquisitions. This manuscript provides an overview of the recent machine learning approaches that have been proposed specifically for improving parallel imaging. A general background introduction to parallel MRI is given that is structured around the classical view of image space and k-space based methods. Both linear and non-linear methods are covered, followed by a discussion of recent efforts to further improve parallel imaging using machine learning, and specifically using artificial neural networks. Image-domain based techniques that introduce improved regularizers are covered as well as k-space based methods, where the focus is on better interpolation strategies using neural networks. Issues and open problems are discussed as well as recent efforts for producing open datasets and benchmarks for the community.


title: Guarding a Subspace in High-Dimensional Space with Two Defenders and One Attacker

abstract: This paper considers a subspace guarding game in high-dimensional space which consists of a play subspace and a target subspace. Two faster defenders cooperate to protect the target subspace by capturing an attacker which strives to enter the target subspace from the play subspace without being captured. A closed-form solution is provided from the perspectives of kind and degree. Contributions of the work include the use of the attack subspace (AS) method to construct the barrier, by which the game winner can be perfectly predicted before the game starts. In addition to this inclusion, with the priori information about the game result, a critical payoff function is designed when the defenders can win the game. Then, the optimal strategy for each player is explicitly reformulated as a saddle-point equilibrium. Finally, we apply these theoretical results to a half-space guarding game in three-dimensional space. Since the whole achieved developments are analytical, they require a little memory without computational burden and allow for real-time updates, beyond the capacity of traditional Hamilton-Jacobi-Isaacs method. It is worth noting that this is the first time in the current work to consider the target guarding games for arbitrary high-dimensional space, and in a fully analytical form.


title: Deep Industrial Espionage

abstract: The theory of deep learning is now considered largely solved, and is well understood by researchers and influencers alike. To maintain our relevance, we therefore seek to apply our skills to under-explored, lucrative applications of this technology. To this end, we propose and Deep Industrial Espionage, an efficient end-to-end framework for industrial information propagation and productisation. Specifically, given a single image of a product or service, we aim to reverse-engineer, rebrand and distribute a copycat of the product at a profitable price-point to consumers in an emerging market---all within in a single forward pass of a Neural Network. Differently from prior work in machine perception which has been restricted to classifying, detecting and reasoning about object instances, our method offers tangible business value in a wide range of corporate settings. Our approach draws heavily on a promising recent arxiv paper until its original authors' names can no longer be read (we use felt tip pen). We then rephrase the anonymised paper, add the word "novel" to the title, and submit it a prestigious, closed-access espionage journal who assure us that someday, we will be entitled to some fraction of their extortionate readership fees.


title: Modular structure in C. elegans neural network and its response to external localized stimuli

abstract: Synchronization plays a key role in information processing in neuronal networks. Response of specific groups of neurons are triggered by external stimuli, such as visual, tactile or olfactory inputs. Neurons, however, can be divided into several categories, such as by physical location, functional role or topological clustering properties. Here we study the response of the electric junction C. elegans network to external stimuli using the partially forced Kuramoto model and applying the force to specific groups of neurons. Stimuli were applied to topological modules, obtained by the ModuLand procedure, to a ganglion, specified by its anatomical localization, and to the functional group composed of all sensory neurons. We found that topological modules do not contain purely anatomical groups or functional classes, corroborating previous results, and that stimulating different classes of neurons lead to very different responses, measured in terms of synchronization and phase velocity correlations. In all cases, however, the modular structure hindered full synchronization, protecting the system from seizures. More importantly, the responses to stimuli applied to topological and functional modules showed pronounced patterns of correlation or anti-correlation with other modules that were not observed when the stimulus was applied to ganglia.


title: Gene-based Association Analysis for Bivariate Time-to-event Data through Functional Regression with Copula Models

abstract: Several gene-based association tests for time-to-event traits have been proposed recently, to detect whether a gene region (containing multiple variants), as a set, is associated with the survival outcome. However, for bivariate survival outcomes, to the best of our knowledge, there is no statistical method that can be directly applied for gene-based association analysis. Motivated by a genetic study to discover gene regions associated with the progression of a bilateral eye disease, Age-related Macular Degeneration (AMD), we implement a novel functional regression method under the copula framework. Specifically, the effects of variants within a gene region are modeled through a functional linear model, which then contributes to the marginal survival functions within the copula. Generalized score test and likelihood ratio test statistics are derived to test for the association between bivariate survival traits and the genetic region. Extensive simulation studies are conducted to evaluate the type-I error control and power performance of the proposed approach, with comparisons to several existing methods for a single survival trait, as well as the marginal Cox functional regression model using the robust sandwich estimator for bivariate survival traits. Finally, we apply our method to a large AMD study, the Age-related Eye Disease Study (AREDS), to identify gene regions that are associated with AMD progression.


title: Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification

abstract: We present a new inductive rule for verifying lower bounds on expected values of random variables after execution of probabilistic loops as well as on their expected runtimes. Our rule is simple in the sense that loop body semantics need to be applied only finitely often in order to verify that the candidates are indeed lower bounds. In particular, it is not necessary to find the limit of a sequence as in many previous rules.


title: Dependence of the density of states on the probability distribution -- part II: Schr\"odinger operators on $\mathbb{R}^d$ and non-compactly supported probability measures

abstract: We extend our results in \cite{hislop_marx_1} on the quantitative continuity properties, with respect to the single-site probability measure, of the density of states measure and the integrated density of states for random Schr\"odinger operators. For lattice models on $\mathbb{Z}^d$, with $d \geq 1$, we treat the case of non-compactly supported probability measures with finite first moments. For random Schr\"odinger operators on $\mathbb{R}^d$, with $d \geq 1$, we prove results analogous to those in \cite{hislop_marx_1} for compactly supported probability measures. The method of proof makes use of the Combes-Thomas estimate and the Helffer-Sj\"ostrand formula.


title: Timing of fungal spore release dictates survival during atmospheric transport

abstract: The fungi disperse spores to move across landscapes and spore liberation takes different patterns. While many species release spores intermittently, others release spores at specific times of day or night according to intrinsic rhythms. Despite intriguing evidence of diurnal rhythms, why the timing of spore liberation would matter to a fungus remains an open question. Here we use state-of-the-art numerical simulations of atmospheric transport with meteorological data to follow the trajectory of many spores released in the open atmosphere at different times of day, during different seasons and at different locations across North America. While individual spores follow unpredictable trajectories due to turbulence, in the aggregate patterns emerge: statistically, spores released during the day fly for several days, while spores released at night return to the ground within a few hours. Differences are caused by intense turbulence during the day and weak turbulence at night. The pattern is widespread but its reliability varies, for example, day/night patterns are stronger in southern regions, where temperatures are warmer. Results provide a set of testable hypotheses explaining intermittent and regular patterns of spore release as strategies to maximize spore survival in the air. Species with short lived spores reproducing where there is strong and regular turbulence during the day, for example in Mexico, will maximize survival by routinely releasing spores at night. Where cycles are weak, for example in Canada during spring, there will be no benefit to releasing spores at the same time every day. We also challenge the perception of atmospheric dispersal as risky, wasteful, and beyond control of a sporocarp; our data suggest the timing of spore liberation may be finely tuned by a fungus to maximize fitness during atmospheric transport.


title: ASSERT: Anti-Spoofing with Squeeze-Excitation and Residual neTworks

abstract: We present JHU's system submission to the ASVspoof 2019 Challenge: Anti-Spoofing with Squeeze-Excitation and Residual neTworks (ASSERT). Anti-spoofing has gathered more and more attention since the inauguration of the ASVspoof Challenges, and ASVspoof 2019 dedicates to address attacks from all three major types: text-to-speech, voice conversion, and replay. Built upon previous research work on Deep Neural Network (DNN), ASSERT is a pipeline for DNN-based approach to anti-spoofing. ASSERT has four components: feature engineering, DNN models, network optimization and system combination, where the DNN models are variants of squeeze-excitation and residual networks. We conducted an ablation study of the effectiveness of each component on the ASVspoof 2019 corpus, and experimental results showed that ASSERT obtained more than 93% and 17% relative improvements over the baseline systems in the two sub-challenges in ASVspooof 2019, ranking ASSERT one of the top performing systems. Code and pretrained models will be made publicly available.


title: HYPE: A Benchmark for Human eYe Perceptual Evaluation of Generative Models

abstract: Generative models often use human evaluations to measure the perceived quality of their outputs. Automated metrics are noisy indirect proxies, because they rely on heuristics or pretrained embeddings. However, up until now, direct human evaluation strategies have been ad-hoc, neither standardized nor validated. Our work establishes a gold standard human benchmark for generative realism. We construct Human eYe Perceptual Evaluation (HYPE) a human benchmark that is (1) grounded in psychophysics research in perception, (2) reliable across different sets of randomly sampled outputs from a model, (3) able to produce separable model performances, and (4) efficient in cost and time. We introduce two variants: one that measures visual perception under adaptive time constraints to determine the threshold at which a model's outputs appear real (e.g. 250ms), and the other a less expensive variant that measures human error rate on fake and real images sans time constraints. We test HYPE across six state-of-the-art generative adversarial networks and two sampling techniques on conditional and unconditional image generation using four datasets: CelebA, FFHQ, CIFAR-10, and ImageNet. We find that HYPE can track model improvements across training epochs, and we confirm via bootstrap sampling that HYPE rankings are consistent and replicable.


title: Global expanding solutions of compressible Euler equations with small initial densities

abstract: We prove the existence of a large class of global-in-time expanding solutions to vacuum free boundary compressible Euler flows without relying on the existence of an underlying finite-dimensional family of special affine solutions of the flow.


title: Rigidly-rotating quantum thermal states in bounded systems

abstract: We consider rigidly-rotating thermal states of a massless Klein-Gordon field enclosed within a cylindrical boundary, where Robin boundary conditions (RBCs) are imposed. The connection between the parameter of the RBCs and the energy density and four-velocity expressed in the Landau frame is revealed.