title: Dark Matter Search Results from a One Tonne$\times$Year Exposure of XENON1T

abstract: We report on a search for Weakly Interacting Massive Particles (WIMPs) using 278.8 days of data collected with the XENON1T experiment at LNGS. XENON1T utilizes a liquid xenon time projection chamber with a fiducial mass of $(1.30 \pm 0.01)$ t, resulting in a 1.0 t$\times$yr exposure. The energy region of interest, [1.4, 10.6] $\mathrm{keV_{ee}}$ ([4.9, 40.9] $\mathrm{keV_{nr}}$), exhibits an ultra-low electron recoil background rate of $(82\substack{+5 \\ -3}\textrm{ (sys)}\pm3\textrm{ (stat)})$ events/$(\mathrm{t}\times\mathrm{yr}\times\mathrm{keV_{ee}})$. No significant excess over background is found and a profile likelihood analysis parameterized in spatial and energy dimensions excludes new parameter space for the WIMP-nucleon spin-independent elastic scatter cross-section for WIMP masses above 6 GeV/c${}^2$, with a minimum of $4.1\times10^{-47}$ cm$^2$ at 30 GeV/c${}^2$ and 90% confidence level.

categories: astro-ph.CO astro-ph.IM hep-ex hep-ph physics.ins-det


title: Flattened non-Gaussianities from the effective field theory of inflation with imaginary speed of sound

abstract: Inflationary perturbations in multi-field theories can exhibit a transient tachyonic instability as a consequence of their non-trivial motion in the internal field space. When an effective single-field description is applicable, the resulting theory is characterized by fluctuations that propagate with an $imaginary$ speed of sound. We use the effective field theory of fluctuations to study such a set-up in a model-independent manner, highlighting the peculiarities and subtleties that make it different from the standard case. In particular, perturbations feature exponentially growing and decaying modes whose relative amplitude is undetermined within the effective field theory. Nevertheless, we prove that in an interesting limit the dimensionless bispectrum is in fact universal, depending only on the speed of sound and on the cutoff scale that limits the validity of the effective theory. Contrary to the power spectrum, we find that the bispectrum does not display an exponential enhancement. The amplitude of non-Gaussianities in the equilateral configuration is similar to the one of conventional models, but it is enhanced in flattened configurations in a way that is ultraviolet sensitive.


title: Modeling 4D fMRI Data via Spatio-Temporal Convolutional Neural Networks (ST-CNN)

abstract: Simultaneous modeling of the spatio-temporal variation patterns of brain functional network from 4D fMRI data has been an important yet challenging problem for the field of cognitive neuroscience and medical image analysis. Inspired by the recent success in applying deep learning for functional brain decoding and encoding, in this work we propose a spatio-temporal convolutional neural network (ST-CNN)to jointly learn the spatial and temporal patterns of targeted network from the training data and perform automatic, pin-pointing functional network identification. The proposed ST-CNN is evaluated by the task of identifying the Default Mode Network (DMN) from fMRI data. Results show that while the framework is only trained on one fMRI dataset,it has the sufficient generalizability to identify the DMN from different populations of data as well as different cognitive tasks. Further investigation into the results show that the superior performance of ST-CNN is driven by the jointly-learning scheme, which capture the intrinsic relationship between the spatial and temporal characteristic of DMN and ensures the accurate identification.


title: Approximate Knowledge Compilation by Online Collapsed Importance Sampling

abstract: We introduce collapsed compilation, a novel approximate inference algorithm for discrete probabilistic graphical models. It is a collapsed sampling algorithm that incrementally selects which variable to sample next based on the partial sample obtained so far. This online collapsing, together with knowledge compilation inference on the remaining variables, naturally exploits local structure and context- specific independence in the distribution. These properties are naturally exploited in exact inference, but are difficult to harness for approximate inference. More- over, by having a partially compiled circuit available during sampling, collapsed compilation has access to a highly effective proposal distribution for importance sampling. Our experimental evaluation shows that collapsed compilation performs well on standard benchmarks. In particular, when the amount of exact inference is equally limited, collapsed compilation is competitive with the state of the art, and outperforms it on several benchmarks.


title: Splitting Brauer classes using the universal Albanese

abstract: We prove that every Brauer class over a field splits over a torsor under an abelian variety. If the index of the class is not congruent to 2 modulo 4, we show that the Albanese variety of any smooth curve of positive genus that splits the class also splits the class, and there exist many such curves splitting the class. We show that this can be false when the index is congruent to 2 modulo 4, but adding a single genus 1 factor to the Albanese suffices to split the class.


title: Barcodes in level and sub level persistence and Morse-Novikov theory

abstract: In this note we recall the relations between the barcodes in level and sub-level persistence and make precise their relation with the Morse-Novikov complex of a Morse real- or angle-valued map. The results in this papers are implicit in my previous work(w.collaborators), but apparently not well known even to experts.


title: Disorder correction to the N\'{e}el temperature of ruthenium-doped BaFe$_2$As$_2$: Theoretical analysis

abstract: We analyze theoretically nuclear magnetic resonance data for the spin-density wave phase in the ruthenium-doped BaFe$_2$As$_2$. Since inhomogeneous distribution of Ru~atoms introduces disorder into the system, experimentally observable random spatial variations of the spin-density wave order parameter emerge. Using perturbation theory for the Landau functional, we estimate the disorder-induced correction to the N\'{e}el temperature for this material. Calculated correction is significantly smaller than the N\'{e}el temperature itself for all experimentally relevant doping levels. This implies that the N\'{e}el temperature is quite insensitive to the disorder created by the dopants.


title: Unusual double-peak specific heat and spin freezing in a spin-2 triangular lattice antiferromagnet FeAl$_{2}$Se$_{4}$

abstract: We report the properties of a triangular lattice iron-chalcogenide antiferromagnet FeAl$_{2}$Se$_{4}$. The spin susceptibility reveals a significant antiferromagnetic interaction with a Curie-Weiss temperature {\Theta}$_{CW}$ ~ -200K and a spin-2 local moment. Despite a large spin and a large |{\Theta}$_{CW}$|, the low-temperature behaviors are incompatible with conventional classical magnets. No long-range order is detected down to 0.4K. Similar to the well-known spin-1 magnet NiGa$_{2}$S$_{4}$, the specific heat of FeAl$_{2}$Se$_{4}$ exhibits an unusual double-peak structure and a T$^{2}$ power law at low temperatures, which are attributed to the underlying quadrupolar spin correlations and the Halperin-Saslow modes, respectively. The spin freezing occurs at ~ 14K, below which the relaxation dynamics is probed by the ac susceptibility. Our results are consistent with the early theory for the spin-1 system with Heisenberg and biquadratic spin interactions. We argue that the early proposal of the quadrupolar correlation and gauge glass dynamics may be well extended to FeAl$_{2}$Se$_{4}$. Our results provide useful insights about the magnetic properties of frustrated quantum magnets with high spins.


title: On the depth overhead incurred when running quantum algorithms on near-term quantum computers with limited qubit connectivity

abstract: This paper addresses the problem of finding the depth overhead that will be incurred when running quantum circuits on near-term quantum computers. Specifically, it is envisaged that near-term quantum computers will have low qubit connectivity: each qubit will only be able to interact with a subset of the other qubits, a reality typically represented by a qubit interaction graph in which a vertex represents a qubit and an edge represents a possible direct 2-qubit interaction (gate). Thus the depth overhead is unavoidably incurred by introducing swap gates into the quantum circuit to enable general qubit interactions. This paper proves that there exist quantum circuits where a depth overhead in $\Omega(\log n)$ must necessarily be incurred when running quantum circuits with $n$ qubits on quantum computers whose qubit interaction graph has finite degree, but that such a logarithmic depth overhead is achievable. The latter is shown by the construction of a 4-regular qubit interaction graph and associated compilation algorithm that can execute any quantum circuit with only a logarithmic depth overhead.


title: Bayesian learning of weakly structural Markov graph laws using sequential Monte Carlo methods

abstract: We present a sequential sampling methodology for weakly structural Markov laws, arising naturally in a Bayesian structure learning context for decomposable graphical models. As a key component of our suggested approach, we show that the problem of graph estimation, which in general lacks natural sequential interpretation, can be recast into a sequential setting by proposing a recursive Feynman-Kac model that generates a flow of junction tree distributions over a space of increasing dimensions. We focus on particle McMC methods to provide samples on this space, in particular on particle Gibbs (PG), as it allows for generating McMC chains with global moves on an underlying space of decomposable graphs. To further improve the PG mixing properties, we incorporate a systematic refreshment step implemented through direct sampling from a backward kernel. The theoretical properties of the algorithm are investigated, showing that the proposed refreshment step improves the performance in terms of asymptotic variance of the estimated distribution. The suggested sampling methodology is illustrated through a collection of numerical examples demonstrating high accuracy in Bayesian graph structure learning in both discrete and continuous graphical models.


title: A comparison of partisan-gerrymandering measures

abstract: We compare and contrast fourteen measures that have been proposed for the purpose of quantifying partisan gerrymandering. We consider measures that, rather than examining the shapes of districts, utilize only the partisan vote distribution among districts. The measures considered are two versions of partisan bias; the efficiency gap and several of its variants; the mean-median difference and the equal vote weight standard; the declination and one variant; and the lopsided-means test. Our primary means of evaluating these measures is a suite of hypothetical elections we classify from the start as fair or unfair. We conclude that the declination is the most successful measure in terms of avoiding false positives and false negatives on the elections considered. We include in an appendix the most extreme outliers for each measure among historical congressional and state legislative elections.


title: Learning a Prior over Intent via Meta-Inverse Reinforcement Learning

