TOPICS
Search

Riemann Hypothesis


First published in Riemann's groundbreaking 1859 paper (Riemann 1859), the Riemann hypothesis is a deep mathematical conjecture which states that the nontrivial Riemann zeta function zeros, i.e., the values of s other than -2, -4, -6, ... such that zeta(s)=0 (where zeta(s) is the Riemann zeta function) all lie on the "critical line" sigma=R[s]=1/2 (where R[s] denotes the real part of s).

A more general statement known as the generalized Riemann hypothesis conjectures that neither the Riemann zeta function nor any Dirichlet L-series has a zero with real part larger than 1/2.

Legend holds that the copy of Riemann's collected works found in Hurwitz's library after his death would automatically fall open to the page on which the Riemann hypothesis was stated (Edwards 2001, p. ix).

While it was long believed that Riemann's hypothesis was the result of deep intuition on the part of Riemann, an examination of his papers by C. L. Siegel showed that Riemann had made detailed numerical calculations of small zeros of the Riemann zeta function zeta(s) to several decimal digits (Granville 2002; Borwein and Bailey 2003, p. 68).

The Riemann hypothesis has thus far resisted all attempts to prove it. Stieltjes (1885) published a note claiming to have proved the Mertens conjecture with c=1, a result stronger than the Riemann hypothesis and from which it would have followed. However, the proof itself was never published, nor was it found in Stieltjes papers following his death (Derbyshire 2004, pp. 160-161 and 250). Furthermore, the Mertens conjecture has been proven false, completely invalidating this claim. In the late 1940s, H. Rademacher's erroneous proof of the falsehood of Riemann's hypothesis was reported in Time magazine, even after a flaw in the proof had been unearthed by Siegel (Borwein and Bailey 2003, p. 97; Conrey 2003). de Branges has written a number of papers discussing a potential approach to the generalized Riemann hypothesis (de Branges 1986, 1992, 1994) and in fact claiming to prove the generalized Riemann hypothesis (de Branges 2003, 2004; Boutin 2004), but no actual proofs seem to be present in these papers. Furthermore, Conrey and Li (1998) prove a counterexample to de Branges's approach, which essentially means that theory developed by de Branges is not viable.

Proof of the Riemann hypothesis is number 8 of Hilbert's problems and number 1 of Smale's problems.

