Number Theory [math.NT]

On bilinear sums with modular square roots and applications III
math.NT


Stephan Baier

We continue our investigations of bilinear sums with modular square roots and the large sieve for square moduli in our recent article "On bilinear sums with modular square roots and applications II", arXiv:2603.00768. In the present article, we focus on the case of prime square moduli for which our previous method in the said article did not yield any improvement. Now we modify this method to make progress for these moduli. The key idea is to restrict certain quadratic Gauss sums to reduced residue classes, which results in significant cancellations in certain cases.

On nonconvex constellations among primes I
math.NT


Fred B. Holt

Extending our work on the $k$-tuple conjecture, we apply those methods to the Engelsma counterexamples (narrow constellations) of length $J=459$ and span $|s|=3242$. We track the evolution of these $58$ counterexamples from inadmissible driving terms starting in the cycle of gaps ${\mathcal G}(11^\#)$ up through their first appearance in ${\mathcal G}(113^\#)$. We continue developing primorial coordinates for each admissible instance through a breadth-first exhaustive search through ${\mathcal G}(211^\#)$, at which point we need to develop strategies for depth-first searches for an instance that would survive Eratosthenes sieve. Our calculations show that {\em none} of the $(459,3242)$-counterexamples occur before $9.7\,E73$. For each of the $58$ Engelsma $(459,3242)$-counterexamples we calculate its asymptotic relative population, among other constellations of length $J=459$, and we study how these counterexamples work.

Surviving Eratosthenes sieve I: quadratic density and Legendre's conjecture
math.NT
math.CO


Fred B. Holt

We have been studying Eratosthenes sieve as a discrete dynamic system, obtaining exact models for the relative populations for small gaps (currently gaps $g \le 82$) in the cycle of gaps ${\mathcal G}(p^\#)$ at each stage of the sieve. The gaps in the interval $\Delta H(p_k)=[p_k^2, p_{k+1}^2]$ are fixed in ${\mathcal G}(p^\#)$ and survive all subsequent stages of the sieve to be confirmed as gaps between primes. We have shown that samples of gaps between primes over these intervals of survival $\Delta H(p_k)$ have population distributions that reflect the relative population models $w_g(p_k^\#)$. This paper advances our study of the estimates of survival across stages of the sieve. Inspired by Legendre's conjecture, we introduce the concept of quadratic density $\eta_s(p_k)$, which is the expected population of the constellation $s$ in the intervals $[n^2, (n+1)^2]$ for $p_k \le n < p_{k+1}$. We show that once a gap occurs in ${\mathcal G}(p^\#)$, its expected quadratic density increases across all subsequent stages of the sieve. Regarding Legendre's conjecture, beyond postulating one prime in the interval $[n^2,(n+1)^2]$, the quadratic density predicts the populations of several prime gaps within this interval.

On a M\"obius double sum
math.NT


Olivier Ramaré, Sebastian Zuniga-Alterman

We study the double sum $S_\varepsilon(X)$$=$$\sum_{\substack{d,e\le X}}\frac{\mu(d)\mu(e)}{[d,e]^{1+\varepsilon}}$, which converges even in the case $\varepsilon=0$, where $\mu$ denotes the M\"obius function and $[d,e]$ is the least common multiple of $d$ and $e$. Such expressions arise naturally in analytic number theory, notably as the diagonal contribution in certain squared mean values, and they play a significant role in zero-density estimates for the Riemann zeta function and related $L$-functions. We establish uniform upper bounds for $S_\varepsilon(X)$ across various ranges of $X$, with particular emphasis on the case $\varepsilon$ close to $0^+$.

Uniform Diophantine approximation with restrictions via total density of collections of subspaces
math.NT


Leo Hong, Dmitry Kleinbock, Vasiliy Neckrasov

In 1926 Khintchine introduced a topological argument proving the existence of uncountably many nontrivial singular linear forms of $n \geq 2$ variables. Throughout the years, this argument has been extensively modified and generalized. Most recently, Kleinbock et al. (2025) introduced a general framework of Diophantine systems and showed that a certain topological property called total density implies a far-reaching generalization of Khintchine's result. We describe a way to establish total density for a variety of Diophantine systems, and thus prove that the sets of singular objects are uncountable and dense in a wide range of set-ups in Diophantine approximation. As a special case, we establish such a result for inhomogeneous approximation, proving the existence of uncountably many singular systems of affine forms with a fixed translation part. One can also consider approximation with prime denominators, or more generally, approximation under some strong restrictions on numerators and denominators.

A further $q$-generalization of the (C.2) and (G.2) supercongruences of Van Hamme
math.NT


Song-Xiao Li, Su-Dan Wang

Applying the $q$-Zeilberger algorithm, we establish a unified $q$-analogue of the (C.2) and (G.2) supercongruences of Van Hamme, which can be viewed as a refinement of several previously known results. As consequences, we obtain a $q$-analogue of supercongruence involving Bernoulli numbers, as well as a refinement of (G.2) supercongruence.

Arithmetic sums and products of infinite multiple zeta-star values
math.NT


Jiangtao Li, Siyu Yang

Multiple zeta-star values are variants of multiple zeta values which allow equality in the definition. Similar to the theory of continued fractions, every real number which is greater than $1$ can be realized as an unique infinite multiple zeta-star values in a natural way. In this paper, we investigate the arithmetic sums and products of infinite multiple zeta-star values with restricted indices. Moreover, inspired by the theory of continued fractions and Cantor set, we propose a series of conjectures concerning the algebraic points and arithmetic sums and products of infinite multiple zeta-star values with certain indices.

Van der Waerden's theorem on arithmetic progressions -- a survey of some historical and modern developments
math.CO
math.DS
math.NT


Vitaly Bergelson, Florian K. Richter

Van der Waerden's theorem, published in Nieuw. Arch. Wisk. 15 (1927), acted as a catalyst for major further developments in Ramsey theory. In this survey, we delve into the legacy of this mathematical gem, tracing its historical origin, exploring its wide-ranging connections across research areas, and highlighting some of the important results it has inspired.

Resonances on geometrically finite graphs
math.SP
math.CO
math.GR
math.NT


Christian Arends, Carsten Peterson, Tobias Weich

In analogy with the spectral theory of geometrically finite hyperbolic manifolds, we initiate the study of resonances on geometrically finite (q+1)-regular graphs of groups. We prove the meromorphic continuation of the resolvent of the adjacency operator on such spaces and give a geometric characterization of the resonant states. In contrast to the hyperbolic surfaces setting, geometrically finite graphs have only finitely many resonances and may be computed explicitly, yet exhibit many of the same qualitative phenomena as in the hyperbolic manifolds setting. Particularly interesting examples arise from algebraic curves over finite fields.

Integral Means Spectrum for the Random Riemann Zeta Function
math.CV
math-ph
math.MP
math.NT
math.PR


Bertrand Duplantier, Véronique Gayrard, Eero Saksman

We study the integral means spectrum associated with the analytic function whose derivative is the so-called randomized Riemann zeta-function, introduced some time ago by Bagchi. The randomized $\zeta$-function, ${\zeta}_{\mathrm{rand}}(\sigma+ih)$, is known to represent the asymptotic statistical behaviour of the random vertical shifts of the actual $\zeta$-function in the critical strip, $1/2 <\sigma\leq 1, h\in \mathbb R$, and appears in a number of recent works on the asymptotic behavior of the moments and maxima of the $\zeta$-function on short intervals along the critical axis $\sigma=1/2$. Using probability and basic analytic number theory, we show that the complex integral means spectrum of the primitive of ${\zeta}_{\mathrm{rand}}$ is almost surely of the form conjectured 30 years ago by Kraetzer, for the so-called universal integral means spectrum of univalent functions in the disc. The Riemann $\zeta$-function and its random version have recently been rigorously related to the so-called Gaussian multiplicative chaos (GMC), initiated by Kahane 40 years ago. In the case of the holomorphic multiplicative chaos on the unit disc -- an important stochastic object closely related to Liouville quantum gravity on the unit circle -- we prove that the integral means spectrum of the primitive is almost surely also of the same Kraetzer form. However, we establish that neither the primitive of the random function ${\zeta}_{\mathrm{rand}}$, nor that of the holomorphic GMC are injective. Building on earlier work by one of the authors and Webb on the convergence of Riemann $\zeta$-function on the critical line to a holomorphic GMC distribution, we finally provide an alternative derivation of the integral means spectrum for the random Riemann $\zeta$-function.

Wild conductor exponents of curves
math.NT
v3


Harry Spencer

We give an explicit formula for wild conductor exponents of plane curves over $\mathbb{Q}_p$ in terms of standard invariants of explicit extensions of $\mathbb{Q}_p$, generalising a formula for hyperelliptic curves. To do so, we prove a general result relating the wild conductor exponent of a simply branched cover of the projective line with its associated discriminant cover. In an appendix, we resolve a minor issue in the literature on the $3$-torsion of genus 2 curves.

Divisor problems for restricted Fourier coefficients of modular forms
math.NT
v2


Yuk-Kam Lau, Wonwoong Lee

Let $d(n)$ be the number of divisors of $n$. We investigate the average value of $d(a_f(p))^r$ for $r$ a positive integer and $a_f(p)$ the $p$-th Fourier coefficient of a cuspidal eigenform $f$ having integral Fourier coefficients, where $p$ is a prime subject to a constraint on the angle associated with the normalized Fourier coefficient.

Rectangular representations and $\lambda$-independence of algebraic monodromy groups
math.NT
math.RT
v3


Chun-Yin Hui, Wonwoong Lee

Let $\mathfrak g$ be a complex semisimple Lie algebra. We define what it means for a finite dimensional representation of $\mathfrak g$ to be rectangular and completely classify faithful rectangular representations. As an application, we obtain new $\lambda$-independence results on the algebraic monodromy groups of compatible systems of $\lambda$-adic Galois representations of number fields.

Number of integral points on quadratic twists of elliptic curves
math.NT
v3


Seokhyun Choi

We study integral points on the quadratic twists $E_D : y^2 = x^3+D^2Ax+D^3B$ of a fixed elliptic curve $E : y^2 = x^3+Ax+B$ over $\overline{Q}$. For sufficiently large squarefree positive integers $D$, we prove that the number of integral points on $E_D$ admits the upper bound $\ll 4^r$, where $r$ denotes the Mordell-Weil rank of $E_D$. The implied constant is absolute and effectively computable. The proof combines gap principles, bounds for spherical codes, and Diophantine approximation. As an application, we prove that the average number of integral points on the quadratic twist family is bounded.

The commutative algebra of congruence ideals and applications to number theory
math.NT
math.AC
v2


Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

In his proof of Fermat's Last Theorem, Wiles deployed a commutative algebra technique, namely a numerical criterion for detecting isomorphisms of rings. In our recent work we pick up on Wiles' work and generalize the numerical criterion to ``higher codimension''. A critical ingredient is a notion of congruence module in higher codimension: this has turned out to be a key definition whose utility extends beyond the role it plays in the numerical criterion. In this paper we trace the origin of some of the ideas that led to our work, both in number theory and commutative algebra, and new directions that emerge from it. We introduce a related notion of a congruence ideal. When applied to deformation theory of Galois representations and Hecke algebras, which is the setting of Wiles's work on Fermat's Last Theorem, our work leads to the notion of congruence ideals for local deformation rings. This sheds light on the classically studied congruence ideals for global deformation rings and Hecke algebras. We outline applications of the commutative algebra we have developed to: (i) integral modularity lifting theorems in the context of weight one forms, and (ii) factorization formulas for congruence ideals of global deformation rings at augmentations induced by newforms in which local congruence ideals enter as the local terms. The latter leads to surprising relations between these local congruence ideals and local Tamagawa ideals of Bloch-Kato associated to the rank 3 adjoint motive of $f$.

First Moment of Quadratic Hecke $L$-Functions with Lower Order Term
math.NT
v2


Peng Gao, Liangyi Zhao

We evaluate the first moment of the family of primitive quadratic Hecke $L$-functions in the Gaussian field using the method of double Dirichlet series under the Riemann hypothesis and the Lindel\"of hypothesis. We obtain asymptotic formulas with secondary main terms and error terms of size that is one quarter of that of the main term.

A note on exact approximations
math.NT
v3


Dmitry Gayfulin, Sergei Pitcyn

Based on M. Hall's theorem we prove a simple result dealing with real numbers which admit exact approximations by rationals.

An Explicit Result for the Sum of Two Almost Primes
math.NT
v2


Adrian Dudek, Lachlan Dunn

We show that every $N \geq 2$ can be written as the sum of positive integers $a$ and $b$ where $\Omega(ab) \leq 40$. The result is obtained through the direct application of an explicit lower bound Selberg sieve along with some computation and optimisation.

Ties in function field prime race
math.NT
v2


Graeme Bates, Ryan Jesubalan, Seewoo Lee, Jane Lu, Hyewon Shim

Function field analogue of the Chebyshev's bias was first studied by Cha. In this paper, we study ties in race, i.e. pairs of congruence classes $a, b \in (\mathbb{F}_q[T] / m)^\times$ where $\pi(N; m, a) = \pi(N; m, b)$ holds for infinitely many $N$. We provide infinitely many examples of $(m, a, b)$ where the tie holds for $N$ satisfying some certain congruence conditions. We give two different proofs, by 1) using the explicit formula via $L$-functions and matrix analogue of M\"obius inversion formula, where exceptional Galois conjugate pairs of elements in the corresponding cyclotomic fields give ties, and 2) constructing an explicit bijection via $\mathrm{GL}_2(\mathbb{F}_q)$-action. Our examples also include characteristic 2 cases.

Double Recurrence and Almost Sure Convergence: Primes and Weighted Theory
math.DS
math.CA
math.NT
v2


Jan Fornal, Ben Krause

Let $(X,\mu)$ be a probability space equipped with an invertible, measure-preserving transformation $T\colon X \to X$. We exhibit a wide class of weights $w$ so that whenever $f,g \in L^{\infty}(X)$, the bilinear ergodic averages \[ \frac{1}{N} \sum_{n \leq N} w(n)\, T^{an}f \cdot T^{bn}g, \qquad a,b \in \mathbb{Z} \] converge $\mu$-almost surely. This class encompasses the von Mangoldt function, resolving Problem 12 from Frantzikinakis' survey on open problems in ergodic theory, the divisor function, the sum-of-two-squares representation function, etc., as well as their restrictions to lower-density Piatetski-Shapiro sequences of the form $\{\lfloor k^{c}\rfloor : k \in \mathbb{N}\}$, $1 \leq c < 7/6$. Our methods combine combinatorial number theory and higher-order Fourier analysis with classical Fourier-analytic/martingale-based methods; the role of $U^{3}$ analysis is particularly significant.