All works

math.RT — Representation Theory

Pretorsion theories and image-closed subcategories

Contributed by Haruhisa Enomoto

A pretorsion theory generalizes a torsion pair by allowing its two components to have a nonzero intersection, with morphisms factoring through the intersection playing the role of zero morphisms. In the module category of a finite-dimensional algebra, the first and second components of pretorsion theories are known to be the quotient-closed and submodule-closed subcategories, respectively. We show that the intersections of the two components are precisely the image-closed subcategories, namely those containing the image of every morphism between their objects, and that the pretorsion theories form a complete lattice. For a linearly oriented quiver of type A, we prove that the numbers of pretorsion theories and of image-closed subcategories are the Genocchi and median Genocchi numbers, respectively. Counting pretorsion theories by the number of indecomposable modules in their intersection, and image-closed subcategories by their number of indecomposable modules, yields the Gandhi polynomial refinements of Han and Zeng.

Author comments: Currently we are working Lean formalization, which will be released soon.

math.RA — Rings and Algebras

The L’vov–Kaplansky Conjecture for Matrices of Sufficiently Large Order

Contributed by Qiyue Tang

For each positive degree, the L’vov–Kaplansky conjecture holds over arbitrary fields in all matrix sizes beyond a threshold depending only on the degree. In these sizes the image of a nonzero multilinear polynomial is the traceless subspace if every cyclic coefficient sum vanishes, and the full matrix algebra otherwise.

math.RT — Representation Theory

Structural Reductions for Lusztig’s Conjectures in Types (B_n), (\widetilde B_n), and (\widetilde C_n)

Contributed by Qiyue Tang

We develop structural reductions for Lusztig’s conjectures P1–P15 for unequal-parameter Hecke algebras of finite type (B_n) and nonextended affine types (\widetilde B_n) and (\widetilde C_n). The results include integral parabolic propagation mechanisms, reductions of P15 to constant leading-coefficient identities, spectral degree bounds, and finite-facet attainment criteria connecting affine tempered representations with the original Kazhdan–Lusztig filtration. Exact computations verify the relevant identities in the recorded finite-rank cases. These results produce internally audited proof candidates and isolate the remaining comparison and attainment problems required for unconditional all-rank statements.

math.NT — Number Theory

Odd/Odd Records for a Relative Approximation Error: Three Quadratic Classifications and an Exact Certificate

Contributed by Elias De Jesús

For a quadratic irrational α > 1 and positive odd integers m, k, set H = mα + k and ε = |mα − k|/(mα + k). A state (m, k) is a strict chronological record if ε is smaller than at every admissible state of smaller H. We classify the strict records completely for α = φ, α = 1 + √3 and α = √3. In each case they are a finite explicit union of orbits of a single unimodular matrix, with signed defect cycles (−1, +1, −5), (−3, +1, −11) and (−2) respectively. The proofs rest on two exact identities that make ε a function of the defect N and the conjugate factor η alone, on a norm cutoff |N| ≤ 18, 204, 27 derived from heights, and on a finite exact certificate that decides every remaining comparison. Two phenomena require care and are isolated: at φ the competition between the Fibonacci and Lucas ladders is a genuine tie at leading order, decided by an integer identity N_B = −5N_A; and at √3 a companion family has exactly equal error at larger height, so it is excluded by equality rather than by loss. The results resolve two conjectures of the author's earlier note and correct one assertion there. Nothing here is formally verified or refereed, and the uniform generalisation is left open.

Author comments: First version, 17 pages. Supporting materials—including the exact-arithmetic certificate, verification scripts, complete orbit tables, and supplementary documentation—are available at: https://github.com/innerlightr-wq/two-mode-oscillator-record-chronologies/tree/main/congruence-records

math.NT — Number Theory

Subrings of $\mathbb{Z}^n$ of prime-power index and modular forms

Contributed by Anwesh Ray

Let $f_n(m)$ denote the number of unital subrings of index $m$ in $\mathbb{Z}^n$, with coordinatewise multiplication, and let $g_n(p^e)$ count those whose reduction modulo $p$ is the diagonal copy of $\mathbb{F}_p$. Voll's uniformity question asks whether the local subring zeta functions can be described by a single rational function in $p$ and $p^{-s}$. Polynomial formulas for $f_n(p^e)$ are known for $e\le9$. We prove that neither $f_{10}(p^{17})$ nor $g_{10}(p^{17})$ agrees with a polynomial in $p$ for all sufficiently large primes. We introduce new geometric and cohomological methods for this problem, moving beyond the earlier combinatorial calculations. We compare the counts over $\mathbb{Z}_p$ and $\mathbb{F}_p[[t]]$ and, for all sufficiently large primes, express them as point counts on reductions of varieties over $\mathbb{Q}$. The Grothendieck--Lefschetz trace formula relates these counts to compactly supported $\ell$-adic \'etale cohomology. We identify a contribution from Tate twists of the two-dimensional Galois representation attached to the weight-twelve cusp form $\Delta$. We show that this modular contribution does not cancel when all parts of the count are combined. Consequently, there is no polynomial $P\in\mathbb{Q}[X]$ such that $f_{10}(p^{17})=P(p)$ for all but finitely many primes $p$. This gives a negative answer to Voll's uniformity question even when finitely many exceptional primes are allowed.

math.CO — Combinatorics

The Kopotun Subpermanent Transform Inequality

Contributed by Yair Lavi

We prove the subpermanent transform inequality conjectured by Kopotun in 1996: for every doubly stochastic matrix $A$ of order $n\ge2$ and every $2\le k\le n$, $\sigma_k(A)\ge\sigma_k((nJ_n+A)/(n+1))$. Here $\sigma_k$ is the sum of all subpermanents of order $k$, and $J_n$ has every entry $1/n$. Equality holds exactly at $A=J_n$.

cs.LO — Logic in Computer Science

Formalizing the interpolation lemma of the openai/math Landau–Siegel paper and substituting it into a Comparator-accepted proof

Contributed by Joseph Reilly

