Number Theory [math.NT]

Densities of Picard Rank Jumps for K3 Surfaces Over Global Fields

math.NT

math.AG

Let $X$ be an algebraic K3 surface defined over a global field $K$ of characteristic $0$ or $p \geq 3$, assumed ordinary in the case where $K$ is a global function field. We provide an exact formula for the density of primes $p$ of $K$ at which the geometric Neron-Severi group of the reduction $X_p$ has a given rank in terms of the Galois representation attached to $X$. As an extension, we prove that there are infinitely many reductions of $X$ with an element of the geometric Neron-Severi group representing a fixed square class under the intersection pairing and prove results about the density of such places. In particular, we show that if $X$ corresponds to a sufficiently generic moduli point, a density zero set of places of $K$ satisfy this condition.

CUDA-MPQS: A GPU-Resident Self-Initializing Quadratic Sieve, and the Factorization of RSA-155

math.NT

cs.DC

cs.MS

The quadratic sieve (QS) is an irregular, cache-hostile, branch-heavy integer factorization algorithm; prior GPU work accelerates individual stages of it. We present \swname{}, a self-initializing quadratic sieve in which \emph{every} stage --- polynomial initialization, sieving, relation post-processing, large-prime matching, \GFtwo{} matrix construction, Block Wiedemann linear algebra and the square root --- executes on the GPU, the CPU restricted to orchestration, setup and I/O, the sieve window 99.9\% GPU-busy with no device-wide or event synchronization and no synchronous copy. With it we factored the 512-bit RSA-155 challenge modulus end to end on GPUs: a 64$\times$H100 sieve feeding a single-H100 \GFtwo{} solve, 700.6~GPU-h and 242~kWh in total, 98.4\% of it sieving. To our knowledge this is the largest integer factored by the quadratic sieve, exceeding the prior QS record RSA-150 (Buhrow, YAFU, 2025); all comparable general factorizations since 1996, RSA-155's own in 1999 included, used the number field sieve. On a single device we factor RSA-100 in 29.2~s on an H100 and 51.0~s on a consumer RTX~5070~Ti; in a controlled same-modulus measurement, with energy measured on both sides, the H100 is faster than the fastest CPU quadratic sieve, YAFU, on 96 cores of an EPYC~9655 (106--122~s), and than CADO-NFS's SIQS (292~s) and GNFS (263~s). Across four discrete GPUs (a 3.7$\times$ range in CUDA cores) RSA-100 throughput is close to proportional to core count, memory bandwidth being a weaker predictor, and measured cost over seven benchmark factorizations from RSA-100 to RSA-155 grows as $\LN{1/2}{1}^{1.04}$ ($R^2=0.993$). On RSA-150, the identical modulus on which the prior QS record was set, we measure 302.9~GPU-h against that run's 11{,}664 core-hours.

On the class number of real multiquadratic fields

math.NT

In their 1988 monograph, Conner and Hurrelbrink classified all real quadratic and biquadratic fields with odd class number. They also investigated real quadratic fields whose $2$-class numbers are equal to $2$. Their results, together with some well-known results of Ku{\v{c}}era, provide a complete classification of real quadratic number fields with $2$-class number $2$. The main aim of this paper is to provide a complete classification of all real biquadratic fields whose $2$-class numbers equal $2$; and moreover, we draw the complete list all real multiquadratic fields with odd class numbers. Finally, as an appendix we give explicit formulas for $\sqrt{\varepsilon_d}$, where $\varepsilon_d$ denotes the fundamental unit of the real quadratic field $\mathbb{Q}(\sqrt{d})$.

The One-Power Erd\H{o}s Conjecture for Primes $p \equiv 7 \pmod{36}$

math.NT

A conjecture of Erd\H{o}s asserts that every odd integer $n > 1$ can be written as $n = 2^a + m$, where $a \ge 0$ is an integer and $m$ is a squarefree positive integer. We study this conjecture for primes $p \equiv 7 \pmod{36}$. Writing $x = (p-1)/6$, the candidate remainders take the shapes $p - 1 = 6x$, $p-2 = 6x-1$, $p-4 = 3(2x-1)$, and $p-8 = 6x-7$, in which the primes $2$ and $3$ are completely controlled: every obstruction to squarefreeness comes from a prime $q \ge 5$. For such $q$ a separation principle applies --- $q^2$ divides at most one of the remainders, since two of them differ by at most $7 < 25$ --- and it persists across any window of exponents of width less than $20$. Separation collapses the square-divisor problem for the quartic $x(6x-1)(2x-1)(6x-7)$ into independent linear problems, and we deduce unconditionally that the primes of the class representable with $a \le 3$ have relative density $1 - \rho_4$, where $\rho_4 = 1.8637 \times 10^{-5}$ is an explicit Euler-type constant; in particular, infinitely many primes of the class are not so representable. Computationally, we verify the conjecture for all primes of the class below $10^8$, always with $a \le 5$, and we exhibit the eleven primes below $10^8$ requiring $a = 5$. An appendix corrects the error bound in a lemma of Hercher, whose conclusions are unaffected.

Systems of equations with elements of finitely generated groups and with linear recurrence sequences

math.NT

We obtain new and essentially optimal bounds on the number of solutions of diagonal systems of $k$ polynomial equations in $s$ variables from an arbitrary finite subset of a finitely generated group in a field of characteristic zero. Our bounds generalise and sometimes improve previous results of J. Bourgain, M. Z. Garaev, S. V. Konyagin, and I. E. Shparlinski (2014), for $k=1$, and of A. Manning, A. Ostafe and I. E. Shparlinski (2026), for $k=2$. In turn, this improvement leads to sharpening a result of A. Manning, A. Ostafe and I. E. Shparlinski (2026) concerning arithmetic statistics of certain matrices. We also obtain similar results for $s$-tuples of linear recurrence sequences, in the case of linear equations and quadratic equations.

