第494章 留下属于自己的足迹

黎曼猜想可以说是数学史上最著名的未解难题之一了。

1859年，德国数学家波恩哈德·黎曼在论文《论小于某给定值的素数个数》中提出了一个关于黎曼泽塔函数的猜想：黎曼泽塔函数的所有非平凡零点的实部都等于二分之一。

这个看似简单的陈述，背后牵动着整个解析数论的核心脉络。如果黎曼猜想被证明为真，那么素数分布的最精确描述，也就是素数定理的误差项将得到最严格的数学保证，数论中数以百计建立在“假设黎曼猜想成立”基础上的定理全都将瞬间获得完整的证明。

一个半世纪以来，无数顶尖的数学家在这条路上留下了自己的足迹。

哈代第一个证明了无穷多个零点恰好落在临界线上，李特尔伍德用精细的振荡积分将零点密度的下界估计往前推了一大步，塞尔伯格用迹公式将零点分布和自伴算子的谱联系起来，蒙哥马利发现了零点对关联函数和随机矩阵理论之间的神秘对应，孔涅则试图用非交换几何的谱三元组框架来捕获零点分布的全局结构。

每一代人都向前走了一段，但那个终极证明，临界线上零点密度的精确下界是否等于百分之百始终没有人能够触及。

肖宿之前证明过周氏猜想，也证明过孪生素数猜想，这两个问题和黎曼猜想同属解析数论的核心领域，但是难度和涉及到的内容都不一样。

周氏猜想是要证明关于梅森素数的无穷性，孪生素数猜想是要证明关于相差为二的素数对是否无穷多，两者的证明，本质上是在现有的筛法和圆法框架上做极致的组合优化，虽然需要极大的数学技巧，但它们要处理的数学结构是相对清晰的，无非是素数在整数中的分布模式，而整数是一个均匀的、一维的序列。

而黎曼猜想就不一样了，它要处理的是泽塔函数在复平面上的零点分布，它的零点不是均匀排列的，它们的间距具有极其复杂的分形特征，而这种分形特征和量子混沌系统中随机矩阵的特征值分布呈现出惊人的相似性。

要证明黎曼猜想，你需要的不是在现有的框架上修修补补，而是重新构造一套能同时捕获全局谱测度和局部涨落的全新数学语言。

NS方程和质量间隙问题虽然也是世界级难题，但是它们和肖宿之前在流体力学和规范场论中发展的和乐框架有着天然的契合，解决起来更多是成熟工具的定向移植和扩展。

而黎曼猜想不一样，它的底层数学结构涉及解析数论、随机矩阵理论、非交换几何和谱理论多个截然不同领域的深度交叉，很多工具需要从零开始构造。

对肖宿来说，小智、灵枢手术机器人、天衡、鸾鸟，哪怕是对大多数人来说天方夜谭的天枢，这些改天换地的工程虽然有趣，但远远不如最开始证明哥德巴赫猜想和质量间隙问题来得让他开心。

那些工程本质上都是他已有理论的延伸应用，是一种重复劳动，而重新打开一扇未知的门，则是一种纯粹的享受。

他最近重新接触到黎曼猜想，还是因为写《数学原理》时偶然翻到了蒂奇马什那本经典的《黎曼泽塔函数理论》。

书里用渐近展开处理泽塔函数在临界带上的增长阶估计很有想法，但是蒂奇马什的方法在处理临界线上零点密度的精细下界时，边界条件的处理过于粗糙了。

他在把积分核从整个复平面收缩到临界带时，对边界的截断方式依赖于一个很生硬的人工参数，这种截断在物理直观上说得通，但在数学上丢掉了边界附近零点涨落的关键信息。

那个地方如果换一套更精细的积分核，把边界处的调和分析做得更细致一些，可以把下界估计再往上提半个数量级。

这个念头搁在肖宿脑子里已经有好一阵子了，一直没找到整块的时间来推演，现在正好可以整理出来。

他把蒂奇马什那本书从书架上抽出来翻到相关章节，又在坐标纸上铺开了新的推导。

肖宿这次找的切入点是泽塔函数在临界线上的零点密度估计。

从哈代-李特尔伍德到塞尔伯格，每代数学家都在这一块留下过自己的标记，现在，肖宿也打算从塞尔伯格迹公式出发，不同的是，这次他换了一个处理方式。

塞尔伯格迹公式的核心是把黎曼泽塔函数的零点分布和某个自伴算子的特征值联系起来，本质上是一个谱问题，但是塞尔伯格当初构造那个自伴算子时，由于非交换几何的工具还没有成熟，他的构造在某些地方依赖于一些比较生硬的人工截断。

如果把这些人工截断换成孔涅的非交换几何框架中的自然边界条件，那么整个谱问题的处理就会变得光滑很多。

沿着这个思路，肖宿不断往下推进，研究的前两天进展还算顺利。

塞尔伯格迹公式在非交换几何的重新表述下，零点密度的下界估计果然比蒂奇马什的经典结果漂亮了不少。

不过推到临界线上零点间距的精细分布时，肖宿不得不停了下来。

塞尔伯格的方法在这里遇到了一个天然的瓶颈：迹公式给出的是零点分布的全局平均，而要想精确刻画零点间距的局部分布，需要知道每个零点的精确位置。

全局平均由塞尔伯格迹公式给出，局部涨落则由蒙哥马利对关联函数描述。

这两个量在现有的数学框架下是分离的，它们各自都有完备的理论，但是没有任何人找到过一条能把它们同时纳入同一个数学框架的路径。

肖宿尝试了好几种方法将他们融合在一起。

第一种是把蒙哥马利对关联函数直接嵌入塞尔伯格迹公式的谱测度构造中，用扰动展开把局部涨落当作迹公式的高阶修正项加进去。

不过这个思路推到第三天就卡住了，扰动展开在零点间距极小时发散，蒙哥马利对关联函数在短距离上的排斥效应太强了，任何有限阶的扰动展开都无法收敛。


　　(https://www.uuuxsvv.cc/80242/80242597/54949899.html)


1秒记住U小说：www.uuuxsvv.cc。手机版阅读网址：m.uuuxsvv.cc