title: BBN Photodisintegration Constraints on Gravitationally Produced Vector Bosons

abstract: Gravitational production of massive particles due to cosmic expansion can be significant during the inflationary and reheating period of the Universe. If the particle also has non-gravitational interactions that do not significantly affect its production, numerous observational probes open up, including cosmological probes. In this work, we focus on the gravitational production of light vector bosons that couple feebly to the Standard Model (SM) particles. Due to the very feeble coupling, the light vector bosons never reach thermal equilibrium, and if the Hubble scale at the end of inflation is above $10^8$ GeV, the gravitational production can overwhelm the thermal production via the freeze-in mechanism by many orders of magnitude. As a result, much stronger constraints from the Big Bang Nucleosynthesis (BBN) can be placed on the lifetime and mass of the vector bosons compared to the scenario where only thermal production is considered. As an example, we study the sub-GeV scale dark photons, which couple to the SM only through kinetic mixing, and derive constraints on the mass and kinetic mixing parameter of the dark photon from the photodisintegration effects on the light element abundances relevant at the end of the BBN when the cosmic age was around $10^4$ s.


title: Observability of lensing of gravitational waves from massive black hole binaries with LISA

abstract: The gravitational waves emitted by massive black hole binaries in the LISA band can be lensed. Wave-optics effects in the lensed signal are crucial when the Schwarzschild radius of the lens is smaller than the wavelength of the radiation. These frequency-dependent effects can enable us to infer the lens parameters, possibly with a single detection alone. In this work, we assess the observability of wave-optics effects with LISA by performing an information-matrix analysis using analytical solutions for both point-mass and singular isothermal sphere lenses. We use gravitational-waveform models that include the merger, ringdown, higher harmonics, and aligned spins to study how waveform models and source parameters affect the measurement errors in the lens parameters. We find that previous work underestimated the observability of wave-optics effects and that LISA can detect lensed signals with higher impact parameters and lower lens masses.


title: Dynamical Unification of Tidal Disruption Events

abstract: About a hundred tidal disruption events (TDEs) have been observed and they exhibit a wide range of emission properties both at peak and over their lifetimes. Some TDEs peak predominantly at X-ray energies while others radiate chiefly at UV and optical wavelengths. While the peak luminosities across TDEs show distinct properties, the evolutionary behavior can also vary between TDEs with similar peak emission properties. At late time, some optical TDEs rebrighten in X-rays, while others maintain strong UV/optical emission components. In this Letter, we conduct three-dimensional general relativistic radiation magnetohydrodynamics simulations of TDE accretion disks at varying accretion rates ranging from a few to a few tens of the Eddington accretion rate. We make use of Monte Carlo radiative transfer simulations to calculate the reprocessed spectra at various inclinations and at different evolutionary stages. We confirm the unified model proposed by Dai et al. (2018), which predicts that the observed emission largely depends on the viewing angle of the observer with respect to the disk orientation (X-ray strong when viewed face-on and UV/optically strong when viewed disk-on). What is more, we find that disks with higher accretion rates have elevated wind and disk densities, which increases the reprocessing of the high-energy radiation and thus generally augments the optical-to-X-ray flux ratio along a particular viewing angle. This implies that at later times, as the accretion level declines, we expect the funnel to effectively open up and allow more X-rays to leak out along intermediate viewing angles. Such dynamical model for TDEs can provide a natural explanation for the diversity in the emission properties observed in TDEs at peak and along their temporal evolution.


title: Amplification, inference, and the manifestation of objective classical information

abstract: Our everyday reality is characterized by objective information$\unicode{x2013}$information that is selected and amplified by the environment that interacts with quantum systems. Many observers can accurately infer that information indirectly by making measurements on fragments of the environment. The correlations between the system, $\mathcal{S}$, and a fragment, $\mathcal{F}$, of the environment, $\mathcal{E}$, is often quantified by the quantum mutual information or the Holevo quantity that bounds the classical information about $\mathcal{S}$ transmittable by a quantum channel $\mathcal{F}$. The latter is a quantum mutual information but of a classical-quantum state where measurement has selected outcomes on $\mathcal{S}$. The measurement generically reflects the influence of the remaining environment, $\mathcal{E}/\mathcal{F}$, but can also reflect hypothetical questions to deduce the structure of $\mathcal{S}\mathcal{F}$ correlations. Recently, Touil et al. examined a different Holevo quantity, one from a quantum-classical state (a quantum $\mathcal{S}$ to a measured $\mathcal{F}$). As shown here, this quantity upper bounds any accessible classical information about $\mathcal{S}$ in $\mathcal{F}$ and can yield a tighter bound than the typical Holevo quantity. When good decoherence is present$\unicode{x2013}$when the remaining environment, $\mathcal{E}/\mathcal{F}$, has effectively measured the pointer states of $\mathcal{S}$$\unicode{x2013}$this accessibility bound is the accessible information. For the specific model of Touil et al., the accessible information is related to the error probability for optimal detection and, thus, has the same behavior as the quantum Chernoff bound. The latter reflects amplification and provides a universal approach, as well as a single-shot framework, to quantify records of the missing, classical information about $\mathcal{S}$.


title: Quantum Neural Network Classifiers: A Tutorial

abstract: Machine learning has achieved dramatic success over the past decade, with applications ranging from face recognition to natural language processing. Meanwhile, rapid progress has been made in the field of quantum computation including developing both powerful quantum algorithms and advanced quantum devices. The interplay between machine learning and quantum physics holds the intriguing potential for bringing practical applications to the modern society. Here, we focus on quantum neural networks in the form of parameterized quantum circuits. We will mainly discuss different structures and encoding strategies of quantum neural networks for supervised learning tasks, and benchmark their performance utilizing Yao.jl, a quantum simulation package written in Julia Language. The codes are efficient, aiming to provide convenience for beginners in scientific works such as developing powerful variational quantum learning models and assisting the corresponding experimental demonstrations.


title: Interference dynamics of matter-waves of SU($N$) fermions

abstract: We analyze the two main physical observables related to the momenta of strongly correlated SU($N$) fermions in ring-shaped lattices pierced by an effective magnetic flux: homodyne (momentum distribution) and self-heterodyne interference patterns. We demonstrate how their analysis allows us to monitor the persistent current pattern. We find that both homodyne and self-heterodyne interference display a specific dependence on the structure of the Fermi distribution and particles' correlations. For homodyne protocols, the momentum distribution is affected by the particle statistics in two distinctive ways. The first effect is a purely statistical one: at zero interactions, the characteristic hole in the momentum distribution around the momentum $\mathbf{k}=0$ opens up once half of the SU($N$) Fermi sphere is displaced. The second effect originates from interaction: the fractionalization in the interacting system manifests itself by an additional `delay' in the flux for the occurrence of the hole, that now becomes a depression at $\mathbf{k}=0$. In the case of self-heterodyne interference patterns, we are not only able to monitor, but also observe the fractionalization. Indeed, the fractionalized angular momenta, due to level crossings in the system, are reflected in dislocations present in interferograms. Our analysis demonstrate how the study of the interference fringes grants us access to both number of particles and number of components of SU($N$) fermions.


title: Non-Fermi liquid behavior and quantum criticality in cubic heavy fermion systems with non-Kramers multipolar local moments

abstract: Notable non-Fermi liquid and quantum critical behaviors are observed in rare-earth metallic systems with non-Kramers local moments supporting a number of different multipolar moments. A prominent example is $\text{Pr(Ti,V)}_{2}\text{Al}_{20}$, where the non-Kramers doublet of the $\text{Pr}^{3+}$ ion allows quadrupolar and octupolar moments, but lacks a dipolar moment. Previous theoretical studies show that a single impurity Kondo problem with such an unusual local moment leads to novel non-Fermi liquid states. In this work, we investigate possible quantum critical behaviors arising from the competition between non-Fermi liquid states and multipolar-ordered phases induced by the RKKY interaction. We consider a local version of the corresponding Kondo lattice model, namely the Bose-Fermi Kondo model. Here, the multipolar local moments are coupled to fermionic and bosonic bath degrees of freedom representing the multipolar Kondo effect and RKKY interactions. Using a perturbative renormalization group (RG) study up to two loop order, we find critical points between non-Fermi liquid Kondo fixed points and a quadrupolar ordered fixed point. The critical points describe quantum critical behaviors at the corresponding phase transitions and can be distinguished by higher order corrections in the octupolar susceptibility that can be measured by ultrasound experiments. Our results imply the existence of a rich expansion of the phases and quantum critical behaviors in multipolar heavy fermion systems.


title: Improved Modeling of the Discrete Component of the Galactic Interstellar Gamma-ray Emission and Implications for the Fermi-LAT Galactic Center Excess

abstract: The aim of this work is to improve models for the gamma-ray discrete or small-scale structure related to H2 interstellar gas. Reliably identifying this contribution is important to disentangle gamma-ray point sources from interstellar gas, and to better characterize extended gamma-ray signals. Notably, the Fermi-LAT Galactic center (GC) excess, whose origin remains unclear, might be smooth or point-like. If the data contain a point-like contribution that is not adequately modeled, a smooth GC excess might be erroneously deemed to be point-like. We improve models for the H2-related gamma-ray discrete emission for a $50^\circ \times 1^\circ$ region along the Galactic plane via H2 proxies better suited to trace these features. We find that these are likely to contribute significantly to the gamma-ray Fermi-LAT data in this region, and the brightest ones are likely associated with detected Fermi-LAT sources, a compelling validation of this methodology. We discuss prospects to extend this methodology to other regions of the sky and implications for the characterization of the GC excess.


title: Non-power-law universal scaling in incommensurate systems

