title: Large deviations for conditionally Gaussian processes: estimates of level crossing probability

abstract: The problem of (pathwise) large deviations for conditionally continuous Gaussian processes is investigated. The theory of large deviations for Gaussian processes is extended to the wider class of random processes -- the conditionally Gaussian processes. The estimates of level crossing probability for such processes are given as an application.


title: SI Toolbox - Full documentation

abstract: SI Toolbox is a package for estimating the isotropy violation in the CMB sky. It can be used for estimating the BipoSH coefficients, Dipole modulation, and Doppler boost parameters etc. Different Fortran subroutines, provided with this package, can help the users to develop their independent Fortran codes. This document is an overview of the SI Toolbox installation guide, standalone facilities, and Fortran subroutines. The SI Toolbox package can be downloaded from https://github.com/SIToolBox/SIToolBox.


title: Sharpening the triangle inequality: envelopes between $L^{2}$ and $L^{p}$ spaces

abstract: Motivated by the inequality $\|f+g\|_{2}^{2} \leq \|f\|_{2}^{2}+2\|fg\|_{1}+\|g\|^{2}_{2}$, Carbery (2006) raised the question what is the "right" analogue of this estimate in $L^{p}$ for $p \neq 2$. Carlen, Frank, Ivanisvili and Lieb (2018) recently obtained an $L^{p}$ version of this inequality by providing upper bounds for $\|f+g\|_{p}^{p}$ in terms of the quantities $\|f\|_{p}^{p}, \|g\|_{p}^{p}$ and $\|fg\|_{p/2}^{p/2}$ when $p \in(0,1] \cup [2,\infty)$, and lower bounds when $p \in (-\infty,0) \cup (1,2)$, thereby proving (and improving) the suggested possible inequalities of Carbery. We continue investigation in this direction by refining the estimates of Carlen, Frank, Ivanisvili and Lieb. We obtain upper bounds for $\|f + g\|_p^p$ also when $p \in (-\infty,0) \cup (1,2)$ and lower bounds when $p \in (0,1] \cup [2,\infty)$. For $p \in [1,2]$ we extend our upper bounds to any finite number of functions. In addition, we show that all our upper and lower bounds of $\|f+g\|_{p}^{p}$ for $p \in \mathbb{R}$, $p\neq 0$, are the best possible in terms of the quantities $\|f\|_{p}^{p}, \|g\|_{p}^{p}$ and $\|fg\|_{p/2}^{p/2}$, and we characterize the equality cases.


title: Simulations of core formation for frequent dark matter self-interactions

abstract: We present the first $N$-body simulations that adapt the equations of smoothed particle hydrodynamics to capture the effect of dark matter self-interactions which are too frequent to be resolved explicitly. The relevant energy transfer equations are derived, the appropriate thermal conductivity is determined and the effects of different smoothing kernels are studied. We apply our framework to simulate the formation of isothermal cores in isolated dark matter haloes and determine the core growth rate as a function of the self-scattering cross section. Our approach may be combined with explicit simulations of rare scatterings in order to simulate accurately the effects of arbitrary dark matter self-interactions in future cosmological simulations.


title: Generation of photonic non-Gaussian states by measuring multimode Gaussian states

abstract: We present a detailed analytic framework for studying multimode non-Gaussian states that are conditionally generated when few modes of a multimode Gaussian state are subject to photon-number-resolving detectors. From the output state Wigner function, we deduce that the state factorizes into a Gaussian gate applied to a finite Fock-superposition non-Gaussian state. The framework provides an approach to find the optimal strategy to generate a given target non-Gaussian state. We explore examples, such as the generation of cat states, weak cubic phase states, and bosonic code states, and achieve improvements of success probability over other schemes. Our framework also applies to the case in which the measured Gaussian state is mixed which is very important for the analysis of experimental imperfections such as photon loss. The framework has potential far-reaching implications to the generation of bosonic error-correcting codes and for the implementation of non-Gaussian gates using resource states, among other applications requiring non-Gaussianity


title: Benchmarking the quantum cryptanalysis of symmetric, public-key and hash-based cryptographic schemes

abstract: Quantum algorithms can break factoring and discrete logarithm based cryptography and weaken symmetric cryptography and hash functions. In order to estimate the real-world impact of these attacks, apart from tracking the development of fault-tolerant quantum computers it is important to have an estimate of the resources needed to implement these quantum attacks. For attacking symmetric cryptography and hash functions, generic quantum attacks are substantially less powerful than they are for today's public-key cryptography. So security will degrade gradually as quantum computing resources increase. At present, there is a substantial resource overhead due to the cost of fault-tolerant quantum error correction. We provide estimates of this overhead using state-of-the-art methods in quantum fault-tolerance. We use state-of-the-art optimized circuits, though further improvements in their implementation would also reduce the resources needed to implement these attacks. To bound the potential impact of further circuit optimizations we provide cost estimates assuming trivial-cost implementations of these functions. These figures indicate the effective bit-strength of the various symmetric schemes and hash functions based on what we know today (and with various assumptions on the quantum hardware), and frame the various potential improvements that should continue to be tracked. As an example, we also look at the implications for Bitcoin's proof-of-work system. For many of the currently used asymmetric (public-key) cryptographic schemes based on RSA and elliptic curve discrete logarithms, we again provide cost estimates based on the latest advances in cryptanalysis, circuit compilation and quantum fault-tolerance theory. These allow, for example, a direct comparison of the quantum vulnerability of RSA and elliptic curve cryptography for a fixed classical bit strength.


title: Unary Patterns of Size Four with Morphic Permutations

abstract: We investigate the avoidability of unary patterns of size of four with morphic permutations. More precisely, we show that, for the positive integers $i,j,k$, the sizes of the alphabets over which a pattern $x \pi ^ {i} (x) \pi^{j}(x) \pi^{k}(x)$ is avoidable are an interval of the integers (where $x$ is a word variable and $\pi$ is a function variable with values in the set of all morphic permutations of the respective alphabets). We also show how to compute a good approximation of this interval. This continues the work of [Manea et al., 2015], where a complete characterisation of the avoidability of cubic patterns with permutations was given.


title: Formation of superscar waves in plane polygonal billiards

abstract: Polygonal billiards constitute a special class of models. Though they have zero Lyapunov exponent their classical and quantum properties are involved due to scattering on singular vertices. It is demonstrated that in the semiclassical limit multiple singular scattering on such vertices when optical boundaries of many scatters overlap leads to vanishing of quantum wave functions along straight lines built by these scatters. This phenomenon has an especially important consequence for polygonal billiards where periodic orbits (when they exist) form pencils of parallel rays restricted from the both sides by singular vertices. Due to singular scattering on boundary vertices, waves propagated inside periodic orbit pencils in the semiclassical limit tend to zero along pencil boundaries thus forming weakly interacting quasi-modes. Contrary to scars in chaotic systems the discussed quasi-modes in polygonal billiards become almost exact for high-excited states and for brevity they are designated as superscars. Many pictures of eigenfunctions for a triangular billiard and a barrier billiard which have clear superscar structures are presented in the paper. Special attention is given to the development of quantitative methods of detecting and analysing such superscars. In particular, it is demonstrated that the overlap between superscar waves associated with a fixed periodic orbit and eigenfunctions of a barrier billiard is distributed according to the Breit-Wigner distribution typical for weakly interacting quasi-modes (or doorway states). For special sub-class of rational polygonal billiards called Veech polygons where all periodic orbits can be calculated analytically it is argued and checked numerically that their eigenfunctions are fractal in the Fourier space.


title: Introducing the Hamiltonian as a "thermodynamic" potential

abstract: A conceptually simple physical interpretation of a conserved Hamiltonian $\mathcal{H}$ for a mechanical system with a time-dependent constraint is given. For the case of a bead on a vertical hoop forced to rotate with constant angular velocity $\omega$, $\mathcal{H}$ is nothing but the total energy of the system plus the external actuator keeping $\omega$ fixed. In an analogy with thermodynamics, the Hamiltonian is introduced as a thermodynamic potential obtained from a Legendre transformation of the energy, in a very instructive way. The ideas can be made extensive to different problems with time-dependent constraints.


title: Semi-Supervised Learning by Label Gradient Alignment

abstract: We present label gradient alignment, a novel algorithm for semi-supervised learning which imputes labels for the unlabeled data and trains on the imputed labels. We define a semantically meaningful distance metric on the input space by mapping a point (x, y) to the gradient of the model at (x, y). We then formulate an optimization problem whose objective is to minimize the distance between the labeled and the unlabeled data in this space, and we solve it by gradient descent on the imputed labels. We evaluate label gradient alignment using the standardized architecture introduced by Oliver et al. (2018) and demonstrate state-of-the-art accuracy in semi-supervised CIFAR-10 classification.


title: A mathematical derivation of zero-temperature 2D superconductivity from microscopic Bardeen-Cooper-Schrieffer model

abstract: Starting from H. Fr\"ohlich's second-quantized Hamiltonian for a $d$-dimensional electron gas in interaction with lattice phonons describing the quantum vibrations of a metal, we present a rigorous mathematical derivation of the superconducting state, following the principles laid out originally in 1957 by J. Bardeen, L. Cooper and J. Schrieffer. As in the series of papers written on the subject in the 90es, of which the present paper is a continuation, the representation of ions as a uniform charge background allows for a $(1+d)$-dimensional fermionic quantum-field theoretic reformulation of the model at equilibrium. For simplicity, we restrict in this article to $d=2$ dimensions and zero temperature, and disregard effects due to electromagnetic interactions. Under these assumptions, we prove transition from a Fermi liquid state to a superconducting state made up of Cooper pairs of electrons at an energy level $\Gamma_{\phi}\sim \hbar\omega_D e^{-\pi/m\lambda}$ equal to the mass gap, expressed in terms of the Debye frequency $\omega_D$, electron mass $m$ and coupling constant $\lambda$. The dynamical $U(1)$-symmetry breaking produces at energies lower than the energy gap $\Gamma_{\phi}$ a Goldstone boson, a non-massive particle described by an effective $(2+1)$-dimensional non-linear sigma-model, whose parameters and correlations are computed. The proof relies on a mixture of general concepts and tools (multi-scale cluster expansions, Ward identities), adapted to this quantum many-body problem with its extended infra-red singularity located on the Fermi circle, and a specific $1/N$-expansion giving the leading diagrams at intermediate energies. Ladder diagrams are proved to provide the leading behavior in the infra-red limit, in agreement with mean-field theory predictions.

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


