title: The Pristine survey -- XII: Gemini-GRACES chemo-dynamical study of newly discovered extremely metal-poor stars in the Galaxy

abstract: High-resolution optical spectra of 30 metal-poor stars selected from the \Pristine\ survey are presented, based on observations taken with the Gemini Observatory GRACES spectrograph. Stellar parameters \teff and \logg are determined using a Gaia DR2 colour-temperature calibration and surface gravity from the Stefan-Boltzmann equation. GRACES spectra are used to determine chemical abundances (or upper-limits) for 20 elements (Li, O, Na, Mg, K, Ca, Ti, Sc, Cr, Mn, Fe, Ni, Cu, Zn, Y, Zr, Ba, La, Nd, Eu). These stars are confirmed to be metal-poor ([Fe/H]$<-2.5$), with higher precision than from earlier medium-resolution analyses. The chemistry for most targets is similar to other extremely metal-poor stars in the Galactic halo. Three stars near [Fe/H]$=-3.0$ have unusually low Ca and high Mg, suggestive of contributions from few SN~II where alpha-element formation through hydrostatic nucleosynthesis was more efficient. Three new carbon-enhanced metal-poor stars are also identified (two CEMP-s and one potential CEMP-no star) when our chemical abundances are combined with carbon from previous medium-resolution analyses. The GRACES spectra also provide precision radial velocities ($\sigma_{\rm RV}\le0.2$km\,s$^{-1}$) for dynamical orbit calculations with the Gaia DR2 proper motions. Most of our targets are dynamically associated with the Galactic halo; however, five stars with [Fe/H]$<-3$ have planar-like orbits, including one retrograde star. Another five stars are dynamically consistent with the Gaia-Sequoia accretion event; three have typical halo [$\alpha$/Fe] ratios for their metallicities, whereas two are [Mg/Fe]-deficient, and one is a new CEMP-s candidate. These results are discussed in terms of the formation and early chemical evolution of the Galaxy.


title: Conservation and Integrability in Lower-Dimensional Gravity

abstract: We address the questions of conservation and integrability of the charges in two and three-dimensional gravity theories at infinity. The analysis is performed in a framework that allows us to treat simultaneously asymptotically locally AdS and asymptotically locally flat spacetimes. In two dimensions, we start from a general class of models that includes JT and CGHS dilaton gravity theories, while in three dimensions, we work in Einstein gravity. In both cases, we construct the phase space and renormalize the divergences arising in the symplectic structure through a holographic renormalization procedure. We show that the charge expressions are generically finite, not conserved but can be made integrable by a field-dependent redefinition of the asymptotic symmetry parameters.


title: Lower bound on the radii of black-hole photonspheres

abstract: The existence of closed null circular geodesics around black holes is one of the most intriguing predictions of general relativity. It has recently been conjectured that the radii of black-hole photonspheres are bounded from below by the simple relation $r_{\text{ph}}\geq {3\over2}r_{\text{H}}$, where $r_{\text{H}}$ is the radius of the outer black-hole horizon. We here prove the validity of this conjecture for spherically symmetric hairy black-hole configurations whose radial pressure function $P\equiv |r^3p|$ decreases monotonically.


title: Deep Learning with Quantized Neural Networks for Gravitational Wave Forecasting of Eccentric Compact Binary Coalescence

abstract: We present the first application of deep learning forecasting for binary neutron stars, neutron star - black hole systems, and binary black hole mergers that span an eccentricity range e <= 0.9. We train neural networks that describe these astrophysical populations, and then test their performance by injecting simulated eccentric signals in advanced LIGO noise available at the \texttt{Gravitational Wave Open Science Center} to: 1) quantify how fast neural networks identify these signals before the binary components merge; 2) quantify how accurately neural networks estimate the time to merger once gravitational waves are identified; and 3) estimate the time-dependent sky localization of these events from early detection to merger. Our findings show that deep learning can identify eccentric signals from a few seconds (for binary black holes) up to tens of seconds (for binary neutron stars) prior to merger. A quantized version of our neural networks achieves 4x reduction in model size, and up to 2.5x inference speed up. These novel algorithms may be used to facilitate time-sensitive multi-messenger astrophysics observations of compact binaries in dense stellar environments.


title: Anomaly Inflow and Holography

abstract: We systematically study the anomaly inflow by the bulk Chern-Simons (CS) theory in a slice of five-dimensional anti-de Sitter spacetime ($\text{AdS}_5$). The introduction of UV and IR 3-branes makes the anomaly story remarkably rich and many interesting aspects can be obtained, including weakly gauging and spontaneous symmetry breaking of the global symmetries of the dual 4D CFT. Our main contribution is to provide a unified and comprehensive discussion of the subject, together with a detailed description of the dual CFT picture for each case. Employing a gauge-fixed effective action suitable for a holographic study, we reproduce many known results in the literature, such as 't Hooft anomaly matching for unbroken symmetry (Neumann IR-BC) and (gauged) Wess-Zumino-Witten (WZW) action for broken symmetry (IR-BC breaks the bulk group $G \to H$). In addition, we show that anomaly matching occurs for ABJ anomalies as well as 't Hooft anomalies, which suggests anomalies inflowed from the bulk CS theory are necessarily free of mixed anomalies with the confining gauge force of the 4D dual CFT. In the case of broken symmetry, we prove that the "would-be" Goldstone bosons associated with the weakly gauged symmetry are completely removed by a proper field redefinition, provided the anomaly from the bulk is exactly cancelled by the boundary contribution, hence confirming the standard expectation. Moreover, we present a holographic formulation of Witten's argument for the quantization condition for the WZW action, and argue in favor of an alternative way to obtain the same condition using a "deformed" theory (different BCs). We work out several examples, including a product group with mixed anomaly, and identify the corresponding dual CFT picture. We consider a fully general case typically arising in the context of dynamical electroweak symmetry breaking.


title: An Expansion of Well Tempered Gravity

abstract: When faced with two nigh intractable problems in cosmology -- how to remove the original cosmological constant problem and how to parametrize modified gravity to explain current cosmic acceleration -- we can make progress by counterposing them. The well tempered solution to the cosmological constant through degenerate scalar field dynamics also relates disparate Horndeski gravity terms, making them contrapuntal. We derive the connection between the kinetic term $K$ and braiding term $G_3$ for shift symmetric theories (including the running Planck mass $G_4$), extending previous work on monomial or binomial dependence to polynomials of arbitrary finite degree. We also exhibit an example for an infinite series expansion. This contrapuntal condition greatly reduces the number of parameters needed to test modified gravity against cosmological observations, for these "golden" theories of gravity.


title: Spanier-Whitehead duality for topological coHochschild homology

abstract: In this work, we compute the topological coHochschild homology (coTHH) of interesting coalgebras such as the Steenrod algebra spectrum. For this, we start by extending the Hess-Shipley definition of coTHH to $\infty$-categories, following the Nikolaus-Scholze approach to THH. Furthermore, we prove that coTHH of what we call quasi-proper coalgebras can be obtained from THH via Spanier-Whitehead duality which provides further insight into coTHH and its relationship to THH.


title: Quantum Advantage with Timestamp Membosonsampling

abstract: Quantum computer, harnessing quantum superposition to boost a parallel computational power, promises to outperform its classical counterparts and offer an exponentially increased scaling. The term "quantum advantage" was proposed to mark the key point when people can solve a classically intractable problem by artificially controlling a quantum system in an unprecedented scale, even without error correction or known practical applications. Boson sampling, a problem about quantum evolutions of multi-photons on multimode photonic networks, as well as its variants, has been considered as a promising candidate to reach this milestone. However, the current photonic platforms suffer from the scaling problems, both in photon numbers and circuit modes. Here, we propose a new variant of the problem, timestamp membosonsampling, exploiting the timestamp information of single photons as free resources, and the scaling of the problem can be in principle extended to infinitely large. We experimentally verify the scheme on a self-looped photonic chip inspired by memristor, and obtain multi-photon registrations up to 56-fold in 750,000 modes with a Hilbert space up to $10^{254}$. Our work exhibits an integrated and cost-efficient shortcut stepping into the "quantum advantage" regime in a photonic system far beyond previous scenarios, and provide a scalable and controllable platform for quantum information processing.


title: Monopole Fluctuation of the CMB and its Gauge Invariance

abstract: The standard theoretical description $\Theta(\hat n)$ of the observed CMB temperature anisotropies is gauge-dependent. It is, however, well known that the gauge mode is limited to the monopole and the higher angular multipoles $\Theta_l$ ($l\geq1$) are gauge-invariant. Several attempts have been made in the past to properly define the monopole fluctuation, but the resulting values of the monopole power $C_0$ are infinite due to the infrared divergences. The infrared divergences arise from the contribution of the uniform gravitational potential to the monopole fluctuation, in violation of the equivalence principle. Here we present the gauge-invariant theoretical description of the observed CMB temperature anisotropies and compute the monopole power $C_0=1.66\times10^{-9}$ in a $\Lambda$CDM model. While the gauge-dependence in the standard calculations originates from the ambiguity in defining the hypersurface for the background CMB temperature $\bar T$ today, it is in fact well defined and one of the fundamental cosmological parameters. We argue that once the cosmological parameters are chosen, the monopole fluctuation can be unambiguously inferred from the angle-average of the observed CMB temperature, making it a model-dependent ''observable''. Adopting simple approximations for the anisotropy formation, we derive a gauge-invariant analytical expression for the observed CMB temperature anisotropies to study the CMB monopole fluctuation and the cancellation of the uniform gravitational potential contributions on large scales.


title: Limits to magnetic quantum criticality from nuclear spins

abstract: The phenomenology of quantum phase transitions concerns physics at low temperatures and energies, and corresponding solid-state experiments often reach millikelvin temperatures. However, this is a scale where in many solids the influence of nuclear spins and their hyperfine interaction is no longer negligible. This may limit the observability of electronic quantum critical phenomena. Here we discuss how continuous magnetic quantum phase transitions get influenced, modified, or destroyed by the coupling to nuclear spins. We use simple yet paradigmatic spin models for magnetic quantum criticality and determine modifications to the phase diagram, the excitation spectrum, and thermodynamics due to the presence of nuclear spins. We estimate crossover scales below which purely electronic quantum criticality is no longer observable, and discuss the novel physics emerging at low temperatures. Our results are relevant for a variety of compounds displaying magnetic quantum phase transitions and, more generally, highlight the sensitivity of quantum critical systems to small perturbations.