abstract: Previous studies of incommensurate systems concluded that critical scaling in such systems is sensitively dependent on the irrational, $\alpha$, which determines the incommensuration. Contrary to this belief, in the canonical Harper-Hofstadter model, we show there is universal $\alpha$-independent scaling for almost all $\alpha$. This critical scaling is characterized by non-power law time-length scaling $t \sim r^{\zeta \log \log r}$. We demonstrate this in the superfluid fraction of a Bose gas, and the heat capacity of a Fermi gas. We argue that this scaling is generic of a broad class of incommensurate models.


title: A unified picture of medium-induced radiation

abstract: We revisit the picture of jets propagating in the quark-gluon plasma. In addition to vacuum radiation, partons scatter on the medium constituents resulting in induced emissions. Analytical approaches to including these interactions have traditionally dealt separately with multiple, soft, or rare, hard scatterings. A full description has so far only been available using numerical methods. We achieve full analytical control of the relevant scales and map out the dominant physical processes in the full phase space. To this aim, we extend existing expansion schemes for the medium-induced spectrum to the Bethe--Heitler regime. This covers the whole phase space from early to late times, and from hard splittings to emissions below the thermal scale. Based on the separation of scales, a space-time picture naturally emerges: at early times, induced emissions start to build from rare scatterings with the medium. At a later stage, induced emissions due to multiple soft scatterings result in a turbulent cascade that rapidly degrades energy down to, and including, the Bethe--Heitler regime. We quantify the impact of such an improved picture, compared to the current state-of-the-art factorization that includes only soft scatterings, by both analytical and numerical methods for the medium-induced energy distribution function. Our work serves to improve our understanding of jet quenching from small to large systems and for future upgrades of Monte Carlo generators.


title: The Late-Time Light Curves of Type Ia Supernovae: Confronting Models with Observations

abstract: Type Ia supernovae (SNe Ia) play a crucial role as standardizable candles in measurements of the Hubble constant and dark energy. Increasing evidence points towards multiple possible explosion channels as the origin of normal SNe Ia, with possible systematic effects on the determination of cosmological parameters. We present, for the first time, a comprehensive comparison of publicly-available SN Ia model nucleosynthetic data with observations of late-time light curve observations of SN Ia events. These models span a wide range of white dwarf (WD) progenitor masses, metallicities, explosion channels, and numerical methodologies. We focus on the influence of $^{57}$Ni and its isobaric decay product $^{57}$Co in powering the late-time ($t > 1000$ d) light curves of SNe Ia. $^{57}$Ni and $^{57}$Co are neutron-rich relative to the more abundant radioisotope $^{56}$Ni, and are consequently a sensitive probe of neutronization at the higher densities of near-Chandrashekhar (near-$M_{\rm Ch}$) progenitor WDs. We demonstrate that observations of one SN Ia event, SN 2015F is only consistent with a sub-$M_{\rm Ch}$ WD progenitor. Observations of four other events (SN 2011fe, SN 2012cg, SN 2014J, SN2013aa) are consistent with both near-$M_{\rm Ch}$ and sub-$M_{\rm Ch}$ progenitors. Continued observations of late-time light curves of nearby SNe Ia will provide crucial information on the nature of the SN Ia progenitors.


title: Deconstructing scaling virial identities in General Relativity: spherical symmetry and beyond

abstract: Derrick-type virial identities, obtained via dilatation (scaling) arguments, have a variety of applications in field theories. We deconstruct such virial identities in relativistic gravity showing how they can be recast as self-evident integrals of appropriate combinations of the equations of motion. In spherical symmetry, the appropriate combination and gauge choice guarantee the geometric part can be integrated out to yield a master form of the virial identity as a non-trivial energy-momentum balance condition, valid for both asymptotically flat black holes and self-gravitating solitons, for any matter model. Specifying the matter model we recover previous results obtained via the scaling procedure. We then discuss the more general case of stationary, axi-symmetric, asymptotically flat black hole or solitonic solutions in General Relativity, for which a master form for their virial identity is proposed, in a specific gauge but regardless of the matter content. In the flat spacetime limit, the master virial identity for both the spherical and axial cases reduces to a balance condition for the principal pressures, discussed by Deser.


title: Observational Inference on the Delay Time Distribution of Short Gamma-ray Bursts

abstract: The delay time distribution of neutron star mergers provides critical insights into binary evolution processes and the merger rate evolution of compact object binaries. However, current observational constraints on this delay time distribution rely on the small sample of Galactic double neutron stars (with uncertain selection effects), a single multimessenger gravitational wave event, and indirect evidence of neutron star mergers based on $r$-process enrichment. We use a sample of 68 host galaxies of short gamma-ray bursts to place novel constraints on the delay time distribution and leverage this result to infer the merger rate evolution of compact object binaries containing neutron stars. We recover a power-law slope of $\alpha = -1.83^{+0.35}_{-0.39}$ (median and 90% credible interval) with $\alpha < -1.31$ at 99% credibility, a minimum delay time of $t_\mathrm{min} = 184^{+67}_{-79}~\mathrm{Myr}$ with $t_\mathrm{min} > 72~\mathrm{Myr}$ at 99% credibility, and a maximum delay time constrained to $t_\mathrm{max} > 7.95~\mathrm{Gyr}$ at 99% credibility. We find these constraints to be broadly consistent with theoretical expectations, although our recovered power-law slope is substantially steeper than the conventional value of $\alpha = -1$, and our minimum delay time is larger than the typically assumed value of $10~\mathrm{Myr}$. Pairing this cosmological probe of the fate of compact object binary systems with the Galactic population of double neutron stars will be crucial for understanding the unique selection effects governing both of these populations. In addition to probing a significantly larger redshift regime of neutron star mergers than possible with current gravitational wave detectors, complementing our results with future multimessenger gravitational wave events will also help determine if short gamma-ray bursts ubiquitously result from compact object binary mergers.


title: The Simulated Catalogue of Optical Transients and Correlated Hosts (SCOTCH)

abstract: As we observe a rapidly growing number of astrophysical transients, we learn more about the diverse host galaxy environments in which they occur. Host galaxy information can be used to purify samples of cosmological Type Ia supernovae, uncover the progenitor systems of individual classes, and facilitate low-latency follow-up of rare and peculiar explosions. In this work, we develop a novel data-driven methodology to simulate the time-domain sky that includes detailed modeling of the probability density function for multiple transient classes conditioned on host galaxy magnitudes, colours, star formation rates, and masses. We have designed these simulations to optimize photometric classification and analysis in upcoming large synoptic surveys. We integrate host galaxy information into the SNANA simulation framework to construct the Simulated Catalogue of Optical Transients and Correlated Hosts (SCOTCH), a publicly-available catalogue of 5 million idealized transient light curves in LSST passbands and their host galaxy properties over the redshift range $0<z<3$. This catalogue includes supernovae, tidal disruption events, kilonovae, and active galactic nuclei. Each light curve consists of true top-of-the-galaxy magnitudes sampled with high ($\lesssim$2 day) cadence. In conjunction with SCOTCH, we also release an associated set of tutorials and the transient-specific libraries to enable simulations of arbitrary space- and ground-based surveys. Our methodology is being used to test critical science infrastructure in advance of surveys by the Vera C. Rubin Observatory and the Nancy G. Roman Space Telescope.

categories: astro-ph.IM astro-ph.CO astro-ph.GA astro-ph.HE


title: Hubble Space Telescope Imaging Reveals That SN 2015bh Is Much Fainter than Its Progenitor

abstract: We present Hubble Space Telescope (HST) imaging of the site of SN 2015bh in the nearby spiral galaxy NGC 2770 taken between 2017 and 2019, nearly four years after the peak of the explosion. In 2017-2018, the transient fades steadily in optical filters before declining more slowly to $F814W = -7.1$ mag in 2019, $\approx$4 mag below the level of its eruptive luminous blue variable (LBV) progenitor observed with HST in 2008-2009. The source fades at a constant color of $F555W - F814W = 0.4$ mag until 2018, similar to SN 2009ip and consistent with a spectrum dominated by interaction of the ejecta with circumstellar material (CSM). A deep optical spectrum obtained in 2021 lacks signatures of ongoing interaction ($L_{\mathrm{H}\alpha} \lesssim 10^{38}$ erg s$^{-1}$ for broadened emission $\lesssim$2000 km s$^{-1}$), but indicates the presence of a nearby H II region ($\lesssim$300 pc). The color evolution of the fading source makes it unlikely that emission from a scattered-light echo or binary OB companion of the progenitor contributes significantly to the flattening of the late-time light curve. The remaining emission in 2019 may plausibly be attributed an evolved/inflated companion or an unresolved ($\lesssim$3 pc), young stellar cluster. Importantly, the color evolution of SN 2015bh rules out scenarios in which the surviving progenitor is obscured by nascent dust and does not clearly indicate a transition to a hotter, optically faint state. The simplest explanation is that the massive progenitor did not survive. SN 2015bh likely represents a remarkable example of the terminal explosion of a massive star preceded by decades of end-stage eruptive variability.


title: Advantages of multi-copy nonlocality distillation and its application to minimizing communication complexity

abstract: Nonlocal correlations are a central feature of quantum theory, and understanding why quantum theory has a limited amount of nonlocality is a fundamental problem. Since nonlocality also has technological applications, e.g., for device-independent cryptography, it is useful to understand it as a resource and, in particular, whether and how different types of nonlocality can be interconverted. Here we focus on nonlocality distillation which involves using several copies of a nonlocal resource to generate one with more nonlocality. We introduce several distillation schemes which distil an extended part of the set of nonlocal correlations including quantum correlations. Our schemes are based on a natural set of operational procedures known as wirings that can be applied regardless of the underlying theory. Some are sequential algorithms that repeatedly use a two-copy protocol, while others are genuine three-copy distillation protocols. In some regions we prove that genuine three-copy protocols are strictly better than two-copy protocols. By applying our new protocols we also increase the region in which nonlocal correlations are known to give rise to trivial communication complexity. This brings us closer to an understanding of the sets of nonlocal correlations that can be recovered from information-theoretic principles, which, in turn, enhances our understanding of what is special about quantum theory.


