Number Theory [math.NT]

Mean Estimates for Short Polynomial Exponential Sums over Primes

math.NT

Let $n\ge2$ be a fixed integer, and let $K,x,y$ be positive integers satisfying $2\le K\le y

Consecutive Cycle Sums

math.NT

math.CO

Consider placing the numbers $1, \ldots, n$ consecutively around an $n$-cycle. We ask for a given $n$, which numbers $k$ can be written as a sum of consecutive numbers on the $n$-cycle. If all numbers between $1$ and $T_n$, the $n$th triangular number, can be written as a sum this way we say the $n$-cycle is complete. Our main result shows that for $n\geq 8$, $n$-cycles are incomplete.

More than 83.9% of the zeros of the Riemann zeta function are distinct and more than 67.35% are simple and on the critical line

math.NT

cs.LO

Let N(T) count the nontrivial zeros of the Riemann zeta function up to height T with multiplicity, N_d(T) the distinct ones, and N_0^s(T) those that are simple and on the critical line. We prove liminf N_d(T)/N(T) >= 1645064/1960733 = 0.83900...; earlier work proves 0.83699..., and a report we have not verified claims 0.83805.... Hence more than 67.80% are simple. Also liminf N_0^s(T)/N(T) >= 0.67353...; earlier work proves 0.67250..., and reports we have not verified claim 0.673492. Two estimates of Lamzouri are improved: at least 88.93% of the zeros are simple or on the critical line, and the proportions of simple zeros and of zeros on the line average at least 83.67%. By the unconditional form of Montgomery's pair-correlation theorem the energy, a sum of a test function over pairs of zeros, is known asymptotically. A zero of multiplicity d contributes d^2 to it and nearby zeros contribute too, so a lower bound for such pairs leaves less energy for multiple zeros. The proof has three steps. First, for zeros at least a fixed fraction of the mean spacing apart, a large sieve inequality lets their pairs be used in full, with multiplicities. Second, their contribution is bounded below by a computer-assisted inequality for seven or eight consecutive zeros which distinguishes simple and double zeros. Its correction terms telescope, as increments of a storage function. Third, the test function is chosen to make this contribution large, at the cost of more energy. We also prove upper limits for what such inequalities can give with the two main test functions. The lower bounds and these limits are proved in Lean 4, analytic inputs included. The proofs use three axioms beyond those of Mathlib, one per inequality. Each records that a search program returned true; Lean's kernel does not check the run itself. This work is an experiment in AI-assisted mathematical research.

Automorphisms of general modular curves

math.NT

math.AG

We prove that for a geometrically connected modular curve $X_H$ of prime level larger than $311$, all automorphisms are modular, i.e., they arise from the moduli interpretation of $X_H$. The proof relies on a general criterion involving the gonality of $X_H$ and the dimension of the CM part of the Jacobian of $X_H$. For arbitrary level, we give algorithms to compute the modular automorphisms and, in many cases, to prove that there are no other automorphisms. Finally, we apply these algorithms to the curves in the database LMFDB.

Affine Coordinate Subspaces and Strong Khintchine Convergence

math.NT

We prove that every affine coordinate subspace of positive dimension and positive codimension fails to be of strong Khintchine type for convergence. Combining this with Huang's criterion for Khintchine-type affine subspaces gives a sufficient Diophantine condition for an affine coordinate subspace to be of Khintchine type but not of strong Khintchine type for convergence.

Idempotence in Carmichael and Giuga numbers and its application to the Agoh-Giuga conjecture

math.NT

This article analyzes the idempotence of Giuga numbers and Carmichael numbers. The first sections will lead us to define an arithmetic function through which we will find a new characterization of Giuga numbers. The following sections will lead us to generalize Carmichael numbers, finding numbers that are Fermat pseudoprimes in certain specific cases, and to formulate various statements and open questions regarding their properties. Finally, we will find a new alternative condition, based on idempotence, that a number must satisfy to be a counterexample to the Agoh-Giuga conjecture and which, therefore, presumably, no number will ever satisfy. We will almost always work under the premise that n is square-free, since both numbers always have that property, but in certain situations we will extend some of the results to the general case.

On a Digital Signature Based on Matrix Decomposition and the MinRank Problem

math.NT

The following article attempts to define a new digital signature scheme based on a variant of the MinRank problem under appropriate parameters. First, the key generation process will be defined, followed by the message signing and verification processes. The speed of signing and verification will be analyzed, and finally, the signature will be evaluated in terms of security and robustness against known attacks, which will lead to a set of requirements that we will consider when selecting certain parameters related to the size and number of variables. It should be noted that this signature, although simple in design, can serve as the foundation for an entire family of digital signatures based on the central idea that inspired its creation.

On the algebraic and analytic ranks of the twin-prime elliptic curve $y^2=x(x-2)(x-p)$

math.NT

Let $p\ge 7$ and suppose that $p$ and $p-2$ are prime. We study $E_p:y^2=x(x-2)(x-p)$ using the classical $2$-Selmer calculation of Qiu-Zhang and the Cassels-Tate pairing. These give $2^\infty$-Selmer corank one for $p\equiv 3,5\pmod{8}$ and corank zero for $p\equiv 7\pmod{8}$. Assuming the low-corank Birch-Swinnerton-Dyer statement announced in the October 2026 OpenAI mathematics release, we deduce equality of the analytic and algebraic ranks in these cases, finiteness of the full Tate-Shafarevich group, and the exact BSD leading-term formula. The $2$-primary Tate-Shafarevich group is trivial, and the remaining factor has odd square order. We identify precisely the obstruction left in the class $p\equiv 1\pmod{8}$. An appendix gives a local descent proof of the known Selmer dimensions in the coordinates used here.

Regular integral models of Shimura varieties and a conjecture of Pappas

math.NT

math.AG