On eutactic forms

math.NT

We prove two new results about the number of classes of positive definite eutactic forms in n variables.

Lifting ethereal Bianchi modular forms

math.NT

Mod $p$ Hecke eigenforms for congruence subgroups of $\operatorname{SL}_2(\mathbb{Z})$ which do not lift to characteristic $0$ have received much attention, and were named ethereal modular forms by G. Schaeffer. In this paper, we study liftability for mod $p$ Bianchi modular forms: computations suggest that a lift to characteristic zero may always be possible by increasing the level, as in the case of classical modular forms. We develop efficient algorithms for computing degeneracy maps in cohomology, which allow us to rigorously verify eigenvalue congruences. For small primes and certain fields, we also prove that lifts always exist as a consequence of the recent modularity theorem due to Caraiani-Newton. A Magma implementation, complemented by LMFDB data due to Cremona, shows that in favourable parameter ranges, most mod $p$ Bianchi modular forms lift.

Gaps theorems for linear forms with cubic coefficients

math.NT

math.DS

Let $1,\alpha_1,\alpha_2$ be a basis for a cubic number field $K\subset\mathbb{R}$, and for $\tau_1,\tau_2\ge 1$ let $G(\mathbf{\alpha},\mathbf{\tau})$ denote the number of distinct gaps between the fractional parts of the numbers $m_1\alpha_1+m_2\alpha_2$, with $m_1,m_2\in\mathbb{Z}$, $0\le m_1<\tau_1$ and $0\le m_2<\tau_2$. We show that $G(\mathbf{\alpha},\mathbf{\tau})$ is unbounded as $\mathbf{\tau}$ varies. When $K$ is totally real this is deduced from a density theorem of Shapira for orbits of the diagonal group on the space of lattices. When $K$ has a complex embedding we give an explicit construction, which also shows that there are constants $c,\kappa>0$ for which $G(\mathbf{\alpha},\mathbf{\tau})\ge c(\log\max\{\tau_1,\tau_2\})^{\kappa}$ for infinitely many $\mathbf{\tau}\in\mathbb{N}^2$.

Further results on the paramodular Hecke algebra

math.NT

In this paper we further examine the structure of the graded paramodular Hecke algebra $\mathcal H$. We define a commutative subring $\mathcal{H}^\alpha$ of $\mathcal{H}$ as the elements fixed by a certain automorphism $\alpha$, and we show that the elements $T(q^k)$, defined as the sum of the double cosets of degree $k$, are contained in $\mathcal{H}^\alpha$. We prove that the formal power series in the indeterminate $t$ with coefficients $T(q^k)$ is an explicit rational function in $t$ with coefficients from $\mathcal{H}^\alpha$. We also determine the structure of $\mathcal{H}^\alpha$ and its relation to $\mathcal{H}$.

Primitive normal progressions in finite fields

math.NT

Consider an arithmetic progression inside the finite field $\mathbb{F}_{q^n}$. We study the existence of progressions whose terms are all primitive and at least one of them is normal. Using a combination of sieve estimates, ramified bounds, and computational arguments, we improve significantly upon previous literature for progressions of length $m=4$ and obtain partial results whenever $5\leq m\leq 10$. Finally, we provide a general bound which outperforms previous results in the range $m\geq 53$.

A new bound for the Furstenberg--S\'ark\"ozy theorem using the van der Corput property

math.NT

math.CO

We show that if $A\subseteq \mathbb{N}\cap[1,N]$ has no nonzero square difference, then \[ |A|\ll N\exp(-c\sqrt{\log N\log\log N}), \] improving upon a recent result of Green and Sawhney. The proof exploits a quantitative version of the van der Corput property with signed coefficients and builds on previous constructions of Slijep\v{c}evi\'c, Slijep\v{c}evi\'c--Nin\v{c}evi\'c, and Fan-Lott. The proof of the upper bound is elementary and self-contained. We also prove a matching lower bound for the constant coefficient of any van der Corput witness for squares, showing that our quantitative van der Corput bound is sharp up to the constant $c$.

Carlet's cyclic-additive conjecture for the Kasami monomials

math.NT

math.CO

Let $K$ be a finite field of characteristic two with $|K| = 2^{n}$, let $\gcd(k,n) = 1$, let $d_{k} = 4^{k} - 2^{k} + 1$ be the Kasami exponent, and let $\Delta_{k} = \{(b+1)^{d_{k}} + b^{d_{k}} + 1 : b \in K\}$ be the image of the normalised derivative of the Kasami monomial in the direction $1$. We show that, for all distinct nonzero $v_{1},v_{2} \in K$, \[ \bigl|\{(x,y,z) \in \Delta_{k}^{3} : v_{1}x + v_{2}y + (v_{1}+v_{2})z = 0\}\bigr| = 2^{2n-3}. \] This establishes the cyclic-additive difference-set condition introduced by Carlet and later posed for the Kasami functions at NSUCRYPTO~2019. Starting from the known half-size property of the derivative image, we express the Fourier correction as twisted root counts and prove their required nonnegativity by an incidence argument on the Fermat cubic. An exact average over the slopes then forces equality pointwise. The argument covers every admissible pair $(n,k)$ and has been formalised and machine-checked in Lean~4 with Mathlib.

A concise proof of the 8 case of Sylvester's conjecture

math.NT