title: The growth and migration of massive planets under the influence of external photoevaporation

abstract: The formation of gas giant planets must occur during the first few Myr of a star's lifetime, when the protoplanetary disc still contains sufficient gas to be accreted onto the planetary core. The majority of protoplanetary discs are exposed to strong ultraviolet irradiation from nearby massive stars, which drives winds and depletes the mass budget for planet formation. It remains unclear to what degree external photoevaporation affects the formation of massive planets. In this work, we present a simple one dimensional model for the growth and migration of a massive planet under the influence of external FUV fields. We find that even moderate FUV fluxes $F_\mathrm{FUV}\gtrsim 100 \, G_0$ have a strong influence on planet mass and migration. By decreasing the local surface density and shutting off accretion onto the planet, external irradiation suppresses planet masses and halts migration early. The distribution of typical stellar birth environments can therefore produce an anti-correlation between semi-major axis and planet mass, which may explain the apparent decrease in planet occurrence rates at orbital periods $P_\mathrm{orb}\gtrsim 10^3$ days. Even moderate fluxes $F_\mathrm{FUV}$ strongly suppress giant planet formation and inward migration for any initial semi-major axis if the stellar host mass $M_*\lesssim 0.5\, M_\odot$, consistent with findings that massive planet occurrence is much lower around such stars. The outcomes of our prescription for external disc depletion show significant differences to the current approximation adopted in state-of-the-art population synthesis models, motivating future careful treatment of this important process.


title: Deep Learning Models of the Discrete Component of the Galactic Interstellar Gamma-Ray Emission

abstract: A significant point-like component from the small scale (or discrete) structure in the H2 interstellar gas might be present in the Fermi-LAT data, but modeling this emission relies on observations of rare gas tracers only available in limited regions of the sky. Identifying this contribution is important to discriminate gamma-ray point sources from interstellar gas, and to better characterize extended gamma-ray sources. We design and train convolutional neural networks to predict this emission where observations of these rare tracers do not exist and discuss the impact of this component on the analysis of the Fermi-LAT data. In particular, we evaluate prospects to exploit this methodology in the characterization of the Fermi-LAT Galactic center excess through accurate modeling of point-like structures in the data to help distinguish between a point-like or smooth nature for the excess. We show that deep learning may be effectively employed to model the gamma-ray emission traced by these rare H2 proxies within statistical significance in data-rich regions, supporting prospects to employ these methods in yet unobserved regions.


title: Optimizing local Hamiltonians for the best metrological performance

abstract: We discuss efficient methods to optimize the metrological performance over local Hamiltonians in a bipartite quantum system. For a given quantum state, our methods find the best local Hamiltonian for which the state outperforms separable states the most from the point of view of quantum metrology. We show that this problem can be reduced to maximize the quantum Fisher information over a certain set of Hamiltonians. We present the quantum Fisher information in a bilinear form and maximize it by iterating a see-saw, in which each step is based on semidefinite programming. We also solve the problem with the method of moments that works very well for smaller systems. We consider a number of other problems in quantum information theory that can be solved in a similar manner. For instance, we determine the bound entangled quantum states that maximally violate the Computable Cross Norm-Realignment (CNNR) criterion.


title: Dark matter halo properties of the Galactic dwarf satellites: implication for chemo-dynamical evolution of the satellites and a challenge to $\Lambda$CDM

abstract: Elucidating dark matter density profiles in the Galactic dwarf satellites is essential to understanding not only the quintessence of dark matter, but also the evolution of the satellites themselves. In this work, we present the current constraints on dark matter densities in the Galactic ultra-faint dwarf (UFD) and diffuse galaxies. Applying our constructed non-spherical mass models to the currently available kinematic data of the 25 UFDs and 2 diffuse satellites, we find that whereas most of the galaxies have huge uncertainties on the inferred dark matter density profiles, Eridanus~II, Segue~I, and Willman~1 favor cuspy central profiles even considering effects of a prior bias. We compare our results with the simulated subhalos on the plane between the dark matter density at 150~pc and the pericenter distance. We find that the most observed satellites and the simulated subhalos are similarly distributed on this plane, except for Antlia~2, Crater~2, and Tucana~3, which are less than one tenth of the density. Despite considerable tidal effects, the subhalos detected by commonly-used subhalo finders have difficulty in explaining such a huge deviation. We also estimate the dynamical mass-to-light ratios of the satellites and confirm the ratio is linked to stellar mass and metallicity. Tucana~3 deviates largely from these relations, while it follows the mass-metallicity relation. This indicates that Tucana~3 has a cored dark matter halo, despite a significant uncertainty in its ratios.


title: Covariation inequality in Grand Lebesgue Spaces

abstract: We represent in this preprint the exact estimate for covariation berween two random variables (r.v.), which are measurable relative the corresponding sigma-algebras through anyhow mixing coefficients. We associate a solution of this problem with fundamental function for correspondent rearrangement invariant spaces.


title: From entanglement generated dynamics to the gravitational anomaly and chiral central charge

abstract: We apply modular flow -- entanglement generated dynamics -- to characterize quantum orders of ground state wavefunctions. In particular, we study the linear response of the entanglement entropy of a simply connected region with respect to modular flow. First, we apply it to (1+1)D conformal field theories and demonstrate its relationship to the chiral central charge -- or equivalently the perturbative gravitational anomaly -- which is shown to vanish. Next, we apply it to (2+1)D gapped ground states where it reduces to a recently proposed formula by Kim et. al. that is conjectured to compute the edge chiral central charge. Modular flow provides an intuitive picture for this conjecture based on bulk-edge correspondence. We also provide numerics on free fermion models that lend support to our picture.


title: EMPRESS. V. Metallicity Diagnostics of Galaxies over 12+log(O/H)=~6.9-8.9 Established by a Local Galaxy Census: Preparing for JWST Spectroscopy

abstract: We present optical-line gas metallicity diagnostics established by the combination of local SDSS galaxies and the largest compilation of extremely metal-poor galaxies (EMPGs) including new EMPGs identified by the Subaru EMPRESS survey. A total of 103 EMPGs are included that cover a large parameter space of magnitude (Mi=-19 to -7) and H-beta equivalent width (10-600 Ang), i.e., wide ranges of stellar mass and star-formation rate. Using reliable metallicity measurements of the direct method for these galaxies, we derive the relationships between strong optical-line ratios and gas-phase metallicity over the range of 12+log(O/H)=~6.9-8.9 corresponding to 0.02-2 solar metallicity Zsun. We confirm that R23-index, ([OIII]+[OII])/H-beta, is the most accurate metallicity indicator with the metallicity uncertainty of 0.14 dex over the range among various popular metallicity indicators. The other metallicity indicators show large scatters in the metal-poor range (<0.1 Zsun). It is explained by our CLOUDY photoionization modeling that, unlike R23-index, the other metallicity indicators do not use a sum of singly and doubly ionized lines and cannot trace both low and high ionization gas. We find that the accuracy of the metallicity indicators is significantly improved, if one uses H-beta equivalent width measurements that tightly correlate with ionization states. In this work, we also present the relation of physical properties with UV-continuum slope beta and ionization production rate xi_ion derived with GALEX data for the EMPGs, and provide local anchors of galaxy properties together with the optical-line metallicity indicators that are available in the form of ASCII table and useful for forthcoming JWST spectroscopic studies.


title: Determining Which Binary Component Hosts the TESS Transiting Planet

abstract: The NASA TESS mission has discovered many transiting planets orbiting bright nearby stars, and high-resolution imaging studies have revealed that a number of these exoplanet hosts reside in binary or multiple star systems. In such systems, transit observations alone cannot determine which star in the binary system actually hosts the orbiting planet. The knowledge of which star the planet orbits is necessary for determining accurate physical properties for the planet, especially its true radius and mean bulk density. We derived the mean stellar densities for the components of 23 binary systems using the light curve transit shape and the binary flux ratio from speckle imaging, then tested the consistency with stellar models to determine which component is the host star. We found that 70% of the TESS transiting planets in our sample orbit the primary star.


title: Fourier-based quantum signal processing

abstract: Implementing general functions of operators is a powerful tool in quantum computation. It can be used as the basis for a variety of quantum algorithms including matrix inversion, real and imaginary-time evolution, and matrix powers. Quantum signal processing is the state of the art for this aim, assuming that the operator to be transformed is given as a block of a unitary matrix acting on an enlarged Hilbert space. Here we present an algorithm for Hermitian-operator function design from an oracle given by the unitary evolution with respect to that operator at a fixed time. Our algorithm implements a Fourier approximation of the target function based on the iteration of a basic sequence of single-qubit gates, for which we prove the expressibility. In addition, we present an efficient classical algorithm for calculating its parameters from the Fourier series coefficients. Our algorithm uses only one qubit ancilla regardless the degree of the approximating series. This contrasts with previous proposals, which required an ancillary register of size growing with the expansion degree. Our methods are compatible with Trotterised Hamiltonian simulations schemes and hybrid digital-analog approaches.


title: High-Order Qubit Dephasing at Sweet Spots by Non-Gaussian Fluctuators: Symmetry Breaking and Floquet Protection

abstract: Although the Gaussian-noise assumption is widely adopted in the study of qubit decoherence, non-Gaussian noise sources, especially the strong discrete fluctuators, have been detected in many qubits. It remains an important task to further understand and mitigate the distinctive decoherence effect of the non-Gaussian noise. Here, we study the qubit dephasing caused by the non-Gaussian fluctuators, and predict a symmetry-breaking effect that is unique to the non-Gaussian noise. This broken symmetry results in an experimentally measurable mismatch between the extremum points of the dephasing rate and qubit frequency, which demands extra carefulness in characterizing the noise and locating the optimal working point. To further enhance the coherence time at the sweet spot, we propose to suppress the second-order derivative of the qubit frequency by the Floquet engineering. Our simulation with a heavy fluxonium shows an order of magnitude improvement of the dephasing time, even after including the noise introduced by the drive.