We construct regular integral models for a class of Shimura varieties of symplectic and orthogonal type with maximal parahoric level at an odd prime $p$. These models are defined over the ring of integers of the reflex field and have special fiber with normal crossings and irreducible components of multiplicity one or two. Our construction uses explicit equivariant modifications of the corresponding canonical local models for symplectic and split even orthogonal similitude groups, with the minuscule cocharacters corresponding to maximal isotropic Grassmannians. These modifications are obtained by successively blowing up Schubert varieties in the special fiber. This proves the equivariant modification conjecture of Pappas at maximal parahoric level in the above cases.

Higher order uniformity of the primes and cancellation of the M\"obius function in shorter intervals

math.NT

We prove the Gowers uniformity of the von Mangoldt function minus its Cram\'er model in all short intervals $[X,X+X^{3/5+\varepsilon}]$, improving on the work of the first and fourth authors with Shao and Tao, where the exponent was $5/8$. This also implies a local-to-global theorem for linear equations in primes in such short intervals. We also show that the M\"obius function has cancellation in all intervals $[X,X+X^{19/35+\varepsilon}]$, improving on the work of the first and fourth authors, where the exponent was $11/20$. Both improvements are based on improved treatment of trilinear sums over short intervals which naturally reduces to estimating mean values of products of three Dirichlet polynomials. In a general setting, we reduce the task of estimating mean values of products of Dirichlet polynomials with given large value bounds to the task of showing that a certain piecewise linear function is positive. This reduction allows recent large value estimates to be incorporated. Combining this general framework with the most recent large value estimates stemming from the work of Guth and Maynard, we prove a Heath-Brown--Iwaniec type estimate for type I/II sums in intervals of length $X^{19/35+\varepsilon}$ and a Baker--Harman--Pintz parallelogram type estimate for general trilinear sums in intervals of length $X^{3/5+\varepsilon}$.

Prime points on smooth hypersurfaces

math.NT

Let $F \in \mathbb{Z}[x_1, \ldots, x_n]$ be a homogeneous form of degree $d \geq 4$ which defines a smooth hypersurface in $\mathbb{P}^{n-1}_{\mathbb{C}}$. For $n \geq 24 d^4 2^d$, we prove an asymptotic formula for the number of prime solutions to the equation $F(x_1, \ldots, x_n) = 0$, provided $F$ satisfies suitable local conditions.

Linear independence of values of polylogarithms with periodic coefficients, outside the disk of convergence

math.NT

For any non-zero periodic function f\,: Z $\rightarrow$ C of period N ___ 1 and any non-zero algebraic number z\_0 that doesn't lie on a half-line [e^2i${\ell}$$\pi$/N , e^2i${\ell}$$\pi$/N $\infty$[, 0 ___ ${\ell}$ ___ N -1, we give a lower bound of order sqrt{s/log(s)} on the dimension of the Q(z\_0 )-vector space spanned by the numbers L(f, i, z\_0 )\,: sum\_{m=1}^$\infty$ f(m)z\_0^m/m^i. This generalizes a result Fischler proved in 2026, corresponding to f identically equal to 1 and |z\_0| ___ 1: in this case, the numbers L(f, i, z\_0 ) = Li\_i (z\_0 ) are polylogarithm values. Except for a finite number of cuts in the complex plane, our result still holds when |z\_0 | > 1, that is in a domain where the series definition above for the numbers L(f, i, z\_0 ) doesn't converge anymore, and we make sense of these numbers through analytic continuation. To obtain this result, we construct linear combinations of the numbers L(f, i, z\_0 ) using a refined version of Siegel's lemma, and we apply to them a linear independence criterion generalizing the one used by Fischler. To check the assumptions of this criterion, we rely on an integral representation of the polylogarithm functions and on a ''Shidlovskii lemma''.

Maximal volume of convex bodies avoiding random points and lacunary dilates

math.NT

math.MG

math.PR

For a positive real lacunary sequence and any probability measure $\mu$ with polynomial Fourier decay, we determine, for $\mu$-almost every $x$, the asymptotic maximal volume of convex bodies avoiding the first $N$ dilates of $x$ modulo $\mathbb Z^d$. Among homothets of a fixed convex body, the maximal volume is asymptotic to $(\log N)/N$. When all convex bodies in the unit cube are allowed, it is asymptotic to $d(\log N)/N$. For independent uniform points in a fixed convex body $\Omega\subset\mathbb R^d$, the maximal volume of an empty convex body is asymptotic to $d\operatorname{vol}(\Omega)(\log N)/N$ almost surely. We also show, by constructing a one-dimensional counterexample, that lacunarity cannot be replaced by sparsity on sublacunary scales.

Translation-invariant equations in $\mathbb{F}_p^n$ and groups

math.NT

In this paper, we explore how large a subset of a finite group can be without containing non-trivial solutions to linear equations of the form $aX+bY=cZ+dU$ (where $a+b=c+d$). These equations naturally generalize the classic concept of Sidon sets. Using Tao's slice rank method, we first establish strict upper bounds for the size of such solution-free sets in the vector space $\mathbb{F}_{p}^{n}$. Next, we turn to cyclic groups $\mathbb{Z}_{m}$ and construct surprisingly large sets that have no solutions for the asymmetric equation $X+5Y=3U+3Z$. These constructions achieve a logarithmic density of roughly $0.5283$, breaking the expected $0.5$ barrier for any sufficiently large modulus $m$. Finally, we show that this high-density behavior extends to a wider family of equations whose coefficients follow simple rules modulo $8$.

Terminal Blocks of Primes in Pisot Numeration Systems

math.NT

math.DS

