arXiv preprints from January 1, 2026 through September 23, 2026 — 06:26:46 EST
This paper captures and extends some of the core results from the tech memo "A New Semantics for Belief Revision in Simplicial Complexes". As such, we set out to explore the implementation of action models in the setting of simplicial semantics for modal logic. Such an idea is not entirely new to the literature, showing up in both "A...
The only Einstein metrics currently known on complex projective spaces are homogeneous: the Fubini-Study metric, arising via the Hopf fibration; and, in odd complex dimensions, Ziller's metric, obtained as a canonical variation along the twistor fibration over the quaternionic projective space. In 1965, Berger proved that the...
For any convex body $\mathcal{K}\subset\mathbb{R}^{n}$ containing a unit ball, the spectral gap of Hit-and-Run is $Ω(1/(n^2 C_{\mathsf{PI}}))$, where $C_{\mathsf{PI}}$ is the Poincaré constant of the uniform distribution $π$ over $\mathcal{K}$. This implies that Hit-and-Run converges to a distribution within $χ^2$-divergence...
There are several non-equivalent notions of infinitesimal symmetry in the literature of second order linear differential equations: Lie point symmetries, vertical (gauge) symmetries, operator symmetries, infinitesimal contact symmetries, and Lie--Bäcklund operators. We construct an explicit correspondence among the first three, We...
We propose a three-terminal thermal amplifier based on a Sierpiski-gasket Aharonov-Bohm interferometer, where the third (base) terminal is realized as a floating Buttiker probe that acts as an engineered dissipative reservoir, exchanging energy with the conductor while carrying no net charge current. Using the nonequilibrium Green's...
We introduce Automatic Symbolic Regression (AutoSR), a fully automated system that instantiates Research-Space Symbolic Regression by searching persistent scientific investigations rather than isolated equations. Finite, noisy data often yield numerically competitive expressions that imply very different behavior outside the observed...
A fundamental open question in hadron spectroscopy is whether the radial excitation ladder of quarkonia truncates at a finite level---a possibility that would challenge the conventional quark-antiquark bound-state picture and offer decisive clues to the nonperturbative strong interaction. Taking advantage of the newly observed...
Colloidal gels are frequently modeled as monodisperse particle networks, although practical formulations commonly contain particles with multiple characteristic sizes. Here, we use large-scale, hydrodynamically resolved simulations of colloidal depletion gels to isolate the effects of particle size and local packing in bimodal systems...
High-fidelity finite-element simulations can provide accurate numerical predictions for side-branch resonators, but large simulation datasets are expensive to generate and purely data-driven surrogates may become unreliable when simulation-labelled data are scarce. This study develops an analytical-prior learning framework that reuses...
Offline evaluation is a major gateway before online evaluation of ranking models in A/B testing. Standard offline metrics measure predictive accuracy, but are only a surrogate for downstream utility: a model can improve them while redistributing impressions across objective buckets in ways that degrade downstream utility. No offline...
Electrophysiological brain signals are typically acquired through indirect and noisy measurements, providing transformed representations of the underlying neural activity. Source reconstruction---the inverse problem of resolving underlying neural signals from these measurements---is essential for mapping brain function but remains...
Accurate classification of circulating tumor cell (CTC) phenotypes can provide valuable information for assessing metastatic potential. Label free microfluidic devices provide a hydrodynamic obstacle course that transforms subtle biophysical characteristics of CTCs, including size and deformability, into distinct kinematic...
This article surveys emerging directions in the mathematics of democracy. It uses three case studies --- voting theory, participatory budgeting, and deliberative democracy --- to highlight how contemporary challenges motivate rigorous mathematical research that incorporates real-world data, institutional constraints, and...
A language model's output does not by itself provide verifiable evidence about the internal computation that produced it. We study computational provenance: whether generated text can carry detectable evidence of which causally relevant internal state occurred. We test a bounded form of this idea in two controlled architectures: a...
When parallel trends fails for some treated cohorts but not others, the average treatment effect on the treated (ATT), an average over all of them, is exactly the target that becomes hard to recover. We propose changing the estimand rather than defending it. The credible-subpopulation local ATT (LATT) is the effect for the...
This paper investigates a movable-element simultaneously transmitting and reflecting reconfigurable intelligent surface (ME-STARS) assisted rate-splitting multiple access (RSMA) system under imperfect channel state information (CSI). Unlike conventional STARS with fixed element positions, the elements of ME-STARS can be repositioned...
There is a well-known circle of conjectures relating unitary solutions of the Yang--Baxter equation, unitary braided fusion categories, topological quantum computation, and link invariants. Progress is limited by the lack of a classification of unitary Yang--Baxter operators. We propose a conjectural classification with three...
Laser-matter interaction at relativistic intensities is central to almost every scientific case for multi-PW laser facilities. In particular, the progress in laser-driven ion acceleration brings this interaction closer to multiple applications, ranging from material science to biomedical research. One of the most important questions...
A convective surface renewal explanation for ingassing of hydrogen from H2-rich envelopes into molten cores of growing planets is presented, with particular application to sub-Neptunes. The ingassing of hydrogen occurs at a moving front comprising the upper boundary of the magma ocean that engulfs hydrogen from the envelope above as...
Deep photometry of Galactic star clusters provides one of the most powerful tools for determining their physical properties. In particular, in low Galactic latitude regions that suffer from heavy extinction and crowding. NGC2437 is the most extended star cluster in the near-IR footprint of the VVV Extended Survey (VVVX), covering more...
Non-Hermitian lattice Hamiltonians generally exhibit strong boundary sensitivity, with periodic and open boundary conditions producing distinct density of states (DOS) in the complex-energy plane. This has led to the view that extended non-Hermitian systems lack a unique bulk DOS, with different prescriptions representing inequivalent...
Twisted transition metal dichalcogenides offer an exceptionally tunable moiré platform for studying correlation physics beyond conventional condensed matter systems. In particular, the intriguing interplay between the displacement field and the twist angle remains to be fully resolved. In this paper, we use large-scale density matrix...
Measurement and feedback jointly prepare coherence and select finite-time dynamics in quantum information engines. Complementing a companion experimental realization, we develop a mechanism-resolved theory of the resulting work statistics and temporal correlations. The con?ditional work separates into population transfer and a...
The Berry phase of an isolated electronic state is evaluated for different integration paths in reciprocal space, thanks to Riemann-Bloch states providing a consistent description in the whole Brillouin zone. The relationship with the bounded position operator is investigated for the open-path Berry phase and with different form...
Theoretical arguments have for decades anticipated substantial weakening of tropical convection as the surface warms, yet convection-resolving models show no robust change in column-integrated convective mass transport and an increase in transported volume. Here we reconcile this apparent discrepancy by demonstrating that the two main...