title: Optical responses of Fano resonators in non-spectral parametric domains

abstract: Fano resonance observed in various classical and quantum systems features an asymmetric spectral line shape. For designing nanoresonators for monochromatic applications, it is beneficial to describe Fano resonance in non-spectral parametric domains of critical structural parameters. We develop the analytical model of the parametric Fano profile based on a coupled harmonic oscillator (CHO) model and theoretically demonstrate its application in describing the optical response of a chirped waveguided plasmonic crystal (CWPC). The developed parametric Fano model may find applications in the design of monochromatic and spectrometer-free nanodevices.


title: RORL: Robust Offline Reinforcement Learning via Conservative Smoothing

abstract: Offline reinforcement learning (RL) provides a promising direction to exploit massive amount of offline data for complex decision-making tasks. Due to the distribution shift issue, current offline RL algorithms are generally designed to be conservative in value estimation and action selection. However, such conservatism can impair the robustness of learned policies when encountering observation deviation under realistic conditions, such as sensor errors and adversarial attacks. To trade off robustness and conservatism, we propose Robust Offline Reinforcement Learning (RORL) with a novel conservative smoothing technique. In RORL, we explicitly introduce regularization on the policy and the value function for states near the dataset, as well as additional conservative value estimation on these states. Theoretically, we show RORL enjoys a tighter suboptimality bound than recent theoretical results in linear MDPs. We demonstrate that RORL can achieve state-of-the-art performance on the general offline RL benchmark and is considerably robust to adversarial observation perturbations.


title: Statistical analysis of global properties of galaxies in the direction of the Fornax cluster with S-PLUS

abstract: In the context of the S-PLUS Fornax Project (S+FP), we analyze the galaxy population in the direction of the Fornax cluster ($D\approx 20$~Mpc). We have 23 fields of size $1.4^{\circ}\times 1.4^{\circ}$, covering the projected positions of 999 Fornax galaxies reported in the literature. 244 of those galaxies are detected with confident photometry in our fields which were observed simultaneously in 12 photometric bands. Besides those of Fornax galaxies, we obtained confident structural and photometric parameters for $\approx 3\times10^5$ additional galaxies detected in our fields. In this work we present preliminary results on the characterization of the galaxy population of the Fornax cluster with respect to the background galaxy population. Among other goals, we expect that such a characterization provides photometric criteria to identify new candidate members of the cluster.


title: A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types

abstract: We describe the categorical semantics for a simply typed variant and a simplified dependently typed variant of Cocon, a contextual modal type theory where the box modality mediates between the weak function space that is used to represent higher-order abstract syntax (HOAS) trees and the strong function space that describes (recursive) computations about them. What makes Cocon different from standard type theories is the presence of first-class contexts and contextual objects to describe syntax trees that are closed with respect to a given context of assumptions. Following M. Hofmann's work, we use a presheaf model to characterise HOAS trees. Surprisingly, this model already provides the necessary structure to also model Cocon. In particular, we can capture the contextual objects of Cocon using a comonad $\flat$ that restricts presheaves to their closed elements. This gives a simple semantic characterisation of the invariants of contextual types (e.g. substitution invariance) and identifies Cocon as a type-theoretic syntax of presheaf models. We further extend this characterisation to dependent types using categories with families and show that we can model a fragment of Cocon without recursor in the Fitch-style dependent modal type theory presented by Birkedal et. al..


title: Eight years of TIGRE robotic spectroscopy: Operational experience and selected scientific results

