StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis

StochasticBarrier.jl is an open-source Julia toolbox that efficiently synthesizes Stochastic Barrier Functions for verifying the safety of discrete-time stochastic systems using Sum-of-Squares and piecewise constant optimization methods, demonstrating superior speed, scalability, and safety bounds compared to state-of-the-art tools across over 30 case studies.

Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian2026-03-09🔢 math

Quantum thermodynamics and semidefinite programming: regularization and algorithms

This paper establishes a general mathematical framework for variational problems in quantum thermodynamics with measurement constraints, leveraging non-commutative optimal transport to analyze dual formulations and zero-temperature limits while tailoring the approach to quantum state tomography and developing convergent computational algorithms.

Emanuele Caputo, Augusto Gerolin, Nataliia Monina, Pavlo Pelikh, Lorenzo Portinale2026-03-09🔢 math

Strong Approximation for the Character Variety of the Four-Times Punctured Sphere

This paper establishes that for most parameter sets, the symmetry group of Markoff-type equations acts transitively on the majority of solutions modulo pp for a density one set of primes, with specific applications proving near-complete transitivity results for the QQ-classification conjecture in SL2(Fp)\text{SL}_2(\mathbb{F}_p) and for solutions arising from generalized cluster algebras.

Nathaniel Kingsbury-Neuschotz2026-03-09🔢 math

Reductification of parahoric group schemes

This paper demonstrates that any parahoric group scheme over a henselian discretely valued field becomes reductive after a finite Galois extension, allowing it to be recovered as the smoothening of Galois invariants of a reductive model, a result that extends prior work to the wildly ramified case and confirms the Grothendieck–Serre conjecture for generically trivial parahoric torsors in sufficiently good residue characteristics.

Arnab Kundu2026-03-09🔢 math