2026-09-09 | | Total: 1081
Simple affine vertex operator algebras $L_k(\mathfrak{g})$ at non-integral admissible levels $k$ are generally neither $C_2$-cofinite nor rational. Despite the absence of these standard finiteness conditions, we prove that the sheaf of coinvariants (and, dually, of conformal blocks) of ordinary modules in the category $\mathcal{O}_k$ forms a vector bundle over the moduli space $\overline{\mathcal{M}}_{0,n}$ of stable $n$-pointed genus-zero curves. The proof relies on establishing the finite-dimensionality of genus-zero coinvariants, a vanishing theorem that isolates ordinary admissible modules at the boundary, and a smoothing theorem enabled by partial strong identity elements in the mode transition algebra. Consequently, admissible affine vertex operator algebras supply a rich class of non-rational, non-$C_2$-cofinite examples in which vector-bundle behavior is preserved for a well-behaved subcategory of modules.
We study how far gradient descent (GD) can be accelerated by predetermined nonnegative stepsizes in smooth convex optimization. Writing $p_{\mathrm{sil}}=\log_2(1+\sqrt{2})$, we prove an $Ω\left(n^{-p_{\mathrm{sil}}-O(\sqrt{\log\log n/\log n})}\right)$ non-anytime lower bound. In the anytime setting, every infinite nonnegative schedule has infinitely many horizons with error $Ω\left(n^{-\frac{2p_{\mathrm{sil}}}{1+p_{\mathrm{sil}}}-O(\sqrt{\log\log n/\log n})}\right)$. Together with the silver-schedule upper bound [Altschuler and Parrilo, 2025] and the anytime upper bound [Zhang et al., 2025], our results determine the optimal polynomial convergence exponents in both settings.
As a generalisation of the Erdős-Sós conjecture about graphs, Addario-Berry, Havet, Linhares Sales, Reed and Thomassé conjectured that every digraph on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected tree with $k$ arcs. We prove a dense, approximate version of this for trees with bounded maximum degree, as well as for trees whose layers are evenly distributed. We use a regularity based approach, centred around finding a copy of a given tree in the blow up of a caterpillar.
In this paper, we show that the border Waring rank of $x_1x_2\cdots x_n$ over fields of characteristic zero is exactly $2^{n-1}$. As a consequence, the classical polarization identity is an optimal Waring decomposition even if we allow limits. As a symmetric tensor, this monomial is identified with the $n\times n$ permanent tensor. However, the lower bound is proved via the higher-order Koszul flattening of the $n\times n$ determinant tensor, which is not symmetric.
Let u be a morphism of algebraic varieties. Given m integer or infinite, we prove that the set of points whose fiber has size m is a constructible set.
We show that the Tate module of the $\ell$-adic unramified cohomology $H^3_{\nr}(X, {\Q_\ell}/{\Z_\ell})$ of a smooth projective surface $X$ over a local or strictly local field $k$ of residue characteristic prime to $\ell$ vanishes under suitable conditions. We apply this to answer some questions concerning the left and right kernels of the Brauer--Manin pairing for open subvarieties of $X$. To prove the vanishing theorem, we establish Bloch's formula for the Chow group of codimension-two cycles on a semistable model of $X$, and derive applications to the restriction map for such cycles to the closed fiber of the model.
We give a self-contained exposition of metric differentiability for Lipschitz mappings from sets in Euclidean spaces into arbitrary metric spaces, together with the corresponding area and co-area formulas. The novelty is a new metric implicit function theorem for mappings into metric spaces, which is then used to give a direct and geometric proof of the co-area formula for Lipschitz mappings into metric spaces.
Classically, the places of $\mathbb{Q}$ are often regarded as a one-point compactification of $\mathrm{Spec}(\mathbb{Z})$, with the real place corresponding to a formal ``prime'' added at infinity. Re-examining this picture from a topos-theoretic perspective reveals a subtler geometry: while the non-Archimedean places are identified with singletons indexed by the non-zero prime ideals of $\mathbb{Z}$, the Archimedean place is represented by the space of upper reals $\overleftarrow{[0,1]}$, which may be informally thought of as the unit interval equipped with a non-Hausdorff topology. On a technical level, our analysis brings together geometric logic and descent techniques from topos theory, distinguishing standard descent from lax descent toposes both at the level of sheaves and of the geometric theories they classify. More broadly, this paper brings into conversation two parallel distinctions: on the number-theoretic side, between Archimedean and non-Archimedean phenomena, and on the topos-theoretic side, between standard and lax descent. Looked at from a high level, these perspectives begin to converge on a common theme: how should the connected and the disconnected interact?
We define symplectic Dirac operators on homogeneous spaces and study their representation-theoretic role. For an invariant polarization, the symplectic Dirac operator decomposes into two symplectic Dolbeault operators. We compute their commutator as the natural symplectic analogue of the square of the classical Dirac operator. Our first main result gives a necessary and sufficient condition for this commutator to satisfy a Parthasarathy-type formula. We further prove that, whenever this condition fails, no cubic perturbation of the symplectic Dolbeault operators can yield such a formula, in contrast with Kostant's cubic Dirac operator in the orthogonal setting. As applications, we establish an ${\mathfrak s}{\mathfrak l}_2$-structure generated by the symplectic Dolbeault operators and derive Dirac-type inequalities for unitary representations of Hermitian symmetric spaces labelled by the levels of the symmetric powers of the antiholomorphic tangent space at the identity. The level-zero inequality recovers the standard Parthasarathy-Dirac inequality, while the higher levels inequalities yield new constraints. For $SU(1,n)$, we show that, for representations with a specific Kraljević corner, the level-one inequality strengthens all basic Parthasarathy inequalities of the first kind for particular $K$-types, precisely those satisfying an explicit highest-weight condition.
For $n\ge 3$ and $c\in(0,1)$, let $\mathcal{GT}(n,c)$ denote the class of geodesic metric trees of valence at most $n$ whose branch points are uniformly relatively separated with constant $c$. We prove that $\mathcal{GT}(n,c)$ has no bi-Lipschitz universal element. More precisely, we construct a family $(T_a)_{a\in[1/4,1/3]}\subset\mathcal{GT}(n,c)$ such that, for every $n_M\geq 3, c_M\in(0,1)$ and every $M\in\mathcal{GT}(n_M, c_M)$, there are at most countably many parameters $a$ for which $T_a$ admits a bi-Lipschitz embedding into $M$, whereas each $T_a$ admits a bi-Lipschitz embedding into $\mathbb R^2$. Thus the obstruction is neither dimensional nor caused by a failure of planar embeddability. This gives a negative answer to a question of Chrontsios-Garitsis, Ioannidis, and Vellis~\cite[Question~1.11]{CGIV2024}. Furthermore, we show a complementary positive result for ultrametric spaces: every bounded ultrametric space $X$ admits a bi-Lipschitz embedding into every complete metric space $Y$ satisfying $\dim_A X<\dim_{LA} Y$ where $\dim_A X$ and $\dim_{LA} X$ are Assouad and lower Assouad dimensions, respectively.
In their work on Brill-Noether theory, Eisenbud and Harris established the geometry of the universal parameter space of linear series over curves, proving that for even genus $g$ and degree $d = g/2 + 1$, the projection to the moduli space of curves is a finite cover of degree equal to the Catalan number $C_{g/2} = \frac{1}{g/2+1}\binom{g}{g/2}$. In this paper, we construct the tropical counterpart of this universal family: a polyhedral cone complex $\mathcal{G}_{g \to 0, d}^{\mathrm{trop}}$ parametrizing degree-$d$ tropical morphisms from genus-$g$ metric graphs to metric trees. For even $g$ and $d = g/2 + 1$, we prove that the forgetful projection $Π\colon \mathcal{G}_{g \to 0, d}^{\mathrm{trop}} \to \mathcal{M}_{g}^{\mathrm{trop}}$ is a branched cover of degree $C_{g/2}$ equipped with natural determinantal multiplicities. We compute this degree by showing that on caterpillars of loops the morphisms are in bijection with ballot sequences, and we establish its global invariance across $\mathcal{M}_{g}^{\mathrm{trop}}$ via a tropical balancing condition across codimension-$1$ walls. Via deformation and path lifting, this yields an effective method to construct Catalan-many gonality-witnessing maps for any generic metric graph, establishing that the tree gonality of any genus-$g$ metric graph is at most $\lceil g/2 \rceil + 1$.
Large linear programs can exceed the memory of a single compute node. Although first-order methods replace sparse factorizations with GPU-suited matrix-vector products, other solver phases can reintroduce a single-node memory limit. We present SHARDLP, a distributed GPU LP solver that keeps the matrix and primal-dual state partitioned from sharded input through solution output. On the Google PDLP benchmark, SHARDLP reaches the published criterion on nine of eleven instances, compared with eight in the published CPU PDLP study. On the largest benchmark, eight H200 GPUs solve a 1.185-billion-variable, 6.338-billion-nonzero LP in 9.9 minutes; the published CPU experiment reports 21.06 hours on different hardware. Beyond this benchmark, separately checked multi-node solves reach up to 13.604 billion variables and 40.807 billion nonzeros, while validated executions span up to 76 GPUs across 29 compute nodes. For column-partitioned solves, support-aware communication skips GPUs that store no coefficients for a row; on an LP with 2.76 billion nonzeros, it cuts modelled communication by 92.97% and improves solver time by 1.27x-1.52x
Fang and Huang proved that every cancellative pair $(\mathcal{A},\mathcal{B})$ of families of subsets of $[n]$ satisfies $|\mathcal{A}|\cdot|\mathcal{B}|\leq(\frac{9}{4})^n$. Their proof uses entropy. We give a Fourier-analytic proof based on Lifshitz's one-sided noise operator $\mathrm{T}^{1/4\to1/2}$. The main tool is a near-$L^1$ hypercontractive estimate for this operator.
We establish quantitative Parisi formulas and fluctuation bounds for the Sherrington-Kirkpatrick model at zero external field. In particular, using that the Parisi measure is supported on an interval, we show that for every fixed inverse temperature greater than one, the variance of the logarithmic partition function lies between orders $N^{4/15}$ and $N^{7/15}$. The same exponents hold for the ground-state variance. We also obtain upper and lower bounds on the finite-size bias of the mean free energy and ground-state energy, together with two-sided upper-tail estimates with exponent $6/5$ at both positive and zero temperature.
We prove the Trudinger inequality with exponent $\frac{s}{s-1}$ for $M^{1,s}$ Sobolev spaces on metric measure spaces under the sole measure growth assumption $μ(B(x,r))\ge br^s$. This improves the previously known exponential integrability with power one. Our argument also yields sharp asymptotic bounds for the Sobolev constants as $p\uparrow s$. On doubling spaces, we further remove the connectedness assumption from the Trudinger inequality associated with a $(1,p)$-Poincaré inequality when $p<s$. An Ahlfors regular counterexample shows that this extension fails at the critical exponent $p=s$.
Synchronisation by noise for McKean--Vlasov stochastic differential equations is investigated. A transfer principle is introduced by which synchronisation by noise and diagonal mixing can be transferred from an associated limiting frozen-diffusion SDE to a genuinely law-dependent McKean--Vlasov SDE. The usefulness of this principle is demonstrated through an application to ensemble Kalman sampling, thereby providing its first application in a sampling context. Synchronisation for SDEs with multiplicative noise is then revisited from the perspective of sampling. Existing general frameworks providing sufficient conditions for synchronisation by noise are refined and extended to a control-oriented setting on noncompact state spaces, and coefficient-level conditions are derived by which these criteria can be verified. Motivated by extrapolation schemes in sampling, the freedom in the construction of couplings for a fixed sampler is emphasised, together with the advantage of choosing couplings that exhibit favourable synchronisation properties.
This is the first part of a program to construct hyperholomorphic families of boundary conditions for the Kapustin--Witten B-twist of the Langlands QFT, otherwise known as \textit{(BBB)-branes}. We define the category of quasi-algebraic sheaves over the Deligne moduli stack, which serves as an analog of the twistor space of Hitchin's moduli stack. This allow us to construct a representation of a simplified version of the Moore--Tachikawa category which is motivated by the relative Langlands program in the sense of Ben-Zvi--Sakellaridis--Venkatesh.
We provide a pathwise proof of global-in-time well-posedness for the generalised KPZ equation in the full subcritical regime by an adaptation of the strategy recently applied to the generalised Parabolic Anderson Model in [ES26]. Since this strategy relies crucially on the assumption that control of the supremum norm is sufficient to continue the solution, the main additional ingredient required is a treatment of the initial layer for gKPZ with merely $L^\infty$ initial data, rather than the more usual setting of $C^θ$ initial data with $θ> 0$. Our approach is based on an expansion around a deterministic profile followed by the introduction of an integrating factor in order to remove the terms which have critical scaling at time $0$. For pedagogical purposes, we first demonstrate the proof techniques in the case of the standard $(1+1)$-dimensional KPZ equation before turning to the more computationally involved case of generalised KPZ.
Jones described how the Ising and Potts models from statistical mechanics give rise, with appropriate choices of Boltzmann weights, to invariants of an oriented link. The Boltzmann weights that Jones proposed, however, work only with a correction factor that he does not mention. We fill in the missing details in two different ways. We also show that all of these invariants, which we call the Ising and Potts invariants, are given by evaluating the Jones polynomial at $t$ equal to one of these Boltzmann weights.
We estimate optimal transport maps on an infinite-dimensional Hilbert space with a Gaussian reference measure, from noisy paired observations. A source draw is seen together with a noisy evaluation of its image, rather than through independent unpaired samples. The estimator is a cylindrical sieve of Cameron--Martin gradient maps, restricted to a compact parameter set; individual sieve elements need not be transport maps. It yields a finite regression contrast even though the noise has infinite Cameron--Martin norm, and reduces estimation to finite-dimensional empirical risk minimization. We establish a nonasymptotic oracle inequality separating approximation error, stochastic error and the local conditioning of the parametrization, together with a minimax lower bound of order $N^{-s/(2s+1)}$ under weighted coordinate regularity of order $s$. Output regularity alone does not deliver cylindrical approximation; for general Sobolev potentials an input-regularity index does, via a conditional Gaussian Poincaré argument, and for potentials of bounded chaos degree the degree bound plays that role, an orthogonal Hermite sieve then attaining the same rate with the interaction order replacing unity in the exponent. That rate is minimax on a diagonal Gaussian class and on a nonlinear block class whose interaction survives every fixed orthogonal change of coordinates.
Let $M$ be a complete open $5$-manifold with nonnegative Ricci curvature. If its universal cover $\tilde M$ has Euclidean volume growth, then $π_1(M)$ is finitely generated and virtually $\mathbb Z^k$ for some $0\le k\le4$. This confirms a conjecture of Pan and Rong \cite{PR18} in dimension five; see also \cite{BNS25,BrNaSe25}. In dimension six, under the same volume growth assumption, we also obtain a quantitative virtual abelianness result without assuming finite generation of the fundamental group.
We study word maps with constants on quasisimple algebraic groups over a local field $L$. We prove that, for such a group $G=\mathbf{G}(L)$ and a word $w\in (G\ast\mathbf{F}_r)\setminus G$, either $w$ has a so-called Tomanov-small critical constant or the minimal dimension of the word image $w(G^r)\subseteq G$ of such a word is bounded from below by a function $c(G)>1$. We compute the optimal value of $c(G)$ for most quasisimple linear algebraic groups.
As an extension of the Point Estimate Method (PEM) to evaluate probabilistic moments of quantities of interest (QoI) in general $n$-dimensional spaces, the Quadratic Point Estimate Method (QPEM) has been recently developed. This new method is defined to fully represent up to fifth-order input moments in the Gaussian space, providing general analytical expressions for sample locations and weights, without requiring any numerical optimization. The QPEM can significantly improve the estimation accuracy of the output QoI moments, in relation to PEM-based methods whose numbers of sigma points grow linearly with the problem dimension, while at the same time having an affordable and competitive computational cost up to a considerable number of dimensions. The QPEM is further enhanced in this work by enabling copula integration into the framework, which enables effective modeling of the joint input probability density function by estimating marginals and the dependence structure of the involved random variables. The validity and efficient performance of the copula-based QPEM are showcased against numerous other sampling methods in various examples considering two practical scenarios: (i) when the joint dependence structure can be inferred from data, and (ii) when only marginal distributions and correlation matrices are known.
Let $g_1H_1,\ldots,g_nH_n$ be left cosets of subgroups of a group $G$ whose union $U$ is a proper subset of $G$. We prove that $G$ is the union of at most $2^n$ left translates of $A:=G\setminus U$. For finite $G$ this yields $|A|\ge|G|/2^n$, which settles a conjecture of Tărnăuceanu and the author. Equality $|A|=|G|/2^n$ can only hold when $A$ is a left coset of $K:=H_1\cap\ldots\cap H_n$. Moreover, every subgroup occurring in an irredundant cover of an arbitrary group by $n$ cosets has index at most $2^{n-1}$. This improves a lemma of Neumann.
We classify complete toric threefolds $X$ such that the automorphism group $\text{Aut}(X)$ acts on $X$ with an open orbit whose complement does not contain a divisor. The latter condition means that for any ray $ρ$ of the fan $Σ_X$ there is a Demazure root of $Σ_X$ associated with $ρ$. We also find among these varieties those $X$ for which the group $\text{Aut}(X)$ is transitive on the smooth locus $X^{\text{reg}}$. The classifications are based on Gale-dual interpretations of these properties.