title: An integrity measure to benchmark quantum error correcting memories

abstract: Rapidly developing experiments across multiple platforms now aim to realise small quantum codes, and so demonstrate a memory within which a logical qubit can be protected from noise. There is a need to benchmark the achievements in these diverse systems, and to compare the inherent power of the codes they rely upon. We describe a recently-introduced performance measure called integrity, which relates to the probability that an ideal agent will successfully 'guess' the state of a logical qubit after a period of storage in the memory. Integrity is straightforward to evaluate experimentally without state tomography and it can be related to various established metrics such as the logical fidelity and the pseudo-threshold. We offer a set of experimental milestones that are steps towards demonstrating unconditionally superior encoded memories. Using intensive numerical simulations we compare memories based on the five-qubit code, the seven-qubit Steane code, and a nine-qubit code which is the smallest instance of a surface code; we assess both the simple and fault-tolerant implementations of each. While the 'best' code upon which to base a memory does vary according to the nature and severity of the noise, nevertheless certain trends emerge.


title: Multiscale Co-Design Analysis of Energy, Latency, Area, and Accuracy of a ReRAM Analog Neural Training Accelerator

abstract: Neural networks are an increasingly attractive algorithm for natural language processing and pattern recognition. Deep networks with >50M parameters are made possible by modern GPU clusters operating at <50 pJ per op and more recently, production accelerators capable of <5pJ per operation at the board level. However, with the slowing of CMOS scaling, new paradigms will be required to achieve the next several orders of magnitude in performance per watt gains. Using an analog resistive memory (ReRAM) crossbar to perform key matrix operations in an accelerator is an attractive option. This work presents a detailed design using a state of the art 14/16 nm PDK for of an analog crossbar circuit block designed to process three key kernels required in training and inference of neural networks. A detailed circuit and device-level analysis of energy, latency, area, and accuracy are given and compared to relevant designs using standard digital ReRAM and SRAM operations. It is shown that the analog accelerator has a 270x energy and 540x latency advantage over a similar block utilizing only digital ReRAM and takes only 11 fJ per multiply and accumulate (MAC). Compared to an SRAM based accelerator, the energy is 430X better and latency is 34X better. Although training accuracy is degraded in the analog accelerator, several options to improve this are presented. The possible gains over a similar digital-only version of this accelerator block suggest that continued optimization of analog resistive memories is valuable. This detailed circuit and device analysis of a training accelerator may serve as a foundation for further architecture-level studies.


title: Consistency of the Local Density Approximation and Generalized Quantum Corrections for Time Dependent Closed Quantum Systems

abstract: Time dependent quantum systems are the subject of intense inquiry, in mathematics, science, and engineering, particularly at the atomic and molecular levels. In 1984, Runge and Gross introduced time dependent density functional theory (TDDFT), a noninteracting electron model, which predicts charge exactly. An exchange-correlation potential is included in the Hamiltonian to enforce this property. We have previously investigated such systems on bounded domains for Kohn-Sham potentials by use of evolution operators and fixed point theorems. In this article, motivated by use in the physics community, we consider local density approximations (LDA) for building the exchange-correlation potential, as part of a set of quantum corrections. Existence and uniqueness of solutions are established separately within a framework for general quantum corrections, including time-history potentials and ionic Coulomb potentials, in addition to general LDA potentials. In summary, we are able to demonstrate a unique weak solution, on an arbitrary time interval, for a general class of quantum corrections, including those typically used in numerical simulations of the model.


title: Stability of solitary and cnoidal traveling wave solutions for a fifth order Korteweg-de Vries equation

abstract: We establish the nonlinear stability of solitary waves (solitons) and periodic traveling wave solutions (cnoidal waves) for a Korteweg-de Vries (KdV) equation which includes a fifth order dispersive term. The traveling wave solutions which yield solitons for zero boundary conditions and wave-trains of cnoidal waves for nonzero boundary conditions are analyzed using stability theorems, which rely on the positivity properties of the Fourier transforms. We show that all families of solutions considered here are (orbitally) stable.


title: Comparing People with Bibliometrics

abstract: Bibliometric indicators, citation counts and/or download counts are increasingly being used to inform personnel decisions such as hiring or promotions. These statistics are very often misused. Here we provide a guide to the factors which should be considered when using these so-called quantitative measures to evaluate people. Rules of thumb are given for when begin to use bibliometric measures when comparing otherwise similar candidates.


title: The limiting characteristic polynomial of classical random matrix ensembles

abstract: We demonstrate the convergence of the characteristic polynomial of several random matrix ensembles to a limiting universal function, at the microscopic scale. The random matrix ensembles we treat are classical compact groups and the Gaussian Unitary Ensemble. In fact, the result is the by-product of a general limit theorem for the convergence of random entire functions whose zeros present a simple regularity property.


title: Roots of unity in $K(n)$-local rings

abstract: The goal of this paper is to address the following question: if $A$ is an $\mathbf{E}_{k}$-ring for some $k\geq 1$ and $f\colon\pi_0 A \to B$ is a map of commutative rings, when can we find an $\mathbf{E}_{k}$-ring $R$ with an $\mathbf{E}_{k}$-ring map $g\colon A \to R$ such that $\pi_0 g = f$? A classical result in the theory of realizing $\mathbf{E}_\infty$-rings, due to Goerss--Hopkins, gives an affirmative answer to this question if $f$ is etale. The goal of this paper is to provide answers to this question when $f$ is ramified. We prove a non-realizability result in the $K(n)$-local setting for every $n\geq 1$ for $H_\infty$-rings containing primitive $p$th roots of unity. As an application, we give a proof of the folk result that the Lubin--Tate tower from arithmetic geometry does not lift to a tower of $H_\infty$-rings over Morava $E$-theory.


title: (k,q)-Compressed Sensing for dMRI with Joint Spatial-Angular Sparsity Prior

abstract: Advanced diffusion magnetic resonance imaging (dMRI) techniques, like diffusion spectrum imaging (DSI) and high angular resolution diffusion imaging (HARDI), remain underutilized compared to diffusion tensor imaging because the scan times needed to produce accurate estimations of fiber orientation are significantly longer. To accelerate DSI and HARDI, recent methods from compressed sensing (CS) exploit a sparse underlying representation of the data in the spatial and angular domains to undersample in the respective k- and q-spaces. State-of-the-art frameworks, however, impose sparsity in the spatial and angular domains separately and involve the sum of the corresponding sparse regularizers. In contrast, we propose a unified (k,q)-CS formulation which imposes sparsity jointly in the spatial-angular domain to further increase sparsity of dMRI signals and reduce the required subsampling rate. To efficiently solve this large-scale global reconstruction problem, we introduce a novel adaptation of the FISTA algorithm that exploits dictionary separability. We show on phantom and real HARDI data that our approach achieves significantly more accurate signal reconstructions than the state of the art while sampling only 2-4% of the (k,q)-space, allowing for the potential of new levels of dMRI acceleration.


title: Correction of "Cloud Removal By Fusing Multi-Source and Multi-Temporal Images"

abstract: Remote sensing images often suffer from cloud cover. Cloud removal is required in many applications of remote sensing images. Multitemporal-based methods are popular and effective to cope with thick clouds. This paper contributes to a summarization and experimental comparation of the existing multitemporal-based methods. Furthermore, we propose a spatiotemporal-fusion with poisson-adjustment method to fuse multi-sensor and multi-temporal images for cloud removal. The experimental results show that the proposed method has potential to address the problem of accuracy reduction of cloud removal in multi-temporal images with significant changes.


title: Standard Model with a Complex Scalar Singlet: Cosmological Implications and Theoretical Considerations

abstract: We analyze the theoretical and phenomenological considerations for the electroweak phase transition and dark matter in an extension of the Standard Model with a complex scalar singlet (cxSM). In contrast with earlier studies, we use a renormalization group improved scalar potential and treat its thermal history in a gauge invariant manner. We find that the parameter space consistent with a strong first order electroweak phase transition (SFOEWPT) and present dark matter phenomenological constraints is significantly restricted compared to results of a conventional, gauge non-invariant analysis. In the simplest variant of the cxSM, recent LUX data and a SFOEWPT require a dark matter mass close to half the mass of the Standard Model-like Higgs boson. We also comment on various caveats regarding the perturbative treatment of the phase transition dynamics.


title: Asymptotic limit and decay estimates for a class of dissipative linear hyperbolic systems in several dimensions

abstract: In this paper, we study the large-time behavior of solutions to a class of partially dissipative linear hyperbolic systems with applications in velocity-jump processes in several dimensions. Given integers $n,d\ge 1$, let $\mathbf A:=(A^1,\dots,A^d)\in (\mathbb R^{n\times n})^d$ be a matrix-vector, where $A^j\in\mathbb R^{n\times n}$, and let $B\in \mathbb R^{n\times n}$ be not required to be symmetric but have one single eigenvalue zero, we consider the Cauchy problem for linear $n\times n$ systems having the form \begin{equation*} \partial_{t}u+\mathbf A\cdot \nabla_{\mathbf x} u+Bu=0,\qquad (\mathbf x,t)\in \mathbb R^d\times \mathbb R_+. \end{equation*} Under appropriate assumptions, we show that the solution $u$ is decomposed into $u=u^{(1)}+u^{(2)}$, where $u^{(1)}$ has the asymptotic profile which is the solution, denoted by $U$, of a parabolic equation and $u^{(1)}-U$ decays at the rate $t^{-\frac d2(\frac 1q-\frac 1p)-\frac 12}$ as $t\to +\infty$ in any $L^p$-norm, and $u^{(2)}$ decays exponentially in $L^2$-norm, provided $u(\cdot,0)\in L^q(\mathbb R^d)\cap L^2(\mathbb R^d)$ for $1\le q\le p\le \infty$. Moreover, $u^{(1)}-U$ decays at the optimal rate $t^{-\frac d2(\frac 1q-\frac 1p)-1}$ as $t\to +\infty$ if the system satisfies a symmetry property. The main proofs are based on asymptotic expansions of the solution $u$ in the frequency space and the Fourier analysis.


title: Mathematical model for acid water neutralization with anomalous and fast diffusion

