Hilbert–Pólya conjecture

In mathematics, the Hilbert–Pólya conjecture states that the non-trivial zeros of the Riemann zeta function correspond to eigenvalues of a self-adjoint operator. It is a possible approach to the Riemann hypothesis, by means of spectral theory.

HistoryEdit

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 t of the zeros

 

of the Riemann zeta function corresponded to eigenvalues of a self-adjoint operator.[1] The earliest published statement of the conjecture seems to be in Montgomery (1973).[1][2]

David Hilbert did not work in the central areas of analytic number theory, but his name has become known for the Hilbert–Pólya conjecture due to a story told by Ernst Hellinger, a student of Hilbert, to André Weil. Hellinger said that Hilbert announced in his seminar in the early 1900s that he expected the Riemann Hypothesis would be a consequence of Fredholm's work on integral equations with a symmetric kernel.[3][4][5][6]

1950s and the Selberg trace formulaEdit

At the time of Pólya's conversation with Landau, there was little basis for such speculation. However Selberg in the early 1950s proved a duality between the length spectrum of a Riemann surface and the eigenvalues of its Laplacian. This so-called Selberg trace formula bore a striking resemblance to the explicit formulae, which gave credibility to the Hilbert–Pólya conjecture.

1970s and random matricesEdit

Hugh Montgomery investigated and found that the statistical distribution of the zeros on the critical line has a certain property, now called Montgomery's pair correlation conjecture. The zeros tend not to cluster too closely together, but to repel.[2] Visiting at the Institute for Advanced Study in 1972, he showed this result to Freeman Dyson, one of the founders of the theory of random matrices.

Dyson saw that the statistical distribution found by Montgomery appeared to be the same as the pair correlation distribution for the eigenvalues of a random Hermitian matrix. These distributions are of importance in physics — the eigenstates of a Hamiltonian, for example the energy levels of an atomic nucleus, satisfy such statistics. Subsequent work has strongly borne out the connection between the distribution of the zeros of the Riemann zeta function and the eigenvalues of a random Hermitian matrix drawn from the Gaussian unitary ensemble, and both are now believed to obey the same statistics. Thus the Hilbert–Pólya conjecture now has a more solid basis, though it has not yet led to a proof of the Riemann hypothesis.[7]

Later developmentsEdit

In 1998, Alain Connes formulated a trace formula that is actually equivalent to the Riemann hypothesis. This strengthened the analogy with the Selberg trace formula to the point where it gives precise statements. He gives a geometric interpretation of the explicit formula of number theory as a trace formula on noncommutative geometry of Adele classes.[8]

Possible connection with quantum mechanicsEdit

A possible connection of Hilbert–Pólya operator with quantum mechanics was given by Pólya. The Hilbert–Pólya conjecture operator is of the form   where   is the Hamiltonian of a particle of mass   that is moving under the influence of a potential  . The Riemann conjecture is equivalent to the assertion that the Hamiltonian is Hermitian, or equivalently that   is real.

Using perturbation theory to first order, the energy of the nth eigenstate is related to the expectation value of the potential:

 

where   and   are the eigenvalues and eigenstates of the free particle Hamiltonian. This equation can be taken to be a Fredholm integral equation of first kind, with the energies  . Such integral equations may be solved by means of the resolvent kernel, so that the potential may be written as

 

where   is the resolvent kernel,   is a real constant and

 

where   is the Dirac delta function, and the   are the "non-trivial" roots of the zeta function  .

Michael Berry and Jonathan Keating have speculated that the Hamiltonian H is actually some quantization of the classical Hamiltonian xp, where p is the canonical momentum associated with x[9] The simplest Hermitian operator corresponding to xp is

 

This refinement of the Hilbert–Pólya conjecture is known as the Berry conjecture (or the Berry–Keating conjecture). As of 2008, it is still quite far from being concrete, as it is not clear on which space this operator should act in order to get the correct dynamics, nor how to regularize it in order to get the expected logarithmic corrections. Berry and Keating have conjectured that since this operator is invariant under dilations perhaps the boundary condition f(nx) = f(x) for integer n may help to get the correct asymptotic results valid for large n

 [10]