OpenAI’s openai/math release includes a Lean formalization of “Uniform exclusion of Landau–Siegel zeros” (OpenAI, October 1, 2026). Its Comparator challenge has two checked theorems, whose statements we prove equivalent in Lean. OpenAI proves them by two routes, neither through the paper’s proof of Lemma 3. The catalogued main result, exists_absolute_real_zero_gap, gets its spanning step from a local Bézout argument and does not use OpenAI’s Corollary 4 theorem. The second theorem, dirichletRealZeroBound_proof, proves Corollary 4 by a multiplicity estimate. We formalized the paper’s proofs of Lemma 3 and Corollary 4 in Lean. By reading, the Lean statements match the paper’s, and the declarations use only the axioms propext, Classical.choice and Quot.sound. A +2/-1 substitution puts the paper’s Corollary 4 into dirichletRealZeroBound_proof. Comparator accepts the result with both kernels at openai/math fd4aeeb under a deny list of all 45 socket address families, and that theorem’s closure no longer contains the three named OpenAI lemmas. Our replay of the corpus agrees with an independent replay on all 402 configurations where both have a verdict.

Author comments: First version. Replay logs, tool pins, configurations, and checksums are archived at Zenodo, doi:10.5281/zenodo.23695266. Prepared with substantial assistance from Claude (Anthropic) via Claude Code; transcripts are included as supplementary material. This work reports what the formal statements and kernel runs show and makes no claim about the mathematical correctness of the underlying proofs.

math.CO — Combinatorics

An affine criterion for a classical four-point family

Contributed by Alexandre Couret

For a classical family of four-point subsets of a cyclic group, we give an explicit greatest-common-divisor criterion for equivalence under translations and arbitrary unit multipliers. Let $q>0$ and $x\in\mathbb{Z}/(4q)\mathbb{Z}\setminus\{0,q,2q,3q\}$, with representative $X$. The supports $P=\{0,q,x,x+2q\}$ and $Q=\{0,q,x+q,x+3q\}$ have identical labelled ordered sum profiles, including diagonal pairs. They are not affinely equivalent exactly when $q/\gcd(q,X)\equiv2\pmod4$. The argument handles nonunit parameters by lifting units between quotient rings. No bibliographic novelty is claimed.

Author comments: Short note for mathematical and bibliographic review. The four-point family is classical; no novelty claim is made for the affine criterion. Independent human mathematical review remains outstanding. Ancillary Python code provides a finite check for q <= 32 and does not replace the general proof.

math.CO — Combinatorics

Complex and real counterexamples to an inequality arising from Drury's conjecture

Contributed by Yair Lavi

We give counterexamples to the following inequality, stated by Zhang as a consequence of Drury's 2016 permanent conjecture: if $A=(a_{jk})_{j,k=1}^n$ is a Hermitian positive semidefinite matrix of order $n\geq2$, then $\sum_{j=1}^{n-1}|a_{jn}|^2\operatorname{per} A[\,\hat{\jmath},\hat{n}\,]\leq\operatorname{per} A$ where $A[\,\hat{\jmath},\hat{n}\,]$ is the principal submatrix obtained by deleting indices $j$ and $n$. Our complex example has order twelve and rank two; our real example has order twenty-one and rank three.

math.CO — Combinatorics

A Dittert-like inequality for homogeneous stable polynomials

Contributed by Yair Lavi

We prove a coefficient inequality for every homogeneous real stable polynomial $P(s,x_1,\ldots,x_n)$ of degree $n\ge1$ with nonnegative coefficients. If $P(1,0,\ldots,0)=1$, $r_i=\partial_{x_i}P(1,0,\ldots,0)$, and $\sum_i r_i=n$, the following inequality holds, where brackets denote coefficient extraction: $[x_1\cdots x_n]P(0,x_1,\ldots,x_n)+2-\prod_i r_i-P(0,1,\ldots,1)\ge \frac{n!}{n^n}$. Equality holds exactly for $P=(s+\sum_i x_i/n)^n$. The normalizations can be removed by rescaling $P$ and the $x_i$. We give applications to permanents, mixed discriminants, subpermanents, and stable combinatorial measures. In particular, the theorem gives an independent proof of Dittert's conjecture for nonnegative matrices in every dimension.

cs.DS — Data Structures and Algorithms

An Optimal Deterministic Adversary for Sorting

Contributed by Nicholas Nash

This paper describes an optimal deterministic, polynomial-time adversary for ordinary sorting. For any correct sorting algorithm, the adversary forces that algorithm to make $(1-o(1))n\log_2 n$ comparisons. The best previously known adversary forced $\frac{37}{64}n\log_2 n$ comparisons. The adversary recursively moves items into ordered subproblems, extending the classical framework in which items move down a binary tree.

Author comments: Source, exact numerical checks, and related Lean 4 formalization: https://github.com/nicknash/sorting-adversary-proofs . The paper distinguishes this continuous-position presentation from the repository's earlier integer-colour construction.

math.RA — Rings and Algebras

The L’vov–Kaplansky conjecture in degrees three and four over arbitrary fields

Contributed by Qiyue Tang

We prove that for every field (K) and every positive integer (n), the image of each multilinear noncommutative polynomial of degree three or four on (M_n(K)) is a (K)-linear subspace.

math.RT — Representation Theory

The singular-support characterization of Lusztig sheaves

Contributed by Qiyue Tang

We prove that for every finite loop-free quiver and every dimension vector, a simple equivariant perverse sheaf with complex coefficients on the quiver representation space is a Lusztig sheaf if and only if its singular support lies in Lusztig’s nilpotent variety.

math.CV — Complex Variables

An explicit counterexample of degree 29440 to Smale's mean value problem with constant one

Contributed by David Niedbala Giraudin

