title: Accelerating Continuous Variable Coherent Ising Machines via Momentum

abstract: The Coherent Ising Machine (CIM) is a non-conventional architecture that takes inspiration from physical annealing processes to solve Ising problems heuristically. Its dynamics are naturally continuous and described by a set of ordinary differential equations that have been proven to be useful for the optimization of continuous variables non-convex quadratic optimization problems. The dynamics of such Continuous Variable CIMs (CV-CIM) encourage optimization via optical pulses whose amplitudes are determined by the negative gradient of the objective; however, standard gradient descent is known to be trapped by local minima and hampered by poor problem conditioning. In this work, we propose to modify the CV-CIM dynamics using more sophisticated pulse injections based on tried-and-true optimization techniques such as momentum and Adam. Through numerical experiments, we show that the momentum and Adam updates can significantly speed up the CV-CIM's convergence and improve sample diversity over the original CV-CIM dynamics. We also find that the Adam-CV-CIM's performance is more stable as a function of feedback strength, especially on poorly conditioned instances, resulting in an algorithm that is more robust, reliable, and easily tunable. More broadly, we identify the CIM dynamical framework as a fertile opportunity for exploring the intersection of classical optimization and modern analog computing.


title: Spin Wave Threshold Gate

abstract: While Spin Waves (SW) interaction provides natural support for low power Majority (MAJ) gate implementations many hurdles still exists on the road towards the realization of practically relevant SW circuits. In this paper we leave the SW interaction avenue and propose Threshold Logic (TL) inspired SW computing, which relies on successive phase rotations applied to one single SW instead of on the interference of an odd number of SWs. After providing a short TL inside we introduce the SW TL gate concept and discuss the way to mirror TL gate weight and threshold values into physical phase-shifter parameters. Subsequently, we design and demonstrate proper operation of a SW TL based Full Adder (FA) by means of micro-magnetic simulations. We conclude the paper by providing inside on the potential advantages of our proposal by means of a conceptual comparison of MAJ and TL based FA implementations.


title: Generalized Minkowski formulas and rigidity results for anisotropic capillary hypersurfaces

abstract: We show the generalization of Hsiung-Minkowski integral formula for anisotropic capillary hypersurfaces in the half-space, which includes the weighted Hsiung-Minkowski formula and classical anisotropic Minkowski identity for closed hypersurfaces as special cases. As applications, we prove some anisotropic Alexandrov-type theorems and rigidity results for anisotropic capillary hypersurfaces. Specially, the uniqueness of the solution to the anisotropic Orlicz-Christoffel-Minkowski problem is obtained.


title: Gradient Preserving Operator Inference: Data-Driven Reduced-Order Models for Equations with Gradient Structure

abstract: Hamiltonian Operator Inference has been introduced in [Sharma, H., Wang, Z., Kramer, B., Physica D: Nonlinear Phenomena, 431, p.133122, 2022] to learn structure-preserving reduced-order models (ROMs) for Hamiltonian systems. This approach constructs a low-dimensional model using only data and knowledge of the Hamiltonian function. Such ROMs can keep the intrinsic structure of the system, allowing them to capture the physics described by the governing equations. In this work, we extend this approach to more general systems that are either conservative or dissipative in energy, and which possess a gradient structure. We derive the optimization problems for inferring structure-preserving ROMs that preserve the gradient structure. We further derive an $a\ priori$ error estimate for the reduced-order approximation. To test the algorithms, we consider semi-discretized partial differential equations with gradient structure, such as the parameterized wave and Korteweg-de-Vries equations, and equations of three-dimensional linear elasticity in the conservative case and the one- and two-dimensional Allen-Cahn equations in the dissipative case. The numerical results illustrate the accuracy, structure-preservation properties, and predictive capabilities of the gradient-preserving Operator Inference ROMs.


title: Construction of a next-to-next-to-next-to-leading order approximation for heavy flavour production in deep inelastic scattering with quark masses

abstract: The subject of this thesis is the construction of an approximation for the next-to-next-to-next-to leading order (N^3LO) deep inelastic scattering (DIS) massive coefficient function of the gluon for F2 in heavy quark pair production. Indeed, this object is one of the ingredients needed for the construction of any variable flavour number (factorization) scheme at O(alphas^3). The construction of such scheme is crucial for the improvement of the accuracy of the extraction of the parton distribution functions from the experimental data, that in turn will provide an improvement of the accuracy of all the theoretical predictions in high energy physics. Despite the function we are interested in is not known exactly, its expansion in some kinematic limits is available. In particular the high-scale limit (Q^2 >> m^2), high-energy limit (z->0, where z is the argument of the coefficient function) and threshold limit (z->zmax=1/(1+4m^2/Q^2)) of the exact coefficient function are all known, with the exception of some terms that we will provide in approximate form. Therefore, combining these limits in a proper way, we will construct an approximation for the unknown term of the N^3LO gluon coefficient function, that describes the exact curve in the whole range of z. Since other approximations for the N^3LO gluon coefficient functions are present in the literature, we will conclude by comparing our final approximate coefficient functions with such approximations. We will show a comparison both for the NNLO, whose exact function is known, and for the N^3LO. With our approach, we expect our results to be more accurate than previous approximations, thus providing a sufficient precision for a complete description of DIS at N^3LO and the consequent determination of N^3LO PDFs.


title: Chebyshev Varieties

abstract: Chebyshev varieties are algebraic varieties parametrized by Chebyshev polynomials or their multivariate generalizations. We determine the dimension, degree, singular locus and defining equations of these varieties. We explain how they play the role of toric varieties in sparse polynomial root finding, when monomials are replaced by Chebyshev polynomials. We present numerical root finding algorithms that exploit our results.


title: Efficient Resource Allocation and User Association in NOMA-Enabled Vehicular-Aided HetNets with High Altitude Platforms

abstract: The increasing demand for massive connectivity and high data rates has made the efficient use of existing spectrum resources an increasingly challenging problem. Non-orthogonal multiple access (NOMA) is a potential solution for future heterogeneous networks (HetNets) due to its high capacity and spectrum efficiency. In this study, we analyze an uplink NOMA-enabled vehicular-aided HetNet, where multiple vehicular user equipment (VUEs) share the access link spectrum, and a high-altitude platform (HAP) communicates with roadside units (RSUs) through a backhaul communication link. We propose an improved algorithm for user association that selects VUEs for HAPs based on channel coefficient ratios and terrestrial VUEs based on a caching-state backhaul communication link. The joint optimization problems aim to maximize a utility function that considers VUE transmission rates and cross-tier interference while meeting the constraints of backhaul transmission rates and QoS requirements of each VUE. The joint resource allocation optimization problem consists of three sub-problems: bandwidth allocation, user association, and transmission power allocation. We derive a closed-form solution for bandwidth allocation and solve the transmission power allocation sub-problem iteratively using Taylor expansion to transform a non-convex term into a convex one. Our proposed three-stage iterative algorithm for resource allocation integrates all three sub-problems and is shown to be effective through simulation results. Specifically, the results demonstrate that our solution achieves performance improvements over existing approaches.


title: Accuracy of ALMA estimates of young disk radii and masses. Predicted observations from numerical simulations

abstract: Protoplanetary disks, which are the natural consequence of the gravitational collapse of the dense molecular cloud cores, host the formation of the known planetary systems in our universe. Substantial efforts have been dedicated to investigating the properties of these disks in the more mature Class II stage, either via numerical simulations of disk evolution from a limited range of initial conditions or observations of their dust continuum and line emission from specific molecular tracers. The results coming from these two standpoints have been used to draw comparisons. However, few studies have investigated the main limitations at work when measuring the embedded Class 0/I disk properties from observations, especially in a statistical fashion. In this study, we provide a first attempt to compare the accuracy of some critical disk parameters in Class 0/I systems, as derived on real ALMA observational data, with the corresponding physical parameters that can be directly defined by theoreticians and modellers in numerical simulations. The approach we follow here is to provide full post-processing of the numerical simulations and apply it to the synthetic observations the same techniques used by observers to derive the physical parameters. We performed 3D Monte Carlo radiative transfer and mock interferometric observations of the disk populations formed in a magnetohydrodynamic (MHD) simulation model of disk formation through the collapse of massive clumps with the tools \textsc{Radmc-3d} and \textsc{Casa}, respectively, to obtain their synthetic observations. With these observations, we re-employed the techniques commonly used in disk modelling from their continuum emissions to infer the properties that would most likely be obtained with real interferometers. We then demonstrated how these properties may vary with respect to the gas kinematics analyses and dust continuum modelling.


title: Anisotropy Is Inherent to Self-Attention in Transformers

abstract: The representation degeneration problem is a phenomenon that is widely observed among self-supervised learning methods based on Transformers. In NLP, it takes the form of anisotropy, a singular property of hidden representations which makes them unexpectedly close to each other in terms of angular distance (cosine-similarity). Some recent works tend to show that anisotropy is a consequence of optimizing the cross-entropy loss on long-tailed distributions of tokens. We show in this paper that anisotropy can also be observed empirically in language models with specific objectives that should not suffer directly from the same consequences. We also show that the anisotropy problem extends to Transformers trained on other modalities. Our observations suggest that anisotropy is actually inherent to Transformers-based models.


title: A short note on similarity of operator-valued multishifts

abstract: A complete characterization of the similarity between two operator-valued multishifts with invertible operator weights is obtained purely in terms of operator weights. This generalizes several existing results of the unitary equivalence of two (multi)shifts. Further, we utilize the aforementioned similarity criteria to determine the similarity between two tuples of operators of multiplication by the coordinate functions on certain reproducing kernel Hilbert spaces determined by diagonal kernels.


title: Laser cooling of a fermionic molecule