A paper was published in March 2017, written by Carl M. Bender, Dorje C. Brody, and Markus P. Müller,[11] which builds on Berry's approach to the problem. There the operator

 

was introduced, which they claim satisfies a certain modified versions of the conditions of the Hilbert–Pólya conjecture. Jean Bellisard has criticized this paper,[12] and the authors have responded with clarifications.[13] Moreover, Frederick Moxley has approached the problem with a Schrödinger equation.[14]

ReferencesEdit

  1. ^ a b Odlyzko, Andrew, Correspondence about the origins of the Hilbert–Polya Conjecture.
  2. ^ a b Montgomery, Hugh L. (1973), "The pair correlation of zeros of the zeta function", Analytic number theory, Proc. Sympos. Pure Math., XXIV, Providence, R.I.: American Mathematical Society, pp. 181–193, MR 0337821.
  3. ^ Broughan, K. (2017), Equivalents of the Riemann Hypothesis Volume 2: Analytic Equivalents, p. 192, ISBN 978-1107197121
  4. ^ Dieudonne, J. (1981), History of Functional Analysis, p. 106, ISBN 978-0444861481
  5. ^ Endres, S.; Steiner, F. (2009), "The Berry–Keating operator on L^2({\mathbb R}_\gt,{\rm d}x) and on compact quantum graphs with general self-adjoint realizations", Journal of Physics A: Mathematical and Theoretical, 43 (9): 37, arXiv:0912.3183v5, doi:10.1088/1751-8113/43/9/095204, S2CID 115162684
  6. ^ Simon, B. (2015), Operator Theory: A Comprehensive Course in Analysis, Part 4, p. 42, ISBN 978-1-4704-1103-9
  7. ^ Rudnick, Zeev; Sarnak, Peter (1996), "Zeros of Principal L-functions and Random Matrix Theory", Duke Journal of Mathematics, 81 (2): 269–322, doi:10.1215/s0012-7094-96-08115-6.
  8. ^ Connes, Alain (1999). "Trace formula in noncommutative geometry and the zeros of the Riemann zeta function". Selecta Mathematica. 5: 29–106. arXiv:math/9811068. doi:10.1007/s000290050042. S2CID 55820659..
  9. ^ Berry, Michael V.; Keating, Jonathan P. (1999a), "H = xp and the Riemann zeros" (PDF), in Keating, Jonathan P.; Khmelnitski, David E.; Lerner, Igor V. (eds.), Supersymmetry and Trace Formulae: Chaos and Disorder, New York: Plenum, pp. 355–367, ISBN 978-0-306-45933-7.
  10. ^ Berry, Michael V.; Keating, Jonathan P. (1999b), "The Riemann zeros and eigenvalue asymptotics" (PDF), SIAM Review, 41 (2): 236–266, Bibcode:1999SIAMR..41..236B, doi:10.1137/s0036144598347497.
  11. ^ Bender, Carl M.; Brody, Dorje C.; Müller, Markus P. (2017), "Hamiltonian for the Zeros of the Riemann Zeta Function", Physical Review Letters, 118 (13): 130201, arXiv:1608.03679, Bibcode:2017PhRvL.118m0201B, doi:10.1103/PhysRevLett.118.130201, PMID 28409977, S2CID 46816531.
  12. ^ Belissard, Jean (2017), "Comment on "Hamiltonian for the Zeros of the Riemann Zeta Function"", arXiv:1704.02644 [quant-ph]
  13. ^ Bender, Carl M.; Brody, Dorje C.; Müller, Markus P. (2017), "Comment on 'Comment on "Hamiltonian for the zeros of the Riemann zeta function"'", arXiv:1705.06767 [quant-ph].
  14. ^ Moxley, Frederick (2017). "A Schrödinger equation for solving the Bender-Brody-Müller conjecture". 13Th Imt-Gt International Conference on Mathematics. AIP Conference Proceedings. 1905 (1): 030024. Bibcode:2017AIPC.1905c0024M. doi:10.1063/1.5012170.

Further readingEdit