title: Operator dynamics in Lindbladian SYK: a Krylov complexity perspective

abstract: We use Krylov complexity to study operator growth in the $q$-body dissipative SYK model, where the dissipation is modeled by linear and random $p$-body Lindblad operators. In the large $q$ limit, we analytically establish the linear growth of two sets of coefficients for any generic jump operators. We numerically verify this by implementing the bi-Lanczos algorithm, which transforms the Lindbladian into a pure tridiagonal form. We find that the Krylov complexity saturates inversely with the dissipation strength, while the dissipative timescale grows logarithmically. This is akin to the behavior of other $\mathfrak{q}$-complexity measures, namely out-of-time-order correlator (OTOC) and operator size, which we also demonstrate. We connect these observations to continuous quantum measurement processes. We further investigate the pole structure of a generic auto-correlation and the high-frequency behavior of the spectral function in the presence of dissipation, thereby revealing a general principle for operator growth in dissipative quantum chaotic systems.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Learning to Design and Use Tools for Robotic Manipulation

abstract: When limited by their own morphologies, humans and some species of animals have the remarkable ability to use objects from the environment toward accomplishing otherwise impossible tasks. Robots might similarly unlock a range of additional capabilities through tool use. Recent techniques for jointly optimizing morphology and control via deep learning are effective at designing locomotion agents. But while outputting a single morphology makes sense for locomotion, manipulation involves a variety of strategies depending on the task goals at hand. A manipulation agent must be capable of rapidly prototyping specialized tools for different goals. Therefore, we propose learning a designer policy, rather than a single design. A designer policy is conditioned on task information and outputs a tool design that helps solve the task. A design-conditioned controller policy can then perform manipulation using these tools. In this work, we take a step towards this goal by introducing a reinforcement learning framework for jointly learning these policies. Through simulated manipulation tasks, we show that this framework is more sample efficient than prior methods in multi-goal or multi-variant settings, can perform zero-shot interpolation or fine-tuning to tackle previously unseen goals, and allows tradeoffs between the complexity of design and control policies under practical constraints. Finally, we deploy our learned policies onto a real robot. Please see our supplementary video and website at https://robotic-tool-design.github.io/ for visualizations.


title: Distinct distributions of elliptical and disk galaxies across the Local Supercluster as a $\Lambda$CDM prediction

abstract: Galaxies of different types are not equally distributed in the Local Universe. In particular, the supergalactic plane is prominent among the brightest ellipticals, but inconspicuous among the brightest disk galaxies. This striking difference provides a unique test for our understanding of galaxy and structure formation. Here we use the SIBELIUS DARK constrained simulation to confront the predictions of the standard Lambda Cold Dark Matter ($\Lambda$CDM) model and standard galaxy formation theory with these observations. We find that SIBELIUS DARK reproduces the spatial distributions of disks and ellipticals and, in particular, the observed excess of massive ellipticals near the supergalactic equator. We show that this follows directly from the local large-scale structure and from the standard galaxy formation paradigm, wherein disk galaxies evolve mostly in isolation, while giant ellipticals congregate in the massive clusters that define the supergalactic plane. Rather than being anomalous as earlier works have suggested, the distributions of giant ellipticals and disks in the Local Universe and in relation to the supergalactic plane are key predictions of the $\Lambda$CDM model.


title: The Quantum Cartpole: A benchmark environment for non-linear reinforcement learning

abstract: Feedback-based control is the de-facto standard when it comes to controlling classical stochastic systems and processes. However, standard feedback-based control methods are challenged by quantum systems due to measurement induced backaction and partial observability. Here we remedy this by using weak quantum measurements and model-free reinforcement learning agents to perform quantum control. By comparing control algorithms with and without state estimators to stabilize a quantum particle in an unstable state near a local potential energy maximum, we show how a trade-off between state estimation and controllability arises. For the scenario where the classical analogue is highly nonlinear, the reinforcement learned controller has an advantage over the standard controller. Additionally, we demonstrate the feasibility of using transfer learning to develop a quantum control agent trained via reinforcement learning on a classical surrogate of the quantum control problem. Finally, we present results showing how the reinforcement learning control strategy differs from the classical controller in the non-linear scenarios.


title: Hydrodynamic properties of the perfect hard-sphere crystal: Microscopic computations with Helfand moments