abstract: A significant challenge for the practical application of reinforcement learning in the real world is the need to specify an oracle reward function that correctly defines a task. Inverse reinforcement learning (IRL) seeks to avoid this challenge by instead inferring a reward function from expert behavior. While appealing, it can be impractically expensive to collect datasets of demonstrations that cover the variation common in the real world (e.g. opening any type of door). Thus in practice, IRL must commonly be performed with only a limited set of demonstrations where it can be exceedingly difficult to unambiguously recover a reward function. In this work, we exploit the insight that demonstrations from other tasks can be used to constrain the set of possible reward functions by learning a "prior" that is specifically optimized for the ability to infer expressive reward functions from limited numbers of demonstrations. We demonstrate that our method can efficiently recover rewards from images for novel tasks and provide intuition as to how our approach is analogous to learning a prior.


title: The many flavours of photometric redshifts

abstract: For more that seventy years, the measurements of fluxes of galaxies at different wavelengths and derived colours have been used to estimate their corresponding cosmological distances. From the fields of galaxy and AGN evolution to precision cosmology, the number of scientific projects relying on such distance measurements, called photometric redshifts, have exploded. The benefits of photometric redshifts is that all sources detected in photometric images can have some distance estimates relatively cheaply. The major drawback is that these cheap estimates have a low precision when compared with the resource-expensive spectroscopy. The methodology to estimate redshifts has been through several major revolutions throughout the last decades, triggered by increasingly more stringent requirements on the photometric redshift accuracy. Here, we review the various techniques to obtain photometric redshifts, from template-fitting to machine learning and hybrid systems. We also describe the state-of-the-art results on current extra-galactic samples and explain how survey strategy choices impact redshift accuracy. We close the review with a description of the photometric redshifts efforts planned for upcoming wide field surveys, which will collect data on billions of galaxies, aiming to solve the most exciting cosmological and astrophysical questions of today.


title: A zoo of growth functions of mapping class sets

abstract: Suppose $X$ and $Y$ are finite complexes, with $Y$ simply connected. Gromov conjectured that the number of mapping classes in $[X,Y]$ which can be realized by $L$-Lipschitz maps grows asymptotically as $L^\alpha$, where $\alpha$ is an integer determined by the rational homotopy type of $Y$ and the rational cohomology of $X$. This conjecture was disproved in a recent paper of the author and Weinberger; we gave an example where the `predicted' growth is $L^8$ but the true growth is $L^8\log L$. Here we show, via a different mechanism, that the universe of possible such growth functions is quite large. In particular, for every rational number $r \geq 4$, there is a pair $X,Y$ for which the growth of $[X,Y]$ is essentially $L^r$.


title: Measurements and Modeling of Near-Surface Radio Propagation in Glacial Ice and Implications for Neutrino Experiments

abstract: We present measurements of radio transmission in the $\sim$100 MHz range through a $\sim100$ m deep region below the surface of the ice at Summit Station, Greenland, called the firn. In the firn, the index of refraction changes due to the transition from snow at the surface to glacial ice below, affecting the propagation of radio signals in that region. We compare our observations to a finite-difference time-domain (FDTD) electromagnetic wave simulation, which supports the existence of three classes of propagation: a bulk propagation ray-bending mode that leads to so-called "shadowed" regions for certain geometries of transmission, a surface-wave mode induced by the ice/air interface, and an arbitrary-depth horizontal propagation mode that requires perturbations from a smooth density gradient. In the non-shadowed region, our measurements are consistent with the bulk propagation ray-bending mode both in timing and in amplitude. We also observe signals in the shadowed region, in conflict with a bulk-propagation-only ray-bending model, but consistent with FDTD simulations using a variety of firn models for Summit Station. The amplitude and timing of our measurements in all geometries are consistent with the predictions from FDTD simulations. In the shadowed region, the amplitude of the observed signals is consistent with a best-fit coupling fraction value of $2.4$% (0.06% in power) or less to a surface or horizontal propagation mode from the bulk propagation mode. The relative amplitude of observable signals in the two regions is important for experiments that aim to detect radio emission from astrophysical high-energy neutrinos interacting in glacial ice, which rely on a radio propagation model to inform simulations and perform event reconstruction.


title: Diffusion modeling for Dip-pen Nanolithography

abstract: The diffusion model for the dip pen nanolithography is similar to spreading an ink drop on a paper. Nanolithography uses Atomic Probe Microscope like probes to deliver the ink drop on to the substrate. The model considers the ink to be molecular. Some models have been developed considering fluid ink, some with thiol inks, particulate inks and polymer inks. The models consider the fluid ink with the added factors such as flow rate, detachment rate, effect due to relative humidity, multilayer flow, the ink drop, with meniscus etc., which makes the model complicated. The aim of this paper is to create a generalized diffusion model


title: An almost elementary Higgs: Theory and Practice

abstract: We study models that interpolate between an elementary and a composite Higgs boson. Such models, arising in theories with new vector-like fermions with electro-weak quantum numbers and charged under a confining gauge interaction, are entirely compatible with current data, with only weak bounds from flavor, CP-violation and precision tests. After classifying the models from the point of view of symmetries, we study their collider phenomenology at LHC. In the most relevant scenarios, bounds from present searches exclude heavy scalar isospin triplets and quintuplets up to $\sim 200\;$GeV and we show how dedicated searches of simple signals such as $pp\to 3 \gamma W$ could improve the reach by at least a factor of 2 with present data, reaching $O(1\;{\rm TeV})$ with higher integrated luminosities. States that mix with the SM Higgs can be tested in a variety of final states, such as $2b2\gamma$ searches relevant for double Higgs production.


title: Algorithms and Geometric Constructions

abstract: It is well known that several classical geometry problems (e.g., angle trisection) are unsolvable by compass and straightedge constructions. But what kind of object is proven to be non-existing by usual arguments? These arguments refer to an intuitive idea of a geometric construction as a special kind of an `algorithm' using restricted means (straightedge and/or compass). However, the formalization is not obvious, and different descriptions existing in the literature are far from being complete and clear. We discuss the history of this notion and a possible definition in terms of a simple game


title: Comparison of magnetic and structural properties of permalloy Ni80Fe20 grown by dc and high power impulse magnetron sputtering

abstract: We study the microstructure and magnetic properties of Ni80Fe20 thin films grown by high power impulse magnetron sputtering (HiPIMS), and compare with films grown by dc magnetron sputtering (dcMS). The films were grown under a tilt angle of 35{\deg} to identical thickness of 37 nm using both techniques, at different pressure (0.13-0.73 Pa) and substrate temperature (room temperature and 100 {\deg}C). All of our films display effective in-plane uniaxial anisotropy with square easy axis and linear hard axis magnetization traces. X-ray diffraction reveals that there is very little change in grain size within the pressure and temperature ranges explored. However, variations in film density, obtained by X-ray reflectivity measurements, with pressure have a significant effect on magnetic properties such as anisotropy field (Hk) and coercivity (Hc). Depositions where adatom energy is high produce dense films, while low adatom energy results in void-rich films with higher Hk and Hc. The latter applies to our dcMS deposited films at room temperature and high pressure. However, the HiPIMS deposition method gives higher adatom energy than the dcMS and results in dense films with low Hk and Hc. The surface roughness is found to increase with increased pressure, in all cases, however it showed negligible contribution to the increase in Hk and Hc.


title: Approximation complexity of homogeneous sums of random processes

abstract: We study approximation properties of additive random fields $Y_d$, $d\in\mathbb{N}$, which are sums of zero-mean random processes with the same continuous covariance functions. The average case approximation complexity $n^{Y_d}(\varepsilon)$ is defined as the minimal number of evaluations of arbitrary linear functionals needed to approximate $Y_d$, with relative $2$-average error not exceeding a given threshold $\varepsilon\in(0,1)$. We investigate the growth of $n^{Y_d}(\varepsilon)$ for arbitrary fixed $\varepsilon\in(0,1)$ and $d\to\infty$. The results are applied to sums of standard Wiener processes.


title: Decidability results for ATL* with imperfect information and perfect recall

abstract: Alternating-time Temporal Logic (ATL*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*i ) is well known to have an undecidable model-checking problem when agents have perfect recall. Studies have thus mostly focused either on agents without memory, or on alternative semantics to retrieve decidability. In this work we establish new decidability results for agents with perfect recall: We first prove a meta-theorem that allows the transfer of decidability results for classes of multiplayer games with imperfect information, such as games with hierarchical observation, to the model-checking problem for ATL*i . We then establish that model checking ATL* with strategy context and imperfect information is decidable when restricted to hierarchical instances.


title: Potential theory on Sierpinski carpets with applications to uniformization

abstract: This research is motivated by the study of the geometry of fractal sets and is focused on uniformization problems: transformation of sets to canonical sets, using maps that preserve the geometry in some sense. More specifically, the main question addressed is the uniformization of planar Sierpinski carpets by square Sierpinski carpets, using methods of potential theory on carpets. We first develop a potential theory and study harmonic functions on planar Sierpinski carpets. We introduce a discrete notion of Sobolev spaces on Sierpinski carpets and use this to define harmonic functions. Our approach differs from the classical approach of potential theory in metric spaces because it takes the ambient space that contains the carpet into account. We prove basic properties such as the existence and uniqueness of the solution to the Dirichlet problem, Liouville's theorem, Harnack's inequality, strong maximum principle, and equicontinuity of harmonic functions. Then we utilize this notion of harmonic functions to prove a uniformization result for Sierpinski carpets. Namely, it is proved that every planar Sierpinski carpet whose peripheral disks are uniformly fat, uniform quasiballs can be mapped to a square Sierpinski carpet with a map that preserves carpet modulus. If the assumptions on the peripheral circles are strengthened to uniformly relatively separated, uniform quasicircles, then the map is a quasisymmetry. The real part of the uniformizing map is the solution of a certain Dirichlet-type problem. Then a harmonic conjugate of that map is constructed using the methods developed by Rajala arXiv:1412.3348.


title: Effective Hopping in Holographic Bose and Fermi-Hubbard Models

