# What is so interesting about the zeroes of the Riemann $\zeta$ function?

The Riemann $\zeta$ function plays a significant role in number theory and is defined by $$\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} \qquad \text{ for } \sigma > 1 \text{ and } s= \sigma + it$$

The Riemann hypothesis asserts that all the non-trivial zeroes of the $\zeta$ function lie on the line $\text{Re}(s) = \frac{1}{2}$.

My question is:

Why are we interested in the zeroes of the $\zeta$ function? Does it give any information about something?

What is the use of writing $$\zeta(s) = \prod_{p} \biggl(1-\frac{1}{p^s}\biggr)^{-1}$$

• Here it is this older question anon answered.
– Pedro
Apr 24, 2012 at 20:38
• This is one of those questions where one, as the faq says, "If you can imagine an entire book that answers your question, you’re asking too much." You may not have imagined this, but several such books do exist. Apr 24, 2012 at 20:40
• One use of writing $$\zeta(s) = \prod_{p} \biggl(1-\frac{1}{p^s}\biggr)^{-1}$$ is proving there are infinitely many prime numbers, since $\zeta(1)$ diverges.
– Pedro
Apr 24, 2012 at 20:47
• Until it is proven, it will remain a hypothesis. Once proved the tag [famous-theorems] will be valid. Apr 24, 2012 at 21:55
• The Euler product is of little to no use in studying the zeros of the Riemann zeta function from what I know. It doesn't converge in the critical strip, for example. Its intrigue is that an object encompassing the integers is factorized into prime parts - this is a major theme in number theory, obviously. It can also be used to e.g. decompose some $L$-functions into other $L$-functions, and relate identities between them (like here), and prove Dirichlet's theorem on primes in arithmetic progressions.
– anon
Apr 24, 2012 at 23:06

Short answer: Understanding the distribution of the prime numbers is directly related to understanding the zeros of the Riemann Zeta Function.**

Long Answer: The prime counting function is defined as $\pi(x)=\sum_{p\leq x} 1,$ which counts the number of primes less than $x$. Usually we consider its weighted modification $$\psi(x)=\sum_{p^{m}\leq x}\log p$$ where we are also counting the prime powers. It is not hard to show that $$\pi(x)=\frac{\psi(x)}{\log x}\left(1+O\left(\frac{1}{\log x}\right)\right),$$ which means that these two functions differ by about a factor of $\log x$.