title: The Effects of Intrinsic Dynamical Ghost Modes in Discrete-Time Langevin Simulations

abstract: Using the recently published GJF-2GJ Langevin thermostat, which can produce time-step-independent statistical measures even for large time steps, we analyze and discuss the causes for abrupt deviations in statistical data as the time step is increased for some simulations of nonlinear oscillators. Exemplified by the pendulum, we identify a couple of discrete-time dynamical modes in the purely damped pendulum equation as the cause of the observed discrepancies in statistics. The existence, stability and kinetics of the modes are consistent with the acquired velocity distribution functions from Langevin simulations, and we conclude that the simulation deviations from physical expectations are not due to normal, systematic algorithmic time-step errors, but instead due to the inherent properties of discrete time in nonlinear dynamics.


title: Bot Electioneering Volume: Visualizing Social Bot Activity During Elections

abstract: It has been widely recognized that automated bots may have a significant impact on the outcomes of national events. It is important to raise public awareness about the threat of bots on social media during these important events, such as the 2018 US midterm election. To this end, we deployed a web application to help the public explore the activities of likely bots on Twitter on a daily basis. The application, called Bot Electioneering Volume (BEV), reports on the level of likely bot activities and visualizes the topics targeted by them. With this paper we release our code base for the BEV framework, with the goal of facilitating future efforts to combat malicious bots on social media.


title: Satellite dwarf galaxies: Stripped but not quenched

abstract: In the Local Group, quenched gas-poor dwarfs galaxies are most often found close to the Milky Way and Andromeda, while star forming gas-rich ones are located at greater distances. This so-called morphology-density relation is often interpreted as the consequence of the ram pressure stripping of the satellites during their interaction with the Milky Way hot halo gas. While this process has been often investigated, self-consistent high resolution simulations were still missing. In this study, we have analysed the impact of both the ram pressure and tidal forces induced by a host galaxy on dwarf models as realistic as possible emerging from cosmological simulations. These models were re-simulated using both a wind tunnel and a moving box technique. The secular mass growth of the central host galaxy, as well as the gas density and temperature profiles of its hot halo have been taken into account. We show that while ram pressure is very efficient at stripping the hot and diffuse gas of the dwarf galaxies, it can remove their cold gas ($T < 10^3$~[K]) only in very specific conditions. Depending on the infall time of the satellites relatively to the build-up stage of the massive host, star formation can thus be prolonged instead of being quenched. This is the direct consequence of the clumpy nature of the cold gas and the thermal pressure the hot gas exerts onto it. We discuss the possibility that the variety in satellite populations among Milky Way-like galaxies reflects their accretion histories.


title: Asymptotics of orthogonal polynomials with slowly oscillating recurrence coefficients

abstract: We study solutions of three-term recurrence relations whose $N$-step transfer matrices belong to the uniform Stolz class. In particular, we derive the first order of their uniform asymptotics. For orthonormal polynomials we show more. Namely, we find the constructive formula for the density of their orthogonality measure in terms of Tur\'an determinants and we determine their exact asymptotic behavior. We treat both bounded and unbounded cases in a uniform manner.


title: Deep Morphological Simplification Network (MS-Net) for Guided Registration of Brain Magnetic Resonance Images

abstract: Objective: Deformable brain MR image registration is challenging due to large inter-subject anatomical variation. For example, the highly complex cortical folding pattern makes it hard to accurately align corresponding cortical structures of individual images. In this paper, we propose a novel deep learning way to simplify the difficult registration problem of brain MR images. Methods: We train a morphological simplification network (MS-Net), which can generate a "simple" image with less anatomical details based on the "complex" input. With MS-Net, the complexity of the fixed image or the moving image under registration can be reduced gradually, thus building an individual (simplification) trajectory represented by MS-Net outputs. Since the generated images at the ends of the two trajectories (of the fixed and moving images) are so simple and very similar in appearance, they are easy to register. Thus, the two trajectories can act as a bridge to link the fixed and the moving images, and guide their registration. Results: Our experiments show that the proposed method can achieve highly accurate registration performance on different datasets (i.e., NIREP, LPBA, IBSR, CUMC, and MGH). Moreover, the method can be also easily transferred across diverse image datasets and obtain superior accuracy on surface alignment. Conclusion and Significance: We propose MS-Net as a powerful and flexible tool to simplify brain MR images and their registration. To our knowledge, this is the first work to simplify brain MR image registration by deep learning, instead of estimating deformation field directly.


title: Exploration of Performance and Energy Trade-offs for Heterogeneous Multicore Architectures

abstract: Energy-efficiency has become a major challenge in modern computer systems. To address this challenge, candidate systems increasingly integrate heterogeneous cores in order to satisfy diverse computation requirements by selecting cores with suitable features. In particular, single-ISA heterogeneous multicore processors such as ARM big.LITTLE have become very attractive since they offer good opportunities in terms of performance and power consumption trade-off. While existing works already showed that this feature can improve system energy-efficiency, further gains are possible by generalizing the principle to higher levels of heterogeneity. The present paper aims to explore these gains by considering single-ISA heterogeneous multicore architectures including three different types of cores. For this purpose, we use the Samsung Exynos Octa 5422 chip as baseline architecture. Then, we model and evaluate Cortex A7, A9, and A15 cores using the gem5 simulation framework coupled to McPAT for power estimation. We demonstrate that varying the level of heterogeneity as well as the different core ratio can lead to up to 2.3x gains in energy efficiency and up to 1.5x in performance. This study further provides insights on the impact of workload nature on performance/energy trade-off and draws recommendations concerning suitable architecture configurations. This contributes in fine to guide future research towards dynamically reconfigurable HSAs in which some cores/clusters can be disabled momentarily so as to optimize certain metrics such as energy efficiency. This is of particular interest when dealing with quality-tunable algorithms in which accuracy can be then traded for compute effort, thereby enabling to use only those cores that provide the best energy-efficiency for the chosen algorithm.


title: The role of city geometry in determining the utility of a small urban light rail/tram system

abstract: In this work, we show the importance of considering a city's shape, as much as its population density figures, in urban transport planning. We consider in particular cities that are circular (the most common shape) compared to those that are rectangular: For the latter case we show greater utility for a single line light rail/tram system. We introduce the new concepts of Infeasible Regions and Infeasibility Factors, and show how to calculate them numerically and (in some cases) analytically. A particular case study is presented for Galway City.


title: Molecular motors govern liquid-like ordering and fusion dynamics of bacterial colonies

abstract: Bacteria can adjust the structure of colonies and biofilms to enhance their survival rate under external stress. Here, we explore the link between bacterial interaction forces and colony structure. We show that the activity of extracellular pilus motors enhances local ordering and accelerates fusion dynamics of bacterial colonies. The radial distribution function of mature colonies shows local fluid-like order. The degree and dynamics of ordering are dependent on motor activity. At a larger scale, the fusion dynamics of two colonies shows liquid-like behavior whereby motor activity strongly affects tension and viscosity.


title: The Metric Space of Collider Events

abstract: When are two collider events similar? Despite the simplicity and generality of this question, there is no established notion of the distance between two events. To address this question, we develop a metric for the space of collider events based on the earth mover's distance: the "work" required to rearrange the radiation pattern of one event into another. We expose interesting connections between this metric and the structure of infrared- and collinear-safe observables, providing a novel technique to quantify event modifications due to hadronization, pileup, and detector effects. We showcase how this metrization unlocks powerful new tools for analyzing and visualizing collider data without relying upon a choice of observables. More broadly, this framework paves the way for data-driven collider phenomenology without specialized observables or machine learning models.


title: From Quantum Wires to the Chern-Simons Description of the Fractional Quantum Hall Effect

abstract: We show the explicit connection between two distinct and complementary approaches to the fractional quantum Hall system (FQHS): the quantum wires formalism and the topological low-energy effective description given in terms of an Abelian Chern-Simons theory. The quantum wires approach provides a description of the FQHS directly in terms of fermions arranged in an array of one-dimensional coupled wires. In this sense it is usually referred to as a microscopic description. On the other hand, the effective theory has no connection with the microscopic modes, involving only the emergent topological degrees of freedom embodied in an Abelian Chern-Simons gauge field, which somehow encodes the collective motion of the strongly correlated electrons. The basic strategy pursued in this work is to bosonize the quantum wires system and then consider the continuum limit. By examining the algebra of the bosonic operators of the Hamiltonian, we are able to identify the bosonized microscopic fields with the components of the field strength (electric and magnetic fields) of the emergent gauge field. Thus our study provides a bridge between the microscopic physical degrees of freedom and the emergent topological ones, without relying on the bulk-edge correspondence.


title: Co-Interacting Dark Matter

abstract: We propose a novel mechanism with two component dark matter models. The subdominant dark matter can thermalize the dominant one in galaxies, and leads to core density profiles. Using ultralight dark photons and $\mathrm{GeV}$-$\mathrm{TeV}$ Dirac fermions as an example, we couple the two dark matter candidates with a $U(1)$ interaction. This mechanism differs from self-interacting dark matter, due to three effects: (1) higher occupation numbers, (2) forward-backward scattering cancellation, and (3) the multiple scatterings required for the heavy dark matter. Furthermore, the Bullet Cluster bound is evaded due to the reduced Bose enhancement factor. Unlike the fuzzy dark matter solution to the small structure problems which have tension with Lyman-$\alpha$, the ultralight dark photons with mass $\gtrsim 10^{-21}$ eV can have a core profile through interactions with $\psi$ and are not constrained by other astrophysical observations.