abstract: In this paper, we analyze a proposed gravity dual to a $SU(N)$ Bose-Hubbard model, as well as construct a holographic dual of a $SU(N)$ Fermi-Hubbard model from D-branes in string theory. In both cases, the $SU(N)$ is dynamical, i.e. the hopping degrees of freedom are strongly coupled to $SU(N)$ gauge bosons which themselves are strongly interacting. The vacuum expectation value (VEV) of the hopping term (i.e. the hopping energy) is analyzed in the gravity dual as a function of the bulk mass of the field dual to the hopping term, as well as of the coupling constants of the model. The bulk mass controls the anomalous dimension (i.e. the critical exponent) of the hopping term in the $SU(N)$ Bose-Hubbard model. We compare the hopping energy to the corresponding result in a numerical simulation of the ungauged $SU(N)$ Bose-Hubbard model. We find agreement when the hopping parameter is smaller than the other couplings. Our analysis shows that the kinetic energy increases as the bulk mass increases, due to increased contributions from the IR. The holographic Bose-Hubbard model is then compared with the string theory construction of a $SU(N)$ Fermi-Hubbard model. The string theory construction makes it possible to describe fluctuations around a half-filled state in the supergravity limit, which map to ${\cal O}(1)$ occupation number fluctuations in the Fermi-Hubbard model at half filling. Finally, the VEV of the Bose-Hubbard model is shown to agree with the one of the fermionic Hubbard model with the help of a two-site version of the Jordan-Wigner transformation.


title: Large-c superconformal torus blocks

abstract: We study large-c SCFT2 on a torus specializing to one-point superblocks in the N=1 Neveu-Schwarz sector. Considering different contractions of the Neveu-Schwarz superalgebra related to the large central charge limit we explicitly calculate three superblocks, osp(1|2) global, light, and heavy-light superblocks, and show that they are related to each other. We formulate the osp(1|2) superCasimir eigenvalue equations and identify their particular solutions as the global superblocks. It is shown that the resulting differential equations are the Heun equations. We study exponentiated global superblocks arising at large conformal dimensions and demonstrate that in the leading approximation the osp(1|2) superblocks are equal to the non-supersymmetric sl(2) block.


title: Age of Information in G/G/1/1 Systems

abstract: We consider a single server communication setting where the interarrival times of data updates at the source node and the service times to the destination node are arbitrarily distributed. We consider two service discipline models. If a new update arrives when the service is busy, it is dropped in the first model; and it preempts the current update in the second model. For both models, we derive exact expressions for the age of information metric with no restriction on the distributions of interarrival and service times. In addition, we derive upper bounds that are easier to calculate than the exact expressions. In the case with dropping, we also derive a second upper bound by utilizing stochastic ordering if the interarrival times have decreasing mean residual life (DMRL) and service times have new better than use in expectation (NBUE) property.


title: Fast Hybrid Schemes for Fractional Riccati Equations (Rough is not so Tough)

abstract: We solve a family of fractional Riccati differential equations with constant (possibly complex) coefficients. These equations arise, e.g., in fractional Heston stochastic volatility models, that have received great attention in the recent financial literature thanks to their ability to reproduce a rough volatility behavior. We first consider the case of a zero initial value corresponding to the characteristic function of the log-price. Then we investigate the case of a general starting value associated to a transform also involving the volatility process. The solution to the fractional Riccati equation takes the form of power series, whose convergence domain is typically finite. This naturally suggests a hybrid numerical algorithm to explicitly obtain the solution also beyond the convergence domain of the power series representation. Our numerical tests show that the hybrid algorithm turns out to be extremely fast and stable. When applied to option pricing, our method largely outperforms the only available alternative in the literature, based on the Adams method.


title: Tame Galois module structure revisited

abstract: A number field $K$ is Hilbert-Speiser if all of its tame abelian extensions $L/K$ admit NIB (normal integral basis). It is known that $\mathbb{Q}$ is the only such field, but when we restrict $\text{Gal}(L/K)$ to be a given group $G$, the classification of $G$-Hilbert-Speiser fields is far from complete. In this paper, we present new results on so-called $G$-Leopoldt fields. In their definition, NIB is replaced by ``weak NIB'' (defined below). Most of our results are negative, in the sense that they strongly limit the class of $G$-Leopoldt fields for some particular groups $G$, sometimes even leading to an exhaustive list of such fields or at least to a finiteness result. In particular we are able to correct a small oversight in a recent article by Ichimura concerning Hilbert-Speiser fields.


title: Fast, Diverse and Accurate Image Captioning Guided By Part-of-Speech

abstract: Image captioning is an ambiguous problem, with many suitable captions for an image. To address ambiguity, beam search is the de facto method for sampling multiple captions. However, beam search is computationally expensive and known to produce generic captions. To address this concern, some variational auto-encoder (VAE) and generative adversarial net (GAN) based methods have been proposed. Though diverse, GAN and VAE are less accurate. In this paper, we first predict a meaningful summary of the image, then generate the caption based on that summary. We use part-of-speech as summaries, since our summary should drive caption generation. We achieve the trifecta: (1) High accuracy for the diverse captions as evaluated by standard captioning metrics and user studies; (2) Faster computation of diverse captions compared to beam search and diverse beam search; and (3) High diversity as evaluated by counting novel sentences, distinct n-grams and mutual overlap (i.e., mBleu-4) scores.


title: The Gaia 20 pc white dwarf sample

abstract: Using Gaia DR2 data, we present an up-to-date sample of white dwarfs within 20 pc of the Sun. In total we identified 139 systems in Gaia DR2, nine of which are new detections, with the closest of these located at a distance of 13.05 pc. We estimated atmospheric parameters for all stellar remnants based on the Gaia parallaxes and photometry. The high precision and completeness of the Gaia astrometry allowed us to search for wide binary companions. We re-identified all known binaries where both components have accurate DR2 astrometry, and established the binarity of one of the nine newly identified white dwarfs. No new companions were found to previously known 20 pc white dwarfs. Finally, we estimated the local white dwarf space-density to be $(4.49\pm0.38)\times10^{-3}$ pc$^{-3}$, having given careful consideration to the distance-dependent Gaia completeness, which misses known objects at short distances, but is close to complete for white dwarfs near 20 pc.


title: On Acceleration with Noise-Corrupted Gradients

abstract: Accelerated algorithms have broad applications in large-scale optimization, due to their generality and fast convergence. However, their stability in the practical setting of noise-corrupted gradient oracles is not well-understood. This paper provides two main technical contributions: (i) a new accelerated method AGDP that generalizes Nesterov's AGD and improves on the recent method AXGD (Diakonikolas & Orecchia, 2018), and (ii) a theoretical study of accelerated algorithms under noisy and inexact gradient oracles, which is supported by numerical experiments. This study leverages the simplicity of AGDP and its analysis to clarify the interaction between noise and acceleration and to suggest modifications to the algorithm that reduce the mean and variance of the error incurred due to the gradient noise.


title: Strategy Logic with Imperfect Information

abstract: We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, the problem turns out to be undecidable. We introduce a syntactical class of "hierarchical instances" for which, intuitively, as one goes down the syntactic tree of the formula, strategy quantifications are concerned with finer observations of the model. We prove that model-checking SLii restricted to hierarchical instances is decidable. This result, because it allows for complex patterns of existential and universal quantification on strategies, greatly generalises previous ones, such as decidability of multi-player games with imperfect information and hierarchical observations, and decidability of distributed synthesis for hierarchical systems. To establish the decidability result, we introduce and study QCTL*ii, an extension of QCTL* (itself an extension of CTL* with second-order quantification over atomic propositions) by parameterising its quantifiers with observations. The simple syntax of QCTL* ii allows us to provide a conceptually neat reduction of SLii to QCTL*ii that separates concerns, allowing one to forget about strategies and players and focus solely on second-order quantification. While the model-checking problem of QCTL*ii is, in general, undecidable, we identify a syntactic fragment of hierarchical formulas and prove, using an automata-theoretic approach, that it is decidable. The decidability result for SLii follows since the reduction maps hierarchical instances of SLii to hierarchical formulas of QCTL*ii .


title: Spherically symmetric charged black hole in conformal teleparallel equivalent of general relativity

abstract: We study 4-dimensional non-charged and charged spherically symmetric spacetimes in conformal teleparallel equivalent of general relativity. We apply the gravitational field equations in non-charged and charged spacetimes to the diagonal and non-diagonal vierbeins and derive their sets of the non-linear differential equations. It is demonstrated that the Schwarzschild, for the non-charged case, and the Reissner-Nordstr\"om, for the charged case, are the only black hole solutions for the spherically symmetric case in the framework of the conformal teleparallel equivalent of general relativity theory. As a result, it is found that in the conformal teleparallel equivalent of general relativity theory, the scalar field cannot have any effect for the spherically symmetric manifold.


title: Evaluation of Reduced-Graphene-Oxide Aligned with WO3-Nanorods as Support for Pt Nanoparticles during Oxygen Electroreduction in Acid Medium

abstract: Hybrid supports composed of chemically-reduced graphene-oxide-aligned with tungsten oxide nanowires are considered here as active carriers for dispersed platinum with an ultimate goal of producing improved catalysts for electroreduction of oxygen in acid medium. Here WO3 nanostructures are expected to be attached mainly to the edges of graphene thus making the hybrid structure not only highly porous but also capable of preventing graphene stacking and creating numerous sites for the deposition of Pt nanoparticles. Comparison has been made to the analogous systems utilizing neither reduced graphene oxide nor tungsten oxide component. By over-coating the reduced-graphene-oxide support with WO3 nanorods, the electrocatalytic activity of the system toward the reduction of oxygen in acid medium has been enhanced even at the low Pt loading of 30 microg cm-2. The RRDE data are consistent with decreased formation of hydrogen peroxide in the presence of WO3. Among important issues are such features of the oxide as porosity, large population of hydroxyl groups, high Broensted acidity, as well as fast electron transfers coupled to unimpeded proton displacements. The conclusions are supported with mechanistic and kinetic studies involving double-potential-step chronocoulometry as an alternative diagnostic tool to rotating ring-disk voltammetry.


title: The Arbitrarily Varying Gaussian Relay Channel with Sender Frequency Division

