攻克零点猜想,张益唐会成为全球最牛的数学家吗?

文章来源: - 新闻取自各大新闻媒体,新闻内容并不代表本网立场!
(被阅读 次)



作者丨吴朝阳 南京大学数学系副教授

“张益唐攻克兰道-西格尔零点猜想,距离解决黎曼猜想更近一步”的消息持续发酵。尽管公众大都不明所以,但这一原本极为小众的话题依然引起无数国人的关注。

“兰道-西格尔零点猜想”究竟是什么?它又有什么重要性?要准确理解这两个问题的答案,我们需要跨过足够高的专业门槛。对普通公众而言,了解这一领域的大致脉络,也许是更为现实的选择。



张益唐是如何一举成名的?

公元前五世纪,毕达哥拉斯学派认为“万物皆数”,这个观点得到几乎所有古希腊学者的认同。于是,古希腊人认为,对“数”的探索是了解和理解大千世界的关键,对“数”的研究成为古希腊学者最热衷的事情之一。

最基础、最“自然”的“数”是正整数。数的四则运算中,加减法相对简单,古希腊的学者们更关心的是关于正整数乘法的性质。正如30=2x3x5,正整数大都可以写成若干个小于自己而大于1的正整数的乘积。如果以乘法为构建手段,则大于1但不能写成这样的乘积的正整数就是正整数关于乘积的基本构件,它们被称为“素数”,中文也称为“质数”(与之相对的、可被乘法分解的正整数被称为“合数”)。

既然是正整数的基本构件,数学家们对素数自然就抱有极大的兴趣。大约在公元前四世纪,《几何原本》的作者欧几里得,就用精彩的反证法证明:存在无穷多个素数。此外,古希腊人还发现,随着考察范围的增大,素数变得越来越稀少;与此同时,古希腊人也发现,尽管素数在大的正整数中相当稀有,但似乎总是存在相差很小的素数对,他们因此猜测:存在无穷多个差为2的素数对。

这就是著名的“孪生素数猜想”。张益唐当年一举成名,就是在证明这个猜想的道路上迈出了重要一步:2013年4月17日,张益唐在《数学年刊》发表《质数间的有界间隔》,在孪生素数猜想这个此前没有数学家能实质推动的著名问题道路上迈出了革命性的一大步。



|《质数间的有界距离》摘要

研究数的性质的数学分支称为“数论”。大家熟悉的费马大定律、哥德巴赫猜想都属于这个分支领域。

数论专家们很早就发现一重要现象:素数的分布相当不均匀。那么,这无穷多个素数是如何分布的呢?在漫长的中世纪结束之后,寻找素数分布的规律,成为数论专家们极为重视的一个问题。

黎曼猜想的新闻为何能带来轰动?

18世纪中叶,瑞士数学家欧拉以一个在数学家看来极为简洁的乘积公式,把素数与复指数的无穷级数联系到了一起。19世纪50年代,德国数学家黎曼在欧拉及其后几代数学家工作的基础上,构造出大名鼎鼎的“黎曼ζ函数”。黎曼证明,黎曼ζ函数零点的分布与素数的分布规律关系紧密,一旦弄清楚黎曼ζ函数零点的分布,精确的素数分布规律便将大白于天下。

基于此,黎曼在1859年给出了一个猜测:黎曼ζ函数的所有非平凡零点都位于复平面的直线上。这就是名动天下的黎曼猜想。

这个猜想,是一个极难攻克的问题——黎曼在给出这个猜想的时候,就明确表示自己证明不了。后来,有人问大数学家希尔伯特(他曾经在数学上比爱因斯坦更早发现广义相对论):如果你离开地球五百年之后再返回地球,你的第一个问题将会是什么?希尔伯特回答说,我会问:黎曼猜想解决了没有?

事实证明,希尔伯特的判断是正确的。诞生160多年之后,黎曼猜想仍然悬而未决。

与黎曼几乎同时,另一位德国数学家狄利克雷引入“狄利克雷L函数”,这个函数是黎曼ζ函数的推广。于是,数论中出现了“广义黎曼猜想”。

广义黎曼猜想比黎曼猜想“威力”更大,它的成立与否,决定着孪生素数猜想等重大数论命题的命运。事实上,目前已经有2000多个数学命题依赖于广义黎曼猜想的解决,可见它在数论中有着无可比拟的重要性。

