Applied Physics
Papers
Fresh from arXiv, typeset properly. Highlighted words trade on the market.
All of arXiv
Friday 18 September
The ratio of a structure's first two natural frequencies depends on its boundary conditions but not on its size, material density, or absolute stiffness, which multiply every frequency equally and cancel in the quotient. We use this to identify the boundary conditions of a small-scale beam or plate from two ratio measurements, without knowing its exact dimensions or material. The paper first establishes how the ratio $r=\omega_2/\omega_1$, and the fractional shift $\Delta r$ it undergoes when a boundary condition changes, respond to the two effects that matter at small scale: transverse shear deformation, through Timoshenko beam and Mindlin plate theory, and small-scale elasticity, through Eringen's nonlocal Timoshenko model. Using a locking-free Rayleigh-Ritz beam solver and a finite-element Mindlin plate solver, each checked against benchmarks, we find an asymmetry. The absolute ratio moves appreciably with thickness, by 12 to 14 per cent over the shear-deformable range, and with orthotropy, by 6 to 9 per cent, but only weakly with nonlocality; the shift $\Delta r$, by contrast, varies by less than 0.2 per cent over the full nonlocal range and by a few per cent under thickness change. Because $\Delta r$ is largely independent of these details, a measured shift identifies which boundary-condition transition a deliberate change of support has produced, with a resolution we quantify and verify against molecular-dynamics data. Two spring continua then extend the method to estimating support compliance, with the non-uniqueness of the tip-support case stated explicitly. The method needs no value of the small-scale parameter or the material constants.
Computation and Language
Do Student LLMs Inherit OOD Robustness? Invariance-Weighted Distillation for Reliable Knowledge Transfer
Knowledge distillation (KD) aims to compress high-performance teacher LLMs into lightweight students. However, distilled students often exhibit substantial performance degradation in out-of-distribution (OOD) settings, a critical gap that remains underexplored. We identify two compounding mechanisms causing OOD performance degradation: (1) data spuriousness: students can learn spurious correlations in the distillation dataset over genuine causal relationships; and (2) teacher capability: standard KD treats all samples uniformly, ignoring whether the teacher is guided by causal features or misled by spurious shortcuts on a given sample. To address these challenges, we propose Invariance-Weighted Distillation (IWD), a theoretically grounded framework that dynamically reweights training samples using an estimate of the teacher's causal reliance derived from prediction invariance across multiple synthetic environments. IWD perturbs spurious cues while preserving core semantics, assigning higher distillation weights to samples whose teacher predictions remain invariant, indicating greater reliance on causal rather than spurious features. We theoretically show that IWD reduces the student's Spurious-to-Causal (S2C) gradient ratio compared to standard uniformly weighted KD, driving the student toward more invariant representations. Experiments on four NLP benchmarks (MNLI, SQuAD-v2, CoNLL-2003 NER, and SST-2) across two model families (DeBERTa-v3 and Qwen-2.5) demonstrate that IWD consistently outperforms strong KD baselines on OOD evaluations while maintaining competitive in-distribution (ID) performance. Specifically, IWD achieves the highest accuracy in 15 out of 16 OOD benchmarks and improves average OOD performance over standard KD by 4.34 percentage points on NLI and 14.94 percentage points on QA.
Read the full abstract
Differential Geometry
Chain-level decoupling of the physical heterotic $G_2$ deformation complex at the standard embedding
The physical deformation complex of heterotic $G_2$ compactifications couples instanton deformations to geometric fields and their first-order $\alpha'$ corrections. We give an explicit chain-level decoupling of its first-order coefficient complex at the minimal standard embedding, where the gauge bundle is the tangent bundle, the gauge connection is the Levi–Civita connection, and the background $G_2$ structure is torsion-free. The first Atiyah coupling is null-homotopic through a skew covariant derivative extending the induced connection variation. A second homotopy, given by the covariant codifferential of the skew part of an endomorphism-valued cochain, removes the coupling from the bundle sector to the geometric sector. The residual geometric curvature term cancels against the contribution of the first transformation. These identities hold on arbitrary cochains in every canonical degree and yield mutually inverse differential-operator chain maps. Consequently, the cohomology decomposes into instanton and geometric coefficient cohomologies in all degrees. The argument requires only $\mathrm{Hol}(g)\subseteq G_2$. To our knowledge, no previous explicit all-degree splitting removes the internal gauge and geometric couplings of this physically reduced standard-embedding coefficient complex.
Read the full abstract
Quantum Physics
Generating Dicke State Graphs
Graph theory is a powerful tool in quantum computing, with applications ranging from quantum circuit synthesis and optimization to entanglement mapping. Recent work has shown how one can use edge-colored graphs to model photonic experiments that generate GHZ and W states. However, the latter work also proved that verifying that a graph models a Dicke state experiment is coNP-complete. In this work, we provide families of graphs that generate $|D_{k}^a\rangle \otimes |0\rangle^{\otimes b }$, where $b = |a-2k|$ is the number of spectator modes. The graph setup consists of a doubled complete subgraph on $a$ vertices and a collection of auxiliary vertices. We prove that every coincidence carries exactly $k$ excitations, every weight-$k$ computational basis state on bitstrings of length $a$ is realized, and each of those bitstrings is realized exactly $(n/2)!$ times, where $n = a+b$. Since verifying the Dicke FORALL condition is coNP-complete in general, constructing explicit families that provably generate Dicke states is of interest.
Read the full abstract
Statistical Methodology
Simulation-based Criticism of Complex Biological Models with Neural Evidence Estimation
In statistical modeling, the likelihood is the basis for both inference and criticism, which constitute the two stages of data analysis. However, many realistic scientific models lack computationally tractable likelihoods. Increasingly, these are implemented as computer simulations. New deep learning-based methods for simulation-based inference (SBI) have demonstrated the ability to efficiently and accurately calibrate complex simulation models. However, in this setting, the standard tools for comparing models and assessing their potential limitations are often unavailable. We propose a new method for simulation-based model criticism, Neural Evidence Estimation. NEE trains a normalizing flow on simulated data to learn an estimate of the marginal likelihood (a.k.a. evidence). These estimates can be used to diagnose model misspecification and perform model comparison without evaluating (or approximating) a model's likelihood. Compared to related techniques designed for either of these tasks, NEE is quick, robust, and modular. We demonstrate our methodology through applications to infectious disease modeling. Here, model criticism is difficult yet imperative: infectious disease modelers often face a choice among several plausible models featuring intractable likelihoods. We first validate NEE's ability to discern incorrect transmission models through simulation experiments. We then perform data analysis of a historic multi-wave influenza epidemic, where we use SBI and NEE to rigorously compare several competing mechanistic theories of reinfection. Overall, NEE provides a unifying framework for simulation-based criticism, advances efficient multi-model data analysis, and helps improve the reliability of SBI.
Read the full abstract
Computer Vision
AdaMerge: Tuning-Free Patch Compression for Multi-Vector Visual Document Retrieval
Multi-vector visual document retrieval (VDR) models such as ColPali and ColNomic achieve strong accuracy by representing each document with hundreds to thousands of patch-level embeddings, at substantial storage and latency cost. Existing compression methods either prune unimportant patches or merge similar ones into clusters; the recent state-of-the-art merging method Prune-then-Merge (PtM) consistently outperforms pruning-only baselines at high compression, but requires a per-dataset cluster budget m to be tuned by grid search. We observe that the merge-cosine sequence produced by hierarchical clustering exhibits a sharp cliff separating mergeable redundancy from salient signal, and that the location of this cliff is concentrated in a narrow band across more than 11,000 documents from 14 datasets. This suggests the merge boundary can be detected per document rather than tuned per dataset. Building on this observation, we propose AdaMerge, a plug-and-play compression method that (i) detects each document's own cliff via gap analysis on the merge-cosine trajectory, and (ii) builds attention-weighted cluster centroids to preserve salient signal. On the long-document benchmark ViDoRe-V2 (4 datasets, two backbones), AdaMerge significantly outperforms tuned PtM across the operating range (p < 10^-4); on the short-document benchmark ViDoRe-V1 (10 datasets, two backbones), where all merging methods are already near-lossless, AdaMerge matches tuned PtM without any per-dataset tuning. AdaMerge adds only about 10 ms per document and exposes a single global hyperparameter shared across all datasets and backbones.
Read the full abstract
Probability
Uniform in time weak convergence for a Fleming-Viot particle system with hard killing
This paper is concerned with the Fleming-Viot particle system introduced by Burdzy, Hołyst and March (2000). In this model, $N$ Brownian particles evolve independently in a bounded domain $D$ until one of the particles reaches the boundary. Then, the particle which has hit the boundary instantaneously jumps to the location of one of the other particles, chosen uniformly at random. Burdzy, Hołyst and March showed that when $N$ tends to infinity, the empirical measure of the system converges to a solution to the heat equation on $D$ with Dirichlet boundary conditions, renormalized to have total mass $1$. Our main result is a sharp, uniform-in-time, quantitative version of this result. We employ the method of weak propagation of chaos, which necessitates a careful study of the (backward) Kolmogorov equations associated to the $N$-particle systems, and the infinite-dimensional transport equation whose characteristics are given by renormalized solutions of the Dirichlet heat equation. The proofs are entirely analytical, and most of the technical effort is devoted to building barrier functions which are used to control the singular behavior of the system when most of the particles approach the boundary.
Read the full abstract
Number Theory
Almost Trivial Units in Group Rings
We find all ring of integers, R, and finite groups G, such that RG has almost trivial units. Moreover, for such a group ring we determine the Swan subgroup of its locally free classgroup
High Energy Astrophysical Phenomena
The chirping of Lense-Thirring precession in tidal disruption event accretion flows
Tidal disruption event X-ray light curves do not appear to show clear signs of periodic modulation. This is naively somewhat surprising since the stars that are disrupted originate at large scales in the galaxy where they cannot know about the orientation of the black hole spin axis. This should lead to the formation of a misaligned disk that precesses due to Lense-Thirring torques, modulating X-ray emission from the inner disk regions. We argue that in fact the properties which are required for solid-body precession, namely a thick $(H/R\sim {\mathcal O}(1))$ disk, naturally lead to rapid precession period change, with a per-period increase of $\Delta T_{\rm prec}/T_{\rm prec} \sim {\mathcal O}(1-10)$, as the disk spreads to larger radii to conserve angular momentum. In other words the precession of thick TDE disks is aggressively chirped, washing out any possibility of observing multiple cycles other than for fine tuned regions of parameter space. The global disk alignment timescale is equally strongly chirped by the exact same mechanism, meaning that TDE disks will not in general align with the black hole spin axis during a super-Eddington phase, and should generically show global quasi-steady warp profiles at the beginning of any thin disk phase. These results have important implications for interpreting timing features associated with TDE disks, including models for quasi-periodic X-ray eruption timing phenomenology, and the observational properties of TDE disks in the initial transition to the thin disk phase.
Read the full abstract
Materials Science
Compressive Splitting in Brittle Solids: The Inverse of Wrinkling in Sheets
Axial splitting is the dominant failure mode of brittle solids under compression, yet its mechanical origin remains unclear. We show that clamped loading platens suppress lateral Poisson expansion, generating boundary-induced tensile stresses at the specimen interior – the compressive analog of wrinkling in stretched sheets. This mechanism provides a predictive strength law, relating axial splitting to tensile strength, geometry, and confinement pressure. This is validated against diverse materials ranging from rocks to ceramics, establishing axial splitting as a geometry-controlled elastic process rather than a stochastic flaw problem.
Read the full abstract
Algebraic Geometry
Maximal singular curves over finite fields from elliptic and hyperelliptic curves
We construct explicit families of maximal singular curves over finite fields. A maximal singular curve is a curve that attains the Aubry-Perret bound, which is the natural extension of the Hasse-Weil-Serre bound on the maximum number of rational points on a smooth curve over a finite field. Starting from a smooth elliptic or hyperelliptic curve $\tilde{C}$ over $\mathbb{F}_{q}$ ($q$ odd), we generate singular curves $C$ with non-split singularities or cusps. In our approach we use linear projections of geometric embeddings, and we apply Stöhr's embedding of hyperelliptic Gorenstein curves and the Rosa-Stöhr's theory of trigonal Gorenstein curves. Some of our models attain the Aubry-Perret bound, whenever their normalization is maximal, and the construction is applied to the Tafazolian and Tafazolian-Torres smooth maximal curves to produce the desired family. Finally, we determine the gonality over $\mathbb{F}_q$ of most of the curves we construct.
Read the full abstract
Instrumentation and Methods for Astrophysics
Initial modeling and testbed feasibility studies of WaveDriver: a laser guide star AO system for HWO
The Habitable Worlds Observatory (HWO) will require $>100\times$ greater wavefront stability than achieved by JWST, pushing conventional telescope architectures to picometer-level performance limits. WaveDriver is a mission concept that relaxes these constraints by employing an external laser guide star (LGS) spacecraft flying in formation with HWO to enable wavefront sensing and control. Early results from the High Contrast Testbed demonstrate feasibility of required stability using coronagraphs, multiple deformable mirrors, and a suite of wavefront sensors. We report mission design analyses, initial testbed stability metrics, compare sensor performance, and present an optical model that quantifies LGS brightness, conjugation errors, and field errors arising from finite beacon separation.
Read the full abstract
High Energy Physics (Experiment)
First measurement of the forward rapidity dependence of $W$ boson transverse helicity fractions
The transverse helicity fractions of $W$ bosons are measured as a function of the $W$ boson rapidity, $y_{W}$, in the range $0 \leq y_{W} \leq 5$ using $W\to\mu\nu_{\mu}$ decays in $pp$ collisions at $\sqrt{s}$ = 13 TeV recorded by the LHCb experiment and corresponding to an integrated luminosity of $5.1$ fb$^{-1}$. The fractions are extracted from a template fit to the muon transverse momentum and pseudorapidity. The results show a strong rapidity dependence and agree with next-to-leading-order Standard Model predictions, providing the first determination of the transverse helicity fractions of $W$ bosons in the forward region.
Read the full abstract
Machine Learning
The Ups and Downs of Backprop Weights
Backpropagation (BP) has driven the remarkable success of modern deep learning by enabling large hierarchical networks to learn complex functions end-to-end. Yet it does not by itself determine how parameters should be organized so that functional components can be reused and adapted selectively. For example, object recognition and motion prediction may depend on overlapping parameter sets, making them difficult to isolate or modify independently. We call this condition weight entanglement. Modern architectures dynamically select which parts of a network process each sample: nonlinearities gate units, attention selects interactions, and Mixture-of-Experts architectures route inputs to modules. Yet such selection does not ensure that the same functional component remains linked to an identifiable parameter set across samples. We propose weight operators: parameterized modules that implement reusable functional components and can be composed at inference to form the function required by each sample. Learning proceeds in two stages: the model first infers the required operator composition, then updates only the selected operators' parameter sets. Vector Networks (VNs) provide one implementation. They couple operator selection to local error-driven updates within each layer and show that learned operators can be reused in combinations absent from training while updates remain restricted to the selected parameter sets. This provides a basis for testing functional parameter identifiability: whether an operator remains linked to the same functional component during learning. We argue that functional parameter identifiability may provide an organizing principle for models that systematically reuse and recombine learned functions while adapting only the components that need to change.
Read the full abstract
Computation and Language
Correct Diagnosis, Better Feedback: A Symbolic-Verifier for Faithful LLM Tutoring Feedback in Logic Proofs
Effective LLM tutoring depends on correctly identifying the specific error in a student's reasoning before generating feedback. We study this problem in propositional-logic proof tutoring, where student actions can be checked against formal inference rules. We introduce a verifier-grounded architecture that separates diagnosis from language generation. Using 600 balanced student actions, we compare a zero-shot LLM detector, a fine-tuned detector, and a symbolic verifier. Each diagnosis is processed by shared rationale and feedback agents, isolating the effect of the initial diagnosis. The zero-shot detector achieves a macro-F1 of 0.191; fine-tuning raises this to 0.709 but retains systematic errors between structurally related classes. Rationales generally preserve the diagnosis supplied to them, showing that an incorrect diagnosis can be faithfully propagated through the pipeline. Feedback can likewise remain faithful to its rationale, non-revealing, and pedagogically appropriate while addressing the wrong error. Verifier-grounded feedback achieves the highest diagnostic correctness, and expert ratings largely uneven with the automatic feedback evaluations. These findings show that apparent feedback quality can conceal upstream diagnostic errors and that faithfulness must be evaluated separately from correctness. Our code is publicly available
Read the full abstract
Plasma Physics
Proton Heating Rates in the Inner Heliosphere: Helios Observations
Solar wind protons exhibit a temperature anisotropy that deviates from the double-adiabatic prediction, suggesting an additional energy source. To investigate solar wind heating mechanisms, we analyze Helios 1 and 2 data and characterize the radial evolution of the adiabatic invariants and anisotropic heating rates of fast wind protons, considering both the bulk population and its core and beam components separately. Unlike previous studies, we account for proton heat fluxes and deviations from the Parker spiral caused by large-amplitude fluctuations, which causes significant differences in the parallel heating rates compared to earlier results. Although earlier work has questioned the reliability of power laws to estimate heating rates and proposed as a more robust approach the investigation of the radial evolution of adiabatic invariants, we show that the two approaches yield consistent results when applied to the same dataset. Our analysis shows that all proton populations considered require net perpendicular heating, consistent with earlier studies. In contrast, the parallel energy evolution differs between populations. Core protons require parallel heating, whereas beam protons undergo parallel cooling although the total proton population undergoes a net parallel cooling. This behavior is consistent with the combined action of turbulence and core-beam kinetic instabilities, which together can drive preferential perpendicular heating while simultaneously produce parallel cooling in the fast solar wind. Core proton parallel heating could instead be a signature of Alfvén wave decay.
Read the full abstract
Category Theory
The category of nominal sets is locally monoidal closed
The category Nom of nominal sets was proposed by Pitts and Gabbay as a setting for the semantics of abstract syntax with variable bindings. It is well-known that Nom is a topos, also known as the Schanuel topos, and in particular it follows that Nom is locally closed, i.e., every slice category Nom/X is cartesian-closed. In this paper, we show that Nom has a much stronger property: every monoidal (closed) structure on Nom induces a monoidal (closed) structure on all slice categories Nom/X. One monoidal closed structure of particular interest on Nom is the separated product A * B, whose right adjoint A -* B is called the separated function space. In particular, it follows that Nom is locally separatedly closed.
Read the full abstract
Rings and Algebras
On the positive semidefinteness of a class of Hermitian Cauchy-like matrices
We establish the positive semidefiniteness of a class of Hermitian Cauchy-like matrices associated with real Hurwitz polynomials having distinct zeros. Writing the zeros as $-\lambda_1,\ldots,-\lambda_n$, the matrix entries are defined through ratios of elementary symmetric polynomials in the variables $\lambda_i$. The result extends an earlier positivity theorem obtained under the assumption that all zeros are real. We first show that the coefficients appearing in the denominators are nonzero, so that the matrices are well defined. We then construct an explicit congruence between each matrix and the solution of a Lyapunov equation whose state matrix is in companion form. Positive semidefiniteness follows from a recent result on such equations with entrywise nonnegative right-hand-side data. This approach establishes the extension to complex zeros through the connection between structured matrices and Lyapunov equations.
Read the full abstract
Computers and Society
AI-written admissions essays are widespread but penalized
AI is rapidly transforming higher education, including the application process, yet relatively little is known about its use and consequences. To help close this gap, we analyze nearly 7{,}500 applications submitted between 2020 and 2025 to a large public policy master's program in the United States. We find that in the 2025 admissions cycle, the majority of applicants submitted at least one essay that was primarily AI-generated—despite an explicit prohibition against using AI. Leveraging the abrupt introduction of ChatGPT in November 2022, we find that the availability of AI assistants improved the writing quality of submitted essays. These improvements, however, came with an apparent AI penalty: Applicants submitting AI-written essays were admitted less often than comparable non-users. To help explain this penalty, we conduct an experiment with admissions officers, finding that they can often recognize AI writing and rate essays they believe to be AI-generated lower than essays they believe to be human generated. These findings indicate that AI is changing both how applicants write and how that writing is evaluated, raising questions about whether admissions practices and policies designed for a pre-AI era remain appropriate.
Read the full abstract
Data Structures and Algorithms
The Nelson-Nguyen Conjecture via Mean-to-Moments Concentration
An oblivious subspace embedding (OSE) is a distribution over matrices that approximately preserves the squared Euclidean norm of every vector in any fixed low-dimensional subspace. We prove the Nelson-Nguyen conjecture: for every $0 < \delta < 1$, there exists a distribution that gives an OSE with embedding dimension $O((d + \log(1/\delta))/\varepsilon^2)$ and column sparsity $s = O(\log(d/\delta)/\varepsilon)$, with failure probability at most $\delta$. We first bound the mean spectral error using a trace-moment argument and then upgrade this bound to the desired high-probability guarantee using concentration and resampling. ChatGPT-5.6-Pro was used in proving and writing the results of this manuscript.
Read the full abstract
Machine Learning (Statistics)
When Pass@$k$ Crossovers Are Real - and Why: Paired Inference and the Markov Kernel of RLVR
Reinforcement learning with verifiable rewards (RLVR) typically improves pass@1 but can fall behind its base model at large sampling budgets $k$, commonly interpreted as sharpening existing solutions. Because adjacent pass@$k$ estimates reuse generations, pointwise error bars cannot establish a crossover. We formulate paired inference on the RL-minus-base difference curve: a prompt-level multiplier bootstrap yields a one-sided dominance test and simultaneous confidence bands requiring both an early gain and a later loss. Among nine public RLVR checkpoints at 3k-16k token limits, only one narrowly meets this criterion before multiplicity adjustment; asymmetric truncation can create, mask, or reverse crossovers. On 1,060 deduplicated competition problems at 32k tokens, two 1.5B models exhibit certified crossovers around $k\approx10$-$60$, while two 7B models show no supported loss. A paired variance decomposition shows why adding prompts improves power more than deeper sampling. Prompts with identical base success probability diverge after RLVR, with dispersion replicating across independent generation halves and violating Lipschitz slope bounds for reasonable deterministic maps. Modeling RLVR as a Markov kernel, Jensen's inequality shows that conditional dispersion depresses pass@$k$ for $k\ge2$. Once dispersion is modeled, the conditional-mean log-odds slope is below one in every pair: RLVR improves hard prompts on average, while late-$k$ loss comes from a 2%-3% minority of base-solved prompts collapsing onto a repeated modal wrong answer and resisting prefix rescue up to 4,096 tokens. In controlled runs from one base model on 3,000 new problems, all four GRPO arms fall behind near $k\approx200$ and remain behind through $k=4096$, while SFT stays significantly ahead throughout.
Read the full abstract
Systems and Control
Learning Control Policies from Heterogeneous Multi-Horizon Time Series in Battery Energy Management Systems
This paper introduces Representation-to-Decision (R2D), an end-to-end imitation learning framework that maps heterogeneous multi-horizon time-series inputs directly to battery control decisions through modular Temporal Feature Extractors (TFEs) and a shared latent representation, without an explicit load and PV forecasting step. While accurate forecasting improves prediction quality, optimal control performance remains unguaranteed in prediction-then-optimization pipelines; standard Reinforcement Learning (RL) lacks the long-horizon temporal awareness due to short-window observations, even when forecast signals are available as additional inputs. R2D offers a different perspective: rather than forecasting first and deciding second, it learns to decide directly from raw temporal inputs, with control optimality anchored by an aging-aware Mixed-Integer Linear Programming (MILP) expert through Behavior Cloning (BC). Benchmarked against six controllers on a high-fidelity electro-thermal battery simulation across five industrial sites, R2D achieves 62–77% of the global clairvoyant optimum, outperforms the tested Model Predictive Control (MPC) and RL benchmarks, and yields battery degradation nearly identical to its MILP teacher across all five sites. Comprehensive ablation studies over temporal backbone, model size, expert formulation, aging-cost weighting, and horizon configuration confirm that an LSTM encoder with a 15-minute single-step control horizon provides the most robust and deployment-ready configuration, and cross-site and single-factor out-of-distribution tests show that generalization to unseen profiles is profile-dependent, with policies trained on high-activity sites transferring most reliably.
Read the full abstract
Statistical Methodology
Adaptive online kernel changepoint detection
We propose an adaptive online kernel-based changepoint detection method for streaming data that is capable of detecting a broad range of changes in the underlying data distribution. The method maintains a recursively-weighted reproducing kernel Hilbert space representation of observations and adaptively updates the forgetting factor through a gradient-based procedure driven by a maximum mean discrepancy-type statistic between the current observation and the weighted empirical distribution of the past. This self-tuning mechanism allows the detector to adapt its effective memory and responsiveness to changes in the underlying process. Simulation results demonstrate that the proposed method achieves strong detection performance across a wide range of distributional changes. Further, our proposed approach maintains constant computational and storage cost through recursive updates, and is very computationally efficient in comparison to competing methods. Experiments on both simulated data and benchmark real-world datasets show improved performance over several other leading kernel-based methods.
Read the full abstract
Number Theory
Bad Reduction of Genus Two Curves with complex multiplication
We study genus two curves whose Jacobians have complex multiplication by a biquadratic CM field. In this setting the Jacobian decomposes as a product of two elliptic curves with complex multiplication by orders in the same imaginary quadratic field. We derive upper bounds for the primes of stable bad reduction of such curves in terms of the discriminants of the CM orders. To do so, we give an explicit description of principally polarized abelian surfaces with CM by a biquadratic field via small CM cycles on an orthogonal Shimura variety of signature (3,2). We use it to prove an arithmetic intersection formula between such CM cycles with Humbert surfaces in terms of coefficients of incoherent Eisenstein series and representation numbers of ternary positive definite quadratic forms. Finally, employing the arithmetic properties of higher Green functions, we show that primes of stable bad reduction always exist.
Read the full abstract
Astrophysics of Galaxies
The Deep Learning Halo Definer: A Multimodal Framework for Halo Mass and Gas Fraction Inference on Galaxy Groups and Clusters
Accurately inferring dark matter halo properties like the total halo mass (M_{halo}) and gas fractions (f_{gas}) remains particularly challenging at group scales, where low member counts, shallow potential wells, and AGN feedback-driven baryon expulsion introduce significant observational scatter. As large-scale surveys begin to provide unprecedented multi-wavelength data, there is a pressing need for methods that can jointly leverage diverse observables to overcome these uncertainties. We introduce the Deep Learning Halo Definer (DLHD), a multimodal deep learning framework that simultaneously processes galaxy catalogues and X-ray imaging through the combination of a Deep Sets and a Convolutional Neural Network (CNN) to improve M_{halo} and f_{gas} estimation for galaxy groups and clusters. Using mock datasets derived from the IllustrisTNG300 hydrodynamic simulation, we demonstrate that the DLHD outperforms each of its component networks individually, achieving RMSE improvements in M_{halo} of 1.9x over Deep Sets and 1.3x over the CNN alone. For the gas fraction enclosed within R_{200c}, DLHD reduces RMSE by 2.0x relative to Deep Sets and 1.1x relative to the CNN alone, with consistent improvements across other apertures. These results highlight a novel ability to leverage multi-band information inaccessible to single-modality methods, positioning DLHD as a promising tool for next-generation survey analyses.
Read the full abstract
Systems and Control
Communication Delay Robust Control of BESS for AI Training Load Smoothing
AI training loads can exhibit rapid power fluctuations because their power demand differs significantly between computational and communication phases, creating challenging ramp rates at the data center point of common coupling (PCC). Integrating battery energy storage systems (BESS) in data centers is a promising mitigation option. This paper proposes a hybrid BESS control strategy that combines droop-based grid-forming (GFM) control with instantaneous load current-based compensation to suppress high frequency load fluctuations. The GFM control loop regulates the long-term power exchange of the BESS, while the load-following control provides fast compensation for short-term AI workload fluctuations. Communication delay between the load current measurements and the BESS controller is explicitly modeled, and its impact on smoothing performance is analyzed. To mitigate delay-induced degradation, a predictor-based compensation method is incorporated into the BESS control structure. High-fidelity electromagnetic transient simulations are conducted to validate the proposed approach. Results demonstrate effective smoothing of AI training load fluctuations across different grid strength conditions and under time varying communication delays.
Read the full abstract
Statistical Mechanics
Intermittency in Wind-Driven Fires
We construct a wind-driven forest-fire model in one dimension in which a fire can jump gaps between trees to ignite disjoint downwind forests. The size of a gap that a fire can jump depends on the fire intensity, which increases as the fire propagates through trees and diminishes as the fire jumps gaps. Trees grow on empty sites at rate $r$ and lightning strikes each site with rate $f$. When $f\ll r/L$, where $L$ is the system length, lightning is sufficiently rare that quasi-deterministic dynamics arises where all trees are consumed when a lightning-induced fire occurs. For $f\gg L^{-\mu}$ with $\mu\approx 0.8$, lightning is sufficiently frequent that a steady state is reached, but with unexpected behaviors for the forest- and gap-size distributions. Intermittency arises in between these regimes, with coexisting temporal domains of deterministic and chaotic dynamics.
Read the full abstract
Optics
Ultrafast light-sheet optical tweezers for in situ parallelized biomechanical characterization of cells and soft tissues
Quantitative characterization of the mechanical properties of cells and tissues is essential for understanding disease progression and tissue regeneration. Optical tweezers (OT) enable the direct application of biologically relevant forces; however, OT has been limited to single axial indentations of cells, thereby restricting throughput. Furthermore, the use of quadrant photodiodes is insufficient for assessing the large displacements required for biomechanical characterization of tissues. We present light-sheet optical tweezers as a force transducer (LOFT), an approach that improves the throughput by at least 3x through simultaneous multiparticle trapping and parallelized characterization under sub-nN forces. LOFT is achieved by uniquely integrating light-sheet illumination for extended trapping, femtosecond-pulsed lasers to augment the optical gradient force, and videography-based particle tracking for observation of force transduction. The platform is validated through single-cell indentation experiments. We then apply LOFT to myocardial tissue, revealing significant biomechanical differences between healthy and infarcted regions; the interpretation of which is further supported by quantitative multiphoton imaging using the same optical source and platform. This work represents the first demonstration of OT for the mechanical testing of intact soft tissues, and establishes LOFT as a versatile, multifunctional platform for high-throughput, minimally invasive, mechanical characterization of complex biological systems in situ.
Read the full abstract
Cosmology and Nongalactic Astrophysics
Axio-Dilaton Dark Energy: A Dynamical Systems and Bayesian Inference Analysis
We initiate a systematic cosmological investigation of an axio-dilaton system governed by a curved field-space metric as generically motivated by supergravity and string compactifications. The scalar sector consists of a light scalar dilaton field evolving along an asymptotically exponential potential and a pseudoscalar field spanning an essentially flat direction, kinetically coupled through an exponential field-space metric. Deviations from the asymptotic regime are incorporated by introducing a generalised Albrecht-Skordis potential containing a polynomial factor. Utilising a dynamical systems approach alongside numerical evolution and Bayesian inference, we constrain the model using Type Ia Supernovae (SNe Ia), Baryon Acoustic Oscillations (BAO) and Planck 2018 distance-prior data. We identify a parameter degeneracy indicating that steeper potentials demand stronger field-space kinetic couplings to sustain late-time cosmic acceleration. Finally, a joint likelihood analysis reveals that while the model successfully accounts for dark energy dynamics, it is only slightly statistically favoured over $\Lambda$CDM by current observations.
Read the full abstract
Robotics
FRAMES: Failure Recovery And Monitoring of Embodied Skills for Humanoid Loco-Manipulation
Large language model (LLM) planners can decompose natural-language instructions and select reusable robot skills, but choosing the correct skill does not guarantee successful physical execution. This gap is especially important in humanoid loco-manipulation, where errors during approach, grasping, transport, or placement can invalidate the remainder of a long-horizon plan. We present FRAMES, a failure-aware supervisory framework for the Unitree G1 humanoid that operates above the CEER whole-body controller. A Planner Agent selects subtasks through parameterized mid-level skills, while a vision-language-model-based Monitor Agent evaluates each skill using temporal multi-view observations and structured robot and contact evidence. Detected failures stop the active skill and provide grounded feedback to a Recovery Agent. The framework further includes a Memory Module for reusing prior skill experience, and geometric grounding via depth and segmentation. We independently evaluate the monitoring module of the framework in MuJoCo using 100 trials comprising 50 failed and 50 successful executions across five tasks. The monitor detects 48 of 50 failures, correctly accepts 46 of 50 successful executions, and achieves 94.0% overall accuracy. These results provide initial evidence for the monitoring component, while end-to-end evaluation of the complete recovery loop remains ongoing.