title: Transition of BH feeding from the quiescent regime into star-forming cold disk regime

abstract: We study the properties of rotating accretion flows onto supermassive black holes (SMBHs) using axisymmetric two-dimensional hydrodynamical simulations with radiative cooling and BH feedback. The simulations resolve the accretion dynamics of gas outside from the BH influence radius through an inner accretion disk. For lower Bondi accretion rates in units of the Eddington rate ($\dot{M}_{\rm B}\ll 10^{-3}~\dot{M}_{\rm Edd}$), the BH feeding is suppressed due to turbulent motion by several orders of magnitudes from the Bondi rate. Thus, the radiative luminosity results in as low as $\sim 10^{-10}-10^{-7}~L_{\rm Edd}$, where $L_{\rm Edd}$ is the Eddington luminosity. For higher rates of $\dot{M}_{\rm B}> 10^{-3}~\dot{M}_{\rm Edd}$, the optically-thin accreting gas cools via free-free emission and forms a geometrically-thin disk, which feeds the BH efficiently and increases the radiative luminosity to $> 10^{-3}~L_{\rm Edd}$. The transitional behavior of accreting BHs in galactic nuclei from radiatively inefficient phases to cold disk accretion naturally explains (1) the reason for the offset between the observed luminosities and theoretical predictions for nearby quiescent SMBHs, and (2) the conditions to fuel gas into the nuclear SMBH. In addition, the cold disk formed in galactic nuclei tends to be gravitationally unstable and leads to star formation when the Bondi rate is as high as $ \dot{M}_{\rm B} > 10^{-2}~M_\odot~{\rm yr}^{-1}$. This is a plausible explanation of the correlation observed between star formation rates and BH feeding rates in Seyfert galaxies.


title: Fast high-fidelity entangling gates for spin qubits in Si double quantum dots

abstract: Implementing high-fidelity two-qubit gates in single-electron spin qubits in silicon double quantum dots is still a major challenge. In this work, we employ analytical methods to design control pulses that generate high-fidelity entangling gates for quantum computers based on this platform. Using realistic parameters and initially assuming a noise-free environment, we present simple control pulses that generate CNOT, CPHASE, and CZ gates with average fidelities greater than 99.99\% and gate times as short as 45 ns. Moreover, using the local invariants of the system's evolution operator, we show that a simple square pulse generates a CNOT gate in less than 27 ns and with a fidelity greater than 99.99\%. Last, we use the same analytical methods to generate two-qubit gates locally equivalent to $\sqrt{\mathrm{CNOT}}$ and $\sqrt{\mathrm{CZ}}$ that are used to implement simple two-piece pulse sequences that produce high-fidelity CNOT and CZ gates in the presence of low-frequency noise.


title: Discovery of a putative supernova remnant around the long-period X-ray pulsar SXP 1323 in the Small Magellanic Cloud

abstract: We report the discovery of a circular shell centred on the Be X-ray binary (BeXB) SXP 1323 in the Small Magellanic Cloud (SMC). The shell was detected in an Halpha image obtained with the Very Large Telescope (VLT). Follow-up spectroscopy with the Southern African Large Telescope (SALT) showed that the shell expands with a velocity of $\approx$ 100 km/s and that its emission is due to shock excitation. We suggest that this shell is the remnant of the supernova explosion that led to the formation of the SXP 1323's neutron star $\approx$ 40 000 yr ago. SXP 1323 represents the second known case of a BeXB associated with a supernova remnant (the first one is SXP 1062). Interestingly, both these BeXBs harbour long period pulsars and are located in a low-metallicity galaxy.


title: Type II Cepheids Pulsating in the First Overtone from the OGLE Survey

abstract: We report the discovery of the first type II Cepheids (BL Herculis stars) pulsating solely in the first overtone. We found two such objects among tens of millions of stars regularly observed by the OGLE survey in the Large Magellanic Cloud. Our classification and the pulsation mode identification is based on the position of these stars on the period-luminosity and color-magnitude diagrams and on the light curve analysis. We discuss why single-mode first-overtone BL Her pulsators must be very rare. For the two discovered stars we present non-linear models that successfully reproduce their light variation. These models indicate that both first-overtone pulsators should be more massive than it is typically assumed for BL Her stars, i.e. their masses should be above 0.75 Solar masses. However, the higher mass requires higher luminosity to match the observed periods of the stars, which is inconsistent with observations.


title: A diversity of starburst-triggering mechanisms in interacting galaxies and their signatures in CO emission

abstract: The physical origin of enhanced star formation activity in interacting galaxies remains an open question. Knowing whether starbursts are triggered by an increase of the quantity of dense gas or an increase of the star formation efficiency would improve our understanding of galaxy evolution and allow to transpose the results obtained in the local Universe to high redshift galaxies. In this paper, we analyze a parsec-resolution simulation of an Antennae-like model of interacting galaxies. We find that the interplay of physical processes has complex and important variations in time and space, through different combinations of mechanisms like tides, shear and turbulence. These can have similar imprints on observables like depletion time and CO emission. The densest gas only constitutes the tail of the density distribution of some clouds, but exists in large excess in others. The super-linearity of the star formation rate dependence on gas density implies that this excess translates into a reduction of depletion times, and thus leads to a deviation from the classical star formation regime, visible up to galactic scales. These clouds are found in all parts of the galaxies, but their number density varies from one region to the next, due to different cloud assembly mechanisms. Therefore, the dependence of cloud and star formation-related quantities (like CO flux and depletion time) on the scale at which they are measured also varies across the galaxies. We find that the $\alpha_{\rm CO}$ conversion factor between the CO luminosity and molecular gas mass has even stronger spatial than temporal variations in a system like the Antennae. These results raise a number of cautionary notes for the interpretation of observations of unresolved star-forming regions, but also predict that the diversity of environments for star formation will be better captured by the future generations of instruments.


title: The role of a layer in deep neural networks: a Gaussian Process perspective

abstract: A fundamental question in deep learning concerns the role played by individual layers in a deep neural network (DNN) and the transferable properties of the data representations which they learn. To the extent that layers have clear roles, one should be able to optimize them separately using layer-wise loss functions. Such loss functions would describe what is the set of good data representations at each depth of the network and provide a target for layer-wise greedy optimization (LEGO). Here we derive a novel correspondence between Gaussian Processes and SGD trained deep neural networks. Leveraging this correspondence, we derive the Deep Gaussian Layer-wise loss functions (DGLs) which, we believe, are the first supervised layer-wise loss functions which are both explicit and competitive in terms of accuracy. Being highly structured and symmetric, the DGLs provide a promising analytic route to understanding the internal representations generated by DNNs.


title: Distances and parallax bias in Gaia DR2

abstract: We derive Bayesian distances for all stars in the RV sample of Gaia DR2, and use the statistical method of Schoenrich, Binney & Asplund(2012) to validate the distances and test the Gaia parallaxes. In contrast to other methods, which rely on special sources, our method directly tests the distances to all stars in our sample. We find clear evidence for a near-linear trend of distance bias f with distance s, proving a parallax offset delta p. On average, we find delta p = -0.054 mas (parallaxes in Gaia DR2 need to be increased) when accounting for the parallax uncertainty under-estimate in the Gaia set (delta p = -0.048 mas on the raw parallax errors) with negligible formal error and a systematic uncertainty of about 0.006 mas. The value is in concordance with results from asteroseismic measurements, but differs from the much lower bias found on quasar samples. We further use our method to compile a comprehensive set of quality cuts in colour, apparent magnitude, and astrometric parameters. Last, we find that for this sample delta p appears to strongly depend on the parallax uncertainty sigma_p (when including the additional 0.043 mas) with a statistical confidence far in excess of 10\sigma and a proportionality factor close to 1, though the dependence varies somewhat with sigma_p. Correcting for the sigma_p dependence also resolves otherwise unexplained correlations of the offset with the number of observation periods n_{vis} and ecliptic latitude. Every study using Gaia DR2 parallaxes/distances should investigate the sensitivity of their results on the parallax biases described here and - for fainter samples - in the DR2 astrometry paper.


title: Studying galaxy evolution through cosmic time via the {\mu}Jy radio population: early results from eMERGE

abstract: The $e$MERLIN Galaxy Evolution Survey ($e$MERGE) is an ambitious, multi-tiered extragalactic radio continuum survey being carried out with $e$MERLIN and the VLA at 1.4GHz and 6GHz. Exploiting the unique combination of high sensitivity and high angular resolution provided by radio interferometry, these observations will provide a powerful, obscuration-independent tool for tracing intense star-formation and AGN activity in galaxies out to $z\sim5$. In our first data release (DR1) we present $e$MERGE Tier 1, a 15-arcmin pointing centred on the GOODS-N field, imaged at 1.4GHz with the VLA and $e$MERLIN at $\sim 0.28''$ resolution down to an rms sensitivity of $\sim 1.2\,\mu$Jy beam$^{-1}$. This unique radio survey -- unrivaled at 1.4GHz in its combination of depth, areal coverage and angular resolution in the pre-SKA era -- allows us to localise and separate extended star-forming regions, nuclear starbursts and compact AGN core/jet systems in galaxies over the past two-thirds of cosmic history, a crucial step in tracing the apparently simultaneous growths of the stellar populations and central black holes in massive galaxies. In these proceedings we highlight some early science results from $e$MERGE DR1, including some examples of the sub-arcsecond morphologies and cold dust properties of 1.4GHz-selected galaxies. $e$MERGE Tier 1 will eventually reach sub-$\mu$Jy beam$^{-1}$ sensitivity at $0.28''$ resolution over a 30-arcmin field, providing crucial benchmarks for deep extragalactic surveys which will be undertaken with SKA in the next decade.


title: Fundamental limitations to local energy extraction in quantum systems