20世纪初,几位数学家发现,狄利克雷L函数可能存在所谓的“异常零点”,因而引出了“兰道-西格尔零点猜想”。这个猜想说,狄利克雷L函数不存在异常零点。这种异常零点的存在与否,和广义黎曼猜想的正误紧密相关:如果狄利克雷L函数存在异常零点,则广义黎曼猜想不成立。

然而,多年的研究显示,兰道-西格尔零点猜想是一个非常难于解决的问题,有些数学家甚至认为,它比广义黎曼猜想更难被攻克!

如果张益唐真的攻克了“猜想”……

至此,我们知道:素数是自然数的基本构件,素数的分布问题是关于自然数的学问(数论)中极为重要的问题,包括孪生素数猜想在内的许多素数分布问题的解决,都依赖于广义黎曼猜想,而兰道-西格尔零点猜想与广义黎曼猜想紧密相关。因此,毫无疑问地,兰道-西格尔零点猜想是数学中一个关系重大的猜想,它的攻克理所当然是数论界的重大事件。

如果张益唐证明兰道-西格尔零点猜想不成立,那么他就投出了一颗威力无比的重磅炸弹:广义黎曼猜想不成立,而2000多个相关命题也将随之寿终正寢。如果张益唐证明兰道-西格尔零点猜想成立,那么广义黎曼猜想依旧岿然不动,但其证明仍然非常重要。因为,它必然为数论研究提供了全新的数学工具,同时证明了人类智慧的高超,并为广义黎曼猜想的成立提供了旁证。



| 2019年,张益唐教授在未来科学大奖科学峰会上,分享了Landau-Siegel零点问题

作为外行的公众,不妨如此理解这一问题:广义黎曼猜想如同是一根支柱,诸多数学家傍依着这根支柱添砌砖头建了一面墙;现在,张益唐可能在这根支柱上钻了一个孔,可以初步窥视这根支柱的成色——如果钻孔处显示它只是一根烂木头(兰道-西格尔零点猜想不成立),那么这堵墙将轰然倒塌,所有砖头将抛洒一地;如果钻孔处显示是钢筋(兰道-西格尔零点猜想成立),那么这根支柱的整体质量将等待进一步的检验来证实。

顺便说一下,列名于上述猜想的兰道(Edmund Landau,1877 - 1938)和西格尔(Carl Ludwig Siegel,1896 - 1981)都是德国一流的数学家。在纳粹上台之后,兰道很快就被迫退休,西格尔则因为反感纳粹政权而在数年后远走美国。毫不夸张地说,纳粹政权在数年间就使数学界首屈一指的哥廷根学派分崩离析,使德国数学永远失去旧日的辉煌。

wass 发表评论于
同意问题哥的观点
wass 发表评论于
对的,他就是一个三流数学家。如果有方法创新,也就是二流的
wass 发表评论于
华人数学家陈省身是一等数学家
wass 发表评论于
物理是假想,然后实验验证。数学是猜想,然后证明
wass 发表评论于
数学界有一种说法,发展一套全新的理论,是一等数学家;发展一种新方法,是二等数学家;证明一个结论是三等数学家。不知道他有没有新方法
橡皮潜艇 发表评论于
这也是数理之别。物理上可以不经证明就认定光速是速度极限,数学上不行。论严谨性,数理隔十万八千里
平面几何 发表评论于
我曾是南京大学數学糸的学生.1962年数学糸造出了中国大学中第一台計算机,是电子管的.(科学院除外)。我们都去看。在美国数学和英文是初中、高中主課中的主課。在中国数学和中文也是如此.在美国物理及化学,生物各佔一年高中时間。所以在美国,中学的数学和英文尤其重要。至于专业,其它大学的各种各样专业更重要。
supernova13 发表评论于
@问题哥
他论文开头的公式右边是 < 7000万,看来意义在于他思路,后来素数间距从7千万降到 246 就比较具体了。
问题哥 发表评论于

@supernova13
不是刚好7千万,而是一个大约7x10^7的上限。
supernova13 发表评论于
相信张益唐在孪生素数方面的突破很牛,就是有一点不理解:为什么他的证明给出的上限刚好是7000万?而不是一个貌似比较随机的大数?
问题哥 发表评论于

那非常重要的abc猜想,是我中学的同学的PhD导师提出的 (远在他去欧洲之前)。