abstract: In this paper we model the neutralization of an acid solution in which the hydrogen ions are transported according to Cattaneo's diffusion. The latter is a modification of classical Fickian diffusion in which the flux adjusts to the gradient with a positive relaxation time. Accordingly the evolution of the ions concentration is governed by the hyperbolic telegraph equation instead of the classical heat equation. We focus on the specific case of a marble slab reacting with a sulphuric acid solution and we consider a one-dimensional geometry. We show that the problem is multi-scale in time, with a reaction time scale that is larger than the diffusive time scale, so that the governing equation is reduced to the one-dimensional wave equation. The mathematical problem turns out to be a hyperbolic free boundary problem where the consumption of the slab is described by a nonlinear differential equation. Global well posedness is proved and some numerical simulations are provided.


title: Performance of shortcut-to-adiabaticity quantum engines

abstract: We consider a paradigmatic quantum harmonic Otto engine operating in finite time. We investigate its performance when shortcut-to-adiabaticity techniques are used to speed up its cycle. We compute efficiency and power by taking the energetic cost of the shortcut driving explicitly into account. We analyze in detail three different shortcut methods, counterdiabatic driving, local counterdiabatic driving and inverse engineering. We demonstrate that all three lead to a simultaneous increase of efficiency and power for fast cycles, thus outperforming traditional heat engines.


title: Size-independent susceptibility to transport in aeolian saltation

abstract: Natural wind-eroded soils contain a mixture of particle sizes. However, models for aeolian saltation are typically derived for sediment bed surfaces containing only a single particle size. To nonetheless treat natural mixed beds, models for saltation and associated dust aerosol emission have typically simplified aeolian transport either as a series of non-interacting single particle size beds or as a bed containing only the median or mean particle size. Here, we test these common assumptions underpinning aeolian transport models using measurements of size-resolved saltation fluxes at three natural field sites. We find that a wide range of sand size classes experience "equal susceptibility" to saltation at a single common threshold wind shear stress, contrary to the "selective susceptibility" expected for treatment of a mixed bed as multiple single particle size beds. Our observation of equal susceptibility refutes the common simplification of saltation as a series of non-interacting single particle sizes. Sand transport and dust emission models that use this incorrect assumption can be both simplified and improved by instead using a single particle size representative of the mixed bed.


title: Tuning MPI Collectives by Verifying Performance Guidelines

abstract: MPI collective operations provide a standardized interface for performing data movements within a group of processes. The efficiency of collective communication operations depends on the actual algorithm, its implementation, and the specific communication problem (type of communication, message size, number of processes). Many MPI libraries provide numerous algorithms for specific collective operations. The strategy for selecting an efficient algorithm is often times predefined (hard-coded) in MPI libraries, but some of them, such as Open MPI, allow users to change the algorithm manually. Finding the best algorithm for each case is a hard problem, and several approaches to tune these algorithmic parameters have been proposed. We use an orthogonal approach to the parameter-tuning of MPI collectives, that is, instead of testing individual algorithmic choices provided by an MPI library, we compare the latency of a specific MPI collective operation to the latency of semantically equivalent functions, which we call the mock-up implementations. The structure of the mock-up implementations is defined by self-consistent performance guidelines. The advantage of this approach is that tuning using mock-up implementations is always possible, whether or not an MPI library allows users to select a specific algorithm at run-time. We implement this concept in a library called PGMPITuneLib, which is layered between the user code and the actual MPI implementation. This library selects the best-performing algorithmic pattern of an MPI collective by intercepting MPI calls and redirecting them to our mock-up implementations. Experimental results show that PGMPITuneLib can significantly reduce the latency of MPI collectives, and also equally important, that it can help identifying the tuning potential of MPI libraries.


title: K\"ahler potential of heterotic orbifolds with multiple K\"ahler moduli

abstract: Aiming at improving our knowledge of the low-energy limit of heterotic orbifold compactifications, we determine at lowest order the Kahler potential of matter fields in the case where more than three bulk Kahler moduli appear. Interestingly, bulk matter fields couple to more than one Kahler modulus, a subtle difference with models with only three Kahler moduli that may provide a tool to address the question of moduli stabilization in these models.


title: Anomalous non-conservation of fermion/chiral number in Abelian gauge theories at finite temperature

abstract: We discuss the non-conservation of fermion number (or chirality breaking, depending on the fermionic charge assignment) in Abelian gauge theories at finite temperature. We study different mechanisms of fermionic charge disappearance in the high temperature plasma, using both analytical estimates and real-time classical lattice numerical simulations. We investigate the random walk of the Chern-Simons number $Q \propto \int d^4x F_{\mu\nu}{\tilde F}^{\mu\nu}$, and show that it has a diffusive behaviour in the presence of an external magnetic field $B$. This indicates that the mechanism for fermionic number non-conservation for $B \neq 0$, is due to fluctuations of the gauge fields, similarly as in the case of non-Abelian gauge theories. We determine numerically, with lattice simulations, the rate $\Gamma$ of chirality non-conservation associated with this diffusion. We find the rate to be a factor $\mathcal{O}(10)$ larger compared to previous theoretical estimates, what calls for a revision of the implications of Abelian fermion number and chirality non-conservation for baryogenesis, magnetogenesis and chiral symmetry evolution. An erratum can be found at the end of the manuscript, following the results obtained in JHEP 10 (2019) 142 (1904.11892 [hep-th]), which reduce our original claim in the discrepancy between theory and numerics by a factor $\sim 5-6$.


title: Bounds on the burning numbers of spiders and path-forests

abstract: Graph burning is one model for the spread of memes and contagion in social networks. The corresponding graph parameter is the burning number of a graph $G$, written $b(G)$, which measures the speed of the social contagion. While it is conjectured that the burning number of a connected graph of order $n$ is at most $\lceil \sqrt{n} \rceil$, this remains open in general and in many graph families. We prove the conjectured bound for spider graphs, which are trees with exactly one vertex of degree at least 3. To prove our result for spiders, we develop new bounds on the burning number for path-forests, which in turn leads to a $\frac 3 2$-approximation algorithm for computing the burning number of path-forests.


title: Ionization-induced laser-driven QED cascade in noble gases

abstract: A formula for the ionization rate in extremely intense electromagnetic field is proposed and used for numerical study of QED (quantum-electrodynamical) cascades in noble gases in the field of two counter-propagating laser pulses. It is shown that the number of the electron-positron pairs produced in the cascade increases with the atomic number of the gas where the gas density is taken to be reversely proportional to the atomic number. While the most electrons produced in the laser pulse front are expelled by the ponderomotive force from region occupied by the strong laser field there is a small portion of the electrons staying in the laser field for a long time until the instance when the laser field is strong enough for cascading. This mechanism is relevant for all gases. For high-$Z$ gases there is an additional mechanism associated with the ionization of inner shells at the the instance when the laser field is strong enough for cascading. The role of both mechanisms for cascade initiation is revealed.


title: Coarsening in 3D Nonconserved Ising Model at Zero Temperature: Anomalies in structure and relaxation of order-parameter autocorrelation

abstract: Via Monte Carlo simulations we study pattern and aging during coarsening in nonconserved nearest neighbor Ising model, following quenches from infinite to zero temperature, in space dimension $d=3$. The decay of the order-parameter autocorrelation function is observed to obey a power-law behavior in the long time limit. However, the exponent of the power-law, estimated accurately via a state-of-art method, violates a well-known lower bound. This surprising fact has been discussed in connection with a quantitative picture of the structural anomaly that the 3D Ising model exhibits during coarsening at zero temperature. These results are compared with those for quenches to a temperature above that of the roughening transition.


title: Spectral Method and Regularized MLE Are Both Optimal for Top-$K$ Ranking

abstract: This paper is concerned with the problem of top-$K$ ranking from pairwise comparisons. Given a collection of $n$ items and a few pairwise comparisons across them, one wishes to identify the set of $K$ items that receive the highest ranks. To tackle this problem, we adopt the logistic parametric model --- the Bradley-Terry-Luce model, where each item is assigned a latent preference score, and where the outcome of each pairwise comparison depends solely on the relative scores of the two items involved. Recent works have made significant progress towards characterizing the performance (e.g. the mean square error for estimating the scores) of several classical methods, including the spectral method and the maximum likelihood estimator (MLE). However, where they stand regarding top-$K$ ranking remains unsettled. We demonstrate that under a natural random sampling model, the spectral method alone, or the regularized MLE alone, is minimax optimal in terms of the sample complexity --- the number of paired comparisons needed to ensure exact top-$K$ identification, for the fixed dynamic range regime. This is accomplished via optimal control of the entrywise error of the score estimates. We complement our theoretical studies by numerical experiments, confirming that both methods yield low entrywise errors for estimating the underlying scores. Our theory is established via a novel leave-one-out trick, which proves effective for analyzing both iterative and non-iterative procedures. Along the way, we derive an elementary eigenvector perturbation bound for probability transition matrices, which parallels the Davis-Kahan $\sin\Theta$ theorem for symmetric matrices. This also allows us to close the gap between the $\ell_2$ error upper bound for the spectral method and the minimax lower limit.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.TH


title: Vehicular Communications: A Network Layer Perspective

abstract: Vehicular communications, referring to information exchange among vehicles, pedestrians, and infrastructures, have become very popular and been widely studied recently due to its great potential to support intelligent transportation and various safety applications. Via vehicular communications, manually driving vehicles and autonomous vehicles can collect useful information to improve traffic safety and support infotainment services. In this paper, we provide a comprehensive overview of recent research on enabling efficient vehicular communications from the network layer perspective. First, we introduce general applications and unique characteristics of vehicular networks and the corresponding classifications. Based on different driving patterns of vehicles, we divide vehicular networks into two categories, i.e., manually driving vehicular networks and automated driving vehicular networks, and then discuss the available communication techniques, network structures, routing protocols, and handoff strategies applied in these vehicular networks. Finally, we identify the challenges confronted by the current vehicular communications and present the corresponding research opportunities.


title: Predictions for Cold Nuclear Matter Effects in $p+$Pb Collisions at $\sqrt{s_{_{NN}}} = 8.16$ TeV

abstract: Predictions for cold nuclear matter effects on charged hadrons, identified light hadrons, quarkonium and heavy flavor hadrons, Drell-Yan dileptons, jets, photons, gauge bosons and top quarks produced in $p+$Pb collisions at $\sqrt{s_{_{NN}}} = 8.16$ TeV are compiled and, where possible, compared to each other. Predictions of the normalized ratios of $p+$Pb to $p+p$ cross sections are also presented for most of the observables, providing new insights into the expected role of cold nuclear matter effects. In particular, the role of nuclear parton distribution functions on particle production can now be probed over a wider range of phase space than ever before.