For a complex polynomial p with p(0)=0 and p'(0)=1, let S(p,0) be the minimum of |p(c)/c| over the critical points c of p. Adamczewski and Colbrook recently gave an explicit polynomial of degree 29984 with S(p,0)>1, certified by interval arithmetic, built on the counterexample found by GPT-6 Astra. Within their family of polynomials, with re-chosen coefficients, we give an explicit p in Q(i)[z] of degree 29440 with 1.00000093069254310 < S(p,0) < 1.00000093069254311. Jatar and Ng have shown that Smale's constant sup_p S(p,0) exceeds 1.1018, through polynomials of unspecified degree; the point here is an explicit polynomial with a certified bound. The bound is certified twice: by a ball-arithmetic Krawczyk certificate covering all 29439 critical points, and, independently, by the Adamczewski-Colbrook verifier, which confirms 29418 of them and is inconclusive (insufficient working precision) on the other 21. The exact coefficients and both verification programs are provided as ancillary files.

Author comments: 4 pages. Ancillary files: exact specification (polynomial_N1840.json), critical-point centres and disks, ball-arithmetic verifier (verify_ball_N1840.py), certificate summary, and the parameter patch used to run the Adamczewski-Colbrook verifier.

math.RT — Representation Theory

Self-injective dimensions under stable equivalences of Morita type

Contributed by Qiyue Tang

Stable equivalences of Morita type preserve the left and right self-injective dimensions of Artin algebras. The defining tensor functors can send injective modules to noninjective modules.

math.AC — Commutative Algebra

Counterexamples in positive characteristics

Contributed by Rahul Ajit, Seungsu Lee

AI found the following counterexamples (following human directions) to 3 important questions: For every prime $p$ we construct a smooth projective rational surface that is globally $+$-regular, with anticanonical divisor nef but neither big nor semiample. Its completed cone is a three-dimensional $F$-finite splinter with regular punctured spectrum and embedding dimension six. Both test ideals are the maximal ideal, so the cone is not weakly $F$-regular. A discrepancy calculation by humans rules out every effective klt boundary. A separate four-dimensional complete normal local domain has distinct big and finitistic test ideals.

Author comments: All main ideas and constructions in this draft are either explicitly suggested or fully developed by AI. The humans (R. Ajit and S. Lee) asked specific questions and gave related directions, papers, and even precise result statements to AI so that it could explore those directions and construct counter-examples. In most cases, AIs (and humans) were successful. However, their mathematical details were quite incomprehensible to the humans. Currently, Ajit and Lee are carefully verifying AI's claims as well as improving the exposition and adding their personal human inputs. What follows is a very preliminary attempt to that. In particular, the humans think the math in this draft is correct. In the near future, with a better understanding, the humans think that they will be able to substantially improve the exposition, add and correct proper citations, and most importantly add precise human contributions (right definitions, for example) to this project. We will also add more precise human contributions to the existing material soon. We make this available to the world purely for mathematical reasons.

math.DS — Dynamical Systems

The orphan theorem: degenerate perpendicular orbits in rational right triangles

Contributed by Joshua Boorstein

Let $T$ be a right triangle with acute angle $\alpha$, legs $L_1$, $L_2$ and hypotenuse $H$, and suppose $T$ is rational: $2\alpha/\pi = P/Q$ in lowest terms. Shoot a beam perpendicular to the leg $L_1$ from each of its points. The leg is partitioned into branches — maximal intervals of launch heights sharing a combinatorial type — and we prove that the partition is finite, with at most $2Q + 1$ branches, which cover the leg but for finitely many points. The first-return map $J$ of the beam to $L_1$ is an involution, and on each branch it does one of two things: it carries the branch onto a distinct branch of equal width by a reflection, or it fixes the branch pointwise. A pointwise-fixed branch — a whole interval of trajectories that hit a side head-on and retrace — is an orphan. Theorem A. There is no orphan branch when $P$ is even and at most one when $P$ is odd, with no hypothesis on the direction; when $P$ is odd and $Q$ is a prime power, or twice or four times a prime, the orphan exists. Non-existence is a parity count on the velocity set of the unfolded beam. Uniqueness is an Euler count on the genus-zero quotient of the unfolded surface, which admits minimal components. Existence is arithmetic: on a folded disc, an absent orphan forces $1$ to be a signed sum of doubled heights of images of the right-angle vertex, which is impossible at the centres named. Running the direction count and the Euler count for each side shows that at most two of the three sides carry a retracing cell, at most one each, the two ends of one band of double normals. On the unfolded surface — the holonomy double cover of a genus-zero quadratic differential $Q(P-2, Q-P-2, -1^Q)$ — the images of the right-angle vertex are Weierstrass points, the leg is the quotient by the hyperelliptic involution of a geodesic segment through one of them, and the first-return map is read in that quotient.

Author comments: First version. Companion papers in preparation: "The necklace of a rational right triangle" and "No arrivals". Code: https://doi.org/10.5281/zenodo.24037744

math.QA — Quantum Algebra

Positivity of Canonical Basis Multiplication in Modified Quantum Groups

Contributed by Qiyue Tang

We prove the multiplication part of Lusztig’s positivity conjecture for symmetric Cartan data.

math.AG — Algebraic Geometry

The tangent line at a marked point on $M_{0,n}/\mathfrak S_{n-1}$, after a table of Grothendieck

Contributed by Michel Hua

Let $L_n$ be the line bundle on $M_{0,n}$ whose fibre is the tangent line to $\mathbb P^1$ at the last marked point, and $L$ the tensor product of the tangent lines at all of them. We show that, in characteristic zero, the Picard group of the quotient stack $[M_{0,n}/\mathfrak S_{n-1}]$ is cyclic of order $(n-1)(n-2)$ for every $n \ge 3$, generated by $L_n$, and that $L$ has order $n-1$ in $\operatorname{Pic}[M_{0,n}/\mathfrak S_n]$. For even $n \ge 6$ the group was known, through the integral Chow ring computed by Edidin and Hu; the odd case does not seem to be in print. The question comes from a table in Grothendieck’s working notes, which gives these orders for four points and only guesses for five and six. The proof takes a few lines once the stack is written as monic squarefree polynomials modulo the affine group. An elementary version, with explicit trivialisations and fixed configurations, is formalised in Lean.