abstract: Only bosonic molecular species have been directly laser cooled to date, primarily due to an abundance of bosonic isotopes in nature and to their simpler hyperfine structure. Fermionic molecules provide new opportunities for ultracold chemistry, quantum simulation, and precision measurements. Here we report direct laser cooling of a fermionic molecular isotopologue, calcium monodeuteride (CaD). With a nuclear spin I = 1, only 5 hyperfine states need to be addressed for rotational closure in optical cycling. These hyperfine states are unresolved for typical experimental linewidths. We present a method for efficiently producing alkaline-earth metal hydrides and deuterides. We demonstrate rotational closure and show magnetically assisted Sisyphus cooling in one dimension for a beam of CaD molecules. Our results indicate that the experimental complexity for laser cooling CaD is similar to that of calcium monohydride (CaH). Laser cooling of CaD is a promising first step for production of ultracold and trapped atomic deuterium.


title: On the Effectiveness of Observations in the Mid-Infrared Wavelength Range on the 2.5-Meter Telescope of the Caucasus Mountain Observatory of Moscow State University with Commercial IR Cameras

abstract: The main factors that influence the success of observations in the infrared range (central wavelengths of the photometric bands at 3.75 and 4.8~$\mu$m) on the multipurpose optical telescope are considered. Estimates of the sky background brightness are obtained for the Caucasus Mountain Observatory (CMO) of Moscow State University: $1.3\cdot10^6$~photons/(s pixel) in the 3.75~$\mu$m band and $3.4\cdot10^6$~photons/(s pixel) in the 4.8~$\mu$m; and the instrumental background for the 2.5-m CMO telescope at $0^\circ$C: $3.2\cdot10^6$~photons/(s pixel) in the 3.75~$\mu$m band and $4.3\cdot10^6$~photons/(s pixel) in the 4.8~$\mu$m band. It is shown that at this background signal level with the currently available commercial cameras in the $3-5$~$\mu$m spectral range, the telescope-camera coupling capabilities for observing faint objects will still be limited by the thermal background. For different observational conditions, estimates of the limiting magnitudes of objects available for observations in the 3.75 and 4.8~$\mu$m ranges are obtained. For average observation conditions (instrument temperature of $0^\circ$C and stellar image size of 1 arcsec), the limit is $\sim10.6^m$ and $\sim8.4^m$, respectively.


title: An Efficient Finite Difference-based Implicit Solver for Phase-Field Equations with Spatially and Temporally Varying Parameters

abstract: The phase field method is an effective tool for modeling microstructure evolution in materials. Many efficient implicit numerical solvers have been proposed for phase field simulations under uniform and time-invariant model parameters. We use Eyre's theorem to develop an unconditionally stable implicit solver for spatially non-uniform and time-varying model parameters. The accuracy, unconditional stability, and efficiency of the solver is validated against benchmarking examples. In its current form, the solver requires a uniform mesh and may only be applied to problems with periodic, Neumann, or mixed periodic and Neumann boundary conditions.


title: Review on the Role of GNSS Meteorology in Monitoring Water Vapor for Atmospheric Physics

