title: FIREbox: Simulating galaxies at high dynamic range in a cosmological volume

abstract: We introduce a suite of cosmological volume simulations to study the evolution of galaxies as part of the Feedback in Realistic Environments project. FIREbox, the principal simulation of the present suite, provides a representative sample of galaxies (~1000 galaxies with Mstar > 10^8 Msun at z=0) at a resolution (~20 pc, m_b ~ 6x10^4 Msun) comparable to state-of-the-art galaxy zoom-in simulations. FIREbox captures the multiphase nature of the interstellar medium in a fully cosmological setting (L=22.1 Mpc) thanks to its exceptionally high dynamic range (~10^6) and the inclusion of multi-channel stellar feedback. Here, we focus on validating the simulation predictions by comparing to observational data. We find that simulated galaxies with Mstar < 10^{10.5-11} Msun have star formation rates, gas masses, and metallicities in broad agreement with observations. These galaxy scaling relations extend to low masses (Mstar ~ 10^7 Msun) and follow a (broken) power-law relationship. Also reproduced are the evolution of the cosmic HI density and the HI column density distribution at z~0-5. At low z, FIREbox predicts a peak in the stellar-mass--halo-mass relation, but also a higher abundance of massive galaxies and a higher cosmic star formation rate density than observed, showing that stellar feedback alone is insufficient to reproduce the properties of massive galaxies at late times. Given its high resolution and sample size, FIREbox offers a baseline prediction of galaxy formation theory in a $\Lambda$CDM Universe while also highlighting modeling challenges to be addressed in next-generation galaxy simulations.


title: Renormalization group effects in astrophobic axion models

abstract: It has been recently pointed out that in certain axion models it is possible to suppress simultaneously both the axion couplings to nucleons and electrons, realising the so-called astrophobic axion scenarios, wherein the tight bounds from SN1987A and from stellar evolution of red giants and white dwarfs are greatly relaxed. So far, however, the conditions for realising astrophobia have only been set out in tree-level analyses. Here we study whether these conditions can still be consistently implemented once renormalization group effects are included in the running of axion couplings. We find that axion astrophobia keeps holding, albeit within fairly different parameter space regions, and we provide analytical insights into this result. Given that astrophobic axion models generally feature flavour violating axion couplings, we also assess the impact of renormalization group effects on axion-mediated flavour violating observables.


title: Accurate predictions from small boxes: variance suppression via the Zel'dovich approximation

abstract: Simulations have become an indispensable tool for accurate modelling of observables measured in galaxy surveys, but can be expensive if very large dynamic range in scale is required. We describe how to combine Lagrangian perturbation theory models with N-body simulations to reduce the effects of finite computational volume in the prediction of ensemble average properties in the simulations within the context of control variates. In particular we use the fact that Zel'dovich displacements, computed during initial condition generation for any simulation, correlate strongly with the final density field. Since all the correlators of biased tracers can be computed with arbitrary precision for these displacements, pairing the Zel'dovich `simulation' with the N-body realization allows hundredfold reductions in sample variance for power spectrum or correlation function estimation. Zel'dovich control variates can accurately extend matter or tracer field emulators to larger scales than previously possible, as well as improving measurements of statistics in simulations which are inherently limited to small volumes, such as hydrodynamical simulations of galaxy formation and reionization.


title: Impact of the cosmic background radiation on the initial mass function of metal-poor stars

abstract: We study star cluster formation at low metallicities of $Z/Z_\odot=10^{-4}$--$10^{-1}$ using three-dimensional hydrodynamics simulations. Particular emphasis is put on how the stellar mass distribution is affected by the cosmic microwave background radiation (CMB), which sets the temperature floor to the gas. Starting from the collapse of a turbulent cloud, we follow the formation of a protostellar system resolving $\sim$au scale. In relatively metal-enriched cases of $Z/Z_\odot \gtrsim 10^{-2}$, where the mass function resembles the present-day one in the absence of the CMB, high temperature CMB suppresses cloud fragmentation and reduces the number of low-mass stars, making the mass function more top-heavy than in the cases without CMB heating at $z\gtrsim10$. In lower-metallicity cases with $Z/Z_\odot \lesssim 10^{-3}$, where the gas temperature is higher than the CMB value due to inefficient cooling, the CMB has only a minor impact on the mass distribution, which is top-heavy regardless of the redshift. In cases either with a low metallicity of $Z/Z_\odot \lesssim 10^{-2}$ or at a high redshift $z\gtrsim10$, the mass spectrum consists of a low-mass Salpeter-like component, peaking at $0.1~M_\odot$, and a top-heavy component with $10$--$50~M_\odot$, with the fraction in the latter increasing with increasing redshift. In galaxies forming at $z\gtrsim10$, the major targets of the future instruments including JWST, CMB heating makes the stellar mass function significantly top-heavy, enhancing the number of supernova explosions by a factor of $1.4$ ($2.8$) at $z=10$ ($20$, respectively) compared to the prediction by Chabrier initial mass function when $Z/Z_\odot=0.1$.


title: Numerical Cauchy evolution of asymptotically AdS spacetimes with no symmetries

abstract: In this thesis, I present the first numerical scheme able to perform Cauchy evolutions of asymptotically AdS spacetimes with reflective boundary conditions under no symmetry requirements on the solution. The scheme is based on the generalised harmonic formulation of the Einstein equations. The main difficulty in removing all symmetry assumptions can be phrased in terms of finding a set of generalised harmonic source functions that are consistent with the AdS boundary conditions. I detail a prescription to obtain the set of source functions that achieves stable evolution in full generality. This prescription leads to the first long-time stable 3+1 simulations of four dimensional spacetimes with a negative cosmological constant in Cartesian coordinates. I show results of gravitational collapse with no symmetry assumptions, and the subsequent ringdown to a static black hole in the bulk, which corresponds to evolution towards a homogeneous state on the boundary. Furthermore, it is argued that this scheme is well-suited for the study of black hole superradiance -- the amplification of waves scattering off a rotating black hole -- in Kerr-AdS spacetime. This statement is supported by the results of a preliminary simulation of perturbed Kerr-AdS.


title: Anomalies of Generalized Symmetries from Solitonic Defects

abstract: We propose the general idea that 't Hooft anomalies of generalized global symmetries can be understood in terms of the properties of solitonic defects, which generically are non-topological defects. The defining property of such defects is that they act as sources for background fields of generalized symmetries. 't Hooft anomalies arise when solitonic defects are charged under these generalized symmetries. We illustrate this idea for several kinds of anomalies in various spacetime dimensions. A systematic exploration is performed in 3d for 0-form, 1-form, and 2-group symmetries, whose 't Hooft anomalies are related to two special types of solitonic defects, namely vortex line defects and monopole operators. This analysis is supplemented with detailed computations of such anomalies in a large class of 3d gauge theories. Central to this computation is the determination of the gauge and 0-form charges of a variety of monopole operators: these involve standard gauge monopole operators, but also fractional gauge monopole operators, as well as monopole operators for 0-form symmetries. The charges of these monopole operators mainly receive contributions from Chern-Simons terms and fermions in the matter content. Along the way, we interpret the vanishing of the global gauge and ABJ anomalies, which are anomalies not captured by local anomaly polynomials, as the requirement that gauge monopole operators and mixed monopole operators for 0-form and gauge symmetries have non-fractional integer charges.


title: The Fornax3D project: The assembly history of massive early-type galaxies in the Fornax cluster from deep imaging and integral field spectroscopy

abstract: This work is based on high quality integral-field spectroscopic data obtained with the Multi Unit Spectroscopic Explorer (MUSE) on the Very Large Telescope (VLT). The 21 brightest ($m_B\leq 15$ mag) early-type galaxies (ETGs) inside the virial radius of the Fornax cluster are observed out to distances of $\sim2-3\ R_{\rm e}$. Deep imaging from the VLT Survey Telescope (VST) is also available for the sample ETGs. We investigate the variation of the galaxy structural properties as a function of the total stellar mass and cluster environment. Moreover, we correlate the size scales of the luminous components derived from a multi-component decomposition of the VST surface-brightness radial profiles of the sample ETGs with the MUSE radial profiles of stellar kinematic and population properties. The results are compared with both theoretical predictions and previous observational studies and used to address the assembly history of the massive ETGs of the Fornax cluster. We find that galaxies in the core and north-south clump of the cluster, which have the highest accreted mass fraction, show milder metallicity gradients in their outskirts than the galaxies infalling into the cluster. We also find a segregation in both age and metallicity between the galaxies belonging to the core and north-south clump and the infalling galaxies. The new findings fit well within the general framework for the assembly history of the Fornax cluster.


title: Uses of Complex Metrics in Cosmology

abstract: Complex metrics are a double-edged sword: they allow one to replace singular spacetimes, such as those containing a big bang, with regular metrics, yet they can also describe unphysical solutions in which quantum transitions may be more probable than ordinary classical evolution. In the cosmological context, we investigate a criterion proposed by Witten (based on works of Kontsevich & Segal and of Louko & Sorkin) to decide whether a complex metric is allowable or not. Because of the freedom to deform complex metrics using Cauchy's theorem, deciding whether a metric is allowable in general requires solving a complicated optimisation problem. We describe a method that allows one to quickly determine the allowability of minisuperspace metrics. This enables us to study the off-shell structure of minisuperspace path integrals, which we investigate for various boundary conditions. Classical transitions always reside on the boundary of the domain of allowable metrics, and care must be taken in defining appropriate integration contours for the corresponding gravitational path integral. Perhaps more surprisingly, we find that proposed quantum (`tunnelling') transitions from a contracting to an expanding universe violate the allowability criterion and may thus be unphysical. No-boundary solutions, by contrast, are found to be allowable, and moreover we demonstrate that with an initial momentum condition an integration contour over allowable metrics may be explicitly described in arbitrary spacetime dimensions.


title: Quantum correlations beyond entanglement in a classical-channel model of gravity