math.CO — Combinatorics

A bigon-free dichotomy for pseudoline arrangements, after a note of Grothendieck

Contributed by Michel Hua

A pseudoline of an arrangement in the real projective plane is bigonal when it carries exactly two vertices of the arrangement. In an undated folder of working notes from the early 1980s, Grothendieck states that every arrangement without bigonal pseudolines is either four pseudolines in general position or contains one of three configurations: five pseudolines in general position, a pencil of three and a pencil of two without the line joining their centres, or the complete quadrangle. The notes derive this from a statement that is false as written, and they give no independent proof. We give a short proof, together with the ordering of the pseudolines that the notes ask for, and we deduce that for n ≥ 6 the near-pencils are the only arrangements of n pseudolines containing none of the three configurations. The dichotomy has been checked by an exhaustive enumeration of all arrangements of at most nine pseudolines, and it is formalised in the proof assistant Lean for a combinatorial model of arrangements, generalised maps of Euler characteristic one.

math.CO — Combinatorics

Counterexamples to Source–Sink Recursions for Denominator Vectors

Contributed by Qiyue Tang

Reading and Stella’s source–sink recursions for denominator vectors, Conjectures 2.7 and 2.8, fail for an infinite family of four-vertex exchange matrices. The member realized by an unpunctured annulus with one marked point on one boundary and three on the other also refutes their Theorem 2.11.

math.RT — Representation Theory

Singleton Dominance Regions in Affine Cluster Algebras

Contributed by Qiyue Tang

For an extended exchange matrix of affine type, the dominance region of every point in an extended (g)-vector cone consists of that point alone.

math.RA — Rings and Algebras

The L’vov–Kaplansky Conjecture for Standard Polynomials

Contributed by Y. T. Miah

The L'vov–Kaplansky conjecture asks whether the image of a multilinear polynomial on a full matrix algebra is a vector subspace. For the unnormalized standard polynomial $s_d$ over an algebraically closed field $K$ of characteristic zero, the sets of individual matrix values are determined in every degree and order. The image of $s_{2r-1}$ is zero when $n<r$ and all of $M_n(K)$ when $n\ge r$; the image of $s_{2r}$ is zero when $n\le r$ and $\mathfrak{sl}_n(K)$ when $n\ge r+1$. The odd-degree proof uses explicit linear slices and Jordan forms. The even-degree argument combines a uniform nilpotent construction and an additive transfer for admissible cores with generic-nullity results of Brassil–Reichstein and Lin–Tang–Zhao, extending a method of Qiyue Tang to obtain actual polynomial values.

math.DS — Dynamical Systems

Globally periodic rational difference equations of arbitrary order

Contributed by John Rudge

A rational difference equation of order $k$ with nonnegative coefficients is globally periodic if every solution with positive initial data repeats with a common period. Five such equations have long been known, among them the Lyness equation $x_{n+2}=(1+x_{n+1})/x_n$, and a problem of Gasull asks whether every globally periodic equation of this kind is obtained from one of the five by rescaling and unfolding. The answer was known to be yes for $k\in\{1,2,3,4,5,7,9,11\}$. Here I show that it is yes at every order. The proof rests on two ideas. The first is a tropical degeneration: global periodicity forces an associated min-plus recursion to be periodic, and this is refuted, for every choice of coefficients at once, by an unbounded solution of the min-plus recursion linearised along a periodic orbit. The second is the $\sigma$-bump, a linearised solution whose existence reduces to a combinatorial condition on residues modulo $2k$; in the hardest case that condition comes down to a lemma on three-term progressions under unit multipliers modulo $2k$. The proof, including its finite computations, has been formalised in the Lean proof assistant.

math.CO — Combinatorics

Height-bounded mutation to acyclic quivers on four vertices

Contributed by Qiyue Tang

We prove Conjecture 5.5 of Armstrong-Williams, Hirst, Jackson and Lee.

math.CO — Combinatorics

Complexity of Mutation-Acyclicity and Matrix Mutation Equivalence

Contributed by Qiyue Tang

Mutation-acyclicity of integral skew-symmetrizable matrices belongs to NP. Mutation equivalence belongs to promise-NP when at least one input is mutation-acyclic. For pairs of mutation-cyclic matrices, mutation equivalence is RE-complete and strongly NP-hard. Both results hold even for connected skew-symmetric matrices.

math.RA — Rings and Algebras

The Lu–Wenzel Conjecture

Contributed by Qiyue Tang

We prove the Lu–Wenzel conjecture for real and complex matrices.

cs.DS — Data Structures and Algorithms

A certified exponent of 0.48758 for worst-case Subset Sum, and limits of the alias–checksum analysis

Contributed by Jennifer Voitle

For more than fifty years, since Horowitz and Sahni's meet-in-the-middle algorithm of 1974, the best exponent for worst-case Subset Sum was $1/2$. In October 2026 that barrier fell twice within a week, with OpenAI's $2^{0.49n}$ algorithm and, independently, Li and Ye's $2^{(1/2 - 1/450000)n} \approx 2^{0.4999978n}$, and improvements have followed quickly since: within three weeks A. Kapila's modification of the OpenAI approach ("Base") reached 0.4877, a retuning of Base by JoshuaQFEX reached 0.487676, and a refinement by Y. Bills reached 0.4876723. Here we push this line of work further and examine what limits it. Conditional on the cited non-numerical proofs, we give a certified parameter point with threshold $T=0.4875754036$: for every fixed $T'>T$, the uniform randomized algorithm uses $O(2^{T'n})$ word operations on inputs of polynomial bit length, with success probability at least $2/3$. In particular, it runs in time $O(2^{0.4875755n})$. A single asymmetric filter replaces Base's family of 43 filters. Independent interval computations certify all required numerical conditions, including both filtering moments and their quadrature errors. We prove a lower bound on the first filtering moment, valid for all positive continuous densities, that excludes every parameter choice with $\tau\le0.484$ in the original OpenAI proof's sufficient budget. Three algebraic bounds explain the costs at our improved point. Separately, an enumeration phase that inserts at least $2^{(1-\eta-o(1))n}$ alias classes, spending a counted step on each, and uses checksum gap at most $\Delta$ needs exponent at least $(1-\Delta)/2$. This is a conditional operation-count bound; a global upper bound on achievable checksum capacity remains open. Finally, we isolate a small-layer statement that would yield threshold $0.4873407528$, prove combinatorial special cases, and identify the remaining questions.