abstract: Within the framework of the local-equilibrium approach, the equilibrium and nonequilibrium properties relevant to the hydrodynamics of the perfect hard-sphere crystal are obtained with molecular dynamics simulations using the Helfand moments associated with momentum and energy transports. Since this crystal is face-centered cubic, the hydrodynamic properties we consider are the hydrostatic pressure, the isothermal bulk modulus, the specific heat capacities and their ratio, the three isothermal elastic constants $(C_{11}^T,C_{12}^T,C_{44}^T)$, the heat conductivity, and the three viscosities $(\eta_{11},\eta_{12},\eta_{44})$ (in Voigt's notations). These properties are computed as a function of the particle density. The pressure and the transport coefficients diverge near the close-packing density, as the collision frequency per particle does.


title: Analyzing the semileptonic and nonleptonic $B_c \to J/\psi, \eta_c$ decays

abstract: This study focuses on the decay of the $B_c$ meson to S-wave charmonia. Using lattice inputs on $B_c\to J/\psi$ form factors, we have obtained the $B_c\to\eta_c$ form factors using heavy quark spin symmetry (HQSS) relations between the associated form factors after parametrizing and extracting the possible symmetry breaking corrections. Using the $q^2$ shapes of these form factors, we have extracted the branching fractions $\mathcal{B}(B_c^-\to \eta_c\ell^-\bar{\nu})$ (with $\ell =\tau, \mu (e)$) and the decay rate distributions and have predicted the Standard model estimate for the observable $R(\eta_c)=\Gamma(B_c^-\to \eta_c\tau^-\bar{\nu})/\Gamma(B_c^-\to \eta_c\mu^-\bar{\nu}) = 0.302 \pm 0.010$. In addition, we have extracted the radial wave functions $\psi_{B_c}^R(0)$, $\psi_{J/\psi}^R(0)$ and $\psi_{\eta_c}^R(0)$ at small quark-antiquark distances from the available information on the form factors from lattice and experimental data on radiative and rare decays of the $J/\psi$ and $\eta_c$ mesons. To do so, we choose the theory framework of nonrelativistic QCD (NRQCD) effective theory. Using our results, we have estimated the branching fractions of a few non-leptonic decays of $B_c$ to $J/\psi$ or $\eta_c$ and other light mesons. We have also updated the numerical estimates of the cross sections $\sigma(e^+e^- \to J/\psi \eta_c, \eta_c\gamma)$ and predicted the branching fractions of $Z$ boson decays to either $J/\psi$ or $\eta_c$ final states or both.


title: Logic families

abstract: A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.


title: Towards the theory of Yangians

abstract: We review the main ideas underlying the emerging theory of Yangians -- the new type of hidden symmetry in string-inspired models. Their classification by quivers is a far-going generalization of simple Lie algebras classification by Dynkin diagrams. However, this is still a kind of project, while a more constructive approach goes through toric Calabi-Yau spaces, related supersymmetric systems and the Duistermaat-Heckmann/equivariant integrals between the fixed points in the ADHM-like moduli spaces. These fixed points are classified by crystals (Young-type diagrams) and Yangian generators describe ``instanton'' transitions between them. Detailed examples will be presented elsewhere.

categories: hep-th math-ph math.AG math.MP math.QA math.RT


title: Equivalence of block sequences in Schreier spaces and their duals

abstract: We prove that any normalized block sequence in a Schreier space $X_\xi$, of arbitrary order $\xi<\omega_1$, admits a subsequence equivalent to a subsequence of the canonical basis of some Schreier space. The analogous result is proved for dual spaces to Schreier spaces. Basing on these results, we examine the structure of strictly singular operators on Schreier spaces and show that there are $2^\mathfrak{c}$ many closed operator ideals on a Schreier space of any order, its dual and bidual space.


title: Challenges for Linguistically-Driven Computer-Based Sign Recognition from Continuous Signing for American Sign Language

abstract: There have been recent advances in computer-based recognition of isolated, citation-form signs from video. There are many challenges for such a task, not least the naturally occurring inter- and intra- signer synchronic variation in sign production, including sociolinguistic variation in the realization of certain signs. However, there are several significant factors that make recognition of signs from continuous signing an even more difficult problem. This article presents an overview of such challenges, based in part on findings from a large corpus of linguistically annotated video data for American Sign Language (ASL). Some linguistic regularities in the structure of signs that can boost handshape and sign recognition are also discussed.


title: Quantifying Intuition: Bayesian Approach to Figures of Merit in EXAFS Analysis of Magic Size Clusters

abstract: Analysis of the extended X-ray absorption fine structure (EXAFS) can yield local structural information in magic size clusters even when other structural methods (such as X-ray diffraction) fail, but typically requires an initial guess -- an atomistic model. Model comparison is thus one of the most crucial steps in establishing atomic structure of nanoscale systems and relies critically on the corresponding figures of merit (delivered by the data analysis) to make a decision on the most suitable model of atomic arrangements. However, none of the currently used statistical figures of merit take into account such significant factor as parameter correlations. Here we show that ignoring such correlations may result in a selection of an incorrect structural model. We then report on a new metric based on Bayes theorem that addresses this problem. We show that our new metric is superior to the currently used in EXAFS analysis as it reliably yields correct structural models even in cases when other statistical criteria may fail. We then demonstrate the utility of the new figure of merit in comparison of structural models for CdS magic-size clusters using EXAFS data.


title: Pathwise regularization by noise for semilinear SPDEs driven by a multiplicative cylindrical Brownian motion

abstract: We prove a regularization by noise phenomenon for semilinear SPDEs driven by multiplicative cylindrical Brownian motion and singular diffusion coefficient. The analysis is based on a combination of infinite dimensional generalizations of arguments in the SDE setting as well as careful maximal regularity analysis for semilinear SPDEs and Volterra-sewing techniques.


title: Coupled spin-lattice dynamics from the tight-binding electronic structure

abstract: We developed a method which performs the coupled adiabatic spin and lattice dynamics based on the tight-binding electronic structure model, where the intrinsic magnetic field and ionic forces are calculated from the converged self-consistent electronic structure at every time step. By doing so, this method allows us to explore limits where the physics described by a parameterized spin-lattice Hamiltonian is no longer accurate. We demonstrate how the lattice dynamics is strongly influenced by the underlying magnetic configuration, where disorder is able to induce significant lattice distortions. The presented method requires significantly less computational resources than ab initio methods, such as time-dependent density functional theory (TD-DFT). Compared to parameterized Hamiltonian-based methods, it also describes more accurately the dynamics of the coupled spin and lattice degrees of freedom, which becomes important outside of the regime of small lattice and spin fluctuations.


title: Quantum Pathways for Charged Track Finding in High-Energy Collisions

abstract: In high-energy particle collisions, charged track finding is a complex yet crucial endeavour. We propose a quantum algorithm, specifically quantum template matching, to enhance the accuracy and efficiency of track finding. Abstracting the Quantum Amplitude Amplification routine by introducing a data register, and utilising a novel oracle construction, allows data to be parsed to the circuit and matched with a hit-pattern template, without prior knowledge of the input data. Furthermore, we address the challenges posed by missing hit data, demonstrating the ability of the quantum template matching algorithm to successfully identify charged-particle tracks from hit patterns with missing hits. Our findings therefore propose quantum methodologies tailored for real-world applications and underline the potential of quantum computing in collider physics.


title: Hand Gesture Classification on Praxis Dataset: Trading Accuracy for Expense

abstract: In this paper, we investigate hand gesture classifiers that rely upon the abstracted 'skeletal' data recorded using the RGB-Depth sensor. We focus on 'skeletal' data represented by the body joint coordinates, from the Praxis dataset. The PRAXIS dataset contains recordings of patients with cortical pathologies such as Alzheimer's disease, performing a Praxis test under the direction of a clinician. In this paper, we propose hand gesture classifiers that are more effective with the PRAXIS dataset than previously proposed models. Body joint data offers a compressed form of data that can be analyzed specifically for hand gesture recognition. Using a combination of windowing techniques with deep learning architecture such as a Recurrent Neural Network (RNN), we achieved an overall accuracy of 70.8% using only body joint data. In addition, we investigated a long-short-term-memory (LSTM) to extract and analyze the movement of the joints through time to recognize the hand gestures being performed and achieved a gesture recognition rate of 74.3% and 67.3% for static and dynamic gestures, respectively. The proposed approach contributed to the task of developing an automated, accurate, and inexpensive approach to diagnosing cortical pathologies for multiple healthcare applications.


title: Language Model Training Paradigms for Clinical Feature Embeddings

abstract: In research areas with scarce data, representation learning plays a significant role. This work aims to enhance representation learning for clinical time series by deriving universal embeddings for clinical features, such as heart rate and blood pressure. We use self-supervised training paradigms for language models to learn high-quality clinical feature embeddings, achieving a finer granularity than existing time-step and patient-level representation learning. We visualize the learnt embeddings via unsupervised dimension reduction techniques and observe a high degree of consistency with prior clinical knowledge. We also evaluate the model performance on the MIMIC-III benchmark and demonstrate the effectiveness of using clinical feature embeddings. We publish our code online for replication.


title: An Integrated Approach to Aerial Grasping: Combining a Bistable Gripper with Adaptive Control

abstract: Grasping using an aerial robot can have many applications ranging from infrastructure inspection and maintenance to precise agriculture. However, aerial grasping is a challenging problem since the robot has to maintain an accurate position and orientation relative to the grasping object, while negotiating various forms of uncertainties (e.g., contact force from the object). To address such challenges, in this paper, we integrate a novel passive gripper design and advanced adaptive control methods to enable robust aerial grasping. The gripper is enabled by a pre-stressed band with two stable states (a flat shape and a curled shape). In this case, it can automatically initiate the grasping process upon contact with an object. The gripper also features a cable-driven system by a single DC motor to open the gripper without using cumbersome pneumatics. Since the gripper is passively triggered and initially has a straight shape, it can function without precisely aligning the gripper with the object (within an $80$ mm tolerance). Our adaptive control scheme eliminates the need for any a priori knowledge (nominal or upper bounds) of uncertainties. The closed-loop stability of the system is analyzed via Lyapunov-based method. Combining the gripper and the adaptive control, we conduct comparative real-time experimental results to demonstrate the effectiveness of the proposed integrated system for grasping. Our integrated approach can pave the way to enhance aerial grasping for different applications.


title: Scattering Amplitudes of Massive Spin-2 Kaluza-Klein States with Matter

abstract: We perform a comprehensive analysis of the scattering of matter and gravitational Kaluza-Klein (KK) modes in five-dimensional gravity theories. We consider matter localized on a brane as well as in the bulk of the extra dimension for scalars, fermions and vectors respectively, and consider an arbitrary warped background. While naive power-counting suggests that there are amplitudes which grow as fast as ${\cal O}(s^3)$ [where $s$ is the center-of-mass scattering energy-squared], we demonstrate that cancellations between the various contributions result in a total amplitude which grows no faster than ${\cal O}(s)$. Extending previous work on the self-interactions of the gravitational KK modes, we show that these cancellations occur due to sum-rule relations between the couplings and the masses of the modes that can be proven from the properties of the mode equations describing the gravity and matter wavefunctions. We demonstrate that these properties are tied to the underlying diffeomorphism invariance of the five-dimensional theory. We discuss how our results generalize when the size of the extra dimension is stabilized via the Goldberger-Wise mechanism. Our conclusions are of particular relevance for freeze-out and freeze-in relic abundance calculations for dark matter models including a spin-2 portal arising from an underlying five-dimensional theory.


title: ALMA 400pc Imaging of a z=6.5 Massive Warped Disk Galaxy

abstract: We present 0.075 (~400 pc) resolution ALMA observations of the [CII] and dust continuum emission from the host galaxy of the z=6.5406 quasar, P036+03. We find that the emission arises from a thin, rotating disk with an effective radius of 0.21" (1.1 kpc). The velocity dispersion of the disk is consistent with a constant value of 66.4+-1.0 km/s, yielding a scale height of 80+-30 pc. The [CII] velocity field reveals a distortion that we attribute to a warp in the disk. Modeling this warped disk yields an inclination estimate of 40.4+-1.3 degrees and a rotational velocity of 116+-3 km/s. The resulting dynamical mass estimate of (1.96+-0.10) x 10^10 Msun is lower than previous estimates, which strengthens the conclusion that the host galaxy is less massive than expected based on local scaling relations between the black hole mass and the host galaxy mass. Using archival MUSE Ly-alpha observations, we argue that counter-rotating halo gas could provide the torque needed to warp the disk. We further detect a region with excess (15-sigma) dust continuum emission, which is located 1.3 kpc northwest of the galaxy's center and is gravitationally unstable (Toomre-Q < 0.04). We posit this is a star-forming region whose formation was triggered by the warp, because the region is located within a part of the warped disk where gas can efficiently lose angular momentum. The combined ALMA and MUSE imaging provides a unique view of how gas interactions within the disk-halo interface can influence the growth of massive galaxies within the first billion years of the universe.


title: SAGE: Smart home Agent with Grounded Execution

abstract: The common sense reasoning abilities and vast general knowledge of Large Language Models (LLMs) make them a natural fit for interpreting user requests in a Smart Home assistant context. LLMs, however, lack specific knowledge about the user and their home limit their potential impact. SAGE (Smart Home Agent with Grounded Execution), overcomes these and other limitations by using a scheme in which a user request triggers an LLM-controlled sequence of discrete actions. These actions can be used to retrieve information, interact with the user, or manipulate device states. SAGE controls this process through a dynamically constructed tree of LLM prompts, which help it decide which action to take next, whether an action was successful, and when to terminate the process. The SAGE action set augments an LLM's capabilities to support some of the most critical requirements for a Smart Home assistant. These include: flexible and scalable user preference management ("is my team playing tonight?"), access to any smart device's full functionality without device-specific code via API reading "turn down the screen brightness on my dryer", persistent device state monitoring ("remind me to throw out the milk when I open the fridge"), natural device references using only a photo of the room ("turn on the light on the dresser"), and more. We introduce a benchmark of 50 new and challenging smart home tasks where SAGE achieves a 75% success rate, significantly outperforming existing LLM-enabled baselines (30% success rate).


title: Parallel Plate Capacitor Aluminum KIDs for Future Far-Infrared Space-Based Observatories

abstract: Future space-based far-infrared astrophysical observatories will require exquis-itely sensitive detectors consistent with the low optical backgrounds. The PRobe far-Infrared Mission for Astrophysics (PRIMA) will deploy arrays of thousands of superconducting kinetic inductance detectors (KIDs) sensitive to radiation between 25 and 265 $\mu$m. Here, we present laboratory characterization of prototype, 25 -- 80 $\mu$m wavelength, low-volume, aluminum KIDs designed for the low-background environment expected with PRIMA. A compact parallel plate capacitor is used to minimize the detector footprint and suppress TLS noise. A novel resonant absorber is designed to enhance response in the band of interest. We present noise and optical efficiency measurements of these detectors taken with a low-background cryostat and a cryogenic blackbody. A microlens-hybridized KID array is found to be photon noise limited down to about 50 aW with a limiting detector NEP of about $6.5 \times 10^{-19}~\textrm{W/Hz}^{1/2}$. A fit to an NEP model shows that our optical system is well characterized and understood down to 50 aW. We discuss future plans for low-volume aluminum KID array development as well as the testbeds used for these measurements.


title: Conformalized Deep Splines for Optimal and Efficient Prediction Sets

abstract: Uncertainty estimation is critical in high-stakes machine learning applications. One effective way to estimate uncertainty is conformal prediction, which can provide predictive inference with statistical coverage guarantees. We present a new conformal regression method, Spline Prediction Intervals via Conformal Estimation (SPICE), that estimates the conditional density using neural-network-parameterized splines. We prove universal approximation and optimality results for SPICE, which are empirically validated by our experiments. SPICE is compatible with two different efficient-to-compute conformal scores, one oracle-optimal for marginal coverage (SPICE-ND) and the other asymptotically optimal for conditional coverage (SPICE-HPD). Results on benchmark datasets demonstrate SPICE-ND models achieve the smallest average prediction set sizes, including average size reductions of nearly 50% for some datasets compared to the next best baseline. SPICE-HPD models achieve the best conditional coverage compared to baselines. The SPICE implementation is made available.


title: Harnessing machine learning for accurate treatment of overlapping opacity species in general circulation models

abstract: To understand high precision observations of exoplanets and brown dwarfs, we need detailed and complex general circulation models (GCMs) that incorporate hydrodynamics, chemistry, and radiation. For this study, we specifically examined the coupling between chemistry and radiation in GCMs and compared different methods for the mixing of opacities of different chemical species in the correlated-k assumption, when equilibrium chemistry cannot be assumed. We propose a fast machine learning method based on DeepSets (DS), which effectively combines individual correlated-k opacities (k-tables). We evaluated the DS method alongside other published methods such as adaptive equivalent extinction (AEE) and random overlap with rebinning and resorting (RORR). We integrated these mixing methods into our GCM (expeRT/MITgcm) and assessed their accuracy and performance for the example of the hot Jupiter HD~209458 b. Our findings indicate that the DS method is both accurate and efficient for GCM usage, whereas RORR is too slow. Additionally, we observed that the accuracy of AEE depends on its specific implementation and may introduce numerical issues in achieving radiative transfer solution convergence. We then applied the DS mixing method in a simplified chemical disequilibrium situation, where we modeled the rainout of TiO and VO, and confirmed that the rainout of TiO and VO would hinder the formation of a stratosphere. To further expedite the development of consistent disequilibrium chemistry calculations in GCMs, we provide documentation and code for coupling the DS mixing method with correlated-k radiative transfer solvers. The DS method has been extensively tested to be accurate enough for GCMs; however, other methods might be needed for accelerating atmospheric retrievals.


title: Multi-mode Brownian Dynamics of a Nanomechanical Resonator in a Viscous Fluid

abstract: Brownian motion imposes a hard limit on the overall precision of a nanomechanical measurement. Here, we present a combined experimental and theoretical study of the Brownian dynamics of a quintessential nanomechanical system, a doubly-clamped nanomechanical beam resonator, in a viscous fluid. Our theoretical approach is based on the fluctuation-dissipation theorem of statistical mechanics: We determine the dissipation from fluid dynamics; we incorporate this dissipation into the proper elastic equation to obtain the equation of motion; the fluctuation-dissipation theorem then directly provides an analytical expression for the position-dependent power spectral density (PSD) of the displacement fluctuations of the beam. We compare our theory to experiments on nanomechanical beams immersed in air and water, and obtain excellent agreement. Within our experimental parameter range, the Brownian force noise driving the nanomechanical beam has a colored PSD due to the ``memory" of the fluid; the force noise remains mode-independent and uncorrelated in space. These conclusions are not only important for nanomechanical sensing but also provide insight into the fluctuations of elastic systems at any length scale.


title: What is a Labor Market? Classifying Workers and Jobs Using Network Theory

abstract: This paper develops a new data-driven approach to characterizing latent worker skill and job task heterogeneity by applying an empirical tool from network theory to large-scale Brazilian administrative data on worker--job matching. We microfound this tool using a standard equilibrium model of workers matching with jobs according to comparative advantage. Our classifications identify important dimensions of worker and job heterogeneity that standard classifications based on occupations and sectors miss. The equilibrium model based on our classifications more accurately predicts wage changes in response to the 2016 Olympics than a model based on occupations and sectors. Additionally, for a large simulated shock to demand for workers, we show that reduced form estimates of the effects of labor market shock exposure on workers' earnings are nearly 4 times larger when workers and jobs are classified using our classifications as opposed to occupations and sectors.


title: Convergence of Heterogeneous Learning Dynamics in Zero-sum Stochastic Games

abstract: This paper presents new families of algorithms for the repeated play of two-agent (near) zero-sum games and two-agent zero-sum stochastic games. For example, the family includes fictitious play and its variants as members. Commonly, the algorithms in this family are all uncoupled, rational, and convergent even in heterogeneous cases, e.g., where the dynamics may differ in terms of learning rates, full, none or temporal access to opponent actions, and model-based vs model-free learning. The convergence of heterogeneous dynamics is of practical interest especially in competitive environments since agents may have no means or interests in following the same dynamic with the same parameters. We prove that any mixture of such asymmetries does not impact the algorithms' convergence to equilibrium (or near equilibrium if there is experimentation) in zero-sum games with repeated play and in zero-sum (irreducible) stochastic games with sufficiently small discount factors.


title: Shortest paths on polymatroids and hypergraphic polytopes

abstract: Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form $\mathbf{e}_i - \mathbf{e}_j$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this problem is $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the $APX$-hardness of the shortest path problem when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.


title: Overview of the Advanced X-ray Imaging Satellite (AXIS)

abstract: The Advanced X-ray Imaging Satellite (AXIS) is a Probe-class concept that will build on the legacy of the Chandra X-ray Observatory by providing low-background, arcsecond-resolution imaging in the 0.3-10 keV band across a 450 arcminute$^2$ field of view, with an order of magnitude improvement in sensitivity. AXIS utilizes breakthroughs in the construction of lightweight segmented X-ray optics using single-crystal silicon, and developments in the fabrication of large-format, small-pixel, high readout rate CCD detectors with good spectral resolution, allowing a robust and cost-effective design. Further, AXIS will be responsive to target-of-opportunity alerts and, with onboard transient detection, will be a powerful facility for studying the time-varying X-ray universe, following on from the legacy of the Neil Gehrels (Swift) X-ray observatory that revolutionized studies of the transient X-ray Universe. In this paper, we present an overview of AXIS, highlighting the prime science objectives driving the AXIS concept and how the observatory design will achieve these objectives.


title: Aeroelastic tailoring of stiffened cantilever plate using composites and structural layouts: A parametric study

abstract: This paper studies the aeroelasticity of a stiffened cantilever plate using composite material and novel structural layouts. A comprehensive parametric study is conducted to determine the influence of different design parameters on the aeroelastic boundaries. Design parameters include plate sweep angle, ply orientation, stringer cross-section, and stringer sweep angle. Nastran is used to run the aeroelastic analysis and the process is automated using Matlab. The structure of the plate is modelled using laminate elements whereas the stringers are modelled using the Euler-Bernoulli beam elements. The unsteady aerodynamic loads are modelled using Doublet Lattice Method (DLM) and the structural and aerodynamic meshes are connected using an Infinite plate surface (IPS) spline. A mesh sensitivity analysis is conducted to ensure fine meshes for the aerodynamics and structure. The study's findings demonstrate the benefits of employing forward swept (Fw) stringers since it increases flutter speed by almost 38% compared to the unswept stringers case and prevents divergence. Moreover, the static aeroelastic analysis illustrates that the utilization of Fw swept stringers can reduce the average tip displacement and tip twist effectively. T-shaped stringers are recommended to stiffen the plate due to their lower impact on the total mass of the plate. In some configurations, the structural layout has a much higher effect on the aeroelastic instabilities when compared to the material effect (ply orientation). However, results suggest combining both for some cases to get balanced washin and washout effects.


title: New tests of short-distance dynamics in $b \rightarrow s\bar{\ell} \ell$ decays

abstract: The rare $B \to K^{(*)} \bar{\ell} \ell$ decays exhibit a long-standing tension with Standard Model (SM) predictions, which can be attributed to a lepton-universal short-distance $b \to s \bar{\ell} \ell$ interaction. We present two novel methods to disentangle this effect from long-distance dynamics: one based on the determination of the inclusive $b \to s \bar{\ell} \ell$ rate at high dilepton invariant mass ($q^2\geq 15~{\rm GeV}^2$), the other based on the analysis of the $q^2$ spectrum of the exclusive modes $B \to K^{(*)} \bar{\ell} \ell$ (in the entire $q^2$ range). Using the first method, we show that the SM prediction for the inclusive $b \to s \bar{\ell} \ell$ rate at high dilepton invariant mass is in good agreement with the result obtained summing the SM predictions for one- and two-body modes ($K$, $K^*$, $K\pi$). This observation allows us to perform a direct comparison of the inclusive $b \to s \bar{\ell} \ell$ rate with data. This comparison shows a significant deficit ($\sim 2\sigma$) in the data, fully compatible with the deficit observed at low-$q^2$ on the exclusive modes. This provides independent evidence of an anomalous $b \to s \bar{\ell} \ell$ short-distance interaction, free from uncertainties on the hadronic form factors. To test the short-distance nature of this effect we use a second method, where we analyze the exclusive $B \to K^{(*)} \bar{\ell} \ell$ data in the entire $q^2$ region. Here, after using a dispersive parametrization of the charmonia resonances, we extract the non-SM contribution to the universal Wilson coefficient $C_9$ for every bin in $q^2$ and for every polarization. The $q^2$- and polarization-independence of the result, and its compatibility with the inclusive determination, provide a consistency check of the short-distance nature of this effect.


title: Log-Sum Regularized Kaczmarz Algorithms for High-Order Tensor Recovery

abstract: Sparse and low rank tensor recovery has emerged as a significant area of research with applications in many fields such as computer vision. However, minimizing the $\ell_0$-norm of a vector or the rank of a matrix is NP-hard. Instead, their convex relaxed versions are typically adopted in practice due to the computational efficiency, e.g., log-sum penalty. In this work, we propose novel log-sum regularized Kaczmarz algorithms for recovering high-order tensors with either sparse or low-rank structures. We present block variants along with convergence analysis of the proposed algorithms. Numerical experiments on synthetic and real-world data sets demonstrate the effectiveness of the proposed methods.


title: Rational design of acid stable oxide catalysts for OER with OC22

abstract: The efficiency of $H_2$ production via water electrolysis is typically limited to the sluggish oxygen evolution reaction (OER). As such, significant emphasis has been placed upon improving the rate of OER through the anode catalyst. More recently, the Open Catalyst 2022 (OC22) has provided a large dataset of density functional theory (DFT) calculations for OER intermediates on the surfaces of oxides. When coupled with state-of-the-art graph neural network models, total energy predictions can be achieved with a mean absolute error as low as of 0.22 eV. In this work, we interpolated a database of the total energy predictions for all slabs and OER surface intermediates for 4,119 oxide materialas in the original OC22 dataset using pre-trained models from the OC22 framework. This database includes all terminations of all facets up to a maximum Miller index of 1 with adsorption configurations for $O^*$ and $OH^*$. To demonstrate the full utility of this database, we constructed a flexible screening framework to identify viable candidate anode catalysts under a bulk and nanoscale regime for OER by assessing the price, thermodynamic stability, and resistance to corrosion, surface stability, and overpotential. Finally we verified the overpotentials and reaction energies of the final candidate catalysts using DFT. From our assessment, we were able to identify 48 and 69 viable candidates for OER under the bulk and nanoscale regime respectively.


title: Exploring the Cost of Interruptions in Human-Robot Teaming

abstract: Productive and efficient human-robot teaming is a highly desirable ability in service robots, yet there is a fundamental trade-off that a robot needs to consider in such tasks. On the one hand, gaining information from communication with teammates can help individual planning. On the other hand, such communication comes at the cost of distracting teammates from efficiently completing their goals, which can also harm the overall team performance. In this study, we quantify the cost of interruptions in terms of degradation of human task performance, as a robot interrupts its teammate to gain information about their task. Interruptions are varied in timing, content, and proximity. The results show that people find the interrupting robot significantly less helpful. However, the human teammate's performance in a secondary task deteriorates only slightly when interrupted. These results imply that while interruptions can objectively have a low cost, an uninformed implementation can cause these interruptions to be perceived as distracting. These research outcomes can be leveraged in numerous applications where collaborative robots must be aware of the costs and gains of interruptive communication, including logistics and service robots.


title: Electronic, Optical and Elastic Properties of Perovskite CsSnI$_{3-x}$Cl$_x$ (x = 0, 1, 2, 3): Using First Principles Study

abstract: The structural, electronic, optical and elastic properties of perovskites of the $\alpha$-, $\beta$- and $\gamma$-phase family CsSnI$_{3-x}$Cl$_x$ (x = 0, 1, 2, 3) are analyzed by ab initio methods using GGA, SCAN and HSE06. It is found that the lattice constants of CsSnI$_{3-x}$Cl$_x$ decrease with decreasing anion size from I to Cl, and when passing from CsSnI$_3$ to CsSnCl$_3$, the band gap width decreases slightly at the beginning and then increases. The optical characteristics were evaluated and it was found that the $\alpha$-, $\beta$-phase of CsSnI$_{3-x}$Cl$_x$ at $x=1$ has a wide absorption range and high absorption coefficients compared to other Cl concentrations. The elastic constants of $\alpha$-CsSnI$_{3-x}$Cl$_x$ perovskite have been calculated and their bulk moduli, shear moduli, sound velocities and Debye temperatures under pressure in the range from 0 to 30 GPa have been considered, with the external pressure induction increasing in steps of 5 GPa. These materials are found to be mechanically stable perovskites according to Born stability criteria and low bulk moduli. Thus, we predict that perovskites of the CsSnI$_{3-x}$Cl$_x$ family are good candidates for optical materials used in solar cells.


title: Accelerating Electronic Stopping Power Predictions by 10 Million Times with a Combination of Time-Dependent Density Functional Theory and Machine Learning

abstract: Knowing the rate at which particle radiation releases energy in a material, the stopping power, is key to designing nuclear reactors, medical treatments, semiconductor and quantum materials, and many other technologies. While the nuclear contribution to stopping power, i.e., elastic scattering between atoms, is well understood in the literature, the route for gathering data on the electronic contribution has for decades remained costly and reliant on many simplifying assumptions, including that materials are isotropic. We establish a method that combines time-dependent density functional theory (TDDFT) and machine learning to reduce the time to assess new materials to mere hours on a supercomputer and provides valuable data on how atomic details influence electronic stopping. Our approach uses TDDFT to compute the electronic stopping contributions to stopping power from first principles in several directions and then machine learning to interpolate to other directions at a cost of 10 million times fewer core-hours. We demonstrate the combined approach in a study of proton irradiation in aluminum and employ it to predict how the depth of maximum energy deposition, the "Bragg Peak," varies depending on incident angle -- a quantity otherwise inaccessible to modelers. The lack of any experimental information requirement makes our method applicable to most materials, and its speed makes it a prime candidate for enabling quantum-to-continuum models of radiation damage. The prospect of reusing valuable TDDFT data for training the model make our approach appealing for applications in the age of materials data science.


title: Code Sparsification and its Applications

abstract: We introduce a notion of code sparsification that generalizes the notion of cut sparsification in graphs. For a (linear) code $\mathcal{C} \subseteq \mathbb{F}_q^n$ of dimension $k$ a $(1 \pm \epsilon)$-sparsification of size $s$ is given by a weighted set $S \subseteq [n]$ with $|S| \leq s$ such that for every codeword $c \in \mathcal{C}$ the projection $c|_S$ of $c$ to the set $S$ has (weighted) hamming weight which is a $(1 \pm \epsilon)$ approximation of the hamming weight of $c$. We show that for every code there exists a $(1 \pm \epsilon)$-sparsification of size $s = \widetilde{O}(k \log (q) / \epsilon^2)$. This immediately implies known results on graph and hypergraph cut sparsification up to polylogarithmic factors (with a simple unified proof). One application of our result is near-linear size sparsifiers for constraint satisfaction problems (CSPs) over $\mathbb{F}_p$-valued variables whose unsatisfying assignments can be expressed as the zeros of a linear equation modulo a prime $p$. Building on this, we obtain a complete characterization of ternary Boolean CSPs that admit near-linear size sparsification. Finally, by connections between the eigenvalues of the Laplacians of Cayley graphs over $\mathbb{F}_2^k$ to the weights of codewords, we also give the first proof of the existence of spectral Cayley graph sparsifiers over $\mathbb{F}_2^k$ by Cayley graphs, i.e., where we sparsify the set of generators to nearly-optimal size.


title: An introduction to KnotPlot

abstract: We give a brief introduction to the software KnotPlot. The goals of this chapter are twofold: 1) to help a new user get started with using KnotPlot and 2) to provide veteran users with additional background and functionality available in the software.


