← Moser 蟲問題 / 二 · 計算與重現 / 第 4 輪

Moser 蟲問題 二 · 計算與重現 第 4 輪 懸衡 PARTIAL

Round 04:等高化的五連桿重現;它的四個分支最小值落在精確相位上,在那裡重新等高可達 10⁻¹⁵,高出 6.7×10⁻⁹

PARTIAL。等高化的五連桿(在 3π/2 處為 0.998903750476)與標題結論重現;但「四分支等高到 2.734812376559×10⁻¹²」是追蹤器的值,真正的分支最小值相差 1.30×10⁻⁸;靈敏度矩陣只對到第三或第四位小數。

PARTIAL 本頁是第二層:獨立重算第一層第 4 輪封包的有限宣稱、重現它的構造、逐條對照定理級步驟的原文。它不改寫原文,也不把數值結果當作證明;依據這兩層寫成的正式論文屬於第三層「三 · 結晶」。下方是重算報告的英文原文(與研究樹逐位元組相同),程式與 gate log 可直接下載。

連接 · Connections

重算報告 · Runs

RUN-005Round 04:等高化的五連桿重現;它的四個分支最小值落在精確相位上,在那裡重新等高可達 10⁻¹⁵,高出 6.7×10⁻⁹

判定:PARTIAL。等高化的五連桿(在 3π/2 處為 0.998903750476)與標題結論重現;但「四分支等高到 2.734812376559×10⁻¹²」是追蹤器的值,真正的分支最小值相差 1.30×10⁻⁸;靈敏度矩陣只對到第三或第四位小數。

報告(英文原文)、程式與 gate log:報告 RUN-005.md · corpus.py · run005_round04_branch_equalization.py · gate.py · gate log run005-round04-branch-equalization.json

展開後載入…