← Archive
lm-000122 · 2026-05

RH3.0_公開最終版

下載 MD 檔 ⬇

黎曼猜想思想實驗 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): Λ0\Lambda \geq 0
  2. 任何 Λ>0\Lambda > 0 會破壞歐拉乘積的因子化結構。
  3. 歐拉乘積等價於算術基本定理,其有效性已被現代科技驗證。
  4. Λ=0\Lambda = 0 ,即黎曼猜想成立。

各章核心主張

第一章(基礎)。 算術基本定理作為公理性結構;歐拉乘積 ζ(s)=p(1ps)1\zeta(s)=\prod_p(1-p^{-s})^{-1}Res>1\mathrm{Re}\,s>1 );完成化 ξ(s)=12s(s1)πs/2Γ(s/2)ζ(s)\xi(s)=\tfrac12 s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s) 與功能方程 ξ(s)=ξ(1s)\xi(s)=\xi(1-s) ;歸心變換 k=s12k=s-\tfrac12Ξ(k):=ξ(k+12)\Xi(k):=\xi(k+\tfrac12) ,得偶函數 Ξ(k)=Ξ(k)\Xi(k)=\Xi(-k)

第二章(對稱鎖定)。 鏡像 M\mathcal{M} 、共軛 C\mathcal{C}Ξ\Xi 不變;零點四元組 {ρ,ρ,ρˉ,ρˉ}\{\rho,-\rho,\bar\rho,-\bar\rho\} ;定義 Berry 相位 ΦB[Γ]=ΓIm(dΞ/Ξ)\Phi_B[\Gamma]=\oint_\Gamma\mathrm{Im}(d\Xi/\Xi) ;宣稱對稱圍道使 ΦB=0\Phi_B=0 ,與輻角原理給出的 2π4n2\pi\cdot 4n 矛盾,迫使零點實部為零。

第三章(核心)。 De Bruijn-Newman 函數 Hλ(z)=0eλu2Φ(u)cos(zu)duH_\lambda(z)=\int_0^\infty e^{\lambda u^2}\Phi(u)\cos(zu)\,duH0=ΞH_0=\XiΛ=sup{λ:Hλ 有複零點}\Lambda=\sup\{\lambda:H_\lambda\text{ 有複零點}\} ;RH Λ0\Leftrightarrow\Lambda\leq 0 ,結合 Λ0\Lambda\geq 0 得 RH Λ=0\Leftrightarrow\Lambda=0 。宣稱熱核等價於對 Dirichlet 係數的對角乘子 Kλ(n)=exp(λ4(logn)2)K_\lambda(n)=\exp(-\tfrac{\lambda}{4}(\log n)^2) ;主定理: KλK_\lambdaλ0\lambda\neq 0 不乘法, Rλ(p,q)=exp(λ2logplogq)1R_\lambda(p,q)=\exp(-\tfrac{\lambda}{2}\log p\log q)\neq 1 ;故 Λ>0\Lambda>0 破壞歐拉乘積,矛盾,得 Λ=0\Lambda=0

第四章(瞬間形變)。 算符 $D_{\text{inst}}F=\lim_{\epsilon\to 0}(\partial_t F+\delta(t)\Delta_{\text{top}}F)$;宣稱繞數只在臨界線上為整數,偏離則「連續化」。

第五章(歷史自洽性)。 宣稱 Λ>0\Lambda>0 使歐拉乘積失效,進而 RSA、QED、哈希、弦論皆應崩潰;由它們精確運作貝葉斯地推出 Λ=0\Lambda=0


第二部分:失敗的解剖

按「最致命且最不可挽救」到「技術性」排列。

§2.1 根本診斷:歐拉乘積與臨界帶零點的脫鉤(死因)

本文把四個彼此獨立、難度天差地遠的命題,混為一談地塞進「歐拉乘積」這個詞下:

命題 地位 與 RH 的關係
(a) 唯一分解(算術基本定理) 初等、無條件 完全無關
(b) 歐拉乘積在 Re(s)>1\mathrm{Re}(s)>1 收斂且等於 ζ\zeta 初等、無條件 完全無關
(c) 素數定理 π(x)x/logx\pi(x)\sim x/\log x 已證(1896),無條件 RH 只改善誤差項,非其前提
(d) RH:臨界帶零點都在 Re(s)=12\mathrm{Re}(s)=\tfrac12 開放 即 RH 本身