Author comments: 30 pages, 2 figures. The main result is conditional on the written proofs of OpenAI (4 Oct 2026) and A. Kapila (commit 44c34961); its numerical conditions are certified in interval arithmetic. The companion file SECTION_T_v3.pdf (full proofs of the ternary alias step, Appendix A) is included with the source. Code, certificates, verification scripts and a timestamped research record: https://github.com/jv1000/subset-sum. AI use is described in Section 11.

math.CO — Combinatorics

Four-cycle supersaturation and polarity stability at $q^2+q$ vertices

Contributed by Zhenyu Sun

Let $m_0=\frac12q(q+1)^2-q$. For every even $q\ge1600$, we prove that a graph on $q^2+q$ vertices with at least $m_0+1$ edges contains at least $\lceil(q-1)/12\rceil$ four-cycles. For powers of two in this range, $m_0$ is the extremal number and a polarity construction has exactly $q-1$ four-cycles at $m_0+1$ edges. These bounds determine the order of magnitude of the minimum count on this sequence. We also prove a stability theorem: for every nonnegative integer $b$ and every even $q\ge10^{18}(b+1)^{16}$, each $C_4$-free graph on $q^2+q$ vertices with $m_0-b$ edges is a spanning subgraph of an orthogonal polarity graph with one point deleted. The required degree bounds follow from the edge count. As a consequence, a graph on $q^2+q$ vertices with $m_0+1$ edges has at least $q-1$ four-cycles if an edge set of size $t\ge1$ meets every four-cycle and $q$ is even with $q\ge10^{18}t^{16}$. The counting proof uses a codegree commutator; the stability proof combines degree-deficit concentration with incidence completion and polarity extension.

Author comments: 64 pages.

math-ph — Mathematical Physics

The Hawking-Page transition at weak coupling

Contributed by Anthropic

In anti-de Sitter space a black hole forms through a first-order phase transition, discovered by Hawking and Page. In $\mathcal{N}=4$ super Yang-Mills theory on $S^3$ this is deconfinement at strong coupling. Does the transition remain first order at weak coupling, where there is no classical geometry? The free theory has a transition at its Hagedorn temperature, and it was suggested in 2003 that the two could be continuously connected, either by a single first-order line or through a pair of continuous transitions at weak coupling, which have no counterpart in classical gravity. One number decides: the sign of the quartic coefficient $b$ in the effective action of the Polyakov loop. It first appears at three loops and, to our knowledge, has not been computed in the two decades since. We find $b=-1.48\times10^{-3}\,\lambda^2$, where $\lambda$ is the 't Hooft coupling. The transition is first order. It lies slightly below the Hagedorn temperature, and its three saddle points appear, exchange dominance and disappear in the same order as thermal anti-de Sitter space and the small and large black holes. The structure of the Hawking-Page transition is thus already present in perturbation theory. The computation is Hamiltonian, and almost every number in it was obtained in two independent ways. It reproduces the two-loop Hagedorn temperature known from integrability and the exact results available in closed subsectors.

math.RT — Representation Theory

Disproof of Xi’s conjecture on the representation dimension of idempotent corners

Contributed by Qiyue Tang

We disprove Xi’s conjecture on the representation dimension of idempotent corners. Over every field and for each integer (L\ge3), we construct an algebra of representation dimension (L+1) with a corner of representation dimension (2L-1).

math-ph — Mathematical Physics

The spinless modular bootstrap at large central charge

Contributed by Anthropic

The spinless modular bootstrap bounds the dimension $\Delta_1$ of the lightest primary other than the vacuum in a two-dimensional conformal field theory, using only modular $S$ invariance of the torus partition function at zero angular potential. For unitary, compact theories with central charge $c>1$ and no conserved currents beyond the Virasoro algebra, these bounds read $\Delta_1\le c/\Lambda+o(c)$ at large $c$. The best slope $\Lambda$ was known only to lie between $8.503$ and $12$, where the bound would reach the BTZ black hole threshold. We show that it is exactly $\Lambda_V=12\pi^2/(\pi^2+4\,\mathrm{arcsinh}^2 1)\approx9.1266$. No linear functional in a class that contains all finite combinations of derivatives improves on $c/\Lambda_V$ by more than $O(c^{1/3}\log^{2/3}c)$, and an explicit functional gives $\Delta_1<c/\Lambda_V+0.483\,c^{1/3}+O(1)$ for all sufficiently large $c$. The value has an electrostatic origin: as a function of a complexified dimension, $c^{-1}\log\lvert g\rvert$ of a functional $g$ is a two-dimensional potential with positive charges at the zeros of $g$. Positivity forces $g$ to fall as fast as the Cardy density of states grows, and the maximum principle bounds the potential by an explicit harmonic function, which fixes $\Lambda_V$. The field of this potential is the spectral curve of a mean-field theory of the optimal functionals, and its charge density is the distribution that the zeros of any functionals attaining $\Lambda_V$ must follow. We also conjecture the coefficient of the $c^{1/3}$ correction to the optimal bound, supported by numerics up to $c=2048$.

math.RA — Rings and Algebras

The L'vov--Kaplansky conjecture for multilinear polynomials of degrees four to six

Contributed by Shengyong Pan

Let $K$ be an algebraically closed field of characteristic zero. We determine the images of ordinary multilinear polynomials of degrees four, five and six on matrix algebras. For $n\geq3$, a nonidentity has image $\mathfrak{sl}_n(K)$ when its cyclic class is zero and $M_n(K)$ otherwise. In these degrees the only nonzero identity exception is the standard degree-six line on $M_3(K)$. The proof starts with proper sextics and treats arbitrary sextics by unit restrictions and local trace lifting. An image-preserving product substitution then gives degrees four and five as consequences. We also give cyclic and matrix lifting results applicable in arbitrary degree. The finite calculations are given by explicit matrix-unit identities.

