黎曼猜想證明新進展

2021-02-08 算法與數學之美

黎曼猜想證明新進展

來源：煎蛋網 冷眼

編輯：Gemini




研究者發現著名的黎曼zeta函數的解相當於另一個不同類別的函數的解，這可能有助於更簡單地解決數學中的重大問題之一——黎曼猜想。如果該結論能得到嚴格的證明，那麼就有可能最終證明黎曼猜想，贏得克雷數學研究所懸賞的百萬美元千禧年獎。先前有一些傳言稱證明了黎曼猜想，但克雷數學研究所均未正式承認並授予獎金。

黎曼zeta函數及本研究提出的算子

黎曼猜想在1859年提出，在過去150年裡數學家認為正確的算子函數是證明的關鍵一步，因而均試圖找到合適的算子函數，最新的發現即為找到的一種。

英國布魯內爾大學數學物理家、該研究的共同作者Dorje Brody說道：「據我們所知，這是首次明確的以及可能是相對簡單的算子，其特徵值正好對應於黎曼zeta函數的非平凡零點的虛部。」

仍待證明的是關鍵的第二步：所有特徵值均為實數而不是虛數。如果未來可證實這一點，那就最終證實了黎曼猜想。

Brody和他的共同作者、聖路易斯的華盛頓大學的數學物理家Carl Bender以及加拿大西安大略大學的Markus Müller等一起在近期的物理評論快報上發表了該成果。

質數的位置

黎曼假設之所以如此誘人是因為其與數論聯繫緊密，特別是質數。德國數學家波恩哈德·黎曼在1859年的論文中，研究了質數的分布，或者更準確地說，給定一個整數N，比它小的數裡面有多少質數？

黎曼推測質數的分布與某個函數的非平凡零點有關，該函數現今被稱為黎曼zeta函數(雖然很容易發現負偶數為方程的零解，但這些零點被認為是平凡零點，並非方程中有意思的部分)。黎曼的假設是所有的非平凡零點都位於一條複平面的垂直線(1/2+it)(被稱為臨界線)上。



黎曼zeta函數位於臨界線上的值，即隨著臨界線的虛部值的變化，黎曼zeta函數的值

過去150年裡，數學家逐個發現了萬億的非平凡零點，均位於這條直線上，正如黎曼所想的那樣。現在學術界廣泛認為黎曼的猜想是正確的，並在此假設基礎上進行了大量的工作。儘管如此，黎曼假設——所有無限個零點均位於該直線上——仍未被證明。

等價解

證明黎曼假設的最有用的線索之一來自於函數論，揭示了零點的虛部值為離散值。這表明非平凡零點形成了離散數的集合，類似於物理中廣泛應用的微分算子的特徵值。

在1900年代早期，這種相似性使得某些數學家研究是否存在一個這樣的微分算子，其特徵值正好對應於黎曼zeta函數的非平凡零點的虛部。現今這個想法被稱為希爾伯特-波利亞(Hilbert-Pólya )猜想，以David Hilbert和George Pólya之名命名，儘管他們並未發表任何與該想法相關的成果(Hilbert未曾將其錄於文字，但波利亞在一封信件中以個人回憶的方式肯定了這一猜想的存在性。1981年12月8日，歐德裡茲科給波利亞發去了一封信，詢問希爾伯特-波利亞猜想的來龍去脈。當時波利亞已是九十四歲的高齡，臥病在床，基本不再執筆回覆信件了，但歐德裡茲科的信卻很及時地得到了他的親筆回復。畢竟，對一位數學家來說，自己的名字能夠與偉大的希爾伯特出現在同一個猜想中是一種巨大的榮耀。波利亞在回信中這樣寫道：

「很感謝你12月8日的來信。我只能敘述一下自己的經歷。

1914年初之前的兩年裡我在哥廷根。我打算向郎道學習解析數論。有一天他問我：『你學過一些物理，你知道任何物理上的原因使黎曼猜想必須成立嗎？』我回答說，如果zeta函數的非平凡零點與某個物理問題存在這樣一種關聯，使得黎曼猜想等價於該物理問題中所有本徵值都是實數這一事實，那麼黎曼猜想就必須成立。」)

Brody說道：「由於Hilbert或者Pólya並未發表相關論文，希爾伯特-波利亞猜想的準確表述某種程度上依賴於個人理解，但可以大致上說由兩個步驟組成：a)找到一個運算符，其特徵值對應於黎曼zeta函數的非平凡零點的虛部；b) 判斷特徵值是否為實數。我們目前為止工作重點是第一步。我們已經鑑定了一個運算子，其特徵值正好對應於黎曼zeta函數的非平凡零點的虛部。我們剛開始思考第二步。我們現在還無法推測，完成這一步到底是困難還是容易，這需要進一步的工作。」

