title: Worldtube excision method for intermediate-mass-ratio inspirals: self-consistent evolution in a scalar-charge model

abstract: This is a third installment in a program to develop a method for alleviating the scale disparity in binary black hole simulations with mass ratios in the intermediate astrophysical range, where simulation cost is prohibitive while purely perturbative methods may not be adequate. The method is based on excising a "worldtube" around the smaller object, much larger than the object itself, replacing it with an analytical model that approximates a tidally deformed black hole. Previously (arXiv:2304.05329) we have tested the idea in a toy model of a scalar charge in a fixed circular geodesic orbit around a Schwarzschild black hole, solving for the massless Klein-Gordon field in 3+1 dimensions on the SpECTRE platform. Here we take the significant further step of allowing the orbit to evolve radiatively, in a self-consistent manner, under the effect of back-reaction from the scalar field. We compute the inspiral orbit and the emitted scalar-field waveform, showing a good agreement with perturbative calculations in the adiabatic approximation. We also demonstrate how our simulations accurately resolve post-adiabatic effects (for which we do not have perturbative results). In this work we focus on quasi-circular inspirals. Our implementation will shortly be publicly accessible in the SpECTRE numerical relativity code.


title: HST astrometry of the closest Brown Dwarfs -- II. Improved parameters and constraints on a third body

