15年磨一剑,张益唐被曝已证明黎曼猜想相关问题

近日,网传称数学家张益唐已经攻克了朗道-西格尔零点猜想,也有人说张益唐证明了黎曼猜想的相关问题,我们对这些数学专用术语不太了解,下面大家就和腾阅网小编一起了解一下张益唐被曝已证明黎曼猜想相关问题,黎曼猜想是什么意思。

张益唐被曝已证明黎曼猜想相关问题-1

张益唐被曝已证明黎曼猜想相关问题

网传数学家张益唐,已经攻克了朗道-西格尔零点猜想(Landau-Siegel Zeros Conjecture)。

而这则消息,据说是张益唐在参加北京大学校友Zoom线上会议时亲口所述。

如此爆料,可谓是在数学界轰动不已。

微博博主“物理芝士数学酱”认为,如果张益唐所证明的是朗道-西格尔零点存在,那么黎曼猜想就可以死了:

张益唐直接就是前后50年里最伟大的数学家,没有之一。

但与此同时,他认为“这就过于骇人听闻”,因此他更倾向于认为张益唐所证明的,是朗道-西格尔零点不存在——“这也是更令人信服的结论”。

但这项工作的价值可以说是毋庸置疑,正如知乎网友爆料所述:

张益唐要是能把Landau-Siegel做出来,就相当于一个人被闪电击中两次。

并且根据这条爆料消息来看,相关文章将会在11月初发到预印本网站,一百多页。

那么这个朗道-西格尔零点猜想到底是什么?

对它的证明,又为何会引发如此反响?

朗道-西格尔零点猜想

所谓朗道-西格尔零点猜想,简单来说就是黎曼猜想的某种弱形式。

核心要回答的一个问题就是:是否存在一个叫做朗道-西格尔零点的东西。

首先我们设实数σ,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问题可以比黎曼猜想还要难解决。

因此,要是张益唐证明的是朗道-西格尔零点,那么黎曼猜想是错的。

这也就是为何大家都对这则消息都用“骇人听闻”来形容了。

但就目前来看,很多人都更倾向于认为他证明的是朗道-西格尔零点不存在。

如此一来,就不会和黎曼猜想发生冲突。

至于具体证明了什么,还需要等待张益唐本人的正面回复了。

而且很多网友对此都认为:

考虑张的平生,其人沉稳坚毅,肯定不会信口胡说。

不过需要说明的是,目前为止,张益唐本人并未在其他场合和形式宣布这一进展。

张益唐被曝已证明黎曼猜想相关问题-2

半生蛰伏,一鸣惊人

实际上,关于朗道-西格尔猜想,早在07年老张就曾预印了一篇论文,但是里面的论证有些Bug。

此后,他多次提到过他正在关注这个问题。

然后在2019年,张曾表示在这个猜想上已取得一些可喜的进展。

不过要说张益唐从默默无闻到名声大振,还得把时间的指针拨到2013年。

那一年,他在数学最高期刊Annals of Mathematics上发表了震惊众多学者的《质数间的有界间隔》。

这篇文章首次证明了距离有限的质数对是无穷多的,在孪生素数猜想这一数论难题上取得质的突破。

而在这篇论文发表之前,他曾有令人羡慕的中外顶尖学府求学经历,但随后却经历了多年的蛰伏,甚至不得已跑去赛百味端盘子。

1978至1985年,张益唐在北大数院拿到了本科和硕士学位,并在硕士期间师从我国著名数学家潘承彪。

后来代数几何学家莫宗坚访问北大,并发掘了张。随后张就跟着莫飞往美国,到普渡大学(号称“太空人的摇篮”那个)读博。

最终当张提交博士毕业论文时,他已在普渡大学读了6年半,但在此期间他发表的学术论文寥寥无几。

值得一提的是,张益唐自己并不太喜欢代数几何学,而更热衷于数论。

所以他希望博士毕业以后离开这个圈子,回头去研究他感兴趣的数论,但导师莫宗坚得知后并不高兴,于是两人分歧越来越大。

结果就是,等张好不容易博士毕业,他却没有导师的工作推荐信。

(莫宗坚在张益唐成名后曾发文澄清过此事,认为没写推荐信是因为自己不知道给张推荐现成的工作是否合适,而且称这种做法在当时已经不太流行了)

再加上他性格偏内向,以及在读博期间发表的学术论文太少等因素,竟没有任何一个美国大学或研究所愿意要他。

曾有朋友向张建议转行从事金融或计算机行业,但他并不愿意。

一边是继续苦苦钻研数论;另一边,他也不得不四处谋生,但可惜在很长时间内,他都没找到好工作,有时甚至只能借住朋友家的地下室。