The 150 years old Sylvester's conjecture asserts that every prime $p\equiv 4,7,8\mod 9$ is the sum of two rational cubes. Recently, a proof of this old problem is obtained by the work of mine for the case 4,7 \cite{Yin} and the work of Burungale-Tian for the case 8 \cite{BT}. Burungale-Tian's paper essentially uses the results of paper \cite{Yin}, but does not make full use of the power. Their proof for the case $8$ is complicated and hard to follow. In this paper we give a much simpler and direct proof by deep mining my result in \cite{Yin} combining with the ideas of my previous work on case 8 in \cite{Yin8}. In particular, we use the ordinary trace and the Kronecker congruence of modular functions, but do not use the Gross-Zagier formula, $\sqrt{-3}$-division boundary and Fermat isogeny as in \cite{BT}.This concise proof provides a perfect end to this old concise conjecture.

The Artin-Davenport conjecture on cubic forms

math.NT

math.AG

We show that any integral cubic form in ten or more variables has a nontrivial integer zero. Like earlier authors on this topic, we use geometric methods to produce a zero in some cases, and the circle method in all other cases. New ingredients are required on both fronts: in the first case, bounds on the dimension of singular loci and incidence varieties, and in the second case, a stratified geometric sieve, together with stratification results for point counts over finite fields and a cube-root Hensel lifting analysis.

The average number of representations of an integer as a sum of three or more primes, over multiples of a fixed integer

math.NT

We extend a result by Ikeda and Suriajaya (2025) to the average number of representations of an integer as a sum of an arbitrary number $j\ge 3$ of primes. We show that the corresponding asymptotic formula holds in the general case. In the proof we use new ingredients like averages for the singular series of the generalized Goldbach problem.

Perfect powers with few digits and $S$-unit coefficients

math.NT

In this paper, we study two questions concerning perfect powers in $S$-unit equations and sparse representations of perfect powers. Corvaja-Zannier \cite{corvaja2013finiteness} proved that there are only finitely many odd perfect powers in $\N$ having precisely four non-zero digits in their binary expansion. At first, we prove the finiteness of the set of solutions to the equation \begin{equation*} y^d=1+c_1g^{m_1}+c_2g^{m_2}+c_3g^{m_3}, \quad 0q_0(g)$, no perfect $q$-th power admits a representation with five non-zero digits in base $g$. The proof relies on explicit lower bounds for linear forms in both Archimedean and non-Archimedean logarithms.

Primitive Fourier Coefficients of Hermitian Klingen-Eisenstein Series

math.NT

Let $E/F$ be a CM extension and let $1\le r

Algebraic Eisenstein classes for $\mathrm{GL}_n$ with applications to the Bianchi case

math.NT

math.AG

Let $L$ be a number field containing a CM field $K$. We compute an explicit current representing the $\mathrm{GL}_{\mathcal{O}_K}(\mathcal{O}_L)$-equivariant algebraic Eisenstein-Kronecker classes constructed by Kings-Sprang. In the Bianchi case, where $K$ is imaginary quadratic and $[L:K]=2$, this yields a purely algebraic construction of Eisenstein cohomology classes, even though the associated locally symmetric space is not an algebraic variety. We express their constant terms at the cusp in terms of partial Hecke $L$-values of $K$.

Generating and generalizing MSTD sets through Markov processes

math.NT

math.CO

The classical More Sums Than Differences (MSTD) problem studies finite sets $A\subset\{0,1,\ldots,n\}$ for which $|A+A|>|A-A|$, where $A+A=\{a_1+a_2:a_1,a_2\in A\}$ and $A-A=\{a_1-a_2:a_1,a_2\in A\}$. As addition is commutative and subtraction is not, it was conjectured that as $n\to\infty$ almost all subsets $A$ chosen uniformly from the power set of $\{0,1,\ldots,n\}$ are difference-dominated, and it was thus a surprise when Martin and O'Bryant proved a positive percentage of sets are sum-dominant. We greatly generalize this model by introducing a Markov-chain framework, where the classical MSTD model is now just a special case. Let $(X_i)_{i=0}^n$ be a stationary two-state Markov chain on $\{0,1\}$ with transition probabilities $P(0,0)=p$ and $P(1,1)=q$, where $p,q\in(0,1)$. We include $i$ in $A$ exactly when $X_i=1$, and define $A=\{i\in\{0,\ldots,n\}:X_i=1\}$. The usual independent Bernoulli model is recovered when consecutive inclusion decisions are independent, equivalently when $p=1-q$. In particular, the uniformly random subset model corresponds to $p=q=1/2$. Using the fringe-middle method from the MSTD literature, we show that the middle sums and differences are filled with high probability, so the comparison between $|A+A|$ and $|A-A|$ is again governed by endpoint fringes. By fringe manipulation, we prove that the probabilities of sum-dominant, difference-dominant, and balanced sets tend to strictly positive limits as $n\to\infty$. We also give numerical estimates of these three probabilities for finite $n$ over a range of values of $p$ and $q$. Through combinatorial methods, we find a closed-form expression for $\mathbb{E}[|A-A|-|A+A|]$ as $n\to\infty$.

On S\'{a}rk\"{o}zy's Local Extrema Conjectures

math.NT

Let $f: \mathbb{N} \rightarrow (0,\infty)$ be a multiplicative function, and let $\omega > 0$. We consider the frequency with which patterns of the form $$ f(n) > \omega \max\{f(n-1),f(n+1)\}, \quad f(n) < \frac{1}{\omega}\min\{f(n-1),f(n+1)\} $$ occur in the sequence $(f(n))_n$, and give a sharp classification of all positive-valued multiplicative functions for which at least one of these patterns only occurs with logarithmic density $0$. As a particular application, we resolve, in a strong form, two conjectures of A. S\'{a}rk\"{o}zy from 2001, classifying all multiplicative functions $f: \mathbb{N} \rightarrow \mathbb{N}$ that have either finitely many local maxima, or finitely many local minima. The proof is based on a natural ``pretentiousness'' dichotomy for additive functions. Key tools in the analysis include an analogue of the Matom\"{a}ki-Radziwi\l\l theorem for additive functions, due to the author, as well as a new bound for the concentration of the gaps $g(n+1)-g(n)$ of an additive function $g$, which may be of independent interest.