We prove a prime number theorem for fixed terminal block words in Pisot integer numeration systems. If the dominant root $\varphi$ is a Pisot number and the characteristic polynomial $P_h$ is its minimal polynomial, every terminal block word of total digit-length $m$ occurs among the primes with asymptotic frequency $\varphi^{-m}$. In the Zeckendorf case this resolves a recent conjecture. The proof converts terminal conditions into Rauzy cylinder windows and then into a linear orbit on a compact torus. For these companion substitutions, the required multiplicity-one Rauzy geometry is automatic: Barge's pure-discreteness theorem applies after reversal of the substitution words. The Rauzy torus also gives a prime number theorem for the substitution fixed word: every finite factor occurs at prime starting positions with its ordinary factor frequency. This proves the Tribonacci prime-number theorem suggested by Drmota--M\"ullner--Spiegelhofer. The toral model further yields polynomial sampling laws, asymptotic independence from fixed congruence classes, fixed-shift correlation formulas, and M\"obius orthogonality. Combined with established prime theorems, it gives a terminal refinement of Chebotarev and shows that every fixed terminal prime class contains arbitrarily long arithmetic progressions with polylogarithmically bounded common difference.

Spacing statistics for a point scatterer on the cubic three-torus

math.NT

math-ph

math.MP

We study the new eigenvalues of a fixed point interaction on the cubic three-torus. Their mean-one consecutive spacings converge to a probability law independent of the interaction parameter. We characterize this law by the consecutive zeros of a random meromorphic function built from three-squares congruence densities. Its small-gap distribution has the form $s^5\Psi(\log_2(s^{-2}))+o(s^5)$, where $\Psi$ is continuous, positive, and one-periodic. The proof combines periodic mean-square approximation, a weighted Hilbert-transform estimate, and Fourier estimates that retain the interactions between primes.

Consecutive Rankin-Cohen Bases, Full-Spark Periods, and Divisor-Tau Congruences

math.NT

For $r\ge1$, let $K=2r+14$ and $d=\dim S_K$. We prove strict positivity for determinants of Mellin period functionals, yielding a full-spark theorem for periods in a fundamental half-range and, in particular, the mixed odd--even period independence conjecture of Xue. As a consequence, the consecutive first Rankin--Cohen brackets $[E_{2r+10-2j},E_{2j+2}]_1$, $1\le j\le d$, form a basis of $S_K$, and we determine the signs of all admissible ordered determinants of first Eisenstein brackets. This gives a uniform exact all-weight formula for the divisor--tau convolution $C_r(n)=\sum_{m=1}^{n-1}\sigma_{2r+1}(m)\tau(n-m)$. Reducing the same coordinate identity modulo primes, we obtain canonical prime-wise reductions for infinitely many primes in every weight and characterize sparse Ramanujan-type specializations through vanishing Cramer coordinates. Finally, for homogeneous $f,g\in\mathbf Q[E_4,E_6]$, we prove $[f,g]_1/\Delta=-3456\det((f_{E_4},f_{E_6}),(g_{E_4},g_{E_6}))$, reducing the Cramer system to a one-variable coordinate problem in $T=E_6^2/E_4^3$.

Invariant Primes in Lubin-Tate Space and Hovey-Strickland at Every Height

math.NT

math.AT

Let $H_n$ be the one-dimensional Honda formal group of height $n$ over $\mathbf F_{p^n}$ and let \[ R_n=W(\mathbf F_{p^n})[[u_1,\ldots,u_{n-1}]],\qquad A_n=R_n/(p). \] We prove, for every height $n$ and every prime $p$, that the prime ideals of $A_n$ stable under an open subgroup of the Morava stabilizer group are exactly the height ideals $(u_1,\ldots,u_j)$. We also prove that a stable prime of $R_n$ avoiding $p$ is zero. The resulting radical-ideal classification implies the Hovey-Strickland classification of thick tensor ideals in the category of dualizable $K(n)$-local spectra via the forward implication of Barthel-Heard-Naumann. The special-fiber argument is local and geometric. After cutting an invariant prime by a one-parameter curve, we construct from the Cartier structure equation a smooth formal quotient $\mathcal{Q}$ and a distinguished subgroup $\mathcal{H}$. The generic fiber of $\mathcal{H}$ is identified with the deformation space of connected-\'etale extensions. A Cartier obstruction map from the full Honda endomorphism order is compared with evaluation on Tate vectors through completed universal covers. Fargues-Fontaine vector bundles give a period-detection statement. Chai's rigidity theorem then promotes detection by homomorphisms to formal Zariski density after a renormalization of the valuation. A uniform fixed-jet argument transfers this density to Morava-stabilizer orbits. The generic-fiber assertion is proved separately from the Gross-Hopkins period map.

Generating sets for maximal orders in rational quaternion algebras

math.NT

Given a maximal order $\mathfrak{O}$ in a rational definite quaternion algebra, and a prime $\ell$ coprime to the discriminant of $\mathfrak{O}$, this paper considers subsets of $\mathfrak{O}$ consisting of elements with $\ell$-power norms that together generate $\mathfrak{O}$ as a $\mathbb{Z}$-algebra. We prove two theorems about the existence of such sets: the first states that $\mathfrak{O}$ is generated by elements of norm $\ell^k$ for any $k$ larger than an explicit bound, and the second states that there is a generating set for $\mathfrak{O}$ consisting of at most three elements, each with norm a power of $\ell$. We discuss implications for the study of supersingular isogeny graphs. As steps towards these theorems, for quaternion orders $\mathcal{O}$ that are not necessarily maximal, we also prove structural results about the algebra of Brandt matrices for $\mathcal{O}$ and explicit bounds on the coefficients of the theta function of $\mathcal{O}$. Computational experiments are also discussed.

Improved average and almost-all bounds for $G(n)$

math.NT

In this paper we study the least positive integer $G(n)$ such that the integers $a\leq G(n)$ with $(a,n)=1$ generate $(\mathbb Z/n\mathbb Z)^\times$. We prove that, for every $\varepsilon>0$, \[ \sum_{n\leq x}G(n)\ll_\varepsilon x(\log x)^{8/3+\varepsilon}, \] improving the previously known bound $\ll x(\log x)^{97}$. We also prove that $G(n)\leq(\log n)^2$ for almost all $n$, unconditionally. Thus, for almost all $n$, we obtain the same logarithmic exponent $2$ as in the classical pointwise bound under GRH.

Irrationality exponents of logarithms of positive rational numbers

math.NT

