All works

math.QA — Quantum Algebra

Haagerup vertex operator algebras at central charge eight

Contributed by Cédric ARHANCET

Evans and Gannon showed that a positive vertex operator algebra of central charge eight whose representation category is the Drinfeld center $Z(\cal H_3)$ of the Haagerup fusion category has one of two character vectors, with six or nineteen currents. Call such an algebra, if strongly rational, a Haagerup algebra. We prove that a Haagerup algebra $U$ has six currents, that $U_1 \cong \mathfrak{sl}_2 \oplus \mathfrak{sl}_2$ embeds into $V_{E_6 \oplus A_2}$ in one of two explicit ways, with levels $(1,39)$ or $(3,13)$, and we determine the lowest weight spaces of its modules and $U_2$ as $U_1$-modules. For the levels $(3,13)$, $U_2$ is one of four Galois conjugate subspaces. Together with $U_1$ it generates the unitary $C_2$-cofinite algebra $S$, which is isomorphic to the algebra constructed by Jiao. For the levels $(1,39)$, $U$ contains the explicit algebra of Riesen. The associated lattice of $U$ is that of the form $x^2+xy+10y^2$, resp.\ $3x^2+3xy+4y^2$, the two classes of the principal genus of discriminant $-39$. Exchanging them in the decomposition of $U$ over its Heisenberg commutant gives a Haagerup algebra $U^\natural$ of the other levels, and $U \mapsto U^\natural$ is a bijection between the isomorphism classes of the two cases. The classification gives exactly two isomorphism classes, forming a single hyperbolic genus, as soon as either explicit candidate is known to be a Haagerup algebra. This property is proved for $S$ in [ArhIII], where the twin $S^\natural$ is also identified, with the algebra of Huang and Riesen, using the results of Dong, Jiao and Xu [DJX26]. The explicit algebras of Jiao and Riesen have rational forms. The proofs combine exact trace relations given by vector-valued modular forms, exact computations in a model of $V_{E_6 \oplus A_2}$, and genera of vertex operator algebras.

Author comments: 75 pages

math.FA — Functional Analysis

Wigner–Yanase–Dyson Metrics Have Monotone Curvature

Contributed by Suvrit Sra

Gibilisco and Isola conjectured that the scalar curvature of the Wigner–Yanase–Dyson metric with parameter $p$ on the invertible density matrices increases under mixing for all $p$ in some interval $(1,1+\varepsilon)$; the case $p\downarrow1$ is Petz's conjecture for the Kubo–Mori metric (resolved in a companion paper). We prove that for $p\in(1-\varepsilon,1+\varepsilon)$, with $\varepsilon>0$ independent of the dimension, the scalar curvature is a concave function of the eigenvalues and hence increases under mixing. By Dittmann's formula it suffices to prove that one symmetric function $H_p$ of three positive variables is concave, which we do by showing that $-1/H_p$ is a Stieltjes transform along every line in the positive cone, uniformly in $p$ near $1$. The value of $\varepsilon$ is not explicit.

math.CA — Classical Analysis and ODEs

A sharp Brégman–Minc bound for permanents

Contributed by Suvrit Sra

We prove a sharp Brégman–Minc bound for permanents of nonnegative matrices that was conjectured by Samorodnitsky and Gurvits. Specifically, for $\phi(x)=\Gamma(1+1/x)^{-x}$, with $\phi(0)=0$, applied entrywise, we show that every nonnegative row-stochastic square matrix $A$ satisfies $\operatorname{per}\phi[A]\le1$, which is the Brégman–Minc inequality when each row of $A$ is uniform on its support. The crux of our proof is a scalar inequality on the simplex, which we prove using a carefully chosen yet elementary integral representation. We note brief applications to the entropy of a random permutation and to sharp bounds for rectangular permanents and matchings.

math.PR — Probability

The Macdonald $(q,t)$-permanent II: Probability laws and their regions of validity

Contributed by Suvrit Sra

The Macdonald $(q,t)$-permanent replaces the constant cycle weight of the Vere-Jones $\alpha$-permanent by $(1-t^k)/(1-q^k)$ for a cycle of length $k$. We determine which of the probability laws built on the $\alpha$-permanent survive this deformation, and where. The scalar gamma-type law survives on the whole parameter square, but the matrix law, a compound Wishart matrix, is more fragile. We prove that it exists in every dimension exactly when $t\in\{0,q,q^2,\ldots\}$, and in dimension two exactly when $t\le q$. We conjecture that in each fixed dimension the matrix law exists exactly on the region that we show to be necessary, a $q$-analogue of Gindikin's theorem.

math.CO — Combinatorics

The Macdonald $(q,t)$-permanent I: Algebra and positivity

Contributed by Suvrit Sra

We introduce the Macdonald $(q,t)$-permanent, a two-parameter cycle-weighted permanent that contains the usual permanent and determinant, as well as the $\alpha$-permanent of Vere-Jones, as degenerate cases. We prove a MacMahon-type master theorem for its generating function, and determine when it induces a valid kernel on tuples of vectors. Nonnegativity of the $(q,t)$-permanent itself on semidefinite matrices turns out to be subtler: for $t=q^\alpha$ nonnegativity holds exactly at the positive Wallach exponents; for a fixed $q$ we determine the region in rank two and for higher ranks under an additional condition, while for small $q$ positivity can even reach beyond the kernel region. Whether positivity forces $t\in\{0,q,q^2,\ldots\}$ remains an intriguing open problem.

math.FA — Functional Analysis

Weak positivity of Schur forms under decomposable curvature

Contributed by Suvrit Sra

Griffiths's 1969 conjecture predicts positivity of Schur forms for Griffiths-positive vector bundles. Finski reduced its weak form to a sign question for the double mixed discriminant $\Phi_n(H)$ of a positive linear map. Du's rank-nine counterexample shows that $\Phi_n(H)\ge0$ fails in general. We prove $\Phi_n(H)\ge0$ for every decomposable map $H$, a sum of a completely positive and a completely copositive map, using a quaternionic Gaussian determinant representation. Combined with Finski's incidence formula, this inequality gives weak nonnegativity of every Schur form under decomposable curvature, without splitting assumptions. Beyond the decomposable cone, nonnegativity of $\Phi_k(H_{V,U})$ on every square compression is equivalent to $\Phi_n(H+S)\ge0$ for every entanglement-breaking map $S$. This class contains explicit indecomposable maps, but is nonconvex in every size $n\ge9$. We prove the nonconvexity by expressing Du's map as an average of four members, and the obstruction persists when all compression inequalities are strict.

math.RA — Rings and Algebras

A Koteljanskii inequality for permanents

Contributed by Suvrit Sra

We prove a permanental analogue of Koteljanskii's inequality. If $A$ is an inverse $M$-matrix that becomes symmetric after a positive diagonal similarity, then $\mathrm{per}(A_{S\cup T})\,\mathrm{per}(A_{S\cap T})\ge\mathrm{per}(A_S)\,\mathrm{per}(A_T)$ for all $S,T\subseteq[n]$, where $A_S$ is the principal submatrix indexed by $S$. The proof expresses permanents as moments of a complex Gaussian vector and uses Ginibre's correlation inequality. Finally, an explicit counterexample shows that symmetry cannot be dropped.

math.FA — Functional Analysis

The $p$-Bures–Wasserstein distance via $3\times3$ block matrices (with application to $p$-Bures–Wasserstein barycenters)

Contributed by Suvrit Sra

We study the $p$-Bures–Wasserstein distance $D_p(A,B)=(\mathrm{tr}\,A^p+\mathrm{tr}\,B^p-2\|A^{1/2}B^{1/2}\|_p^p)^{1/2}$ on positive semidefinite matrices; it equals the Bures–Wasserstein distance for $p=1$, and the Hilbert–Schmidt distance for $p=2$. We prove that $D_p$ is a metric for every $1\le p\le2$, by proving a stronger 2014 conjecture of Lin and van den Driessche on $3\times3$ block matrices. Our main tool is a partition inequality for Schatten norms, proved by complex interpolation. We also characterize Fréchet means for $D_p$ by a fixed-point equation and prove geometric convergence of the associated iteration.