abstract: We examine when it is possible to locally extract energy from a bipartite quantum system in the presence of strong coupling and entanglement, a task which is expected to be restricted by entanglement in the low-energy eigenstates. We fully characterize this distinct notion of "passivity" by finding necessary and sufficient conditions for such extraction to be impossible, using techniques from semidefinite programming. This is the first time in which such techniques are used in the context of energy extraction, which opens a way of exploring further kinds of passivity in quantum thermodynamics. We also significantly strengthen a previous result of Frey et al., by showing a physically relevant quantitative bound on the threshold temperature at which this passivity appears. Furthermore, we show how this no-go result also holds for thermal states in the thermodynamic limit, provided that the spatial correlations decay sufficiently fast, and we give numerical examples.


title: Fingerprints of the conformal anomaly on the thermoelectric transport in Dirac and Weyl semimetals: Result from a Kubo formula

abstract: In a recent work, a contribution to the Nernst current of a Dirac or Weyl semimetal coming from the conformal anomaly was reported. Being originated from an anomaly - a vacuum contribution -, a non-zero transport coefficient was predicted at zero temperature and chemical potential. In this work we perform a Kubo formula calculation of the thermoelectrical coefficient and confirm that the result agrees with the quantum field theory estimation in the limit of zero temperature and chemical potential. For finite chemical potential {\mu} around {\mu} = 0 the transverse Seebeck coefficient shows a plateau indicating that only the zero conformal Landau levels contributes to this intrinsic effect. This result opens the way to the experimental observation of a geometric anomaly which is much harder to explore than the standard chiral anomaly.


title: Clifford recompilation for faster classical simulation of quantum circuits

abstract: Simulating quantum circuits classically is an important area of research in quantum information, with applications in computational complexity and validation of quantum devices. One of the state-of-the-art simulators, that of Bravyi et al, utilizes a randomized sparsification technique to approximate the output state of a quantum circuit by a stabilizer sum with a reduced number of terms. In this paper, we describe an improved Monte Carlo algorithm for performing randomized sparsification. This algorithm reduces the runtime of computing the approximate state by the factor $\ell/m$, where $\ell$ and $m$ are respectively the total and non-Clifford gate counts. The main technique is a circuit recompilation routine based on manipulating exponentiated Pauli operators. The recompilation routine also facilitates numerical search for Clifford decompositions of products of gates, which can further reduce the runtime in certain cases. It may additionally lead to a framework for optimizing circuit implementations over a gate set, reducing the overhead for state-injection in fault-tolerant implementations. We provide a concise exposition of randomized sparsification, and describe how to use it to estimate circuit amplitudes in a way which can be generalized to a broader class of gates and states. This latter method can be used to obtain additive error estimates of circuit probabilities with a faster runtime than the full techniques of Bravyi et al. Such estimates are useful for validating near-term quantum devices provided that the target probability is not exponentially small.


title: The Next Generation Fornax Survey (NGFS): V. Discovery of a dwarf-dwarf galaxy pair at z=0.30 and its characterization using deep VLT/MUSE observations

abstract: We report the detection of a pair of dwarf galaxies at $z\!=\!0.30$ which may be in the early stages of an interaction. Both galaxies have stellar masses of $<10^{9}M_\odot$, and display a projected separation of $\sim\!29$kpc and a physical separation of $\sim\!240$kpc. Evidence of ongoing star formation has been found in both galaxies, with neither one showing an enhanced star-formation rate that would be expected if they were already interacting. One galaxy displays a disturbed morphology but shows ordered gas rotation, which may reflect a previous minor merger event in the recent history of that system. The nearest spectroscopically confirmed neighbour lies at a distance of 38Mpc. These results indicate that these dwarf galaxies have no neighbouring massive galaxies, however with the data available we have been unable to determine whether these galaxies are isolated in the field or belong to a group of low-mass galaxies. As a detection of a rare dwarf-dwarf pair beyond the Local Universe, this system provides an uncommon opportunity to explore the properties of galaxy groups in the low-galaxy mass regime as a function of redshift.


title: Sub-GeV Dark Matter in Superfluid He-4: an Effective Theory Approach

abstract: We employ an effective field theory to study the detectability of sub-GeV dark matter through its interaction with the gapless excitations of superfluid helium-4. In a quantum field theory language, the possible interactions between the dark matter and the superfluid phonon are solely dictated by symmetry. We compute the rate for the emission of one and two phonons, and show that these two observables combined allow for a large exclusion region for the dark matter masses. Our approach allows a direct calculation of the differential distributions, even though it is limited only to the region of softer phonon excitations, where the effective field theory is well defined. The method presented here is easily extendible to different models of dark matter.


title: Tensor renormalization group in bosonic field theory

abstract: We compute the partition function of a massive free boson in a square lattice using a tensor network algorithm. We introduce a singular value decomposition (SVD) of continuous matrices that leads to very accurate numerical results. It is shown the emergence of a CDL fixed point structure. In the massless limit, we reproduce the results of conformal field theory including a precise value of the central charge.


title: Stability of the optimal values under small perturbations of the constraint set

abstract: This paper discusses a general and useful stability principle which, roughly speaking, says that given a uniformly continuous function defined on an arbitrary metric space, if the function is bounded on the constraint set and we slightly change this set, then its optimal (extreme) values on this set vary slightly, and, moreover, they are actually uniformly continuous as a function of the constraint set. The principle holds in a much more general setting than a metric space, since the distance function may be asymmetric, may attain negative and even infinite values, and so on. This stability principle leads to applications in parametric optimization, mixed linear-nonlinear programming and analysis of Lipschitz continuity, as well as to a general scheme for tackling a wide class of non-convex and non-smooth optimization problems. We also discuss the issue of stability when the objective function is merely continuous. As a byproduct of our analysis we obtain a significant generalization of the concept of a generalized inverse of a linear operator and a very general variant of the so-called "Hoffman's Lemma".


title: Analyticity of non-symmetric Ornstein-Uhlenbeck semigroup with respect to a weighted Gaussian measure

abstract: In this paper we show that the realization in $L^p(X,\nu_\infty)$ of the nonsymmetric Ornstein-Uhlenbeck operator $L$ is sectorial for any $p\in(1,+\infty)$ and we provide an explicit sector of analyticity. Here $(X,\mu_\infty,H_\infty)$ is an abstract Wiener space, i.e., $X$ is a separable Banach space, $\mu_\infty$ is a centred non degenerate Gaussian measure on $X$ and $H_\infty$ is the associated Cameron-Martin space. Further, $\nu_\infty$ is a weighted Gaussian measure, that is, $\nu_\infty=e^{-U}\mu_\infty$ where $U$ is a convex function which satisfies some minimal conditions. Our results strongly rely on the theory of nonsymmetric Dirichlet forms and on the divergence form of the realization of $L$ in $L^2(X,\nu_\infty)$.


title: Deriving the Inflaton in Compactified M-theory with a De Sitter Vacuum

abstract: Compactifying M-theory on a manifold of $G_2$ holonomy gives a UV complete 4D theory. It is supersymmetric, with soft supersymmetry breaking via gaugino condensation that simultaneously stabilizes all moduli and generates a hierarchy between the Planck and the Fermi scale. It generically has gauge matter, chiral fermions, and several other important features of our world. Here we show that the theory also contains a successful inflaton, which is a linear combination of moduli closely aligned with the overall volume modulus of the compactified $G_2$ manifold. The scheme does not rely on ad hoc assumptions, but derives from an effective quantum theory of gravity. Inflation arises near an inflection point in the potential which can be deformed into a local minimum. This implies that a de Sitter vacuum can occur in the moduli potential even without uplifting. Generically present charged hidden sector matter generates a de Sitter vacuum as well.


title: Negative eigenvalues of the Hessian in deep neural networks

abstract: The loss function of deep networks is known to be non-convex but the precise nature of this nonconvexity is still an active area of research. In this work, we study the loss landscape of deep networks through the eigendecompositions of their Hessian matrix. In particular, we examine how important the negative eigenvalues are and the benefits one can observe in handling them appropriately.


title: Electronic states of pseudospin-1 fermions in $\alpha-\mathcal{T}_3$ lattice ribbons in a magnetic field

abstract: The electronic states on a finite width $\alpha-\mathcal{T}_3$ ribbon in a magnetic field are studied in the framework of low-energy effective theory. Both zigzag and armchair types of boundary conditions are analyzed. The analytical solutions are compared with the results of numerical tight-binding calculations. It is found that the flat band of zero energy survives for all types of boundary conditions. The analytical estimates for the spectral gap in a weak magnetic field are discussed. For zigzag type boundary conditions the approximate expressions for the edge and bulk electron states in the strong magnetic field are found.


title: On the asymptotic optimality of the comb strategy for prediction with expert advice

abstract: For the problem of prediction with expert advice in the adversarial setting with geometric stopping, we compute the exact leading order expansion for the long time behavior of the value function. Then, we use this expansion to prove that as conjectured in Gravin et al. [12], the comb strategies are indeed asymptotically optimal for the adversary in the case of 4 experts.


title: Entanglement of Purification in Many Body Systems and Symmetry Breaking

abstract: We study the entanglement of purification (EoP), a measure of total correlation between two subsystems $A$ and $B$, for free scalar field theory on a lattice and the transverse-field Ising model by numerical methods. In both of these models, we find that the EoP becomes a non-monotonic function of the distance between $A$ and $B$ when the total number of lattice sites is small. When it is large, the EoP becomes monotonic and shows a plateau-like behavior. Moreover, we show that the original reflection symmetry which exchanges $A$ and $B$ can get broken in optimally purified systems. In the Ising model, we find this symmetry breaking in the ferromagnetic phase. We provide an interpretation of our results in terms of the interplay between classical and quantum correlations.


title: Measuring magnetic fields with magnetic field insensitive transitions