We present a direct separated-weight determinant argument for {\mu}(log r) = 2 for every positive rational number r = 1. We first prove the moving-centre interpolation theorem used in the argument. We then fix an arbitrary r = a/b and give all parameter choices, denominator estimates, row translations, and analytic determinant bounds for that same argument. Rational linear combinations and rational affine changes follow as corollaries.Supplementary geometric extensions and an explicit finite-degree bound are collected in the appendices. This remains a research draft under audit; the reorganization does not constitute independent certification of its mathematical conclusions.

Intersecting a curve in an abelian variety with multiples of another curve

math.NT

math.AG

Levin asked what can be said about the locus of points lying on a given curve in $\mathbb{G}_m^n$ that have a non-zero integer multiple on another given curve in $\mathbb{G}_m^n$ for $n \geq 3$. We give a definite answer to the abelian analogue of Levin's question, proving what is predicted by the Zilber--Pink conjecture in this case. An important ingredient in our proof is a strengthening of a height inequality by Vojta and R\'emond.

Local Factors in the BSD Conjecture: A Unified Statistical View

math.NT

For elliptic curves $E/\mathbb{Q}$ in short Weierstrass form \[ E=E(a_4,a_6): y^2=x^3+a_4x+a_6, \] we derive a multivariable Euler product generating function which encodes the Tamagawa product $Tam(E)=\prod_p c_p(E)$. Using this generating function, we compute limiting distributions, exact covariances, and moment and tail bounds for four important statistics on the Tamagawa number; for example we show that more than half of all curves in this height ordering have trivial Tamagawa product, about $42.2\%$ have exactly one prime with nontrivial local Tamagawa number, and only about $6.8\%$ have exactly two such primes. The product is obtained by specializing an Euler product indexed by local reduction data that we derive from Tate's algorithm. The results in this paper were autoformalized in Lean by AxiomProver.

Cocycle Relations and Elliptic Gamma Values

math.NT

In the recent work of Bergeron-Charollois-Garc\'{\i}a \cite{BCG23}, a conjectural analytic expression for elliptic units for complex cubic fields was proposed: namely, as the value of a smoothed quotient of elliptic Gamma functions. The complex number depended on the conductor ideal, ray class group element, smoothing ideal, and a `torsion point' $h$. If this analytic function is to fit into the framework of explicit class field theory, then, as in the case of torsion points on CM elliptic curves, our choice of $h$ should only depend on its congruence class modulo some lattice $L$. This conjecture has been supported by much numerical evidence. In this paper, we use the cocycle relations satisfied by the smoothed elliptic Gamma function to prove that the construction is indeed independent of $h$.

Mixed moments of arithmetic functions and Kloosterman sums

math.NT

We extend the Nair--Tenenbaum estimates for short sums of nonnegative arithmetic functions at polynomial values to mixed moments involving Kloosterman sums. Combining these estimates with lower bounds obtained by refining the method of Fouvry and Michel, we prove that, for every fixed nonzero integer \(a\) and fixed \(z,\nu>0\), \[ \sum_{n\leq x}z^{\omega(n)} |\operatorname{Kl}(a;n)|^\nu \asymp_{a,z,\nu} x(\log x)^{z\mathfrak{s}(\nu)-1}, \] where \(\omega(n)\) counts distinct prime divisors and \(\mathfrak{s}(\nu)\) is the \(\nu\)-th absolute moment of the Sato--Tate measure. We also obtain upper bounds for mixed absolute moments of Hecke eigenvalues and Kloosterman sums, determine the frequency of large Kloosterman values on a logarithmic scale, and establish the order of magnitude predicted by Li and Sarnak for the diagonal second moment of classical Kloosterman sums. We obtain matching bounds for the smoothed spectral counting variance on the modular surface in a logarithmic range and the lower bound \(\int_T^{2T}S(t)^2\,dt\gg T^2/\log T\), where \(S(t)\) is the remainder in Weyl's law.

$p$-class groups in the cyclotomic $\mathbb{Z}_p$-extension of imaginary quadratic fields

math.NT

We study the structure of the $p$-class group of the first layer of the cyclotomic $\mathbb{Z}_p$-extension of an imaginary quadratic field where $p$ is non-split. We obtain restrictions on the growth of the cyclic factors from the base layer to the first layer; in particular, when the $p$-rank remains unchanged, each cyclic factor grows by exactly one power of $p$. We show that in a large number of cases the Iwasawa $\lambda$-invariant is completely determined by the $p$-rank of the first layer itself. Finally we use a Cohen-Lenstra-Martinet type philosophy to study the probability distribution of Iwasawa lambda invariants of the first layer when the base layer has cyclic $p$-class group.

Equivariant Unirationality of Cubic Threefolds

math.AG

math.NT

Using the recent proof of the Cassels--Swinnerton-Dyer conjecture for cubic surfaces, we finish the classification of $G$-unirational complex cubic threefolds. In particular, we prove that the Klein cubic threefold is $\mathsf{PSL}_2(\mathbb{F}_{11})$-unirational, establishing that the essential dimension of $\mathsf{PSL}_2(\mathbb{F}_{11})$ is $3$. This disproves a conjecture of Dolgachev that the essential dimension of a group is at least its Cremona dimension.

Making Every Number from 1 to N Under a Fixed Cycle of $+$, $\times$, $-$, $\div$

math.CO

cs.DM

math.NT

Start with the number $2$. At each move, combine two numbers already made, but the operations must be used in the fixed repeating order $+,\times,-,\div$. We ask for the fewest moves needed to make every integer from $1$ to $N$. Since $2$ is already one of the numbers we want and each move makes at most one new number, at least $N-1$ moves are needed. We show that $N-1$ moves are also enough for every $N\ge 9$. Conventional induction cannot work, because a division that comes right after a completed interval $\{1,\dots,P\}$ produces numbers already made. Instead we extend a completed interval $\{1,\dots,P\}$ to $\{1,\dots,3P\}$ all at once, which counting shows is the smallest multiplicative extension $P\to kP$ that can work, and then adjust the last few moves to reach every other $N$. For $9\le N\le 33$ we give explicit sequences, found by computer search.

