Λ 的新上界：de Bruijn–Newman 常数

# Λ ≤ 0.1787854 — 德布鲁因-纽曼常数的新界限 来源：https://www.judegomila.com/posts/riemann-lambda-0.1787854 完整证明解析 ## Λ的新上限：德布鲁因-纽曼常数不超过0.1787854 我是Jude Gomila，自2025年起私下探索ζ函数。本文是一系列关于人机协作发现的成果之一。本文聚焦德布鲁因-纽曼常数Λ——一个具有以下性质的实数：**黎曼猜想成立当且仅当Λ ≤ 0**。目前无人能证明这一点，但已知的上限可以降低。本文展示我如何通过计算机辅助证明，将Λ从0.2降至0.1787854，且不依赖任何未证明的猜想。我将逐步解析整个证明过程。每项声明均链接至我的审计仓库（https://github.com/judegomila/dbn-lambda-01787854-candidate-audit）和独立审查记录。欢迎通过GitHub issues（https://github.com/judegomila/dbn-lambda-01787854-candidate-audit/issues）提交反馈、错误报告或改进建议。 **先前界限**：Λ ≤ 0.2 **本次结果**：Λ ≤ 0.1787854 **方法**：Polymath 15准则 + 区间证书 **特别致谢**：Dan Romik（https://en.wikipedia.org/wiki/Dan_Romik），Max Atkin（https://uni-bielefeld.academia.edu/MaxAtkin） Λ ≤ 0.1787854 = 129/800 + 87677/5,000,000：一个精确有理数，通过精确算术从3,149,013 + 883 + 1个机器检验的区间证书得出。 已排除的界限： - 1/2 · de Bruijn，1950 - 0.22 · Polymath 15（陶哲轩等），2019 - 0.2 · Platt–Trudgian，2021 更早的上界 Λ的范围： 0 ⟺ 黎曼猜想成立 0.1787854 · 本成果 **动画** 证明过程时长2分35秒——从ζ(s)到黎曼的ξ(s)、H₀归一化、德布鲁因热流，以及锁定Λ ≤ 0.1787854的三项检验。也可查看：/assets/zetasota (https://www.judegomila.com/assets/zetasota/index.html)。 1. 00 黎曼猜想的重要性（https://www.judegomila.com/posts/riemann-lambda-0.1787854#rh） 2. 01 Λ：决定黎曼猜想取值的常数（https://www.judegomila.com/posts/riemann-lambda-0.1787854#lambda） 3. 02 加热函数使其零点移向实轴（https://www.judegomila.com/posts/riemann-lambda-0.1787854#heatflow） 4. 03 Λ的界限及其方法原理（https://www.judegomila.com/posts/riemann-lambda-0.1787854#history） 5. 04 证明Λ上界的三项有限检验（https://www.judegomila.com/posts/riemann-lambda-0.1787854#criterion） 6. 05 检验一：黎曼猜想在屏障下已通过机器验证（https://www.judegomila.com/posts/riemann-lambda-0.1787854#height） 7. 06 检验二：310万个窗口被认证为无零点（https://www.judegomila.com/posts/riemann-lambda-0.1787854#windows） 8. 07 检验二续：一个引理覆盖剩余至无穷区域（https://www.judegomila.com/posts/riemann-lambda-0.1787854#tail） 9. 08 检验三：零点无法穿越的壁垒（https://www.judegomila.com/posts/riemann-lambda-0.1787854#barrier） 10. 09 结合检验得出Λ ≤ 0.1787854（https://www.judegomila.com/posts/riemann-lambda-0.1787854#assembly） 11. 10 证明的四层验证机制（https://www.judegomila.com/posts/riemann-lambda-0.1787854#audit） 12. 11 此方法无法达到Λ ≤ 0的原因（https://www.judegomila.com/posts/riemann-lambda-0.1787854#limits） 13. 12 来源与链接（https://www.judegomila.com/posts/riemann-lambda-0.1787854#provenance） ## 序言 ## 黎曼猜想的重要性 素数2、3、5、7、11、13、...是算术的原子：每个整数以唯一方式分解为素数乘积，因此素数的性质即全体数的性质。单个素数出现不规则——已知规则无法根据前几个素数推导下一个。但整体计数遵循一条定律：不超过x的素数数量接近一条光滑曲线（素数定理，1896年证明）。开放问题在于误差项的大小——真实计数与曲线的最大偏离程度。这一误差项由黎曼猜想控制，这也正是黎曼猜想的关键：优化误差项可改进数百项依赖它的数论结果。 **图1**：素数计数阶梯函数π(x)（深色阶梯线）在每个素数处上升一级。蓝色虚线为光滑预测值Li(x)。两者之差是波的叠加，每个黎曼ζ函数零点对应一个波。黎曼猜想断言每个波的振幅达到理论最小值。 1859年，伯恩哈德·黎曼（https://en.wikipedia.org/wiki/Bernhard_Riemann）解释了这种隐藏秩序的来源。他采用欧拉恒等式，将素数与复变量函数ζ(s)联系起来： $$ \zeta(s) = \sum_{n \ge 1} \frac{1}{n^s} = \prod_{p \text{ prime}} \left(1 - p^{-s}\right)^{-1} $$ （悬停或点击彩色术语可查看说明） 他将函数扩展到整个复平面，并发现素数计数围绕光滑曲线的波动**精确地**由该函数的**零点**位置决定（通过显式公式）。每个零点贡献一个波到误差项中；零点的纵坐标决定波的频率，关键的是，其横坐标决定波的**振幅**。黎曼观察到他能检验的所有零点都位于一条垂直线Re s = 1/2上（即**临界线**——给出最小可能振幅的位置），并认为“极有可能”所有零点都如此。这一论断就是**黎曼猜想**。其具体内容：不超过x的素数计数误差始终不超过√x量级，这与抛掷x次公平硬币的波动幅度相同。素数允许呈现随机性；黎曼猜想禁止它们出现系统性偏斜。 波动描述是实际公式，您可在下方交互演示。石板色阶梯函数计数素数幂（前述阶梯函数的加权版本，使数学表达精确），朱红色曲线为黎曼公式构建的波动——由光滑趋势加每个零点对应的一个波组成。拖动滑块观察三十个零点如何刻画素数： **试一试**——用ζ函数零点逐波构建素数： - 0/30：无零点：仅有光滑趋势x，错过每一级阶梯 - 4/30、8/30、12/30、20/30、x=20/60/100 素数：ψ(x)，每个素数幂对应一个阶梯 黎曼公式包含的零点波数量：**0/30** 每个零点的实部恰好为1/2，使其波随x增长呈√x量级增长——这是显式公式允许的最慢增长速率。若零点偏离临界线（实部β ≠ 1/2），其波将按x^β增长，与其他波不同步，导致素数计数偏离轨道。 此问题已悬而未决167年。它属于希尔伯特第八问题（1900年），现为克雷数学研究所千禧年难题之一；数论等领域的数百条定理在“假设黎曼猜想成立”的条件下得到证明。计算机已验证零点至数万亿级——全部位于临界线上——但验证不等于证明。解决路径在于将问题转化为一个可调整的数值——这正是Λ的作用。 Λ（下一章严格定义）将黎曼猜想重新表述为关于一个实数的命题：**黎曼猜想成立当且仅当Λ ≤ 0**（这是已证明的等价关系，见第1章）。该重构带来三点后果： 1. 进展变得**可量化**：是/否型猜想无渐进空间，而Λ的上界可逐步缩小：1/2 → 0.22 → 0.2 → 现在0.1787854。 2. 自2018年起已知Λ ≥ 0，故Λ被限制在[0, 当前上界]区间内，黎曼猜想等价于Λ位于区间左端点；每次上界的改进都意味着向答案更近一步。 3. Λ的界限是**无条件的**——其中不依赖黎曼猜想本身。 降低Λ上界是推进黎曼猜想研究的少数严格、可量化途径之一。 ## 第1章 ## Λ：决定黎曼猜想取值的常数 一个实数的符号决定问题：黎曼猜想成立当且仅当Λ ≤ 0。 从黎曼ξ函数开始，这是ζ函数的重新包装： $$ \xi(s) = \frac{1}{2} s(s-1) \pi^{-s/2} \Gamma(s/2) \zeta(s) $$ 黎曼猜想断言其所有零点位于临界线Re s = 1/2上。 旋转坐标系使临界线变为实轴（本证明采用Polymath 15归一化H₀(z) = 1/8 ξ(1/2 + iz/2)），黎曼猜想简化为： **黎曼猜想的重述**：全纯函数H₀的每个零点都是**实数**。 1950年，德布鲁因提出用单参数流**形变**此函数——数学上即对其施加热方程： $$ H_t(z) = \int_0^\infty e^{tu^2} \Phi(u) \cos(zu) \, du $$ 其中Φ是固定的超指数衰减核函数，H₀ = 1/8 ξ。正数t使函数平滑，将其零点“驱赶”向实轴；负数t使函数粗糙化，将零点推离实轴。德布鲁因证明：一旦所有零点变为实数，它们在后续所有时刻保持为实数。因此存在单一阈值（1976年由纽曼精确化）： $$ \Lambda = \inf \{ t : H_t \text{仅有实零点} \} $$ 该阈值即**德布鲁因-纽曼常数**，它将黎曼猜想从关于无穷多个零点的命题转化为关于一个实数的陈述： $$ \text{黎曼猜想} \iff \Lambda \le 0 $$ **类比**：Λ是恒温器读数。ξ函数如同一个充满粒子（其零点）的房间，t是温度：升温使粒子沉降到地板（实轴）；降温则使部分粒子悬浮。Λ是最后一个粒子落地的精确温度。黎曼猜想断言房间建成时（温度为零）所有粒子已在地板上。由于无法检查每个粒子，我们退而求其次：证明落地温度足够低。 **图2**：Λ的知识现状。黎曼猜想等价于Λ ≤ 0；该等价关系本身是定理。Rodgers–Tao（2018）证明Λ ≥ 0，因此黎曼猜想若成立则“勉强成立”。本成果移动另一侧墙壁：已知Λ ≤ 0.1787854。真实值位于朱红色区间内，黎曼猜想指出其位于区间左端点。 一个方向现已确立。纽曼猜想Λ ≥ 0，并著名地指出“若黎曼猜想成立，则仅勉强成立”——Rodgers与Tao于2018年证明此点。因此Λ被限定于： $$ 0 \le \Lambda $$ 进展只能来自上界侧。本证明将上界推至： $$ \Lambda \le 0.1787854 $$ 鉴于下界为0，这移除了剩余区间约10%以上的部分。 ## 第2章 ## 加热函数使其零点移向实轴 复零点对以可计算速率向实轴沉降；证明提供了最后一个零点落地的时间表。 在流作用下，H_t的零点如同相互作用的粒子运动：实零点沿实轴相互排斥，每对**共轭复零点**被拉向实轴。对于高度为y的孤立零点对（即z = x ± iy），其动力学满足（忽略高阶修正）： $$ \frac{dy}{dt} \approx -\frac{1}{y} \quad \Longrightarrow \quad \frac{d(y^2)}{dt} \approx -2 $$ 因此**平方高度**以恒定速率2下降，起始高度为y的零点对在约y²/2时间落地。最终界限具有相同形式：t₀ + y₀²/2：“将流运行至时间t₀，证明无零点高于y₀，然后等待y₀²/2时间让滞后者落地。” Polymath 15定理1.2（下一章介绍）是此陈述的严格、可计算版本。 **试一试**——运行热流观察零点落地： - 实轴——黎曼猜想希望每个零点在此处落地 - 落地时间：t=0.1922、0.1250、0.0722、0.0365、0.0175 - 初始高度y₀ = 0.1873 - 时间t：**0.0000** 仍为复零点 - 5对零点适用规则：高度为y的零点对在t = y²/2时落地 - ...加热中 **类比**：暴雨后雨滴沉降。每对复零点是高度y的水滴，此处“重力”作用于高度平方：每个水滴以恒定速率2损失y²。无需跟踪单个水滴——只要证明在时间t₀时无水滴高于y₀，物理学将完成论证：天空在t₀ + y₀²/2时完全放晴。难点在于证明部分，这分为下一章的三个组成部分。 两个结构性事实使时间表可证： 1. 零点随t**连续运动**：零点不可能凭空出现在某点。 2. 零点的垂直速度受动力学限制，因此空区域除非被零点穿越边界否则保持为空。 这两点将问题简化为“围栏”区域并检查围栏——这正是准则的要求。 ## 第3章 ## Λ的界限及其方法原理 从德布鲁因的1/2到Polymath的0.22再到0.1787854。 德布鲁因于1950年证明Λ ≤ 1/2。59年后，Ki、Kim和Lee将其改进为严格不等式Λ < 1/2。当前方法可追溯至2018–2019年，当时陶哲轩的Polymath 15项目建立了热流的*有效*理论：H_t的显式、可计算逼近及严格误差界，以及将三条有限、可验证命题转化为Λ上界的准则（定理1.2）。 Polymath 15应用该准则得到Λ ≤ 0.22；代入Platt–Trudgian 2020年创纪录高度的黎曼猜想验证，将同一机制推至0.2。 **图3**：七十六年来从上方的挤压。德布鲁因的1/2保持了六十年，直到Ki、Kim、Lee将其变为严格不等式；Polymath 2019年的突破——本证明实例化的准则——将其降至0.22，Platt–Trudgian的黎曼猜想验证记录将同一准则推至0.2。战线下方：纽曼1976年猜想Λ ≥ 0，Rodgers–Tao 2018年证明之，因此区间从该侧无法越过零点闭合。 **类比**：定理1.2如同留在工地的起重机：任何能提供其所需三个认证部分（验证高度、净末时区域、壁垒）的人均可使用它提升界限。本证明制造了更重的部件，用同一起重机（在当今验证高度下接近其额定容量）提升。 Λ的挤压有两个独立方向，机制完全不同。两者均位于**上半平面**：因H_t在实轴上取实值，每个偏离实轴的零点x + iy都有镜像零点x - iy，故只需追踪上半平面区域——x沿实轴位置，y度量零点距