math.CO — Combinatorics

On majorization inequalities for normalized Jack and Macdonald polynomials

Contributed by Suvrit Sra

We study the inequality $P_\lambda(x;q,t)/P_\lambda(1^n;q,t)\geq P_\mu(x;q,t)/P_\mu(1^n;q,t)$ for all $x\in\mathbb{R}_{>0}^n$ whenever the partition $\lambda$ majorizes $\mu$; Sra suggested it in 2015, and Chen, Khare and Sahi stated it as a conjecture in 2025. We prove the Jack case for every $n$ from Sun's positive Gelfand–Tsetlin integral and the Dixon–Anderson recursion. For Macdonald polynomials we prove the case $n=2$, the covers $(d)\succeq(d-1,1)$ for every $n$ when $t\leq q$, and, by exact certificates, the case $n=3$ with $|\lambda|\leq 8$. The HCIZ mechanism behind the Jack proof has no direct finite-$q$ analogue: at two explicit pairs $(q,t)$, no positive representation of the normalized ratio has a kernel multiplicative in $\lambda$, and normalizing at the principal specialization $t^\delta$ instead fails the inequality.

math.CO — Combinatorics

The $q$-Foulkes problem III: On Foulkes' conjecture with a graded inner factor

Contributed by Suvrit Sra

We show that surjectivity of the canonical map $\mathrm{Sym}^b(\mathrm{Sym}^aV)\to\mathrm{Sym}^a(\mathrm{Sym}^bV)$ survives grading of the inner factor. Consequently $h_b[H_a]-H_a[h_b]$ is Schur positive whenever the canonical map is surjective, where $H_a$ is the (modified) Hall--Littlewood polynomial; the same holds for (modified) Macdonald polynomials. We prove this surjectivity for $b\ge(a-1)^2$, improving the known bound $a(a-1)$. For Bergeron's $q$-analog of Foulkes' conjecture that lets both factors be graded, we prove nonnegativity of every Schur coefficient for certain special cases. We also study the full conjecture under an expansion hypothesis on an explicit space of maps.

math.CO — Combinatorics

The $q$-Foulkes problem II: Schur positivity with high probability

Contributed by Suvrit Sra

Bergeron's $q$-analog of Foulkes' conjecture asserts that $(H_b[H_a]-H_a[H_b])/(1-q)$ is Schur positive for $a\le b$, where $H_n$ is the (modified) Hall--Littlewood polynomial. We view this conjecture probabilistically: on each irreducible representation of $S_{ab}$, the two plethysms induce degree distributions, and positivity means that the first is stochastically smaller than the second. We prove that, for a random (Plancherel) irreducible representation and a degree sampled from its graded multiplicity, the corresponding coefficient is negative with probability at most $C\exp(-c(ab)^{1/3})$, uniformly in $a\le b$. Consequently, the $q$-Foulkes conjecture holds after deleting a fraction at most $C\exp(-c(ab)^{1/3})$ of each of the two graded modules. Additionally, we show that exact conditional means and variances yield complete positivity for explicit width and height families.

math.CO — Combinatorics

The $q$-Foulkes problem I: A fusion inequality for Macdonald plethysms

Contributed by Suvrit Sra

We prove that the plethysm $H_m[\widetilde H_\mu]$ of a Macdonald polynomial by the Hall–Littlewood polynomial $H_m$ lies above the Macdonald polynomial $\widetilde H_{m\mu}$ obtained by fusing $m$ copies of $\widetilde H_\mu$. More specifically, the quotient $(H_m[\widetilde H_\mu]-\widetilde H_{m\mu})/(1-q^m)$ is Schur positive with coefficients in $\mathbb N[q,t]$, and it is the character of an explicit module that we call the fusion defect. For one-row shapes the inequality places both $q$-Foulkes plethysms $H_b[H_a]$ and $H_a[H_b]$ above the same polynomial $H_{ab}$, and comparing their two defects we obtain a distorted version of Bergeron's $q$-analog of Foulkes' conjecture, in which the subtracted plethysm is shifted by $q^{a(a-1)\lfloor b/2\rfloor}$.

math.CA — Classical Analysis and ODEs

Sharp order-four sign regularity of a Jacobi theta kernel

Contributed by Suvrit Sra

We prove that the Hankel kernel $\Phi(\sqrt{x+y})$, where $\Phi$ is the Jacobi theta kernel whose cosine transform is the Riemann $\Xi$-function, is strictly reverse-regular through order four. The order is sharp: an interval enclosure of the fifth Hankel–Wronskian at $t=10^{-2}$ shows failure at order five. The third-order condition is Csordas's conjecture that $s'^2-ss''$ is strictly log-concave for $s(t)=\Phi(\sqrt t)$. The proof reduces the kernel minors to Wronskian signs and establishes the signs by exact polynomial estimates for $t\ge1$ and interval arithmetic on $[0,1]$. The fourth-order sign also yields three positive iterates of $s\mapsto s'^2-ss''$, the triple Turán inequalities for the normalized Taylor coefficients of $\Xi$, and quartic integral inequalities for $\Xi$.

math.CA — Classical Analysis and ODEs

Monotonicity of Turán-ratios of symmetric polynomials

Contributed by Suvrit Sra

We study the Turán-ratio $S_{\lambda,i}(x)^2/(S_{\lambda,i-1}(x)S_{\lambda,i+1}(x))$, where $S_{\lambda,i}(x):=s_\lambda(1^{[n-i]},x^{[i]})$, and $s_\lambda$ is the Schur polynomial in $n$ variables (indexed by partition $\lambda$) with $i$ arguments equal to $x$ and $n-i$ of them equal to $1$. Specifically, we prove that this Turán-ratio is strictly increasing for $x>1$ and $1\le i<n$ (unless all $n$ padded parts of $\lambda$ are equal, then it is identically one). For one-row shapes, our result answers a question of Ait-Haddou about complete homogeneous symmetric polynomials. For this case, we also offer a second proof through the zeros of Meixner polynomials that gives an explicit positive formula for the logarithmic derivative. We conclude with a Turán-ratio conjecture for Macdonald polynomials.

math.OC — Optimization and Control

Lower bounds for the quantum permanent

Contributed by Suvrit Sra

Griffiths's 1969 conjecture on the positivity of Schur forms reduces to the positivity of the quantum permanent $\Phi_n$ on positive bistochastic maps. This conjecture was refuted by Du with a map for which $\Phi_9<0$. Therefore, we ask: how negative can $\Phi_n$ be? We prove a lower bound $\Phi_n\ge-3n/(3n^2+20n+103)$ (for $n\ge 8$), and an asymptotically stronger bound $\Phi_n\ge-1/n+(3e^2-7-o(1))\log n/n^2$. The key to our bounds is the orbital polynomial of the map, which turns $\Phi_n$ into a linear function of a distribution on partitions and positivity into linear constraints. We also construct explicit maps for $n=8, 9$ that improve on Du's example. Finally, if $d_*\in\{4,\ldots,8\}$ is the first dimension for which $\Phi_n<0$, the minimum $\mu_n$ of $\Phi_n$ over positive bistochastic maps satisfies $-\mu_n=\Omega(n^{-d_*})$; we conjecture the matching order $-\mu_n=O(n^{-d_*})$.

math.PR — Probability

Beyond Small Balls: A Determinant Inequality for Functions of Matrix Gaussian Series

Contributed by Suvrit Sra