Points and their multiples on curves in powers of simple abelian varieties

math.LO

math.AG

math.NT

Let $G$ be a simple abelian variety of dimension $g \in \mathbb{N}$ defined over $\mathbb{Q}^\mathrm{alg}$ and let $C_1, C_2 \subseteq G^N(\mathbb{C})$ be irreducible closed algebraic curves with $N \geq 3$. Further assume that at least one of $C_1$ and $C_2$ is not defined over $\mathbb{Q}^\mathrm{alg}$. Suppose that there does not exist an algebraic subgroup $G \subseteq G^N(\mathbb{C})$ of dimension $g$ such that $C_1 \subseteq G$ and that there does not exist an algebraic subgroup $H \subseteq G^N(\mathbb{C})$ of dimension $2g$ such that $C_1 \cup C_2 \subseteq H$. Denoting $\mathcal{N} = \{n \in \mathbb{N} \ | \ [n]C_1 \subseteq C_2\}$, we prove that $\bigcup_{n \in \mathbb{N} \setminus \mathcal{N}}\{x \in C_1 \ | \ x^n \in C_2\}$ is finite.

Energy bounds for modular roots and their applications

math.NT

v2

We generalise and improve some recent bounds for additive energies of modular roots. Our arguments use a variety of techniques, including those from additive combinatorics, algebraic number theory and the geometry of numbers. We give applications of these results to new bounds on correlations between Sali\'e sums and to a new equidistribution estimate for the set of modular roots of primes.

Compatibility of the Fargues-Scholze and Gan-Takeda Local Langlands

math.NT

math.RT

v4

Given a prime $p$, a finite extension $L/\mathbb{Q}_{p}$, a connected $p$-adic reductive group $G/L$, and a smooth irreducible representation $\pi$ of $G(L)$, Fargues-Scholze recently attached a semisimple Weil parameter to such $\pi$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues-Scholze and Hansen-Kaletha-Weinstein showed that the correspondence is compatible with the correspondence of Harris-Taylor/Henniart. We verify a similar compatibility for $G = \mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where $D$ is the quaternion division algebra over $L$, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan-Takeda and Gan-Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated to $\mathrm{GSp}_{4}$, using basic uniformization of abelian type Shimura varieties due to Shen, combined with various global results of Kret-Shin and Sorensen on Galois representations in the cohomology of global Shimura varieties associated to inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues-Scholze construction explored recently by Hansen, to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.

Zelevinsky Duality on Basic Local Shimura Varieties

math.NT

math.RT

v3

We give a simple proof of a general result describing the action of the Zelevinsky involution on the cohomology of certain basic local Shimura varieties, using the machinery of Fargues-Scholze. As an application, we generalize earlier results of Fargues and Mieda on the action of the Zelevinsky involution on the cohomology of $GL_{n}$ and $GSp_{4}$ type basic local Shimura varieties, respectively.

Ap\'ery-Like Sums and Colored Multiple Zeta Values

math.NT

v3

In this article, we survey recent progress in the study of Ap\'ery-like sums, which are multivariable generalizations of the two sums Ap\'ery used in his famous proof of the irrationality of $\zeta(2)$ and $\zeta(3)$. We focus exclusively on infinite sums where central binomial coefficients appear in either the numerator or the denominator. Special values of both types are closely related to colored multiple zeta values and play important roles in calculating the $\epsilon$-expansion of multiloop Feynman diagrams. Finally, we summarize several distinct approaches to computing these sums.

On the pro-modularity in the residually reducible case for some totally real fields

math.NT

v5

Let $p$ be an odd prime and $F$ an abelian totally real field of even degree in which $p$ splits completely. We study the fixed-determinant pseudo-deformation ring of $\mathbf{1}+\bar\chi$. Under local hypotheses and a degree bound in terms of the tame auxiliary places, we prove that every irreducible component of at least the expected dimension $1+2[F:\mathbb{Q}]$ is pro-modular---its generic pseudo-representation occurs in a big Hecke algebra---and has exactly this dimension. Under a further cohomological bound, the deformation ring of every non-split residual extension is a local complete intersection and all its primes are pro-modular. After a finite abelian totally real base change, this componentwise result may be viewed as a potential big $R=\mathbb{T}$ theorem at the level of irreducible components. The proof uses a specialization argument that constructs a one-dimensional patching prime while preserving, for a single stable lattice, both non-split residual reduction and the prescribed local conditions.

On the Fontaine-Mazur conjecture for $p=3$

math.NT

v5

We prove the remaining $p=3$ cases of the regular two-dimensional Fontaine-Mazur conjecture over $\mathbb{Q}$, thereby completing the regular case for all odd primes. Our main new input is a potential big $R=\mathbb{T}$ theorem for large-dimensional components of global pseudo-deformation spaces, valid for all odd primes. After a single abelian base change, propagation of pro-modularity and induction on partial ordinariness reduce the componentwise argument to the case of globally irreducible ordinary points. A characteristic-zero Greenberg-Wiles dimension estimate supplies the additional ordinary deformation-theoretic input needed in the exceptional case. We combine these arguments with small-prime $p$-adic Langlands correspondence, local deformation theory and patching.

On sparsity of integral points in orbits and correspondences with big iterated pullbacks

math.NT

math.DS

v4

We prove new unconditional results of sparsity of integral points on orbits under many maps and correspondences in arbitrary dimensions, generalizing theorems of Yasufuku(2015) and others. The main ingredients are new diophantine approximation tools and recent constructions for correspondences due to Ingram (2011).

Extendability of group actions on K3 or Enriques surfaces

math.NT

math.AG

v4

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

Modular points and dimensions of Eisenstein deformation spaces

math.NT

v3

