◎实习记者 都 芃

    2024和1是量的区别，无限和2024是质的区别。由原本一个不知道是否无限的数，确定为一个有限的数，相比过去的证明结果，这次的证明在一定程度上可以说是质的飞跃。

    袁岚峰

    中国科学技术大学副研究员

    对于研究数论的人来说，或许存在两个宇宙。朗道-西格尔零点存在于其中一个宇宙中，而在一个宇宙中，朗道-西格尔零点则不存在。让他们感到困惑的在于，人类究竟处于哪个宇宙之中？

    关于这个问题，美国加州大学圣塔芭芭拉分校教授、美籍华裔数学家张益唐前不久给出了他的初步答案，我们极有可能处于不存在朗道-西格尔零点的那个宇宙中。近日，在面向北京大学师生和公众的线上学术报告会上，张益唐分享了他关于朗道-西格尔零点猜想的最新研究成果。

    朗道-西格尔零点猜想的“前世今生”究竟如何？如果张益唐的最新研究成果通过验证，对数学界将产生哪些影响？就这些问题，科技日报记者采访了相关专家。

    从素数到广义黎曼猜想

    要理解朗道-西格尔零点猜想，还要从素数开始讲起。素数也称质数，是指只能被自身和1整除的正整数。

    中国科学技术大学副研究员、知名科普专家袁岚峰向科技日报记者介绍，素数可以被理解为是构成自然数的基本单元。袁岚峰认为：“素数有一种关乎数学本质的、奇妙且神秘的美感。”

    公元前300年左右，古希腊学者欧几里得通过十分简洁、巧妙的方法证明了素数是无穷的。

    在这个发现之后，人们又不禁发问，既然素数是无穷的，那么素数的分布是否有规律，是否可以得出一个关于素数的通项公式？这成为了此后数千年间无数伟大的数学家，尤其是数论研究者魂牵梦绕的问题。在追寻这一问题答案的过程中，诞生了如哥德巴赫猜想、孪生素数猜想、黎曼猜想等诸多举世闻名的数学相关问题。

    19世纪中叶，德国数学家黎曼在一篇论文中发表了重磅观点，即素数分布的奥秘完全隐藏在一个特殊的函数中，这就是著名的黎曼ζ函数。使这个函数取值为0的一系列特殊点会对素数的分布规律产生决定性影响。这些点便被称为黎曼ζ函数的非平凡零点。如果用最简洁的语言来表述黎曼猜想，那便是黎曼ζ函数的所有非平凡零点的实部都等于1/2。如果在复平面上作图，则这些零点都分布在实部为1/2的直线上。

    黎曼猜想被提出后，为了研究等差数列上的素数分布问题，德国数学家狄利克雷又引入了狄利克雷L函数。该函数被看作是黎曼ζ函数的推广形式。数学家们认为，狄利克雷L函数上的零点也都位于实部等于1/2的那条直线上，这便是广义黎曼猜想。广义黎曼猜想和黎曼猜想在数学中都具有重要价值。袁岚峰表示，目前人们已经在假定它们成立的前提下证明了许多命题。假如能证实这两个猜想，人类将能站上更高的平台，看到更美丽、广阔的数学风景。

    或迈出证明“零点猜想”正确性的一大步

    德国数学家西格尔和其导师朗道在对狄利克雷L函数进行研究时发现，一个异常零点可能并不存在于那条实部为1/2的直线上，而是位于非常接近1的地方。这个零点也被命名为朗道-西格尔零点。如果这个零点真的存在，那么广义黎曼猜想将会被推翻。虽然广义黎曼猜想目前尚未得到证明，但数学家们大多默认其正确性。因此猜测朗道-西格尔零点不存在，这就是朗道-西格尔零点猜想。而证明朗道-西格尔零点并不存在，也成了包括张益唐在内的诸多数学家的夙愿。

    根据张益唐的自述，他自上世纪末便开始思考朗道-西格尔零点猜想，并在2007年时发表过一篇相关论文，但那篇论文并不完美。在今年10月中旬，张益唐在北京大学大纽约地区校友会上透露，他本质上解决了朗道-西格尔零点猜想问题，当即引发数学界轰动。在近日举行的线上报告会正式开始前，张益唐谨慎地表示，他此次的研究成果“只是在一定范围里部分地解决黎曼假设应该是对的。”之所以这样说，是因为张益唐并没有完全证明朗道-西格尔零点猜想，但已经在证明其正确性的路上迈出了一大步。

    在张益唐给出的两个证明定理中，一个定理的指数是-2024。但是，如果要完全证明朗道-西格尔零点猜想，理想情况该指数应该是-1。当报告会中有学生问道，2024可以进一步缩小到多少时，张益唐坦言：“很多步骤还可以更精细，到几百是可以的。但如果要到1，仅用目前这个办法是不够的。”

    袁岚峰表示：“2024和1是量的区别，无限和2024是质的区别。由原本一个不知道是否无限的数，确定为一个有限的数，相比过去的证明结果，这次的证明在一定程度上可以说是质的飞跃。”

    山东大学教授刘建亚也认为，自20世纪30年代以来，朗道-西格尔零点猜想的研究便几乎没有出现实质性的突破。如果此次张益唐的证明通过验证，或将在一定程度上改写解析数论的教科书。

    将反证法用到极致且不断创新

    张益唐此次采用的论证方法是数学中经典的“矛盾证明法”，也称为“反证法”。根据张益唐的博士生、加拿大女王大学数学与统计学博士后阮大卫的描述，张益唐首先是假设朗道-西格尔零点以弱形式存在，推导后发现这会导致狄利克雷L函数中的其他零点以非常规则的间距排列起来。但实际上，这些零点的分布并不具备这样的规律，连续零点之间的间距是不可预测的。因此，反过来证明了朗道-西格尔零点在这个区间内不存在。袁岚峰表示，虽然反证法已是数学中极为经典的方法，但张益唐将其应用到了极致。

    反证法虽是人人都能理解的基础方法，但这次证明的过程是难以想象的艰深。张益唐将其比喻为大海捞针，“我试了很多方法，包括变分法、积分方程等，但关键一步都跨不过去。后来我发现，即使捞不到这根针，我也已经把海底环境摸索清楚了，也不一定非得捞到这根针。”

    袁岚峰认为，这里说的“针”是指传统证明方法中需要的某个数列。“以前找到这样一个数列便能构造出某种矛盾，用反证法证明某类问题。张益唐证明孪生素数猜想的相关结果，用的就是这种方法。但这次对于朗道-西格尔零点猜想的证明，他发现这种传统方法并不适用，无论如何都找不到这样的一根‘针’。但他在大量研究后发现，有许多个数列都能达到同等的较弱的效果，于是他利用这个事实构造出矛盾，应用反证法解决了问题，这也就是为什么他说‘不一定非得捞到这根针’。”袁岚峰说。

    张益唐认为，经典方法是否有效，取决于能否将它用到极致。袁岚峰表示，此前的许多数论研究都以朗道-西格尔零点不存在为前提假设，假如这次张益唐能够在一定范围内证明朗道-西格尔零点猜想的正确，将会使得许多研究的假设性结果变为确定性结果。

    张益唐本人则表示，目前的研究成果只是在小范围内证明朗道-西格尔零点猜想是对的，即该零点确实不存在。但研究还需进一步完善，下一步他将继续深化对于朗道-西格尔零点猜想的研究。