We prove a functional extension of Gaussian operator-norm small-ball inequalities. Let $X=\sum_{i=1}^d g_iB_i$, where $g\sim N(0,I_d)$, the matrices $B_i\in\mathbb{R}^{d\times d}$ are symmetric, and $\sum_iB_i^2\preceq I_d$. For every even log-concave $f\colon\mathbb{R}\to[0,\infty)$, we obtain $\mathbb{E}\det f(X)\ge(\mathbb{E} f(\kappa G))^d$ at dilation $\kappa=13/5$, where $G$ is standard Gaussian. The proof reduces each function to one small-ball estimate, obtained from matrix-weighted Poincaré inequalities, and controls the rest by averages over the spectrum. We give an equivalent entropy formulation. An explicit counterexample shows that no universal dilation below $\sqrt{\pi/2}$ can work; we conjecture that this value is optimal.

math.FA — Functional Analysis

A Proof of Petz's Conjecture on the Scalar Curvature of the Kubo–Mori Metric

Contributed by Suvrit Sra

Petz (1994) conjectured that the scalar curvature of the Kubo–Mori metric on invertible density matrices increases as the state becomes more mixed. Dittmann (2000) reduced the conjecture to the concavity of an explicit symmetric function $h$ on $(0,\infty)^3$. We prove that $h$ is strictly concave, and hence Petz's conjecture. The proof writes $h=-1/(8M)$ with $M$ positive and homogeneous of degree one, and its central idea is to show that $t\mapsto 1/M(X+tY)$ is a Stieltjes function for all $X,Y>0$; Cauchy–Schwarz and homogeneity then give concavity of $h$ on $(0,\infty)^3$.

math.NT — Number Theory

A 7/8 zero-free half-plane for angular Hecke L-functions over the Eisenstein field

Contributed by Troy Winarski

We reconstruct the argument recorded in a frozen Lean development establishing nonvanishing of the unit-compatible angular Hecke $L$-functions over $\mathbb{Q}(\sqrt{-3})$ in the strict half-plane $\Re(s)>7/8$, apart from the genuine principal pole. The family includes every admissible integer angular order, all nonzero finite ideal moduli, primitive and imprimitive presentations, and real unitary norm twists. This strengthens the earlier $15/16$ result for the same angular family. The proof compares two estimates for a single normalized physical probe: a low bound with exponent $3/16+\omega$ and an approximation by a reciprocal Mellin signal with error exponent $\beta_n-11/16-\sigma$, where $\beta_n$ is the supremum of the real parts of zeros within a finite angular cap. Crucially, the positive saving $\sigma$ is chosen before the target character. Mellin continuation converts these estimates into a strict improvement of the zero supremum. Induction on angular order, together with conjugation, establishes nonvanishing for the full family. The repaired public proof closure passed a clean compilation of 8,213 Lean modules and fresh native Lean kernel replay. An independent AI-assisted audit recorded five ACCEPT verdicts for the repaired package, following the identification and correction of a reproducibility defect in the original archive. We document the mathematical argument, formal verification evidence, and remaining limitations. This manuscript is an expository reconstruction, not independent human mathematical certification. We describe the formally verified proof as a *xenoproof* and the result provisionally as a *xenotheorem*, distinguishing machine-checkable correctness from established human mathematical understanding.

math-ph — Mathematical Physics

Density functionals for the Pauli-Fierz Hamiltonian

Contributed by Mihaly A. Csirik, Andre Laestadius, Markus Penz, Erik I. Tellgren

We develop a density-functional theory for the Pauli-Fierz Hamiltonian of nonrelativistic quantum electrodynamics in the spirit of the convex-analytic formulation of Lieb. We consider finitely many electrons, subject to external scalar and vector potentials, coupled to the full continuum of massless transverse photons with an ultraviolet cutoff. The natural basic variables are the standard electron density and a combined current density, the sum of the paramagnetic current density and a field-induced current density generated by the quantized vector potential. We prove representability results for these density-current pairs and show that the mixed-state constrained-search functional attains its infimum and coincides with the Lieb functional obtained by convex conjugation. Since arbitrarily soft photons purify mixed states at a negligible energy cost without changing their density and combined current density, the pure-state Levy-Lieb functional equals the Lieb functional and is therefore convex, even though its infimum need not be attained. In addition, we establish the zero-coupling limit, which recovers the mixed-state Vignale-Rasolt functional of current-density-functional theory. Finally, we consider the long-wavelength (dipole) limit and show that the limiting functional can be written as a constrained search for the well-known length-gauge dipole Hamiltonian.

math.NT — Number Theory

Every real primitive Dirichlet L-function has de Bruijn–Newman constant at most 9/32: a kernel-checked proof in Lean 4

Contributed by Peter W. Murphy, MD

Let χ be a real primitive Dirichlet character of conductor N ≥ 3 and parity k ∈ {0,1}. Let Λ(s,χ) = (N/π)^{(s+k)/2} Γ((s+k)/2) L(s,χ) be its completed L-function, and let H^χ_t(z) = ∫_0^∞ e^{tu²} Φ_χ(u) cos(zu) du be the de Bruijn–Newman heat flow of Λ(·,χ), normalised so that H^χ_0(z) = (1/8) Λ(1/2 + iz/2, χ). We give a proof, checked by the Lean 4 kernel, that for every such χ and every t ≥ 9/32 all zeros of H^χ_t are real. Equivalently, the generalised de Bruijn–Newman constant satisfies Λ_χ ≤ 9/32. The mathematics is not new, and we say exactly whose it is. De Bruijn's strip-contraction theorem (1950) gives Λ_χ ≤ D²/2 whenever the zeros of H^χ_0 lie in |Im z| ≤ D. Freire, González-Riquelme, Muñoz, Poblete and Salinas observed (arXiv:2610.27343, Remarks 3.1 and 3.4) that the zero-free half-plane Re s > 7/8 for Dirichlet L-functions asserted by OpenAI would give D = 3/4, and hence Λ_χ ≤ 9/32. What this paper adds is a complete formal proof of that composition. For conductors up to 400, FGMPS's unconditional bounds are stronger for 136 of the 242 characters; what is new is that 9/32, for every conductor, is a kernel-checked theorem. OpenAI's half-plane enters as their own kernel-checked Lean theorem. Every other step is proved in Lean on top of Mathlib: de Bruijn's theorem for a general class of kernels, the identification of the theta integral with Mathlib's completed L-function, and Gauss's sign theorem for real primitive characters. The final theorem depends only on the axioms propext, Classical.choice and Quot.sound. In local, unsandboxed replays five checkers accept it: Lean's kernel (run twice), nanoda, and the con-leche/con-ron pair. All five reject a deliberately unsound control. A sandboxed Comparator run against a separately written challenge also accepts it. That run was made by another agent session, and the auditor reproduced its solution export byte for byte. The result rests on OpenAI's Lean proof, whose accompanying manuscript is unrefereed. It is not progress on the Generalised Riemann Hypothesis, which is the statement Λ_χ ≤ 0. A short, separable section records two companion results for ζ that use no OpenAI code, Λ ≤ 225/512 and ψ(x) = x + O_ε(x^{31/32+ε}), both from Cureton and Thorner's half-plane Re s > 31/32. Code, verification records and archive: https://github.com/DrMurphyIsIn/real-dirichlet-dbn-lean (release v1.0.0); DOI 10.5281/zenodo.23840082.

math.CO — Combinatorics

Claw-free perfect graphs are chromatic-choosable.

Contributed by Narayanan Narayanan, Suchismita Mishra, Umesh Shankar