abstract: Magnetometry is an important tool prevalent in many applications such as fundamental research, material characterization and biological imaging. Atomic magnetometry conventionally makes use of two quantum states, the energy difference of which depends linearly on the magnetic field due to the Zeeman effect. The magnetic field is evaluated from repeated measurements of the accumulated dynamic phase between the two Zeeman states in a superposition. Here we propose a magnetometry method that employs a superposition of clock states with energies that do not depend, to first-order, on the magnetic field magnitude. Our method makes use of the geometrical dependence of the clock-states wavefunctions on the magnetic field orientation. We propose detailed schemes for measuring both static and time-varying magnetic fields, and analyze the sensitivity of these methods. We show that, similarly to Zeeman-based methods, the smallest measurable signal scales inversely with the system coherence-time, which for clock transitions is typically significantly longer than for magnetically sensitive transitions. Finally, we experimentally demonstrate our method on an ensemble of optically trapped 87Rb atoms.


title: Diffeomorphic Medial Modeling

abstract: Deformable shape modeling approaches that describe objects in terms of their medial axis geometry (e.g., m-reps [Pizer et al., 2003]) yield rich geometrical features that can be useful for analyzing the shape of sheet-like biological structures, such as the myocardium. We present a novel shape analysis approach that combines the benefits of medial shape modeling and diffeomorphometry. Our algorithm is formulated as a problem of matching shapes using diffeomorphic flows under constraints that approximately preserve medial axis geometry during deformation. As the result, correspondence between the medial axes of similar shapes is maintained. The approach is evaluated in the context of modeling the shape of the left ventricular wall from 3D echocardiography images.


title: Modeling and Analysis of Tagging Networks in Stack Exchange Communities

abstract: Large Question-and-Answer (Q&A) platforms support diverse knowledge curation on the Web. While researchers have studied user behavior on the platforms in a variety of contexts, there is relatively little insight into important by-products of user behavior that also encode knowledge. Here, we analyze and model the macroscopic structure of tags applied by users to annotate and catalog questions, using a collection of 168 Stack Exchange websites. We find striking similarity in tagging structure across these Stack Exchange communities, even though each community evolves independently (albeit under similar guidelines). Using our empirical findings, we develop a simple generative model that creates random bipartite graphs of tags and questions. Our model accounts for the tag frequency distribution but does not explicitly account for co-tagging correlations. Even under these constraints, we demonstrate empirically and theoretically that our model can reproduce a number of statistical properties of the co-tagging graph that links tags appearing in the same post.


title: A Near Infrared View of Nearby Galaxies: The Case of NGC 6300

abstract: We present a near-infrared study of the Seyfert 2 galaxy NGC\,6300, based on subarcsecond images and long slit spectroscopy obtained with Flamingos-2 at Gemini South. We have found that the peak of the nuclear continuum emission in the $K_s$ band and the surrounding nuclear disk are 25\,pc off-center with respect to the center of symmetry of the larger scale circumnuclear disk, suggesting that this black hole is still not fixed in the galaxy potential well. The molecular gas radial velocity curve yields a central black hole upper mass estimation of $M_{SMBH}^{upper}=(6\pm 2) \times 10^{7}\,\Msun$. The Pa$\beta$ emission line has a strongly asymmetric profile with a blueshifted broad component that we associate with a nuclear ionized gas outflow. We have found in the $K_s$-band spectra that the slope of the continuum becomes steeper with increasing radii, which can be explained as the presence of large amounts of hot dust not only in the nucleus but also in the circumnuclear region up to $r=27$\,pc. In fact, the nuclear red excess obtained after subtracting the stellar contribution resembles to that of a blackbody with temperatures around 1200\,K. This evidence supports the idea that absorbing material located around the nucleus, but not close enough to be the torus of the unified model, could be responsible for at least part of the nuclear obscuration in this Seyfert 2 nucleus.


title: Photometric Biases in Modern Surveys

abstract: Many surveys use maximum-likelihood (ML) methods to fit models when extracting photometry from images. We show these ML estimators systematically overestimate the flux as a function of the signal-to-noise ratio and the number of model parameters involved in the fit. This bias is substantially worse for resolved sources: while a 1% bias is expected for a 10$\sigma$ point source, a 10$\sigma$ resolved galaxy with a simplified Gaussian profile suffers a 2.5% bias. This bias also behaves differently depending how multiple bands are used in the fit: simultaneously fitting all bands leads the flux bias to become roughly evenly distributed between them, while fixing the position in "non-detection" bands (i.e. forced photometry) gives flux estimates in those bands that are biased low, compounding a bias in derived colors. We show that these effects are present in idealized simulations, outputs from the Hyper Suprime-Cam fake object pipeline (SynPipe), and observations from Sloan Digital Sky Survey Stripe 82. Prescriptions to correct for the ML bias in flux, and its uncertainty, are provided.


title: Centroid-based deep metric learning for speaker recognition

abstract: Speaker embedding models that utilize neural networks to map utterances to a space where distances reflect similarity between speakers have driven recent progress in the speaker recognition task. However, there is still a significant performance gap between recognizing speakers in the training set and unseen speakers. The latter case corresponds to the few-shot learning task, where a trained model is evaluated on unseen classes. Here, we optimize a speaker embedding model with prototypical network loss (PNL), a state-of-the-art approach for the few-shot image classification task. The resulting embedding model outperforms the state-of-the-art triplet loss based models in both speaker verification and identification tasks, for both seen and unseen speakers.


title: DiffEqFlux.jl - A Julia Library for Neural Differential Equations

abstract: DiffEqFlux.jl is a library for fusing neural networks and differential equations. In this work we describe differential equations from the viewpoint of data science and discuss the complementary nature between machine learning models and differential equations. We demonstrate the ability to incorporate DifferentialEquations.jl-defined differential equation problems into a Flux-defined neural network, and vice versa. The advantages of being able to use the entire DifferentialEquations.jl suite for this purpose is demonstrated by counter examples where simple integration strategies fail, but the sophisticated integration strategies provided by the DifferentialEquations.jl library succeed. This is followed by a demonstration of delay differential equations and stochastic differential equations inside of neural networks. We show high-level functionality for defining neural ordinary differential equations (neural networks embedded into the differential equation) and describe the extra models in the Flux model zoo which includes neural stochastic differential equations. We conclude by discussing the various adjoint methods used for backpropogation of the differential equation solvers. DiffEqFlux.jl is an important contribution to the area, as it allows the full weight of the differential equation solvers developed from decades of research in the scientific computing field to be readily applied to the challenges posed by machine learning and data science.


title: Testing the Evolutionary Link between Type 1 and Type 2 Quasars with Measurements of the Interstellar Medium

abstract: In a popular scenario for the coevolution of massive black holes and galaxies, major mergers of gas-rich galaxies fuel vigorous star formation and obscured (type 2) quasar activity until energy feedback from the active galactic nucleus clears away the gas and dust to reveal an unobscured (type 1) quasar. Under this scenario, the precursor type 2 quasars should be more gas-rich than their type 1 counterparts, and both types of quasars are expected to be gas-deficient relative to normal, star-forming galaxies of similar stellar mass. We test this evolutionary hypothesis by investigating the infrared (~ 1-500 micron) spectral energy distribution of 86 optically selected z < 0.5 type 2 quasars, matched in redshift and [O III] luminosity to a comparison sample of type 1 quasars. Contrary to expectations, the gas content of the host galaxies of type 2 quasars is nearly indistinguishable from that of type 1 quasar hosts, and neither type exhibits the predicted deficit in gas relative to normal galaxies. The gas mass fraction of quasar hosts appears unaffected by the bolometric luminosity of the active nucleus, although their interstellar radiation field is preferentially higher than that of normal galaxies, potentially implicating active galactic nucleus heating of the large-scale galactic dust.


title: Retracts of free groups and a question of Bergman

abstract: Let $F_n$ be a free group of finite rank $n \geq 2$. We prove that if $H$ is a subgroup of $F_n$ with $\textrm{rk}(H)=2$ and $R$ is a retract of $F_n$, then $H \cap R$ is a retract of $H$. However, for every $m \geq 3$ and every $1 \leq k \leq n-1$, there exist a subgroup $H$ of $F_n$ of rank $m$ and a retract $R$ of $F_n$ of rank $k$ such that $H \cap R$ is not a retract of $H$. This gives a complete answer to a question of Bergman. Furthermore, we provide positive evidence for the inertia conjecture of Dicks and Ventura. More precisely, we prove that $\textrm{rk}(H \cap \textrm{Fix}(S)) \leq \textrm{rk}(H)$ for every family $S$ of endomorphisms of $F_n$ and every subgroup $H$ of $F_n$ with $\textrm{rk}(H) \leq 3$.


title: Free Stein Irregularity and Dimension

abstract: We introduce a free probabilistic quantity called free Stein irregularity, which is defined in terms of free Stein discrepancies. It turns out that this quantity is related via a simple formula to the Murray--von Neumann dimension of the closure of the domain of the adjoint of the non-commutative Jacobian associated to Voiculescu's free difference quotients. We call this dimension the free Stein dimension, and show that it is a $*$-algebra invariant. We relate these quantities to the free Fisher information, the non-microstates free entropy, and the non-microstates free entropy dimension. In the one-variable case, we show that the free Stein dimension agrees with the free entropy dimension, and in the multivariable case compute it in a number of examples.


title: Compression of Recurrent Neural Networks for Efficient Language Modeling

abstract: Recurrent neural networks have proved to be an effective method for statistical language modeling. However, in practice their memory and run-time complexity are usually too large to be implemented in real-time offline mobile applications. In this paper we consider several compression techniques for recurrent neural networks including Long-Short Term Memory models. We make particular attention to the high-dimensional output problem caused by the very large vocabulary size. We focus on effective compression methods in the context of their exploitation on devices: pruning, quantization, and matrix decomposition approaches (low-rank factorization and tensor train decomposition, in particular). For each model we investigate the trade-off between its size, suitability for fast inference and perplexity. We propose a general pipeline for applying the most suitable methods to compress recurrent neural networks for language modeling. It has been shown in the experimental study with the Penn Treebank (PTB) dataset that the most efficient results in terms of speed and compression-perplexity balance are obtained by matrix decomposition techniques.