abstract: Located at less than 2pc away, Luhman16AB (WISE.J104915.57-531906.1) is the closest pair of brown dwarfs and third closest `stellar' system to Earth. An exoplanet candidate in the Luhman16 binary system was reported in 2017 based on a weak astrometric signature in the analysis of 12 HST epochs. An additional epoch collected in 2018 and re-analysis of the data with more advanced methods further increased the significance level of the candidate, consistent with a Neptune-mass exoplanet orbiting one of the Luhman16 brown dwarf components. We report the joint analysis of these previous data together with two new astrometric HST epochs we obtained to confirm or disprove this astrometric signature. Our new analysis rules out presence of a planet orbiting one component of the Luhman16AB system for masses M > 1.5 M_Nep (Neptune masses) and periods between 400 and 5000 days. However, the presence of third bodies with masses M < 3 M_Nep and periods between 2 and 400 days (~1.1yrs) can not be excluded. Our measurements make significant improvements to the characterization of this sub-stellar binary, including its mass-ratio 0.8305+/-0.0006, individual component masses 35.4+/-0.2 M_Jup and 29.4+/-0.2 M_Jup (Jupiter masses), and parallax distance 1.9960pc +/- 50AU. Comparison of the masses and luminosities of Luhman16AB to several evolutionary models shows persistent discrepancies in the ages of the two components, but strengthens the case that this system is a member of the 510+/-95 Myr Oceanus Moving Group.


title: Measuring the molecular Migdal effect with neutron scattering on diatomic gases

abstract: The Migdal effect is a key inelastic signal channel which could be used to detect low-mass dark matter, but it has never been observed experimentally using Standard Model probes. Here we propose an experiment which could detect the Migdal effect in diatomic molecules through low-energy neutron scattering. The enhancement of the Migdal rate through non-adiabatic couplings, which are absent in isolated atoms, combined with the distinctive photon energies of electronic transitions in CO, suggest that a positive detection of the molecular Migdal effect may be possible with modest beam times at existing neutron facilities.

categories: hep-ex cond-mat.quant-gas hep-ph physics.atom-ph physics.chem-ph


title: Finite temperature electric field induced two-dimensional coherent nonlinear spectroscopy in a Kitaev magnet

abstract: We study electric field induced two-dimensional coherent nonlinear optical spectroscopy (2DCS) in a Kitaev magnet at finite temperature. We show that 2DCS is susceptible to both types of fractional quasiparticles of this quantum spin-liquid, i.e., fermions and flux visons. Focusing on the second order response, we find a strong antidiagonal feature in the two-dimensional frequency plane, related to the galvanoelectric effect of the fractional fermions. Perpendicular to the antidiagonal, the width of this feature is set by quasiparticle relaxation rates beyond the bare Kitaev magnet, thereby providing access to single-particle characteristics within the multi-particle 2DCS continuum. While the structure of the 2DCS susceptibility stems from the fermionic quasiparticles and displays Fermi blocking versus temperature, the emergent bond randomness which arises due to thermally populated visons strongly modifies the fermionic spectrum. Therefore also the presence of gauge excitations is manifest in the 2DCS susceptibility as the temperature is increased beyond the flux proliferation crossover. Our results are consistent with and extend previous findings on second harmonic generation in Kitaev magnets.


title: Partitioned Quantum Subspace Expansion

abstract: We present an iterative generalisation of the quantum subspace expansion algorithm used with a Krylov basis. The iterative construction connects a sequence of subspaces via their lowest energy states. Diagonalising a Hamiltonian in a given Krylov subspace requires the same quantum resources in both the single step and sequential cases. We propose a variance-based criterion for determining a good iterative sequence and provide numerical evidence that these good sequences display improved numerical stability over a single step in the presence of finite sampling noise. Implementing the generalisation requires additional classical processing with a polynomial overhead in the subspace dimension. By exchanging quantum circuit depth for additional measurements the quantum subspace expansion algorithm appears to be an approach suited to near term or early error-corrected quantum hardware. Our work suggests that the numerical instability limiting the accuracy of this approach can be substantially alleviated beyond the current state of the art.


title: ALMA reveals a compact and massive molecular outflow driven by the young AGN in a nearby ULIRG

abstract: The ultra luminous infrared galaxy (ULIRG) F13451+1232 is an excellent example of a galaxy merger in the early stages of active galactic nucleus (AGN) activity, a phase in which AGN-driven outflows are expected to be particularly important. However, previous observations have determined that the mass outflow rates of the warm ionised and neutral gas phases in F13451+1232 are relatively modest, and there has been no robust detection of molecular outflows. Using high spatial resolution ALMA CO(1-0) observations, we detect a kiloparsec-scale circumnuclear disk, as well as extended ($r\sim440$ pc), intermediate-velocity (300<|$v$|<400 km s$^{-1}$) cold molecular gas emission that cannot be explained by rotational disk motions. If interpreted as AGN-driven outflows, the mass outflow rates associated with this intermediate-velocity gas are relatively modest ($\dot{M}_\mathrm{out}=22$-$27$ M$_\odot$ yr$^{-1}$); however, we also detect a compact ($r_\mathrm{out}$<120 pc), high velocity (400<$v$<680 km s$^{-1}$) cold molecular outflow near the primary nucleus of F13451+1232, which carries an order of magnitude more mass ($\dot{M}_\mathrm{out}\sim230$ M$_\odot$ yr$^{-1}$) than (and several times the kinetic power of) the previously-detected warmer phases. Moreover, the similar spatial scales of this compact outflow and the radio structure indicate that it is likely accelerated by the small-scale ($r\sim130$ pc) AGN jet in the primary nucleus of F13451+1232. Considering the compactness of the nuclear outflow and intermediate-velocity non-rotating gas that we detect, we argue that high spatial-resolution observations are necessary to properly quantify the properties of AGN-driven outflows and their impacts on host galaxies.


title: White Dwarf Pollution: One Star or Two?

abstract: The accretion of tidally disrupted planetary bodies is the current consensus model for the presence of photospheric metals commonly detected in white dwarfs. While most dynamical studies have considered a single star and associated planetary instabilities, several investigations have instead considered the influence of widely-bound stellar companions as potential drivers of white dwarf pollution. This study examines the prevalence of wide binaries among polluted white dwarfs using Gaia Data Release 3 astrometry, where three samples are investigated: 71 DAZ stars with metals detected in the ultraviolet using the Hubble Space Telescope, and two groups of DZ stars identified via Sloan Digital Sky Survey spectroscopy, comprised of 116 warmer and 101 cooler sources. Each sample was searched for spatially-resolved, co-moving companions, and compared to the same analysis of thousands of field white dwarfs within overlapping regions of the Gaia Hertzsprung-Russell diagram. The wide binary fraction of the DAZ sample is $10.6_{-3.2}^{+3.9}$ per cent, and within $1 \sigma$ of the corresponding field. However, the search yields wide binary fractions of less than 1.8 per cent for the two independent DZ star catalogues, which are each distinct from their fields by more than $3 \sigma$. Both sets of results support that pollution in white dwarfs is not the result of stellar companions, and the delivery of metals to white dwarf surfaces is caused by major planets. The discrepancy between the DAZ and DZ star wide binary fractions cannot be caused by white dwarf spectral evolution, suggesting these two populations may have distinct planetary architectures.


title: Signatures of Circumbinary Disk Dynamics in Multi-Messenger Population Studies of Massive Black Hole Binaries

abstract: We investigate the effect of cutting-edge circumbinary disk (CBD) evolution models on massive black hole binary (MBHB) populations and the gravitational wave background (GWB). We show that CBD-driven evolution leaves a tell-tale signature in MBHB populations, by driving binaries towards an equilibrium eccentricity that depends on binary mass ratio. We find high orbital eccentricities ($e_{\rm b} \sim 0.5$) as MBHBs enter multi-messenger observable frequency bands. The CBD-induced eccentricity distribution of MBHB populations in observable bands is independent of the initial eccentricity distribution at binary formation, erasing any memory of eccentricities induced in the large-scale dynamics of merging galaxies. Our results suggest that eccentric MBHBs are the rule rather than the exception in upcoming transient surveys, provided that CBDs regularly form in MBHB systems. We show that the GWB amplitude is sensitive to CBD-driven preferential accretion onto the secondary, resulting in an increase in GWB amplitude $A_{\rm yr^{-1}}$ by over 100\% with just 10\% Eddington accretion. As we self consistently allow for binary hardening and softening, we show that CBD-driven orbital expansion does not diminish the GWB amplitude, and instead increases the amplitude by a small amount. We further present detection rates and population statistics of MBHBs with $M_{\rm b} \gtrsim 10^6 \, M_{\odot}$ in LISA, showing that most binaries have equal mass ratios and can retain residual eccentricities up to $e_{\rm b} \sim 10^{-3}$ due to CBD-driven evolution.


title: Galaxy Build-up in the first 1.5 Gyr of Cosmic History: Insights from the Stellar Mass Function at $z\sim4-9$ from JWST NIRCam Observations

abstract: Combining the public JWST/NIRCam imaging programs CEERS, PRIMER and JADES, spanning a total area of $\sim$500 arcmin$^2$, we obtain a sample of $>$30,000 galaxies at $z\sim4-9$ that allows us to perform a complete, rest-optical selected census of the galaxy population at $z>3$. Comparing the stellar mass $M_*$ and the UV-slope $\beta$ distributions between JWST- and HST-selected samples, we generally find very good agreement and no significant biases. Nevertheless, JWST enables us to probe a small population of UV-red galaxies that was missing from previous HST-based LBG samples. We measure galaxy stellar mass functions (SMFs) at $z\sim4-9$ and show that they are broadly consistent with existing literature results. However, UV-red galaxies dominate the high-mass end of the SMF at least out to $z\sim6$. In particular the most massive galaxies typically show very red colors between $\lambda_{obs}\sim1.5\mu$m and $\sim4.5\mu$m, and thus JWST's unprecedented resolution and sensitivity at these wavelengths yields more accurate constraints on their abundance and masses. The implied redshift evolution of the high-mass end of the SMF suggests a rapid build-up of massive dust-obscured as well as quiescent galaxies from $z\sim6$ to $z\sim4$ as well as an enhanced efficiency of star formation towards earlier times ($z\gtrsim6$). We find the SMFs to be steep over the entire redshift range, and slightly steepening with redshift from $z\sim 4-6$, reaching values of $\approx-2$ at $z\gtrsim6$. Finally, we show that the galaxy mass density grows by a factor $\sim20\times$ in the $\sim1$ Gyr of cosmic time from $z\sim9$ to $z\sim4$. Our results emphasize the importance of rest-frame optically-selected samples in inferring accurate distributions of physical properties and studying the mass build-up of galaxies in the first 1.5 Gyr of cosmic history.


title: Friends not Foes: Strong Correlation between Inner Super-Earths and Outer Gas Giants

abstract: The connection between outer gas giants and inner super-Earths reflects their formation and evolutionary histories. Past work exploring this link has suggested a tentative positive correlation between these two populations, but these studies have been limited by small sample sizes and in some cases sample biases. Here we take a new look at this connection with a sample of 184 super-Earth systems with publicly available radial velocity data and resolved outer gas giants. We calculate the frequency of outer gas giants (GG) in super-Earth (SE) systems, dividing our sample into metal-rich ([Fe/H] $>$ 0) and metal-poor ([Fe/H]$\leq$0) hosts. We find P(GG$|$SE, [Fe/H]$>$0) = 28.0$^{+4.9}_{-4.6}\%$ and P(GG$|$SE, [Fe/H]$\leq$0) = 4.5$^{+2.6}_{-1.9}\%$. Comparing these conditional occurrence rates to field giant occurrence rates from Rosenthal et al 2021, we show that there is a distinct positive correlation between inner super-Earths and outer gas giants for metal-rich host stars at the 2.7$\sigma$ level, but this correlation disappears for metal-poor systems. We further find that, around metal-rich stars, the GG/SE correlation enhances slightly for systems with giants that are more distant (beyond 3 AU), more eccentric ($e > 0.2$), and/or in multi-gas giant systems. Such trends disappear around metal-poor stars with the exception of systems of multiple giants in which we observe a tentative anti-correlation. Our findings highlight the critical role metallicity (disk solid budget) plays in shaping the overall planetary architecture.


title: TMDs from Semi-inclusive Energy Correlators

abstract: We introduce a novel category of observables known as the Semi-Inclusive Energy Correlators (SIECs), an extension of the recently proposed nucleon energy correlator to integrate a new element, the fragmenting energy correlation function. These SIECs gauge the correlation between the examined hadron and the surrounding radiations, providing a comprehensive tomography of the radiative patterns originating from initial state radiation or parton fragmentation. As such, they could function as the generating functions for numerous kinematic distributions. To illustrate, we find a direct relation between the transverse momentum moments (TMMs) of the transverse momentum-dependent (TMD) distributions and the SIECs. We demonstrate how the TMMs of the TMD parton distributions and the fragmentation functions can be distinctively derived from the nucleon energy correlator and the fragmenting energy correlator, respectively, without enforcing the back-to-back kinematics.


title: Quantum fluctuating theory for one-dimensional shock waves

abstract: We study the formation and the subsequent dynamics of shock waves in repulsive one-dimensional Bose gases during the free expansion of a density hump. By building coherent Fermi states for interacting Bethe fermions, we define a quantum fluctuating initial state expressed in terms of universal quantities, namely the density and the Luttinger parameter. In the integrable case, this fluctuating state is then evolved by generalized hydrodynamics (GHD) and, differently from non-fluctuating initial states, it develops density ripples on top of the hydrodynamic mean value. Our analysis gives a general theory of quantum ripples and wave breaking in integrable and quasi-integrable one-dimensional liquids and clarifies the role of the interaction strength. In particular, for strongly/intermediately interacting bosons, we find quantum ripples originating from low-energy modes at the Fermi surface interfering when transported by GHD. In the low coupling limit, near the quasicondensate regime, we find instead that density ripples have a semi-classical nature, and their description requires information on the curvature of the Fermi surface.


title: ARtVista: Gateway To Empower Anyone Into Artist

abstract: Drawing is an art that enables people to express their imagination and emotions. However, individuals usually face challenges in drawing, especially when translating conceptual ideas into visually coherent representations and bridging the gap between mental visualization and practical execution. In response, we propose ARtVista - a novel system integrating AR and generative AI technologies. ARtVista not only recommends reference images aligned with users' abstract ideas and generates sketches for users to draw but also goes beyond, crafting vibrant paintings in various painting styles. ARtVista also offers users an alternative approach to create striking paintings by simulating the paint-by-number concept on reference images, empowering users to create visually stunning artwork devoid of the necessity for advanced drawing skills. We perform a pilot study and reveal positive feedback on its usability, emphasizing its effectiveness in visualizing user ideas and aiding the painting process to achieve stunning pictures without requiring advanced drawing skills. The source code will be available at https://github.com/htrvu/ARtVista.


title: Collapsar disk outflows I: Viscous hydrodynamic evolution in axisymmetry

abstract: We investigate mass ejection from accretion disks formed during the collapse of rapidly-rotating Wolf-Rayet stars. The neutrino-cooled, black hole (BH) accretion disk system that forms at the center of the star -- and the ensuing outflows -- provide the conditions for these systems to be candidate $r$-process element production sites and potential progenitors of broad-lined Type Ic (Ic-BL) supernovae. Here we present global, long-term axisymmetric hydrodynamic simulations of collapsar disks that include angular momentum transport through shear viscosity, neutrino emission and absorption, a 19-isotope nuclear reaction network and nuclear statistical equilibrium solver, a pseudo-Newtonian BH with mass and spin modified by accreted matter, and self-gravity. Starting from a stellar profile collapsed in spherical symmetry, our models capture disk formation self-consistently, and are evolved until after the shock wave -- driven by disk winds -- reaches the surface of the star. None of our models achieve sufficient neutronization to eject significant amounts of $r$-process elements (detailed nucleosynthesis calculations will follow in a companion paper). Sufficient $^{56}$Ni is produced to power a typical type Ic-BL supernova light curve, but the average asymptotic velocity is a factor $\sim 2-3$ times too slow to account for the typical line widths in type Ic-BL supernova spectra. The gap in neutrino emission between BH formation and shocked disk formation, and the magnitude of the subsequent peak in emission, would be observable diagnostics of the internal conditions of the progenitor in a galactic collapsar. Periodic oscillations of the shocked disk prior to its expansion are also a potential observable through their impact on the the neutrino and gravitational wave signals.


title: White Dwarf Merger Remnants: The DAQ Subclass

abstract: Four years after the discovery of a unique DAQ white dwarf with a hydrogen-dominated and carbon-rich atmosphere, we report the discovery of four new DAQ white dwarfs, including two that were not recognized properly in the literature. We find all five DAQs in a relatively narrow mass and temperature range of $M=1.14-1.19~M_{\odot}$ and $T_{\rm eff}=13,000-17,000$ K. In addition, at least two show photometric variations due to rapid rotation with $\approx10$ min periods. All five are also kinematically old, but appear photometrically young with estimated cooling ages of about 1 Gyr based on standard cooling tracks, and their masses are roughly twice the mass of the most common white dwarfs in the solar neighborhood. These characteristics are smoking gun signatures of white dwarf merger remnants. Comparing the DAQ sample with warm DQ white dwarfs, we demonstrate that there is a range of hydrogen abundances among the warm DQ population, and the distinction between DAQ and warm DQ white dwarfs is superficial. We discuss the potential evolutionary channels for the emergence of the DAQ subclass, and suggest that DAQ white dwarfs are trapped on the crystallization sequence, and may remain there for a significant fraction of the Hubble time.


title: Multi-Objective Optimization Using Adaptive Distributed Reinforcement Learning

abstract: The Intelligent Transportation System (ITS) environment is known to be dynamic and distributed, where participants (vehicle users, operators, etc.) have multiple, changing and possibly conflicting objectives. Although Reinforcement Learning (RL) algorithms are commonly applied to optimize ITS applications such as resource management and offloading, most RL algorithms focus on single objectives. In many situations, converting a multi-objective problem into a single-objective one is impossible, intractable or insufficient, making such RL algorithms inapplicable. We propose a multi-objective, multi-agent reinforcement learning (MARL) algorithm with high learning efficiency and low computational requirements, which automatically triggers adaptive few-shot learning in a dynamic, distributed and noisy environment with sparse and delayed reward. We test our algorithm in an ITS environment with edge cloud computing. Empirical results show that the algorithm is quick to adapt to new environments and performs better in all individual and system metrics compared to the state-of-the-art benchmark. Our algorithm also addresses various practical concerns with its modularized and asynchronous online training method. In addition to the cloud simulation, we test our algorithm on a single-board computer and show that it can make inference in 6 milliseconds.


title: REFRESH: Responsible and Efficient Feature Reselection Guided by SHAP Values

abstract: Feature selection is a crucial step in building machine learning models. This process is often achieved with accuracy as an objective, and can be cumbersome and computationally expensive for large-scale datasets. Several additional model performance characteristics such as fairness and robustness are of importance for model development. As regulations are driving the need for more trustworthy models, deployed models need to be corrected for model characteristics associated with responsible artificial intelligence. When feature selection is done with respect to one model performance characteristic (eg. accuracy), feature selection with secondary model performance characteristics (eg. fairness and robustness) as objectives would require going through the computationally expensive selection process from scratch. In this paper, we introduce the problem of feature \emph{reselection}, so that features can be selected with respect to secondary model performance characteristics efficiently even after a feature selection process has been done with respect to a primary objective. To address this problem, we propose REFRESH, a method to reselect features so that additional constraints that are desirable towards model performance can be achieved without having to train several new models. REFRESH's underlying algorithm is a novel technique using SHAP values and correlation analysis that can approximate for the predictions of a model without having to train these models. Empirical evaluations on three datasets, including a large-scale loan defaulting dataset show that REFRESH can help find alternate models with better model characteristics efficiently. We also discuss the need for reselection and REFRESH based on regulation desiderata.


title: Origin of light-induced metastability in ZrTe$_5$

abstract: We study the non-equilibrium electronic structure of a model Dirac semimetal ZrTe$_5$ by using time-and-angle resolved photoemission spectroscopy and density functional theory-based electron and phonon calculations. By measuring the electronic dispersion near the $\Gamma$ point at time delays up to 10 picoseconds, we discovered that the band spectral weight does not recover during the measured temporal window, revealing the existence of light induced metastable state in the electronic structure of this material. Our calculations find that the photoexcited $A_{1g}$ phonon mode lead to a band renormalization that both supports our experimental observations at the zone center and predicts changes to the band structure outside of our experimental window, ultimately showing the evolution from a direct to an indirect gap semimetal; such band renormalization dramatically reduces the electron-hole recombination rate giving rise to the metastability in this system.


title: Cultural evolution in populations of Large Language Models

abstract: Research in cultural evolution aims at providing causal explanations for the change of culture over time. Over the past decades, this field has generated an important body of knowledge, using experimental, historical, and computational methods. While computational models have been very successful at generating testable hypotheses about the effects of several factors, such as population structure or transmission biases, some phenomena have so far been more complex to capture using agent-based and formal models. This is in particular the case for the effect of the transformations of social information induced by evolved cognitive mechanisms. We here propose that leveraging the capacity of Large Language Models (LLMs) to mimic human behavior may be fruitful to address this gap. On top of being an useful approximation of human cultural dynamics, multi-agents models featuring generative agents are also important to study for their own sake. Indeed, as artificial agents are bound to participate more and more to the evolution of culture, it is crucial to better understand the dynamics of machine-generated cultural evolution. We here present a framework for simulating cultural evolution in populations of LLMs, allowing the manipulation of variables known to be important in cultural evolution, such as network structure, personality, and the way social information is aggregated and transformed. The software we developed for conducting these simulations is open-source and features an intuitive user-interface, which we hope will help to build bridges between the fields of cultural evolution and generative artificial intelligence.


title: Particle-Soliton Degeneracies from Spontaneously Broken Non-Invertible Symmetry

abstract: We study non-invertible topological symmetry operators in massive quantum field theories in (1+1) dimensions. In phases where this symmetry is spontaneously broken we show that the particle spectrum often has degeneracies dictated by the non-invertible symmetry and we deduce a procedure to determine the allowed multiplets. These degeneracies are robust predictions and do not require integrability or other special features of renormalization group flows. We exhibit these conclusions in examples where the spectrum is known, recovering soliton and particle degeneracies. For instance, the Tricritical Ising model deformed by the subleading Z2 odd operator flows to a gapped phase with two degenerate vacua. This flow enjoys a Fibonacci fusion category symmetry which implies a threefold degeneracy of its particle states, relating the mass of solitons interpolating between vacua and particles supported in a single vacuum.


title: A note on spectral properties of random $S$-adic systems

abstract: The paper is concerned with random $S$-adic systems arising from an i.i.d.\ sequence of unimodular substitutions. Using equidistribution results of Benoist and Quint, we show in Theorem 3.3 that, under some natural assumptions, if the Lyapunov exponent of the spectral cocycle is strictly less that 1/2 of the Lyapunov exponent of the random walk on $SL(2,\mathbb{R})$ driven by the sequence of substitution matrices, then almost surely the spectrum of the $S$-adic $\mathbb{Z}$-action is singular with respect to any (fixed in advance) continuous measure.


title: SLCF-Net: Sequential LiDAR-Camera Fusion for Semantic Scene Completion using a 3D Recurrent U-Net

abstract: We introduce SLCF-Net, a novel approach for the Semantic Scene Completion (SSC) task that sequentially fuses LiDAR and camera data. It jointly estimates missing geometry and semantics in a scene from sequences of RGB images and sparse LiDAR measurements. The images are semantically segmented by a pre-trained 2D U-Net and a dense depth prior is estimated from a depth-conditioned pipeline fueled by Depth Anything. To associate the 2D image features with the 3D scene volume, we introduce Gaussian-decay Depth-prior Projection (GDP). This module projects the 2D features into the 3D volume along the line of sight with a Gaussian-decay function, centered around the depth prior. Volumetric semantics is computed by a 3D U-Net. We propagate the hidden 3D U-Net state using the sensor motion and design a novel loss to ensure temporal consistency. We evaluate our approach on the SemanticKITTI dataset and compare it with leading SSC approaches. The SLCF-Net excels in all SSC metrics and shows great temporal consistency.


title: Measuring the bioeconomy economically: exploring the connections between concepts, methods, data, indicators and their limitations

abstract: Despite its relevance, measuring the contributions of the bioeconomy to national economies remains an arduous task that faces limitations. Part of the difficulty is associated with the lack of a clear and widely accepted concept of the bioeconomy and moves on to the connections between methods, data and indicators. The present study aims to define the concepts of bioeconomy and to explore the connections between concepts, methods, data and indicators when measuring the bioeconomy economically, and the limitations involved in this process. The bioeconomy concepts were defined based on a literature review and a content analysis of 84 documents selected through snowballing procedures to find articles measuring 'how big is the bioeconomy?'. The content of the 84 documents was uploaded to the QDA Miner software and coded according to the bioeconomy concept, the methods or models used, the data sources accessed, the indicators calculated, and the limitations reported by the authors. The results of the occurrence and co-occurrence of the codes were extracted and analyzed statistically, indicating that the measurement of bioeconomy (i) need recognize and pursue the proposed concept of holistic bioeconomy; (ii) rarely considered aspects of holistic bioeconomy (3.5%); (iii) is primarily based on the concept of biomass-based bioeconomy (BmBB) (94%); (iv) the association with the concept of biosphere (BsBB) appeared in 26% of the studies; (v) the biotech-based bioeconomy (BtBB) was the least frequent (1.2%); (vi) there is a diversity of methods and models, but the most common are those traditionally used to measure macroeconomic activities, especially input-output models; (vii) depending on the prevailing methods, the data comes from various official statistical databases, such as national accounts and economic activity classification systems;...


title: Federated Data Model

abstract: In artificial intelligence (AI), especially deep learning, data diversity and volume play a pivotal role in model development. However, training a robust deep learning model often faces challenges due to data privacy, regulations, and the difficulty of sharing data between different locations, especially for medical applications. To address this, we developed a method called the Federated Data Model (FDM). This method uses diffusion models to learn the characteristics of data at one site and then creates synthetic data that can be used at another site without sharing the actual data. We tested this approach with a medical image segmentation task, focusing on cardiac magnetic resonance images from different hospitals. Our results show that models trained with this method perform well both on the data they were originally trained on and on data from other sites. This approach offers a promising way to train accurate and privacy-respecting AI models across different locations.


title: Lifting Galois representations via Kummer flags

abstract: Let $\Gamma$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $\mu_{p^2} \subset F$. We give an elementary and unified proof that every representation $\rho_1: \Gamma \to \mathbf{GL}_d(\mathbb{F}_p)$ lifts to a representation $\rho_2: \Gamma \to \mathbf{GL}_d(\mathbb{Z}/p^2)$. [In case i), it is understood these are continuous.] The actual statement is much stronger: for $r \geq 1$, under "suitable" assumptions, triangular representations $\rho_r: \Gamma \to \mathbf{B}_d(\mathbb{Z}/p^r)$ lift to $\rho_{r+1}: \Gamma \to \mathbf{B}_d(\mathbb{Z}/p^{r+1})$, in the strongest possible step-by-step sense. Here "suitable" is made precise by the concept of $\textit{Kummer flag}$. An essential aspect of this work, is to identify the common properties of groups i) and ii), that suffice to ensure the existence of such lifts.


title: Weyl superconductivity and quasiperiodic Majorana arcs in quasicrystals

abstract: Weyl superconductivity is a topological phase in three-dimensional crystals in which the Weyl equation describes quasiparticle excitation near band-touching points in momentum space called Weyl nodes. For quasicrystals which lack translational symmetry, a theory of Weyl superconductivity has not been established, in spite of recent extensive studies on quasicrystalline topological phases. Here, we demonstrate the occurrence of quasicrystalline Weyl superconductivity by extending the definition of Weyl superconductivity to periodically stacked, two-dimensional superconducting quasicrystals. We identify quasicrystalline Weyl nodes -- topologically protected point nodes in one-dimensional momentum space corresponding to the stacking direction -- in terms of a topological invariant given by a change in the Bott index in quasicrystalline layers. We find that these Weyl nodes exist in pairs and that Majorana zero-energy modes protected by the nonzero Bott index between a pair of quasicrystalline Weyl nodes appear on surfaces. These Majorana zero modes form an infinite number of arcs in momentum space, densely and quasiperiodically distributed as a function of momentum in the direction of surfaces within each quasicrystalline layer. In Ammann-Beenker (Penrose) quasicrystals, the quasiperiodicity of Majorana arcs is governed by the silver (golden) ratio associated with the quasicrystalline structure.


title: From "um" to "yeah": Producing, predicting, and regulating information flow in human conversation

abstract: Conversation demands attention. Speakers must call words to mind, listeners must make sense of them, and both together must negotiate this flow of information, all in fractions of a second. We used large language models to study how this works in a large-scale dataset of English-language conversation, the CANDOR corpus. We provide a new estimate of the information density of unstructured conversation, of approximately 13 bits/second, and find significant effects associated with the cognitive load of both retrieving, and presenting, that information. We also reveal a role for backchannels -- the brief yeahs, uh-huhs, and mhmms that listeners provide -- in regulating the production of novelty: the lead-up to a backchannel is associated with declining information rate, while speech downstream rebounds to previous rates. Our results provide new insights into long-standing theories of how we respond to fluctuating demands on cognitive resources, and how we negotiate those demands in partnership with others.


title: Moving Towards Automated Interstellar Boundary Explorer Data Selection with LOTUS

abstract: The Interstellar Boundary Explorer (IBEX) satellite collects data on energetic neutral atoms (ENAs) that provide insight into the heliosphere, the region surrounding our solar system and separating it from interstellar space. IBEX collects information on these particles and on extraneous ``background'' particles. While IBEX records how and when the different particles are observed, it does not distinguish between heliospheric ENA particles and incidental background particles. To address this issue, all IBEX data has historically been manually labeled as ``good'' ENA data, or ``bad'' background data. This manual culling process is incredibly time-intensive and contingent on subjective, manually-induced decision thresholds. In this paper, we develop a three-stage automated culling process, called LOTUS, that uses random forests to expedite and standardize the labelling process. In Stage 1, LOTUS uses random forests to obtain probabilities of observing true ENA particles on a per-observation basis. In Stage 2, LOTUS aggregates these probabilities to obtain predictions within small windows of time. In Stage 3, LOTUS refines these predictions. We compare the labels generated by LOTUS to those manually generated by the subject matter expert. We use various metrics to demonstrate that LOTUS is a useful automated process for supplementing and standardizing the manual culling process.

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


title: Quantum Many-Body Scars for Arbitrary Integer Spin in $2+1$D Abelian Gauge Theories

abstract: The existence of Quantum Many-Body Scars has been established across different quantum many-body systems, including spin-1/2 Quantum Link Models. We systematically identify scars for pure gauge theories with arbitrarily large integer spin $S$ in $2+1$D, concretely for Truncated Link Models, where the electric field is truncated rather than replaced by spins. Through an explicit analytic construction, we show that the presence of scars is widespread. We confirm these findings numerically for small truncated spin and $S=1$ Quantum Link Models. The proposed analytic construction establishes the presence of scars far beyond volumes and spins that can be probed with existing numerical methods.

categories: hep-lat cond-mat.quant-gas cond-mat.str-el quant-ph


title: Solving the Gibbs Problem with Algebraic Projective Geometry

abstract: Orbit determination (OD) from three position vectors is one of the classical problems in astrodynamics. Early contributions to this problem were made by J. Willard Gibbs in the late 1800s and OD of this type is known today as ``Gibbs Problem''. There are a variety of popular solutions to the Gibbs problem. While some authors solve for the orbital elements directly, most contemporary discussions are based on a vector analysis approach inspired by Gibbs himself. This work presents a completely different solution to those just described. Although there is nothing wrong with the vector analysis approach, some interesting insights may be gained by considering the problem from the perspective of algebraic projective geometry. Such an algebraic solution is presented here. The OD procedure is based upon a novel and geometrically meaningful solution to the algebraic fitting of an ellipse with a focus at the origin using only three points. Although the final OD result is identical to the classical vector analysis approach pioneered by Gibbs, this new algebraic solution is interesting in its own right.


title: Interpolatory model order reduction of large-scale dynamical systems with root mean squared error measures

abstract: The root mean squared error is an important measure used in a variety of applications such as structural dynamics and acoustics to model averaged deviations from standard behavior. For large-scale systems, simulations of this quantity quickly become computationally prohibitive. Classical model order reduction techniques attempt to resolve this issue via the construction of surrogate models that emulate the root mean squared error measure using an intermediate linear system. However, this approach requires a potentially large number of linear outputs, which can be disadvantageous in the design of reduced-order models. In this work, we consider directly the root mean squared error as the quantity of interest using the concept of quadratic-output models and propose several new model reduction techniques for the construction of appropriate surrogates. We test the proposed methods on a model for the vibrational response of a plate with tuned vibration absorbers.

categories: math.NA cs.NA cs.SY eess.SY math.DS math.OC


title: General Multipoles and Their Implications for Dark Matter Inference

abstract: The flux ratios of strongly lensed quasars have previously been used to infer the properties of dark matter. In these analyses it is crucial to separate the effect of the main lensing galaxy and the low-mass dark matter halo population. In this work, we investigate flux-ratio perturbations resulting from general third- and fourth-order multipole perturbations to the main lensing galaxy's mass profile. We simulate four lens systems, each with a different lensing configuration, without multipoles. The simulated flux ratios are perturbed by 10-40 per cent by a population of low-mass haloes consistent with CDM and, in one case, also a satellite galaxy. This level of perturbation is comparable to the magnitude of flux-ratio anomalies in real data that has been previously analyzed. We then attempt to fit the simulated systems using multipoles instead of low-mass haloes. We find that multipoles with amplitudes of 0.01 or less can produce flux-ratio perturbations in excess of 40 per cent. In all cases, third- or fourth-order multipoles can individually reduce the magnitude of, if not eliminate, flux-ratio anomalies. When both multipole orders are jointly included, all simulated flux ratios can be fit to within the observational uncertainty. Our results indicate that low-mass haloes and multipoles are highly degenerate when modelling quadruply-imaged quasars based just on image positions and flux ratios. In the presence of this degeneracy, flux-ratio anomalies in lensed quasars alone cannot be used to place strong constraints on the properties of dark matter without additional information that can inform our priors.


title: One-Shot Averaging for Distributed TD($\lambda$) Under Markov Sampling

abstract: We consider a distributed setup for reinforcement learning, where each agent has a copy of the same Markov Decision Process but transitions are sampled from the corresponding Markov chain independently by each agent. We show that in this setting, we can achieve a linear speedup for TD($\lambda$), a family of popular methods for policy evaluation, in the sense that $N$ agents can evaluate a policy $N$ times faster provided the target accuracy is small enough. Notably, this speedup is achieved by ``one shot averaging,'' a procedure where the agents run TD($\lambda$) with Markov sampling independently and only average their results after the final step. This significantly reduces the amount of communication required to achieve a linear speedup relative to previous work.


title: Noninvasive identification of carbon-based black pigments with pump-probe microscopy

abstract: Carbon-based black pigments, a widely used class of pigments, are difficult to differentiate with the noninvasive techniques currently used in cultural heritage science. We utilize pump-probe microscopy to distinguish four common carbon-based black pigments as pure pigments, as two-component black pigment mixtures, and as a mixture of a black and a colorful pigment. This work also demonstrates that even nominally homogeneous pigments present remarkable, and useful, heterogeneity in pump-probe microscopy.


title: Robust a posteriori error control for the Allen-Cahn equation with variable mobility

abstract: In this work, we derive a $\gamma$-robust a posteriori error estimator for finite element approximations of the Allen-Cahn equation with variable non-degenerate mobility. The estimator utilizes spectral estimates for the linearized steady part of the differential operator as well as a conditional stability estimate based on a weighted sum of Bregman distances, based on the energy and a functional related to the mobility. A suitable reconstruction of the numerical solution in the stability estimate leads to a fully computable estimator.


title: Compton scattering from superstrings

abstract: We propose a candidate Compton amplitude which is valid for any (integer) quantum spin and free from any spurious poles. We consider the cases of electromagnetism and gravity. We obtain such amplitudes by calculating the corresponding ones from superstring theory involving states on the leading Regge trajectory. To extract the associated field-theory amplitudes a few considerations in the form of simple physical constraints are required, such as: Soft momentum transfer, compactification of polarizations and consistent factorization in the physical channels. We believe the present exploration will be significantly relevant for the physics of compact binary systems with spin.


title: Handoffs in User-Centric Cell-Free MIMO Networks: A POMDP Framework

abstract: We study the problem of managing handoffs (HOs) in user-centric cell-free massive MIMO (UC-mMIMO) networks. Motivated by the importance of controlling the number of HOs and by the correlation between efficient HO decisions and the temporal evolution of the channel conditions, we formulate a partially observable Markov decision process (POMDP) with the state space representing the discrete versions of the large-scale fading and the action space representing the association decisions of the user with the access points (APs). We develop a novel algorithm that employs this model to derive a HO policy for a mobile user based on current and future rewards. To alleviate the high complexity of our POMDP, we follow a divide-and-conquer approach by breaking down the POMDP formulation into sub-problems, each solved separately. Then, the policy and the candidate pool of APs for the sub-problem that produced the best total expected reward are used to perform HOs within a specific time horizon. We then introduce modifications to our algorithm to decrease the number of HOs. The results show that half of the number of HOs in the UC-mMIMO networks can be eliminated. Namely, our novel solution can control the number of HOs while maintaining a rate guarantee, where a 47%-70% reduction of the cumulative number of HOs is observed in networks with a density of 125 APs per km2. Most importantly, our results show that a POMDP-based HO scheme is promising to control HOs.

categories: cs.IT cs.DC cs.NI cs.SY eess.SP eess.SY math.IT


title: A Framework for Strategic Discovery of Credible Neural Network Surrogate Models under Uncertainty

abstract: The widespread integration of deep neural networks in developing data-driven surrogate models for high-fidelity simulations of complex physical systems highlights the critical necessity for robust uncertainty quantification techniques and credibility assessment methodologies, ensuring the reliable deployment of surrogate models in consequential decision-making. This study presents the Occam Plausibility Algorithm for surrogate models (OPAL-surrogate), providing a systematic framework to uncover predictive neural network-based surrogate models within the large space of potential models, including various neural network classes and choices of architecture and hyperparameters. The framework is grounded in hierarchical Bayesian inferences and employs model validation tests to evaluate the credibility and prediction reliability of the surrogate models under uncertainty. Leveraging these principles, OPAL-surrogate introduces a systematic and efficient strategy for balancing the trade-off between model complexity, accuracy, and prediction uncertainty. The effectiveness of OPAL-surrogate is demonstrated through two modeling problems, including the deformation of porous materials for building insulation and turbulent combustion flow for the ablation of solid fuels within hybrid rocket motors.


title: Envision3D: One Image to 3D with Anchor Views Interpolation

abstract: We present Envision3D, a novel method for efficiently generating high-quality 3D content from a single image. Recent methods that extract 3D content from multi-view images generated by diffusion models show great potential. However, it is still challenging for diffusion models to generate dense multi-view consistent images, which is crucial for the quality of 3D content extraction. To address this issue, we propose a novel cascade diffusion framework, which decomposes the challenging dense views generation task into two tractable stages, namely anchor views generation and anchor views interpolation. In the first stage, we train the image diffusion model to generate global consistent anchor views conditioning on image-normal pairs. Subsequently, leveraging our video diffusion model fine-tuned on consecutive multi-view images, we conduct interpolation on the previous anchor views to generate extra dense views. This framework yields dense, multi-view consistent images, providing comprehensive 3D information. To further enhance the overall generation quality, we introduce a coarse-to-fine sampling strategy for the reconstruction algorithm to robustly extract textured meshes from the generated dense images. Extensive experiments demonstrate that our method is capable of generating high-quality 3D content in terms of texture and geometry, surpassing previous image-to-3D baseline methods.


title: Bury Me Here --The New Genre of Narrative Design Game Based on Immersive Storytelling

abstract: Virtual reality games always provide the player with the most verisimilitude experience. With the advancement of VR hardware, it may become mainstream how people feel and attach to a virtual world. The paper discusses a possible solution to finding a better balance between the two classical genres of VR games, sensory stimulation and storytelling. To this end, we designed a game named "Bury Me Here," in which players can find an emotional bond between the game protagonist and themselves. The game includes four sections, the departure from the hometown, the travel on the train, the work in the office, and the life in the penthouse. At the game's end, the protagonist returns to his country yard and spends the rest of his life there. All the sections are designed to tell a stranger's life story to the player, making them experience someone else's life path and bonding an emotional connection between the player and the protagonist through storytelling. Results show that the game provides an immersive visual experience and has emotive sparks echo in players' minds.


title: Detecting Hallucination and Coverage Errors in Retrieval Augmented Generation for Controversial Topics

abstract: We explore a strategy to handle controversial topics in LLM-based chatbots based on Wikipedia's Neutral Point of View (NPOV) principle: acknowledge the absence of a single true answer and surface multiple perspectives. We frame this as retrieval augmented generation, where perspectives are retrieved from a knowledge base and the LLM is tasked with generating a fluent and faithful response from the given perspectives. As a starting point, we use a deterministic retrieval system and then focus on common LLM failure modes that arise during this approach to text generation, namely hallucination and coverage errors. We propose and evaluate three methods to detect such errors based on (1) word-overlap, (2) salience, and (3) LLM-based classifiers. Our results demonstrate that LLM-based classifiers, even when trained only on synthetic errors, achieve high error detection performance, with ROC AUC scores of 95.3% for hallucination and 90.5% for coverage error detection on unambiguous error cases. We show that when no training data is available, our other methods still yield good results on hallucination (84.0%) and coverage error (85.2%) detection.


title: Kelvin-Helmholtz instability in 3He superfluids in zero temperature limit

abstract: In rotating 3He superfluids the Kelvin-Helmholtz (KH) instability of the AB interface has been found to follow the theoretical model above 0.4 Tc. A deviation from this dependence has been assumed possible at the lowest temperatures. Our NMR and thermal bolometer measurements down to 0.2 Tc show that the critical KH rotation velocity follows the extrapolation from higher temperatures. We interpret this to mean that the KH instability is a bulk phenomenon and is not compromised by interactions with the wall of the rotating container, although weak pinning of the interface to the wall is observed during slow sweeping of the magnetic field. The KH measurement provides the only so far existing determination of the interfacial AB surface tension as a function of pressure and temperature down to 0.2 Tc.


title: Strategizing against Q-learners: A Control-theoretical Approach

abstract: In this paper, we explore the susceptibility of the independent Q-learning algorithms (a classical and widely used multi-agent reinforcement learning method) to strategic manipulation of sophisticated opponents in normal-form games played repeatedly. We quantify how much strategically sophisticated agents can exploit naive Q-learners if they know the opponents' Q-learning algorithm. To this end, we formulate the strategic actors' interactions as a stochastic game (whose state encompasses Q-function estimates of the Q-learners) as if the Q-learning algorithms are the underlying dynamical system. We also present a quantization-based approximation scheme to tackle the continuum state space and analyze its performance for two competing strategic actors and a single strategic actor both analytically and numerically.


title: The terascale tutorial

abstract: This note summarizes the lectures given in the tutorial session of the Introduction to the Terascale school at DESY on March 2023. The target audience are advanced bachelor and master physics students. The tutorial aims to best prepare the students for starting an LHC experimental physics thesis. The cross section of the top quark pair production is detailed alongside with the reconstruction of the invariant masses of the top quark as well as of the $W$ and $Z$ bosons. The tutorial uses ideas and CMS open data files from the CMS HEP Tutorial written by C. Sander and A. Schmidt, but is entirely rewritten so that it can be run in Google Colab Cloud in a columnar style of analysis with python. In addition, a minimal C/C++ version of a simple event-loop analysis relying on ROOT is exampled. The code is kept as short as possible with emphasis on the transparency of the analysis steps, rather than the elegance of the software, having in mind that the students will in any case need to rewrite their own custom analysis framework.


title: Electrically Tunable Spin Exchange Splitting in Graphene Hybrid Heterostructure

abstract: Graphene, with spin and valley degrees of freedom, fosters unexpected physical and chemical properties for the realization of next-generation quantum devices. However, the spin symmetry of graphene is rather robustly protected, hampering manipulation of the spin degrees of freedom for the application of spintronic devices such as electric gate tunable spin filters. We demonstrate that a hybrid heterostructure composed of graphene and LaCoO3 epitaxial thin film exhibits an electrically tunable spin exchange splitting. The large and adjustable spin exchange splitting of 155.9 - 306.5 meV was obtained by the characteristic shifts in both the spin symmetry broken quantum Hall states and the Shubnikov-de-Haas oscillations. Strong hybridization induced charge transfer across the hybrid heterointerface has been identified for the observed spin exchange splitting. The substantial and facile controllability of the spin exchange splitting provides an opportunity for spintronics applications with the electrically-tunable spin polarization in hybrid heterostructures.


title: Hexadecapole at the heart of nonlinear electromagnetic fields

abstract: In classical Maxwell's electromagnetism, monopole term of the electric field is proportional to $r^{-2}$, while higher order multipole terms, sourced by anisotropic sources, fall-off faster. However, in nonlinear electromagnetism even a spherically symmetric field has multipole-like contributions. We prove that the leading subdominant term of the electric field, defined by nonlinear electromagnetic Lagrangian obeying Maxwellian weak field limit, in a static, spherically symmetric, asymptotically flat spacetime, is of the order $O(r^{-6})$ as $r \to \infty$. Moreover, using Lagrange inversion theorem and Fa\`a di Bruno's formula, we derive the series expansion of the electric field from the Taylor series of an analytic electromagnetic Lagrangian.


title: Meta-operators for Enabling Parallel Planning Using Deep Reinforcement Learning

abstract: There is a growing interest in the application of Reinforcement Learning (RL) techniques to AI planning with the aim to come up with general policies. Typically, the mapping of the transition model of AI planning to the state transition system of a Markov Decision Process is established by assuming a one-to-one correspondence of the respective action spaces. In this paper, we introduce the concept of meta-operator as the result of simultaneously applying multiple planning operators, and we show that including meta-operators in the RL action space enables new planning perspectives to be addressed using RL, such as parallel planning. Our research aims to analyze the performance and complexity of including meta-operators in the RL process, concretely in domains where satisfactory outcomes have not been previously achieved using usual generalized planning models. The main objective of this article is thus to pave the way towards a redefinition of the RL action space in a manner that is more closely aligned with the planning perspective.


title: Nebular Nitrogen Line Emission in Stripped-Envelope Supernovae -- a New Progenitor Mass Diagnostic

abstract: Nitrogen is produced by CNO-cycling in massive stars, and can be ejected in significant amounts in supernova explosions. While in H-rich SNe, its [\ion{N}{II}] 6548, 6583 emission becomes obscured by strong H$\alpha$, in explosions of He stars, this nitrogen emission becomes more visible. We here explore the formation of this line, using the \texttt{SUMO} code to compute spectra for a grid of 1D models with parameterized mixing informed from new 2D simulations. Because the mass fraction of nitrogen in the ejecta decreases with larger He core masses, as more of the He/N zone gets processed by shell helium burning and is lost to winds, the [\ion{N}{II}] luminosity relative to the overall optical flux probes the He core mass. By comparing to large samples of data, we find that low-mass He cores ($M_{\rm preSN}\lesssim\ 3\ M_\odot$) are exclusively associated with Type IIb SNe, with the exception of Type Ib SN 2007Y. Seeing no strong nitrogen emission in other Type Ib SNe, the implication is either an origin from low-mass stars with the He/N layer (but not the He/C) layer peeled away, or from higher-mass He cores. We also see no clear nitrogen emission in Type Ic SNe. We discuss the diagnostic potential of this new line metric, and also dependencies on mass-loss-rate and metallicity.


title: Current experimental upper bounds on spacetime diffusion

abstract: A consistent theory describing the dynamics of quantum systems interacting on a classical space-time was recently put forward by Oppenheim et al..[1, 2]. Quantum states may retain their coherence, at the cost of some amount of stochasticity of the spacetime metric, characterized by a spacetime diffusion parameter. Here, we report existing experimental upper bounds on such space-time diffusion, based on a review of several types of experiments with very low force noise over a broad range of test masses from single atoms to several kilograms. We find an upper bound at least 15 orders of magnitude lower as compared to the initial bounds for explicit models presented by Oppenheimn et al. The results presented here provide a path forward for future experiments that can help evaluate classical-quantum theories


title: Error analysis in large area multi-Raman pulse atom interferometry due to undesired spontaneous decay

abstract: Despite the fact that atom interferometry has been a successful application of quantum sensing, a major topic of interest is the further improvement of the sensitivity of these devices. In particular, the area enclosed by the interferometer (which controls the sensitivity) can be increased by providing a larger momentum kick to the atom cloud, increasing the extent of the momentum axis. One such atom optics technique involves increasing the number of central $\pi-$Raman pulses. This technique, while providing the prerequisite additional momentum boost, also causes the atom to remain in the intermediate high energy state for longer periods of time. This additional length of time is often neglected in many treatments due to the adiabatic elimination of the higher energy state enabled by the large optical detuning. The increased time in the intermediate high energy state results in a higher probability of undesired spontaneous decay and a loss of quantum information, thereby adding error to the atom interferometer. In this work, we consider an open quantum system using the Lindblad master equation to devise a model for the atomic state dynamics that includes the undesired spontaneous decay from the intermediate high energy state. We formulate an error figure of merit to analyze limitations of an atom interferometer configured for acceleration measurements. Our theoretical results show the error figure of merit will be dominated by a $N_{R}^{-2}$ scaling factor for low numbers of $\pi-$Raman pulses, but will be dominated by a monotonic increase in error for high number of $\pi-$Raman pulses. We determined the number of $\pi$-Raman pulses that accomplishes maximal momentum transfer with a the minimal error, depending on major system parameters.


title: Robust Chemiresistive Behavior in Conductive Polymer/MOF Composites

abstract: Metal-organic frameworks (MOFs) are promising materials for gas sensing but are often limited to single-use detection. We demonstrate a hybridization strategy synergistically deploying conductive MOFs (cMOFs) and conductive polymers (cPs) as two complementary mixed ionic-electronic conductors in high-performing stand-alone chemiresistors. Our work presents significant improvement in i) sensor recovery kinetics, ii) cycling stability, and iii) dynamic range at room temperature. We demonstrate the effect of hybridization across well-studied cMOFs based on 2,3,6,7,10,11-hexahydroxytriphenylene (HHTP) and 2,3,6,7,10,11-hexaiminotripphenylene (HITP) ligands with varied metal nodes (Co, Cu, Ni). We conduct a comprehensive mechanistic study to relate energy band alignments at the heterojunctions between the MOFs and the polymer with sensing thermodynamics and binding kinetics. Our findings reveal that hole enrichment of the cMOF component upon hybridization leads to selective enhancement in desorption kinetics, enabling significantly improved sensor recovery at room temperature, and thus long-term response retention. This mechanism was further supported by density functional theory calculations on sorbate-analyte interactions. We also find that alloying cPs and cMOFs enables facile thin film co-processing and device integration, potentially unlocking the use of these hybrid conductors in diverse electronic applications.


title: Cross-Modal Learning of Housing Quality in Amsterdam

abstract: In our research we test data and models for the recognition of housing quality in the city of Amsterdam from ground-level and aerial imagery. For ground-level images we compare Google StreetView (GSV) to Flickr images. Our results show that GSV predicts the most accurate building quality scores, approximately 30% better than using only aerial images. However, we find that through careful filtering and by using the right pre-trained model, Flickr image features combined with aerial image features are able to halve the performance gap to GSV features from 30% to 15%. Our results indicate that there are viable alternatives to GSV for liveability factor prediction, which is encouraging as GSV images are more difficult to acquire and not always available.


title: Rollover Prevention for Mobile Robots with Control Barrier Functions: Differentiator-Based Adaptation and Projection-to-State Safety

abstract: This paper develops rollover prevention guarantees for mobile robots using control barrier function (CBF) theory, and demonstrates the method experimentally. We consider a safety measure based on a zero moment point condition through the lens of CBFs. However, these conditions depend on time-varying and noisy parameters. To address this issue, we present a differentiator-based safety-critical controller that estimates these parameters and pairs Input-to-State Stable (ISS) differentiator dynamics with CBFs to achieve rigorous safety guarantees. Additionally, to ensure safety in the presence of disturbances, we utilize a time-varying extension of Projection-to-State Safety (PSSf). The effectiveness of the proposed method is demonstrated via experiments on a tracked robot with a rollover potential on steep slopes.


title: Efficiently Computing Similarities to Private Datasets

abstract: Many methods in differentially private model training rely on computing the similarity between a query point (such as public or synthetic data) and private data. We abstract out this common subroutine and study the following fundamental algorithmic problem: Given a similarity function $f$ and a large high-dimensional private dataset $X \subset \mathbb{R}^d$, output a differentially private (DP) data structure which approximates $\sum_{x \in X} f(x,y)$ for any query $y$. We consider the cases where $f$ is a kernel function, such as $f(x,y) = e^{-\|x-y\|_2^2/\sigma^2}$ (also known as DP kernel density estimation), or a distance function such as $f(x,y) = \|x-y\|_2$, among others. Our theoretical results improve upon prior work and give better privacy-utility trade-offs as well as faster query times for a wide range of kernels and distance functions. The unifying approach behind our results is leveraging `low-dimensional structures' present in the specific functions $f$ that we study, using tools such as provable dimensionality reduction, approximation theory, and one-dimensional decomposition of the functions. Our algorithms empirically exhibit improved query times and accuracy over prior state of the art. We also present an application to DP classification. Our experiments demonstrate that the simple methodology of classifying based on average similarity is orders of magnitude faster than prior DP-SGD based approaches for comparable accuracy.


