arXiv preprints from January 1, 2026 through September 25, 2026 — 23:20:38 EST
While multimodal mobility systems have the potential to bring many benefits to travelers, drivers, the environment, and traffic congestion, such systems typically involve multiple non-cooperative decision-makers who may selfishly optimize their own objectives without considering the overall system benefits. This paper aims to...
Models trained on tabular data are widely used in sensitive domains, increasing the demand for explanation methods to meet transparency needs. CFIRE is a recent algorithm in this domain that constructs compact surrogate rule models from local explanations. While effective, CFIRE may assign rules associated with different classes to...
Large Language Models (LLMs) can produce verbalized self-explanations, yet prior studies suggest that such rationales may not reliably reflect the model's true decision process. We ask whether these explanations nevertheless help users predict model behavior, operationalized as counterfactual simulatability. Using StrategyQA, we...
Machine learning force fields (MLFFs) have revolutionized molecular simulations by providing quantum mechanical accuracy at the speed of molecular mechanical computations. However, a fundamental reliance of these models on fixed-cutoff architectures limits their applicability to macromolecular systems where long-range interactions...
We verify a conjecture proposed by X. Chen and Y. Shi, which arises from their study of the Green function on spheres in Euclidean space. More precisely, let $M\subset \mathbb{R}^3$ be a closed $C^{2}$ embedded surface and suppose that there exists a point $p\in M$ so that its Green function $G$ is of the form $G(p,q)=-\frac{1}{2π}...
We present a 19-day joint measurement of optical turbulence and coherent data communications over a 4.6 km urban FSO link, providing empirical insights into turbulence effects on the performance of fiber-coupled coherent communication systems.
The Mediterranean Sea is known for its limited tidal motions. For example, surface barotropic tidal elevations have an amplitude of 0.1 m in the Northwestern Mediterranean. Nevertheless, these small tides are noticeable in temperature records at the 2500-m deep seafloor, but only under near-homogeneous conditions when buoyancy...
Nanoparticles of plasmonic metals have significantly to the development of spectroscopic techniques, enabling strong confinement of electromagnetic fields at the nanoscale and corresponding signal amplification. However, to date, plasmonic applications have been limited mainly to the visible and near-infrared range, as materials...
Chain-of-Thought (CoT) prompting has significantly enhanced the mathematical reasoning capabilities of Large Language Models. We find existing fine-tuning datasets frequently suffer from the "answer right but reasoning wrong" probelm, where correct final answers are derived from hallucinated, redundant, or logically invalid...
Proof engineering is notoriously labor-intensive: proofs that are straightforward on paper often require lengthy scripts in theorem provers. Recent advances in large language models (LLMs) create new opportunities for proof automation: modern LLMs not only generate proof scripts, but also support agentic behavior, exploring codebases...
This work addresses the output consensus problem of constrained heterogeneous multi-agent systems under a switching network with potential communication delays, where outputs are periodic and characterized by an exosystem. Since periodic references have more complex dynamics, it is more challenging to track periodic references and...
We exhibit the symmetric monoidal $\infty$-category $\mathrm{GrCob}$ of graph cobordisms between spaces as a full $\infty$-subcategory of the $\infty$-category $\mathrm{Psh}(\mathrm{Gr})$ of presheaves over $\mathrm{Gr}$, where $\mathrm{Gr}$ is the symmetric monoidal $\infty$-category of graph cobordisms between finite sets. We also...
Signal amplification by reversible exchange (SABRE) is a nuclear spin hyperpolarization technique in which the transient interaction of parahydrogen (pH2) and a target substrate with an iridium complex leads to polarization transfer to the substrate. Here, we use a parahydrogen-enhanced, spin-selective NMR method to investigate...
We analyze neural scaling laws in a solvable model of last-layer fine-tuning where targets have intrinsic, instance-heterogeneous difficulty. In our Latent Instance Difficulty (LID) model, each input's target variance is governed by a latent ``precision'' drawn from a heavy-tailed distribution. While generalization loss recovers...
We propose a novel many-body truncation for Gorkov self-consistent Green's function (SCGF) theory where pairing correlations are handled at first order, while dynamical correlations are described using the particle-number-conserving Dyson-SCGF scheme up to third order in the algebraic diagrammatic construction. The new method is...
We carry out a semantic study of the constructive modal logic CK. We provide a categorical duality linking the algebraic and birelational semantics of the logic. We then use this to prove Sahlqvist style correspondence and completeness results, as well as a Goldblatt-Thomason style theorem on definability of classes of frames.
Freed (arXiv:hep-th/9712042) formulated special Kähler structures; in particular, the regular locus of the $\mathrm{SL}_2(\mathbb{C})$ Hitchin base $\mathcal{B}$ carries such a structure, while the associated metric $ω_{\mathrm{SK}}$ is singular along the discriminant locus $\mathcal{D}$. Baraglia-Huang (arXiv:1707.04975) computed its...
We propose an extension of Markov-switching generalized additive models for location, scale, and shape (MS-GAMLSS) that allows covariates to influence not only the parameters of the state-dependent distributions but also the state transition probabilities. Traditional MS-GAMLSS, which combine distributional regression with hidden...
We consider the well-known max-(relative) entropy problem $Θ$(y) = infQ$\ll$P DKL(Q P ) with Kullback-Leibler divergence on a domain $Ω$ $\subset$ R d , and with ''moment'' constraints h dQ = y, y $\in$ R m . We show that when m $\le$ d, $Θ$ is the Cram{é}r transform of a function v that solves a simply related computational geometry...
We present a multiband (UBVRI) time-series photometric study of RR Lyrae (RRL) stars in the globular cluster Messier 53 (NGC 5024) to refine their pulsation properties and determine a precise cluster distance. The archival photometric data includes images taken over 22 years and 3 months using different optical telescopes, providing...
Resource management is one of the challenges in satellite networks due to their high mobility, wide coverage, long propagation distances, and stringent constraints on energy, communication, and computation resources. Traditional resource allocation approaches rely only on hard and rigid system performance metrics. Meanwhile, incentive...
The Property P Conjecture, which was settled by Kronheimer and Mrowka, asserts that every $3$--manifold obtained by non-trivial Dehn surgery on a non-trivial knot is never simply connected. We propose new perspectives in studying Dehn filling from group theoretic point of view, which stem from several variation of the Property P conjecture.
In the present work, we establish space Bounded Variation $(BV)$ regularity of the solution for a non-linear parabolic partial differential equations involving a linear drift term. We study the problem in a bounded domain with mixed Dirichlet-Neumann boundary conditions, a general non-linearity and reasonable assumptions on the data....
This paper presents a GPU-accelerated framework for solving block tridiagonal linear systems that arise naturally in numerous real-time applications across engineering and scientific computing. Through a multi-stage permutation strategy based on nested dissection, we reduce the computational complexity from $\mathcal{O}(Nn^3)$ for...
Weather forecasts sit upstream of high-stakes decisions in domains such as grid operations, aviation, agriculture, and emergency response. Yet forecast users often face a difficult trade-off. Many decision-relevant targets are functionals of the atmospheric state variables, such as extrema, accumulations, and threshold exceedances,...