StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis

El artículo presenta StochasticBarrier.jl, una caja de herramientas de código abierto en Julia que sintetiza funciones de barrera estocásticas para la verificación de seguridad de sistemas estocásticos discretos mediante optimización SOS y métodos PWC, demostrando un rendimiento superior en velocidad, precisión y escalabilidad frente a las herramientas existentes.

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

Quantum thermodynamics and semidefinite programming: regularization and algorithms

Este artículo presenta un marco matemático general basado en la programación semidefinida y el transporte óptimo no conmutativo para resolver problemas variacionales en termodinámica cuántica a temperatura positiva, abordando tanto la regularización y el comportamiento en el límite de cero temperatura como su aplicación a la tomografía de estados y algoritmos computacionales.

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

Semistable intrinsic reduction loci for the iterations of non-archimedean quadratic rational functions

Este artículo introduce una noción de semiestabilidad para las reducciones intrínsecas de funciones racionales no arquimedianas y determina los loci de semiestabilidad para las iteraciones de funciones cuadráticas mediante una fórmula de pendiente para el resultante hiperbólico, estableciendo una estacionariedad precisa análoga a la observada en la dinámica polinómica.

Yûsuke Okuyama2026-03-09🔢 math

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

Este artículo demuestra que, para la mayoría de los parámetros y un conjunto de densidad uno de primos, el grupo de simetrías asociado a ecuaciones tipo Markoff actúa transitivamente sobre la mayor parte de las soluciones en Fp\mathbb{F}_p, con desviaciones limitadas a órbitas finitas o grandes, lo cual tiene implicaciones significativas para la clasificación de subgrupos en SL2(Fp)\text{SL}_2(\mathbb{F}_p) y el estudio de álgebras de clúster generalizadas.

Nathaniel Kingsbury-Neuschotz2026-03-09🔢 math

Sobolev regularity of the symmetric gradient of solutions to a class of ϕ\phi-Laplacian systems

El artículo establece la regularidad de Sobolev del gradiente simétrico de las soluciones débiles a un sistema tipo ϕ\phi-Laplaciano con crecimiento no lineal, demostrando que dicho gradiente pertenece a un espacio de Orlicz-Sobolev adecuado bajo la hipótesis de que el término de fuerza se encuentra en un espacio similar, logrando este resultado mediante estimaciones de diferenciabilidad superior uniforme para problemas aproximados.

Flavia Giannetti, Antonia Passarelli di Napoli2026-03-09🔢 math