title: The ultraluminous X-ray source bubble in NGC 5585

abstract: Some ultraluminous X-ray sources (ULXs) are surrounded by collisionally ionized bubbles, larger and more energetic than supernova remnants: they are evidence of the powerful outflows associated with super-Eddington X-ray sources. We illustrate the most recent addition to this class: a huge (350 pc x 220 pc in diameter) bubble around a ULX in NGC 5585. We modelled the X-ray properties of the ULX (a broadened-disc source with L_X ~ 2-4 x 10^{39} erg/s) from Chandra and XMM-Newton, and identified its likely optical counterpart in Hubble Space Telescope images. We used the Large Binocular Telescope to study the optical emission from the ionized bubble. We show that the line emission spectrum is indicative of collisional ionization. We refine the method for inferring the shock velocity from the width of the optical lines. We derive an average shock velocity ~125 km/s, which corresponds to a dynamical age of ~600,000 years for the bubble, and an average mechanical power P_w ~ 10^{40} erg/s; thus, the mechanical power is a few times higher than the current photon luminosity. With Very Large Array observations, we discovered and resolved a powerful radio bubble with the same size as the optical bubble, and a 1.4-GHz luminosity ~10^{35} erg/s, at the upper end of the luminosity range for this type of source. We explain why ULX bubbles tend to become more radio luminous as they expand while radio supernova remnants tend to fade.


title: The Massive M31 Cluster G1: Detailed Chemical Abundances from Integrated Light Spectroscopy

abstract: G1, also known as Mayall II, is one of the most massive star clusters in M31. Its mass, ellipticity, and location in the outer halo make it a compelling candidate for a former nuclear star cluster. This paper presents an integrated light abundance analysis of G1, based on a moderately high-resolution (R=15,000) spectrum obtained with the High Resolution Spectrograph on the Hobby-Eberly Telescope in 2007 and 2008. To independently determine the metallicity, a moderate resolution (R~4,000) spectrum of the calcium-II triplet lines in the near-infrared was also obtained with the Astrophysical Research Consortium's 3.5-m telescope at Apache Point Observatory. From the high-resolution spectrum, G1 is found to be a moderately metal-poor cluster, with [Fe/H]=-0.98+/-0.05. G1 also shows signs of alpha-enhancement (based on Mg, Ca, and Ti) and lacks the s-process enhancements seen in dwarf galaxies (based on comparisons of Y, Ba, and Eu), indicating that it originated in a fairly massive galaxy. Intriguingly, G1 also exhibits signs of Na and Al enhancement, a unique signature of GCs -- this suggests that G1's formation is intimately connected with GC formation. G1's high [Na/Fe] also extends previous trends with cluster velocity dispersion to an even higher mass regime, implying that higher mass clusters are more able to retain Na-enhanced ejecta. The effects of intracluster abundance spreads are discussed in a subsequent paper. Ultimately, G1's chemical properties are found to resemble other M31 GCs, though it also shares some similarities with extragalactic nuclear star clusters.


title: $T\bar{T}$ Deformation of Stress-Tensor Correlators from Random Geometry

abstract: We study stress-tensor correlators in the $T\bar{T}$-deformed conformal field theories in two dimensions. Using the random geometry approach to the $T\bar{T}$ deformation, we develop a geometrical method to compute stress-tensor correlators. More specifically, we derive the $T\bar{T}$ deformation to the Polyakov-Liouville conformal anomaly action and calculate three and four-point correlators to the first-order in the $T\bar{T}$ deformation from the deformed Polyakov-Liouville action. The results are checked against the standard conformal perturbation theory computation and we further check consistency with the $T\bar{T}$-deformed operator product expansions of the stress tensor. A salient feature of the $T\bar{T}$-deformed stress-tensor correlators is a logarithmic correction that is absent in two and three-point functions but starts appearing in a four-point function.


title: Baryogenesis in the Standard Model and its Supersymmetric Extension

abstract: In this work, we classify all the effective $U(1)$ symmetries and their associated Noether charges in the Standard Model (SM) and its minimal supersymmetric extension (MSSM) from the highest scale after inflation down to the weak scale. We then demonstrate that the discovery of the violation of baryon minus lepton number ($B-L$) which pinpoints to its violation in primordial Universe at any cosmic temperature above $30$ TeV will open up a new window of baryogenesis in these effective charges above this scale. While the fast SM baryon number violation in the early Universe could be the first piece to solve the puzzle of cosmic baryon asymmetry, $(B-L)$ violation could be the second important piece. In the background of expanding Universe, there is ample opportunity for out-of-equilibrium processes to generate an asymmetry in the numerous effective charges in the SM or the MSSM, making a baryon asymmetric Universe almost unavoidable. Finally we provide examples in the SM and the MSSM where baryogenesis can proceed through out-of-equilibrium dynamics without explicitly breaking baryon nor lepton number.


title: Sphenix: Smoothed Particle Hydrodynamics for the next generation of galaxy formation simulations

abstract: Smoothed Particle Hydrodynamics (SPH) is a ubiquitous numerical method for solving the fluid equations, and is prized for its conservation properties, natural adaptivity, and simplicity. We introduce the Sphenix SPH scheme, which was designed with three key goals in mind: to work well with sub-grid physics modules that inject energy, be highly computationally efficient (both in terms of compute and memory), and to be Lagrangian. Sphenix uses a Density-Energy equation of motion, along with variable artificial viscosity and conduction, including limiters designed to work with common sub-grid models of galaxy formation. In particular, we present and test a novel limiter that prevents conduction across shocks, preventing spurious radiative losses in feedback events. Sphenix is shown to solve many difficult test problems for traditional SPH, including fluid mixing and vorticity conservation, and it is shown to produce convergent behaviour in all tests where this is appropriate. Crucially, we use the same parameters within Sphenix for the various switches throughout, to demonstrate the performance of the scheme as it would be used in production simulations.


title: Angular power spectrum of supernova remnants: effects of structure, geometry and diffuse foreground

abstract: The study of the intensity fluctuation power spectrum of individual supernova remnants (SNRs) can reveal the structures present at sub-pc scales, and also constrain the physical process that generates those structures. There are various effects, such as the remnant shell thickness, projection of a three-dimensional structure onto a two-dimensional observational plane, and the presence of diffuse "foreground" emission, which causes the observed power spectrum to deviate from the intrinsic power spectrum of the fluctuations. Here, we report results from a systematic study of these effects, using direct numerical simulations, in the measured power spectrum. For an input power-law power spectrum, independent of the power-law index, we see a break in the observed power law at a scale which depends on the shell thickness of a shell-type SNR, and the three-dimensional turbulence changes to two-dimensional turbulence beyond that scale. We also report how the estimated power spectrum is expected to deviate from the intrinsic SNR power spectrum in the presence of additional diffuse Galactic synchrotron emission (DGSE) around the remnant shell. For a reasonable choice of the parameters, if the intrinsic SNR power spectrum is shallower than the DGSE power spectrum, the SNR contribution dominates at small angular scales of the estimated power spectra. On the other hand, if the SNR power spectrum is relatively steeper, the original power spectra is recovered only over a small window of angular scales. This study shows how detailed modeling may be used to infer the true power spectrum from the observed SNR intensity fluctuations power spectrum, which in turn can be used to constrain the nature of the turbulence that gives rise to these small scale structures.


title: Categorical Symmetries at Criticality

abstract: We study the concept of "categorical symmetry" introduced recently, which in the most basic sense refers to a pair of dual symmetries, such as the Ising symmetries of the $1d$ quantum Ising model and its self-dual counterpart. In this manuscript we study discrete categorical symmetry at higher dimensional critical points and gapless phases. At these selected gapless states of matter, we can evaluate the behavior of categorical symmetries analytically. We analyze the categorical symmetry at the following examples of criticality: (1) Lifshit critical point of a $(2+1)d$ quantum Ising system; (2) $(3+1)d$ photon phase as an intermediate gapless phase between the topological order and the confined phase of 3d $Z_2$ quantum gauge theory; (3) $2d$ and $3d$ examples of systems with both categorical symmetries (either 0-form or 1-form categorical symmetries) and subsystem symmetries. We demonstrate that at some of these gapless states of matter the categorical symmetries have very different behavior from the nearby gapped phases.


title: Quantum walk of two anyons across a statistical boundary

abstract: We model a quantum walk of identical particles that can change their exchange statistics by hopping across a domain wall in a 1D lattice. Such a "statistical boundary" is transparent to single particles and affects the dynamics only by swapping multiple particles arriving together. We find that the two-particle interference is dramatically altered by reflections of these bunched waves at the interface, producing strong measurable asymmetries. Depending on the phases on the two sides, a bunched wavepacket can get completely reflected or split into a superposition of a reflected wave and an antibunched wave. This leads to striking dynamics with two domain walls, where bunched waves can get trapped in between or fragment into multiple correlated single-particle wavepackets. These findings can be realized with density-dependent hopping in present-day atomic setups and open up a new paradigm of intrinsically many-body phenomena at statistical boundaries.


title: The Origin of the Dust Extinction Curve in Milky Way-like Galaxies

abstract: We develop a cosmological model for the evolution of dust grains in galaxies with a distribution of sizes in order to understand the origin of the Milky Way dust extinction curve. Our model considers the formation of active dust in evolved stars, growth by accretion and coagulation, and destruction processes via shattering, sputtering, and astration in the ISM of galaxies over cosmic time. Our main results follow. Galaxies in our cosmological model with masses comparable to the Milky Way's at z~0 exhibit a diverse range of extinction laws, though with slopes and bump strengths comparable to the range observed in the Galaxy. The progenitors of the Milky Way have steeper slopes, and only flatten to slopes comparable to the Galaxy at $z \approx 1$. This owes to increased grain growth rates at late times/in high-metallicity environments driving up the ratio of large to small grains, with a secondary dependence on the graphite to silicate ratio evolution. The UV bump strengths depend primarily on the graphite to silicate ratio, and remain broadly constant in MW-like galaxies between z=3 and z=0, though show slight variability. Our models span comparable regions of bump-slope space as sightlines in the Galaxy do, though there is a lack of clear relationship between the model slopes and bump strengths owing to small scale fluctuations in the bump strength. Our models naturally produce slopes for some non-Milky Way analogs as steep as those of the LMC and SMC in metal poor galaxies, though notably the bump strengths are, on average, too large when comparing to the Magellanic clouds. This owes to the fact that we evolve the grain size distributions of graphites and silicates simultaneously, which is an oversimplification. Our model provides a novel framework to study the origins and variations of dust extinction curves in galaxies over cosmic time.


