張益唐的零點(diǎn)猜想證明,該由誰(shuí)來檢驗(yàn)?
不少人把目光投向陶哲軒。
最新消息,陶哲軒已經(jīng)讀過張益唐的論文并做出點(diǎn)評(píng):
目前論文的基本正確性尚未得到確認(rèn)。
存在一些印刷錯(cuò)誤和技術(shù)問題(主要集中在第 11 和 12 節(jié))。
我已轉(zhuǎn)發(fā)給益唐并請(qǐng)他澄清。
這段點(diǎn)評(píng)藏在他個(gè)人博客一篇舊文章的評(píng)論區(qū)里,還挺不好找的。
具體來說,陶哲軒列出了論文中一些方程引用缺失,集中在 63-67 頁(yè)、70 頁(yè)、98-99 頁(yè),以及結(jié)尾的 109 頁(yè)。
可以看出,他不但從頭到尾讀完了論文,還在嘗試驗(yàn)證的過程中發(fā)現(xiàn)這些障礙。
后面有匿名網(wǎng)友指出,張益唐在使用 LaTex 時(shí)沒有使用引用的“\ref{}”語(yǔ)法,只是手寫了方程編號(hào)。
在反復(fù)修改中,可能編號(hào)發(fā)生了變化造成這樣的結(jié)果。(回憶起論文排版的恐懼了么?)
其實(shí)關(guān)于論文還不完善這一點(diǎn),張益唐本人也十分清楚,此前在北京大學(xué)紐約地區(qū)校友會(huì)交流活動(dòng)上他說過:
我這篇文章非常復(fù)雜…… 總之這個(gè)東西我知道我是把它給做出來了,當(dāng)然把它寫好還有點(diǎn)問題,所以我也不想把它先投稿投出去,但是我會(huì)把它掛到 arXiv 上。
陶哲軒則在點(diǎn)評(píng)中寫道:
以上這些問題(連同一些更嚴(yán)重的問題)是可能被修正的,但是需要一些時(shí)間。
對(duì)于其中“更嚴(yán)重的問題”是什么,他沒有明確指出。
另外他還特別提到“不想給張益唐壓力,希望他能仔細(xì)校對(duì)而不是匆忙上傳修訂版,因此建議大家也耐心等待。”
有網(wǎng)友看過后覺得,這段點(diǎn)評(píng)水平可真是高。
有讓大家冷靜下來的效果,同時(shí)又沒有一絲消極情緒或降低期待,除了他也沒誰(shuí)能做到了。
為什么看向陶哲軒?
陶哲軒對(duì)此事的看法,為何備受關(guān)注?
除了二人研究領(lǐng)域有重疊之外,陶哲軒還對(duì)張益唐上一次重要成果作出過重要改進(jìn)。
在孿生素?cái)?shù)猜想的證明中,張益唐提出“存在無窮多間距小于 7 千萬的相鄰素?cái)?shù)對(duì)”。
陶哲軒認(rèn)為這個(gè)方法的潛力并沒有被完全挖掘出來。
他迅速跟進(jìn)研究,參與發(fā)起了數(shù)學(xué)界集體合作項(xiàng)目 Polymath 8,把 7 千萬的界限縮小到了 4680。
在新晉菲爾茲獎(jiǎng)得主梅納德(James Maynard)的幫助下,Polymath 8 目前的最佳結(jié)果已經(jīng)達(dá)到 246,離最終目標(biāo) 2 越來越近了。
張益唐在這次的朗道西格爾零點(diǎn)猜想的證明中,使用了類似的改進(jìn)版方法,還特意把數(shù)字選為致敬年份的-2022 和-2024。
可以預(yù)見的是,一旦張益唐的新論文通過同行評(píng)議,這個(gè)結(jié)果也會(huì)在國(guó)際數(shù)學(xué)家的合作努力下迅速降低,這次的最終目標(biāo)是 1。
而陶哲軒會(huì)不會(huì)再次出手,自然成了大家期待的對(duì)象。
實(shí)際上朗道西格爾零點(diǎn)也是陶哲軒這些年來的研究對(duì)象,去年九月他也發(fā)過相關(guān)論文。
關(guān)于這次結(jié)果的改進(jìn),張益唐在北大做學(xué)術(shù)報(bào)告時(shí)表示至少可以做到到幾百。
…… 只是我還沒有去做。但是要到 1 目前這個(gè)方法還是不夠的……
還有誰(shuí)跟進(jìn)了張益唐的研究?
前面也提到,陶哲軒之外另一個(gè)對(duì)孿生素?cái)?shù)猜想結(jié)果做出重大改進(jìn)的是梅納德,他因這項(xiàng)成果在今年獲得菲爾茲獎(jiǎng)。
到目前為止,梅納德還沒對(duì)張益唐最新論文發(fā)聲。
不過他的博士導(dǎo)師、解析數(shù)論領(lǐng)域數(shù)學(xué)家羅杰?希思-布朗(Roger Heath-Brown FRS)倒是接受過媒體采訪,認(rèn)為張的論文“寫得很清楚,而且策略明智”。
除此之外,羅杰?希思-布朗與蒙特利爾大學(xué)安德魯?格蘭維爾(Andrew Granville)等數(shù)論領(lǐng)域?qū)W者一致認(rèn)為,好好研讀這篇論文需要很長(zhǎng)時(shí)間,現(xiàn)在下結(jié)論還為時(shí)尚早。
中國(guó)學(xué)者方面,張益唐在北大時(shí)的導(dǎo)師潘承彪聽取了張益唐的學(xué)術(shù)報(bào)告,除了證明結(jié)果之外他還格外關(guān)注張益唐改進(jìn)的新方法:
這是一個(gè)重要的篩法新思想,有很大發(fā)展?jié)摿?,可?shí)現(xiàn)起來很難。
張益唐當(dāng)時(shí)還回復(fù)“聽了潘老師的肯定,比聽一萬個(gè)人的贊揚(yáng)更有價(jià)值?!?/p>
篩法(Sieve Method)是數(shù)論研究中的重要工具。
1950 年前后,阿特勒?塞爾伯格(Atle Selberg)提出改進(jìn)版的塞爾伯格篩法一直沿用至今。
在很長(zhǎng)一段時(shí)間里,該方法都是“初步估計(jì)在一個(gè)小區(qū)間里素?cái)?shù)分布之上界”的唯一方法,曾使哥德巴赫猜想前進(jìn)一大步,張益唐解決孿生素?cái)?shù)猜想的思路也受其啟發(fā)。
在朗道-西格爾零點(diǎn)猜想上,張益唐一開始也是用的塞爾伯格篩法。
他將這個(gè)過程比作大海撈針,雖然最終也沒有撈到,但是通過提出新的改進(jìn)版篩法做出了結(jié)果。
整個(gè)過程我把海底的情況都摸清楚了,后來發(fā)現(xiàn)不用這根針,我也能把它做出來。
新方法不依賴于“求二次型極值”,除了用于朗道-西格爾零點(diǎn)猜想外,還有望用于其他數(shù)論問題。
張益唐表示正在思考能不能用新方法去改進(jìn)孿生素?cái)?shù)猜想的結(jié)果,他以后也考慮往這方面去嘗試。
關(guān)于自己的未來,已 67 歲的張益唐在親筆寫的知乎長(zhǎng)文中也提到,沒有考慮過退休的問題。
如果我真的離開數(shù)學(xué)了,我確實(shí)不知道我該怎么活。
陶哲軒看法(在下面鏈接的評(píng)論區(qū))
https://terrytao.wordpress.com/2021/09/15/the-hardy-littlewood-chowla-conjecture-in-the-presence-of-a-siegel-zero/comment-page-1
參考鏈接:
[1]https://twitter.com/SuraSys1/status/1592750525312688128
[2]https://www.zhihu.com/question/564799818/answer/2752632822
本文來自微信公眾號(hào):量子位 (ID:QbitAI),作者:夢(mèng)晨 羿閣
廣告聲明:文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接(包括不限于超鏈接、二維碼、口令等形式),用于傳遞更多信息,節(jié)省甄選時(shí)間,結(jié)果僅供參考,IT之家所有文章均包含本聲明。