關鍵在 (b) 的作用域。歐拉乘積收斂並等於 ζ\zeta 的區域是 Re(s)>1\mathrm{Re}(s)>1 ——該區域內一個零點都沒有。RH 講的是 0<Re(s)<10<\mathrm{Re}(s)<1 的零點,而在那裡歐拉乘積根本不收斂、什麼都不說(推導見附錄 A.1)。於是「歐拉乘積的有效性」對臨界帶零點位置提供的信息量,嚴格為零。整個建築奠基於一個錯誤信念:以為歐拉乘積約束了臨界帶的零點。它不約束。

§2.2 第三章:兩個獨立的致命錯誤

§2.2.1 「形變後失去歐拉乘積=矛盾」是非邏輯跳躍(最乾淨的一刀)

定理 3.3 的代數正確gλ(n)=exp(λ4(logn)2)g_\lambda(n)=\exp(-\tfrac{\lambda}{4}(\log n)^2)λ0\lambda\neq 0 確實不乘法(重算見附錄 B.1)。但這一步什麼都證不出來,因為「沒有歐拉乘積」不是矛盾。不存在任何定理說「Dirichlet 級數必須乘法」。 無可爭辯的反例(推導見附錄 A.8):

ζ(s)=n1(logn)ns.-\zeta'(s)=\sum_{n\geq 1}(\log n)\,n^{-s}.

係數 logn\log n 不乘法,故 ζ(s)-\zeta'(s) 無歐拉乘積,卻是完全合法、毫無矛盾的解析函數。算術基本定理是關於整數的命題,從不要求任意權重 gλ(n)g_\lambda(n) 必須乘法。De Bruijn-Newman 流的全部目的就是把 Ξ\Xi 形變成 HλH_\lambda 觀察零點移動; HλH_\lambdaλ0\lambda\neq 0 )本來就不是 ζ\zeta 、本來就不乘法——這是設計使然,不是矛盾。這一刀在不碰任何熱核細節下,獨立殺死整個第三章。

§2.2.2 定理 3.1 對 DBN 流的刻畫,符號與性質都錯

由附錄 A.5,DBN 流是 zz 上的逆向熱方程(卷積算符) Hλ=eλz2ΞH_\lambda=e^{-\lambda\partial_z^2}\Xi ,不是對 ζ\zeta 係數的對角乘子。故定義 3.5 的 ζλ(s)=Kλ(n)ns\zeta_\lambda(s)=\sum K_\lambda(n)n^{-s} 是憑空虛構,不等於 HλH_\lambda 。即使用最寬鬆的「頻譜乘子」啟發式, λ>0\lambda>0 對應 e+λξ2e^{+\lambda\xi^2} (放大),而非 KλK_\lambda 的衰減——連符號都相反(重算見附錄 B.2)。即使把符號全部修正,§2.2.1 仍成立:那座橋即使修好,也通往一個不存在的矛盾。

§2.3 第二章:Berry 相位即輻角原理,定理 2.2 自證偽

dΞ/Ξ=dlogΞ+id(argΞ)d\Xi/\Xi=d\log|\Xi|+i\,d(\arg\Xi) 且閉圍道上 dlogΞ=0\oint d\log|\Xi|=0 (推導見附錄 A.6):

ΦB[Γ]=ΓImdΞΞ=Γd(argΞ)=2πNΓ,NΓ0.\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 宣稱「對稱圍道 ΦB=0\Rightarrow\Phi_B=0 」等於宣稱「任何對稱圍道內都沒有零點」——被 Ξ\Xi 的無窮多個零點立刻證偽。錯在 ϕL=ϕR\phi_L=-\phi_R 是假的:每個單零點貢獻 +1+1 繞數,對稱零點對同號相加(附錄 A.6 給出 ρ,ρ\rho,-\rho 同在內時 =4πi\oint=4\pi i 的顯式計算;附錄 B.3 程式驗證臨界帶內繞數為 3 而非 0)。第二章證不出任何東西。