title: Strong coupling constant from moments of quarkonium correlators

abstract: I review the determination of the strong coupling constant from moments of quarkonium correlators calculated on the lattice. I discuss different sources of systematic errors in such calculations.


title: Regularity and strict positivity of densities for the stochastic heat equation on $\mathbb{R}^d$

abstract: In this paper, we study the stochastic heat equation with a general multiplicative Gaussian noise that is white in time and colored in space. Both regularity and strict positivity of the densities of the solution have been established. The difficulty, and hence the contribution, of the paper lie in three aspects, which include rough initial conditions, degenerate diffusion coefficient, and weakest possible assumptions on the correlation function of the noise. In particular, our results cover the parabolic Anderson model starting from a Dirac delta initial measure.


title: End-to-end Anchored Speech Recognition

abstract: Voice-controlled house-hold devices, like Amazon Echo or Google Home, face the problem of performing speech recognition of device-directed speech in the presence of interfering background speech, i.e., background noise and interfering speech from another person or media device in proximity need to be ignored. We propose two end-to-end models to tackle this problem with information extracted from the "anchored segment". The anchored segment refers to the wake-up word part of an audio stream, which contains valuable speaker information that can be used to suppress interfering speech and background noise. The first method is called "Multi-source Attention" where the attention mechanism takes both the speaker information and decoder state into consideration. The second method directly learns a frame-level mask on top of the encoder output. We also explore a multi-task learning setup where we use the ground truth of the mask to guide the learner. Given that audio data with interfering speech is rare in our training data set, we also propose a way to synthesize "noisy" speech from "clean" speech to mitigate the mismatch between training and test data. Our proposed methods show up to 15% relative reduction in WER for Amazon Alexa live data with interfering background speech without significantly degrading on clean speech.


title: Global Explanations of Neural Networks: Mapping the Landscape of Predictions

abstract: A barrier to the wider adoption of neural networks is their lack of interpretability. While local explanation methods exist for one prediction, most global attributions still reduce neural network decisions to a single set of features. In response, we present an approach for generating global attributions called GAM, which explains the landscape of neural network predictions across subpopulations. GAM augments global explanations with the proportion of samples that each attribution best explains and specifies which samples are described by each attribution. Global explanations also have tunable granularity to detect more or fewer subpopulations. We demonstrate that GAM's global explanations 1) yield the known feature importances of simulated data, 2) match feature weights of interpretable statistical models on real data, and 3) are intuitive to practitioners through user studies. With more transparent predictions, GAM can help ensure neural network decisions are generated for the right reasons.


title: Supercontinuum Generation in Heavy-Metal Oxide Glass Based Suspended-Core Photonic Crystal Fibers

abstract: We investigate supercontinuum generation in several suspended-core soft-glass photonic crystal fibers pumped by an optical parametric oscillator tunable around 1550 nm. The fibers were drawn from lead-bismuth-gallium-cadmium-oxide glass (PBG-81) with a wide transmission window from 0.5-2.7 micron and a high nonlinear refractive index up to 4.3.10^(-19) m^2/W. They have been specifically designed with a microscale suspended hexagonal core for efficient supercontinuum generation around 1550 nm. We experimentally demonstrate two supercontinuum spectra spanning from 1.07-2.31 micron and 0.89-2.46 micron by pumping two PCFs in both normal and anomalous dispersion regimes, respectively. We also numerically model the group velocity dispersion curves for these fibers from their scanning electron microscope images. Results are in good agreement with numerical simulations based on the generalized nonlinear Schrodinger equation including the pump frequency chirp.


title: Minimal 3-triangulations of $p$-toroid

abstract: It is known that we can always 3-triangulate (i.e. divide into tetrahedra) convex polyhedra but not always non-convex ones. Polyhedra topologically equivalent to sphere with $p$ handles, shortly $p$-toroids, could not be convex. So, it is interesting to investigate possibilities and properties of their 3-triangulations. Here, we study the minimal necessary number of tetrahedra for the triangulation of a 3-triangulable $p$-toroid. For that purpose, we developed the concepts of piecewise convex polyhedra and graphs of connection.


title: Model categories of quiver representations

abstract: Gillespie's Theorem gives a systematic way to construct model category structures on $\mathscr{C}( \mathscr{M} )$, the category of chain complexes over an abelian category $\mathscr{M}$. We can view $\mathscr{C}( \mathscr{M} )$ as the category of representations of the quiver $\cdots \rightarrow 2 \rightarrow 1 \rightarrow 0 \rightarrow -1 \rightarrow -2 \rightarrow \cdots$ with the relations that two consecutive arrows compose to $0$. This is a self-injective quiver with relations, and we generalise Gillespie's Theorem to other such quivers with relations. There is a large family of these, and following Iyama and Minamoto, their representations can be viewed as generalised chain complexes. Our result gives a systematic way to construct model category structures on many categories. This includes the category of $N$-periodic chain complexes, the category of $N$-complexes where $\partial^N = 0$, and the category of representations of the repetitive quiver $\mathbb{Z} A_n$ with mesh relations.


title: Inexact Proximal Cubic Regularized Newton Methods for Convex Optimization

abstract: In this paper, we use Proximal Cubic regularized Newton Methods (PCNM) to optimize the sum of a smooth convex function and a non-smooth convex function, where we use inexact gradient and Hessian, and an inexact subsolver for the cubic regularized second-order subproblem. We propose inexact variants of PCNM and accelerated PCNM respectively, and show that both variants can achieve the same convergence rate as in the exact case, provided that the errors in the inexact gradient, Hessian and subsolver decrease at appropriate rates. Meanwhile, in the online stochastic setting where data comes endlessly, we give the overall complexity of the proposed algorithms and show that they are as competitive as the stochastic gradient descent. Moreover, we give the overall complexity of the proposed algorithms in the finite-sum setting and show that it is as competitive as the state of the art variance reduced algorithms. Finally, we propose an efficient algorithm for the cubic regularized second-order subproblem, which can converge to an enough small neighborhood of the optimal solution in a superlinear rate.


title: Portable device to determine particle asymmetry parameter

abstract: Accurate characterization of the asymmetry parameter g is of crucial importance for many radiative transfer and climate models. Here, we present our portable light scattering (PLS) device which is designed for in situ, real-time, and contact-free measurements of the particles phase function with an integration time less than 1 second. With the PLS device, we have characterized carbonaceous aerosols, such as smoldering products from Alaskan peat, soot from a kerosene lamp and non-carbonaceous aerosols such as Arizona Road Dust. We found the g to be 0.664+/-0.002, 0.506+/-0.004, and 0.701+/-0.020 for those three kinds of particles, respectively. Compare to commercial nephelometers, our PLS device has reduced error in g due to angular truncation.


title: Investigating Recurrent Neural Network Memory Structures using Neuro-Evolution

abstract: This paper presents a new algorithm, Evolutionary eXploration of Augmenting Memory Models (EXAMM), which is capable of evolving recurrent neural networks (RNNs) using a wide variety of memory structures, such as Delta-RNN, GRU, LSTM, MGU and UGRNN cells. EXAMM evolved RNNs to perform prediction of large-scale, real world time series data from the aviation and power industries. These data sets consist of very long time series (thousands of readings), each with a large number of potentially correlated and dependent parameters. Four different parameters were selected for prediction and EXAMM runs were performed using each memory cell type alone, each cell type with feed forward nodes, and with all possible memory cell types. Evolved RNN performance was measured using repeated k-fold cross validation, resulting in 1210 EXAMM runs which evolved 2,420,000 RNNs in 12,100 CPU hours on a high performance computing cluster. Generalization of the evolved RNNs was examined statistically, providing interesting findings that can help refine the RNN memory cell design as well as inform future neuro-evolution algorithms development.


title: Quantum Reactivity: A Measure of Quantum Correlation

abstract: Defining a robust measure of quantum correlation for multipartite states is an unresolved and challenging problem. Existing measures of quantum correlation are either not scalable or do not satisfy all the accepted properties of a measure of quantum correlation. We introduce a novel geometric measure of quantum correlation that we refer to as quantum reactivity. This measure is extendable to an arbitrary large number of qubits and satisfies the required properties of monotonicity and invariance under unitary operations. Our approach is based on generalization of Schumacher's singlet state triangle inequality that used an information geometry--based entropic distance. We define quantum reactivity as the familiar ratio of surface area to volume. To accomplish this, we use a generalization of information distance to area, volume and higher--dimensional volumes. We examine a spectrum of multipartite states (Werner, W, GHZ etc.) and demonstrate that the quantum reactivity measure is a monotonic function for quantum correlation which satisfies all the properties of a measure for quantum correlation, and provides an ordering of these quantum states as to their degree of correlation.


title: Finding Good Itemsets by Packing Data

abstract: The problem of selecting small groups of itemsets that represent the data well has recently gained a lot of attention. We approach the problem by searching for the itemsets that compress the data efficiently. As a compression technique we use decision trees combined with a refined version of MDL. More formally, assuming that the items are ordered, we create a decision tree for each item that may only depend on the previous items. Our approach allows us to find complex interactions between the attributes, not just co-occurrences of 1s. Further, we present a link between the itemsets and the decision trees and use this link to export the itemsets from the decision trees. In this paper we present two algorithms. The first one is a simple greedy approach that builds a family of itemsets directly from data. The second one, given a collection of candidate itemsets, selects a small subset of these itemsets. Our experiments show that these approaches result in compact and high quality descriptions of the data.


title: Distributed Synthesis of Surveillance Strategies for Mobile Sensors