運算子

新發現的運算子一個有意思的方面是它與量子物理緊密相關。

1999年，數學物理家Michael Berry和Jonathan Keating正研究希爾伯特-波利亞猜想，提出了另一個重要的猜想。如果存在這樣的運算子，那應該對應於具有特殊屬性的理論量子系統，這在今天被稱為貝裡－基廷(Berry-Keating)猜想。但在此之前無人找到這樣的系統，這是該新研究第二個重要的方面。

Brody說道：「我們為貝裡-基廷哈密頓函數鑑定了一個量子化條件，從本質上確認了貝裡-基廷猜想的正確性。」

哈密頓算符常被用於描述物理系統的能量。新的運算子似乎並不描述任何物理系統，而是相當於一個純粹的數學函數。

Brody說道：「這可能令人失望，但這樣的一個哈密頓算符似乎並不明顯代表物理系統，或者說至少目前我們沒有發現任何跡象可以表明該哈密頓算符對應於某個物理系統。那麼有人可能要問『為什麼要在物理評論快報上發表？』答案就是，我們的論文中用於某些啟發式分析的各種技術借鑑於過去15年中發展的偽厄米時空反演對稱量子理論。希爾伯特-波利亞猜想的傳統理解是運算子(哈密頓算符)應該是厄米共軛的，並自然將其聯繫到量子理論中，由此哈密頓算符照理必須是厄米共軛的。我們提出了希爾伯特-波利亞猜想的偽厄米形式，值得我們深入研究。」

實數解

現在剩下最大的挑戰就是證明該運算子的特徵值是實數。

通常，研究者樂觀認為特徵值是實數，並在文章中基於量子物理中的時空反演對稱性說明這一點。大體上，時空反演對稱性說如果改變時空的四個成分的標誌(三維空間和一個時間維)，對於具有時空反演對稱性的系統，結果與之前相同。

雖然自然界通常並非時空反演對稱的，物理學家構造的運算子卻是的。不過現在研究者想證實這種對稱性被打破了。他們在論文中解釋道，如果可以證明運算子的虛部不具備時空反演對稱性，那麼就可說明特徵值均為實數，最終構成黎曼假設的證明。

一般認為黎曼猜想的證明對於計算機科學，特別是密碼學具有重要的意義。研究者還想確認他們的成果對理解基礎數學原理的意義。

Brody說道：

「我們現在所探究的內容對數論沒有多少意義，然而鑑於黎曼猜想在數論中的重要性，黎曼猜想證明的任何成功進展必然會帶來數論上的進一步理解。也許在這種情況下無需這樣，但探索我們的哈密頓算符描述的假設系統的動態方面是否與某些數論結論相關，也是蠻有意思的。從這方面來講，對我們的哈密頓算符的半經典分析也可成為下一步的研究目標之一。」

[CliffBao via phys]


往期經典文章回顧：

第一個被認為「科學家」的人:泰勒斯

數學思維比數學運算更重要

二十世紀的十大科學騙局

瞎扯現代數學的基礎

x背後的軼聞趣事

主宰這個世界的10大算法

16個讓你燒腦讓你暈的悖論

機器學習中距離和相似性度量方法

傳說中的快排是怎樣的

玻璃秘史：一個人 改變了全世界

程序人生的四個象限和兩條主線

比特幣的原理及運作機制

概率論公式，你值得擁有

分類算法之樸素貝葉斯算法

採樣定理：有限個點構建出整個函數


歡迎大家把獨特見解分享出來，投稿郵箱：

math_alg@163.com