title: Higher codimension nef and effective cycles on the Hilbert scheme of 3 points in projective 3-space

abstract: Nef and effective cones of divisors have been the subject of much study. In contrast, their higher codimension analogues are much harder to compute and few examples exist in the literature. In this paper we compute the nef cones in codimensions 2 & 3 and the effective cones in dimensions 2 & 3 for the Hilbert scheme of three points in $\mathbb{P}^3$. Our computation generalizes results of Ryan & Stathis and requires a careful analysis of the PGL orbits in the Hilbert scheme, as well as a new basis of the Chow ring inspired by Mallavibarrena and Sols.


title: CLIP-BEVFormer: Enhancing Multi-View Image-Based BEV Detector with Ground Truth Flow

abstract: Autonomous driving stands as a pivotal domain in computer vision, shaping the future of transportation. Within this paradigm, the backbone of the system plays a crucial role in interpreting the complex environment. However, a notable challenge has been the loss of clear supervision when it comes to Bird's Eye View elements. To address this limitation, we introduce CLIP-BEVFormer, a novel approach that leverages the power of contrastive learning techniques to enhance the multi-view image-derived BEV backbones with ground truth information flow. We conduct extensive experiments on the challenging nuScenes dataset and showcase significant and consistent improvements over the SOTA. Specifically, CLIP-BEVFormer achieves an impressive 8.5\% and 9.2\% enhancement in terms of NDS and mAP, respectively, over the previous best BEV model on the 3D object detection task.