In this article, we study two-dimensional Eisenstein deformation spaces, focusing on the Zariski density of modular points and the dimensions of their irreducible components. Over $\mathbb{Q}$, under explicit generic hypotheses, we prove that every irreducible component has characteristic zero and dimension $4$, and that modular points are Zariski dense. Over certain abelian totally real fields, we prove a big $R=\mathbb{T}$ theorem for the union of the high-dimensional components. As an arithmetic application, we establish the irregular Fontaine--Mazur conjecture in the residually reducible, multiplicity-free case for $p\geq 5$, and for $p=3$ outside one explicit local dihedral case. In a complementary direction, we prove a local-to-global finiteness theorem for pseudo-deformation rings. Combining this with ordinary finiteness and modularity-theoretic inputs, we prove Mazur's dimension conjecture over $\mathbb{Q}$ in both the residually reducible and residually irreducible cases, and deduce Emerton's equidimensionality conjecture for the $p$-adic big Hecke algebra for every odd prime.

Period integrals of distinguished polarised strongly tempered hyperspherical varieties

math.NT

v2

Recent work of Mao, Wan and Zhang has provided a complete list of strongly tempered hyperspherical varieties and they proposed some new period integrals. In this paper, I will present new period integrals of distinguished polarised strongly tempered hyperspherical varieties and discuss the L-functions these integrals represent, as examples of the Relative Langlands Duality.

Harder's conjecture and Hermitian automorphic forms

math.NT

v3

Let $k\ge4$ and $j\ge2$ be integers with $j$ even. Harder's conjecture predicts a congruence between a primitive elliptic cusp form of weight $2k+j-2$ and a degree-two vector-valued Siegel Hecke cusp eigenform of weight ${\det}^{k}\mathrm{Sym}^{j}$. We prove the corresponding Harder-type congruence for the spinor $L$-polynomials under explicit arithmetic hypotheses on a congruence prime and an auxiliary imaginary quadratic field. Our approach uses Hermitian automorphic forms on the quasi-split unitary group $\mathrm{U}_{2,2}$. We construct Hermitian spin lifts of Siegel cusp forms and show that the Hermitian cusp form produced by a Hermitian Klingen-Eisenstein congruence lies in the image of this lift. The key step is to prove that the Galois representation attached to this Hermitian cusp form is conjugate invariant. For this, we combine the endoscopic classification for quasi-split unitary groups with Selmer-group vanishing results. This allows us to identify the Hermitian cusp form as the spin lift of a Siegel cusp eigenform and thereby obtain the Harder-type congruence. The argument applies uniformly to both even and odd $k$.

The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$

math.NT

math.AG

math.GR

v2

Researchers studying the inverse Galois problem realized 25 of the 26 sporadic finite simple groups as Galois groups over $\mathbb{Q}$ during 1984-1989. We complete this program by proving that the last remaining sporadic group, the Mathieu group $M_{23}$, occurs as a Galois group over $\mathbb{Q}$. In fact, we produce an explicit degree $23$ polynomial with rational coefficients whose splitting field has Galois group $M_{23}$ over $\mathbb{Q}$. To accomplish this, we discover an unanticipated splitting of the Nielsen class associated to a non-rigid triple of conjugacy classes of $M_{23}$. We compute the Belyi maps associated with this Nielsen class to construct an explicit regular Galois extension of $\mathbb{Q}(t)$ with Galois group $M_{23}$. Essential for our computation is the numerical Belyi map algorithm developed and implemented by Costa, Klug, Musty, Schiavone, Sijsling, and Voight, inspired by ideas of Hejhal and Stark. As a bonus, one specialization of the regular extension yields an $M_{22}$-extension of $\mathbb{Q}$.

On divergence related to Riemann--von Mangoldt's explicit formula of the prime-counting function

math.NT

v2

An explicit formula for the prime-counting function $\pi(x)$, usually attributed to Riemann and von Mangoldt, is prominently stated as the equation $\pi(x)=R(x)-\sum_\rho R(x^\rho)$, where the sum runs over all zeros $\rho$ of the Riemann $\zeta$-function, the non-trivial ones being ordered by increasing absolute value of their imaginary parts and counted with multiplicity. This particularly entails the claim that the partial sums over the non-trivial zeros, $\Sigma R_T(x):=\sum_{0<|\Im m(\rho)|\le T} R(x^\rho)$ converge as ${T\to\infty}$. Writing $\Theta:=\sup\{\Re e(\rho):\ \zeta(\rho)=0,\ 0<\Re e(\rho)<1\},$ for what has recently been called ``Riemann's constant'', we prove that, for every fixed $x>1$ and every $\theta<\Theta$, the sums $\Sigma R_T(x)$ are not $O(T^\theta)$. As a consequence, $\limsup_{{T\to\infty}}|\Sigma R_T(x)|=\infty$ and $\sum_\rho R(x^\rho)$ diverges. We conclude the paper by showing that an adapted, but simpler strategy also gives the analogous result -- and hence divergence -- for the contribution of the trivial zeros to $\sum_\rho R(x^\rho)$. In both cases the exponent $\Theta$ is proved to be sharp.

Simple critical zeros and distinct zeros of the Riemann zeta function in short intervals

math.NT

v2

Recently, on the non-trivial zeros of the Riemann zeta function, it is obtained by Alp\"oge and Furman that more than 67.25% of the zeros are simple and on the critical line, and more than 83.62% are distinct. Later, Lamzouri gave a different and more direct proof. In this article, we will use the method of Lamzouri to give lower bounds on the number of the non-trivial zeros of the Riemann zeta function in short intervals. To prove the main result, we establish Montgomery's theorem on the pair correlation of zeros of the zeta function in short intervals by following the approach of Baluyot, Goldston, Suriajaya and Turnage-Butterbaugh, and then use Lamzouri's inequality on any finite multiset of complex numbers which is invariant under complex conjugation.

A $p$-adic monodromy theorem for curves

math.NT

math.AG

v3