abstract: We consider the arbitrarily varying Gaussian relay channel with sender frequency division. We determine the random code capacity, and establish lower and upper bounds on the deterministic code capacity. It is observed that when the channel input is subject to a low power limit, the deterministic code capacity may be strictly lower than the random code capacity, and the gap vanishes as the input becomes less constrained. A second model addressed in this paper is the general case of primitive arbitrarily varying relay channels. We develop lower and upper bounds on the random code capacity, and give conditions under which the deterministic code capacity coincides with the random code capacity, and conditions under which it is lower. Then, we establish the capacity of the primitive counterpart of the arbitrarily varying Gaussian relay channel with sender frequency division. In this case, the deterministic and random code capacities are the same.


title: The progenitors of compact-object binaries: impact of metallicity, common envelope and natal kicks

abstract: Six gravitational wave events have been reported by the LIGO-Virgo collaboration (LVC), five of them associated with black hole binary (BHB) mergers and one with a double neutron star (DNS) merger, while the coalescence of a black hole-neutron star (BHNS) binary is still missing. We investigate the progenitors of double compact object binaries with our population-synthesis code MOBSE. MOBSE includes advanced prescriptions for mass loss by stellar winds (depending on metallicity and on the Eddington ratio) and a formalism for core-collapse, electron-capture and (pulsational) pair instability supernovae. We investigate the impact of progenitor's metallicity, of the common-envelope parameter $\alpha{}$ and of the natal kicks on the properties of DNSs, BHNSs and BHBs. We find that neutron-star (NS) masses in DNSs span from 1.1 to 2.0 M$_\odot$, with a preference for light NSs, while NSs in merging BHNSs have mostly large masses ($1.3-2.0$ M$_\odot$). BHs in merging BHNSs are preferentially low mass ($5-15$ M$_\odot$). BH masses in merging BHBs strongly depend on the progenitor's metallicity and span from $\sim{}5$ to $\sim{}45$ M$_\odot$. The local merger rate density of both BHNSs and BHBs derived from our simulations is consistent with the values reported by the LVC in all our simulations. In contrast, the local merger rate density of DNSs matches the value inferred from the LVC only if low natal kicks are assumed. This result adds another piece to the intricate puzzle of natal kicks and DNS formation.


title: The permanent functions of tensors

abstract: By a tensor we mean a multidimensional array (matrix) or hypermatrix over a number field. This article aims to set an account of the studies on the permanent functions of tensors. We formulate the definitions of 1-permanent, 2-permanent, and $k$-permanent of a tensor in terms of hyperplanes, planes and $k$-planes of the tensor; we discuss the polytopes of stochastic tensors; at end we present an extension of the generalized matrix function for tensors.


title: A mixture model for aggregation of multiple pre-trained weak classifiers

abstract: Deep networks have gained immense popularity in Computer Vision and other fields in the past few years due to their remarkable performance on recognition/classification tasks surpassing the state-of-the art. One of the keys to their success lies in the richness of the automatically learned features. In order to get very good accuracy, one popular option is to increase the depth of the network. Training such a deep network is however infeasible or impractical with moderate computational resources and budget. The other alternative to increase the performance is to learn multiple weak classifiers and boost their performance using a boosting algorithm or a variant thereof. But, one of the problems with boosting algorithms is that they require a re-training of the networks based on the misclassified samples. Motivated by these problems, in this work we propose an aggregation technique which combines the output of multiple weak classifiers. We formulate the aggregation problem using a mixture model fitted to the trained classifier outputs. Our model does not require any re-training of the `weak' networks and is computationally very fast (takes $<30$ seconds to run in our experiments). Thus, using a less expensive training stage and without doing any re-training of networks, we experimentally demonstrate that it is possible to boost the performance by $12\%$. Furthermore, we present experiments using hand-crafted features and improved the classification performance using the proposed aggregation technique. One of the major advantages of our framework is that our framework allows one to combine features that are very likely to be of distinct dimensions since they are extracted using different networks/algorithms. Our experimental results demonstrate a significant performance gain from the use of our aggregation technique at a very small computational cost.


title: Robust Real-time Ellipse Fitting Based on Lagrange Programming Neural Network and Locally Competitive Algorithm

abstract: Given a set of 2-dimensional (2-D) scattering points, which are usually obtained from the edge detection process, the aim of ellipse fitting is to construct an elliptic equation that best fits the collected observations. However, some of the scattering points may contain outliers due to imperfect edge detection. To address this issue, we devise a robust real-time ellipse fitting approach based on two kinds of analog neural network, Lagrange programming neural network (LPNN) and locally competitive algorithm (LCA). First, to alleviate the influence of these outliers, the fitting task is formulated as a nonsmooth constrained optimization problem in which the objective function is either an l1-norm or l0-norm term. It is because compared with the l2-norm in some traditional ellipse fitting models, the lp-norm with p<2 is less sensitive to outliers. Then, to calculate a real-time solution of this optimization problem, LPNN is applied. As the LPNN model cannot handle the non-differentiable term in its objective, the concept of LCA is introduced and combined with the LPNN framework. Simulation and experimental results show that the proposed ellipse fitting approach is superior to several state-of-the-art algorithms.


title: Stellar population and star formation histories of distant Galactic H II regions NGC 2282 and Sh2-149 complex

abstract: We present here the recent results on two distant Galactic H II regions, namely NGC~2282 and Sh2-149, obtained with multiwavelength observations. Our optical spectroscopic analysis of the bright sources have been used to identify the massive members, and to derive the fundamental parameters such as age and distance of these regions. Using IR colour-colour criteria and H$_\alpha$-emission properties, we have identified and classified the candidate young stellar objects (YSOs) in these regions. The $^{12}$CO(1-0) continuum maps along with the {\it K}-band extinction maps, and spatial distribution of YSOs are used to investigate the structure and morphology of the molecular cloud associated with these H II regions. Overall analysis of these regions suggests that the star formation occurs at the locations of the denser gas, and we also find possible evidence of the induced star formation due to the feedback from massive stars to its surrounding molecular medium.


title: Towards Affective Drone Swarms: A Preliminary Crowd-Sourced Study

abstract: Drone swarms are teams of autonomous un-manned aerial vehicles that act as a collective entity. We are interested in humanizing drone swarms, equipping them with the ability to emotionally affect human users through their non-verbal motions. Inspired by recent findings in how observers are emotionally touched by watching dance moves, we investigate the questions of whether and how coordinated drone swarms' motions can achieve emotive impacts on general audience. Our preliminary study on Amazon Mechanical Turk led to a number of interesting findings, including both promising results and challenges.


title: Multi-Layered Gradient Boosting Decision Trees

abstract: Multi-layered representation is believed to be the key ingredient of deep neural networks especially in cognitive tasks like computer vision. While non-differentiable models such as gradient boosting decision trees (GBDTs) are the dominant methods for modeling discrete or tabular data, they are hard to incorporate with such representation learning ability. In this work, we propose the multi-layered GBDT forest (mGBDTs), with an explicit emphasis on exploring the ability to learn hierarchical representations by stacking several layers of regression GBDTs as its building block. The model can be jointly trained by a variant of target propagation across layers, without the need to derive back-propagation nor differentiability. Experiments and visualizations confirmed the effectiveness of the model in terms of performance and representation learning ability.


title: Topological dualities in the Ising model

abstract: We relate two classical dualities in low-dimensional quantum field theory: Kramers-Wannier duality of the Ising and related lattice models in $2$ dimensions, with electromagnetic duality for finite gauge theories in $3$ dimensions. The relation is mediated by the notion of boundary field theory: Ising models are boundary theories for pure gauge theory in one dimension higher. Thus the Ising order/disorder operators are endpoints of Wilson/'t Hooft defects of gauge theory. Symmetry breaking on low-energy states reflects the multiplicity of topological boundary states. In the process we describe lattice theories as (extended) topological field theories with boundaries and domain walls. This allows us to generalize the duality to non-abelian groups; finite, semi-simple Hopf algebras; and, in a different direction, to finite homotopy theories in arbitrary dimension.

categories: math.AT cond-mat.str-el hep-th math-ph math.MP


title: The number of the non-full-rank Steiner triple systems

abstract: The $p$-rank of a Steiner triple system $B$ is the dimension of the linear span of the set of characteristic vectors of blocks of $B$, over GF$(p)$. We derive a formula for the number of different Steiner triple systems of order $v$ and given $2$-rank $r_2$, $r_2<v$, and a formula for the number of Steiner triple systems of order $v$ and given $3$-rank $r_3$, $r_3<v-1$. Also, we prove that there are no Steiner triple systems of $2$-rank smaller than $v$ and, at the same time, $3$-rank smaller than $v-1$. Our results extend previous work on enumerating Steiner triple systems according to the rank of their codes, mainly by Tonchev, V.A.Zinoviev and D.V.Zinoviev for the binary case and by Jungnickel and Tonchev for the ternary case.


title: Topological structure of spaces of stability conditions and topological Fukaya type categories

abstract: This is a survey on two closely related subjects. First, we review the study of topological structure of `finite type' components of spaces of Bridgeland's stability conditions on triangulated categories. The key is to understand Happel-Reiten-Smalo tilting as tiling of cells. Second, we review topological realizations of various Fukaya type categories, namely cluster/Calabi-Yau and derived categories from surfaces. The corresponding spaces of stability conditions are of `tame' nature and can be realized as moduli spaces of quadratic differentials due to Bridgeland-Smith and Haiden-Katzarkov-Kontsevich.


title: Implications of an Improved Neutron-Antineutron Oscillation Search for Baryogenesis: A Minimal Effective Theory Analysis

abstract: Future neutron-antineutron ($n$-$\bar n$) oscillation experiments, such as at the European Spallation Source and the Deep Underground Neutrino Experiment, aim to find first evidence of baryon number violation. We investigate implications of an improved $n$-$\bar n$ oscillation search for baryogenesis via interactions of $n$-$\bar n$ mediators, parameterized by an effective field theory (EFT). We find that even in a minimal EFT setup, there is overlap between the parameter space probed by $n$-$\bar n$ oscillation and the region that can realize the observed baryon asymmetry of the universe. The mass scales of exotic new particles are in the TeV-PeV regime, inaccessible at the LHC or its envisioned upgrades. Given the innumerable high energy theories that can match to, or resemble, the minimal EFT that we discuss, future $n$-$\bar n$ oscillation experiments could probe many viable theories of baryogenesis beyond the reach of other experiments.


title: Spatially resolved spectroscopy across stellar surfaces. III. Photospheric Fe I lines across HD189733A (K1 V)

abstract: Spectroscopy across spatially resolved stellar surfaces reveals spectral line profiles free from rotational broadening, whose gradual changes from disk center toward the stellar limb reflect an atmospheric fine structure that is possible to model by 3-D hydrodynamics. Previous studies of photospheric spectral lines across stellar disks exist for the Sun and HD209458 (G0 V) and are now extended to the planet-hosting HD189733A to sample a cooler K-type star and explore the future potential of the method. During exoplanet transit, stellar surface portions successively become hidden and differential spectroscopy between various transit phases uncovers spectra of small surface segments temporarily hidden behind the planet. In Paper I, observable signatures were predicted quantitatively from hydrodynamic simulations. From observations of HD189733A with the ESO HARPS spectrometer at R=115,000, profiles for stronger and weaker Fe I lines are retrieved at several center-to-limb positions, reaching adequate S/N after averaging over numerous similar lines. Retrieved line profile widths and depths are compared to synthetic ones from models with parameters bracketing those of the target star and are found to be consistent with 3-D simulations. Center-to-limb changes strongly depend on the surface granulation structure and much greater line-width variation is predicted in hotter F-type stars with vigorous granulation than in cooler K-types. Such parameters, obtained from fits to full line profiles, are realistic to retrieve for brighter planet-hosting stars, while their hydrodynamic modeling offers previously unexplored diagnostics for stellar atmospheric fine structure and 3-D line formation. Precise modeling may be required in searches for Earth-analog exoplanets around K-type stars, whose more tranquil surface granulation and lower ensuing microvariability may enable such detections.


title: Hectometer Revivals of Quantum Interference

abstract: Cavity-enhanced single photon sources exhibit mode-locked biphoton states with comb-like correlation functions. Our ultrabright source additionally emits either single photon pairs or two-photon NOON states, dividing the output into an even and an odd comb respectively. With even-comb photons we demonstrate revivals of the typical non-classical Hong-Ou-Mandel interference up to the 84th dip, corresponding to a path length difference exceeding 100 m. With odd-comb photons we observe single photon interference fringes modulated over twice the displacement range of the Hong-Ou-Mandel interference.


title: Approximating photo-$z$ PDFs for large surveys

abstract: Modern galaxy surveys produce redshift probability density functions (PDFs) in addition to traditional photometric redshift (photo-$z$) point estimates. However, the storage of photo-$z$ PDFs may present a challenge with increasingly large catalogs, as we face a trade-off between the accuracy of subsequent science measurements and the limitation of finite storage resources. This paper presents $\texttt{qp}$, a Python package for manipulating parametrizations of 1-dimensional PDFs, as suitable for photo-$z$ PDF compression. We use $\texttt{qp}$ to investigate the performance of three simple PDF storage formats (quantiles, samples, and step functions) as a function of the number of stored parameters on two realistic mock datasets, representative of upcoming surveys with different data qualities. We propose some best practices for choosing a photo-$z$ PDF approximation scheme and demonstrate the approach on a science case using performance metrics on both ensembles of individual photo-$z$ PDFs and an estimator of the overall redshift distribution function. We show that both the properties of the set of PDFs we wish to approximate and the chosen fidelity metric(s) affect the optimal parametrization. Additionally, we find that quantiles and samples outperform step functions, and we encourage further consideration of these formats for PDF approximation.


title: Radio-loudness in black hole transients: evidence for an inclination effect

abstract: Accreting stellar-mass black holes appear to populate two branches in a radio:X-ray luminosity plane. We have investigated the X-ray variability properties of a large number of black hole low-mass X-ray binaries, with the aim of unveiling the physical reasons underlying the radio-loud/radio-quiet nature of these sources, in the context of the known accretion-ejection connection. A reconsideration of the available radio and X-ray data from a sample of black hole X-ray binaries confirms that being radio-quiet is the more normal mode of behaviour for black hole binaries. In the light of this we chose to test, once more, the hypothesis that radio loudness could be a consequence of the inclination of the X-ray binary. We compared the slope of the `hard-line' (an approximately linear correlation between X-ray count rate and rms variability, visible in the hard states of active black holes), the orbital inclination, and the radio-nature of the sources of our sample. We found that high-inclination objects show steeper hard-lines than low-inclination objects, and tend to display a radio-quiet nature (with the only exception of V404 Cyg), as opposed to low-inclination objects, which appear to be radio-loud(er). While in need of further confirmation, our results suggest that - contrary to what has been believed for years - the radio-loud/quiet nature of black-hole low mass X-ray binaries might be an inclination effect, rather than an intrinsic source property. This would solve an important issue in the context of the inflow-outflow connection, thus providing significant constraints to the models for the launch of hard-state compact jets.