In 2000, the Clay Mathematics Institute (http://www.claymath.org/) offered a $1 million prize (http://www.claymath.org/millennium/Rules_etc/) for proof of the Riemann hypothesis. Interestingly, disproof of the Riemann hypothesis (e.g., by using a computer to actually find a zero off the critical line), does not earn the $1 million award.

The Riemann hypothesis was computationally tested and found to be true for the first 200000001 zeros by Brent et al. (1982), covering zeros sigma+it in the region 0<t<81702130.19). S. Wedeniwski used ZetaGrid (http://www.zetagrid.net/) to prove that the first trillion (10^(12)) nontrivial zeros lie on the critical line. Gourdon (2004) then used a faster method by Odlyzko and Schönhage to verify that the first ten trillion (10^(13)) nontrivial zeros of the zeta(s) function lie on the critical line. This computation verifies that the Riemann hypothesis is true at least for all t less than 2.4 trillion. These results are summarized in the following table, where g_n indicates a Gram point.

ng_nsource
2×10^88.2×10^7Brent et al. (1982)
10^(12)2.7×10^(11)Wedeniwski/ZetaGrid
10^(13)2.4×10^(12)Gourdon (2004)

The Riemann hypothesis is equivalent to the statement that all the zeros of the Dirichlet eta function (a.k.a. the alternating zeta function)

 eta(s)=sum_(k=1)^infty((-1)^(k-1))/(k^s)=(1-2^(1-s))zeta(s)
(1)

falling in the critical strip 0<R[s]<1 lie on the critical line R[s]=1/2.

Wiener showed that the prime number theorem is literally equivalent to the assertion that the Riemann zeta function zeta(s) has no zeros on sigma=1 (Hardy 1999, pp. 34 and 58-60; Havil 2003, p. 195).

In 1914, Hardy proved that an infinite number of values for s can be found for which zeta(s)=0 and R[s]=1/2 (Havil 2003, p. 213). However, it is not known if all nontrivial roots s satisfy R[s]=1/2. Selberg (1942) showed that a positive proportion of the nontrivial zeros lie on the critical line, and Conrey (1989) proved the fraction to be at least 40% (Havil 2003, p. 213).

André Weil proved the Riemann hypothesis to be true for field functions (Weil 1948, Eichler 1966, Ball and Coxeter 1987). In 1974, Levinson (1974ab) showed that at least 1/3 of the roots must lie on the critical line (Le Lionnais 1983), a result which has since been sharpened to 40% (Vardi 1991, p. 142). It is known that the zeros are symmetrically placed about the line I[s]=0. This follows from the fact that, for all complex numbers s,

1. s and the complex conjugate s^_ are symmetrically placed about this line.

2. From the definition (1), the Riemann zeta function satisfies zeta(s^_)=zeta(s)^_, so that if s is a zero, so is s^_, since then zeta(s^_)=zeta(s)^_=0^_=0.

It is also known that the nontrivial zeros are symmetrically placed about the critical line R[s]=1/2, a result which follows from the functional equation and the symmetry about the line I[s]=0. For if s is a nontrivial zero, then 1-s is also a zero (by the functional equation), and then 1-s^_ is another zero. But s and 1-s^_ are symmetrically placed about the line R[s]=1/2, since 1-(x+iy)^_=(1-x)+iy, and if x=1/2+x^', then 1-x=1/2-x^'. The Riemann hypothesis is equivalent to Lambda<=0, where Lambda is the de Bruijn-Newman constant (Csordas et al. 1994). It is also equivalent to the assertion that for some constant c,

 |Li(x)-pi(x)|<=csqrt(x)lnx,
(2)

where Li(x) is the logarithmic integral and pi is the prime counting function (Wagon 1991). Another equivalent form states that

 span_(L^2(0,1)){rho_alpha,0<alpha<1}=L^2(0,1),
(3)

where

 rho_alpha(t)=frac(alpha/t)-alphafrac(1/t),
(4)

and frac(x) is the fractional part (Balazard and Saias 2000).

RiemannHypothesisSigma

By modifying a criterion of Robin (1984), Lagarias (2000) showed that the Riemann hypothesis is equivalent to the statement that

 sigma(n)<=H_n+exp(H_n)lnH_n,
(5)

for all n>=1, with equality only for n=1, where H_n is a harmonic number and sigma(n) is the divisor function (Havil 2003, p. 207). The plots above show these two functions (left plot) and their difference (right plot) for n up to 1000.

There is also a finite analog of the Riemann hypothesis concerning the location of zeros for function fields defined by equations such as

 ay^l+bz^m+c=0.
(6)

This hypothesis, developed by Weil, is analogous to the usual Riemann hypothesis. The number of solutions for the particular cases (l,m)=(2,2), (3,3), (4,4), and (2,4) were known to Gauss.

According to Fields medalist Enrico Bombieri, "The failure of the Riemann hypothesis would create havoc in the distribution of prime numbers" (Havil 2003, p. 205).

In Ron Howard's 2001 film A Beautiful Mind, John Nash (played by Russell Crowe) is hindered in his attempts to solve the Riemann hypothesis by the medication he is taking to treat his schizophrenia.

In the Season 1 episode "Prime Suspect" (2005) of the television crime drama NUMB3RS, math genius Charlie Eppes realizes that character Ethan's daughter has been kidnapped because he is close to solving the Riemann hypothesis, which allegedly would allow the perpetrators to break essentially all internet security.

In the novel Life After Genius (Jacoby 2008), the main character Theodore "Mead" Fegley (who is only 18 and a college senior) tries to prove the Riemann Hypothesis for his senior year research project. He also uses a Cray Supercomputer to calculate several billion zeroes of the Riemann zeta function. In several dream sequences within the book, Mead has conversations with Bernhard Riemann about the problem and mathematics in general.


See also

Berry Conjecture, Critical Line, Critical Strip, Dirichlet Eta Function, Extended Riemann Hypothesis, Generalized Riemann Hypothesis, Li's Criterion, Mertens Conjecture, Mills' Constant, Prime Number Theorem, Riemann Zeta Function, Riemann Zeta Function Zeros, Robin's Theorem

Portions of this entry contributed by Len Goodman

Explore with Wolfram|Alpha

References

Balazard, M. and Saias, E. "The Nyman-Beurling Equivalent Form for the Riemann Hypothesis." Expos. Math. 18, 131-138, 2000.Ball, W. W. R. and Coxeter, H. S. M. Mathematical Recreations and Essays, 13th ed. New York: Dover, p. 75, 1987.Bombieri, E. "Problems of the Millennium: The Riemann Hypothesis." http://www.claymath.org/millennium/Riemann_Hypothesis/Official_Problem_Description.pdf.Borwein, J. and Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, pp. 66-68, 2003.Boutin, C. "Purdue Mathematician Claims Proof for Riemann Hypothesis." Purdue News Release. June 8, 2004. http://news.uns.purdue.edu/UNS/html4ever/2004/040608.DeBranges.Riemann.html.Brent, R. P. "On the Zeros of the Riemann Zeta Function in the Critical Strip." Math. Comput. 33, 1361-1372, 1979.Brent, R. P.; van de Lune, J.; te Riele, H. J. J.; and Winter, D. T. "On the Zeros of the Riemann Zeta Function in the Critical Strip. II." Math. Comput. 39, 681-688, 1982.Caldwell, C. K. "Prime Links++." http://primes.utm.edu/links/theory/conjectures/Riemann/.Clay Mathematics Institute. "The Riemann Hypothesis." http://www.claymath.org/millennium/Riemann_Hypothesis/.Conrey, J. B. "At Least Two Fifths of the Zeros of the Riemann Zeta Function Are on the Critical Line." Bull. Amer. Math. Soc. 20, 79-81, 1989.Conrey, J. B. "More than Two Fifths of the Zeros of the Riemann Zeta Function Are on the Critical Line." J. reine angew. Math. 399, 1-26, 1989.Conrey, J. B. "The Riemann Hypothesis." Not. Amer. Math. Soc. 50, 341-353, 2003. http://www.ams.org/notices/200303/fea-conrey-web.pdf.Conrey, J. B. and Li, X.-J. "A Note on Some Positivity Conditions Related to Zeta- and L-Functions." 3 Dec 1998. http://arxiv.org/abs/math.NT/9812166.Csordas, G.; Smith, W.; and Varga, R. S. "Lehmer Pairs of Zeros, the de Bruijn-Newman Constant and the Riemann Hypothesis." Constr. Approx. 10, 107-129, 1994.Derbyshire, J. Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. New York: Penguin, pp. 371-372, 2004.de Branges, L. "The Riemann hypothesis for Hilbert Spaces of Entire Functions." Bull. Amer. Math. Soc. 15, 1-17, 1986.de Branges, L. "The Convergence of Euler Products." J. Func. Anal. 107, 122-210, 1992.de Branges, L. "A Conjecture Which Implies the Riemann Hypothesis." J. Func. Anal. 121, 117-184, 1994.de Branges, L. "Apology for the Proof of the Riemann Hypothesis." March 18, 2003. http://www.math.purdue.edu/ftp_pub/branges/apology.pdf.de Branges, L. "Riemann Zeta Functions." May 24, 2004. http://www.math.purdue.edu/ftp_pub/branges/riemannzeta.pdf.du Sautoy, M. The Music of the Primes: Searching to Solve the Greatest Mystery in Mathematics. New York: Harper-Collins, 2003.Edwards, H. M. Riemann's Zeta Function. New York: Dover, 2001.Eichler, M. Introduction to the Theory of Algebraic Numbers and Functions. New York: Academic Press, 1966.Gourdon, X. "The 10^(13) First Zeros of the Riemann Zeta Function, and Zeros Computation at Very Large Height." 2004. http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeros1e13-1e24.pdf.Granville, A. "Prime Possibilities and Quantum Chaos." 2002. http://www.msri.org/communications/emissary/pdfs/EmissarySpring02.pdf.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, 1999.Havil, J. "The Riemann Hypothesis" and "Why Is the Riemann Hypothesis Important?" §16.10 and 16.11 in Gamma: Exploring Euler's Constant. Princeton, NJ: Princeton University Press, pp. 202-207, 2003.Jacoby, M. A. Life After Genius New York: Grand Central Publishing, 2008.Krantz, S. G. "The Riemann Hypothesis." §13.2.9 in Handbook of Complex Variables. Boston, MA: Birkhäuser, p. 161, 1999.Lagarias, J. C. "An Elementary Problem Equivalent to the Riemann Hypothesis" 22 Aug 2000. http://arxiv.org/abs/math.NT/0008177.Le Lionnais, F. Les nombres remarquables. Paris: Hermann, p. 25, 1983.Levinson, N. "More than One Third of Zeros of Riemann's Zeta-Function Are on sigma=1/2." Adv. Math. 13, 383-436, 1974a.Levinson, N. "At Least One Third of Zeros of Riemann's Zeta-Function Are on sigma=1/2." Proc. Nat. Acad. Sci. USA 71, 1013-1015, 1974b.Odlyzko, A. "The 10^(20)th Zero of the Riemann Zeta Function and 70 Million of Its Neighbors."Pegg, E. Jr. and Weisstein, E. W. "Seven Mathematical Tidbits." MathWorld Headline News. Nov. 8, 2004. http://mathworld.wolfram.com/news/2004-11-08/seventidbits/#3.Riemann, G. F. B. "Über die Anzahl der Primzahlen unter einer gegebenen Grösse." Monatsber. Königl. Preuss. Akad. Wiss. Berlin, 671-680, Nov. 1859.Reprinted in Das Kontinuum und Andere Monographen (Ed. H. Weyl). New York: Chelsea, 1972. Also reprinted in English translation in Edwards, H. M. Appendix. Riemann's Zeta Function. New York: Dover, pp. 299-305, 2001.Robin, G. "Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann." J. Math. Pures Appl. 63, 187-213, 1984.Rockmore, D. Stalking the Riemann Hypothesis: The Quest to Find the Hidden Law of Prime Numbers. New York: Vintage, 2006.Sabbagh, K. Dr. Riemann's Zeros: The Search for the $1 Million Solution to the Greatest Problem in Mathematics. Atlantic Books, 2002.Selberg, A. "On the Zeros of Riemann's Zeta-Function." Skr. Norske Vid.-Akad. Oslo, No. 10, 1942.Sloane, N. J. A. Sequence A002410/M4924 in "The On-Line Encyclopedia of Integer Sequences."Smale, S. "Mathematical Problems for the Next Century." Math. Intelligencer 20, No. 2, 7-15, 1998.Smale, S. "Mathematical Problems for the Next Century." In Mathematics: Frontiers and Perspectives 2000 (Ed. V. Arnold, M. Atiyah, P. Lax, and B. Mazur). Providence, RI: Amer. Math. Soc., 2000.Stieltjes, T. C. R. A. S. 1885.te Riele, H. J. J. "Corrigendum to: On the Zeros of the Riemann Zeta Function in the Critical Strip. II." Math. Comput. 46, 771, 1986.van de Lune, J. and te Riele, H. J. J. "On The Zeros of the Riemann Zeta-Function in the Critical Strip. III." Math. Comput. 41, 759-767, 1983.van de Lune, J.; te Riele, H. J. J.; and Winter, D. T. "On the Zeros of the Riemann Zeta Function in the Critical Strip. IV." Math. Comput. 46, 667-681, 1986.Vardi, I. Computational Recreations in Mathematica. Reading, MA: Addison-Wesley, 1991.Wagon, S. Mathematica in Action. New York: W. H. Freeman, p. 33, 1991.Weil, A. Sur les courbes algébriques et les variétès qui s'en déduisent. Paris, 1948.Wells, D. The Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England: Penguin Books, p. 28, 1986.ZetaGrid Homepage. http://www.zetagrid.net/.

Cite this as:

Goodman, Len and Weisstein, Eric W. "Riemann Hypothesis." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/RiemannHypothesis.html

Subject classifications