The least prime with a given primitive root and a variant of the larger sieve

math.NT

For an integer $g$ not equal to $-1$ or a square, we study the least prime $p_g$ such that $g$ is a primitive root modulo $p_g$. We show that, assuming the Generalised Riemann Hypothesis, all such $g$ with $|g|\in[N,2N]$ have $p_g\leq(\log |g|)^{3.44}$ with at most $O((\log N)^{2.44})$ exceptions. This can be directly compared to the uniform bound $p_g\leq(\log |g|)^{19}$ proven recently by Fan and Pollack. To obtain our result, we prove a new variant of Gallagher's larger sieve, which may be of independent interest. In addition to our conditional result, we discuss other ``almost all" bounds for $p_g$ that hold unconditionally.

Local newforms, Pa\v{s}k\={u}nas-Stevens Whittaker functions, and explicit test vectors for $\mathrm{GL}(n)\times \mathrm{GL}(n)$

math.NT

math.RT

Recently, Girsch-Kurinczuk have obtained new formulas for local newforms in depth-zero and minimax integral-depth cuspidal representations of $p$-adic $\mathrm{GL}(n)$. One of their main results is an averaging formula which provides an integral representation of the Whittaker newform in terms of the Pa\v{s}k\={u}nas-Stevens Whittaker function. In the present paper, we first prove a reverse averaging formula by establishing an integral representation of the Pa\v{s}k\={u}nas-Stevens Whittaker function in terms of the Whittaker newform. Together, these formulas give an explicit two-way passage between these two distinguished vectors. Finally, we use our averaging formula and earlier work of Kurinczuk-Matringe to give new explicit test vectors in terms of Whittaker newforms for such cuspidal $\mathrm{GL}(n)\times\mathrm{GL}(n)$ pairs, whenever their Rankin-Selberg $L$-factor is not identically equal to $1$.

New integer sequence OEIS A392714 counts Wronskians: fast evaluation via late-growing permutations

math.NT

math.CO

math.QA

math.RA

The alternating composition of $N = 2p$ weighted differential operators $w_j(x)\cdot\partial_x^{\,p}$ of strict order $p$ on the line $\mathbb{R} \ni x$ is again an operator of order $p$; its coefficient is the universal constant $c(p)$ times the Wronskian of the weights $w_1,\ldots,w_N$. Lie brackets of vector fields fix $c(p=1)=1$; we want to find $c(p \geqslant 2)$: e.g., $c(2) = 2$ or $c(3) = 90$. Direct symbolic expansion (over $|S_{2p}| =(2p)!$ permutations) fails for $p \geqslant 4$. Taking the monomials $w_j = x^{j-1}$ reduces the summation to the much smaller set $\Phi_p \subseteq S_{2p-1} \subsetneq S_{2p}$ of late-growing permutations. Expressing $c(p)$ as a signed sum of products of falling factorials, we implement and speed up the algorithm that gains all the integer values up to $c(18) = 4.881\ldots \cdot 10^{462}$. The resulting sequence is new, now registered as OEIS A392714; its (sub)leading-order growth rate is $\log c(p) \simeq 2p^2\log p -b p^2 + \overline{o}(p^2)$ for $p\gg 1$, with $b\geqslant 2.6744$.

New algebraic points on covers of elliptic curves

math.NT

For a smooth projective curve $C/\mathbb{Q}$ of genus $\geq 2$ and $L/\mathbb{Q}$ an extension, we write $C(L)_{\text{new}}=\{P\in C(L):\mathbb{Q}(P)=L\}$. Recent work of Khawaja and Siksek conjectures that this set is empty for $100\%$ of degree $n$ number fields $L$, when ordered by absolute discriminant. Moreover, they bring evidence towards this conjecture when $C$ is a degree $n$ cover of $\mathbb{P}^1$. We complement their work by proving analogous results for degree $n$ covers $\psi:C\to E$ of elliptic curves $E$. Our main result shows that, under suitable hypotheses, the number of distinct absolute discriminants at most $X$ of primitive degree $n$ fields $L$ with $C(L)_{\text{new}}\neq\varnothing$ is $O(X^{1/2})$ or $O(X/(\log X)^{\alpha})$, for some $\alpha>0$. In degrees $2,3,4$ and $5$ we show that these fields have density $0$ among all fields of the same degree (in degree $4$, also among the primitive ones). The novelty is for degrees $4$ and $5$, where we use work of Bhargava--Shankar--Wang and McGown--Thorne--Tucker to count fields with specified local constraints. Moreover, we give concrete examples of $8$ bielliptic modular curves $X_0(N)$, for which $X_0(N)(L)_{\text{new}}=\emptyset$ for $100 \%$ of quadratic fields $L$. Lastly, we point out modular covers of degrees $3$ and $5$ in the LMFDB for which similar conclusions hold.

Mixing of the BCZ Map

math.DS

math.NT

We prove that the Boca--Cobeli--Zaharescu (BCZ) map is strongly mixing with respect to normalized Lebesgue measure on the BCZ triangle.

Higher additive energies on discrete cubes

math.CO

math.CA

math.NT

Let $m,n\geq2$ be integers. We study the least exponent $t_{m,n}$ such that the $m$-fold additive energy of any subset $A$ of the discrete cube $\{0,1,\cdots,n-1\}^d$ in any dimension $d$ satisfies $E_m(A)\leq |A|^{t_{m,n}}$. For every fixed $m$, we obtain the asymptotic formula $$ t_{m,n}=2m-1-(1+o(1))\log_n \frac{(2m-1)^{m-1/2}}{(2m)^{m-1}} \qquad(n\to\infty). $$ For $m=2$, this gives $$ t_{2,n} = 3 - (1+o(1)) \log_n\frac{3\sqrt{3}}{4}, $$ proving a conjecture of the first author.

