Number Theory [math.NT]

Cusp Volumes and Rational Points on Spheres

math.NT

In recent work on the Fourier coefficients of light-cone Eisenstein series arising in the problem of counting rational points on spheres, Kelmer and Yu conjectured that the leading coefficient in the asymptotic formula for the counting function is rational up to a volume factor. We prove this conjecture by showing that every cusp volume appearing in the corresponding light-cone Eisenstein series is rational.

Binary Trees and Sum of Two Squares

math.NT

In this paper, we introduce a matrix-based binary tree that forms the foundation of both the Stern--Brocot and Calkin--Wilf trees. We then explore its connection to continued fractions. Building on this relationship, we provide a path-based representation of Brillhart's proof of the sum of two squares.

Positive dyadic density for rational weighted binary expansions

math.NT

Let \(P/Q\in\mathbb Q\), \(Q\ge1\), and suppose \[ \sum_{n\ge1} n d_n2^{-n}=P/Q,\qquad d_n\in\{0,1\}, \] has infinite support \(S=\{n:d_n=1\}\). We prove that \(S\) has positive density on all sufficiently large dyadic blocks: there is \(c_Q>0\), depending only on \(Q\), such that \[ A_S(2X)-A_S(X)\ge c_QX \] for every sufficiently large dyadic \(X\), where \(A_S(X)=\#(S\cap[1,X])\). Hence every increasing sequence \(a_1<\cdots\) with \(a_n/n\to\infty\) gives an irrational series \(\sum_{n\ge1}a_n2^{-a_n}\), settling Erd\H{o}s Problem~260. The proof uses only the integral carry recurrence forced by rationality. Sparse dyadic blocks give a positive lower bound for an integrated high-excess area, while a weighted stopping-time estimate gives the matching upper bound. The local carry geometry needed for that upper bound is isolated in four estimates: complete-lap mass balance, total-support summation, fixed-pin confinement, and class-one realization.

Nonsimilar half-neighbors over fields of characteristic 2

math.NT

math.AC

math.AG

The total isotropy index of a quadratic form $\varphi$ over a field $F$ is the maximum dimension of any totally isotropic subspace of $\varphi$. If $\varphi$ is anisotropic and $\psi$ is another anisotropic quadratic form over $F$ of the same dimension, then $\varphi$ and $\psi$ are called Vishik-equivalent if, over any field extension $E/F$, their total isotropy indices are the same. In characteristic $\neq 2$, Vishik-equivalence implies similarity in all dimensions $\leq 7$ and in all odd dimensions, but there are counterexamples in all even dimensions $\geq 8$. In this paper, we construct semi-singular anisotropic quadratic forms of dimension $2^m$ for any $m\geq 3$ and defined over a suitable extension of any given field $F_0$ of characteristic $2$ that are Vishik-equivalent but not similar, thus completing the list of such examples provided earlier by the first author and Krist\'yna Zemkov\'a.

Divisibility Biases in the Orders of Elliptic Curve Reductions

math.NT

Let $E$ be an elliptic curve over the rationals. In 2004, Cojocaru proved, using the Chebotarev density theorem, that the set of primes $p \leq x$ for which $m$ divides $\#E_p(\mathbb{F}_p)$ has a natural density. In 2009, Banks and Shparlinski proved an averaged version of this result over families of elliptic curves. In this article, we give a more explicit analysis of these densities. In particular, we show that, for Serre curves, the density of primes $p$ for which $m \mid \#E_p(\mathbb{F}_p)$ is approximately $1/\varphi(m)$, and is always greater than $1/m$ for every $m \geq 2$. Thus, the orders $\#E_p(\mathbb{F}_p)$ exhibit a bias toward divisibility by $m$. Finally, based on Jones' method, we prove that the average of the individual $m$-divisibility densities coincides with the average density proposed by Banks and Shparlinski.

Negative discrete second moments of Dirichlet $L$-functions

math.NT

Let $\chi$ be a primitive Dirichlet character modulo $q>1$. Assuming the Generalised Riemann Hypothesis for $L(s,\chi)$ and that the non-trivial zeros $\rho=\tfrac12+i\gamma$ of $L(s,\chi)$ are simple, we prove lower bounds for the discrete moments $\sum_{0<\gamma\le T}|L'(\rho,\chi)|^{-2}$ and $\sum_{0<\gamma\le T}|L(2\rho,\chi^2)/L'(\rho,\chi)|^2$, uniformly in the conductor. The bounds capture the proportion $\beta/(1+\beta)$ of the conjectured asymptotics, where $\beta=\log T/\log qT$: this is one half whenever $\log q=o(\log T)$, recovering for fixed $q$ the Dirichlet analogues of theorems of Milinovich and Ng and of Sinha, and degrades to $1/(2+A)$ when $q=T^{A}$. We conjecture the true leading order asymptotics and their analogues when we average over the family of primitive characters modulo $q$.

Binomial sequences over prime fields

math.NT

math.CO

The binary binomial sequences correspond to the diagonals of the Pascal's triangle modulo 2. They have interesting properties such as they form a basis of the linear space of all binary sequences with period a power of 2. Other properties of these sequences (period, linear complexity, construction rules or relations among different binomial sequences) have been deeply analysed in detail previously. In this work, we study the binomial $p$-ary sequences for a prime $p$, its intrinsic characteristic and formation rules. We also prove that the family of $p$-ary sequences with period a power of $p$ form a vector space over $\mathbb{F}_p$ and that the family of binomial $p$-ary sequences is a basis of this space.

Hyperelliptic Atkin-Lehner quotients of Shimura curves

math.NT

math.AG

We work towards completely classifying all hyperelliptic Atkin-Lehner quotients of Shimura curves $X_0(D,N)/W$ with level $N$ coprime to $D$ and $W \le W_0(D,N)$, extending, on the one hand, a result of Ogg that provided such a classification for the trivial quotients (the case $W = 1$), and on the other hand, results of Furumoto and Hasegawa that provided such a classification for modular curves (the case $D = 1$). As a byproduct of our methods, building on the works of Guo and Yang, we also obtain models for some quotients of genus at most two, answering some questions of Padurariu and Saia.

Stable Quadratic Polynomials over $\mathbb{Q}(i)$

math.NT

Let $f$ be a polynomial or a rational function over a field $K$. A basic question is, if $f$ is a polynomial, are its iterates irreducible or not? We wish to know what can happen when considering iterates of a quadratic $f= x^2+r\in K[x]$. If the number of factors of $f^n$ is bounded by a constant independent of $n$, then $f$ is said to be \emph{eventually stable}. This paper is an extension to $\mathbb{Q}(i)$ of the paper \cite{evstb}, which considered $f$ over $\mathbb{Q}$. Showing stability for $c\equiv 1 \mod 2$ (as a $\mathbb{Z}[i]$ equivalence class) is not as fully handled as over $\mathbb{Z}$, however, the elusive case of $c\equiv 2 \mod 4$ (as a $\mathbb{Z}$ equivalence class) is shown to be stable over $\mathbb{Z}[i]$, offering more evidence for \cite[Conjecture 1]{evstb}. The conjecture "if $f^2$ is irreducible, then $f^n$ is irreducible for all $n$" extends to $\mathbb{Q}(i)$, and due to the lack of a linear ordering on $\mathbb{Q}(i)$, a new function is involved in a specific $n$ to check.

Metric results for dyadic approximation on the middle-third Cantor set

math.NT

math.DS

Let $C$ be the middle-third Cantor set and $\mu$ be the Cantor-Lebesgue measure on $C$. A conjecture of Velani states that $\mu(W_2(\tau))=0$ if $\tau>1$ and $\mu(W_2(\tau))=1$ if $0<\tau\leq 1$, where $W_2(\tau)=\left\{x\in[0,1]: \|2^nx\|\frac{1}{\gamma}-\frac{1-\gamma}{3-\gamma}\,(\approx 1.429)$ and $0<\tau<\frac{\gamma}{12}\,(\approx 0.052)$, where $\gamma=\frac{\log2}{\log3}$ is the Hausdorff dimension of $C$. This improves the known results on both the null part ($\tau>\frac{1}{\gamma}-\frac{0.078(1-\gamma)}{\gamma(2-\gamma)}\approx 1.552$, due to Allen, Baker, Chow, and Yu (2023)) and the full measure part ($0<\tau\leq 0.01$, due to Baker (2025)). Our key innovation is to establish the estimate \[\sum_{n=1}^{N}|\widehat{\mu}(h2^n)|^2\ll N^{1-\gamma}\] and its consequences: \[ \sum_{n=1}^{N}|\widehat{\mu}(h2^n)|\ll N^{1-\frac{\gamma}{2}},\quad \sum_{n=1}^{N}n^{- \sigma}|\widehat{\mu}(h2^n)|\ll_{\sigma} N^{1-\frac{\gamma}{2}-\sigma},\] where $0<\sigma<1-\frac{\gamma}{2}$, and all estimates are uniform in $h\in\mathbb{Z}\setminus\{0\}$. For the full measure part, our approach also generalizes to self-similar measures on a class of missing-digit sets.

Prescribed lifts of 2-dimensional representations

math.NT

Let F be a totally real field, and let p be prime. Under standard Taylor--Wiles hypotheses, we show that an irreducible, 2-dimensional, totally odd mod p representation of the absolute Galois group of F admits lifts lying on arbitrary prescribed components of local deformation rings, allowing potentially semistable conditions with arbitrary regular Hodge--Tate weights.

Integrality of height-one formal groups

math.NT

math.DS

Let $K$ be a finite extension of $\mathbb{Q}_p$. We prove that a one-dimensional formal group law over $K$ has integral coefficients if and only if its multiplication-by-$n$ endomorphisms have integral coefficients for all integers $n$, in the height-one case, i.e. when the multiplication by $p$ has Weierstrass degree $p$. The proof uses some $p$-adic Hodge theory.

Iwasawa Theory for K3 Surfaces over Finite Fields

math.NT

In this paper, we initiate Iwasawa theory for K3 surfaces over finite fields. First, using the Artin-Tate conjecture, which is known to hold for K3 surfaces, we prove an analogue of Mazur's control theorem for elliptic curves over number fields. Second, we prove an analogue of Iwasawa's class number formula for Brauer groups in two different ways. We also give explicit examples in the case of Kummer surfaces. Finally, we establish an analogue of the Iwasawa main conjecture for Brauer groups.

Proof of the Gawron-Miska-Ulas conjecture concerning unboundedness of coefficients of power series expansion of $\prod_{n=0}^{\infty}(1-x^{2^{n}})^m$

math.NT

It is well known that $F(x)=\prod_{n=0}^{\infty}(1-x^{2^n})$ is the generating function of the Prouhet-Thue-Morse sequence $\{(-1)^{\sigma_2(n)}\}_{n=0}^\infty$, where $\sigma_2(n)$ is the sum of (binary) digits of $n$. Let $m$ be an integer. In 2018, Gawron, Miska and Ulas initiated the study of arithmetic properties of power series expansion of the function $$F_m(x)=F(x)^m=\sum_{n=0}^{\infty}t_m(n) x^n,$$ and proposed a conjecture stating that for any given integer $m\ge 2$, the sequence $\{t_m(n)\}_{n=0}^{\infty}$ is unbounded. In this paper, we introduce a new method to investigate this conjecture. In fact, by making use of algebraic, $p$-adic and analytic methods, we show that the Gawron-Miska-Ulas conjecture is true.

Number Fields with Arbitrarily Large Minimal Index

math.NT

For a number field $K/\mathbb{Q}$, the minimal index is the least positive integer $m$ for which there exists a monogenic order with index $m$ in the maximal order. For any $n>2$ and $N>1$, we construct infinitely many number fields of degree $n$ with minimal index greater than $N$.

A resolution of Erd\H{o}s Problem 1061 on the sum-of-divisors function

math.NT

We resolve Erd\H{o}s Problem 1061, the question whether the number \[ S(x)=\#\{(a,b)\in\mathbb{N}^2:a+b\le x, \ \sigma(a)+\sigma(b)=\sigma(a+b)\} \] of ordered solutions has a linear asymptotic $S(x)\sim cx$. In fact the opposite extreme holds at every fixed logarithmic scale: for every \(R>0\), \[ \lim_{x\to\infty}\frac{S(x)}{x(\log x)^R}=+\infty. \] The construction begins with three integers having the same abundancy index and reduces the divisor-sum identity to two equations in six primes. After a linear change of variables, these equations lie on a split quadric. A three-parameter rational ruling of the quadric supplies many affine systems of six linear forms. An exact lattice-index calculation, an elementary codimension-two parameter sieve, and Bienvenu's higher-dimensional Siegel--Walfisz theorem give prime points uniformly on these planes. Coprime multiplier amplification then yields the stated resolution.

Proofs of four conjectural identities on modular rank four Nahm sums

math.NT

math.CO

In this paper, we give analytic proofs of four conjectural identities on modular rank four Nahm sums proposed by Cao and Wang.

Chebotarev geodesic theorem: split case

math.NT

We study the prime geodesic theorem in congruence classes of $\mathrm{SL}_2(\mathbb{Z})$. We generalize previous work of Luo and Sarnak and of Soundararajan and Young, and prove that the geodesic analogue of the Chebotarev density theorem holds with exponent $25/36 + \varepsilon$. In particular, we deduce that the prime geodesic theorem holds with exponent $25/36 + \varepsilon$ for any congruence subgroup of $\mathrm{SL}_2(\mathbb{Z})$.

Every Nonnegative Integer Is a Sum of a Triangular, a Pentagonal, and a Heptagonal Number

math.NT

cs.SC

In this paper, it is proved that any nonnegative integer can be written in the following form $$ x(x+1)/2 + y(3y+1)/2 + z(5z+1)/2, \qquad x,y,z \in \mathbb{N}. $$ This settles the conjecture recorded as OEIS A287616. All parts of the proof have been formalized in Lean 4, with the exception of two results: one externally cited theorem and one statement verified by symbolic computation. Both the natural-language proof and the Lean formalization were generated by the MechMath Agent Team developed by the authors.

Potential semistability of Finite height Galois representations: Relative case

math.NT

math.AG

Let $K$ be a $p$-adic field. We define the notion of finite height for an \'etale $\mathbb{Z}_p$-local system on a smooth adic space $\mathcal{X}$ over $K$ with semistable reduction. Using analytic prismatic $F$-crystals and purity results of Du-Liu-Moon-Shimizu (arXiv:2404.19603), we prove that if an \'etale $\mathbb{Z}_p$-local system over $\mathcal{X}$ is of finite height then its pullback along a finite \'etale cover of $\mathcal{X}$ is semistable. This answers a question of Tong Liu in the relative setting.

On $k$-color mex-related partition functions

math.CO

math.NT

In this paper, we investigate a set of $k$-color partitions and examine how its subsets relates to the theory of the minimal excludant function introduced by Andrews and Newman. Furthermore, we provide generalization of the partition functions introduced by Andrews and Bachraoui and also define several new partition functions within this framework.

Extensions of maximal symplectic groups acting on the superspecial K3 surface in characteristic $p$

math.AG

math.NT

We classify all possible finite groups acting faithfully on the superspecial $K3$ surface which contain the maximal symplectic groups, as classified by Ohashi and Sch\"utt.

Sum of the $GL(3)$ Fourier coefficients over quadratics

math.NT

v2

Let $A(n)$ denote the $(1,n)\text{-th}$ Fourier coefficient of a $SL(3, \mathbb{Z})$ Hecke eigenform or the ternary divisor function $d_3(n)$. Let $Q(x,y)$ be a symmetric positive definite quadratic form. This article establishes an asymptotic formula with a power-saving error term for the following sum \begin{equation*} \sum_{1 \leqslant m \leqslant X} \sum_{1 \leqslant n\leqslant Y} A(Q(m,n)), \end{equation*} where $X>1$ and $Y\leqslant X$.

Even better sums of squares over quintic and cyclotomic fields

math.NT

v2

We classify all totally real number fields of degree at most 5 that admit a universal quadratic form with rational integer coefficients; in fact, there are none over the previously unsolved cases of quartic and quintic fields. This fully settles the lifting problem for universal forms in degrees at most 5. The main tool behind the proof is a computationally intensive classification of fields in which every multiple of 2 is the sum of squares. We further extend these results to some real cyclotomic fields of large degrees and prove Kitaoka's conjecture for them.

Zilber-Pink in $Y(1)^n$: Beyond multiplicative degeneration

math.NT

math.AG

v3

We establish Large Galois orbits conjectures for points of unlikely intersections of curves in $Y(1)^n$, upon assumptions on the intersection of such curves with the boundary $X(1)^n\backslash Y(1)^n$, in the Zilber-Pink setting. As a corollary, building on work of Habegger-Pila and Daw-Orr, we obtain new cases of the Zilber-Pink conjecture for curves in $Y(1)^n$.

Motivic Modularity of CM K3 Surfaces

math.NT

math.AG

v4

The main result of this paper is the explicit construction of algebraic Hecke characters of K3 surfaces defined over a number field $k\subset \mathbb{C}$ with complex multiplication. In particular, we give the explicit determination of the algebraic Hecke characters of Kummer surfaces associated to simple abelian surfaces with complex multiplication.

Consecutive pure fields of the form $\mathbb{Q}\left(\sqrt[l]{a}\right)$ with large class numbers

math.NT

v2

Let $l$ be a rational prime greater than or equal to $3$ and $k$ be a given positive integer. Under a conjecture due to Langlands and an assumption on upper bound for the regulator of fields of the form $\mathbb{Q}\left(\sqrt[l]a\right)$, we prove that there are atleast $x^{1/l-o(1)} $ integers $1\leq d\leq x$ such that the consecutive pure fields of the form $\mathbb{Q}\left(\sqrt[l]{d+1}\right), \dots ,\mathbb{Q}\left(\sqrt[l]{d+k}\right) $ have arbitrary large class numbers.

Regularized products of Gauss and Eisenstein integers and primes

math.NT

math-ph

math.MP

v2

We provide heuristic computations \`a la Euler of the regularized infinite products of Gauss and Eisenstein integers and primes. Our approach, yielding explicit expressions, is inspired by the work by Mu\~noz Garc\'ia and P\'erez-Marco, who evaluated the product of all natural primes to $4\pi^2$.

A new expansion of the Riemann zeta function

math.NT

v5

This article presents polynomial expansions for the Dirichlet eta function and Riemann zeta function that are convergent in the critical strip. To do this we introduce a family of hypergeometric polynomials, whose roots lie on the line $\{\Re(s)=1/2\}$, and that are related to Meixner-Pollaczek polynomials. We also obtain orthonormal expansions for eta and zeta restricted to the line $\{\Re(s)=1/2\}$. The coefficients of these expansions are given explicitly as linear combinations with rational coefficients of $\log(2),$ Euler's constant $\gamma$, and zeta values at positive integers.

On some results of Korobov and Larcher and Zaremba's conjecture

math.NT

math.CA

math.CO

v2

We prove, in particular, the well--known Zaremba conjecture from the theory of continued fractions for any prime denominator. More precisely, we show, firstly, that under some mild conditions, for any sufficiently large $q$, there exists $a$ coprime to $q$ such that all partial quotients of $a/q$ are bounded by $O(\sqrt{\log q})$, and, moreover we find asymptotically tight lower bound for the number of such $a$. Secondly, we obtain a good lower bound for the number $a$ such that the sum of all partial quotients of $a/q$ is bounded by $O(\log q \cdot \sqrt{\log \log q})$. This, accordingly, improves on some results of Korobov and Larcher. Finally, we show that for all sufficiently large $\mathcal{M}$ there are $\Omega(q^{1-O(1/\mathcal{M})})$ numbers $a$ coprime to $q$ such that all partial quotients of $a/q$ are bounded by $\mathcal{M}$.

On the Number of Prime Factors of Consecutive Integers

math.NT

v2

We prove that there are infinitely many $n$ such that $\omega(n+k) \ll \log k$ for all integers $k \ge 2$. This improves on a result of Tao-Ter\"{a}v\"{a}inen (2025), who has $O(k)$ in place of $O(\log k)$. As corollaries, we make progress on a number of questions posed by Erd\H{o}s. The proof is based on a quantitative refinement of the Tao-Ter\"{a}v\"{a}inen probabilistic argument, combining a more efficient sieve procedure with stronger exponential concentration-of-measure estimates. Moreover, we formulate a conjecture on integers with many prime factors based on Cram\'{e}r-type random models. Assuming this conjecture, the main bound is essentially sharp.

Lang-Trotter phenomena and unlikely intersections

math.NT

v2

We show that the Lang-Trotter conjecture for pairs of elliptic curves implies new cases of the Zilber-Pink conjecture for curves in $\mathcal{A}_3$. Unlike previous results for curves in $\mathcal{A}_g$, our result does not rely on any assumption on intersections with the boundary, and in particular applies to potentially compact curves. The argument is based on the $G$-functions method of Yves Andr\'e.

Supersingular reduction and strongly special intersections in powers of the modular curve

math.NT

math.AG

v2

We show that Lang--Trotter-type sparsity for simultaneous supersingular reduction of pairs of elliptic curves provides a new arithmetic input for unlikely intersections in powers of the modular curve. Assuming such a sparsity statement, we prove two Zilber--Pink-type finiteness results for Hodge generic curves in $Y(1)^n$. The proof proceeds through height bounds obtained by applying the $G$-function method of Yves Andr\'e.

Dense finite Sidon sets on arithmetic progressions

math.NT

v2

Let $S\subset \{1,2,\ldots,n\}$ be a Sidon set with $|S|=n^{1/2}+O(n^{1/2-\delta})$ for some fixed $\delta>0$. This article provides the following expected asymptotic formula $$ \sum_{\substack{a\in S\\ a\equiv r\pmod{m}}} a^\ell =\frac{1}{m(\ell+1)}n^{\ell+1/2} +o\left(n^{\ell+1/2}\right), $$ where $m\geq 1$, $0\leq r

A combinatorial large sieve for Sidon sets, distances, and norm forms

math.NT

math.CO

v2

We develop a new combinatorial large sieve method for sets with bounded algebraic multiplicities. The method exploits algebraic splitting modulo many small primes: local congruence branching produces many modular collisions, while global bounded-multiplicity hypotheses force these collisions to be rare. As a first application, we prove that every Sidon subset $A\subset\{1^2,\ldots,N^2\}$ satisfies \[ |A| \le N\exp\left( -c\frac{\log N}{\log\log N} \right) \] for some absolute constant $c>0$. This gives the first super-polylogarithmic saving for a classical problem of Alon and Erd\H{o}s. As a second application, we establish new upper bounds for two grid-distance problems. We show that the largest subset of $[N]^2$ with no repeated distance has size at most $N\exp\left(-c\log N/\log\log N\right)$, giving the first progress in over thirty years on a problem of Erd\H{o}s and Guy. The same method also gives a similar saving for subsets of $[N]^2$ with no isosceles triangles, a problem recently popularized by Ellenberg and by the PatternBoost work of Charton, Ellenberg, Wagner, and Williamson. We then develop an entropic version of the method. This gives bounds for $B_2[g]$-sets in the squares and for analogous bounded-multiplicity problems associated with norm forms over arbitrary number fields. More importantly, this new method also allows us to establish the first nontrivial bounds for $B_3[g]$-sets in the cubes and $B_4[g]$-sets in the fourth powers.

A new attack to RSA with small private exponent and partial information

math.NT

v2

We give a new algorithm to attack RSA with small private exponent, when some partial information of $p+q$ is given.The algorithm is a very simple modification of original Wiener's attack with continued fractions, and allows to factor $n$ whenever $d