§2.4 第五章:前提鏈全偽

RSA 依賴整數分解在計算上很難,不依賴分解唯一;唯一分解與零點位置無關。QED 中的 ζ(2)=π2/6\zeta(2)=\pi^2/6 等是由 Res>1\mathrm{Re}\,s>1 上初等求和決定的具體數值,RH 不改變它們。素數定理自 1896 年無條件成立。弦論 ζ(1)=112\zeta(-1)=-\tfrac1{12} 是無條件的解析延拓。四項皆不依賴 RH,「科技能跑」對 Λ\Lambda 的證據性權重 0\approx 0 。此章是 §2.1 在現實層面的重演。

§2.5 第四章:未定義的算符

DinstD_{\text{inst}} 不是良定義物件(Dirac δ\delta 乘上從未定義的 Δtop\Delta_{\text{top}} )。定理 4.1 真但平凡;定理 4.2( t0t\neq 0 繞數「連續化」)假——繞數對閉圍道恆為整數。本章無嚴格內容。

§2.6 數值方案:數值符合不是結構證據

Δλ\Delta_\lambda 測的只是「 gλg_\lambda 不乘法」,對 ζ\zetaΛ\Lambda 零信息。「 ζ(2)\zeta(2) 精確 Λ0\Rightarrow\Lambda\approx 0 」把虛構的 ζλ\zeta_\lambda 與真實 ζ(2)\zeta(2) 等同。一般原則:在一個與目標物件無因果連結的數量上觀測到任意高的數值符合,對目標物件不提供證據。

§2.7 Lean4 附錄:主定理真但無關,最終定理循環

heat_kernel_not_multiplicative 為真且可證,但對 RH 無貢獻。riemann_hypothesis 區塊循環:把偽矛盾當假設引入再收尾。真送進 Lean4,它會在那個 sorry 處立刻卡死——形式化會在第一時間暴露缺口。


第三部分:完整推理鏈(原始版 vs. 修正版)

把上面的解剖收攏成一條可逐環檢視的鏈。這是判斷「哪裡斷、為何斷、修正後為何更好」的核心。

§3.1 原始推理鏈(逐環標註斷點)

內容 判定
L1 算術基本定理(唯一分解)成立 ✅ 無條件
L2 \Rightarrow 歐拉乘積 ζ=p(1ps)1\zeta=\prod_p(1-p^{-s})^{-1}Res>1\mathrm{Re}\,s>1
L3 完成化 ξ\xi 、功能方程、歸心 Ξ(k)=Ξ(k)\Xi(k)=\Xi(-k)
L4 〔斷點①〕 歐拉乘積的有效性約束臨界帶零點 ❌ 偽
L5 〔斷點②〕 HλH_\lambda = 對 ζ\zeta 係數的對角高斯乘子 Kλ(n)K_\lambda(n) ❌ 偽
L6 gλ=Kλg_\lambda=K_\lambdaλ0\lambda\neq 0 不乘法 ✅ 真,但無關
L7 〔斷點③〕 非乘法 \Rightarrow 破壞歐拉乘積 \Rightarrow 矛盾 ❌ 偽
L8 Λ0Λ=0\Rightarrow\Lambda\leq 0\Rightarrow\Lambda=0\Rightarrow RH ✗ 不成立

斷裂判定: L1–L3 成立,L4 起全部無效。三個斷點(L4、L5、L7)任一獨立即足以使 L8 失效;三個同時為偽。

§3.2 為何會在 L4 斷裂(錯誤的成因)

這個錯誤之所以容易犯、且容易被誤認為嚴格,有三個層次的成因:

  1. 直覺陷阱。 ζ\zeta 的深層結構(唯一分解、歐拉乘積)給人「秩序應當處處剛性」的印象,於是覺得「破壞這個結構必有代價」。這是一個美的直覺,但它在數學上沒有定理支撐。
  2. 區域混淆。 歐拉乘積活在 Res>1\mathrm{Re}\,s>1 (無零點區),RH 活在臨界帶(歐拉乘積發散區)。把前者的剛性錯當成對後者的約束——兩個區域之間隔著整個解析延拓,而剛性不會自動穿越過去。
  3. 局部正確的偽裝(最危險)。 (logpq)2(\log pq)^2 的交叉項計算完全正確,使整個錯誤披上「嚴格推導」的外衣。正確的代數掩護了錯誤的邏輯——這正是為什麼自審時最難發現:每一個等號都對,錯的是等號之間的那句「所以」。