Block decompositions in the p-adic Langlands correspondence

math.RT

math.NT

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$ on $E$-vector spaces is isomorphic to the center of the locally analytic distribution algebra $D^\la(G,E)$. 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)}$.

Semisimplicity, purity and Mumford-Tate conjecture for hyper-K\"ahler varieties

math.AG

math.NT

We prove the Mumford-Tate conjecture in every degree for hyper-K\"ahler varieties over fields finitely generated over $\mathbb{Q}$. The proof establishes semisimplicity of $\ell$-adic cohomology by eliminating the unipotent radical of the algebraic monodromy group of total cohomology. We also prove the weight-monodromy conjecture for hyper-K\"ahler varieties over $p$-adic fields. For hyper-K\"ahler varieties over number fields with $b_2\geq 4$, we establish, after suitable finite extensions, strong compatibility of the associated Weil-Deligne representations valued in Mumford-Tate groups and its integral refinement away from finitely many primes.

Special Loci in the Moduli of Curves

math.AG

math.NT

We introduce new techniques to study mixed-characteristic special loci in moduli spaces and give several applications, focusing in particular on the moduli space $\mathsf{M}_g$ of curves. These applications include Zariski density results for split Jacobians, non-density results for supersingular loci, and lifting results for algebraic cycles, all under appropriate numerical conditions. Our methods generalize to more-or-less arbitrary moduli spaces mapping to Hodge-type Shimura varieties (and even some settings beyond the Shimura case), and relate to questions raised by Oort and de Jong.

On the structure of certain valued fields II

math.LO

math.NT

We study the structure of finitely ramified henselian valued fields of mixed characteristic with arbitrary residue fields via their residue rings of higher length, where a residue ring of length $n$ is the quotient ring of the valuation ring by the $n$th power of its maximal ideal. We prove an approximate lifting theorem for homomorphisms between residue rings of higher length and explicitly determine the optimal bound of error of lifting. As applications, we obtain several Ax-Kochen-Ershov principles for relative completeness, relative existential completeness, and existential closedness using the pure ring structures on the residue rings. And we show that any formula on a residue ring of length $k$ is equivalent to a normal form of sentences in pure ordered group structure and special formulas at level $n$, uniformly for all finitely ramified henselian valued fields of mixed characteristic $(0,p)$ and the same initial ramification index $e$. Here, for $n\ge k$, a special formula at level $n$ represents a definable set on a residue ring of length $k$ given by a projection image of a definable set in pure ring structure on a residue ring of length $n$. Also, such $n$ is optimally computed from the precise estimation of error of lifting and depends only on $k$, residue characteristic $p$, and initial ramification index $e$.

Random Cayley sum hypergraphs and $k$-fold sumsets

math.CO

math.NT

We denote by $f_k(\Gamma)$ the largest integer with the property that every subset of a finite abelian group $\Gamma$ of size at least $|\Gamma| - f_k(\Gamma)$ is a $k$-fold sumset. Extending a recent result of Alon and Pham, we prove that $$ f_k(\Gamma) \leq \widetilde{O} \left(n^{(2k-1)/(4k-3)}\right) $$ holds for all finite abelian groups $\Gamma$ and integers $k \geq 2$, where $n = |\Gamma|$. Additionally, we also show that the lower bound $f_k(\Gamma) \geq \widetilde{\Omega} \left(n^{1/k}\right)$ holds if $\Gamma$ has no nontrivial element of order dividing $k$. Our upper bound improves a previous result of Balogh, Liu, and Sharifzadeh, and recovers the bound of Alon and Pham in the case $k = 2$. The proof relies on a new upper bound for the independence number of random Cayley sum hypergraphs, which may be of independent interest.

The Minkowski dimension of the image of an arboreal Galois representation

math.NT

v3