cs.FL — Formal Languages and Automata Theory

Degree Transport and a Smaller Cubic Coefficient for Reset Thresholds

Contributed by SUNGBIN HONG

We prove that every synchronizing complete deterministic finite automaton on $n\ge2$ states has reset threshold at most $\frac{8242}{49923}n^3+O(n^2)$. The cubic coefficient improves on Shitov's $8257/49923$ by $5/16641$. The main ingredient is a degree-transport inequality for graphs of state pairs mergeable by short words. It relates a long gap between consecutive minimum-rank word lengths to a large corank achievable in at most $n-1$ letters. Combining this relation with a discrete dual of Shitov's counting argument gives the improvement. An appendix makes the quadratic remainder explicit for every $n\ge2$. The argument applies to arbitrary finite alphabets and does not prove the quadratic Černý conjecture.

math.NT — Number Theory

Four exponentials at CM and Beta periods

Contributed by Shawn Krisman

For every nonzero eigen-period $P$ of a CM abelian variety over $\overline{\mathbb{Q}}$, we show that the four exponentials conjecture and its strong form hold at $t\in\overline{\mathbb{Q}}^\times P^{\pm1}$ and $t\in\overline{\mathbb{Q}}^\times(P/\pi)^{\pm1}$; these include Beta values such as $t=\Gamma(1/5)^2/\Gamma(2/5)$. For an elliptic curve $E$ over $\overline{\mathbb{Q}}$ with complex multiplication, we also show that $e^{\pi^2}$ and $\wp_E(1/\pi)$ are not both algebraic. Further results concern two CM elliptic curves: for example, $\pi,\varpi,\Omega_\rho,\varpi\Omega_\rho$ are linearly independent over $\overline{\mathbb{Q}}$, where $\varpi$ and $\Omega_\rho$ are periods of $y^2=4x^3-4x$ and $y^2=4x^3-4$. These are explicit consequences of published theorems of Waldschmidt (1988) and Roy–Waldschmidt (1993), together with classical results of Baker, Schneider, Masser and Wüstholz; the contribution is the statements and the proofs written out at these periods. Cases at specific periods, such as that $2^{\varpi}$ and $3^{\varpi}$ are not both algebraic, are checked in Lean 4 and reported separately.

math.NT — Number Theory

A Lean formalization of Waldschmidt's subgroup theorem with period term for groups with elliptic factors

Contributed by Shawn Krisman

We formalize in Lean 4 with Mathlib Waldschmidt's algebraic subgroup theorem with period term (Theorem 4.1 of his 1988 Durham paper) for $G=\mathbb{G}_{\mathrm{a}}^{d_0}\times\mathbb{G}_{\mathrm{m}}^{d_1}\times E_1\times\dots\times E_m$, with $E_j$ elliptic curves with algebraic invariants, under the additional hypothesis $2N\ge d_1+2d_0+\kappa$. The proof uses only Lean's three standard axioms. Along the way we give what we believe are the first formal proofs of Schneider's theorems on elliptic functions and of the Schneider--Lang criterion, and the first Lean library for the Weierstrass $\sigma$ and $\zeta$ functions. Restricted forms of the theorem cover some vector extensions and the Jacobian of $y^5=x(1-x)$. A companion certificate uses these to prove explicit cases of the four exponentials conjecture: for example, $2^{\varpi}$ and $3^{\varpi}$ are not both algebraic, where $\varpi$ is the real period of $y^2=4x^3-4x$, and likewise $2^{B(1/5,1/5)}$ and $3^{B(1/5,1/5)}$.

math.CO — Combinatorics

Foregger's Conjecture on Minimum Permanents of Nearly Decomposable Doubly Stochastic Matrices

Contributed by Yair Lavi

We prove Foregger's conjecture: every nearly decomposable doubly stochastic matrix $A$ of order $n\ge2$ satisfies $\operatorname{per}A\ge 2^{1-n}$. Equality holds exactly for matrices obtained from $\tfrac12(I_n+P_n)$ by independent row and column permutations, where $P_n$ is a single-cycle permutation matrix. In fact, for every fixed nearly decomposable support whose bipartite graph is not a single cycle, the minimum permanent on its closed doubly stochastic face is strictly larger than $2^{1-n}$.

math.DG — Differential Geometry

HOLOMORPHIC SECTIONAL CURVATURE OF FLAG MANIFOLDS VIA KÄHLER REDUCTION

Contributed by Ching Hsien Lee

We give an alternative proof that every invariant Kähler metric on a compact generalized flag manifold has positive holomorphic sectional curvature. Invariant Kähler metrics on unitary partial flag manifolds are realized as reductions of Hermitian vector spaces at compact moment-map levels contained in spheres. A curvature identity for linear Kähler quotients gives an explicit positive lower bound. For an inclusion of compact connected Lie groups, we prove that the induced inclusion between adjoint orbits through the same Lie algebra element is holomorphic, isometric, and totally geodesic for the Kähler structures determined by an invariant inner product and its restriction. This reduces the general case to unitary flags. We also obtain a strict estimate for the second fundamental form of the anticanonical projective embedding

math.CO — Combinatorics

On a counting conjecture for binary rich words

Contributed by Max Glass

Let $R_2(n)$ denote the number of binary rich words of length $n$. We prove that $\limsup_{n\to\infty}\frac{\log R_2(n)}{\sqrt{n}\log n}=\infty$. Consequently, $R_2(n)$ is not $O(n^{C\sqrt{n}})$ for any fixed $C>0$, disproving the conjectured upper bound $O((n/g(n))^{\sqrt{n}})$ with $g(n)\to\infty$. The proof combines independent permutation families through an ordered concatenation construction and a binary gap encoding.