title: Computing Welfare-Maximizing Fair Allocations of Indivisible Goods

abstract: We analyze the run-time complexity of computing allocations that are both fair and maximize the utilitarian social welfare, defined as the sum of agents' utilities. We focus on two tractable fairness concepts: envy-freeness up to one item (EF1) and proportionality up to one item (PROP1). We consider two computational problems: (1) Among the utilitarian-maximal allocations, decide whether there exists one that is also fair; (2) among the fair allocations, compute one that maximizes the utilitarian welfare. We show that both problems are strongly NP-hard when the number of agents is variable, and remain NP-hard for a fixed number of agents greater than two. For the special case of two agents, we find that problem (1) is polynomial-time solvable, while problem (2) remains NP-hard. Finally, with a fixed number of agents, we design pseudopolynomial-time algorithms for both problems. We extend our results to the stronger fairness notions envy-freeness up to any item (EFx) and proportionality up to any item (PROPx).


title: Three new late-type stellar companions to very dusty WISE debris disks identified with VLT/SPHERE imaging

abstract: Debris disk stars are good targets for high contrast imaging searches for planetary systems, since debris disks have been shown to have a tentative correlation with giant planets. We selected 20 stars identified as debris disk hosts by the WSIE mission, with particularly high levels of warm dust. We observed these with the VLT/SPHERE high contrast imaging instrument with the goal of finding planets and imaging the disks in scattered light. Our survey reaches a median 5$\sigma$~sensitivity of 10.4Mj at 25au and 5.9Mj at 100au. We identified three new stellar companions (HD18378B, HD19257B and HD133778B): two are mid-M type stars and one is late-K or early-M star. Three additional stars have very widely separated stellar companions (all at $>$2000au) identified in the Gaia catalog. The stars hosting the three SPHERE-identified companions are all older ($\gtrsim$700Myr), with one having recently left the main sequence and one a giant star. We infer that the high volumes of dust observed around these stars might have been caused by a recent collision between the planets and planetesimal belts in the system, although for the most evolved star, mass loss could also be responsible for the infrared excess. Future mid-IR spectroscopy or polarimetric imaging may allow the positions and spatial extent of these dust belts to be constrained, thereby providing evidence as to the true cause of the elevated levels of dust around these old systems. None of the disks in this survey are resolved in scattered light.


title: Comparison of $pp$ and $p \bar{p}$ differential elastic cross sections and observation of the exchange of a colorless $C$-odd gluonic compound

abstract: We describe an analysis comparing the $p\bar{p}$ elastic cross section as measured by the D0 Collaboration at a center-of-mass energy of 1.96 TeV to that in $pp$ collisions as measured by the TOTEM Collaboration at 2.76, 7, 8, and 13 TeV using a model-independent approach. The TOTEM cross sections extrapolated to a center-of-mass energy of $\sqrt{s} =$ 1.96 TeV are compared with the D0 measurement in the region of the diffractive minimum and the second maximum of the $pp$ cross section. The two data sets disagree at the 3.4$\sigma$ level and thus provide evidence for the $t$-channel exchange of a colorless, $C$-odd gluonic compound, also known as the odderon. We combine these results with a TOTEM analysis of the same $C$-odd exchange based on the total cross section and the ratio of the real to imaginary parts of the forward elastic scattering amplitude in $pp$ scattering. The combined significance of these results is larger than 5$\sigma$ and is interpreted as the first observation of the exchange of a colorless, $C$-odd gluonic compound.


title: Equivariant sheaves for profinite groups

abstract: We study equivariant sheaves over profinite spaces, where the group is also taken to be profinite. We resolve a serious deficit in the existing theory by constructing a good notion of equivariant presheaves, with a suitable equivariant sheafification functor. Using equivariant sheafification, we develop the general theory of equivariant sheaves of modules over a ring, give explicit constructions of infinite products and introduce an equivariant analogue of skyscraper sheaves. These results underlie recent work by the authors which proves that there is an algebraic model for rational G-spectra in terms of equivariant sheaves over profinite spaces. That model is constructed in terms of Weyl-G-sheaves over the space of closed subgroups of G, where the term Weyl indicates that the stalk over H is H-fixed. In this paper, we prove that Weyl-G-sheaves of R-modules form an abelian category with enough injectives and is a coreflective subcategory of equivariant sheaves of R-modules. We end the paper with a structural result that provides another way to conveniently build equivariant sheaves from simpler data. We prove that a G-equivariant sheaf over a profinite base space X is a colimit of equivariant sheaves over finite discrete spaces X_i with actions of finite groups G_i, where X is the limit of the X_i and G is the limit of the G_i.


title: Islands for Entanglement Negativity

abstract: We advance two alternative proposals for the island contributions to the entanglement negativity of various pure and mixed state configurations in quantum field theories coupled to semiclassical gravity. The first construction involves the extremization of an algebraic sum of the generalized Renyi entropies of order half. The second proposal involves the extremization of the sum of the effective entanglement negativity of quantum matter fields and the backreacted area of a cosmic brane spanning the entanglement wedge cross section which also extremizes the generalized Renyi reflected entropy of order half. These proposals are utilized to obtain the island contributions to the entanglement negativity of various pure and mixed state configurations involving the bath systems coupled to extremal and non-extremal black holes in JT gravity demonstrating an exact match with each other. Furthermore, the results from both the proposals match precisely with the island contribution to half the Renyi reflected entropy of order half providing a strong consistency check. We then allude to a possible doubly holographic picture of our island proposals and provide a derivation of the first proposal by determining the corresponding replica wormhole contributions.


title: UV absorption lines and their potential for tracing the Lyman continuum escape fraction

abstract: The neutral intergalactic medium above redshift 6 is opaque to ionizing radiation, therefore one needs indirect measurements of the escape fraction of ionizing photons from galaxies of this epoch. Low-ionization state absorption lines are a common feature in the spectrum of galaxies, showing a diversity of strengths and shapes. Since these lines indicate the presence of neutral gas in front of the stars, they have been proposed to carry information on the escape of ionizing radiation from galaxies. We study which processes are responsible for the shape of the absorption lines, to better understand their origin. We then explore whether the absorption lines can be used to predict the escape fractions. Using a radiation-hydrodynamical zoom-in simulation and the radiative transfer code RASCAS, we generate mock CII 1334 and LyB lines of a virtual galaxy at redshift 3 as seen from many directions of observation. We also compute the escape fraction of ionizing photons in those directions and look for correlations between the lines and the escape fractions. We find that the resulting mock absorption lines are comparable to observations and that the lines and the escape fractions vary strongly depending on the direction of observation. Gas velocity and dust always affect the absorption profile significantly. We find no strong correlations between observable LyB or CII 1334 and the escape fraction. After correcting the continuum for attenuation by dust to recover the intrinsic continuum, the residual flux of CII 1334 correlates well with the escape fraction for directions with a dust corrected residual flux larger than 30%. For other directions, the relations have a strong dispersion, and the residual flux overestimates the escape fraction for most cases. Concerning LyB, the residual flux after dust correction does not correlate with the escape fraction but can be used as a lower limit. (abridged)


title: ALMA observations of the early stages of substellar formation in the Lupus 1 and 3 molecular clouds

abstract: The dominant mechanism leading to the formation of brown dwarfs (BDs) remains uncertain. The most direct keys to formation, which are obtained from younger objects (pre-BD cores and proto-BDs), are limited by the very low number statistics available. We aim to identify and characterize a set of pre- and proto-BDs as well as Class II BDs in the Lupus 1 and 3 molecular clouds to test their formation mechanism. We performed ALMA band 6 (1.3 mm) continuum observations of a selection of 64 cores previously identified from AzTEC/ASTE data (1.1 mm), along with previously known Class II BDs in the Lupus 1 and 3 molecular clouds. Surveyed archival data in the optical were used to complement these observations. We expect these ALMA observations prove efficient in detecting the youngest sources in these regions, since they probe the frequency domain at which these sources emit most of their radiation. We detected 19 sources from 15 ALMA fields. Considering all the pointings in our observing setup, the ALMA detection rate was $\sim$23% and the derived masses of the detected sources were between $\sim$0.18 and 124 $\mathrm{M_{Jup}}$. We classified these sources according to their spectral energy distribution as 5 Class II sources, 2 new Class I/0 candidats, and 12 new possible pre-BD or deeply embedded protostellar candidates. We detected a promising candidate for a Class 0/I proto-BD source and inferred the disk dust mass of a bona fide Class II BD. The pre-BD cores might be the byproduct of an ongoing process of large-scale collapse. The Class II BD disks follow the correlation between disk mass and the mass of the central object that is observed at the low-mass stellar regime. We conclude that it is highly probable that the sources in the sample are formed as a scaled-down version of low-mass star formation, although disk fragmentation may be responsible for a considerable fraction of BDs.


title: Chiral $p$-wave superconductivity in a twisted array of proximitized quantum wires

abstract: A superconductor with $p_x+ip_y$ order has long fascinated the physics community because vortex defects in such a system host Majorana zero modes. Here we propose a simple construction of a chiral superconductor using proximitized quantum wires and twist angle engineering as basic ingredients. We show that a weakly coupled parallel array of such wires forms a gapless $p$-wave superconductor. Two such arrays, stacked on top of one another with a twist angle close to $90^\circ$, spontaneously break time reversal symmetry and form a robust, fully gapped $p_x+ip_y$ superconductor. We map out topological phases of the proposed system, demonstrate existence of Majorana zero modes in vortices, and discuss prospects for experimental realization.


title: An asymptotically safe SU(5) GUT