§3.3 修正推理鏈(實際成立的部分)

內容 判定
C1 FTA、歐拉乘積( Res>1\mathrm{Re}\,s>1 )、功能方程、 Ξ\Xi
C2 Hλ=eλz2ΞH_\lambda=e^{-\lambda\partial_z^2}\Xi ,逆向熱流(卷積,非對角乘子)
C3 Λ=sup{λ:Hλ 有複零點}\Lambda=\sup\{\lambda:H_\lambda\text{ 有複零點}\} 良定義
C4 Rodgers-Tao: Λ0\Lambda\geq 0 ✅(深定理,非本文所證)
C5 De Bruijn-Newman:RH Λ0\Leftrightarrow\Lambda\leq 0
C6 \therefore RH Λ=0\Leftrightarrow\Lambda=0
C7 Λ0\Lambda\leq 0 開放——與 RH 嚴格等價,無已知方法(含本進路)能合上 ⟂ 牆

修正鏈在 C6 合法抵達「RH Λ=0\Leftrightarrow\Lambda=0,在 C7 誠實止步。它不假裝跨過那道牆。

§3.4 為何修正版更好

  1. 分離了四個被混淆的命題(§2.1 的表),從源頭杜絕區域混淆。
  2. 正確刻畫 DBN 流(逆向熱流,非對角乘子),符號與性質都對(附錄 A.5、B.2)。
  3. 在真正的開放問題前止步,而非用偽矛盾掩蓋它——一條誠實標出斷點的鏈,比一條藏起斷點的鏈,對後人更有用。
  4. 把論文的價值重新定位到它真正成立的地方:作為啟發的透鏡(C2–C6 的 DBN 視角),與可運行的公式(見最後結論)。

第四部分:殘存的真實(可保留的正確內容)

§4.1 經典骨架(全部正確)

歐拉乘積(附錄 A.1)、功能方程 ξ(s)=ξ(1s)\xi(s)=\xi(1-s) (附錄 A.3)、歸心偶函數性(附錄 A.4)、零點四元組對稱——全部正確,可作後續工作的乾淨引理。誠實標註:「歸心變換像望遠鏡」在修辭上沒問題,但數學上只是平移坐標,不揭示新結構。

§4.2 De Bruijn-Newman 框架的正確陳述

Hλ=eλz2ΞH_\lambda=e^{-\lambda\partial_z^2}\Xi (附錄 A.5)。 Λ\Lambda 存在唯一。Rodgers-Tao: Λ0\Lambda\geq 0(2018 預印,2020 發表於 Forum of Mathematics, Pi)。RH Λ=0\Leftrightarrow\Lambda=0——完全正確。本進路真正有價值的部分,是它正確地把 RH 翻譯成了 Λ=0\Lambda=0

§4.3 開放邊界與反噬直覺的真相

Λ0\Lambda\leq 0 與 RH 嚴格等價,無已知方法能合上——這是「當下數學無法解決」的誠實陳述。更進一步: Λ0\Lambda\geq 0 不說「秩序剛性」,它說「無餘裕」。Newman 提出此猜想正是為了定量地說「RH 若為真,也只是勉強為真」;Rodgers-Tao 證明了它,意味著系統恰好坐在相變點上、margin 為零。真實圖景是「臨界、邊緣、無餘裕」,與原構想正好相反。任何誠實的後續工作,方向應是理解這個「勉強」,而非假裝它是「必然」。


附錄 A:全部公式的推導

A.1 歐拉乘積(及其作用域)

Re(s)>1\mathrm{Re}(s)>1 ,由 k0pks=(1ps)1\sum_{k\geq 0}p^{-ks}=(1-p^{-s})^{-1}

pX(1ps)1=pXk0pks=nSXns,\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},

