张益唐被曝已证明黎曼猜想相关问题，震动数学界

luyuanhong

张益唐被曝已证明黎曼猜想相关问题，震动数学界

2022-10-16 13:31:01　来源：量子位

金磊 Alex 发自 凹非寺

Breaking News！

网传数学家张益唐，已经攻克了朗道-西格尔零点猜想（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 问题可以比黎曼猜想还要难解决。

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

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

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

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

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

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

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

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

半生蛰伏，一鸣惊人

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



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

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

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

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



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

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

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

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

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

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

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

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

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

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



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

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

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

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

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

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

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

……

至于有关此次曝光的朗道-西格尔零点猜想，我们将持续保持关注。

参考链接：

[1] https://mp.weixin.qq.com/s/QSmHDBGYwGy-mCMjVj-GDw
[2] https://www.zhihu.com/question/559674941
[3] https://www.zhihu.com/question/360965839/answer/2113995432
[4] https://www.zhihu.com/question/360965839
[5] https://weibo.com/2703634217/MatuJ2kAe?type=comment

量子位 QbitAI · 头条号

ysr

可以预言：美国佬信口雌黄的东西不足为信，和张的与孪生素数猜想相关的文章一样，没有价值！

独舟星海

今天又知道了，一个新的东东，等差数列中的素数定理。可能认识比较肤浅，我就认为，所谓等差数列中的素数定理，无非就是等分公理，在整个素数王国，无论安那个素数，或合数划分素数类，它们的多少取决于素数式的多少，如素数5划分的，5m+1型，5m+2型,5m+3型，5m+4型，这四类等差数列中，任何一类数都是1/4的占有量，有了素数定理，那么，它们中的素数个数容易表示出来，那个φ(q)明显是欧拉函数，φ(5)=4.
        这种认识，是一个对素数有点研究的都有这样的认识，至于，谁可以证明它，那是痴人说梦，因为，没有那种原理可以利用，就好像平行公理，只是人们对两条直线的一种认知，如果，没有平行线的定义（平行公理），你那什么证明它们平行，或者说，可以从“势”上加以证明，它们在自然数上等势，即它们的数量一样多，成为素数的可能性从模5上完全一致，各占据1/4的份额。

被遗弃的草根

等我还有三篇论文发表后，再来教张先生怎样证明孪生素数猜想。

被遗弃的草根

@痛打落水狗，你怎么不跟倒张益唐卖身到美国去，为美利坚合众国服务呢？

被遗弃的草根

本人既不崇洋，也不媚外。只见那只落水狗才在罔顾事实、处心积虑地极力诋毁国人在数学研究上的进展，而呵谀奉承、卑躬曲膝地拼命往“洋人”的屁股上贴金。

痛打落水狗

张天树这个怂货对自己给外国人白白送钱的崇洋媚外铁证避而不谈。

痛打落水狗

张天树真是恬不知耻。给外国人送钱，换取在没人看的野鸡杂志上发表毫无价值的东西，与“努力”二字有半毛钱关系吗？

痛打落水狗

我从一开始就讲的很清楚，是你张天树自己在哥德巴赫猜想吧发帖，承认自己给这些外国野鸡杂志送钱，然后发表论文，证据都在哥德巴赫猜想吧，你时不时还顶上来炫耀给其他民科看，怎么今天又不承认了？
至于这些杂志是不是野鸡，国内外还真就有评判标准，国外有科睿唯安（Clarivate）数学及其分支学科排名（分Q1-Q4），国内有中国科学院文献情报中心数学类排名（I-III区），张天树，你送钱的这些杂志，能排进里面的哪个区啊？还敢说不是野鸡杂志！

痛打落水狗

张天树，这还就不是我从我的嘴里说出来的，是从你自己的狗嘴里吐出来的确凿依据。老子痛打的，就是你这种落在水里还它妈敢嗷嗷直叫的狗东西！