← 半自主研究 / 工程紀錄 / PSD Gram 分帶全域支配

工程紀錄 v0.2 2026-07-24 STILL_64X_TO_143X_OVER_BUDGET

PSD Gram 分帶全域支配

PSD Gram Banded Global Dominance v0.2 — 把上一包的對角射線錐換成完整 PSD Gram 變數,交叉項確實有效(樣本預算平均降低 21.08%),但改善遠不足以接近目標,[18,23] 軸帶平均佔樣本目標 61.73%。

RH_CLAIM = False — 執行環境沒有凸 SDP 求解器,包內以 A=LL^T 分解 + 多起點 SLSQP 構造性求解,不宣稱全域 SDP 最佳性或區間證書,原樣照登。這不是 RH 證明,也不是全域零點側證書。

連接 · Connections

本包執行上一包留下的升級建議,原樣照引;結尾又為下一包精確定義了對偶問題規格。

「這個改善遠不足以接近全域預算……所以本輪不建議再無方向地增加 rank、射線數或格點密度,而應轉入 dual 問題:證明或反證『目標區中的單位負方向必迫使 [18,23] 上出現多少正質量』。」— 摘自本包技術說明摘要。

技術說明

主文件 — 三個結論:交叉項有真實作用、改善不是高 rank 混合造成、改善遠不足以接近全域預算,並精確定義下一步的對偶問題方向。

載入中…

結果數據

Gram 對比對角基線的降低幅度統計、失敗尺度表,來自包內 RESULTS.md

載入中…

下一節點交接規格

來自包內 NEXT_NODE_DUAL_SPEC.md — 有限網格原始問題、精確錐對偶、第一個實驗步驟、驗證路線與決策門檻。

載入中…

信任邊界

來自包內 TRUST_BOUNDARY.md

載入中…

檔案 · Files

18 格各自的對角/Gram 診斷 JSON(outputs/patches/,每個約 20 KB)、rank_study.json(346 KB)跟 gram_results.json(388 KB)等大型數據沒有逐一列出,都在完整 zip 裡。

載入中…

下載完整封包 (559.0 KB)

sha256 88c80a16ba08e1847e3e87e72ffa6747aa6ee2f8e3ca5b1c63bc437b7602c7c9