abstract: After 30 years since the beginning of the Global Positioning System (GPS), or, more generally, Global Navigation Satellite System (GNSS) meteorology, this technique has proven to be a reliable method for retrieving atmospheric water vapor; it is low-cost, weather independent, with high temporal resolution and is highly accurate and precise. GNSS ground-based networks are becoming denser, and the first stations installed have now quite long time-series that allow the study of the temporal features of water vapor and its relevant role inside the climate system. In this review, the different GNSS methodologies to retrieve atmospheric water vapor content re-examined, such as tomography, conversion of GNSS tropospheric delay to water vapor estimates, analyses of errors, and combinations of GNSS with other sources to enhance water vapor information. Moreover, the use of these data in different kinds of studies is discussed. For instance, the GNSS technique is commonly used as a reference tool for validating other water vapor products (e.g., radiosounding, radiometers onboard satellite platforms or ground-based instruments). Additionally, GNSS retrievals are largely used in order to determine the high spatio-temporal variability and long-term trends of atmospheric water vapor or in models with the goal of determining its notable influence on the climate system (e.g., assimilation in numerical prediction, as input to radiative transfer models, study of circulation patterns, etc.


title: Personalized Over-the-Air Federated Learning with Personalized Reconfigurable Intelligent Surfaces

abstract: Over-the-air federated learning (OTA-FL) provides bandwidth-efficient learning by leveraging the inherent superposition property of wireless channels. Personalized federated learning balances performance for users with diverse datasets, addressing real-life data heterogeneity. We propose the first personalized OTA-FL scheme through multi-task learning, assisted by personal reconfigurable intelligent surfaces (RIS) for each user. We take a cross-layer approach that optimizes communication and computation resources for global and personalized tasks in time-varying channels with imperfect channel state information, using multi-task learning for non-i.i.d data. Our PROAR-PFed algorithm adaptively designs power, local iterations, and RIS configurations. We present convergence analysis for non-convex objectives and demonstrate that PROAR-PFed outperforms state-of-the-art on the Fashion-MNIST dataset.


title: Wolf 327b: A new member of the pack of ultra-short-period super-Earths around M dwarfs

abstract: Planets with orbital periods shorter than 1 day are rare and have formation histories that are not completely understood. Small ($R_\mathrm{p} < 2\; R_\oplus$) ultra-short-period (USP) planets are highly irradiated, probably have rocky compositions with high bulk densities, and are often found in multi-planet systems. Additionally, USP planets found around small stars are excellent candidates for characterization using present-day instrumentation. Of the current full sample of approximately 5500 confirmed exoplanets, only 130 are USP planets and around 40 have mass and radius measurements. Wolf 327 (TOI-5747) is an M dwarf ($R_\star = 0.406 \pm 0.015 \; R_\odot$, $M_\star = 0.405 \pm 0.019 \; M_\odot$, $T_{\mathrm{eff}}=3542 \pm 70$ K, and $V = 13$ mag) located at a distance $d = 28.5$ pc. NASA's planet hunter satellite, TESS, detected transits in this star with a period of 0.573 d (13.7 h) and with a transit depth of 818 ppm. Ground-based follow-up photometry, high resolution imaging, and radial velocity (RV) measurements taken with the CARMENES spectrograph confirm the presence of this new USP planet. Wolf 327b is a super-Earth with a radius of $R_\mathrm{p} = 1.24 \pm 0.06 \; R_\oplus$ and a mass of $M_\mathrm{p} = 2.53 \pm 0.46 \; M_\oplus$, yielding a bulk density of $7.24 \pm 1.66 $\,g cm$^{-3}$ and thus suggesting a rocky composition. Owing to its close proximity to its host star ($a = 0.01$ au), Wolf 327b has an equilibrium temperature of $996 \pm 22$ K. This planet has a mass and radius similar to K2-229b, a planet with an inferred Mercury-like internal composition. Planet interior models suggest that Wolf 327b has a large iron core, a small rocky mantle, and a negligible (if any) H/He atmosphere.


title: Uncoded Storage Coded Transmission Elastic Computing with Straggler Tolerance in Heterogeneous Systems

abstract: In 2018, Yang et al. introduced a novel and effective approach, using maximum distance separable (MDS) codes, to mitigate the impact of elasticity in cloud computing systems. This approach is referred to as coded elastic computing. Some limitations of this approach include that it assumes all virtual machines have the same computing speeds and storage capacities, and it cannot tolerate stragglers for matrix-matrix multiplications. In order to resolve these limitations, in this paper, we introduce a new combinatorial optimization framework, named uncoded storage coded transmission elastic computing (USCTEC), for heterogeneous speeds and storage constraints, aiming to minimize the expected computation time for matrix-matrix multiplications, under the consideration of straggler tolerance. Within this framework, we propose optimal solutions with straggler tolerance under relaxed storage constraints. Moreover, we propose a heuristic algorithm that considers the heterogeneous storage constraints. Our results demonstrate that the proposed algorithm outperforms baseline solutions utilizing cyclic storage placements, in terms of both expected computation time and storage size.


title: Maximum principles for weakly $1$-coercive operators with applications to capillary and prescribed mean curvature graphs

abstract: In this paper we establish maximum principles for weakly 1-coercive operators $L$ on complete, non-compact Riemannian manifolds $M$. In particular, we search for conditions under which one can guarantee that solutions $u$ of differential equations of the form $L(u)\geq f(u)$ satisfy $f(u)\leq 0$ on $M$. The case of weakly $p$-coercive operators with $p>1$, including the $p$-Laplacian and in particular the Laplace-Beltrami operator for $p=2$, has been considered in a recent paper of ours. As a consequence of the main results we infer comparison principles for that kind of operators. Furthermore we apply them to geometric situations dealing with the mean curvature operator, which is a typical weakly 1-coercive operator. We first consider the case of $\mathcal C^1$ operators $L$ acting on functions $u$ of class $\mathcal C^2$ and, in the last section of the paper, we show how our results can be extended to the case of less regular operators $L$ acting on functions $u$ which are just continuous and locally $W^{1,1}$ regular.


title: Extension property for partial automorphisms of the $n$-partite and semigeneric tournaments

abstract: We present a proof of the extension property for partial automorphisms (EPPA) for classes of finite $n$-partite tournaments for $n \in \{2,3,\ldots,\omega\}$, and for the class of finite semigeneric tournaments. We also prove that the generic $\omega$-partite tournament and the generic semigeneric tournament have ample generics.


title: Superfluidity of indirect momentum space dark dipolar excitons in a double layer with massive anisotropic tilted semi-Dirac bands

abstract: We have theoretically investigated the spin- and valley-dependent superfluidity properties of indirect momentum space dark dipolar excitons in double layers with massive anisotropic tilted semi-Dirac bands in the presence of circularly polarized irradiation. An external vertical electric field is also applied to the structure and is responsible for tilting and gap opening for the band structure. For our calculations we used the parameters of a double layer of 1T$^\prime$-MoS$_2$. Closed form analytical expressions are presented for the energy spectrum for excitons, their associated wave functions and binding energies. Additionally, we examine the effects which the intensity and frequency of circularly polarized irradiation has for 1T$^\prime$-MoS$_2$ on the effective mass of the excitons since it has been demonstrated that the application of an external high-frequency dressing field tailors the crucial electronic including the exciton binding energy, as well as the critical temperature for superfluidity. We also calculate the sound velocity in the anisotropic weakly-interacting Bose gas of two-component indirect momentum space dark excitons for a double layer of 1T$^\prime$-MoS$_2$. We show that the critical velocity of superfluidity, the spectrum of collective excitations, concentrations of the superfluid and normal component, and mean field critical temperature for superfluidity are anisotropic and formed by a two-component system. The critical temperature for superfluidity is increased when the exciton concentration and interlayer separation are increased. We propose the use of phonon-assisted photoluminescence to experimentally confirm directional superfluidity of indirect momentum space dark excitons in a double layer with massive anisotropic tilted semi-Dirac bands.


title: Paralinearization of free boundary problems in fluid dynamics

abstract: A classical topic in the mathematical theory of hydrodynamics is to study the evolution of the free surface separating air from an incompressible perfect fluid. The goal of this survey is to examine this problem for two important sets of equations: the water wave equations and the Hele-Shaw equations, including the Muskat problem. These equations are different in nature, dispersive or parabolic, but we will see that they can be studied using related tools. In particular, we will discuss a paradifferential approach to these problems.


title: Dirac zeros in an orbital selective Mott phase: Green's function Berry curvature and flux quantization

abstract: How electronic topology develops in strongly correlated systems represents a fundamental challenge in the field of quantum materials. Recent studies have advanced the characterization and diagnosis of topology in Mott insulators whose underlying electronic structure is topologically nontrivial, through ``Green's function zeros". However, their counterparts in metallic systems have yet to be explored. Here, we address this problem in an orbital-selective Mott phase (OSMP), which is of extensive interest to a variety of strongly correlated systems with a short-range Coulomb repulsion. We demonstrate symmetry protected crossing of the zeros in an OSMP. Utilizing the concept of Green's function Berry curvature, we show that the zero crossing has a quantized Berry flux. The resulting notion of Dirac zeros provides a window into the largely hidden landscape of topological zeros in strongly correlated metallic systems and, moreover, opens up a means to diagnose strongly correlated topology in new materials classes.


title: Toward new scaling laws for wrinkling in biologically relevant fiber-reinforced bilayers

abstract: Wrinkling, creasing and folding are frequent phenomena encountered in biological and man-made bilayers made by thin films bonded to thicker and softer substrates often containing fibers. Paradigmatic examples of the latter are the skin, the brain, and arterial walls, for which wiggly cross-sections are detected. Although experimental investigations on corrugation of these and analog bilayers would greatly benefit from scaling laws for prompt comparison of the wrinkling features, neither are they available nor have systematic approaches yielding to such laws ever been provided before. This gap is filled in this paper, where a uniaxially compressed bilayer formed by a thin elastic film bonded on a hyperelastic fiber-reinforced substrate is considered. The force balance at the film-substrate interface is here analytically and numerically investigated for highly mismatched film-substrates. The onset of wrinkling is then characterized in terms of both the critical strain and its corresponding wavenumber. Inspired by the asymptotic laws available for neo-Hookean bilayers, the paper then provides a systematic way to achieve novel scaling laws for the wrinkling features for fiber-reinforced highly mismatched hyperelastic bilayers. Such novel scaling laws shed light on the key contributions defining the response of the bilayer, as it is characterized by a fiber-induced complex anisotropy. Results are compared with Finite Element Analyses and also with outcomes of both existing linear models and available adhoc scalings. Furthermore, the amplitude, the global maximum and minimum of ruga occurring under increasing compression spanning the wrinkling, period doubling and folding regimes are also obtained.


title: Electron mobility of SnO2 from first principles

abstract: The transparent conducting oxide SnO2 is a wide bandgap semiconductor that is easily n-type doped and widely used in various electronic and optoelectronic applications. Experimental reports of the electron mobility of this material vary widely depending on the growth conditions and doping concentrations. In this work, we calculate the electron mobility of SnO2 from first principles to examine the temperature- and doping-concentration dependence, and to elucidate the scattering mechanisms that limit transport. We include both electron-phonon scattering and electron-ionized impurity scattering to accurately model scattering in a doped semiconductor. We find a strongly anisotropic mobility that favors transport in the direction parallel to the c-axis. At room temperature and intrinsic carrier concentrations, the low-energy polar-optical phonon modes dominate scattering, while ionized-impurity scattering dominates above 10^18 cm^-3.


title: Transcending To Notions

abstract: Social identities play an important role in the dynamics of human societies, and it can be argued that some sense of identification with a larger cause or idea plays a critical role in making humans act responsibly. Often social activists strive to get populations to identify with some cause or notion -- like green energy, diversity, etc. in order to bring about desired social changes. We explore the problem of designing computational models for social identities in the context of autonomous AI agents. For this, we propose an agent model that enables agents to identify with certain notions and show how this affects collective outcomes. We also contrast between associations of identity with rational preferences. The proposed model is simulated in an application context of urban mobility, where we show how changes in social identity affect mobility patterns and collective outcomes.


title: ScoreDec: A Phase-preserving High-Fidelity Audio Codec with A Generalized Score-based Diffusion Post-filter

abstract: Although recent mainstream waveform-domain end-to-end (E2E) neural audio codecs achieve impressive coded audio quality with a very low bitrate, the quality gap between the coded and natural audio is still significant. A generative adversarial network (GAN) training is usually required for these E2E neural codecs because of the difficulty of direct phase modeling. However, such adversarial learning hinders these codecs from preserving the original phase information. To achieve human-level naturalness with a reasonable bitrate, preserve the original phase, and get rid of the tricky and opaque GAN training, we develop a score-based diffusion post-filter (SPF) in the complex spectral domain and combine our previous AudioDec with the SPF to propose ScoreDec, which can be trained using only spectral and score-matching losses. Both the objective and subjective experimental results show that ScoreDec with a 24~kbps bitrate encodes and decodes full-band 48~kHz speech with human-level naturalness and well-preserved phase information.


title: Automated facial recognition system using deep learning for pain assessment in adults with cerebral palsy

abstract: Background: Pain assessment in individuals with neurological conditions, especially those with limited self-report ability and altered facial expressions, presents challenges. Existing measures, relying on direct observation by caregivers, lack sensitivity and specificity. In cerebral palsy, pain is a common comorbidity and a reliable evaluation protocol is crucial. Thus, having an automatic system that recognizes facial expressions could be of enormous help when diagnosing pain in this type of patient. Objectives: 1) to build a dataset of facial pain expressions in individuals with cerebral palsy, and 2) to develop an automated facial recognition system based on deep learning for pain assessment addressed to this population. Methods: Ten neural networks were trained on three pain image databases, including the UNBC-McMaster Shoulder Pain Expression Archive Database, the Multimodal Intensity Pain Dataset, and the Delaware Pain Database. Additionally, a curated dataset (CPPAIN) was created, consisting of 109 preprocessed facial pain expression images from individuals with cerebral palsy, categorized by two physiotherapists using the Facial Action Coding System observational scale. Results: InceptionV3 exhibited promising performance on the CP-PAIN dataset, achieving an accuracy of 62.67% and an F1 score of 61.12%. Explainable artificial intelligence techniques revealed consistent essential features for pain identification across models. Conclusion: This study demonstrates the potential of deep learning models for robust pain detection in populations with neurological conditions and communication disabilities. The creation of a larger dataset specific to cerebral palsy would further enhance model accuracy, offering a valuable tool for discerning subtle and idiosyncratic pain expressions. The insights gained could extend to other complex neurological conditions.


title: Threshold photoproduction of $\eta_c$ and $\eta_b$ using holographic QCD

abstract: We discuss the possibility that threshold photoproduction of $\eta_{c,b}$ may be sensitive to the pseudovector $1^{+-}$ glueball exchange. We use the holographic construction to identify the pseudovector glueball with the Kalb-Ramond field, minimally coupled to bulk Dirac fermions. We derive the holographic C-odd form factor and its respective charge radius. Using the pertinent Witten diagrams, we derive and analyze the differential photoproduction cross section for $\eta_{c,b}$ in the threshold regime, including the interference from the dual bulk photon exchange with manifest vector dominance. The possibility of measuring this process at current and future electron facilities is discussed.


title: On the Evolution During Growth of Regular Boundaries of Bodies into Fractals

abstract: Generalizing smooth volumetric growth to the singular case, using de Rham currents and flat chains, we demonstrate how regular boundaries of bodies may evolve to fractals.


title: Semi-supervised segmentation of land cover images using nonlinear canonical correlation analysis with multiple features and t-SNE

abstract: Image segmentation is a clustering task whereby each pixel is assigned a cluster label. Remote sensing data usually consists of multiple bands of spectral images in which there exist semantically meaningful land cover subregions, co-registered with other source data such as LIDAR (LIght Detection And Ranging) data, where available. This suggests that, in order to account for spatial correlation between pixels, a feature vector associated with each pixel may be a vectorized tensor representing the multiple bands and a local patch as appropriate. Similarly, multiple types of texture features based on a pixel's local patch would also be beneficial for encoding locally statistical information and spatial variations, without necessarily labelling pixel-wise a large amount of ground truth, then training a supervised model, which is sometimes impractical. In this work, by resorting to label only a small quantity of pixels, a new semi-supervised segmentation approach is proposed. Initially, over all pixels, an image data matrix is created in high dimensional feature space. Then, t-SNE projects the high dimensional data onto 3D embedding. By using radial basis functions as input features, which use the labelled data samples as centres, to pair with the output class labels, a modified canonical correlation analysis algorithm, referred to as RBF-CCA, is introduced which learns the associated projection matrix via the small labelled data set. The associated canonical variables, obtained for the full image, are applied by k-means clustering algorithm. The proposed semi-supervised RBF-CCA algorithm has been implemented on several remotely sensed multispectral images, demonstrating excellent segmentation results.