title: Construction Artifacts in Metaphor Identification Datasets

abstract: Metaphor identification aims at understanding whether a given expression is used figuratively in context. However, in this paper we show how existing metaphor identification datasets can be gamed by fully ignoring the potential metaphorical expression or the context in which it occurs. We test this hypothesis in a variety of datasets and settings, and show that metaphor identification systems based on language models without complete information can be competitive with those using the full context. This is due to the construction procedures to build such datasets, which introduce unwanted biases for positive and negative classes. Finally, we test the same hypothesis on datasets that are carefully sampled from natural corpora and where this bias is not present, making these datasets more challenging and reliable.


title: Where to Deploy an Airborne Relay in Unknown Environments: Feasible Locations for Throughput and LoS Enhancement

abstract: The deployment of heterogeneous teams of both air and ground mobile assets combines the advantages of mobility, sensing capability, and operational duration when performing complex tasks. Air assets in such teams act to relay information between ground assets but must maintain unblocked paths to enable high-capacity communication modes. Obstacles in the operational environment may block the line of sight (LoS) between air assets and ground assets depending on their locations and heights. In this paper, we analyze the probability of spanning a two-hop communication between a pair of ground assets deployed in an environment with obstacles at random locations and with random heights (i.e. a Poisson Forest) using an air asset at any location near the ground assets. We provide a closed-form expression of the LoS probability based on the 3-dimensional locations of the air asset. We then compute a 3-D manifold of the air asset locations that satisfy a given LoS probability constraint. We further consider throughput as a measure of communication quality, and use it as an optimization objective.


