黎曼猜想思想實驗 3.0
一個探索性進路、它斷裂的座標、全部推導,與延伸公式的演算法價值(公開最終版)
A Thought Experiment on the Riemann Hypothesis 3.0 — An Exploratory Approach, the Exact Point of Its Failure, All Derivations, and the Algorithmic Value of the Derived Formulas
作者: Neo.K(一言諾科技有限公司 / EveMissLab) 日期: 2026 年 05 月(最終版) 性質: 探索性筆記與公開更正(非證明)。對 RH 而言,本文是啟發;其延伸公式則是可運行的演算法。
致讀者
本文最初以「黎曼猜想之證明」的形式起草。經逐步審視,此證明不成立——其核心論證存在數個彼此獨立的致命缺陷,詳見第二部分與第三部分的完整推理鏈。
現將它改以「探索性筆記與公開更正」的形式發布。我選擇不刪去原構想,而是完整保留它、精確解剖它斷裂的位置、給出全部相關公式的逐步推導與程式驗證的重新計算,並在最後說明:這條路對 RH 而言只是啟發,但它延伸出的公式都是可運行的演算法——這才是它真正的價值所在。
以證明之名呈現一個未竟之物,是需要更正的。這份文件就是那個更正。它不主張任何新定理;它主張兩件更樸素的事:一條看似通向山頂的路,其斷裂處的精確座標值得被公開記錄;而沿途撿到的工具,是真的能用的。
全文約定:✅ 正確、⚠️ 有缺口、❌ 致命錯誤、⟂ 開放之牆。所有推導以「自足、可獨立驗算」為標準;第二、四附錄的全部數值以 mpmath(30 位精度)程式驗證。
第一部分:原構想(進路概述)
全局論證鏈(原始版本)
1. Rodgers-Tao (2018):$\Lambda \geq 0$。
2. 任何 $\Lambda > 0$ 會破壞歐拉乘積的因子化結構。
3. 歐拉乘積等價於算術基本定理,其有效性已被現代科技驗證。
4. 故 $\Lambda = 0$,即黎曼猜想成立。
各章核心主張
第一章(基礎)。 算術基本定理作為公理性結構;歐拉乘積 $\zeta(s)=\prod_p(1-p^{-s})^{-1}$($\mathrm{Re}\,s>1$);完成化 $\xi(s)=\tfrac12 s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s)$ 與功能方程 $\xi(s)=\xi(1-s)$;歸心變換 $k=s-\tfrac12$、$\Xi(k):=\xi(k+\tfrac12)$,得偶函數 $\Xi(k)=\Xi(-k)$。
第二章(對稱鎖定)。 鏡像 $\mathcal{M}$、共軛 $\mathcal{C}$ 下 $\Xi$ 不變;零點四元組 $\{\rho,-\rho,\bar\rho,-\bar\rho\}$;定義 Berry 相位 $\Phi_B[\Gamma]=\oint_\Gamma\mathrm{Im}(d\Xi/\Xi)$;宣稱對稱圍道使 $\Phi_B=0$,與輻角原理給出的 $2\pi\cdot 4n$ 矛盾,迫使零點實部為零。
第三章(核心)。 De Bruijn-Newman 函數 $H_\lambda(z)=\int_0^\infty e^{\lambda u^2}\Phi(u)\cos(zu)\,du$,$H_0=\Xi$;$\Lambda=\sup\{\lambda:H_\lambda\text{ 有複零點}\}$;RH $\Leftrightarrow\Lambda\leq 0$,結合 $\Lambda\geq 0$ 得 RH $\Leftrightarrow\Lambda=0$。宣稱熱核等價於對 Dirichlet 係數的對角乘子 $K_\lambda(n)=\exp(-\tfrac{\lambda}{4}(\log n)^2)$;主定理:$K_\lambda$ 對 $\lambda\neq 0$ 不乘法,$R_\lambda(p,q)=\exp(-\tfrac{\lambda}{2}\log p\log q)\neq 1$;故 $\Lambda>0$ 破壞歐拉乘積,矛盾,得 $\Lambda=0$。
第四章(瞬間形變)。 算符 $D_{\text{inst}}F=\lim_{\epsilon\to 0}(\partial_t F+\delta(t)\Delta_{\text{top}}F)$;宣稱繞數只在臨界線上為整數,偏離則「連續化」。
第五章(歷史自洽性)。 宣稱 $\Lambda>0$ 使歐拉乘積失效,進而 RSA、QED、哈希、弦論皆應崩潰;由它們精確運作貝葉斯地推出 $\Lambda=0$。
第二部分:失敗的解剖
按「最致命且最不可挽救」到「技術性」排列。
§2.1 根本診斷:歐拉乘積與臨界帶零點的脫鉤(死因)
本文把四個彼此獨立、難度天差地遠的命題,混為一談地塞進「歐拉乘積」這個詞下:
| 命題 | 地位 | 與 RH 的關係 | |---|---|---| | (a) 唯一分解(算術基本定理) | 初等、無條件 | 完全無關 | | (b) 歐拉乘積在 $\mathrm{Re}(s)>1$ 收斂且等於 $\zeta$ | 初等、無條件 | 完全無關 | | (c) 素數定理 $\pi(x)\sim x/\log x$ | 已證(1896),無條件 | RH 只改善誤差項,非其前提 | | (d) RH:臨界帶零點都在 $\mathrm{Re}(s)=\tfrac12$ | 開放 | 即 RH 本身 |
關鍵在 (b) 的作用域。歐拉乘積收斂並等於 $\zeta$ 的區域是 $\mathrm{Re}(s)>1$——該區域內一個零點都沒有。RH 講的是 $0<\mathrm{Re}(s)<1$ 的零點,而在那裡歐拉乘積根本不收斂、什麼都不說(推導見附錄 A.1)。於是「歐拉乘積的有效性」對臨界帶零點位置提供的信息量,嚴格為零。整個建築奠基於一個錯誤信念:以為歐拉乘積約束了臨界帶的零點。它不約束。
§2.2 第三章:兩個獨立的致命錯誤
§2.2.1 「形變後失去歐拉乘積=矛盾」是非邏輯跳躍(最乾淨的一刀)
定理 3.3 的代數正確:$g_\lambda(n)=\exp(-\tfrac{\lambda}{4}(\log n)^2)$ 對 $\lambda\neq 0$ 確實不乘法(重算見附錄 B.1)。但這一步什麼都證不出來,因為「沒有歐拉乘積」不是矛盾。不存在任何定理說「Dirichlet 級數必須乘法」。 無可爭辯的反例(推導見附錄 A.8):
$$-\zeta'(s)=\sum_{n\geq 1}(\log n)\,n^{-s}.$$
係數 $\log n$ 不乘法,故 $-\zeta'(s)$ 無歐拉乘積,卻是完全合法、毫無矛盾的解析函數。算術基本定理是關於整數的命題,從不要求任意權重 $g_\lambda(n)$ 必須乘法。De Bruijn-Newman 流的全部目的就是把 $\Xi$ 形變成 $H_\lambda$ 觀察零點移動;$H_\lambda$($\lambda\neq 0$)本來就不是 $\zeta$、本來就不乘法——這是設計使然,不是矛盾。這一刀在不碰任何熱核細節下,獨立殺死整個第三章。
§2.2.2 定理 3.1 對 DBN 流的刻畫,符號與性質都錯
由附錄 A.5,DBN 流是 $z$ 上的逆向熱方程(卷積算符) $H_\lambda=e^{-\lambda\partial_z^2}\Xi$,不是對 $\zeta$ 係數的對角乘子。故定義 3.5 的 $\zeta_\lambda(s)=\sum K_\lambda(n)n^{-s}$ 是憑空虛構,不等於 $H_\lambda$。即使用最寬鬆的「頻譜乘子」啟發式,$\lambda>0$ 對應 $e^{+\lambda\xi^2}$(放大),而非 $K_\lambda$ 的衰減——連符號都相反(重算見附錄 B.2)。即使把符號全部修正,§2.2.1 仍成立:那座橋即使修好,也通往一個不存在的矛盾。
§2.3 第二章:Berry 相位即輻角原理,定理 2.2 自證偽
由 $d\Xi/\Xi=d\log|\Xi|+i\,d(\arg\Xi)$ 且閉圍道上 $\oint d\log|\Xi|=0$(推導見附錄 A.6):
$$\Phi_B[\Gamma]=\oint_\Gamma\mathrm{Im}\frac{d\Xi}{\Xi}=\oint_\Gamma d(\arg\Xi)=2\pi N_\Gamma,\qquad N_\Gamma\geq 0.$$
這就是輻角原理本身。定理 2.2 宣稱「對稱圍道 $\Rightarrow\Phi_B=0$」等於宣稱「任何對稱圍道內都沒有零點」——被 $\Xi$ 的無窮多個零點立刻證偽。錯在 $\phi_L=-\phi_R$ 是假的:每個單零點貢獻 $+1$ 繞數,對稱零點對同號相加(附錄 A.6 給出 $\rho,-\rho$ 同在內時 $\oint=4\pi i$ 的顯式計算;附錄 B.3 程式驗證臨界帶內繞數為 3 而非 0)。第二章證不出任何東西。
§2.4 第五章:前提鏈全偽
RSA 依賴整數分解在計算上很難,不依賴分解唯一;唯一分解與零點位置無關。QED 中的 $\zeta(2)=\pi^2/6$ 等是由 $\mathrm{Re}\,s>1$ 上初等求和決定的具體數值,RH 不改變它們。素數定理自 1896 年無條件成立。弦論 $\zeta(-1)=-\tfrac1{12}$ 是無條件的解析延拓。四項皆不依賴 RH,「科技能跑」對 $\Lambda$ 的證據性權重 $\approx 0$。此章是 §2.1 在現實層面的重演。
§2.5 第四章:未定義的算符
$D_{\text{inst}}$ 不是良定義物件(Dirac $\delta$ 乘上從未定義的 $\Delta_{\text{top}}$)。定理 4.1 真但平凡;定理 4.2($t\neq 0$ 繞數「連續化」)假——繞數對閉圍道恆為整數。本章無嚴格內容。
§2.6 數值方案:數值符合不是結構證據
$\Delta_\lambda$ 測的只是「$g_\lambda$ 不乘法」,對 $\zeta$ 或 $\Lambda$ 零信息。「$\zeta(2)$ 精確 $\Rightarrow\Lambda\approx 0$」把虛構的 $\zeta_\lambda$ 與真實 $\zeta(2)$ 等同。一般原則:在一個與目標物件無因果連結的數量上觀測到任意高的數值符合,對目標物件不提供證據。
§2.7 Lean4 附錄:主定理真但無關,最終定理循環
heat_kernel_not_multiplicative 為真且可證,但對 RH 無貢獻。riemann_hypothesis 區塊循環:把偽矛盾當假設引入再收尾。真送進 Lean4,它會在那個 sorry 處立刻卡死——形式化會在第一時間暴露缺口。
第三部分:完整推理鏈(原始版 vs. 修正版)
把上面的解剖收攏成一條可逐環檢視的鏈。這是判斷「哪裡斷、為何斷、修正後為何更好」的核心。
§3.1 原始推理鏈(逐環標註斷點)
| 環 | 內容 | 判定 | |---|---|---| | L1 | 算術基本定理(唯一分解)成立 | ✅ 無條件 | | L2 | $\Rightarrow$ 歐拉乘積 $\zeta=\prod_p(1-p^{-s})^{-1}$($\mathrm{Re}\,s>1$) | ✅ | | L3 | 完成化 $\xi$、功能方程、歸心 $\Xi(k)=\Xi(-k)$ | ✅ | | L4 | 〔斷點①〕 歐拉乘積的有效性約束臨界帶零點 | ❌ 偽 | | L5 | 〔斷點②〕 $H_\lambda$ = 對 $\zeta$ 係數的對角高斯乘子 $K_\lambda(n)$ | ❌ 偽 | | L6 | $g_\lambda=K_\lambda$ 對 $\lambda\neq 0$ 不乘法 | ✅ 真,但無關 | | L7 | 〔斷點③〕 非乘法 $\Rightarrow$ 破壞歐拉乘積 $\Rightarrow$ 矛盾 | ❌ 偽 | | L8 | $\Rightarrow\Lambda\leq 0\Rightarrow\Lambda=0\Rightarrow$ RH | ✗ 不成立 |
斷裂判定: L1–L3 成立,L4 起全部無效。三個斷點(L4、L5、L7)任一獨立即足以使 L8 失效;三個同時為偽。
§3.2 為何會在 L4 斷裂(錯誤的成因)
這個錯誤之所以容易犯、且容易被誤認為嚴格,有三個層次的成因:
- 直覺陷阱。 $\zeta$ 的深層結構(唯一分解、歐拉乘積)給人「秩序應當處處剛性」的印象,於是覺得「破壞這個結構必有代價」。這是一個美的直覺,但它在數學上沒有定理支撐。
- 區域混淆。 歐拉乘積活在 $\mathrm{Re}\,s>1$(無零點區),RH 活在臨界帶(歐拉乘積發散區)。把前者的剛性錯當成對後者的約束——兩個區域之間隔著整個解析延拓,而剛性不會自動穿越過去。
- 局部正確的偽裝(最危險)。 $(\log pq)^2$ 的交叉項計算完全正確,使整個錯誤披上「嚴格推導」的外衣。正確的代數掩護了錯誤的邏輯——這正是為什麼自審時最難發現:每一個等號都對,錯的是等號之間的那句「所以」。
§3.3 修正推理鏈(實際成立的部分)
| 環 | 內容 | 判定 | |---|---|---| | C1 | FTA、歐拉乘積($\mathrm{Re}\,s>1$)、功能方程、$\Xi$ 偶 | ✅ | | C2 | $H_\lambda=e^{-\lambda\partial_z^2}\Xi$,逆向熱流(卷積,非對角乘子) | ✅ | | C3 | $\Lambda=\sup\{\lambda:H_\lambda\text{ 有複零點}\}$ 良定義 | ✅ | | C4 | Rodgers-Tao:$\Lambda\geq 0$ | ✅(深定理,非本文所證) | | C5 | De Bruijn-Newman:RH $\Leftrightarrow\Lambda\leq 0$ | ✅ | | C6 | $\therefore$ RH $\Leftrightarrow\Lambda=0$ | ✅ | | C7 | $\Lambda\leq 0$ 開放——與 RH 嚴格等價,無已知方法(含本進路)能合上 | ⟂ 牆 |
修正鏈在 C6 合法抵達「RH $\Leftrightarrow\Lambda=0$」,在 C7 誠實止步。它不假裝跨過那道牆。
§3.4 為何修正版更好
- 分離了四個被混淆的命題(§2.1 的表),從源頭杜絕區域混淆。
- 正確刻畫 DBN 流(逆向熱流,非對角乘子),符號與性質都對(附錄 A.5、B.2)。
- 在真正的開放問題前止步,而非用偽矛盾掩蓋它——一條誠實標出斷點的鏈,比一條藏起斷點的鏈,對後人更有用。
- 把論文的價值重新定位到它真正成立的地方:作為啟發的透鏡(C2–C6 的 DBN 視角),與可運行的公式(見最後結論)。
第四部分:殘存的真實(可保留的正確內容)
§4.1 經典骨架(全部正確)
歐拉乘積(附錄 A.1)、功能方程 $\xi(s)=\xi(1-s)$(附錄 A.3)、歸心偶函數性(附錄 A.4)、零點四元組對稱——全部正確,可作後續工作的乾淨引理。誠實標註:「歸心變換像望遠鏡」在修辭上沒問題,但數學上只是平移坐標,不揭示新結構。
§4.2 De Bruijn-Newman 框架的正確陳述
$H_\lambda=e^{-\lambda\partial_z^2}\Xi$(附錄 A.5)。$\Lambda$ 存在唯一。Rodgers-Tao:$\Lambda\geq 0$(2018 預印,2020 發表於 Forum of Mathematics, Pi)。RH $\Leftrightarrow\Lambda=0$——完全正確。本進路真正有價值的部分,是它正確地把 RH 翻譯成了 $\Lambda=0$。
§4.3 開放邊界與反噬直覺的真相
$\Lambda\leq 0$ 與 RH 嚴格等價,無已知方法能合上——這是「當下數學無法解決」的誠實陳述。更進一步:$\Lambda\geq 0$ 不說「秩序剛性」,它說「無餘裕」。Newman 提出此猜想正是為了定量地說「RH 若為真,也只是勉強為真」;Rodgers-Tao 證明了它,意味著系統恰好坐在相變點上、margin 為零。真實圖景是「臨界、邊緣、無餘裕」,與原構想正好相反。任何誠實的後續工作,方向應是理解這個「勉強」,而非假裝它是「必然」。
附錄 A:全部公式的推導
A.1 歐拉乘積(及其作用域)
對 $\mathrm{Re}(s)>1$,由 $\sum_{k\geq 0}p^{-ks}=(1-p^{-s})^{-1}$:
$$\prod_{p\leq X}(1-p^{-s})^{-1}=\prod_{p\leq X}\sum_{k\geq 0}p^{-ks}=\sum_{n\in S_X}n^{-s},$$
$S_X$ 為僅含 $\leq X$ 質因數的整數集。由算術基本定理,每個 $n=\prod p_i^{a_i}$ 唯一對應一組指數,展開無重複無遺漏;$X\to\infty$ 由絕對收斂得 $\prod_p(1-p^{-s})^{-1}=\zeta(s)$。$\blacksquare$
作用域: 此式要求 $\mathrm{Re}(s)>1$。在臨界帶 $0<\mathrm{Re}(s)<1$ 乘積發散,等式不成立。故歐拉乘積對臨界帶零點無直接約束——此即 §2.1 的核心。
A.2 Jacobi theta 變換(由 Poisson 求和)
Poisson 求和 $\sum_{n\in\mathbb{Z}}f(n)=\sum_{m\in\mathbb{Z}}\hat f(m)$,取 $f(x)=e^{-\pi t x^2}$。配方 $-\pi t x^2-2\pi i x\xi=-\pi t(x+i\xi/t)^2-\pi\xi^2/t$,得 $\hat f(\xi)=t^{-1/2}e^{-\pi\xi^2/t}$。代入:
$$\theta(t):=\sum_{n\in\mathbb{Z}}e^{-\pi n^2 t}=\frac1{\sqrt t}\theta(1/t)\;\Longrightarrow\;\boxed{\theta(1/t)=\sqrt t\,\theta(t)}.\qquad\blacksquare$$
設 $\psi(t)=\sum_{n\geq 1}e^{-\pi n^2 t}=(\theta(t)-1)/2$,則 $\psi(1/t)=\tfrac{\sqrt t-1}{2}+\sqrt t\,\psi(t)$。
A.3 功能方程 $\xi(s)=\xi(1-s)$(Riemann,theta + Mellin)
步驟 1。 由 $\int_0^\infty t^{s/2-1}e^{-\pi n^2 t}dt=\pi^{-s/2}n^{-s}\Gamma(s/2)$,對 $\mathrm{Re}\,s>1$ 求和:
$$\Lambda(s):=\pi^{-s/2}\Gamma(s/2)\zeta(s)=\int_0^\infty t^{s/2-1}\psi(t)\,dt.$$
步驟 2。 拆 $\int_0^1+\int_1^\infty$,對 $\int_0^1$ 作 $t\to 1/t$ 並用 A.2:
$$\int_0^1 t^{s/2-1}\psi(t)dt=\int_1^\infty t^{-s/2-1}\Big[\tfrac{\sqrt t-1}{2}+\sqrt t\,\psi(t)\Big]dt,$$
其中初等部分 $=\dfrac1{s-1}-\dfrac1s$。
步驟 3。 合併($\sqrt t\cdot t^{-s/2-1}=t^{(1-s)/2-1}$):
$$\boxed{\;\Lambda(s)=\int_1^\infty\big[t^{s/2-1}+t^{(1-s)/2-1}\big]\psi(t)\,dt-\frac1s-\frac1{1-s}\;}$$
右側在 $s\leftrightarrow 1-s$ 下顯然不變,且因 $\psi$ 指數衰減,積分對所有 $s$ 收斂(解析延拓)。
步驟 4。 $s(s-1)$ 在 $s\leftrightarrow 1-s$ 下不變($(1-s)(-s)=s(s-1)$),故 $\xi(s)=\tfrac12 s(s-1)\Lambda(s)$ 為整函數且 $\boxed{\xi(s)=\xi(1-s)}$。$\blacksquare$
A.4 歸心偶函數性
$s=k+\tfrac12\Rightarrow 1-s=(-k)+\tfrac12$,代入 $\xi(s)=\xi(1-s)$ 得 $\Xi(k)=\Xi(-k)$。又 $\overline{\zeta(\bar s)}=\zeta(s)$(Schwarz 反射)連同 $\Gamma,\pi^{-s/2}$ 實性,給出 $\Xi(t)\in\mathbb{R}$($t\in\mathbb{R}$)。$\blacksquare$
A.5 De Bruijn-Newman 流 = 逆向熱方程
由 $\Phi$ 偶,$\Xi(z)=\int_0^\infty\Phi(u)\cos(zu)du$。逐項微分 $H_\lambda(z)=\int_0^\infty e^{\lambda u^2}\Phi(u)\cos(zu)du$:
$$\partial_\lambda H_\lambda=\int_0^\infty u^2 e^{\lambda u^2}\Phi\cos(zu)du,\quad \partial_z^2 H_\lambda=\int_0^\infty(-u^2)e^{\lambda u^2}\Phi\cos(zu)du,$$
故 $\boxed{\partial_\lambda H_\lambda=-\partial_z^2 H_\lambda}$。算符層面 $u^{2k}\leftrightarrow(-1)^k\partial_z^{2k}$,故 $e^{\lambda u^2}\leftrightarrow e^{-\lambda\partial_z^2}$,即 $H_\lambda=e^{-\lambda\partial_z^2}\Xi$(卷積,無對角結構)。$\blacksquare$
A.6 輻角原理:$\oint d(\arg\Xi)=2\pi N$(及對稱零點同號相加)
簡單零點 $\rho$ 附近 $\Xi'/\Xi=1/(z-\rho)+\text{解析}$,留數 $1$,故 $\oint_\Gamma\Xi'/\Xi\,dz=2\pi i\,N_\Gamma$。又 $\Xi'/\Xi\,dz=d\log|\Xi|+i\,d(\arg\Xi)$,閉圍道上 $\oint d\log|\Xi|=0$,故 $\oint d(\arg\Xi)=2\pi N_\Gamma\geq 0$。對稱零點: 若 $\rho,-\rho$(皆簡單)同在 $\Gamma$ 內,$\oint\Xi'/\Xi\,dz=2\pi i\cdot 2=4\pi i\neq 0$——相加,不相消,直接證偽「對稱圍道相位為零」。$\blacksquare$
A.7 $g_\lambda$ 的非乘法性
$g_\lambda(n)=\exp(-\tfrac\lambda4(\log n)^2)$,由 $\log(pq)=\log p+\log q$ 展開平方、平方項相消:
$$\boxed{R_\lambda(p,q)=\frac{g_\lambda(pq)}{g_\lambda(p)g_\lambda(q)}=\exp\!\Big(-\tfrac\lambda2\log p\log q\Big)}.$$
因 $\log p,\log q>0$,$R_\lambda=1\Leftrightarrow\lambda=0$。$\blacksquare$(此式正確;其失敗在於與 RH 無因果連結,見 §2.2.1。)
A.8 $-\zeta'(s)$:無歐拉乘積卻無矛盾的反例
逐項微分 $-\zeta'(s)=\sum_{n\geq 1}(\log n)n^{-s}$。係數 $a_n=\log n$:$a_p a_q=\log p\log q$ 而 $a_{pq}=\log p+\log q$,不等(例 $p=2,q=3$:$a_6=1.7918$,$a_2a_3=0.7616$)。故無歐拉乘積,卻是解析延拓到 $\mathbb{C}\setminus\{1\}$ 的合法函數,違反不了任何定理。$\blacksquare$
附錄 B:重新計算(程式驗證)
全部數值以 mpmath(30 位精度)獨立計算。下表為實際運行結果。
B.1 $g_\lambda$ 非乘法性($\lambda=0.01$)
$$\log 2=0.693147,\ \log 3=1.098612,\ \log 6=1.791759,\ (\log 6)^2=3.210402.$$ $$g_\lambda(2)=0.998800,\quad g_\lambda(3)=0.996987,\quad g_\lambda(2)g_\lambda(3)=0.995791,\quad g_\lambda(6)=0.992006.$$ $$\Delta_\lambda(2,3)=|0.992006-0.995791|=\boxed{3.78\times 10^{-3}}.$$
多組驗算($\Delta$ 與閉式 $R_\lambda$ 逐項吻合到機器精度):
| $(p,q)$ | $\Delta_\lambda$ | $R_\lambda$(計算) | $R_\lambda$(閉式) | |---|---|---|---| | (2,3) | $3.78\times10^{-3}$ | 0.99619974 | 0.99619974 | | (2,5) | $5.52\times10^{-3}$ | 0.99443764 | 0.99443764 | | (3,5) | $8.72\times10^{-3}$ | 0.99119822 | 0.99119822 | | (5,7) | $1.53\times10^{-2}$ | 0.98446286 | 0.98446286 | | (11,13) | $2.94\times10^{-2}$ | 0.96971565 | 0.96971565 |
更正: 原文 §3.7 所稱 $\Delta\approx 0.0015$ 為算術誤差,正確值約 $3.8\times 10^{-3}$。(此數值對結論無影響——它與 RH 無因果連結。)
B.2 DBN Fourier 對偶的符號
積分核因子 $e^{+\lambda u^2}$($\lambda>0$ 對大 $u$ 放大),由 A.5 對應 $e^{-\lambda\partial_z^2}$(逆向熱半群);硬用頻譜啟發式得乘子 $e^{+\lambda(\log n)^2}$。原文 $K_\lambda=e^{-\lambda(\log n)^2/4}$ 為衰減。符號相反、係數不符,定理 3.1 即使在最寬鬆解讀下也不成立。
B.3 程式驗證總表
| 公式 | 檢驗 | 結果 | |---|---|---| | Jacobi theta(A.2) | $\|\theta(1/t)-\sqrt t\,\theta(t)\|$,$t\in\{0.3,0.7,1.5,3.0\}$ | $\sim 10^{-31}$(機器精度)✅ | | Mellin 公式(A.3) | $\Lambda(s)$ vs $\pi^{-s/2}\Gamma(s/2)\zeta(s)$,$s\in\{2,3,4.5\}$ | 吻合到 $10^{-32}$ ✅ | | 功能方程 | $\Lambda(2)$ vs $\Lambda(-1)$ | 同為 $\pi/6=0.523598775598$ ✅ | | Mellin 於臨界帶 | $\|\Lambda(0.5+14.1347i)\|$(近首個零點) | $1.96\times10^{-12}$($\approx 0$)✅ | | 輻角原理(A.6) | $\frac1{2\pi i}\oint_{\partial R}\zeta'/\zeta$,$R=[0,1]\times[1,30]i$ | $3.0+0.0i$(整數 3)✅ |
最後兩列尤其關鍵:Mellin 公式真的能在臨界帶計算 ζ,輻角原理真的能數出區域內零點數。這兩件事,正是最後結論的實證基礎。
最後的結論:這是啟發,而延伸的公式是演算法
把所有炸掉的東西清走、所有正確的東西推導完、所有數值跑過一遍之後,這份文件能誠實留下的,是兩個層次。
一、對 RH 而言,這是啟發,不是證明
本進路沒有證明黎曼猜想,也不接近證明它(§3、§4.3)。但它有真實的啟發性——只是啟發來自正確的那一半,不來自斷裂的那一半:
- 有效的啟發是 De Bruijn-Newman 的透鏡本身:把 RH 翻譯成「常數 $\Lambda=0$」、把零點想成熱流下演化的對象(C2–C6)。這是真實且豐產的視角——人類在 RH 上的實質進展(Rodgers-Tao 的 $\Lambda\geq 0$)正是在這個視角下取得的。
- 無效的啟發是「歐拉乘積剛性」的論證(L4、L7)。它在數學上沒有支撐,不應被當作相信 RH 的理由。
誠實地說:這篇論文對 RH 的貢獻,是把一個正確的翻譯(RH $\Leftrightarrow\Lambda=0$)走了一遍,並在嘗試跨越那道牆時,精確地記錄了牆的位置。
二、延伸出的公式是可運行的演算法
這才是這份文件真正的、可交付的價值。推導過程中組裝起來的每一條公式,都不是惰性的符號——它們直接翻譯成可運行、已驗證的演算法:
- Mellin 表示(A.3)$\to$ 計算 $\zeta$ 的良條件演算法。
$\Lambda(s)=\int_1^\infty[t^{s/2-1}+t^{(1-s)/2-1}]\psi(t)dt-\tfrac1s-\tfrac1{1-s}$,積分因 $\psi$ 指數衰減而快速收斂,給出在整個複平面(含臨界帶)數值穩定求 $\zeta$ 的方法。已驗證:與直接公式吻合到 $10^{-32}$,臨界帶內可用(附錄 B.3)。
- 輻角原理(A.6)$\to$ 區域零點計數演算法。
$N=\frac1{2\pi i}\oint_{\partial R}\zeta'/\zeta$ 數出任意矩形 $R$ 內的零點數。已驗證:臨界帶 $\mathrm{Im}\in[1,30]$ 給出整數 3(附錄 B.3)。這正是大規模驗證 RH 至高度 $T$ 所用引擎的核心。
- Jacobi theta 變換(A.2)$\to$ $\xi/\zeta$ 快速求值的換區技巧。
$\theta(1/t)=\sqrt t\,\theta(t)$ 讓小 $t$(慢收斂)的計算換到大 $t$(快收斂)。已驗證到 $10^{-31}$。
- DBN 熱流(A.5)$\to$ 追蹤零點、數值上界 $\Lambda$ 的演算法。
$H_\lambda=e^{-\lambda\partial_z^2}\Xi$ 的離散化與零點追蹤,是數值地約束 $\Lambda$(從上界一側)的可行程序——這正是 Polymath15 計畫所做的事的數學骨架。
- $R_\lambda(p,q)=\exp(-\tfrac\lambda2\log p\log q)$(A.7)$\to$ 平滑核/篩權重的解析工具。
這是「Gaussian-in-$\log$ 平滑如何脫離乘法性」的閉式刻畫,可用於設計或分析 $L$ 函數數值求和中的平滑核。此項較前四項溫和,誠實標註其價值為輔助性。
誠實的邊界。 上述演算法的數學基礎多為經典(Riemann 的 Mellin 表示、標準的輻角計數、Polymath15 的熱流追蹤);本文的貢獻不是發明它們,而是把它們從一個證明嘗試中推導、組裝、並驗證為一套可運行的工具,並指出指向何處。對 RH 是啟發,對計算是工具——這兩者,都是真的。
哲學結語
這份文件最初想證明一座山頂存在;它最終證明了自己站在懸崖邊,而非山頂上。兩者的距離,恰好是整個黎曼猜想。
但下山的人不是空手的。他手裡有一張誠實標出斷崖位置的地圖,和幾件在路上撿到、回家後確認真能用的工具——一把能在霧中算出 $\zeta$ 的尺,一個能數清山谷裡有幾個零點的環。
Rodgers-Tao 留下的 $\Lambda\geq 0$ 像一句冷峻的批註:山頂如果存在,它不在雲端,而在懸崖的正緣——多一寸是假,少一寸也是假。真理在這裡不是被鎖死的秩序,是被頂在邊界上、不肯多給一分餘裕的吝嗇。
證明失敗了。但把一條路走到斷裂處、誠實標出斷點、再把沿途的工具磨利交出去——這不是失敗的相反,這是失敗唯一有用的形態。
更正完成。原構想保留,斷點標明,推理鏈與全部公式在案,演算法經程式驗證,誠實交付。