Smoothing-Enabled Randomized Stochastic Gradient Schemes for Solving Nonconvex Nonsmooth Potential Games under Uncertainty

Cet article propose de nouveaux schémas de gradient stochastique randomisé, incluant des versions lissées et biaisées, pour résoudre efficacement des jeux potentiels stochastiques non convexes et non lisses sous incertitude, en démontrant leur convergence et leur complexité d'échantillonnage optimale sans recourir à des conditions de croissance ou de convexité locales restrictives.

Zhuoyu Xiao2026-03-09🔢 math

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis

Le papier présente StochasticBarrier.jl, une boîte à outils Julia open-source qui synthétise des fonctions barrières stochastiques pour la vérification de la sécurité des systèmes stochastiques discrets, surpassant les outils existants en termes de rapidité, de précision des bornes de probabilité et d'évolutivité grâce à des approches d'optimisation par sommes de carrés et par fonctions constantes par morceaux.

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

Quantum thermodynamics and semidefinite programming: regularization and algorithms

Cet article résout un problème de thermodynamique quantique à température positive en développant un cadre mathématique général pour les régularisations, en analysant la formulation duale inspirée du transport optimal non commutatif, et en abordant les aspects computationnels pour la tomographie d'état quantique et le transport optimal.

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

Cet article établit que, pour une densité de 1 de nombres premiers, le groupe de symétries associé aux équations de type Markoff agit de manière transitive sur la majorité des solutions modulo pp pour la plupart des paramètres, avec des applications significatives à la classification des orbites dans SL2(Fp)\text{SL}_2(\mathbb{F}_p) et aux algèbres de clusters généralisés.

Nathaniel Kingsbury-Neuschotz2026-03-09🔢 math

Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems

Cet article propose une approche basée sur les données pour la commande supervisée non bloquante des systèmes à événements discrets en introduisant et en formalisant le concept d'« informativité des données de marquage », tout en développant des algorithmes pour vérifier cette propriété et déterminer les sous-ensembles de spécifications réalisables lorsque les données initiales sont insuffisantes.

Yingying Liu, Kuma Fuchiwaki, Kai Cai2026-03-09🔢 math