arXiv preprints from January 1, 2026 through September 5, 2026 — 06:20:23 EST
We develop a geometric framework for implicit discrete Hamiltonian systems based on discrete Morse families, Lagrangian relations, and discrete analogues of Tulczyjew's triple. The main idea is to regard the Lagrangian submanifold defining the discrete dynamics, rather than an explicit symplectic evolution map, as the fundamental...
We improve a result of Hickman and Srivastava, which gives upper and lower bounds for the number of integral points which lie within a neighborhood of a smooth non-degenerate curve in $ \mathbb{R}^n $ for $ n \geq 3 $. Through more refined calculations, we have unleashed the great potential of the method in their work. Our improvement...
Tensor representations have emerged as a fundamental paradigm for modeling multidimensional data by preserving intrinsic correlations across multiple modes. This paper proposes a novel theoretical framework, termed Tensor Orthogonal Subspace Split (TOSS), which explicitly splits a tensor, along a prescribed mode, into two orthogonal...
In this paper, we study the generalized $L$-function considered by Berndt (1975). We introduce the generalized Apostol-Bernoulli polynomials and the generalized Apostol-Bernoulli functions, and establish some properties for them, including the Fourier series for these functions. We show that the values of Berndt's generalized...
Gélinas introduced the delooping level of an Artin algebra as a homological invariant that bounds the big finitistic dimension of the opposite algebra. A natural question is whether such invariants are preserved under derived equivalences. Chen recently showed that the finiteness of the classical delooping level and its sub-derived...
The problem of sampling from a probability distribution arises in many applications such as posterior sampling in hierarchical Bayesian inverse problems and Gaussian processes for machine learning. Markov chain Monte Carlo (MCMC) algorithms are often used for sampling from a target probability distribution, but implementations can be...
In the framework of network dynamics, learning models, and neural tangent kernels (NTK), we show that the corresponding linearized dynamics leads naturally to a semigroup formulation. More precisely, in our analysis of input/output models, the time-dynamics is presented via special semigroups of linear operators on Hilbert spaces,...
The Maximum Entropy on the Mean (MEM) method provides a flexible computational framework for solving inverse problems by combining data fidelity with entropy-based regularization. In practice, however, the prior distribution is typically unknown but can be estimated from data, giving rise to the empirical MEM method. We establish a...
We introduce a notion of continuity equation on metric spaces that is capable of describing curves of probability measures which are absolutely continuous, and more generally of bounded variation (BV), with respect to the 1-Wasserstein distance. This continuity equation is based on a notion of measure-valued derivations, whose basic...
We prove a formula for the linear coefficient of the Ehrhart polynomial in terms of the Tutte polynomial. Furthermore, we characterize the matroids that extremize this Ehrhart coefficient, proving a conjecture of Ferroni.
We derive necessary conditions for instantaneous dynamo action for rotating convection. A magnetohydrodynamic model is considered in two settings: the rapidly rotating plane layer where inertia and viscosity are absent, and at an arbitrary rotation rate where viscosity is finite. In contrast to kinematic dynamo bounds, the evolution...
We investigate the role of quartic terms in the small-time local controllability of scalar-input systems. First, we prove a new sufficient condition for controllability, which exploits simultaneously more good quartic Lie brackets than previous results. Second, we identify a family of quartic obstructions to controllability, relying...
For a vertex operator algebra $V$ and a suitable category of its modules, we propose a construction for spaces of conformal blocks organized into an open-closed modular functor with singularities. This is inspired by the idea of implementing directly from the start the principle of holomorphic factorization. More precisely, using the...
In this paper, we provide a general Sunada--Pesce--Sutton-type method that produces pairs of isospectral metric measure spaces. This construction relies on a representation theoretic assumption, and we give examples of spaces satisfying this condition, such as RCD spaces. As an application, we construct a pair of simply connected...
We prove that every finite multivariate Gaussian mixture density has only finitely many modes. Our approach combines an algebraic formulation of the ridgeline theory of Ray and Lindsay (2005) with a transcendence-degree argument based on Ax's functional-transcendence theorem to bound the cardinality of the set of critical points. Our...
We prove that the six-vertex graph with edge set $\{ab,bc,cd,de,af,bf,df\}$ has the Erdős-Hajnal property. The proof adapts the iterative-sparsification method of Nguyen, Scott, and Seymour within the comb-based framework of Huang, Ju, and Zhou.
We propose an approach based on Riemannian optimization to compute a nearest normal matrix to a given one. The problem can be formulated as the minimization of a smooth function either on the manifold $U(n)$ of unitary matrices of size n or on the flag manifold $U (n)/U (1)^n$. The flag manifold is particularly suitable for...
We exhibit new subgroups of rational torsion points in geometrically simple Jacobians of genus-two curves over $\mathbb Q$. The largest group, which has order 96 and invariants [2,2,2,12], is realized by curves of the form $y^2 = x(x-a^2)(x-b^2)(x-c^2)(x-u^2)(x-v^2)$ where $a,b,c,u,v$ are positive integers that satisfy $a^2 + b^2 +...
In this work, we present the first analysis of low degree polynomial threshold functions for the natural hypothesis testing problem of detecting the noisy random lift of a base $d$-regular graph from a uniformly random $d$-regular graph. Along the way, we obtain a new result for the distribution of short cycle counts in noisy random...
Composite optimization plays a central role in modern machine learning and signal processing, as it offers a natural balance between data fidelity and structural properties. In this paper, we study composite optimization in the setting where both components are nonsmooth and nonconvex. We start with a deterministic Bregman proximal...
We prove strong existence for Itô SDEs with diffusion coefficients that can introduce strong attraction to a submanifold. We extend and strengthen the Röckner-Zhao approach, which uses Malliavin calculus to establish compactness of the approximating solutions in Wiener-Sobolev space. At least when the diffusion coefficients are...
Bang (1976) proved the inequality for matrix permanents $\mathrm{per}^2(A) \geq 2^{-2n}\mathrm{per}(A \otimes J_2)$, where $J_2$ is the $2 \times 2$ all-ones matrix and $A$ is any $n \times n$ matrix with non-negative entries. We show that, if $A$ is any $n \times n$ real-valued matrix with rank at most two (possibly having negative...
Neural operators provide fast surrogate models for approximating operators between function spaces, but their predictions often lack uncertainty quantification. We develop a split conformal framework to guarantee that a calibrated pointwise band around the neural operator output contains the true solution on at least a $1-γ$ fraction...
In 1972, Jech asked whether there exists a Suslin $(ω_1, ω_2)$-forest in the constructible universe. As reported by Jech, Laver gave a positive answer, but his proof was never published and appears no longer to be available. In 2015, Eskew introduced the combinatorial principle $W^*_κ(λ)$, a strengthening of Silver's principle, and...
We introduce a framework of (Lie-)global $\infty$-categories, which formalizes various families of $\infty$-categories indexed by compact Lie groups and equipped with suitable restriction functors along continuous group homomorphisms that occur naturally in equivariant homotopy theory and representation theory. As our main results,...