abstract: We minimally extend the Standard Model field content by adding new vector-like fermions at the TeV scale to allow gauge coupling unification at a realistic scale. We embed the model into a $SU(5)$ grand unified theory that is asymptotically safe and features an interacting fixed point for the gauge coupling. There are no Landau poles of the $U(1)$ gauge and Higgs couplings. Gauge, Yukawa and Higgs couplings are retraced from the fixed point and matched at the grand unification scale to those of the Standard Model rescaled up to the same energy. All couplings, their fixed point values and critical exponents always remain in the perturbative regime.


title: Warm Inflation, Neutrinos and Dark matter: a minimal extension of the Standard Model

abstract: We show that warm inflation can be realized within a minimal extension of the Standard Model with three right-handed neutrinos, three complex scalars and a gauged lepton/B-L U(1) symmetry. This simple model can address all the shortcomings of the Standard Model that are not related to fine-tuning, within general relativity, with distinctive experimental signatures that can be probed in the near future. The inflaton field emerges from the collective breaking of the U(1) symmetry, and interacts with two of the right-handed neutrinos, sustaining a high-temperature radiation bath during inflation. The discrete interchange symmetry of the model protects the scalar potential against large thermal corrections and leads to a stable inflaton remnant at late times which can account for dark matter. Consistency of the model and agreement with Cosmic Microwave Background observations naturally yield light neutrino masses below 0.1 eV, while thermal leptogenesis occurs naturally after a smooth exit from inflation into the radiation era.


title: Quantum switch in the gravity of Earth

abstract: We introduce a protocol for a quantum switch in the gravitational field of a spherical mass and determine the time interval required for its realization in the gravity of Earth. One of the agents that perform operations with indefinite order is a quantum system in a path superposition state. Entanglement between its proper time and position is explored as a resource for the implementation of the quantum switch. The realization of the proposed protocol would probe the physical regime described by quantum mechanics on curved spacetimes, which has not yet been explored experimentally.


title: Probing Effective Field Theory Approach in the CP Violating Minimal Linear $\sigma$ Model

abstract: The Minimal Linear $\sigma$ Model is a useful theoretical laboratory. One can investigate in a perturbative renormalisable model the properties of the Higgs boson as a pseudo-Goldstone boson, the phenomenological effects of the radial mode of the field $\mathtt{s}$ which spontaneously breaks the global $SO(5)$ symmetry and the validity of conclusions based on the Effective Field Theory approach with the field $\mathtt{s}$ in the spectrum, after the decoupling of heavy degrees of freedom. In this paper all those issues are discussed in the framework of the Minimal Linear $\sigma$ Model with CP violating phases leading to pseudoscalar components in the effective Standard Model Yukawa couplings. Also the character of the electroweak phase transition in the presence of the field $\mathtt{s}$ is investigated.


title: The friendship paradox in real and model networks

abstract: The friendship paradox is the observation that the degrees of the neighbors of a node in any network will, on average, be greater than the degree of the node itself. In common parlance, your friends have more friends than you do. In this paper we develop the mathematical theory of the friendship paradox, both in general as well as for specific model networks, focusing not only on average behavior but also on variation about the average and using generating function methods to calculate full distributions of quantities of interest. We compare the predictions of our theory with measurements on a large number of real-world network data sets and find remarkably good agreement. We also develop equivalent theory for the generalized friendship paradox, which compares characteristics of nodes other than degree to those of their neighbors.


title: Seeking New Physics in Cosmology with Bayesian Neural Networks: Dark Energy and Modified Gravity

abstract: We study the potential of Bayesian Neural Networks (BNNs) to detect new physics in the dark matter power spectrum, concentrating here on evolving dark energy and modifications to General Relativity. After introducing a new technique to quantify classification uncertainty in BNNs, we train two BNNs on mock matter power spectra produced using the publicly available code $\tt{ReACT}$ in the $k$-range $\left(0.01 - 2.5\right) \, h \mathrm{Mpc}^{-1} $ and redshift bins $\left(0.1,0.478,0.783,1.5\right)$ with Euclid-like noise. The first network classifies spectra into five labels including $\Lambda$CDM, $f(R)$, $w$CDM, Dvali-Gabadaze-Porrati (DGP) gravity and a "random" class whereas the second is trained to distinguish $\Lambda$CDM from non-$\Lambda$CDM. Both networks achieve a comparable training, validation and test accuracy of $\sim 95\%$. Each network is also capable of detecting deviations from $\Lambda$CDM that were not included in the training set, demonstrated with spectra generated using the growth-index $\gamma$. We then quantify the constraining power of each network by computing the smallest deviation from $\Lambda$CDM such that the noise-averaged non-$\Lambda$CDM classification probability is at least $2\sigma$, finding these bounds to be $f_{R0} \lesssim 10^{-7}$, $\Omega_{rc} \lesssim 10^{-2} $, $-1.05 \lesssim w_0 \lesssim 0.95 $, $-0.2 \lesssim w_a \lesssim 0.2 $, $0.52 \lesssim \gamma \lesssim 0.59 $. The bounds on $f(R)$ can be improved by training a specialist network to distinguish solely between $\Lambda$CDM and $f(R)$ power spectra which can detect a non-zero $f_{R0}$ at $\mathcal{O}\left(10^{-8}\right)$ with a confidence $>2\sigma$. We expect that further developments, such as the inclusion of smaller length scales or additional extensions to $\Lambda$CDM, will only improve the potential of BNNs to detect new physics using cosmological datasets.


title: Poroelasticity as a Model of Soft Tissue Structure: Hydraulic Permeability Inference for Magnetic Resonance Elastography in Silico

abstract: Magnetic Resonance Elastography allows noninvasive visualization of tissue mechanical properties by measuring the displacements resulting from applied stresses, and fitting a mechanical model. Poroelasticity naturally lends itself to describing tissue -- a biphasic medium, consisting of both solid and fluid components. This article reviews the theory of poroelasticity, and shows that the spatial distribution of hydraulic permeability, the ease with which the solid matrix permits the flow of fluid under a pressure gradient, can be faithfully reconstructed without spatial priors in simulated environments. The paper describes an in-house MRE computational platform -- a multi-mesh, finite element poroelastic solver coupled to an artificial epistemic agent capable of running Bayesian inference to reconstruct inhomogenous model mechanical property images from measured displacement fields. Building on prior work, the domain of convergence for inference is explored, showing that hydraulic permeabilities over several orders of magnitude can be reconstructed given very little prior knowledge of the true spatial distribution.

categories: physics.comp-ph physics.bio-ph physics.med-ph q-bio.QM


title: The Spacetime Picture in Quantum Gravity