title: Timed Strategies for Real-Time Rewrite Theories

abstract: In this paper we propose a language for conveniently defining a wide range of execution strategies for real-time rewrite theories, and provide Maude-strategy-implemented versions of most Real-Time Maude analysis methods, albeit with user-defined discrete and timed strategies. We also identify a new time sampling strategy that should provide both efficient and exhaustive analysis for many distributed real-time systems. We exemplify the use of our language and its analyses on a simple round trip time protocol, and compare the performance of standard Maude search with our strategy-implemented reachability analyses on the CASH scheduling algorithm benchmark.


title: On sampling diluted Spin Glasses using Glauber dynamics

abstract: Spin-glasses are Gibbs distributions that have been studied in CS for many decades. Recently, they have gained renewed attention as they emerge naturally in learning, inference, optimisation etc. We consider the Edwards-Anderson (EA) spin-glass distribution at inverse temperature $\beta$ when the underlying graph is an instance of $G(n,d/n)$. This is the random graph on $n$ vertices where each edge appears independently with probability $d/n$ and $d=\Theta(1)$. We study the problem of approximate sampling from this distribution using Glauber dynamics. For a range of $\beta$ that depends on $d$ and for typical instances of the EA model on $G(n,d/n)$, we show that the corresponding Glauber dynamics exhibits mixing time $O(n^{2+\frac{3}{\log^2 d}})$. The range of $\beta$ for which we obtain our rapid-mixing results correspond to the expected influence being $<1/d$; we conjecture that this is the best possible. Unlike the mean-field spin-glasses, where the problem has been studied before, the diluted case has not. We utilise the well-known path-coupling technique. In the standard Glauber dynamics on $G(n,d/n)$, one has to deal with the so-called effect of high degree vertices. Here, rather than considering degrees, it is more natural to use a different measure on the vertices called aggregate influence. We build on the block-construction approach proposed by [Dyer et al. 2006] to circumvent the problem of high-degree vertices. Specifically, we first establish rapid mixing for an appropriately defined block-dynamics. We design this dynamics such that vertices of large aggregate influence are placed deep inside their blocks. Then, we obtain rapid mixing for the Glauber dynamics utilising a comparison argument.