We prove that every claw-free perfect graph $G$ satisfies $\ch(G)=\chi(G)=\omega(G)$. More strongly, if $S$ is a clique of simplicial vertices of $G$ and $k\ge\omega(G)$, every proper precoloring of $S$ extends to a proper coloring of $G$ from arbitrary lists of size $k$ on $V(G)\setminus S$. The proof has three coloring steps: a mixed-list theorem for cobipartite graphs, a precoloring-extension theorem for elementary graphs built on Galvin's kernel method and a homogeneous-pair exchange argument, and a polynomial method (Combinatorial Nullstellensatz) argument for graphs of interval type in which a Vandermonde factor is transferred across each incomplete pair. The three coloring steps are assembled along the structure theorems of Chv\'atal--Sbihi, Maffray--Reed and Chudnovsky--Seymour, using double clique cutsets for composition. As a consequence, every perfect line graph is chromatic-choosable, recovering the theorem of Peterson and Woodall. Our precoloring extension theorem also resolves a conjecture posed by Chudnovsky and Seymour.

math.NT — Number Theory

An Improved Subexponential Bound for Deterministic Integer Factorization

Contributed by Joseph Shunia

We prove that the complete prime factorization of an $n$-bit integer can be computed deterministically in time $2^{O(n/\sqrt{\log n})}$ and polynomial space. This establishes the bound conjectured by Rudich and Rousseau, sharpening their qualitative $N^{o(1)}$ result. The proof combines OpenAI's quantitative Boolean tensor-contraction theorem with the linear-size multiplication encoding of Akshima et al. The encoding permits exact counting of divisors with prescribed binary prefixes without loss in the exponent. The least prime factor is then recovered by successive prefix queries, and iteration yields the complete factorization within the same asymptotic bound.

math.PR — Probability

Upper bounds for the Chvátal–Sankoff constants $\gamma_k$, $k\ge3$

Contributed by David Niedbala Giraudin

Lueker (J. ACM 56(3), 2009) constructed a family of finite-state machines $\mathcal{M}_h$ whose associated transfer matrices yield upper bounds on the Chvátal–Sankoff constants $\gamma_k$, and proved (his Theorem 3.26) that these bounds converge to $\gamma_k$ for every alphabet size $k$. He published values only for $k=2$. For $k\ge3$ the best upper bounds we were able to find in the literature in September 2026 were still those of Dančík's 1994 thesis: subsequent work generalising Lueker has generalised his Section 2, the lower bound. We implement $\mathcal{M}_h$ for arbitrary $k$. One ingredient has no binary analogue — the generating function of a truncation class when both sides of a minimal match pair are truncated — and we derive it. We then give a reduction by relative forms under which the transition multiplicities of the transfer matrix are falling factorials in $k$; one alphabet-free construction consequently determines the exact matrix for every $k$. We obtain improved upper bounds for $k=3,\dots,15$, each supported by a Collatz–Wielandt certificate verified in exact rational arithmetic, among them $\gamma_5\le0.645033$. A note added on 31 October 2026 compares these values with those of a repository made public by L. Jack on 25 October 2026.

math.NT — Number Theory

A closed-form bound for linear forms in three $p$-adic logarithms of rational numbers

Contributed by David Niedbala Giraudin

We deduce from the $p$-adic kit for three logarithms of the companion note hexagon:2610.00706 a fully explicit bound in closed form. If $\gamma_1,\gamma_2,\gamma_3$ are multiplicatively independent rationals, congruent to $1$ modulo $p$ (modulo $4$ if $p=2$), of heights at most $a_j\log p$ with $a_j\ge1$, and if $|b_j|\le B$, then $v_p(\gamma_1^{b_1}\gamma_2^{b_2}\gamma_3^{b_3}-1)\le a_1a_2a_3\,\mathcal{B}^2\max\{27\,711,\ C_2(p)\max_j a_j\}$, where $\mathcal{B}=\max\{\log B/\log p,\,10\}$ and $C_2(p)=11\,107\,\frac{p}{p-1}\bigl(1+\frac{0.31}{\log p}\bigr)^2$, as soon as $\gamma_1^{b_1}\gamma_2^{b_2}\gamma_3^{b_3}\ne1$. By a change of basis in the multiplicative group, the result applies to arbitrary rationals prime to $p$. On the examples of that note, the bound is $42$ to $956$ times smaller than that of Yu's explicit theorem, and stays within a factor between $1.2$ and $2.5$ of the numerical optimisation of the parameters of the kit.

math.NT — Number Theory

The exponent of $p$ in $x^{p-1}-1$: Yamada's constant 283 lowered to 69

Contributed by David Niedbala Giraudin

Yamada (J. Number Theory 130, 2010) deduced from the method of interpolation determinants of Bugeaud and Laurent the bound $v_p(x^{p-1}-1)\le 283\,(p-1)\log y\,\log(xy)/(\log p)^2+4$, for multiplicatively independent integers $x,y$ coprime to $p$. We replace 283 by 69. The new ingredient is an elementary bound, by rearrangement, on the spread of the exponents that occur in the Liouville inequality: it at least halves the height term of Yamada's criterion, involves no congruence class, and allows the parameters to be re-optimised. The proof is complete up to the lemmas of Bugeaud–Laurent (zero lemma, analytic upper bound) and of Laurent–Mignotte–Nesterenko (bound for the polynomial), which are used as they stand. A self-contained verifier checks the numerical inequalities.

math.NT — Number Theory

A kit for linear forms in three $p$-adic logarithms

Contributed by David Niedbala Giraudin

We transpose to the $p$-adic case the kit of Mignotte and Voutier for linear forms in three logarithms. The new tool is a lower bound for the $p$-adic valuation of interpolation determinants with no factorial loss: it is obtained by expanding the powers $\theta^{\ell z}$ as binomial series in $\theta-1$, and then transporting an order of vanishing that we compute optimally for generic points, by means of the initial forms of the space of exponential polynomials involved. It holds for every prime $p$. Combined with a rearrangement bound for the spread of the exponents and with Gouillon's zero lemma applied within a Teichmüller class, it gives a criterion of the form of criterion (2.8) of Mignotte–Voutier, in which $\log\rho$ is replaced by $\log p$ and the height term contains no analytic contribution. For two logarithms, in $\mathbb{Q}_p$ with $p$ odd, it improves Lemma 8 of Bugeaud–Laurent. A change of basis in the multiplicative group reduces to the case of principal units: the factor $g=p-1$ leaves the volumes and moves into the heights. On examples, with exponents up to $10^{10}$ or $10^{30}$, the complete bounds (degenerate cases included) are $154$ to $667$ times smaller than those of Yu's explicit theorem for $p\in\{5,13\}$, $608$ to $1980$ times for $p\in\{7,11\}$ (where the explicit form of Yu goes through $\mathbb{Q}(i)$), and $73$ to $105$ times for $p=101$.

math.MP — Mathematical Physics

Riordan lattice paths counted by area

Contributed by Ilmar Gahramanov

We study Riordan paths enumerated by the area between the path and the axis. We show that the generating function satisfies a $q$-Riccati equation and can be written in a closed form as a ratio of basic hypergeometric series. The auxiliary series admits an algebraic representation as the motivic generating series of a symmetric two-node quiver. We obtain explicit formulas for the coefficients, the exponential asymptotics of the number of paths of given area, and a linear recurrence whose coefficients are signed counts of partitions into distinct parts. For a random path of area $n$ we obtain a joint Gaussian limit law for the numbers of returns, horizontal steps and up steps. The height is of order $\sqrt{\log n}$, and its distribution concentrates on two adjacent integers determined explicitly by $n$.

math.NT — Number Theory

An optimal multiplicity estimate for interpolation determinants in three logarithms

Contributed by David Niedbala Giraudin

In the kit of Mignotte and Voutier for linear forms in three logarithms, the order of vanishing at the origin of the interpolation determinant is bounded below by Waldschmidt's general multiplicity lemma; the authors indicate that this estimate should be improvable. We give a lower bound for this order which is optimal for generic points. The functions involved span a space whose initial forms are described by a uniqueness property for a linear differential equation with constant coefficients. As a consequence, the left-hand side of their criterion (2.8) can be taken equal to $\frac{(2K+1)(L-1)}{3}\log\rho$, with main term $\frac{2KL}{3}\log\rho$ instead of $\frac{KL}{2}\log\rho$. On the two examples of their paper, with their public code modified in one line and the conditions of the zero lemma checked, the bounds given by the criterion go from $17.94\cdot10^6$ to $4.79\cdot10^6$ and from $28.85\cdot10^6$ to $7.00\cdot10^6$. The same estimate is the multiplicity input of our kit for three $p$-adic logarithms.