abstract: We propose an approach which, by combining insights from Loop Quantum Gravity (LQG), Topos theory, Non-commutative Geometry \`a la Connes, and spacetime relationalism, provides fertile ground for the search of an adequate spacetime picture in Quantum Gravity. With this approach, we obtain a novel way of deducing the quantization of the possible values for the area of a surface. One gets the same area values than those from the area operator in standard LQG, but our approach makes a further prediction: some smaller values and sub-divisions are also allowed. In addition, the area arises as a noncommutative distance between two noncommutative points, and thus they should be interpreted as irreducible string-like objects at the physical level (where the area interpretation for the noncommutative distance holds).


title: $\frac{SL(2,\mathbb{R})\times U(1)}{U(1)}$ CFT, NS5$+$F1 system and single trace $T\bar{T}$

abstract: In this paper we prove the equivalence among (i) the weakly coupled worldsheet string theory described by the coset sigma model $\frac{SL(2,\mathbb{R})_k\times U(1)}{U(1)}\times S^3 \times T^4$ with $SL(2,\mathbb{R})$ WZW level $k\geq 2$, (ii) the full near horizon theory of the NS5 branes with $k$ NS5 branes wrapping $T^4\times S^1$, $p\gg1$ F1 strings wrapping $S^1$ and $n$ units of momentum along the $S^1$ and (iii) the single trace $T\bar{T}$ deformation of string theory in $AdS_3\times S^3\times T^4$. As a check we compute the spectrum of the spacetime theory by performing BRST quantization of the coset description of the worldsheet theory and show that it matches exactly with the one derived in the case of single trace $T\bar{T}$ deformed string theory in $AdS_3$. Secondly, we compute the two-point correlation function of local operators of the spacetime theory using the worldsheet coset approach and reproduce the same two-point function from the supergravity approach.


title: Galloping in fast-growth natural merge sorts

abstract: We study the impact of merging routines in merge-based sorting algorithms. More precisely, we focus on the galloping routine that TimSort uses to merge monotonic sub-arrays, hereafter called runs, and on the impact on the number of element comparisons performed if one uses this routine instead of a na\"ive merging routine. This routine was introduced in order to make TimSort more efficient on arrays with few distinct values. Alas, we prove that, although it makes TimSort sort array with two values in linear time, it does not prevent TimSort from requiring up to $\Theta(n \log(n))$ element comparisons to sort arrays of length~$n$ with three distinct values. However, we also prove that slightly modifying TimSort's galloping routine results in requiring only $\mathcal{O}(n + n \log(\sigma))$ element comparisons in the worst case, when sorting arrays of length $n$ with $\sigma$ distinct values. We do so by focusing on the notion of dual runs, which was introduced in the 1990s, and on the associated dual run-length entropy. This notion is both related to the number of distinct values and to the number of runs in an array, which came with its own run-length entropy that was used to explain TimSort's otherwise "supernatural" efficiency. We also introduce new notions of fast- and middle-growth for natural merge sorts (i.e., algorithms based on merging runs), which are found in several merge sorting algorithms similar to TimSort. We prove that algorithms with the fast- or middle-growth property, provided that they use our variant of TimSort's galloping routine for merging runs, are as efficient as possible at sorting arrays with low run-induced or dual-run-induced complexities.


title: Confined subgroups and high transitivity

abstract: An action of a group $G$ is highly transitive if $G$ acts transitively on $k$-tuples of distinct points for all $k \geq 1$. Many examples of groups with a rich geometric or dynamical action admit highly transitive actions. We prove that if a group $G$ admits a highly transitive action such that $G$ does not contain the subgroup of finitary alternating permutations, and if $H$ is a confined subgroup of $G$, then the action of $H$ remains highly transitive, possibly after discarding finitely many points. This result provides a tool to rule out the existence of highly transitive actions, and to classify highly transitive actions of a given group. We give concrete illustrations of these applications in the realm of groups of dynamical origin. In particular we obtain the first non-trivial classification of highly transitive actions of a finitely generated group.


title: GenScan: A Generative Method for Populating Parametric 3D Scan Datasets

abstract: The availability of rich 3D datasets corresponding to the geometrical complexity of the built environments is considered an ongoing challenge for 3D deep learning methodologies. To address this challenge, we introduce GenScan, a generative system that populates synthetic 3D scan datasets in a parametric fashion. The system takes an existing captured 3D scan as an input and outputs alternative variations of the building layout including walls, doors, and furniture with corresponding textures. GenScan is a fully automated system that can also be manually controlled by a user through an assigned user interface. Our proposed system utilizes a combination of a hybrid deep neural network and a parametrizer module to extract and transform elements of a given 3D scan. GenScan takes advantage of style transfer techniques to generate new textures for the generated scenes. We believe our system would facilitate data augmentation to expand the currently limited 3D geometry datasets commonly used in 3D computer vision, generative design, and general 3D deep learning tasks.


title: Effective field theory of stochastic diffusion from gravity

abstract: Planar black holes in AdS have long-lived quasinormal modes which capture the physics of charge and momentum diffusion in the dual field theory. How should we characterize the effective dynamics of a probe system coupled to the conserved currents of the dual field theory? Specifically, how would such a probe record the long-lived memory of the black hole and its Hawking fluctuations? We address this question by exhibiting a universal gauge invariant framework which captures the physics of stochastic diffusion in holography: a designer scalar with a gravitational coupling governed by a single parameter, the Markovianity index. We argue that the physics of gauge and gravitational perturbations of a planar Schwarzschild-AdS black hole can be efficiently captured by such designer scalars. We demonstrate that this framework allows one to decouple, at the quadratic order, the long-lived quasinormal and Hawking modes from the short-lived ones. It furthermore provides a template for analyzing fluctuating open quantum field theories with memory. In particular, we use this set-up to analyze the diffusive Hawking photons and gravitons about a planar Schwarzschild-AdS black hole and derive the quadratic effective action that governs fluctuating hydrodynamics of the dual CFT. Along the way we also derive results relevant for probes of hyperscaling violating backgrounds at finite temperature.


title: Deep Networks to Automatically Detect Late-activating Regions of the Heart

abstract: This paper presents a novel method to automatically identify late-activating regions of the left ventricle from cine Displacement Encoding with Stimulated Echo (DENSE) MR images. We develop a deep learning framework that identifies late mechanical activation in heart failure patients by detecting the Time to the Onset of circumferential Shortening (TOS). In particular, we build a cascade network performing end-to-end (i) segmentation of the left ventricle to analyze cardiac function, (ii) prediction of TOS based on spatiotemporal circumferential strains computed from displacement maps, and (iii) 3D visualization of delayed activation maps. Our approach results in dramatic savings of manual labors and computational time over traditional optimization-based algorithms. To evaluate the effectiveness of our method, we run tests on cardiac images and compare with recent related works. Experimental results show that the proposed approach provides fast prediction of TOS with improved accuracy.


title: Measurements as a roadblock to near-term practical quantum advantage in chemistry: resource analysis

abstract: Recent advances in quantum computing devices have brought attention to hybrid quantum-classical algorithms like the Variational Quantum Eigensolver (VQE) as a potential route to practical quantum advantage in chemistry. However, it is not yet clear whether such algorithms, even in the absence of device error, could actually achieve quantum advantage for systems of practical interest. We have performed an exhaustive analysis to estimate the number of qubits and number of measurements required to compute the combustion energies of small organic molecules and related systems to within chemical accuracy of experimental values using VQE. We consider several key modern improvements to VQE, including low-rank factorizations of the Hamiltonian. Our results indicate that although these techniques are useful, they will not be sufficient to achieve practical quantum computational advantage for our molecular set, or for similar molecules. This suggests that novel approaches to operator estimation leveraging quantum coherence, such as Enhanced Likelihood Functions [arxiv:2006.09350, arxiv:2006.09349], may be required.


title: Stochastic optimization with momentum: convergence, fluctuations, and traps avoidance

abstract: In this paper, a general stochastic optimization procedure is studied, unifying several variants of the stochastic gradient descent such as, among others, the stochastic heavy ball method, the Stochastic Nesterov Accelerated Gradient algorithm (S-NAG), and the widely used Adam algorithm. The algorithm is seen as a noisy Euler discretization of a non-autonomous ordinary differential equation, recently introduced by Belotto da Silva and Gazeau, which is analyzed in depth. Assuming that the objective function is non-convex and differentiable, the stability and the almost sure convergence of the iterates to the set of critical points are established. A noteworthy special case is the convergence proof of S-NAG in a non-convex setting. Under some assumptions, the convergence rate is provided under the form of a Central Limit Theorem. Finally, the non-convergence of the algorithm to undesired critical points, such as local maxima or saddle points, is established. Here, the main ingredient is a new avoidance of traps result for non-autonomous settings, which is of independent interest.


title: The Quantum Origin of Quasi de Sitter: a Model Independent Quantum Cosmological Tilt

abstract: The most robust prediction of inflationary cosmology is the existence of a red tilt for the spectrum of curvature fluctuations that is experimentally of order $0.04$. The tilt is derived solving the exact equation for quantum fluctuations in a quasi de Sitter background defined by a equation of state $\epsilon \equiv \frac{(p+\rho)}{\rho}$ with $\epsilon$ small but non vanishing. The experimental data selects among the different quasi de Sitter inflaton potentials. The origin of the lack of scale invariance associated with the tilt is however classical in essence and parametrized by the slow roll of the inflaton potential. Here we present a purely quantum mechanical and model independent derivation of the tilt. This derivation is based on two basic observations: first, the correlator for gauge invariant variables is related to the {\it quantum Fisher function} measuring the quantum dependence of the family of pure de Sitter vacua on the energy scale parameter; second, this quantum Fisher function has a non vanishing scale dependent red tilt that, at the energy scales of physical interest, fits the effective quasi de Sitter prediction as well as the experimental value. This is a result that is model independent and only based on the quantum features of the family of de Sitter vacua.


title: Uniform Birkhoff

abstract: We show that pseudovarieties of finitely generated algebras, i.e., classes $C$ of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can be described via a uniform structure $U$ on the free algebra for $C$: the members of $C$ then are precisely those finitely generated algebras $A$ for which the natural mapping from the free algebra onto the term clone of $A$ is well-defined and uniformly continuous with respect to the uniformity $U$ and the uniformity of pointwise convergence on the term clone of $A$, respectively. Our result unifies earlier theorems describing pseudovarieties of finite algebras and the pseudovariety generated by a single oligomorphic algebra.


title: Improving Clinical Document Understanding on COVID-19 Research with Spark NLP

abstract: Following the global COVID-19 pandemic, the number of scientific papers studying the virus has grown massively, leading to increased interest in automated literate review. We present a clinical text mining system that improves on previous efforts in three ways. First, it can recognize over 100 different entity types including social determinants of health, anatomy, risk factors, and adverse events in addition to other commonly used clinical and biomedical entities. Second, the text processing pipeline includes assertion status detection, to distinguish between clinical facts that are present, absent, conditional, or about someone other than the patient. Third, the deep learning models used are more accurate than previously available, leveraging an integrated pipeline of state-of-the-art pretrained named entity recognition models, and improving on the previous best performing benchmarks for assertion status detection. We illustrate extracting trends and insights, e.g. most frequent disorders and symptoms, and most common vital signs and EKG findings, from the COVID-19 Open Research Dataset (CORD-19). The system is built using the Spark NLP library which natively supports scaling to use distributed clusters, leveraging GPUs, configurable and reusable NLP pipelines, healthcare specific embeddings, and the ability to train models to support new entity types or human languages with no code changes.


title: Identifying Candidate Optical Variables Using Gaia Data Release 2

abstract: Gaia is undertaking a deep synoptic survey of the Galaxy, but photometry from individual epochs has, as of yet, only been released for a minimal number of sources. We show that it is possible to identify variable stars in Gaia Data Release 2 by selecting stars with unexpectedly large photometric uncertainties given their brightness and number of observations. By comparing our results to existing catalogs of variables, we show that information on the amplitude of variability is also implicitly present in the Gaia photometric uncertainties. We present a catalog of about 9.3 million candidate variable stars, and discuss its limitations and prospects for future tests and extensions.


title: Characterization of a multi-etalon array for ultra-high resolution spectroscopy

abstract: The upcoming Extremely Large Telescopes (ELTs) are expected to have the collecting area required to detect potential biosignature gases in the atmosphere of rocky planets around nearby low-mass stars. Some efforts are currently focusing on searching for molecular oxygen (O2), since O2 is a known biosignature on Earth. One of the most promising methods to search for O2 is transmission spectroscopy in which high-resolution spectroscopy is combined with cross-correlation techniques. In this method, high spectral resolution is required both to resolve the exoplanet's O2 lines and to separate them from foreground telluric absorption. While current astronomical spectrographs typically achieve a spectral resolution of 100,000, recent studies show that resolutions of 300,000 -- 400,000 are optimal to detect O2 in the atmosphere of earth analogs with the ELTs. Fabry Perot Interferometer (FPI) arrays have been proposed as a relatively low-cost way to reach these resolutions. In this paper, we present performance results for our 2-FPI array lab prototype, which reaches a resolving power of 600,000. We further discuss the use of multi-cavity etalons (dualons) to be resolution boosters for existing spectrographs.


title: Simulating intergalactic gas for DESI-like small scale Lyman{\alpha} forest observations

abstract: Measurements of the Ly$\alpha$ forest based on large numbers of quasar spectra from sky surveys such as SDSS/eBOSS accurately probe the distribution of matter on small scales and thus provide important constraints on several ingredients of the cosmological model. A main summary statistic derived from those measurements is the one-dimensional power spectrum, P1D, of the Ly$\alpha$ absorption. However, model predictions for P1D rely on expensive hydrodynamical simulations of the intergalactic medium, which was the limiting factor in previous analyses. Datasets from upcoming surveys such as DESI will push observational accuracy near the 1%-level and probe even smaller scales. This observational push mandate seven more accurate simulations as well as more careful exploration of parameter space. In this work we evaluate the robustness and accuracy of simulations and the statistical framework used to constrain cosmological parameters. We present a comparison between the grid-based simulation code Nyx and SPH-based code Gadget in the context ofP1D. In addition, we perform resolution and box-size convergence tests using Nyx code. We use a Gaussian process emulation scheme to reduce the number of simulations required for exploration of parameter space without sacrificing the model accuracy. We demonstrate the ability to produce unbiased parameter constraints in an end-to-end inference test using mock eBOSS- and DESI-like data, and we advocate for the usage of adaptive sampling schemes as opposed to using a fixed Latin hypercube design.


title: Cluster analysis of presolar silicon carbide grains: evaluation of their classification and astrophysical implications

abstract: Cluster analysis of presolar silicon carbide grains based on literature data for 12C/13C, 14N/15N, {\delta}30Si/28Si, and {\delta}29Si/28Si including or not inferred initial 26Al/27Al data, reveals nine clusters agreeing with previously defined grain types but also highlighting new divisions. Mainstream grains reside in three clusters probably representing different parent star metallicities. One of these clusters has a compact core, with a narrow range of composition, pointing to an enhanced production of SiC grains in asymptotic giant branch (AGB) stars with a narrow range of masses and metallicities. The addition of 26Al/27Al data highlights a cluster of mainstream grains, enriched in 15N and 26Al, which cannot be explained by current AGB models. We defined two AB grain clusters, one with 15N and 26Al excesses, and the other with 14N and smaller 26Al excesses, in agreement with recent studies. Their definition does not use the solar N isotopic ratio as a divider, and the contour of the 26Al-rich AB cluster identified in this study is in better agreement with core-collapse supernova models. We also found a cluster with a mixture of putative nova and AB grains, which may have formed in supernova or nova environments. X grains make up two clusters, having either strongly correlated Si isotopic ratios or deviating from the 2/3 slope line in the Si 3-isotope plot. Finally, most Y and Z grains are jointly clustered, suggesting that the previous use of 12C/13C= 100 as a divider for Y grains was arbitrary. Our results show that cluster analysis is a powerful tool to interpret the data in light of stellar evolution and nucleosynthesis modelling and highlight the need of more multi-element isotopic data for better classification.

categories: astro-ph.SR astro-ph.EP astro-ph.GA stat.AP


title: Battery Model Calibration with Deep Reinforcement Learning

abstract: Lithium-Ion (Li-I) batteries have recently become pervasive and are used in many physical assets. To enable a good prediction of the end of discharge of batteries, detailed electrochemical Li-I battery models have been developed. Their parameters are typically calibrated before they are taken into operation and are typically not re-calibrated during operation. However, since battery performance is affected by aging, the reality gap between the computational battery models and the real physical systems leads to inaccurate predictions. A supervised machine learning algorithm would require an extensive representative training dataset mapping the observation to the ground truth calibration parameters. This may be infeasible for many practical applications. In this paper, we implement a Reinforcement Learning-based framework for reliably and efficiently inferring calibration parameters of battery models. The framework enables real-time inference of the computational model parameters in order to compensate the reality-gap from the observations. Most importantly, the proposed methodology does not need any labeled data samples, (samples of observations and the ground truth calibration parameters). Furthermore, the framework does not require any information on the underlying physical model. The experimental results demonstrate that the proposed methodology is capable of inferring the model parameters with high accuracy and high robustness. While the achieved results are comparable to those obtained with supervised machine learning, they do not rely on the ground truth information during training.


title: Real-Time Formal Verification of Autonomous Systems With An FPGA

abstract: Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with disturbances and flexible set representations. A drawback to this approach is that it suffers from the curse of dimensionality, which prevents real-time deployment on safety-critical systems. In this paper, we show that a customized hardware design on a Field Programmable Gate Array (FPGA) could accelerate 4D grid-based Hamilton-Jacobi (HJ) reachability analysis up to 16 times compared to an optimized implementation and 142 times compared to MATLAB ToolboxLS on a 16-thread CPU. Our design can overcome the complex data access pattern while taking advantage of the parallel nature of the HJ PDE computation. Because of this, we are able to achieve real-time formal verification with a 4D car model by re-solving the HJ PDE at a frequency of 5Hz on the FPGA as the environment changes. The latency of our computation is deterministic, which is crucial for safetycritical systems. Our approach presented here can be applied to different systems dynamics, and moreover, potentially leveraged for higher dimensions systems. We also demonstrate obstacle avoidance with a robot car in a changing environment.


title: Learning an Animatable Detailed 3D Face Model from In-The-Wild Images

abstract: While current monocular 3D face reconstruction methods can recover fine geometric details, they suffer several limitations. Some methods produce faces that cannot be realistically animated because they do not model how wrinkles vary with expression. Other methods are trained on high-quality face scans and do not generalize well to in-the-wild images. We present the first approach that regresses 3D face shape and animatable details that are specific to an individual but change with expression. Our model, DECA (Detailed Expression Capture and Animation), is trained to robustly produce a UV displacement map from a low-dimensional latent representation that consists of person-specific detail parameters and generic expression parameters, while a regressor is trained to predict detail, shape, albedo, expression, pose and illumination parameters from a single image. To enable this, we introduce a novel detail-consistency loss that disentangles person-specific details from expression-dependent wrinkles. This disentanglement allows us to synthesize realistic person-specific wrinkles by controlling expression parameters while keeping person-specific details unchanged. DECA is learned from in-the-wild images with no paired 3D supervision and achieves state-of-the-art shape reconstruction accuracy on two benchmarks. Qualitative results on in-the-wild data demonstrate DECA's robustness and its ability to disentangle identity- and expression-dependent details enabling animation of reconstructed faces. The model and code are publicly available at https://deca.is.tue.mpg.de.


title: Relative Fontaine-Messing theory over power series rings

abstract: Let $k$ be a perfect field of characteristic $p>2$, $R := W(k)[\![t_1, \dots, t_d]\!]$ be the power series ring over the Witt vectors, and $X$ be a smooth proper scheme over $R$. The main goal of this article is to extend classical Fontaine-Messing theory to the setting where the base ring is $R$. In particular, we obtain comparison theorems between torsion crystalline cohomology of $X/R$ and torsion \'etale cohomology in this setting.


title: Reductive subalgebras of semisimple Lie algebras and Poisson commutativity

abstract: Let $\mathfrak g$ be a semisimple Lie algebra, $\mathfrak h\subset\mathfrak g$ a reductive subalgebra such that $\mathfrak h^\perp$ is a complementary $\mathfrak h$-submodule of $\mathfrak g$. In 1983, Bogoyavlenski claimed that one obtains a Poisson commutative subalgebra of the symmetric algebra ${\mathcal S}(\mathfrak g)$ by taking the subalgebra ${\mathcal Z}$ generated by the bi-homogeneous components of all $H\in{\mathcal S}(\mathfrak g)^{\mathfrak g}$. But this is false, and we present a counterexample. We also provide a criterion for the Poisson commutativity of such subalgebras ${\mathcal Z}$. As a by-product, we prove that ${\mathcal Z}$ is Poisson commutative if $\mathfrak h$ is abelian and describe ${\mathcal Z}$ in the special case when $\mathfrak h$ is a Cartan subalgebra. In this case, ${\mathcal Z}$ appears to be polynomial and has the maximal transcendence degree $(\mathrm{dim}\,\mathfrak g+\mathrm{rk}\,\mathfrak g)/2$.


title: The number of Simply-connected Trivalent $2$-dimensional Stratifolds

abstract: We describe a method for counting the number of $1$-connected trivalent $2$-stratifolds with a given number of singular curves and $2$-manifold components.


title: On the bounds of the sum of eigenvalues for a Dirichlet problem involving mixed fractional Laplacians

abstract: In this paper, we show the existence of a sequence of eigenvalues for a Dirichlet problem involving two mixed fractional operators with different orders. We provide lower and upper bounds for the sum of the eigenvalues. Applications of mixed fractional operators with different orders include medicine, plasma physics, and population dynamics.


title: 3D kinematics and age distribution of the Open Cluster population

abstract: Open Clusters (OCs) can trace with a great accuracy the evolution of the Galactic disk. The aim of this work is to study the kinematical behavior of the OC population over time. We take advantage of the latest age determinations of OCs to investigate the correlations of the 6D phase space coordinates and orbital properties with age. We also investigate the rotation curve of the Milky Way traced by OCs and we compare it to that of other observational or theoretical studies. We gathered nearly 30000 Radial Velocity (RV) measurements of OC members from both Gaia-RVS data and ground based surveys and catalogues. We computed the weighted mean RV, Galactic velocities and orbital parameters of 1382 OCs. We investigated their distributions as a function of age, and by comparison to field stars. We provide the largest RV catalogue available for OCs, half of it based on at least 3 members. Compared to field stars, we note that OCs are not exactly on the same arches in the radial-azimuthal velocity plane, while they seem to follow the same diagonal ridges in the Galactic radial distribution of azimuthal velocities. Velocity ellipsoids in different age bins all show a clear anisotropy. The heating rate of the OC population is similar to that of field stars for the radial and azimuthal components but significantly lower for the vertical component. The rotation curve drawn by our sample of clusters shows several dips, which match the wiggles derived from non-axisymmetric models of the Galaxy. From the computation of orbits, we obtain a clear dependence of the maximum height and eccentricity with age. Finally, the orbital characteristics of the sample of clusters as shown by the action variables, follow the distribution of field stars. The additional age information of the clusters points towards some (weak) age dependence of the known moving groups.


title: Double-Exchange Enhanced Magnetic Blue-Shift of Mott Gaps

abstract: A substantial energy gap of charge excitations induced by strong correlations is the characteristic feature of Mott insulators. We study how the Mott gap is affected by long-range antiferromagnetic order. Our key finding is that the Mott gap is increased by the magnetic ordering: a magnetic blue-shift (MBS) occurs. Thus, the effect is proportional to the exchange coupling in the leading order in the Hubbard model. In systems with additional localized spins the double-exchange mechanism induces an additional contribution to the MBS which is proportional to the hopping in the leading order. The coupling between spin and charge degrees of freedom bears the potential to enable spin-to-charge conversion in Mott systems on extreme time scales determined by hopping and exchange only, since a spin-orbit mediated transfer of angular momentum is not involved in the process. In view of spintronic and magnonic applications, it is highly promising to observe that several entire classes of compounds show exchange and double-exchange effects. Exemplarily, we show that the magnetic contribution to the band-gap blue-shift observed in the optical conductivity of $\alpha$-MnTe is correctly interpreted as the MBS of a Mott gap.


title: Guessing about Guessing: Practical Strategies for Card Guessing with Feedback

abstract: In simple card games, cards are dealt one at a time and the player guesses each card sequentially. We study problems where feedback (e.g. correct/incorrect) is given after each guess. For decks with repeated values (as in blackjack where suits do not matter) the optimal strategy differs from the "greedy strategy" (of guessing a most likely card each round). Further, both optimal and greedy strategies are far too complicated for real time use by human players. Our main results show that simple heuristics perform close to optimal.


title: $\lambda$-Core Distance Partitions

abstract: The $\lambda$-core vertices of a graph correspond to the non-zero entries of some eigenvector of $\lambda$ for a universal adjacency matrix $\mathbf{U}$ of the graph. We define a partition of the vertex set $V$ based on the $\lambda$-core vertex set and its neighbourhoods at a distance $r$, and give a number of results relating the structure of the graph to this partition. For such partitions, we also define an entropic measure for the information content of a graph, related to every distinct eigenvalue $\lambda$ of $\mathbf{U}$, and discuss its properties and potential applications.


title: A DFT Study on the Electronic Structure of In-Plane Heterojunctions of Graphene and Hexagonal Boron Nitride Nanoribbons

abstract: The structural similarity between hexagonal boron nitride (h-BN) and graphene nanoribbons allows for the formation of heterojunctions with small chain stress. The combination of the insulation nature of the former and the quasi-metallic property of the latter makes this kind of heterostructure particularly interesting for flat optoelectronics. Recently, it was experimentally demonstrated that the shapes of the graphene and h-BN domains can be controlled precisely, and sharp graphene/h-BN interfaces can be created. Here, we investigated the electronic and structural properties of graphene (h-BN) nanoribbon domains of different sizes sandwiched between h-BN (graphene) nanoribbons forming in-plane heterojunctions. Different domain sizes for the zigzag termination were studied. Results showed that the charge density is localized in the edge of the heterojunctions, regardless of the domain size. These materials presented a metallic nature with a ferromagnetic behavior, which can be useful for magnetic applications at the nanoscale.


title: Electrically controlled emission from singlet and triplet exciton species in atomically thin light emitting diodes

abstract: Excitons are composite bosons that can feature spin singlet and triplet states. In usual semiconductors, without an additional spin-flip mechanism, triplet excitons are extremely inefficient optical emitters. Transition metal dichalcogenides (TMDs), with their large spin-orbit coupling, have been of special interest for valleytronic applications for their coupling of circularly polarized light to excitons with selective valley and spin$^{1-4}$. In atomically thin MoSe$_2$/WSe$_2$ TMD van der Waals (vdW) heterostructures, the unique atomic registry of vdW layers provides a quasi-angular momentum to interlayer excitons$^{5,6}$, enabling emission from otherwise dark spin triplet excitons. Here, we report electrically tunable spin singlet and triplet exciton emission from atomically aligned TMD heterostructures. We confirm the spin configurations of the light-emitting excitons employing magnetic fields to measure effective exciton g-factors. The interlayer tunneling current across the TMD vdW heterostructure enables the electrical generation of singlet and triplet exciton emission in this atomically thin PN junction. We demonstrate electrically tunability between the singlet and triplet excitons that are generated by charge injection. Atomically thin TMD heterostructure light emitting diodes thus enables a route for optoelectronic devices that can configure spin and valley quantum states independently by controlling the atomic stacking registry.


title: The Spectral-Domain $\mathcal{W}_2$ Wasserstein Distance for Elliptical Processes and the Spectral-Domain Gelbrich Bound

abstract: In this short note, we introduce the spectral-domain $\mathcal{W}_2$ Wasserstein distance for elliptical stochastic processes in terms of their power spectra. We also introduce the spectral-domain Gelbrich bound for processes that are not necessarily elliptical.

categories: math.ST cs.LG eess.SP math.PR stat.ML stat.TH


title: Observations of the Disk/Jet Coupling of MAXI J1820+070 During its Descent to Quiescence

abstract: Black hole X-ray binaries in the quiescent state (Eddington ratios typically $\lesssim$10$^{-5}$) display softer X-ray spectra (photon indices $\Gamma\sim2$) compared to higher-luminosity black hole X-ray binaries in the hard state ($\Gamma\sim1.7$). However, the cause of this softening, and its implications for the underlying accretion flow, are still uncertain. Here, we present quasi-simultaneous X-ray and radio spectral monitoring of the black hole X-ray binary MAXI J1820$+$070 during the decay of its 2018 outburst and of a subsequent re-flare in 2019, providing an opportunity to monitor a black hole X-ray binary as it actively transitions into quiescence. We probe 1-10 keV X-ray luminosities as low as $L_{\rm X}\sim4\times10^{32}$ erg s$^{-1}$, equivalent to Eddington fractions of $\sim4\times10^{-7}$. During its decay towards quiescence, the X-ray spectrum of MAXI J1820$+$070 softens from $\Gamma\sim1.7$ to $\Gamma\sim2$, with the softening taking $\sim30$d, and completing at $L_{\rm X}\approx10^{34}$ erg s$^{-1}$ ($\approx10^{-5} L_{\rm Edd}$). While the X-ray spectrum softens, the radio spectrum generally remains flat/inverted throughout the decay. We also find that MAXI J1820$+$070 follows a radio ($L_{\rm R}$) -- X-ray luminosity correlation of the form $L_{\rm R} \propto L_{\rm X}^{0.52\pm0.07}$, making it the fourth black hole system to follow the so-called `standard track' unbroken over several (in this case, four) decades in $L_{\rm X}$. Comparing the radio/X-ray spectral evolution(s) with the $L_{\rm R}$ -- $L_{\rm X}$ plane, we find that the X-ray softening is consistent with X-rays produced by Comptonization processes in a radiatively inefficient accretion flow. We generally disfavor X-ray emission originating solely from within the jet, with the possible exception of X-rays produced via synchrotron self-Compton processes.