abstract: We study the problem of synthesizing strategies for a mobile sensor network to conduct surveillance in partnership with static alarm triggers. We formulate the problem as a multi-agent reactive synthesis problem with surveillance objectives specified as temporal logic formulas. In order to avoid the state space blow-up arising from a centralized strategy computation, we propose a method to decentralize the surveillance strategy synthesis by decomposing the multi-agent game into subgames that can be solved independently. We also decompose the global surveillance specification into local specifications for each sensor, and show that if the sensors satisfy their local surveillance specifications, then the sensor network as a whole will satisfy the global surveillance objective. Thus, our method is able to guarantee global surveillance properties in a mobile sensor network while synthesizing completely decentralized strategies with no need for coordination between the sensors. We also present a case study in which we demonstrate an application of decentralized surveillance strategy synthesis.


title: Real-time 3D Traffic Cone Detection for Autonomous Driving

abstract: Considerable progress has been made in semantic scene understanding of road scenes with monocular cameras. It is, however, mainly related to certain classes such as cars and pedestrians. This work investigates traffic cones, an object class crucial for traffic control in the context of autonomous vehicles. 3D object detection using images from a monocular camera is intrinsically an ill-posed problem. In this work, we leverage the unique structure of traffic cones and propose a pipelined approach to the problem. Specifically, we first detect cones in images by a tailored 2D object detector; then, the spatial arrangement of keypoints on a traffic cone are detected by our deep structural regression network, where the fact that the cross-ratio is projection invariant is leveraged for network regularization; finally, the 3D position of cones is recovered by the classical Perspective n-Point algorithm. Extensive experiments show that our approach can accurately detect traffic cones and estimate their position in the 3D world in real time. The proposed method is also deployed on a real-time, critical system. It runs efficiently on the low-power Jetson TX2, providing accurate 3D position estimates, allowing a race-car to map and drive autonomously on an unseen track indicated by traffic cones. With the help of robust and accurate perception, our race-car won both Formula Student Competitions held in Italy and Germany in 2018, cruising at a top-speed of 54 kmph. Visualization of the complete pipeline, mapping and navigation can be found on our project page.


title: On the implementation of a finite volumes scheme with monotone transmission conditions for scalar conservation laws on a star-shaped network

abstract: In this paper we validate the implementation of the numerical scheme proposed in [3]. The validation is made by comparison with an explicit solution here obtained, and the solutions of Riemann problems for several networks. We then perform some simulations in order to qualitatively validate the model under consideration. Such results represent also a first step for the validation of the finite volumes scheme introduced in [9].


title: A general method for rotational averages

abstract: The theory of nonlinear spectroscopy on randomly oriented molecules leads to the problem of averaging molecular quantities over the random rotation. We solve this problem for arbitrary tensor rank by deriving a closed-form expression for the rotationally invariant tensor of averaged direction cosine products. From it we obtain some useful new facts about this tensor. Our results serve to speed the inherently lengthy calculations of nonlinear optics.


title: Winning Is Not Everything: A contextual analysis of hockey face-offs

abstract: This paper takes a different approach to evaluating face-offs in ice hockey. Instead of looking at win percentages, the de facto measure of successful face-off takers for decades, focuses on the game events following the face-off and how directionality, clean wins, and player handedness play a significant role in creating value. This will demonstrate how not all face-off wins are made equal: some players consistently create post-face-off value through clean wins and by directing the puck to high-value areas of the ice. As a result, we propose an expected events face-off model as well as a wins above expected model that take into account the value added on a face-off by targeting the puck to specific areas on the ice in various contexts, as well as the impact this has on subsequent game events.


title: $\mathsf{QMA}$ Lower Bounds for Approximate Counting

abstract: We prove a query complexity lower bound for $\mathsf{QMA}$ protocols that solve approximate counting: estimating the size of a set given a membership oracle. This gives rise to an oracle $A$ such that $\mathsf{SBP}^A \not\subset \mathsf{QMA}^A$, resolving an open problem of Aaronson [2]. Our proof uses the polynomial method to derive a lower bound for the $\mathsf{SBQP}$ query complexity of the $\mathsf{AND}$ of two approximate counting instances. We use Laurent polynomials as a tool in our proof, showing that the "Laurent polynomial method" can be useful even for problems involving ordinary polynomials.


title: Toward A Neuro-inspired Creative Decoder

abstract: Creativity, a process that generates novel and meaningful ideas, involves increased association between task-positive (control) and task-negative (default) networks in the human brain. Inspired by this seminal finding, in this study we propose a creative decoder within a deep generative framework, which involves direct modulation of the neuronal activation pattern after sampling from the learned latent space. The proposed approach is fully unsupervised and can be used off-the-shelf. Several novelty metrics and human evaluation were used to evaluate the creative capacity of the deep decoder. Our experiments on different image datasets (MNIST, FMNIST, MNIST+FMNIST, WikiArt and CelebA) reveal that atypical co-activation of highly activated and weakly activated neurons in a deep decoder promotes generation of novel and meaningful artifacts.


title: Weak Galerkin finite element method for second order problems on curvilinear polytopal meshes with Lipschitz continuous edges or faces

abstract: In this paper, we propose new basis functions defined on curved sides or faces of curvilinear elements (polygons or polyhedrons with curved sides or faces) for the weak Galerkin finite element method. Those basis functions are constructed by collecting linearly independent traces of polynomials on the curved sides/faces. We then analyze the modified weak Galerkin method for the elliptic equation and the interface problem on curvilinear polytopal meshes with Lipschitz continuous edges or faces. The method is designed to deal with less smooth complex boundaries or interfaces. Optimal convergence rates for $H^1$ and $L^2$ errors are obtained, and arbitrary high orders can be achieved for sufficiently smooth solutions. The numerical algorithm is discussed and tests are provided to verify theoretical findings.


title: Adversarial Domain Adaptation for Stance Detection

abstract: This paper studies the problem of stance detection which aims to predict the perspective (or stance) of a given document with respect to a given claim. Stance detection is a major component of automated fact checking. As annotating stances in different domains is a tedious and costly task, automatic methods based on machine learning are viable alternatives. In this paper, we focus on adversarial domain adaptation for stance detection where we assume there exists sufficient labeled data in the source domain and limited labeled data in the target domain. Extensive experiments on publicly available datasets show the effectiveness of our domain adaption model in transferring knowledge for accurate stance detection across domains.


title: Asymmetric Construction of Low-Latency and Length-Flexible Polar Codes

abstract: Polar codes are a class of capacity-achieving error correcting codes that have been selected for use in enhanced mobile broadband in the 3GPP 5th generation (5G) wireless standard. Most polar code research examines the original Arikan polar coding scheme, which is limited in block length to powers of two. This constraint presents a considerable obstacle since practical applications call for all code lengths to be readily available. Puncturing and shortening techniques allow for flexible polar codes, while multi-kernel polar codes produce native code lengths that are powers of two and/or three. In this work, we propose a new low complexity coding scheme called asymmetric polar coding that allows for any arbitrary block length. We present details on the generator matrix, frozen set design, and decoding schedule. Our scheme offers flexible polar code lengths with decoding complexity lower than equivalent state-of-the-art length-compatible approaches under successive cancellation decoding. Further, asymmetric decoding complexity is directly dependent on the codeword length rather than the nearest valid polar code length. We compare our scheme with other length matching techniques, and simulations are presented. Results show that asymmetric polar codes present similar error correction performance to the competing schemes, while dividing the number of SC decoding operations by up to a factor of 2 using the same codeword length


title: Quasi-morphisms on contactomorphism groups and Grassmannians of 2-planes

abstract: We construct a natural prequantization space over a monotone product of a toric manifold and an arbitrary number of complex Grassmannians of 2-planes in even-dimensional complex spaces, and prove that the universal cover of the identity component of the contactomorphism group of its total space carries a nonzero homogeneous quasi-morphism. The construction uses Givental's nonlinear Maslov index and a reduction theorem for quasi-morphisms on contactomorphism groups previously established together with M. Strom Borman. We explore applications to metrics on this group and to symplectic and contact rigidity. In particular we obtain a new proof that the quaternionic projective space, naturally embedded in the Grassmannian of 2-planes in a 2n-dimensional complex space as a Lagrangian, cannot be displaced from the real part of the complex Grassmannian by a Hamiltonian isotopy.


title: Flow-firing processes

abstract: We consider a discrete non-deterministic flow-firing process for rerouting flow on the edges of a planar complex. The process is an instance of higher-dimensional chip-firing. In the flow-firing process, flow on the edges of a complex is repeatedly diverted across the faces of the complex. For non-conservative initial configurations we show this process never terminates. For conservative initial flows we show the process terminates after a finite number of rerouting steps, but there are many possible final configurations reachable from a single initial state. Finally, for conservative initial flows around a topological hole we show the process terminates at a unique final configuration. In this case the process exhibits global confluence despite not satisfying local confluence.


title: On the Variance of Unbiased Online Recurrent Optimization

abstract: The recently proposed Unbiased Online Recurrent Optimization algorithm (UORO, arXiv:1702.05043) uses an unbiased approximation of RTRL to achieve fully online gradient-based learning in RNNs. In this work we analyze the variance of the gradient estimate computed by UORO, and propose several possible changes to the method which reduce this variance both in theory and practice. We also contribute significantly to the theoretical and intuitive understanding of UORO (and its existing variance reduction technique), and demonstrate a fundamental connection between its gradient estimate and the one that would be computed by REINFORCE if small amounts of noise were added to the RNN's hidden units.


title: Polynomial inequalities on the Hamming cube

abstract: Let $(X,\|\cdot\|_X)$ be a Banach space. The purpose of this article is to systematically investigate dimension independent properties of vector valued functions $f:\{-1,1\}^n\to X$ on the Hamming cube whose spectrum is bounded above or below. Our proofs exploit contractivity properties of the heat flow, induced by the geometry of the target space $(X,\|\cdot\|_X)$, combined with duality arguments and suitable tools from approximation theory and complex analysis. We obtain a series of improvements of various well-studied estimates for functions with bounded spectrum, including moment comparison results for low degree Walsh polynomials and Bernstein-Markov type inequalities, which constitute discrete vector valued analogues of Freud's inequality in Gauss space (1971). Many of these inequalities are new even for scalar valued functions. Furthermore, we provide a short proof of Mendel and Naor's heat smoothing theorem (2014) for functions on tail spaces with values in spaces of nontrivial type and we also prove a dual lower bound on the decay of the heat semigroup acting on functions with spectrum bounded from above. Finally, we improve the reverse Bernstein-Markov inequalities of Meyer (1984) and Mendel and Naor (2014) for functions with narrow enough spectrum and improve the bounds of Filmus, Hatami, Keller and Lifshitz (2016) on the $\ell_p$ sums of influences of bounded functions for $p\in\big(1,\frac{4}{3}\big)$.


