第373章 哥猜論文投稿 一(加更 二)
在短暫的平靜過後,兩人立刻投入到了繁重的論文整理工作中。
不過,在正式動筆之前,拉福格建議先在MathOverflow上發個預告。
「這不僅是為了占坑,也是為了給學術界一點心理準備。」拉福格推了推眼鏡,「畢竟,這個成果的衝擊力太大了。如果毫無徵兆地砸下去,我怕有些老傢伙的心臟受不了。」
於是,徐辰在自己的帳號下,發布了一條簡短的狀態:
【近期,我與洛朗·拉福格教授在哥德巴赫猜想的研究上取得了實質性的重大突破。相關論文正在整理中,將於近期公布。】
……
這條狀態一出,原本就因為徐辰之前的「四大頂刊大滿貫」而沸沸揚揚的數學界,再次掀起了一陣波瀾。
不過,這一次,絕大多數學者的反應,卻出奇地「冷靜」,甚至帶著一絲理所當然的猜測。
「重大突破?徐神又來『打窩』了?」
「不是,距離徐神上次發四篇頂刊才過去不到一個月吧?這生產隊的驢也不能這麼使喚啊!」
「『實質性的重大突破』?這是什麼意思?」
「估計是之前那套『廣義CNTT+概率圓法+計算機窮舉』的路線圖,又有了什麼新的優化吧?」
「肯定是這樣。畢竟距離他上次公布路線圖才過去不到兩個月。兩個月的時間,能把那套複雜的框架再打磨一下,把概率圓法的下限再往下壓一壓,比如從 10^145壓到 10^100,這就已經是十分了不起的『重大突破』了。」
「是啊,想要在兩個月內搞出全新的成果,那根本是不可能的事情。數學又不是變魔術。」
在絕大多數同行看來,徐辰之前給出的那套「拼圖式」證明路線,雖然有些「醜陋」,但已經是人類目前能觸及的極限了。他們根本無法想像,也不敢去想像,在這個世界上,居然還有另一條能夠一擊貫穿所有區間的「大一統」之路。
……
不過,也有一些格外敏銳的學者,從這條預告中嗅到了一絲不同尋常的氣息。
「等等……你們沒注意到嗎?這次是拉福格教授和徐神聯合署名!」
「對啊!拉福格教授可是出了名的穩重和克制,他從來不參與那種『階段性』的炒作。能讓他這種級別的宗師親自下場,並且用上『重大突破』這四個字……這事兒,恐怕沒那麼簡單!」
「難道說……他們真的找到了某種更優雅的證明方式?」
這條評論一出,底下瞬間湧入了幾十條回復,爭論得不可開交。
「不可能!絕對不可能!哥猜要是那麼容易被『優雅』地解決,早就被歐拉和高斯給幹掉了,還能留到現在?」
絕大多數人依然持保守態度。
畢竟,從徐辰上一次公開發表概率圓法的論文到現在,滿打滿算也就一個多月的時間。在這麼短的時間內,就算是在已有路線上做個小優化都很吃力,更何況「換一條全新的路「?
……
但也有極少數嗅覺敏銳的學者,隱隱感覺到了某種不同尋常的氣息。
「重大「,意味著方法論級別的躍遷,意味著整個遊戲規則的改寫。
在哥德巴赫猜想已經有徐辰之前提出的明確的路線圖的前提下,唯一能稱為「重大「的,只有一件事。
「……不會真的是那件事吧?「
「他們一個是現在最頂尖的解析數論天才,一個是函數域朗蘭茲的最高權威……「
「如果這兩個人聯手攻克了某個方向……「
「那會是什麼方向?!「
整個數學界陷入了一種壓抑又期待的煎熬中。
……
與此同時,那間辦公室里,兩人已經開始了整理工作。
兩人花了整整一個星期的時間,才將那塊白板上的所有推導過程,整理成了一篇完整的長文。
在大多數人的經驗里,攻克一個世紀級難題的論文,往往動輒幾百頁。
懷爾斯證明費馬大定理,那篇核心論文長達一百多頁,還需要一篇幾十頁的補充論文來堵住漏洞。張益唐關於孿生素數的突破,核心論文也有五十多頁。而那些為了解釋論文所用工具而寫的「前置工作「,加起來更是汗牛充棟。
但這篇論文,全文加起來,竟然只有短短的三十頁。
而且其中有將近二十頁,都是在詳細闡述那個核心工具:「測試卷積核Φ_N」的構造過程,以及對阿瑟-塞爾伯格跡公式的精細展開。
而真正的核心——哥德巴赫猜想的證明本體——只占據了最後區區五頁。
這五頁里,只是一條極其清晰的邏輯鏈條:
構造Φ_N,使用跡公式,譜側嚴格為正,幾何側精確等於r(N),因此r(N)>0,證畢。
尤其是最後一頁的結果,左邊是幾何,右邊是譜,中間一個等號。
然後,一切都結束了。
這正是極致優雅的證明該有的樣子——簡潔,深刻,一擊致命。
……
在確定作者署名順序時,兩人發生了一點小小的爭執。
「徐辰,第一作者寫你的名字。「
拉福格的語氣像是在陳述一個不需要討論的事實。
徐辰抬起頭,立刻搖了搖頭:「不行,我們共同第一作者。這個框架是在您的思路上發展出來的,而且條件二和條件三的推導全是您完成的。「
「你說的我都承認。「拉福格不慌不忙,「但有幾件事你沒提到:Φ_N的構造是你的,對稱摺疊算子是你的,把加性問題翻譯成譜正定性的核心邏輯跳躍是你的。這三件事,任何一件單獨拎出來,都足以讓你獨立列一作了。「
「但是——「
「你知道懷爾斯和泰勒嗎?「拉福格打斷了他,「當年懷爾斯證明費馬大定理,理察·泰勒幫他補上了最關鍵的那個漏洞,兩人聯合發表了一篇補充論文,泰勒排在第二位。沒有人覺得這不公平,因為大家都清楚,誰是主導者。「
拉福格淡淡地停了一拍,「我的意思是,學術史上,對於一個成果,誰是真正的第一驅動力,時間會給出答案。但我不想讓時間來判斷,我想在這篇論文裡就把它寫清楚。「
「你是主導者,徐辰。「
「我只是幫你搭了半幅腳手架。如果你再跟我客氣,我就直接把我的名字撤了,讓你一個人去應付之後那些審稿人的靈魂拷問。「
徐辰沉默了很久,最終無奈地嘆了口氣。
「好吧,教授。您贏了。「
論文的署名,最終定稿:
第一作者:徐辰
第二作者:洛朗·拉福格
……
不過,在正式動筆之前,拉福格建議先在MathOverflow上發個預告。
「這不僅是為了占坑,也是為了給學術界一點心理準備。」拉福格推了推眼鏡,「畢竟,這個成果的衝擊力太大了。如果毫無徵兆地砸下去,我怕有些老傢伙的心臟受不了。」
於是,徐辰在自己的帳號下,發布了一條簡短的狀態:
【近期,我與洛朗·拉福格教授在哥德巴赫猜想的研究上取得了實質性的重大突破。相關論文正在整理中,將於近期公布。】
……
這條狀態一出,原本就因為徐辰之前的「四大頂刊大滿貫」而沸沸揚揚的數學界,再次掀起了一陣波瀾。
不過,這一次,絕大多數學者的反應,卻出奇地「冷靜」,甚至帶著一絲理所當然的猜測。
「重大突破?徐神又來『打窩』了?」
「不是,距離徐神上次發四篇頂刊才過去不到一個月吧?這生產隊的驢也不能這麼使喚啊!」
「『實質性的重大突破』?這是什麼意思?」
「估計是之前那套『廣義CNTT+概率圓法+計算機窮舉』的路線圖,又有了什麼新的優化吧?」
「肯定是這樣。畢竟距離他上次公布路線圖才過去不到兩個月。兩個月的時間,能把那套複雜的框架再打磨一下,把概率圓法的下限再往下壓一壓,比如從 10^145壓到 10^100,這就已經是十分了不起的『重大突破』了。」
「是啊,想要在兩個月內搞出全新的成果,那根本是不可能的事情。數學又不是變魔術。」
在絕大多數同行看來,徐辰之前給出的那套「拼圖式」證明路線,雖然有些「醜陋」,但已經是人類目前能觸及的極限了。他們根本無法想像,也不敢去想像,在這個世界上,居然還有另一條能夠一擊貫穿所有區間的「大一統」之路。
……
不過,也有一些格外敏銳的學者,從這條預告中嗅到了一絲不同尋常的氣息。
「等等……你們沒注意到嗎?這次是拉福格教授和徐神聯合署名!」
「對啊!拉福格教授可是出了名的穩重和克制,他從來不參與那種『階段性』的炒作。能讓他這種級別的宗師親自下場,並且用上『重大突破』這四個字……這事兒,恐怕沒那麼簡單!」
「難道說……他們真的找到了某種更優雅的證明方式?」
這條評論一出,底下瞬間湧入了幾十條回復,爭論得不可開交。
「不可能!絕對不可能!哥猜要是那麼容易被『優雅』地解決,早就被歐拉和高斯給幹掉了,還能留到現在?」
絕大多數人依然持保守態度。
畢竟,從徐辰上一次公開發表概率圓法的論文到現在,滿打滿算也就一個多月的時間。在這麼短的時間內,就算是在已有路線上做個小優化都很吃力,更何況「換一條全新的路「?
……
但也有極少數嗅覺敏銳的學者,隱隱感覺到了某種不同尋常的氣息。
「重大「,意味著方法論級別的躍遷,意味著整個遊戲規則的改寫。
在哥德巴赫猜想已經有徐辰之前提出的明確的路線圖的前提下,唯一能稱為「重大「的,只有一件事。
「……不會真的是那件事吧?「
「他們一個是現在最頂尖的解析數論天才,一個是函數域朗蘭茲的最高權威……「
「如果這兩個人聯手攻克了某個方向……「
「那會是什麼方向?!「
整個數學界陷入了一種壓抑又期待的煎熬中。
……
與此同時,那間辦公室里,兩人已經開始了整理工作。
兩人花了整整一個星期的時間,才將那塊白板上的所有推導過程,整理成了一篇完整的長文。
在大多數人的經驗里,攻克一個世紀級難題的論文,往往動輒幾百頁。
懷爾斯證明費馬大定理,那篇核心論文長達一百多頁,還需要一篇幾十頁的補充論文來堵住漏洞。張益唐關於孿生素數的突破,核心論文也有五十多頁。而那些為了解釋論文所用工具而寫的「前置工作「,加起來更是汗牛充棟。
但這篇論文,全文加起來,竟然只有短短的三十頁。
而且其中有將近二十頁,都是在詳細闡述那個核心工具:「測試卷積核Φ_N」的構造過程,以及對阿瑟-塞爾伯格跡公式的精細展開。
而真正的核心——哥德巴赫猜想的證明本體——只占據了最後區區五頁。
這五頁里,只是一條極其清晰的邏輯鏈條:
構造Φ_N,使用跡公式,譜側嚴格為正,幾何側精確等於r(N),因此r(N)>0,證畢。
尤其是最後一頁的結果,左邊是幾何,右邊是譜,中間一個等號。
然後,一切都結束了。
這正是極致優雅的證明該有的樣子——簡潔,深刻,一擊致命。
……
在確定作者署名順序時,兩人發生了一點小小的爭執。
「徐辰,第一作者寫你的名字。「
拉福格的語氣像是在陳述一個不需要討論的事實。
徐辰抬起頭,立刻搖了搖頭:「不行,我們共同第一作者。這個框架是在您的思路上發展出來的,而且條件二和條件三的推導全是您完成的。「
「你說的我都承認。「拉福格不慌不忙,「但有幾件事你沒提到:Φ_N的構造是你的,對稱摺疊算子是你的,把加性問題翻譯成譜正定性的核心邏輯跳躍是你的。這三件事,任何一件單獨拎出來,都足以讓你獨立列一作了。「
「但是——「
「你知道懷爾斯和泰勒嗎?「拉福格打斷了他,「當年懷爾斯證明費馬大定理,理察·泰勒幫他補上了最關鍵的那個漏洞,兩人聯合發表了一篇補充論文,泰勒排在第二位。沒有人覺得這不公平,因為大家都清楚,誰是主導者。「
拉福格淡淡地停了一拍,「我的意思是,學術史上,對於一個成果,誰是真正的第一驅動力,時間會給出答案。但我不想讓時間來判斷,我想在這篇論文裡就把它寫清楚。「
「你是主導者,徐辰。「
「我只是幫你搭了半幅腳手架。如果你再跟我客氣,我就直接把我的名字撤了,讓你一個人去應付之後那些審稿人的靈魂拷問。「
徐辰沉默了很久,最終無奈地嘆了口氣。
「好吧,教授。您贏了。「
論文的署名,最終定稿:
第一作者:徐辰
第二作者:洛朗·拉福格
……