All works

math.NT — Number Theory

On the Fontaine--Mazur conjecture for $2$-adic representations

Contributed by Luis Dieulefait

Let $F$ be a totally real field, abelian over $\Q$, in which $2$ splits completely, and let $\rho:G_F\to\GL_2(\overline\Q_2)$ be an odd irreducible representation, de Rham with distinct Hodge--Tate weights at the places above $2$, whose residual representation is reducible with distinct characters at the places above $2$. We prove that $\rho$ is modular in the following cases: if $\rho$ is non-split at every place above $2$ at which it is reducible, which includes the case where $\rho$ is irreducible at all places above $2$, and, without any condition on the splitness, if $\rho$ is of Steinberg type at some finite place not dividing $2$, using an analogue at $2$, which we prove, of Pan's finiteness theorem for fully ordinary deformation rings. Both results include the mixed case, in which $\rho$ is reducible at some places above $2$ and irreducible at others. The pro-modularity input is obtained by extending to these fields the method of \cite{OAI}, which treats representations of $G_\Q$; this is where we use that the residual characters are distinct at $2$. For $F=\Q(\sqrt q)$ with $q\equiv1\pmod8$ prime, we remove the condition at $2$ from the first result in most cases; for $F=\Q(\sqrt{17})$ this includes every case where the residual semisimplification is scalar. The first result also holds when the residual representation is irreducible with solvable image, where residual modularity follows from an odd Artin lift. For the second result we combine the method of \cite{Die26b} with Thorne's potential modularity theorem for ordinary representations of weight two and the local indecomposability theorem of Hida and Zhao.

math.CO — Combinatorics

Off-Diagonal Commonality of a Shorter Even Cycle and a Longer Odd Cycle

Contributed by Taeyoung Kim

Let $n\ge4$ be even and let $\ell>n$ be odd. We determine the complete off-diagonal commonality region of the ordered pair $(C_n,C_\ell)$: it is the half-open interval $(0,a_{n,\ell}^{\star}]$ cut out by the unique root $a_{n,\ell}^{\star}\in(1/2,1)$ of $\frac{a^{n-1}\bigl(n+(\ell-n)a\bigr)}{\ell}=2^{1-n}.$ The upper endpoint is witnessed by the balanced disjoint union of two cliques. For the lower bound, cycle densities are expressed as traces of graphon operators. Rank-one eigenvalue majorisation separates the Perron eigenvalue from the rest of the spectrum, while the Hilbert--Schmidt norm leaves room for at most one negative eigenvalue to contribute with the wrong sign. That eigenvalue is paid for by the Perron eigenvalue, leaving the elementary inequality $x^{n}+(1-x)^{n}\ge2^{1-n}$.

math.PR — Probability

Computer-assisted bounds 0.556921 <= p_c <= 0.6463 for site percolation on the square lattice

Contributed by David Niedbala Giraudin

Let p_c be the critical probability of Bernoulli site percolation on Z^2. We prove 0.556921 <= p_c <= 0.6463. The previous best rigorous bounds known to us are p_c >= 0.5567 (Ashton, 2026, extending van den Berg and Ermakov, 1996) and p_c <= 0.666894 (Wierman and Oberly, 2024). The lower bound uses the growth-process comparison of van den Berg and Ermakov with the exact posterior on the exploration tree. We reduce this posterior to a scalar interval recursion and explore the tree generation by generation, with a prescribed order among siblings. This passes the value 0.556788... that the same scalar computation gives when the order is not used, and the value 0.556788090 reported by Ashton as the limit of his relaxation. The upper bound uses the substitution method of Wierman, in two stages with 4x4 regions, from the line graph of Z^2 (site threshold 1/2) to Z^2. Both bounds are certified by short pure-Python programs in exact rational and integer arithmetic.

math.LO — Logic

Intuitionistic Compression and Optimal Verification Trees

Contributed by Zhenyu Sun, Jilin Wang

In strict finitistic generation semantics, a formula is assertible at a generation if some stage in its verification tree forces it. We ask when assertibility agrees with intuitionistic truth on the poset of generations. The leaves of the verification trees, ordered by generation extension, form an intuitionistic Kripke model that preserves truth at every leaf, even without atomic prevalence. For a finite bundle, compression to the generations is exact if and only if each fiber of leaves has a greatest intuitionistic theory and the map selecting these theories has the back property. Compression remains exact under every restriction of the generation poset if and only if atomic prevalence holds. Conversely, consider coherent tree representations of a finite Kripke model whose atomic valuation reflects its order. Among representations with atomic prevalence, the minimum numbers of leaves and nodes over $u$ are $h(u)$ and $\delta_C+\sum_{x\preceq u}h(x)$, where $h(x)$ counts saturated paths from minimal worlds to $x$, and $\delta_C$ is $1$ if the comparability component of $u$ has no least element and $0$ otherwise. Saturated-path trees attain both minima simultaneously. Among representations attaining the node minimum at every world, the common root labels in components without a least element determine the representation up to isomorphism over the outer frame. Allowing rooted posets in place of trees can reduce the number of nodes exponentially.

math.NT — Number Theory

A certified lower bound for the essential minimum of the Zhang-Zagier height

Contributed by David Niedbala Giraudin

Let h be the absolute logarithmic Weil height. We prove that the essential minimum of the Zhang-Zagier height h(a)+h(1-a) is at least 0.2497815: for every d > 0, only finitely many algebraic numbers a satisfy h(a)+h(1-a) < 0.2497815 - d. The previous best lower bound was 0.24874 (Flammang, 2018). The proof combines Smyth's auxiliary-function method, with the polynomials of Doche and of Flammang, and the condition that the discriminant of the minimal polynomial is a nonzero integer, in the potential-theoretic form used by Smith and by Orloski, Talebizadeh Sardari and Smith for the trace problem. The infimum of the resulting auxiliary function is bounded below rigorously by monotone interval bounds and adaptive bisection, from a stored certificate. The statement concerns the essential minimum and is weaker in nature than the pointwise bounds of Doche and Flammang.

math.RA — Rings and Algebras

Cartan determinants for almost laura, quasi-laura, semilinear clannish and piecewise Bäckström algebras

Contributed by Qiyue Tang

We prove the Cartan determinant conjecture for corners of finite global dimension in almost laura, quasi-laura and (m)-quasi-laura Artin algebras, finite-dimensional piecewise Bäckström algebras, and semilinear clannish Artin algebras of finite dimension over their defining division ring.

math.CO — Combinatorics

Kernel Dimension of the Z/2 Connection Laplacian on a Finite Simple Graph (A Formalisation in Lean 4 / Mathlib v4.11.0)

Contributed by Jesus Vilela Jato

We present a Lean 4/Mathlib v4.11.0 formalization of the kernel-dimension theory of the $\mathbb{Z}/2$ connection Laplacian on finite simple graphs equipped with designated wrap edges. Each edge carries either the identity or the coordinate-swap matrix. A Hadamard–Kronecker change of basis decomposes the resulting rank-two connection Laplacian into the ordinary and signed graph Laplacians. An analogous splitting holds for the scalar Laplacian of the associated two-sheeted cover. A connected component is balanced precisely when its covering preimage has two connected components, equivalently when its sign holonomy is trivial along every closed walk. Consequently, the nullity of the signed Laplacian equals the number of balanced connected components, while the nullity of the full connection Laplacian equals the number of connected components plus the number of balanced components. For the flat connection, the nullity is twice the number of connected components. We also formalize exact characteristic polynomials and eigenvalue multisets, including multiplicities, for explicit ordinary and one-wrap signed cycle matrices for $n \geq 3$. Transfer to general connection-graph encodings remains conditional on specified matrix-reindexing identities. The contribution is a machine-checked formalization, exposition, and documented verification of results rooted in classical signed-graph spectral theory, rather than a claim of priority for those identities. The accompanying repository preserves proof artifacts, computational cross-checks, historical verification evidence, and documented corrections.