title: Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks

abstract: Background: Proof Blocks is a software tool that enables students to construct proofs by assembling prewritten lines and gives them automated feedback. Prior work on learning gains from Proof Blocks has focused on comparing learning gains from Proof Blocks against other learning activities such as writing proofs or reading. Purpose: The study described in this paper aims to compare learning gains from different variations of Proof Blocks. Specifically, we attempt to quantify the difference in learning gains for students who complete Proof Blocks problems with and without distractors. Methods: We conducted a randomized controlled trial with three experimental groups: a control group that completed an off-topic Proof Blocks activity, one that completed a \tool{} activity without distractors, and one that completed a Proof Blocks activity with distractors. All three groups read a book chapter on proof by induction before completing their activity. Findings: The group that completed the Proof Blocks activity with distractors performed better on the posttest than the group that completed the Proof Blocks without distractors, who in turn performed better than the group that completed the off-topic Proof Blocks activity. However, none of these differences were statistically significant. While the results of this study are inconclusive, we hope that it can serve as a foundation for future work.


title: Feel the Force: From Local Surface Pressure Measurement to Flow Reconstruction in Fluid-Structure Interaction

abstract: Drawing inspiration from the lateral lines of fish, the inference of flow characteristics via surface-based data has drawn considerable attention. The current approaches often rely on analytical methods tailored exclusively for potential flows or utilize black-box machine learning algorithms to estimate a specific set of flow parameters. In contrast to a black box machine learning approach, we demonstrate that it is possible to identify certain modes of fluid flow and then reconstruct the entire flow field from these modes. We use Dynamic Mode Decomposition (DMD) to parametrize complex, dynamic features across the entire flow field. We then leverage deep neural networks to infer the DMD modes of the pressure and velocity fields within a large, unsteady flow domain, employing solely a time series of pressure measurements collected on the surface of an immersed obstacle. Our methodology is successfully demonstrated to diverse fluid-structure interaction scenarios, including cases with both free oscillations in the wake of a cylinder and forced oscillations of tandem cylinders, demonstrating its versatility and robustness.