竞选 发表评论于
谁说说,哥德巴赫猜想、孪生素数猜想、黎曼猜想等等有什么实际应用?哪个产品中要用到这些猜想?
竞选 发表评论于
我的意思是,既然计算机已经在非常大的大数以内验证了这些猜想,那实际中就大胆把这些猜想当成正确的结论去应用吧(如果它们还有实际应用的话),不要花时间和精力去证明这些猜想了。
问题哥 发表评论于
。。。于是就有了一个途径,把7000万逐渐缩小,如果缩小到间隔小于4时,孪生素数猜想就得证了。
好消息是,目前的进展,优化后素数间距7千万已经被降为246;坏消息是现已证明用这个思路,间隔最多降到6,也就是说,张益唐的途径无法最终证明孪生素数猜想。
另外,下面有人说陈景润证明了哥德巴赫猜想,这是不对的,他证明的所谓“1+2”是说“一个大偶数可以表示为一个素数及一个不超过两个素数的乘积之和”,这个与哥德巴赫猜想,即“任何偶数可表示为两个素数之和”不是一回事。这个跟张益唐的情况类似。。
问题哥 发表评论于
。。。于是就有了一个途径,把7000万逐渐缩小,如果缩小到间隔
封泥巴 发表评论于
还是那句话,中国为了维持一党制度付出成本实在太高了,人才流失还是小事,到处拜码头,这不140亿买飞机,
老歌好听 发表评论于
我在硅谷,我认识无数大陆年轻工程师,他们在讨论的是怎么取得美国公民身份。你说的是哪个硅谷?
==============≈=============
马年生 发表评论:’据说硅谷就不下6万北大清华学子,他们现在聚会时谈得最多的就是是否回国。顶尖的几个最近都回到大陆了’
老大粗 发表评论于
咱不懂数学,但知道张教授攻克的零点猜想就证明了习主席的清零政策永远正确。
gameon 发表评论于
最敬佩数学家。

数学是啥?

数学是人类唯一能用来和宇宙缔造者交流的语言。
老歌好听 发表评论于
不对的。东亚人基因中有高达3%的尼安德特人的成分。撒哈拉以南的非洲人则是纯种的现代人。这个可以是种族主义的基础吧?
==========================
Deepspace_01 发表评论于 2022-11-06 04:2
为何总要考虑皮肤颜色呢?大家都一样嘛。动物的同一个钟,即使看起来完全一样,却有不同的strain。可人尽管肤色不同,确属于同一个strain。奇怪吧?其他strain的人类都灭绝了,只有我们这个strain幸存下来 (也几乎灭绝)。可我们却根据皮肤颜色自我划分成不同种族。种族主义旧思维。民主党一天到晚强调种族,是搞种族主义。
吃才 发表评论于
别忘了,张益唐是著名的民运人士
Radianz 发表评论于
@马年生
------------------------------------------------------------------------
你TM不往政治上,爱国上扯你活不了? 他是中国人为中国争光了成吧。看人类近500年发明。 不说其他科学单从数学,按人口比例最牛的是欧洲小国。
true? 发表评论于
To kedixxxx
true? 发表评论于
原来也存在某一个平行宇宙的民主党主张人人平等。
在那个平行宇宙,民主党给华人和黑人同样的机会上大学和找工作?华人受歧视时,也能得到民主党控制的媒体对犹太人同样程度的关注?
马年生 发表评论于
不管美国原来走什么希腊路还是英国路,如果老美持续“中国行动”那种种族歧视,华裔回国的会更多。据说硅谷就不下6万北大清华学子,他们现在聚会时谈得最多的就是是否回国。顶尖的几个最近都回到大陆了。
jw2009 发表评论于
从这些数学历史可以看到古希腊社会有多么伟大,让纯粹的抽象思维跑得多远,所以西方科学界一直认为罗马帝国是人类的黑暗时期,使人类抽象思维停止了两千年。。尽管罗马帝国也有一些实用的发明创造,但是那个社会追求专制,禁止自由思想,对整个人类社会是个罪恶。
美国虽然有着种种不是,但是美国在建国之初就是以古希腊社会为建国篮板的,鼓励人们的自由思想,这是美国与专制社会的根本不同。。
马年生 发表评论于
张益唐是中国人的基因,北京大学的功底。
基度山101 发表评论于
新罕布什尔州大学对他那么好,也没能留得住他!天才!
逐风 发表评论于
又来了。当初陈景润就差点攻克哥德巴赫猜想,但后来就没有后来了。可劲儿吹吧。
驻日评论员 发表评论于
数学和物理还打起来了。。
数学因为概念定义抽象但严谨,所以可以脱离物质世界严谨而永恒。。
物理是解释物质世界,有尺度层次所以错综复杂。。

