title: Hydrocarbon chemistry in inner regions of planet forming disks

abstract: The analysis of the mid-infrared spectra helps understanding the composition of the gas in the inner, dense and warm terrestrial planet forming region of disks around young stars. ALMA has detected hydrocarbons in the outer regions of the planet forming disk and Spitzer detected \ce{C2H2} in the inner regions. JWST- MIRI provides high spectral resolution observations of \ce{C2H2} and a suite of more complex hydrocarbons are now reported. Interpreting the fluxes observed in the spectra is challenging and radiation thermo-chemical codes are needed to properly take into account the disk structure, radiative transfer, chemistry and thermal balance. Various disk physical parameters like the gas-to-dust ratio, dust evolution including radial drift, dust growth and settling can affect the fluxes observed in the mid-IR. Still, thermo-chemical disk models were not always successful in matching all observed molecular emission bands simultaneously. The goal of this project is two-fold. We analyse the warm carbon chemistry in the inner regions of the disk, i.e. within 10 au to find pathways forming \ce{C2H2} potentially missing from the existing chemical networks. Second, we analyse the effect of the new chemistry on the line fluxes of acetylene. We use radiative thermo-chemical disk code {P{\small RO}D{\small I}M{\small O}} to expand the hydrocarbon chemistry that occurs in a typical standard T Tauri disks. We used the UMIST and the KIDA rate databases for collecting reactions for the species. We include a number of three-body and thermal decomposition reactions from STAND2020 network. We included isotopomers for the species that were present in the databases. The chemistry is then analysed in the regions that produce observable features in the mid-infrared spectra. The effect of expanding the hydrocarbon chemistry on the mid-infrared spectra is studied. Acetylene is formed via two ....


title: FORGE'd in FIRE II: The Formation of Magnetically-Dominated Quasar Accretion Disks from Cosmological Initial Conditions

abstract: In a companion paper, we reported the self-consistent formation of quasar accretion disks with inflow rates $\sim 10\,{\rm M_{\odot}\,yr^{-1}}$ down to <300 Schwarzschild radii from cosmological radiation-magneto-thermochemical-hydrodynamical galaxy and star formation simulations. We see the formation of a well-defined, steady-state accretion disk which is stable against star formation at sub-pc scales. The disks are optically thick, with radiative cooling balancing accretion, but with properties that are distinct from those assumed in most previous accretion disk models. The pressure is strongly dominated by (primarily toroidal) magnetic fields, with a plasma $\beta \sim 10^{-4}$ even in the disk midplane. They are qualitatively distinct from magnetically elevated or arrested disks. The disks are strongly turbulent, with trans-Alfvenic and highly super-sonic turbulence, and balance this via a cooling time that is short compared to the disk dynamical time, and can sustain highly super-Eddington accretion rates. Their surface and 3D densities at $\sim 10^{3}-10^{5}$ gravitational radii are much lower than in a Shakura-Sunyaev disk, with important implications for their thermo-chemistry and stability. We show how the magnetic field strengths and geometries arise from rapid advection of flux with the inflow from much weaker galaxy-scale fields in these 'flux-frozen' disks, and how this stabilizes the disk and gives rise to efficient torques. Re-simulating without magnetic fields produces catastrophic fragmentation with a vastly smaller, lower-$\dot{M}$ Shakura-Sunyaev-like disk.

categories: astro-ph.HE astro-ph.CO astro-ph.GA physics.plasm-ph physics.space-ph


title: An Analytic Model For Magnetically-Dominated Accretion Disks

abstract: Recent numerical cosmological radiation-magnetohydrodynamic-thermochemical-star formation simulations have resolved the formation of quasar accretion disks with Eddington or super-Eddington accretion rates onto supermassive black holes (SMBHs) down to a few hundred gravitational radii. These 'flux-frozen' and hyper-magnetized disks appear to be qualitatively distinct from classical $\alpha$ disks and magnetically-arrested disks: the midplane pressure is dominated by toroidal magnetic fields with plasma $\beta \ll 1$ powered by advection of magnetic flux from the interstellar medium (ISM), and they are super-sonically and trans-Alfvenically turbulent with cooling times short compared to dynamical times yet remain gravitationally stable owing to magnetic support. In this paper, we present a simple analytic similarity model for such disks. For reasonable assumptions, the model is entirely specified by the boundary conditions (inflow rate at the BH radius of influence [BHROI]). We show that the scalings from this model are robust to various detailed assumptions, agree remarkably well with the simulations (given their simplicity), and demonstrate the self-consistency and gravitational stability of such disks even in the outer accretion disk (approaching the BHROI) at hyper-Eddington accretion rates.


title: Boltzmann Equation Field Theory I: Ensemble Averages

abstract: A quasi-nonlinear field theory which describes how to take ensemble averages that are unique to the Collisionless Boltzmann Equation is described. The assumption that the ensemble average of the distribution function is equal to the extremum entropy state, $\langle f \rangle = f_0$ is taken apart and shown to be wrong. An application describes the nonlinear saturation of Jeans' instability, and the gravitational amplification of Poisson noise.

categories: astro-ph.GA math-ph math.MP physics.plasm-ph


title: Decay of the Z' gauge boson with lepton flavor violation

abstract: The flavor-violating decay of a new neutral massive gauge boson $Z^\prime\to\mu e$ is analyzed in the context of extended models, in which this particle emerges. By means of the analysis of the $\mu\to e\gamma$ decay, $\mu-e$ conversion process in nuclei and the $\mu \to e e^{+}e^{-}$ decay, the strength of the $Z^\prime\mu e$ coupling is estimated and used to calculate the branching ratio of the $Z^\prime\to \mu e$ decay. This is done for the so-called $Z_S,\,Z_{LR},\,Z_\chi, Z_\psi$ and $Z_\eta$ bosons. We found that, through the $\mu-e$ conversion process, the most restrictive bound for the coupling is provided by the $Z_{LR}$ boson. Meanwhile, by means of the $\mu \to e e^{+}e^{-}$ decay, the most restrictive bound for the $Z^\prime\mu e$ coupling is provided by the $Z_\chi$ boson. However, if we concentrate on the less restrictive prediction for the Br($Z^\prime\to \mu e$), this comes from the $Z_\eta$ boson and the resulting branching ratio is less than $10^{-4}$. On the other hand, if we consider the most restrictive bound, the branching ratio for the process is below $2\times 10^{-7}$, which results from the $Z_{RL}$ boson, and is obtained through the $\mu-e$ conversion process.


title: One-dimensional definable topological spaces in o-minimal structures

abstract: We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical euclidean topology on definable sets, definable order topologies, definable quotient spaces and definable metric spaces. We use o-minimality to undertake their study in topological terms, focussing here in particular on spaces of dimension one. We present several results, given in terms of piecewise decompositions and existence of definable embeddings and homeomorphisms, for various classes of spaces that are described in terms of classical separation axioms and definable analogues of properties such as separability, compactness and metrizability. For example, we prove that all Hausdorff one-dimensional definable topologies are piecewise the euclidean, discrete, or upper or lower limit topology; we give a characterization of all one-dimensional, regular, Hausdorff definable topologies in terms of spaces that have a lexicographic ordering or a topology generalizing the Alexandrov double of the euclidean topology; and we show that, if the underlying structure expands an ordered field, then any one-dimensional Hausdorff definable topology that is piecewise euclidean is definably homeomorphic to a euclidean space. As applications of these results, we prove definable versions of several open conjectures from set-theoretic topology, due to Gruenhage and Fremlin, on the existence of a 3-element basis for regular, Hausdorff topologies and on the nature of perfectly normal, compact, Hausdorff spaces; we obtain universality results for some classes of Hausdorff and regular topologies; and we characterize when certain metrizable definable topologies admit a definable metric.


title: Risk factor aggregation and stress testing

abstract: Stress testing refers to the application of adverse financial or macroeconomic scenarios to a portfolio. For this purpose, financial or macroeconomic risk factors are linked with asset returns, typically via a factor model. We expand the range of risk factors by adapting dimension-reduction techniques from unsupervised learning, namely PCA and autoencoders. This results in aggregated risk factors, encompassing a global factor, factors representing broad geographical regions, and factors specific to cyclical and defensive industries. As the adapted PCA and autoencoders provide an interpretation of the latent factors, this methodology is also valuable in other areas where dimension-reduction and explainability are crucial.


title: A multi-wavelength investigation of PSR J2229+6114 and its pulsar wind nebula in the radio, X-ray, and gamma-ray bands