title: Freezing-in dark matter through a heavy invisible $Z'$

abstract: We demonstrate that in a class of the $U(1)'$ extension of the Standard Model (SM), under which all the Standard Model matter fields are uncharged and the additional neutral gauge boson $Z'$ couples to a set of heavy nonstandard fermions, dark matter (DM) production mediated by $Z'$ can proceed through the generation of generalized Chern-Simons (GCS) couplings. The origin of the GCS terms is intimately connected to the cancellation of gauge anomalies. We show that the DM production cross section triggered by GCS couplings is sufficient even for an intermediate scale $Z'$ . A large range of DM and Z masses is then allowed for reasonably high reheating temperature ($T_\rh \gtrsim 10^{10}~\text{GeV}$). This type of scenario opens up a new paradigm for unified models. We also study the UV completion of such effective field theory constructions, augmenting it by a heavy fermionic spectrum. The latter, when integrated out, generates the GCS-like terms and provides a new portal to the dark sector. The presence of a number of derivative couplings in the GCS-like operators induces a high temperature dependence to the DM production rate. The mechanism has novel consequences and leads to a new reheating dependence of the relic abundance.


title: Jacobi Mapping Approach for a Precise Cosmological Weak Lensing Formalism

abstract: Cosmological weak lensing has been a highly successful and rapidly developing research field since the first detection of cosmic shear in 2000. However, it has recently been pointed out in Yoo et al. that the standard weak lensing formalism yields gauge-dependent results and, hence, does not meet the level of accuracy demanded by the next generation of weak lensing surveys. Here, we show that the Jacobi mapping formalism provides a solid alternative to the standard formalism, as it accurately describes all the relativistic effects contributing to the weak lensing observables. We calculate gauge-invariant expressions for the distortion in the luminosity distance, the cosmic shear components and the lensing rotation to linear order including scalar, vector and tensor perturbations. In particular, the Jacobi mapping formalism proves that the rotation is fully vanishing to linear order. Furthermore, the cosmic shear components contain an additional term in tensor modes which is absent in the results obtained with the standard formalism. Our work provides further support and confirmation of the gauge-invariant lensing formalism needed in the era of precision cosmology.


title: Is Extraterrestrial Life Suppressed on Subsurface Ocean Worlds due to the Paucity of Bioessential Elements?

abstract: The availability of bioessential elements for "life as we know it", such as phosphorus (P) or possibly molybdenum (Mo), is expected to restrict the biological productivity of extraterrestrial biospheres. Here, we consider worlds with subsurface oceans and model the dissolved concentrations of bioessential elements. In particular, we focus on the sources and sinks of P (available as phosphates), and find that the average steady-state oceanic concentration of P is likely to be lower than the corresponding value on Earth by a few orders of magnitude, provided that the oceans are alkaline and possess hydrothermal activity. While our result does not eliminate the prospects of life on subsurface worlds like Enceladus, it suggests that the putative biospheres might be oligotrophic, and perhaps harder to detect. Along these lines, potential biospheres in the clouds of Venus may end up being limited by the availability of Mo. We also point out the possibility that stellar spectroscopy can be used to deduce potential constraints on the availability of bioessential elements on planets and moons.


title: Quantum dynamics with stochastic reset

abstract: We study non-equilibrium dynamics of integrable and non-integrable closed quantum systems whose unitary evolution is interrupted with stochastic resets, characterized by a reset rate $r$, that project the system to its initial state. We show that the steady state density matrix of a non-integrable system, averaged over the reset distribution, retains its off-diagonal elements for any finite $r$. Consequently a generic observable $\hat O$, whose expectation value receives contribution from these off-diagonal elements, never thermalizes under such dynamics for any finite $r$. We demonstrate this phenomenon by exact numerical studies of experimentally realizable models of ultracold bosonic atoms in a tilted optical lattice. For integrable Dirac-like fermionic models driven periodically between such resets, the reset-averaged steady state is found to be described by a family of generalized Gibbs ensembles (GGE s) characterized by $r$. We also study the spread of particle density of a non-interacting one-dimensional fermionic chain, starting from an initial state where all fermions occupy the left half of the sample, while the right half is empty. When driven by resetting dynamics, the density profile approaches at long times to a nonequilibrium stationary profile that we compute exactly. We suggest concrete experiments that can possibly test our theory.


title: Stellar models with calibrated convection and temperature stratification from 3D hydrodynamics simulations

abstract: Stellar evolution codes play a major role in present-day astrophysics, yet they share common simplifications related to the outer layers of stars. We seek to improve on this by the use of results from realistic and highly detailed 3D hydrodynamics simulations of stellar convection. We implement a temperature stratification extracted directly from the 3D simulations into two stellar evolution codes to replace the simplified atmosphere normally used. Our implementation also contains a non-constant mixing-length parameter, which varies as a function of the stellar surface gravity and temperature -- also derived from the 3D simulations. We give a detailed account of our fully consistent implementation and compare to earlier works, and also provide a freely available MESA-module. The evolution of low-mass stars with different masses is investigated, and we present for the first time an asteroseismic analysis of a standard solar model utilising calibrated convection and temperature stratification from 3D simulations. We show that the inclusion of 3D results have an almost insignificant impact on the evolution and structure of stellar models -- the largest effect are changes in effective temperature of order 30 K seen in the pre-main sequence and in the red-giant branch. However, this work provides the first step for producing self-consistent evolutionary calculations using fully incorporated 3D atmospheres from on-the-fly interpolation in grids of simulations.