abstract: A direct quantization of the Newtonian interaction between two masses is known to establish entanglement, which if detected would witness the quantum nature of the gravitational field. Gravitational interaction is yet compatible also with gravitational decoherence models relying on classical channels, hence unable to create entanglement. Here, we show in paradigmatic cases that, despite the absence of entanglement, a classical-channel model of gravity can still establish quantum correlations in the form of quantum discord between two masses. This is demonstrated for the Kafri-Taylor-Milburn (KTM) model and a recently proposed dissipative extension of this. In both cases, starting from an uncorrelated state, a significant amount of discord is generally created. This eventually decays in the KTM model, while it converges to a small stationary value in its dissipative extension. We also find that initial local squeezing on the state of the masses can significanlty enhance the generated discord.


title: Insufficient Gas Accretion Caused the Decline in Cosmic Star-Formation Activity 8 Billion Years Ago

abstract: Measurements of the atomic hydrogen (HI) properties of high-redshift galaxies are critical to understanding the decline in the star-formation rate (SFR) density of the Universe after its peak $\approx8-11$ Gyr ago. Here, we use $\approx510$ hours of observations with the upgraded Giant Metrewave Radio Telescope to measure the dependence of the average HI mass of star-forming galaxies at $z=0.74-1.45$ on their average stellar mass and redshift, by stacking their HI 21 cm emission signals. We divide our sample of 11,419 main-sequence galaxies at $z=0.74-1.45$ into two stellar-mass ($M_*$) subsamples, with $M_*>10^{10} M_\odot$ and $M_*<10^{10} M_\odot$, and obtain clear detections, at $>4.6\sigma$ significance, of the stacked HI 21 cm emission in both subsamples. We find that galaxies with $M_*>10^{10} M_\odot$, which dominate the decline in the cosmic SFR density at $z\lesssim1$, have HI reservoirs that can sustain their SFRs for only a short period, $0.86\pm0.20$ Gyr, unless their HI is replenished via accretion. We also stack the HI 21 cm emission from galaxies in two redshift subsamples, at $z=0.74-1.25$ and $z=1.25-1.45$, again obtaining clear detections of the stacked HI 21 cm emission signals, at $>5.2\sigma$ significance in both subsamples. We find that the average HI mass of galaxies with $\langle M_* \rangle\approx10^{10} M_\odot$ declines steeply over a period of $\approx1$ billion years, from $(33.6\pm6.4) \times 10^9 M_\odot$ at $\langle z\rangle\approx1.3$ to $(10.6\pm1.9)\times10^9 M_\odot$ at $\langle z\rangle\approx1.0$, i.e. by a factor $\gtrsim3$. We thus find direct evidence that accretion of HI onto star-forming galaxies at $z\approx1$ is insufficient to replenish their HI reservoirs and sustain their SFRs, thus resulting in the decline in the cosmic SFR density 8 billion years ago.


title: Realistic synthetic integral field spectroscopy with RealSim-IFS

abstract: The most direct way to confront observed galaxies with those formed in numerical simulations is to forward-model simulated galaxies into synthetic observations. Provided that synthetic galaxy observations include similar constraints and limitations as real observations, they can be used to (1) carry out even-handed comparisons of observation and theory and (2) map the observable characteristics of simulated galaxies to their a priori known origins. In particular, integral field spectroscopy (IFS) expands the scope of such comparisons and mappings to an exceptionally broad set of physical properties. We therefore present RealSim-IFS: a tool for forward-modelling galaxies from hydrodynamical simulations into synthetic IFS observations. The core components of RealSim-IFS model the detailed spatial sampling mechanics of any fibre-bundle, image slicer, or lenslet array IFU and corresponding observing strategy, real or imagined, and support the corresponding propagation of noise adopted by the user. The code is highly generalized and can produce cubes in any light- or mass-weighted quantity (e.g. specific intensity, gas/stellar line-of-sight velocity, stellar age/metallicity, etc.). We show that RealSim-IFS exactly reproduces the spatial reconstruction of specific intensity and variance cubes produced by the MaNGA survey Data Reduction Pipeline using the calibrated fibre spectra as input. We then apply RealSim-IFS by producing a public synthetic MaNGA stellar kinematic survey of 893 galaxies with $\log M_{\star}/M_{\odot}>10$ from the TNG50 cosmological hydrodynamical simulation.


title: Radiative turbulent mixing layers at high Mach numbers

abstract: Radiative turbulent mixing layers (TMLs) are ubiquitous in astrophysical environments, e.g., the circumgalactic medium (CGM), and are triggered by the shear velocity at interfaces between different gas phases. To understand the shear velocity dependence of TMLs, we perform a set of 3D hydrodynamic simulations with an emphasis on the TML properties at high Mach numbers $\mathcal{M}$. Since the shear velocity in mixing regions is limited by the local sound speed of mixed gas, high-Mach number TMLs develop into a two-zone structure: a Mach number-independent mixing zone traced by significant cooling and mixing, plus a turbulent zone with large velocity dispersions which expands with greater $\mathcal{M}$. Low-Mach number TMLs do not have distinguishable mixing and turbulent zones. The radiative cooling of TMLs at low and high Mach numbers is predominantly balanced by enthalpy consumption and turbulent dissipation respectively. Both the TML surface brightness and column densities of intermediate-temperature ions (e.g., O VI) scale as $\propto\mathcal{M}^{0.5}$ at $\mathcal{M} \lesssim 1$, but reach saturation ($\propto \mathcal{M}^0$) at $\mathcal{M} \gtrsim 1$. Inflow velocities and hot gas entrainment into TMLs are substantially suppressed at high Mach numbers, and strong turbulent dissipation drives the evaporation of cold gas. This is in contrast to low-Mach number TMLs where the inflow velocities and hot gas entrainment are enhanced with greater $\mathcal{M}$, and cold gas mass increases due to the condensation of entrained hot gas.


title: Tidal Love Numbers of Novel and Admixed Celestial Objects

abstract: A sub-fraction of dark matter or new particles trapped inside celestial objects can significantly alter their macroscopic properties. We investigate the new physics imprint on celestial objects by using a generic framework to solve the Tolman-Oppenheimer-Volkoff (TOV) equations for up to two fluids. We test the impact of populations of new particles on celestial objects, including the sensitivity to self-interaction sizes, new particle mass, and net population mass. Applying our setup to neutron stars and boson stars, we find rich phenomenology for a range of these parameters, including the creation of extended atmospheres. These atmospheres are detectable by their impact on the tidal love number, which can be measured at upcoming gravitational wave experiments such as Advanced LIGO, the Einstein Telescope, and LISA. We release our calculation framework as a publicly available code, allowing the TOV equations to be generically solved for arbitrary new physics models in novel and admixed celestial objects.


title: From CFTs to theories with Bondi-Metzner-Sachs symmetries: Complexity and out-of-time-ordered correlators

abstract: We probe the contraction from $2d$ relativistic CFTs to theories with Bondi-Metzner-Sachs (BMS) symmetries, or equivalently Conformal Carroll symmetries, using diagnostics of quantum chaos. Starting from an Ultrarelativistic limit on a relativistic scalar field theory and following through at the quantum level using an oscillator representation of states, one can show the CFT$_2$ vacuum evolves smoothly into a BMS$_3$ vacuum in the form of a squeezed state. Computing circuit complexity of this transmutation using the covariance matrix approach shows clear divergences when the BMS point is hit or equivalently when the target state becomes a boundary state. We also find similar behaviour of the circuit complexity calculated from methods of information geometry. Furthermore, we discuss the hamiltonian evolution of the system and investigate Out-of-time-ordered correlators (OTOCs) and operator growth complexity, both of which turn out to scale polynomially with time at the BMS point.


title: Incommensurate many-body localization in the presence of long-range hopping and single-particle mobility edge

abstract: We study many-body localization (MBL) in the quasiperiodic $t_1$-$t_2$ model, focusing on the role of next-nearest-neighbor (NNN) hopping $t_2$, which introduces a single-particle mobility edge. The calculated phase diagram can be divided into three distinct regimes, depending on the strength of the short-range interaction $U$. For weak interactions ($U\ll t_1$), this model is always nonthermal. For intermediate interactions ($U\sim t_1$), the thermal-MBL phase transition in this model is qualitatively the same as that of the Aubry-Andre (AA) model, which is consistent with existing experimental observations. For strong interactions $(U\gg t_1)$, the NNN hopping produces qualitatively new physics because it breaks down the Hilbert space fragmentation present in the AA model. The NNN hopping is thus irrelevant when the interaction is intermediate but relevant for strong interactions.


title: Primordial black hole mergers from three-body interactions

abstract: Current gravitational-wave observations set the most stringent bounds on the abundance of primordial black holes (PBHs) in the solar mass range. This constraint, however, inherently relies on the merger rate predicted by PBH models. Previous analyses have focused mainly on two binary formation mechanisms: early Universe assembly out of decoupling from the Hubble expansion and dynamical capture in present-day dark matter structures. Using reaction rates of three-body processes studied in the astrophysical context, we show that, under conservative assumptions, three-body interactions in PBH halos efficiently produce binaries. Those binaries form at high redshift in Poisson-induced PBH small-scale structures and a fraction is predicted to coalesce and merge within the current age of the Universe, at odds with the dynamical capture scenario where they merge promptly. In general, we find that this channel predicts rates comparable to the dynamical capture scenario. However, binaries formed from three-body interactions do not significantly contribute to the overall PBH merger rate unless PBHs made up a dominant fraction of the dark matter above the solar mass range, a scenario that is ruled out by current constraints. Our results support strong bounds on the PBH abundance in the stellar mass range derived from Laser Interferometer Gravitational-Wave Observatory/Virgo/KAGRA observations. Finally, we show that both dynamical channels are always subdominant compared to early Universe assembly for PBH mergers in the asteroid mass range, while we expect it to become relevant in scenarios where PBHs are initially strongly clustered.


title: The second law of black hole mechanics in effective field theory

abstract: We investigate the second law of black hole mechanics in gravitational theories with higher derivative terms in the action. Wall has described a method for defining an entropy that satisfies the second law to linear order in perturbations around a stationary black hole. We show that this can be extended to define an entropy that satisfies the second law to quadratic order in perturbations, provided that one treats the higher derivative terms in the sense of effective field theory. We also address some outstanding issues with Wall's method, in particular, its gauge invariance and its relation to the Iyer-Wald entropy.