title: Specification and Verification of Timing Properties in Interoperable Medical Systems

abstract: To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices has been proposed. To address timing requirements, each pattern breaks common timing properties into finer ones that can be enforced locally by the components. Common timing requirements for the underlying communication substrate are derived from these local properties. The local properties of devices are assured by the vendors at the development time. Although organizations procure devices that are compatible in terms of their local properties and middleware, they may not operate as desired. The latency of the organization network interacts with the local properties of devices. To validate the interaction among the timing properties of components and the network, we formally specify such systems in Timed Rebeca. We use model checking to verify the derived timing requirements of the communication substrate in terms of the network and device models. We provide a set of templates as a guideline to specify medical systems in terms of the formal model of patterns. A composite medical system using several devices is subject to state-space explosion. We extend the reduction technique of Timed Rebeca based on the static properties of patterns. We prove that our reduction is sound and show the applicability of our approach in reducing the state space by modeling two clinical scenarios made of several instances of patterns.


title: A relatively light, highly bino-like dark matter in the $Z_3$-symmetric NMSSM and recent LHC searches

abstract: A highly bino-like Dark Matter (DM), which is the Lightest Supersymmetric Particle (LSP), could be motivated by the stringent upper bounds on the DM direct detection rates. This is especially so when its mass is around or below 100 GeV for which such a bound tends to get most severe. Requiring not so large a higgsino mass parameter, that would render the scenario reasonably natural, prompts such a bino-like state to be relatively light. In the Minimal Supersymmetric Standard Model (MSSM), in the absence of comparably light scalars, such an excitation, if it has to be a thermal relic, is unable to meet the stringent experimental upper bound on its abundance unless its self-annihilation hits a funnel involving either the $Z$-boson or the Standard Model (SM)-like Higgs boson. We demonstrate that, in such a realistic situation, a highly bino-like DM of the popular $Z_3$-symmetric Next-to-Minimal Supersymmetric Standard Model (NMSSM) is viable over an extended range of its mass, from our targeted maximum in the vicinity of the mass of the top quark down to about 30 GeV. This is facilitated by the presence of comparably light singlet-like states that could serve as funnel (scalars) and/or coannihilating (singlino) states even as the bino-like LSP receives a minimal (but optimal) tempering triggered by suitably light higgsino states that, in the first place, evade stringent lower bounds on their masses that can be derived from the Large Hadron Collider (LHC) experiments only in the presence of a lighter singlino-like state. An involved set of blind spot conditions is derived for the DM direct detection rates by considering for the very first time the augmented system of neutralinos comprising of the bino, the higgsinos and the singlino which highlights the important roles played by the NMSSM parameters $\lambda$ and $\tan\beta$ in delivering a richer phenomenology.