和从物理无关的角度看,现在数学里只有数论算是纯数学。。
现在数学确实不知在研究什么。。
而现在物理也脱离实验实际,越来越数学。。
要么实验,要么逻辑,必须有所依托。。
ridicu 发表评论于
楼下几个数盲,不懂就别现眼了。数论不是没有用,而是非常有用。上网用到的非对称加密,就是用大的素数来构造密钥。所以,张益唐证明了有无限多的素数对,间隔不大于一个常数七千万,非常有意义。
马年生 发表评论于
作为外行不懂他的才智,但是,从全世界那麽多一流大学都争相延揽他,可以看到他有多牛。
ca_lowhand 发表评论于
对于密码学有一定意义。但就如同楼下所说,人类不需要理论证实就可以在实际应用中先假设理论是正确的。所以还是没卵用。
老柏树 发表评论于
在数论领域,张益唐现在肯定是最牛的。

至于下面etc说的数学无用一说,太功利了。并不是所有人做的事都是物质上的,职业政治家,比如习大大,拜登,奥巴马,这辈子做的事直接产生了经济效益吗?

而百家争鸣2012说的“西方才是以钱来作衡量标准,以致于成绩最好的学生都想医生和律师倾斜,已经侵蚀西方国家发展的基础。”太偏见了,去看看顶级名校的数学,理论物理,理论计算机科学的助理教授出身就知道了。

比如在计算机科学方面,中国与西方差距最大的反而是理论计算机科学,应用的,像AI,计算机网络,差距反而小,甚至有些小分支是并驾齐驱。
日人民报 发表评论于
数论是人类各民族智力比拼。

当成奥运会的一个分支。
令胡冲 发表评论于




其实,数学是信仰,物理是现实。数学是探究绝对真理的。数学定理一旦成立,就会成为永恒定理,不随宇宙时空变化,是抽象的永恒。相对而言,物理是对现实宇宙的认知,都是暂时的现象描述,一切物理定律,包括牛顿和爱因斯坦广义相对论,量子力学,超弦与圈量子引力理论,都是暂时的逼近和假设,都会被证伪被改变。

——————
size0 发表评论于 2022-11-06 04:49:02 数学是抽象的极致,但是只能是物理学的工具。物理,才是信仰!
size0 发表评论于
数学是抽象的极致,但是只能是物理学的工具。物理,才是信仰!
令胡冲 发表评论于


肯定是最牛当代数学家之一。不过,这篇帖文作者水平不够,最后一段有点不知所云,似乎都说不清张益唐究竟证实了还是证伪了零点猜想。

诚信 发表评论于
"这就跟陈景润证明哥德巴赫猜想一样,有个屁用……"

的确这样。

数学是逻辑哲学,是对逻辑现象的描述,来自于又推动科学的发展。科学(物理,化学,生物学)是对自然现象的描述。

所以, 历史上不朽的伟大科学家, 牛顿,高斯以及文中提到的那些,全都是成功发现了某种逻辑现象,并将之清晰描述出来,形成相当完整的数学理论, 而不是证明或证伪别人的猜想。

金30年来,数学几乎停滞发展,主要是数学界的这个畸形文化造成的, 错误认为证明一个别人的猜想是"最牛的", 将学科引入歧途。

size0 发表评论于
华人总是以实用,能换来钱作为衡量学术研究的标准。希望他成为最牛数学家。自然科学里,其他人种的科学家太多了,华人需要努力!
橡皮潜艇 发表评论于
数学是宇宙语语言。纵有一日天荒地老、宇宙毁灭、新宇宙再生,现有物理定律无效,数学规律仍然会成立。与外星人共通点非数学莫属。
壹加一 发表评论于
关于《质数间的有界间隔》,证明了存在无穷多对质数间隙都小于7000万。但是从数论角度,所有间距小于七千万的质数可以分为
所有间距为2,4,6,8,10,⋯,7000万的数列之和。
也就是说以上数列之和为无穷。

因为任意有界的N个有界数列m,之和为Nm,为有界。

所以间距为2,4,6,…,7000万的数列中必有一个为无界。但是我们还是不知道其中哪一个,或哪几个为无界。

将其扩展,间距为2,4,6,⋯,7亿亿万,所有质数之和,7000万到7亿亿万之间的有限个数列中,仍然不知道哪几个是有界还是无界的,尽管7000万之内的数列之和为无限。

问题在于何处?
请指教
etctiger 发表评论于
这就跟陈景润证明哥德巴赫猜想一样,有个屁用……
FollowNature 发表评论于
恭喜张教授。