title: Lagrangian Relaxation for Continuous-Time Optimal Control of Coupled Hydrothermal Power Systems Including Storage Capacity and a Cascade of Hydropower Systems with Time Delays

abstract: This work considers a short-term, continuous time setting characterized by a coupled power supply system controlled exclusively by a single provider and comprising a cascade of hydropower systems (dams), fossil fuel power stations, and a storage capacity modeled by a single large battery. Cascaded hydropower generators introduce time-delay effects in the state dynamics, which are modeled with differential equations, making it impossible to use classical dynamic programming. We address this issue by introducing a novel Lagrangian relaxation technique over continuous-time constraints, constructing a nearly optimal policy efficiently. This approach yields a convex, nonsmooth optimization dual problem to recover the optimal Lagrangian multipliers, which is numerically solved using a limited memory bundle method. At each step of the dual optimization, we need to solve an optimization subproblem. Given the current values of the Lagrangian multipliers, the time delays are no longer active, and we can solve a corresponding nonlinear Hamilton--Jacobi--Bellman (HJB) Partial Differential Equation (PDE) for the optimization subproblem. The HJB PDE solver provides both the current value of the dual function and its subgradient, and is trivially parallelizable over the state space for each time step. To handle the infinite-dimensional nature of the Lagrange multipliers, we design an adaptive refinement strategy to control the duality gap. Furthermore, we use a penalization technique for the constructed admissible primal solution to smooth the controls while achieving a sufficiently small duality gap. Numerical results based on the Uruguayan power system demonstrate the efficiency of the proposed mathematical models and numerical approach.


title: Remarks on a result of Chen-Cheng

abstract: In their seminal work (\cite{CC}, \cite{CC2}), Chen and Cheng proved apriori estimates for the constant scalar curvature metrics on compact K\"ahler manifolds. They also prove $C^{3,\alpha}$-estimate for the potential of the K\"ahler metrics under boundedness assumption on the scalar curvature and the entropy. The goal of this paper is to replace the uniform boundedness of the scalar curvature to the $L^p$-boundedness of the scalar curvature.


title: Automatic counting of planting microsites via local visual detection and global count estimation

abstract: In forest industry, mechanical site preparation by mounding is widely used prior to planting operations. One of the main problems when planning planting operations is the difficulty in estimating the number of mounds present on a planting block, as their number may greatly vary depending on site characteristics. This estimation is often carried out through field surveys by several forestry workers. However, this procedure is prone to error and slowness. Motivated by recent advances in UAV imagery and artificial intelligence, we propose a fully automated framework to estimate the number of mounds on a planting block. Using computer vision and machine learning, we formulate the counting task as a supervised learning problem using two prediction models. A local detection model is firstly used to detect visible mounds based on deep features, while a global prediction function is subsequently applied to provide a final estimation based on block-level features. To evaluate the proposed method, we constructed a challenging UAV dataset representing several plantation blocks with different characteristics. The performed experiments demonstrated the robustness of the proposed method, which outperforms manual methods in precision, while significantly reducing time and cost.


title: Tipping Points of Evolving Epidemiological Networks: Machine Learning-Assisted, Data-Driven Effective Modeling

abstract: We study the tipping point collective dynamics of an adaptive susceptible-infected-susceptible (SIS) epidemiological network in a data-driven, machine learning-assisted manner. We identify a parameter-dependent effective stochastic differential equation (eSDE) in terms of physically meaningful coarse mean-field variables through a deep-learning ResNet architecture inspired by numerical stochastic integrators. We construct an approximate effective bifurcation diagram based on the identified drift term of the eSDE and contrast it with the mean-field SIS model bifurcation diagram. We observe a subcritical Hopf bifurcation in the evolving network's effective SIS dynamics, that causes the tipping point behavior; this takes the form of large amplitude collective oscillations that spontaneously -- yet rarely -- arise from the neighborhood of a (noisy) stationary state. We study the statistics of these rare events both through repeated brute force simulations and by using established mathematical/computational tools exploiting the right-hand-side of the identified SDE. We demonstrate that such a collective SDE can also be identified (and the rare events computations also performed) in terms of data-driven coarse observables, obtained here via manifold learning techniques, in particular Diffusion Maps. The workflow of our study is straightforwardly applicable to other complex dynamics problems exhibiting tipping point dynamics.


title: Finer-grained Reductions in Fine-grained Hardness of Approximation

abstract: We investigate the relation between $\delta$ and $\epsilon$ required for obtaining a $(1+\delta)$-approximation in time $N^{2-\epsilon}$ for closest pair problems under various distance metrics, and for other related problems in fine-grained complexity. Specifically, our main result shows that if it is impossible to (exactly) solve the (bichromatic) inner product (IP) problem for vectors of dimension $c \log N$ in time $N^{2-\epsilon}$, then there is no $(1+\delta)$-approximation algorithm for (bichromatic) Euclidean Closest Pair running in time $N^{2-2\epsilon}$, where $\delta \approx (\epsilon/c)^2$ (where $\approx$ hides $\polylog$ factors). This improves on the prior result due to Chen and Williams (SODA 2019) which gave a smaller polynomial dependence of $\delta$ on $\epsilon$, on the order of $\delta \approx (\epsilon/c)^6$. Our result implies in turn that no $(1+\delta)$-approximation algorithm exists for Euclidean closest pair for $\delta \approx \epsilon^4$, unless an algorithmic improvement for IP is obtained. This in turn is very close to the approximation guarantee of $\delta \approx \epsilon^3$ for Euclidean closest pair, given by the best known algorithm of Almam, Chan, and Williams (FOCS 2016). By known reductions, a similar result follows for a host of other related problems in fine-grained hardness of approximation. Our reduction combines the hardness of approximation framework of Chen and Williams, together with an MA communication protocol for IP over a small alphabet, that is inspired by the MA protocol of Chen (Theory of Computing, 2020).


title: Latent space representations of cosmological fields

abstract: We investigate the possibility of learning the representations of cosmological multifield dataset from the CAMELS project. We train a very deep variational encoder on images which comprise three channels, namely gas density (Mgas), neutral hydrogen density (HI), and magnetic field amplitudes (B). The clustering of the images in feature space with respect to some cosmological/astrophysical parameters (e.g. $\Omega_{\rm m}$) suggests that the generative model has learned latent space representations of the high dimensional inputs. We assess the quality of the latent codes by conducting a linear test on the extracted features, and find that a single dense layer is capable of recovering some of the parameters to a promising level of accuracy, especially the matter density whose prediction corresponds to a coefficient of determination $R^{2}$ = 0.93. Furthermore, results show that the generative model is able to produce images that exhibit statistical properties which are consistent with those of the training data, down to scales of $k\sim 4h/{\rm Mpc}.$


title: Beyond still images: Temporal features and input variance resilience

abstract: Traditionally, vision models have predominantly relied on spatial features extracted from static images, deviating from the continuous stream of spatiotemporal features processed by the brain in natural vision. While numerous video-understanding models have emerged, incorporating videos into image-understanding models with spatiotemporal features has been limited. Drawing inspiration from natural vision, which exhibits remarkable resilience to input changes, our research focuses on the development of a brain-inspired model for vision understanding trained with videos. Our findings demonstrate that models that train on videos instead of still images and include temporal features become more resilient to various alternations on input media.


title: GIST: Generated Inputs Sets Transferability in Deep Learning

abstract: To foster the verifiability and testability of Deep Neural Networks (DNN), an increasing number of methods for test case generation techniques are being developed. When confronted with testing DNN models, the user can apply any existing test generation technique. However, it needs to do so for each technique and each DNN model under test, which can be expensive. Therefore, a paradigm shift could benefit this testing process: rather than regenerating the test set independently for each DNN model under test, we could transfer from existing DNN models. This paper introduces GIST (Generated Inputs Sets Transferability), a novel approach for the efficient transfer of test sets. Given a property selected by a user (e.g., neurons covered, faults), GIST enables the selection of good test sets from the point of view of this property among available test sets. This allows the user to recover similar properties on the transferred test sets as he would have obtained by generating the test set from scratch with a test cases generation technique. Experimental results show that GIST can select effective test sets for the given property to transfer. Moreover, GIST scales better than reapplying test case generation techniques from scratch on DNN models under test.


title: Neural Field Dynamics Model for Granular Object Piles Manipulation

abstract: We present a learning-based dynamics model for granular material manipulation. Inspired by the Eulerian approach commonly used in fluid dynamics, our method adopts a fully convolutional neural network that operates on a density field-based representation of object piles and pushers, allowing it to exploit the spatial locality of inter-object interactions as well as the translation equivariance through convolution operations. Furthermore, our differentiable action rendering module makes the model fully differentiable and can be directly integrated with a gradient-based trajectory optimization algorithm. We evaluate our model with a wide array of piles manipulation tasks both in simulation and real-world experiments and demonstrate that it significantly exceeds existing latent or particle-based methods in both accuracy and computation efficiency, and exhibits zero-shot generalization capabilities across various environments and tasks.


title: A method for variable selection in a multivariate functional linear regression model

