Search arXiv⌕ Search

arXiv · 2610.22107

The discrete second moment of the Riemann zeta-function along powers of Gram points

Abstract

Let $t_k$ be the Gram points, and let $d\geq1$ be a fixed integer. Put $η_d=1/(2^{d+1}-2)$, $σ_d=1-η_d/d$, and $σ_d^*=7/8$ for $d=2$ and $σ_d^*=σ_d$ otherwise. We prove that, uniformly on compact subsets of $σ_d^*<\Re s<1$, $$ \frac1N\sum_{k=2}^{N}|ζ(s+it_k^d)|^2 \longrightarrow ζ(2\Re s). $$ The underlying result is a mean-square approximation by finite Euler products. For the squares of Gram points, grouping equal frequency ratios and applying the double large sieve improves the general derivative-test boundary $11/12$ to $7/8$. Assuming the Lindelöf hypothesis, both the Euler-product approximation and the second-moment formula hold on every compact subset of $1/2<\Re s<1$, for every fixed $d\geq1$. As an application, we obtain a discrete universality theorem along the same Gram-power shifts, in the same unconditional and conditional regions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Marius Dundulis, Ramūnas Garunkštis, Antanas Laurinčikas, Raivydas Šimėnas. 2026-10-15. The discrete second moment of the Riemann zeta-function along powers of Gram points. https://arxiv.org/abs/2610.22107

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Solutions of $x_1^2+x_2^2-x_3^2=n^2$ with small $x_3$, revisited

Let $r(N)$ be the number of representations of $N$ as a sum of two squares. For every integer $n\ge 2$ we prove an asymptotic formula for $\sum_{x\equiv e \bmod 2}Φ(x/M)\,r(n^2+x^2)$, that is, for the number of integral solutions of $x_1^2+x_2^2-x_3^2=n^2$ with $x_3\equiv e \bmod 2$ in a range $|x_3|\ll M$, with smooth weight $Φ$. The formula has an explicit secondary term and a power saving in the error term, and it is non-trivial as soon as $M\ge n^{5/6+\varepsilon}$, that is, $M\ge D^{1/2-1/12+\varepsilon}$ with $D=n^2$. The leading term is $\frac{4}π(\log n)\intΦ(x/M)\,dx$, independently of the arithmetic of $n$; this corrects the main term stated in the published version (Ramanujan J. 63 (2024), 293-337). The proof factorises $n+ix_3$ in $\mathbb{Z}[i]$, which leads to Kloosterman sums. These are estimated by Weil's bound, combined with a Plancherel argument that exploits the curvature of the underlying quadric. This paper was written in collaboration with Claude (Opus 5.5, High), an AI model developed by Anthropic.

math.NT↗

Bessel Periods on $U(2,1) \times U(1,1)$, Relative Trace Formula and Non-Vanishing of Central $L$-values

In this paper we calculate the asymptotics of the second moment of the Bessel periods associated to certain holomorphic cuspidal representations $(π, π')$ of $U(2,1) \times U(1,1)$ of regular infinity type (averaged over $π$). Using these, we obtain quantitative non-vanishing results for the Rankin-Selberg central $L$-values $L(1/2, π\times π')$, which are of degree twelve over ${\mathbb Q}$, with concomitant difficulty in applying standard methods, especially since we are in a `conductor dropping' situation. We use the relative trace formula, and the orbital integrals are evaluated rather than compared with others. Besides their intrinsic interest, non-vanishing of these critical values also leads, by known results, to deducing certain associated Selmer groups have rank zero.

math.NT↗

Rational points on $X_0(N)^*$ when $N$ is non-squarefree

Let $N$ be a positive integer and $X_0(N)^*$ be the quotient of the modular curve $X_0(N)$ by its full group of Atkin-Lehner involutions. Elkies conjectures that the rational points on $X_0(N)^*$ are only cusps or CM points when $N$ is large enough. We establish an integrality result for the $j$-invariants of non-cuspidal rational points on $X_0(N)^*$ when $N$ is non-squarefree, representing a significant step toward resolving a key subcase of Elkies' conjecture. To this end, we prove the existence of rank-zero quotients of certain modular Jacobians $J_0(pq)$. Furthermore, in the non-squarefree case we provide a complete classification of the rational points on $X_0(N)^*$ of genus $1 \leq g \leq 5$, when they are finite. In the process we identify exceptional rational points on $X_0(75)^*$ and $X_0(147)^*$ which were not known before.

math.NT↗