title: A Microscopic Description of Displacive Coherent Phonons

abstract: We develop a Hamiltonian-based microscopic description of laser pump induced displacive coherent phonons. The theory captures the feedback of the phonon excitation upon the electronic fluid, which is missing in the state-of-the-art phenomenological formulation. We show that this feedback leads to chirping at short time scales, even if the phonon motion is harmonic. At long times this feedback appears as a finite phase in the oscillatory signal. We apply the theory to BaFe$_2$As$_2$, explain the origin of the phase in the oscillatory signal reported in recent experiments, and we predict that the system will exhibit red-shifted chirping at larger fluence. Our theory also opens the possibility to extract equilibrium information from coherent phonon dynamics.


title: Scrambling and entanglement spreading in long-range spin chains

abstract: We study scrambling in connection to multipartite entanglement dynamics in regular and chaotic long-range spin chains, characterized by a well defined semi-classical limit. For regular dynamics, scrambling and entanglement dynamics are found to be very different: up to the Ehrenfest time they rise side by side departing only afterwards. Entanglement saturates and becomes extensively multipartite, while scrambling continues its growth up to the recurrence time. Remarkably, the exponential behaviour of scrambling emerges not only in the chaotic case, but also in the regular one, when the dynamics occurs at a dynamical critical point.


title: Proposal for an analog Schwarzschild black hole in condensates of light

abstract: By etching a hole in the mirrors or by placing a scatterer in the center of a cavity, we can create a sink for light. In a Bose-Einstein condensate of photons this sink results in the creation of a so-called radial vortex, which is a two-dimensional analogue of a Schwarzschild black hole. We theoretically investigate the Hawking radiation and the associated greybody factor of this Schwarzschild black hole. In particular, we determine the density-density and velocity-velocity correlation functions of the Hawking radiation, which can be measured by observing the spatial correlations in the fluctuations in the light emitted by the cavity.


title: Monopole Bubbling via String Theory

abstract: In this paper, we propose a string theory description of generic 't Hooft defects in $\mathcal{N}=2$ $SU(N)$ supersymmetric gauge theories. We show that the space of supersymmetric ground states is given by the moduli space of singular monopoles and that in this setting, Kronheimer's correspondence is realized as T-duality. We conjecture that this brane configuration can be used to study the full dynamics of monopole bubbling.


title: Quantifying memory capacity as a quantum thermodynamic resource

abstract: The information-carrying capacity of a memory is known to be a thermodynamic resource facilitating the conversion of heat to work. Szilard's engine explicates this connection through a toy example involving an energy-degenerate two-state memory. We devise a formalism to quantify the thermodynamic value of memory in general quantum systems with nontrivial energy landscapes. Calling this the thermal information capacity, we show that it converges to the non-equilibrium Helmholtz free energy in the thermodynamic limit. We compute the capacity exactly for a general two-state (qubit) memory away from the thermodynamic limit, and find it to be distinct from known free energies. We outline an explicit memory--bath coupling that can approximate the optimal qubit thermal information capacity arbitrarily well.


title: Chiral Flow in One-dimensional Floquet Topological Insulators

abstract: We propose a bulk topological invariant for one-dimensional Floquet systems with chiral symmetry which quantifies the particle transport on each sublattice during the evolution. This chiral flow is physically motivated, locally computable, and improves on existing topological invariants by being applicable to systems with disorder. We derive a bulk-edge correspondence which relates the chiral flow to the number of protected dynamical edge modes present on a boundary at the end of the evolution. In the process, we introduce two real-space edge invariants which classify the dynamical topological boundary behavior at various points during the evolution. Our results provide the first explicit bulk-boundary correspondence for Floquet systems in this symmetry class.


title: Spectroscopic orbits of subsystems in multiple stars. III

abstract: Spectroscopic orbits are computed for inner pairs in six nearby hierarchical multiple systems (HIP 35733, 95106/95110, 105441, 105585/105569, 105947, and 109951). Radial velocities and resolved measurements, when available, are used to derive combined sets of outer orbital elements for three systems. Each multiple system is discussed individually. Additionally, HIP 115087 is a simple 7.9 day single-lined binary. Although the minimum companion mass is sub-stellar (in the brown dwarf desert regime), it appears to be a 0.2 solar-mass star in a low-inclination orbit.


title: Reasoning about Knowledge and Strategies under Hierarchical Information

abstract: Two distinct semantics have been considered for knowledge in the context of strategic reasoning, depending on whether players know each other's strategy or not. The problem of distributed synthesis for epistemic temporal specifications is known to be undecidable for the latter semantics, already on systems with hierarchical information. However, for the other, uninformed semantics, the problem is decidable on such systems. In this work we generalise this result by introducing an epistemic extension of Strategy Logic with imperfect information. The semantics of knowledge operators is uninformed, and captures agents that can change observation power when they change strategies. We solve the model-checking problem on a class of "hierarchical instances", which provides a solution to a vast class of strategic problems with epistemic temporal specifications on hierarchical systems, such as distributed synthesis or rational synthesis.


title: Jain hierarchy for the Fractional Quantum Hall Effect

abstract: We propose the effective hierarchical partition function which is able to describe both the Jain states and the Jain-type hierarchical states. Using this partition function (effective Lagrangian) we calculate the charge of the quasiparticle excitations. We show that the Jain-type hierarchical states are equivalent to the system of anyons in the external magnetic field.

categories: cond-mat.mes-hall hep-th math-ph math.MP


title: Pairs of Theories Satisfying a Mordell-Lang Condition

abstract: This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and $H$-structures, but also includes new ones, such as pairs consisting of a real closed field and a pseudo real closed subfield, and pairs of vector spaces with different fields of scalars. We use the larger generality of this framework to answer three concrete open questions raised in earlier work on this subject.


title: Computational Serendipity and Tensor Product Finite Element Differential Forms

abstract: Many conforming finite elements on squares and cubes are elegantly classified into families by the language of finite element exterior calculus and presented in the Periodic Table of the Finite Elements. Use of these elements varies, based principally on the ease or difficulty in finding a "computational basis" of shape functions for element families. The tensor product family, $Q^-_r\Lambda^k$, is most commonly used because computational basis functions are easy to state and implement. The trimmed and non-trimmed serendipity families, $S^-_r\Lambda^k$ and $S_r\Lambda^k$ respectively, are used less frequently because they are newer to the community and, until now, lacked a straightforward technique for computational basis construction. This represents a missed opportunity for computational efficiency as the serendipity elements in general have fewer degrees of freedom than elements of equivalent accuracy from the tensor product family. Accordingly, in pursuit of easy adoption of the serendipity families, we present complete lists of computational bases for both serendipity families, for any order $r\geq 1$ and for any differential form order $0\leq k\leq n$, for problems in dimension $n=2$ or $3$. The bases are defined via shared subspace structures, allowing easy comparison of elements across families. We use and include code in SageMath to find, list, and verify these computational basis functions.


title: On multiple $\Delta_{\omega}$-Appell polynomials

abstract: In this paper, we give a generating function for Multiple Charlier polynomials and deduce several consequences for these polynomials as invertion formula, connection formula, addition formula and recurrences relations they satisfy. Next, we introduce the notion of multiple $\Delta_{\omega}$ polynomials and prove several equivalent conditions for this class of polynomials. Also, we give a characterization theorem that if multiple $\Delta_1$ polynomials are also multiple orthogonal, then they are the multiple Charlier polynomials.


title: Minimal pseudo-Anosov stretch factors on nonoriented surfaces

abstract: We determine the smallest stretch factor among pseudo-Anosov maps with an orientable invariant foliation on the closed nonorientable surfaces of genus 4, 5, 6, 7, 8, 10, 12, 14, 16, 18 and 20. We also determine the smallest stretch factor of an orientation-reversing pseudo-Anosov map with orientable invariant foliations on the closed orientable surfaces of genus 1, 3, 5, 7, 9 and 11. As a byproduct, we obtain that the stretch factor of a pseudo-Anosov map on a nonorientable surface or an orientation-reversing pseudo-Anosov map on an orientable surface does not have Galois conjugates on the unit circle. This shows that the techniques that were used to disprove Penner's conjecture on orientable surfaces are ineffective in the nonorientable cases.


title: Near-Balanced Incomplete Block Designs with An Application to Poster Competitions

abstract: Judging scholarly posters creates a challenge to assign the judges efficiently. If there are many posters and few reviews per judge, the commonly used Balanced Incomplete Block Design is not a feasible option. An additional challenge is an unknown number of judges before the event. We propose two connected near-balanced incomplete block designs that both satisfy the requirements of our setting: one that generates a connected assignment and balances the treatments and another one that further balances pairs of treatments. We describe both fixed and random effects models to estimate the population marginal means of the poster scores and rationalize the use of the random effects model. We evaluate the estimation accuracy and efficiency, especially the winning chance of the truly best posters, of the two designs in comparison with a random assignment via simulation studies. The two proposed designs both demonstrate accuracy and efficiency gains over the random assignment.


title: Assessing Generative Models via Precision and Recall

abstract: Recent advances in generative modeling have led to an increased interest in the study of statistical divergences as means of model comparison. Commonly used evaluation methods, such as the Frechet Inception Distance (FID), correlate well with the perceived quality of samples and are sensitive to mode dropping. However, these metrics are unable to distinguish between different failure cases since they only yield one-dimensional scores. We propose a novel definition of precision and recall for distributions which disentangles the divergence into two separate dimensions. The proposed notion is intuitive, retains desirable properties, and naturally leads to an efficient algorithm that can be used to evaluate generative models. We relate this notion to total variation as well as to recent evaluation metrics such as Inception Score and FID. To demonstrate the practical utility of the proposed approach we perform an empirical study on several variants of Generative Adversarial Networks and Variational Autoencoders. In an extensive set of experiments we show that the proposed metric is able to disentangle the quality of generated samples from the coverage of the target distribution.


