← ACTM 代數組合超越生成方法論 / ACTM R24 · BK 與 fewnomial 的不相容(含 R23 勘誤)

ACTM 代數組合超越生成方法論 ACTM R24 · BK 與 fewnomial 的不相容(含 R23 勘誤) Neo.K / Aletheia

BK-Fewnomial Incompatibility、CSEP 修正與 Auxiliary-Existence Bottleneck

在實的無理秩一情形,BK 次數與精確 fewnomial 複雜度直接不相容:對實數 λ ≠ 0 與無理 s,沒有任何 BK 次數 < N² 的非零多項式在 X_s(2N) 上為零(需要 ≥ 4N² + 1 個單項式,BK 預算只允許 ≤ N² + 1),所以在假想的實狀態中 Dasgupta–Kakde 的條件 (m) 對每個 N 都失敗;同時更正 R23 的聯集基數(card Y(M) = 2M² − 1),並把路線化為純輔助函數存在問題(BAEP)。

在實的 BADT₂ 情形,BK 次數與 fewnomial 複雜度不相容;這是一條關於證明路線的障礙,也是 R23 的公開勘誤。 原文明列對 R23 的更正;R23 的腳本仍斷言舊的界。「NoGo」在這個系列裡指策略的障礙,從不表示四指數猜想為假。

連接 · Connections

編輯註:本頁使用原文未定義的 LaTeX 巨集(\BKd、\BK、\Log),這些式子在頁面上會顯示為紅色原始碼;原檔位元組未更動。

載入中…