title: Some variations of EM algorithms for Marshall-Olkin bivariate Pareto distribution with location and scale

abstract: Recently Asimit et. al used an EM algorithm to estimate Marshall-Olkin bivariate Pareto distribution. The distribution has seven parameters. We describe few alternative approaches of EM algorithm. A numerical simulation is performed to verify the performance of different proposed algorithms. A real-life data analysis is also shown for illustrative purposes.


title: The UKIRT Hemisphere Survey: Definition and J-band Data Release

abstract: This paper defines the UK Infra-Red Telescope (UKIRT) Hemisphere Survey (UHS) and release of the remaining ~12,700 sq.deg of J-band survey data products. The UHS will provide continuous J and K-band coverage in the northern hemisphere from a declination of 0 deg to 60 deg by combining the existing Large Area Survey, Galactic Plane Survey and Galactic Clusters Survey conducted under the UKIRT Infra-red Deep Sky Survey (UKIDSS) programme with this new additional area not covered by UKIDSS. The released data includes J-band imaging and source catalogues over the new area, which, together with UKIDSS, completes the J-band UHS coverage over the full ~17,900 sq.deg area. 98 per cent of the data in this release have passed quality control criteria, the remaining 2 per cent being scheduled for re-observation. The median 5-sigma point source sensitivity of the released data is 19.6 mag (Vega). The median full width at half-maximum of the point spread function across the dataset is 0.75 arcsec. In this paper, we outline the survey management, data acquisition, processing and calibration, quality control and archiving as well as summarising the characteristics of the released data products. The data are initially available to a limited consortium with a world-wide release scheduled for August 2018.


title: Improving the Limits of Detection of Low Background Alpha Emission Measurements

abstract: Alpha particle emission, even at extremely low levels, is a significant issue in the search for rare events (e.g., double beta decay, dark matter detection). Traditional measurement techniques require long counting times to measure low sample rates in the presence of much larger instrumental backgrounds. To address this, a commercially available instrument developed by XIA uses pulse shape analysis to discriminate alpha emissions produced by the sample from those produced by other surfaces of the instrument itself. Experience with this system has uncovered two residual sources of background: cosmogenics and radon emanation from internal components. A development program is underway to enhance the system and extend the pulse shape analysis technique further, so that these residual sources can be identified and rejected as well. In this paper, we review the theory of operation and pulse shape analysis techniques used in XIA`s alpha counter, and briefly explore data suggesting the origin of the residual background terms. We will then present our approach to enhance the system`s ability to identify and reject these terms. Finally, we will describe a prototype system that incorporates our concepts and demonstrates their feasibility.


title: Extraction of $|V_{cb}|$ from $B\to D^{(*)}\ell\nu_\ell$ and the Standard Model predictions of $R(D^{(*)})$

abstract: We extract $|V_{cb}|$ from the available data in the decay $B \to D^{(*)}\ell\nu_{\ell}$. Our analysis uses the $q^2(w)$ binned differential decay rates in different subsamples of $B\to D\ell\nu_\ell$ ($\ell = e, \mu$), while for the decay $B\to D^*\ell\nu_\ell$, the unfolded binned differential decay rates of four kinematic variables including the $q^2$ bins have been used. In the CLN and BGL parameterizations of the form factors, the combined fit to all the available data along with their correlations yields $|V_{cb}| = (39.77 \pm 0.89)\times 10^{-3}$ and $(40.90 \pm 0.94)\times 10^{-3}$ respectively. In these fits, we have used the inputs from lattice and light cone sum rule (LCSR) along with the data. Using our fit results and the HQET relations (with the known corrections included) amongst the form factors, and parameterizing the unknown higher order corrections (in the ratios of HQET form factors) with a conservative estimate of the normalizing parameters, we obtain $R(D^{*}) = 0.259 \pm 0.006$ (CLN) and $R(D^*) = 0.257 \pm 0.005$ (BGL).


title: Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract

abstract: In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker's core insights, and using frameworks developed by Bjorndahl and Baltag et al., we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and (roughly speaking) what is knowable; we argue that the foundational axioms of Stalnaker's system rely intuitively on both of these notions. More precisely, we argue that the plausibility of the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an "evidence-in-hand" conception of knowledge and a weaker "evidence-out-there" notion of what could come to be known. Our analysis leads to a trimodal logic of knowledge, knowability, and belief interpreted in topological subset spaces in which belief is definable in terms of knowledge and knowability. We provide a sound and complete axiomatization for this logic as well as its uni-modal belief fragment. We then consider weaker logics that preserve suitable translations of Stalnaker's postulates, yet do not allow for any reduction of belief. We propose novel topological semantics for these irreducible notions of belief, generalizing our previous semantics, and provide sound and complete axiomatizations for the corresponding logics.


title: Rational invariants of even ternary forms under the orthogonal group

abstract: In this article we determine a generating set of rational invariants of minimal cardinality for the action of the orthogonal group $\mathrm{O}_3$ on the space $\mathbb{R}[x,y,z]_{2d}$ of ternary forms of even degree $2d$. The construction relies on two key ingredients: On one hand, the Slice Lemma allows us to reduce the problem to dermining the invariants for the action on a subspace of the finite subgroup $\mathrm{B}_3$ of signed permutations. On the other hand, our construction relies in a fundamental way on specific bases of harmonic polynomials. These bases provide maps with prescribed $\mathrm{B}_3$-equivariance properties. Our explicit construction of these bases should be relevant well beyond the scope of this paper. The expression of the $\mathrm{B}_3$-invariants can then be given in a compact form as the composition of two equivariant maps. Instead of providing (cumbersome) explicit expressions for the $\mathrm{O}_3$-invariants, we provide efficient algorithms for their evaluation and rewriting. We also use the constructed $\mathrm{B}_3$-invariants to determine the $\mathrm{O}_3$-orbit locus and provide an algorithm for the inverse problem of finding an element in $\mathbb{R}[x,y,z]_{2d}$ with prescribed values for its invariants. These are the computational issues relevant in brain imaging.


title: Little composite dark matter

abstract: We examine the dark matter phenomenology of a composite electroweak singlet state. This singlet belongs to the Goldstone sector of a well-motivated extension of the Littlest Higgs with $T$-parity. A viable parameter space, consistent with the observed dark matter relic abundance as well as with the various collider, electroweak precision and dark matter direct detection experimental constraints is found for this scenario. $T$-parity implies a rich LHC phenomenology, which forms an interesting interplay between conventional natural SUSY type of signals involving third generation quarks and missing energy, from stop-like particle production and decay, and composite Higgs type of signals involving third generation quarks associated with Higgs and electroweak gauge boson, from vector-like top-partners production and decay. The composite features of the dark matter phenomenology allows the composite singlet the produce the correct relic abundance while interacting weakly with the Higgs via the usual Higgs portal coupling $\lambda_{\text{DM}} \sim O(1\%)$, thus evading direct detection.


title: Existence and uniqueness of solutions to Y-systems and TBA equations

abstract: We consider Y-system functional equations of the form $$ Y_n(x+i)Y_n(x-i)=\prod_{m=1}^N (1+Y_m(x))^{G_{nm}}$$ and the corresponding nonlinear integral equations of the Thermodynamic Bethe Ansatz. We prove an existence and uniqueness result for solutions of these equations, subject to appropriate conditions on the analytical properties of the $Y_n$, in particular the absence of zeros in a strip around the real axis. The matrix $G_{nm}$ must have non-negative real entries, and be irreducible and diagonalisable over $\mathbb{R}$ with spectral radius less than 2. This includes the adjacency matrices of finite Dynkin diagrams, but covers much more as we do not require $G_{nm}$ to be integers. Our results specialise to the constant Y-system, proving existence and uniqueness of a strictly positive solution in that case.


title: Which Distribution Distances are Sublinearly Testable?

abstract: Given samples from an unknown distribution $p$ and a description of a distribution $q$, are $p$ and $q$ close or far? This question of "identity testing" has received significant attention in the case of testing whether $p$ and $q$ are equal or far in total variation distance. However, in recent work, the following questions have been been critical to solving problems at the frontiers of distribution testing: -Alternative Distances: Can we test whether $p$ and $q$ are far in other distances, say Hellinger? -Tolerance: Can we test when $p$ and $q$ are close, rather than equal? And if so, close in which distances? Motivated by these questions, we characterize the complexity of distribution testing under a variety of distances, including total variation, $\ell_2$, Hellinger, Kullback-Leibler, and $\chi^2$. For each pair of distances $d_1$ and $d_2$, we study the complexity of testing if $p$ and $q$ are close in $d_1$ versus far in $d_2$, with a focus on identifying which problems allow strongly sublinear testers (i.e., those with complexity $O(n^{1 - \gamma})$ for some $\gamma > 0$ where $n$ is the size of the support of the distributions $p$ and $q$). We provide matching upper and lower bounds for each case. We also study these questions in the case where we only have samples from $q$ (equivalence testing), showing qualitative differences from identity testing in terms of when tolerance can be achieved. Our algorithms fall into the classical paradigm of $\chi^2$-statistics, but require crucial changes to handle the challenges introduced by each distance we consider. Finally, we survey other recent results in an attempt to serve as a reference for the complexity of various distribution testing problems.

categories: cs.DS cs.IT cs.LG math.IT math.ST stat.TH


title: Precise Time Delays from Strongly Gravitationally Lensed Type Ia Supernovae with Chromatically Microlensed Images

abstract: Time delays between the multiple images of strongly lensed Type Ia supernovae (gl\sneia) have the potential to deliver precise cosmological constraints, but the effects of microlensing on the measurement have not been studied in detail. Here we quantify the effect of microlensing on the gl\snia\ yield of the Large Synoptic Survey Telescope (LSST) and the effect of microlensing on the precision and accuracy of time delays that can be extracted from LSST gl\sneia. Microlensing has a negligible effect on the LSST gl\snia\ yield, but it can be increased by a factor of $\sim$2 to 930 systems using a novel photometric identification technique based on spectral template fitting. Crucially, the microlensing of gl\sneia\ is achromatic until 3 rest-frame weeks after the explosion, making the early-time color curves microlensing-insensitive time delay indicators. By fitting simulated flux and color observations of microlensed gl\sneia\ with their underlying, unlensed spectral templates, we forecast the distribution of absolute time delay error due to microlensing for LSST, which is unbiased at the sub-percent level and peaked at 1\% for color curve observations in the achromatic phase, while for light curve observations it is comparable to state-of-the-art mass modeling uncertainties (4\%). About 70\% of LSST gl\snia\ images should be discovered during the achromatic phase, indicating that microlensing time delay uncertainties can be minimized if prompt multicolor follow-up observations are obtained. Accounting for microlensing, the 1--2 day time delay on the recently discovered gl\snia\ iPTF16geu can be measured to 40\% precision, limiting its cosmological utility.