abstract: TIGRE (Telescopio Internacional de Guanajuato Rob\'otico Espectrosc\'opico) has been operating in fully robotic mode in the Observatory La Luz (Guanajuato, Mexico) since the end of 2013. With its sole instrument, HEROS, an \'echelle spectrograph with a spectral resolution R~20000, TIGRE has collected more than 48000 spectra of 1151 different sources with a total exposure time of more than 11000 hours in these eight years. Here we briefly describe the system and the upgrades performed during the last years. We present the statistics of the weather conditions at the La Luz Observatory, emphasizing the characteristics that affect the astronomical observations. We evaluate the performance and efficiency of TIGRE, both optical and operational, and describe the improvements of the system implemented to optimize the telescope's performance and meet the requirements of the astronomer in terms of timing constraints for the observations and the quality of the spectra. We describe the actions taken to slow down the optical efficiency loss due to the aging of the optical surfaces as well as the upgrades of the scheduler and the observing procedures to minimize the time lost due to interrupted observations or observations that do not reach the required quality. Finally, we highlight a few of the main scientific results obtained with TIGRE data.


title: Relativistic Space-Charge Field Calculation by Interpolation-Based Treecode

abstract: Space-charge effects are of great importance in particle accelerator physics. In the computational modeling, tree-based methods are increasingly used because of their effectiveness in handling non-uniform particle distributions and/or complex geometries. However, they are often formulated using an electrostatic force which is only a good approximation for low energy particle beams. For high energy, i.e., relativistic particle beams, the relativistic interaction kernel may need to be considered and the conventional treecode fails in this scenario. In this work, we formulate a treecode based on Lagrangian interpolation for computing the relativistic space-charge field. Two approaches are introduced to control the interpolation error. In the first approach, a modified admissibility condition is proposed for which the treecode can be used directly in the lab-frame. The second approach is based on the transformation of the particle beam to the rest-frame where the conventional admissibility condition can be used. Numerical simulation results using both methods will be compared and discussed.


title: Collaborative Linear Bandits with Adversarial Agents: Near-Optimal Regret Bounds

abstract: We consider a linear stochastic bandit problem involving $M$ agents that can collaborate via a central server to minimize regret. A fraction $\alpha$ of these agents are adversarial and can act arbitrarily, leading to the following tension: while collaboration can potentially reduce regret, it can also disrupt the process of learning due to adversaries. In this work, we provide a fundamental understanding of this tension by designing new algorithms that balance the exploration-exploitation trade-off via carefully constructed robust confidence intervals. We also complement our algorithms with tight analyses. First, we develop a robust collaborative phased elimination algorithm that achieves $\tilde{O}\left(\alpha+ 1/\sqrt{M}\right) \sqrt{dT}$ regret for each good agent; here, $d$ is the model-dimension and $T$ is the horizon. For small $\alpha$, our result thus reveals a clear benefit of collaboration despite adversaries. Using an information-theoretic argument, we then prove a matching lower bound, thereby providing the first set of tight, near-optimal regret bounds for collaborative linear bandits with adversaries. Furthermore, by leveraging recent advances in high-dimensional robust statistics, we significantly extend our algorithmic ideas and results to (i) the generalized linear bandit model that allows for non-linear observation maps; and (ii) the contextual bandit setting that allows for time-varying feature vectors.

categories: cs.LG cs.MA cs.SY eess.SY math.OC stat.ML


title: Probing cold gas in a massive, compact star-forming galaxy at z=6

abstract: Observations of low order CO transitions represent the most direct way to study galaxies' cold molecular gas, the fuel of star formation. Here we present the first detection of CO(2-1) in a galaxy lying on the main-sequence of star-forming galaxies at z>6. Our target, G09-83808 at z=6.03, has a short depletion time-scale of T_dep~50Myr and a relatively low gas fraction of M_gas/M_star=0.30 that contrasts with those measured for lower redshift main-sequence galaxies. We conclude that this galaxy is undergoing a starburst episode with a high star formation efficiency that might be the result of gas compression within its compact rotating disk. Its starburst-like nature is further supported by its high star formation rate surface density, thus favoring the use of the Kennicutt-Schmidt relation as a more precise diagnostic diagram for starbursts. Without further significant gas accretion, this galaxy would become a compact, massive quiescent galaxy at z~5.5. In addition, we find that the calibration for estimating ISM masses from dust continuum emission satisfactorily reproduces the gas mass derived from the CO(2-1) transition (within a factor of ~2). This is in line with previous studies claiming a small redshift evolution in the gas-to-dust ratio of massive, metal-rich galaxies. In the absence of gravitational amplification, this detection would have required of order ~1000h of observing time. The detection of cold molecular gas in unlensed star-forming galaxies at high redshifts is thus prohibitive with current facilities and requires a ten-fold improvement in sensitivity, such as that envisaged for the ngVLA.


title: A sewage management proposal for Luruaco lake, Colombia

abstract: This study presents numerical simulations of faecal coliforms dynamics in Luruaco lake, located in Atl\'antico Department, Colombia. The velocity field is obtained through a two-dimensional horizontal (2DH) model of Navier-Stokes equations system. The transport equation of faecal coliforms concentration is provided from a convective-diffusive-reactive equation. The lake's geometry is built through cubic spline and multi-block methods. The discretization method by Finite Differences and the First Order Upwind (FOU) are applied to the 2DH model. The Mark and Cell (MAC) method is used to determine numerically the velocity field of water flow. Numerical simulations are carried out for a 72-hour period in order to understand the influence of faecal coliforms injections from each tributary. From the qualitative and quantitative analysis of the factors that influence faecal coliforms dynamics, proposals are presented, which aim to reduce contamination in some regions of Lake Luruaco. The numerical simulations show that the best option to improve water quality in the lake is the implementation of two actions, the diversion of the Lim\'on stream to the Negro stream and the installation of a sewage treatment plant at the mouth of the Negro stream. Other less expensive proposals are also presented.

categories: physics.soc-ph cs.NA math.NA physics.ao-ph physics.flu-dyn


title: EVAC+: Multi-scale V-net with Deep Feature CRF Layers for Brain Extraction

abstract: Brain extraction is one of the first steps of pre-processing 3D brain MRI data and a prerequisite for any forthcoming brain imaging analyses. However, it is not a simple segmentation problem due to the complex structure of the brain and human head. Although multiple solutions have been proposed in the literature, we are still far from having truly robust methods. While previous methods have used machine learning with structural/geometric priors, with the development of Deep Learning (DL), there has been an increase in proposed Neural Network architectures. Most models focus on improving the training data and loss functions with little change in the architecture. However, the amount of accessible training data with expert-labelled ground truth vary between groups. Moreover, the labels are created not from scratch but from outputs of non-DL methods. Thus, most DL method's performance depend on the amount and quality of data one has. In this paper, we propose a novel architecture we call EVAC+ to work around this issue. We show that EVAC+ has 3 major advantages compared to other networks: (1) Multi-scale input with limited random augmentation for efficient learning, (2) a unique way of using Conditional Random Fields Recurrent Layer and (3) a loss function specifically created to enhance this architecture. We compare our model to state-of-the-art non-DL and DL methods. Results show that even with little change in the traditional architecture and limited training resources, EVAC+ achieves a high and stable Dice Coefficient and Jaccard Index along with a desirable lower surface distance. Ultimately, our model provides a robust way of accurately reducing segmentation errors in complex multi-tissue interfacing areas of brain.


title: Invertible Sharpening Network for MRI Reconstruction Enhancement

abstract: High-quality MRI reconstruction plays a critical role in clinical applications. Deep learning-based methods have achieved promising results on MRI reconstruction. However, most state-of-the-art methods were designed to optimize the evaluation metrics commonly used for natural images, such as PSNR and SSIM, whereas the visual quality is not primarily pursued. Compared to the fully-sampled images, the reconstructed images are often blurry, where high-frequency features might not be sharp enough for confident clinical diagnosis. To this end, we propose an invertible sharpening network (InvSharpNet) to improve the visual quality of MRI reconstructions. During training, unlike the traditional methods that learn to map the input data to the ground truth, InvSharpNet adapts a backward training strategy that learns a blurring transform from the ground truth (fully-sampled image) to the input data (blurry reconstruction). During inference, the learned blurring transform can be inverted to a sharpening transform leveraging the network's invertibility. The experiments on various MRI datasets demonstrate that InvSharpNet can improve reconstruction sharpness with few artifacts. The results were also evaluated by radiologists, indicating better visual quality and diagnostic confidence of our proposed method.


title: Anomaly-induced vacuum effective action with torsion: covariant solution and ambiguities

abstract: The conformal anomaly in curved spacetime with antisymmetric torsion is reconsidered, taking into account new important details. We formulate, for the first time, the covariant solution of the anomaly-induced effective action. The covariant effective action includes local terms corresponding to total derivatives in the conformal anomaly. The contribution of massless fermions to these terms is characterized by multiplicative anomaly, coming from two different choices of doubling for the spinor operator. On the other hand, the nonlocal part of anomaly-induced action is free of ambiguities and admits a low-energy limit, similar to the effective potential in the metric-scalar theory.


title: Spatial Acoustic Projection for 3D Imaging Sonar Reconstruction

abstract: In this work we present a novel method for reconstructing 3D surfaces using a multi-beam imaging sonar. We integrate the intensities measured by the sonar from different viewpoints for fixed cell positions in a 3D grid. For each cell we integrate a feature vector that holds the mean intensity for a discretized range of viewpoints. Based on the feature vectors and independent sparse range measurements that act as ground truth information, we train convolutional neural networks that allow us to predict the signed distance and direction to the nearest surface for each cell. The predicted signed distances can be projected into a truncated signed distance field (TSDF) along the predicted directions. Utilizing the marching cubes algorithm, a polygon mesh can be rendered from the TSDF. Our method allows a dense 3D reconstruction from a limited set of viewpoints and was evaluated on three real-world datasets.


title: Researching Alignment Research: Unsupervised Analysis

abstract: AI alignment research is the field of study dedicated to ensuring that artificial intelligence (AI) benefits humans. As machine intelligence gets more advanced, this research is becoming increasingly important. Researchers in the field share ideas across different media to speed up the exchange of information. However, this focus on speed means that the research landscape is opaque, making it difficult for young researchers to enter the field. In this project, we collected and analyzed existing AI alignment research. We found that the field is growing quickly, with several subfields emerging in parallel. We looked at the subfields and identified the prominent researchers, recurring topics, and different modes of communication in each. Furthermore, we found that a classifier trained on AI alignment research articles can detect relevant articles that we did not originally include in the dataset. We are sharing the dataset with the research community and hope to develop tools in the future that will help both established researchers and young researchers get more involved in the field.


title: A High Order Stabilized Solver for the Volume Averaged Navier-Stokes Equations

abstract: The Volume-Averaged Navier-Stokes equations are used to study fluid flow in the presence of fixed or moving solids such as packed or fluidized beds. We develop a high-order finite element solver using both forms A and B of these equations. We introduce tailored stabilization techniques to prevent oscillations in regions of sharp gradients, to relax the Ladyzhenskaya-Babuska-Brezzi inf-sup condition, and to enhance the local mass conservation and the robustness of the formulation. We calculate the void fraction using the Particle Centroid Method. Using different drag models, we calculate the drag force exerted by the solids on the fluid. We implement the method of manufactured solution to verify our solver. We demonstrate that the model preserves the order of convergence of the underlying finite element discretization. Finally, we simulate gas flow through a randomly packed bed and study the pressure drop and mass conservation properties to validate our model.


title: Many-body radiative decay in strongly interacting Rydberg ensembles

abstract: When atoms are excited to high-lying Rydberg states they interact strongly with dipolar forces. The resulting state-dependent level shifts allow to study many-body systems displaying intriguing nonequilibrium phenomena, such as constrained spin systems, and are at the heart of numerous technological applications, e.g., in quantum simulation and computation platforms. Here, we show that these interactions have also a significant impact on dissipative effects caused by the inevitable coupling of Rydberg atoms to the surrounding electromagnetic field. We demonstrate that their presence modifies the frequency of the photons emitted from the Rydberg atoms, making it dependent on the local neighborhood of the emitting atom. Interactions among Rydberg atoms thus turn spontaneous emission into a many-body process which manifests, in a thermodynamically consistent Markovian setting, in the emergence of collective jump operators in the quantum master equation governing the dynamics. We discuss how this collective dissipation - stemming from a mechanism different from the much studied super- and sub-radiance - accelerates decoherence and affects dissipative phase transitions in Rydberg ensembles.


title: Uncertainty Relation for Non-Hermitian Systems

abstract: We construct uncertainty relation for arbitrary finite dimensional PT invariant non-Hermitian quantum systems within a special inner product framework. This construction is led by good observables which are a more general class of operators. We show that the cumulative gain in the quantum Fisher information when measuring two good observables for such non-Hermitian systems is way better than their Hermitian counterpart. Minimum uncertainty states being the best candidates for this gain near the exceptional point supports the intelligent or simultaneous non-Hermitian quantum sensors.


title: On Efficient Approximate Queries over Machine Learning Models

abstract: The question of answering queries over ML predictions has been gaining attention in the database community. This question is challenging because the cost of finding high quality answers corresponds to invoking an oracle such as a human expert or an expensive deep neural network model on every single item in the DB and then applying the query. We develop a novel unified framework for approximate query answering by leveraging a proxy to minimize the oracle usage of finding high quality answers for both Precision-Target (PT) and Recall-Target (RT) queries. Our framework uses a judicious combination of invoking the expensive oracle on data samples and applying the cheap proxy on the objects in the DB. It relies on two assumptions. Under the Proxy Quality assumption, proxy quality can be quantified in a probabilistic manner w.r.t. the oracle. This allows us to develop two algorithms: PQA that efficiently finds high quality answers with high probability and no oracle calls, and PQE, a heuristic extension that achieves empirically good performance with a small number of oracle calls. Alternatively, under the Core Set Closure assumption, we develop two algorithms: CSC that efficiently returns high quality answers with high probability and minimal oracle usage, and CSE, which extends it to more general settings. Our extensive experiments on five real-world datasets on both query types, PT and RT, demonstrate that our algorithms outperform the state-of-the-art and achieve high result quality with provable statistical guarantees.


title: A Deeper Dive Into What Deep Spatiotemporal Networks Encode: Quantifying Static vs. Dynamic Information

abstract: Deep spatiotemporal models are used in a variety of computer vision tasks, such as action recognition and video object segmentation. Currently, there is a limited understanding of what information is captured by these models in their intermediate representations. For example, while it has been observed that action recognition algorithms are heavily influenced by visual appearance in single static frames, there is no quantitative methodology for evaluating such static bias in the latent representation compared to bias toward dynamic information (e.g. motion). We tackle this challenge by proposing a novel approach for quantifying the static and dynamic biases of any spatiotemporal model. To show the efficacy of our approach, we analyse two widely studied tasks, action recognition and video object segmentation. Our key findings are threefold: (i) Most examined spatiotemporal models are biased toward static information; although, certain two-stream architectures with cross-connections show a better balance between the static and dynamic information captured. (ii) Some datasets that are commonly assumed to be biased toward dynamics are actually biased toward static information. (iii) Individual units (channels) in an architecture can be biased toward static, dynamic or a combination of the two.


title: Seeing the forest and the trees: a radio investigation of the ULIRG Mrk 273

abstract: Galaxy mergers have been observed to trigger nuclear activity by feeding gas to the central supermassive black hole. One such class of objects are Ultra Luminous InfraRed Galaxies (ULIRGs), which are mostly late stage major mergers of gas-rich galaxies. Recently, large-scale ($\sim$100 kpc) radio continuum emission has been detected in a select number of ULIRGs, all of which also harbour powerful Active Galactic Nuclei (AGN). This hints at the presence of large-scale radio emission being evidence for nuclear activity. Exploring the origin of this radio emission and its link to nuclear activity requires high sensitivity multi-frequency data. We present such an analysis of the ULIRG Mrk 273. Using the International LOFAR telescope (ILT), we detected spectacular large-scale arcs in this system. This detection includes, for the first time, a giant $\sim$190 kpc arc in the north. We propose these arcs are fuelled by a low power radio AGN triggered by the merger. We also identified a bright $\sim$45 kpc radio ridge, which is likely related to the ionised gas nebula in that region. We combined this with high sensitivity data from APERture Tile In Focus (Apertif) and archival data from the Very Large Array (VLA) to explore the spectral properties. The ILT simultaneously allowed us to probe the nucleus at a resolution of $\sim$0.3 arcsec, where we detected three components, and, for the first time, diffuse emission around these components. Combining this with archival high frequency VLA images of the nucleus allowed us to detect absorption in one component, and a steep spectrum radio AGN in another. We then extrapolate from this case study to the importance of investigating the presence of radio emission in more ULIRGs and what it can tell us about the link between mergers and the presence of radio activity.


title: Plagiarism deterrence for introductory programming

abstract: Plagiarism in introductory programming courses is an enormous challenge for both students and institutions. For students, relying on the work of others too early in their academic development can make it impossible to acquire necessary skills for independent success in the future. For institutions, widespread student cheating can dilute the quality of the educational experience being offered. Currently available solutions consider only pairwise comparisons between student submissions and focus on punitive deterrence. Our approach instead relies on a class-wide statistical characterization that can be clearly and securely shared with students via an intuitive new p-value representing independence of student effort. A pairwise, compression-based similarity detection algorithm captures relationships between assignments more accurately. An automated deterrence system is used to warn students that their behavior is being closely monitored. High-confidence instances are made directly available for instructor review using our open-source toolkit. An unbiased scoring system aids students and the instructor in understanding true independence of effort. Preliminary results indicate that the system can provide meaningful measurements of independence from week one, improving the efficacy of technical education.


title: A Bird's-Eye Tutorial of Graph Attention Architectures

abstract: Graph Neural Networks (GNNs) have shown tremendous strides in performance for graph-structured problems especially in the domains of natural language processing, computer vision and recommender systems. Inspired by the success of the transformer architecture, there has been an ever-growing body of work on attention variants of GNNs attempting to advance the state of the art in many of these problems. Incorporating "attention" into graph mining has been viewed as a way to overcome the noisiness, heterogenity and complexity associated with graph-structured data as well as to encode soft-inductive bias. It is hence crucial and advantageous to study these variants from a bird's-eye view to assess their strengths and weaknesses. We provide a systematic and focused tutorial centered around attention based GNNs in a hope to benefit researchers dealing with graph-structured problems. Our tutorial looks at GNN variants from the point of view of the attention function and iteratively builds the reader's understanding of different graph attention variants.


title: GLF-CR: SAR-Enhanced Cloud Removal with Global-Local Fusion

abstract: The challenge of the cloud removal task can be alleviated with the aid of Synthetic Aperture Radar (SAR) images that can penetrate cloud cover. However, the large domain gap between optical and SAR images as well as the severe speckle noise of SAR images may cause significant interference in SAR-based cloud removal, resulting in performance degeneration. In this paper, we propose a novel global-local fusion based cloud removal (GLF-CR) algorithm to leverage the complementary information embedded in SAR images. Exploiting the power of SAR information to promote cloud removal entails two aspects. The first, global fusion, guides the relationship among all local optical windows to maintain the structure of the recovered region consistent with the remaining cloud-free regions. The second, local fusion, transfers complementary information embedded in the SAR image that corresponds to cloudy areas to generate reliable texture details of the missing regions, and uses dynamic filtering to alleviate the performance degradation caused by speckle noise. Extensive evaluation demonstrates that the proposed algorithm can yield high quality cloud-free images and outperform state-of-the-art cloud removal algorithms with a gain about 1.7dB in terms of PSNR on SEN12MS-CR dataset.


title: Synchronization of coupled Kuramoto oscillators competing for resources

abstract: Populations of oscillators are present throughout nature. Very often synchronization is observed in such populations if they are allowed to interact. A paradigmatic model for the study of such phenomena has been the Kuramoto model. However, considering real oscillations are rarely isochronous as a function of energy, it is natural to extend the model by allowing the natural frequencies to vary as a function of some dynamical resource supply. Beyond just accounting for a dynamical supply of resources, however, competition over a \emph{shared} resource supply is important in a variety of biological systems. In neuronal systems, for example, resource competition enables the study of neural activity via fMRI. It is reasonable to expect that this dynamical resource allocation should have consequences for the synchronization behavior of the brain. This paper presents a modified Kuramoto dynamics which includes additional dynamical terms that provide a relatively simple model of resource competition among populations of Kuramoto oscillators. We design a mutlilayer system which highlights the impact of the competition dynamics, and we show that in this designed system, correlations can arise between the synchronization states of two populations of oscillators which share no phase-coupling edges. These correlations are interesting in light of the often observed variance between functional and structural connectivity measures in real systems. The model presented here then suggests that some of the observed discrepancy may be explained by the way in which the brain dynamically allocates resources to different regions according to demand. If true, models such as this one provide a theoretical framework for analyzing the differences between structural and functional measures, and possibly implicate dynamical resource allocation as an integral part of the neural computation process.


title: CompartOS: CHERI Compartmentalization for Embedded Systems

abstract: Existing high-end embedded systems face frequent security attacks. Software compartmentalization is one technique to limit the attacks' effects to the compromised compartment and not the entire system. Unfortunately, the existing state-of-the-art embedded hardware-software solutions do not work well to enforce software compartmentalization for high-end embedded systems. MPUs are not fine-grained and suffer from significant scalability limitations as they can only protect a small and fixed number of memory regions. On the other hand, MMUs suffer from non-determinism and coarse-grained protection. This paper introduces CompartOS as a lightweight linkage-based compartmentalization model for high-end, complex, mainstream embedded systems. CompartOS builds on CHERI, a capability-based hardware architecture, to meet scalability, availability, compatibility, and fine-grained security goals. Microbenchmarks show that CompartOS' protection-domain crossing is 95% faster than MPU-based IPC. We applied the CompartOS model, with low effort, to complex existing systems, including TCP servers and a safety-critical automotive demo. CompartOS not only catches 10 out of 13 FreeRTOS-TCP published vulnerabilities that MPU-based protection (e.g., uVisor) cannot catch but can also recover from them. Further, our TCP throughput evaluations show that our CompartOS prototype is 52% faster than relevant MPU-based compartmentalization models (e.g., ACES), with a 15% overhead compared to an unprotected system. This comes at an FPGA's LUTs overhead of 10.4% to support CHERI for an unprotected baseline RISC-V processor, compared to 7.6% to support MPU, while CHERI only incurs 1.3% of the registers area overhead compared to 2% for MPU.


title: EAS optical Cherenkov signatures of tau neutrinos for space and suborbital detectors

abstract: Multi-messenger observations of transient astrophysical sources have the potential to characterize the highest energy accelerators and the most extreme environments in the Universe. Detection of neutrinos, in particular tau neutrinos generated by neutrino oscillations in transit from their sources to Earth, is possible for neutrino energies above 10 PeV using optical Cherenkov detectors imaging upward-moving extensive air showers (EAS). These EAS are produced from Earth interacting tau neutrinos leading to tau leptons that subsequently decay in the atmosphere. We compare neutrino detection sensitivities for generic short- and long-burst transient neutrino sources and sensitivities to the diffuse neutrino flux for the second generation Extreme Universe Space Observatory on a Super Pressure Balloon (EUSO-SPB2) balloon-borne mission and the proposed space-based Probe of Extreme Multi-Messenger Astrophysics (POEMMA) mission.


title: ESG-Valued Portfolio Optimization and Dynamic Asset Pricing

abstract: ESG ratings provide a quantitative measure for socially responsible investment. We present a unified framework for incorporating numeric ESG ratings into dynamic pricing theory. Specifically, we introduce an ESG-valued return that is a linearly constrained transformation of financial return and ESG score. This leads to a more complex portfolio optimization problem in a space governed by reward, risk and ESG score. The framework preserves the traditional risk aversion parameter and introduces an ESG affinity parameter. We apply this framework to develop ESG-valued: portfolio optimization; capital market line; risk measures; option pricing; and the computation of shadow riskless rates.


title: Efficient entity-based reinforcement learning

abstract: Recent deep reinforcement learning (DRL) successes rely on end-to-end learning from fixed-size observational inputs (e.g. image, state-variables). However, many challenging and interesting problems in decision making involve observations or intermediary representations which are best described as a set of entities: either the image-based approach would miss small but important details in the observations (e.g. ojects on a radar, vehicles on satellite images, etc.), the number of sensed objects is not fixed (e.g. robotic manipulation), or the problem simply cannot be represented in a meaningful way as an image (e.g. power grid control, or logistics). This type of structured representations is not directly compatible with current DRL architectures, however, there has been an increase in machine learning techniques directly targeting structured information, potentially addressing this issue. We propose to combine recent advances in set representations with slot attention and graph neural networks to process structured data, broadening the range of applications of DRL algorithms. This approach allows to address entity-based problems in an efficient and scalable way. We show that it can improve training time and robustness significantly, and demonstrate their potential to handle structured as well as purely visual domains, on multiple environments from the Atari Learning Environment and Simple Playgrounds.


title: Physics and semantic informed multi-sensor calibration via optimization theory and self-supervised learning

abstract: Achieving safe and reliable autonomous driving relies greatly on the ability to achieve an accurate and robust perception system; however, this cannot be fully realized without precisely calibrated sensors. Environmental and operational conditions as well as improper maintenance can produce calibration errors inhibiting sensor fusion and, consequently, degrading the perception performance. Traditionally, sensor calibration is performed in a controlled environment with one or more known targets. Such a procedure can only be carried out in between drives and requires manual operation; a tedious task if needed to be conducted on a regular basis. This sparked a recent interest in online targetless methods, capable of yielding a set of geometric transformations based on perceived environmental features, however, the required redundancy in sensing modalities makes this task even more challenging, as the features captured by each modality and their distinctiveness may vary. We present a holistic approach to performing joint calibration of a camera-lidar-radar trio. Leveraging prior knowledge and physical properties of these sensing modalities together with semantic information, we propose two targetless calibration methods within a cost minimization framework once via direct online optimization, and second via self-supervised learning (SSL).


title: Active aerosols

abstract: We report the dynamics and control of the orientational and positional order of ensembles of gold nanorods suspended in air at standard temperature and pressure using externally applied electric fields, demonstrating an active aerosol. Light filter, valve and gradient responses are shown, establishing active aerosols as a unique type of optical element we term component-less optics.


title: Nodal-line driven anomalous susceptibility in ZrSiS

abstract: We demonstrate a unique approach to test the signature of the nodal-line physics by thermodynamic methods. By measuring magnetic susceptibility in ZrSiS we found an intriguing temperature-driven crossover from dia- to paramagnetic behavior. We show that the anomalous behavior represents a real thermodynamic signature of the underlying nodal-line physics through the means o chemical pressure (isovalent substitution of Zr for Hf), quantum oscillations, and theoretical model ng. The anomalous part of the susceptibility is orbital by nature, and it arises due to the vicinity of the Fermi level to a degeneracy point created by the crossing of two nodal lines. Furthermore, an unexpected Lifshitz topological transition at the degeneracy point is revealed by tuning the Ferm level. The present findings in ZrSiS give a new and attractive starting point for various nodal-lin physics-related phenomena to be tested by thermodynamic methods in other related materials.


title: Almost Moore and the largest mixed graphs of diameters two and three

abstract: Almost Moore mixed graphs\/} appear in the context of the degree/diameter problem as a class of extremal mixed graphs, in the sense that their order is one unit less than the Moore bound for such graphs. The problem of their existence has been considered just for diameter $2$. In this paper, we give a complete characterization of these extremal mixed graphs for diameters 2 and 3. We also derive some optimal constructions for other diameters.