title: Bayesian analysis of nontrivial features in the speed of sound inside neutron stars in light of astrophysical and pQCD constraints

abstract: Functional forms of the neutron star Equation of State (EoS) are required to extract the viable EoS band from neutron star observations. Realistic nuclear EoS, containing deconfined quarks or hyperons, present nontrivial features in the speed of sound such as bumps, kinks, and plateaus. Using modified Gaussian processes to model EoS with nontrivial features, we show in a fully Bayesian analysis incorporating measurements from X-ray sources, gravitational wave observations, and perturbative QCD results that these features are compatible with current constraints. We find nontrivial behavior in the EoS plays a role in understanding the possible phase structure of neutron stars at densities around 2 $n_{\rm sat}$.


title: Study of Jupiter's Interior: Comparison of 2, 3, 4, 5, and 6 Layer Models

abstract: With the goal of matching spacecraft measurements from Juno and Galileo missions, we construct ensembles of 2, 3, 4, 5, and 6 layer models for Jupiter's interior. All except our two layer models can match the planet's gravity field as measured by the Juno spacecraft. We find, however, that some model types are more plausible than others. In the best three layer models, for example, the transition from molecular to metallic hydrogen needs to be at ~500 GPa while theory and experiments place this transition at ~100 GPa. Four layer models with a single sharp boundary between core and mantle would be short-lived due to rapid convective core erosion. For this reason, we favor our five layer models that include a dilute core surrounded by a stably stratified core transition layer. Six layer models with a small compact core are also possible but with an upper limit of 3 Earth masses for such a compact core. All models assume a 1 bar temperature of 166.1 K, employ physical equations of state, and are constructed with the nonperturbative Concentric Maclaurin Spheroid (CMS) method. We analyze the convergence of this method and describe technical steps that are needed to make this technique so efficient that ensembles of models can be generated.


title: Dynamic Semantic Compression for CNN Inference in Multi-access Edge Computing: A Graph Reinforcement Learning-based Autoencoder

abstract: This paper studies the computational offloading of CNN inference in dynamic multi-access edge computing (MEC) networks. To address the uncertainties in communication time and computation resource availability, we propose a novel semantic compression method, autoencoder-based CNN architecture (AECNN), for effective semantic extraction and compression in partial offloading. In the semantic encoder, we introduce a feature compression module based on the channel attention mechanism in CNNs, to compress intermediate data by selecting the most informative features. In the semantic decoder, we design a lightweight decoder to reconstruct the intermediate data through learning from the received compressed data to improve accuracy. To effectively trade-off communication, computation, and inference accuracy, we design a reward function and formulate the offloading problem of CNN inference as a maximization problem with the goal of maximizing the average inference accuracy and throughput over the long term. To address this maximization problem, we propose a graph reinforcement learning-based AECNN (GRL-AECNN) method, which outperforms existing works DROO-AECNN, GRL-BottleNet++ and GRL-DeepJSCC under different dynamic scenarios. This highlights the advantages of GRL-AECNN in offloading decision-making in dynamic MEC.


title: SpatialVLM: Endowing Vision-Language Models with Spatial Reasoning Capabilities

abstract: Understanding and reasoning about spatial relationships is a fundamental capability for Visual Question Answering (VQA) and robotics. While Vision Language Models (VLM) have demonstrated remarkable performance in certain VQA benchmarks, they still lack capabilities in 3D spatial reasoning, such as recognizing quantitative relationships of physical objects like distances or size differences. We hypothesize that VLMs' limited spatial reasoning capability is due to the lack of 3D spatial knowledge in training data and aim to solve this problem by training VLMs with Internet-scale spatial reasoning data. To this end, we present a system to facilitate this approach. We first develop an automatic 3D spatial VQA data generation framework that scales up to 2 billion VQA examples on 10 million real-world images. We then investigate various factors in the training recipe, including data quality, training pipeline, and VLM architecture. Our work features the first internet-scale 3D spatial reasoning dataset in metric space. By training a VLM on such data, we significantly enhance its ability on both qualitative and quantitative spatial VQA. Finally, we demonstrate that this VLM unlocks novel downstream applications in chain-of-thought spatial reasoning and robotics due to its quantitative estimation capability. Project website: https://spatial-vlm.github.io/


title: My Understanding for Static and Dynamic Light Scattering

abstract: The results obtained using my computing program are consistent with the values obtained twenty years ago. It also makes me believe that how to obtain particle size information using the Light Scattering technique needs to be reconsidered. Static Light Scattering (SLS) and Dynamic Light Scattering (DLS) are very important techniques to study the characteristics of nano-particles in dispersion. The data of SLS is determined by the optical characteristic and the measured values of DLS are determined by optical and hydrodynamic characteristics of different size nano-particles in dispersion. Then considering the optical characteristic of nano-particles and using the SLS technique further, the size distribution can be measured accurately and is also consistent with the results measured using the TEM technique. Based on the size distribution obtained using the SLS or TEM technique and the relation between the static and hydrodynamic radii, all the expected and measured values of $g^{\left( 2\right) }\left( \tau \right) $ investigated are very well consistent. Since the data measured using the DLS technique contains the information of the optical and hydrodynamic properties of nano-particles together, therefore the accurate size distribution cannot be obtained from the experimental data of $g^{\left( 2\right) }\left( \tau \right) $ for an unknown sample. The traditional particle information: apparent hydrodynamic radius and polydispersity index measured using the DLS technique are determined by the optical and hydrodynamic characteristics and size distribution together. They cannot represent a number distribution of nano-particles in dispersion. Using the light scattering technique not only can measure the size distribution accurately but also can provide a method to understand the optical and hydrodynamic characteristics of nano-particles.


title: Natural Strategic Ability in Stochastic Multi-Agent Systems

abstract: Strategies synthesized using formal methods can be complex and often require infinite memory, which does not correspond to the expected behavior when trying to model Multi-Agent Systems (MAS). To capture such behaviors, natural strategies are a recently proposed framework striking a balance between the ability of agents to strategize with memory and the model-checking complexity, but until now has been restricted to fully deterministic settings. For the first time, we consider the probabilistic temporal logics PATL and PATL* under natural strategies (NatPATL and NatPATL*, resp.). As main result we show that, in stochastic MAS, NatPATL model-checking is NP-complete when the active coalition is restricted to deterministic strategies. We also give a 2NEXPTIME complexity result for NatPATL* with the same restriction. In the unrestricted case, we give an EXPSPACE complexity for NatPATL and 3EXPSPACE complexity for NatPATL*.


title: Theoretical studies of envelope oscillations and instabilities of mismatched intense charged-particle beams in periodic focusing channels

abstract: The behavior of mismatched intense charged-particle beams in periodic transport channels of the solenoid and quadrupole type is studied theoretically. The envelope-oscillation frequencies of the mismatched beam are obtained by the smooth-approximation method and by numerical evaluation of the linearly perturbed K-V envelope equations. Phase shifts of the envelope oscillations and growth rates in the case of instability are calculated for a solenoid and a magnetic quadrupole (FODO) channel using the parameters of the Maryland and GSI beam transport experiments. For comparison and the purpose of illustration, the K-V equations are integrated numerically, and envelope curves as well as single-particle trajectories for for mismatched beams are shown in graphical form. In addition, computer simulation studies with the PARMILA code were performed, and results are presented both for K-V and a Gaussian distribution in transverse phase space.


title: Robust stability analysis of an energy-efficient control in a Networked Control System with application to Unmanned Ground Vehicles

abstract: In this paper, the robust stability and disturbance rejection performance analysis of an energy-efficient control is addressed in the framework of Networked Control System (NCS). The control scheme under study integrates periodic event-triggered control, packet-based control, time-varying Kalman filter, dual-rate control and prediction techniques, whose design is aimed at reducing energy consumption and bandwidth usage. The robust stability against time-varying model uncertainties is analyzed by means of a suficient condition based on Linear Matrix Inequalities (LMI). Finally, the effectiveness of the proposed approach is experimentally validated in a tracking control for an Unmanned Ground Vehicle (UGV), which is a battery-constrained mobile device with limited computation capacities.


title: Waveform-Domain Complementary Signal Sets for Interrupted Sampling Repeater Jamming Suppression

abstract: The interrupted-sampling repeater jamming (ISRJ) is coherent and has the characteristic of suppression and deception to degrade the radar detection capabilities. The study focuses on anti-ISRJ techniques in the waveform domain, primarily capitalizing on waveform design and and anti-jamming signal processing methods in the waveform domain. By exploring the relationship between waveform-domain adaptive matched filtering (WD-AMF) output and waveform-domain signals, we demonstrate that ISRJ can be effectively suppressed when the transmitted waveform exhibits waveform-domain complementarity. We introduce a phase-coded (PC) waveform set with waveform-domain complementarity and propose a method for generating such waveform sets of arbitrary code lengths. The performance of WD-AMF are further developed due to the designed waveforms, and simulations affirm the superior adaptive anti-jamming capabilities of the designed waveforms compared to traditional ones. Remarkably, this improved performance is achieved without the need for prior knowledge of ISRJ interference parameters at either the transmitter or receiver stages.


title: IoT-Based Wireless Networkingfor Seismic Applications

abstract: We propose to employ a recently developed IoT-based wireless technology, so called low-power wide-area networks (LPWANs), to exploit their long range, low power, and inherent compatibility to cloud storage and computing. We create a remotely-operated minimum-maintenance wireless solution for four major seismic applications of interest. By proposing appropriate network architecture and data coordination (aggregation and transmission) designs we show that neither the low data-rate nor the low duty-cycle of LPWANs impose fundamental issues in handling a considerable amount of data created by complex seismic scenarios as long as the application is delay-tolerant. In order to confirm this claim, we cast our ideas into a practical large-scale networking design for simultaneous seismic monitoring and interferometry and carry out an analysis on the data generation and transmission rates. Finally, we present some results from a small-scale field test in which we have employed our IoT-based wireless nodes for real-time seismic quality control (QC) over clouds.


