Disp BBS guest 註冊 登入(i) 線上人數: 204
首頁(home) 上頁(↑) 下頁(↓) 末頁(end)
※ 本文為 zbali.bbs. 轉寄自 ptt.cc 更新時間: 2018-09-27 12:29:40
看板 Gossiping
作者 jackliao1990 (jack)
標題 [新聞黎曼猜想被證明了？愚人節難道在 9 月嗎
時間 Thu Sep 27 10:14:09 2018

1.媒體來源:
科技新報

2.完整新聞標題:
黎曼猜想被證明了？Michael Atiyah 的愚人節難道在 9 月嗎

3.完整新聞內文:

今年中秋，關心學術的讀者看到最多的消息大概就是英國數學家麥可· 阿蒂亞（Michael
Atiyah）爵士宣布證明了黎曼猜想。如果這是真的，阿蒂亞爵士不僅可獲得克雷數學研究
所懸賞的 100 萬美元獎金，更是他個人的至高榮譽和整個數學界的喜事。



然而，根據目前了解，阿蒂亞爵士極有可能是在自娛自樂逗大家玩……

黎曼函數和黎曼猜想
大家這幾天應該被動惡補了不少黎曼函數和黎曼猜想（Riemann hypothesis）的介紹了，
這裡還是不厭其煩地再簡單說下。

首先有無窮級數 ζ(s)
https://img.technews.tw/wp-content/uploads/2018/09/26113639/5ba9eaf512ea2.jpg
[圖]
 

當 s 取 1 時，就是調和級數 1+1/2+1/3+1/4+……算數意義上不收斂。s = 2 時，級數
收斂於 π2/6。等等。當 s 取值為複數 s=x+iy 時，會把複平面上的點 s(x,iy) 對映到
另一點 s'(x’,iy’)。注意到這個級數要求 s 的實部大於 1（x>1），否則這個級數不
收斂，也就沒有熟悉的數值和結果。


黎曼函數是 ζ(s) 在整個複平面的解析延拓，將 s 的定義域延伸到整個複平面（值得說
明的是，解析延拓是一種非常強的約束。如果一個函數有解析延拓，那麼解析延拓的結果
唯一。這裡 ζ(s) 的解析延拓剛好展現出彷彿對稱的樣式，而不是先做了對稱然後把它
稱為解析延拓）。


黎曼提出黎曼函數時輕鬆地發現，當 s 取負偶數整數時，函數值為零，那麼 s=-2n（n
為自然數）就稱為黎曼函數的平凡零點（平凡表示沒什麼難度、很容易理解）。同時，解
析延拓後的方程式帶入 s = -1，得到 1+2+3+4+… = -1/12；帶入 s = -3，得到
1+23+33+43+… = 1/120。這樣的結果並不是我們熟悉的 1+1=2 那樣的算數和，只是揭示
等號左邊和右邊的式子有某種還不完全理解的聯繫。

另一些零點就沒那麼普通了（非平凡零點），它們是複數，且有耐人尋味的分散規律。黎
曼在 1859 年《論小於給定數值的質數個數》論文提出 3 個命題：

命題一，認為非平凡零點都位於 Re(ρ)=0 到 Re(ρ)=1 的條狀區間內。
命題二，認為幾乎所有非平凡零點都位於 Re(ρ)=1/2 直線上，這條線也稱為臨界線。
命題三，黎曼謹慎地猜測有可能所有非平凡零點都位於 Re(ρ)=1/2 直線上。

大家應該還聽過黎曼函數揭示了質數的精細分散規律，限於筆者學識有限，這裡暫不介紹
，有興趣的人歡迎自行 Google。

黎曼猜想證明的進度
黎曼論文發表於 1859 年，當時數學家不怎麼喜歡發論文，他們只發表自己所有研究中經
過深思熟慮、有充足論據支撐的一小部分。黎曼當時也是領先時代的數學家，以致論文發
表後，許多數學家連他提出的命題一和二都認為只是黎曼的單方面幻想（黎曼論文是以非
常肯定的語氣提出）。由於黎曼猜想的難度之高，數學界進展速度極為遲緩，甚至有觀點
認為「如果黎曼是錯的，我們的日子反倒好過一些」。論文發表 46 年後，數學界終於證
明了命題一；73 年後，另一位德國數學家 Siegel 整理黎曼僅存的手稿，讓黎曼當時演
算零點所用的公式重見天日（命名為 Riemann-Siegel 公式），同時震驚了數學界，因為
這公式比 73 年後數學家所用的公式還要先進；數學界也更為黎曼的思想及猜想的前瞻性
折服。


借著公式，後來的數學家與電腦科學家用計算方法加以驗證，已驗證了超過前 200 億個
非平凡零點都在臨界線上──但數學畢竟不是經驗科學，這無法證明第三個命題正確。第
二個命題（幾乎都位於臨界線上）的證明則推進到「至少有 40% 的非平凡零點在臨界線
上」，就再也沒有新進展了。黎曼猜想，尤其是命題三，仍未得到證明。


回過頭來想想黎曼給出 3 個命題時的態度，對命題一、二是十分肯定的預期；而命題三
，他也只敢謹慎地猜測。

160 年過去了，數學家幾乎都相信黎曼猜想是正確的，但還沒有人拿出嚴格的證明。對於
黎曼猜想，數學界有兩句調侃：「如果魔鬼與一位數學家交易，允許他用靈魂交換一個命
題證明，那他很大機率會選擇黎曼猜想的證明」，以及「如果 500 年後黎曼復活，他會
問的第一件事就是『黎曼猜想證明了嗎？』」足見黎曼猜想的地位。實際上，數學界已有
許多新理論和公式是建立在假設黎曼猜想正確的基礎上，黎曼猜想一旦證明，也是對他們
的莫大鼓舞。


數學家直覺不相信阿蒂亞爵士
經過以上背景介紹，想必對黎曼猜想證明的難度已有基本理解。簡單明瞭的證明方法如果
存在，之前 100 多年的數學家，包括極具遠見的黎曼本人都非常有可能直接發現。以近
幾十年來證明的重要數學猜想而言，Perelman 證明 Poincare 猜想，3 篇論文用了將近
70 頁，而張益唐做孿生質數猜想的估計時也寫了將近 60 頁。

阿蒂亞爵士展現的是：一篇長度 5 頁的論文預印本，其中參考介紹 Todd 函數的論文也
只有 17 頁。以及，介紹自己證明過程的演講，關於證明過程本身的投影片只有 1 頁。

只憑證明長度，阿蒂亞爵士就受到大部分數學家的質疑。


另一點也引發懷疑的是，出生於 1929 年的阿蒂亞爵士已 89 歲高齡。縱觀整個數學史，
尚無一位數學家在如此高齡做出這種等級的成果。且阿蒂亞爵士雖然證明了
Atiyah-Singer 指標定理（被譽為 20 世紀差動幾何最重要的定理）並獲得菲爾茲獎與阿
貝爾獎，但一方面他是研究幾何／解析幾何的，黎曼猜想則屬於複分析與數論，是不同的
數學領域；另一方面，據數學博士、前浙大物理學博士後 @賊叉回憶，「老頭在幾年前嚷
嚷著自己證明了六維球面上沒有複架構最後卻不了了之」，他認為這次宣告大新聞可能仍
是鬧笑話（宣告大新聞在如今數學界也不是稀罕事，前幾日奈及利亞一位數學教授也宣布
證明了黎曼猜想，浙江大學一位 YinYue Sha 發表了一份 1 頁長度的黎曼猜想證明，日
本數學教授望月新一宣告證明 ABC 猜想直到現在也尚未令人信服）。


這不是一份嚴謹的證明
除了直覺對「阿蒂亞爵士證明了黎曼猜想」的質疑，針對證明過程本身合理性的質疑也已
出現──這才是真正致命。

根據 @賊叉介紹，閱讀 5 頁預印本及 17 頁介紹 Todd 函數的參考論文後，他表示：

事實上，老頭證明的關鍵就是在於使用他稱之為弱解析函數的 Todd 函數。

我們 follow 了他參考文獻的第二篇論文：《THE FINE STRUCTURE CONSTANT》，粗粗讀
完論文之後，我感覺：

這哪是論文啊，就是一部數學史啊！

整整 17 頁論文中，涉及 Todd 對映的核心內容在 3.4。從 Todd 對映的構造來看，這是
一個從複數到複數的對映，且是高度的非線性對映。

他給了希爾伯特空間的 Clifford 代數無限張量積的弱閉包，這個弱閉包取自兩個希爾伯
特空間的張量積。這個希爾伯特空間的 Clifford 代數跡誘導出閉包上的跡，這個閉包的
中心透過兩個同構對映的複合能和複數域同構，這樣就完成了 Todd 對映的構造。


後面又介紹了 Todd 多項式的構造。

但是怎麼利用 Todd 對映和 Todd 多項式呢？

反正我是沒找到。

看到前面這一堆術語，估計有人想打我了，打個比方吧。

理論上青銅能做工藝品，你給我做個后母戊方鼎。

工具？略

怎麼做？略

……

老頭大概就是玩了這種把戲。

他把為什麼 Todd 對映能用於黎曼猜想的證明給……略過了，我只能表示哭笑不得。

數學是一門極注重嚴謹性的學科，推理過程每一步都要有嚴謹的證明，尤其越重要的地方
越無法略過。在 @賊叉看來，這個證明九成九不行……

另一位科學鬆鼠會的 @科普君XueShu 也給了意見。根據他的解讀，阿蒂亞爵士假定提出
的弱解析函數 Todd 函數的某種極限，等同於物理學精細架構常數 α 的倒數，相當於嘗
試用這說明光速、單個電子攜帶電荷數量、普朗克常數之間關係的物理學常數的取值，解
釋複解析函數的非平凡零點的存在規律。雖然精細架構常數 α 確實有奇妙性質，比如的
取值不依賴基本單位大小的選擇，目前也沒有找到對它的取值 1/137.03599913 的夠好理
論解釋，另一方面之前也在其他問題有物理學方法和純數學方法取得聯繫的例子，但這種
跨領域的強加聯繫，未免帶來一種「用量子糾纏得出小孩感冒了可以針灸扎他媽媽」的科
普感。


@科普君XueShu 還補充：

（精細物理常數）20 世紀剛發現時，很多物理學家都想從數學角度解釋和推導，但後來
種種證據表明這個想法完全不靠譜，早被扔進歷史的垃圾堆，雖然目前依然是民科放飛自
我的重災區。


沒想到這次又被 Atiyah 翻出來了，還當作著名數學猜想證明的重要基礎。

其實這倒不奇怪，因為 Atiyah 本人是晚年才開始學習物理，他的物理直覺頗臭名昭彰。
他經常突發奇想自以為發現解決某個物理學問題的關鍵，從物理學家的角度看，跟網路常
見的科普言論沒什麼差別，但凡有點物理學素養的人都能看出其中的荒謬。不過他的學生
，著名理論物理學家兼數學家愛德華‧威騰，倒是每次都細心列出一堆理由告訴老師為什
麼這些想法行不通，每條理由都直擊要害，奈何 Atiyah 至今仍執迷不悟。


「數學大帝」丘成桐今天也在「數理人文」公眾號發文表示：「我問過一批專家，大家都
說這篇文章沒有提供一般數學家要求的嚴格性定理證明……阿蒂亞教授的論點極為牽強，
看不到物理或數學上的意義……有時候不完備的證明也會帶有啟發能力，但是我還沒有看
到這篇文章的啟發能力。」


幾乎確定的鬧劇
說到這裡，幾乎可以確定阿蒂亞爵士沒有證明黎曼猜想，還惦記著那 100 萬美元獎金的
讀者可以先喘口氣了。除了感到滑稽，相信很多人都藉機重新溫習了複分析和級數的知識
，也對數學領域許多有趣的方法和猜想有了新認識；最棒的情況當然是重新發現學習數學
的樂趣了。


阿蒂亞爵士的名譽倒不需要眾人擔憂，他憑現有的成果和獎項就可以繼續名垂青史。而我
們就繼續一邊重新學習數學，一邊期待真正嚴謹、經得起檢驗的黎曼猜想證明出現吧。

4.完整新聞連結 (或短網址):

https://technews.tw/2018/09/26/michael-atiyah-riemann-hypothesis/
黎曼猜想被證明了？Michael Atiyah 的愚人節難道在 9 月嗎 | TechNews 科技新報
[圖]
今年中秋，關心學術的讀者看到最多的消息大概就是英國數學家麥可· 阿蒂亞（Michael Atiyah）爵士宣布證明了黎曼猜想。如果這是真的，阿蒂亞爵士不僅可獲得克雷數學研究所懸賞的 100 萬美元獎金，更是他個人的至高榮譽和整個數學界的喜事。 然而，根據目前了解，阿蒂亞爵士極有可能是在自娛自樂逗... ...

 

5.備註:

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.26.175.103
※ 文章代碼(AID): #1Rh3prJ8 (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1538014453.A.4C8.html
→ pokemonya: 好1F 180.204.48.221 台灣 09/27 10:14
※ jackliao1990:轉錄至看板 Math                                    09/27 10:14
噓 melissalewis: 不要自創各式2F 101.15.24.136 台灣 09/27 10:14
推 Nigger5566: 看不懂先推3F 36.228.78.234 台灣 09/27 10:15
推 b2305911: 我還是等李永樂老師給我上課好惹4F 49.217.229.39 台灣 09/27 10:16
推 cbig: 能看懂的都佩服5F 126.148.203.23 日本 09/27 10:18
→ porscheruf: 我的國文已經退化到連題目都看不懂6F 42.70.211.67 台灣 09/27 10:18
→ ilovelol: 簡單來說 他老人家弄了一個函數來反證7F 111.71.104.136 台灣 09/27 10:19
→ Justapig: 樓下看李永樂老師8F 117.19.129.171 台灣 09/27 10:19
→ ilovelol: 如果黎曼猜想為錯 則他的函數為錯9F 111.71.104.136 台灣 09/27 10:20
→ ilovelol: 但他的函數不可能有錯 所以黎曼猜想為真
噓 deltarobot: 看不懂啦幹11F 123.205.139.23 台灣 09/27 10:21
→ ilovelol: 我看別人的解釋拉12F 111.71.104.136 台灣 09/27 10:21
推 tiuseensii: 李永樂說下課了13F 42.72.73.35 台灣 09/27 10:22
→ snow3804: 說中文好嗎14F 203.64.46.79 台灣 09/27 10:30
推 wasd5020: 幹 三小啦15F 223.137.111.100 台灣 09/27 10:35
→ x19889918: 下拉16F 36.236.194.138 台灣 09/27 10:45
推 sdflskj: 之前還爆文怎麼ㄓㄜㄆㄧ17F 39.8.73.79 台灣 09/27 10:51
→ sdflskj: 這篇完全沒人
推 redsgm: wtf...19F 183.90.37.12 新加坡 09/27 10:52
推 rainfarmer: 本文寫得深入淺出。很易讀 易懂。就是20F 106.223.34.223 印度 09/27 10:53
→ rainfarmer: 另一個想賣書的高明騙子
推 airmike: 中間完全看不懂22F 211.20.104.63 台灣 09/27 11:12
→ wangisiung: 他自己也證明不出來是對的啊23F 114.136.37.165 台灣 09/27 12:12
推 orze04: 幹 丘成桐自己就是專家啊啊啊啊24F 223.140.157.131 台灣 09/27 12:19

--
※ 看板: ott　文章推薦值: 0 目前人氣: 0 累積人氣: 45　
作者 jackliao1990 的最新發文:
點此顯示更多發文記錄
分享網址: 複製 已複製
→
guest
x)推文 r)回覆 e)編輯 d)刪除 M)收藏 ^x)轉錄 同主題: =)首篇 [)上篇 ])下篇