title: Tunneling in rippled graphene superlattice with spin dependence and a mass term

abstract: The insertion of the band gap $\Delta$ in the rippled graphene superlattice leads to new outcomes, as demonstrated. The essential thing is the appearance of opposite-spin transmissions, which increase with $\Delta$ and vanish without it. Furthermore, compared to the $\Delta=0$ scenario, the duration of the suppression of the transmission with the same spin is longer, with many peaks. The maximum value of transmissions with the same spin declines and remains around unity. Furthermore, for particular energy values, a shift in the behavior of the transmission channels is found. As a result, we demonstrate that with $\Delta$, transmission filtering becomes crucial. Finally, as a result of the band gap, distinct variations in total conductance are discovered.


title: Heavy quark diffusion coefficient with gradient flow

abstract: We calculate chromo-electric and chromo-magnetic correlators in quenched QCD at $1.5T_c$ and $10^4 T_c$ with the aim to estimate the heavy quark diffusion coefficient at leading order in the inverse heavy quark mass expansion, $\kappa_E$, as well as the coefficient of first mass suppressed correction, $\kappa_B$. We use gradient flow for noise reduction. At $1.5T_c$ we obtain: $1.70 \le \kappa_E/T^3 \le 3.12$ and $1.03< \kappa_B/T^3 < 2.61$. The latter implies that the mass suppressed effects in the heavy quark diffusion coefficient are 20% for bottom quarks and 34% for charm quark at this temperature.


