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

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

Round 11:精確邊界與 120°/270° 包絡成立,579 個導數盒與根盒在取樣處成立;但切換點鄰域的導數區間漏掉每個切換點旁的 2×10⁻¹⁰ rad,而三項排除依賴這些區間

PARTIAL。精確切換公式與專用包絡成立;但鄰域的導數區間漏掉每個切換點旁 2×10⁻¹⁰ rad 那一段,17 個切換點中有 14 個的導數落在區間外,三項排除依賴這些區間;平滑駐點是 13 個,不是 12 個。本輪的定性結論仍然成立,由 RUN-011 的證書證明。

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

連接 · Connections

重算報告 · Runs

RUN-012Round 11:精確邊界與 120°/270° 包絡成立,579 個導數盒與根盒在取樣處成立;但切換點鄰域的導數區間漏掉每個切換點旁的 2×10⁻¹⁰ rad,而三項排除依賴這些區間

判定:PARTIAL。精確切換公式與專用包絡成立;但鄰域的導數區間漏掉每個切換點旁 2×10⁻¹⁰ rad 那一段,17 個切換點中有 14 個的導數落在區間外,三項排除依賴這些區間;平滑駐點是 13 個,不是 12 個。本輪的定性結論仍然成立,由 RUN-011 的證書證明。

報告(英文原文)、程式與 gate log:報告 RUN-012.md · corpus.py · run012_round11_box_certificate.py · gate.py · gate log run012-round11-box-certificate.json

展開後載入…