title: Multi-product Hamiltonian simulation with explicit commutator scaling

abstract: The well-conditioned multi-product formula (MPF), proposed by [Low, Kliuchnikov, and Wiebe, 2019], is a simple high-order time-independent Hamiltonian simulation algorithm that implements a linear combination of standard product formulas of low order. While the MPF aims to simultaneously exploit commutator scaling among Hamiltonians and achieve near-optimal time and precision dependence, its lack of a rigorous error bound on the nested commutators renders its practical advantage ambiguous. In this work, we conduct a rigorous complexity analysis of the well-conditioned MPF, demonstrating explicit commutator scaling and near-optimal time and precision dependence at the same time. Using our improved complexity analysis, we present several applications of practical interest where the MPF based on a second-order product formula can achieve a polynomial speedup in both system size and evolution time, as well as an exponential speedup in precision, compared to second-order and even higher-order product formulas. Compared to post-Trotter methods, the MPF based on a second-order product formula can achieve polynomially better scaling in system size, with only poly-logarithmic overhead in evolution time and precision.


title: Loop unrolling (for test coverage): formal definition

abstract: Techniques to achieve various forms of test coverage, such as branch coverage, typically do not iterate loops; in other words, they treat a loop as a conditional, executed zero or one time. Existing work by the author and collaborators produces test suites guaranteeing full branch coverage. More recent work has shown that by unrolling loops the approach can find significantly more bugs. The present discussion provides the theoretical basis and precise definition for this concept of unrolling.


