|||
PRL:黎曼假设最后证明就差一步之遥(附原文)
诸平
克雷数学研究所(Clay Mathematics Institute, 简称CMI)曾经承诺,如果明黎曼假设被证明,研究者将可以获得100万美元的奖励。《物理评论快报》(Physical Review Letters)2017年3月30日发表的华盛顿大学圣路易斯分校(Washington University in St. Louis)和西安大略大学(University of Western Ontario)的合作研究结果可能距离黎曼假设最后证明就差一步之遥(Hamiltonian for the Zeros of the Riemann Zeta Function点击可以下载原文)。
克雷数学研究所(Clay Mathematics Institute, 简称CMI)是非牟利私营机构,总部在麻萨诸塞州剑桥市。机构的目的在於促进和传播数学知识。它给予有潜质的数学家各种奖项和资助。它在1998年由商人兰顿·克雷(Landon T. Clay)和哈佛大学数学家亚瑟·杰夫(Arthur Jaffe)创立,兰顿·克雷资助。克雷数学研究所最为人熟知是它在2000年5月24日公布的千禧年大奖难题。这七道问题被研究所认为是“重要的经典问题,经许多年仍未解决。”解答任何一题的第一个人将获颁予一百万美元奖金,所以这七道问题共值七百万美元。克雷数学研究所的悬赏,参考了1900年希尔伯特的23个问题的做法,而希尔伯特以其问题深深地影响了20世纪的数学发展。
“千僖难题”之一:P(多项式算法)问题对NP(非多项式算法)问题
“千僖难题”之二:霍奇(Hodge)猜想
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上,我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。
“千僖难题”之三:庞加莱(Poincare)猜想
“千僖难题”之四:黎曼(Riemann)假设
“千僖难题”之五:杨-米尔斯(Yang-Mills)存在性和质量缺口
“千僖难题”之六:纳维叶-斯托克斯(Navier-Stokes)方程的存在性与光滑性
“千僖难题”之七:贝赫(Birch)和斯维讷通-戴尔(Swinnerton-Dyer)猜想
华盛顿大学圣路易斯分校(Washington University in St. Louis)和西安大略大学(University of Western Ontario)的合作研究结果详见:New insight into proving math's million-dollar problem: the Riemann hypothesis (Update)
April 7, 2017 by Lisa Zyga feature
In 1859, Riemann hypothesized that the nontrivial zeros of the Riemann zeta function lie on the vertical line (½ + it) on the complex plane, at which the real part is always ½. Credit: Jan Homann, Wikimedia Commons. Top: Riemann zeta function. Bottom: The new operator function.
(Phys.org)—Researchers have discovered that the solutions to a famous mathematical function called the Riemann zeta function correspond to the solutions of another, different kind of function that may make it easier to solve one of the biggest problems in mathematics: the Riemann hypothesis. If the results can be rigorously verified, then it would finally prove the Riemann hypothesis, which is worth a $1,000,000 Millennium Prize from the Clay Mathematics Institute.
While the Riemann hypothesis dates back to 1859, for the past 100 years or so mathematicians have been trying to find an operator function like the one discovered here, as it is considered a key step in the proof.
"To our knowledge, this is the first time that an explicit—and perhaps surprisingly relatively simple—operator has been identified whose eigenvalues ['solutions' in matrix terminology] correspond exactly to the nontrivial zeros of the Riemann zeta function," Dorje Brody, a mathematical physicist at Brunel University London and coauthor of the new study, told Phys.org.
What still remains to be proven is the second key step: that all of the eigenvalues are real numbers rather than imaginary ones. If future work can prove this, then it would finally prove the Riemann hypothesis.
Brody and his coauthors, mathematical physicists Carl Bender of Washington University in St. Louis and Markus Müller of the University of Western Ontario, have published their work in a recent issue of Physical Review Letters.
Spacing of primes
The Riemann hypothesis holds such a strong allure because it is deeply connected to number theory and, in particular, the prime numbers. In his 1859 paper, German mathematician Bernhard Riemann investigated the distribution of the prime numbers—or more precisely, the problem "given an integer N, how many prime numbers are there that are smaller than N?"
Riemann conjectured that the distribution of the prime numbers smaller than N is related to the nontrivial zeros of what's now called the Riemann zeta function, ζ(s). (The zeros are the solutions, or the values of s that make the function equal to zero. Although it was easy for mathematicians to see that there are zeros whenever s is a negative even number, these zeros are considered trivial zeros and are not the interesting part of the function.)
Riemann's hypothesis was that all of the nontrivial zeros lie along a single vertical line (½ + it) in the complex plane—meaning their real component is always ½, while their imaginary component i varies as you go up and down the line.
Over the past 150 years, mathematicians have found literally trillions of nontrivial zeros, and all of them have a real of component of ½, just as Riemann thought. It's widely believed that the Riemann hypothesis is true, and much work has been done based on this assumption. But despite intensive efforts, the Riemann hypothesis—that all of the infinitely many zeros lie on this single line—has not yet been proved.
Identical solutions
One of the most helpful clues for proving the Riemann hypothesis has come from function theory, which reveals that the values of the imaginary part, t, at which the function vanishes are discrete numbers. This suggests that the nontrivial zeros form a set of real and discrete numbers, which is just like the eigenvalues of another function called a differential operator, which is widely used in physics.
In the early 1900s, this similarity led some mathematicians to wonder whether there really exists a differential operator whose eigenvalues correspond exactly to the nontrivial zeros of the Riemann zeta function. Today this idea is called the Hilbert-Pólya conjecture, named after David Hilbert and George Pólya—despite the fact that neither of them published anything about it.
"Since there is no publication by Hilbert or Pólya, the exact statement of the Hilbert-Pólya program is subject to some extent to interpretation, but it is probably not unreasonable to say that it consists of two steps: (a) find an operator whose eigenvalues correspond to the nontrivial zeros of the Riemann zeta function; and (b) determine whether the eigenvalues are real," Brody said.
"The main focus of our work so far has been on step (a)," he said. "We have identified an operator whose eigenvalues correspond exactly to the nontrivial zeros of the Riemann zeta function. We are only beginning to think about step (b), and indeed how to tackle this challenge. Whether it will be difficult or easy to fill in the missing steps toward step (b), at this point we cannot speculate—further work is needed to get a better feeling as to the scale of difficulty involved."
The operator
One of the interesting things about the newly discovered operator is that it has close ties with quantum physics.
In 1999, when mathematical physicists Michael Berry and Jonathan Keating were investigating the Hilbert-Pólya conjecture, they made another important conjecture. If such an operator exists, they said, then it should correspond to a theoretical quantum system with particular properties. This is now called the Berry-Keating conjecture. But no one has ever found such a system before now, and this is a second important aspect of the new work.
"We have identified a quantization condition for the Berry-Keating Hamiltonian, thus essentially verifying the validity of the Berry-Keating conjecture," Brody said.
Hamiltonians are often used to describe the energy of physical systems. The new operator, however, doesn't appear to describe any physical system, but is rather a purely mathematical function.
"It may be disappointing, but such a Hamiltonian does not seem to represent physical systems in any obvious way; or at least so far we found no indication that our Hamiltonian corresponds to any physical system," Brody said.
"But one might then ask 'why publish in PRL?' The answer is because many of the techniques used for some heuristic analysis in our paper that are suggestive are borrowed from techniques of pseudo-Hermitian PT-symmetric quantum theory developed over the past 15 years or so. The conventional understanding of the Hilbert-Pólya conjecture is that the operator (Hamiltonian) should be Hermitian, and one naturally links this to quantum theory whereby Hamiltonians are conventionally demanded to be Hermitian. We are proposing a pseudo-Hermitian form of the Hilbert-Pólya program, which to us seems worthwhile exploring further."
Real solutions
Now the biggest challenge that remains is to show that the operator's eigenvalues are real numbers.
In general, the researchers are optimistic that the eigenvalues are actually real, and in their paper they present a strong argument for this based on PT symmetry, a concept from quantum physics. Basically, PT symmetry says that you can change the signs of all four components of space-time (three space or "parity" dimensions and one time dimension), and, if the system is PT-symmetric, then the result will look the same as the original.
Although nature in general is not PT-symmetric, the operator that the physicists constructed is. But now the researchers want to show that this symmetry gets broken. As they explain in their paper, if it can be shown that the PT symmetry is broken for the imaginary part of the operator, then it would follow that the eigenvalues are all real numbers, which would finally constitute the long-awaited proof of the Riemann hypothesis.
It's generally considered that a proof of the Riemann hypothesis will be very useful in computer science, especially cryptography. The researchers also want to determine what their results might actually mean for understanding more fundamental mathematical principles.
"What we have explored so far contains little number-theoretic insights; whereas one might expect that, given its importance in number theory, surely any attempt that successfully makes progress on establishing the Riemann hypothesis would offer number-theoretic insights," Brody said. "Of course this need not be the case at all, but nevertheless it would be of interest to explore whether any of the dynamical aspects of the hypothetical system described by our Hamiltonian might be linked to certain number-theoretic results. In this regard, semi-classical analysis on our Hamiltonian would be one of the next objectives."
Explore further:A zero sum game
More information: Carl M. Bender, Dorje C. Brody, and Markus P. Müller. "Hamiltonian for the Zeros of the Riemann Zeta Function." Physical Review Letters. DOI: 10.1103/PhysRevLett.118.130201
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-1 06:56
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社