You are currently browsing the tag archive for the ‘zero density theorems’ tag.

A useful rule of thumb in complex analysis is that holomorphic functions behave like large degree polynomials . This can be evidenced for instance at a “local” level by the Taylor series expansion for a complex analytic function in the disk, or at a “global” level by factorisation theorems such as the Weierstrass factorisation theorem (or the closely related Hadamard factorisation theorem). One can truncate these theorems in a variety of ways (e.g., Taylor’s theorem with remainder) to be able to approximate a holomorphic function by a polynomial on various domains.

In some cases it can be convenient instead to work with polynomials of another variable such as (or more generally for a scaling parameter ). In the case of the Riemann zeta function, defined by meromorphic continuation of the formula

one ends up having the following heuristic approximation in the neighbourhood of a point on the critical line:

Heuristic 1 (Polynomial approximation)Let be a height, let be a “typical” element of , and let be an integer. Let be the linear change of variables

The requirement is necessary since the right-hand side is periodic with period in the variable (or period in the variable), whereas the zeta function is not expected to have any such periodicity, even approximately.

Let us give two non-rigorous justifications of this heuristic. Firstly, it is standard that inside the critical strip (with ) we have an approximate form

of (11). If we group the integers from to into bins depending on what powers of they lie between, we thus have

For with and we heuristically have

and so

where are the partial Dirichlet series

This gives the desired polynomial approximation.

A second non-rigorous justification is as follows. From factorisation theorems such as the Hadamard factorisation theorem we expect to have

where runs over the non-trivial zeroes of , and there are some additional factors arising from the trivial zeroes and poles of which we will ignore here; we will also completely ignore the issue of how to renormalise the product to make it converge properly. In the region , the dominant contribution to this product (besides multiplicative constants) should arise from zeroes that are also in this region. The Riemann-von Mangoldt formula suggests that for “typical” one should have about such zeroes. If one lets be any enumeration of zeroes closest to , and then repeats this set of zeroes periodically by period , one then expects to have an approximation of the form

again ignoring all issues of convergence. If one writes and , then Euler’s famous product formula for sine basically gives

(here we are glossing over some technical issues regarding renormalisation of the infinite products, which can be dealt with by studying the asymptotics as ) and hence we expect

This again gives the desired polynomial approximation.

Below the fold we give a rigorous version of the second argument suitable for “microscale” analysis. More precisely, we will show

Theorem 2Let be an integer going sufficiently slowly to infinity. Let go to zero sufficiently slowly depending on . Let be drawn uniformly at random from . Then with probability (in the limit ), and possibly after adjusting by , there exists a polynomial of degree and obeying the functional equation (9) below, such that

It should be possible to refine the arguments to extend this theorem to the mesoscale setting by letting be anything growing like , and anything growing like ; also we should be able to delete the need to adjust by . We have not attempted these optimisations here.

Many conjectures and arguments involving the Riemann zeta function can be heuristically translated into arguments involving the polynomials , which one can view as random degree polynomials if is interpreted as a random variable drawn uniformly at random from . These can be viewed as providing a “toy model” for the theory of the Riemann zeta function, in which the complex analysis is simplified to the study of the zeroes and coefficients of this random polynomial (for instance, the role of the gamma function is now played by a monomial in ). This model also makes the zeta function theory more closely resemble the function field analogues of this theory (in which the analogue of the zeta function is also a polynomial (or a rational function) in some variable , as per the Weil conjectures). The parameter is at our disposal to choose, and reflects the scale at which one wishes to study the zeta function. For “macroscopic” questions, at which one wishes to understand the zeta function at unit scales, it is natural to take (or very slightly larger), while for “microscopic” questions one would take close to and only growing very slowly with . For the intermediate “mesoscopic” scales one would take somewhere between and . Unfortunately, the statistical properties of are only understood well at a conjectural level at present; even if one assumes the Riemann hypothesis, our understanding of is largely restricted to the computation of low moments (e.g., the second or fourth moments) of various linear statistics of and related functions (e.g., , , or ).

Let’s now heuristically explore the polynomial analogues of this theory in a bit more detail. The Riemann hypothesis basically corresponds to the assertion that all the zeroes of the polynomial lie on the unit circle (which, after the change of variables , corresponds to being real); in a similar vein, the GUE hypothesis corresponds to having the asymptotic law of a random scalar times the characteristic polynomial of a random unitary matrix. Next, we consider what happens to the functional equation

A routine calculation involving Stirling’s formula reveals that

with ; one also has the closely related approximation

when . Since , applying (5) with and using the approximation (2) suggests a functional equation for :

where is the polynomial with all the coefficients replaced by their complex conjugate. Thus if we write

then the functional equation can be written as

We remark that if we use the heuristic (3) (interpreting the cutoffs in the summation in a suitably vague fashion) then this equation can be viewed as an instance of the Poisson summation formula.

Another consequence of the functional equation is that the zeroes of are symmetric with respect to inversion across the unit circle. This is of course consistent with the Riemann hypothesis, but does not obviously imply it. The phase is of little consequence in this functional equation; one could easily conceal it by working with the phase rotation of instead.

One consequence of the functional equation is that is real for any ; the same is then true for the derivative . Among other things, this implies that cannot vanish unless does also; thus the zeroes of will not lie on the unit circle except where has repeated zeroes. The analogous statement is true for ; the zeroes of will not lie on the critical line except where has repeated zeroes.