title: Perfect spin filter by periodic drive of a ferromagnetic quantum barrier

abstract: We consider the problem of particle tunneling through a periodically driven ferromagnetic quantum barrier connected to two leads. The barrier is modeled by an impurity site representing a ferromagnetic layer or quantum dot in a tight-binding Hamiltonian with a local magnetic field and an AC-driven potential, which is solved using the Floquet formalism. The repulsive interactions in the quantum barrier are also taken into account. Our results show that the time-periodic potential causes sharp resonances of perfect transmission and reflection, which can be tuned by the frequency, the driving strength, and the magnetic field. We demonstrate that a device based on this configuration could act as a highly-tunable spin valve for spintronic applications.


title: Massive post-starburst galaxies at z > 1 are compact proto-spheroids

abstract: We investigate the relationship between the quenching of star formation and the structural transformation of massive galaxies, using a large sample of photometrically-selected post-starburst galaxies in the UKIDSS UDS field. We find that post-starburst galaxies at high-redshift ($z>1$) show high S\'ersic indices, significantly higher than those of active star-forming galaxies, but with a distribution that is indistinguishable from the old quiescent population. We conclude that the morphological transformation occurs before (or during) the quenching of star formation. Recently quenched galaxies are also the most compact; we find evidence that massive post-starburst galaxies (M$_{\ast}> 10^{10.5} ~$M$_{\odot}$) at high redshift ($z>1$) are on average smaller than comparable quiescent galaxies at the same epoch. Our findings are consistent with a scenario in which massive passive galaxies are formed from three distinct phases: (1) gas-rich dissipative collapse to very high densities, forming the proto-spheroid; (2) rapid quenching of star formation, to create the "red nugget" with post-starburst features; (3) a gradual growth in size as the population ages, perhaps as a result of minor mergers.


title: Tensor Networks in a Nutshell

abstract: Tensor network methods are taking a central role in modern quantum physics and beyond. They can provide an efficient approximation to certain classes of quantum states, and the associated graphical language makes it easy to describe and pictorially reason about quantum circuits, channels, protocols, open systems and more. Our goal is to explain tensor networks and some associated methods as quickly and as painlessly as possible. Beginning with the key definitions, the graphical tensor network language is presented through examples. We then provide an introduction to matrix product states. We conclude the tutorial with tensor contractions evaluating combinatorial counting problems. The first one counts the number of solutions for Boolean formulae, whereas the second is Penrose's tensor contraction algorithm, returning the number of $3$-edge-colorings of $3$-regular planar graphs.

categories: quant-ph cond-mat.dis-nn gr-qc hep-th math-ph math.MP


title: Yangian Symmetry for Fishnet Feynman Graphs

abstract: Various classes of fishnet Feynman graphs are shown to feature a Yangian symmetry over the conformal algebra. We explicitly discuss scalar graphs in three, four and six spacetime dimensions as well as the inclusion of fermions in four dimensions. The Yangian symmetry results in novel differential equations for these families of largely unsolved Feynman integrals. Notably, the considered fishnet graphs in three and four dimensions dominate the correlation functions and scattering amplitudes in specific double scaling limits of planar, gamma-twisted N=4 super Yang-Mills or ABJM theory. Consequently, the study of fishnet graphs allows us to get deep insights into the integrability of the planar AdS/CFT correspondence.


title: Precise predictions for the angular coefficients in Z-boson production at the LHC

abstract: The angular distributions of lepton pairs in the Drell-Yan process can provide rich information on the underlying QCD production mechanisms. These dynamics can be parameterised in terms of a set of frame dependent angular coefficients, $A_{i=0,\ldots,7}$, which depend on the invariant mass, transverse momentum, and rapidity of the lepton pair. Motivated by recent measurements of these coefficients by ATLAS and CMS, and in particular by the apparent violation of the Lam-Tung relation $A_0-A_2=0$, we perform a precision study of the angular coefficients at $\mathcal{O}(\alpha_s^3)$ in perturbative QCD. We make predictions relevant for $pp$ collisions at $\sqrt{s} = 8$ TeV, and perform comparisons with the available ATLAS and CMS data as well as providing predictions for a prospective measurement at LHCb. To expose the violation of the Lam-Tung relationship we propose a new observable $\Delta^\mathrm{LT} = 1-A_2/A_0$ that is more sensitive to the dynamics in the region where $A_0$ and $A_2$ are both small. We find that the $\mathcal{O}(\alpha_s^3)$ corrections have an important impact on the $p_{T,Z}$ distributions for several of the angular coefficients, and are essential to provide an adequate description of the data. The compatibility of the available ATLAS and CMS data is reassessed by performing a partial $\chi^2$ test with respect to the central theoretical prediction which shows that $\chi^2/N_\mathrm{data}$ is significantly reduced by going from $\mathcal{O}(\alpha_s^2)$ to $\mathcal{O}(\alpha_s^3)$.


title: Serendipitous discovery of RR Lyrae stars in the Leo V ultra-faint galaxy

abstract: During the analysis of RR Lyrae stars discovered in the High cadence Transient Survey (HiTS) taken with the Dark Energy Camera at the 4-m telescope at Cerro Tololo Inter-American Observatory, we found a group of three very distant, fundamental mode pulsator RR Lyrae (type ab). The location of these stars agrees with them belonging to the Leo V ultra-faint satellite galaxy, for which no variable stars have been reported to date. The heliocentric distance derived for Leo V based on these stars is 173 +/- 5 kpc. The pulsational properties (amplitudes and periods) of these stars locate them within the locus of the Oosterhoff II group, similar to most other ultra-faint galaxies with known RR Lyrae stars. This serendipitous discovery shows that distant RR Lyrae stars may be used to search for unknown faint stellar systems in the outskirts of the Milky Way.


title: Relaxion: A Landscape Without Anthropics

abstract: The relaxion mechanism provides a potentially elegant solution to the hierarchy problem without resorting to anthropic or other fine-tuning arguments. This mechanism introduces an axion-like field, dubbed the relaxion, whose expectation value determines the electroweak hierarchy as well as the QCD strong CP violating $\bar{\theta}$ parameter. During an inflationary period, the Higgs mass squared is selected to be negative and hierarchically small in a theory which is consistent with 't Hooft's technical naturalness criteria. However, in the original model proposed by Graham, Kaplan and Rajendran (2015), the relaxion does not solve the strong CP problem, and in fact contributes to it, as the coupling of the relaxion to the Higgs field and the introduction of a linear potential for the relaxion produces large strong CP violation. We resolve this tension by considering inflation with a Hubble scale which is above the QCD scale but below the weak scale, and estimating the Hubble temperature dependence of the axion mass. The relaxion potential is thus very different during inflation than it is today. We find that provided the inflationary Hubble scale is between the weak scale and about 3 GeV, the relaxion resolves the hierarchy, strong CP, and dark matter problems in a way that is technically natural.


title: Emulation of reionization simulations for Bayesian inference of astrophysics parameters using neural networks

abstract: Next generation radio experiments such as LOFAR, HERA and SKA are expected to probe the Epoch of Reionization and claim a first direct detection of the cosmic 21cm signal within the next decade. Data volumes will be enormous and can thus potentially revolutionize our understanding of the early Universe and galaxy formation. However, numerical modelling of the Epoch of Reionization can be prohibitively expensive for Bayesian parameter inference and how to optimally extract information from incoming data is currently unclear. Emulation techniques for fast model evaluations have recently been proposed as a way to bypass costly simulations. We consider the use of artificial neural networks as a blind emulation technique. We study the impact of training duration and training set size on the quality of the network prediction and the resulting best fit values of a parameter search. A direct comparison is drawn between our emulation technique and an equivalent analysis using 21CMMC. We find good predictive capabilities of our network using training sets of as low as 100 model evaluations, which is within the capabilities of fully numerical radiative transfer codes.


title: Squeezing the Efimov effect

abstract: The quantum mechanical three-body problem is a source of continuing interest due to its complexity and not least due to the presence of fascinating solvable cases. The prime example is the Efimov effect where infinitely many bound states of identical bosons can arise at the threshold where the two-body problem has zero binding energy. An important aspect of the Efimov effect is the effect of spatial dimensionality; it has been observed in three dimensional systems, yet it is believed to be impossible in two dimensions. Using modern experimental techniques, it is possible to engineer trap geometry and thus address the intricate nature of quantum few-body physics as function of dimensionality. Here we present a framework for studying the three-body problem as one (continuously) changes the dimensionality of the system all the way from three, through two, and down to a single dimension. This is done by considering the Efimov favorable case of a mass-imbalanced system and with an external confinement provided by a typical experimental case with a (deformed) harmonic trap.


title: Deep Imaging of the HCG 95 Field.I.Ultra-diffuse Galaxies

abstract: We present a detection of 89 candidates of ultra-diffuse galaxies (UDGs) in a 4.9 degree$^2$ field centered on the Hickson Compact Group 95 (HCG 95) using deep $g$- and $r$-band images taken with the Chinese Near Object Survey Telescope. This field contains one rich galaxy cluster (Abell 2588 at $z$=0.199) and two poor clusters (Pegasus I at $z$=0.013 and Pegasus II at $z$=0.040). The 89 candidates are likely associated with the two poor clusters, giving about 50 $-$ 60 true UDGs with a half-light radius $r_{\rm e} > 1.5$ kpc and a central surface brightness $\mu(g,0) > 24.0$ mag arcsec$^{-2}$. Deep $z$'-band images are available for 84 of the 89 galaxies from the Dark Energy Camera Legacy Survey (DECaLS), confirming that these galaxies have an extremely low central surface brightness. Moreover, our UDG candidates are spread over a wide range in $g-r$ color, and $\sim$26% are as blue as normal star-forming galaxies, which is suggestive of young UDGs that are still in formation. Interestingly, we find that one UDG linked with HCG 95 is a gas-rich galaxy with H I mass $1.1 \times 10^{9} M_{\odot}$ detected by the Very Large Array, and has a stellar mass of $M_\star \sim 1.8 \times 10^{8}$ $M_{\odot}$. This indicates that UDGs at least partially overlap with the population of nearly dark galaxies found in deep H I surveys. Our results show that the high abundance of blue UDGs in the HCG 95 field is favored by the environment of poor galaxy clusters residing in H I-rich large-scale structures.