SXS_X 為僅含 X\leq X 質因數的整數集。由算術基本定理,每個 n=piain=\prod p_i^{a_i} 唯一對應一組指數,展開無重複無遺漏; XX\to\infty 由絕對收斂得 p(1ps)1=ζ(s)\prod_p(1-p^{-s})^{-1}=\zeta(s)\blacksquare

作用域: 此式要求 Re(s)>1\mathrm{Re}(s)>1 。在臨界帶 0<Re(s)<10<\mathrm{Re}(s)<1 乘積發散,等式不成立。故歐拉乘積對臨界帶零點無直接約束——此即 §2.1 的核心。

A.2 Jacobi theta 變換(由 Poisson 求和)

Poisson 求和 nZf(n)=mZf^(m)\sum_{n\in\mathbb{Z}}f(n)=\sum_{m\in\mathbb{Z}}\hat f(m) ,取 f(x)=eπtx2f(x)=e^{-\pi t x^2} 。配方 πtx22πixξ=πt(x+iξ/t)2πξ2/t-\pi t x^2-2\pi i x\xi=-\pi t(x+i\xi/t)^2-\pi\xi^2/t ,得 f^(ξ)=t1/2eπξ2/t\hat f(\xi)=t^{-1/2}e^{-\pi\xi^2/t} 。代入:

θ(t):=nZeπn2t=1tθ(1/t)    θ(1/t)=tθ(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

ψ(t)=n1eπn2t=(θ(t)1)/2\psi(t)=\sum_{n\geq 1}e^{-\pi n^2 t}=(\theta(t)-1)/2 ,則 ψ(1/t)=t12+tψ(t)\psi(1/t)=\tfrac{\sqrt t-1}{2}+\sqrt t\,\psi(t)

A.3 功能方程 ξ(s)=ξ(1s)\xi(s)=\xi(1-s) (Riemann,theta + Mellin)

步驟 1。0ts/21eπn2tdt=πs/2nsΓ(s/2)\int_0^\infty t^{s/2-1}e^{-\pi n^2 t}dt=\pi^{-s/2}n^{-s}\Gamma(s/2) ,對 Res>1\mathrm{Re}\,s>1 求和:

Λ(s):=πs/2Γ(s/2)ζ(s)=0ts/21ψ(t)dt.\Lambda(s):=\pi^{-s/2}\Gamma(s/2)\zeta(s)=\int_0^\infty t^{s/2-1}\psi(t)\,dt.

步驟 2。01+1\int_0^1+\int_1^\infty ,對 01\int_0^1t1/tt\to 1/t 並用 A.2:

01ts/21ψ(t)dt=1ts/21[t12+tψ(t)]dt,\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,

其中初等部分 =1s11s=\dfrac1{s-1}-\dfrac1s

步驟 3。 合併( tts/21=t(1s)/21\sqrt t\cdot t^{-s/2-1}=t^{(1-s)/2-1} ):

  Λ(s)=1[ts/21+t(1s)/21]ψ(t)dt1s11s  \boxed{\;\Lambda(s)=\int_1^\infty\big[t^{s/2-1}+t^{(1-s)/2-1}\big]\psi(t)\,dt-\frac1s-\frac1{1-s}\;}

右側在 s1ss\leftrightarrow 1-s 下顯然不變,且因 ψ\psi 指數衰減,積分對所有 ss 收斂(解析延拓)。

步驟 4。 s(s1)s(s-1)s1ss\leftrightarrow 1-s 下不變( (1s)(s)=s(s1)(1-s)(-s)=s(s-1) ),故 ξ(s)=12s(s1)Λ(s)\xi(s)=\tfrac12 s(s-1)\Lambda(s) 為整函數且 ξ(s)=ξ(1s)\boxed{\xi(s)=\xi(1-s)}\blacksquare

A.4 歸心偶函數性

s=k+121s=(k)+12s=k+\tfrac12\Rightarrow 1-s=(-k)+\tfrac12 ,代入 ξ(s)=ξ(1s)\xi(s)=\xi(1-s)Ξ(k)=Ξ(k)\Xi(k)=\Xi(-k) 。又 ζ(sˉ)=ζ(s)\overline{\zeta(\bar s)}=\zeta(s) (Schwarz 反射)連同 Γ,πs/2\Gamma,\pi^{-s/2} 實性,給出 Ξ(t)R\Xi(t)\in\mathbb{R}tRt\in\mathbb{R} )。 \blacksquare