abstract: We propose a new variable selection procedure for a functional linear model with multiple scalar responses and multiple functional predictors. This method is based on basis expansions of the involved functional predictors and coefficients that lead to a multivariate linear regression model. Then a criterion by means of which the variable selection problem reduces to that of estimating a suitable set is introduced. Estimation of this set is achieved by using appropriate penalizations of estimates of this criterion, so leading to our proposal. A simulation study that permits to investigate the effectiveness of the proposed approach and to compare it with existing methods is given.


title: Singularities and asymptotic distribution of resonances for Schr\"odinger operators in one dimension

abstract: We obtain new results about the high-energy distribution of resonances for the one-dimensional Schr\"odinger operator. Our primary result is an upper bound on the density of resonances above any logarithmic curve in terms of the singular support of the potential. We also prove results about the distribution of resonances in sectors away from the real axis, and construct a class of potentials producing multiple sequences of resonances along distinct logarithmic curves, explicitly calculating the asymptotic location of these resonances. The results are unified by the use of an integral representation of the reflection coefficients.


title: A Witness of GHZ Entanglement Using Only Collective Spin Measurements

abstract: Of existing entanglement witnesses that utilize only collective measurements of a spin ensemble, not all can detect genuine multipartite entanglement (GME), and none can detect Greenberger-Horne-Zeilinger (GHZ) states beyond the tripartite case. We fill this gap by introducing an entanglement witness that detects GME of spin ensembles, whose total spin is half-integer, using only collective spin measurements. Our witness is based on a nonclassicality test introduced by Tsirelson, and solely requires the measurement of total angular momentum along different directions. States detected by our witness are close to a family of GHZ-like states, which includes GHZ states of an odd number of spin-half particles. We also study the robustness of our witness under depolarizing noise, and derive exact noise bounds for detecting noisy GHZ states.


title: Certification of genuine multipartite entanglement in spin ensembles with measurements of total angular momentum

abstract: We introduce entanglement witnesses for spin ensembles which detect genuine multipartite entanglement using only measurements of the total angular momentum. States that are missed by most other angular-momentum-based witnesses for spin ensembles, which include Greenberger-Horne-Zeilinger states and certain superpositions of Dicke states, can be effectively detected by our witness. The protocol involves estimating the probability that the total angular momentum is positive along equally-spaced directions on a plane. Alternatively, one could measure along a single direction at different times, under the assumption that the total spins undergoes a uniform precession. Genuine multipartite entanglement is detected when the observed score exceeds a separable bound. Exact analytical expressions for the separable bound are obtained for spin ensembles $j_1\otimes j_2\otimes\dots \otimes j_N$ such that the total spin is a half-integer, and numerical results are reported for the other cases. Finally, we conjecture an expression for the separable bound when the total spin is not known, which is well supported by the numerical results.


title: VQA-GEN: A Visual Question Answering Benchmark for Domain Generalization

abstract: Visual question answering (VQA) models are designed to demonstrate visual-textual reasoning capabilities. However, their real-world applicability is hindered by a lack of comprehensive benchmark datasets. Existing domain generalization datasets for VQA exhibit a unilateral focus on textual shifts while VQA being a multi-modal task contains shifts across both visual and textual domains. We propose VQA-GEN, the first ever multi-modal benchmark dataset for distribution shift generated through a shift induced pipeline. Experiments demonstrate VQA-GEN dataset exposes the vulnerability of existing methods to joint multi-modal distribution shifts. validating that comprehensive multi-modal shifts are critical for robust VQA generalization. Models trained on VQA-GEN exhibit improved cross-domain and in-domain performance, confirming the value of VQA-GEN. Further, we analyze the importance of each shift technique of our pipeline contributing to the generalization of the model.


title: Mahalanobis-Aware Training for Out-of-Distribution Detection

abstract: While deep learning models have seen widespread success in controlled environments, there are still barriers to their adoption in open-world settings. One critical task for safe deployment is the detection of anomalous or out-of-distribution samples that may require human intervention. In this work, we present a novel loss function and recipe for training networks with improved density-based out-of-distribution sensitivity. We demonstrate the effectiveness of our method on CIFAR-10, notably reducing the false-positive rate of the relative Mahalanobis distance method on far-OOD tasks by over 50%.


title: Graph-Based Optimization for Technology Pathway Analysis: A Case Study in Decarbonization of University Campuses

abstract: Industrial sectors such as urban centers, chemical companies, manufacturing facilities, and microgrids are actively exploring strategies to help reduce their carbon footprint. For instance, university campuses are complex urban districts (involving collections of buildings and utility systems) that are seeking to reduce carbon footprints that originate from diverse activities (e.g., transportation operations and production of heating, cooling, and power utilities). This work presents an optimization framework to identify technology pathways that enable decarbonization of complex industrial sectors. The framework uses a graph abstraction that compactly captures interdependencies between diverse products and technologies as well as diverse externalities (e.g., market, policy, and carbon prices). Duality analysis reveals that the formulation can be interpreted as an economy, market, or value chain that uses technologies to generate economic value (wealth) by transforming basic products into higher value products. This interpretation also reveals that the formulation identifies pathways that maximize the profit of stakeholders, helps reveal the inherent value (prices) of intermediate products, and helps analyze the impact of externalities and technology specifications on product values. Our developments are illustrated via a case study involving a prototypical university campus that seeks to identify pathways that reduce its carbon footprint (e.g., via electrification and deployment of hydrogen technologies). We use the framework to determine carbon tax values, technology specifications, and investment budgets that activate different technology pathways and that achieve different levels of decarbonization.


title: A Call to Arms: AI Should be Critical for Social Media Analysis of Conflict Zones

abstract: The massive proliferation of social media data represents a transformative moment in conflict studies. This data can provide unique insights into the spread and use of weaponry, but the scale and types of data are problematic for traditional open-source intelligence. This paper presents preliminary, transdisciplinary work using computer vision to identify specific weapon systems and the insignias of the armed groups using them. There is potential to not only track how weapons are distributed through networks of armed units but also to track which types of weapons are being used by the different types of state and non-state military actors in Ukraine. Such a system could ultimately be used to understand conflicts in real-time, including where humanitarian and medical aid is most needed. We believe that using AI to help automate such processes should be a high-priority goal for our community, with near-term real-world payoffs.


title: A quantum-classical performance separation in nonconvex optimization

abstract: In this paper, we identify a family of nonconvex continuous optimization instances, each $d$-dimensional instance with $2^d$ local minima, to demonstrate a quantum-classical performance separation. Specifically, we prove that the recently proposed Quantum Hamiltonian Descent (QHD) algorithm [Leng et al., arXiv:2303.01471] is able to solve any $d$-dimensional instance from this family using $\widetilde{\mathcal{O}}(d^3)$ quantum queries to the function value and $\widetilde{\mathcal{O}}(d^4)$ additional 1-qubit and 2-qubit elementary quantum gates. On the other side, a comprehensive empirical study suggests that representative state-of-the-art classical optimization algorithms/solvers (including Gurobi) would require a super-polynomial time to solve such optimization instances.


title: InfoGuard: A Design and Usability Study of User-Controlled Application-Independent Encryption for Privacy-Conscious Users

abstract: Billions of secure messaging users have adopted end-to-end encryption (E2EE). Nevertheless, challenges remain. Most communication applications do not provide E2EE, and application silos prevent interoperability. Our qualitative analysis of privacy-conscious users' discussions of E2EE on Reddit reveals concerns about trusting client applications with plaintext, lack of clear indicators about how encryption works, high cost to switch apps, and concerns that most apps are not open source. We propose InfoGuard, a system enabling E2EE for user-to-user communication in any application. InfoGuard allows users to trigger encryption on any textbox, even if the application does not support E2EE. InfoGuard encrypts text before it reaches the application, eliminating the client app's access to plaintext. InfoGuard also incorporates visible encryption to make it easier for users to understand that their data is being encrypted and give them greater confidence in the system's security. The design enables fine-grained encryption, allowing specific sensitive data items to be encrypted while the rest remains visible to the server. Participants in our user study found InfoGuard usable and trustworthy, expressing a willingness to adopt it.


title: Characterization and Optimization of Skipper CCDs for the SOAR Integral Field Spectrograph