title: Template-Free Single-View 3D Human Digitalization with Diffusion-Guided LRM

abstract: Reconstructing 3D humans from a single image has been extensively investigated. However, existing approaches often fall short on capturing fine geometry and appearance details, hallucinating occluded parts with plausible details, and achieving generalization across unseen and in-the-wild datasets. We present Human-LRM, a diffusion-guided feed-forward model that predicts the implicit field of a human from a single image. Leveraging the power of the state-of-the-art reconstruction model (i.e., LRM) and generative model (i.e Stable Diffusion), our method is able to capture human without any template prior, e.g., SMPL, and effectively enhance occluded parts with rich and realistic details. Our approach first uses a single-view LRM model with an enhanced geometry decoder to get the triplane NeRF representation. The novel view renderings from the triplane NeRF provide strong geometry and color prior, from which we generate photo-realistic details for the occluded parts using a diffusion model. The generated multiple views then enable reconstruction with high-quality geometry and appearance, leading to superior overall performance comparing to all existing human reconstruction methods.


title: Broiler-Net: A Deep Convolutional Framework for Broiler Behavior Analysis in Poultry Houses

abstract: Detecting anomalies in poultry houses is crucial for maintaining optimal chicken health conditions, minimizing economic losses and bolstering profitability. This paper presents a novel real-time framework for analyzing chicken behavior in cage-free poultry houses to detect abnormal behaviors. Specifically, two significant abnormalities, namely inactive broiler and huddling behavior, are investigated in this study. The proposed framework comprises three key steps: (1) chicken detection utilizing a state-of-the-art deep learning model, (2) tracking individual chickens across consecutive frames with a fast tracker module, and (3) detecting abnormal behaviors within the video stream. Experimental studies are conducted to evaluate the efficacy of the proposed algorithm in accurately assessing chicken behavior. The results illustrate that our framework provides a precise and efficient solution for real-time anomaly detection, facilitating timely interventions to maintain chicken health and enhance overall productivity on poultry farms. Github: https://github.com/TaherehZarratEhsan/Chicken-Behavior-Analysis


title: Control of OSIRIS-REx OTES Observations using OCAMS TAG Images

abstract: As the OSIRIS-REx spacecraft descended toward the asteroid Bennu to collect a sample from the surface in the touch-and-go (TAG) procedure, many of the instruments were actively collecting observation data. We applied the process of photogrammetric control to accurately determine the position and attitude of 190 OCAMS MapCam and SamCam descent images at the time of exposure. The average image pixel resolution is 10cm (median is 7cm). The images were controlled to ground using simulated images generated from high resolution (5cm, 44cm and 88cm ground sample distance) shape models of Bennu. After least-squares adjustment, the root mean square (rms) of all image measurement residuals was 0.16 pixels. These results were applied to 581 OTES observations by interpolation over the updated ephemeris of the OCAMS MapCam and SamCam instruments using frame transformations from OCAMS to the OTES frame. Then, the surface intercept of the OTES field of view was recomputed by ray tracing the adjusted boresight look direction onto the 44cm shape model. The average of the adjusted OTES boresight surface intercepts differed from the a priori locations on the 88cm shape model by ~37cm with an uncertainty less than 5cm.


title: In-Context Learning for Extreme Multi-Label Classification

abstract: Multi-label classification problems with thousands of classes are hard to solve with in-context learning alone, as language models (LMs) might lack prior knowledge about the precise classes or how to assign them, and it is generally infeasible to demonstrate every class in a prompt. We propose a general program, $\texttt{Infer--Retrieve--Rank}$, that defines multi-step interactions between LMs and retrievers to efficiently tackle such problems. We implement this program using the $\texttt{DSPy}$ programming model, which specifies in-context systems in a declarative manner, and use $\texttt{DSPy}$ optimizers to tune it towards specific datasets by bootstrapping only tens of few-shot examples. Our primary extreme classification program, optimized separately for each task, attains state-of-the-art results across three benchmarks (HOUSE, TECH, TECHWOLF). We apply the same program to a benchmark with vastly different characteristics and attain competitive performance as well (BioDEX). Unlike prior work, our proposed solution requires no finetuning, is easily applicable to new tasks, alleviates prompt engineering, and requires only tens of labeled examples. Our code is public at https://github.com/KarelDO/xmc.dspy.


title: DITTO: Diffusion Inference-Time T-Optimization for Music Generation

abstract: We propose Diffusion Inference-Time T-Optimization (DITTO), a general-purpose frame-work for controlling pre-trained text-to-music diffusion models at inference-time via optimizing initial noise latents. Our method can be used to optimize through any differentiable feature matching loss to achieve a target (stylized) output and leverages gradient checkpointing for memory efficiency. We demonstrate a surprisingly wide-range of applications for music generation including inpainting, outpainting, and looping as well as intensity, melody, and musical structure control - all without ever fine-tuning the underlying model. When we compare our approach against related training, guidance, and optimization-based methods, we find DITTO achieves state-of-the-art performance on nearly all tasks, including outperforming comparable approaches on controllability, audio quality, and computational efficiency, thus opening the door for high-quality, flexible, training-free control of diffusion models. Sound examples can be found at https://DITTO-Music.github.io/web/.


title: AI can identify Solar System instability billions of years in advance

abstract: Rare event schemes require an approximation of the probability of the rare event as a function of system state. Finding an appropriate reaction coordinate is typically the most challenging aspect of applying a rare event scheme. Here we develop an artificial intelligence (AI) based reaction coordinate that effectively predicts which of a limited number of simulations of the Solar System will go unstable using a convolutional neural network classifier. The performance of the algorithm does not degrade significantly even 3.5 billion years before the instability. We overcome the class imbalance intrinsic to rare event problems using a combination of minority class oversampling, increased minority class weighting, and pulling multiple non-overlapping training sequences from simulations. Our success suggests that AI may provide a promising avenue for developing reaction coordinates without detailed theoretical knowledge of the system.


title: Universal Neurons in GPT2 Language Models

abstract: A basic question within the emerging field of mechanistic interpretability is the degree to which neural networks learn the same underlying mechanisms. In other words, are neural mechanisms universal across different models? In this work, we study the universality of individual neurons across GPT2 models trained from different initial random seeds, motivated by the hypothesis that universal neurons are likely to be interpretable. In particular, we compute pairwise correlations of neuron activations over 100 million tokens for every neuron pair across five different seeds and find that 1-5\% of neurons are universal, that is, pairs of neurons which consistently activate on the same inputs. We then study these universal neurons in detail, finding that they usually have clear interpretations and taxonomize them into a small number of neuron families. We conclude by studying patterns in neuron weights to establish several universal functional roles of neurons in simple circuits: deactivating attention heads, changing the entropy of the next token distribution, and predicting the next token to (not) be within a particular set.


title: Tracking before detection using partial orders and optimization

abstract: This article addresses the problem of multi-object tracking by using a non-deterministic model of target behaviors with hard constraints. To capture the evolution of target features as well as their locations, we permit objects to lie in a general topological target configuration space, rather than a Euclidean space. We obtain tracker performance bounds based on sample rates, and derive a flexible, agnostic tracking algorithm. We demonstrate our algorithm on two scenarios involving laboratory and field data.


title: Observation of discrete charge states of a coherent two-level system in a superconducting qubit

abstract: We report observations of discrete charge states of a coherent dielectric two-level system (TLS) that is strongly coupled to an offset-charge-sensitive superconducting transmon qubit. We measure an offset charge of 0.072$e$ associated with the two TLS eigenstates, which have a transition frequency of 2.9 GHz and a relaxation time exceeding 3 ms. Combining measurements in the strong dispersive and resonant regime, we quantify both transverse and longitudinal couplings of the TLS-qubit interaction. We further perform joint tracking of TLS transitions and quasiparticle tunneling dynamics but find no intrinsic correlations. This study demonstrates microwave-frequency TLS as a source of low-frequency charge noise.


title: Is Your Kettle Smarter Than a Hacker? A Scalable Tool for Assessing Replay Attack Vulnerabilities on Consumer IoT Devices

abstract: Consumer Internet of Things (IoT) devices often leverage the local network to communicate with the corresponding companion app or other devices. This has benefits in terms of efficiency since it offloads the cloud. ENISA and NIST security guidelines underscore the importance of enabling default local communication for safety and reliability. Indeed, an IoT device should continue to function in case the cloud connection is not available. While the security of cloud-device connections is typically strengthened through the usage of standard protocols, local connectivity security is frequently overlooked. Neglecting the security of local communication opens doors to various threats, including replay attacks. In this paper, we investigate this class of attacks by designing a systematic methodology for automatically testing IoT devices vulnerability to replay attacks. Specifically, we propose a tool, named REPLIOT, able to test whether a replay attack is successful or not, without prior knowledge of the target devices. We perform thousands of automated experiments using popular commercial devices spanning various vendors and categories. Notably, our study reveals that among these devices, 51% of them do not support local connectivity, thus they are not compliant with the reliability and safety requirements of the ENISA/NIST guidelines. We find that 75% of the remaining devices are vulnerable to replay attacks with REPLIOT having a detection accuracy of 0.98-1. Finally, we investigate the possible causes of this vulnerability, discussing possible mitigation strategies.


title: A Snapshot Survey of Nearby Supernovae with the Hubble Space Telescope