title: Generating unseen complex scenes: are we there yet?

abstract: Although recent complex scene conditional generation models generate increasingly appealing scenes, it is very hard to assess which models perform better and why. This is often due to models being trained to fit different data splits, and defining their own experimental setups. In this paper, we propose a methodology to compare complex scene conditional generation models, and provide an in-depth analysis that assesses the ability of each model to (1) fit the training distribution and hence perform well on seen conditionings, (2) to generalize to unseen conditionings composed of seen object combinations, and (3) generalize to unseen conditionings composed of unseen object combinations. As a result, we observe that recent methods are able to generate recognizable scenes given seen conditionings, and exploit compositionality to generalize to unseen conditionings with seen object combinations. However, all methods suffer from noticeable image quality degradation when asked to generate images from conditionings composed of unseen object combinations. Moreover, through our analysis, we identify the advantages of different pipeline components, and find that (1) encouraging compositionality through instance-wise spatial conditioning normalizations increases robustness to both types of unseen conditionings, (2) using semantically aware losses such as the scene-graph perceptual similarity helps improve some dimensions of the generation process, and (3) enhancing the quality of generated masks and the quality of the individual objects are crucial steps to improve robustness to both types of unseen conditionings.


title: On-Road Motion Planning for Automated Vehicles at Ulm University