cs.DS — Data Structures and Algorithms

Three-machine unit-job scheduling in time O((L+2)^276)

Contributed by David Niedbala Giraudin

OpenAI recently gave a deterministic polynomial-time algorithm for P3|prec,p_j=1|C_max (problem OPEN8 of Garey and Johnson), with running time O((L+2)^150020) on a multitape Turing machine, L being the input length; the same exponent appears in the accompanying Lean statement. The exponent comes from enumerating all Boolean formulas with at most 10000 leaves, each leaf choosing its own triple of jobs. We show that every description actually used by the structural proof involves at most 21 distinct job triples and at most 3 distinct rank thresholds. Restricting the enumerated family accordingly, and using the length bound on accepting paths already proved there to limit the number of reachability passes, the same algorithm runs in time O((L+2)^276).

math.NT — Number Theory

Two improved lower bounds for the 2-adic valuation of the constant of the Prouhet-Tarry-Escott problem

Contributed by David Niedbala Giraudin

For an ideal solution of the Prouhet--Tarry--Escott problem of size $n$ the associated constant $C$ is divisible by a large power of $2$. Restricting to symmetric solutions, we prove two new lower bounds for $v_2(C)$: $v_2(C)\ge14$ at $n=15$, improving $12$, and $v_2(C)\ge19$ at $n=20$, improving $18$; both earlier bounds are those of the companion article hexagon:2611.00057. The first rests on two identities satisfied by every symmetric solution of odd size, one relating $v_2(C)$ to a difference of two products and one turning the index relation into an equality, together with an arithmetic criterion for a block of entries of equal valuation. The second rests on an identity internal to each of the two sides, from which we deduce that the vanishing of the cross invariant $R$ forces $k_0\equiv0\pmod4$ when $k_0\ge4$. Two self-contained verifiers accompany the note.

math.NT — Number Theory

The 2-adic valuation of the constant for symmetric ideal Prouhet-Tarry-Escott solutions

Contributed by David Niedbala Giraudin