A.5 De Bruijn-Newman 流 = 逆向熱方程

Φ\Phi 偶, Ξ(z)=0Φ(u)cos(zu)du\Xi(z)=\int_0^\infty\Phi(u)\cos(zu)du 。逐項微分 Hλ(z)=0eλu2Φ(u)cos(zu)duH_\lambda(z)=\int_0^\infty e^{\lambda u^2}\Phi(u)\cos(zu)du

λHλ=0u2eλu2Φcos(zu)du,z2Hλ=0(u2)eλu2Φ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,

λHλ=z2Hλ\boxed{\partial_\lambda H_\lambda=-\partial_z^2 H_\lambda} 。算符層面 u2k(1)kz2ku^{2k}\leftrightarrow(-1)^k\partial_z^{2k} ,故 eλu2eλz2e^{\lambda u^2}\leftrightarrow e^{-\lambda\partial_z^2} ,即 Hλ=eλz2ΞH_\lambda=e^{-\lambda\partial_z^2}\Xi (卷積,無對角結構)。 \blacksquare

A.6 輻角原理: d(argΞ)=2πN\oint d(\arg\Xi)=2\pi N (及對稱零點同號相加)

簡單零點 ρ\rho 附近 Ξ/Ξ=1/(zρ)+解析\Xi'/\Xi=1/(z-\rho)+\text{解析} ,留數 11 ,故 ΓΞ/Ξdz=2πiNΓ\oint_\Gamma\Xi'/\Xi\,dz=2\pi i\,N_\Gamma 。又 Ξ/Ξdz=dlogΞ+id(argΞ)\Xi'/\Xi\,dz=d\log|\Xi|+i\,d(\arg\Xi) ,閉圍道上 dlogΞ=0\oint d\log|\Xi|=0 ,故 d(argΞ)=2πNΓ0\oint d(\arg\Xi)=2\pi N_\Gamma\geq 0對稱零點:ρ,ρ\rho,-\rho (皆簡單)同在 Γ\Gamma 內, Ξ/Ξdz=2πi2=4πi0\oint\Xi'/\Xi\,dz=2\pi i\cdot 2=4\pi i\neq 0 ——相加,不相消,直接證偽「對稱圍道相位為零」。 \blacksquare

A.7 gλg_\lambda 的非乘法性

gλ(n)=exp(λ4(logn)2)g_\lambda(n)=\exp(-\tfrac\lambda4(\log n)^2) ,由 log(pq)=logp+logq\log(pq)=\log p+\log q 展開平方、平方項相消:

Rλ(p,q)=gλ(pq)gλ(p)gλ(q)=exp ⁣(λ2logplogq).\boxed{R_\lambda(p,q)=\frac{g_\lambda(pq)}{g_\lambda(p)g_\lambda(q)}=\exp\!\Big(-\tfrac\lambda2\log p\log q\Big)}.

logp,logq>0\log p,\log q>0Rλ=1λ=0R_\lambda=1\Leftrightarrow\lambda=0\blacksquare (此式正確;其失敗在於與 RH 無因果連結,見 §2.2.1。)

A.8 ζ(s)-\zeta'(s) :無歐拉乘積卻無矛盾的反例

逐項微分 ζ(s)=n1(logn)ns-\zeta'(s)=\sum_{n\geq 1}(\log n)n^{-s} 。係數 an=logna_n=\log napaq=logplogqa_p a_q=\log p\log qapq=logp+logqa_{pq}=\log p+\log q ,不等(例 p=2,q=3p=2,q=3a6=1.7918a_6=1.7918a2a3=0.7616a_2a_3=0.7616 )。故無歐拉乘積,卻是解析延拓到 C{1}\mathbb{C}\setminus\{1\} 的合法函數,違反不了任何定理。 \blacksquare


附錄 B:重新計算(程式驗證)

全部數值以 mpmath(30 位精度)獨立計算。下表為實際運行結果。