We prove that every de Rham $p$-adic local system on a smooth projective curve over a $p$-adic field is potentially semistable; that is, it becomes semistable after pulling back along a finite cover of the curve. This establishes a relative version of the classical $p$-adic monodromy theorem of Berger and Andr\'e--Kedlaya--Mebkhout. Along the way, we show that every $p$-adic differential equation near a type I\!V point on a curve becomes trivial after a finite \'etale extension.

Arithmetic Rigidity of Analytic Functions and Mahler's Problem on Liouville Numbers

math.NT

v3

Let $\mathscr L$ denote the set of Liouville numbers. We prove a local arithmetic rigidity theorem for real-analytic functions. If $U\subset\mathbb R$ is an open interval and $f:U\to\mathbb R$ is real-analytic with $f(\mathscr L\cap U)\subseteq\mathscr L$, then $f$ is the restriction to $U$ of a rational function in $\mathbb R(x)$. Quantitatively, there exists an absolute constant $\tau>2$ such that, for every nonrational real-analytic function $f$ and every nonempty open subinterval $V\subset U$, the set of $\xi\in V\cap\mathscr L$ satisfying $\mu(f(\xi))\leq\tau$ contains a Cantor set. As a consequence, every entire function $F:\mathbb C\to\mathbb C$ satisfying $F(\mathscr L)\subseteq \mathscr L$ is a polynomial with real coefficients. This gives a negative answer to a problem posed by Mahler in 1984. The proof develops a two-height counting estimate for rational approximation to analytic graphs, treating source and target denominators separately, and combines it with a nested construction producing Liouville inputs whose images have uniformly bounded irrationality exponent.

Surjectivity of the Enots Wolley Sequence

math.NT

math.CO

v4

We prove that the Enots Wolley sequence contains every positive integer with at least two distinct prime divisors. Suppose, toward a contradiction, that some eligible integer is omitted, and consider its finite set of prime divisors. The local rules then severely restrict how terms involving these primes can occur: after a finite initial segment, terms divisible by some but not all of them can outnumber terms divisible by all of them by at most a fixed constant. A prime-exchange construction gives the opposite conclusion at large scales. From almost every term divisible by all of the chosen primes, it produces enough smaller earlier terms divisible by only some of them; a weighted double count makes this excess quantitative and yields a contradiction. It follows that any omission would force every sufficiently late term to have a prime divisor in one fixed finite set. Prime recurrence and a disjoint-cover argument rule out such a finite obstruction, proving surjectivity. The only analytic number-theoretic inputs are the prime number theorem and Mertens' estimate for reciprocal primes.

The Three Gates: A Rooted-Operator Approach to Weil Positivity

math.NT

v3

We present a localized rooted-operator argument for Weil positivity in the real odd logarithmic channel, retaining the polar rank-one term throughout. The three gates are structural levels rather than a serial dependency: Gate I is an independent strict cellular/shell positivity theorem and diagnostic; Gate II carries the load-bearing operator argument; Gate III uses compression, closure, and the restricted odd Weil criterion. In Gate II, the inherited parent response is placed in the same post-old-core/common-cut primal form in which the arithmetic mismatch is charged. The audited MASTER-P2 same-block splice combines the aligned reference contribution with the actual Schur response before the target-ground coefficient is used, while the literal-slot/true-ground mismatch is paid explicitly by a leakage term. The source elimination is written as one exact common-source Schur completion on the same harmonic vector, and the endpoint fold is used only as unitary coordinate transport, so it creates no second source debit. An outward-rounded finite computation and analytic tail give a strictly positive MASTER margin for k >= 7. Starting from the rigorously certified physical coefficient-2 endpoint Y=7, Schur induction yields positivity at the integer endpoints; zero-extension gives non-negativity at every finite support radius. Closure and the restricted odd Weil criterion then give the conclusion stated in the main theorem.

More than 83.69% of the zeros of the Riemann zeta function are distinct

math.NT

cs.AI

cs.LO

v2

The lower asymptotic proportion of distinct nontrivial zeros of the Riemann zeta function, relative to the total number counted with multiplicity, is at least $0.8369928814\ldots$. Earlier work proves $0.83625\ldots$, and a report we have not verified claims $0.83672\ldots$. As in the proof of the bound $0.83625$, an unconditional version of Montgomery's pair-correlation theorem gives an asymptotic energy estimate. The new ingredient is a short matrix inequality with a free clipping parameter. It strengthens the lower bound for this energy in terms of the number of distinct zeros. The gain is a nonnegative correction from overlaps between different nearby zeros on the critical line, which is retained even when some of these zeros are double. The matrix inequality, the threshold lemma, the block dichotomy, the counting assembly and the exact arithmetic are proved formally in Lean 4. The constant relies on a computer-assisted local inequality from recent work that has not yet been refereed. That computation was re-run independently, and every imported input is listed. This paper is primarily an experiment in AI-assisted mathematical research (Section 4).

Collective Contraction in the de Bruijn--Newman Heat Flow: Off-Zero Logarithmic Derivatives and Certified Barrier Refinements

math.NT

v2

