alphaFeedback

WorksMathematics

Almost primes in short intervals and averages of long Dirichlet polynomial approximations to (ζ′/ζ)k(ζ'/ζ)^{k}

AI contributions
Not recorded for this paper
View details

Abstract

We study the asymptotic behaviour of the mean square of long truncations of the Dirichlet series for (ζ′/ζ)k\bigl(ζ'/ζ\bigr)^{k} on the critical line; we establish the connection between this problem and the short-interval variance of the convoluted von Mangoldt function Λ∗kΛ^{*k} in short intervals and in arithmetic progressions. Under a shifted moments conjecture and the Riemann Hypothesis (RH), we prove that the short-interval variance leading coefficient is the derivative of the mean-square leading coefficient. A unitary trace-sum average governs the variance of sums of Λ∗kΛ^{*k} over monic polynomials in Fq[T]\mathbb F_q[T]; we denote its leading coefficient by δk(c)δ_k(c), where the total trace degree and matrix size grow with a fixed ratio cc. Under a weaker shifted moments conjecture and RH, we recover this δk(c)δ_k(c) as the leading coefficient of the variance of short-interval sums of Λ∗kΛ^{*k} over the integers. It is the counterpart of γk(c)γ_k(c), the piecewise polynomial from the variance of divisor sums, with the Dirichlet coefficients of ζ(s)kζ(s)^k replaced by those of (−ζ′/ζ)k\bigl(-ζ'/ζ\bigr)^k.

We study the asymptotic behaviour of the mean square of long truncations of the Dirichlet series for (ζ′/ζ)k(\zeta'/\zeta)^k on the critical line; we establish the connection between this problem and the short-interval variance of the convoluted von Mangoldt function Λ∗k\Lambda^{*k} in short intervals and in arithmetic progressions. Under a shifted moments conjecture and the Riemann Hypothesis (RH), we prove that the short-interval variance leading coefficient is the derivative of the mean-square leading coefficient. A unitary trace-sum average governs the variance of sums of Λ∗k\Lambda^{*k} over monic polynomials in Fq[T]\mathbb{F}_q[T]; we denote its leading coefficient by δk(c)\delta_k(c), where the total trace degree and matrix size grow with a fixed ratio cc. Under a weaker shifted moments conjecture and RH, we recover this δk(c)\delta_k(c) as the leading coefficient of the variance of short-interval sums of Λ∗k\Lambda^{*k} over the integers. It is the counterpart of γk(c)\gamma_k(c), the piecewise polynomial from the variance of divisor sums, with the Dirichlet coefficients of ζ(s)k\zeta(s)^k replaced by those of (−ζ′/ζ)k(-\zeta'/\zeta)^k.

Introduction

This paper belongs to a series of works relating almost-prime statistics to moments of logarithmic derivatives of ζ(s)\zeta(s), motivated by function-field analogues that we have analysed using random matrix theory. The asymptotics for the unitary trace-sum average governing the function-field short-interval variance of sums of Λ∗k\Lambda^{*k} [24] were studied in [20], while here we recover the predicted leading coefficients for long Dirichlet polynomial mean squares and almost-prime variances over the integers, under shifted moment conjectures and RH. Forthcoming work [2] examines the exact finite-NN moments generating these trace-sum averages through their swap contributions and their Painlevé τ\tau-function representations, refining conjectures for shifted moments of ζ′/ζ\zeta'/\zeta and almost-prime variances in short intervals and arithmetic progressions.

Averages of long polynomials

The moments of the Riemann zeta function ζ(s)\zeta(s) and its derivatives evaluated on the critical line offer insight into large values of ζ(s)\zeta(s), its zero statistics, and even the distribution of primes. In particular, we focus on the logarithmic derivative

ζ′ζ(s)=−∑n=1∞Λ(n)ns,ℜs>1.(1)\frac{\zeta'}{\zeta}(s)=-\sum_{n=1}^{\infty}\frac{\Lambda(n)}{n^s},\qquad\Re s>1. \tag*{(1)}

Here, Λ(n)\Lambda(n) is the von Mangoldt function defined as

Λ(n):={log⁡p∃m∈N, p∈P:n=pm0otherwise.(2)\Lambda(n):= \begin{cases} \log p & \exists m\in\mathbb{N},\ p\in\mathbb{P}: n=p^m\\ 0 & \text{otherwise.} \end{cases} \tag*{(2)}

This may be interpreted as a weighted counting function for prime powers. As the meromorphic continuation of ζ′/ζ(s)\zeta'/\zeta(s) has simple poles at the zeros of ζ(s)\zeta(s), the moments are evaluated to the right of the critical line along which the non-trivial zeros lie under RH. For a fixed a>0a>0, Conjecture 2 in [1] implies there exists a function ck:R+→Rc_k:\mathbb{R}_{+}\to\mathbb{R} such that

(2a)2k−1T∫0T∣ζ′ζ(12+alog⁡T+it)∣2k dt∼ck(a)(log⁡T)2k,k∈N,a>0,(3)\frac{(2a)^{2k-1}}{T}\int_{0}^{T}\left|\frac{\zeta'}{\zeta}\left(\frac{1}{2}+\frac{a}{\log T}+it\right)\right|^{2k}\,dt\sim c_k(a)(\log T)^{2k},\qquad k\in\mathbb{N},\quad a>0, \tag*{(3)}

as T→∞T\to\infty. For fixed k∈Nk\in\mathbb{N}, such moment asymptotics are consistent with the Conrey–Snaith [8] form of the ratios conjecture [7] under RH. Furthermore, the same conjecture in [1] also predicts

ck(a)∼(2k−2k−1),(4)c_k(a)\sim\binom{2k-2}{k-1}, \tag*{(4)}

as a→0+a\to0^{+}. The same small-aa limit in the dyadic setting, i.e. with (3) averaged over [T,2T][T,2T], was subsequently established by Ge [14] under both RH and the 2k2k-tuple Essential Simplicity hypothesis. Several results towards the fixed-aa moment problem are also known. Selberg [30] obtained an upper bound for the corresponding second moment in the range a≥10a\geq10 under RH. Farmer et al. [11] investigated mixed shifted generalisations of the dyadic form of (3), relating them to almost primes and higher correlations of the zeros of ζ(s)\zeta(s). Later, Rodgers [28] proved

1T∫T2T∣ζ′ζ(12+alog⁡T+it)∣2k dt≪a,k(log⁡T)2k,(5)\frac{1}{T}\int_{T}^{2T}\left|\frac{\zeta'}{\zeta}\left(\frac{1}{2}+\frac{a}{\log T}+it\right)\right|^{2k}\,dt\ll_{a,k}(\log T)^{2k}, \tag*{(5)}

for every fixed k∈Nk\in\mathbb{N} and a>0a>0 under RH alone. Thus, under RH, Rodgers obtains the conjectured order of magnitude as an upper bound, but not the asymptotic constant appearing in (3). A standard method for studying such moments is to replace the relevant Dirichlet series by a long Dirichlet polynomial and to study its mean values in tt-aspect. This viewpoint was sharpened by Bettin and Conrey [3] who obtained precise asymptotics for mean squares of long Dirichlet polynomials, in their case for the mean square for ζ(s)k\zeta(s)^k with coefficients dk(n)d_k(n), under shifted moment conjectures. Here dk(n)d_k(n) is the kkth divisor function; one may interpret dk(n)d_k(n) as the number of ways to write a positive integer nn as a product of kk positive integers.

Explicitly, one has dk(n)=(1∗⋯∗1)(n)d_k(n)=(1*\cdots*1)(n) which is a kk-fold Dirichlet convolution of the series coefficient for ζ(s)\zeta(s). For two arithmetic functions ff and gg, one defines their Dirichlet convolution f∗gf*g by

(f∗g)(n)=∑d∣nf(d)g(nd),(f*g)(n)=\sum_{d\mid n}f(d)g\left(\frac{n}{d}\right),

where the sum extends over all positive divisors dd of nn. Note that we use ∗* to denote a Dirichlet convolution throughout.

In studying the moments

1T∫0T∣ζ′ζ(12+κ+it)∣2k dt,(6)\frac{1}{T}\int_{0}^{T}\left|\frac{\zeta'}{\zeta}\left(\frac{1}{2}+\kappa+it\right)\right|^{2k}\,dt, \tag*{(6)}

for κ=alog⁡T\kappa=\frac{a}{\log T} with a>0a>0 fixed, we consider the long Dirichlet polynomials of (−ζ′/ζ(s))k\left(-\zeta'/\zeta(s)\right)^k whose coefficients are the kk-fold convolution of Λ(n)\Lambda(n) accordingly. For k∈Nk\in\mathbb{N}, we have

Λ∗k:=Λ∗⋯∗Λ⏟k times,(7)\Lambda^{*k}:=\underbrace{\Lambda*\cdots*\Lambda}_{k\ \text{times}}, \tag*{(7)}

and the Dirichlet series

(−ζ′ζ(s))k=∑n=1∞Λ∗k(n)ns,(ℜs>1).(8)\left(-\frac{\zeta'}{\zeta}(s)\right)^k=\sum_{n=1}^{\infty}\frac{\Lambda^{*k}(n)}{n^s},\qquad(\Re s>1). \tag*{(8)}

Let N≥1N \ge1 be a real parameter, and fix s∈Cs \in\mathbb{C}. For any σ>max⁡(1,ℜs)\sigma> \max(1,\Re s), Perron’s formula gives

∑n≤N′Λ∗k(n)ns=12πi∫(σ)(−ζ′ζ(w))kNw−sw−s dw.(9)\sum_{n \le N}^{\prime} \frac{\Lambda^{*k}(n)}{n^s} = \frac{1}{2\pi i}\int_{(\sigma)}\left(-\frac{\zeta'}{\zeta}(w)\right)^k\frac{N^{w-s}}{w-s}\,dw. \tag*{(9)}

The prime on the sum denotes the endpoint term n=Nn=N being counted with weight 1/21/2 if NN is an integer and the contour (σ)(\sigma) denotes integration along the vertical line ℜw=σ\Re w=\sigma. By shifting the ww-contour to cross the pole at w=1w=1, we obtain a main residue term given by

Res⁡w=1((−ζ′ζ(w))kNw−sw−s).(10)\operatorname{Res}_{w=1}\left(\left(-\frac{\zeta'}{\zeta}(w)\right)^k\frac{N^{w-s}}{w-s}\right). \tag*{(10)}

Motivated by (3), we set s=12+its=\frac{1}{2}+it and examine the mean square of the truncated series after subtracting the residue term

Ik(T,N):=1T∫0T∣∑1≤n≤NΛ∗k(n)n1/2+it−Res⁡w=1((−ζ′ζ(w))kNw−12−itw−12−it)∣2dt,(11)I_k(T,N):=\frac{1}{T}\int_0^T\left|\sum_{1\le n\le N}\frac{\Lambda^{*k}(n)}{n^{1/2+it}}-\operatorname{Res}_{w=1}\left(\left(-\frac{\zeta'}{\zeta}(w)\right)^k\frac{N^{w-\frac{1}{2}-it}}{w-\frac{1}{2}-it}\right)\right|^2dt, \tag*{(11)}

where N=TαN=T^\alpha for fixed α∈R+\alpha\in\mathbb{R}_+. In contrast to (6), Ik(T,Tα)I_k(T,T^\alpha) consists of a finite Dirichlet polynomial with an explicit residue correction, and can therefore be defined on the critical line. By analogy with (3), for any fixed α>0\alpha>0, we expect Ik(T,Tα)I_k(T,T^\alpha) to grow at the scale of (log⁡T)2k(\log T)^{2k} as T→∞T\to\infty [1]. This leads us to introduce

Mk(α):=lim⁡T→∞Ik(T,Tα)(log⁡T)2k,k∈N, α>0,(12)M_k(\alpha):=\lim_{T\to\infty}\frac{I_k(T,T^\alpha)}{(\log T)^{2k}},\qquad k\in\mathbb{N},\ \alpha>0, \tag*{(12)}

References

  1. [1]E. C. Bailey, S. Bettin, G. Blower, J. B. Conrey, A. Prokhorov, M. O. Rubinstein, and N. C. Snaith. Mixed moments of characteristic polynomials of random unitary matrices. Journal of Mathematical Physics, 60(8):083509, 2019.DOI
  2. [2]S. Baluyot, B. Conrey, A. Irfan, and N. C. Snaith. Moments of logarithmic derivatives of characteristic polynomials. Preprint, 2026. In preparation.
  3. [3]S. Bettin and J.B. Conrey. Averages of long Dirichlet polynomials. Rivista di Matematica della Università di Parma, 12(1):1–27, 2021.arxiv.org/abs/2002.09466
  4. [4]E. Carneiro, V. Chandee, A. Chirre, and M.B. Milinovich. On Montgomery’s pair correlation conjecture: a tale of three integrals. J. Reine Angew. Math., 786:205–243, 2022. arXiv:2108.09258.DOI
  5. [5]A. Chirre. A note on the mean values of the derivatives of ζ′/ζ. Proc. Amer. Math. Soc., 150(8):3253–3265, 2022. arXiv:2107.13636.arxiv.org/abs/2107.13636
  6. [6]J.B. Conrey, D.W. Farmer, J.P. Keating, M.O. Rubinstein, and N.C. Snaith. Integral moments of L-functions. Proc. London Math. Soc., 91(1):33–104, 2005.DOI
  7. [7]J.B. Conrey, D.W. Farmer, and M.R. Zirnbauer. Autocorrelation of ratios of L-functions. Comm. Number Theory and Physics, 2(3):593–636, 2008. arXiv:0711.0718.arxiv.org/abs/0711.0718
  8. [8]J.B. Conrey and N.C. Snaith. Correlations of eigenvalues and Riemann zeros. Comm. Number Theory and Physics, 2(3):477–536, 2008.arxiv.org/abs/0803.2795
  9. [9]P. Diaconis and A. Gamburd. Random matrices, magic squares and matching polynomials. Electronic Journal of Combinatorics, 11(2):R2, 2004.DOI
  10. [10]P. Diaconis and M. Shahshahani. On the eigenvalues of random matrices. Journal of Applied Probability, 31:49–62, 1994.DOI
  11. [11]D. W. Farmer, S.M. Gonek, Y. Lee, and S. J. Lester. Mean values of ζ′/ζ(s), correlations of zeros and the distribution of almost primes. The Quarterly Journal of Mathematics, 64(4):1057–1089, 2013.DOI
  12. [12]D.W. Farmer. Mean values of ζ′/ζ and the Gaussian unitary ensemble hypothesis. Int. Math. Res. Notices, 1995(2):71–82, 1995.
  13. [13]J.B. Friedlander and D. A. Goldston. Variance of distribution of primes in residue classes. The Quarterly Journal of Mathematics, 47(3):313–336, 1996.
  14. [14]F. Ge. Mean values of the logarithmic derivative of the Riemann zeta function near the critical line. Mathematica, 69(2):562–72, 2023.arxiv.org/abs/2211.08571
  15. [15]D. A. Goldston and H. L. Montgomery. Pair correlation of zeros and primes in short intervals. In Analytic Number Theory and Diophantine Problems, volume 70 of Progress in Mathematics, pages 183–203. Birkhäuser Boston, Boston, MA, 1987.DOI
  16. [16]D.A. Goldston, S.M. Gonek, and H.L. Montgomery. Mean values of the logarithmic derivative of the Riemann zeta-function with applications to primes in short intervals. J. Reine Angew. Math., pages 105–126, 2001.DOI
  17. [17]P. R. Halmos and V. S. Sunder. Bounded Integral Operators on L² Spaces, volume 96 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge. Springer-Verlag, Berlin, 1978.DOI
  18. [18]A.J. Harper and K. Soundararajan. Lower bounds for the variance of sequences in arithmetic progressions: primes and divisor functions. Quarterly Journal of Mathematics, 68:97–123, 2017.arxiv.org/abs/1602.01984
  19. [19]Ayesha Irfan. On trace averages and sharp asymptotics for powers of Haar-unitary matrices. Preprint, 2026. arXiv:2610.32570.arxiv.org/abs/2610.32570
  20. [20]Ayesha Irfan. Sums of von Mangoldt convolutions via trace-sum averages over U(N). Preprint, 2026. arXiv:2609.33953.arxiv.org/abs/2609.33953
  21. [21]H. Iwaniec and E. Kowalski. Analytic Number Theory, volume 53 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004.
  22. [22]J.P. Keating, B. Rodgers, E. Roditty-Gershon, and Z. Rudnick. Sums of divisor functions in F_q[t] and matrix integrals. Math. Z., 288(1-2):167–198, 2018.DOI
  23. [23]Emmanuel Knafo. Variance of distribution of almost primes in arithmetic progressions. C. R. Math. Rep. Acad. Sci. Canada, 28(1):12–16, 2006.
  24. [24]V. Kuperberg and M. Lalín. Sums of divisor functions and von Mangoldt convolutions in F_q[T] leading to symplectic distributions. Forum Math., 34(3):711–747, 2022.
  25. [25]S. Lester. On the variance of sums of divisor functions in short intervals. Proc. Amer. Math. Soc., 144:5015–5027, 2016.arxiv.org/abs/1502.01170
  26. [26]K. Matomäki and M. Radziwiłł. A note on the Liouville function in short intervals. Preprint, 2015. arXiv:1502.02374.arxiv.org/abs/1502.02374
  27. [27]H.L. Montgomery. The pair correlation of zeros of the zeta function. Proc. Symp. Pure Math., 24:181–93, 1973.DOI
  28. [28]B. Rodgers. Tail bounds for counts of zeros and eigenvalues, and an application to ratios. Comment. Math. Helv., 92(2):311–347, 2017.
  29. [29]B. Saffari and R. C. Vaughan. On the fractional parts of x/n and related sequences. II. Ann. Inst. Fourier (Grenoble), 27(2):1–30, 1977.DOI
  30. [30]A. Selberg. On the normal density of primes in small intervals, and the difference between consecutive primes. Arch. Math. Naturvid., 47(6):87–105, 1943.
  31. [31]E. C. Titchmarsh. Introduction to the Theory of Fourier Integrals. Clarendon Press, Oxford, second edition, 1948.
  32. [32]E.C. Titchmarsh. The Theory of the Riemann Zeta Function. Clarendon Press, Oxford, second edition, 1986.

Paper details

vlnc:W_9jrfevp7
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

Not recorded for this paper · View statement →

Looking for related papers…
Contents