title: Between Maxwell and Born-Infeld: the presence of the magnetic field

abstract: Our motivation is to consider an electromagnetic Lagrangian density $\mathcal{L}_q$, depending on a parameter such that, for $q=1$ it corresponds to the Born-Infeld Lagrangian density and for $q=2$ it restores the Maxwell one. The model in the presence of given charge and current densities is investigated. We solve the pure magnetostatic problem for $q\in(6/5,2)$. We also study the electrostatic problem in the presence of an assigned magnetic field for $q\in[1,2)$.


title: Large Steklov eigenvalues under volume constraints

abstract: In this note we establish an expression for the Steklov spectrum of warped products in terms of auxiliary Steklov problems for drift Laplacians with weight induced by the warping factor. As an application, we show that a compact manifold with connected boundary diffeomorphic to a product admits a family of Riemannian metrics which coincide on the boundary, have fixed volume and arbitrarily large first non-zero Steklov eigenvalue. These are the first examples of Riemannian metrics with these properties on three-dimensional manifolds.


title: Electrochemical Communication in Bacterial Biofilms: A Study on Potassium Stimulation and Signal Transmission

abstract: Electrochemical communication is a mechanism that enables intercellular interaction among bacteria within communities. Bacteria achieves synchronization and coordinates collective actions at the population level through the utilization of electrochemical signals. In this work, we investigate the response of bacterial biofilms to artificial potassium concentration stimulation. We introduce signal inputs at a specific location within the biofilm and observe their transmission to other regions, facilitated by intermediary cells that amplify and relay the signal. We analyze the output signals when biofilm regions are subjected to different input signal types and explore their impact on biofilm growth. Furthermore, we investigate how the temporal gap between input pulses influences output signal characteristics, demonstrating that an appropriate gap yields distinct and well-defined output signals. Our research sheds light on the potential of bacterial biofilms as communication nodes in electrochemical communication networks.