We study the de Bruijn--Newman family $H_\tau(z)$, with heat-deformation parameter $\tau$ and $H_0(z)=\tfrac18,\xi(\tfrac12+\tfrac{iz}{2})$. The moving zeros considered here are therefore zeros of $H_\tau$, not directly of $\zeta(s)$. Retaining the collective interaction term in the zero dynamics, we prove that for a simple nonreal zero $z=x+iy$ of maximal imaginary height, [ \frac{d}{d\tau}y^2\le -2-4y^2\mathcal G_\tau(z), ] where $\mathcal G_\tau\ge0$ is a projected interaction sum. A second exact inequality bounds $\mathcal G_\tau$ below by an off-zero logarithmic derivative $-\operatorname{Im}(H_\tau'/H_\tau)(x+i\eta)$, providing a direct interface with the effective Polymath approximation $H_\tau=B_\tau F_\tau$. At the frontier $X=6000000185827$, $\tau_0=129/800$, and $y_0^2=87677/2500000$, a directed Cauchy certificate gives $\mathcal G_\tau>3/2$ for $\tau_0\le\tau\le0.178$, $x\ge X$, and $|y|\le y_0$. Combining this contraction with certified upper and lower zero-free barriers, a two-envelope argument reduces the maximal nonreal height to $0.08$ by time $0.1747532546428610755\ldots$; the classical de Bruijn contraction then completes the landing. Relative to the publicly replayable but not yet peer-reviewed $0.1787854$ base certificate, this yields the audit-relative bound [ \Lambda\le0.1779532546428610755\ldots . ] The collective contraction, logarithmic-derivative bridge, and new high-$x$ certificates are independent contributions.

Cubic arithmetic-geometric mean and isogenies of Hesse elliptic curves

math.NT

math.AG

v2

We construct degree-three isogenies of Hesse elliptic curves over an arbitrary field of characteristic different from three, which correspond to a step of the cubic arithmetic-geometric mean. As an application, we describe the Serre-Tate canonical lift of an ordinary elliptic curve in characteristic three by the 3-adic cubic arithmetic-geometric mean. We also discuss the relations of the Hesse curves with complex and finite hypergeometric functions.

A Jacobian Criterion for Artin $v$-stacks

math.AG

math.NT

math.RT

v4

We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces of sections of a smooth Artin stack over the (schematic) Fargues-Fontaine curve obtained by taking the stack quotient of a smooth quasi-projective variety by the action of a linear algebraic group. As an application, we show various moduli stacks appearing in the Fargues-Scholze geometric Langlands program are cohomologically smooth Artin $v$-stacks and compute their $\ell$-dimensions.

A Lock-Free, Fully GPU-Resident Architecture for the Verification of Goldbach's Conjecture

cs.MS

cs.DC

cs.PF

math.NT

v2

We present a device-resident, multi-GPU architecture for the large-scale computational verification of Goldbach's conjecture. In prior work, a segmented double-sieve eliminated monolithic VRAM bottlenecks but remained constrained by host-side sieve construction and PCIe transfer latency. Here we migrate the entire segment generation pipeline to the GPU using shared-memory tiling, leaving per-segment host-device communication small and independent of segment size, and schedule work across devices through a lock-free atomic counter, scaling near-linearly to two GPUs (speedup 2.03 at $N = 10^{12}$). On the same hardware, the architecture is $13.1\times$ faster than its host-coupled predecessor at $N = 10^{10}$. It verifies Goldbach's conjecture to $10^{12}$ in 145 seconds of computation and to $10^{13}$ in 3246 seconds on a single NVIDIA RTX 5090, and to $10^{13}$ in 1577 seconds on a second machine with two. Sieve cost grows as $N\pi(\sqrt{N})$, which we analyse and which sets the practical limit on the design and identifies where further optimisation must act. This version corrects two concurrency defects in the implementation described in version~1: the affected timings are re-measured with the corrected release, the four-GPU results are withdrawn, and the range is re-verified with the corrected release. The source code is open-source, the measurement logs and the tests for both defects are archived with it, and the experiments are reproducible on commercially available hardware.

A Szemer\'edi-Trotter Theorem in Arbitrary Fields

math.CO

math.CA

math.NT

v3

Let $k$ be a field of characteristic $p\ge0$. We prove that $m$ points and $n$ lines in $k^2$ determine at most $3(mn)^{2/3}+m+n+2mn/p$ incidences, the last term being omitted in characteristic zero. Over the prime field $\mathbb{F}_p$ the coefficient of $mn/p$ can be replaced by $1$. The proof uses the polynomial method, and for $m=n$ the bound is sharp up to an absolute constant over prime fields. As applications, over prime fields in which $-1$ is not a square we obtain the $L^2\to L^r$ extension estimate for the paraboloid in $\mathbb{F}_p^3$ for $r>10/3$. Over every odd prime field, we show that a two-source extractor construction of Bourgain has exponentially small error at every min-entropy rate greater than $1/3$. We also improve sum-product estimates for small sets in positive characteristic and obtain projection and Furstenberg estimates over prime fields. The incidence inequalities with exact constants have been formalized in Lean.

$p$-adic spectral zeta functions via the inverse Stieltjes transform

math-ph

math.MP

math.NT

v2

Spectral zeta functions provide a standard tool for regularizing determinants of differential operators in quantum physics. In a previous paper (J. Math. Phys. 66: 083505, 2025), we introduced a $p$-adic spectral zeta function for discrete spectra via a locally analytic interpolation function. In this paper we extend the framework to continuous spectra using the inverse Stieltjes transform. Starting from the resolvent of a bounded operator, we construct a generalized distribution, called the $p$-adic spectral distribution, and define bosonic and fermionic zeta functions and functional determinants. We establish their analytic properties, special value formulas, and Stirling expansions, and show that our previous framework is embedded into the present one in the discrete case. In this approach, the bosonic and fermionic cases exhibit an interesting symmetry. As an application, we consider the position operator in $p$-adic quantum mechanics on an arbitrary compact subset of $\mathbb{C}_{p}$.

Block decompositions in the p-adic Langlands correspondence

math.RT

math.NT

v2

Let $K/\Qp$ be a finite extension, $\bG$ a connected reductive group over $K$, and set $G = \bG(K)$, considered as a $p$-adic Lie group. We show first that the Bernstein center $\cC_G$ of the category of solid locally $\Qp$-analytic representations of $G$ is isomorphic to the center of the locally analytic distribution algebra $D^\la(G)$. We then consider the Emerton-Gee stack $\frX_{n,K}$ of rank-$n$ $(\vphi,\Gamma)$-modules over the Robba ring for $K$ and determine its connected components. The latter are in canonical bijection with the primitive idempotents of the ring $\cC_{\GL_n(K)}$. Moreover, under the assumption that the ring of global functions on $\frX_{n,K}$ has no non-zero locally nilpotent elements, we show that this ring is isomorphic to a Fr\'echet completion of $\cC_{\GL_n(K)}$.