张益唐111页论文攻克朗道-西格尔零点猜想

简介: 张益唐111页论文攻克朗道-西格尔零点猜想

一、前言

10月15日的一个下午,我正在拜读张益唐的《Bounded Gaps Between Primes》论文,前面正看的入迷的时候,突然传来了一个重磅的消息,张益唐已证明朗道-西格尔零点猜想,当时各大自媒体新闻直接炸了,光是素数的有界间距证明了存在无穷组间距小于七千万的相邻素数对就足以名垂青史了,现在又直接攻克朗道-西格尔零点猜想,直接颠覆了我的认知,黎曼猜想被列为世界七大数学难题之一,一百多年前前后后无数的数学家在这条道路前赴后继。张益唐攻克朗道-西格尔零点猜想,这可能影响整个数学界未来数论的走向,为啥怎么说呢?因为朗道-西格尔零点猜想是广义黎曼猜想的反例,要是这样,整个数学界直接炸了,因为很多公式都是基于黎曼猜想成立的条件下推导出来的公式。

下面老周就来说道说道朗道-西格尔零点猜想,以及朗道-西格尔零点猜想与黎曼猜想、广义黎曼猜想的关系。

二、黎曼猜想

我们先来说下黎曼猜想

黎曼猜想(Riemann hypothesis,RH)由德国数学家波恩哈德·黎曼于1859年提出。它是数学中一个重要而又著名的未解决的问题,有“猜想界皇冠”之称,多年来它吸引了许多出色的数学家为之绞尽脑汁。其猜想为:

刚开始看会有一点点吃力,没事,我们从最基础的开始,听我娓娓道来。

我们先来说下我们小学的时候所学的素数,这个应该没人不知道吧?素数是只能被1和它自身整除的大于1的自然数。那为什么要先说素数呢?因为黎曼猜想与朗道-西格尔零点猜想都与素数的研究有关。两千多年前,欧几里得用反证法证明了素数是无限多的。两千多年后的欧拉研究的无穷序列求和:

数学公式编辑器不太好打出来,我这边直接手画了。

大学高数的时候,我们学过这个无穷序列求和函数,被称为s的函数,后来被称为ζ函数。

我们知道,s>1的时候,该级数是收敛的;s=1的时候,该级数是发散的调和级数。

欧拉直接利用调和级数发散的性质,证明了素数倒数和也是发散的,这就间接证明了"素数无限多个",因为有限的序列之和不可能发散,再利用级数与素数的关系推广成欧拉乘积公式。

而黎曼呢,是针对s进行了解析延拓,原来欧拉s只是正整数,现在黎曼对于s解析延拓到复平面内。

目前,借助计算机强大的算力,已经验证了超过了200亿个非平凡零点的实数部分都是1/2,也就是说都在1/2的这条线上。

三、广义黎曼猜想

说广义黎曼猜想之前呢,我们先来说下L函数,十九世纪的数学家为了研究素数分布引入了黎曼猜想,而为了研究等差数列上的素数分布,数学家 Dirichlet 引入了L函数。

X(n) 狄利克雷特征有下列性质:

  • 存在正整数k,使得对于任意n都有X(n)=X(n+k)。
  • 对于任意m、n,X(m+n)=X(m)X(n)。
  • X(1)=1

黎曼ζ函数是狄利克雷L函数的特例,所以狄利克雷L函数叫做广义黎曼猜想。

四、朗道-西格尔零点

朗道-西格尔零点被称为黎曼猜想的反例,西格尔和导师朗道对L函数进行了深入的研究,发现满足特殊性质时L函数可能出现异常零点,异常零点是说,这种零点不位于实部1/2直线上,而是在非常靠近1的地方,这种零点被称为朗道-西格尔零点。不过,它们证明了这样的零点最多只有一个。

如果朗道-西格尔零点真存在,那么广义黎曼猜想就错了。

具体的证明如下:

具体证明流程,感兴趣的小伙伴可以去我网盘里获取。

链接: https://pan.baidu.com/s/1-r-nbB02dmJOQfjUaNbPRw

提取码: 4xar

至于是否真正证明,论文估计要几个月审稿才会出最后的结果,让我们拭目以待,一起见证历史吧!!!


Java

相关文章
|
7月前
|
人工智能 自然语言处理 算法
当prompt策略遇上分治算法,南加大、微软让大模型炼成“火眼金睛”
【2月更文挑战第24天】当prompt策略遇上分治算法,南加大、微软让大模型炼成“火眼金睛”
66 2
当prompt策略遇上分治算法,南加大、微软让大模型炼成“火眼金睛”
|
4月前
【2023 华数杯全国大学生数学建模竞赛】 A题 隔热材料的结构优化控制研究 问题分析及完整论文
本文提供了2023年华数杯全国大学生数学建模竞赛A题的完整论文,深入分析了隔热材料的结构优化控制研究,包括建立数学模型、求解单根纤维的热导率、优化织物结构参数以及考虑对流换热影响的模型调整,旨在开发出具有更优隔热性能的新型织物。
86 0
【2023 华数杯全国大学生数学建模竞赛】 A题 隔热材料的结构优化控制研究 问题分析及完整论文
|
7月前
|
机器学习/深度学习 算法 Go
中科院医学2区7.4分|双疾病思路,学习一下cMAP
这篇研究通过综合生物信息学分析和机器学习,探讨了慢性肾脏病(CKD)与钙化性主动脉瓣疾病(CAVD)之间的关联,发现了17个潜在的诊断标志物,并构建了基于SLPI/MMP9的CAVD诊断列线图。该研究揭示了CKD相关CAVD的免疫途径,为未来血清诊断和治疗提供了新视角。文章发表在《Journal of Translational Medicine》上,IF为7.4。
174 0
|
算法 Android开发 Kotlin
LeetCode 周赛上分之旅 #42 当 LeetCode 考树上倍增,出题的趋势在变化吗
学习数据结构与算法的关键在于掌握问题背后的算法思维框架,你的思考越抽象,它能覆盖的问题域就越广,理解难度也更复杂。在这个专栏里,小彭与你分享每场 LeetCode 周赛的解题报告,一起体会上分之旅。
118 0
LeetCode 周赛上分之旅 #42 当 LeetCode 考树上倍增,出题的趋势在变化吗
|
存储 编译器
FileBuffer转ImageBuffer【滴水逆向三期43笔记】
FileBuffer转ImageBuffer【滴水逆向三期43笔记】
刚刚,常温常压超导首被证明理论可行:美顶尖实验室论文出炉
刚刚,常温常压超导首被证明理论可行:美顶尖实验室论文出炉
160 0
四年研究浓缩为几分钟实验,已故教授所提理论在太空得到证明
四年研究浓缩为几分钟实验,已故教授所提理论在太空得到证明
|
算法
计算机基础问题,最大流问题获突破性进展:新算法「快得离谱」
计算机基础问题,最大流问题获突破性进展:新算法「快得离谱」
|
算法 程序员 C++
【算法集训 | 暑期刷题营】8.11题---回溯与剪枝
【算法集训 | 暑期刷题营】8.11题---回溯与剪枝
【算法集训 | 暑期刷题营】8.11题---回溯与剪枝
|
算法 程序员 测试技术
【算法集训 | 暑期刷题营】8.3题---贪心
【算法集训 | 暑期刷题营】8.3题---贪心
【算法集训 | 暑期刷题营】8.3题---贪心

热门文章

最新文章