abstract: The Institute of Measurement, Control and Microtechnology at Ulm University investigates advanced driver assistance systems for decades and concentrates in large parts on autonomous driving. It is well known that motion planning is a key technology for autonomous driving. It is first and foremost responsible for the safety of the vehicle passengers as well as of all surrounding traffic participants. However, a further task consists in providing a smooth and comfortable driving behavior. In Ulm, we have the grateful opportunity to test our algorithms under real conditions in public traffic and diversified scenarios. In this paper, we would like to give the readers an insight of our work, about the vehicle, the test track, as well as of the related problems, challenges and solutions. Therefore, we will describe the motion planning system and explain the implemented functionalities. Furthermore, we will show how our vehicle moves through public road traffic and how it deals with challenging scenarios like e.g. driving through roundabouts and intersections.


title: Singularities in Free Energy: Lee-Yang Theory

abstract: Phase Transition is associated with a drastic change in some observable (ordered parameter) of the system when the controlled parameter is tuned smoothly. Lee-Yang theory of phase transition is discussed which is related to the accumulation of singularities of free energy, equivalently complex roots of Grand Partition function (Partition function) at points on positive real axis in complex fugacity plane; and more general (p+1) phase system is discussed, and also the case when (w+2) phases coexist together. Comparison to Mayer's theory is also presented.


title: Statistical Mechanics of Deep Linear Neural Networks: The Back-Propagating Kernel Renormalization

abstract: The success of deep learning in many real-world tasks has triggered an intense effort to understand the power and limitations of deep learning in the training and generalization of complex tasks, so far with limited progress. In this work, we study the statistical mechanics of learning in Deep Linear Neural Networks (DLNNs) in which the input-output function of an individual unit is linear. Despite the linearity of the units, learning in DLNNs is nonlinear, hence studying its properties reveals some of the features of nonlinear Deep Neural Networks (DNNs). Importantly, we solve exactly the network properties following supervised learning using an equilibrium Gibbs distribution in the weight space. To do this, we introduce the Back-Propagating Kernel Renormalization (BPKR), which allows for the incremental integration of the network weights starting from the network output layer and progressing backward until the first layer's weights are integrated out. This procedure allows us to evaluate important network properties, such as its generalization error, the role of network width and depth, the impact of the size of the training set, and the effects of weight regularization and learning stochasticity. BPKR does not assume specific statistics of the input or the task's output. Furthermore, by performing partial integration of the layers, the BPKR allows us to compute the properties of the neural representations across the different hidden layers. We have proposed an extension of the BPKR to nonlinear DNNs with ReLU. Surprisingly, our numerical simulations reveal that despite the nonlinearity, the predictions of our theory are largely shared by ReLU networks in a wide regime of parameters. Our work is the first exact statistical mechanical study of learning in a family of DNNs, and the first successful theory of learning through successive integration of DoFs in the learned weight space.


title: Hyperbolic Relaxation of $k$-Locally Positive Semidefinite Matrices

abstract: A successful computational approach for solving large-scale positive semidefinite (PSD) programs is to enforce PSD-ness on only a collection of submatrices. For our study, we let $\mathcal{S}^{n,k}$ be the convex cone of $n\times n$ symmetric matrices where all $k\times k$ principal submatrices are PSD. We call a matrix in this $k$-\emph{locally PSD}. In order to compare $S^{n,k}$ to the of PSD matrices, we study eigenvalues of $k$-{locally PSD} matrices. The key insight in this paper is that there is a convex cone $H(e_k^n)$ so that if $X \in \mathcal{S}^{n,k}$, then the vector of eigenvalues of $X$ is contained in $H(e_k^n)$. The cone $H(e_k^n)$ is the hyperbolicity cone of the elementary symmetric polynomial $e^k_n$ (where $e_k^n(x) = \sum_{S \subseteq [n] : |S| = k} \prod_{i \in S} x_i$) with respect to the all ones vector. Using this insight, we are able to improve previously known upper bounds on the Frobenius distance between matrices in $\mathcal{S}^{n,k}$ and PSD matrices. We also study the quality of the convex relaxation $H(e^n_k)$. We first show that this relaxation is tight for the case of $k = n -1$, that is, for every vector in $H(e^n_{n -1})$ there exists a matrix in $\mathcal{S}^{n, n -1}$ whose eigenvalues are equal to the components of the vector. We then prove a structure theorem on nonsingular matrices in $\mathcal{S}^{n,k}$ all of whose $k\times k$ principal minors are zero, which we believe is of independent interest. %We then prove a structure theorem that precisely characterizes the non-singular matrices in $\mathcal{S}^{n,k}$ whose vector of eigenvalues belongs to the boundary of $H(e^n_k)$. This result shows shows that for $1< k < n -1$ "large parts" of the boundary of $H(e_k^n)$ do not intersect with the eigenvalues of matrices in $\mathcal{S}^{n,k}$.


title: Partially Constrained Internal Linear Combination: a method for low-noise CMB foreground mitigation

abstract: Internal Linear Combination (ILC) methods are some of the most widely used multi-frequency cleaning techniques employed in CMB data analysis. These methods reduce foregrounds by minimizing the total variance in the coadded map (subject to a signal-preservation constraint), although often significant foreground residuals or biases remain. A modification to the ILC method is the constrained ILC (cILC), which explicitly nulls certain foreground components; however, this foreground nulling often comes at a high price for ground-based CMB datasets, with the map noise increasing significantly on small scales. In this paper we explore a new method, the partially constrained ILC (pcILC), which allows us to optimize the tradeoff between foreground bias and variance in ILC methods. In particular, this method allows us to minimize the variance subject to an inequality constraint requiring that the constrained foregrounds are reduced by at least a fixed factor, which can be chosen based on the foreground sensitivity of the intended application. We test our method on simulated sky maps for a Simons Observatory-like experiment; we find that for cleaning thermal Sunyaev-Zel'dovich (tSZ) contamination at $\ell \in [3000,4800]$, if a small tSZ residual of 20% of the standard ILC residual can be tolerated, the variance of the CMB temperature map is reduced by at least 50% over the cILC value. We also demonstrate an application of this method to reduce noise in CMB lensing reconstruction.


title: Susceptibility of quasiclassical Brownian motion in harmonic nonlinear potentials

abstract: This work sets the exact equations for the quasiclassical response function and susceptibility of a Brownian particle immersed in a bath of quantum harmonic oscillators driving by nonlinear harmonic potentials. A delta force perturbation gives rise to a response whose susceptibility is the combination of a linear term, own of the harmonic oscillator, plus a nonlinear one involving an integral \textcolor{black}{equation. It is provided a recursion method to find its solutions based on functional equations in the Banach space.} The ODE for the response function is a highly nonlinear damped non-autonomous Duffing equation for which the aforementioned method is used to get its solution.


title: Polarons and their induced interactions in highly imbalanced triple mixtures

abstract: We unravel the polaronic properties of impurities immersed in a correlated trapped one-dimensional (1D) Bose-Bose mixture. This setup allows for the impurities to couple either attractively or repulsively to a specific host, thus offering a highly flexible platform for steering the emergent polaronic properties. Specifically, the polaronic residue peak and strength of induced interactions can be controlled by varying the coupling of the impurities to the individual bosonic components. In particular, it is possible to maintain the quasiparticle character for larger interaction strengths as compared to the case of impurities immersed in a single bosonic species. We explicate a hierarchy of the polaron binding energies in terms of the impurity-medium interactions, thereby elucidating the identification of the polaronic resonances in recent experimental radiofrequency schemes. For strong attractive impurity-medium couplings bipolaron formation is captured. Our findings pave the way for continuously changing the quasiparticle character, under the impact of trap effects, while exposing the role of correlations in triple mixture settings.


title: ATOM3D: Tasks On Molecules in Three Dimensions

abstract: Computational methods that operate on three-dimensional molecular structure have the potential to solve important questions in biology and chemistry. In particular, deep neural networks have gained significant attention, but their widespread adoption in the biomolecular domain has been limited by a lack of either systematic performance benchmarks or a unified toolkit for interacting with molecular data. To address this, we present ATOM3D, a collection of both novel and existing benchmark datasets spanning several key classes of biomolecules. We implement several classes of three-dimensional molecular learning methods for each of these tasks and show that they consistently improve performance relative to methods based on one- and two-dimensional representations. The specific choice of architecture proves to be critical for performance, with three-dimensional convolutional networks excelling at tasks involving complex geometries, graph networks performing well on systems requiring detailed positional information, and the more recently developed equivariant networks showing significant promise. Our results indicate that many molecular problems stand to gain from three-dimensional molecular learning, and that there is potential for improvement on many tasks which remain underexplored. To lower the barrier to entry and facilitate further developments in the field, we also provide a comprehensive suite of tools for dataset processing, model training, and evaluation in our open-source atom3d Python package. All datasets are available for download from https://www.atom3d.ai .

categories: cs.LG physics.bio-ph physics.comp-ph q-bio.BM


title: Goodwillie's cosimplicial model for the space of long knots and its applications

abstract: We work out the details of a correspondence observed by Goodwillie between cosimplicial spaces and good functors from a category of open subsets of the interval to the category of compactly generated weak Hausdorff spaces. Using this, we compute the first page of the integral Bousfield--Kan homotopy spectral sequence of the tower of fibrations given by the Taylor tower of the embedding functor associated to the space of long knots. Based on the methods in [Con08], we give a combinatorial interpretation of the differentials $d^1$ mapping into the diagonal terms, by introducing the notion of $(i, n)$-marked unitrivalent graphs.


title: High resolution functional imaging through Lorentz transmission electron microscopy and differentiable programming

abstract: Lorentz transmission electron microscopy is a unique characterization technique that enables the simultaneous imaging of both the microstructure and functional properties of materials at high spatial resolution. The quantitative information such as magnetization and electric potentials is carried by the phase of the electron wave, and is lost during imaging. In order to understand the local interactions and develop structure-property relationships, it is necessary to retrieve the complete wavefunction of the electron wave, which requires solving for the phase shift of the electrons (phase retrieval). Here we have developed a method based on differentiable programming to solve the inverse problem of phase retrieval, using a series of defocused microscope images. We show that our method is robust and can outperform widely used \textit{transport of intensity equation} in terms of spatial resolution and accuracy of the retrieved phase under same electron dose conditions. Furthermore, our method shares the same basic structure as advanced machine learning algorithms, and is easily adaptable to various other forms of phase retrieval in electron microscopy.