title: Principal stratification with U-statistics under principal ignorability

abstract: Principal stratification is a popular framework for causal inference in the presence of an intermediate outcome. While the principal average treatment effects have traditionally been the default target of inference, it may not be sufficient when the interest lies in the relative favorability of one potential outcome over the other within the principal stratum. We thus introduce the principal generalized causal effect estimands, which extend the principal average causal effects to accommodate nonlinear contrast functions. Under principal ignorability, we expand the theoretical results in Jiang et. al. (2022) to a much wider class of causal estimands in the presence of a binary intermediate variable. We develop identification formulas and derive the efficient influence functions of the generalized estimands for principal stratification analyses. These efficient influence functions motivate a set of multiply robust estimators and lay the ground for obtaining efficient debiased machine learning estimators via cross-fitting based on U-statistics. The proposed methods are illustrated through simulations and the analysis of a data example.


title: Neuromorphic force-control in an industrial task: validating energy and latency benefits

abstract: As robots become smarter and more ubiquitous, optimizing the power consumption of intelligent compute becomes imperative towards ensuring the sustainability of technological advancements. Neuromorphic computing hardware makes use of biologically inspired neural architectures to achieve energy and latency improvements compared to conventional von Neumann computing architecture. Applying these benefits to robots has been demonstrated in several works in the field of neurorobotics, typically on relatively simple control tasks. Here, we introduce an example of neuromorphic computing applied to the real-world industrial task of object insertion. We trained a spiking neural network (SNN) to perform force-torque feedback control using a reinforcement learning approach in simulation. We then ported the SNN to the Intel neuromorphic research chip Loihi interfaced with a KUKA robotic arm. At inference time we show latency competitive with current CPU/GPU architectures, two orders of magnitude less energy usage in comparison to traditional low-energy edge-hardware. We offer this example as a proof of concept implementation of a neuromoprhic controller in real-world robotic setting, highlighting the benefits of neuromorphic hardware for the development of intelligent controllers for robots.


title: Two-sided Assortment Optimization: Adaptivity Gaps and Approximation Algorithms

abstract: To address the challenge of choice congestion in matching markets, in this work, we introduce a two-sided assortment optimization framework under general choice preferences. The goal in this problem is to maximize the expected number of matches by deciding which assortments are displayed to the agents and the order in which they are shown. In this context, we identify several classes of policies that platforms can use in their design. Our goals are: (1) to measure the value that one class of policies has over another one, and (2) to approximately solve the optimization problem itself for a given class. For (1), we define the adaptivity gap as the worst-case ratio between the optimal values of two different policy classes. First, we show that the gap between the class of policies that statically show assortments to one-side first and the class of policies that adaptively show assortments to one-side first is exactly $1-1/e$. Second, we show that the gap between the latter class of policies and the fully adaptive class of policies that show assortments to agents one by one is exactly $1/2$. We also note that the worst policies are those who simultaneously show assortments to all the agents, in fact, we show that their adaptivity gap even with respect to one-sided static policies can be arbitrarily small. For (2), we first show that there exists a polynomial time policy that achieves a $1/4$ approximation factor within the class of policies that adaptively show assortments to agents one by one. Finally, when agents' preferences are governed by multinomial-logit models, we show that a 0.082 approximation factor can be obtained within the class of policies that show assortments to all agents at once.


title: How Much Can Reconfigurable Intelligent Surfaces Augment Sky Visibility: A Stochastic Geometry Approach

abstract: This paper uses the theory of point processes and stochastic geometry to quantify the sky visibility experienced by users located in an urban environment. The general idea is to represent the buildings of this environment as a stationary marked point process, where the points represent the building locations and the marks their heights. The point process framework is first used to characterize the distribution of the blockage angle, which limits the visibility of a typical user into the sky due to the obstruction by buildings. In the context of communications, this distribution is useful when users try to connect to the nodes of an aerial or non-terrestrial network in a Line-of-Sight way. Within this context, the point process framework can also be used to investigate the gain of connectivity obtained thanks to Reconfigurable Intelligent Surfaces. Assuming that such surfaces are installed on the top of buildings to extend the user's sky visibility, this point process approach allows one to quantify the gain in visibility and hence the gain in connectivity obtained by the typical user. The distributional properties of visibility-related metrics are cross-validated by comparison to simulation results.


title: Unleashing the True Power of Age-of-Information: Service Aggregation in Connected and Autonomous Vehicles

abstract: Connected and autonomous vehicles (CAVs) rely heavily upon time-sensitive information update services to ensure the safety of people and assets, and satisfactory entertainment applications. Therefore, the freshness of information is a crucial performance metric for CAV services. However, information from roadside sensors and nearby vehicles can get delayed in transmission due to the high mobility of vehicles. Our research shows that a CAV's relative distance and speed play an essential role in determining the Age-of-Information (AoI). With an increase in AoI, incremental service aggregation issues are observed with out-of-sequence information updates, which hampers the performance of low-latency applications in CAVs. In this paper, we propose a novel AoI-based service aggregation method for CAVs, which can process the information updates according to their update cycles. First, the AoI for sensors and vehicles is modeled, and a predictive AoI system is designed. Then, to reduce the overall service aggregation time and computational load, intervals are used for periodic AoI prediction, and information sources are clustered based on the AoI value. Finally, the system aggregates services for CAV applications using the predicted AoI. We evaluate the system performance based on data sequencing success rate (DSSR) and overall system latency. Lastly, we compare the performance of our proposed system with three other state-of-the-art methods. The evaluation and comparison results show that our proposed predictive AoI-based service aggregation system maintains satisfactory latency and DSSR for CAV applications and outperforms other existing methods.


title: Generic spherically symmetric thin-shell wormholes with equilibrium throat at the innermost photonsphere are unstable

abstract: In this research, we prove analytically that a generic spherically symmetric thin-shell wormhole (TSW) with its throat located at the innermost photonsphere of the bulk asymptotically flat black hole and supported by a generic surface barotropic perfect fluid is unstable against a radial linear perturbation. This is the generalization of the instability of the Schwarzschild TSW (STSW) with the throat's radius located at $a_{0}=3M$ that was revealed by Poisson and Visser in their seminal work \cite{Poisson1995} where they studied the mechanical stability of STSW. Our proof provides a link between the instability of the null circular geodesics on the innermost photonsphere of a generic static spherically symmetric asymptotically black hole and the TSW constructed in the same bulk with $a_{0}=r_{c}$ where $% a_{0} $ and $r_{c}$ are the radius of the TSW and the innermost photonsphere, respectively. For asymptotically flat spherically symmetric black holes possessing more than one photonspheres, the number of the photonspheres is odd and at least one photonsphere is stable which implies the corresponding TSW with its throat identical with the stable photonsphere is also stable.


title: Unveiling the Truth: Exploring Human Gaze Patterns in Fake Images