abstract: G106.3$+$2.7, commonly considered a composite supernova remnant (SNR), is characterized by a boomerang-shaped pulsar wind nebula (PWN) and two distinct ("head" & "tail") regions in the radio band. A discovery of very-high-energy (VHE) gamma-ray emission ($E_\gamma > 100$ GeV) followed by the recent detection of ultra-high-energy (UHE) gamma-ray emission ($E_\gamma > 100$ TeV) from the tail region suggests that G106.3$+$2.7 is a PeVatron candidate. We present a comprehensive multi-wavelength study of the Boomerang PWN (100" around PSR J2229+6114) using archival radio and Chandra data obtained from two decades ago, a new NuSTAR X-ray observation from 2020, and upper limits on gamma-ray fluxes obtained by Fermi and VERITAS observatories. The NuSTAR observation allowed us to detect a 51.67 ms spin period from the pulsar PSR J2229+6114 and the PWN emission characterized by a power-law model with $\Gamma = 1.52\pm0.06$ up to 20 keV. Contrary to the previous radio study by Kothes et al. 2006, we prefer a much lower PWN B-field ($B\sim3$ $\mu$G) and larger distance ($d \sim 8$ kpc) based on (1) the non-varying X-ray flux over the last two decades, (2) the energy-dependent X-ray PWN size resulting from synchrotron burn-off and (3) the multi-wavelength spectral energy distribution (SED) data. Our SED model suggests that the PWN is currently re-expanding after being compressed by the SNR reverse shock $\sim 1000$ years ago. In this case, the head region should be formed by GeV--TeV electrons injected earlier by the pulsar propagating into the low density environment.


title: A Survey of Data Security: Practices from Cybersecurity and Challenges of Machine Learning

abstract: Machine learning (ML) is increasingly being deployed in critical systems. The data dependence of ML makes securing data used to train and test ML-enabled systems of utmost importance. While the field of cybersecurity has well-established practices for securing information, ML-enabled systems create new attack vectors. Furthermore, data science and cybersecurity domains adhere to their own set of skills and terminologies. This survey aims to present background information for experts in both domains in topics such as cryptography, access control, zero trust architectures, homomorphic encryption, differential privacy for machine learning, and federated learning to establish shared foundations and promote advancements in data security.


title: Structure-preserving numerical simulations of test particle dynamics around slowly rotating neutron stars within Hartle-Thorne approach

abstract: In this paper, we explore the chaotic signatures of the geodesic dynamics for particles moving in the slowly rotating Hartle-Thorne spacetime; an approximate solution of vacuum Einstein field equations describing the exterior of a massive, deformed, and slowly rotating compact object. We employ the numerical study to examine the geodesics of prolate and oblate deformations for generic orbits and find the plateaus of the rotation curve, which are associated with the existence of Birkhoff islands in the Poincare surface of the section, where the ratio of the radial and polar frequency of geodesics remains constant throughout the island. We investigate various phase space structures, including hyperbolic points and chaotic regions in the neighborhood of resonant islands. Moreover, chaotic behavior is observed to be governed by the stickiness phenomenon, where chaotic orbits remain attached to stable ones for an extended duration before eventually diverging and are attracted toward the surface of the neutron star. The precision of the numerical integration used to simulate the particle's trajectories plays a crucial role in the structures of the Poincare surface of the section. We present a comparison of several efficient structure-preserving numerical schemes of order four applied to the considered non-integrable dynamical system and we investigate which schemes possess the canonical property of the Hamiltonian flow. Among the class of non-symplectic integrators, we employ the explicit Runge-Kutta method and explicit general linear method with a standard projection technique to project the numerical solution onto the desired manifold. The projection scheme admits the integration without any drift from the desired manifold and is computationally cost-effective. We are concerned with two crucial aspects -- long-term behaviour and CPU time consumption.


title: Utilizing Free Clients in Federated Learning for Focused Model Enhancement

abstract: Federated Learning (FL) is a distributed machine learning approach to learn models on decentralized heterogeneous data, without the need for clients to share their data. Many existing FL approaches assume that all clients have equal importance and construct a global objective based on all clients. We consider a version of FL we call Prioritized FL, where the goal is to learn a weighted mean objective of a subset of clients, designated as priority clients. An important question arises: How do we choose and incentivize well aligned non priority clients to participate in the federation, while discarding misaligned clients? We present FedALIGN (Federated Adaptive Learning with Inclusion of Global Needs) to address this challenge. The algorithm employs a matching strategy that chooses non priority clients based on how similar the models loss is on their data compared to the global data, thereby ensuring the use of non priority client gradients only when it is beneficial for priority clients. This approach ensures mutual benefits as non priority clients are motivated to join when the model performs satisfactorily on their data, and priority clients can utilize their updates and computational resources when their goals align. We present a convergence analysis that quantifies the trade off between client selection and speed of convergence. Our algorithm shows faster convergence and higher test accuracy than baselines for various synthetic and benchmark datasets.


title: Vulnerability Analysis of Nonlinear Control Systems to Stealthy False Data Injection Attacks

abstract: In this work, we focus on analyzing vulnerability of nonlinear dynamical control systems to stealthy false data injection attacks on sensors. We start by defining the stealthiness notion in the most general form where an attack is considered stealthy if it would be undetected by any intrusion detector, i.e., any intrusion detector could not do better than a random guess. Depending on the level of attacker's knowledge about the plant model, controller, and the system states, two different attack models are considered. For each attack model, we derive the conditions for which the system will be vulnerable to stealthy impactful attacks, in addition to finding a methodology for designing such sequence of false data injection attacks. When the attacker has complete knowledge about the system, we show that if the closed loop system is incrementally exponentially stable while the open loop plant is incrementally unstable, then the system is vulnerable to stealthy yet impactful attacks on sensors. However, in the second attack model, with less knowledge about the system, additional conditions need to be satisfied and the level of stealthiness depends on the accuracy of attacker's knowledge about the system. We also consider the impact of stealthy attacks on state estimation, and show that if the closed loop control system including the estimator is incrementally stable, then the state estimation in the presence of attack converges to the attack free estimates. Finally, we illustrate our results on numerical case studies.


title: Domain Randomization for Sim2real Transfer of Automatically Generated Grasping Datasets

abstract: Robotic grasping refers to making a robotic system pick an object by applying forces and torques on its surface. Many recent studies use data-driven approaches to address grasping, but the sparse reward nature of this task made the learning process challenging to bootstrap. To avoid constraining the operational space, an increasing number of works propose grasping datasets to learn from. But most of them are limited to simulations. The present paper investigates how automatically generated grasps can be exploited in the real world. More than 7000 reach-and-grasp trajectories have been generated with Quality-Diversity (QD) methods on 3 different arms and grippers, including parallel fingers and a dexterous hand, and tested in the real world. Conducted analysis on the collected measure shows correlations between several Domain Randomization-based quality criteria and sim-to-real transferability. Key challenges regarding the reality gap for grasping have been identified, stressing matters on which researchers on grasping should focus in the future. A QD approach has finally been proposed for making grasps more robust to domain randomization, resulting in a transfer ratio of 84% on the Franka Research 3 arm.


title: An Optimal Uniform Modulus of Continuity for Harmonizable Fractional Stable Motion

abstract: Non-Gaussian Harmonizable Fractional Stable Motion (HFSM) is a natural and important extension of the well-known Fractional Brownian Motion to the framework of heavy-tailed stable distributions. It was introduced several decades ago; however its properties are far from being completely understood. In our present paper we determine the optimal power of the logarithmic factor in a uniform modulus of continuity for HFSM, which solves an open old problem. The keystone of our strategy consists in Abel transforms of the LePage series expansions of the random coefficients of the wavelets series representation of HFSM. Our methodology can be extended to more general harmonizable stable processes and fields.


title: SPADE: Sparsity-Guided Debugging for Deep Neural Networks

abstract: Interpretability, broadly defined as mechanisms for understanding why and how machine learning models reach their decisions, is one of the key open goals at the intersection of deep learning theory and practice. Towards this goal, multiple tools have been proposed to aid a human examiner in reasoning about a network's behavior in general or on a set of instances. However, the outputs of these tools-such as input saliency maps or neuron visualizations-are frequently difficult for a human to interpret, or even misleading, due, in particular, to the fact that neurons can be multifaceted, i.e., a single neuron can be associated with multiple distinct feature combinations. In this paper, we present a new general approach to address this problem, called SPADE, which, given a trained model and a target sample, uses sample-targeted pruning to provide a "trace" of the network's execution on the sample, reducing the network to the connections that are most relevant to the specific prediction. We demonstrate that preprocessing with SPADE significantly increases both the accuracy of image saliency maps across several interpretability methods and the usefulness of neuron visualizations, aiding humans in reasoning about network behavior. Our findings show that sample-specific pruning of connections can disentangle multifaceted neurons, leading to consistently improved interpretability.


title: Implementation of the Projective Quantum Eigensolver on a Quantum Computer

abstract: We study the performance of our previously proposed Projective Quantum Eigensolver (PQE) on IBM's quantum hardware in conjunction with error mitigation techniques. For a single qubit model of H$_2$, we find that we are able to obtain energies within 4 millihartree (2.5 kcal/mol) of the exact energy along the entire potential energy curve, with the accuracy limited by both stochastic error and inconsistent performance of the IBM devices. We find that an optimization algorithm using direct inversion of the iterative subspace can converge swiftly, even to excited states, but stochastic noise can cause large parameter updates. For the four-site transverse-field Ising model at the critical point, PQE with an appropriate application of qubit tapering can recover 99% of the correlation energy, even discarding several parameters. The large number of CNOT gates needed for the additional parameters introduces a concomitant error that, on the IBM devices, results in loss of accuracy, despite the increased expressivity of the trial state. Error extrapolation techniques and tapering or postselection are recommended to mitigate errors in PQE hardware experiments.


title: Lie Neurons: Adjoint-Equivariant Neural Networks for Semisimple Lie Algebras

abstract: This paper proposes an equivariant neural network that takes data in any semi-simple Lie algebra as input. The corresponding group acts on the Lie algebra as adjoint operations, making our proposed network adjoint-equivariant. Our framework generalizes the Vector Neurons, a simple $\mathrm{SO}(3)$-equivariant network, from 3-D Euclidean space to Lie algebra spaces, building upon the invariance property of the Killing form. Furthermore, we propose novel Lie bracket layers and geometric channel mixing layers that extend the modeling capacity. Experiments are conducted for the $\mathfrak{so}(3)$, $\mathfrak{sl}(3)$, and $\mathfrak{sp}(4)$ Lie algebras on various tasks, including fitting equivariant and invariant functions, learning system dynamics, point cloud registration, and homography-based shape classification. Our proposed equivariant network shows wide applicability and competitive performance in various domains.


title: Squeezing for Broadband Multidimensional Variational Measurement

abstract: Broadband multidimensional variational measurement allows to overcome Standard Quantum Limit (SQL) of a classical mechanical force detection, resulting from quantum back action, which perturbs evolution of a mechanical oscillator. In this optomechanic scheme detection of a resonant signal force acting on a linear mechanical oscillator coupled to a system with three optical modes with separation nearly equal to the mechanical frequency. The measurement is performed by optical pumping of the central optical mode and measuring the light escaping the two other modes. Detection of optimal quadrature components of the optical modes and post processing result in the back action exclusion in a broad frequency band and surpassing SQL. We show that optical losses inside cavity restrict back action exclusion due to loss noise. We also analyze how two-photon (nondegenerate) and conventional (degenerate) squeezing improve sensitivity with account optical losses, considering mainly internal squeezing.


title: Non-Hermiticity in quantum nonlinear optics through symplectic transformations

abstract: Over the past decade classical optical systems with gain or loss, modelled by non-Hermitian parity-time symmetric Hamiltonians, have been deeply investigated. Yet, their applicability to the quantum domain with number-resolved photonic states is fundamentally voided by quantum-limited amplifier noise. Here, we show that second-quantised Hermitian Hamiltonians on the Fock space give rise to non-Hermitian effective Hamiltonians that generate the dynamics of corresponding creation and annihilation operators. Using this equivalence between $\mathcal{PT}$-symmetry and symplectic Bogoliubov transformations, we create a quantum optical scheme comprising squeezing, phase-shifters, and beam-splitters for simulating arbitrary non-unitary processes by way of singular value decomposition. In contrast to the post-selection scheme for non-Hermitian quantum simulation, the success probability in this approach is independent of the system size or simulation time, and can be efficiently Trotterised similar to a unitary transformation.


title: Theory of the center-of-mass diffusion and viscosity of microstructured and variable sequence copolymer liquids

abstract: Biomolecular condensates formed through the phase separation of proteins and nucleic acids are widely observed, offering a fundamental means of organizing intracellular materials in a membrane-less fashion. Traditionally, these condensates have been regarded as homogeneous isotropic liquids. However, in analogy with some synthetic copolymer systems, our recent theoretical research has demonstrated that model biomolecular condensates can exhibit a microemulsion-like internal structure, contingent upon the specific sequence, inter-chain site-site interactions, and concentrated phase polymer density. In this study, we present a microscopic dynamical theory for the self-diffusion constant and viscosity of concentrated unentangled A/B regular multiblock copolymer solutions. Our approach integrates static equilibrium local and microdomain scale structural information obtained from PRISM integral equation theory and the time evolution of the autocorrelation function of monomer scale forces at the center-of-mass level that determine the polymer diffusion constant and viscosity in a weak caging regime far from a glass or gel transition. We focus on regular multi-block systems both for simplicity and for its relevance to synthetic macromolecular science. The impact of sequence and inter-chain attraction strength on the slowing down of copolymer mass transport and flow due to local clustering enhanced collisional friction and retardation of motion due to emergent microdomain scale ordering are established. Analytic analysis and metrics employed in the study of biomolecular condensates are employed to identify key order parameters that quantity how attractive forces, packing structure, multiblock sequence, and copolymer density determine dynamical slowing down above and below the crossover to a fluctuating polymeric microemulsion state.


title: Equitable dynamic electricity pricing via implicitly constrained dual and subgradient methods

abstract: Coordination of distributed energy resources is critical for electricity grid management. Although nodal pricing schemes can mitigate congestion and voltage deviations, the resulting prices are not necessarily equitable. In this work, we leverage market mechanisms for DER coordination and propose a daily dynamic nodal pricing scheme that incorporates equity. We introduce a pricing "oracle," which we call the Power Distribution Authority, that sets equitable prices to manage the grid. We present two algorithms for executing this scheme and show that both methods are able to set prices that satisfy both voltage and equity constraints. Both proposed algorithms also outperform the common utility time-of-use pricing schemes by at least 45%. New market mechanisms are needed as the grid is transforming, and power system operators may leverage these methods for pricing electricity in a grid-aware, equitable fashion.


title: Remote restoring of $(0,1)$-excitation states and concurrence scaling

abstract: We study the long distance (0,1)-excitation state restoring in the linear open chain governed by the XX-Hamiltonian. We show that restoring the 1-order coherence matrix results in restoring the 1-excitation block of the 0-order coherence matrix, so that only one 0-excitation element of the density matrix remain unrestored. Such restoring also scales the concurrence between any two qubits of the transferred state, the scaling factor is defined by the Hamiltonian and doesn't depend on the initial sender's state. Sender-Receiver entanglement is also studied via the PPT criterion.


title: A note on prime index of a certain subgroup in $\mathbb{F}_p^*$

abstract: Under the generalized Riemann hypothesis, we illustrate that the ratio of the set of primes $p$ such that $\langle -1, 2 \rangle$ has an odd prime index in $\mathbb{F}_p^*$ to the set of primes $p$ such that the subgroup has index greater than $2$ nears $46 \%$.


title: DPGOMI: Differentially Private Data Publishing with Gaussian Optimized Model Inversion

abstract: High-dimensional data are widely used in the era of deep learning with numerous applications. However, certain data which has sensitive information are not allowed to be shared without privacy protection. In this paper, we propose a novel differentially private data releasing method called Differentially Private Data Publishing with Gaussian Optimized Model Inversion (DPGOMI) to address this issue. Our approach involves mapping private data to the latent space using a public generator, followed by a lower-dimensional DP-GAN with better convergence properties. We evaluate the performance of DPGOMI on standard datasets CIFAR10 and SVHN. Our results show that DPGOMI outperforms the standard DP-GAN method in terms of Inception Score, Fr\'echet Inception Distance, and classification performance, while providing the same level of privacy. Our proposed approach offers a promising solution for protecting sensitive data in GAN training while maintaining high-quality results.


title: Envisioning Narrative Intelligence: A Creative Visual Storytelling Anthology

abstract: In this paper, we collect an anthology of 100 visual stories from authors who participated in our systematic creative process of improvised story-building based on image sequences. Following close reading and thematic analysis of our anthology, we present five themes that characterize the variations found in this creative visual storytelling process: (1) Narrating What is in Vision vs. Envisioning; (2) Dynamically Characterizing Entities/Objects; (3) Sensing Experiential Information About the Scenery; (4) Modulating the Mood; (5) Encoding Narrative Biases. In understanding the varied ways that people derive stories from images, we offer considerations for collecting story-driven training data to inform automatic story generation. In correspondence with each theme, we envision narrative intelligence criteria for computational visual storytelling as: creative, reliable, expressive, grounded, and responsible. From these criteria, we discuss how to foreground creative expression, account for biases, and operate in the bounds of visual storyworlds.


title: Galactic Archaeology with [Mg/Mn] versus [Al/Fe] abundance ratios -- Uncertainties and caveats

abstract: The diagram depicting the abundance ratios [Mg/Mn] vs. [Al/Fe] has gained attention in recent literature as a valuable tool for exploring fundamental aspects of the evolution of the Milky Way and the Local Group. In particular, this combination of elements is supposed to be highly sensitive to the star formation history (SFH), unveiled by the imprints left on those abundances. Unfortunately, a complete discussion on the uncertainties associated is still missing, making it difficult to know how reliable the associated results are. In this paper we analyze, by means of detailed chemical evolution models, the nuclear uncertainties of Mg, Al, Mn and Fe to show how different yields can affect the trends in the [Mg/Mn] vs. [Al/Fe] plane. In fact, if different yield assumptions produce conflicting results, then the [Mg/Mn] vs. [Al/Fe] diagram does not represent a strong diagnostic for the SFH of a galaxy. We discuss the results on the [Mg/Mn] vs. [Al/Fe] diagram, as predicted by several Milky Way (MW) and Large Magellanic Cloud (LMC) chemical evolution models adopting different nucleosynthesis prescriptions. The results show that the literature yields require some corrective factors to reproduce the APOGEE DR17 abundances of Mg, Al and Mn in the MW and that the same factors can also improve the results for the LMC. In particular, we show that by modifying the massive stars yields of Mg and Al the behaviour of the [Mg/Mn] vs. [Al/Fe] plot changes substantially. In conclusion, by changing the yields within their error bars, one obtains trends which differ strongly, making it difficult to draw any reliable conclusion on the SFH of galaxies. The proposed diagram is therefore uncertain from a theoretical point of view and it could represent a good diagnostic for SFH if the uncertainties on the nucleosynthesis of these elements (Mg, Mn, Al and Fe) could be reduced by future stellar calculations.


title: Improved Initialization of Optimal Path Calculations Using Sequential Traversal over the Image Dependent Pair Potential Surface

abstract: In reaction path optimization, such as the calculation of a minimum energy path (MEP) between given reactant and product configurations of atoms, it is advantageous to start with an initial guess where close proximity of atoms is avoided and bonds are not unnecessarily broken only to be reformed later. When the configurations of the atoms are described with Cartesian coordinates, a linear interpolation between the endpoints can be problematic, and a better option is provided by the so-called image dependent pair potential (IDPP) approach where interpolated pairwise distances are generated to form an objective function that can be used to generate an improved initial path. When started with a linear interpolation, this method can, however, still lead to unnecessary bond breaking in, for example, reactions where a molecular subgroup undergoes significant rotation. In the method presented here, this problem is addressed by constructing the path gradually, introducing images sequentially starting from the vicinity of the endpoints while the distance between images in the central region is larger. The distribution of images is controlled by systematically scaling the tightness of springs acting between the images until the desired number of images is obtained and they are evenly spaced. This procedure generates an initial path on the IDPP surface, a task that requires insignificant computational effort, as no evaluation of the energy of the system is needed. The calculation of the MEP, typically using electronic structure calculations, is then subsequently carried out in a way that makes efficient use of parallel computing with the nudged elastic band method. Several examples of reactions are given where the linear interpolation IDPP (LI-IDPP) method yields problematic paths with unnecessary bond breaking in some of the intermediate images, while the sequential IDPP (S-IDPP) method yields pat


title: Thermodynamics of the near-extremal Kerr spacetime

abstract: We examine the thermodynamics of a near-extremal Kerr black hole, and demonstrate that the geometry behaves as an ordinary quantum system with a vanishingly small degeneracy at low temperatures. This is in contrast with the classical analysis, which instead predicts a macroscopic entropy for the extremal Kerr black hole. Our results follow from a careful analysis of the gravitational path integral. Specifically, the low temperature canonical partition function behaves as $Z \sim \, T^\frac{3}{2}\, e^{S_0+ c \log S_0}$, with $S_0$ the classical degeneracy and $c$ a numerical coefficient we compute. This is in line with the general expectations for non-supersymmetric near-extremal black hole thermodynamics, as has been clarified in the recent past, although cases without spherical symmetry have not yet been fully analyzed until now. We also point out some curious features relating to the rotational zero modes of the near-extremal Kerr black hole background that affects the coefficient $c$. This raises a puzzle when considering similar black holes in string theory. Our results generalize to other rotating black holes, as we briefly exemplify.


title: Beijing notes on the categorical local Langlands conjecture

abstract: We formulate some refinements and complements to the categorical local Langlands conjecture of Fargues-Scholze. In particular, we state the expected compatibilities with Eisenstein series and duality, and explain some of their consequences. We also begin the process of matching t-structures on both sides. Notably, we introduce the so-called hadal t-structure on the automorphic side, which has good finiteness properties, and which conjecturally matches with a suitable perverse coherent t-structure on the spectral side.


title: The Eudoxus Reals

abstract: We examine a unique construction of the real numbers which proceeds directly from the integers using approximately linear-endomorphisms with finite error, called near-endomorphisms. In this paper, we show that the set of near-endomorphisms forms a complete ordered field isomorphic to the reals. Moreover, we show that there are uncountably many near-endomorphisms without reference to the reals. We then investigate a natural extension of near-endomorphisms, which we call quasi-homomorphisms, to other abelian groups. Extending prior results about the construction of the $p$-adic numbers and the rational adele ring, we find the ring of near-endomorphisms of certain localizations of the integers, and suggest further directions for exploration.


title: LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation

abstract: Test stimuli generation has been a crucial but labor-intensive task in hardware design verification. In this paper, we revolutionize this process by harnessing the power of large language models (LLMs) and present a novel benchmarking framework, LLM4DV. This framework introduces a prompt template for interactively eliciting test stimuli from the LLM, along with four innovative prompting improvements to support the pipeline execution and further enhance its performance. We compare LLM4DV to traditional constrained-random testing (CRT), using three self-designed design-under-test (DUT) modules. Experiments demonstrate that LLM4DV excels in efficiently handling straightforward DUT scenarios, leveraging its ability to employ basic mathematical reasoning and pre-trained knowledge. While it exhibits reduced efficiency in complex task settings, it still outperforms CRT in relative terms. The proposed framework and the DUT modules used in our experiments will be open-sourced upon publication.


title: Improving Portfolio Performance Using a Novel Method for Predicting Financial Regimes

abstract: This work extends a previous work in regime detection, which allowed trading positions to be profitably adjusted when a new regime was detected, to ex ante prediction of regimes, leading to substantial performance improvements over the earlier model, over all three asset classes considered (equities, commodities, and foreign exchange), over a test period of four years. The proposed new model is also benchmarked over this same period against a hidden Markov model, the most popular current model for financial regime prediction, and against an appropriate index benchmark for each asset class, in the case of the commodities model having a test period cost-adjusted cumulative return over four times higher than that expected from the index. Notably, the proposed model makes use of a contrarian trading strategy, not uncommon in the financial industry but relatively unexplored in machine learning models. The model also makes use of frequent short positions, something not always desirable to investors due to issues of both financial risk and ethics; however, it is discussed how further work could remove this reliance on shorting and allow the construction of a long-only version of the model.


title: Melonic Radiative Correction in Four-Dimensional Spinfoam Model with Cosmological Constant

abstract: Infrared divergence is a common feature of spinfoam models with a vanishing cosmological constant but is expected to disappear in presence of a non-vanishing cosmological constant. In this paper, we investigate the spinfoam amplitude with cosmological constant introduced in arXiv:2109.00034 on the melon graph, which is known as the melonic radiative correction. The amplitude closely relates to the state-integral model of complex Chern-Simons theory. We prove that the melonic radiative correction is finite in presence of a non-vanishing cosmological constant, in contrast to the infrared divergence of spinfoam models with a vanishing cosmological constant. In addition, we also analyze the scaling behavior of the radiative correction in the limit of small cosmological constant.


title: mCLARI: a shape-morphing insect-scale robot capable of omnidirectional terrain-adaptive locomotion in laterally confined spaces

abstract: Soft compliant microrobots have the potential to deliver significant societal impact when deployed in applications such as search and rescue. In this research we present mCLARI, a body compliant quadrupedal microrobot of 20mm neutral body length and 0.97g, improving on its larger predecessor, CLARI. This robot has four independently actuated leg modules with 2 degrees of freedom, each driven by piezoelectric actuators. The legs are interconnected in a closed kinematic chain via passive body joints, enabling passive body compliance for shape adaptation to external constraints. Despite scaling its larger predecessor down to 60 percent in length and 38 percent in mass, mCLARI maintains 80 percent of the actuation power to achieve high agility. Additionally, we demonstrate the new capability of passively shape-morphing mCLARI - omnidirectional laterally confined locomotion - and experimentally quantify its running performance achieving a new unconstrained top speed of 3 bodylengths/s (60 mms-1). Leveraging passive body compliance, mCLARI can navigate through narrow spaces with a body compression ratio of up to 1.5x the neutral body shape.


title: Generating Less Certain Adversarial Examples Improves Robust Generalization

abstract: This paper revisits the robust overfitting phenomenon of adversarial training. Observing that models with better robust generalization performance are less certain in predicting adversarially generated training inputs, we argue that overconfidence in predicting adversarial examples is a potential cause. Therefore, we hypothesize that generating less certain adversarial examples improves robust generalization, and propose a formal definition of adversarial certainty that captures the variance of the model's predicted logits on adversarial examples. Our theoretical analysis of synthetic distributions characterizes the connection between adversarial certainty and robust generalization. Accordingly, built upon the notion of adversarial certainty, we develop a general method to search for models that can generate training-time adversarial inputs with reduced certainty, while maintaining the model's capability in distinguishing adversarial examples. Extensive experiments on image benchmarks demonstrate that our method effectively learns models with consistently improved robustness and mitigates robust overfitting, confirming the importance of generating less certain adversarial examples for robust generalization.


title: Multi-decadal Sea Level Prediction using Neural Networks and Spectral Clustering on Climate Model Large Ensembles and Satellite Altimeter Data

abstract: Sea surface height observations provided by satellite altimetry since 1993 show a rising rate (3.4 mm/year) for global mean sea level. While on average, sea level has risen 10 cm over the last 30 years, there is considerable regional variation in the sea level change. Through this work, we predict sea level trends 30 years into the future at a 2-degree spatial resolution and investigate the future patterns of the sea level change. We show the potential of machine learning (ML) in this challenging application of long-term sea level forecasting over the global ocean. Our approach incorporates sea level data from both altimeter observations and climate model simulations. We develop a supervised learning framework using fully connected neural networks (FCNNs) that can predict the sea level trend based on climate model projections. Alongside this, our method provides uncertainty estimates associated with the ML prediction. We also show the effectiveness of partitioning our spatial dataset and learning a dedicated ML model for each segmented region. We compare two partitioning strategies: one achieved using domain knowledge, and the other employing spectral clustering. Our results demonstrate that segmenting the spatial dataset with spectral clustering improves the ML predictions.


title: Iris Liveness Detection Competition (LivDet-Iris) -- The 2023 Edition

abstract: This paper describes the results of the 2023 edition of the ''LivDet'' series of iris presentation attack detection (PAD) competitions. New elements in this fifth competition include (1) GAN-generated iris images as a category of presentation attack instruments (PAI), and (2) an evaluation of human accuracy at detecting PAI as a reference benchmark. Clarkson University and the University of Notre Dame contributed image datasets for the competition, composed of samples representing seven different PAI categories, as well as baseline PAD algorithms. Fraunhofer IGD, Beijing University of Civil Engineering and Architecture, and Hochschule Darmstadt contributed results for a total of eight PAD algorithms to the competition. Accuracy results are analyzed by different PAI types, and compared to human accuracy. Overall, the Fraunhofer IGD algorithm, using an attention-based pixel-wise binary supervision network, showed the best-weighted accuracy results (average classification error rate of 37.31%), while the Beijing University of Civil Engineering and Architecture's algorithm won when equal weights for each PAI were given (average classification rate of 22.15%). These results suggest that iris PAD is still a challenging problem.


title: Lagrangian Duality in Quantum Optimization: Overcoming QUBO Limitations for Constrained Problems

abstract: We propose an approach to solving constrained combinatorial optimization problems based on embedding the concept of Lagrangian duality into the framework of adiabatic quantum computation. Within the setting of circuit-model fault-tolerant quantum computation, we demonstrate that this approach achieves a quadratic improvement in circuit depth and maintains a constraint-independent circuit width in contrast to the prevalent approach of solving constrained problems via reformulations based on the quadratic unconstrained binary optimization (QUBO) framework. Our study includes a detailed review of the limitations encountered when using QUBO for constrained optimization. We show that the proposed method overcomes these limitations by encoding the optimal solution at an energetically elevated level of a simpler problem Hamiltonian, which results in substantially more resource-efficient quantum circuits. We consolidate our strategy with a detailed analysis on how the concepts of Lagrangian duality such as duality gap and complementary slackness relate to the success probability of sampling the optimal solution. Our findings are illustrated by benchmarking the Lagrangian dual approach against the QUBO approach using the NP-complete binary knapsack problem.


title: Extended Levett trigonometric series

abstract: An extension of two finite trigonometric series is studied to derive closed form formulae involving the Hurwitz-Lerch zeta function. The trigonometric series involves angles with a geometric series involving the powers of 3. These closed formulae are used to derive composite finite series involving special functions, trigonometric functions and fundamental constants. A short table summarizing some interesting results is produced.


title: A remark on density theorems for Riemann's zeta-function

abstract: The goal of this paper is to give a relatively simple proof of some known zero density estimates for Riemann zeta function which are sufficiently strong to break the density hypothesis in a nontrivial part of the critical strip. Apart from a simple but ingenious idea of Halasz the proof uses only classical knowledge about the zeta function, results known since at least hundred years.


title: Fluctuations of the Atlas model from inhomogeneous stationary profiles

abstract: The infinite Atlas model describes the evolution of a countable collection of Brownian particles on the real line, where the lowest particle is given a drift of $\gamma \in [0,\infty)$. We study equilibrium fluctuations for the Atlas model when the system of particles starts from an inhomogeneous stationary profile with exponentially growing density. We show that the appropriately centered and scaled occupation measure of the particle positions, with suitable translations, viewed as a space-time random field, converges to a limit given by a certain stochastic partial differential equation (SPDE). The initial condition for this equation is given by a Brownian motion, the equation is driven by an additive space-time noise that is white in time and colored in space, and the linear operator governing the evolution is the infinitesimal generator of a geometric Brownian motion. We use this SPDE to also characterize the fluctuations of the ranked particle positions with a suitable centering and scaling. Our results describe the behavior of the particles in the bulk and one finds that the Gaussian process describing the asymptotic fluctuations has the same H\"{o}lder regularity as a fractional Brownian motion with Hurst parameter $1/4$. One finds that, unlike the setting of a homogeneous profile (Dembo and Tsai (2017)), the behavior on the lower edge of the particle system is very different from the bulk behavior and in fact the variance of the Gaussian limit diverges to $\infty$ as one approaches the lower edge. Indeed, our results show that, with the gaps between particles given by one of the inhomogeneous stationary distributions, the lowest particle, started from $0$, with a linear in time translation, converges in distribution to an explicit non-Gaussian limit as $t\to \infty$.


title: Privacy-Preserving Financial Anomaly Detection via Federated Learning & Multi-Party Computation

abstract: One of the main goals of financial institutions (FIs) today is combating fraud and financial crime. To this end, FIs use sophisticated machine-learning models trained using data collected from their customers. The output of machine learning models may be manually reviewed for critical use cases, e.g., determining the likelihood of a transaction being anomalous and the subsequent course of action. While advanced machine learning models greatly aid an FI in anomaly detection, model performance could be significantly improved using additional customer data from other FIs. In practice, however, an FI may not have appropriate consent from customers to share their data with other FIs. Additionally, data privacy regulations may prohibit FIs from sharing clients' sensitive data in certain geographies. Combining customer data to jointly train highly accurate anomaly detection models is therefore challenging for FIs in operational settings. In this paper, we describe a privacy-preserving framework that allows FIs to jointly train highly accurate anomaly detection models. The framework combines the concept of federated learning with efficient multi-party computation and noisy aggregates inspired by differential privacy. The presented framework was submitted as a winning entry to the financial crime detection track of the US/UK PETs Challenge. The challenge considered an architecture where banks hold customer data and execute transactions through a central network. We show that our solution enables the network to train a highly accurate anomaly detection model while preserving privacy of customer data. Experimental results demonstrate that use of additional customer data using the proposed approach results in improvement of our anomaly detection model's AUPRC from 0.6 to 0.7. We discuss how our framework, can be generalized to other similar scenarios.


title: Deep Learning Based Active Spatial Channel Gain Prediction Using a Swarm of Unmanned Aerial Vehicles

abstract: Prediction of wireless channel gain (CG) across space is a necessary tool for many important wireless network design problems. In this paper, we develop prediction methods that use environment-specific features, namely building maps and CG measurements, to achieve high prediction accuracy. We assume that measurements are collected using a swarm of coordinated unmanned aerial vehicles (UAVs). We develop novel active prediction approaches which consist of both methods for UAV path planning for optimal measurement collection and methods for prediction of CG across space based on the collected measurements. We propose two active prediction approaches based on deep learning (DL) and Kriging interpolation. The first approach does not rely on the location of the transmitter and utilizes 3D maps to compensate for the lack of it. We utilize DL to incorporate 3D maps into prediction and reinforcement learning for optimal path planning for the UAVs based on DL prediction. The second active prediction approach is based on Kriging interpolation, which requires known transmitter location and cannot utilize 3D maps. We train and evaluate the two proposed approaches in a ray-tracing-based channel simulator. Using simulations, we demonstrate the importance of active prediction compared to prediction based on randomly collected measurements of channel gain. Furthermore, we show that using DL and 3D maps, we can achieve high prediction accuracy even without knowing the transmitter location. We also demonstrate the importance of coordinated path planning for active prediction when using multiple UAVs compared to UAVs collecting measurements independently in a greedy manner.


title: Submodular Norms with Applications To Online Facility Location and Stochastic Probing

abstract: Optimization problems often involve vector norms, which has led to extensive research on developing algorithms that can handle objectives beyond the $\ell_p$ norms. Our work introduces the concept of submodular norms, which are a versatile type of norms that possess marginal properties similar to submodular set functions. We show that submodular norms can accurately represent or approximate well-known classes of norms, such as $\ell_p$ norms, ordered norms, and symmetric norms. Furthermore, we establish that submodular norms can be applied to optimization problems such as online facility location, stochastic probing, and generalized load balancing. This allows us to develop a logarithmic-competitive algorithm for online facility location with symmetric norms, to prove a logarithmic adaptivity gap for stochastic probing with symmetric norms, and to give an alternative poly-logarithmic approximation algorithm for generalized load balancing with outer $\ell_1$ norm and inner symmetric norms.


title: Non-local boundary energy forms for quasidiscs: Codimension gap and approximation

abstract: We consider non-local energy forms of fractional Laplace type on quasicircles and prove that they can be approximated by similar energy forms on polygonal curves. The approximation is in terms of generalized Mosco convergence along a sequence of varying Hilbert spaces. The domains of the energy forms are the natural trace spaces, and we focus on the case of quasicircles of Hausdorff dimension greater than one. The jump in Hausdorff dimension results in a mismatch of fractional orders, which we compensate by a suitable choice of kernels. We provide approximations of quasidiscs by polygonal $(\varepsilon,\infty)$-domains with common parameter $\varepsilon>0$ and show convergence results for superpositions of Dirichlet integrals and non-local boundary energy forms.


title: Module-wise Adaptive Distillation for Multimodality Foundation Models

abstract: Pre-trained multimodal foundation models have demonstrated remarkable generalizability but pose challenges for deployment due to their large sizes. One effective approach to reducing their sizes is layerwise distillation, wherein small student models are trained to match the hidden representations of large teacher models at each layer. Motivated by our observation that certain architecture components, referred to as modules, contribute more significantly to the student's performance than others, we propose to track the contributions of individual modules by recording the loss decrement after distillation each module and choose the module with a greater contribution to distill more frequently. Such an approach can be naturally formulated as a multi-armed bandit (MAB) problem, where modules and loss decrements are considered as arms and rewards, respectively. We then develop a modified-Thompson sampling algorithm named OPTIMA to address the nonstationarity of module contributions resulting from model updating. Specifically, we leverage the observed contributions in recent history to estimate the changing contribution of each module and select modules based on these estimations to maximize the cumulative contribution. We evaluate the effectiveness of OPTIMA through distillation experiments on various multimodal understanding and image captioning tasks, using the CoCa-Large model (Yu et al., 2022) as the teacher model.


title: MeSa: Masked, Geometric, and Supervised Pre-training for Monocular Depth Estimation

abstract: Pre-training has been an important ingredient in developing strong monocular depth estimation models in recent years. For instance, self-supervised learning (SSL) is particularly effective by alleviating the need for large datasets with dense ground-truth depth maps. However, despite these improvements, our study reveals that the later layers of the SOTA SSL method are actually suboptimal. By examining the layer-wise representations, we demonstrate significant changes in these later layers during fine-tuning, indicating the ineffectiveness of their pre-trained features for depth estimation. To address these limitations, we propose MeSa, a comprehensive framework that leverages the complementary strengths of masked, geometric, and supervised pre-training. Hence, MeSa benefits from not only general-purpose representations learnt via masked pre training but also specialized depth-specific features acquired via geometric and supervised pre-training. Our CKA layer-wise analysis confirms that our pre-training strategy indeed produces improved representations for the later layers, overcoming the drawbacks of the SOTA SSL method. Furthermore, via experiments on the NYUv2 and IBims-1 datasets, we demonstrate that these enhanced representations translate to performance improvements in both the in-distribution and out-of-distribution settings. We also investigate the influence of the pre-training dataset and demonstrate the efficacy of pre-training on LSUN, which yields significantly better pre-trained representations. Overall, our approach surpasses the masked pre-training SSL method by a substantial margin of 17.1% on the RMSE. Moreover, even without utilizing any recently proposed techniques, MeSa also outperforms the most recent methods and establishes a new state-of-the-art for monocular depth estimation on the challenging NYUv2 dataset.


title: Effective-One-Body Numerical-Relativity waveform model for Eccentric spin-precessing binary black hole coalescence

abstract: Waveform models are important to gravitational wave data analysis. People recently pay much attention to the waveform model construction for eccentric binary black hole coalescence. Several Effective-One-Body Numerical-Relativity waveform models of eccentric binary black hole coalescence have been constructed. But none of them can treat orbit eccentricity and spin-precessing simultaneously. The current paper focuses on this problem. The authors previously have constructed waveform model for spin-aligned eccentric binary black hole coalescence $\texttt{SEOBNRE}$. Here we extend such waveform model to describe eccentric spin-precessing binary black hole coalescence. We calculate the 2PN orbital radiation-reaction forces and the instantaneous part of the decomposed waveform for a general spinning precessing binary black hole system in effective-one-body (EOB) coordinates. We implement these results based on our previous $\texttt{SEOBNRE}$ waveform model. We have also compared our model waveforms to both SXS and RIT numerical relativity waveforms. We find good consistency between our model and numerical relativity. Based on our new waveform model, we analyze the impact of the non-perpendicular spin contributions on waveform accuracy. We find that the non-perpendicular spin contributions primarily affect the phase of the gravitational waveforms. For the current gravitational wave detectors, this contribution is not significant. The future detectors may be affected by such non perpendicular spin contributions. More importantly our $\texttt{SEOBNRE}$ waveform model, as the first theoretical waveform model to describe eccentric spin-precessing binary black hole coalescence, can help people to analyze orbit eccentricity and spin precession simultaneously for gravitational wave detection data.


title: The NIKA2 Sunyaev-Zeldovich Large Program: Sample and upcoming product public release

abstract: The NIKA2 camera operating at the IRAM 30 m telescope excels in high-angular resolution mapping of the thermal Sunyaev-Zeldovich effect towards galaxy clusters at intermediate and high-redshift. As part of the NIKA2 guaranteed time, the SZ Large Program (LPSZ) aims at tSZ-mapping a representative sample of SZ-selected galaxy clusters in the catalogues of the Planck satellite and of the Atacama Cosmology Telescope, and also observed in X-ray with XMM Newton or Chandra. Having completed observations in January 2023, we present tSZ maps of 38 clusters spanning the targeted mass ($3 < M_{500}/10^{14} M_{\odot} < 10$) and redshift ($0.5 < z < 0.9$) ranges. The first in depth studies of individual clusters highlight the potential of combining tSZ and X-ray observations at similar angular resolution for accurate mass measurements. These were milestones for the development of a standard data analysis pipeline to go from NIKA2 raw data to the thermodynamic properties of galaxy clusters for the upcoming LPSZ data release. Final products will include unprecedented measurements of the mean pressure profile and mass observable scaling relation using a distinctive SZ-selected sample, which will be key for ultimately improving the accuracy of cluster based cosmology.


title: Remark on the eigenvalues of a tridiagonal matrix in biogeography

abstract: The main result proved in [The eigenvalues of a tridiagonal matrix in biogeography, Appl. Math. Comput. 218 (2011) 195-201; MR2821464] by B. Igelnik and D. Simon is virtually the Sylvester determinant.


title: Optical trapping and manipulation of fluorescent polymer-based nanostructures: measuring optical properties of materials in the nanoscale range

abstract: We present a novel approach to determine the optical properties of materials in the nanoscale range using optical tweezers (OT). Fluorescent polymer-based nanostructures (pdots) are optically trapped in a Gaussian beam OT and the trap stiffness is studied as a function of various parameters of interest. We explicitly show that properties such as the refractive index and the optical anisotropy of these nanostructures can be determined with high accuracy by comparing the experimental data to an optical force model. In particular, we demonstrate that the effective optical properties of these pdots can be modulated by changing the light wavelength that excites the sample, opening the door for a fine tuning of their optical response, with possible applications in the development of new sensors and/or other optoelectronic devices.


title: Effects of the measurement power on states discrimination and dynamics in a circuit-QED experiment

abstract: We explore the effects of driving a cavity at a large photon number in a circuit-QED experiment where the ``matter-like'' part corresponds to an unique Andreev level in a superconducting weak link. The three many-body states of the weak link, corresponding to the occupation of the Andreev level by 0, 1 or 2 quasiparticles, lead to different cavity frequency shifts. We show how the non-linearity inherited by the cavity from its coupling to the weak link affects the state discrimination and the photon number calibration. Both effects require treating the evolution of the driven system beyond the dispersive limit. In addition, we observe how transition rates between the circuit states (quantum and parity jumps) are affected by the microwave power, and compare the measurements with a theory accounting for the ``dressing'' of the Andreev states by the cavity.


title: Measuring Information in Text Explanations

abstract: Text-based explanation is a particularly promising approach in explainable AI, but the evaluation of text explanations is method-dependent. We argue that placing the explanations on an information-theoretic framework could unify the evaluations of two popular text explanation methods: rationale and natural language explanations (NLE). This framework considers the post-hoc text pipeline as a series of communication channels, which we refer to as ``explanation channels''. We quantify the information flow through these channels, thereby facilitating the assessment of explanation characteristics. We set up tools for quantifying two information scores: relevance and informativeness. We illustrate what our proposed information scores measure by comparing them against some traditional evaluation metrics. Our information-theoretic scores reveal some unique observations about the underlying mechanisms of two representative text explanations. For example, the NLEs trade-off slightly between transmitting the input-related information and the target-related information, whereas the rationales do not exhibit such a trade-off mechanism. Our work contributes to the ongoing efforts in establishing rigorous and standardized evaluation criteria in the rapidly evolving field of explainable AI.


title: VTON-IT: Virtual Try-On using Image Translation

abstract: Virtual Try-On (trying clothes virtually) is a promising application of the Generative Adversarial Network (GAN). However, it is an arduous task to transfer the desired clothing item onto the corresponding regions of a human body because of varying body size, pose, and occlusions like hair and overlapped clothes. In this paper, we try to produce photo-realistic translated images through semantic segmentation and a generative adversarial architecture-based image translation network. We present a novel image-based Virtual Try-On application VTON-IT that takes an RGB image, segments desired body part, and overlays target cloth over the segmented body region. Most state-of-the-art GAN-based Virtual Try-On applications produce unaligned pixelated synthesis images on real-life test images. However, our approach generates high-resolution natural images with detailed textures on such variant images.


title: Accelerating Pythonic coupled cluster implementations: a comparison between CPUs and GPUs

abstract: We scrutinize how to accelerate the bottleneck operations of Pythonic coupled cluster implementations performed on a \texttt{NVIDIA} Tesla V100S PCIe 32GB (rev 1a) Graphics Processing Unit (GPU). The \texttt{NVIDIA} Compute Unified Device Architecture (CUDA) API is interacted with via \texttt{CuPy}, an open-source library for Python, designed as a \texttt{NumPy} drop-in replacement for GPUs. The implementation uses the Cholesky linear algebra domain and is done in {PyBEST}, the Pythonic Black-box Electronic Structure Tool -- a fully-fledged modern electronic structure software package. Due to the limitations of Video Memory (VRAM), the GPU calculations must be performed batch-wise. Timing results of some contractions containing large tensors are presented. The \texttt{CuPy} implementation leads to factor 10 speed-up compared to calculations on 36 CPUs. Furthermore, we benchmark several Pythonic routines for time and memory requirements to identify the optimal choice of the tensor contraction operations available. Finally, we compare an example CCSD and pCCD-LCCSD calculation performed solely on CPUs to their CPU--GPU hybrid implementation. Our results indicate a significant speed-up (up to a factor of 16 regarding the bottleneck operations) when offloading specific contractions to the GPU using \texttt{CuPy}.


title: Talk like a Graph: Encoding Graphs for Large Language Models

abstract: Graphs are a powerful tool for representing and analyzing complex relationships in real-world applications such as social networks, recommender systems, and computational finance. Reasoning on graphs is essential for drawing inferences about the relationships between entities in a complex system, and to identify hidden patterns and trends. Despite the remarkable progress in automated reasoning with natural text, reasoning on graphs with large language models (LLMs) remains an understudied problem. In this work, we perform the first comprehensive study of encoding graph-structured data as text for consumption by LLMs. We show that LLM performance on graph reasoning tasks varies on three fundamental levels: (1) the graph encoding method, (2) the nature of the graph task itself, and (3) interestingly, the very structure of the graph considered. These novel results provide valuable insight on strategies for encoding graphs as text. Using these insights we illustrate how the correct choice of encoders can boost performance on graph reasoning tasks inside LLMs by 4.8% to 61.8%, depending on the task.


title: DragD3D: Vertex-based Editing for Realistic Mesh Deformations using 2D Diffusion Priors

abstract: Direct mesh editing and deformation are key components in the geometric modeling and animation pipeline. Direct mesh editing methods are typically framed as optimization problems combining user-specified vertex constraints with a regularizer that determines the position of the rest of the vertices. The choice of the regularizer is key to the realism and authenticity of the final result. Physics and geometry-based regularizers are not aware of the global context and semantics of the object, and the more recent deep learning priors are limited to a specific class of 3D object deformations. In this work, our main contribution is a local mesh editing method called DragD3D for global context-aware realistic deformation through direct manipulation of a few vertices. DragD3D is not restricted to any class of objects. It achieves this by combining the classic geometric ARAP (as rigid as possible) regularizer with 2D priors obtained from a large-scale diffusion model. Specifically, we render the objects from multiple viewpoints through a differentiable renderer and use the recently introduced DDS loss which scores the faithfulness of the rendered image to one from a diffusion model. DragD3D combines the approximate gradients of the DDS with gradients from the ARAP loss to modify the mesh vertices via neural Jacobian field, while also satisfying vertex constraints. We show that our deformations are realistic and aware of the global context of the objects, and provide better results than just using geometric regularizers.


title: Towards Foundation Models for Knowledge Graph Reasoning

abstract: Foundation models in language and vision have the ability to run inference on any textual and visual inputs thanks to the transferable representations such as a vocabulary of tokens in language. Knowledge graphs (KGs) have different entity and relation vocabularies that generally do not overlap. The key challenge of designing foundation models on KGs is to learn such transferable representations that enable inference on any graph with arbitrary entity and relation vocabularies. In this work, we make a step towards such foundation models and present ULTRA, an approach for learning universal and transferable graph representations. ULTRA builds relational representations as a function conditioned on their interactions. Such a conditioning strategy allows a pre-trained ULTRA model to inductively generalize to any unseen KG with any relation vocabulary and to be fine-tuned on any graph. Conducting link prediction experiments on 57 different KGs, we find that the zero-shot inductive inference performance of a single pre-trained ULTRA model on unseen graphs of various sizes is often on par or better than strong baselines trained on specific graphs. Fine-tuning further boosts the performance.


title: Modeling the Risk of In-Person Instruction during the COVID-19 Pandemic

abstract: During the COVID-19 pandemic, safely implementing in-person indoor instruction was a high priority for universities nationwide. To support this effort at the University, we developed a mathematical model for estimating the risk of SARS-CoV-2 transmission in university classrooms. This model was used to evaluate combinations of feasible interventions for classrooms at the University during the pandemic and optimize the set of interventions that would allow higher occupancy levels, matching the pre-pandemic numbers of in-person courses. Importantly, we determined that requiring masking in dense classrooms with unrestricted seating with more than 90% of students vaccinated was easy to implement, incurred little logistical or financial cost, and allowed classes to be held at full capacity. A retrospective analysis at the end of the semester confirmed the model's assessment that the proposed classroom configuration would be safe. Our framework is generalizable and was used to support reopening decisions at Stanford University. In addition, our framework is flexible and applies to a wide range of indoor settings. It was repurposed for large university events and gatherings and could be used to support planning indoor space use to avoid transmission of infectious diseases across various industries, from secondary schools to movie theaters and restaurants.

categories: stat.AP math.OC physics.soc-ph q-bio.QM stat.ME


title: ReLU Strikes Back: Exploiting Activation Sparsity in Large Language Models

abstract: Large Language Models (LLMs) with billions of parameters have drastically transformed AI applications. However, their demanding computation during inference has raised significant challenges for deployment on resource-constrained devices. Despite recent trends favoring alternative activation functions such as GELU or SiLU, known for increased computation, this study strongly advocates for reinstating ReLU activation in LLMs. We demonstrate that using the ReLU activation function has a negligible impact on convergence and performance while significantly reducing computation and weight transfer. This reduction is particularly valuable during the memory-bound inference step, where efficiency is paramount. Exploring sparsity patterns in ReLU-based LLMs, we unveil the reutilization of activated neurons for generating new tokens and leveraging these insights, we propose practical strategies to substantially reduce LLM inference computation up to three times, using ReLU activations with minimal performance trade-offs.


title: Binary Quantification and Dataset Shift: An Experimental Investigation

abstract: Quantification is the supervised learning task that consists of training predictors of the class prevalence values of sets of unlabelled data, and is of special interest when the labelled data on which the predictor has been trained and the unlabelled data are not IID, i.e., suffer from dataset shift. To date, quantification methods have mostly been tested only on a special case of dataset shift, i.e., prior probability shift; the relationship between quantification and other types of dataset shift remains, by and large, unexplored. In this work we carry out an experimental analysis of how current quantification algorithms behave under different types of dataset shift, in order to identify limitations of current approaches and hopefully pave the way for the development of more broadly applicable methods. We do this by proposing a fine-grained taxonomy of types of dataset shift, by establishing protocols for the generation of datasets affected by these types of shift, and by testing existing quantification methods on the datasets thus generated. One finding that results from this investigation is that many existing quantification methods that had been found robust to prior probability shift are not necessarily robust to other types of dataset shift. A second finding is that no existing quantification method seems to be robust enough to dealing with all the types of dataset shift we simulate in our experiments. The code needed to reproduce all our experiments is publicly available at https://github.com/pglez82/quant_datasetshift.


title: Knolling Bot: Learning Robotic Object Arrangement from Tidy Demonstrations

abstract: Addressing the challenge of organizing scattered items in domestic spaces is complicated by the diversity and subjective nature of tidiness. Just as the complexity of human language allows for multiple expressions of the same idea, household tidiness preferences and organizational patterns vary widely, so presetting object locations would limit the adaptability to new objects and environments. Inspired by advancements in natural language processing (NLP), this paper introduces a self-supervised learning framework that allows robots to understand and replicate the concept of tidiness from demonstrations of well-organized layouts, akin to using conversational datasets to train Large Language Models(LLM). We leverage a transformer neural network to predict the placement of subsequent objects. We demonstrate a ``knolling'' system with a robotic arm and an RGB camera to organize items of varying sizes and quantities on a table. Our method not only trains a generalizable concept of tidiness, enabling the model to provide diverse solutions and adapt to different numbers of objects, but it can also incorporate human preferences to generate customized tidy tables without explicit target positions for each object.


title: DPM-TSE: A Diffusion Probabilistic Model for Target Sound Extraction

abstract: Common target sound extraction (TSE) approaches primarily relied on discriminative approaches in order to separate the target sound while minimizing interference from the unwanted sources, with varying success in separating the target from the background. This study introduces DPM-TSE, a first generative method based on diffusion probabilistic modeling (DPM) for target sound extraction, to achieve both cleaner target renderings as well as improved separability from unwanted sounds. The technique also tackles common background noise issues with DPM by introducing a correction method for noise schedules and sample steps. This approach is evaluated using both objective and subjective quality metrics on the FSD Kaggle 2018 dataset. The results show that DPM-TSE has a significant improvement in perceived quality in terms of target extraction and purity.


title: NUT Solutions in Einstein-Maxwell-scalar-Gauss-Bonnet Gravity

abstract: In this article, we consider a class of four-dimensional Einstein-Maxwell theory which is coupled non-minimally to a scalar field and the Gauss-Bonnet invariant. We mainly use the numerical methods to find the solutions to the theory, with the NUT twist. We find explicitly the numerical solutions to all of the field equations. To find the appropriate consistent numerical solutions, we use the the perturbative expansion of the fields asymptotically, as well as near horizon. The solutions describe the NUTty black holes with the scalar charge which also depend explicitly on the values of the non-minimal coupling constants. We provide a detailed numerical analysis of the solutions in terms of all existing parameters of the theory.


title: Dataset of Classified Chandra Sources in Globular Clusters

abstract: We present a collection of classified X-ray sources in Globular Clusters (GCs) observed by the Chandra X-ray Observatory (CXO), including active binaries, cataclysmic variables, millisecond pulsars, and low-mass X-ray binaries. We cross-match the most accurate published positions from multiwavelength observations of these sources to the Chandra Source Catalog (CSC) Release 2.1, and the HST UV Globular Cluster Survey (HUGS) to extract their multiwavelength properties. The dataset can be accessed via an interactive website and used as a training dataset for machine-learning classification of unidentified X-ray sources in GCs.


title: Transformer-Based Neural Surrogate for Link-Level Path Loss Prediction from Variable-Sized Maps

abstract: Estimating path loss for a transmitter-receiver location is key to many use-cases including network planning and handover. Machine learning has become a popular tool to predict wireless channel properties based on map data. In this work, we present a transformer-based neural network architecture that enables predicting link-level properties from maps of various dimensions and from sparse measurements. The map contains information about buildings and foliage. The transformer model attends to the regions that are relevant for path loss prediction and, therefore, scales efficiently to maps of different size. Further, our approach works with continuous transmitter and receiver coordinates without relying on discretization. In experiments, we show that the proposed model is able to efficiently learn dominant path losses from sparse training data and generalizes well when tested on novel maps.


title: Elliptic Calogero-Moser system, crossed and folded instantons, and bilinear identities

abstract: Affine analogues of the Q-functions are constructed using folded instantons partition functions. They are shown to be the solutions of the quantum spectral curve of the N-body elliptic Calogero-Moser (eCM) system, the quantum Krichever curve. They also solve the elliptic analogue of the quantum Wronskian equation. In the companion paper we present the quantum analogue of Krichever's Lax operator for eCM. A connection to crossed instantons on Taub-Nut spaces, and opers on a punctured torus is pointed out.


title: LIVE: Lidar Informed Visual Search for Multiple Objects with Multiple Robots

abstract: This paper introduces LIVE: Lidar Informed Visual Search focused on the problem of multi-robot (MR) planning and execution for robust visual detection of multiple objects. We perform extensive real-world experiments with a two-robot team in an indoor apartment setting. LIVE acts as a perception module that detects unmapped obstacles, or Short Term Features (STFs), in Lidar observations. STFs are filtered, resulting in regions to be visually inspected by modifying plans online. Lidar Coverage Path Planning (CPP) is employed for generating highly efficient global plans for heterogeneous robot teams. Finally, we present a data model and a demonstration dataset, which can be found by visiting our project website https://sites.google.com/view/live-iros2023/home.


title: Can pruning make Large Language Models more efficient?

abstract: Transformer models have revolutionized natural language processing with their unparalleled ability to grasp complex contextual relationships. However, the vast number of parameters in these models has raised concerns regarding computational efficiency, environmental impact, and deployability on resource-limited platforms. To address these challenges, this paper investigates the application of weight pruning-a strategic reduction of model parameters based on their significance-as an optimization strategy for Transformer architectures. Through extensive experimentation, we explore various pruning methodologies, highlighting their impact on model performance, size, and computational demands. Our findings suggest that with judicious selection of pruning hyperparameters, significant reductions in model size are attainable without considerable compromise on performance. Moreover, when coupled with post-pruning fine-tuning strategies, some pruned models even exhibit enhanced generalization capabilities. This work seeks to bridge the gap between model efficiency and performance, paving the way for more scalable and environmentally responsible deep learning applications.


title: Remarks on soft ball packings in dimensions 2 and 3

abstract: We study translative arrangements of centrally symmetric convex domains in the plane (resp., of congruent balls in the Euclidean $3$-space) that neither pack nor cover. We define their soft density depending on a soft parameter and prove that the largest soft density for soft translative packings of a centrally symmetric convex domain with $3$-fold rotational symmetry and given soft parameter is obtained for a proper soft lattice packing. Furthermore, we show that among the soft lattice packings of congruent soft balls with given soft parameter the soft density is locally maximal for the corresponding face centered cubic (FCC) lattice.


title: Real-time Optical Network Sensing Control Plane Enabled by a Novel Sub us Response Time Fibre Sensing Control Device

abstract: We propose and implement a novel fibre sensing control device and associated sensing control plane that effectively controls backscatter and polarization-based fibre sensing. We experimentally demonstrate in a fibre network that this device and associated control plane can achieve sub-us response time.


title: Finite Sample Performance of a Conduct Parameter Test in Homogenous Goods Markets

abstract: We assess the finite sample performance of the conduct parameter test in homogeneous goods markets. Statistical power rises with an increase in the number of markets, a larger conduct parameter, and a stronger demand rotation instrument. However, even with a moderate number of markets and five firms, regardless of instrument strength and the utilization of optimal instruments, rejecting the null hypothesis of perfect competition remains challenging. Our findings indicate that empirical results that fail to reject perfect competition are a consequence of the limited number of markets rather than methodological deficiencies.


title: Interaction between swarming active matter and flow: the impact on Lagrangian coherent structures

abstract: In recent years, research topics concerning active matter have attracted interest from diverse communities. It has been suggested that active matter-as represented by zooplankton-has potential in ocean mixing due to its intrinsic mobility and the sheer amount of biomass. However, prior investigations have predominantly overlooked the influence of external background flow, despite the ubiquity of flow driven by various sources in nature. The interaction between active matter and external flow structures has long been neglected. Here, we conducted experiments using a typical centimeter swimmer, \textit{A. salina}, and an electromagnetically driven quasi-two-dimensional flow to study the interaction between active matter and flow. We focused on the impact of swarming active matter on hyperbolic Lagrangian coherent structures (LCSs) that mark the most straining regions in the flow. We illustrated that the impact of active matter on LCSs was much more significant compared to localized random noise with similar energy input. In addition, we revealed that the perturbation generated by active matter could couple with the background flow and further deform the LCSs. In addition, we also revealed that the rotational elliptical region of the flow was much more susceptible to active matter perturbation. We further described how the influence of active matter changed with their number densities and background flow intensities. We revealed that the LCSs could be decently altered even at a small number density of active matter. We aim to provide valuable insights and draw attention to the problem regarding the interaction between active matter and external flow structures.


title: TNDDR: Efficient and doubly robust estimation of COVID-19 vaccine effectiveness under the test-negative design

abstract: While the test-negative design (TND), which is routinely used for monitoring seasonal flu vaccine effectiveness (VE), has recently become integral to COVID-19 vaccine surveillance, it is susceptible to selection bias due to outcome-dependent sampling. Some studies have addressed the identifiability and estimation of causal parameters under the TND, but efficiency bounds for nonparametric estimators of the target parameter under the unconfoundedness assumption have not yet been investigated. We propose a one-step doubly robust and locally efficient estimator called TNDDR (TND doubly robust), which utilizes sample splitting and can incorporate machine learning techniques to estimate the nuisance functions. We derive the efficient influence function (EIF) for the marginal expectation of the outcome under a vaccination intervention, explore the von Mises expansion, and establish the conditions for $\sqrt{n}-$consistency, asymptotic normality and double robustness of TNDDR. The proposed TNDDR is supported by both theoretical and empirical justifications, and we apply it to estimate COVID-19 VE in an administrative dataset of community-dwelling older people (aged $\geq 60$y) in the province of Qu\'ebec, Canada.


title: Self-Confirming Transformer for Locally Consistent Online Adaptation in Multi-Agent Reinforcement Learning

abstract: Offline reinforcement learning (RL) leverages previously collected data to extract policies that return satisfying performance in online environments. However, offline RL suffers from the distribution shift between the offline dataset and the online environment. In the multi-agent RL (MARL) setting, this distribution shift may arise from the nonstationary opponents (exogenous agents beyond control) in the online testing who display distinct behaviors from those recorded in the offline dataset. Hence, the key to the broader deployment of offline MARL is the online adaptation to nonstationary opponents. Recent advances in large language models have demonstrated the surprising generalization ability of the transformer architecture in sequence modeling, which prompts one to wonder \textit{whether the offline-trained transformer policy adapts to nonstationary opponents during online testing}. This work proposes the self-confirming loss (SCL) in offline transformer training to address the online nonstationarity, which is motivated by the self-confirming equilibrium (SCE) in game theory. The gist is that the transformer learns to predict the opponents' future moves based on which it acts accordingly. As a weaker variant of Nash equilibrium (NE), SCE (equivalently, SCL) only requires local consistency: the agent's local observations do not deviate from its conjectures, leading to a more adaptable policy than the one dictated by NE focusing on global optimality. We evaluate the online adaptability of the self-confirming transformer (SCT) by playing against nonstationary opponents employing a variety of policies, from the random one to the benchmark MARL policies. Experimental results demonstrate that SCT can adapt to nonstationary opponents online, achieving higher returns than vanilla transformers and offline MARL baselines.


title: An Operational Data-Driven Malfunction Detection Framework for Enhanced Power Distribution System Monitoring -- The DeMaDs Approach

abstract: The changes in the electric energy system toward a sustainable future are inevitable and already on the way today. This often entails a change of paradigm for the electric energy grid, for example, the switch from central to decentralized power generation which also has to provide grid-supporting functionalities. However, due to the scarcity of distributed sensors, new solutions for grid operators for monitoring these functionalities are needed. The framework presented in this work allows to apply and assess data-driven detection methods in order to implement such monitoring capabilities. Furthermore, an approach to a multi-stage detection of misconfigurations is introduced. Details on implementations of the single stages as well as their requirements are also presented. Furthermore, testing and validation results are discussed. Due to its feature of being seamlessly integrable into system operators' current metering infrastructure, clear benefits of the proposed solution are pointed out.


title: Stanley decompositions of rings of invariants and certain highest weight Harish-Chandra modules

abstract: The first half of this paper is largely expository, wherein we present a systematic combinatorial approach to the theory of polynomial (semi)invariants and multilinear invariants of several vectors and covectors, for the classical groups. This culminates in a graphical description of graded linear bases. By applying well-known results of lattice path combinatorics to Weyl's fundamental theorems of classical invariant theory, we write down Stanley decompositions and Hilbert-Poincare series in terms of families of non-intersecting lattice paths, enumerated with respect to certain corners. In the second half of the paper, we revisit the (semi)invariants in the first half as a special case of a much broader phenomenon. On one hand, polynomial invariants of a group $H$ can be generalized to modules of covariants, i.e., $H$-equivariant polynomial functions between $H$-modules. On the other hand, from the perspective of Roger Howe's theory of dual pairs, these modules of covariants can be viewed as infinite-dimensional simple $(\mathfrak{g}, K)$-modules. This suggests an expanded program in which our goal is to apply combinatorial techniques involving lattice paths in order to write down Hilbert series for arbitrary unitarizable highest-weight $(\mathfrak{g},K)$-modules. As a preview of future work in this program, we present examples showing how modules of covariants -- even those which are not Cohen-Macaulay, and therefore which we would not expect to be combinatorially nice -- can be decomposed in terms of lattice paths. We also extend these methods beyond the classical groups.


title: Universal Humanoid Motion Representations for Physics-Based Control

abstract: We present a universal motion representation that encompasses a comprehensive range of motor skills for physics-based humanoid control. Due to the high dimensionality of humanoids and the inherent difficulties in reinforcement learning, prior methods have focused on learning skill embeddings for a narrow range of movement styles (e.g. locomotion, game characters) from specialized motion datasets. This limited scope hampers their applicability in complex tasks. We close this gap by significantly increasing the coverage of our motion representation space. To achieve this, we first learn a motion imitator that can imitate all of human motion from a large, unstructured motion dataset. We then create our motion representation by distilling skills directly from the imitator. This is achieved by using an encoder-decoder structure with a variational information bottleneck. Additionally, we jointly learn a prior conditioned on proprioception (humanoid's own pose and velocities) to improve model expressiveness and sampling efficiency for downstream tasks. By sampling from the prior, we can generate long, stable, and diverse human motions. Using this latent space for hierarchical RL, we show that our policies solve tasks using human-like behavior. We demonstrate the effectiveness of our motion representation by solving generative tasks (e.g. strike, terrain traversal) and motion tracking using VR controllers.


title: Trapped particle evolution driven by residual gas collisions

abstract: We present a comprehensive mathematical model and experimental measurements for the evolution of a trapped particle ensemble driven by collisions with a room-temperature background vapor. The model accommodates any trap geometry, confining potential, initial trapped distribution, and other experimental details; it only depends on the the probability distribution function $P_t(E)$ for the collision-induced energy transfer to the trapped ensemble. We describe how to find $P_t(E)$ using quantum scattering calculations and how it can be approximated using quantum diffractive universality. We then compare our model to experimental measurements of a $^{87}$Rb ensemble energy evolution exposed to a room temperature background gas of Ar by means of a single parameter fit for the total collision rate $\Gamma$. We extracted a collision rate of $\Gamma = 0.646(1)\ \text{s}^{-1}$. This is compared to a value of $0.664(4)\ \text{s}^{-1}$ found by the commonly used method of zero-trap depth extrapolation, a $2.8\%$ correction that is a result of our model fully taking ensemble loss and heating into account. Finally, we report a five-fold increase in the precision of our collision rate extraction from the experimental data.