Relating to this fact, it is a classical result of Speiser that the Riemann hypothesis is true if and only if all the zeroes of the derivative of the zeta function in the critical strip lie on or to the *right* of the critical line. The analogous result for polynomials is

Proposition 3We have(where all zeroes are counted with multiplicity.) In particular, the zeroes of all lie on the unit circle if and only if the zeroes of lie in the closed unit disk.

*Proof:* From the functional equation we have

Thus it will suffice to show that and have the same number of zeroes outside the closed unit disk.

Set , then is a rational function that does not have a zero or pole at infinity. For not a zero of , we have already seen that and are real, so on dividing we see that is always real, that is to say

(This can also be seen by writing , where runs over the zeroes of , and using the fact that these zeroes are symmetric with respect to reflection across the unit circle.) When is a zero of , has a simple pole at with residue a positive multiple of , and so stays on the right half-plane if one traverses a semicircular arc around outside the unit disk. From this and continuity we see that stays on the right-half plane in a circle slightly larger than the unit circle, and hence by the argument principle it has the same number of zeroes and poles outside of this circle, giving the claim.

From the functional equation and the chain rule, is a zero of if and only if is a zero of . We can thus write the above proposition in the equivalent form

One can use this identity to get a lower bound on the number of zeroes of by the method of mollifiers. Namely, for any other polynomial , we clearly have

By Jensen’s formula, we have for any that

We therefore have

As the logarithm function is concave, we can apply Jensen’s inequality to conclude

where the expectation is over the parameter. It turns out that by choosing the mollifier carefully in order to make behave like the function (while keeping the degree small enough that one can compute the second moment here), and then optimising in , one can use this inequality to get a positive fraction of zeroes of on the unit circle on average. This is the polynomial analogue of a classical argument of Levinson, who used this to show that at least one third of the zeroes of the Riemann zeta function are on the critical line; all later improvements on this fraction have been based on some version of Levinson’s method, mainly focusing on more advanced choices for the mollifier and of the differential operator that implicitly appears in the above approach. (The most recent lower bound I know of is , due to Pratt and Robles. In principle (as observed by Farmer) this bound can get arbitrarily close to if one is allowed to use arbitrarily long mollifiers, but establishing this seems of comparable difficulty to unsolved problems such as the pair correlation conjecture; see this paper of Radziwill for more discussion.) A variant of these techniques can also establish “zero density estimates” of the following form: for any , the number of zeroes of that lie further than from the unit circle is of order on average for some absolute constant . Thus, roughly speaking, most zeroes of lie within of the unit circle. (Analogues of these results for the Riemann zeta function were worked out by Selberg, by Jutila, and by Conrey, with increasingly strong values of .)

The zeroes of tend to live somewhat closer to the origin than the zeroes of . Suppose for instance that we write

where are the zeroes of , then by evaluating at zero we see that

and the right-hand side is of unit magnitude by the functional equation. However, if we differentiate

where are the zeroes of , then by evaluating at zero we now see that

The right-hand side would now be typically expected to be of size , and so on average we expect the to have magnitude like , that is to say pushed inwards from the unit circle by a distance roughly . The analogous result for the Riemann zeta function is that the zeroes of at height lie at a distance roughly to the right of the critical line on the average; see this paper of Levinson and Montgomery for a precise statement.

In the previous set of notes, we studied upper bounds on sums such as for that were valid for all in a given range, such as ; this led in turn to upper bounds on the Riemann zeta for in the same range, and for various choices of . While some improvement over the trivial bound of was obtained by these methods, we did not get close to the conjectural bound of that one expects from pseudorandomness heuristics (assuming that is not too large compared with , e.g. .

However, it turns out that one can get much better bounds if one settles for estimating sums such as , or more generally finite Dirichlet series (also known as *Dirichlet polynomials*) such as , for *most* values of in a given range such as . Equivalently, we will be able to get some control on the *large values* of such Dirichlet polynomials, in the sense that we can control the set of for which exceeds a certain threshold, even if we cannot show that this set is empty. These large value theorems are often closely tied with estimates for *mean values* such as of a Dirichlet series; these latter estimates are thus known as *mean value theorems* for Dirichlet series. Our approach to these theorems will follow the same sort of methods used in Notes 3, in particular relying on the generalised Bessel inequality from those notes.

Our main application of the large value theorems for Dirichlet polynomials will be to control the number of zeroes of the Riemann zeta function (or the Dirichlet -functions ) in various rectangles of the form for various and . These rectangles will be larger than the zero-free regions for which we can exclude zeroes completely, but we will often be able to limit the number of zeroes in such rectangles to be quite small. For instance, we will be able to show the following weak form of the Riemann hypothesis: as , a proportion of zeroes of the Riemann zeta function in the critical strip with will have real part . Related to this, the number of zeroes with and can be shown to be bounded by as for any .

In the next set of notes we will use refined versions of these theorems to establish Linnik’s theorem on the least prime in an arithmetic progression.

Our presentation here is broadly based on Chapters 9 and 10 in Iwaniec and Kowalski, who give a number of more sophisticated large value theorems than the ones discussed here.

## Recent Comments