abstract: Over recent decades, robotic (or highly automated) searches for supernovae (SNe) have discovered several thousand events, many of them in quite nearby galaxies (distances < 30 Mpc). Most of these SNe, including some of the best-studied events to date, were found before maximum brightness and have associated with them extensive follow-up photometry and spectroscopy. Some of these discoveries are so-called SN impostors, thought to be superoutbursts of luminous blue variable stars, although possibly a new, weak class of massive-star explosions. We conducted a Snapshot program with the Hubble Space Telescope(HST) and obtained images of the sites of 31 SNe and four impostors, to acquire late-time photometry through two filters. The primary aim of this project was to reveal the origin of any lingering energy for each event, whether it is the result of radioactive decay or, in some cases, ongoing late-time interaction of the SN shock with pre-existing circumstellar matter, or the presence of a light echo. Alternatively, lingering faint light at the SN position may arise from an underlying stellar population (e.g., a host star cluster, companion star, or a chance alignment). The results from this study complement and extend those from Snapshot programs by various investigators in previous HST cycles.


title: Ionic conductivity of a lithium-doped deep eutectic solvent: Glass formation and rotation-translation coupling

abstract: Deep eutectic solvents with admixed lithium salts are considered as electrolytes in electrochemical devices like batteries or supercapacitors. Compared to eutectic mixtures of hydrogen-bond donors and lithium salts, their raw-material costs are significantly lower. Not much is known about the glassy freezing and rotation-translation coupling of such systems. Here we investigate these phenomena by applying dielectric spectroscopy to the widely studied deep eutectic solvent glyceline, to which 1 and 5 mol% LiCl were added. Our studies cover a wide temperature range, including the deeply supercooled state. The temperature dependences of the detected dipolar reorientation dynamics and of the ionic dc conductivity reveal the signatures of glassy freezing. In comparison to pure glyceline, lithium admixture leads to a reduction of ionic conductivity, which is accompanied by a slowing down of the rotational dipolar motions. However, this reduction is much smaller than for DESs, where one main component is a lithium salt, which we trace back to the smaller glass-transition temperatures of the lithium-doped DESs. In contrast to pure glyceline, the ionic and dipolar dynamics become increasingly decoupled at low temperatures and obey a fractional Debye-Stokes-Einstein relation as previously found in other glass-forming liquids. The obtained results demonstrate the relevance of decoupling effects and of the glass transition for the enhancement of the technically relevant ionic conductivity in such lithium-doped DESs.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci physics.chem-ph


title: WARM: On the Benefits of Weight Averaged Reward Models

abstract: Aligning large language models (LLMs) with human preferences through reinforcement learning (RLHF) can lead to reward hacking, where LLMs exploit failures in the reward model (RM) to achieve seemingly high rewards without meeting the underlying objectives. We identify two primary challenges when designing RMs to mitigate reward hacking: distribution shifts during the RL process and inconsistencies in human preferences. As a solution, we propose Weight Averaged Reward Models (WARM), first fine-tuning multiple RMs, then averaging them in the weight space. This strategy follows the observation that fine-tuned weights remain linearly mode connected when sharing the same pre-training. By averaging weights, WARM improves efficiency compared to the traditional ensembling of predictions, while improving reliability under distribution shifts and robustness to preference inconsistencies. Our experiments on summarization tasks, using best-of-N and RL methods, shows that WARM improves the overall quality and alignment of LLM predictions; for example, a policy RL fine-tuned with WARM has a 79.4% win rate against a policy RL fine-tuned with a single RM.


title: A Moving Surface Drag Model for LES of Wind over Waves

abstract: Numerical prediction of the interactions between wind and ocean waves is essential for climate modeling and a wide range of offshore operations. Large Eddy Simulation (LES) of the marine atmospheric boundary layer is a practical numerical predictive tool but requires parameterization of surface fluxes at the air-water interface. Current momentum flux parameterizations primarily use wave-phase adapting computational grids, incurring high computational costs, or use an equilibrium model based on Monin-Obukhov similarity theory for rough surfaces that cannot resolve wave phase information. To include wave phase-resolving physics at a cost similar to the equilibrium model, the Moving Surface Drag (MOSD) model is introduced. It assumes ideal airflow over locally piece-wise planar representations of moving water wave surfaces. Horizontally unresolved interactions are still modeled using the equilibrium model. Validation against experimental and numerical datasets with known monochromatic waves demonstrates the robustness and accuracy of the model in representing wave-induced impacts on mean velocity and Reynolds stress profiles. The model is formulated to be applicable to a broad range of wave fields and its ability to represent cross-swell and multiple wavelength cases is illustrated. Additionally, the model is applied to LES of a laboratory-scale fixed-bottom offshore wind turbine model, and the results are compared with wind tunnel experimental data. The LES with the MOSD model shows good agreement in wind-wave-wake interactions and phase-dependent physics at a low computational cost. The model's simplicity and minimal computational needs make it valuable for studying turbulent atmospheric-scale flows over the sea, particularly in offshore wind energy research.


title: Towards a more complete description of hybrid leptogenesis

abstract: Hybrid leptogenesis framework combining type I and type II seesaw mechanism for neutrino mass necessarily include scattering topologies involving both the scalar triplet and the right handed neutrino. We demonstrate that a systematic inclusion of these mixed scatterings can significantly alter the evolution of the number densities exhibiting up to a factor ten deviation in the predicted asymmetry as demonstrated by our benchmark scenarios. We provide quantitative constraints on the degeneracy of the seesaw scales where the complete analysis becomes numerically significant, limiting the validity of leptogenesis being dominated by the lightest seesaw species only.


title: Concentration inequalities for the sample correlation coefficient

abstract: The sample correlation coefficient $R$ plays an important role in many statistical analyses. We study the moments of $R$ under the bivariate Gaussian model assumption, provide a novel approximation for its finite sample mean and connect it with known results for the variance. We exploit these approximations to present non-asymptotic concentration inequalities for $R$. Finally, we illustrate our results in a simulation experiment that further validates the approximations presented in this work.


title: Information Problem in Black Holes and Cosmology and Ghosts in Quadratic Gravity

abstract: Black hole information problem is the question about unitarity of the evolution operator during the collapse and evaporation of the black hole. One can ask the same question about unitarity of quantum and inflationary cosmology. In this paper we argue that in both cases, for black holes and for cosmology, the answer is negative and we face non-unitarity. Such a question can not be addressed by using the fixed classical gravitational background since one has to take into account the backreaction. To his end one uses the semi-classical gravity, which includes the expectation value of the energy - momentum tensor operator of the matter fields. One has to renormalize the energy-momentum tensor and one gets an effective action which contains quadratic terms in scalar curvature and Ricci tensor. Such quadratic gravity contains ghosts which in fact lead to violation of unitarity in black holes and cosmology. We discuss the question whether black holes will emit ghosts. One can try to restrict ourselves to the $f(R)$ gravity that seems is a good approximation to the semi-classical gravity and widely used in cosmology. The black hole entropy in $f(R)$ gravity is different from the Bekenstein-Hawking entropy and from entanglement island entropy. The black hole entropy in $R+R^2$ gravity goes to a constant during the evaporation process. This can be interpreted as another indication to the possible non-unitarity in black holes and cosmology


title: Text Embedding Inversion Security for Multilingual Language Models

abstract: Textual data is often represented as real-numbered embeddings in NLP, particularly with the popularity of large language models (LLMs) and Embeddings as a Service (EaaS). However, storing sensitive information as embeddings can be susceptible to security breaches, as research shows that text can be reconstructed from embeddings, even without knowledge of the underlying model. While defence mechanisms have been explored, these are exclusively focused on English, leaving other languages potentially exposed to attacks. This work explores LLM security through multilingual embedding inversion. We define the problem of black-box multilingual and cross-lingual inversion attacks, and explore their potential implications. Our findings suggest that multilingual LLMs may be more vulnerable to inversion attacks, in part because English-based defences may be ineffective. To alleviate this, we propose a simple masking defense effective for both monolingual and multilingual models. This study is the first to investigate multilingual inversion attacks, shedding light on the differences in attacks and defenses across monolingual and multilingual settings.


title: Programmable EM Sensor Array for Golden-Model Free Run-time Trojan Detection and Localization

abstract: Side-channel analysis has been proven effective at detecting hardware Trojans in integrated circuits (ICs). However, most detection techniques rely on large external probes and antennas for data collection and require a long measurement time to detect Trojans. Such limitations make these techniques impractical for run-time deployment and ineffective in detecting small Trojans with subtle side-channel signatures. To overcome these challenges, we propose a Programmable Sensor Array (PSA) for run-time hardware Trojan detection, localization, and identification. PSA is a tampering-resilient integrated on-chip magnetic field sensor array that can be re-programmed to change the sensors' shape, size, and location. Using PSA, EM side-channel measurement results collected from sensors at different locations on an IC can be analyzed to localize and identify the Trojan. The PSA has better performance than conventional external magnetic probes and state-of-the-art on-chip single-coil magnetic field sensors. We fabricated an AES-128 test chip with four AES Hardware Trojans. They were successfully detected, located, and identified with the proposed on-chip PSA within 10 milliseconds using our proposed cross-domain analysis.


title: Poincar\'e inequality and quantitative De Giorgi method for hypoelliptic operators

abstract: We propose a systematic elementary approach based on trajectories to prove Poincar\'e inequalities for hypoelliptic equations with an arbitrary number of H\"ormander commutators, both in the local and in the non-local case. Our method generalises and simplifies the method introduced in Guerand-Mouhot (2022) in the local case with one commutator, and extended in Loher (2024) to the non-local case with one commutator. It draws inspiration from the paper Niebel-Zacher (2022), although we use different trajectories. We deduce Harnack inequalities and H\"older regularity along the line of the De Giorgi method. Our results recover those in Anceschi-Rebucci (2022) in the local case, and are new in the non-local case.


title: Using spatial extreme-value theory with machine learning to model and understand spatially compounding weather extremes