B.1 gλg_\lambda 非乘法性( λ=0.01\lambda=0.01

log2=0.693147, log3=1.098612, log6=1.791759, (log6)2=3.210402.\log 2=0.693147,\ \log 3=1.098612,\ \log 6=1.791759,\ (\log 6)^2=3.210402. gλ(2)=0.998800,gλ(3)=0.996987,gλ(2)gλ(3)=0.995791,gλ(6)=0.992006.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. Δλ(2,3)=0.9920060.995791=3.78×103.\Delta_\lambda(2,3)=|0.992006-0.995791|=\boxed{3.78\times 10^{-3}}.

多組驗算( Δ\Delta 與閉式 RλR_\lambda 逐項吻合到機器精度):

(p,q)(p,q) Δλ\Delta_\lambda RλR_\lambda (計算) RλR_\lambda (閉式)
(2,3) 3.78×1033.78\times10^{-3} 0.99619974 0.99619974
(2,5) 5.52×1035.52\times10^{-3} 0.99443764 0.99443764
(3,5) 8.72×1038.72\times10^{-3} 0.99119822 0.99119822
(5,7) 1.53×1021.53\times10^{-2} 0.98446286 0.98446286
(11,13) 2.94×1022.94\times10^{-2} 0.96971565 0.96971565

更正: 原文 §3.7 所稱 Δ0.0015\Delta\approx 0.0015 為算術誤差,正確值約 3.8×1033.8\times 10^{-3} 。(此數值對結論無影響——它與 RH 無因果連結。)

B.2 DBN Fourier 對偶的符號

積分核因子 e+λu2e^{+\lambda u^2}λ>0\lambda>0 對大 uu 放大),由 A.5 對應 eλz2e^{-\lambda\partial_z^2} (逆向熱半群);硬用頻譜啟發式得乘子 e+λ(logn)2e^{+\lambda(\log n)^2} 。原文 Kλ=eλ(logn)2/4K_\lambda=e^{-\lambda(\log n)^2/4} 為衰減。符號相反、係數不符,定理 3.1 即使在最寬鬆解讀下也不成立。

B.3 程式驗證總表

公式 檢驗 結果
Jacobi theta(A.2) θ(1/t)tθ(t)|\theta(1/t)-\sqrt t\,\theta(t)|t{0.3,0.7,1.5,3.0}t\in\{0.3,0.7,1.5,3.0\} 1031\sim 10^{-31} (機器精度)✅
Mellin 公式(A.3) Λ(s)\Lambda(s) vs πs/2Γ(s/2)ζ(s)\pi^{-s/2}\Gamma(s/2)\zeta(s)s{2,3,4.5}s\in\{2,3,4.5\} 吻合到 103210^{-32}
功能方程 Λ(2)\Lambda(2) vs Λ(1)\Lambda(-1) 同為 π/6=0.523598775598\pi/6=0.523598775598
Mellin 於臨界帶 Λ(0.5+14.1347i)|\Lambda(0.5+14.1347i)| (近首個零點) 1.96×10121.96\times10^{-12}0\approx 0 )✅
輻角原理(A.6) 12πiRζ/ζ\frac1{2\pi i}\oint_{\partial R}\zeta'/\zetaR=[0,1]×[1,30]iR=[0,1]\times[1,30]i 3.0+0.0i3.0+0.0i (整數 3)✅

最後兩列尤其關鍵:Mellin 公式真的能在臨界帶計算 ζ,輻角原理真的能數出區域內零點數。這兩件事,正是最後結論的實證基礎。


最後的結論:這是啟發,而延伸的公式是演算法

把所有炸掉的東西清走、所有正確的東西推導完、所有數值跑過一遍之後,這份文件能誠實留下的,是兩個層次。

一、對 RH 而言,這是啟發,不是證明

本進路沒有證明黎曼猜想,也不接近證明它(§3、§4.3)。但它有真實的啟發性——只是啟發來自正確的那一半,不來自斷裂的那一半:

  • 有效的啟發是 De Bruijn-Newman 的透鏡本身:把 RH 翻譯成「常數 Λ=0\Lambda=0 」、把零點想成熱流下演化的對象(C2–C6)。這是真實且豐產的視角——人類在 RH 上的實質進展(Rodgers-Tao 的 Λ0\Lambda\geq 0 )正是在這個視角下取得的。
  • 無效的啟發是「歐拉乘積剛性」的論證(L4、L7)。它在數學上沒有支撐,不應被當作相信 RH 的理由。