title: Bayesian Uncertainty Quantification in Inverse Modelling of Electrochemical Systems

abstract: This study proposes a novel approach to quantifying uncertainties of constitutive relations inferred from noisy experimental data using inverse modelling. We focus on electrochemical systems in which charged species (e.g., Lithium ions) are transported in electrolyte solutions under an applied current. Such systems are typically described by the Planck-Nernst equation in which the unknown material properties are the diffusion coefficient and the transference number assumed constant or concentration-dependent. These material properties can be optimally reconstructed from time- and space-resolved concentration profiles measured during experiments using the Magnetic Resonance Imaging (MRI) technique. However, since the measurement data is usually noisy, it is important to quantify how the presence of noise affects the uncertainty of the reconstructed material properties. We address this problem by developing a state-of-the-art Bayesian approach to uncertainty quantification in which the reconstructed material properties are recast in terms of probability distributions, allowing us to rigorously determine suitable confidence intervals. The proposed approach is first thoroughly validated using "manufactured" data exhibiting the expected behavior as the magnitude of noise is varied. Then, this approach is applied to quantify the uncertainty of the diffusion coefficient and the transference number reconstructed from experimental data revealing interesting insights.


title: MULTIGRAIN: Simulating mixtures of multiple dust grains and gas with SPH

abstract: We present MULTIGRAIN, an algorithm for simulating multiple phases of small dust grains embedded in a gas, building on our earlier work in simulating two-phase mixtures of gas and dust in SPH (Laibe & Price 2012a,b; Price & Laibe 2015). The MULTIGRAIN method (Hutchison, Price & Laibe 2018) is more accurate than single-phase simulations because the gas experiences a backreaction from each dust phase and communicates this change to the other phases, thereby indirectly coupling the dust phases together. The MULTIGRAIN method is fast, explicit and low storage, requiring only an array of dust fractions and their derivatives defined for each resolution element. We demonstrate the MULTIGRAIN algorithm on test problems related to the settling of dust in the discs of gas around young stars, where solar systems are born. Finally I will discuss possible extensions of the method to incorporate both large and small grains, together with recent improvements in our numerical techniques for gas and dust mixtures. In particular, I will show how the 'overdamping' problem identified by Laibe & Price (2012a) can be solved.


title: Residually finite-dimensional operator algebras

abstract: We study non-selfadjoint operator algebras that can be entirely understood via their finite-dimensional representations. In contrast with the elementary matricial description of finite-dimensional $\mathrm{C}^*$-algebras, in the non-selfadjoint setting we show that an additional level of flexibility must be allowed. Motivated by this peculiarity, we consider a natural non-selfadjoint notion of residual finite-dimensionality. We identify sufficient conditions for the tensor algebra of a $\mathrm{C}^*$-correspondence to enjoy this property. To clarify the connection with the usual self-adjoint notion, we investigate the residual finite-dimensionality of the minimal and maximal $\mathrm{C}^*$-covers associated to an operator algebra.


title: Blip: JIT and Footloose On The Edge

abstract: Edge environments offer a number of advantages for software developers including the ability to create services which can offer lower latency, better privacy, and reduced operational costs than traditional cloud hosted services. However large technical challenges exist, which prevent developers from utilising the Edge; complexities related to the heterogeneous nature of the Edge environment, issues with orchestration and application management and lastly, the inherent issues in creating decentralised distributed applications which operate at a large geographic scale. In this conceptual and architectural paper we envision a solution, Blip, which offers an easy to use programming and operational environment which addresses the these issues. It aims to remove the technical barriers which will inhibit the wider adoption Edge application development. This paper validates the Blip concept by demonstrating how it will deliver on the advantages of the Edge for a familiar scenario.


title: Efficient Algorithms and Lower Bounds for Robust Linear Regression