abstract: We present results from the characterization and optimization of six Skipper CCDs for use in a prototype focal plane for the SOAR Integral Field Spectrograph (SIFS). We tested eight Skipper CCDs and selected six for SIFS based on performance results. The Skipper CCDs are 6k $\times$ 1k, 15 $\mu$m pixels, thick, fully-depleted, $p$-channel devices that have been thinned to $\sim 250 \mu$m, backside processed, and treated with an antireflective coating. We optimize readout time to achieve $<4.3$ e$^-$ rms/pixel in a single non-destructive readout and $0.5$ e$^-$ rms/pixel in $5 \%$ of the detector. We demonstrate single-photon counting with $N_{\rm samp}$ = 400 ($\sigma_{\rm 0e^-} \sim$ 0.18 e$^-$ rms/pixel) for all 24 amplifiers (four amplifiers per detector). We also perform conventional CCD characterization measurements such as cosmetic defects ($ <0.45 \%$ ``bad" pixels), dark current ($\sim 2 \times 10^{-4}$ e$^-$/pixel/sec.), charge transfer inefficiency ($3.44 \times 10^{-7}$ on average), and charge diffusion (PSF $< 7.5 \mu$m). We report on characterization and optimization measurements that are only enabled by photon-counting. Such results include voltage optimization to achieve full-well capacities $\sim 40,000-63,000$ e$^-$ while maintaining photon-counting capabilities, clock induced charge optimization, non-linearity measurements at low signals (few tens of electrons). Furthermore, we perform measurements of the brighter-fatter effect and absolute quantum efficiency ($\gtrsim\, 80 \%$ between 450 nm and 980 nm; $\gtrsim\,90 \%$ between 600 nm and 900 nm) using Skipper CCDs.


title: Investigating Self-Supervised Deep Representations for EEG-based Auditory Attention Decoding

abstract: Auditory Attention Decoding (AAD) algorithms play a crucial role in isolating desired sound sources within challenging acoustic environments directly from brain activity. Although recent research has shown promise in AAD using shallow representations such as auditory envelope and spectrogram, there has been limited exploration of deep Self-Supervised (SS) representations on a larger scale. In this study, we undertake a comprehensive investigation into the performance of linear decoders across 12 deep and 2 shallow representations, applied to EEG data from multiple studies spanning 57 subjects and multiple languages. Our experimental results consistently reveal the superiority of deep features for AAD at decoding background speakers, regardless of the datasets and analysis windows. This result indicates possible nonlinear encoding of unattended signals in the brain that are revealed using deep nonlinear features. Additionally, we analyze the impact of different layers of SS representations and window sizes on AAD performance. These findings underscore the potential for enhancing EEG-based AAD systems through the integration of deep feature representations.


title: PIAug -- Physics Informed Augmentation for Learning Vehicle Dynamics for Off-Road Navigation

abstract: Modeling the precise dynamics of off-road vehicles is a complex yet essential task due to the challenging terrain they encounter and the need for optimal performance and safety. Recently, there has been a focus on integrating nominal physics-based models alongside data-driven neural networks using Physics Informed Neural Networks. These approaches often assume the availability of a well-distributed dataset; however, this assumption may not hold due to regions in the physical distribution that are hard to collect, such as high-speed motions and rare terrains. Therefore, we introduce a physics-informed data augmentation methodology called PIAug. We show an example use case of the same by modeling high-speed and aggressive motion predictions, given a dataset with only low-speed data. During the training phase, we leverage the nominal model for generating target domain (medium and high velocity) data using the available source data (low velocity). Subsequently, we employ a physics-inspired loss function with this augmented dataset to incorporate prior knowledge of physics into the neural network. Our methodology results in up to 67% less mean error in trajectory prediction in comparison to a standalone nominal model, especially during aggressive maneuvers at speeds outside the training domain. In real-life navigation experiments, our model succeeds in 4x tighter waypoint tracking constraints than the Kinematic Bicycle Model (KBM) at out-of-domain velocities.


title: Faster Peace via Inclusivity: An Efficient Paradigm to Understand Populations in Conflict Zones

abstract: United Nations practice shows that inclusivity is vital for mediation to be successful in helping end violent conflict and establish lasting peace. However, current methods for understanding the views and needs of populations during dynamic situations create tension between inclusivity and efficiency. This work introduces a novel paradigm to mitigate such tension. In partnership with collaborators at the United Nations we develop a realtime large-scale synchronous dialogue process (RLSDP) to understand stakeholder populations on an hour timescale. We demonstrate a machine learning model which enables each dialogue cycle to take place on a minute-timescale. We manage a key risk related to machine learning result trustworthiness by computing result confidence from a fast and reliable estimation of posterior variance. Lastly, we highlight a constellation of risks stemming from this new paradigm and suggest policies to mitigate them.


title: Using the HOMFLY-PT polynomial to compute knot types

abstract: The HOMFLY-PT polynomial is a link invariant which is effective in determining chiral knot and link types with small crossing numbers. In this chapter, we concentrate on knots. We provide a guide for computing the knot types of configurations from 3D coordinates via the HOMFLY-PT polynomial using publicly-available Linux freeware. We include data on the efficacy of HOMFLY-PT for knot types through crossing number 16.


title: Random-search efficiency in a bounded interval with spatially heterogeneous diffusion coefficient

abstract: We consider random walkers searching for a target in a bounded one-dimensional heterogeneous environment, in the interval $[0,L]$, where diffusion is described by a space-dependent diffusion coefficient $D(x)$. Boundary conditions are absorbing at the position of the target (set at $x=0$) and reflecting at the border $x=L$. We calculate and compare the estimates of efficiency $\varepsilon_1=\langle 1/ t\rangle$ and $\varepsilon_2=1/\langle t \rangle$. For the Stratonovich framework of the multiplicative random process, both measures are analytically calculated for arbitrary $D(x)$. For other interpretations of the stochastic integrals (e.g., It\^o and anti-It\^o), we get general results for $\varepsilon_2$, while $\varepsilon_1$ is obtained for particular forms of $D(x)$. The impact of the diffusivity profile on these measures of efficiency is discussed. Symmetries and peculiar properties arise when the search starts at the border ($x_0=L$), in particular, heterogeneity spoils the efficiency of the search within the Stratonovich framework, while for other interpretations the searcher can perform better in certain heterogeneous diffusivity profiles.


title: Monolithic Kilopixel Silicon Microlens Arrays for Future Far-Infrared Observatories

abstract: Future far-infrared astrophysics observatories will require focal plane arrays containing thousands of ultra-sensitive, superconducting detectors, each of which needs to be optically coupled to the telescope. At longer wavelengths, many approaches have been developed including feedhorn arrays and macroscopic arrays of lenslets. However, with wavelengths as short as 25 microns, optical coupling in the far-infrared remains challenging. In this paper, we present a novel approach for fabricating far-infrared monolithic silicon microlens arrays using grayscale lithography and deep reactive ion etching. The design, fabrication, and characterization of the microlens arrays are discussed. We compare the designed and fabricated lens profile, and calculate that the fabricated lenses will achieve 84% encircled power for the designed detector, which is only 3% less than the designed performance. We also present methods developed for anti-reflection coating microlens arrays and for a silicon-to-silicon die bonding process to hybridize microlens arrays with detector arrays.


title: Bayesian inference for generalized linear models via quasi-posteriors

abstract: Generalized linear models (GLMs) are routinely used for modeling relationships between a response variable and a set of covariates. The simple form of a GLM comes with easy interpretability, but also leads to concerns about model misspecification impacting inferential conclusions. A popular semi-parametric solution adopted in the frequentist literature is quasi-likelihood, which improves robustness by only requiring correct specification of the first two moments. We develop a robust approach to Bayesian inference in GLMs through quasi-posterior distributions. We show that quasi-posteriors provide a coherent generalized Bayes inference method, while also approximating so-called coarsened posteriors. In so doing, we obtain new insights into the choice of coarsening parameter. Asymptotically, the quasi-posterior converges in total variation to a normal distribution and has important connections with the loss-likelihood bootstrap posterior. We demonstrate that it is also well-calibrated in terms of frequentist coverage. Moreover, the loss-scale parameter has a clear interpretation as a dispersion, and this leads to a consolidated method of moments estimator.


title: Silicon Implantation and Annealing in $\beta$-Ga$_2$O$_3$: Role of Ambient, Temperature, and Time

abstract: Optimizing thermal anneals of Si-implanted $\beta$-Ga$_2$O$_3$ is critical for low resistance contacts and selective area doping. We report the impact of annealing ambient, temperature, and time on activation of room temperature ion-implanted Si in $\beta$-Ga$_2$O$_3$ at concentrations from 5x10$^{18}$ to 1x10$^{20}$ cm$^{-3}$, demonstrating full activation (>80% activation, mobilities >70 cm$^{2}$/Vs) with contact resistances below 0.29 $\Omega$-mm. Homoepitaxial $\beta$-Ga$_2$O$_3$ films, grown by plasma assisted MBE on Fe-doped (010) substrates, were implanted at multiple energies to yield 100 nm box profiles of 5x10$^{18}$, 5x10$^{19}$, and 1x10$^{20}$ cm$^{-3}$. Anneals were performed in a UHV-compatible quartz furnace at 1 bar with well-controlled gas composition. To maintain $\beta$-Ga$_2$O$_3$ stability, $p_{O2}$ must be greater than 10$^{-9}$ bar. Anneals up to $p_{O2}$ = 1 bar achieve full activation at 5x10$^{18}$ cm$^{-3}$, while 5x10$^{19}$ cm$^{-3}$ must be annealed with $p_{O2}$ <10$^{-4}$ bar and 1x10$^{20}$ cm$^{-3}$ requires $p_{O2}$ <10$^{-6}$ bar. Water vapor prevents activation and must be maintained below 10$^{-8}$ bar. Activation is achieved for anneal temperatures as low as 850 {\deg}C with mobility increasing with anneal temperature up to 1050 {\deg}C, though Si diffusion has been reported above 950 {\deg}C. At 950 {\deg}C, activation is maximized between 5 and 20 minutes with longer times resulting in decreased carrier activation (over-annealing). This over-annealing is significant for concentrations above 5x10$^{19}$ cm$^{-3}$ and occurs rapidly at 1x10$^{20}$ cm$^{-3}$. RBS (channeling) suggests damage recovery is seeded from remnant aligned $\beta$-Ga$_2$O$_3$ that remains after implantation; this conclusion is also supported by STEM showing retention of the $\beta$-phase with inclusions that resemble the $\gamma$-phase.


title: Synthesis and verification of robust-adaptive safe controllers

abstract: Safe control with guarantees generally requires the system model to be known. It is far more challenging to handle systems with uncertain parameters. In this paper, we propose a generic algorithm that can synthesize and verify safe controllers for systems with constant, unknown parameters. In particular, we use robust-adaptive control barrier functions (raCBFs) to achieve safety. We develop new theories and techniques using sum-of-squares that enable us to pose synthesis and verification as a series of convex optimization problems. In our experiments, we show that our algorithms are general and scalable, applying them to three different polynomial systems of up to moderate size (7D). Our raCBFs are currently the most effective way to guarantee safety for uncertain systems, achieving 100% safety and up to 55% performance improvement over a robust baseline.


title: Transfer principle for fractional Ornstein-Uhlenbeck processes

abstract: We prove the transfer principle for fractional Ornstein-Uhlenbeck processes, i.e., we construct a Brownian motion that has the same filtration as the fractional Ornstein-Uhlenbeck process and then represent the fractional Ornstein-Uhlenbeck process by using the constructed Brownian motion. As applications of the transfer principle we consider prediction.


title: Phonon-induced geometric chirality

abstract: Chiral properties have seen increasing use in recent years, leading to the emerging fields of chiral quantum optics, plasmonics, and phononics. While these fields have achieved manipulation of the chirality of light and lattice vibrations, controlling the chirality of materials on demand has yet remained elusive. Here, we demonstrate that linearly polarized phonons can be used to induce geometric chirality in achiral crystals when excited with an ultrashort laser pulse. We show that nonlinear phonon coupling quasistatically displaces the crystal structure along phonon modes that reduce the symmetry of the lattice to that of a chiral point group corresponding to a chiral crystal. By reorienting the polarization of the laser pulse, the two enantiomers can be induced selectively. Therefore, geometric chiral phonons enable the light-induced creation of chiral crystal structures and offer a pathway to engineering chiral electronic states and optical properties.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.str-el physics.optics


title: Quantum Computational Algorithms for Derivative Pricing and Credit Risk in a Regime Switching Economy

abstract: Quantum computers are not yet up to the task of providing computational advantages for practical stochastic diffusion models commonly used by financial analysts. In this paper we introduce a class of stochastic processes that are both realistic in terms of mimicking financial market risks as well as more amenable to potential quantum computational advantages. The type of models we study are based on a regime switching volatility model driven by a Markov chain with observable states. The basic model features a Geometric Brownian Motion with drift and volatility parameters determined by the finite states of a Markov chain. We study algorithms to estimate credit risk and option pricing on a gate-based quantum computer. These models bring us closer to realistic market settings, and therefore quantum computing closer the realm of practical applications.


title: Cross-correlation of cosmic voids with thermal Sunyaev-Zel'dovich data

abstract: We provide a measurement of the deficit in the Sunyaev-Zel'dovich Compton-$y$ signal towards cosmic voids, by stacking a catalogue of 97,090 voids constructed with BOSS-DR12 data, on the $y$ maps built on data from the Atacama Cosmology Telescope (ACT) DR4 and the Planck satellite. We detect the void signal with a significance of $7.3\,\sigma$ with ACT and $9.7\,\sigma$ with Planck, obtaining agreements in the associated void radial $y$ profiles extracted from both maps. The inner-void profile (for angular separations within the void angular radius) is reconstructed with significances of $4.7\sigma$ and $6.1\sigma$ with ACT and Planck, respectively; we model such profile using a simple model that assumes uniform gas (under)density and temperature, which enables us to place constraints on the product $(-\delta_{\rm v}T_{\rm e})$ of the void density contrast (negative) and the electron temperature. The best-fit values from the two data sets are $(-\delta_{\rm v}T_{\rm e})=(6.5\pm 2.3)\times 10^{5}\,\text{K}$ for ACT and $(8.6 \pm 2.1)\times 10^{5}\,\text{K}$ for Planck ($68\%$ C.L.), which are in good agreement under uncertainty. The data allow us to place lower limits on the expected void electron temperature at $2.7\times10^5\,\text{K}$ with ACT and $5.1\times10^5\,\text{K}$ with Planck ($95\%$ C.L.); these results can transform into upper limits for the ratio between the void electron density and the cosmic mean as $n^{\rm v}_{\rm e}/\bar{n}_{\rm e}\leqslant 0.73$ and $0.49$ ($95\%$ C.L.), respectively. Our findings prove the feasibility of using tSZ observations to constrain the gas properties inside cosmic voids, and confirm that voids are under-pressured regions compared to their surroundings.


title: Projective Two-Weight Sets of Denniston Type

abstract: We construct two-weight sets in PG$(3n-1,q)$, $n\geq2$ with the same weights as those that would arise from the blow-up of a maximal $q$-arc in PG$(2,q^n)$. The construction is of particular interest when $q$ is odd, as it is well known that no maximal arcs in PG$(2,q^n)$ exist in that case.


title: Weighted weak-type inequalities for maximal operators and singular integrals

abstract: We prove quantitative, one-weight, weak-type estimates for maximal operators, singular integrals, fractional maximal operators and fractional integral operators. We consider a kind of weak-type inequality that was first studied by Muckenhoupt and Wheeden and later by Cruz-Uribe, Martell and Perez. We obtain quantitative estimates for these operators in both the scalar and matrix weighted setting using sparse domination techniques. Our results extend those obtained by Cruz-Uribe, Isralowitz, Moen, Pott, and Rivera-R\'ios for singular integrals and maximal operators when $p=1$.


title: Adaptive Dynamics of Diverging Fitness Optima

abstract: We analyse a non-local parabolic integro-differential equation modelling the evolutionary dynamics of a phenotypically-structured population in a changing environment. Such models arise in the study of species adapting to climate change, or cancer adapting to therapy. Our results concern the long-time behaviour, in the small mutation limit, of the model. The main novelty of our work is that the time- and trait-dependent per capita growth rate is characterised by having multiple (locally) optimal traits which shift at possibly different velocities. When the velocities are the same we find that the solution concentrates on a point-set which depends on the shifting speed. These points can be thought of as "lagged optima" and the fitness value at each lagged optima is the "lagged fitness". When the velocities of the optimal traits are different and each has a potentially different optimal fitness, we find that the solution in fact concentrates as a Dirac delta function on the positive lagged optimum with maximum lagged fitness. Our results imply that in populations undergoing competition in temporally changing environments, both the true optimal fitness and the required rate of adaptation for each of the diverging optimal traits contribute to the eventual dominance of one trait.


title: User Experiences with Third-Party SIM Cards and ID Registration in Kenya and Tanzania

abstract: Mobile money services in Sub-Saharan Africa (SSA) have increased access to financial services. To ensure proper identification of users, countries have put in place Know-Your-Customer (KYC) measures such as SIM registration using an official identification. However, half of the 850 million people without IDs globally live in SSA, and the use of SIM cards registered in another person's name (third-party SIM) is prevalent. In this study, we explore challenges that contribute to and arise from the use of third-party SIM cards. We interviewed 36 participants in Kenya and Tanzania. Our results highlight great strides in ID accessibility, but also highlight numerous institutional and social factors that contribute to the use of third-party SIM cards. While privacy concerns contribute to the use of third-party SIM cards, third-party SIM card users are exposed to significant security and privacy risks, including scams, financial loss, and wrongful arrest.


title: The CeBrA demonstrator for particle-$\gamma$ coincidence experiments at the FSU Super-Enge Split-Pole Spectrograph

abstract: We report on a highly selective experimental setup for particle-$\gamma$ coincidence experiments at the Super-Enge Split-Pole Spectrograph (SE-SPS) of the John D. Fox Superconducting Linear Accelerator Laboratory at Florida State University (FSU) using fast CeBr$_3$ scintillators for $\gamma$-ray detection. Specifically, we report on the results of characterization tests for the first five CeBr$_3$ scintillation detectors of the CeBr$_3$ Array (CeBrA) with respect to energy resolution and timing characteristics. We also present results from the first particle-$\gamma$ coincidence experiments successfully performed with the CeBrA demonstrator and the FSU SE-SPS. We show that with the new setup, $\gamma$-decay branching ratios and particle-$\gamma$ angular correlations can be measured very selectively using narrow excitation energy gates, which are possible thanks to the excellent particle energy resolution of the SE-SPS. In addition, we highlight that nuclear level lifetimes in the nanoseconds regime can be determined by measuring the time difference between particle detection with the SE-SPS focal-plane scintillator and $\gamma$-ray detection with the fast CeBrA detectors. Selective excitation energy gates with the SE-SPS exclude any feeding contributions to these lifetimes.


title: Estimation of VaR with jump process: application in corn and soybean markets

abstract: Value at Risk (VaR) is a quantitative measure used to evaluate the risk linked to the potential loss of investment or capital. Estimation of the VaR entails the quantification of prospective losses in a portfolio of investments, using a certain likelihood, under normal market conditions within a specific time period. The objective of this paper is to construct a model and estimate the VaR for a diversified portfolio consisting of multiple cash commodity positions driven by standard Brownian motions and jump processes. Subsequently, a thorough analytical estimation of the VaR is conducted for the proposed model. The results are then applied to two distinct commodities -- corn and soybean -- enabling a comprehensive comparison of the VaR values in the presence and absence of jumps.


title: HIDM: Emulating Large Scale HI Maps using Score-based Diffusion Models

abstract: Efficiently analyzing maps from upcoming large-scale surveys requires gaining direct access to a high-dimensional likelihood and generating large-scale fields with high fidelity, which both represent major challenges. Using CAMELS simulations, we employ the state-of-the-art score-based diffusion models to simultaneously achieve both tasks. We show that our model, HIDM, is able to efficiently generate high fidelity large scale HI maps that are in a good agreement with the CAMELS's power spectrum, probability distribution, and likelihood up to second moments. HIDM represents a step forward towards maximizing the scientific return of future large scale surveys.


title: Interfacial defect properties of high-entropy carbides: Stacking faults, Shockley partial dislocations, and a new Evans-Polanyi-Semenov relation

abstract: Using first principles calculations, {111} intrinsic stacking fault (ISF) energies in Group IVB, VB, and VIB high-entropy transition metal carbides are shown to be predictable from an optimized rule of mixtures based on the properties of the single metal carbide constituents present near the stacking fault. A composition-independent linear relationship is demonstrated between the ISF energies and the unstable stacking fault (USF) energies along the <112>{111} gamma surface slip path. Treating the ISF and USF energies as analogous to the heat of reaction and transition state barrier in chemical reactions, this linear relationship represents a new application of the Evans-Polanyi-Semenov principle. Further, a full defect energy distribution can be obtained from the predicted ISF energies with only the composition as an input for the mixed early-transition metal carbides. Applying a model that balances the elastic repulsion between partial dislocations with the distribution of ISF energies, we show that Shockley partial edge dislocations should remain bound for all valence electron concentration values up to about 9.6, even when the average stacking fault energy is negative.