2024和1是量的區(qū)別，無限和2024是質(zhì)的區(qū)別。由原本一個不知道是否無限的數(shù)，確定為一個有限的數(shù)，相比過去的證明結(jié)果，這次的證明在一定程度上可以說是質(zhì)的飛躍。

　　袁嵐峰

　　中國科學(xué)技術(shù)大學(xué)副研究員

　　對于研究數(shù)論的人來說，或許存在兩個宇宙。朗道-西格爾零點存在于其中一個宇宙中，而在一個宇宙中，朗道-西格爾零點則不存在。讓他們感到困惑的在于，人類究竟處于哪個宇宙之中？

　　關(guān)于這個問題，美國加州大學(xué)圣塔芭芭拉分校教授、美籍華裔數(shù)學(xué)家張益唐前不久給出了他的初步答案，我們極有可能處于不存在朗道-西格爾零點的那個宇宙中。近日，在面向北京大學(xué)師生和公眾的線上學(xué)術(shù)報告會上，張益唐分享了他關(guān)于朗道-西格爾零點猜想的最新研究成果。

　　朗道-西格爾零點猜想的“前世今生”究竟如何？如果張益唐的最新研究成果通過驗證，對數(shù)學(xué)界將產(chǎn)生哪些影響？就這些問題，科技日報記者采訪了相關(guān)專家。

　　從素數(shù)到廣義黎曼猜想

　　要理解朗道-西格爾零點猜想，還要從素數(shù)開始講起。素數(shù)也稱質(zhì)數(shù)，是指只能被自身和1整除的正整數(shù)。

　　中國科學(xué)技術(shù)大學(xué)副研究員、知名科普專家袁嵐峰向科技日報記者介紹，素數(shù)可以被理解為是構(gòu)成自然數(shù)的基本單元。袁嵐峰認為：“素數(shù)有一種關(guān)乎數(shù)學(xué)本質(zhì)的、奇妙且神秘的美感�！�

　　公元前300年左右，古希臘學(xué)者歐幾里得通過十分簡潔、巧妙的方法證明了素數(shù)是無窮的。

　　在這個發(fā)現(xiàn)之后，人們又不禁發(fā)問，既然素數(shù)是無窮的，那么素數(shù)的分布是否有規(guī)律，是否可以得出一個關(guān)于素數(shù)的通項公式？這成為了此后數(shù)千年間無數(shù)偉大的數(shù)學(xué)家，尤其是數(shù)論研究者魂牽夢繞的問題。在追尋這一問題答案的過程中，誕生了如哥德巴赫猜想、孿生素數(shù)猜想、黎曼猜想等諸多舉世聞名的數(shù)學(xué)相關(guān)問題。

　　19世紀中葉，德國數(shù)學(xué)家黎曼在一篇論文中發(fā)表了重磅觀點，即素數(shù)分布的奧秘完全隱藏在一個特殊的函數(shù)中，這就是著名的黎曼ζ函數(shù)。使這個函數(shù)取值為0的一系列特殊點會對素數(shù)的分布規(guī)律產(chǎn)生決定性影響。這些點便被稱為黎曼ζ函數(shù)的非平凡零點。如果用最簡潔的語言來表述黎曼猜想，那便是黎曼ζ函數(shù)的所有非平凡零點的實部都等于1/2。如果在復(fù)平面上作圖，則這些零點都分布在實部為1/2的直線上。

　　黎曼猜想被提出后，為了研究等差數(shù)列上的素數(shù)分布問題，德國數(shù)學(xué)家狄利克雷又引入了狄利克雷L函數(shù)。該函數(shù)被看作是黎曼ζ函數(shù)的推廣形式。數(shù)學(xué)家們認為，狄利克雷L函數(shù)上的零點也都位于實部等于1/2的那條直線上，這便是廣義黎曼猜想。廣義黎曼猜想和黎曼猜想在數(shù)學(xué)中都具有重要價值。袁嵐峰表示，目前人們已經(jīng)在假定它們成立的前提下證明了許多命題。假如能證實這兩個猜想，人類將能站上更高的平臺，看到更美麗、廣闊的數(shù)學(xué)風(fēng)景。

　　或邁出證明“零點猜想”正確性的一大步

　　德國數(shù)學(xué)家西格爾和其導(dǎo)師朗道在對狄利克雷L函數(shù)進行研究時發(fā)現(xiàn)，一個異常零點可能并不存在于那條實部為1/2的直線上，而是位于非常接近1的地方。這個零點也被命名為朗道-西格爾零點。如果這個零點真的存在，那么廣義黎曼猜想將會被推翻。雖然廣義黎曼猜想目前尚未得到證明，但數(shù)學(xué)家們大多默認其正確性。因此猜測朗道-西格爾零點不存在，這就是朗道-西格爾零點猜想。而證明朗道-西格爾零點并不存在，也成了包括張益唐在內(nèi)的諸多數(shù)學(xué)家的夙愿。

