零點計數係數語義橋

連接 · Connections

本包修正上一包發現的係數方向問題,原樣照引其反例。

「零點計數下界 Lⱼ 只無條件給出 Σ H(γ) ≥ Lⱼ inf H(x)。它不能乘上一個任意選擇的 dual probability measure。套件內含精確二點反例與 rank-one operator 共下界反例。」— 摘自本包 README 核心結論之二。

技術說明

主文件 — 五種語義轉移的合法性逐一檢驗、精確反例構造、下界輪廓下的重新最佳化、Galerkin 收斂到障礙消失、對前六個版本的回溯修正。

定理

來自包內 THEORY.md。

結果數據

五種語義轉移的合法性表、五帶浮點上下界候選、下界輪廓的 Galerkin 收斂序列,來自包內 RESULTS.md。

信任邊界

來自包內 TRUST_BOUNDARY.md。

檔案 · Files

sha256 d781ae149c2f7a3951503c231a4deb53a21a8a102e5126b481994c6fe7488308