title: Beam Alignment Using Trajectory Information in Mobile Millimeter-wave Networks

abstract: Millimeter-wave and terahertz systems rely on beamforming/combining codebooks to determine the best beam directions during the initial access and data transmission. Existing approaches suffer from large codebook sizes and high beam searching overhead in the presence of mobile devices. To address this issue, we utilize the similarity of the channel in adjacent locations to divide the user trajectory into a set of separate regions and maintain a set of candidate beams for each region in a database. Due to the tradeoff between the number of regions and the signalling overhead, i.e., the greater number of regions results in a higher signal-to-noise ratio (SNR) but also a larger signalling overhead for the database, we propose an optimization framework to find the minimum number of regions based on the trajectory of a mobile device. Using a ray tracing tool, we demonstrate that the proposed method provides high SNR while being more robust to the location information accuracy in comparison to the lookup table baseline and fixed size region baseline.


title: Real Schur norms and Hadamard matrices

abstract: We present a preliminary study of Schur norms $\|M\|_{S}=\max\{ \|M\circ C\|: \|C\|=1\}$, where M is a matrix whose entries are $\pm1$, and $\circ$ denotes the entrywise (i.e., Schur or Hadamard) product of the matrices. We show that, if such a matrix M is n-by-n, then its Schur norm is bounded by $\sqrt{n}$, and equality holds if and only if it is a Hadamard matrix. We develop a numerically efficient method of computing Schur norms, and as an application of our results we present several almost Hadamard matrices that are better than were previously known.


title: Strain-induced magnetization control in an oxide multiferroic heterostructure

abstract: Controlling magnetism by using electric fields is a goal of research towards novel spintronic devices and future nano-electronics. For this reason, multiferroic heterostructures attract much interest. Here we provide experimental evidence, and supporting DFT analysis, of a transition in La0.65Sr0.35MnO3 (LSMO) thin film to a stable ferromagnetic phase, that is induced by the structural and strain properties of the ferroelectric BaTiO3 (BTO) substrate, which can be modified by applying external electric fields. X-ray Magnetic Circular Dichroism (XMCD) measurements on Mn L edges with a synchrotron radiation show, in fact two magnetic transitions as a function of temperature that correspond to structural changes of the BTO substrate. We also show that ferromagnetism, absent in the pristine condition at room temperature, can be established by electrically switching the BTO ferroelectric domains in the out-of-plane direction. The present results confirm that electrically induced strain can be exploited to control magnetism in multiferroic oxide heterostructures.


title: Effects of wavelength on vortex structure and turbulence kinetic energy transfer of flow over undulated cylinders

abstract: Passive flow control research is commonly utilized to provide desirable drag and oscillating lift reduction across a range of engineering applications. This research explores the spanwise undulated cylinder inspired by seal whiskers, shown to reduce lift and drag forces when compared to smooth cylinders. Although the fluid flow over this unique complex geometry has been documented experimentally and computationally, investigations surrounding geometric modifications to the undulation topography have been limited, and fluid mechanisms by which force reduction is induced have not been fully examined. Five undulation wavelength variations of the undulated cylinder model are simulated at Reynolds number $\Rey=250$ and compared with results from a smooth elliptical cylinder. Vortex structures and turbulence kinetic energy (TKE) transfer in the wake are analyzed to explain how undulation wavelength affects force reduction. Modifications to the undulation wavelength generate a variety of flow patterns including alternating vortex rollers and hairpin vortices. Maximum force reduction is observed at wavelengths that are large enough to allow hairpin vortices to develop without intersecting each other and small enough to prevent the generation of additional alternating flow structures. The differences in flow structures modify the magnitude and location of TKE production and dissipation due to changes in mean and fluctuating strain. Decreased TKE production and increased dissipation in the near wake result in overall lower TKE and reduced body forces. Understanding the flow physics linking geometry to force reduction will guide appropriate parameter selection in bio-inspired design applications.


title: Local Cohomology of Module of Differentials of Integral Extensions II

abstract: In this note ($R, m$) denotes a complete regular local ring and $B$ mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of $\Omega_{B/R}$ in equicharacteristic $0$, ii) to establish a connection between each of $\Omega_{B/R}$ and $\Omega_{B/V}$ and pull-back of $\Omega_{A/V}$ via a short exact sequence together with new observations on corresponding local cohomologies in mixed characteristic where $V$ is the coefficient ring of $R$ and $A$ is its absolute integral closure, iii) to demonstrate that $\Omega_{B/R}$ can be mapped onto a cohomologically Cohen-Macaulay module and iv) to study torsion-free property for $\Omega_{C/V}$ and $\Omega_{C/k}$ along with their respective completions where $C$ is an integral domain and a module finite extension of $R$. In this connection an extension of Suzuki's theorem on normality of complete intersections to the formal set-up in all characteristics is accomplished.


title: Every Finite Poset is Isomorphic to a Saturated Subset of the Spectrum of a Noetherian UFD

abstract: We show that every finite poset is isomorphic to a saturated subset of the spectrum of a Noetherian unique factorization domain. In addition, we show that every finite poset is isomorphic to a saturated subset of the spectrum of a quasi-excellent domain.


title: A Human-Centric Take on Model Monitoring

abstract: Predictive models are increasingly used to make various consequential decisions in high-stakes domains such as healthcare, finance, and policy. It becomes critical to ensure that these models make accurate predictions, are robust to shifts in the data, do not rely on spurious features, and do not unduly discriminate against minority groups. To this end, several approaches spanning various areas such as explainability, fairness, and robustness have been proposed in recent literature. Such approaches need to be human-centered as they cater to the understanding of the models to their users. However, there is a research gap in understanding the human-centric needs and challenges of monitoring machine learning (ML) models once they are deployed. To fill this gap, we conducted an interview study with 13 practitioners who have experience at the intersection of deploying ML models and engaging with customers spanning domains such as financial services, healthcare, hiring, online retail, computational advertising, and conversational assistants. We identified various human-centric challenges and requirements for model monitoring in real-world applications. Specifically, we found the need and the challenge for the model monitoring systems to clarify the impact of the monitoring observations on outcomes. Further, such insights must be actionable, robust, customizable for domain-specific use cases, and cognitively considerate to avoid information overload.