title: Evaporation of Echoing Black Holes

abstract: We compute the graybody factor and evaporation rate of a rotating black hole in the presence of a hypothetical reflective surface slightly outside the outer horizon radius, assuming that it spontaneously emits thermal radiation due to quantum-gravitational effects such as firewalls or stretched horizons. As a result of a resonance caused by a cavity between the reflective surface and angular momentum barrier, the graybody factor is subject to a modulation in the frequency space. By taking into account this effect for multiangular modes of neutrinos, photons, and gravitons, we numerically compute the time development of the mass and angular momentum of the black hole, and show that the excited reflective surface shortens the lifetime of quantum black holes.


title: Quantum bridge states and sub-dimensional transports in quasicrystals

abstract: Exotic tiling patterns of quasicrystals have gotten a lot of attention for unique quantum phenomena such as critical state and multifractality. In this regard, finding new quasi-periodic tiling patterns and the relevant quantum states is one of the main interests in quasicrystals. Here, we focus on new types of quasicrystals described by coexisting phason flips and discuss their quantum transports with distinct local tiling patterns. It turns out that such new tilings are uniquely descended from the translation of high-dimensional lattices and their projection, in particular, a four-dimensional hypercubic lattice. Such unconventional tiling gives rise to sub-dimensionally confined states forming a bridge, so-called quantum bridge states. It turns out that electrons in such states could be strongly localized by applying a magnetic field at a particular time but are transported to the sites which share the same local patterns along the bridge with time evolution. The speed of transport is controlled via magnetic field strength, and one can even expect electron transportation between multiple bridges where their numbers are determined by the translation vectors of a four-dimensional hypercubic lattice. Our work paves a way to discover anomalous quantum states and their transports uniquely present in quasicrystals with new tiling structures.


title: Cluster structures for the $A_{\infty}$ singularity

abstract: We study a category $\mathcal{C}_2$ of $\mathbb{Z}$-graded MCM modules over the $A_\infty$ curve singularity and demonstrate it has infinite type $A$ cluster combinatorics. In particular, we show that this Frobenius category (or a suitable subcategory) is stably equivalent to the infinite type $A$ cluster categories of Holm-Jorgensen, Fisher and Paquette-Yildirim. As a consequence, $\mathcal{C}_2$ has cluster tilting subcategories modelled by certain triangulations of the (completed) $\infty$-gon. We use the Frobenius structure to extend this further to consider maximal almost rigid subcategories, and show that these subcategories and their mutations exhibit the combinatorics of the completed $\infty$-gon.


title: False vacuum decay in the 1+1 dimensional $\varphi^4$ theory

abstract: The false vacuum is a metastable state that can occur in quantum field theory, and its decay was first studied semi-classically by Coleman. In this work we consider the 1+1 dimensional $\varphi^4$ theory, which is the simplest model that provides a realisation of this problem. We realise the decay as a quantum quench and study the subsequent evolution using a truncated Hamiltonian approach. In the thin wall limit, the decay rate can be described in terms of the mass of the kink interpolating between the vacua in the degenerate limit, and the energy density difference between the false and true vacuum once the degeneracy is lifted by a symmetry breaking field, a.k.a. the latent heat. We demonstrate that the numerical simulations agree well with the theoretical prediction for several values of the coupling in a range of the value of the latent heat, apart from a normalisation factor which only depends on the interaction strength.


title: $TimeEvolver$: A Program for Time Evolution With Improved Error Bound

abstract: We present $TimeEvolver$, a program for computing time evolution in a generic quantum system. It relies on well-known Krylov subspace techniques to tackle the problem of multiplying the exponential of a large sparse matrix $i H$, where $H$ is the Hamiltonian, with an initial vector $v$. The fact that $H$ is Hermitian makes it possible to provide an easily computable bound on the accuracy of the Krylov approximation. Apart from effects of numerical roundoff, the resulting a posteriori error bound is rigorous, which represents a crucial novelty as compared to existing software packages such as $Expokit$ (R. Sidje, ACM Trans. Math. Softw. 24 (1) 1998). On a standard notebook, $TimeEvolver$ allows to compute time evolution with adjustable precision in Hilbert spaces of dimension greater than $10^6$. Additionally, we provide routines for deriving the matrix $H$ from a more abstract representation of the Hamiltonian operator.

categories: quant-ph cs.NA hep-th math.NA physics.comp-ph


title: Gauging Lie group symmetry in (2+1)d topological phases

abstract: We present a general algebraic framework for gauging a 0-form compact, connected Lie group symmetry in (2+1)d topological phases. Starting from a symmetry fractionalization pattern of the Lie group $G$, we first extend $G$ to a larger symmetry group $\tilde{G}$, such that there is no fractionalization with respect to $\tilde{G}$ in the topological phase, and the effect of gauging $\tilde{G}$ is to tensor the original theory with a $\tilde{G}$ Chern-Simons theory. To restore the desired gauge symmetry, one then has to gauge an appropriate one-form symmetry (or, condensing certain Abelian anyons) to obtain the final result. Studying the consistency of the gauging procedure leads to compatibility conditions between the symmetry fractionalization pattern and the Hall conductance. When the gauging can not be consistently done (i.e. the compatibility conditions can not be satisfied), the symmetry $G$ with the fractionalization pattern has an 't Hooft anomaly and we present a general method to determine the (3+1)d topological term for the anomaly. We provide many examples, including projective simple Lie groups and unitary groups to illustrate our approach.


title: On the contour prescriptions in string-inspired nonlocal field theories

abstract: In quantum field theory, a consistent prescription to define and deform integration contours in the complex energy plane is needed to evaluate loop integrals and compute scattering amplitudes. In some nonlocal field theories, including string field theory, interaction vertices contain transcendental functions of momenta that can diverge along certain complex directions, thus making it impossible to use standard techniques, such as Wick rotation, to perform loop integrals. The aim of this paper is to investigate the viability of several contour prescriptions in the presence of nonlocal vertices. We consider three ``different'' prescriptions, and establish their (in)equivalence in local and nonlocal theories. In particular, we prove that all these prescriptions turn out to be equivalent in standard local theories, while this is not the case for nonlocal theories where amplitudes must be defined first in Euclidean space, and then analytically continued to Minkowski. We work at one-loop level and focus on the bubble diagram. In addition to proving general results for a large class of nonlocal theories, we show explicit calculations in a string inspired nonlocal scalar model.


title: The Dawn of Black Holes

abstract: In the last decades, luminous accreting super-massive black holes have been discovered within the first Gyr after the Big Bang, but their origin is still an unsolved mystery. We discuss our state-of-the-art theoretical knowledge of their formation physics and early growth, and describe the results of dedicated observational campaigns in the X-ray band. We also provide an overview of how these systems can be used to derive cosmological parameters. Finally, we point out some open issues, in light of future electro-magnetic and gravitational-wave astronomical facilities.


title: The physics case for neutrino-neutrino collisions

abstract: Addressing the mass origin and properties of neutrinos is of strong interest to particle physics, baryogenesis and cosmology. Popular explanations involve physics beyond the standard model, for example, the dimension-5 Weinberg operator or heavy Majorana neutrinos arising from ``seesaw'' models. The current best direct limits on the electron neutrino mass, derived from nuclei beta decay or neutrinoless double beta decay processes, are at the sub-electronvolt level. Here we propose a novel neutrino neutrino collider where the neutrino beam is generated from TeV scale muon decays. Such collisions can happen between either neutrinos and anti-neutrinos, or neutrinos and neutrinos. We find that with a tiny integrated luminosity of about $10^{-5}$/fb we can already expect to observe direct neutrino anti-neutrino annihilation, $\nu\bar{\nu}\rightarrow {\rm Z}$, which also opens the door to explore neutrino related resonances $\nu\bar{\nu}\rightarrow {\rm X}$. The low luminosity requirement can accommodate a relatively large emittance muon beam. Such a device would also allow for probing heavy Majorana neutrino and effective Majorana neutrino mass through $\nu\nu\rightarrow {\rm H H}$ to a competitive level, for both electron and muon types.


title: The thermodynamics of stellar multiplicity: dynamical evolution of binary star populations in dense stellar environments

abstract: We recently derived, using the density-of-states approximation, analytic distribution functions for the outcomes of direct single-binary scatterings (Stone & Leigh 2019). Using these outcome distribution functions, we present in this paper a self-consistent statistical mechanics-based analytic model obtained using the Fokker-Planck limit of the Boltzmann equation. Our model quantifies the dominant gravitational physics, combining both strong and weak single-binary interactions, that drives the time evolution of binary orbital parameter distributions in dense stellar environments. We focus in particular the distributions of binary orbital energies and eccentricities. We find a novel steady state distribution of binary eccentricities, featuring strong depletions of both the highest and the lowest eccentricity binaries. In energy space, we compare the predictions of our analytic model to the results of numerical N-body simulations, and find that the agreement is good for the initial conditions considered here. This work is a first step toward the development of a fully self-consistent semi-analytic model for dynamically evolving binary star populations in dense stellar environments due to direct few-body interactions.


title: Canonical representations of surface groups

abstract: Let $\Sigma_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We study actions of the mapping class group of $\Sigma_{g,n}$ via Hodge-theoretic and arithmetic techniques. We show that if $$\rho: \pi_1(\Sigma_{g,n})\to GL_r(\mathbb{C})$$ is a representation whose conjugacy class has finite orbit under the mapping class group, and $r<\sqrt{g+1}$, then $\rho$ has finite image. This answers questions of Junho Peter Whang and Mark Kisin. We give applications of our methods to the Putman-Wieland conjecture, the Fontaine-Mazur conjecture, and a question of Esnault-Kerz. The proofs rely on non-abelian Hodge theory, our earlier work on semistability of isomonodromic deformations, and recent work of Esnault-Groechenig and Klevdal-Patrikis on Simpson's integrality conjecture for cohomologically rigid local systems.


title: Beyond the Berry Phase: Extrinsic Geometry of Quantum States