abstract: When extreme weather events affect large areas, their regional to sub-continental spatial scale is important for their impacts. We propose a novel machine learning (ML) framework that integrates spatial extreme-value theory to model weather extremes and to quantify probabilities associated with the occurrence, intensity, and spatial extent of these events. Our approach employs new loss functions adapted to extreme values, enabling our model to prioritize the tail instead of the bulk of the data distribution. Applied to a case study of Western European summertime heat extremes, we use daily 500-hPa geopotential height fields and local soil moisture as predictors to capture the complex interplay between local and remote physical processes. Our generative model reveals the importance of individual circulation features in determining different facets of heat extremes, thereby enriching our process understanding from a data-driven perspective. The occurrence, intensity, and spatial extent of heat extremes are sensitive to the relative position of upper-level ridges and troughs that are part of a large-scale wave pattern. Our approach is able to extrapolate beyond the range of the data to make risk-related probabilistic statements, applies more generally to other weather extremes, and offers an attractive alternative to traditional physical and ML-based techniques that focus less on the extremal aspects of weather data.


title: Learning Dynamics from Multicellular Graphs with Deep Neural Networks

abstract: The inference of multicellular self-assembly is the central quest of understanding morphogenesis, including embryos, organoids, tumors, and many others. However, it has been tremendously difficult to identify structural features that can indicate multicellular dynamics. Here we propose to harness the predictive power of graph-based deep neural networks (GNN) to discover important graph features that can predict dynamics. To demonstrate, we apply a physically informed GNN (piGNN) to predict the motility of multicellular collectives from a snapshot of their positions both in experiments and simulations. We demonstrate that piGNN is capable of navigating through complex graph features of multicellular living systems, which otherwise can not be achieved by classical mechanistic models. With increasing amounts of multicellular data, we propose that collaborative efforts can be made to create a multicellular data bank (MDB) from which it is possible to construct a large multicellular graph model (LMGM) for general-purposed predictions of multicellular organization.


title: Empirical martingale projections via the adapted Wasserstein distance

abstract: Given a collection of multidimensional pairs $\{(X_i,Y_i):1 \leq i\leq n\}$, we study the problem of projecting the associated suitably smoothed empirical measure onto the space of martingale couplings (i.e. distributions satisfying $\mathbb{E}[Y|X]=X$) using the adapted Wasserstein distance. We call the resulting distance the smoothed empirical martingale projection distance (SE-MPD), for which we obtain an explicit characterization. We also show that the space of martingale couplings remains invariant under the smoothing operation. We study the asymptotic limit of the SE-MPD, which converges at a parametric rate as the sample size increases if the pairs are either i.i.d. or satisfy appropriate mixing assumptions. Additional finite-sample results are also investigated. Using these results, we introduce a novel consistent martingale coupling hypothesis test, which we apply to test the existence of arbitrage opportunities in recently introduced neural network-based generative models for asset pricing calibration.


title: LONEStar: The Lunar Flashlight Optical Navigation Experiment

abstract: This paper documents the results from the highly successful Lunar flashlight Optical Navigation Experiment with a Star tracker (LONEStar). Launched in December 2022, Lunar Flashlight (LF) was a NASA-funded technology demonstration mission. After a propulsion system anomaly prevented capture in lunar orbit, LF was ejected from the Earth-Moon system and into heliocentric space. NASA subsequently transferred ownership of LF to Georgia Tech to conduct an unfunded extended mission to demonstrate further advanced technology objectives, including LONEStar. From August-December 2023, the LONEStar team performed on-orbit calibration of the optical instrument and a number of different OPNAV experiments. This campaign included the processing of nearly 400 images of star fields, Earth and Moon, and four other planets (Mercury, Mars, Jupiter, and Saturn). LONEStar provided the first on-orbit demonstrations of heliocentric navigation using only optical observations of planets. Of special note is the successful in-flight demonstration of (1) instantaneous triangulation with simultaneous sightings of two planets with the LOST algorithm and (2) dynamic triangulation with sequential sightings of multiple planets.


title: Widespread AGN feedback in a forming brightest cluster galaxy at $z=4.1$ unveiled by JWST

abstract: We present rest-frame optical spectroscopy using JWST/NIRSpec IFU for the radio galaxy TN J1338-1942 at z=4.1, one of the most luminous galaxies in the early Universe with powerful extended radio jets. Previous observations showed evidence for strong, large-scale outflows on the basis of its large (~150 kpc) halo detected in Ly-alpha, and high velocity [O II] emission features detected in ground-based IFU data. Our NIRSpec/IFU observations spatially resolve the emission line properties across the host galaxy in great detail. We find at least five concentrations of line emission, coinciding with discrete continuum features previously detected in imaging from HST and JWST, over an extent of ~2'' (~15 kpc). The spectral diagnostics enabled by NIRSpec unambiguously trace the activity of the obscured AGN plus interaction between the interstellar medium and the radio jet as the dominant mechanisms for the ionization state and kinematics of the gas in the system. A secondary region of very high ionization lies at roughly 5 kpc distance from the nucleus, and within the context of an expanding cocoon enveloping the radio lobe, this may be explained by strong shock-ionization of the entrained gas. However, it could also signal the presence of a second obscured AGN, which may also offer an explanation for an intriguing outflow feature seen perpendicular to the radio axis. The presence of a dual SMBH system in this galaxy would support that large galaxies in the early Universe quickly accumulated their mass through the merging of smaller units (each with their own SMBH), at the centers of large overdensities. The inferred black hole mass to stellar mass ratio of 0.01-0.1 for TNJ1338 points to a more rapid assembly of black holes compared to the stellar mass of galaxies at high redshifts, consistent with other recent observations.


title: APT: Adaptive Pruning and Tuning Pretrained Language Models for Efficient Training and Inference

abstract: Fine-tuning and inference with large Language Models (LM) are generally known to be expensive. Parameter-efficient fine-tuning over pretrained LMs reduces training memory by updating a small number of LM parameters but does not improve inference efficiency. Structured pruning improves LM inference efficiency by removing consistent parameter blocks, yet often increases training memory and time. To improve both training and inference efficiency, we introduce APT that adaptively prunes and tunes parameters for the LMs. At the early stage of fine-tuning, APT dynamically adds salient tuning parameters for fast and accurate convergence while discarding unimportant parameters for efficiency. Compared to baselines, our experiments show that APT maintains up to 98% task performance when pruning RoBERTa and T5 models with 40% parameters left while keeping 86.4% LLaMA models' performance with 70% parameters remained. Furthermore, APT speeds up LMs fine-tuning by up to 8x and reduces large LMs memory training footprint by up to 70%.


title: Improving Convergence of Generalised Rosenbluth Sampling for Branched Polymer Models by Uniform Sampling

abstract: Sampling with the Generalised Atmospheric Rosenbluth Method (GARM) is a technique for estimating the distributions of lattice polymer models that has had some success in the study of linear polymers and lattice polygons. In this paper we will explain how and why such sampling appears not to be effective for many models of branched polymers. Analysing the algorithm on a simple binary tree, we argue that the fundamental issue is an inherent bias towards extreme configurations that is costly to correct with reweighting techniques. We provide a solution to this by applying uniform sampling methods to the atmospheres that are central to GARM. We caution that the ensuing computational complexity often outweighs the improvements gained.


title: OK-Robot: What Really Matters in Integrating Open-Knowledge Models for Robotics

abstract: Remarkable progress has been made in recent years in the fields of vision, language, and robotics. We now have vision models capable of recognizing objects based on language queries, navigation systems that can effectively control mobile systems, and grasping models that can handle a wide range of objects. Despite these advancements, general-purpose applications of robotics still lag behind, even though they rely on these fundamental capabilities of recognition, navigation, and grasping. In this paper, we adopt a systems-first approach to develop a new Open Knowledge-based robotics framework called OK-Robot. By combining Vision-Language Models (VLMs) for object detection, navigation primitives for movement, and grasping primitives for object manipulation, OK-Robot offers a integrated solution for pick-and-drop operations without requiring any training. To evaluate its performance, we run OK-Robot in 10 real-world home environments. The results demonstrate that OK-Robot achieves a 58.5% success rate in open-ended pick-and-drop tasks, representing a new state-of-the-art in Open Vocabulary Mobile Manipulation (OVMM) with nearly 1.8x the performance of prior work. On cleaner, uncluttered environments, OK-Robot's performance increases to 82%. However, the most important insight gained from OK-Robot is the critical role of nuanced details when combining Open Knowledge systems like VLMs with robotic modules. Videos of our experiments and code are available on our website: https://ok-robot.github.io


title: Unsupervised Machine Learning for the Classification of Astrophysical X-ray Sources

abstract: The automatic classification of X-ray detections is a necessary step in extracting astrophysical information from compiled catalogs of astrophysical sources. Classification is useful for the study of individual objects, statistics for population studies, as well as for anomaly detection, i.e., the identification of new unexplored phenomena, including transients and spectrally extreme sources. Despite the importance of this task, classification remains challenging in X-ray astronomy due to the lack of optical counterparts and representative training sets. We develop an alternative methodology that employs an unsupervised machine learning approach to provide probabilistic classes to Chandra Source Catalog sources with a limited number of labeled sources, and without ancillary information from optical and infrared catalogs. We provide a catalog of probabilistic classes for 8,756 sources, comprising a total of 14,507 detections, and demonstrate the success of the method at identifying emission from young stellar objects, as well as distinguishing between small-scale and large-scale compact accretors with a significant level of confidence. We investigate the consistency between the distribution of features among classified objects and well-established astrophysical hypotheses such as the unified AGN model. This provides interpretability to the probabilistic classifier. Code and tables are available publicly through GitHub. We provide a web playground for readers to explore our final classification at https://umlcaxs-playground.streamlit.app.


title: Inner Edge Habitable Zone Limits Around Main Sequence Stars: Cloudy Estimates

