Composable Uncertainty in Symmetric Monoidal Categories for Design Problems

Este trabajo integra la incertidumbre en el estudio de sistemas abiertos mediante la construcción de un 2-categoría simétrica monoidal de problemas de diseño parametrizados, utilizando categorías de Markov y monadas para permitir un enfoque composicional que abarca desde la optimización hasta el aprendizaje bayesiano.

Marius Furter (University of Zurich), Yujun Huang (Massachusetts Institute of Technology), Gioele Zardini (Massachusetts Institute of Technology)Wed, 11 Ma🔢 math

A Critical Pair Enumeration Algorithm for String Diagram Rewriting

Este trabajo presenta y demuestra la corrección de un algoritmo automatizado que enumera exhaustivamente todos los pares críticos en sistemas de reescritura de diagramas de cadenas dentro de categorías monoidales simétricas sin estructura de Frobenius, utilizando la manipulación concreta de hipergrafos.

Anna Matsui (Johns Hopkins University, USA), Innocent Obi (University of Washington, USA), Guillaume Sabbagh (University of Technology of Compiègne, France), Leo Torres (Universidad Nacional de Còrdoba, Argentina), Diana Kessler (Tallinn University of Technology, Estonia), Juan F. Meleiro (University of São Paulo, Brazil), Koko Muroya (National Institute of Informatics, Japan,Ochanomizu University, Japan)Wed, 11 Ma🔢 math

Faster Stochastic ADMM for Nonsmooth Composite Convex Optimization in Hilbert Space

Este artículo propone un método estocástico de multiplicadores de dirección alternada (ADMM) en espacios de Hilbert para problemas de optimización convexa compuesta no suave, demostrando su convergencia fuerte y tasas de convergencia no ergódicas aceleradas, así como su eficacia en aplicaciones relacionadas con ecuaciones diferenciales parciales con coeficientes aleatorios.

Weihua Deng, Haiming Song, Hao Wang, Jinda YangWed, 11 Ma🔢 math

Exponential Convergence of hphp-FEM for the Integral Fractional Laplacian on cuboids

El artículo demuestra la convergencia exponencial de las aproximaciones hphp-FEM de elementos finitos para el Laplaciano fraccional integral en un cubo (0,1)3(0,1)^3 con datos analíticos, estableciendo un límite de error en la norma de energía proporcional a exp(bN6)\exp(-b\sqrt[6]{N}) mediante el uso de mallas tensoriales geométricamente refinadas y estimaciones de regularidad en espacios de Sobolev ponderados.

Björn Bahr, Markus Faustmann, Carlo Marcati, Jens Markus Melenk, Christoph SchwabWed, 11 Ma🔢 math

Rigidity of the dynamics of Aut(Fn){{\rm Aut}}({\mathsf{F}}_n) on representations into a compact group

El artículo demuestra que, para un grupo de Lie compacto GG y un rango nn suficientemente grande, la dinámica del grupo de automorfismos del grupo libre Aut(Fn){\rm Aut}({\mathsf{F}}_n) sobre el espacio de representaciones Hom(Fn;G){\mathsf{Hom}}({\mathsf{F}}_n;G) se estabiliza, de modo que el cierre de las órbitas y las medidas de probabilidad invariantes son de naturaleza algebraica, análogo a los teoremas de Ratner.

Serge Cantat (IRMAR), Christophe Dupont (IRMAR), Florestan Martin-Baillon (MPI-MiS)Wed, 11 Ma🔢 math

Nonlinear Lebesgue spaces: Curves and geometry

Este artículo, segunda parte de una serie sobre espacios de Lebesgue no lineales, formaliza la descripción puntual de sus propiedades geométricas —como la estructura de longitud, los límites de curvatura de Alexandrov y la definición de velocidad para curvas absolutamente continuas— mediante la demostración de un análogo no lineal del teorema de Fubini-Lebesgue que permite identificar las curvas en estos espacios con aplicaciones a valores en espacios de curvas.

Guillaume Sérieys (MAP5)Wed, 11 Ma🔢 math

Mollified Christoffel-Darboux Kernels and Density Recovery on Varieties

Este artículo introduce los núcleos de Christoffel-Darboux suavizados en variedades como una regularización sistemática que permite recuperar densidades a partir de datos de momentos con tasas de convergencia controladas y una dicotomía mejorada entre el soporte y su complemento, sin necesidad de conocer la medida de equilibrio subyacente.

Leandro Bentancur (CMAT, IFUMI), Didier Henrion (LAAS-POP, IFUMI), Mauricio Velasco (CMAT, IFUMI)Wed, 11 Ma🔢 math

Some polynomial classes for the acyclic orientation with parity constraint problem

Este artículo identifica tres condiciones necesarias para la existencia de orientaciones acíclicas con paridad de grado entrante restringida, define y clasifica familias polinómicas de grafos donde dichas condiciones son suficientes, y proporciona algoritmos constructivos de tiempo polinomial para resolver el problema en dichas clases, incluyendo productos cartesianos de caminos y ciclos.

Sylvain Gravier (IF, SFR MAM), Matthieu Petiteau (IF, SFR MAM), Isabelle Sivignon (GIPSA-GAIA, SFR MAM)Wed, 11 Ma🔢 math

Semi-rigid stable sheaves: a criterion and examples

Inspirándose en el trabajo de Mukai sobre superficies K3, este artículo introduce y estudia la noción de semirigidez para haces estables en variedades polarizadas, estableciendo un criterio basado en la ausencia de elementos descomponibles en el núcleo del emparejamiento de Yoneda y aplicándolo a fibrados lineales en variedades proyectivas y en subvariedades lagrangianas de variedades hiperkähler.

Alessio Bottini, Riccardo CariniWed, 11 Ma🔢 math

Dirichlet control problems with energy regularization governed by non-coercive elliptic equations

Este estudio analiza un problema de control lineal-cuadrático de Dirichlet gobernado por una ecuación elíptica no coerciva en dominios poligonales no convexos, estableciendo regularidad en espacios de Sobolev ponderados y demostrando estimaciones de error óptimas mediante el uso de mallas graduadas y una proyección discreta en H1/2(Γ)H^{1/2}(\Gamma) con regularización de Tikhonov en la seminorma de energía.

Thomas Apel, Mariano Mateos, Arnd RöschWed, 11 Ma🔢 math

Backward problem for a degenerate viscous Hamilton-Jacobi equation: stability and numerical identification

Este trabajo analiza la estabilidad condicional y la identificación numérica del problema inverso para una ecuación de Hamilton-Jacobi viscosa degenerada con un Hamiltoniano general, utilizando estimaciones de Carleman, técnicas de linealización y algoritmos de optimización como el gradiente conjugado y la iteración de Van Cittert.

S. E. Chorfi, A. Habbal, M. Jahid, L. Maniar, A. RatnaniWed, 11 Ma🔢 math