title: Subaru Telescope limits on cosmological variations in the fine-structure constant

abstract: Previous, large samples of quasar absorption spectra have indicated some evidence for relative variations in the fine-structure constant ($\Delta\alpha/\alpha$) across the sky. However, they were likely affected by long-range distortions of the wavelength calibration, so it is important to establish a statistical sample of more reliable results, from multiple telescopes. Here we triple the sample of $\Delta\alpha/\alpha$ measurements from the Subaru Telescope which have been `supercalibrated' to correct for long-range distortions. A blinded analysis of the metallic ions in 6 intervening absorption systems in two Subaru quasar spectra provides no evidence for $\alpha$ variation, with a weighted mean of $\Delta\alpha/\alpha=3.0\pm2.8_{\rm stat}\pm2.0_{\rm sys}$ parts per million (1$\sigma$ statistical and systematic uncertainties). The main remaining systematic effects are uncertainties in the long-range distortion corrections, absorption profile models, and errors from redispersing multiple quasar exposures onto a common wavelength grid. The results also assume that terrestrial isotopic abundances prevail in the absorbers; assuming only the dominant terrestrial isotope is present significantly lowers $\Delta\alpha/\alpha$, though it is still consistent with zero. Given the location of the two quasars on the sky, our results do not support the evidence for spatial $\alpha$ variation, especially when combined with the 21 other recent measurements which were corrected for, or resistant to, long-range distortions. Our spectra and absorption profile fits are publicly available.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: Lyman-alpha Constraints on Ultralight Scalar Dark Matter: Implications for the Early and Late Universe

abstract: We investigate constraints on scalar dark matter (DM) by analyzing the Lyman-alpha forest, which probes structure formation at medium and small scales, and also by studying its cosmological consequences at high and low redshift. For scalar DM that constitutes more than 30% of the total DM density, we obtain a lower limit m >~ 10^{-21} eV for the mass of scalar DM. This implies an upper limit on the initial field displacement (or the decay constant for an axion-like field) of phi <~ 10^{16} GeV. We also derive limits on the energy scale of cosmic inflation and establish an upper bound on the tensor-to-scalar ratio of r < 10^{-3} in the presence of scalar DM. Furthermore, we show that there is very little room for ultralight scalar DM to solve the "small-scale crisis" of cold DM without spoiling the Lyman-alpha forest results. The constraints presented in this paper can be used for testing generic theories that contain light scalar fields.


title: Trends in Atmospheric Properties of Neptune-Size Exoplanets

abstract: Precise atmospheric observations have been made for a growing sample of warm Neptunes. Here we investigate the correlations between these observations and a large number of system parameters to show that, at 95% confidence, the amplitude of a warm Neptune's spectral features in transmission correlates with either its equilibrium temperature (T_eq) or its bulk H/He mass fraction (f_HHe) --- in addition to the standard kT/mg scaling. These correlations could indicate either more optically-thick, photochemically-produced hazes at lower T_eq and/or higher-metallicity atmospheres for planets with smaller radii and lower f_HHe. %Since hazes must exist in some of these planets, we favor the former explanation. We derive an analytic relation to estimate the observing time needed with JWST/NIRISS to confidently distinguish a nominal gas giant's transmission spectrum from a flat line. Using this tool, we show that these possible atmospheric trends could reduce the number of expected TESS planets accessible to JWST spectroscopy by up to a factor of eight. Additional observations of a larger sample of planets are required to confirm these trends in atmospheric properties as a function of planet or system quantities. If these trends can be confidently identified, the community will be well-positioned to prioritize new targets for atmospheric study and eventually break the complex degeneracies between atmospheric chemistry, composition, and cloud properties.


title: A CO survey on a sample of Herschel cold clumps

abstract: The physical state of cold cloud clumps has a great impact on the process and efficiency of star formation and the masses of the forming stars inside these objects. The sub-millimetre survey of the Planck space observatory and the far-infrared follow-up mapping of the Herschel space telescope provide an unbiased, large sample of these cold objects. We have observed $^{12}$CO(1$-$0) and $^{13}$CO(1$-$0) emission in 35 clumps in 26 Herschel fields sampling different environments in the Galaxy. Densities and temperatures were calculated from both the dust continuum and the molecular line data, kinematic distances were derived using $^{13}$CO line velocities and clump sizes and masses were calculated by fitting 2D Gaussian functions to the optical depth distribution maps. Clump masses and virial masses were estimated assuming an upper and lower limit on the kinetic temperatures and considering uncertainties due to distance limitations. The excitation temperatures are between 8.5$-$19.5 K, while the Herschel-derived dust colour temperatures are 12$-$16 K. The sizes (0.1$-$3 pc), $^{13}$CO column densities (0.5$-$44$\times$10$^{15}$ cm$^{-2}$) and masses (from less than 0.1 $M_{\odot}$ to more than 1500 $M_{\odot}$) of the objects span broad ranges. Eleven gravitationally unbound clumps were found, many of them smaller than 0.3 pc, but large, parsec-scale clouds with a few hundred solar masses appear as well. Colder clumps have generally high column densities but warmer objects appear at both low and higher column densities. The clump column densities derived from the line and dust observations correlate well, but are heavily affected by uncertainties of the dust properties, varying molecular abundances and optical depth effects.


title: Searching for Cool Dust: II. Infrared Imaging of the OH/IR Supergiants, NML Cyg, VX Sgr, S Per and the Normal Red Supergiants RS Per and T Per

abstract: New MMT/MIRAC (9-11 {\mu}m), SOFIA/FORCAST (11-37 {\mu}m), and Herschel/PACS (70 and 160 {\mu}m) infrared (IR) imaging and photometry is presented for three famous OH/IR red supergiants (NML Cyg, VX Sgr, and S Per) and two normal red supergiants (RS Per and T Per). We model the observed spectral energy distributions (SEDs) using radiative transfer code DUSTY. Azimuthal average profiles from the SOFIA/FORCAST imaging, in addition to dust mass distribution profiles from DUSTY, constrain the mass-loss histories of these supergiants. For all of our observed supergiants, the DUSTY models suggest that constant mass-loss rates do not produce enough dust to explain the observed infrared emission in the stars' SEDs. Combining our results with Shenoy et al. (2016) (Paper I) we find mixed results with some red supergiants showing evidence for variable and high mass-loss events while others have constant mass loss over the past few thousand years.


title: Metamorphoses of a photon sphere

abstract: There are circular planar null geodesics at $r=3M$ around a Schwarzschild black hole of mass $M$. These geodesics form a photon sphere. Null geodesics of the Schwarzschild space-time which do not form the photon sphere are either escape to null infinity or get captured by the black hole. Thus, from the dynamical point of view, the photon sphere represents a smooth basin boundary that separates the basins of escape and capture of the dynamical system governing the null geodesics. Here we consider a Schwarzschild black hole distorted by an external, static, and axisymmetric quadrupolar gravitational field. We study null geodesics around such a black hole and show that the photon sphere transforms into a fractal basin boundary that indicates chaotic behavior of the null geodesics. We calculate the box-counting fractal dimension of the basin boundary and the related uncertainty exponent, which depend on the value of the quadrupole moment.


title: Effect of higher-order nonlinearities on amplification and squeezing in Josephson parametric amplifiers

abstract: Single-mode Josephson junction-based parametric amplifiers are often modeled as perfect amplifiers and squeezers. We show that, in practice, the gain, quantum efficiency, and output field squeezing of these devices are limited by usually neglected higher-order corrections to the idealized model. To arrive at this result, we derive the leading corrections to the lumped-element Josephson parametric amplifier of three common pumping schemes: monochromatic current pump, bichromatic current pump, and monochromatic flux pump. We show that the leading correction for the last two schemes is a single Kerr-type quartic term, while the first scheme contains additional cubic terms. In all cases, we find that the corrections are detrimental to squeezing. In addition, we show that the Kerr correction leads to a strongly phase-dependent reduction of the quantum efficiency of a phase-sensitive measurement. Finally, we quantify the departure from ideal Gaussian character of the filtered output field from numerical calculation of third and fourth order cumulants. Our results show that, while a Gaussian output field is expected for an ideal Josephson parametric amplifier, higher-order corrections lead to non-Gaussian effects which increase with both gain and nonlinearity strength. This theoretical study is complemented by experimental characterization of the output field of a flux-driven Josephson parametric amplifier. In addition to a measurement of the squeezing level of the filtered output field, the Husimi Q-function of the output field is imaged by the use of a deconvolution technique and compared to numerical results. This work establishes nonlinear corrections to the standard degenerate parametric amplifier model as an important contribution to Josephson parametric amplifier's squeezing and noise performance.


title: Minimal Flavor Violation with Axion-like Particles

abstract: We revisit the flavor-changing processes involving an axion-like particle (ALP) in the context of generic ALP effective lagrangian with a discussion of possible UV completions providing the origin of the relevant bare ALP couplings. We focus on the minimal scenario that ALP has flavor-conserving couplings at tree level, and the leading flavor-changing couplings arise from the loops involving the Yukawa couplings of the Standard Model fermions. We note that such radiatively generated flavor-changing ALP couplings can be easily suppressed in field theoretic ALP models with sensible UV completion. We discuss also the implication of our result for string theoretic ALP originating from higher-dimensional $p$-form gauge fields, for instance for ALP in large volume string compactification scenario.


title: In the crosshair: astrometric exoplanet detection with WFIRST's diffraction spikes

abstract: WFIRST will conduct a coronagraphic program of characterizing the atmospheres of planets around bright nearby stars. When observed with the WFIRST Wide Field Camera, these stars will saturate the detector and produce very strong diffraction spikes. In this paper, we forecast the astrometric precision that WFIRST can achieve by centering on the diffraction spikes of highly saturated stars. This measurement principle is strongly facilitated by the WFIRST H4RG detectors, which confine excess charges within the potential well of saturated pixels. By adopting a simplified analytical model of the diffraction spike caused by a single support strut obscuring the telescope aperture, integrated over the WFIRST pixel size, we predict the performance of this approach with the Fisher-matrix formalism. We discuss the validity of the model and find that 10 ${\mu}$as astrometric precision is achievable with a single 100 s exposure of a R = 6 or a J = 5 star. We discuss observational limitations from the optical distortion correction and pixel-level artifacts, which need to be calibrated at the level of 10 - 20 ${\mu}$as so as to not dominate the error budget. To suppress those systematics, we suggest a series of short exposures, dithered by at least several hundred pixels, to reach an effective per-visit astrometric precision of better than 10 ${\mu}$as. If this can be achieved, a dedicated WFIRST GO program will be able to detect Earth-mass exoplanets with orbital periods of 1 yr around stars within a few pc as well as Neptune-like planets with shorter periods or around more massive or distant stars. Such a program will also enable mass measurements of many anticipated direct-imaging exoplanet targets of the WFIRST coronagraph and a "starshade" occulter.


title: Two-step approach to scheduling quantum circuits

abstract: As the effort to scale up existing quantum hardware proceeds, it becomes necessary to schedule quantum gates in a way that minimizes the number of operations. There are three constraints that have to be satisfied: the order or dependency of the quantum gates in the specific algorithm, the fact that any qubit may be involved in at most one gate at a time, and the restriction that two-qubit gates are implementable only between connected qubits. The last aspect implies that the compilation depends not only on the algorithm, but also on hardware properties like connectivity. Here we suggest a two-step approach in which logical gates are initially scheduled neglecting connectivity considerations, while routing operations are added at a later step in a way that minimizes their overhead. We rephrase the subtasks of gate scheduling in terms of graph problems like edge-coloring and maximum subgraph isomorphism. While this approach is general, we specialize to a one dimensional array of qubits to propose a routing scheme that is minimal in the number of exchange operations. As a practical application, we schedule the Quantum Approximate Optimization Algorithm in a linear geometry and quantify the reduction in the number of gates and circuit depth that results from increasing the efficacy of the scheduling strategies.


title: The Euclidean distance degree of smooth complex projective varieties

abstract: We obtain several formulas for the Euclidean distance degree (ED degree) of an arbitrary nonsingular variety in projective space: in terms of Chern and Segre classes, Milnor classes, Chern-Schwartz-MacPherson classes, and an extremely simple formula equating the Euclidean distance degree of X with the Euler characteristic of an open subset of X.


title: What if? - Exploring the Multiverse through Euclidean wormholes

abstract: We present Euclidean wormhole solutions describing possible bridges within the multiverse. The study is carried out in the framework of the third quantization. The matter content is modelled through a scalar field which supports the existence of a whole collection of universes. The instanton solutions describe Euclidean solutions that connect baby universes with asymptotically de Sitter universes. We compute the tunnelling probability of these processes. Considering the current bounds on the energy scale of inflation and assuming that all the baby universes are nucleated with the same probability, we draw some conclusions about what are the universes more likely to tunnel and therefore undergo a standard inflationary era.


title: The VIMOS Public Extragalactic Redshift Survey (VIPERS): An unbiased estimate of the growth rate of structure at $\mathbf{\left<z\right>=0.85}$ using the clustering of luminous blue galaxies

abstract: We use the VIPERS final data release to investigate the performance of colour-selected populations of galaxies as tracers of linear large-scale motions. We empirically select volume-limited samples of blue and red galaxies as to minimise the systematic error on the estimate of the growth rate $f\sigma_8$ from the anisotropy of the two-point correlation function. To this end, rather than rigidly splitting the sample into two colour classes we define the red/blue fractional contribution of each object through a weight based on the $(U-V)$ colour distribution. Using mock surveys that are designed to reproduce the observed properties of VIPERS galaxies, we find the systematic error in recovering the fiducial value of $f\sigma_8$ to be minimized when using a volume-limited sample of luminous blue galaxies. We model non-linear corrections via the Scoccimarro extension of the Kaiser model, finding systematic errors on $f\sigma_8$ of below $1-2\%$, using scales as small as 5 $h^{-1}\mathrm{Mpc}$. We interpret this result as indicating that selection of luminous blue galaxies maximises the fraction that are central objects in their dark matter haloes; this in turn minimises the contribution to the measured $\xi(r_p,\pi)$ from the 1-halo term, which is dominated by non-linear motions. The gain is inferior if one uses the full magnitude-limited sample of blue objects, consistent with the presence of a significant fraction of blue, fainter satellites dominated by non-streaming, orbital velocities. We measure a value of $f\sigma_8=0.45 \pm 0.11$ over the single redshift range $0.6\le z\le 1.0$, corresponding to an effective redshift for the blue galaxies $\left<z\right>=0.85$. Including in the likelihood the potential extra information contained in the blue-red galaxy cross-correlation function does not lead to an appreciable improvement in the error bars, while it increases the systematic error.


title: Distribution and Evolution of Metals in the Magneticum simulations

abstract: Metals are ideal tracers of the baryonic cycle within halos. Their composition is a fossil record connecting the evolution of the various stellar components of galaxies to the interaction with the environment by in- and outflows. The Magneticum simulations allow to study halos across a large range of masses and environments, from massive galaxy clusters containing hundreds of galaxies down to isolated field galaxies. They include a detailed treatment of the chemo-energetic feedback from the stellar component and its evolution as well as feedback from the evolution of supermassive black holes. Following the detailed evolution of various metal species and their relative composition due to continuing enrichment of the IGM and ICM by SNIa, SNII and AGB winds of the evolving stellar population reveals the complex interplay of local star formation processes, mixing, global baryonic flows, secular galactic evolution and environmental processes. We present results from the Magneticum simulations on the chemical properties of simulated galaxies and galaxy clusters, carefully comparing them to observations. We show that the simulations already reach a very high level of realism within their complex descriptions of the chemo-energetic feedback, successfully reproducing a large number of observed properties and scaling relations. Our simulated galaxies clearly indicate that there are no strong secondary parameters (like star formation rates at fixed redshift) driving the scatter in these scaling relations. The remaining differences clearly point to detailed physical processes which have to be included into future simulations.


title: Interpolation for Brill-Noether curves in $\mathbb{P}^4$

abstract: In this paper, we compute the number of general points through which a general Brill-Noether curve in $\mathbb{P}^4$ passes. We also prove an analogous theorem when some points are constrained to lie in a transverse hyperplane. As explained in arXiv:1809.05980, these results play an essential role in the first author's proof of the Maximal Rank Conjecture.


title: Irreducible forms of Matrix Product States: Theory and Applications

abstract: The canonical form of Matrix Product States (MPS) and the associated fundamental theorem, which relates different MPS representations of a state, are the theoretical framework underlying many of the analytical results derived through MPS, such as the classification of symmetry-protected phases in one dimension. Yet, the canonical form is only defined for MPS without non-trivial periods, and thus cannot fully capture paradigmatic states such as the antiferromagnet. Here, we introduce a new standard form for MPS, the irreducible form, which is defined for arbitrary MPS, including periodic states, and show that any tensor can be transformed into a tensor in irreducible form describing the same MPS. We then prove a fundamental theorem for MPS in irreducible form: If two tensors in irreducible form give rise to the same MPS, then they must be related by a similarity transform, together with a matrix of phases. We provide two applications of this result: an equivalence between the refinement properties of a state and the divisibility properties of its transfer matrix, and a more general characterisation of tensors that give rise to matrix product states with symmetries.


title: On $r$-gaps between zeros of the Riemann zeta-function

abstract: Under the Riemann Hypothesis, we prove for any natural number $r$ there exist infinitely many large natural numbers $n$ such that $(\gamma_{n+r}-\gamma_n)/(2\pi /\log \gamma_n) > r + \Theta\sqrt{r}$ and $(\gamma_{n+r}-\gamma_n)/(2\pi /\log \gamma_n) < r - \vartheta\sqrt{r}$ for explicit absolute positive constants $\Theta$ and $\vartheta$, where $\gamma$ denotes an ordinate of a zero of the Riemann zeta-function on the critical line. Selberg published announcements of this result several times but did not include a proof. We also suggest a general framework which might lead to stronger statements concerning the vertical distribution of nontrivial zeros of the Riemann zeta-function.


title: Mesoscopic density grains in the 1d interacting Bose gas from the exact Yang-Yang solution

abstract: Number fluctuations in a one-dimensional Bose gas consist of contributions from many smaller independent localized fluctuations, the density grains. We have derived a set of extended integral equations from the Yang-Yang solution for finite temperature that exactly determine all higher order moments of number fluctuations. These moments are closely related to the statistics of the localized (but not zero-range) density grains. We directly calculate the mean occupation of these fluctuations, and the variance, skewness, and kurtosis of their distribution across the whole parameter space of the gas. Findings include: Large mesoscopic density grains with a fat-tailed distribution in the thermal quasicondensate of the dilute gas and in the nonperturbative quantum turbulent regime; Regions of negative skewness and below-Gaussian kurtosis in a part of the fermionized gas, and an unexplained crossover region along $T\sim T_d/\gamma$; The existence of a peak in the density-density correlation function at finite interparticle spacing. We relate these density grain statistics to measurable behavior such as the statistics of coarse imaging bins, and finite-size scaling of number fluctuations. We propose how to experimentally test the relationship between thermodynamically independent density grains and density concentrations visible in single shot images.


title: On the topology of no $k$-equal spaces

abstract: We consider the topology of real no $k$-equal spaces via the theory of cellular spanning trees. Our main theorem proves that the rank of the $(k-2)$-dimensional homology of the no $k$-equal subspace of $\mathbb{R}$ is equal to the number of facets in a $k$-dimensional spanning tree of the $k$-skeleton of the $n$-dimensional hypercube.


title: An efficient MPI/OpenMP parallelization of the Hartree-Fock method for the second generation of Intel Xeon Phi processor

abstract: Modern OpenMP threading techniques are used to convert the MPI-only Hartree-Fock code in the GAMESS program to a hybrid MPI/OpenMP algorithm. Two separate implementations that differ by the sharing or replication of key data structures among threads are considered, density and Fock matrices. All implementations are benchmarked on a super-computer of 3,000 Intel Xeon Phi processors. With 64 cores per processor, scaling numbers are reported on up to 192,000 cores. The hybrid MPI/OpenMP implementation reduces the memory footprint by approximately 200 times compared to the legacy code. The MPI/OpenMP code was shown to run up to six times faster than the original for a range of molecular system sizes.


title: Probing the Efimov discrete scaling in atom-molecule collision

abstract: The discrete Efimov scaling behavior, well-known in the low-energy spectrum of three-body bound systems for large scattering lengths (unitary limit), is identified in the energy dependence of atom-molecule elastic cross-section in mass imbalanced systems. That happens in the collision of a heavy atom with mass $m_H$ with a weakly-bound dimer formed by the heavy atom and a lighter one with mass $m_L \ll m_H$. Approaching the heavy-light unitary limit the $s-$wave elastic cross-section $\sigma$ will present a sequence of zeros/minima at collision energies following closely the Efimov geometrical law. Our results open a new perspective to detect the discrete scaling behavior from low-energy scattering data, which is timely in view of the ongoing experiments with ultra-cold binary mixtures having strong mass asymmetries, such as Lithium and Caesium or Lithium and Ytterbium.

categories: physics.atom-ph cond-mat.quant-gas nucl-th quant-ph


title: Code subspaces for LLM geometries

abstract: We consider effective field theory around classical background geometries with a gauge theory dual, in the class of LLM geometries. These are dual to half-BPS states of $\cal{N}=$ 4 SYM. We find that the language of code subspaces is natural for discussing the set of nearby states, which are built by acting with effective fields on these backgrounds. This work extends our previous work by going beyond the strict infinite $N$ limit. We further discuss how one can extract the topology of the state beyond $N\rightarrow\infty$ and find that uncertainty and entanglement entropy calculations still provide a useful tool to do so. Finally, we discuss obstructions to writing down a globally defined metric operator. We find that the answer depends on the choice of reference state that one starts with. Therefore there is ambiguity in trying to write an operator that describes the metric globally.


title: Sensitivity of the Hydrogen Epoch of Reionization Array and its Build-out Stages to One-point Statistics from Redshifted 21 cm Observations

abstract: We present a baseline sensitivity analysis of the Hydrogen Epoch of Reionization Array (HERA) and its build-out stages to one-point statistics (variance, skewness, and kurtosis) of redshifted 21 cm intensity fluctuation from the Epoch of Reionization (EoR) based on realistic mock observations. By developing a full-sky 21 cm lightcone model, taking into account the proper field of view and frequency bandwidth, utilising a realistic measurement scheme, and assuming perfect foreground removal, we show that HERA will be able to recover statistics of the sky model with high sensitivity by averaging over measurements from multiple fields. All build-out stages will be able to detect variance, while skewness and kurtosis should be detectable for HERA128 and larger. We identify sample variance as the limiting constraint of the variance measurement while skewness and kurtosis measurements will be primarily limited by thermal noise. The sensitivity can be improved by performing frequency binning and windowing. In addition, we find that strong sample variance fluctuation in the kurtosis measured from an individual field of observation indicates the present of outlying cold or hot regions in the underlying fluctuations, a feature that can potentially be used as an EoR bubble indicator. This manuscript is altered from the originally published paper to reflect corrections in the erratum.


title: Magellan/M2FS Spectroscopy of Galaxy Clusters: Stellar Population Model and Application to Abell 267

abstract: We report the results of a pilot program to use the Magellan/M2FS spectrograph to survey the galactic populations and internal kinematics of galaxy clusters. For this initial study, we present spectroscopic measurements for $223$ quiescent galaxies observed along the line of sight to the galaxy cluster Abell 267 ($z\sim0.23$). We develop a Bayesian method for modeling the integrated light from each galaxy as a simple stellar population, with free parameters that specify redshift ($v_\mathrm{los}/c$) and characteristic age, metallicity ($\mathrm{[Fe/H]}$), alpha-abundance ($[\alpha/\mathrm{Fe}]$), and internal velocity dispersion ($\sigma_\mathrm{int}$) for individual galaxies. Parameter estimates derived from our 1.5-hour observation of A267 have median random errors of $\sigma_{v_\mathrm{los}}=20\ \mathrm{km\ s^{-1}}$, $\sigma_{\mathrm{Age}}=1.2\ \mathrm{Gyr}$, $\sigma_{\mathrm{[Fe/H]}}=0.11\ \mathrm{dex}$, $\sigma_{[\alpha/\mathrm{Fe}]}=0.07\ \mathrm{dex}$, and $\sigma_{\sigma_\mathrm{int}}=20\ \mathrm{km\ s^{-1}}$. In a companion paper, we use these results to model the structure and internal kinematics of A267.


title: Quantum simulation of topologically protected states using directionally unbiased linear-optical multiports

abstract: It is shown that quantum walks on one-dimensional arrays of special linear-optical units allow the simulation of discrete-time Hamiltonian systems with distinct topological phases. In particular, a slightly modified version of the Su-Schrieffer-Heeger (SSH) system can be simulated, which exhibits states of nonzero winding number and has topologically protected boundary states. In the large-system limit this approach uses quadratically fewer resources to carry out quantum simulations than previous linear-optical approaches and can be readily generalized to higher-dimensional systems. The basic optical units that implement this simulation consist of combinations of optical multiports that allow photons to reverse direction.


title: Two theorems on point-flat incidences

abstract: We improve the theorem of Beck giving a lower bound on the number of $k$-flats spanned by a set of points in real space, and improve the bound of Elekes and T\'oth on the number of incidences between points and $k$-flats in real space.


title: Removal of Narrowband Interference (PLI in ECG Signal) Using Ramanujan Periodic Transform (RPT)

abstract: Suppression of interference from narrowband frequency signals play vital role in many signal processing and communication applications. A transform based method for suppression of narrow band interference in a biomedical signal is proposed. As a specific example Electrocardiogram (ECG) is considered for the analysis. ECG is one of the widely used biomedical signal. ECG signal is often contaminated with baseline wander noise, powerline interference (PLI) and artifacts (bioelectric signals), which complicates the processing of raw ECG signal. This work proposes an approach using Ramanujan periodic transform for reducing PLI and is tested on a subject data from MIT-BIH Arrhythmia database. A sum ($E$) of Euclidean error per block ($e_i$) is used as measure to quantify the suppression capability of RPT and notch filter based methods. The transformation is performed for different lengths ($N$), namely $36$, $72$, $108$, $144$, $180$. Every doubling of $N$-points results in $50{\%}$ reduction in error ($E$).


title: New insights on the origin of multiple stellar populations in globular clusters

abstract: In order to investigate the origin of multiple stellar populations in the halo and bulge of the Milky Way, we have constructed chemical evolution models for the low-mass proto-Galactic subsystems such as globular clusters (GCs). Unlike previous studies, we assume that supernova blast waves undergo blowout without expelling the pre-enriched gas, while relatively slow winds of massive stars (WMS), together with the winds and ejecta from low and intermediate mass asymptotic-giant-branch stars (AGBs), are all locally retained in these less massive systems. We find that the observed Na-O anti-correlation in metal-poor GCs can be reproduced, when multiple episodes of starbursts are allowed to continue in these subsystems. Specific star formation history (SFH) with decreasing time intervals between the stellar generations, however, is required to obtain this result, which is in good agreement with the parameters obtained from our stellar evolution models for the horizontal-branch. The "mass budget problem" is also much alleviated by our models without ad-hoc assumptions on star formation efficiency (SFE) and initial mass function (IMF). We also applied these models to investigate the origin of super-helium-rich red clump stars in the metal-rich bulge as recently suggested by Lee et al. (2015). We find that chemical enrichments by the WMS can naturally reproduce the required helium enhancement (dY/dZ = 6) for the second generation stars. Disruption of proto-GCs in a hierarchical merging paradigm would have provided helium enhanced stars to the bulge field.


title: Spatio-Temporal Action Detection with Cascade Proposal and Location Anticipation

abstract: In this work, we address the problem of spatio-temporal action detection in temporally untrimmed videos. It is an important and challenging task as finding accurate human actions in both temporal and spatial space is important for analyzing large-scale video data. To tackle this problem, we propose a cascade proposal and location anticipation (CPLA) model for frame-level action detection. There are several salient points of our model: (1) a cascade region proposal network (casRPN) is adopted for action proposal generation and shows better localization accuracy compared with single region proposal network (RPN); (2) action spatio-temporal consistencies are exploited via a location anticipation network (LAN) and thus frame-level action detection is not conducted independently. Frame-level detections are then linked by solving an linking score maximization problem, and temporally trimmed into spatio-temporal action tubes. We demonstrate the effectiveness of our model on the challenging UCF101 and LIRIS-HARL datasets, both achieving state-of-the-art performance.


title: Pricing for Online Resource Allocation: Intervals and Paths

abstract: We present pricing mechanisms for several online resource allocation problems which obtain tight or nearly tight approximations to social welfare. In our settings, buyers arrive online and purchase bundles of items; buyers' values for the bundles are drawn from known distributions. This problem is closely related to the so-called prophet-inequality of Krengel and Sucheston and its extensions in recent literature. Motivated by applications to cloud economics, we consider two kinds of buyer preferences. In the first, items correspond to different units of time at which a resource is available; the items are arranged in a total order and buyers desire intervals of items. The second corresponds to bandwidth allocation over a tree network; the items are edges in the network and buyers desire paths. Because buyers' preferences have complementarities in the settings we consider, recent constant-factor approximations via item prices do not apply, and indeed strong negative results are known. We develop static, anonymous bundle pricing mechanisms. For the interval preferences setting, we show that static, anonymous bundle pricings achieve a sublogarithmic competitive ratio, which is optimal (within constant factors) over the class of all online allocation algorithms, truthful or not. For the path preferences setting, we obtain a nearly-tight logarithmic competitive ratio. Both of these results exhibit an exponential improvement over item pricings for these settings. Our results extend to settings where the seller has multiple copies of each item, with the competitive ratio decreasing linearly with supply. Such a gradual tradeoff between supply and the competitive ratio for welfare was previously known only for the single item prophet inequality.


title: The distribution of $G$-Weyl CM fields and the Colmez conjecture

abstract: Let $G$ be a transitive subgroup of $S_d$ and $E$ be a CM field of degree $2d$ with a maximal totally real $G$-field. If the Galois group of the Galois closure of $E$ is isomorphic to the wreath product of $C_2$ and $G$, then we say that $E$ is a $G$-Weyl CM field. Let $N_{2d}^{\textrm{Weyl}}(X,G)$ count the $G$-Weyl CM fields $E$ of degree $2d$ with discriminant $|d_E| \leq X$ and define \begin{align*} N_{2d}^{\textrm{Weyl}}(X):=\sum_{G \leq S_d}N_{2d}^{\textrm{Weyl}}(X,G). \end{align*} Further, let $N_{2d}^{\textrm{cm}}(X)$ count the CM fields $E$ of degree $2d$ with discriminant $|d_E| \leq X$. Assuming a weak form of the upper bound in Malle's conjecture which is known to be true in many cases, we build upon an approach of Kl\"uners to prove that \begin{align*} \frac{N_{2d}^{\textrm{Weyl}}(X,G)}{N_{2d}^{\textrm{cm}}(X)} = C(d, G) + O(X^{-\alpha(d,G)}) \end{align*} and \begin{align} \frac{N_{2d}^{\textrm{Weyl}}(X)}{N_{2d}^{\textrm{cm}}(X)} = 1 + O(X^{-\beta(d)}) \qquad \qquad (0.1) \end{align} for some explicit positive constants $C(d,G), \alpha(d,G)$, and $\beta(d)$. We then apply these distribution results to study the Colmez conjecture. Using the recently proved averaged Colmez conjecture, we deduce that the Colmez conjecture is true for $G$-Weyl CM fields. Combined with (0.1), we conclude that the Colmez conjecture is true for an asymptotic density of 100% of CM fields of degree $2d$; in other words, the Colmez conjecture is true for a random CM field.


title: Statistics on the (compact) Stiefel manifold: Theory and Applications

abstract: A Stiefel manifold of the compact type is often encountered in many fields of Engineering including, signal and image processing, machine learning, numerical optimization and others. The Stiefel manifold is a Riemannian homogeneous space but not a symmetric space. In previous work, researchers have defined probability distributions on symmetric spaces and performed statistical analysis of data residing in these spaces. In this paper, we present original work involving definition of Gaussian distributions on a homogeneous space and show that the maximum-likelihood estimate of the location parameter of a Gaussian distribution on the homogeneous space yields the Fr\'echet mean (FM) of the samples drawn from this distribution. Further, we present an algorithm to sample from the Gaussian distribution on the Stiefel manifold and recursively compute the FM of these samples. We also prove the weak consistency of this recursive FM estimator. Several synthetic and real data experiments are then presented, demonstrating the superior computational performance of this estimator over the gradient descent based non-recursive counter part as well as the stochastic gradient descent based method prevalent in literature.


title: On the mod p reduction of orthogonal representations

abstract: We show that the reduction mod p of an orthogonal linear representation is orthogonal, and we generalize this fact to representations of algebras with involution.The proofs make an essential use of the notion of " middle lattices ".


title: Inclusion of new LHC data in MMHT PDFs

abstract: I consider the effects of including a variety of new LHC data sets into the MMHT approach for PDF determination. I consider the impact of fitting new LHC and Tevatron data, which leads to clear improvements in some PDF uncertainties. There are specific issues with ATLAS 7 TeV jet data and I include a discussion of the treatment of correlated uncertainties and briefly the effects of NNLO corrections. I also present preliminary results with the inclusion of the high precison final ATLAS 7 TeV $W,Z$ rapidity-dependent data.


title: Continuous-Variable Protocol for Oblivious Transfer in the Noisy-Storage Model

abstract: Cryptographic protocols are the backbone of our information society. This includes two-party protocols which offer protection against distrustful players. Such protocols can be built from a basic primitive called oblivious transfer. We present and experimentally demonstrate here the first quantum protocol for oblivious transfer for optical continuous-variable systems, and prove its security in the noisy-storage model. This model allows to establish security by sending more quantum signals than an attacker can reliably store during the protocol. The security proof is based on new uncertainty relations which we derive for continuous-variable systems, that differ from the ones used in quantum key distribution. We experimentally demonstrate the proposed oblivious transfer protocol for various channel losses by using entangled two-mode squeezed states measured with balanced homodyne detection. Our work enables the implementation of arbitrary two-party quantum cryptographic protocols with continuous-variable communication systems.


title: Interpretable Active Learning

abstract: Active learning has long been a topic of study in machine learning. However, as increasingly complex and opaque models have become standard practice, the process of active learning, too, has become more opaque. There has been little investigation into interpreting what specific trends and patterns an active learning strategy may be exploring. This work expands on the Local Interpretable Model-agnostic Explanations framework (LIME) to provide explanations for active learning recommendations. We demonstrate how LIME can be used to generate locally faithful explanations for an active learning strategy, and how these explanations can be used to understand how different models and datasets explore a problem space over time. In order to quantify the per-subgroup differences in how an active learning strategy queries spatial regions, we introduce a notion of uncertainty bias (based on disparate impact) to measure the discrepancy in the confidence for a model's predictions between one subgroup and another. Using the uncertainty bias measure, we show that our query explanations accurately reflect the subgroup focus of the active learning queries, allowing for an interpretable explanation of what is being learned as points with similar sources of uncertainty have their uncertainty bias resolved. We demonstrate that this technique can be applied to track uncertainty bias over user-defined clusters or automatically generated clusters based on the source of uncertainty.


title: Nonconvex piecewise linear functions: Advanced formulations and simple modeling tools

abstract: We present novel mixed-integer programming (MIP) formulations for optimization over nonconvex piecewise linear functions. We exploit recent advances in the systematic construction of MIP formulations to derive new formulations for univariate functions using a geometric approach, and for bivariate functions using a combinatorial approach. All formulations are strong, small (so-called logarithmic formulations), and have other desirable computational properties. We present extensive experiments in which they exhibit substantial computational performance improvements over existing approaches. To accompany these advanced formulations, we present PiecewiseLinearOpt, an extension of the JuMP modeling language in Julia that implements our models (alongside other formulations from the literature) through a high-level interface, hiding the complexity of the formulations from the end-user.


title: Gaussian Behavior of Quadratic Irrationals

abstract: We study the probabilistic behaviour of the continued fraction expansion of a quadratic irrational number, when weighted by some "additive" cost. We prove asymptotic Gaussian limit laws, with an optimal speed of convergence. We deal with the underlying dynamical system associated with the Gauss map, and its weighted periodic trajectories. We work with analytic combinatorics methods, and mainly with bivariate Dirichlet generating functions; we use various tools, from number theory (the Landau Theorem), from probability (the Quasi-Powers Theorem), or from dynamical systems: our main object of study is the (weighted) transfer operator, that we relate with the generating functions of interest. The present paper exhibits a strong parallelism with the methods which have been previously introduced by Baladi and Vall\'ee in the study of rational trajectories. However, the present study is more involved and uses a deeper functional analysis framework.


title: Streaming Architecture for Large-Scale Quantized Neural Networks on an FPGA-Based Dataflow Platform

abstract: Deep neural networks (DNNs) are used by different applications that are executed on a range of computer architectures, from IoT devices to supercomputers. The footprint of these networks is huge as well as their computational and communication needs. In order to ease the pressure on resources, research indicates that in many cases a low precision representation (1-2 bit per parameter) of weights and other parameters can achieve similar accuracy while requiring less resources. Using quantized values enables the use of FPGAs to run NNs, since FPGAs are well fitted to these primitives; e.g., FPGAs provide efficient support for bitwise operations and can work with arbitrary-precision representation of numbers. This paper presents a new streaming architecture for running QNNs on FPGAs. The proposed architecture scales out better than alternatives, allowing us to take advantage of systems with multiple FPGAs. We also included support for skip connections, that are used in state-of-the art NNs, and shown that our architecture allows to add those connections almost for free. All this allowed us to implement an 18-layer ResNet for 224x224 images classification, achieving 57.5% top-1 accuracy. In addition, we implemented a full-sized quantized AlexNet. In contrast to previous works, we use 2-bit activations instead of 1-bit ones, which improves AlexNet's top-1 accuracy from 41.8% to 51.03% for the ImageNet classification. Both AlexNet and ResNet can handle 1000-class real-time classification on an FPGA. Our implementation of ResNet-18 consumes 5x less power and is 4x slower for ImageNet, when compared to the same NN on the latest Nvidia GPUs. Smaller NNs, that fit a single FPGA, are running faster then on GPUs on small (32x32) inputs, while consuming up to 20x less energy and power.


title: High-efficiency optical pumping of nuclear polarization in a GaAs quantum well

abstract: The dynamic polarization of nuclear spins by photoexcited electrons is studied in a high quality GaAs/AlGaAs quantum well. We find a surprisingly high efficiency of the spin transfer from the electrons to the nuclei as reflected by a maximum nuclear field of 0.9 T in a tilted external magnetic field of 1 T strength only. This high efficiency is due to a low leakage of spin out of the polarized nuclear system, because mechanisms of spin relaxation other than the hyperfine interaction are strongly suppressed, leading to a long nuclear relaxation time of up to 1000 s. A key ingredient to that end is the low impurity concentration inside the heterostructure, while the electrostatic potential from charged impurities in the surrounding barriers becomes screened through illumination by which the spin relaxation time is increased compared to keeping the system in the dark. This finding indicates a strategy for obtaining high nuclear spin polarization as required for long-lasting carrier spin coherence.


title: A slightly smaller surface code S gate

abstract: We cut the volume of surface code S gates by 25% by omitting a Hadamard gate.


title: SemEval-2017 Task 1: Semantic Textual Similarity - Multilingual and Cross-lingual Focused Evaluation

abstract: Semantic Textual Similarity (STS) measures the meaning similarity of sentences. Applications include machine translation (MT), summarization, generation, question answering (QA), short answer grading, semantic search, dialog and conversational systems. The STS shared task is a venue for assessing the current state-of-the-art. The 2017 task focuses on multilingual and cross-lingual pairs with one sub-track exploring MT quality estimation (MTQE) data. The task obtained strong participation from 31 teams, with 17 participating in all language tracks. We summarize performance and review a selection of well performing methods. Analysis highlights common errors, providing insight into the limitations of existing models. To support ongoing work on semantic representations, the STS Benchmark is introduced as a new shared training and evaluation set carefully selected from the corpus of English STS shared task data (2012-2017).