2122 papers
This paper introduces a specific multi-sorted expansion of abelian lattice-ordered groups, equivalent to equipping them with a spectral subspace, and proves that this structure admits a model companion that is complete and possesses quantifier elimination.
This paper proposes a categorical framework for convex optimization by defining a category where optimization problems are objects, utilizing this structure to rederive key results such as a minimax-type theorem and the involution property of the Legendre dual.
This paper introduces a change-of-base construction using symmetric monoidal monads on Markov categories to extend symmetric monoidal categories of open systems, such as design problems, into 2-categories that compositionaly model various types of uncertainty while preserving their underlying structural properties.
This paper presents and proves the correctness of an algorithm that automates critical pair analysis for string diagram rewriting in symmetric monoidal categories (without Frobenius structure) by enumerating all critical pairs through concrete hypergraph manipulation.
This paper summarizes a memorial session held at the FFCS conference in Braunschweig honoring Dr. Vladimir Sidorenko (1949–2025), celebrating his profound scientific contributions to coding theory, cryptography, and quantum error correction alongside his cherished personal qualities of mentorship, humor, and generosity.
This paper proves Bialy's conjecture by demonstrating that two ellipses are identical if their Mather beta functions coincide at one or two nonzero rotation numbers (with the latter condition requiring equal perimeters for a single rotation number), and discusses the implications of this result for local extremizers of the beta function.
This paper establishes that rank-two Drinfeld modules with a specific -structure are isomorphic to their Taguchi duals, a result that enables the derivation of a dual Kodaira–Spencer isomorphism for the Hodge bundle on the corresponding Drinfeld modular curve.
This paper establishes that complex Hénon maps of a fixed degree are determined up to finitely many choices by their multiplier spectra, extending McMullen's classical rigidity theorem to higher dimensions by proving the nonexistence of stable algebraic families through precise asymptotic bounds on Lyapunov exponents.
This paper proposes a stochastic alternating direction method of multipliers (ADMM) for nonsmooth composite convex optimization in Hilbert spaces, proving its strong convergence and establishing faster nonergodic convergence rates for both strongly and general convex cases, with applications demonstrated in PDE-constrained problems with random coefficients.
This paper proves and numerically validates that tensor-product -finite element approximations for the Dirichlet integral fractional Laplacian on a 3D cuboid with analytic forcing achieve root exponential convergence in the energy norm, specifically bounded by , by leveraging analytic regularity in weighted Sobolev spaces and geometrically refined meshes.
This paper establishes that for a compact Lie group and sufficiently large rank , the dynamics of the automorphism group acting on the representation space exhibit algebraic rigidity, where orbit closures and invariant probability measures are algebraic in nature, analogous to Ratner's theorems.
This paper establishes a pointwise geometric description of nonlinear Lebesgue spaces, including their length structure, curvature bounds, and speed definitions for absolutely continuous curves, by first proving a nonlinear Fubini–Lebesgue theorem that identifies L^p curves with mappings into the space of L^p curves.
This paper introduces mollified Christoffel-Darboux kernels on algebraic varieties to achieve a uniform boundedness property on the support and enable consistent, quantitatively controlled density recovery from moment data without prior knowledge of the equilibrium measure.
This paper identifies three necessary conditions for the existence of acyclic T-odd orientations, defines and characterizes polynomial graph classes where these conditions are sufficient, and provides constructive polynomial-time algorithms to build such orientations for these classes and their Cartesian products.
This paper introduces the concept of semi-rigidity for stable sheaves on smooth polarized varieties to characterize the existence of stable deformations of direct sums, providing a criterion based on the Yoneda pairing and applying it to line bundles on projective varieties and Lagrangian subvarieties of hyper-Kähler manifolds.
This paper presents an integer linear programming model to formalize the rules of the Nikoli puzzle Evolomino and introduces an algorithm for generating unique instances, demonstrating that state-of-the-art solvers can efficiently solve grids up to 18x18.
This paper establishes uniform concentration inequalities for random matrices with -subexponential tails (), extending optimal subgaussian results to heavier-tailed distributions and providing new guarantees for robust high-dimensional inference and dimension reduction.
This paper determines the homotopy type of the moment-angle complex associated with the complex of injective words by showing it is governed by the complex's -vector and establishes a generalized homotopy fibration for polyhedral products over ordered simplicial complexes.
This paper investigates linear-quadratic Dirichlet control problems governed by non-coercive elliptic equations on non-convex polygonal domains using energy regularization, establishing solution regularity in weighted Sobolev spaces and deriving optimal error estimates for finite element discretizations that employ graded meshes and a specialized discrete projection.
This paper establishes conditional stability for the backward problem of degenerate viscous Hamilton-Jacobi equations with general non-quadratic Hamiltonians using Carleman estimates and linearization, and proposes numerical identification algorithms based on the adjoint state method and Van Cittert iteration, validated by numerical tests.