abstract: Consider a set of quantum states $| \psi(x) \rangle$ parameterized by $x$ taken from some parameter space $M$. We demonstrate how all geometric properties of this manifold of states are fully described by a scalar gauge-invariant Bargmann invariant $P^{(3)}(x_1, x_2, x_3)=\operatorname{tr}[P(x_1) P(x_2)P(x_3)]$, where $P(x) = |\psi(x)\rangle \langle\psi(x)|$. Mathematically, $P(x)$ defines a map from $M$ to the complex projective space $\mathbb{C}P^n$ and this map is uniquely determined by $P^{(3)}(x_1,x_2,x_3)$ up to a symmetry transformation. The phase $\arg P^{(3)}(x_1,x_2,x_3)$ can be used to compute the Berry phase for any closed loop in $M$, however, as we prove, it contains other information that cannot be determined from any Berry phase. When the arguments $x_i$ of $P^{(3)}(x_1,x_2,x_3)$ are taken close to each other, to the leading order, it reduces to the familiar Berry curvature $\omega$ and quantum metric $g$. We show that higher orders in this expansion are functionally independent of $\omega$ and $g$ and are related to the extrinsic properties of the map of $M$ into $\mathbb{C}P^n$ giving rise to new local gauge-invariant objects, such as the fully symmetric 3-tensor $T$. Finally, we show how our results have immediate applications to the modern theory of polarization, calculation of electrical response to a modulated field and physics of flat bands.


title: Fast Computation of Electrostatic Potentials for Piecewise Constant Conductivities

abstract: We present a novel numerical method for solving the elliptic partial differential equation problem for the electrostatic potential with piecewise constant conductivity. We employ an integral equation approach for which we derive a system of well-conditioned integral equations by representing the solution as a sum of single layer potentials. The kernel of the resulting integral operator is smooth provided that the layers are well-separated. The fast multiple method is used to accelerate the generalized minimal residual method solution of the integral equations. For efficiency, we adapt the grid of the Nystr\"{o}m method based on the spectral resolution of the layer charge density. Additionally, we present a method for evaluating the solution that is efficient and accurate throughout the domain, circumventing the close-evaluation problem. To support the design choices of the numerical method, we derive regularity estimates with bounds explicitly in terms of the conductivities and the geometries of the boundaries between their regions. The resulting method is fast and accurate for solving for the electrostatic potential in media with piecewise constant conductivities.


title: Rare-Earth Control of the Superconducting Upper Critical Field in Infinite-Layer Nickelates

abstract: The consequences of varying the rare-earth element in the superconducting infinite-layer nickelates have been much debated. Here we show striking differences in the magnitude and anisotropy of the superconducting upper critical field across the La-, Pr-, and Nd-nickelates. These 5 distinctions originate from the 4f electron characteristics of the rare-earth ions in the lattice: they are absent for La3+, nonmagnetic for the Pr3+ singlet ground state, and magnetic for the Nd3+ Kramer's doublet. The unique polar and azimuthal angle-dependent magnetoresistance found in the Nd-nickelates can be understood to arise from the magnetic contribution of the Nd3+ 4f moments. In the absence of rare-earth effects, we find that the nickelates broadly violate the Pauli limit. Such robust and tunable superconductivity suggests potential in future high-field applications.


title: Physical constraints in intracellular signaling: the cost of sending a bit

abstract: One of the primary computational requirements of a cellular system is the ability to transfer information between spatially separated components. To accomplish this, biology uses diverse physical channels including production or release of second-messengers molecules and electrical depolarization of the plasma membrane. To send reliable information, these processes must dissipate energy to compete with thermal noise, in some cases consuming a substantial fraction of the cellular energy budget. Here we bound the energetic efficiency of several physical strategies for communication, using tools from information theory and the fluctuation dissipation relations to quantify communication through a channel corrupted by thermal noise. We find a minimum energetic cost, in $k_B$T/bit for sending information as a function of the size of the sender and receiver, their spatial separation, and the communication latency. From these calculations construct a phase diagram indicating where each strategy is most efficient. In addition, these calculations provide an estimate for the energy costs associated with information processing arising from the physical constraints of the cellular environment.


title: Searching for the Essence of Adversarial Perturbations

abstract: Neural networks have demonstrated state-of-the-art performance in various machine learning fields. However, the introduction of malicious perturbations in input data, known as adversarial examples, has been shown to deceive neural network predictions. This poses potential risks for real-world applications such as autonomous driving and text identification. In order to mitigate these risks, a comprehensive understanding of the mechanisms underlying adversarial examples is essential. In this study, we demonstrate that adversarial perturbations contain human-recognizable information, which is the key conspirator responsible for a neural network's incorrect prediction, in contrast to the widely held belief that human-unidentifiable characteristics play a critical role in fooling a network. This concept of human-recognizable characteristics enables us to explain key features of adversarial perturbations, including their existence, transferability among different neural networks, and increased interpretability for adversarial training. We also uncover two unique properties of adversarial perturbations that deceive neural networks: masking and generation. Additionally, a special class, the complementary class, is identified when neural networks classify input images. The presence of human-recognizable information in adversarial perturbations allows researchers to gain insight into the working principles of neural networks and may lead to the development of techniques for detecting and defending against adversarial attacks.


title: Approaching optimal entangling collective measurements on quantum computing platforms

abstract: Entanglement is a fundamental feature of quantum mechanics and holds great promise for enhancing metrology and communications. Much of the focus of quantum metrology so far has been on generating highly entangled quantum states that offer better sensitivity, per resource, than what can be achieved classically. However, to reach the ultimate limits in multi-parameter quantum metrology and quantum information processing tasks, collective measurements, which generate entanglement between multiple copies of the quantum state, are necessary. Here, we experimentally demonstrate theoretically optimal single- and two-copy collective measurements for simultaneously estimating two non-commuting qubit rotations. This allows us to implement quantum-enhanced sensing, for which the metrological gain persists for high levels of decoherence, and to draw fundamental insights about the interpretation of the uncertainty principle. We implement our optimal measurements on superconducting, trapped-ion and photonic systems, providing an indication of how future quantum-enhanced sensing networks may look.


title: CTR: Checkpoint, Transfer, and Restore for Secure Enclaves

abstract: Hardware-based Trusted Execution Environments (TEEs) are becoming increasingly prevalent in cloud computing, forming the basis for confidential computing. However, the security goals of TEEs sometimes conflict with existing cloud functionality, such as VM or process migration, because TEE memory cannot be read by the hypervisor, OS, or other software on the platform. Whilst some newer TEE architectures support migration of entire protected VMs, there is currently no practical solution for migrating individual processes containing in-process TEEs. The inability to migrate such processes leads to operational inefficiencies or even data loss if the host platform must be urgently restarted. We present CTR, a software-only design to retrofit migration functionality into existing TEE architectures, whilst maintaining their expected security guarantees. Our design allows TEEs to be interrupted and migrated at arbitrary points in their execution, thus maintaining compatibility with existing VM and process migration techniques. By cooperatively involving the TEE in the migration process, our design also allows application developers to specify stateful migration-related policies, such as limiting the number of times a particular TEE may be migrated. Our prototype implementation for Intel SGX demonstrates that migration latency increases linearly with the size of the TEE memory and is dominated by TEE system operations.


title: AI-enabled Sound Pattern Recognition on Asthma Medication Adherence: Evaluation with the RDA Benchmark Suite