abstract: We study the problem of high-dimensional linear regression in a robust model where an $\epsilon$-fraction of the samples can be adversarially corrupted. We focus on the fundamental setting where the covariates of the uncorrupted samples are drawn from a Gaussian distribution $\mathcal{N}(0, \Sigma)$ on $\mathbb{R}^d$. We give nearly tight upper bounds and computational lower bounds for this problem. Specifically, our main contributions are as follows: For the case that the covariance matrix is known to be the identity, we give a sample near-optimal and computationally efficient algorithm that outputs a candidate hypothesis vector $\widehat{\beta}$ which approximates the unknown regression vector $\beta$ within $\ell_2$-norm $O(\epsilon \log(1/\epsilon) \sigma)$, where $\sigma$ is the standard deviation of the random observation noise. An error of $\Omega (\epsilon \sigma)$ is information-theoretically necessary, even with infinite sample size. Prior work gave an algorithm for this problem with sample complexity $\tilde{\Omega}(d^2/\epsilon^2)$ whose error guarantee scales with the $\ell_2$-norm of $\beta$. For the case of unknown covariance, we show that we can efficiently achieve the same error guarantee as in the known covariance case using an additional $\tilde{O}(d^2/\epsilon^2)$ unlabeled examples. On the other hand, an error of $O(\epsilon \sigma)$ can be information-theoretically attained with $O(d/\epsilon^2)$ samples. We prove a Statistical Query (SQ) lower bound providing evidence that this quadratic tradeoff in the sample size is inherent. More specifically, we show that any polynomial time SQ learning algorithm for robust linear regression (in Huber's contamination model) with estimation complexity $O(d^{2-c})$, where $c>0$ is an arbitrarily small constant, must incur an error of $\Omega(\sqrt{\epsilon} \sigma)$.

categories: cs.LG cs.CC cs.DS math.ST stat.ML stat.TH


title: The abundance of satellite galaxies in the inner region of $\Lambda$CDM Milky Way sized haloes

abstract: The concordance $\Lambda$CDM cosmology predicts tens of satellite galaxies distributed in the inner region ($<40\ \lkpc$) of the Milky Way (MW), yet at most $12$ were discovered at present day, including 3 discovered very recently by Dark Energy Survey (DES) and 5 from other surveys (e.g. PanSTARRS, MagLiteS). We use $5$ ultra-high resolution simulations of MW sized dark matter haloes from the $\aqua$ project, combined with $\galf$ semi-analytical galaxy formation model, to investigate properties of the model satellite galaxy population inside $40\ \lkpc$ of MW sized haloes. On average, in each halo this model predicts about $20$ inner satellite galaxies, among them $5$ are comparable to the classic satellites in the luminosity, these are in stark contrast to the corresponding numbers in observations. We further investigate the survivability of these model inner satellites in the presence of a central stellar disk with a set of ideal simulations. These are done by re-evolving a quarter (30) of the whole $\aqua$ inner satellite galaxies (121) by including a static disk potential in addition to the MW halo. Our finding is that the additional disk completely disrupt 40 percents of these satellites and results in $14$ satellite galaxies within the $40\ \lkpc$ of each $\aqua$ at the end, in reasonably well agreement with observations.


title: The hyperbolic rotation group of neutral meson mixing and $CP$ violation

abstract: Neutral meson mixing and $CP$ violation are very well known weak processes that involve decays to meson states that are, in general, a superposition of flavor eigenstates. This paper describes a mathematical interpretation of the time-dependent mixing amplitudes as a complex hyperbolic rotation of the time evolution of those amplitudes without mixing, which involves a Lie group $SO(1,1,\mathbb{C})$. This allows a geometric interpretation of mixing as a curve into the $SO(1,1,\mathbb{C})$ manifold, parameterized with the proper decay time, where $CP$ violation is the image of this curve at $t = 0$. To show the power of this new interpretation, it is applied to several aspects of the measurement of the CKM angle $\gamma$ in $B$ decays to neutral $D$ mesons. On one hand, the charm mixing correction on the $CPV$ parameters is derived. On the other hand, it is shown how the expressions used in GLW, ADS and GGSZ methods are affected by charm mixing. Finally, the complete example with both charm and strange mixing and $CPV$ is described.


title: Indications of isotropic Lifshitz points in four dimensions

abstract: The presence of isotropic Lifshitz points for a U(1) symmetric scalar theory is investigated with the help of the Functional Renormalization Group at the conjectured lower critical dimension d=4. To this aim, a suitable truncation in the expansion of the effective action in powers of the field is considered and, consequently, the Renormalization Group flow is reduced to a set of ordinary differential equations for the parameters that define the effective action. Within this approximation, indications of a line of Lifshitz points are found, that present evident similarities with the properties shown by the line of fixed points observed in the two dimensional Berezinsky-Kosterlitz-Thouless phase. In particular, this line of Lifshitz points exhibits the vanishing of the expectation value of the field, together with a finite stiffness and, for specific combinations of the parameters that define the effective action, also the algebraic decay at large distance of the order parameter correlations.


title: Text normalization using memory augmented neural networks

abstract: We perform text normalization, i.e. the transformation of words from the written to the spoken form, using a memory augmented neural network. With the addition of dynamic memory access and storage mechanism, we present a neural architecture that will serve as a language-agnostic text normalization system while avoiding the kind of unacceptable errors made by the LSTM-based recurrent neural networks. By successfully reducing the frequency of such mistakes, we show that this novel architecture is indeed a better alternative. Our proposed system requires significantly lesser amounts of data, training time and compute resources. Additionally, we perform data up-sampling, circumventing the data sparsity problem in some semiotic classes, to show that sufficient examples in any particular class can improve the performance of our text normalization system. Although a few occurrences of these errors still remain in certain semiotic classes, we demonstrate that memory augmented networks with meta-learning capabilities can open many doors to a superior text normalization system.


title: Recent Developments in Demirci for RFQ Design

abstract: DEMIRCI software aims to aid RFQ design efforts by making the process easy, fast and accurate. In this report, DEMIRCI 8-term potential results are compared with the results provided by other commercially available simulation software. Computed electric fields are compared to the results from simulations of a recently produced 352 MHz RFQ. Recent developments like the inclusion of space charge effects in DEMIRCI beam dynamics are also discussed. Moreover, further terms are added to 8-term potential to simulate possible vane production errors. The FEM solver was also improved to mesh the cells with errors.


title: Decoding European Palaeolithic art: Extremely ancient knowledge of precession of the equinoxes

abstract: A consistent interpretation is provided for Neolithic Gobekli Tepe and Catalhoyuk as well as European Palaeolithic cave art. It appears they all display the same method for recording dates based on precession of the equinoxes, with animal symbols representing an ancient zodiac. The same constellations are used today in the West, although some of the zodiacal symbols are different. In particular, the Shaft Scene at Lascaux is found to have a similar meaning to the Vulture Stone at Gobekli Tepe. Both can be viewed as memorials of catastrophic encounters with the Taurid meteor stream, consistent with Clube and Napier's theory of coherent catastrophism. The date of the likely comet strike recorded at Lascaux is 15,150 BC to within 200 years, corresponding closely to the onset of a climate event recorded in a Greenland ice core. A survey of radiocarbon dates from Chauvet and other Palaeolithic caves is consistent with this zodiacal interpretation, with a very high level of statistical significance. Finally, the Lion Man of Hohlenstein-Stadel, circa 38,000 BC, is also consistent with this interpretation, indicating this knowledge is extremely ancient and was widespread.


title: Following High-level Navigation Instructions on a Simulated Quadcopter with Imitation Learning

abstract: We introduce a method for following high-level navigation instructions by mapping directly from images, instructions and pose estimates to continuous low-level velocity commands for real-time control. The Grounded Semantic Mapping Network (GSMN) is a fully-differentiable neural network architecture that builds an explicit semantic map in the world reference frame by incorporating a pinhole camera projection model within the network. The information stored in the map is learned from experience, while the local-to-world transformation is computed explicitly. We train the model using DAggerFM, a modified variant of DAgger that trades tabular convergence guarantees for improved training speed and memory use. We test GSMN in virtual environments on a realistic quadcopter simulator and show that incorporating an explicit mapping and grounding modules allows GSMN to outperform strong neural baselines and almost reach an expert policy performance. Finally, we analyze the learned map representations and show that using an explicit map leads to an interpretable instruction-following model.


title: Cutting the Double Loop: Theory and Algorithms for Reliability-Based Design Optimization with Statistical Uncertainty

abstract: Statistical uncertainties complicate engineering design -- confounding regulated design approaches, and degrading the performance of reliability efforts. The simplest means to tackle this uncertainty is double loop simulation; a nested Monte Carlo method that, for practical problems, is intractable. In this work, we introduce a flexible, general approximation technique that obviates the double loop. This approximation is constructed in the context of a novel theory of reliability design under statistical uncertainty: We introduce metrics for measuring the efficacy of RBDO strategies (effective margin and effective reliability), minimal conditions for controlling uncertain reliability (precision margin), and stricter conditions that guarantee the desired reliability at a designed confidence level. We provide a number of examples with open-source code to demonstrate our approaches in a reproducible fashion.


title: 2MASS J06562998+3002455: Not a Cool White Dwarf Candidate, but a Population II Halo Star

abstract: 2MASS J06562998+3002455 or PSS 309-6 is a high proper-motion star that was discovered during a survey with the 2.1 m telescope at Kitt Peak National Observatory. Here, we reevaluate the status of this interesting star using Gaia DR2. Our results strongly suggest that PSS 309-6 could be a Population II star as the value of its V component is close to -220 km/s, which is typical for halo stars in the immediate solar neighborhood. Kapteyn's star is the nearest known halo star and PSS 309-6 exhibits similar kinematic and photometric signatures. Its properties also resemble those of 2MASS J15484023-3544254, which was once thought to be the nearest cool white dwarf but was later reclassified as K-type subdwarf. Although it is virtually certain that PSS 309-6 is not a nearby white dwarf but a more distant Population II subdwarf, further spectroscopic information, including radial velocity measurements, is necessary to fully characterize this probable member of the Galactic halo.


title: Interpretable Set Functions

abstract: We propose learning flexible but interpretable functions that aggregate a variable-length set of permutation-invariant feature vectors to predict a label. We use a deep lattice network model so we can architect the model structure to enhance interpretability, and add monotonicity constraints between inputs-and-outputs. We then use the proposed set function to automate the engineering of dense, interpretable features from sparse categorical features, which we call semantic feature engine. Experiments on real-world data show the achieved accuracy is similar to deep sets or deep neural networks, and is easier to debug and understand.


title: Millimeter Wave Communications with Reconfigurable Antennas

abstract: The highly sparse nature of propagation channels and the restricted use of radio frequency (RF) chains at transceivers limit the performance of millimeter wave (mmWave) multiple-input multiple-output (MIMO) systems. Introducing reconfigurable antennas to mmWave can offer an additional degree of freedom on designing mmWave MIMO systems. This paper provides a theoretical framework for studying the mmWave MIMO with reconfigurable antennas. We present an architecture of reconfigurable mmWave MIMO with beamspace hybrid analog-digital beamformers and reconfigurable antennas at both the transmitter and the receiver. We show that employing reconfigurable antennas can provide throughput gain for the mmWave MIMO. We derive the expression for the average throughput gain of using reconfigurable antennas, and further simplify the expression by considering the case of large number of reconfiguration states. In addition, we propose a low-complexity algorithm for the reconfiguration state and beam selection, which achieves nearly the same throughput performance as the optimal selection of reconfiguration state and beams by exhaustive search.


title: On reachability of Markov chains: A long-run average approach

abstract: We consider a Markov control model in discrete time with countable both state space and action space. Using the value function of a suitable long-run average reward problem, we study various reachability/controllability problems. First, we characterize the domain of attraction and escape set of the system, and a generalization called $p$-domain of attraction, using the aforementioned value function. Next, we solve the problem of maximizing the probability of reaching a set $A$ while avoiding a set $B$. Finally, we consider a constrained version of the previous problem where we ask for the probability of reaching the set $B$ to be bounded. In the finite case, we use linear programming formulations to solve these problems. Finally, we apply our results to a example of an object that navigates under stochastic influence.


title: On the probability that two random integers are coprime

abstract: We show that there is a non-empty class of finitely additive probabilities on $\mathbb N^2$ such that for each member of the class, each set with limiting relative frequency $p$ has probability $p$. Hence, in that context the probability that two random integers are coprime is $6/\pi^2$. We also show that two other interpretations of "random integer," namely residue classes and shift invariance, support any number in $[0, 6/\pi^2]$ for that probability. Finally, we specify a countably additive probability space that also supports $6/\pi^2$.


title: Defending Against Machine Learning Model Stealing Attacks Using Deceptive Perturbations

abstract: Machine learning models are vulnerable to simple model stealing attacks if the adversary can obtain output labels for chosen inputs. To protect against these attacks, it has been proposed to limit the information provided to the adversary by omitting probability scores, significantly impacting the utility of the provided service. In this work, we illustrate how a service provider can still provide useful, albeit misleading, class probability information, while significantly limiting the success of the attack. Our defense forces the adversary to discard the class probabilities, requiring significantly more queries before they can train a model with comparable performance. We evaluate several attack strategies, model architectures, and hyperparameters under varying adversarial models, and evaluate the efficacy of our defense against the strongest adversary. Finally, we quantify the amount of noise injected into the class probabilities to mesure the loss in utility, e.g., adding 1.26 nats per query on CIFAR-10 and 3.27 on MNIST. Our evaluation shows our defense can degrade the accuracy of the stolen model at least 20%, or require up to 64 times more queries while keeping the accuracy of the protected model almost intact.


title: Deformation, lattice instability, and metallization during solid-solid structural transformations under general applied stress tensor: example of Si I -> Si II

abstract: Density functional theory (DFT) was employed to study the stress-strain behavior, elastic instabilities, and metallization during a solid-solid phase transformation (PT) between semiconducting Si I (cubic A4) and metallic Si II (tetragonal A5 structure) when subjected to a general stress tensor. With normal stresses ($\sigma_1$, $\sigma_2$, $\sigma_3$) acting along $\left<110 \right>$, $\left<1\bar{1}0 \right>$, and $\left<001\right>$, respectively, dictating the simulation cell, we determine combinations of 6 independent stresses that drive a lattice instability for the Si I$\rightarrow$Si II PT, and a semiconductor-metal electronic transition. Metallization precedes the structural PT, hence, a stressed Si I can be a metal. Surprisingly, a stress-free Si II is metastable in DFT. Notably, the PT for hydrostatic pressures is at 75.81 GPa, while under uniaxial stress it is 11.03 GPa (or 3.68 GPa mean pressure). Our key result: The Si I -> Si II PT is described by a critical value of the modified transformation work, as found with a phase-field method, and the PT criterion has only two parameters for a general applied stress. More generally, our findings are crucial for revealing novel (and more economic) material synthesis routes for new or known high-pressure phases under controlled and predictable non-hydrostatic loading and plastic deformation.


title: Discrete harmonic analysis associated with Jacobi expansions I: the heat semigroup

abstract: In this paper we commence the study of discrete harmonic analysis associated with Jacobi orthogonal polynomials of order $(\alpha,\beta)$. Particularly, we give the solution $W^{(\alpha,\beta)}_t$, $t\ge 0$, and some properties of the heat equation related to the operator $J^{(\alpha,\beta)}-I$, where $J^{(\alpha,\beta)}$ is the three-term recurrence relation for the normalized Jacobi polynomials and $I$ is the identity operator. These results will be a consequence of a much more general theorem concerning the solution of the heat equation for Jacobi matrices. In addition, we also prove the positivity of the operator $W^{(\alpha,\beta)}_t$ under some suitable restrictions on the parameters $\alpha$ and $\beta$. Finally, we investigate mapping properties of the maximal operators defined by the heat and Poisson semigroups in weighted $\ell^{p}$-spaces using discrete vector-valued local Calder\'{o}n-Zygmund theory. For the Poisson semigroup, these properties follows readily from the control in terms of the heat one.