← Moser 蟲問題 / 輪次 / 第 2 輪

第 2 輪 v0.2.2 2026-07-26 CHIRALITY_CORRECTED

相位跳躍、對偶接觸壓力帳本與拓撲導引曲線搜尋

256 個支撐方向、每條曲線 360 個完整旋轉相位。拓撲導引三連桿搜尋找到疑似逼近 Wetzel 認證尺度 1 的候選——但精確三法向複核揭露這是方向保持版本的假警報,論文允許反射,修正後的合同難度重新搜尋得到更穩健的結果。

探索性計算;非形式證明;非普適覆蓋證書 — 包內文件自陳的階段性狀態,原樣照登。本輪額外做了一次自我糾錯:先發現一個表面破紀錄的候選,再證明它不成立。

連接 · Connections

跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。

「因為只要任一手性可以放入,該曲線就被合同覆蓋……所以 s₊>1 並未反駁 Wetzel 覆蓋結果;鏡像分支仍可放入。」— 摘自本包手性修正報告,解釋一個表面破紀錄的候選為什麼不是真的反例。

第 2 輪核心內容

對偶接觸壓力帳本、完整相位掃描表、相位跳躍的結構分析、拓撲導引三連桿搜尋、最佳候選的接觸壓力帳本、本輪判斷與下一輪的接觸帳本逆向生成器設計。

載入中…

手性修正 · Chirality Correction

發現初版三連桿搜尋只考慮方向保持版本,漏了 Wetzel 論文允許反射的慣例;定義合同難度 s_cong = min(s₊,s₋) 跟手性歪度 χ,重新搜尋得到更穩健的候選,並訂下「兩個理論分支必須永久分開」的規則。

載入中…

精確三法向複核附錄

Wetzel 三角形是三個半空間交集,精確最小尺度可用頂點閉式公式算出,不需要角度離散近似。複核後發現網格近似確實低估了尺度,精確重搜得到一條三段折線逼近認證尺度 1。

載入中…

檔案 · Files

載入中…

下載完整封包 (975.1 KB)

sha256 4375eba4e285a87c400383914dadf8fe3a5ef8327583674f1434e409b1a2fd40