在此期间,他曾到一位北大校友开的快餐连锁店赛百味担任会计。因为这样可以让他在工作中发挥记忆力和计算能力方面的特长,并抽空研究数学。

所幸,他人生中的又一位“伯乐”出现了,是他在北大和普渡大学的校友唐朴祁。

1999年,张益唐与唐朴祁合作发表一项互联网专利。这项专利涉及一个实用性很广的计算机算法难题,但张只用了3周的时间就搞定了,这令唐对其刮目相看。

于是,唐朴祁向在新罕布什尔大学任教的学弟葛力明介绍张益唐,然后经葛力明推荐,张益唐先后在这里担任数学系与统计学系的助教和讲师,执教微积分、代数、初等数论等课程。

到此,他终于回归了学术圈,有了关注新进展、了解同行思想和下载学术论文的便捷渠道。

黎曼猜想是什么意思

黎曼猜想顾名思义,是由一位名叫黎曼 (Bernhard Riemann) 的数学家提出的,那位数学家于 1826 年出生在如今属于德国,当时属于汉诺威王国 (Kingdom of Hanover) 的一座名叫布列斯伦茨 (Breselenz) 的小镇。1859 年,黎曼被选为了柏林科学院的通信院士。作为对这一崇高荣誉的回报,他向柏林科学院提交了一篇题为《论小于给定数值的素数个数》的论文。那篇只有短短八页的论文就是黎曼猜想的 “诞生地”。

黎曼那篇论文所研究的是一个数学家们长期以来就很感兴趣的问题, 那就是素数的分布。素数是像 2、5、19、137 那样除了 1 和自身以外不能被其它正整数整除的数。这些数在数论研究中有着极大的重要性,因为所有大于 1 的正整数都可以表示成它们的乘积。从某种意义上讲,它们在数论中的地位类似于构筑万物的原子在物理世界中的地位。素数的定义简单得可以在中学、甚至小学课上进行讲授,但它们的分布却奥妙得异乎寻常,数学家们付出了极大的心力,却迄今未能彻底了解。黎曼那篇论文的一个重大成果,就是发现素数分布的奥秘完全蕴藏了在一个特殊的函数之中——尤其是,使那个函数取值为零的一系列特殊的点对素数分布的细致规律有着决定性的影响。那个函数如今被称为黎曼 ζ 函数,那一系列特殊的点则被称为黎曼 ζ 函数的非平凡零点 (下文中有时将简称其为零点)。

有意思的是,黎曼那篇论文的成果虽然重大,文字却极为简练,甚至简练得有些过分,因为它包括了很多 “证明从略” 的地方。而要命的是,“证明从略” 原本是该用来省略那些显而易见的证明的,黎曼的论文却并非如此,他那些 “证明从略” 的地方有些花费了后世数学家们几十年的努力才得以补全,有些甚至直到今天仍是空白。

黎曼为什么要把那么多并非显而易见的证明从略呢?我们无法确知,也许是因为它们对于他来说确实是显而易见的,也许是因为不想花太多时间来撰写文章。但有一点基本可以确定,那就是他的 “证明从略” 绝不是类似于调皮学生蒙混考试的做法,而且很可能也并不是把错误证明当成正确的盲目乐观——后者在数学史上不乏先例, 比如法国数学家费马 (Pierre de Fermat) 在写下费马猜想时所表示的 “我发现了一个真正出色的证明,可惜页边太窄写不下来” 就基本已被数学界认定是把错误证明当成正确的盲目乐观。因为人们后来从黎曼的手稿中发现他对许多论文中从略了的证明是做过扎实研究的,而且那些研究的水平之高,甚至在隔了几十年之后被整理出来时,有时也仍具有极大的领先性。

但黎曼的论文在为数不少的 “证明从略” 之外, 却引人注目地包含了一个他明确承认自己无法证明的命题,那个命题就是黎曼猜想。

那么,黎曼猜想究竟是一个什么猜想呢?简单地说,是一个关于我们前面提到的,对素数分布的细致规律有着决定性影响的黎曼 ζ 函数的非平凡零点的猜想。关于那些非平凡零点,容易证明的结果只有一个,那就是它们都分布在一个带状区域上,但黎曼认为它们的分布要比这个容易证明的结果齐整得多,他猜测它们全都位于该带状区域正中央的一条直线上,这就是所谓的黎曼猜想。而这条被猜测为包含黎曼 ζ 函数所有非平凡零点的直线则被称为临界线。

本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 psw2013#qq.com(#换成@)举报,一经查实,本站将立刻删除。

(0)
上一篇 2022年 10月 17日 21:04:30
下一篇 2022年 10月 17日 21:06:06

相关推荐

发表回复

登录后才能评论