abstract: Asthma is a common, usually long-term respiratory disease with negative impact on global society and economy. Treatment involves using medical devices (inhalers) that distribute medication to the airways and its efficiency depends on the precision of the inhalation technique. There is a clinical need for objective methods to assess the inhalation technique, during clinical consultation. Integrated health monitoring systems, equipped with sensors, enable the recognition of drug actuation, embedded with sound signal detection, analysis and identification, from intelligent structures, that could provide powerful tools for reliable content management. Health monitoring systems equipped with sensors, embedded with sound signal detection, enable the recognition of drug actuation and could be used for effective audio content analysis. This paper revisits sound pattern recognition with machine learning techniques for asthma medication adherence assessment and presents the Respiratory and Drug Actuation (RDA) Suite (https://gitlab.com/vvr/monitoring-medication-adherence/rda-benchmark) for benchmarking and further research. The RDA Suite includes a set of tools for audio processing, feature extraction and classification procedures and is provided along with a dataset, consisting of respiratory and drug actuation sounds. The classification models in RDA are implemented based on conventional and advanced machine learning and deep networks' architectures. This study provides a comparative evaluation of the implemented approaches, examines potential improvements and discusses on challenges and future tendencies.


title: TubeFormer-DeepLab: Video Mask Transformer

abstract: We present TubeFormer-DeepLab, the first attempt to tackle multiple core video segmentation tasks in a unified manner. Different video segmentation tasks (e.g., video semantic/instance/panoptic segmentation) are usually considered as distinct problems. State-of-the-art models adopted in the separate communities have diverged, and radically different approaches dominate in each task. By contrast, we make a crucial observation that video segmentation tasks could be generally formulated as the problem of assigning different predicted labels to video tubes (where a tube is obtained by linking segmentation masks along the time axis) and the labels may encode different values depending on the target task. The observation motivates us to develop TubeFormer-DeepLab, a simple and effective video mask transformer model that is widely applicable to multiple video segmentation tasks. TubeFormer-DeepLab directly predicts video tubes with task-specific labels (either pure semantic categories, or both semantic categories and instance identities), which not only significantly simplifies video segmentation models, but also advances state-of-the-art results on multiple video segmentation benchmarks


title: Viscosity solutions for nonlocal equations with space-dependent operators

abstract: We consider a class of elliptic and parabolic problems, featuring a specific nonlocal operator of fractional-laplacian type, where integration is taken on variable domains. Both elliptic and parabolic problems are proved to be uniquely solvable in the viscosity sense. Moreover, some spectral properties of the elliptic operator are investigated, proving existence and simplicity of the first eigenvalue. Eventually, parabolic solutions are proven to converge to the corresponding limiting elliptic solution in the long-time limit.


title: Manifestly Unitary Cosmological Perturbation Theory

abstract: The next decade will feature an abundance of novel cosmological data, while many fundamental questions about inflation remain. Given this, there is ample need for maximally efficient calculations, especially in non-standard scenarios for the early Universe. In inflationary cosmology, observables are computed within the framework of in-in perturbation theory. Weinberg introduced a now-widely used re-organization of perturbation theory for in-in calculations. There is a subtle difference in the $i\epsilon$ prescriptions of Weinberg's perturbation series with traditional in-in, which could interfere with the projection onto the interacting vacuum. In this work, we show that a small adjustment to Weinberg's perturbation series yields agreement with standard in-in at every order of perturbation theory for commonly studied spins and masses in de Sitter spacetime. We then generalize the result to a large class of cosmological spacetimes, including slow roll spacetimes.


title: Associative Learning Mechanism for Drug-Target Interaction Prediction

abstract: As a necessary process in drug development, finding a drug compound that can selectively bind to a specific protein is highly challenging and costly. Drug-target affinity (DTA), which represents the strength of drug-target interaction (DTI), has played an important role in the DTI prediction task over the past decade. Although deep learning has been applied to DTA-related research, existing solutions ignore fundamental correlations between molecular substructures in molecular representation learning of drug compound molecules/protein targets. Moreover, traditional methods lack the interpretability of the DTA prediction process. This results in missing feature information of intermolecular interactions, thereby affecting prediction performance. Therefore, this paper proposes a DTA prediction method with interactive learning and an autoencoder mechanism. The proposed model enhances the corresponding ability to capture the feature information of a single molecular sequence by the drug/protein molecular representation learning module and supplements the information interaction between molecular sequence pairs by the interactive information learning module. The DTA value prediction module fuses the drug-target pair interaction information to output the predicted value of DTA. Additionally, this paper theoretically proves that the proposed method maximizes evidence lower bound (ELBO) for the joint distribution of the DTA prediction model, which enhances the consistency of the probability distribution between the actual value and the predicted value. The experimental results confirm mutual transformer-drug target affinity (MT-DTA) achieves better performance than other comparative methods.


title: Metrics on N and the distribution of sequences

abstract: In the first part of this paper the notion of natural metric on the set of natural numbers is defined. It is such metric that the completion of N is a compact metric space that a probability borel measure exists in order that the sequence {n} is uniformly distributed. A necessary and sufficient condition where a given metric is natural. Later we study the properties of sequences uniformly continuous with respect to given natural metric. Inter alia Theorems 5 and 8 characterise the continuity of distribution function


title: Continuum Percolation in a Nonstabilizing Environment

abstract: We prove phase transitions for continuum percolation in a Boolean model based on a Cox point process with nonstabilizing directing measure. The directing measure, which can be seen as a stationary random environment for the classical Poisson--Boolean model, is given by a planar rectangular Poisson line process. This Manhattan grid type construction features long-range dependencies in the environment, leading to absence of a sharp phase transition for the associated Cox--Boolean model. The phase transitions are established under individually as well as jointly varying parameters. Our proofs rest on discretization arguments and a comparison to percolation on randomly stretched lattices established in Hoffman 2005.


title: Non-Markovian Reward Modelling from Trajectory Labels via Interpretable Multiple Instance Learning

abstract: We generalise the problem of reward modelling (RM) for reinforcement learning (RL) to handle non-Markovian rewards. Existing work assumes that human evaluators observe each step in a trajectory independently when providing feedback on agent behaviour. In this work, we remove this assumption, extending RM to capture temporal dependencies in human assessment of trajectories. We show how RM can be approached as a multiple instance learning (MIL) problem, where trajectories are treated as bags with return labels, and steps within the trajectories are instances with unseen reward labels. We go on to develop new MIL models that are able to capture the time dependencies in labelled trajectories. We demonstrate on a range of RL tasks that our novel MIL models can reconstruct reward functions to a high level of accuracy, and can be used to train high-performing agent policies.


title: Infinite-dimensional optimization and Bayesian nonparametric learning of stochastic differential equations

abstract: The paper has two major themes. The first part of the paper establishes certain general results for infinite-dimensional optimization problems on Hilbert spaces. These results cover the classical representer theorem and many of its variants as special cases and offer a wider scope of applications. The second part of the paper then develops a systematic approach for learning the drift function of a stochastic differential equation by integrating the results of the first part with Bayesian hierarchical framework. Importantly, our Baysian approach incorporates low-cost sparse learning through proper use of shrinkage priors while allowing proper quantification of uncertainty through posterior distributions. Several examples at the end illustrate the accuracy of our learning scheme.


title: Word Images and Their Impostors in Finite Nilpotent Groups

abstract: It was shown by Lubotzky in 2014 that automorphism invariant subsets of finite simple groups which contain identity are always word images. In this article, we study word maps on finite nilpotent groups and show that for arbitrary finite groups, the number of automorphism invariant subsets containing identity which are not word images, referred to as word image impostors, may be arbitrarily larger than the number of actual word images. In the course of it, we construct a $2$-exhaustive set of word maps on nilpotent groups of class $2$ and demonstrate its minimality in some cases.


title: Guided-TTS 2: A Diffusion Model for High-quality Adaptive Text-to-Speech with Untranscribed Data

abstract: We propose Guided-TTS 2, a diffusion-based generative model for high-quality adaptive TTS using untranscribed data. Guided-TTS 2 combines a speaker-conditional diffusion model with a speaker-dependent phoneme classifier for adaptive text-to-speech. We train the speaker-conditional diffusion model on large-scale untranscribed datasets for a classifier-free guidance method and further fine-tune the diffusion model on the reference speech of the target speaker for adaptation, which only takes 40 seconds. We demonstrate that Guided-TTS 2 shows comparable performance to high-quality single-speaker TTS baselines in terms of speech quality and speaker similarity with only a ten-second untranscribed data. We further show that Guided-TTS 2 outperforms adaptive TTS baselines on multi-speaker datasets even with a zero-shot adaptation setting. Guided-TTS 2 can adapt to a wide range of voices only using untranscribed speech, which enables adaptive TTS with the voice of non-human characters such as Gollum in \textit{"The Lord of the Rings"}.


title: Optimal and Adaptive Monteiro-Svaiter Acceleration

abstract: We develop a variant of the Monteiro-Svaiter (MS) acceleration framework that removes the need to solve an expensive implicit equation at every iteration. Consequently, for any $p\ge 2$ we improve the complexity of convex optimization with Lipschitz $p$th derivative by a logarithmic factor, matching a lower bound. We also introduce an MS subproblem solver that requires no knowledge of problem parameters, and implement it as either a second- or first-order method by solving linear systems or applying MinRes, respectively. On logistic regression our method outperforms previous second-order momentum methods, but under-performs Newton's method; simply iterating our first-order adaptive subproblem solver performs comparably to L-BFGS.


title: Optimistic Whittle Index Policy: Online Learning for Restless Bandits

abstract: Restless multi-armed bandits (RMABs) extend multi-armed bandits to allow for stateful arms, where the state of each arm evolves restlessly with different transitions depending on whether that arm is pulled. Solving RMABs requires information on transition dynamics, which are often unknown upfront. To plan in RMAB settings with unknown transitions, we propose the first online learning algorithm based on the Whittle index policy, using an upper confidence bound (UCB) approach to learn transition dynamics. Specifically, we estimate confidence bounds of the transition probabilities and formulate a bilinear program to compute optimistic Whittle indices using these estimates. Our algorithm, UCWhittle, achieves sublinear $O(H \sqrt{T \log T})$ frequentist regret to solve RMABs with unknown transitions in $T$ episodes with a constant horizon $H$. Empirically, we demonstrate that UCWhittle leverages the structure of RMABs and the Whittle index policy solution to achieve better performance than existing online learning baselines across three domains, including one constructed from a real-world maternal and childcare dataset.


title: A lattice QCD perspective on weak decays of b and c quarks Snowmass 2022 White Paper

abstract: Lattice quantum chromodynamics has proven to be an indispensable method to determine nonperturbative strong contributions to weak decay processes. In this white paper for the Snowmass community planning process we highlight achievements and future avenues of research for lattice calculations of weak $b$ and $c$ quark decays, and point out how these calculations will help to address the anomalies currently in the spotlight of the particle physics community. With future increases in computational resources and algorithmic improvements, percent level (and below) lattice determinations will play a central role in constraining the standard model or identifying new physics.


title: Deep Bootstrap for Bayesian Inference

abstract: For a Bayesian, the task to define the likelihood can be as perplexing as the task to define the prior. We focus on situations when the parameter of interest has been emancipated from the likelihood and is linked to data directly through a loss function. We survey existing work on both Bayesian parametric inference with Gibbs posteriors as well as Bayesian non-parametric inference. We then highlight recent bootstrap computational approaches to approximating loss-driven posteriors. In particular, we focus on implicit bootstrap distributions defined through an underlying push-forward mapping. We investigate iid samplers from approximate posteriors that pass random bootstrap weights trough a trained generative network. After training the deep-learning mapping, the simulation cost of such iid samplers is negligible. We compare the performance of these deep bootstrap samplers with exact bootstrap as well as MCMC on several examples (including support vector machines or quantile regression). We also provide theoretical insights into bootstrap posteriors by drawing upon connections to model mis-specification.


title: Superluminal tunneling times without superluminal signaling: Fading of the MacColl-Hartman effect at early times

abstract: A curious feature of quantum tunneling known as the MacColl-Hartman effect results in the numerical observation that particles can traverse a barrier with effective superluminal speed. However, because tunneling is never certain, any attempt to use this effect to send a signal faster than light would require sending many particles. In this work, we consider sending -- in parallel, without interactions between particles -- sufficiently many particles to ensure at the least one of them tunnels. In this case, in spite of the time advance of the mean time for a single tunneling particle, the mean time to send one bit of information is larger for tunneling particles than for the same number of free photons. This removes any possibility of superluminal signaling. We show that the mean time to send one bit using N particles is determined by the early-time tail of the distribution of tunneling times for one particle and that, when this early-time tail is highly accurately modeled using steepest descent, the MacColl-Hartman effect is seen to fade away.


title: Reinforcement Learning with a Terminator

abstract: We present the problem of reinforcement learning with exogenous termination. We define the Termination Markov Decision Process (TerMDP), an extension of the MDP framework, in which episodes may be interrupted by an external non-Markovian observer. This formulation accounts for numerous real-world situations, such as a human interrupting an autonomous driving agent for reasons of discomfort. We learn the parameters of the TerMDP and leverage the structure of the estimation problem to provide state-wise confidence bounds. We use these to construct a provably-efficient algorithm, which accounts for termination, and bound its regret. Motivated by our theoretical analysis, we design and implement a scalable approach, which combines optimism (w.r.t. termination) and a dynamic discount factor, incorporating the termination probability. We deploy our method on high-dimensional driving and MinAtar benchmarks. Additionally, we test our approach on human data in a driving setting. Our results demonstrate fast convergence and significant improvement over various baseline approaches.


title: Turbulence Modeling of 3D High-speed Flows with Upstream-Informed Corrections

abstract: Turbulence modeling has the potential to revolutionize high-speed vehicle design by serving as a co-equal partner to costly and challenging ground and flight testing. However, the fundamental assumptions that make turbulence modeling such an appealing alternative to its scale-resolved counterparts also degrade its accuracy for practical high-speed configurations, especially when fully 3D flows are considered. The current investigation develops a methodology to improve the performance of turbulence modeling for a complex Mach 8.3, 3D shock boundary layer interaction (SBLI) in a double fin geometry. A representative two-equation model, with low-Reynolds number terms, is used as a test-bed. Deficiencies in the baseline model are first elucidated using benchmark test cases involving a Mach~11.1 zero pressure gradient boundary layer and a Mach~6.17 flow over an axisymmetric compression corner. From among different possibilities, two coefficients are introduced to inhibit the non-physical over-amplification of (i) turbulence production and (ii) turbulence length-scale downstream of a shock wave. The coefficients rely on terms already present in the original model, which simplifies implementation and maintains computational costs. The values of the coefficients are predicated on the distribution of turbulence quantities upstream of the shock; this ensures that the modifications do not degrade the model predictions in simpler situations such as attached boundary layers, where they are unnecessary. The effects of the modifications are shown to result in significant improvements in surface pressure and wall heat flux for the 3D SBLI test case, which contains numerous features not observed in 2D situations, such as 3D separation, skewed boundary layers and centerline vortices. Considerations on the inflow values of turbulence variables and mesh resolution are provided.


title: The Endomorphism Conjecture for Graded Posets of Width 4

abstract: We prove the endomorphism conjecture for graded posets whose largest Whitney number is at most 4. In particular, this implies the endomorphism conjecture is true for graded posets of width at most 4.


title: Truly Deterministic Policy Optimization

abstract: In this paper, we present a policy gradient method that avoids exploratory noise injection and performs policy search over the deterministic landscape. By avoiding noise injection all sources of estimation variance can be eliminated in systems with deterministic dynamics (up to the initial state distribution). Since deterministic policy regularization is impossible using traditional non-metric measures such as the KL divergence, we derive a Wasserstein-based quadratic model for our purposes. We state conditions on the system model under which it is possible to establish a monotonic policy improvement guarantee, propose a surrogate function for policy gradient estimation, and show that it is possible to compute exact advantage estimates if both the state transition model and the policy are deterministic. Finally, we describe two novel robotic control environments -- one with non-local rewards in the frequency domain and the other with a long horizon (8000 time-steps) -- for which our policy gradient method (TDPO) significantly outperforms existing methods (PPO, TRPO, DDPG, and TD3). Our implementation with all the experimental settings is available at https://github.com/ehsansaleh/code_tdpo


title: Cavity-enhanced quantum network nodes

abstract: A future quantum network will consist of quantum processors that are connected by quantum channels, just like conventional computers are wired up to form the Internet. In contrast to classical devices, however, the entanglement and non-local correlations available in a quantum-controlled system facilitate novel fundamental tests of quantum theory. In addition, they enable numerous applications in distributed quantum information processing, quantum communication, and precision measurement. While pioneering experiments have demonstrated the entanglement of two quantum nodes separated by up to 1.3 km, and three nodes in the same laboratory, accessing the full potential of quantum networks requires scaling of these prototypes to many more nodes and global distances. This is an outstanding challenge, posing high demands on qubit control fidelity, qubit coherence time, and coupling efficiency between stationary and flying qubits. In this work, I will describe how optical resonators facilitate quantum network nodes that achieve the above-mentioned prerequisites in different physical systems -- trapped atoms, defect centers in wide-bandgap semiconductors, and rare-earth dopants -- by enabling high-fidelity qubit initialization and readout, efficient generation of qubit-photon and remote qubit-qubit entanglement, as well as quantum gates between stationary and flying qubits. These advances open a realistic perspective towards the implementation of global-scale quantum networks in the near future.


title: Human Mobility Disproportionately Extends PM2.5 Emission Exposure for Low Income Populations

abstract: Ambient exposure to fine particulate matters of diameters smaller than 2.5{\mu}m (PM2.5) has been identified as one critical cause for respiratory disease. Disparities in exposure to PM2.5 among income groups at individual residences are known to exist and are easy to calculate. Existing approaches for exposure assessment, however, do not capture the exposure implied by the dynamic mobility of city dwellers that accounts for a large proportion of the exposure outside homes. To overcome the challenge of gauging the exposure to PM2.5 for city dwellers, we analyzed billions of anonymized and privacy-enhanced location-based data generated by mobile phone users in Harris County, Texas, to characterize the mobility patterns of the populations and associated exposure. We introduce the metric for exposure extent based on the time people spent at places with the air pollutant and examine the disparities in mobility-based exposure across income groups. Our results show that PM2.5 emissions disproportionately expose low-income populations due to their mobility activities. People with higher-than-average income are exposed to lower levels of PM2.5 emissions. These disparities in mobility-based exposure are the result of frequent visits of low-income people to the industrial sectors of urban areas with high PM2.5 emissions, and the larger mobility scale of these people for life needs. The results inform about environmental justice and public health strategies, not only to reduce the overall PM2.5 exposure but also to mitigate the disproportional impacts on low-income populations. The findings also suggest that an integration of extensive fine-scale population mobility and pollution emissions data can unveil new insights into inequality in air pollution exposures at the urban scale.


title: Algebraicity of ratios of Rankin-Selberg $L$-functions and applications to Deligne's conjecture

abstract: In this paper, we prove Deligne's conjecture on the algebraicity of critical values of symmetric power $L$-functions associated to modular forms of weight greater than four. We also prove new cases of Blasius' conjecture on the algebraicity of critical values of tensor product $L$-functions associated to modular forms, and an algebraicity result on critical values of Rankin-Selberg $L$-functions for ${\rm GL}_n \times {\rm GL}_2$ in the unbalanced case, which extends the previous results of Furusawa and Morimoto for ${\rm SO}(V) \times {\rm GL}_2$. These are applications of our main result on the algebraicity of ratios of special values of Rankin-Selberg $L$-functions.


title: Interacting CFTs for all couplings: Thermal versus Entanglement Entropy at Large $N$

abstract: In this paper, I calculate the large $N$ limit of marginal $O(N)$ models with non-polynomial potentials in arbitrary odd dimensions $d$. This results in a new class of interacting pure conformal field theories (CFTs) in $d=3+4n$ for any $n \in \mathbb{Z}_+$. Similarly, in $d=3+4n$ I calculate the thermal entropy for all couplings on $R^{2+4n} \times S^1$ for $n=0,1,2,3$. In 2+1 dimensions I find the strong-to-weak coupling ratio of the thermal entropy to be 4/5, matching recent results, and further extend this analysis to higher odd dimensions. Next, I calculated the vacuum entanglement entropy $s^d_{\text{EE}}$ on $S^{d-2}$ for all couplings in arbitrary odd $d$ in the large N limit. I find the vacuum entanglement entropy on $S^{d-2}$ to be not only solvable but also constant for all couplings $\lambda$. Thus, in the large $N$ limit, the vacuum entanglement entropy on $S^{d-2}$ for odd $d$ is constant for all $\lambda$, in contrast to the thermal entropy which is shown to also be monotonically decreasing with $\lambda$ in $d=3+4n$.


title: Proper symmetries of 3-dimensional continued fractions

abstract: In this work we prove a criterion for an algebraic continued fraction to have a proper palindromic symmetry in dimension $4$. As a multidimensional generalization of continued fractions, we consider Klein polyhedra.


title: Precession and Jitter in FRB 180916B

abstract: Recent CHIME/FRB observations of the periodic repeating FRB 180916B have produced a homogeneous sample of 44 bursts. These permit a redetermination of the modulation period and phase window, in agreement with earlier results. If the periodicity results from the precession of an accretion disc, in analogy with those of Her X-1, SS 433, and many other superorbital periods, the width of the observable phase window indicates that the disc axis jitters by an angle of about 0.14 of the inclination angle, similar to the ratio of 0.14 in the well-observed jittering jet source SS 433.


title: Dictionary Learning with Accumulator Neurons

abstract: The Locally Competitive Algorithm (LCA) uses local competition between non-spiking leaky integrator neurons to infer sparse representations, allowing for potentially real-time execution on massively parallel neuromorphic architectures such as Intel's Loihi processor. Here, we focus on the problem of inferring sparse representations from streaming video using dictionaries of spatiotemporal features optimized in an unsupervised manner for sparse reconstruction. Non-spiking LCA has previously been used to achieve unsupervised learning of spatiotemporal dictionaries composed of convolutional kernels from raw, unlabeled video. We demonstrate how unsupervised dictionary learning with spiking LCA (\hbox{S-LCA}) can be efficiently implemented using accumulator neurons, which combine a conventional leaky-integrate-and-fire (\hbox{LIF}) spike generator with an additional state variable that is used to minimize the difference between the integrated input and the spiking output. We demonstrate dictionary learning across a wide range of dynamical regimes, from graded to intermittent spiking, for inferring sparse representations of both static images drawn from the CIFAR database as well as video frames captured from a DVS camera. On a classification task that requires identification of the suite from a deck of cards being rapidly flipped through as viewed by a DVS camera, we find essentially no degradation in performance as the LCA model used to infer sparse spatiotemporal representations migrates from graded to spiking. We conclude that accumulator neurons are likely to provide a powerful enabling component of future neuromorphic hardware for implementing online unsupervised learning of spatiotemporal dictionaries optimized for sparse reconstruction of streaming video from event based DVS cameras.


title: Unitarity and quantum resolution of gravitational singularities

abstract: We explore the consequences of requiring that quantum theories of gravity be unitary, mostly focusing on simple cosmological models to illustrate the main points. We show that unitarity for a clock that encounters a classical singularity at finite time implies quantum singularity resolution, but for a clock that encounters future infinity at finite time leads to a quantum recollapse. We then find that our starting point - assuming the general covariance of general relativity - is actually incompatible with general quantum unitarity: singularity resolution in quantum gravity can always be engineered by choosing the right clock, or avoided by using a different one.


title: The UV luminosity functions of Bright z>8 Galaxies: Determination from ~0.41 deg2 of HST Observations along ~sim 300 independent sightlines

abstract: We determine the bright end of the rest-frame UV luminosity function (UVLF) at $z=8-10$ by selecting bright $z\gtrsim 8$ photometric candidates from the largest systematic compilation of HST (pure-)parallel observations to date, the Super-Brightest-of-Reionizing-Galaxies (SuperBoRG) data set. The data set includes $\sim300$ independent sightlines from WFC3 observations, totalling $800-1300$ arcmin$^2$ (depending on redshift). We identify 31 $z\gtrsim8$ candidates via colour selection and photo-$z$ analysis with observed magnitude ($24.1< H_{160} <26.6$) and $1\sigma$ range probability of $58-95\%$ of being true high-z galaxies. Following detailed completeness and source recovery simulations, as well as modelling of interloper contamination, we derive rest-frame UVLFs at $z=8-10$ down to $M_{UV}\simeq-23$. We find that the bright end of the galaxy luminosity function can be described both by a Schechter and by a double power-law function, with our space-based large area determination showing some tentative discrepancies with the luminosity functions derived from ground-based observations at the same redshifts. We identify two possible explanations. The first is that the UVLF includes a substantial contribution from AGNs at magnitudes $M_{UV}<-22$. The UVLF we derive at $z=8$ is consistent with no evolution of the bright end from $z=6-7$ UVLFs that include AGNs. An alternative (and non-exclusive) possibility is that the dust content of the observed galaxies decreases with redshift, thereby countering the naturally expected decrease in the UV luminosity functions because of a decreased star formation rate with increasing redshift. Both scenarios raise interesting prospects to further understand galaxy formation in extreme objects during the epoch of reionisation.


title: Attention Flows for General Transformers

abstract: In this paper, we study the computation of how much an input token in a Transformer model influences its prediction. We formalize a method to construct a flow network out of the attention values of encoder-only Transformer models and extend it to general Transformer architectures including an auto-regressive decoder. We show that running a maxflow algorithm on the flow network construction yields Shapley values, which determine the impact of a player in cooperative game theory. By interpreting the input tokens in the flow network as players, we can compute their influence on the total attention flow leading to the decoder's decision. Additionally, we provide a library that computes and visualizes the attention flow of arbitrary Transformer models. We show the usefulness of our implementation on various models trained on natural language processing and reasoning tasks.


title: 2D mapping of radiation dose and clonogenic survival for accurate assessment of in vitro X-ray GRID irradiation effects

abstract: Spatially fractionated radiation therapy (SFRT or GRID) is an approach to deliver high local radiation doses in an 'on-off' pattern. To better appraise the radiobiological effects from GRID, a framework to link local radiation dose to clonogenic survival needs to be developed. A549 (lung) cancer cells were irradiated in T25 cm$^2$ flasks using 220 kV X-rays with an open field or through a tungsten GRID collimator with periodical 5 mm openings and 10 mm blockings. Delivered nominal doses were 2, 5, and 10 Gy. A novel approach for image segmentation was used to locate the centroid of surviving colonies in scanned images of the cell flasks. GafchromicTM film dosimetry (GFD) and FLUKA Monte Carlo (MC) simulations were employed to map the dose distribution in the flasks at each surviving colony centroid. Fitting the linear-quadratic (LQ) function to clonogenic survival data for open field irradiation, the expected survival level at a given dose level was calculated. The expected survival level was then mapped together with the observed levels in the GRID-irradiated flasks. GFD and FLUKA MC gave similar dose distributions, with a mean peak-to-valley dose ratio of about 5. LQ-parameters for open field irradiation gave $\alpha = 0.16 \pm 0.04$ Gy$^{-1}$ and $\beta = 0.001 \pm 0.004$ Gy$^{-2}$. Using the image segmentation method, the mean absolute percentage deviation between observed and predicted survival in the (peak; valley) dose regions was (8; 10) %, (4; 41) %, and (3; 138) % for 2, 5 and 10 Gy, respectively. In conclusion, a framework for mapping of surviving colonies following GRID irradiation together with predicted survival levels from homogeneous irradiation was presented. For the given cell line, our findings indicate that GRID irradiation, especially at high peak doses, causes reduced survival compared to an open field configuration.


title: Modular forms of half-integral weight on exceptional groups

abstract: We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by $\pm 1$. We analyze the minimal modular form $\Theta_{F_4}$ on the double cover of $F_4$, following Loke--Savin and Ginzburg. Using $\Theta_{F_4}$, we define a modular form of weight $\frac{1}{2}$ on (the double cover of) $G_2$. We prove that the Fourier coefficients of this modular form on $G_2$ see the $2$-torsion in the narrow class groups of totally real cubic fields.


title: Electrical, elastic properties and defect structures of isotactic polypropylene composites doped with nanographite and graphene nanoparticles

abstract: Conducting polymers have wide technological applications in sensors, actuators, electric and optical devices, solar cells etc. To improve their operational performance, mechanical, thermal, electrical and optical properties, such polymers are doped with carbon allotrope nanofillers. Functionality of the novel nanocomposite polymers may be stipulated by size characteristics of nanoparticles and the polymer, different physical effects like charge transfer in such objects etc. We characterize and analyze structure, elastic, electric properties and of novel polymer nanocomposites, isotactic polypropylene (iPP) with high crystallinity, doped with graphene nanoplates (GNP) and nanographite particles at different concentrations and sizes about 100 nm, basing on the results of dynamic mechanical analysis (DMA), dielectric spectroscopy, small-angle neutron scattering (SANS) and theoretical modeling. Carbon NPs aggregated in fractal objects in the bulk of iPP change its mechanical plastic, elastic and electric properties comparing with pristine polymer. We study modification of nanofiller morphology with the concept of Cosserat elasticity which involves description of the behavior of linear topological defects caused aggregation of nanographite and GNPs. We supply our experimental data with numerical simulations on the lattice in frames of the model of Cosserat elasticity to estimate some mechanical characteristics of the whole composite iPP.


title: Motivic mirror symmetry for Higgs bundles

abstract: We prove that the (orbifold) motives of the moduli spaces of twisted $\mathrm{SL}_n$ and $\mathrm{PGL}_n$-Higgs bundles of coprime rank and degree on a smooth projective curve over an algebraically closed field of characteristic zero are isomorphic in Voevodsky's triangulated category of motives. The equality of (orbifold) Hodge numbers of these moduli spaces was conjectured by Hausel and Thaddeus and recently proven by Groechenig, Ziegler and Wyss via $p$-adic integration and then by Maulik and Shen using the decomposition theorem, an analysis of the supports of twisted Hitchin fibrations and vanishing cycles. Our proof combines the geometric ideas of Maulik and Shen with the conservativity of the Betti realisation on abelian motives; to apply the latter, we prove that the relevant motives are abelian. In particular, we prove that the motive of the twisted $\mathrm{SL}_n$-Higgs moduli space is abelian, building on our previous work in the $\mathrm{GL}_n$-case


title: Diverse Representation via Computational Participatory Elections -- Lessons from a Case Study

abstract: Elections are the central institution of democratic processes, and often the elected body -- in either public or private governance -- is a committee of individuals. To ensure the legitimacy of elected bodies, the electoral processes should guarantee that diverse groups are represented, in particular members of groups that are marginalized due to gender, ethnicity, or other socially salient attributes. To address this challenge of representation, we have designed a novel participatory electoral process coined the Representation Pact, implemented with the support of a computational system. That process explicitly enables voters to flexibly decide on representation criteria in a first round, and then lets them vote for candidates in a second round. After the two rounds, a counting method is applied, which selects the committee of candidates that maximizes the number of votes received in the second round, conditioned on satisfying the criteria provided in the first round. With the help of a detailed use case that applied this process in a primary election of 96 representatives in Switzerland, we explain how this method contributes to fairness in political elections by achieving a better "descriptive representation". Further, based on this use case, we identify lessons learnt that are applicable to participatory computational systems used in societal or political contexts. Good practices are identified and presented.


title: A hybrid approach to seismic deblending: when physics meets self-supervision

abstract: To limit the time, cost, and environmental impact associated with the acquisition of seismic data, in recent decades considerable effort has been put into so-called simultaneous shooting acquisitions, where seismic sources are fired at short time intervals between each other. As a consequence, waves originating from consecutive shots are entangled within the seismic recordings, yielding so-called blended data. For processing and imaging purposes, the data generated by each individual shot must be retrieved. This process, called deblending, is achieved by solving an inverse problem which is heavily underdetermined. Conventional approaches rely on transformations that render the blending noise into burst-like noise, whilst preserving the signal of interest. Compressed sensing type regularization is then applied, where sparsity in some domain is assumed for the signal of interest. The domain of choice depends on the geometry of the acquisition and the properties of seismic data within the chosen domain. In this work, we introduce a new concept that consists of embedding a self-supervised denoising network into the Plug-and-Play (PnP) framework. A novel network is introduced whose design extends the blind-spot network architecture of [28 ] for partially coherent noise (i.e., correlated in time). The network is then trained directly on the noisy input data at each step of the PnP algorithm. By leveraging both the underlying physics of the problem and the great denoising capabilities of our blind-spot network, the proposed algorithm is shown to outperform an industry-standard method whilst being comparable in terms of computational cost. Moreover, being independent on the acquisition geometry, our method can be easily applied to both marine and land data without any significant modification.


title: Gravitational wave constraints on extended dark matter structures

abstract: We generalise existing constraints on primordial black holes to dark objects with extended sizes using the aLIGO design sensitivity. We show that LIGO is sensitive to dark objects with radius $O(10-10^3~{\rm km})$ if they make up more than $\sim O(10^{-2}-10^{-3})$ of dark matter.


title: Minimax Optimal Online Imitation Learning via Replay Estimation

abstract: Online imitation learning is the problem of how best to mimic expert demonstrations, given access to the environment or an accurate simulator. Prior work has shown that in the infinite sample regime, exact moment matching achieves value equivalence to the expert policy. However, in the finite sample regime, even if one has no optimization error, empirical variance can lead to a performance gap that scales with $H^2 / N$ for behavioral cloning and $H / \sqrt{N}$ for online moment matching, where $H$ is the horizon and $N$ is the size of the expert dataset. We introduce the technique of replay estimation to reduce this empirical variance: by repeatedly executing cached expert actions in a stochastic simulator, we compute a smoother expert visitation distribution estimate to match. In the presence of general function approximation, we prove a meta theorem reducing the performance gap of our approach to the parameter estimation error for offline classification (i.e. learning the expert policy). In the tabular setting or with linear function approximation, our meta theorem shows that the performance gap incurred by our approach achieves the optimal $\widetilde{O} \left( \min({H^{3/2}} / {N}, {H} / {\sqrt{N}} \right)$ dependency, under significantly weaker assumptions compared to prior work. We implement multiple instantiations of our approach on several continuous control tasks and find that we are able to significantly improve policy performance across a variety of dataset sizes.


title: Can I invest in Metaverse? The effect of obtained information and perceived risk on purchase intention by the perspective of the information adoption model

abstract: Metaverse is a virtual universe that combines the physical world and the digital world. People can socialize, play games and even shop with their avatars created in this virtual environment. Metaverse, which is growing very fast in terms of investment, is both a profitable and risky area for consumers. In order to enter the Metaverse for investment purposes, it is necessary to do a certain research and gather information. In this direction, the aim of the study is to determine the effect of the quality of the information obtained by the consumers about the metaverse world, the reliability of the information and the perceived risk, on the purchase intention from the point of view of the information adoption model. For the research, data were collected online from 495 consumers who were interested in metaverse investment. AMOS and SPSS package programs were used in the analysis. First, descriptive statistical analyzes were made for the basic structure of the variables. Then the reliability and validity of the model were tested. Finally, the structural equation model was used to test the proposed model. According to the findings, the reliability and quality of the information affect the purchase intention positively and significantly, while the perceived risk affects the purchase intention negatively and significantly.


title: Incremental Redundancy With ACK/NACK Feedback at a Few Optimal Decoding Times

abstract: Incremental redundancy with ACK/NACK feedback produces a variable-length stop-feedback (VLSF) code constrained to have $m$ decoding times, with an ACK/NACK feedback to the transmitter at each decoding time. This paper focuses on the numerical evaluation of the maximal achievable rate of random VLSF codes as a function of $m$ for the binary-input additive white Gaussian noise channel, binary symmetric channel, and binary erasure channel (BEC). Leveraging Edgeworth and Petrov expansions, we develop tight approximations to the tail probability of length-$n$ cumulative information density that are accurate for any blocklength $n$. We reduce Yavas et al.'s non-asymptotic achievability bound on VLSF codes with $m$ decoding times to an integer program of minimizing the upper bound on the average blocklength subject to the average error probability, minimum gap, and integer constraints. We develop two distinct methods to solve this program. Numerical evaluations show that Polyanskiy's achievability bound for VLSF codes, which assumes $m = \infty$, can be approached with a small $m$ for all three channels. For BEC, we consider systematic transmission followed by random linear fountain coding. This allows us to obtain a new achievability bound stronger than a previous bound and new VLSF codes whose rate further outperforms Polyanskiy's bound.


title: Designing Rewards for Fast Learning

abstract: To convey desired behavior to a Reinforcement Learning (RL) agent, a designer must choose a reward function for the environment, arguably the most important knob designers have in interacting with RL agents. Although many reward functions induce the same optimal behavior (Ng et al., 1999), in practice, some of them result in faster learning than others. In this paper, we look at how reward-design choices impact learning speed and seek to identify principles of good reward design that quickly induce target behavior. This reward-identification problem is framed as an optimization problem: Firstly, we advocate choosing state-based rewards that maximize the action gap, making optimal actions easy to distinguish from suboptimal ones. Secondly, we propose minimizing a measure of the horizon, something we call the "subjective discount", over which rewards need to be optimized to encourage agents to make optimal decisions with less lookahead. To solve this optimization problem, we propose a linear-programming based algorithm that efficiently finds a reward function that maximizes action gap and minimizes subjective discount. We test the rewards generated with the algorithm in tabular environments with Q-Learning, and empirically show they lead to faster learning. Although we only focus on Q-Learning because it is perhaps the simplest and most well understood RL algorithm, preliminary results with R-max (Brafman and Tennenholtz, 2000) suggest our results are much more general. Our experiments support three principles of reward design: 1) consistent with existing results, penalizing each step taken induces faster learning than rewarding the goal. 2) When rewarding subgoals along the target trajectory, rewards should gradually increase as the goal gets closer. 3) Dense reward that's nonzero on every state is only good if designed carefully.