title: $u$-generation: solving systems of polynomials equation-by-equation

abstract: We develop a new method that improves the efficiency of equation-by-equation algorithms for solving polynomial systems. Our method is based on a novel geometric construction, and reduces the total number of homotopy paths that must be numerically continued. These improvements may be applied to the basic algorithms of numerical algebraic geometry in the settings of both projective and multiprojective varieties. Our computational experiments demonstrate significant savings obtained on several benchmark systems. We also present an extended case study on maximum likelihood estimation for rank-constrained symmetric $n\times n$ matrices, in which multiprojective $u$-generation allows us to complete the list of ML degrees for $n\le 6.$


title: Transient absorption microscopy setup with multi-ten-kilohertz shot-to-shot subtraction and discrete Fourier analysis

abstract: Recording of transient absorption microscopy images requires fast detection of minute optical density changes, which is typically achieved with high-repetition-rate laser sources and lock-in detection. Here, we present a highly flexible and cost-efficient detection scheme based on a conventional photodiode and an USB oscilloscope with MHz bandwidth, that deviates from the commonly used lock-in scheme and achieves benchmark sensitivity. Our scheme combines shot-to-shot evaluation of pump-probe and probe-only measurements, a home-built photodetector circuit optimized for low pulse energies applying low-pass amplification, and a custom evaluation algorithm based on Fourier transformation. Advantages of this approach include abilities to simultaneously monitor multiple frequencies, parallelization of multiple detector channels, and detection of different pulse sequences (e.g., include pump-only). With a 40 kHz repetition-rate laser system powering two non-collinear optical parametric amplifiers for wide tuneability, we demonstrate the 2-D imaging performance of our transient absorption microscope with studies on micro-crystalline molecular thin films.


title: Cooperation among an anonymous group protected Bitcoin during failures of decentralization

abstract: Bitcoin is a digital currency designed to rely on a decentralized, trustless network of anonymous agents. Using a pseudonymous-address-linking procedure that achieves >99% sensitivity and >99% specificity, we reveal that between launch (January 3rd, 2009), and when the price reached $1 (February 9th, 2011), most bitcoin was mined by only sixty-four agents. This was due to the rapid emergence of Pareto distributions in bitcoin income, producing such extensive resource centralization that almost all contemporary bitcoin addresses can be connected to these top agents by a chain of six transactions. Centralization created a social dilemma. Attackers could routinely exploit bitcoin via a "51% attack", making it possible for them to repeatedly spend the same bitcoins. Yet doing so would harm the community. Strikingly, we find that potential attackers always chose to cooperate instead. We model this dilemma using an N-player Centipede game in which anonymous players can choose to exploit, and thereby undermine, an appreciating good. Combining theory and economic experiments, we show that, even when individual payoffs are unchanged, cooperation is more frequent when the game is played by an anonymous group. Although bitcoin was designed to rely on a decentralized, trustless network of anonymous agents, its early success rested instead on cooperation among a small group of altruistic founders.


title: Optimal Adjacency Labels for Subgraphs of Cartesian Products

abstract: For any hereditary graph class $F$, we construct optimal adjacency labeling schemes for the classes of subgraphs and induced subgraphs of Cartesian products of graphs in $F$. As a consequence, we show that, if $F$ admits efficient adjacency labels (or, equivalently, small induced-universal graphs) meeting the information-theoretic minimum, then the classes of subgraphs and induced subgraphs of Cartesian products of graphs in $F$ do too. Our proof uses ideas from randomized communication complexity, hashing, and additive combinatorics, and improves upon recent results of Chepoi, Labourel, and Ratel [Journal of Graph Theory, 2020].


title: No Parameter Left Behind: How Distillation and Model Size Affect Zero-Shot Retrieval

abstract: Recent work has shown that small distilled language models are strong competitors to models that are orders of magnitude larger and slower in a wide range of information retrieval tasks. This has made distilled and dense models, due to latency constraints, the go-to choice for deployment in real-world retrieval applications. In this work, we question this practice by showing that the number of parameters and early query-document interaction play a significant role in the generalization ability of retrieval models. Our experiments show that increasing model size results in marginal gains on in-domain test sets, but much larger gains in new domains never seen during fine-tuning. Furthermore, we show that rerankers largely outperform dense ones of similar size in several tasks. Our largest reranker reaches the state of the art in 12 of the 18 datasets of the Benchmark-IR (BEIR) and surpasses the previous state of the art by 3 average points. Finally, we confirm that in-domain effectiveness is not a good indicator of zero-shot effectiveness. Code is available at https://github.com/guilhermemr04/scaling-zero-shot-retrieval.git


title: Dissecting Tensor Cores via Microbenchmarks: Latency, Throughput and Numeric Behaviors

abstract: Tensor Cores have been an important unit to accelerate Fused Matrix Multiplication Accumulation (MMA) in all NVIDIA GPUs since Volta Architecture. To program Tensor Cores, users have to use either legacy wmma APIs or current mma APIs. Legacy wmma APIs are more easy-to-use but can only exploit limited features and power of Tensor Cores. Specifically, wmma APIs support fewer operand shapes and can not leverage the new sparse matrix multiplication feature of the newest Ampere Tensor Cores. However, the performance of current programming interface has not been well explored. Furthermore, the computation numeric behaviors of low-precision floating points (TF32, BF16, and FP16) supported by the newest Ampere Tensor Cores are also mysterious. In this paper, we explore the throughput and latency of current programming APIs. We also intuitively study the numeric behaviors of Tensor Cores MMA and profile the intermediate operations including multiplication, addition of inner product, and accumulation. All codes used in this work can be found in https://github.com/sunlex0717/DissectingTensorCores.


title: Discussion on Nonlinear Dynamic Behavior of Suspension Based Bridge Model

abstract: In this paper we explore the numerical study. of the Nonlinear Behavior of Suspension Bridge Models. The study of suspension bridges is one of the classic problems of mechanical vibrations, one of the most famous collapses of which was that of the Tacoma Narrows Bridge. This paper covers an initial explanation of vibrations in a suspension bridge. To do this, three different systems are going to be simulated: The first being a system where only the vertical vibrations of the bridge deck are taken into account, the second covering the vibrations of the main cable and the roadbed, and lastly, a system that takes both vertical and torsional vibrations into account. A time-frequency analysis will also be done on all systems with temporal response, Fast Fourier Transform (FFT) and Continuous Wavelet Transform (CWT), plus in a specific case the use of Hilbert-Huang transform (HHT). Poincare maps and Lyapunov exponents are used to characterize the dynamics of the system. In particular, in the vertical and torsional system, an explanation of why the Tacoma Bridge oscillations have undergone an abrupt change from vertical to torsional oscillations. Thus, extremely rich dynamic behaviors are studied by numerical simulation in the time and frequency domains.


title: SpikiLi: A Spiking Simulation of LiDAR based Real-time Object Detection for Autonomous Driving

abstract: Spiking Neural Networks are a recent and new neural network design approach that promises tremendous improvements in power efficiency, computation efficiency, and processing latency. They do so by using asynchronous spike-based data flow, event-based signal generation, processing, and modifying the neuron model to resemble biological neurons closely. While some initial works have shown significant initial evidence of applicability to common deep learning tasks, their applications in complex real-world tasks has been relatively low. In this work, we first illustrate the applicability of spiking neural networks to a complex deep learning task namely Lidar based 3D object detection for automated driving. Secondly, we make a step-by-step demonstration of simulating spiking behavior using a pre-trained convolutional neural network. We closely model essential aspects of spiking neural networks in simulation and achieve equivalent run-time and accuracy on a GPU. When the model is realized on a neuromorphic hardware, we expect to have significantly improved power efficiency.


title: Convex Relaxation for Optimal Fixture Layout Design

abstract: This paper proposes a general fixture layout design framework that directly integrates the system equation with the convex relaxation method. Note that the optimal fixture design problem is a large-scale combinatorial optimization problem, we relax it to a convex semidefinite programming (SDP) problem by adopting sparse learning and SDP relaxation techniques. It can be solved efficiently by existing convex optimization algorithms and thus generates a near-optimal fixture layout. A real case study in the half-to-half fuselage assembly process indicates the superiority of our proposed algorithm compared to the current industry practice and state-of-art methods.


title: TPP: Transparent Page Placement for CXL-Enabled Tiered-Memory

abstract: The increasing demand for memory in hyperscale applications has led to memory becoming a large portion of the overall datacenter spend. The emergence of coherent interfaces like CXL enables main memory expansion and offers an efficient solution to this problem. In such systems, the main memory can constitute different memory technologies with varied characteristics. In this paper, we characterize memory usage patterns of a wide range of datacenter applications across the server fleet of Meta. We, therefore, demonstrate the opportunities to offload colder pages to slower memory tiers for these applications. Without efficient memory management, however, such systems can significantly degrade performance. We propose a novel OS-level application-transparent page placement mechanism (TPP) for CXL-enabled memory. TPP employs a lightweight mechanism to identify and place hot/cold pages to appropriate memory tiers. It enables a proactive page demotion from local memory to CXL-Memory. This technique ensures a memory headroom for new page allocations that are often related to request processing and tend to be short-lived and hot. At the same time, TPP can promptly promote performance-critical hot pages trapped in the slow CXL-Memory to the fast local memory, while minimizing both sampling overhead and unnecessary migrations. TPP works transparently without any application-specific knowledge and can be deployed globally as a kernel release. We evaluate TPP in the production server fleet with early samples of new x86 CPUs with CXL 1.1 support. TPP makes a tiered memory system performant as an ideal baseline (<1% gap) that has all the memory in the local tier. It is 18% better than today's Linux, and 5-17% better than existing solutions including NUMA Balancing and AutoTiering. Most of the TPP patches have been merged in the Linux v5.18 release.