誠實地說:這篇論文對 RH 的貢獻,是把一個正確的翻譯(RH Λ=0\Leftrightarrow\Lambda=0 )走了一遍,並在嘗試跨越那道牆時,精確地記錄了牆的位置。

二、延伸出的公式是可運行的演算法

這才是這份文件真正的、可交付的價值。推導過程中組裝起來的每一條公式,都不是惰性的符號——它們直接翻譯成可運行、已驗證的演算法

  1. Mellin 表示(A.3) \to 計算 ζ\zeta 的良條件演算法。 Λ(s)=1[ts/21+t(1s)/21]ψ(t)dt1s11s\Lambda(s)=\int_1^\infty[t^{s/2-1}+t^{(1-s)/2-1}]\psi(t)dt-\tfrac1s-\tfrac1{1-s} ,積分因 ψ\psi 指數衰減而快速收斂,給出在**整個複平面(含臨界帶)**數值穩定求 ζ\zeta 的方法。已驗證:與直接公式吻合到 103210^{-32} ,臨界帶內可用(附錄 B.3)。

  2. 輻角原理(A.6) \to 區域零點計數演算法。 N=12πiRζ/ζN=\frac1{2\pi i}\oint_{\partial R}\zeta'/\zeta 數出任意矩形 RR 內的零點數。已驗證:臨界帶 Im[1,30]\mathrm{Im}\in[1,30] 給出整數 3(附錄 B.3)。這正是大規模驗證 RH 至高度 TT 所用引擎的核心。

  3. Jacobi theta 變換(A.2) \to ξ/ζ\xi/\zeta 快速求值的換區技巧。 θ(1/t)=tθ(t)\theta(1/t)=\sqrt t\,\theta(t) 讓小 tt (慢收斂)的計算換到大 tt (快收斂)。已驗證到 103110^{-31}

  4. DBN 熱流(A.5) \to 追蹤零點、數值上界 Λ\Lambda 的演算法。 Hλ=eλz2ΞH_\lambda=e^{-\lambda\partial_z^2}\Xi 的離散化與零點追蹤,是數值地約束 Λ\Lambda (從上界一側)的可行程序——這正是 Polymath15 計畫所做的事的數學骨架。

  5. Rλ(p,q)=exp(λ2logplogq)R_\lambda(p,q)=\exp(-\tfrac\lambda2\log p\log q) (A.7) \to 平滑核/篩權重的解析工具。 這是「Gaussian-in-$\log$ 平滑如何脫離乘法性」的閉式刻畫,可用於設計或分析 LL 函數數值求和中的平滑核。此項較前四項溫和,誠實標註其價值為輔助性。

誠實的邊界。 上述演算法的數學基礎多為經典(Riemann 的 Mellin 表示、標準的輻角計數、Polymath15 的熱流追蹤);本文的貢獻不是發明它們,而是把它們從一個證明嘗試中推導、組裝、並驗證為一套可運行的工具,並指出指向何處。對 RH 是啟發,對計算是工具——這兩者,都是真的。


哲學結語

這份文件最初想證明一座山頂存在;它最終證明了自己站在懸崖邊,而非山頂上。兩者的距離,恰好是整個黎曼猜想。

但下山的人不是空手的。他手裡有一張誠實標出斷崖位置的地圖,和幾件在路上撿到、回家後確認真能用的工具——一把能在霧中算出 ζ\zeta 的尺,一個能數清山谷裡有幾個零點的環。

Rodgers-Tao 留下的 Λ0\Lambda\geq 0 像一句冷峻的批註:山頂如果存在,它不在雲端,而在懸崖的正緣——多一寸是假,少一寸也是假。真理在這裡不是被鎖死的秩序,是被頂在邊界上、不肯多給一分餘裕的吝嗇。

證明失敗了。但把一條路走到斷裂處、誠實標出斷點、再把沿途的工具磨利交出去——這不是失敗的相反,這是失敗唯一有用的形態。

更正完成。原構想保留,斷點標明,推理鏈與全部公式在案,演算法經程式驗證,誠實交付。