Abstract
This is Part II of our examination of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
In part I, see [2], we completed the analysis of the second moment of the Riemann zeta-function using the long Dirichlet polynomial method of Goldston and Gonek [3] and we initiated the study of the fourth moment by this approach. In particular we calculated the contributions from the off-diagonal terms arising from coefficient correlations of the form ∑ n ≤ X d(n)d(n + h) and identified the terms that are missed in this approach. In this paper we show how to evaluate these new terms that were missing and in doing so we introduce a new technique that is a discrete analog of the circle method. This analysis gives a concrete introduction to how we will approach higher moments through this circle method approach. In a subsequent paper we will show how to obtain the “full-moment” conjecture for the 2kth moment of ζ(s) on the critical line, i.e. the full polynomial of degree k 2 which comprises the main term. The idea for this method originates in the work of Bogomolny and Keating; see [1].
Thus, we will calculate the contribution of what we call the type II sums (after [1]) which arise in the evaluation of
where s = 1∕2 + i t and \(\tau _{\alpha,\beta }(n) =\sum _{de=n}d^{-\alpha }e^{-\beta }\). (See [2] for further notation and introduction.) To describe the type II sums we observe that integrating term-by-term we find that the above is
where \(\mathcal{D}\) is the diagonal
\(\mathcal{O}\) is the off-diagonal
and \(\mathcal{E}\ll T^{\epsilon }\) is an error term; here τ = T 1−ε and the Fourier transform is defined by
where \(e(x) =\exp (2\pi ix)\).
If we evaluate \(\mathcal{O}\) here in the traditional manner, e.g., as in [3], we would now solve the shifted convolution problem which consists of evaluating
and summing by parts. This analysis was carried out in I. Here we use a new approach. We first make use of the fact that τ α, β and τ γ, δ are convolutions to write
Now we embark on a discrete analog of the circle method which basically consists of approximating a ratio, say m 1∕n 1, by a rational number with a small denominator, say M∕N, and then summing all of the terms with m 1∕n 1 close to M∕N; finally we sum over M and N.
To this end we introduce a parameter Q and subdivide the interval [0, 1] into Farey intervals associated with the fractions M∕N with 1 ≤ M ≤ N ≤ Q and (M, N) = 1 from the Farey sequence \(\mathcal{F}_{Q}\). The Farey interval \(\mathcal{M}_{M,N}\) determined by the fraction M∕N is defined to be
where \(\frac{M''} {N''}, \frac{M} {N}, \frac{M'} {N'}\) are three consecutive terms in the Farey sequence \(\mathcal{F}_{Q}\). Now given such an M and N we sum over the terms m 1 and n 1 for which \(m_{1}/n_{1} \in \mathcal{M}_{M,N}\); for such a pair we define
The possible range of h 1 may be computed by
since adjacent denominators satisfy Q < N + N″ < 2Q. In general, the rapid decay of \(\hat{\psi }\) governs the range of h 1 and h 2 defined below.
Also, we note that if Q is not too large then \(m_{1}/n_{1} \in \mathcal{M}_{M,N}\) implies that \(n_{2}/m_{2} \in \mathcal{M}_{M,N}\) as well. This is because the distance from m 1∕n 1 to n 2∕m 2 is
On the other hand
so if Q 2 = o(τ) then our assertion follows.
Now we define
We have
so that
and
The error term is negligible so we have now arranged the sum as
where
Note that for a given m 1, n 1 and h 1 the condition (∗1) implies that \(m_{1}/n_{1} \in \mathcal{M}_{M,N}\) so we don’t need to write that condition.
2 Smoothing the Sums over M and N
We introduce another smooth weight function ϕ(y), which is an approximation to the characteristic function χ (0, 1](y) to help with the summation over M and N. In the next section we will encounter sums of the form
for a finite set of choices of \(\xi\) and η which are of the form
where the ε i ∈ {−1, 0, 1}. For our weight function ϕ we require that
where \(\tilde{\phi }(s)\) has the properties that
for all of the eligible values of \(\xi\) that arise, and that \(\tilde{\phi }(s)\) is analytic in \(\mathfrak{R}s \geq -1/2\) and has rapid decay vertically in this region. In practice \(S_{Q}(\xi,\eta )\) will be combined with \(S_{Q}(\eta,\xi )\) to obtain
The second term is
The first integral is \(=\zeta (1+\xi ) + O((Q/d)^{-1/3})\) as can be seen by moving the path of integration to the left to \(\mathfrak{R}w = -1/3\) and accounting for the residue at the pole w = 0; note that since \(\tilde{\phi }(-\xi ) = 0\), there is no pole at \(w = -\xi\). Thus, altogether we have
3 The Case of h 2 = 0
We remark first of all that the terms with h 1 = h 2 = 0 are precisely the diagonal terms. Now we consider what happens if h 2 = 0 and h 1 ≠ 0. We call this a “semi-diagonal” term after [1].
If h 2 = 0 then m 2 M = n 2 N. Since (M, N) = 1 it follows that m 2 = N ℓ and n 2 = M ℓ for some ℓ. Thus we have
where
We replace m 1 by a smooth variable u 1 and n 1 by m 1 N∕M. We have u 1 ℓ N = m 1 m 2 ≤ X and so our sum is
We save the term with h 1 = 0 for later and we group the terms with h 1 and − h 1 together and use \(\hat{\psi }(-v) = \overline{\hat{\psi }(v)}\). We make the substitution \(v_{1} = \frac{Th_{1}} {2\pi u_{1}N}\) in the integral and switch the integral over v 1 with the sum over h 1 and ℓ. Then (with h 1 > 0) we have that
implies that
Thus we have
The sum over h 1 and ℓ is
Together with the integral over v 1 this is
Now, as we’ve seen before, if \(\mathfrak{R}s> 0\) then
Thus, the above is
We move the s-path left to \(\mathfrak{R}s = -1/2\), thus crossing the poles at s = 0, s = −α −γ and s = −β −δ. Thus the above is
and altogether we have
All of the above is predicated on m 1∕n 1 < 1. The contribution from the terms where n 1 < m 1 will be exactly as above but with the quadruple (α, β, γ, δ) replaced with (γ, δ, α, β). In particular, α +γ will be replaced by β +γ prior to summing over M and N. This will give another term
Now we consider what happens when h 1 = 0 and h 2 ≠ 0. These terms will contribute the “complements” to the above two expressions so that we will be in the situation described in (1) and so we can execute the sums over M and N as described there, replacing the sums over M and N by ratios of zeta functions with small error terms. Thus, we obtain
and the complementary term with α +γ replaced by β +δ and vice-versa.
This is identical with one of the one-swap terms identified by descending as previously described.
There are further semi-diagonal terms. If we do the exact same analysis as throughout this entire section but now focusing on the ratio m 1∕n 2 instead of m 1∕n 1 then the effect will be to switch the roles of γ and δ in the expression above. Then we end up with two more terms and a total of four terms. These terms are identical with the four terms obtained by the “descent” method described in Sect. 8 of Conrey and Keating [2].
A question of whether we have over-counted some terms may arise. But the “duplicate” terms for which \(m_{1}/n_{1} \in \mathcal{M}_{M,N}\) and simultaneously \(m_{1}/n_{2} \in \mathcal{M}_{M',N'}\) with N ≤ Q and N′ ≤ Q contribute an insignificant amount to the total and so may be regarded as part of the error term.
4 The Case of h 1 h 2 ≠ 0
Now we consider
In this case we have a bound for h 2 similar to that for h 1:
In particular, we have
Now we replace the sums over m 1, m 2, n 1, n 2 subject to (∗1) and (∗2) by their averages. As before, we replace m 1 by u 1 and now we replace m 2 by u 2. We replace n 1 and n 2 by u 1 N∕M and u 2 M∕N respectively. We then have
Now there are four cases to consider according to the four sign choices of h 1 and h 2. We make the substitutions
and move the sums over h 1 and h 2 to the inside. The condition u 1 u 2 ≤ X implies that
or
We get
Using
we see that
Also
and
and similarly for the integral over v 2. Incorporating these, we have simplified things to
The above expression is unchanged if (α, γ) is interchanged with (β, δ). So the result of summing terms for which n 1∕m 1 ≤ 1 rather than m 1∕n 1 ≤ 1 allows for summing over M and N as in Sect. 9; we obtain
Moving the s-path to the right to \(\infty\) and the z and w paths to the left to − 1∕4, say we obtain
with an error term of O(Q −1∕4). This expression is exactly what we were hoping for; it is identical to the “two-swap” terms found in the descent approach (see Conrey and Keating [2], section 9).
5 Conclusion
We have shown how to reproduce the complete conjecture for the shifted fourth moment of ζ by analyzing the mean square of long Dirichlet polynomials whose coefficients are convolutions of two smooth arithmetic functions. In the next paper we will carry this analysis out for coefficients which are convolutions of an arbitrary number of convolutions and use this to reproduce the full conjecture for the 2kth moment of ζ for an arbitrary k.
References
E.B. Bogomolny, J.P. Keating, Random matrix theory and the Riemann zeros I: three- and four-point correlations. Nonlinearity 8(6), 1115–1131 (1995)
B. Conrey, J.P. Keating, Moments of zeta and correlations of divisor-sums: I. Philos. Trans. A 373(2040), 20140313, 11 pp (2015)
D.A. Goldston, S.M. Gonek, Mean value theorems for long Dirichlet polynomials and tails of Dirichlet series. Acta Arith. 84(2), 155–192 (1998)
Acknowledgements
We gratefully acknowledge support under EPSRC Programme Grant EP/K034383/1 LMF: L-Functions and Modular Forms. Research of the first author was also supported by the American Institute of Mathematics and by a grant from the National Science Foundation. JPK is grateful for the following additional support: a grant from the Leverhulme Trust, a Royal Society Wolfson Research Merit Award, a Royal Society Leverhulme Senior Research Fellowship, and a grant from the Air Force Office of Scientific Research, Air Force Material Command, USAF (number FA8655-10-1-3088). He is also pleased to thank the American Institute of Mathematics for hospitality during a visit where this work started.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media New York
About this chapter
Cite this chapter
Conrey, B., Keating, J.P. (2015). Moments of Zeta and Correlations of Divisor-Sums: II. In: Alaca, A., Alaca, Ş., Williams, K. (eds) Advances in the Theory of Numbers. Fields Institute Communications, vol 77. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-3201-6_3
Download citation
DOI: https://doi.org/10.1007/978-1-4939-3201-6_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4939-3200-9
Online ISBN: 978-1-4939-3201-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)