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

第 5 輪 v0.5 2026-07-26

接觸事件方程、非光滑 KKT 系統與五連桿孤立候選

從黑箱分支追蹤轉向明確接觸事件:四個尖點的精確解析相位公式 + 分支壓力駐定條件,組成 9 方程 9 未知的事件—KKT 聯立系統。數值解 s=0.998903757132509,9×9 Jacobian 滿秩、40 個隨機擾動初值全部收斂回同一根,強烈支持這是數值孤立駐定點。

數值結構重建;非形式證明;非區間證書 — 包內文件自陳的階段性狀態,原樣照登。「真正成果不是小數點後的提升,而是把候選的生成原因完整寫出。」

連接 · Connections

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

「這個提升只有約 10⁻⁹,其意義不是實質提高 Moser 下界,而是把第 4 輪的黑箱等高點投影到精確事件方程的駐定解上……四個尖點接觸事件等高 + 四分支壓力駐定 = 數值孤立五連桿候選。」— 摘自本包主文件第 5 節、結論。

第 5 輪核心內容

四個精確接觸事件的解析相位公式、事件尺度函數、九方程事件-KKT 系統、事件系統解、分支壓力帳本、非光滑局部極小檢查、孤立性診斷(Jacobian 秩、擾動回根測試)、完整相位審計、第 6 輪的兩條路徑(拓撲越界搜尋 vs 局部拓撲極限證書)。

載入中…

檔案 · Files

載入中…

下載完整封包 (417.9 KB)

sha256 2a86975f16ef806febc8ba73f0264552840877266c0dd5f349b721d872379bb8