title: VoGE: A Differentiable Volume Renderer using Gaussian Ellipsoids for Analysis-by-Synthesis

abstract: The Gaussian reconstruction kernels have been proposed by Westover (1990) and studied by the computer graphics community back in the 90s, which gives an alternative representation of object 3D geometry from meshes and point clouds. On the other hand, current state-of-the-art (SoTA) differentiable renderers, Liu et al. (2019), use rasterization to collect triangles or points on each image pixel and blend them based on the viewing distance. In this paper, we propose VoGE, which utilizes the volumetric Gaussian reconstruction kernels as geometric primitives. The VoGE rendering pipeline uses ray tracing to capture the nearest primitives and blends them as mixtures based on their volume density distributions along the rays. To efficiently render via VoGE, we propose an approximate closeform solution for the volume density aggregation and a coarse-to-fine rendering strategy. Finally, we provide a CUDA implementation of VoGE, which enables real-time level rendering with a competitive rendering speed in comparison to PyTorch3D. Quantitative and qualitative experiment results show VoGE outperforms SoTA counterparts when applied to various vision tasks, e.g., object pose estimation, shape/texture fitting, and occlusion reasoning. The VoGE library and demos are available at: https://github.com/Angtian/VoGE.


title: A generalization of cellular automata over groups

abstract: Let $G$ be a group and let $A$ be a finite set with at least two elements. A cellular automaton (CA) over $A^G$ is a function $\tau : A^G \to A^G$ defined via a finite memory set $S \subseteq G$ and a local function $\mu :A^S \to A$. The goal of this paper is to introduce the definition of a generalized cellular automaton (GCA) $\tau : A^G \to A^H$, where $H$ is another arbitrary group, via a group homomorphism $\phi : H \to G$. Our definition preserves the essence of CA, as we prove analogous versions of three key results in the theory of CA: a generalized Curtis-Hedlund Theorem for GCA, a Theorem of Composition for GCA, and a Theorem of Invertibility for GCA. When $G=H$, we prove that the group of invertible GCA over $A^G$ is isomorphic to a semidirect product of $\text{Aut}(G)^{op}$ and the group of invertible CA. Finally, we apply our results to study automorphisms of the monoid $\text{CA}(G;A)$ consisting of all CA over $A^G$. In particular, we show that every $\phi \in \text{Aut}(G)$ defines an automorphism of $\text{CA}(G;A)$ via conjugation by the invertible GCA defined by $\phi$, and that, when $G$ is abelian, $\text{Aut}(G)$ is embedded in the outer automorphism group of $\text{CA}(G;A)$.