title: A Comparison of Information Retrieval Techniques for Detecting Source Code Plagiarism

abstract: Plagiarism is a commonly encountered problem in the academia. While there are several tools and techniques to efficiently determine plagiarism in text, the same cannot be said about source code plagiarism. To make the existing systems more efficient, we use several information retrieval techniques to find the similarity between source code files written in Java. We later use JPlag, which is a string-based plagiarism detection tool used in academia to match the plagiarized source codes. In this paper, we aim to generalize on the efficiency and effectiveness of detecting plagiarism using different information retrieval models rather than using just string manipulation algorithms.


title: On $L_2$-consistency of nearest neighbor matching

abstract: Biased sampling and missing data complicates statistical problems ranging from causal inference to reinforcement learning. We often correct for biased sampling of summary statistics with matching methods and importance weighting. In this paper, we study nearest neighbor matching (NNM), which makes estimates of population quantities from biased samples by substituting unobserved variables with their nearest neighbors in the biased sample. We show that NNM is $L_2$-consistent in the absence of smoothness and boundedness assumptions in finite dimensions. We discuss applications of NNM, outline the barriers to generalizing this work to separable metric spaces, and compare this result to inverse probability weighting.


title: Stationary phase type estimates for low symbol regularity

abstract: The well-known stationary phase formula gives us a way to precisely compute oscillating integrals so long as the symbol is regular enough (in comparison to the large parameter controlling the oscillation). However in a number of applications we find ourselves with symbols that are not suitably regular. In this paper we obtain decay bounds for such oscillatory integrals.


title: Limits of distributed dislocations in geometric and constitutive paradigms

abstract: The 1950's foundational literature on rational mechanics exhibits two somewhat distinct paradigms to the representation of continuous distributions of defects in solids. In one paradigm, the fundamental objects are geometric structures on the body manifold, e.g., an affine connection and a Riemannian metric, which represent its internal microstructure. In the other paradigm, the fundamental object is the constitutive relation; if the constitutive relations satisfy a property of material uniformity, then it induces certain geometric structures on the manifold. In this paper, we first review these paradigms, and show that they are equivalent if the constitutive model has a discrete symmetry group (otherwise, they are still consistent, however the geometric paradigm contains more information). We then consider bodies with continuously-distributed edge dislocations, and show, in both paradigms, how they can be obtained as homogenization limits of bodies with finitely-many dislocations as the number of dislocations tends to infinity. Homogenization in the geometric paradigm amounts to a convergence of manifolds; in the constitutive paradigm it amounts to a $\Gamma$-convergence of energy functionals. We show that these two homogenization theories are consistent, and even identical in the case of constitutive relations having discrete symmetries.


title: Storm: a fast transactional dataplane for remote data structures

abstract: RDMA is an exciting technology that enables a host to access the memory of a remote host without involving the remote CPU. Prior work shows how to use RDMA to improve the performance of distributed in-memory storage systems. However, RDMA is widely believed to have scalability issues, due to the amount of active protocol state that needs to be cached in the limited NIC cache. These concerns led to several software-based proposals to enhance scalability by trading off performance. In this work, we revisit these trade-offs in light of newer RDMA hardware and propose new guidelines for scaling RDMA. We show that using one-sided remote memory primitives leads to higher performance compared to send/receive and kernel-based systems in rack-scale environments. Based on these insights, we design and implement Storm, a transactional dataplane using one-sided read and write-based RPC primitives. We show that Storm outperforms eRPC, FaRM, and LITE by 3.3x, 3.6x, and 17.1x, respectively, on an Infinband EDR cluster with Mellanox ConnectX-4 NICs.


title: A Bayesian Approach for Accurate Classification-Based Aggregates

abstract: In this paper, we study the accuracy of values aggregated over classes predicted by a classification algorithm. The problem is that the resulting aggregates (e.g., sums of a variable) are known to be biased. The bias can be large even for highly accurate classification algorithms, in particular when dealing with class-imbalanced data. To correct this bias, the algorithm's classification error rates have to be estimated. In this estimation, two issues arise when applying existing bias correction methods. First, inaccuracies in estimating classification error rates have to be taken into account. Second, impermissible estimates, such as a negative estimate for a positive value, have to be dismissed. We show that both issues are relevant in applications where the true labels are known only for a small set of data points. We propose a novel bias correction method using Bayesian inference. The novelty of our method is that it imposes constraints on the model parameters. We show that our method solves the problem of biased classification-based aggregates as well as the two issues above, in the general setting of multi-class classification. In the empirical evaluation, using a binary classifier on a real-world dataset of company tax returns, we show that our method outperforms existing methods in terms of mean squared error.


title: Graph Approach to Extended Contextuality

abstract: Exploring the graph approach, we restate the extended definition of noncontextuality provided by the contextuality-by-default framework. This extended definition avoids the assumption of nondisturbance, which states that whenever two contexts overlap, the marginal distribution obtained for the intersection must be the same. We show how standard tools for characterizing contextuality can also be used in this extended framework for any set of measurements and, in addition, we also provide several conditions that can be tested directly in any contextuality experiment. Our conditions reduce to traditional ones for noncontextuality if the nondisturbance assumption is satisfied.


title: Heuristic derivation of the Casimir effect from Generalized Uncertainty Principle

abstract: After a short introduction to the generalized uncertainty principle (GUP), we discuss heuristic derivations of the Casimir effect, first from the usual Heisenberg uncertainty principle (HUP), and then from GUP. Results are compared with those obtained from more standard calculations in Quantum Field Theory (QFT).


title: Generic Newton points and the Newton poset in Iwahori double cosets

abstract: We consider the Newton stratification on Iwahori double cosets in the loop group of a reductive group. We describe a group-theoretic condition on the generic Newton point, called cordiality, under which the Newton poset (i.e. the index set for non-empty Newton strata) is saturated and Grothendieck's conjecture on closures of the Newton strata holds. Finally, we give several large classes of Iwahori double cosets for which this condition is satisfied by studying certain paths in the associated quantum Bruhat graph.


title: Fast Hyperparameter Tuning using Bayesian Optimization with Directional Derivatives

abstract: In this paper we develop a Bayesian optimization based hyperparameter tuning framework inspired by statistical learning theory for classifiers. We utilize two key facts from PAC learning theory; the generalization bound will be higher for a small subset of data compared to the whole, and the highest accuracy for a small subset of data can be achieved with a simple model. We initially tune the hyperparameters on a small subset of training data using Bayesian optimization. While tuning the hyperparameters on the whole training data, we leverage the insights from the learning theory to seek more complex models. We realize this by using directional derivative signs strategically placed in the hyperparameter search space to seek a more complex model than the one obtained with small data. We demonstrate the performance of our method on the tasks of tuning the hyperparameters of several machine learning algorithms.


title: SurfBraid: A concept tool for preparing and resource estimating quantum circuits protected by the surface code

abstract: The first generations of quantum computers will execute fault-tolerant quantum circuits, and it is very likely that such circuits will use surface quantum error correcting codes. To the best of our knowledge, no complete design automation tool for such circuits is currently available. This is to a large extent because such circuits have three dimensional layouts (e.g. two dimensional hardware and time axis as a third dimension) and their optimisation is still ongoing research. This work introduces SurfBraid, a tool for the automatic design of surface code protected quantum circuits -- it includes a complete workflow that compiles an arbitrary quantum circuit into an intermediary Clifford+T equivalent representation which is further synthesised and optimised to surface code protected structures (for the moment, braided defects). SurfBraid is arguably the first flexible (modular structure, extensible through user provided scripts) and interactive (automatically updating the results based on user interaction, browser based) tool for such circuits. One of the prototype's methodological novelty is its capability to automatically estimate the resources necessary for executing large fault-tolerant circuits. A prototype implementation and the corresponding source code are available at https://alexandrupaler.github.io/quantjs/.


title: Conservation or deterioration in heritage sites? Estimating willingness to pay for preservation

abstract: A significant part of the United Nations World Heritage Sites (WHSs) is located in developing countries. These sites attract an increasing number of tourist and income to these countries. Unfortunately, many of these WHSs are in a poor condition due to climatic and environmental impacts; war and tourism pressure, requiring the urgent need for restoration and preservation (Tuan & Navrud, 2007). In this study, we characterise residents from Shiraz city (visitors and non-visitors) willingness to invest in the management of the heritage sites through models for the preservation of heritage and development of tourism as a local resource. The research looks at different categories of heritage sites within Shiraz city, Iran. The measurement instrument is a stated preference referendum task administered state-wide to a sample of 489 respondents, with the payment mechanism defined as a purpose-specific incremental levy of a fixed amount over a set period of years. A Latent Class Binary Logit model, using parametric constraints is used innovatively to deal with any strategic voting such as Yea-sayers and Nay-sayers, as well as revealing the latent heterogeneity among sample members. Results indicate that almost 14% of the sampled population is unwilling to be levied any amount (Nay-sayers) to preserve any heritage sites. Not recognizing the presence of nay-sayers in the data or recognizing them but eliminating them from the estimation will result in biased Willingness to Pay (WTP) results and, consequently, biased policy propositions by authorities. Moreover, it is found that the type of heritage site is a driver of WTP. The results from this study provide insights into the WTP of heritage site visitors and non-visitors with respect to avoiding the impacts of future erosion and destruction and contributing to heritage management and maintenance policies.