The prime number theorem states that $\psi(x)\sim x$, but this is quite hard to show. It was first conjectured by Legendre in 1797, but took almost 100 years to prove, finally being resolved in 1896 by Hadamard and de la Vallée Poussin. In 1859 Riemann outlined a proof, and gave a remarkable identity which changed how people thought about counting primes. He showed that (more or less) $$\psi(x)=x-\sum_{\rho:\zeta(\rho)=0}\frac{x^{\rho}}{\rho}-\frac{\zeta^{'}(0)}{\zeta(0)},$$ where the sum is taken over all the zeros of the zeta function. ${}^{++}$

Notice that this is an equality. The left hand side is a step function, and on the right hand side, somehow, the zeros of the zeta function conspire at exactly the prime numbers to make that sum jump. (It is an infinite series whose convergence is not uniform) If you remember only 1 thing from this answer, make it the above explicit formula.

An equivalence to RH: Current methods allow us to prove that $$\psi(x)=x+O\left(xe^{-c\sqrt{\log x}}\right).$$ This error term decreases faster then $\frac{x}{(\log x)^A}$ for any $A$, but increases faster then $x^{1-\delta}$ for any small $\delta>0$. In particular, proving that the error term was of the form $O\left(x^{1-\delta}\right)$ for some $\delta>0$ would be an enormous breakthrough. The Riemann Hypothesis is equivalent to showing the error term is like square root $x$, that is proving the statement $$\psi(x)=x+O\left(x^{\frac{1}{2}}\log^{2}x\right).$$ In other words, the Riemann Hypothesis is equivalent to improving the error term when counting the prime numbers.

Remark: In your question you incorrectly state the Riemann Hypothesis, which says that all zeros have real part $\frac{1}{2}$. The fact that infinitely many zeros lie on the line was shown by Hardy in 1917, and in 1942 Selberg showed that a positive proportion lie on the line. In 1974 Levinson showed that this proportion was at least $\frac{1}{3}$, and Conrey 1989 improved this to $\frac{2}{5}$.

** Of course, there may be some people who are interested in the zeros of the zeta function for other reasons. Historically the prime numbers are what first motivated the study of the zeros.

${}^{++}$: Usually the trivial zeros will be separated out of the sum, but I do not make this distinction here. Also, Riemann's original paper states things in terms of $\Pi(x)$ and $\text{li}(x)$, the Riemann pi function and logarithmic integral, rather then $\psi(x)$. This is a very slight difference, and I use $\psi(x)$ above because it is easier and cleaner to do so.

• @SivaramAmbikasaran: Very interesting! Thank you for pointing out that paper. Apr 24, 2012 at 22:56
• @Sivaram: what you wrote is not an accurate reflection of the paper. It shows 56% for an average taken over zeros in a family of Dirichlet $L$-functions with bounds on the conductor of the characters. One can not derive from their result a 56% for any one specific $L$-function, such as $\zeta(s)$.
– KCd
Apr 24, 2012 at 23:06
• @Sivaram: I think it's generally not advised on this site to delete your comments when others have already referred to them, since it introduces discontinuities that make it harder for people later reading the page to understand what the conversation is about. Just keep it in mind for the future.
– KCd
Apr 24, 2012 at 23:45
• @Eric: Dear Eric, There is a minor typo in your second-to-last line: "zero function" should read "zeta function". Cheers, Apr 25, 2012 at 1:08
• @CommaToast: $\zeta'(0)$ refers to the derivative of the zeta function evaluated at $s=0$. Aug 15, 2017 at 17:55

The initial interest in the zeros is their connection with the distribution of primes, which is often done via asymptotic statements about the prime counting function. In analytic number theory, it is standard fare to have an arithmetic function defined by a summation formula, and then modify it into a form that is easier to manipulate and obtain results for, in such a way that the asymptotic results about the modified function can be translated into results about the original function very easily. This is certainly the case with $$\pi(x)$$, which is why I bring this up. Most of the information that is relevant here can be found on the Explicit formula article at Wikipedia, for explicit formulas for the $$\pi(x)$$ function using the zeros of the Riemann zeta function. Two key highlights:

$$(1)$$ "This formula says that the zeros of the Riemann zeta function control the oscillations of primes around their 'expected' positions."

$$(2)$$ "Roughly speaking, the explicit formula says the Fourier transform of the zeros of the zeta function is the set of prime powers plus some elementary factors."

With the very basics of complex numbers we see that $$x^\rho$$, as a function of $$x$$, has a magnitude given by $$x^{\Re (\rho)}$$ and its argument by $$\Im(\rho)\cdot\log x$$. The imaginary parts thus contribute oscillatory behavior to the explicit formulas, while the real parts say which imaginary parts dominate over others and by how much - this is some meaning behind the 'Fourier transform' description. Indeed, given the dominant term in an asymptote for $$\pi$$ we have roughly the primes' "expected positions" (we are taking some license in referring to positioning when we are actually speaking of distribution in the limit), and the outside terms will speak to how much $$\pi$$ deviates from the expected dominant term as we take $$x$$ higher and higher in value. If one of the real parts differed from the others, it would privilege some deviation over others, changing our view of the regularity in the primes' distribution.

Eventually it also became clear that more and more results in number theory - even very accessible results that belie how deep the Riemann Hypothesis really has come to be - were equivalent to or could only be proven on the assumption of RH. See for example here or here or here. I'm not sure if any truly comprehensive list of the consequences or equivalences actually exists!

Moreover it is clear now that RH is not an isolated phenomenon, and instead exists as a piece in a much bigger puzzle (at least as I see it). The $$\zeta$$ function is a trivial case of a Dirichlet $$L$$-function as well a case of a trivial case of a Dedekind $$\zeta$$ function, and there is respectively a Generalized Riemann Hypothesis (GRH) and Extended Riemann Hypothesis for these two more general classes of functions. There are numerous analogues to the zeta function and RH too - many of these have already gained more ground or already had the analogous RH proven!

It is now wondered what the appropriate definition of an $$L$$-function "should" be, that is, morally speaking - specifically it must have some analytic features and of course a functional equation involving a reflection, gamma function, weight, conductor etc. but the precise recipe we need to create a slick theory is not yet known. (Disclaimer: this paragraph comes from memory of reading something a long time ago that I cannot figure out how to find again to check. Derp.)

Finally, there is the spectral interpretation of the zeta zeros that has arisen. There is the Hilbert-Pólya conjecture. As the Wikipedia entry describes it,

In a letter to Andrew Odlyzko, dated January 3, 1982, George Pólya said that while he was in Göttingen around 1912 to 1914 he was asked by Edmund Landau for a physical reason that the Riemann hypothesis should be true, and suggested that this would be the case if the imaginary parts of the zeros of the Riemann zeta function corresponded to eigenvalues of an unbounded self adjoint operator.

This has spurred quantum-mechanical approaches to the Riemann Hypothesis. Moreover, we now have serious empirical evidence of a connection between the zeta zeros and random matrix theory, specifically that their pair-correlation matches that of Gaussian Unitary Ensembles (GUEs)...

The year: 1972. The scene: Afternoon tea in Fuld Hall at the Institute for Advanced Study. The camera pans around the Common Room, passing by several Princetonians in tweeds and corduroys, then zooms in on Hugh Montgomery, boyish Midwestern number theorist with sideburns. He has just been introduced to Freeman Dyson, dapper British physicist.

Dyson: So tell me, Montgomery, what have you been up to?
Montgomery: Well, lately I've been looking into the distribution of the zeros of the Riemann zeta function.
Dyson: Yes? And?
Montgomery: It seems the two-point correlations go as... (turning to write on a nearby blackboard): $$1-\left(\frac{\sin\pi x}{\pi x}\right)^2$$
Dyson: Extraordinary! Do you realize that's the pair-correlation function for the eigenvalues of a random Hermitian matrix?

(Source: The Spectrum of Riemannium.)

If so inclined one can see the empirical evidence in pretty pictures e.g. here.

• Dear anon, Regarding your discussion of the morally correct notion of $L$-function, you might be interested in my answer here. Regards, Apr 25, 2012 at 1:12

Here is a visual supplement to Eric's answer, based on this paper by Riesel and Göhl, and Mathematica code by Stan Wagon: The animation demonstrates the eventual transformation from Riemann's famed approximation to the prime counting function

$$R(x)=\sum_{k=1}^\infty \frac{\mu(k)}{k} \mathrm{li}(\sqrt[k]{x})=1+\sum_{k=1}^\infty \frac{(\log\,x)^k}{k\,k!\zeta(k+1)}$$

to the actual prime-counting function $\pi(x)$, through a series of successive corrections based on the nontrivial roots of $\zeta(s)$. (Here, $\mu(k)$ is the Möbius function and $\mathrm{li}(x)$ is the logarithmic integral.) See the Riesel/Göhl paper for more details.

the HIlbert Polya operator which would prove Riemann Hypothesis is the Wu-Sprung genralzed model with potential

$$f^{-1} (x)=\frac{4}{\sqrt{4x+1} } +\frac{1}{4\pi } \int\nolimits_{-\sqrt{x} }^{\sqrt{x}}\frac{dr}{\sqrt{x-r^2} } \left( \frac{\Gamma '}{\Gamma } \left( \frac{1}{4} +\frac{ir}{2} \right) -\ln \pi \right) -\sum\limits_{n=1}^\infty \frac{\Lambda (n)}{\sqrt{n} } J_0 \left( \sqrt{x} \ln n\right)$$

with boundary conditions $$y(0)=0=y(\infty)$$ and $H= -\frac{d^{2}}{dx^{2}}y(x)+f(x)y(x)=E_{n}$...................$E_{n}=\gamma_{n}^{2}$·

however mathematician do not like it, if we take the half derivative then we find the distributional Riemann-Weil formula for the zeros

$$\begin{array}{l} \sum\limits_{n=0}^{\infty }\delta \left( x-\gamma _{n} \right) + \sum\limits_{n=0}^{\infty }\delta \left( x+\gamma _{n} \right) =\frac{1}{2\pi } \frac{\zeta }{\zeta } \left( \frac{1}{2} +ix\right) +\frac{1}{2\pi } \frac{\zeta '}{\zeta } \left( \frac{1}{2} -ix\right) -\frac{\ln \pi }{2\pi } \\[10pt] {} +\frac{\Gamma '}{\Gamma } \left( \frac{1}{4} +i\frac{x}{2} \right) \frac{1}{4\pi } +\frac{\Gamma '}{\Gamma } \left( \frac{1}{4} -i\frac{x}{2} \right) \frac{1}{4\pi } +\frac{1}{\pi } \delta \left( x-\frac{i}{2} \right) +\frac{1}{\pi } \delta \left( x+\frac{i}{2} \right) \end{array}$$

• Could you say some words about when then, is the "Wu-Sprung genralzed model" interesting? Jan 3, 2013 at 16:18
• or, at least, about what is the connection between your answer and the question! Jan 3, 2013 at 17:12
• WU-Sprung is the physical realization of the Riemann Hypothesis, the Hilbert-Polya operator is then an Hamiltonian (second order perator) on the half-line $$[0, \infty)$$ , this potential is connected to a solution of the riemann hypothesis and the Eigenvalues are the square of the Riemann Zeros $$E_{n}= \gamma ^{2}$$ Jan 3, 2013 at 18:09

RH has a direct influence on the chaotic quantum oscillator. Inverted chaotic quantum oscillator has eigen-energies equal to imaginary parts of the riemann zeta non-trivial roots, provided RH is correct. One can refer to http://www.phy.bris.ac.uk/people/berry_mv/the_papers/Berry154.pdf for starters. Linear quantum chaotic oscillator being a fundamental object for a quantum theory in general, such as, say, linear harmonic quantum oscillator is, one is led to conclude therefore that RH plays a significant role in the breakthrough in this region.

Regards.