Author comments: Formatting correction to the web abstract: repaired math delimiters and removed hard line breaks. The paper and mathematical results are unchanged. 4 pages. Lean 4 formalization and paper source: https://github.com/glasss13/rich-word-counting.

math.CO — Combinatorics

The constant Steiner kernel is not optimal at large girth

Contributed by Matthew Kwan, Huy Tuan Pham

In the paper "nonlinear lower-tail large deviations at criticality", we bound the number of order-$n$ Steiner triple systems with no Pasch configuration. In doing so, we show that a certain variational problem is minimised by a constant kernel. Using ChatGPT 6 Pro, we also discovered that the analogous variational problems for Steiner triple systems of girth at least $g$, for large $g$, are *not* minimised by the constant kernel, and we included a brief remark to this effect. In this note (not intended for publication), we present the details of this proof.

math.AP — Analysis of PDEs

Anomalous regularization of passive scalars up to the Obukhov-Corrsin exponent

Contributed by Scott Armstrong, Vlad Vicol

We consider the advection-diffusion equation $\partial_t\theta+\mathbf{b}\cdot\nabla\theta-\kappa\Delta\theta=0$ on the two-dimensional torus $\mathbb{T}^2$, where $\mathbf{b}$ is a divergence-free velocity field constructed as in arxiv:2305.05048, H\"older continuous with an exponent $\alpha<\nf13$ and built from shear flows alternating in direction at infinitely many scales. We prove anomalous regularization: for every $s$ below the Obukhov--Corrsin exponent $\frac12(1-\alpha)$, with $\mathbf{b}$ depending on $s$, the solutions are bounded in~$C^{0,s}(\mathbb{T}^2)$ at positive times by a constant times the $L^2(\mathbb{T}^2)$ norm of the initial data, uniformly in the diffusivity $\kappa$ in a union of bands accumulating at $0$. As a consequence, we obtain anomalous dissipation at a uniform rate: solutions dissipate a fixed fraction of their variance in unit time, so that the variance decays exponentially, with constants independent of $\kappa$, of the initial datum and of the initial time. The proof combines iterated quantitative homogenization with large-scale regularity: at each scale the solution is compared with a solution of the homogenized equation of that scale. Since the derivatives consumed by each comparison are regenerated at every scale, the H\"older norm is carried from the coarsest scale to the finest by induction. Each of our main results, together with its proof, is fully formalized in the Lean 4 proof assistant.

math.QA — Quantum Algebra

The Haagerup center at central charge eight via conformal nets

Contributed by Cédric ARHANCET

Let $S\subset V_{E_6\oplus A_2}$ be the unitary vertex operator algebra of central charge eight with currents at levels $(3,13)$ constructed in our previous work. An exact presentation of a full corner of its Zhu algebra gives strong rationality, the twelve simple modules and the lattice branching rules. Using these results, we identify the representation category of its conformal net with the Haagerup center $Z(\mathcal{H}_3)$. We construct a holomorphic diagonal extension of $\mathcal {A}_S\otimes \mathcal{A}_S$ and apply the vacuum trace class theorem of Henriques and Tener to prove trace class heat operators in every sector of $\mathcal{A}_S$. Reconstruction gives a unitary holomorphic vertex operator algebra containing $S\otimes S$ as mutual commutants. The coset theorems of Gui then give the complete unitarity of $S$ and a braided equivalence $\mathrm{Rep}(S) \cong Z(\mathcal{H}_3)$, so that $S$ is a Haagerup algebra. Using results of Dong, Jiao and Xu, we also identify the Huang--Riesen algebra with the twin of $S$ and describe their common fixed point algebra using the intersection of the two binary lattices of discriminant $-39$.

Author comments: 73 pages

math.CO — Combinatorics

Decidability of Mutation-Acyclicity

Contributed by Qiyue Tang

Mutation-acyclicity is decidable for all finite integral skew-symmetrizable exchange matrices. Mutation equivalence up to relabeling is decidable when at least one of the two inputs is mutation-acyclic.

math.CV — Complex Variables

Schmeisser’s Conjecture in Large Degree

Contributed by Qiyue Tang

We prove Schmeisser’s conjecture for all sufficiently large degrees.

math.AG — Algebraic Geometry

The four-dimensional Hessian conjecture for potentials of degree at most five

Contributed by David Niedbala Giraudin

The Hessian conjecture HC_n asserts that if f in C[x_1,...,x_n] has det Hess(f) in C^×, then ∇f is a polynomial automorphism. It is known for n ≤ 3, false for n ≥ 5, and open for n = 4, where it implies the plane Jacobian conjecture. Ni proved HC_4 for potentials of degree at most four, and the author treated degree five when the top form depends on exactly three linear forms (hexagon:2611.00134). We prove HC_4 for every potential of degree at most five. The remaining top forms are a binary form or a fifth power of a linear form. Both cases are reduced, by weighted layers of the Hessian determinant and exact computer algebra over Q, to four elementary mechanisms: a Schur complement in one variable (which reduces to HC_3), a partial Legendre transform in two variables (which reduces to HC_2), a "dead direction" lemma (which reduces to HC_2 and the plane Jacobian conjecture in degrees at most (3,4), known by Moh), and explicit triangular inverses. Five self-contained verifiers are supplied as ancillary files. The paper has not been refereed.

math.DS — Dynamical Systems

Normal Cone Is All You Need: Unsoftened Symplectic Integration Of The Newtonian N-Body Problem Across Collisions In Finite Steps

Contributed by Jeremy Nusa