相關焦點

  • 黎曼猜想被證明了嗎?
    黎曼猜想是眾多尚未解決的最重要的數學問題之一，被克雷數學研究所列為待解決的七大千禧問題，懸賞百萬美金證明或者證偽。一百年前希爾伯特就曾被問過一個問題 「假定你能死而復生，你會做什麼？」，他的回答是，「我會問黎曼猜想是否已經解決」。可見黎曼猜想多麼吸引人。
  • 最難賺的100萬美元—證明黎曼猜想
    在這七個問題中，只有龐加萊猜想被數學家佩雷爾曼解決，而包括黎曼猜想在內的其他猜想依然如巍峨的山峰聳立在科學家們面前，6個一百萬美元還在等著大家。有人說：證明黎曼猜想可能是世界上最難的賺到100萬美元的方法了。雖然黎曼猜想還沒有被證實，但是人們在研究的過程中已經取得了一些進展。
  • 爵爺壯心不死,但已慢慢凋零——阿蒂亞對黎曼猜想的證明為何是失敗的?
    麥可·阿蒂亞爵士 數學皇冠的新挑戰者和老去的國王2018年9月，阿蒂亞公開宣稱已解決黎曼猜想，將會在海德堡論壇進行宣講。黎曼猜想已證明的消息一瞬間引爆了整個科學界，如能成功證明歷時160年尚未攻破的黎曼猜想，不但數學界將迎來一次偉大的突破，眾多數學定理也將因此得證；而麥可·阿蒂亞將躋身於歷史上最偉大的數學家之列，加冕當代數學之王的桂冠，並得到克萊研究所的100萬美元獎金。黎曼猜想是數學中一個關於素數分布的猜想，核心是證明黎曼Zeta函數的所有非平凡零點均落在複平面的Re(s)=1/2這條直線上。
  • 被證明的黎曼猜想跟區塊鏈加密算法有什麼關係?
    這就是黎曼猜想！ 有關黎曼猜想的更多內容，請轉閱：黎曼猜想證明新進展截至目前，數學論文中的研究，其中很多數學命題都是以黎曼猜想及推廣形式的成立作為前提。如果黎曼猜想被證實或證明，這些數學命題將榮升為數學定理；而如果一旦被證偽，則代表將有千餘個數學命題不被成立。
  • 什麼是黎曼猜想|從黎曼的動機來看
    北大退休教授已於13日在中科院報告黎曼猜想的證明》）後，除了眾多網友的指教（我們表示感謝），還有些網友（在頭條號「和樂數學」上）問什麼是黎曼猜想? 我們不揣淺陋，試著介紹一點皮毛。關於黎曼猜想的一個熱門評論是：一臉懵逼地進來，一臉懵逼地出去。為了避免這一點，我們儘可能通俗地講點數學，講點故事。
  • 黎曼猜想和abc猜想
    還無法確定今天收到了許多讀者的留言詢問黎曼猜想是否被證明了，這是因為著名的數學家麥可·阿蒂亞（Michael Atiyah）宣布將在9月24日的海德堡獲獎者論壇（Heidelberg Laureate Forum）上公布自己證明黎曼猜想的方法。
  • 黎曼猜想證明現場:3分鐘核心講解、提問陷沉默,同行不予置評
    阿蒂亞爵士對黎曼猜想的證明，只是推演物理學中精細結構常數α的副產品，建立在馮·諾依曼（John von Neumann）和弗裡德裡希·希策布魯赫（Friedrich Hirzebruch）工作的基礎之上。也就是說，他最初也不是想根據這兩位的工作來證明黎曼猜想，而是要推演精細結構常數。
  • 黎曼猜想仍舊,素數依然孤獨
    黎曼發現素數出現的頻率與黎曼ζ函數緊密相關。1901年Helge von Koch指出，黎曼猜想與強條件的素數定理等價。現在已經驗證了最初的1,500,000,000個素數對這個定理都成立。但是是否所有的解對此定理都成立，至今尚無人給出證明。黎曼猜想所以被認為是當代數學中一個重要的問題，主要是因為很多深入和重要的數學和物理結果都能在它成立的大前提下得到證明。
  • 黎曼猜想和哥德巴赫猜想有什麼聯繫?
    可以看出，黎曼的三個猜測是呈階梯一般不斷增強的，而最後一個便是大名鼎鼎的黎曼猜想。需要指出的是，除了猜想三黎曼確確實實承認自己證不出來外，猜想一、二都被黎曼認為是簡單的（但他並沒有給出完整證明，鑑於黎曼的人品，黎曼極有可能確實證明了這兩個猜測）。
  • 比阿蒂亞爵士的「證明」看起來靠譜許多的黎曼猜想證明 | 解讀版本
    黎曼和他的猜想
  • 黎曼猜想證明:現場QA陷尷尬,學界評價悲觀(附高清視頻+PPT)
    經過一天的發酵，關於阿蒂亞爵士此次黎曼猜想的證明，各方評價開始出現。昨日，一場盛況空前的宣講引爆了數學圈，89 歲的阿蒂亞爵士對黎曼猜想的證明吸引了全球的關注。也因為關注人數過多，現場直播「車禍」不斷：官方直播流崩潰，組織方不得不改用手機直播。前期的手機直播質量奇差，聲音和 PPT 內容都不清晰，導致一些讀者（包括我們）漏掉了許多內容。
  • 黎曼猜想有望在中國被證明,82歲北大教授已完成報告
    ，超模君推送了北大李忠教授準備舉辦《黎曼猜想證明報告會》的文章。因為受到了阿蒂亞老爵爺黎曼猜想證明事件後，很多人對於李忠教授證明猜想一事還存有很大的疑慮。但事實證明，李忠教授關於黎曼猜想的證明，已得到多人的認可。
  • 劉強東涉嫌性侵案新進展:女主曝光、證明黎曼猜想預印本被曝貼出、共享拼房應用有性暗示引導 | 蛋蛋科技日爆
    新一代iPhone Xs/Xs Max支持替代容貌解鎖 網友：已和女朋友互相錄入（來源：TechWeb）蘋果在今年發布的三款新iPhone均支持Face ID人臉解鎖功能，而在發布會上沒有說到的關於剛剛，證明黎曼猜想預印本被曝貼出（來源：IT之家）據國外媒體報導，黎曼猜想是數學界最重要的未解之謎之一，已經困擾了數學家近160年之久。而已經退休的知名數學家麥可·阿蒂亞（Michael Atiyah）宣布，自己已經證明了黎曼猜想，並將在德國海德堡獲獎者論壇上介紹他所謂的「簡單證明方法」。就在剛剛。
  • 黎曼,除了他的猜想,還有哪些不為人知的故事?
    作者：伊隨編輯：Yuki 隨著菲爾茲和阿貝爾獎雙料得主麥可·阿蒂亞爵士宣稱自己證明了黎曼猜想，黎曼的名字和他的世紀猜想再次回到公眾的討論之中。然而，黎曼，除了他的猜想，還有一些故事也是非常值得我們去了解的。
  • 提出「黎曼猜想」的黎曼:天才數學家的悲劇人生
    黎曼猜想」的黎曼，到底是誰？實際上，高斯對這篇論文的評價很高，他說：「黎曼先生交來的論文提供了令人信服的證據，證明作者具有創造性的、活躍的、真正的數學頭腦，以及具有燦爛豐富的想像力。」並且表示他這麼多年以來都想寫一篇像這樣的文章。 黎曼成功畢業了，但還是個困難戶。為了謀生，他希望能成為講師，而想要成為講師，不但要提交論文，還得給學院的教授做一個資格演講。
  • 黎曼猜想到底是個啥?反正看完文章我還是不懂
    阿蒂亞本人也說，這個證明只是「萬裡長徵第一步 (the First Step on a Long Road) 」，還有很多需要補充的東西。不過，他依然相信，自己有理由把 (證明黎曼猜想的) 100萬美元收入囊中。
  • 黎曼猜想(四)短短8頁紙,至今仍在給數學家啟發和挑戰,黎曼究竟寫了什麼? | 科技袁人
    本文為黎曼猜想系列之四，黎曼猜想（一）見黎曼猜想（一）每出現一個數學公式，就會嚇跑一半觀眾？如何打破「跳蚤效應」 | 科技袁人，黎曼猜想（二）見黎曼猜想（二）兩個自然數互質的概率是多少？我不僅算起黎曼猜想，還寫了個程序 | 科技袁人，黎曼猜想（三）見黎曼猜想（三）你真的相信全體自然數的和等於-1/12嗎？
  • 黎曼猜想都被證明了,你還不知道它是啥?
    但作為一位年屆九旬的科學家，他仍然活躍在學術前沿，並時常有驚人之舉，2016年他因為給出一個「6維球面上不存在復結構」的證明被質疑而頗具爭議。而黎曼猜想本身的確非常難，所以在Michael Atiyah 證明黎曼猜想的消息公開之後，社交媒體上多數人仍在觀望，畢竟太多人都曾聲稱自己證明了黎曼猜想但之後卻被推翻，連大數學家哈代也犯過這種錯誤。
  • 黎曼猜想或被量子力學解決?阿蒂亞用了什麼方法?
    阿蒂亞將演講黎曼猜想的證明；2. 舒爾茲等指出望月新一關於abc猜想的證明不真。這兩件事情完全碾壓了剛上頭條的馬雲支持數學事件。具體參考本號文章：巨人大戰：abc猜想還是abc猜想|最年輕菲爾茲獎得主舒爾茲說震驚！阿提亞爵士證明了黎曼猜想？哈代式玩笑還是晚節不保？
  • 如何用黎曼猜想裝一個非平凡的逼?看完證明直播我為大家劃個重點
    總之這演講概括一下就是：在下阿蒂亞，牛逼，發明了Todd函數，成功證明了黎曼猜想，但是別急還沒發表。黎曼牛逼，我用反證法得到了矛盾，從而證畢。很慚愧，就做了一些微……雖然目前學界普遍認為，阿蒂亞壓根沒有證明黎曼猜想。但不管怎麼說，老爺子至少把數學的熱度炒起來了。