　　根據(jù)張益唐的自述，他自上世紀末便開始思考朗道-西格爾零點猜想，并在2007年時發(fā)表過一篇相關(guān)論文，但那篇論文并不完美。在今年10月中旬，張益唐在北京大學(xué)大紐約地區(qū)校友會上透露，他本質(zhì)上解決了朗道-西格爾零點猜想問題，當即引發(fā)數(shù)學(xué)界轟動。在近日舉行的線上報告會正式開始前，張益唐謹慎地表示，他此次的研究成果“只是在一定范圍里部分地解決黎曼假設(shè)應(yīng)該是對的�！敝�所以這樣說，是因為張益唐并沒有完全證明朗道-西格爾零點猜想，但已經(jīng)在證明其正確性的路上邁出了一大步。

　　在張益唐給出的兩個證明定理中，一個定理的指數(shù)是-2024。但是，如果要完全證明朗道-西格爾零點猜想，理想情況該指數(shù)應(yīng)該是-1。當報告會中有學(xué)生問道，2024可以進一步縮小到多少時，張益唐坦言：“很多步驟還可以更精細，到幾百是可以的。但如果要到1，僅用目前這個辦法是不夠的。”

　　袁嵐峰表示：“2024和1是量的區(qū)別，無限和2024是質(zhì)的區(qū)別。由原本一個不知道是否無限的數(shù)，確定為一個有限的數(shù)，相比過去的證明結(jié)果，這次的證明在一定程度上可以說是質(zhì)的飛躍�！�

　　山東大學(xué)教授劉建亞也認為，自20世紀30年代以來，朗道-西格爾零點猜想的研究便幾乎沒有出現(xiàn)實質(zhì)性的突破。如果此次張益唐的證明通過驗證，或?qū)⒃谝欢ǔ潭壬细膶懡馕鰯?shù)論的教科書。

　　將反證法用到極致且不斷創(chuàng)新

　　張益唐此次采用的論證方法是數(shù)學(xué)中經(jīng)典的“矛盾證明法”，也稱為“反證法”。根據(jù)張益唐的博士生、加拿大女王大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)博士后阮大衛(wèi)的描述，張益唐首先是假設(shè)朗道-西格爾零點以弱形式存在，推導(dǎo)后發(fā)現(xiàn)這會導(dǎo)致狄利克雷L函數(shù)中的其他零點以非常規(guī)則的間距排列起來。但實際上，這些零點的分布并不具備這樣的規(guī)律，連續(xù)零點之間的間距是不可預(yù)測的。因此，反過來證明了朗道-西格爾零點在這個區(qū)間內(nèi)不存在。袁嵐峰表示，雖然反證法已是數(shù)學(xué)中極為經(jīng)典的方法，但張益唐將其應(yīng)用到了極致。

　　反證法雖是人人都能理解的基礎(chǔ)方法，但這次證明的過程是難以想象的艱深。張益唐將其比喻為大海撈針，“我試了很多方法，包括變分法、積分方程等，但關(guān)鍵一步都跨不過去。后來我發(fā)現(xiàn)，即使撈不到這根針，我也已經(jīng)把海底環(huán)境摸索清楚了，也不一定非得撈到這根針�！�

　　袁嵐峰認為，這里說的“針”是指傳統(tǒng)證明方法中需要的某個數(shù)列�！耙郧罢业竭@樣一個數(shù)列便能構(gòu)造出某種矛盾，用反證法證明某類問題。張益唐證明孿生素數(shù)猜想的相關(guān)結(jié)果，用的就是這種方法。但這次對于朗道-西格爾零點猜想的證明，他發(fā)現(xiàn)這種傳統(tǒng)方法并不適用，無論如何都找不到這樣的一根‘針’。但他在大量研究后發(fā)現(xiàn)，有許多個數(shù)列都能達到同等的較弱的效果，于是他利用這個事實構(gòu)造出矛盾，應(yīng)用反證法解決了問題，這也就是為什么他說‘不一定非得撈到這根針’�！痹瑣狗逭f。

　　張益唐認為，經(jīng)典方法是否有效，取決于能否將它用到極致。袁嵐峰表示，此前的許多數(shù)論研究都以朗道-西格爾零點不存在為前提假設(shè)，假如這次張益唐能夠在一定范圍內(nèi)證明朗道-西格爾零點猜想的正確，將會使得許多研究的假設(shè)性結(jié)果變?yōu)榇_定性結(jié)果。

　　張益唐本人則表示，目前的研究成果只是在小范圍內(nèi)證明朗道-西格爾零點猜想是對的，即該零點確實不存在。但研究還需進一步完善，下一步他將繼續(xù)深化對于朗道-西格爾零點猜想的研究。