In the classical formulation of the Newtonian $N$-body problem, symplectic geometry and collision singularities appear fundamentally irreconcilable: fixed-step symplectic integrators preserve the Poincaré integral invariants on smooth orbits only by softening the gravitational potential or breaking down at close encounters, whereas classical Sundman and Levi-Civita regularizations resolve collisions only by deforming the global time flow or altering the canonical phase-space structure. In this work, we show that this dichotomy is not an intrinsic obstruction of Hamiltonian mechanics, but an artifact of working on the unblown Cartesian configuration space. By lifting the dynamics to the standard cotangent bundle $T^*\mathbf{Q}[N]$ of the real oriented Fulton–MacPherson compactification $\mathbf{Q}[N] = \operatorname{Bl}_{\Pi(N)}(M/\mathbb{R}^3)$ and applying the Calaque–Safronov shifted cotangent deformation to the normal cone $\mathcal{D}_Z \mathbf{Q}[N] \to \mathbb{A}^1$, we construct an exact, unsoftened ($\varepsilon = 0$) Hamiltonian splitting covered by the combinatorial atlas of $(2N-3)!!$ rooted binary Jacobi trees. Along the normal-cone degeneration, the interaction decomposes canonically into commuting Kepler–Sundman leaf flows, synchronous anti-Zeno supernodes, and a scale-invariant quadrupolar-screened apex potential of global $\mathcal{C}^{1,1}$ regularity. Endowing the exceptional collision divisors with McGehee's unitary elastic bounce involution ($\mathcal{B}_C^2 = \mathrm{Id}$) renders the leaf flows globally complete and time-reversible across binary collisions in a finite number of physical steps, thereby lifting the Sheng–Suzuki negative-timestep barrier for high-order symmetric compositions. In the bi-graded Poisson–Lie algebra $\mathcal{L}_{n,m}$ associated with this splitting, we establish a Universal Double Obstruction Theorem at order six: momentum-parity alternation prevents any pure configuration-space corrector from cancelling the leading secular error, while a non-vanishing Hall cohomology class in $H^1(D_A, \mathcal{L}_{5,2})$ creates an incompressible $\mathcal{O}(\varepsilon^2 h^4)$ quadratic tidal floor. We overcome the parity obstruction by introducing a torque-free cotangent corrector $K_4 \in \mathcal{L}_{4,1} \cap \mathcal{P}_1$, realized via a palindromic Lie conjugator $\mathcal{Z}_4^{\mathrm{BM4}}(h)$ that vanishes naturally as $\mathcal{O}(r^{7/2})$ at collisions (scheme $\mathrm{PBM}_4$). Whenever the trajectory changes local Jacobi chart or dyadic step-size level, a non-commutative covariant gauge connection $T_{A\to B}^{(\mathrm{PBM4})}$ closes the Čech 1-cocycle on the atlas groupoid and eliminates interfacial shadow-energy jumps. Accompanied by a complete, axiom-free Lean 4 formalization and validated up to 116-bit quadruple precision against the REBOUND integrator suite (IAS15, TRACE, MERCURIUS, and WHFast), the resulting architecture preserves all Galilean Lie–Bargmann invariants to machine precision across secular, collisional, and chaotic multi-body regimes.

math.NT — Number Theory

Irrational even beta values in shifted intervals

Contributed by twinheterodox

For every positive odd integer $m$, we prove that at least one of $\beta(m+1),\beta(m+3),\ldots,\beta(19m-1)$ is irrational, where $\beta$ is the Dirichlet beta function. More generally, for each positive integer $B$ we give an explicit constant $C_B$ such that at least $B$ even beta values with indices between $m+1$ and $C_Bm-1$ are irrational, for every positive odd $m$. Specific parameter choices give at least two irrational values among $\beta(2),\beta(4),\ldots,\beta(70)$, at least three through $\beta(186)$, and at least four through $\beta(360)$.

Author comments: Version 2 improves the uniform one-value endpoint from 67m-1 to 19m-1 and sharpens the general bound for any prescribed irrationality count. Specific parameter choices give at least two irrational values through beta(70), three through beta(186), and four through beta(360). The 20-page revision includes comparisons with v1, worked Gram and prime-dilation examples, and an independent audit of the underlying argument and exact certificates.

math.NT — Number Theory

Saouter's primality criterion in Lean, a ladder constant, and a 25 rung route to odd Goldbach up to $10^{20}$

Contributed by Steve Hubbard

This note gives Lean proofs, with no hypothesis, of the primality criterion of Saouter's paper, Lemma 1 for every even $F$, Theorems 1 and 2, and it records the reading of the constant on page 865 under which the formula agrees with the rest of the paper; separately, given the published even Goldbach computation to $4\cdot 10^{18}$ as an explicit hypothesis, a ladder of 25 Proth primes reaches $10^{20}$ in the Lean kernel. The binary Goldbach conjecture remains open and this note makes no progress on it. The ternary Goldbach theorem for all odd numbers is Helfgott's (arXiv:1312.7748), and it is not formalized here and not used.

Author comments: 8 pages. Version 3 of the note, first deposit on Hexagon.

math.CO — Combinatorics

Undecidability of Quiver Mutation Equivalence

Contributed by Qiyue Tang

We prove that quiver mutation equivalence up to relabeling is undecidable even for one fixed source quiver. We also prove strong NP-hardness.

math.NT — Number Theory

An explicit prime gap under the Riemann hypothesis, formalized in Lean with its prime power input made elementary

Contributed by Steve Hubbard

We report on a Lean 4 formalization of Theorem 2 of Dudek, 2015, as numbered in arXiv v2, which states that if the Riemann hypothesis is true, then for every real $x \ge 2$ there is a prime in the interval $(x - (4/\pi)\sqrt{x}\log x, x]$. In the formalization, Theorem 2 is proved assuming the Riemann hypothesis and one cited explicit zero-counting bound of Hasanalizade, Shen and Wong, arXiv:2107.06506. Four cited inputs of the printed proof are replaced in the formal proof. The two that carry the argument are these: first, the prime power contribution $\psi - \theta$ is required only across the moving window $(x - h, x + h]$ and is proved outright in Lean by an elementary counting argument with no cited input and without assuming the Riemann hypothesis; second, the sum over nontrivial zeros is bounded from the cited Hasanalizade, Shen and Wong zero count for $T \ge 70$ by trading slack between the head and tail sums at the split point $T = 2x/h$. The Riemann hypothesis is open and this note makes no progress on it.

Author comments: 11 pages. Version 2 of the note, first deposit on Hexagon.