abstract: Creating high-quality and realistic images is now possible thanks to the impressive advancements in image generation. A description in natural language of your desired output is all you need to obtain breathtaking results. However, as the use of generative models grows, so do concerns about the propagation of malicious content and misinformation. Consequently, the research community is actively working on the development of novel fake detection techniques, primarily focusing on low-level features and possible fingerprints left by generative models during the image generation process. In a different vein, in our work, we leverage human semantic knowledge to investigate the possibility of being included in frameworks of fake image detection. To achieve this, we collect a novel dataset of partially manipulated images using diffusion models and conduct an eye-tracking experiment to record the eye movements of different observers while viewing real and fake stimuli. A preliminary statistical analysis is conducted to explore the distinctive patterns in how humans perceive genuine and altered images. Statistical findings reveal that, when perceiving counterfeit samples, humans tend to focus on more confined regions of the image, in contrast to the more dispersed observational pattern observed when viewing genuine images. Our dataset is publicly available at: https://github.com/aimagelab/unveiling-the-truth.


title: The indoor agriculture industry: a promising player in demand response services

abstract: Demand response (DR) programs currently cover about 2\% of the average annual global demand, which is far from contributing to the International Energy Agency's ``Net Zero by 2050'' roadmap's 20\% target. While aggregation of many small flexible loads such as individual households can help reaching this target, increasing the participation of industries that are major electricity consumers is certainly a way forward. The indoor agriculture sector currently experiences a significant growth to partake in the sustainable production of high-quality food world-wide. As energy-related costs, up to 40\% of the total expenses, may preclude full maturity of this industry, DR participation can result in a win-win situation. Indeed, the agriculture system must transform and become a sustainable source of food for an increasing number of people worldwide under the constraints of preservation of soils and water, carbon footprint, and energy efficiency. We considered the case of the Russian Federation where indoor farming is burgeoning and already represents a load of several thousand megawatts. To show the viability of the indoor farming industry participation in implicit and explicit DR programs, we built a physical model of a vertical farm inside a phytotron with complete control of environmental parameters including ambient temperature, relative humidity, CO$_2$ concentration, and photosynthetic photon flux density. This phytotron was used as a model greenhouse. We grew different varieties of leafy plants under simulated DR conditions and control conditions on the same setup. Our results show that the indoor farming dedicated to greens can participate in DR without adversely affecting plant production and that this presents an economic advantage.


title: Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

abstract: Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an application has been filed on time. Unfortunately, date arithmetic exhibits many corner cases, which are handled differently from one library to the other, making faithfully transcribing the law into code error-prone, and possibly leading to heavy financial and legal consequences for users. In this work, we aim to provide a solid foundation for date arithmetic working on days, months and years. We first present a novel, formal semantics for date computations, and formally establish several semantic properties through a mechanization in the F* proof assistant. Building upon this semantics, we then propose a static analysis by abstract interpretation to automatically detect ambiguities in date computations. We finally integrate our approach in the Catala language, a recent domain-specific language for formalizing computational law, and use it to analyze the Catala implementation of the French housing benefits, leading to the discovery of several date-related ambiguities.


title: Beyond Joint Demonstrations: Personalized Expert Guidance for Efficient Multi-Agent Reinforcement Learning

abstract: Multi-Agent Reinforcement Learning (MARL) algorithms face the challenge of efficient exploration due to the exponential increase in the size of the joint state-action space. While demonstration-guided learning has proven beneficial in single-agent settings, its direct applicability to MARL is hindered by the practical difficulty of obtaining joint expert demonstrations. In this work, we introduce a novel concept of personalized expert demonstrations, tailored for each individual agent or, more broadly, each individual type of agent within a heterogeneous team. These demonstrations solely pertain to single-agent behaviors and how each agent can achieve personal goals without encompassing any cooperative elements, thus naively imitating them will not achieve cooperation due to potential conflicts. To this end, we propose an approach that selectively utilizes personalized expert demonstrations as guidance and allows agents to learn to cooperate, namely personalized expert-guided MARL (PegMARL). This algorithm utilizes two discriminators: the first provides incentives based on the alignment of policy behavior with demonstrations, and the second regulates incentives based on whether the behavior leads to the desired objective. We evaluate PegMARL using personalized demonstrations in both discrete and continuous environments. The results demonstrate that PegMARL learns near-optimal policies even when provided with suboptimal demonstrations, and outperforms state-of-the-art MARL algorithms in solving coordinated tasks. We also showcase PegMARL's capability to leverage joint demonstrations in the StarCraft scenario and converge effectively even with demonstrations from non-co-trained policies.


title: Bugs in Large Language Models Generated Code: An Empirical Study

abstract: Large Language Models (LLMs) for code have gained significant attention recently. They can generate code in different programming languages based on provided prompts, fulfilling a long-lasting dream in Software Engineering (SE), i.e., automatic code generation. Similar to human-written code, LLM-generated code is prone to bugs, and these bugs have not yet been thoroughly examined by the community. Given the increasing adoption of LLM-based code generation tools (e.g., GitHub Copilot) in SE activities, it is critical to understand the characteristics of bugs contained in code generated by LLMs. This paper examines a sample of 333 bugs collected from code generated using three leading LLMs (i.e., CodeGen, PanGu-Coder, and Codex) and identifies the following 10 distinctive bug patterns: Misinterpretations, Syntax Error, Silly Mistake, Prompt-biased code, Missing Corner Case, Wrong Input Type, Hallucinated Object, Wrong Attribute, Incomplete Generation, and Non-Prompted Consideration. The bug patterns are presented in the form of a taxonomy. The identified bug patterns are validated using an online survey with 34 LLM practitioners and researchers. The surveyed participants generally asserted the significance and prevalence of the bug patterns. Researchers and practitioners can leverage these findings to develop effective quality assurance techniques for LLM-generated code. This study sheds light on the distinctive characteristics of LLM-generated code.


title: A non-asymptotic theory of Kernel Ridge Regression: deterministic equivalents, test error, and GCV estimator

abstract: We consider learning an unknown target function $f_*$ using kernel ridge regression (KRR) given i.i.d. data $(u_i,y_i)$, $i\leq n$, where $u_i \in U$ is a covariate vector and $y_i = f_* (u_i) +\varepsilon_i \in \mathbb{R}$. A recent string of work has empirically shown that the test error of KRR can be well approximated by a closed-form estimate derived from an `equivalent' sequence model that only depends on the spectrum of the kernel operator. However, a theoretical justification for this equivalence has so far relied either on restrictive assumptions -- such as subgaussian independent eigenfunctions -- , or asymptotic derivations for specific kernels in high dimensions. In this paper, we prove that this equivalence holds for a general class of problems satisfying some spectral and concentration properties on the kernel eigendecomposition. Specifically, we establish in this setting a non-asymptotic deterministic approximation for the test error of KRR -- with explicit non-asymptotic bounds -- that only depends on the eigenvalues and the target function alignment to the eigenvectors of the kernel. Our proofs rely on a careful derivation of deterministic equivalents for random matrix functionals in the dimension free regime pioneered by Cheng and Montanari (2022). We apply this setting to several classical examples and show an excellent agreement between theoretical predictions and numerical simulations. These results rely on having access to the eigendecomposition of the kernel operator. Alternatively, we prove that, under this same setting, the generalized cross-validation (GCV) estimator concentrates on the test error uniformly over a range of ridge regularization parameter that includes zero (the interpolating solution). As a consequence, the GCV estimator can be used to estimate from data the test error and optimal regularization parameter for KRR.


title: FogGuard: guarding YOLO against fog using perceptual loss

abstract: In this paper, we present a novel fog-aware object detection network called FogGuard, designed to address the challenges posed by foggy weather conditions. Autonomous driving systems heavily rely on accurate object detection algorithms, but adverse weather conditions can significantly impact the reliability of deep neural networks (DNNs). Existing approaches fall into two main categories, 1) image enhancement such as IA-YOLO 2) domain adaptation based approaches. Image enhancement based techniques attempt to generate fog-free image. However, retrieving a fogless image from a foggy image is a much harder problem than detecting objects in a foggy image. Domain-adaptation based approaches, on the other hand, do not make use of labelled datasets in the target domain. Both categories of approaches are attempting to solve a harder version of the problem. Our approach builds over fine-tuning on the Our framework is specifically designed to compensate for foggy conditions present in the scene, ensuring robust performance even. We adopt YOLOv3 as the baseline object detection algorithm and introduce a novel Teacher-Student Perceptual loss, to high accuracy object detection in foggy images. Through extensive evaluations on common datasets such as PASCAL VOC and RTTS, we demonstrate the improvement in performance achieved by our network. We demonstrate that FogGuard achieves 69.43\% mAP, as compared to 57.78\% for YOLOv3 on the RTTS dataset. Furthermore, we show that while our training method increases time complexity, it does not introduce any additional overhead during inference compared to the regular YOLO network.


title: A Virtual Environment for Collaborative Inspection in Additive Manufacturing

abstract: Additive manufacturing (AM) techniques have been used to enhance the design and fabrication of complex components for various applications in the medical, aerospace, energy, and consumer products industries. A defining feature for many AM parts is the complex internal geometry enabled by the printing process. However, inspecting these internal structures requires volumetric imaging, i.e., X-ray CT, leading to the well-known challenge of visualizing complex 3D geometries using 2D desktop interfaces. Furthermore, existing tools are limited to single-user systems making it difficult to jointly discuss or share findings with a larger team, i.e., the designers, manufacturing experts, and evaluation team. In this work, we present a collaborative virtual reality (VR) for the exploration and inspection of AM parts. Geographically separated experts can virtually inspect and jointly discuss data. It also supports VR and non-VR users, who can be spectators in the VR environment. Various features for data exploration and inspection are developed and enhanced via real-time synchronization. We followed usability and interface verification guidelines using Nielsen's heuristics approach. Furthermore, we conducted exploratory and semi-structured interviews with domain experts to collect qualitative feedback. Results reveal potential benefits, applicability, and current limitations. The proposed collaborative VR environment provides a new basis and opens new research directions for virtual inspection and team collaboration in AM settings.