title: Neural Optimal Transport with General Cost Functionals

abstract: We introduce a novel neural network-based algorithm to compute optimal transport (OT) plans for general cost functionals. In contrast to common Euclidean costs, i.e., $\ell^1$ or $\ell^2$, such functionals provide more flexibility and allow using auxiliary information, such as class labels, to construct the required transport map. Existing methods for general costs are discrete and have limitations in practice, i.e. they do not provide an out-of-sample estimation. We address the challenge of designing a continuous OT approach for general costs that generalizes to new data points in high-dimensional spaces, such as images. Additionally, we provide the theoretical error analysis for our recovered transport plans. As an application, we construct a cost functional to map data distributions while preserving the class-wise structure.


title: Gator: Customizable Channel Pruning of Neural Networks with Gating

abstract: The rise of neural network (NN) applications has prompted an increased interest in compression, with a particular focus on channel pruning, which does not require any additional hardware. Most pruning methods employ either single-layer operations or global schemes to determine which channels to remove followed by fine-tuning of the network. In this paper we present Gator, a channel-pruning method which temporarily adds learned gating mechanisms for pruning of individual channels, and which is trained with an additional auxiliary loss, aimed at reducing the computational cost due to memory, (theoretical) speedup (in terms of FLOPs), and practical, hardware-specific speedup. Gator introduces a new formulation of dependencies between NN layers which, in contrast to most previous methods, enables pruning of non-sequential parts, such as layers on ResNet's highway, and even removing entire ResNet blocks. Gator's pruning for ResNet-50 trained on ImageNet produces state-of-the-art (SOTA) results, such as 50% FLOPs reduction with only 0.4%-drop in top-5 accuracy. Also, Gator outperforms previous pruning models, in terms of GPU latency by running 1.4 times faster. Furthermore, Gator achieves improved top-5 accuracy results, compared to MobileNetV2 and SqueezeNet, for similar runtimes. The source code of this work is available at: https://github.com/EliPassov/gator.