For an ideal solution of the Prouhet--Tarry--Escott problem of size $n$, let $C$ denote the associated constant, and let $\overline{C_n}$ be the greatest common divisor of these constants. Filaseta and Markovich obtained $v_2(\overline{C_8})\ge6$ and determined $v_2(\overline{C_9})=9$, and asked for improved lower bounds in the range $10\le n\le12$; Bera and Nair gave bounds for $n=10$ and $n=12$. We treat the symmetric case at every size, even and odd, by $2$-adic arguments throughout. A single identity, the row law, governs both parities. For $n$ even, over $\mathbb{Z}$, it splits into two regular systems and yields $v_2(C)\ge6,8,11,12,12,16,18,18$ for $n=6,8,10,\dots,20$. The values at $n=6,8,10,12$ are attained and hence exact for the symmetric constant: in the symmetric case this closes both brackets of Bera--Nair, and gives $v_2(C'_8)=8$, for which the published information was $v_2(\overline{C_8})\ge6$. We also record that the two lower bounds of Bera--Nair, $9$ at $n=10$ and $11$ at $n=12$, are attained by $2$-adic solutions symmetric about $-1/2$, so that no argument using $2$-adic information alone can raise them. For $n$ odd, over $\mathbb{Z}_2$, it combines with a finite-difference lemma refining a congruence of Filaseta--Markovich to give $v_2(C)\ge11,12,12$ for $n=11,13,15$, against $8$, $10$ and $11$ from Kleiman's bound $(n-1)!\mid C$; the chain also reproduces the known values $4,6,9$ at $n=5,7,9$. At $n=11$ the bound is sharp: the two quadratic near-solutions of Coppersmith, Mossinghoff, Scheinerman and VanderKam are symmetric ideal solutions over $\mathbb{Z}_2$ with $v_2(C)=11$, since in both of the real quadratic fields involved the prime $2$ splits. This answers, for $n=11$ and $p=2$, two questions of Filaseta--Markovich, and exhibits for those sizes the case $p\le n$ of the question closing Rees--Smyth, who construct $p$-adic ideal solutions only for $p>n$: at the prime $2$ there is no local obstruction at these sizes. At $n=13$ we exhibit a symmetric ideal solution over $\mathbb{Z}_2$, obtained from a second object of the same authors, although its constant has valuation $17$.

math.CO — Combinatorics

Log-concavity in the Newton basis and support of rank-two scattering coefficients

Contributed by Qiyue Tang

We prove that polynomials with nonnegative, interval-supported log-concave Newton coefficients are closed under multiplication and, for integer Newton coefficients, under $D(m)\mapsto\binom{D(m)}k$ for integers $k\ge0$. Coordinatewise Newton multiplication preserves two-variable Schur positivity. We also determine the exact positive Newton support of symmetric rank-two cluster scattering coefficients.

cs.DS — Data Structures and Algorithms

Ulam Metric $k$-Center in Parameterized Linear Time

Contributed by Matěj Kripner, Václav Rozhoň, Robert Šámal, Martin Šindelář, Adrián Zámečník

Continuous Ulam Metric $k$-Center asks for at most $k$ permutations whose radius-$d$ balls cover the input rankings. For $m$ rankings of $n$ symbols, a deterministic algorithm takes $2^{O(kd\log(k+d+2))}mn$ word operations. Permanent reference rankings, short insertion lists, and small obstructions obtained by patience sorting control the search. For one center, this answers a question of Bai, Fomin, Golovach, More, and Wietheger with linear input dependence. An arbitrary-alphabet Hamming embedding with a nonexpansive retraction also gives the matching $2^{o(d\log d)}$ exclusion under the Exponential Time Hypothesis.

cs.DS — Data Structures and Algorithms

The Exact One-Half Threshold for Arbitrary-Capacity Bottleneck Multiple Subset Sum

Contributed by Matěj Kripner, Václav Rozhoň, Robert Šámal, Martin Šindelář, Adrián Zámečník

In bottleneck multiple subset sum, items with weights are packed into knapsacks with capacities, possibly leaving items unpacked, so as to maximize the minimum load. For identical capacities the best possible approximation ratio is $2/3$, and Chen et al.\ asked whether $2/3$ is also achievable for arbitrary capacities. We show that it is not: for arbitrary capacities we give a $1/2$-approximation using $O(n\log(n+1)+m\log(m+1))$ arithmetic and comparison operations for $n$ items and $m$ knapsacks, and prove that no fixed ratio above $1/2$ is achievable unless $\mathsf P=\mathsf{NP}$. We also give a short proof of the classical $1/2$ guarantee of Friesen and Langston for unit profits.

cs.CC — Computational Complexity

Universal-Clique Amplification and Hardness of Assignment-Optimal Edge Clique Covers

Contributed by Matěj Kripner, Václav Rozhoň, Robert Šámal, Martin Šindelář, Adrián Zámečník

An edge clique cover has assignment cost equal to the sum of its clique sizes. Unless $P=NP$, this cost admits no polynomial-time $O(N^{1/2-\eta})$-approximation for any fixed $0<\eta<1/2$, even on connected $N$-vertex graphs. A universal-clique join transfers coloring hardness without the additive obstruction in earlier reductions. Its exact residual formula also exhibits a change of optimal cover when a universal twin is added. Explicit counterexamples refute two proposed twin-extension rules, while weighted compression of true-twin classes preserves the optimum.

math.PR — Probability

Stationary diffusion on nonnegatively curved graphs

Contributed by Matěj Kripner, Václav Rozhoň, Robert Šámal, Martin Šindelář, Adrián Zámečník

Lazy random walk on a bounded-degree graph of nonnegative Ollivier–Ricci curvature has diffusive second moment and Gaussian upper tails when started in stationarity. If the maximum degree is $D$, then $\mathbb E d(X_0,X_n)^2\le4Dn$, with optimal order of dependence on $D$. The results also hold for stationary random rooted infinite graphs. The proof combines known heat-kernel total-variation decay with a reversible energy identity for the conditional mean displacement. Its exponential form controls variation between starting vertices; martingale concentration then controls the walk itself.

math.IT — Information Theory

Least-Atom Extremizers for Resampling Noise

Contributed by Matěj Kripner, Václav Rozhoň, Robert Šámal, Martin Šindelář, Adrián Zámečník

A single least-mass atom determines the extremal behavior of resampling noise on a finite probability space. A fixed-moment comparison gives the sharp generalized Samorodnitsky inequality for every $1<q<2$ through one scalar curve, and identifies all nonconstant scalar extremizers. The same principle determines every $L^p$-to-$L^q$ resampling norm for $1<p<q<\infty$, resolving a conjecture of Cao, Fan, Han, Qiu, and Wang. The sharp hypercontractive parameter increases strictly with the least atom. The uniform-binary phase diagram is explicit, and product equality cases are classified for every nonuniform reference law and for the uniform binary law.

math.NT — Number Theory

Nested Squares and Distinct-Prime Goldbach Partitions

Contributed by Frank Vega

The distinct-prime Goldbach conjecture asserts that for every $N\geq 4$ there is $M\in A_N=[1,N-3]$ with $N-M$ and $N+M$ both prime; geometrically, nested squares of side lengths $N$ and $M$ have an L-shaped difference of semiprime area $(N-M)(N+M)$. With $C_N$ and $D_N$ the sets of $M\in A_N$ for which $N-M$, respectively $N+M$, is prime, the conjecture for $2N$ is $C_N\cap D_N\neq\varnothing$. We embed this centered condition in a straddling one: $C_N\cap D_N$ lies in the set $E_N$ of half-differences $(Q-P)/2\in A_N$ of primes $2<P<N<Q<2N$. From Mikawa's theorem on prime pairs with almost all differences we deduce $|A_N\setminus E_N|\ll_D N/(\log N)^D$ for every $D>0$, and with explicit constants we prove $|E_N|>N/760$ for every $N\geq 3275$. Consequently, for all large $N$ and all but $O_D(N/(\log N)^D)$ primes $P<N$, the number $2N-P$ becomes prime after adding the difference $P'-P$ of two primes $P'<N$; Goldbach's partition is the case $P'=P$. In contrast, $|C_N\cap D_N|<(N-3)-\log^2(2N)$ for every $N\geq 34$, and covering all but $\log^2(2N)$ values of $A_N$ for all large $N$ would imply the Cram\'er-type bound $p'-p<2\log^2(2p+2)+2$. The method also shows that $2N$ is a sum of two distinct primes for more than $X/9600$ integers $N\leq X$, for every $X\geq 10^6$. Computations up to $N=10^6$ compare the number of distinct-prime partitions with the Hardy--Littlewood prediction and measure the missing values of $E_N$ forced by prime gaps. The conjecture itself is not proved here.

math.AP — Analysis of PDEs

Energy Solutions and Harnack Estimates for Nonlocal Drift–Diffusion

Contributed by Zhenyu Sun

We consider nonlocal drift–diffusion equations of order $2s\in[1,2)$ with bounded divergence-free drift. The symmetric measurable jump kernel satisfies local coercivity, a global upper form bound, and a scale-invariant bound on the intensity of long jumps. The transport form is bounded and skew-symmetric on $H^{1/2}\times H^{1/2}$. In the fractional energy space, distributional and variational solutions coincide and satisfy nonlinear testing identities. Viscous approximations converge strongly in $C_tL^2_x\cap L^2_tH^s_x$ to the unique solution of the Cauchy problem. For sources bounded in the cylinder, supersolutions nonnegative there satisfy a weak Harnack inequality involving the time integral of the negative exterior tail. Under this source bound, locally bounded solutions whose exterior tail belongs to $L^q$ in time for some $q>1$ are locally Hölder continuous. This also gives Hölder continuity at positive times for homogeneous global solutions with $L^2$ data. Under upper jumping smoothness, control of the positive tail on an earlier time interval yields the full parabolic Harnack inequality for solutions nonnegative on the full spatial slab. A kernel supported on alternating dyadic annuli satisfies all the kernel assumptions. The local estimates depend on the drift through $R^{2s-1}\|b\|_\infty$.

math.NT — Number Theory

Non-Archimedean Riesz-Frechet Representation

Contributed by K. MAHESH KRISHNA

We derive a Riesz-Frechet representation for bounded linear functionals defined on the p-adic Hilbert spaces introduced by Kalisch [\textit{Ann. of Math. (2), 1947}]. We also notice the surprising difference between the Archimedean case and the non-Archimedean case (exact non-Archimedean version of Riesz-Frechet representation fails).

math.GN — General Topology

Torus fibrations on $3$-dimensional manifolds which are smooth functions with finitely many critical values and stable fold maps

Contributed by Naok Kitazawa

We present smooth functions which are torus fibrations with finitely many critical values on $3$-dimensional closed manifolds, from (stable) fold maps into the plane. Fold maps are higher dimensional versions of Morse functions and introduced and studied first in the 1950s by Thom and Whitney. Saeki, Sakuma, and so on, are important researchers, studying related singularity theory and differential topology mainly, since the 1990s. $3$-dimensional closed manifolds always admit ones into the plane. Surface fibrations are important tools and objects in complex geometry, symplectic geometry, and $4$-dimensional geometry. It is important to construct important examples of the fibrations. In our paper, we present a $3$-dimensional related new study. Related to this, the author has succeeded in explicit construction of explicit functions with prescribed level sets and fold maps whose singular values sets are concentric on manifolds such as connected sums of sphere bundles over spheres.

math.NT — Number Theory

Linear independence of even Dirichlet beta values

Contributed by twinheterodox

Let $\beta(s)=1-3^{-s}+5^{-s}-\cdots$ denote the Dirichlet beta function. For all sufficiently large even integers $s$, we prove $\dim_{\mathbb{Q}}\mathrm{span}_{\mathbb{Q}}\{\beta(2),\beta(4),\ldots,\beta(s)\}\geq 0.21\sqrt{s/\log s}$.

cs.CC — Computational Complexity

The Siriaisa Algorithm for Minimum Independent Dominating Set

Contributed by Frank Vega

The Minimum Independent Dominating Set problem (MIDS) asks for a smallest maximal independent set of an undirected graph; unless $\mathrm{P}=\mathrm{NP}$, it cannot be approximated within $n^{1-\varepsilon}$ for any $\varepsilon>0$. We present version 0.0.8 of \textsc{Siriaisa}, an ensemble of eighteen strategies that adapts the vertex cover algorithm \textsc{Salvador} and the independent set algorithm \textsc{Esperanza} to MIDS, with every exact subproblem a forest solved by a conditioned tree dynamic program. We prove that the output is an independent dominating set computed in $O((n+m)\,\alpha_{\mathrm A}(n))$ expected time, that its ratio is at most $\Delta$, that it is optimal on forests, and that its ratio is at most $\sqrt n$ on three classes of graphs. A degree-splitting strategy yields a dominating set of size at most $\lfloor\sqrt n\rfloor\,(i(G)+s(G))$ for an explicit splitting excess $s(G)$, which vanishes on bounded-degree families for large $n$ and is largest on complete graphs, where the output is optimal. More generally, splitting at $\lfloor n^{1-\varepsilon}\rfloor$ gives the bound $n^{1-\varepsilon}\,(i(G)+s_\varepsilon(G))$ for every $\varepsilon\in(0,1]$. We state the ratio $n^{3/4}$ as a conjecture whose proof would imply $\mathrm{P}=\mathrm{NP}$. Through a reduction of Chleb{\'\i}k and Chleb{\'\i}kov{\'a}, every output decodes into a vertex cover, with conditional consequences for the Unique Games Conjecture. In experiments the output is optimal on $9\,999$ of $10\,000$ graphs with an exact integer-program optimum and on all $95$ bipartite graphs whose optimum was proved. As an application, we analyse the SAT solver \texttt{satypy} 0.0.4: it answers every unsatisfiable formula correctly, every SATISFIABLE answer carries a satisfying assignment, a wrong answer requires a ratio larger than $2p$ for $p$ variables, and its construction gives a self-contained proof of Halld{\'o}rsson's inapproximability theorem.

math.GR — Group Theory

Soluble subgroup pairs in symmetric and alternating groups

Contributed by Qiyue Tang

We prove that every pair of soluble subgroups of the symmetric group $S_n$ or the alternating group $A_n$ has trivially intersecting conjugates whenever $n\ge21$. This answers the second question of Anagnostopoulou-Merkouri and Burness in Problem 21.3 of the Kourovka Notebook.

math-ph — Mathematical Physics

A Bound Helium Dianion Does Not Exist

Contributed by Alec Shelley, Daniel Tartakovsky

For a non-relativistic atom with $Z$ protons and $N$ bound electrons, Lieb proved in 1984 that $N<2Z+1$. Several improved bounds have been developed, but they all leave open the question of whether a bound helium dianion can exist. We prove that the answer is no. The ground-state energies of the four- and three-electron helium Hamiltonians coincide, $E_4(Z{=}2)=E_3(Z{=}2)$, so a helium nucleus binds at most three electrons. A weighted form of Lieb's identity reduces the problem to the nonnegativity of an explicit two-electron Schrodinger operator $m$, and Barta's inequality further reduces it to the pointwise nonnegativity of an explicit function of three variables. We prove the nonnegativity of this function by a combination of analytic estimates and a computer-assisted certification in interval arithmetic, and we publish the certificate with the paper.

math.NT — Number Theory

Recycled roots under reduction and descent in the Casas-Alvero problem

Contributed by David Niedbala Giraudin

For a Casas-Alvero polynomial $f$, the type of $f$ is one less than the minimal number of roots of $f$ needed to meet every Hasse derivative $H_1f,\dots,H_{d-1}f$. We show that the type does not increase under reduction modulo a prime and under the descent from degree $np^e$ to degree $n$ in characteristic $p$. Consequently, if no Casas-Alvero polynomial of degree $n$ and type at most $k$ exists over $\overline{\mathbb F}_p$, then none of degree $np^e$ and type at most $k$ exists in characteristic $0$, for every $e\ge 0$. For $k=2$ the hypothesis is equivalent to $p\nmid N_n$ for an explicit integer $N_n$, and we show by a finite computation that $N_n\ne0$ for $3\le n\le 22$ and $n=24$. In particular there is no counterexample of type at most $2$ in degree $24$. This gives infinite families of degrees for which the conjecture is not known and every counterexample has type at least $3$: the degrees $5\cdot 8009^e$, the degrees $6p^e$ for $21$ primes $p$ that are bad for degree $6$, the degrees $7p^e$, $8p^e$, $9p^e$ and $10p^e$ for $13$, $17$, $16$ and $103$ explicit primes $p$ that are bad for these degrees, and the degrees $20p^e$ and $24p^e$ for all primes $p$ outside a finite set (for $20p^e$, including $p=2^{31}-1$). For $k=3$ we obtain the first degrees in which every counterexample has type at least $4$: the degrees $6p^e$ for $p\in\{983,1901,51313000813080529\}$, the degrees $8\cdot397^e$, the degrees $9p^e$ for $p\in\{613,757\}$ and the degrees $10p^e$ for $13$ primes $p$.

math.CO — Combinatorics

Exact diameter of the symmetric group with LX generators

Contributed by Sergei Uskov, Alexander Chervov, Fedor Levkovich-Maslyuk, Ivan Litvak, Andrei Smolensky, Alexander Soibelman

We prove an exact formula for the diameter of the directed Cayley graph for the symmetric group $S_n$ with generators $L$ (left cyclic shift) and $X$ (exchange of the first two elements). For every $n \geq 5$, we show that the diameter equals $(3n^2-8n+12)/4$ for even $n$ and $(3n^2-8n+9)/4$ for odd $n$. This resolves a longstanding question first proposed in the 1960's and refined in more recent work. The proof is AI-assisted and is based on a variety of combinatorial arguments. We also describe the agentic system we developed that led to this proof and looks highly promising for attacking other questions of this type. An accompanying Lean 4 formalization rigorously verifies the result.

math.FA — Functional Analysis

Column rigidity in noncommutative $\L^1$-spaces and completely isometric embeddings of Hilbertian operator spaces

Contributed by Cédric ARHANCET

We study exact embedding obstructions for Hilbertian operator spaces in noncommutative $\mathrm{L}^1$-spaces. We prove a quantitative version of the column inequality, whose equality case forces the absolute values of the entries to be proportional. We deduce that an operator space embedded completely isometrically in a noncommutative $\mathrm{L}^1$-space is a row Hilbert space whenever its first-column norms at the two-by-two level are Hilbert-Schmidt norms. This gives an exact embedding criterion for sums of weighted row and column spaces, including coordinate-dependent weights which are ordered in the same direction. In particular, $\mathrm{R}_n+\mathrm{C}_n$ does not embed completely isometrically into any noncommutative $\mathrm{L}^1$-space when $n \geq 2$. For $\mathrm{OH}_n$, whose complete isometric embeddability is established in a companion paper, we retain the common-support and commutative-target obstructions. We also show that distortion one is approached by matrix models but is attained by none of them, and that the matrix size must tend to infinity as the distortion tends to one.

math.NT — Number Theory

Hecke eigenvalues in level 1 modulo powers of 2 and 3: Hatada's question (1981) and the Coleman-Stein conjecture

Contributed by David Niedbala Giraudin

Let $f$ be a normalized Hecke eigenform of level $1$ and weight $k$, with eigenvalues $a_n(f)$. In 1981 Hatada asked whether $a_p(f)\equiv 1+p \pmod{2^a}$ whenever $p\equiv\pm1\pmod{2^{a-1}}$ and $6\le a\le 13$. Rustom's congruence modulo $128$ answers this for $a\le 7$. We show that the answer is affirmative for $a\le 10$ and negative for $a=11$, $12$ and $13$, the counterexamples coming from weight $16$ and $p=12289$. The proof combines Rustom's theorem with a certificate for $T_5$ modulo $512$ on period polynomials, a $2$-adic Galois law (for instance $a_p\equiv 1+p^{k-1}\pmod{2^{10}}$ for every $p\equiv 1\pmod 8$), and a reduction to a computation in a finite group. As a consequence, $a_p(f)=0$ implies $p\equiv -1\pmod{2^{11}}$. At the prime $3$ we show that, on Hatada's lattice of period polynomials, $T_2^2\equiv 9(k-1)^2\pmod{27}$, with refinements modulo $81$. This gives an independent proof of Conjecture 9.1 of Rustom without any ramification hypothesis and of the level $1$ case of the Coleman--Stein conjecture, both of which also follow from Rustom's recent classification modulo $81$. We also prove that $a_n(f)\equiv\sigma_{k-1}(n)\pmod{81}$ for every $n\equiv 1\pmod 3$, and a $3$-adic Galois law modulo $243$ on the Galois group of $\mathbb{Q}(\sqrt{-3})$, which gives congruences modulo $243$ and $729$ for suitable split primes and a bilinear law for primes $\ell\equiv 2\pmod 3$. Beyond $729$, for every prime $\ell\equiv 2\pmod 3$ we prove $a_\ell^2\equiv\sigma_{k-1}(\ell)^2\pmod{3^{\min(2j+2,10)}}$, where $j=v_3(\ell+1)$; the exponent $2j+2$ is attained for $j\le 4$ and fails for $j=5$. Each statement is marked as proved, known, verified or open. The finite computations are certified by seven Python scripts, provided as ancillary files.

math.QA — Quantum Algebra

Haagerup symmetries of the $E_8$ theory and conformal nets at central charge eight

Contributed by Cédric ARHANCET

A Haagerup algebra is a positive strongly rational vertex operator algebra $U$ of central charge eight with $\Rep(U)$ braided equivalent to the Drinfeld center $Z(\cal H_3)$ of the Haagerup fusion category. Such an algebra has been proposed by Jiao, with a computer-assisted proof, and announced by Riesen and by Huang. We show that $U$ has exactly three holomorphic extensions, each isomorphic to $V_{E_8}$, and that the categories of modules over the corresponding Lagrangian algebras are the three Haagerup fusion categories of Grossman and Snyder. The extensions attached to $\cal H_2$ and $\cal H_3$ are the two lattice extensions of $V_{E_6 \oplus A_2}$. Along a strategy outlined by Huang, we prove a recognition theorem for $\cal H_2$ and $\cal H_3$ among unitary fusion categories of rank six with three invertible objects, a noncommutative fusion ring and a pointed part with trivial associator. For regular unitary vertex operator algebras with Tener's bounded localized vertex operators, we prove that the fusion product of two unitary modules is unitarizable when one of them integrates to the conformal net. The explicit unitary algebra $S \subset V_{E_6 \oplus A_2}$ of our previous work, isomorphic to Jiao's algebra, is strongly local. Granting that Jiao's algebra is a Haagerup algebra, we deduce that the conformal net $\cal A_S$ is completely rational with $\Rep(\cal A_S) \cong Z(\cal H_3)$, that the Haagerup subfactor arises from $\cal A_S$, and that $\cal A_S$ solves a problem of Bischoff on generalized orbifolds. Under the same hypothesis, using a unitary structure on $V_{E_8 \oplus E_8}$ found by exact computer calculations, we prove that $S$ is completely unitary and that $\mathrm{Rep}(\cal A_S) \cong \mathrm{Rep}(S)$ through the correspondence given by smeared vertex operators. The diagonal construction and the passage to the twin algebra also show that every Haagerup algebra is completely unitary and satisfies Condition I+.

math.NT — Number Theory

On Bounds for Reciprocal Sums and Residues in Collatz Orbits, and Their Consequences

Contributed by Behzad Nikzad, Karl Frinkle, Fatemeh Bagherzadeh

We prove uniform bounds for reciprocal sums and residue products along Collatz paths. Let $\mathcal F$ be a finite nonrepeating shortcut path whose input states are greater than $1$, let $\mathcal R_{\mathcal F}$ be the sum of the reciprocals of its odd inputs, and let $\rho_{\mathcal F}$ be its finite-path residue. Then $\mathcal R_{\mathcal F}<1, \qquad \rho_{\mathcal F}<\frac{4}{3}.$ For the first-arrival trajectory of a terminating positive integer $n$, these inequalities give $\mathcal R(n)<1, \qquad \rho(n)=\frac{2^{E(n)}}{3^{O(n)}n}<\frac{4}{3},$ where $E(n)$ and $O(n)$ are the division and odd-operation counts. More generally, when each odd value greater than $1$ is counted once, the corresponding reciprocal-sum and residue bounds hold for every forward orbit, without a termination assumption. The proof combines verified finite height-delay records and residue bounds, canonical-block reciprocal estimates, and an exact finite count organized by gap brackets. Gap brackets, closely related to parity vectors, record the divisions by two between successive odd inputs and organize the finite counting argument; together with a related coordinate representation, they also yield exact formulas for reconstructing finite trajectories. After taking base-$2$ logarithms, the bound $\rho_{\mathcal F}<4/3$ leaves an uncertainty of less than $1/2$ in the relation between the even- and odd-operation counts. Since these counts are integers, either count is determined exactly by the other count and the path endpoints. We obtain nearest-integer restrictions on the changes in $E$ and $O$ between adjacent integers, apart from explicit small exceptions, and prove that adjacent terminating integers of equal height have identical operation counts. Thus every equal-height streak lies in a single operation-count class. We further introduce the charge $\lambda=E-2O$ and associated height and charge slice functions to study the persistence and eventual break of equal-height streaks. We distinguish class records, which are the least starting integers attaining specified values, from delay records, which attain new extrema relative to all smaller starting integers. The resulting record theory shows that $\lambda$-delay records form a subsequence of the odd-count delay records, which form a subsequence of the common division-count and height-delay list. On the class side, the nonpositive charge-class records lie among the odd-count class records, which lie among the division-count class records, which in turn lie among the height-class records. The corresponding hierarchies also hold for first-arrival paths to a common endpoint $z$ when $z=1$ or when $z>2$ is nonperiodic under the shortcut map.

math.NT — Number Theory

The Hankel determinants of an automatic sequence need not be automatic

Contributed by David Niedbala Giraudin

Allouche, Han and Niederreiter asked whether the sequence of Hankel determinants of a $d$-automatic sequence must be $d$-regular, or must become $d$-automatic after reduction modulo an integer. We answer the first question in the negative, and the second one for the reduction modulo $3$. Let $\alpha$ be the root of $f^4+f^2-Tf+1=0$ in $\mathbb{F}_3((1/T))$ with $|\alpha|<1$, the quartic of Mills and Robbins, and let $S$ be its coefficient sequence, which is $3$-automatic by Christol's theorem. The Hankel determinants of $S$ vanish in runs whose lengths are unbounded but of the order of the square root of their position, because the partial quotients of $\alpha$ are unbounded while its irrationality exponent is $2$; and a lemma of Schlage-Puchta forbids runs in that regime in an automatic sequence. Hence these Hankel determinants are $k$-automatic for no $k$, and the integer Hankel determinants of any lift of $S$ are $k$-regular for no $k$.

math.NT — Number Theory

The binary Collatz dynamics of the trinomials x^n+x+1: an independent proof of two conjectures of Gallardo and Rahavandrainy

Contributed by David Niedbala Giraudin

Gallardo and Rahavandrainy studied an analogue of the Collatz map on F_2[x], in which x(x+1) plays the role of 2 and x^2+x+1 that of 3: an odd polynomial A is sent to the odd part of 1+(x^2+x+1)A. They proved that every orbit reaches 1, and conjectured that the orbit of the trinomial x^n+x+1 has length 2^s+1, where s is the largest integer with 2^(s+1) < n, and that for 1 <= t <= s-1 it contains 2^t terms of the same degree. We prove both statements for every n >= 3. They were proved earlier, with a complete Lean 4 formalization, by W. Choi; the proof given here was obtained independently. The proof rests on the identity (x^2+x+1)+x(x+1)=1: it reduces the dynamics to a map from one plateau to the next, characterises the last plateau of any orbit, and shows that along the orbit of x^n+x+1 the plateaus start at the 2^j-th powers of the odd parts of the polynomials x^m(x^2+x+1)+1, the index m following an explicit binary recursion. We also note that a later restatement of the conjecture, with a non-strict inequality, fails exactly when n is a power of 2. A script checks all the statements numerically.

math.NT — Number Theory

On the largest irreducible factor of an odd perfect polynomial over $\mathbb{F}_2$

Contributed by David Niedbala Giraudin

A polynomial $A$ over $\mathbb{F}_2$ is perfect if it equals the sum $\sigma(A)$ of all its divisors, and odd if it is coprime to $x^2+x$. Canaday conjectured in 1941 that 1 is the only odd perfect polynomial. Known necessary conditions on a counterexample bound its number of distinct irreducible factors ($\omega\ge 5$, Gallardo and Rahavandrainy), its number of irreducible factors counted with multiplicity and its degree ($\Omega\ge 12$ and $\deg A>200$, Cengiz, Pollack and Trevino), and, when all exponents equal 2, the degree of its smallest irreducible factor (at least 40, Gallardo). We bound a different invariant: every odd perfect polynomial $A\ne 1$ has an irreducible factor of degree at least 20. The proof reduces the question, for each $D$, to a finite system: if all irreducible factors of $A$ have degree at most $D$, the exponents of $A$ belong to an explicit finite set, through the cyclotomic factorisation of $\sigma(P^h)$ and the multiplicative order of $P$ modulo the factors of $\sigma(P^h)$. An iterated sieve on the resulting production relations empties for every $D\le 19$. The computation was carried out twice, by two independent programs, with identical results; the second program is attached as an ancillary file. As a cross-check of the method, the same programs reproduce, by the orbit argument of Gallardo and Rahavandrainy, the exclusion of every prime of degree at most 30 as the smallest factor of a special perfect polynomial, in agreement with the published bounds.

math.CO — Combinatorics

The inverse problem for the number of connected induced subgraphs

Contributed by Lucas Almeida Almeida

For a finite graph $G$, let $c(G)$ be the number of nonempty vertex sets that induce a connected subgraph. We show that a positive integer $k$ equals $c(G)$ for some finite connected graph $G$ if and only if $k\notin\{2,4,5,8,9,16\}$. Every attainable value $k\ne25$ is attained on $\lfloor\log_2 k\rfloor+1$ vertices, the least possible number, and $25$ needs six vertices. More precisely, for every $m\ge6$ each integer from $2^{m-1}$ to $2^m-1$ is the value of $c$ on a connected graph with exactly $m$ vertices. The proofs of these results are short and use no computer; computer calculations serve only as independent checks, and for two auxiliary results: the values on six to eight vertices, and the result on all connected subgraphs described below. The value $16$ falls into a gap above the path: a connected graph on $n\ge4$ vertices other than the path $P_n$ has at least $n-3$ more connected sets than $P_n$. The values $k\ge17$ are realized by a recursive construction from cones, disjoint unions and a family of graphs that we call near-cones, starting from seven small graphs; it produces a graph with $c(G)=k$ in time polynomial in $\log k$. The question arose from a problem of Ordoñez in continuum theory, through a reduction by Camargo, Ordoñez and Ramírez, who found the values up to $255$ by a computer search. The proof is formalized in Lean 4. We also observe that a theorem of Czabarka, Székely and Wagner on subtrees reduces the corresponding problem for the number of all connected subgraphs to a finite computation, and we report its outcome. We did not find these results in the literature, but we make no claim of novelty or priority.

math.CO — Combinatorics

Hilton’s conjecture on cycle multiplicities

Contributed by Qiyue Tang

We prove Hilton’s conjecture on the number of cycles of each length in dense Hamiltonian graphs. This resolves the problem posed by A. J.W. Hilton and recorded by Sheehan in 1977.

math.NT — Number Theory

Powers of a Prime in the Image of Summatory Valuation Functions

Contributed by Frank Vega

J.-L. Nicolas asked how often a power of $2$ belongs to the image of $c(n)=\sum_{k\le n}2^{v_2(k)}$, where $v_2$ is the $2$-adic valuation, and showed that both the number $A(x)$ of exponents $a\le x$ with $2^a$ in the image and the number $B(x)$ of the other exponents tend to infinity. We prove the identity $c(n)=n+\frac12\sum_{i}i\,2^{i}$, the sum running over the positions of the binary digits $1$ of $n$, so that $2^a$ lies in the image of $c$ if and only if $2^{a+3}$ is a sum of distinct terms of the superincreasing sequence $(j2^j)_{j\ge1}$. For every exponent there is at most one possible largest term $K$, given by $K+\lceil\log_2K\rceil=a+3$, and no such $K$ exists exactly when $a=2^r+r-2$. The remaining exponents are decided by an explicit recursion on pairs of integers bounded by $a+3$, in at most $a+1$ steps. We give the closed formula $c(2^{K-2}+2^{K-s-2})=2^{K+h-3}$ for $s=2^k$, $h\equiv k\pmod{2^{k+1}}$ and $K=(2^{h+s}+s)/(2^s+1)$, and infinite explicit families of exponents $a$ for which $2^a$ is not in the image, indexed by $s=3$ and $s=2^i$; the families given by Nicolas are the cases $s=1$ and $s=2$. As a consequence, $A(x)\ge(2+o(1))\log_2x$ and $B(x)\ge(\frac54+\frac12\sum_{i\ge1}\frac{1}{2^i-1}+o(1))\log_2x=(2.0533\ldots+o(1))\log_2x$. We prove that the states of the recursion form a forest, rooted at the states $(J,0)$ and at the failing states, in which every state $(J',w')$ has exactly $v_2(J'+1+w')$ children; that the sets $S_J$ of successful states are symmetric; that exactly half of them lie in the tree of the root $(1,0)$; that $N(2k+1)=N(2k)$; that $4\mid N(J)$ for $J\ge4$; and that $S_J$ satisfies a recursion from the smallest elements upwards, with period $J/2$ for even $J$. The symmetry gives further explicit families, among them $c(2^{2^r}-1)=2^{2^r+r-1}$, and the improved bounds $A(x)\ge(3.9655\ldots+o(1))\log_2x$ and $B(x)\ge(2.8178\ldots+o(1))\log_2x$. For every prime $p$, the function $c_p(n)=\sum_{k\le n}p^{v_p(k)}$ counts the factor $1-X$ in $(1-X)\cdots(1-X^n)$ over $\mathbb{F}_p$; we extend to it the reduction, the unique candidate, the recursions and the symmetry, give explicit families, and describe completely the exponents rejected at the first step, which occur only for odd $p$. We also report experiments in exact integer arithmetic: every statement is checked by three independent methods, the values of $A(x)$ reproduce the table of Nicolas, the sets $S_J$ are computed for $J\le131072$, and $A(x)/x$ lies between $0.5132$ and $0.8750$ for $x=1000,2000,\dots,131000$.

math.CO — Combinatorics

Iterating the Gupta–Ndiaye–Norin–Wei method: a computer-verified bound $R(k)\le 3.7698^{k+o(k)}$

Contributed by Ella Puerto

Gupta, Ndiaye, Norin and Wei (GNNW) recast the Campos–Griffiths–Morris–Sahasrabudhe method as an inductive theorem that turns a known bound on off-diagonal Ramsey numbers into a better one. With two applications they obtained $R(k)\le (3.7992\ldots)^{k+o(k)}$. They also reported an unverified, AI-suggested third application giving $3.78233\ldots$. We make three observations about their framework. (i) The free function $M$ can be optimised pointwise. (ii) For a fixed input, the best output exponent is the least solution of an explicit first-order differential inequality. (iii) GNNW's Theorem 14 needs only $F\in C^1$ with locally Lipschitz derivative. We then construct an explicit chain of eight applications and verify every hypothesis by interval arithmetic on the whole range $0<\lambda\le 1$, with a hand-proved estimate covering $\lambda\to0$. The verification was done twice, with independent code, libraries and enclosure strategies. This proves $R(k)\le 3.76973^{k+o(k)}$, and in particular confirms GNNW's $3.78233$. Numerically, iterating the optimal step converges to about $3.7690$, which suggests this is close to the limit of the GNNW method in its present form.

math.NT — Number Theory

The invariant $c_M$ of Gallardo and Rahavandrainy at Mersenne prime exponents, and the case $p=7$

Contributed by David Niedbala Giraudin

A Mersenne prime polynomial is an irreducible polynomial over $\mathbb{F}_2$ of the form $x^a(x+1)^b+1$ with $a,b\ge1$. Gallardo and Rahavandrainy conjectured that, apart from two exceptions, $\sigma(M^{2h})$ always has an irreducible factor which is not a Mersenne prime. For a prime $p\ge5$ they proved it for every $M$ outside an exceptional set $\Sigma_p=\Sigma_p^1\cup\dots\cup\Sigma_p^4$, defined through an integer $c_M$ and an odd integer $m_M$ read off the leading coefficients of $\sigma(\sigma(M^{p-1}))$, and later they proved it for every Mersenne prime number $p\ge31$; their method does not reach $p=7$. We compute $c_M$ exactly when $p=2^d-1$ is a Mersenne prime number: $c_M=d+1$ if $\deg M\ne d$, and $c_M=d$ if $\deg M=d$. Consequently $\Sigma_p^1$ consists of the Mersenne primes of degree $d$ or $d+1$, $\Sigma_p^2$ is empty, and $\Sigma_p^3$, $\Sigma_p^4$ are described by $m_M=\deg M-d-1$ and $m_M=\deg M-d$ respectively. For $p=7$ this reduces the conjecture to the Mersenne primes $M$ with $m_M\in\{\deg M-4,\deg M-3\}$. A direct computation shows that $\sigma(M^6)$ has a non-Mersenne irreducible factor for every Mersenne prime $M$ of degree at most $500$, and that $m_M\le17$ in that range. Hence the conjecture holds whenever $7$ divides $2h+1$ and $\deg M\le500$, and a counterexample with $7\mid 2h+1$ would need $m_M\ge\deg M-4>496$. A script attached as an ancillary file checks these computations, and reproduces the table of exceptional sets of Gallardo and Rahavandrainy.

math.OA — Operator Algebras

Modular Dvoretzky, Type-Cotype, Khinchin-Kahane and Grothendieck Inequality Problems

Contributed by K. MAHESH KRISHNA

We ask for noncommutative versions of following four: (1) Dvoretzky Theorem, (2) Type-Cotype Definition, (3) Khinchin-Kahane Inequalities, (4) Grothendieck Inequality.

math.NT — Number Theory

PARAMETER MONOTONICITY FOR GENERALIZED k-MARKOV NUMBERS

Contributed by Qiyue Tang

We prove that the order reversal asked about in Question 35 of Banaian and Huang cannot occur for generalized k-Markov numbers, answering their question negatively.

math.SG — Symplectic Geometry

DEEP LOCI OF DOUBLE BOTT–SAMELSON VARIETIES

Contributed by Qiyue Tang

We prove that the deep locus of a complex double Bott–Samelson variety associated with a positive braid is its stabilizer locus. Consequently, the deep locus is empty if and only if any two components of the braid closure are unlinked. This resolves Conjecture 4.45 of Castronovo, Gorsky, Simental, and Speyer.

math.GT — Geometric Topology

The dodecahedron web and its instanton homology

Contributed by Peter Kronheimer, Tomasz Mrowka

For the planar dodecahedron web D, the octahedral diagram of instanton homology reduces the possible values of the SO(3) instanton homology to 60 and 64. The remaining choice is determined by three coefficients of a secondary map. We give a proposed proof that all three vanish and that the dimension is 64. We express the coefficients as counts of instantons on specified foam cobordisms with one-parameter families of metrics. The index calculation requires these instantons to have negative action. An estimate uniform under neck stretching excludes them when the perturbations are sufficiently small. The construction includes local Floer complexes with zero differential, the marking calculation for excision, and a simultaneous choice of regular perturbations compatible with the families. Exact matrices and the supporting foam calculations are provided separately.

math-ph — Mathematical Physics

Geometric Computation: Twin Helices and the Algebra of Flow

Contributed by Benjamin Kaminsky

This work constructs a manifold consisting of twin helices to investigate the existence of computational geometric bordisms, as part of the broader program of the Cobordism Hypothesis. We use these structures to define a class of deterministic computational substrates, termed Geometrically Computable Manifolds, and study their geometric, algebraic, and computational properties. We show that, in a discrete regime, these manifolds encode arbitrary cyclic groups and support universal computation. This leads to a hypothesis describing the structural trade-offs in physical computation across distinct computational phases. We then analyze a regime in which abelian gauge computation is modeled with ordinary differential equations, linking the construction to continuous geometric dynamics. This signals a new research direction in physical mathematics at the intersection of geometry, gauge theory, and computability theory, termed Geometric Computability Theory, in which computation is treated as a property of geometric compositions. This perspective opens avenues for future investigation, motivating the development of a constructive computational gauge theory with applications to Yang–Mills theory. As of this writing, no complete unified compositional semantics yet exists for the full range of these manifolds; future work will develop such a formalism.

Author comments: Updates: ---Specified the correct Lie algebra for conical helices in 1.1. ---Corrected "helicity" to "helices" in A.1.

math.NT — Number Theory

Asymptotic closed forms for the Faltings height of Fermat Jacobians and the spectrum of logarithmic derivatives of L-functions

Contributed by Zeng Chunping

For the Fermat tower $F_N\colon x^N+y^N=1$, $N=p^n$, we assemble the complete asymptotic machine for the stable Faltings height $h_F(J(F_N))$: the main-chain closed form $\hat h_n=\frac{\log p}{4}n-6\log A-\frac{p\log p}{4(p^2-1)}+\Theta\!\bigl(\frac{n\log p}{p^n}\bigr)$; an exact spectral identity $h(\Phi)=\frac{\mu(\Phi)}{2}-\sum_\chi m(\Phi,\chi)\rho_\chi$ with $\rho_\chi=R_\chi+\log f_\chi$; an arithmetic channel for the deviation functional through the Bernoulli-mass $M_1(\Phi)=\sum_\chi m(\Phi,\chi)\log|B_{1,\bar\chi}|$ ($R^2=0.78$, residual std $1.90$); a profile law $\mathbb{E}[M_{c'}]=3^{c'-2}\Lambda(n)$ proved by a carry-counting identity; and the layerwise height closure $\mathrm{mean}\,h^{\mathrm{Col}}(n)=\frac{3^{n-1}\log 3}{4}(n-n^*)$ with $n^*\to 5.69$, which explains the sign flip at $n=5$ and the $\Delta_9$ explosion ($\hat h^{\mathrm{Fal}}_9=+7.24$, twenty-five times outside the corridor $0.25$--$0.30$). All identities are certified at the exact-arithmetic level on layers $n\le 12$ ($2187$ orbits and $729$ odd characters at layer $7$, statistical verdicts at layers $8$--$12$). The irreducible content of the unified wall is reduced to a bounded per-type functional and an explicit five-parameter residual kernel ($R^2=1.0000$ on the orbit level).

cs.DS — Data Structures and Algorithms

Arithmetic Dynamics as the Seventh World: The Law of Forgetting for z^2+c

Contributed by Zeng Chunping

Among the seven worlds of the central-charge program (number fields, function fields, graphs, finite-type dynamics, knots, tropical geometry, and arithmetic dynamics), the seventh is the only one whose critical exponent is continuously tunable, and the only one whose "cusp layer" is visible point by point over the primes. For phi(z) = z^d + c reduced modulo p, the orbit structure splits into two layers: an algebraic-closure layer (universal, smooth, forgotten: N_m = #Fix(phi^m) = d^m + 1, independent of c) and an F_p-rational layer (arithmetic, fingerprinted, remembered: Per_p(phi), the Frobenius fixed-point count). We prove: the dynamic Lehmer constant L_dyn = h_{x^2+1}(0) = 0.203677261369740... (a complete minimization proof over Q); the three-axis separation theorem for the splitting family c = (1-m^2)/4 (amplitude = 2 is a free fingerprint carried entirely by the n = 1 layer; alpha = 0.5 is a theorem for all m >= 5; the Jensen gap J has no m-dependence and separates the monomial and Chebyshev cases that the scale exponent alpha confounds); the sqrt(2) anisotropy of escape near the cusp, A(phi) = |sin(phi/2)|/sqrt(6) (Joukowski coordinates, 15 directions at two scales digit-perfect); the Sha growth law lim_n log_2(Sha_n)/2^n = 2*alpha - 1 with the Stoll mod-square family classified (7/7 separation); the criterion alpha = 1 if and only if disguised group endomorphism, across polynomials and rational maps including both Lattes quotients; and the number-field PCF criterion h(0) = 0 if and only if c in M intersect O_K with all embeddings in M, verified against Baker-DeMarco with a six-field Lehmer table. The universal far-tail rate is identified with the random-mapping class, Phi = (4-pi)/4 = 0.2146, with a quantitative accounting of the PCC contamination that had drifted earlier measurements. All corrections found during the research (including two withdrawn headline predictions) are recorded in an appendix.

math.RT — Representation Theory

The Law of Forgetting in Moments of Sato-Tate Measures: Invariant Tensors, Maximal Tori, and the Rank Law

Contributed by Zeng Chunping

For a compact group G with a finite-dimensional representation V, the moments of the character are, by a one-line argument, the dimensions of the invariant tensor spaces: <chi_V^m>_G = dim(V^{otimes m})^G. We call the passage from averaging over G to averaging over a maximal torus T the "law of forgetting": T-invariants only require weights to sum to zero, while G-invariants impose the additional invariance constraint. For the standard representation of SU(2) the two ladders differ by the exact factor F_k = binom(2k,k)/Cat(k) = k+1 (proved via the Temperley-Lieb non-crossing matching basis). The general forgetting factor admits a complete asymptotic F_k = c_V * k^s * (1 + gamma_V/k + O(1/k^2)), where s is the number of positive roots; both constants are given in closed form: c_V = |W| / (2^s <h_d>), a ratio of the Weyl denominator's lowest homogeneous term at the saddle to its Gaussian average, and gamma_V = (epsilon_T - epsilon_G)/2, whose inputs are the quartic term of -log|chi/dim V| and the next term of the Weyl denominator. The exponent s = (dim G - rank G)/2 is verified across six compact Lie groups (A_1, A_2, B_2, C_2, C_3, G_2) through the theorem F(1) = dim V (proved: weight multiplicities one, Schur's lemma), and the universal U(N) family gives the closed form F(N,k) ~ R_N k^{N choose 2} with R_N = (2/N)^{N choose 2} / G(N+1), G the Barnes function, identified with the reciprocal of a Mehta constant. On the arithmetic side, the master identity is verified on elliptic-curve Frobenius data; the two-copy test E x E versus E_1 x E_2 reads Schur's lemma directly from the second moment (a single number, 4 versus 2, separates isogenous from distinct copies); and the (lambda,lambda) pairing identity of Howe duality is identified with the Dirichlet coefficients of the Rankin-Selberg L-function, the N <-> k symmetry reading as convolution symmetry. A parallel shape fingerprint W = E[Y^2]/E[Y]^2 bypasses the heavy-tail divergence of the Jensen-gap functional J = E[Y]E[1/Y], with closed forms for twelve distribution families. All conclusions carry explicit status labels (proved / numerically anchored / identified), and every error found during the research is recorded with its correction in an appendix.

math.DS — Dynamical Systems

Existence of SRB measures for some Rössler systems

Contributed by Theophile Caby

We prove that for the Rössler systemẋ = −(y + z),ẏ = x + ay,ż = b + z(x − c) with a = b = 0.2, the set of parameters c within 6 · 10 −5 of the classical value c = 5.7 for which the ow has a Hénon-like strange attractor supporting a SinaiRuelleBowen (SRB) measure has positive Lebesgue measure. The key step, proved with computer assistance, is that at an explicit parameter within 5.5 · 10 −5 of 5.7 the period-one saddle of the Poincaré map has a quadratic homoclinic tangency that unfolds generically; the conclusion then follows from the theorems of MoraViana, BenedicksYoung and BenedicksViana. The same method gives two further such tangencies near 5.7 and one at the band-merging parameter c ≈ 4.507. The proof reduces the generic-tangency conditions to nitely many inequalities, through explicit C 2 graph-transform bounds for the local invariant manifolds of a Poincaré map whose area contraction is of order 10 −11 10 −14 , and a scalar tangency function. The inequalities are checked with interval arithmetic in CAPD and rechecked with an independent implementation based on the Kv library; the analytic tangency criterion is formalised in Lean 4. Whether an SRB measure exists at c = 5.7 itself remains open.

math.NT — Number Theory

Minimal recurrences for binomial power sums

Contributed by Khai-Hoan Nguyen-Dang

For every positive integer $r$, we prove that the least order of a polynomial-coefficient recurrence for $F_r(n)=\sum_{k=0}^n\binom nk^r$ is $\lfloor(r+1)/2\rfloor$. This establishes the unrestricted minimal-order assertion arising from Franel's work of 1894--1895. We also determine the least order $\lfloor r/2\rfloor$, for $r\geq2$, of the alternating sums $(-1)^n\sum_{k=0}^{2n}(-1)^k\binom{2n}{k}^r$. The lower bounds follow from real moment representations: every nonzero singularity of the representing measure forces a root of the leading characteristic polynomial of the recurrence. A common reflection argument gives telescoping recurrences attaining both bounds. For the ordinary sums, we combine the deformation of Straub and Zudilin with a shifted prime-power congruence to prove that the minimal shift operator is irreducible over $\C(n)$.

math.AG — Algebraic Geometry

Gersten injectivity and Morel's purity conjecture

Contributed by Niels FELD

Morel conjectured that the $\mathbb{A}^1$-homotopy sheaves of an $S^1$-spectrum built from suspension spectra of smooth projective schemes are pure; one condition in purity is injectivity of restriction to dense open subschemes. Over a regular base $S$, we show that this injectivity condition, for the homotopy sheaves of algebraic $K$-theory with coefficients in an arbitrary spectrum, is equivalent to Gersten injectivity at the henselizations of all local rings of smooth $S$-schemes; and that these $K$-theory spectra are pure in Morel's sense. Hence every henselian regular local ring at which Gersten injectivity fails, integrally, rationally, or with finite coefficients, gives a counterexample to Morel's conjecture. The author's finite-coefficient counterexample over $\mathbb{Z}_3[[x,y]]/(3+x^2-y^3)$ therefore disproves the conjecture, already over the regular scheme $\operatorname{Spec}\mathbb{Z}[1/2][x,y]/(3+x^2-y^3)$. Recently announced integral and rational Gersten counterexamples, including unpublished work of the author, would show, if confirmed and if they persist after henselization, that the conjecture fails already for the $K$-theory spectrum itself.

math.CO — Combinatorics

The ten minimum universal sets of MacMahon cubes

Contributed by Jason Davies

A collection of six-coloured MacMahon cubes is universal if eight of its cubes can be selected to build a $2\times2\times2$ model of any target variety, with matching exterior colours and no internal matching requirement. We prove that exactly ten labelled collections attain the known minimum size of twelve, even when repeated varieties are allowed, resolving the conjectures of Johnson and Roldán. Usable-cube inequalities force a symmetric multiplicity matrix with row and column sums two; corner coverage then forces two disjoint triangles in Conway's tableau. The written proof is elementary and requires no exhaustive search. The classification and its discrete geometric interpretation are formalised in Lean 4. Exhaustive computation provides a separate check and additional target-count distributions.