这两天,张益唐「攻克」朗道-西格尔零点猜想(Landau-Siegel Zeros Conjecture)的传闻铺天盖地。据称,张益唐在参加10月15日北京大学校友Zoom线上会议时,在口头上承认了这一点。
曾经解决了「孪生质数猜想」从0到1的一步时,张益唐就已经轰动全世界数学圈。而如果他真的解决了朗道-西格尔零点猜想,无疑会引发一场大地震。
不过,相关论文似乎得等到下个月才能看到。
大器晚成的数学家,半生蛰伏,一鸣惊人!
上一次张益唐在互联网上引起这么大的关注,还是在2013年。
当时,他完成了论文《素数间的有界距离》,证明了「弱化版本的孪生素数猜想」。
论文于2013年发表在《数学年刊》上。
作为数学界耳熟能详的华人「大牛」,一般人可能会以为张益唐成果颇丰。
但实际上,他在40多年的学术生涯里,只发表过屈指可数的几篇论文。
其中比较出名的几篇,除了2013年发表的「弱化版孪生素数猜想」之外,另外两篇分别发表在2001年的《杜克数学期刊》和1985年的《数学学报》上,都是关于朗道-西格尔零点猜想的。
在接受《人物》周刊采访时,张益唐曾解释道:长久不发论文的原因,是因为自己很难接受「Partial result」——他手上已经攒了一些随时可以出成果的研究,但他不甘心拿出来,因为「完全做完之后拿出来的东西就是大东西了。」
这与如今主流数学家的做法都不同。
在成名前,张益唐就已经研究了朗道-西格尔零点猜想很多年。
2007年5月,他还在University of New Hampshire时,就曾为此写过一篇论文草稿。
当时,这篇论文还不完整,只是关于朗道-西格尔猜想的一个大概的证明纲要,张益唐把它在预印本服务器上保存了下来,然后就把它「撂下」,跑去做快要成了的「孪生素数」问题了。
天才的预判果然很有道理,接下来发生的事,你们已经知道了。
关于「孪生素数猜想」的论文让他大爆,一跃成为学界「顶流」。
Nature在「突破性新闻」栏目里对此成果做了专题报道。同时,罗夫·肖克奖 、柯尔数论奖、麦克阿瑟天才奖等重量级奖项,张益唐都拿到手软。
关于他的神奇事迹也被各媒体争相报道。
现在,时隔9年,因为他的一句话,数学圈忽然又沸腾了。
推测一下,应该是被他「撂下」多年的那篇朗道-西格尔零点猜想论文大纲已经补充完毕,完整论文出炉了。
这次,张益唐是准备二「爆」了?
所谓朗道-西格尔零点猜想,简单来说就是黎曼猜想的某种弱形式。
核心要回答的一个问题就是:是否存在一个叫做朗道-西格尔零点的东西。
首先我们设实数σ,t和复数s=σ+it。
根据知乎博主“TravorLZH”的介绍,十九世纪的数学家为了研究素数分布引入了黎曼猜想。
而为了研究等差数列上的素数分布,数学家Dirichlet引入了L函数。
再后来,数学家也发展出了对应的解析工具来说明L函数在σ=1时无零点,从而证明了等差数列上的素数定理:
但对于上面的公式,数学家们依旧是不满意,他们还要继续缩减L函数的非平凡零点的存在区域。
于是前人证明了L函数的非平凡零点基本上都能落在类似于下面公式中的沙漏型的区域:
如果L函数所有的非平凡零点都落在这个区域内,就可以得到带余项的等差数列素数定理。
可惜的是,数学家Edmund Landau发现当X满足特殊性质时其对应的L函数可能会出现落在上面公式之外的异常零点(exceptional zero)。
但幸运的是,Landau证明了对于每个这样的L函数,若下面区域中存在异常零点,则这样的零点只可能出现一个,而且阶数也恰好只能是一。
后来Walfisz利用这个更弱的非零区域得到了一个妥协版的等差数列素数定理:
很明显,这个公式的限制条件要多了许多,所以大家当然希望L函数能够没有异常零点。
由于Landau和Siegel两位数学家在L函数异常零点这个领域里做了开创性的工作,所以异常零点也常常被称为Landau-Siegel零点。
而断言L函数没有异常零点的猜测就被称为Landau-Siegel猜想。
整体来看,其实广义黎曼猜想恰好是Landau-Siegel猜想的充分条件。
但这一个世纪以来的研究表明Landau-Siegel问题可能比黎曼猜想还要难解决。
因此,要是张益唐证明的是朗道-西格尔零点,那么黎曼猜想是错的。
这也就是为何大家都对这则消息都用“骇人听闻”来形容了。
但就目前来看,很多人都更倾向于认为他证明的是朗道-西格尔零点不存在。
如此一来,就不会和黎曼猜想发生冲突。
至于具体证明了什么,还需要等待张益唐本人的正面回复了。
而且很多网友对此都认为:
考虑张的平生,其人沉稳坚毅,肯定不会信口胡说。
不过需要说明的是,目前为止,张益唐本人并未在其他场合和形式宣布这一进展。
让我们看一下黎曼猜想的起源。
1859年,德国数学家黎曼在论文「论小于给定数值的素数个数」中,首次提及这个猜想。
我们都知道,2、3、5、7、11这些数,除了1跟自己本身以外,不能被其他正整数整除,因此它们被称作质数。而所有大于1的正整数,都能够以质数的乘积来表示。
但如果要问:「比某个特定数值要小的质数有多少个呢?质数在整个数列中的分布情况又是如何?」
这个问题就复杂了。
而黎曼发现,质数的分布跟某个函数有着密切关系:
这个公式中,s是复数,可以写成s=a+bi这样的形式(a是s的实部、b是s的虚部、i则是根号负一)。
数学家们可以轻易证明,只要s的实部大于1,那么整个无穷级数里,把每一项的绝对值相加后,会得到收敛并趋近于某个定值的结果。
不过,对于s的实部小于1的状况,事情就没那么简单了:整个级数和可能会发散。
但我们又想要扩充函数的定义,让它适用更广泛的范围,那该怎么办呢?
只需运用一些「简单的」数学技巧,就可以把上面的黎曼ζ函数改写为:
其中的 Г ,称为伽玛函数(gamma function)。
由此可以发现,当s为负偶数(s= -2, -4, -6…)时,黎曼ζ函数为零。这些s的值,就称为平凡零点。
但是,除了平凡零点之外,还有其他一些s的值,能够让黎曼ζ函数为零──称为非平凡零点;它们不但对质数的分布有着决定性影响,实数部分还全都位于零和一之间。
到了这一步,已经到达了黎曼本人也无法证明的难度了。
不过他做了一个猜测,这些非平凡零点有着共同的特性:黎曼ζ函数所有非平凡零点的实部都是二分之一。
这就是赫赫有名的黎曼猜想。
张益唐研究的意义有多重大?
为何关于张益唐的爆料一出,就惊动了整个数学圈?
因为黎曼猜想是当今数学界最重要的数学难题之一,意义重大。
要想理解它的意义,我们不妨先了解一下数论的大背景。
数论是纯粹数学的分支,研究的是数的性质,可以说是最纯粹的数学。毕达哥拉斯、欧几里得、斐波那契、笛卡尔、费尔马、莱布尼兹、拉格朗日、欧拉、高斯、希尔伯特等著名的数学家都曾在数论的研究史上留下浓墨重彩的一笔。
数论的研究产生了很多的猜想,这些猜想将极大地推动数学的研究进展。
1900年,德国数学家戴维·希尔伯特曾在第二届数学家大会上提出了「20世纪数学家应当努力解决的23个数学问题」。
而2000年克雷数学研究所「千禧年大奖难题」提出了7个重要的猜想,这项猜想如果能被解决,密码学、航天和通讯等领域都会发生惊人的突破。
在众多的猜想中,黎曼猜想是唯一同时出现在希尔伯特23个问题和千禧年大奖难题中的猜想。
虽然在知名度上,黎曼猜想不及费尔马猜想和哥德巴赫猜想,但它在数学上的重要性,要远远超过后两者。黎曼猜想与费马大定理已经成为广义相对论和量子力学融合的m理论的几何拓扑载体。
目前,很多数论的猜想都已经被证实。1995年,费尔马大定理被证明;2002年,卡塔兰猜想被证明;2013年,孪生数猜想被证明;2013年,奇数哥德巴赫问题被证明。
但黎曼猜想一直都悬而未决。可以想象,如果有人证明了黎曼猜想,将是一个多么轰动的事件。
同理,如果黎曼猜想被证伪,也是数学界惊天动地的大事。
而张益唐如果真的证伪了黎曼猜想,或者证明了朗道-西格尔零点的存在,都无疑是核爆级的消息。
最后,让我们看看曾让张益唐名声大震的「孪生质数猜想」相关论文。
1992年博士毕业于普渡大学,张益唐度过一段坎坷的时光,终于在2013年,他对于「存在无穷多个差值小于7000万的质数对」的证明在五周内被《数学年刊》接收。
在这篇论文中,他找到了孪生素数对差值的上界——7000万,这是「孪生质数猜想」的重大进展,实现了从0到1的跨越。
后来,陶哲轩等数学家迅速将这个差距缩小到了246,但这相当于从1到2的跨越。相较而言,张益唐从0到1的这一步,意义更加重大。
关于两位数学家的研究成果,已经被拍成纪录片。
目前,坊间已经在热议,如果传说为真,张益唐的成就是否能超越丘成桐、陈景润。
让我们静等11月,看看张益唐是否会交出令自己满意的「大东西」。
微博博主“物理芝士数学酱”认为,如果张益唐所证明的是朗道-西格尔零点存在,那么黎曼猜想就可以死了:
张益唐直接就是前后50年里最伟大的数学家,没有之一。
但与此同时,他认为“这就过于骇人听闻”,因此他更倾向于认为张益唐所证明的,是朗道-西格尔零点不存在——“这也是更令人信服的结论”。
但这项工作的价值可以说是毋庸置疑,正如知乎网友爆料所述:
张益唐要是能把Landau-Siegel做出来,就相当于一个人被闪电击中两次。