cs.CC — Computational Complexity

The Esperanza Algorithm for Maximum Independent Set

Contributed by Frank Vega

The maximum independent set problem asks for the largest set of pairwise non-adjacent vertices in an undirected graph. It is NP-hard to approximate within $n^{1-\varepsilon}$ for every $\varepsilon>0$, and under the Unique Games Conjecture it is hard to approximate within $O(\Delta/\log^2\Delta)$ on graphs of maximum degree $\Delta$; the Khot--Regev form of the conjecture, for which a proof has been reported but not yet peer reviewed, also rules out a $(2-\varepsilon)$-approximation of Minimum Vertex Cover. We present version 0.1.6 of \textsc{Esperanza}, which takes the better of a dynamic minimum-degree (Caro--Wei) greedy set and the complement of the \textsc{Salvador} vertex cover, and improves it by three budgeted local searches: repair-and-grow restarts at the cover vertices and at a maximum-degree vertex, chained local restarts realising $(k,k+1)$-improvements, and an iterated $(1,2)$-swap search. We prove that it runs in $O((n+m)\,\alpha_{\mathrm A}(n))$ expected time for fixed budgets, with $\alpha_{\mathrm A}$ the inverse Ackermann function. We prove that the output is a maximal independent set, that its complementary vertex cover has at most $2\tau-r$ vertices, where $\tau$ is the minimum cover size and $r$ the number of components with an edge, and that the ratio is at most $(\Delta+2)/3$ on graphs of maximum degree $\Delta$. We prove the ratio $2\sqrt n$ on every graph with $\Delta\le\sqrt n$ and on three further classes, and state it for all graphs as a conjecture, whose proof would imply $\mathrm{P}=\mathrm{NP}$. We also state the conjecture that the complementary cover has at most $2\tau-|M|$ vertices for the NetworkX minimum maximal matching $M$; a proof would give a $3/2$-approximation for Minimum Vertex Cover and refute the Unique Games Conjecture unless $\mathrm{P}=\mathrm{NP}$. In reproducible experiments the returned set is optimal on all $30\,000$ graphs of a suite certified by an exact integer program; on $40$ Khot--Regev YES instances with $640$ to $2\,560$ vertices the conjectured bound is certified on $38$ and open on $2$; and on $31$ bounded-degree graphs the certified ratio is at most $1.0769$ on the families with a planted independent set.

math.NT — Number Theory

Robin's Inequality at Colossally Abundant Numbers and Nicolas' Inequality at Their Largest Prime Factor

Contributed by Frank Vega

