Proof by Mechanization: Cubic Diophantine Equation Satisfiability is Σ10Σ^0_1-Complete

This paper establishes the Σ10\Sigma^0_1-completeness and undecidability of satisfiability for single cubic Diophantine equations over natural numbers by constructing a uniform primitive recursive compiler that translates arithmetic provability into cubic constraints, ultimately yielding a single explicit universal cubic polynomial verified via mechanization in Rocq.

Milan Rosko2026-03-09🔢 math

Data-Driven Bed Capacity Planning Using Mt/Gt/M_t/G_t/\infty Queueing Models with an Application to Neonatal Intensive Care Units

This paper proposes a data-driven framework using time-varying Mt/Gt/M_t/G_t/\infty queueing models to improve long-term ICU capacity planning by capturing fluctuating admission rates and heterogeneous length-of-stay distributions, demonstrating that static heuristics like the 85% occupancy rule are inadequate for managing real-world demand variability in neonatal intensive care units.

Maryam Akbari-Moghaddam, Douglas G. Down, Na Li, Catherine Eastwood, Ayman Abou Mehrem, Alexandra Howlett2026-03-09🔢 math

Non-Monotone Traveling Waves of the Weak Competition Lotka-Volterra System

This paper establishes the existence of traveling wave solutions, including non-monotone waves and front-pulse waves, for the two-species weak competition Lotka-Volterra system across all wave speeds sss \geq s^*, with a rigorous proof for the critical speed case and the first-time demonstration of front-pulse waves in the critical weak competition regime.

Chiun-Chuan Chen, Ting-Yang Hsiao, Shun-Chieh Wang2026-03-09🔢 math

Mosco-convergence of Cheeger energies on varying spaces satisfying curvature dimension conditions

This paper establishes the Mosco-convergence of Cheeger energies on Gromov-Hausdorff converging spaces satisfying curvature-dimension conditions by employing a Lagrangian approach that combines Wasserstein geodesic stability with nonsmooth calculus duality, thereby ensuring the continuity of Neumann eigenvalues even in infinite-dimensional settings.

Francesco Nobili, Federico Renzi, Federico Vitillaro2026-03-09🔢 math

Gibbs polystability of Fano manifolds, stability thresholds and symmetry breaking

This paper extends the probabilistic construction of Kähler-Einstein metrics to Fano manifolds with non-discrete automorphism groups by introducing Gibbs polystability and symmetry-breaking via moment map constraints, conjecturing its equivalence to metric existence and the emergence of unique metrics in the large-N limit, while proving these results for log Fano curves and deriving a strengthened logarithmic Hardy-Littlewood-Sobolev inequality with optimal stability constants.

Rolf Andreasson, Robert J. Berman, Ludvig Svensson2026-03-09🔢 math

On the Tail Transition of First Arrival Position Channels: From Cauchy to Exponential Decay

This paper characterizes the transition of first arrival position channel noise from heavy-tailed Cauchy to exponentially decaying distributions under nonzero drift, identifying a characteristic propagation distance that delineates diffusion-dominated and drift-dominated regimes while demonstrating that Gaussian approximations fail to capture communication potential in low-drift environments.

Yen-Chi Lee2026-03-09🔢 math

Equi-integrable approximation of Sobolev mappings between manifolds

This paper establishes that limits of sequences of smooth maps between compact Riemannian manifolds with equi-integrable W1,pW^{1, p}-Sobolev energy can always be strongly approximated by smooth maps, thereby extending Hang's density result to integer p2p \ge 2 and providing proofs for higher-order and fractional Sobolev spaces as well as cases governed by the Bethuel-Demengel-Colon-Hélein cohomological criterion.

Jean Van Schaftingen2026-03-09🔢 math

A no-go theorem for irreversibility along single-branch collapse dynamics

This paper proves that for finite-dimensional quantum systems undergoing single-branch collapse dynamics without information erasure, operational irreversibility is structurally impossible because every physically admissible collapse selector contains a forward-invariant subset of states that can be connected with arbitrarily high precision and negligible energy cost, thereby establishing islands of quasi-reversibility.

A. Della Corte, L. Guglielmi, M. Farotti2026-03-09🔢 math