abstract: Understanding the limits of rocky planet habitability is one of the key goals of current and future exoplanet characterization efforts. An intrinsic concept of rocky planet habitability is the Habitable Zone. To date, the most widely used estimates of the Habitable Zone are based on cloud-free, one-dimensional (vertical) radiative-convective climate model calculations. However, recent three-dimensional global climate modeling efforts have revealed that rocky planet habitability is strongly impacted by radiative cloud feedbacks, where computational expense and model limitations can prevent these tools from exploring the limits of habitability across the full range of parameter space. We leverage a patchy cloud one-dimensional radiative-convective climate model with parameterized cloud microphysics to investigate Inner Edge limits to the Habitable Zone for main sequence stars ($T_{\rm eff}$ = 2600 -7200K). We find that Inner Edge limits to the Habitable Zone can be 3.3 and 4.7 times closer than previous cloud-free estimates for Earth- and super-Earth-sized worlds, respectively, depending on bulk cloud parameters (e.g., fractional cloudiness and sedimentation efficiency). These warm, moist Inner Edge climates are expected to have extensive cloud decks that could mute deep atmosphere spectral features. To aid in rocky planet characterization studies, we identify the potential of using $\rm{CO_{\rm 2}}$ absorption features in transmission spectroscopy as a means of quantifying cloud deck height and cloud sedimentation efficiency. Moist greenhouse climates may represent key yet poorly understood states of habitable planets for which continued study will uncover new insights into the search and characterization of habitable worlds.


title: Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization

abstract: Logic synthesis, a pivotal stage in chip design, entails optimizing chip specifications encoded in hardware description languages like Verilog into highly efficient implementations using Boolean logic gates. The process involves a sequential application of logic minimization heuristics (``synthesis recipe"), with their arrangement significantly impacting crucial metrics such as area and delay. Addressing the challenge posed by the broad spectrum of design complexities - from variations of past designs (e.g., adders and multipliers) to entirely novel configurations (e.g., innovative processor instructions) - requires a nuanced `synthesis recipe` guided by human expertise and intuition. This study conducts a thorough examination of learning and search techniques for logic synthesis, unearthing a surprising revelation: pre-trained agents, when confronted with entirely novel designs, may veer off course, detrimentally affecting the search trajectory. We present ABC-RL, a meticulously tuned $\alpha$ parameter that adeptly adjusts recommendations from pre-trained agents during the search process. Computed based on similarity scores through nearest neighbor retrieval from the training dataset, ABC-RL yields superior synthesis recipes tailored for a wide array of hardware designs. Our findings showcase substantial enhancements in the Quality-of-result (QoR) of synthesized circuits, boasting improvements of up to 24.8% compared to state-of-the-art techniques. Furthermore, ABC-RL achieves an impressive up to 9x reduction in runtime (iso-QoR) when compared to current state-of-the-art methodologies.


title: Cataclysmic Variables and the disc instability model in the Gaia DR3 colour-magnitude diagram

abstract: Cataclysmic Variables (CVs) are semi-detached binaries composed of a white dwarf orbiting a lower-mass K or M star. We investigate whether CVs are responsible for a new intriguing feature (the `hook') that appears in the Gaia DR3 colour-magnitude Hertzsprung-Russell diagram (HRD) when selecting sources with low extinction. We also aim to understand the location of CVs in the HRD based on the predictions of the disc instability model (DIM). The DIM is the foundation on which rests our basic understanding of stable (novae-like) and outbursting CVs (dwarf novae). We calculate the expected behaviour of CVs in the Gaia HRD taking into account the variable light contributed by the accretion disc, the companion, the white dwarf, and from the bright spot where the Roche lobe overflow stream from the companion intersects the disc. We find that the `hook' feature is most likely to be composed of CVs. The `hook' corresponds to the limited region where stable CVs (novae-likes) must be located in the HRD according to the DIM, with the bluest systems having the shortest orbital period. Unstable systems, giving rise to dwarf novae outbursts, trace counterclockwise loops in the HRD. The overall behaviour is consistent with the location of the various CV subtypes in the HRD. These results can be used as a basis to pinpoint interesting outliers in the HRD, either due to their location or their tracks. These outliers may signal new subtypes such as cold, stable CVs with truncated discs, or may challenge the disc instability model.


title: Rate-Distortion-Perception Tradeoff Based on the Conditional-Distribution Perception Measure

abstract: We study the rate-distortion-perception (RDP) tradeoff for a memoryless source model in the asymptotic limit of large block-lengths. Our perception measure is based on a divergence between the distributions of the source and reconstruction sequences conditioned on the encoder output, which was first proposed in [1], [2]. We consider the case when there is no shared randomness between the encoder and the decoder. For the case of discrete memoryless sources we derive a single-letter characterization of the RDP function, thus settling a problem that remains open for the marginal metric introduced in Blau and Michaeli [3] (with no shared randomness). Our achievability scheme is based on lossy source coding with a posterior reference map proposed in [4]. For the case of continuous valued sources under squared error distortion measure and squared quadratic Wasserstein perception measure we also derive a single-letter characterization and show that a noise-adding mechanism at the decoder suffices to achieve the optimal representation. For the case of zero perception loss, we show that our characterization interestingly coincides with the results for the marginal metric derived in [5], [6] and again demonstrate that zero perception loss can be achieved with a $3$-dB penalty in the minimum distortion. Finally we specialize our results to the case of Gaussian sources. We derive the RDP function for vector Gaussian sources and propose a waterfilling type solution. We also partially characterize the RDP function for a mixture of vector Gaussians.


title: CheXagent: Towards a Foundation Model for Chest X-Ray Interpretation

abstract: Chest X-rays (CXRs) are the most frequently performed imaging test in clinical practice. Recent advances in the development of vision-language foundation models (FMs) give rise to the possibility of performing automated CXR interpretation, which can assist physicians with clinical decision-making and improve patient outcomes. However, developing FMs that can accurately interpret CXRs is challenging due to the (1) limited availability of large-scale vision-language datasets in the medical image domain, (2) lack of vision and language encoders that can capture the complexities of medical data, and (3) absence of evaluation frameworks for benchmarking the abilities of FMs on CXR interpretation. In this work, we address these challenges by first introducing \emph{CheXinstruct} - a large-scale instruction-tuning dataset curated from 28 publicly-available datasets. We then present \emph{CheXagent} - an instruction-tuned FM capable of analyzing and summarizing CXRs. To build CheXagent, we design a clinical large language model (LLM) for parsing radiology reports, a vision encoder for representing CXR images, and a network to bridge the vision and language modalities. Finally, we introduce \emph{CheXbench} - a novel benchmark designed to systematically evaluate FMs across 8 clinically-relevant CXR interpretation tasks. Extensive quantitative evaluations and qualitative reviews with five expert radiologists demonstrate that CheXagent outperforms previously-developed general- and medical-domain FMs on CheXbench tasks. Furthermore, in an effort to improve model transparency, we perform a fairness evaluation across factors of sex, race and age to highlight potential performance disparities. Our project is at \url{https://stanford-aimi.github.io/chexagent.html}.


title: A Single Photon Source based on a Long-Range Interacting Room Temperature Vapor

abstract: We report on the current development of a single photon source based on a long-range interacting room temperature rubidium vapor. We discuss the history of the project, the production of vapor cells, and the observation of Rabi-oscillations in the four-wave-mixing excitation scheme.


title: Connecting the Dots: Leveraging Spatio-Temporal Graph Neural Networks for Accurate Bangla Sign Language Recognition

abstract: Recent advances in Deep Learning and Computer Vision have been successfully leveraged to serve marginalized communities in various contexts. One such area is Sign Language - a primary means of communication for the deaf community. However, so far, the bulk of research efforts and investments have gone into American Sign Language, and research activity into low-resource sign languages - especially Bangla Sign Language - has lagged significantly. In this research paper, we present a new word-level Bangla Sign Language dataset - BdSL40 - consisting of 611 videos over 40 words, along with two different approaches: one with a 3D Convolutional Neural Network model and another with a novel Graph Neural Network approach for the classification of BdSL40 dataset. This is the first study on word-level BdSL recognition, and the dataset was transcribed from Indian Sign Language (ISL) using the Bangla Sign Language Dictionary (1997). The proposed GNN model achieved an F1 score of 89%. The study highlights the significant lexical and semantic similarity between BdSL, West Bengal Sign Language, and ISL, and the lack of word-level datasets for BdSL in the literature. We release the dataset and source code to stimulate further research.


title: Active Inference Demonstrated with Artificial Spin Ice

abstract: A numerical model of interacting nanomagnetic elements is used to demonstrate active inference with a three dimensional Artificial Spin Ice structure. It is shown that thermal fluctuations can drive this magnetic spin system to evolve under dynamic constraints imposed through interactions with an external environment as predicted by the neurological free energy principle and active inference. The structure is defined by two layers of magnetic nanoelements where one layer is a square Artificial Spin Ice geometry. The other magnetic layer functions as a sensory filter that mediates interaction between the external environment and the hidden Artificial Spin Ice layer. Spin dynamics displayed by the bilayer structure are shown to be well described using a continuous form of a neurological free energy principle that has been previously proposed as a high level description of certain biological neural processes. Numerical simulations demonstrate that this proposed bilayer geometry is able to reproduce theoretical results derived previously for examples of active inference in neurological contexts.


title: Genericity Through Stratification

abstract: A fundamental issue in the $\lambda$-calculus is to find appropriate notions for meaningfulness. It is well-known that in the call-by-name $\lambda$-calculus (CbN) the meaningful terms can be identified with the solvable ones, and that this notion is not appropriate in the call-by-value $\lambda$-calculus (CbV). This paper validates the challenging claim that yet another notion, previously introduced in the literature as potential valuability, appropriately represents meaningfulness in CbV. Akin to CbN, this claim is corroborated by proving two essential properties. The first one is genericity, stating that meaningless subterms have no bearing on evaluating normalizing terms. To prove this (which was an open problem), we use a novel approach based on stratified reduction, indifferently applicable to CbN and CbV, and in a quantitative way. The second property concerns consistency of the smallest congruence relation resulting from equating all meaningless terms. While the consistency result is not new, we provide the first direct operational proof of it. We also show that such a congruence has a unique consistent and maximal extension, which coincides with a well-known notion of observational equivalence. Our results thus supply the formal concepts and tools that validate the informal notion of meaningfulness underlying CbN and CbV.