We consider the Minkowski dimension of the arboreal Galois group $G_{f,\alpha}$ associated to a rational map $f:\mathbb{P}^1\to\mathbb{P}^1$ and a base point $\alpha\in\mathbb{P}^1(K)$. This is a subgroup of the automorphism group of the infinite $d$-ary rooted tree whose vertices are indexed by the backward orbit $f^{-\infty}(\alpha)$. We show that the Minkowski dimension exists for the profinite iterated monodromy groups $G_f^\mathrm{arith}$ and $G_f^\mathrm{geom}$, and that these two groups have the same dimension. We prove a dichotomy theorem stating that $G_f^\mathrm{arith}$ and $G_f^\mathrm{geom}$ are either the full tree automorphism group or else have non-maximal dimension. We identify several cases of interest in which dimension non-maximality $\overline{\dim}(G_{f,\alpha})<1$ holds, including the cases of postcritical base point, the case of periodic base point, the case in which $f$ is a nontrivial iterate, and the postcritically finite case. We identify several cases of interest in which dimension minimality $\dim(G_{f,\alpha})=0$ holds, including the power, Chebyshev, Latt\`es, and abelian cases. We formulate a conjecture on dimension minimality, which if true would imply a conjecture of Andrews-Petsche on abelian arboreal Galois groups.

On the average $2$-torsion in class groups and narrow class groups of cubic orders with prescribed shape

math.NT

v2

We study the distribution of $2$-torsion in class groups and narrow class groups of cubic fields and cubic orders subject to prescribed shape conditions. The \emph{shape} of a cubic order in a number field is a natural geometric invariant taking values in the modular surface $\mathbb{H}/\operatorname{GL}_2(\mathbb{Z})$. Fix a subset $W$ of the modular surface with positive hyperbolic measure and boundary of measure zero. Refining the methods of Bhargava and Varma, we prove that among cubic fields with shape in $W$, the average size of the $2$-torsion subgroup of the class group is $5/4$ for totally real fields and $3/2$ for complex fields, while the average size of the $2$-torsion subgroup of the narrow class group for totally real cubic fields is $2$. We also obtain analogous results for cubic orders satisfying prescribed local conditions at all primes.

Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

math.NT

v5

Let $B$ be a compact Riemann surface and $B_0\subseteq B$ a hyperbolic surface obtained by removing finitely many disjoint closed disks. Fix a nontrivial loop $\alpha$ in $B_0$. For $s\ge0$, let $L(\alpha,s)$ denote the supremum, over all finite subsets $S\subset B_0$ with $\#S\le s$, of the minimal Kobayashi length of a loop in $B_0\smallsetminus S$ that is freely homotopic to $\alpha$ in $B_0$. Phung in [14] proved that $L(\alpha,s)$ grows at most linearly and at least as $\sqrt{s}/\log s$. We sharpen the upper bound to $O(\sqrt{s+1})$, which determines $\lim_{s\to\infty}\log L(\alpha,s)/\log s=1/2$, answering [14, Question 1.4]. As an application, we improve Phung's counting bound for generalized integral points on abelian varieties over complex function fields. For an abelian variety of dimension $n$ over $\mathbb C(B)$ satisfying his geometric hypotheses, Phung proved a bound of order $(s+1)^{2nk}$ modulo the constant trace, where $k$ is the minimal number of generators of $\pi_1(B_0)$. We explain his method in detail and insert our stronger length estimate to obtain $(s+1)^{nk}$, halving the exponent. Counting in the Mordell--Weil lattice of rank $r$ gives the more precise bound $O((s+1)^{r/2})$ and a linear bound in $s+1$ for the canonical heights, with the family and $B_0$ fixed. For normal-crossings $D$ with Cartier model closure, this proves the fixed-model geometric Lang-Vojta conjecture in the stated abelian setting, without an exceptional set.

Almost Golomb Sequences

math.NT

math.CO

v2

Golomb's sequence $(G(n))$ is the unique nondecreasing sequence of positive integers in which each $n$ appears exactly $G(n)$ times. It satisfies the global self-referential rule $G(G(n)+G(n-1)+\cdots+G(1))=n$, grows smoothly like a power of $n$ governed by the golden ratio, and is not $k$-regular for any $k\ge 2$. We introduce almost Golomb sequences, obtained by truncating the cumulative sum to a fixed size sliding window $r$: $a(a(n)+a(n-1)+\cdots+a(n-r+1))=n$. This finite-memory truncation completely changes the nature of the sequence. The smooth power law gives way to oscillatory linear growth, and the sequence becomes $r$-regular for every $r\ge 2$. For small values of $r$ we establish explicit denesting formulas, prove that $a(n)/n$ does not converge, and reveal the combinatorial structure including a cellular automaton and a palindromic substitution. When one varies $r$, the Golomb sequence itself reappears. We prove that the first $r$ terms of the order-$r$ sequence form a shifted copy of Golomb's sequence, and that this initial segment controls the maximum multiplicity across the whole family. For $r\ge 5$ in particular, the maximal multiplicity is exactly $G(r-1)$. The sequence that was truncated returns as the law governing the family it generated.

The Multidimensional Bateman Horn Conjecture: Effective Estimates for the Tail of the Singular Series and an Algorithm for Computation with Guaranteed Accuracy

math.NT

v3

We propose a method for computing the leading term of the asymptotics of the multidimensional Bateman Horn conjecture for systems of integer polynomials in several variables with controlled relative accuracy. The Bateman Horn conjecture is used as an explicit assumption about the growth rate of the number of prime values, the computational difficulty is concentrated in the singular series: an infinite product over all primes. For systems of general type, we obtain a universal estimate for the tail of the singular series in terms of a geometric constant depending on the Betti numbers of projective closures of hypersurfaces. For systems whose projective closures are smooth hypersurfaces (including inhomogeneous diagonal ones), using the exact Griffiths formula for Betti numbers, we obtain an improved constant in the tail estimate. The estimates are valid for all dimensions and degrees and do not require additional restrictions on the number of variables. We establish a connection between the truncation error of the singular series and the error in computing the number of prime values: under the Bateman Horn condition, the relative error in determining the singular constant coincides with the relative error in determining the number of prime values in the asymptotic regime. Based on the obtained estimates, we develop an algorithm for computing the leading term of the asymptotics with prescribed accuracy, classifying the system by its structure and producing a guaranteed interval for the number of prime values. Numerical experiments confirm the theory.

Linear equations in Piatetski-Shapiro primes

math.NT

math.CO

v2

We establish discorrelation estimates between the Piatetski-Shapiro prime set \[ \mathcal{P}_{\gamma} := \{p \text{ is prime and } p = \lfloor n^{1/\gamma} \rfloor \text{ for some } n \in \mathbb{N}\} \] and arbitrary nilsequences when $\gamma \in (0,1)$ is sufficiently close to $1$. This extends earlier works which treated linear or polynomial exponential phase functions. As an application, we establish an asymptotic formula for the number of solutions in $\mathcal{P}_{\gamma}$ to any ``finite-complexity" system of linear equations, including for the number of $k$-term arithmetic progressions in $\mathcal{P}_{\gamma}$ up to a threshold $N$ for any given $k \geq 3$. Furthermore, we show that there exists an absolute constant $C>0$ such that if \[ 1 - 2^{-Ck} < \gamma < 1, \] then the Piatetski-Shapiro primes $\mathcal{P}_{\gamma}$ contain infinitely many non-trivial $k$-term arithmetic progressions. This significantly improves upon the previous range of $\gamma$ obtained by Li and Pan, which is of triple exponential type.

Explicit bounds for Dickman's function

math.NT

math.CA

v4

Dickman's function $\rho(u)$ denotes the natural density of integers $n$ whose largest prime factor does not exceed $n^{1/u}$. We establish numerically explicit upper and lower bounds for $\rho(u)$, resulting in estimates with a relative error of less than $0.005/u^2$ for all $u\ge 5$. This allows for an approximate evaluation of $\rho(u)$ without the need to solve the delay differential equation numerically.

Multiplicative subgroups are not restricted sumsets

math.NT

math.CO

v2

We determine exactly which proper multiplicative subgroups of a prime field can be represented as a restricted sumset of the form $A\mathbin{\widehat{+}} A=\{a+a':a,a'\in A,\ a\ne a'\}$. We prove that a proper multiplicative subgroup $H\le\mathbb F_p^*$ cannot satisfy $H=A\mathbin{\widehat{+}} A$ whenever $|H|\ge7$, and that this threshold is sharp. In fact, such a decomposition exists precisely when $|H|\in\{1,3,6\}$, and we classify all decompositions in these exceptional cases. This gives a sharp, complete resolution of the restricted-sumset analogue of the generalized S\'ark\"ozy conjecture over prime fields. This significantly extends and refines previous results of Shkredov and Yip.

Additive decompositions of multiplicative subgroups via differential identities

math.NT

math.CO

v3

We develop a local-to-global differential framework for additive decomposition problems involving multiplicative subgroups of prime fields. Starting from Hanson--Petridis-type auxiliary polynomials, we use degree bounds, in the spirit of Stepanov's method, to lift local coefficient relations at their roots to global differential identities. This yields a unified treatment of \[ H=A+B,\qquad H\cup\{0\}=A-A,\qquad H=A\mathbin{\widehat{+}} A,\qquad H\cup\{0\}=A\mathbin{\widehat{+}} A, \] where $H$ is a proper multiplicative subgroup. This circle of problems is motivated by S\'ark\"ozy's conjecture on the additive irreducibility of nonzero quadratic residues and its generalizations to multiplicative subgroups. Rudnev and Tyrrell recently classified all decompositions $H=A+B$, building on the approach introduced by Hanson--Petridis and further developed by Kalmynin. Our framework gives a new polynomial proof of the Rudnev--Tyrrell classification and substantially streamlines the existing proofs: it gives an independent proof of Kalmynin's equal-size theorem and reduces the classification to direct coefficient comparisons, avoiding the residue-theoretic input and more elaborate arithmetic analysis of earlier proofs. It also yields a streamlined proof of Kalmynin's resolution of a conjecture of Lev and Sonn on $H\cup\{0\}=A-A$. For the two restricted-sumset problems, we obtain complete classifications, substantially improving earlier results of Shkredov and Yip. We also establish some stability refinements.

Galois descents of certain multiple polylogarithms

math.NT

hep-th

v2

We prove some conjectures of K. C. Au concerning the descents of cyclotomic levels in certain sums over multiple polylogarithms. Via answers to a question of Au in some particular cases, we also confirm Broadhurst's conjecture on honorary multiple zeta values at even weights.

Extreme Values of Quadratic Dirichlet $L$-functions over Monic Irreducible Polynomials in $\mathbb{F}_q[t]$

math.NT

v3

In this paper, we establish a new $\Omega$-result for the values $|L(\sigma,\chi_P)|$ of quadratic Dirichlet $L$-functions at and near the central point, where \[ \sigma=\frac12+\frac{\kappa}{\ln g}, \qquad \kappa\geq 0, \] and $P$ ranges over monic irreducible polynomials associated with hyperelliptic curves of genus $g$ over a fixed finite field $\mathbb{F}_q$. We consider the asymptotic setting in which $q$ is fixed and $g\to\infty$. More precisely, for every $\epsilon \in (0,1/2)$ andevery fixed $\kappa\geq 0$, we prove that \[ \max_{P \in \mathcal{P}_{2g+1}} |L(\sigma,\chi_P)| \gg \exp \left(\left(e^{-\kappa} \ln q \,\sqrt{\frac{\sqrt{q}+1}{\sqrt{q}-1}(1/2-\epsilon)} +o(1)\right)\sqrt{\frac{g\ln_2 g}{\ln g}} \right), \] where $\mathcal{P}_{2g+1}$ is the set of all monic irreducible polynomials of degree $2g+1$ in $\mathbb{F}_q[t]$. In particular, when $\kappa=0$, this gives the corresponding result at the central point $\sigma=1/2$. Our result extends the recent work of Darbar and Maiti (2024) and yields an improved lower bound for the extreme values in this family. In addition, for $1/2<\sigma<1$ and sufficiently large $n$, we study the extreme values of $L(\sigma,\chi_P)$, where $P\in\mathcal{P}_n$, and obtain an improved lower bound compared with the result of Lumley (2021).

Proportions of the non-trivial zeros of the Riemann zeta function

math.NT

v2

Let $C_0=\frac32-\frac1{\sqrt2}\cot\big(\frac1{\sqrt2}\big) =0.67250\ldots$ and $C_1=\frac{C_0+1}{2}= 0.83625\ldots$. Recently, it is obatained by Alp\"oge and Furman that more than 67.25\% of the non-trivial zeros of the Riemann zeta function 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, by refining the method of Lamzouri, we slightly improve the bounds $C_0$ and $C_1$ in these two results to $C_0+\delta_0$ and $C_1+\frac{\delta_0}2$ with $\delta_0=6.66624\ldots\times10^{-8}$, respectively.

Weighted mean squares of $\zeta$ and $L(\cdot,\chi_4)$: closed forms, reciprocity, and a missing identity

math.NT

v2

This short note is a concise yet complete overview, intended for students, researchers, and AIs, bringing together in a unified notation the closed-form and reciprocity identities arising from weighted mean squares of the Riemann zeta function and Dirichlet $L$-functions on the critical line. In addition, we prove a new reciprocity identity: the exponentially weighted counterpart of a formula of Lewis and Zagier for the primitive character of modulus $4$.

Multiplicative convolution and double shuffle relations

math.AG

math.AT

math.NT

v4

We develop a geometric approach to the regularized double shuffle relations for multiple zeta values, based on convolution of perverse sheaves on $\mathbb{C}^*$ and inspired by the approach of Deligne and Terasoma. We introduce semi-holonomy isomorphisms associated with pro-unipotent paths and show that their compatibility with multiplicative convolution is equivalent to a condition on the pro-unipotent fundamental group, the homological pentagon equation. We prove that this condition is equivalent to the regularized double shuffle relations, yielding a geometric proof that the pentagon equation implies these relations. The approach is purely topological and avoids Hodge-theoretic and Tannakian methods.

Rank-two recurrence results for polynomials and questions of dynamical Mordell--Lang type

math.DS

math.AG

math.LO

math.NT

v2

Let $f,g\in\mathbb{C}[z]\setminus\mathbb{C}$ and $c\in\mathbb{C}[z]$. Suppose that $\mathrm{deg}(c)=1$ if $\mathrm{deg}(f)=\mathrm{deg}(g)=1$. Using the theory of Presburger arithmetic, we prove that the rank-two recurrence set \[ S_{f,g,c}^2:=\left\lbrace(m,n)\in\mathbb{Z}_{\geq0}^2\colon \exists\lambda\in\mathbb{C}, f^{\circ m}(\lambda)=g^{\circ n}(\lambda)=c(\lambda)\right\rbrace \] is semi-linear. This is a generalization of a theorem of Yang and Zhong for the case $m=n$. We also obtain partial results on recurrence sets for rational maps. These results are related to higher-dimensional questions of dynamical Mordell--Lang type of rank $\leq2$.

Number Theory of Decaying Turbulence 1: Operator Representation and Universality

nlin.CD

math.NT

physics.flu-dyn

v3

We derive a formal statistical solution of freely decaying incompressible turbulence in arbitrary dimension \(d>1\) using Navier--Stokes loop equations. The loop Fourier transform maps smooth deterministic Cauchy data in infinite space to an oscillatory amplitude of a one-dimensional momentum-loop quantum field theory. In bounded-variation calculus the nonlinear advection term becomes a closed-loop total derivative and cancels on the compact spherical target, leaving a diffusive momentum-loop evolution. Its exact decaying solution is the planar Euler ensemble of rational star-polygon walks, whose continuum limit splits into parity classes, \(\eta=N\bmod 2\). In logarithmic time the Euler ensemble is a fixed point of the compact momentum-loop dynamics. The even ensemble carries an alternating unstable mode with Lyapunov exponent \(\lambda=\cot^2(\pi p/q)>0\), while the odd representatives have no local shape instabilities. For \(d>2\) the planar ensemble is a slice of a degenerate manifold of equal-step spherical polygons. The transverse deformations along this manifold are exact zero modes; integrating over them gives a singular Wilson-loop functional, so they are projected out of the admissible ensemble. The normal edge-length defects are strictly stable, with the universal angular Laplacian as the leading continuum operator. The odd Euler ensemble is therefore the locally stable turbulent attractor in every dimension. From the velocity correlation of the ensemble we prove that its energy spectrum does not depend on the dimension \(d>1\): two- and three-dimensional decaying turbulence share one scaling function. The spectrum and its Riemann-zeta structure are derived in the second paper of this series, and the comparison with simulations and experiments is given in the third.

The combinatorics of sector renormalization

math.DS

math.NT

v3

The goal of this paper is to systematically develop the fundamental arithmetic and combinatorial properties of the sector renormalization operation on rigid rotations. We employ the specific framework of modified continued fractions appropriate for sector renormalization and analyze their properties. By allowing infinite first return times, this framework yields a dynamical compactification of the space of irrationals called the parabolic compactification; we show that it is characterized by some universal properties. We also discuss the corresponding natural extension and introduce the continuant group, the time semigroup, and topological cascades. For example, we demonstrate how a bi-infinite tower of sector renormalizations of irrational rotations can be packaged within a single dynamical plane as a cascade of translations. This will serve as a foundational combinatorial tool for studying the geometric properties of sector renormalizations of holomorphic maps with irrationally indifferent fixed points, particularly neutral quadratic polynomials.

Singular supports, characteristic cycles, and microlocalization of constructible sheaves

math.AG

math.NT

v3

For a constructible sheaf $\mathcal{F}$ on a smooth scheme $X$ over a perfect field, the singular support $SS(\mathcal{F})$ and the characteristic cycle $CC(\mathcal{F})$ are defined on the cotangent bundle. In analogy with the construction of Kashiwara--Schapira via microlocalization in the transcendental setting, we construct the microlocal versions ${ SS}_\mu(\mathcal{F})$ and $CC_\mu(\mathcal{F})$ of $SS(\mathcal{F})$ and $CC(\mathcal{F})$ respectively, and prove \[ SS_\mu(\mathcal{F})= SS(\mathcal{F}),\qquad CC_\mu(\mathcal{F})= {\rm cl}CC(\mathcal{F}), \] where $\operatorname{cl}$ is the cycle class map. As a consequence of the second equality, we show that the cohomological characteristic classes are the cycle classes associated with the corresponding characteristic cycles, as conjectured in (\emph{Invent.~Math.~207: 597--695, 2017}). As further applications, we give new proofs of the index formula and Bloch's conductor formula in the proper case, independently of Abe's homotopical approach via $\infty$-categories.