Robin's criterion states that the Riemann Hypothesis holds if and only if $\sigma(n) < e^{\gamma} \cdot n \cdot \log\log n$ for every $n > 5040$, and Nicolas' criterion states that it holds if and only if $c(q) = \log(q\#/\varphi(q\#)) - \gamma - \log\log\theta(q) > 0$ for every prime $q$, where $q\#$ is the primorial of $q$ and $\theta$ is the Chebyshev function. Let $N$ be a colossally abundant number, let $\xi(N)$ be the real number associated with $N$ by Nicolas, and let $q$ be the largest prime not exceeding $\xi(N)$. Writing $\Delta(N) = \log(\sigma(N)/N) - \gamma - \log\log\log N$, we prove without any hypothesis that, whenever $\log q \geq 31$, $1.353/(\sqrt{q} \log^{2} q) \leq \Delta(N) - c(q) + 2\sqrt{2}/(\sqrt{q} \log q) \leq 3.970/(\sqrt{q} \log^{2} q)$. The range $\log q \geq 31$ contains the prime $q$ of every colossally abundant counterexample, in accordance with the author's result that the largest prime factor of the least counterexample exceeds $e^{31.018}$. Thus the functions $\Delta(N)$ and $c(q)$ differ by $2\sqrt{2}/(\sqrt{q} \log q)$ up to an explicit error of order $1/(\sqrt{q} \log^{2} q)$. This comparison is two-sided, but it is not an equivalence between Robin's inequality at $N$ and Nicolas' inequality at $q$: it does not decide Robin's inequality at $N$ when $c(q) \sqrt{q} \log q$ lies between $2\sqrt{2}(1 - 1.4035/\log q)$ and $2\sqrt{2}(1 - 0.4787/\log q)$. As consequences, every colossally abundant counterexample to Robin's inequality yields a prime $q$ with $c(q) > 2.70/(\sqrt{q} \log q)$; conversely, every prime $q$ with $\log q \geq 31$ and $c(q) > 2\sqrt{2}(1 - 0.4787/\log q)/(\sqrt{q} \log q)$ yields a colossally abundant counterexample, which gives a derivation of Robin's known theorem on colossally abundant counterexamples from Nicolas' oscillation theorem; and under the Riemann Hypothesis every colossally abundant number with $\log q \geq 31$ satisfies $\Delta(N) < -0.654/(\sqrt{q} \log q)$, in accordance with the constant $2(\sqrt{2}-1)$ of Ramanujan's bound. For superabundant counterexamples, using the exponent bound of Nazardonyavi and Yakubovich, which gives $\log n \geq \psi(p_{k})$ for the largest prime factor $p_{k}$, we prove $c(p_{k}) > 0.9991/(\sqrt{p_{k}} \log p_{k})$, a bound that applies to the least counterexample, which is superabundant, and we show that the least colossally abundant number not smaller than the least counterexample $n$ is itself a counterexample $N$ with $\log N - \log\xi(N) \leq \log n$.

Author comments: In the revised version we emphasize that Theorem 1.1 is unconditional. Nicolas’ estimates in [20] are proved under RH and, under RH, give a narrower interval than ours (Remark 3.5). Since a counterexample to Robin’s inequality exists only if RH is false, an estimate that assumes RH cannot be applied to one, whereas Theorem 1.1 applies to every colossally abundant number with log q ≥ 31. This is what Corollaries 4.2–4.4 use.

math.IT — Information Theory

The Shared Randomness Cost of Optimal One Use Loop Communication

Contributed by Daniel Adam Pyle

We determine the minimum support and Shannon entropy of a shared classical seed needed to attain optimal worst-message success in a specified one-use normalized-loop model. The loop contains a backward binary symmetric channel with crossover 0 < p < 1/2 and a fixed finite-dimensional forward quantum channel. Seed branches are mixed as unnormalized weights before one normalization for each message. For qubit output and interior forward trace-distance diameter, equality at the known unrestricted optimum forces every supported seed to activate exactly two message labels. The seed-cost problem becomes a fractional perfect matching problem: even message counts are optimally covered by disjoint pairs, while odd counts require a triangle and disjoint pairs. We give separate exact formulas at zero and unit diameter, prove a sufficient higher-dimensional extension of the interior result, and exhibit an erasure-channel counterexample to diameter-only seed costs in general dimension. Explicit near-optimal constructions show how the exact-attainment cost discontinuities can be avoided at finite tolerance. Compactness also gives a strict performance gap below the minimum seed support. A complete exact-certificate calculation determines the two-seed classical optimum for three messages at backward and forward crossover 1/10. These are resource-specific mathematical results, not a physical backward-communication protocol or an asymptotic capacity theorem.

math.IT — Information Theory

Shared Randomness and Normalization in One-Use Loop Communication

Contributed by Daniel Adam Pyle

We study a finite-message communication model defined by contracting one backward binary symmetric channel with one fixed, finite-dimensional forward quantum channel and then normalizing the resulting weights. The devices may share a finite classical seed that is independent of the message before normalization. The seed branches are mixed at the level of unnormalized weights, followed by a single normalization for each message. For M ≥ 2 messages, backward crossover probability 0 < p < 1/2, and forward channel Φ, we derive the exact worst-message success probability S_raw(Φ,p,M) = 2(1−p)/[M−(M−2)(1−2p)δ(Φ)], where δ(Φ) = max over input states ρ, σ of ½‖Φ(ρ)−Φ(σ)‖₁. The quantity δ is the established trace-distance contraction coefficient, not a new channel invariant. A cyclic construction with M seed values attains the bound. Crucially, normalization can make the posterior seed distribution message-dependent: the theorem does not describe an average of separately normalized branches or require success for every seed. We give an exact example separating these conventions. Matched depolarizing-qubit and classical binary symmetric forward channels consequently have equal optima in this resource model. The result is a restricted one-use optimization, not a physical backward-communication protocol or a general asymptotic capacity theorem.

math.NT — Number Theory

Cyclic reductions of elliptic curves at a positive proportion of primes

Contributed by Manjul Bhargava

We prove that every elliptic curve over $\Q$ whose points of order two are not all rational has cyclic reduction at a positive lower density of primes. This is the only necessary restriction: full rational two-torsion prevents cyclic reduction at every odd prime of good reduction. More precisely, a common zero-free half-plane $\Re s>1-1/N$ for Dedekind zeta functions gives a lower proportion of at least $c_E/(N\log N)$, with $c_E>0$ independent of $N$; the theorem of Cureton and Thorner supplies $N=32$. The proof uses the varying-cofactor sieve of our earlier works on primitive roots and primitive points, in conjunction with the marked Type~II estimates of~OpenAI, to construct candidate primes. We then apply a smoothed explicit formula for Dedekind zeta functions, with nonnegative weights on prime ideals, to bound the number of candidates with noncyclic reduction. This gives a common argument for CM and non-CM curves.

math.OA — Operator Algebras

Noncommutative Lagrange-Fujiwara, Carmichael-Mason and Kuniyeda Bounds for Roots of Polynomials

Contributed by K. MAHESH KRISHNA

Two centuries ago, Lagrange derived an upper bound for every root of a complex polynomial using the maximum of powers of coefficients. In 1916, Fujiwara independently found the Lagrange bound. In 1914, Carmichael and Mason derived an upper bound using the sum of squares of the absolute values of the coefficients of a polynomial. This bound was extended by Kuniyeda in 1916. We derive noncommutative versions of the Lagrange-Fujiwara, Carmichael-Mason and Kuniyeda bounds.

math.NT — Number Theory

Deterministic Polynomial-Time Primality Testing with a Single Binomial Congruence

Contributed by Joseph Shunia

We give a deterministic polynomial-time primality test whose main verification is the congruence $(1+X)^n=1+X^n$ in $C_n[X]/(X^r-b(Y))$, where $C_n=(\mathbb{Z}/n\mathbb{Z})[Y]/(\Phi_r(Y))$. Two identities in the coefficient ring normalize $b$ and ensure compatibility with the main congruence. A finite-field root count and a lattice bound show that an accepted input is a prime power; elementary preprocessing excludes nontrivial perfect powers. We construct $b$ deterministically using Jacobi sums and the uniform Dedekind-zeta zero-free theorem of Cureton and Thorner, which extends OpenAI's Hecke zero-free theorem. The total bit complexity is $L^{32+o(1)}$, where $L=\lceil\log_2 n\rceil$, and verification after constructing $b$ costs $L^{6+o(1)}$. More generally, for a fixed real algebraic $1/2\le\theta<1$, a common zero-free boundary $\Re s>\theta$ for the relevant Dedekind zeta functions gives $L^{\max\{6,(1-\theta)^{-1}\}+o(1)}$. This bound reaches $L^{6+o(1)}$ at $\theta=5/6$, and hence under GRH. We state a fixed-base modification of Agrawal's conjecture for odd integers passing the base-$2$ Fermat test, using the modulus $X^r-2$ with $r$ the least positive integer not dividing $n(n-1)$.

math.CV — Complex Variables

A contact and coefficient correction for Korenblum's constant

Contributed by Ricardo Pinho

We give an unrefereed computer-assisted proof that Korenblum's constant in unweighted Bergman space satisfies $C_{68}\ge 0.44685$. The new input retains the signed first contact harmonic in an annular coefficient estimate. An outer factor and square completion yield a correction of $19/200$ to the linear coefficient, replacing the $7/100$ correction of version 2. A rational measure verifies the resulting moment conditions. We include the analytic argument and describe the finite interval certificates and both infinite tails. The Green/flux input is V. Patankar's (PR 274); the coefficient and moment methods build on Wang, Pinho's earlier construction, and Wikström. There has been no independent human review or formalization.

math.NT — Number Theory

A trace upper-bound certificate with classical auxiliaries on an adaptive density

Contributed by Ricardo Pinho

An exactly specified rational piecewise-linear density gives $C_{86}\le1.80560940$ for the Schur--Siegel--Smyth trace constant. It uses 28 classical auxiliary polynomials, ten with nonreal roots, and 5,375 rational nodes. Their recorded list occurrences are: Flammang 2019 (all 28), Liang--Wu 2011 (26), Flammang 2009 (21), McKee 2011 (21), Tomar's public A22 pool (18), Aguirre--Peral 2007 (16), and Flammang 2024 (9). The density refines infrastructure originating in Tomar's adaptive-node certificate. We give the full deduction from finite potential and logarithmic-integral checks through Smith's arithmetic-measure criterion and converse theorem, and describe the rigorous continuous enclosures. The contribution is the explicit feasible measure and its smaller upper bound. This note is unrefereed, with no independent human review or formalization.

math.CO — Combinatorics

Derivative controls and Boolean completion in the relevant-variable recurrence

Contributed by Ricardo Pinho

We give the unrefereed bound $C_{44}<2.0417086280$ for the number of relevant variables of a Boolean function of real degree $d$, $r(f)\le C_{44}2^d$. The argument bounds the number of coordinates controlling a ternary derivative, exploits its dictator branches and Boolean completion, and propagates local-degree caps. The small-degree inputs are $R_4=22$, $R_5\le50$, and $R_6\le109$. The quartic proof uses an exact calculation on Rasoolzadeh's published cubic catalogue; the remaining finite arithmetic is rational. The lower bound remains $3/2$. There has been no independent human review or formalization.

math.CO — Combinatorics

An exact computer-assisted certificate for R(5,6)≤84

Contributed by Dr. András Pongrácz

We give an exact computer-assisted proof of R(5,6)≤84. We derive a system of linear inequalities that must be satisfied by any graph on 84 vertices containing neither a five-vertex clique nor a six-vertex independent set. We provide explicit nonnegative rational weights for which adding these inequalities yields a contradiction. Published small Ramsey bounds and complete catalogues of smaller Ramsey graphs supply the external inputs. The accompanying verification programs check the derivation of the inequalities and their weighted sum using exact arithmetic. Two supplements give a worked local calculation and a detailed mathematical specification of the complete proof.

cs.CC — Computational Complexity

The partition exponent in the graded pieces of the Claude 3-SAT algorithm is optimal for pieces of that shape

Contributed by Carlos Stein Naves de Brito

In Appendix B of "A $2^{o(n)}$ time algorithm for 3-SAT" (Claude, Anthropic, hexagon:2610.00577) the gain parameter $\rho = 1/\sqrt{2}$ comes from the Hardy--Ramanujan growth $\log p(E) \sim c\sqrt{E}$ of the partition numbers, and Appendix H observes that growth of order $E^\alpha$ would give $\rho = 2^{\alpha-1}$ by the same calculation. We point out that the rank floor stated in the same Appendix H already excludes $\alpha < 1/2$ for every graded family of the same shape: the pieces at weight $h$ have total rank at most $(4h+1)\dim V_{\le 4h}$ in one of the two directions, and the crossing they must add up to has rank $(\dim V_h)^2$, so the construction needs $\log \dim V_{\le 4h} \ge 2\log\dim V_h - O(\log h)$, that is $\alpha \ge 1/2$. Restoring the rank with a larger weight costs $\rho \ge 2^{-\alpha}$ in the weight count, so the count never goes below $\max(2^{\alpha-1}, 2^{-\alpha}) \ge 1/\sqrt{2}$, with equality only at $\alpha = 1/2$; when the identity holds on the whole weight space, as Lemma 9 of the paper gives it, the bound sharpens to $2^\alpha/(2(4^\alpha-1))$, which exceeds 1 for $\alpha < 0.357$. Theorem B of the paper is rank-tight up to a polynomial factor. The inequality is exact and we tabulate it: for the partition numbers it holds for every $h$, for partitions into squares ($\alpha = 1/3$) it fails for all $h \ge 5891$. We also record that the Heisenberg Fock spaces on a sparse set of modes, the natural candidates for slower growth, do not carry Lemma 9, and that no choice of coefficients repairs it. The floor $\rho \ge 1/2$ remains open.

math.DG — Differential Geometry

Isometric embeddings of parallelizable and stably parallelizable Riemannian manifolds

Contributed by Wenchang Yang, Yi Wang

Let $s_n=n(n+1)/2$. We prove that every smooth parallelizable Riemannian $n$-manifold, $n\ge 3$, admits a smooth isometric embedding into $\mathbb{R}^{s_n+1}$ whose image lies in an arbitrarily small ball. For closed stably parallelizable manifolds, each of whose connected components has vanishing Euler characteristic, we obtain small-image isometric embeddings into $\mathbb{R}^{s_n+5}$. The proof combines explicit partial isometries along commuting Hopf flows, an iterative scheme for exact metric correction using oscillatory perturbations constructed from the second fundamental form, and a transversality argument for metric-preserving perturbations.

math.NT — Number Theory

The Riemann hypothesis as a margin: a two-sided criterion verified to 2*10^29, the fourth-moment anatomy of Mobius cancellation, and one constant seen from every side

Contributed by Pedro Caceres

This paper collects, with uniform notation, a month of new results around one way of looking at the Riemann hypothesis (RH): as the statement that explicitly computable margins stay on one side of explicit constants for ever. Part I studies the Cesaro margin M(N) between a smooth curve and the weighted prime sum 2*sum_{q<N} Lambda(q) q^{-1/2} log(N/q): RH is equivalent to M(N) >= 0 for all large N (a theorem of Suzuki), and we verify 0 < M(N) < 0.18484 for every real 1 < N <= 2.15*10^29, with explicit unconditional bounds beyond; the margin is analyzed as a walk of the primes against a curve, as an energy, and as a one-sided mean: RH holds if and only if a weighted mean of the prime-counting error stays below -B = -(1 + gamma/2 - (1/2) log 4pi) for ever. Part II dissects the Mobius side of the same coin: an exact positive-definite variance identity for sum_{d<=D} mu(d)({x/d}-1/2), empirically Gaussian statistics, and an exact anatomy of the fourth moment — the conductor-1 orbit decouples, the cross term moves only at composite squarefree conductors, two of its four sectors are O(D log^4 D) unconditionally, and an empirical jump law, first refuted, is proved exactly in its sector. Part III shows that 2B is the Baez-Duarte constant of the Nyman-Beurling criterion and recomputes the Nyman-Beurling distances from scratch through Vasyunin's cotangent formula: d_N^2 log N reaches 0.0461 against 2B = 0.04619, with no zero of zeta used anywhere in the computation. Part IV distils the author's twenty-two-part study of the cross-energy of consecutive Dirichlet partial sums: the trichotomy that singles out the critical line as the trace of the pole, the energy law (the mean energy of the prime-counting error is >= 2B unconditionally, with equality if and only if RH holds with simple zeros), the energy slope as a truncated Weil functional exact in the primes, the functional reflection that reproduces Hardy's function from the integers, and the systematic Davenport-Heilbronn and Beurling controls. Part V states precisely what none of this can do: a no-go theorem shows that weights indistinguishable from the primes' to q^(delta-1/2) satisfy every averaged statement here and still carry an off-line zero, so the exact identity Lambda = mu * log must enter beyond its first moments. The paper opens with a list of its twenty-two original contributions and a matching statement of what is due to others. We do not prove the Riemann hypothesis, and no statement in this paper should be read as progress towards it beyond what it literally says.

math.NT — Number Theory

Uniformizability of elementary Anderson $t$-motives of dimension $2$

Contributed by David Niedbala Giraudin

Let $M(A)$, $A\in M_2(\mathbb{C}_\infty)$, be the elementary Anderson $t$-motive of dimension $2$ and rank $4$ defined by $Te=\theta e+A\tau e+\tau^2e$. Using the affine equation of Ehbauer, Grishkov and Logachev, we give an explicit sufficient condition for $M(A)$ to be uniformizable, in terms of the valuations of the coefficients of that equation. It holds as soon as no cancellation occurs among the four summands of one of these coefficients; in particular $h^1(M(A))=4$ in the simple case where no cancellation occurs in any coefficient. This proves their Conjecture 3.7: $h^1(M(A))=4$ whenever $(\mathrm{ord}\,a_{11},\mathrm{ord}\,a_{12},\mathrm{ord}\,a_{21},\mathrm{ord}\,a_{22})$ lies outside an explicit union of nine hyperplanes.

math.NT — Number Theory

Ultrametric Bourgain-Figiel-Milman, Enflo Type and Mendel-Naor Cotype Problems

Contributed by K. MAHESH KRISHNA

We ask for ultrametric version of following three: (1) Bourgain-Figiel-Milman Theorem, (2) Enflo Type, (3) Mendel-Naor Cotype.

math.PR — Probability

Curvature-Induced Killing at Stochastic Algebraic Folds

Contributed by Zhenyu Sun

We study the lifetime of a regular algebraic branch under continuous forcing and infinite-activity tangent jumps. For a parabolic fold, a first-order tangent kick decreases the discriminant by an exact quadratic amount. Symmetric stable marks of index $\alpha\in(0,2)$ therefore generate a one-sided normal jump kernel of index $q=\alpha/2$, with a coefficient determined by curvature. The normal diffusion and jump amplitudes depend on the evolving tangential state. We compute the full killed generator on powers of the discriminant and obtain occupation and terminal-jump bounds for this same joint process. Uniformly subcritical normal drift gives finite censored boundary lifetime and finite cumulative killing rate; continuous contact and jump exit both have positive probability. At and above the uniform critical threshold, a logarithmic nonlocal barrier excludes censored boundary contact, and the original branch terminates at a jump almost surely. A comparison after a stochastic time change yields an explicit stretched-exponential upper bound for survival and hence all positive lifetime moments. In the subcritical regime, an optimized upper bound for the probability of jump termination tends to zero as the curvature coefficient or the initial discriminant tends to zero. The analysis combines power estimates for the jump generator with a logarithmic barrier at the critical threshold. Numerical calculations illustrate the dependence of terminal causes on curvature.

math.GM — General Mathematics

Arithmetic Expression Spaces: Expansion and Motion, Eikonal Equation, Horocycle Pullbacks, Commutativization, Contact Structure, and Tearing

Contributed by Mingli Yuan

An arithmetic expression is a word of operations; a motion is a flow on a manifold. For expressions whose evaluation has a single internal spine, the two are one structure: affine for addition and multiplication, projective once the second operand slot is divided, contact-geometric in the order defect. A regular arithmetic expression space (AES) is an oriented Riemannian surface $(M,g)$ with a smooth assignment $a\colon M\to\mathbb R$ satisfying the eikonal equation $|\nabla a|_g^2=\mu^2+\lambda^2a^2$; the four operations then act as motions translating and scaling $a$. In the basic model $\mathfrak E_0$, the upper half-plane with the left-invariant metric of $\mathrm{Aff}^+(1,\mathbb R)$ (curvature $-\lambda^2$), addition and positive multiplication are affine translations and dilations obeying a Baumslag--Solitar law, and $a$ is a Laplace--Beltrami eigenfunction of eigenvalue $2\lambda^2$. Left-expanded words stay in the affine Borel cell fixing $\infty$; the right-expanded language, once second-slot division is admitted, generates all of $\mathrm{PGL}_2(\mathbb R)$ through the rank-one Bruhat decomposition, and pulling standard horocycles back along one operator word gives the dual reading, ripple geometry. Commutativizing the motions by total charge yields the accumulative commutative space, where the order defect of two histories is an exact weighted area, the tearing. The same defect is the constant $\mu\lambda$ in the bracket $[D_u,D_v]=\mu\lambda\partial_a$ of the horizontal fields of $\alpha=da-\mu\,du-\lambda a\,dv$, a contact form whenever $\mu\lambda\ne0$, and it is the curvature of that horizontal connection; for $\mathfrak E_0$ the basic model is proved to be the Reeb quotient of the contact model, and fixed-charge tearing and fixed-state Reeb drift are Legendre dual readings of the same curvature. The generators $\partial_a$, $a\partial_a$, and $a\log a\,\partial_a$ span an infinite-dimensional Lie algebra, so no finite-dimensional Lie group carries all three ranks, and no observable of the charge endpoint detects tearing. For every finite puncture count a conformally compactifiable punctured AES is constructed, with an explicit four-circle zero locus and exact reconstruction from three-ended pants blocks. All results are elementary, planar, or local to a three-dimensional contact model.

math.DG — Differential Geometry

Closed three-manifolds as hypersurfaces of Euclidean fourspace: compactness, the homogeneous geometries, and total absolute curvature

Contributed by Jay Thrussell

## Abstract Let $(\Sigma, g)$ be a closed Riemannian three-manifold, and let $\mathbb M = -G$ be its negative Einstein endomorphism. Where $\det\mathbb M > 0$, the companion paper [MA] reduces realizability as a hypersurface of $E^4$ to one equation, $F(g) = 0$, and studies it locally. Here we treat the global questions. - **Compactness.** A closed realization has $\det\mathbb M \geq R^{-6}$ at a point farthest from any centre, where $R$ is that distance, and so $\max\det\mathbb M \geq 125/(8\,\mathrm{diam}^6)$ by Jung's theorem. If $\det\mathbb M > 0$ everywhere, the realization is a strictly convex embedded sphere, unique up to rigid motion. So a closed connected metric with $\det\mathbb M > 0$ is realizable iff $\Sigma$ is simply connected and $F(g) = 0$. No closed three-manifold other than $S^3$ carries such a realizable metric. - **The homogeneous geometries.** A realizable closed metric with $\det\mathbb M > 0$ and constant scalar curvature is round, and so is every compact locally homogeneous realization. Locally, constant $\mathbb M$-eigenvalues with $\det\mathbb M > 0$ force constant curvature, a case of Tsukada's classification. This recovers Agaoka and Hashinaga's list of the left-invariant metrics that embed locally. The eight Thurston geometries are worked as checks. - **Total absolute curvature.** $J(g) = \int\sqrt{\det\mathbb M}\,dV$ equals $2\pi^2$ on every closed realizable metric with $\det\mathbb M > 0$, so any other value excludes realizability. At the round sphere $J$ is stationary. Its second variation on transverse-traceless tensors of level $n$ is $-(\mu_n + 2)(\mu_n + 3)/16$ times the squared norm, $\mu_n = n^2 - 3$, and its radical is exactly the conformal and Lie directions. On conformal rays $J$ is flat to third order. Along the conformal path of [MA], $J = 2\pi^2 - \pi^2t^4/12 + O(t^6)$. - **Non-convex realizations.** Embedded hypersurfaces of revolution are non-convex exactly around their necks. For the radial graphs $r = 1 + \varepsilon\cos2\chi$, convexity is lost at $\varepsilon = 1/5$ in a Whitney cusp of the Gauss map. With $\delta = \varepsilon - 1/5$, the relative excess $J/2\pi^2 - 1$ then grows as $500\,\delta^{3/2}/(9\sqrt2\,\pi)$. - **Connectivity, and the round sphere.** Modulo isometry, the closed realizable metrics with $\det\mathbb M > 0$ form a contractible family, contracted by an explicit equivariant path. The embedded hypersurfaces of revolution join the round sphere through the degenerate locus. We collect the characterisations of the round sphere, with their hypotheses. Every displayed result is reproduced by a script; Appendix V indexes them.

math.CO — Combinatorics

Local independent sets and colourings of triangle-free graphs

Contributed by Matthew Bowen, András Máthé, Oleg Pikhurko

This AI-assisted draft constructs, for every sufficiently large $D$, a local rule of radius $O((\ln D)^2)$ that produces, on any triangle-free graph $G$ of maximum degree at most $D$, a random independent set that includes each vertex with probability at least $(1-o_D(1))\ln D/D$. Further properties of the rule yield, for every fixed $\varepsilon>0$ and all sufficiently large $D$, a randomised LOCAL algorithm that colours any such finite graph $G$ with at most $(1+\varepsilon)D/\ln D$ colours, with high probability, in $O_\varepsilon(\ln D)+(\ln\ln |V(G)|)^{O(1)}$ communication rounds. Applying known transference principles for Borel graphs, we obtain the same asymptotic bound on the number of colours for measurable and Baire-measurable colourings, and for Borel colourings of graphs with finite asymptotic separation index.

math.PR — Probability

Smallest Gaps between Eigenvalues of Wigner Matrices without Smoothness Assumptions

Contributed by Patrick Lopatto

We determine the asymptotic distribution of the smallest gaps between eigenvalues in the bulk of the spectrum of real symmetric Wigner matrices, including Bernoulli matrices. After multiplication by $N^{3/2}$, the gaps and their locations converge to a Poisson point process with the same intensity as for the Gaussian orthogonal ensemble. Since changing a single entry can move eigenvalues by an amount comparable to the smallest gaps, standard perturbative comparison estimates do not directly resolve this scale for arbitrary entry distributions. Instead, we use that resampling a few random entries does not change the law of the matrix, and we show that the resampling moves each pair of nearby eigenvalues by a random walk that satisfies a local limit theorem; this requires excluding arithmetic structure in the eigenvectors. We also prove a law of large numbers for the number of gaps at all scales between $N^{-3/2}$ and $N^{-1}$, and we sketch the proof of the analogous smallest-gap result for complex Hermitian Wigner matrices.

math.IT — Information Theory

Finite Alphabet Communication with Noisy Forward Memory in a Normalized Loop

Contributed by Daniel Adam Pyle

We study one-use communication of a finite classical message through a stipulated normalized loop containing a backward binary symmetric channel and one noisy forward memory carrier. The carrier is either a classical bit or a qubit; no shared random seed, retained side register, or entanglement is supplied. For every finite message count, we characterize the qubit optimum by a constructive scalar feasibility test. For rational noise parameters and a rational target success, the test uses O(M²) constant-size rational arithmetic checks. The proof combines an exact decoder reduction, minimum-trace allocation for constant encoders, and a concave geometric cap with a matching polygon construction. For three messages, the qubit and classical-bit optima coincide throughout the allowed noise range; an explicit Bernstein certificate proves the remaining polynomial inequality. For four messages, an exact rational qubit protocol exceeds a bound valid for every classical-bit protocol. These are conditional mathematical results for the declared resource model, not a construction of a physical backward channel. Independent human review and originality assessment remain pending.