2026-08-20 | | Total: 288
Wasserstein gradient flows are intimately connected with evolution partial differential equations and diffusion processes. We take the first step in developing such connections for inner product Gromov--Wasserstein (IGW) gradient flows by studying the IGW gradient flow of the relative entropy $\mathsf{H}(\cdot\|γ)$ with respect to the standard Gaussian measure $γ$. We first show that $\mathsf{H}(\cdot\|γ)$ fails to be $λ$-convex along generalized or modified generalized IGW geodesics for any $λ\in \mathbb{R}$, and therefore falls outside the scope of the existing IGW gradient flow theory from Zhang et al. (2026). We bridge this gap by establishing a suitable \emph{local} convexity estimate that enables the construction of the gradient flow and its extension to the infinite time horizon. We then obtain increasingly explicit representations of the resulting dynamics. Starting from a partial integro-differential equation, we derive a nonlinear Fokker--Planck equation and show that its second-moment dynamics decouple from the law as they satisfy an autonomous matrix ODE. This reduces the IGW dynamics to a linear, time-inhomogeneous Fokker--Planck equation, yielding a probabilistic representation as the time-marginal flow of a linear stochastic differential equation resembling the Ornstein--Uhlenbeck process. Finally, we study its asymptotic behavior by establishing exponential convergence of the flow to $γ$ in relative entropy.
We study volume comparison for closed Riemannian manifolds satisfying a positive Ricci curvature lower bound together with an improved scalar curvature lower bound. Using an integral extension of the finite shuffling comparison for scalar Jacobi solutions due to Brown and Freedman \cite{BrownFreedman2022}, we prove that if a closed Riemannian manifold $(N^n, g)$ satisfies $\operatorname{Ric}_g\ge (n-1)g$ and the scalar curvature $R_g\ge n(n-1)(1+\varepsilon)$, then its volume satisfies $$\lvert N\rvert_g \le \frac{1}{\sqrt{1+n\varepsilon}}\lvert\mathbb S^n\rvert. $$ In fact, assuming only $\mathrm{Ric}_g\ge(n-1)g$, we can prove that $$\frac{|N|_g}{\left|\mathbb{S}^n\right|} \le \frac{1}{|N|_g} \int_N\left(\frac{R_g}{n-1}-(n-1)\right)^{-\frac{1}{2}} d \mathrm{vol}_g. $$ The equality holds if and only if $N$ is isometric to the unit sphere. The proof combines a coefficient-adapted Jacobian comparison with the integral shuffling comparison. This yields an estimate that retains the full Ricci spectrum. The resulting volume bound agrees to first order in $\varepsilon$ with the factor predicted by Bray's conjecture. A further consequence of the argument is an averaged volume comparison for metric balls involving the scalar curvature.
We reconstruct a piecewise-smooth source in a Poisson equation on a semi-infinite strip from noisy solution values measured along an interior line. Applying the one-dimensional Dirichlet Laplacian to the observation reduces the inverse problem to regularized second-order differentiation followed by a boundedly invertible correction. The differentiated trace and the source differ by an analytic smoothing term and therefore have the same interior singular support and jump data. This structure motivates a localized Fourier extension method that combines two staggered detection partitions, GTSVD-regularized local derivative coefficients, mollified conjugate Fourier sums, and structure-aligned numerical differentiation. The source is then recovered by an exponentially decaying spectral correction. For an exact partition, the reconstruction inherits the piecewise differentiation rate $\mathcal O(δ^{(\bar s-2)/\bar s})$; local peak and partition perturbation estimates describe the additional effect of breakpoint errors. Comparisons with full-grid total-variation regularization and truncated Fourier inversion show competitive high-noise performance and a pronounced low-noise advantage of the localized method. Repeated Gaussian-noise tests confirm robustness in the moderate- and low-noise regimes.
Gaussian elimination is one of the oldest algorithms in mathematics, and the most popular method for solving an unstructured linear system. Its stability in finite precision is controlled by its growth factor, which measures how large the entries produced during elimination can become. Understanding the worst-case behavior of this quantity has been a central problem in numerical analysis since the 1940s. Here we make a significant leap in that understanding, settling several open problems. In particular, we determine the asymptotic behavior of the maximum growth factor under complete and rook pivoting, proving that both are quasi-polynomial in dimension. We also show that the exponential growth under partial pivoting persists for sparse matrices and that randomized partial pivoting suffers the same instability. By contrast, we show that every matrix has a row permutation with polynomial growth, though finding the optimal row permutation is NP-hard.
A set of points $C\subset \mathbb{R}^n$ is canonically Ramsey if there is some larger set of points $S\subset \mathbb{R}^{n'}$ such that any colouring of $S$ contains either a monochromatic copy of $C$ or a rainbow copy of $C$. Mao, Ozeki, and Wang introduced this notion, showing that the 30-60-90 triangle is canonically Ramsey. Since then, many other configurations have been shown to be canonically Ramsey. The author showed that cuboids are canonically Ramsey. Ge, Shu, Xu, and Yu later showed that all simplices are canonically Ramsey, after which the author showed that all products of simplices are canonically Ramsey, a class which, together with its closure under taking subsets, includes all previously known canonically Ramsey sets. We prove that regular polygons with a prime number of sides are canonically Ramsey---the first known sets outside this class.
The kernel of a random symmetric p-adic matrix is a random abelian group, equipped with a symmetric pairing. If we consider not only the matrix but also its top-left corners, we get a process valued in isomorphism classes of abelian groups, equipped with such a pairing. We show that when the matrix is Haar random, this process is a Markov chain, generated by an operator that we explicitly describe. We will also prove that this operator is reversible with respect to a Cohen-Lenstra type measure.
The unfair $0$--$1$ polynomial conjecture asks whether a factorization \[C(x)=A(x)B(x),\] with $A$ and $B$ monic and having nonnegative real coefficients, must already be a factorization into $0$--$1$ polynomials. Let $k$ be odd and $0<a<1$. We study the possibility that \[1+a x^2+x^k\] divides a $0$--$1$ polynomial with a nonzero cofactor having nonnegative real coefficients. Ghidelli settled the first nontrivial case $k=5$, and the cases $k=7,9,11$ were treated subsequently by finite recurrence and spectral arguments. We prove that no such factorization exists for any odd $k\ge 341$.
This article introduces a numerical optimal control framework for minmax constrained density control for a class of noisy linear parabolic partial differential equations (PDEs), in particular the noisy heat equation. The goal is to transport an initial density to a target density while minimizing a specified cost with respect to control actions and maximizing it with respect to disturbances, all within a fixed time horizon while satisfying given convex path constraints. To address this, the spatial derivatives in the PDE are discretized using finite-difference approximations, transforming the problem into a system of ordinary differential equations in time. The admissible space of control and disturbance trajectories is then finitely parametrized, and the resulting optimal control problem is formulated as a convex semi-infinite program (SIP) under mild assumptions. By leveraging new numerical tools from convex SIP theory, we establish guarantees for exact solutions that account for constraint satisfaction under an infinite family of disturbance realizations, and we establish an optimization-based computationally efficient algorithm to recover these solutions. Comprehensive numerical examples to demonstrate and validate our findings are included.
In this work we analyze the eigendecomposition of the Hessian matrix of the Robin function $\mathcal{R}(x)$ for the spectral fractional Laplacian in orthogonally invariant domains. We prove that, if $Ω$ a smooth bounded convex domain invariant under the action of an orthogonal transformation $\mathcal{O}$ then, for $\overline{t}\in\{a\inΩ:\mathcal{O}(a)=a\}$, the gradient vector $\nabla\mathcal{R}(\overline{t})$ is an eigenvector of the Jacobian $D\mathcal{O}$ associated to the eigenvalue $1$. Moreover, if $Ω$ is a domain invariant under the reflection about a hyperplane $π_{v}=\{x\in\mathbb{R}^N:x\cdot v=0\}$, there exists $η>0$ such that $\mathbb{H}(\overline{t})v=ηv$ where $\mathbb{H}$ denotes the Hessian matrix of $\mathcal{R}(x)$. Consequently, if $Ω$ is invariant under the reflection about the hyperplanes $π_{v_i}$ for a linearly independent set $\{v_1,\ldots,v_N\}$, then the origin is a non degenerate critical point of $\mathcal{R}(x)$. A short proof of the Brezis-Peletier-like formulas for $\nabla \mathcal{R}$ is also provided which allows us to prove the former results for any $0<s<1$.
Let $Φ$ be the classical Jacobi-theta kernel in the Fourier representation of the Riemann $Ξ$-function, set $s(t)=Φ(\sqrt t)$, and define the first Laguerre expression $f(t)=s'(t)^2-s(t)s''(t)$. Csordas and Dimitrov (2000) conjectured that $\log f$ is strictly concave on $(0,\infty)$; Csordas (2015) later restated the assertion as Open Problem~4.14. We prove the conjecture by two complementary methods, sharing only a local certificate near the modular fixed point. The first proof is a direct theta-series argument: a directed-rounding Taylor certificate near $t=0$ is joined to a dominant-first-summand estimate with rigorous theta-tail bounds. The second proof uses Jacobi's nonlinear third-order differential equation for $θ_3$ to obtain a three-dimensional autonomous phase space, a sharp elliptic monotonicity theorem, and an exact quartic reduction of the target inequality. The quartic boundary is a polynomial shear of the quadratic cone $XY=Z^2$. A directed interval certificate proves that every possible cone contact on the only remaining compact interval points strictly into the desired region; beyond that interval a pointwise monotonicity theorem closes the argument. The finite certificates and exact symbolic checks are supplied as reproducible scripts. The result implies the associated double Turán inequalities through the theorem of Csordas--Dimitrov, but no assertion of the Riemann Hypothesis is made.
We propose a local Legendre frame method for the accurate computation of Caputo fractional derivatives of order \(0<α<1\). On each local subinterval, the function is represented by a restricted Legendre frame obtained from scaled Legendre polynomials on an extended interval. The local coefficients are computed from equispaced samples by an exponentially weighted GTSVD regularization. The Caputo derivative is then evaluated by applying the weakly singular fractional integral to the derivatives of the local frame basis functions. Since these derivatives are polynomials, the corresponding Caputo weights can be written in terms of finite weighted moments, so that the singular kernel is treated analytically rather than by a low-order quadrature rule. For uniform partitions, the history weights have a block-dependent structure and can be reused efficiently. The error analysis separates the local frame reconstruction from the Caputo integration. In particular, the Caputo error is bounded by the derivative reconstruction error, while the latter is obtained from the \(L^2\) reconstruction error and a weighted smoothness bound of the GTSVD approximation through an interpolation argument. For analytic local functions with exponential coefficient decay, this leads to exponential-type convergence of the derivative and hence of the Caputo approximation. Numerical experiments confirm the accuracy of the exact moment weights, the effectiveness of the local weighted reconstruction, and the efficiency of the block implementation.
Let $A$ be a commutative simple algebra in a braided finite tensor category $\mathcal{B}$. We identify the largest transparent subalgebra of $A$ as the algebra induced by a central lift of the free-module functor. This identification gives formulas for the Frobenius-Perron dimension and the Müger center of the category of local $A$-modules. These formulas give criteria for nondegeneracy, symmetry, and modularity, together with sharp bounds on $\mathrm{FPdim}_{\mathcal{B}}(A)$. We also realize the Müger center of $\mathcal{B}$ as a category of local modules over an adjoint algebra. Finally, we prove a relative-center factorization and deduce that taking the category of local modules preserves the relative Witt class.
We describe certain finite-time singularities of the Kähler-Ricci flow arising in the analytic minimal model program. Assuming that convergence to an asymptotically conical Kähler-Ricci shrinker is realized by holomorphic maps, we prove that, in a fixed holomorphic gauge, the nearby flow is modeled on the shrinker at the level of Kähler potentials. Consequently, every noncollapsed Kähler-Ricci flow through singularities in complex dimension two is modeled on a shrinker-cone-expander transition, confirming a strong form of Song's conjectural picture. We also show analogous results in higher dimensions under the Calabi ansatz, and improve known results in the compact shrinker case. These give the first compact Ricci flows through conical singularities whose small-scale behavior is fully described.
We determine the critical probability for Bernoulli bond percolation on essentially any finite graph. Namely, letting $λ(G)$ denote the spectral radius (maximum eigenvalue) of $G$, we prove that the critical probability is at $1/λ(G)$: above this probability there is typically a component of order $Ω(λ(G))$, whereas below it all components are of order at most $O(\sqrt{|G|})$. These results in particular confirm a conjecture of Krivelevich and Samotij about percolation on graphs of a given average degree, and vastly extend theorems of Bollobás, Borgs, Chayes, and Riordan, who proved analogous results but only for dense graphs. Our theorems are optimal in many regimes, and also demonstrate that percolation has an unexpectedly subtle behaviour on graphs whose spectral radius is roughly the square root of their maximum degree.
Let $π: M \to B$ be an elliptic fibration over $B = D^2$ or $B = S^2$ with $n$ nodal fibers over $Δ\subseteq B$. We study the universal liftable braids for $π$: those braids that admit a fiber-preserving lift to $M$ for all choices of coordinates on $(B,Δ)$. When $B = S^2$, we show that nontrivial universal braids do not exist by proving a Zariski-density theorem on the $\mathrm{SL}_2$-character variety for $(S^2,Δ)$. When $B = D^2$ we classify when the subgroup of universal braids has finite index in the braid group $B_n = \mathrm{Mod}(D^2,Δ)$, and relate these examples to Coxeter's factor groups of braid groups, which in turn are related to the platonic solids. Finally, we generalize the results derived in the finite-index cases by considering a canonical family of branched covers of the base $B$ associated to any elliptic fibration. The generalization naturally connects the universal braids to the integral Burau representation reduced modulo 3.
The goal of this paper is to prove an upper bound for the $L^4$ norm of a trigonometric polynomial whose spectrum is a nontrivial strictly monotone polynomial with integer coefficients of degree three and higher, via its $L^2$ norm. Our condition on the coefficients of the trigonometric polynomial in question is that they form a complex sequence whose modulus is decreasing. Second, we obtain a similar result in the case where the spectrum is formed by perfect squares, under a more strict condition on the coefficients. Our results strengthen and complement those by S. Bochkarev and A. Córdoba. We also give an answer to a conjecture of Eceizabarrena and Da Rocha and determine the sharp order of growth of the $L^4$ norm of the trigonometric polynomial in this conjecture.
We consider the spherical Borel Eisenstein series induced from the trivial representation for a split semisimple linear algebraic group over a number field. We prove that its regularization at the special point corresponding to half the weighted marking of a distinguished coadjoint nilpotent orbit in the Langlands dual Lie algebra is nonzero and square-integrable. Our proof follows the philosophy of Kazhdan and Okounkov. We give a geometric interpretation of Langlands' square-integrability criterion in this setting and, using the equivariant integration formula, prove that the regularization satisfies this criterion. As an immediate consequence, we obtain a simple and uniform proof of Arthur's unitarity conjecture, without case-by-case analysis or machine computation.
The Erdős Matching Conjecture is governed by two competing ways of excluding $s+1$ disjoint edges: one may concentrate all edges on fewer than $k(s+1)$ vertices, or force every edge to meet a fixed $s$-set. We determine a near-optimal range in which the second construction is extremal. For every fixed $k\ge2$, there is $s_0(k)$ such that, whenever $s\ge s_0(k)$ and $n\ge(k+1)s$, every $\mathcal{F}\subseteq\binom{[n]}k$ with $ν(\mathcal{F})\le s$ satisfies\[ |\mathcal{F}|\le\binom nk-\binom{n-s}k, \]with equality only for the family of all $k$-sets meeting a fixed $s$-set. This lowers the best previous general linear coefficient from $(5k-2)/3$ to $k+1$. Since the two conjectured constructions exchange asymptotic dominance at $n=(ρ_k+o(1))s$ for a coefficient $ρ_k\in(k,k+1)$, our range lies less than one unit above the unavoidable barrier. We also prove a stability theorem showing that cover families are the only near-extremal configurations throughout this range. A key ingredient in our proof is a probabilistic rigidity statement which forces near-extremal fractional covers to be almost integral.
We study the 4D Hessian conjecture in Lorentzian signature. For a polynomial potential $φ$ in 4 real variables whose Hessian matrix has inertia index 1 and determinant $-1$, we define a pivot of $φ$ as a direction vector $v$ such that the double derivative $D^2_vφ$ is a constant function. We then prove that the gradient mapping of every potential admitting a pivot is a regular automorphism, and that a pivot always exists when $φ$ decomposes into homogeneous pieces as $φ=φ_d+φ_{d-1}+φ_2+φ_1+φ_0$ with $d\geq4$. More generally, we prove the same conclusion when $$φ=φ_d+\cdots+φ_{d-k}+φ_2+φ_1+φ_0,$$ where $k\geq0$ and $d\geq4k+3$. Then, we associate with each potential a linear system of quadrics, called the Hesse system, and a canonical homomorphism $μ_φ$. We prove that the existence of a pivot is equivalent to $\operatorname{rank}(μ_φ)\leq55$. As an application, we prove that the gradient mapping is a polynomial automorphism whenever the Hesse system has complex dimension at most 4. We also show that a Hesse system consisting entirely of singular matrices has complex dimension at most 6, and equality forces a pivot.
We prove a global-in-time uniform bound for solutions to thermo-diffusive systems of reaction-diffusion equations with $L^\infty$ initial conditions.
We show that any measurable, translation and $\mathrm{SO}(n)$-invariant valuation on polytopes in $\mathbb{R}^n$ is a linear combination of the intrinsic volumes, which extends Hadwiger's classical characterization of rigid motion invariant continuous valuations on convex bodies. This result is based on a novel regularity result for translation invariant, measurable, $1$-homogeneous, and simple valuations. As a consequence, we obtain a similar characterization of the Steiner point map on polytopes.
Using the theory of complex spinorial forms, we prove that an odd-dimensional Riemannian manifold admits a pure spin-c Killing spinor with an imaginary Killing function $iμ$ if and only if it is an exact $μ$-Kenmotsu manifold, thereby obtaining an extension of a recent result by the first named author that, under the purity assumption, does not require simple connectivity or completeness. We then reinterpret $μ$-Kenmotsu manifolds in terms of metric connections with vectorial torsion and give a second proof of this characterization, combining the theory of complex spinorial forms with the theory of metric connections with torsion. Finally, we describe the global structure of exact $μ$-Kenmotsu manifolds by means of Morse-Bott theory.
Let $G$ be an almost simple group whose socle is an alternating, classical, or sporadic group, and let $H$ be a non-parabolic maximal subgroup of $G$. We prove that any maximal subgroup $M$ of $H$ can be generated by at most $7$ elements, and that this bound is sharp when the socle of $G$ is alternating or classical; this improves the bound of $12$ due to Burness, Liebeck and Shalev. When the socle is sporadic, at most $5$ generators suffice, and this is again best possible. The proof relies upon a detailed structural analysis of $H$ and $M$, especially when $H$ is a subgroup of a wreath product. In particular, we determine the chief factors of $M$ and subsequently bound its number of generators using the theory of crowns. We also correct the classification of maximal subgroups $H$ of almost simple groups requiring more than three generators, established by Lucchini, Marion and Tracey. Their bound of five generators remains valid, but their classification is missing several pairs $(G,H)$, including cases in which $G$ has socle $\mathrm{PSU}_n(q)$.
Let $X_1,X_2, \ldots $ be independent uniform random points in a bounded region $A \subset {\bf R}^d$ having a smooth boundary, $d \geq 1$. Let $B \subset A$ be compact. The _coverage threshold_ of $B$, $R_n$, is the smallest $r$ such that $B$ is covered by the balls of radius $r$ centred on $X_1,\ldots,X_n$. The _maximal spacing_ $\tilde{R}_n$ is the volume of the largest ball contained in $A \setminus \{X_1,\ldots,X_n\}$. We investigate the asymptotic frequency of _record times_ in the sequence $(R_n)$, that is times $n$ for which $R_n < R_{n-1}$. Let $N_m$ denote the number of records in the sequence $(R_n)$ up to time $m$, and let $ν_m$ be the time at which the $m$th record value of the sequence $(R_n)$ occurs. For $B \subset A^o$, we show that almost surely, $N_n \sim \frac12 (\log n)^2$ and $ν_n^{1/\sqrt{n}}\to \exp \big(\sqrt{2}\: \big)$ as $n \to \infty$, and likewise for $\tilde{N}_n$ and $\tildeν_n$, defined analogously in terms of $(\tilde{R}_n)$. But if $B=A$ and $d \geq 3$, then $N_n \sim (1- \frac{1}{d}) (\log n)^2$ and $ν_n^{1/\sqrt{n}}\to \exp \big( \sqrt{2d/(d-1)} \: \big)$. We also discuss the generalization (for fixed $k \in {\bf N}$) to $k$-coverage thresholds, maximal $k$-spacings and non-uniformly distributed points $X_i$ in $A$.
We show that the existence of a growth gap for infinite-index subgroups of a given finitely genrated group can depend on the finite generating set. More precisely, for any irreducible lattice $Λ$ in a higher rank semisimple Lie group $G$ with Kazhdan's property (T), the group $Λ\times Λ$ admits one finite symmetric generating set with a growth gap and another without a growth gap. We also prove that the growth gap can be made arbitrarily small. In contrast, for a non-elementary hyperbolic group the existence of a growth gap is independent of the finite generating set.