曾經(jīng)解決了“孿生質數(shù)猜想”從0到1的一步時,張益唐就已經(jīng)轟動全世界數(shù)學圈。而如果他真的解決了朗道-西格爾零點猜想,無疑會引發(fā)一場大地震。
(資料圖片)
不過,相關論文似乎得等到下個月才能看到。
讓我們搓手以待。
這篇論文,張益唐修改了9年
上一次張益唐在互聯(lián)網(wǎng)上引起這么大的關注,還是在2013年。
當時,他完成了論文《素數(shù)間的有界距離》,證明了“弱化版本的孿生素數(shù)猜想”。
論文于2013年發(fā)表在《數(shù)學年刊》上。
《素數(shù)間的有界距離》手稿
作為數(shù)學界耳熟能詳?shù)娜A人“大?!保话闳丝赡軙詾閺堃嫣瞥晒H豐。
但實際上,他在40多年的學術生涯里,只發(fā)表過屈指可數(shù)的幾篇論文。
其中比較出名的幾篇,除了2013年發(fā)表的“弱化版孿生素數(shù)猜想”之外,另外兩篇分別發(fā)表在2001年的《杜克數(shù)學期刊》和1985年的《數(shù)學學報》上,都是關于朗道-西格爾零點猜想的。
在接受《人物》周刊采訪時,張益唐曾解釋道:長久不發(fā)論文的原因,是因為自己很難接受“Partial result”——他手上已經(jīng)攢了一些隨時可以出成果的研究,但他不甘心拿出來,因為“完全做完之后拿出來的東西就是大東西了?!?/p>
這與如今主流數(shù)學家的做法都不同。
在成名前,張益唐就已經(jīng)研究了朗道-西格爾零點猜想很多年。
2007年5月,他還在University of New Hampshire時,就曾為此寫過一篇論文草稿。
論文地址:https://arxiv.org/abs/0705.4306
當時,這篇論文還不完整,只是關于朗道-西格爾猜想的一個大概的證明綱要,張益唐把它在預印本服務器上保存了下來,然后就把它“撂下”,跑去做快要成了的“孿生素數(shù)”問題了。
天才的預判果然很有道理,接下來發(fā)生的事,你們已經(jīng)知道了。
關于“孿生素數(shù)猜想”的論文讓他大爆,一躍成為學界“頂流”。
Nature在“突破性新聞”欄目里對此成果做了專題報道。同時,羅夫·肖克獎 、柯爾數(shù)論獎、麥克阿瑟天才獎等重量級獎項,張益唐都拿到手軟。
關于他的神奇事跡也被各媒體爭相報道。
現(xiàn)在,時隔9年,因為他的一句話,數(shù)學圈忽然又沸騰了。
推測一下,應該是被他“撂下”多年的那篇朗道-西格爾零點猜想論文大綱已經(jīng)補充完畢,完整論文出爐了。
這次,張益唐是準備二“爆”了?
朗道-西格爾零點猜想
所以,朗道-西格爾零點猜想是什么呢?
在數(shù)論中,朗道-西格爾零點問題可以看作廣義黎曼猜想的一種特殊并且可能弱得多的形式。
2019年,香港中文大學舉辦的“大師講堂”上,張益唐介紹了朗道-西格爾零點問題的歷史和應用,并解釋為何這個問題這么重要,并且難以解決。
根據(jù)香港中文大學(深圳)整理的資料,張益唐本人是這樣介紹的——
張益唐研究的意義有多重大?
為何關于張益唐的爆料一出,就驚動了整個數(shù)學圈?
因為黎曼猜想是當今數(shù)學界最重要的數(shù)學難題之一,意義重大。
要想理解它的意義,我們不妨先了解一下數(shù)論的大背景。
數(shù)論是純粹數(shù)學的分支,研究的是數(shù)的性質,可以說是最純粹的數(shù)學。畢達哥拉斯、歐幾里得、斐波那契、笛卡爾、費爾馬、萊布尼茲、拉格朗日、歐拉、高斯、希爾伯特等著名的數(shù)學家都曾在數(shù)論的研究史上留下濃墨重彩的一筆。
高斯:數(shù)學是科學的皇后,數(shù)論是數(shù)學的皇后
數(shù)論的研究產(chǎn)生了很多的猜想,這些猜想將極大地推動數(shù)學的研究進展。
1900年,德國數(shù)學家戴維·希爾伯特曾在第二屆數(shù)學家大會上提出了“20世紀數(shù)學家應當努力解決的23個數(shù)學問題”。
而2000年克雷數(shù)學研究所“千禧年大獎難題”提出了7個重要的猜想,這項猜想如果能被解決,密碼學、航天和通訊等領域都會發(fā)生驚人的突破。
在眾多的猜想中,黎曼猜想是唯一同時出現(xiàn)在希爾伯特23個問題和千禧年大獎難題中的猜想。
雖然在知名度上,黎曼猜想不及費爾馬猜想和哥德巴赫猜想,但它在數(shù)學上的重要性,要遠遠超過后兩者。黎曼猜想與費馬大定理已經(jīng)成為廣義相對論和量子力學融合的m理論的幾何拓撲載體。
目前,很多數(shù)論的猜想都已經(jīng)被證實。1995年,費爾馬大定理被證明;2002年,卡塔蘭猜想被證明;2013年,孿生數(shù)猜想被證明;2013年,奇數(shù)哥德巴赫問題被證明。
但黎曼猜想一直都懸而未決??梢韵胂螅绻腥俗C明了黎曼猜想,將是一個多么轟動的事件。
同理,如果黎曼猜想被證偽,也是數(shù)學界驚天動地的大事。
而張益唐如果真的證偽了黎曼猜想,或者證明了朗道-西格爾零點的存在,都無疑是核爆級的消息。
黎曼猜想
讓我們看一下黎曼猜想的起源。
1859年,德國數(shù)學家黎曼在論文“論小于給定數(shù)值的素數(shù)個數(shù)”中,首次提及這個猜想。
對此,“科學大抖宅”正巧在一篇文章中對此做了非常白話的解釋。
我們都知道,2、3、5、7、11這些數(shù),除了1跟自己本身以外,不能被其他正整數(shù)整除,因此它們被稱作質數(shù)。而所有大于1的正整數(shù),都能夠以質數(shù)的乘積來表示。
但如果要問:“比某個特定數(shù)值要小的質數(shù)有多少個呢?質數(shù)在整個數(shù)列中的分布情況又是如何?”
這個問題就復雜了。
而黎曼發(fā)現(xiàn),質數(shù)的分布跟某個函數(shù)有著密切關系:
這個公式中,s是復數(shù),可以寫成s=a+bi這樣的形式(a是s的實部、b是s的虛部、i則是根號負一)。
數(shù)學家們可以輕易證明,只要s的實部大于1,那么整個無窮級數(shù)里,把每一項的絕對值相加后,會得到收斂并趨近于某個定值的結果。
不過,對于s的實部小于1的狀況,事情就沒那么簡單了:整個級數(shù)和可能會發(fā)散。
但我們又想要擴充函數(shù)的定義,讓它適用更廣泛的范圍,那該怎么辦呢?
只需運用一些“簡單的”數(shù)學技巧,就可以把上面的黎曼ζ函數(shù)改寫為:
其中的 Г ,稱為伽瑪函數(shù)(gamma function)。
由此可以發(fā)現(xiàn),當s為負偶數(shù)(s= -2, -4, -6…)時,黎曼ζ函數(shù)為零。這些s的值,就稱為平凡零點。
但是,除了平凡零點之外,還有其他一些s的值,能夠讓黎曼ζ函數(shù)為零──稱為非平凡零點;它們不但對質數(shù)的分布有著決定性影響,實數(shù)部分還全都位于零和一之間。
到了這一步,已經(jīng)到達了黎曼本人也無法證明的難度了。
不過他做了一個猜測,這些非平凡零點有著共同的特性:黎曼ζ函數(shù)所有非平凡零點的實部都是二分之一。
這就是赫赫有名的黎曼猜想。
孿生素數(shù)猜想
最后,讓我們看看曾讓張益唐名聲大震的“孿生質數(shù)猜想”相關論文。
1992年博士畢業(yè)于普渡大學,張益唐度過一段坎坷的時光,終于在2013年,他對于“存在無窮多個差值小于7000萬的質數(shù)對”的證明在五周內(nèi)被《數(shù)學年刊》接收。
論文地址:https://annals.math.princeton.edu/2014/179-3/p07
在這篇論文中,他找到了孿生素數(shù)對差值的上界——7000萬,這是“孿生質數(shù)猜想”的重大進展,實現(xiàn)了從0到1的跨越。
后來,陶哲軒等數(shù)學家迅速將這個差距縮小到了246,但這相當于從1到2的跨越。相較而言,張益唐從0到1的這一步,意義更加重大。
關于兩位數(shù)學家的研究成果,已經(jīng)被拍成紀錄片。
根據(jù)《光明日報》記者王慶環(huán)的整理,在2016年度的“求是獎頒獎典禮”上,著名科學家楊振寧曾用小學生聽得懂的語言講解了張益唐所做的研究——
對于以上解釋,張益唐本人表示:“楊振寧教授的介紹既通俗又清楚,如果讓我自己講的話,我肯定講不了那么好?!?/p>
目前,坊間已經(jīng)在熱議,如果傳說為真,張益唐的成就是否能超越丘成桐、陳景潤。
讓我們靜等11月,看看張益唐是否會交出令自己滿意的“大東西”。
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-15
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-14
頭條 22-10-13
頭條 22-10-13
頭條 22-10-13
頭條 22-10-13
頭條 22-10-13
頭條 22-10-13
頭條 22-10-13
頭條 22-10-13
頭條 22-10-13