← Lebesgue 萬有覆蓋問題 / Round 16 · 全域母根試點

Lebesgue 萬有覆蓋問題 Round 16 · 全域母根試點 Neo.K

全域母根首度完整試跑:原始 HARD 遠大於真正近極小前沿,B7 提升暫緩,改採基底優先策略

Round 16(AMRAL-LUC-FC-R16,2026-09-19)是本研究線首次把 pilot root 換成完整五維 D+B₃+B₅:phase master target T_M=0.8365,實際待 profile 的下一 theorem target 仍為 T=0.8350;本輪只跑 finite depth,不宣稱 complete certificate,目的不是取得新下界,而是回答 prune 結構、split scheduler、master root 額外 domain 成本、raw HARD 中真近極小比例、以及 B7 啟動時機五個問題。Split scheduler A/B 測試比較 Mishra/official 一階權重排程與 Round 09 exact-τ 一步排程:depth 16 時 official 少約 18.48% nodes(23,455 對 28,771)、少約 21.71% HARD leaves(4,112 對 5,252),證明 one-step τ optimal 不等於 global tree-cost optimal——這不是 Round 09 定理的錯誤(Round 09 只證了單一 coordinate bisection 的 one-step optimal),而記為 R09-STRENGTHENING-EMPIRICAL-001,production 暫保留 official 排程為 baseline。同 depth 16、official 排程下比較 immediate root T=0.835(N=24,691, CORE=8,004, HARD=4,342)與 phase master root T_M=0.8365(N=23,455, CORE=7,616, HARD=4,112):master root 幾何體積較大,此次 finite-depth pilot 卻略少 nodes,說明 domain volume overhead 不能線性換算為 certificate cost。完整 T_M=0.8365 root、official split 跑到 depth 18:N=45,651(APR=0, REP=0, CORE=12,378, HARD=10,448);10,448 個 HARD cells 的 cell-center inner hull 最小值為 0.8356828349502634 > 0.835,且 #{A⁻_center<0.835}=0——即 raw HARD 不等於已觀察到低於門檻的組態,而是 common-core/box uncertainty 仍太鬆。以 center area 距 target 的距離作 near-frontier 壓縮 proxy:10,448 raw HARD 中僅 8 個落在 target+0.002 內;HARD center-area quantiles(Q0.50≈0.884, Q0.99≈0.914)顯示絕大多數 HARD 種子其實遠高於 0.835,是 certification-resolution 問題而非 obvious-minimizer 問題;但同時 HARD lower-bound quantiles 顯示異質性——Q0.50≈0.822、Q0.99≈0.835、max=0.834989575,已有種子的 core bound 距 target 僅剩約 10⁻⁵,另一批卻仍因 erosion loss 差到約 10⁻²。margin-to-resolution profiler(沿用 Round 09 的 τ*(m,T) 公式)估計約 90% HARD cells 不超過 3 個 full refinement cycles,真正 tail 僅 142 個 ≥5-cycle、8 個 ≥7-cycle、2 個 ≥8-cycle 種子。對兩個最接近 target 的 base cells(A⁻_center≈0.83568283495,core lower 僅 0.79907297849,erosion/box loss 約 3.66×10⁻²)各自啟動完整 phase-master B7 root 跑到 depth 12:兩者結果完全相同——2,403 nodes、568 closed leaves、634 unresolved leaves,結論 B7-ACTIVATE-NOW: NO(此 base resolution),因為 B7 tree 正在替過度侵蝕的 B₃/B₅ base core 付成本,先 refine base 更合理。本輪因此訂出 Base-First / Lift-Later 生產策略(Phase A 基底細化 → Phase B near-frontier 重剖 → Phase C witness lifting),並保留 T_M=0.8365 為 B7-phase master domain(但明記 MASTER-ROOT-PERFORMANCE-NOT-A-THEOREM)。本輪未取得任何新的 rigorous lower bound,全域界 a_Leb≥0.8350 仍為 OPEN / COMPUTE-DEFERRED。研究方向與方法論來源為 Neo.K;本輪 AI 協力研究者與主要執行者為 Aletheia / ChatGPT, GPT-5.6 Sol。

Round 16 首次以完整五維全域母根(D+B₃+B₅,phase master target T_M=0.8365)執行 finite-depth pilot,並以 depth-16 A/B 測試證明 official 排程在真實 tree cost 上勝過 Round 09 的 exact-τ 一步排程(少約 18.48% nodes、21.71% HARD leaves),確立「one-step τ optimal 不等於 global tree-cost optimal」。depth-18 完整剖析顯示,10,448 個原始 HARD cells 中僅 8 個中心落在門檻 +0.002 內、約 90% 不超過 3 個 refinement cycles,證明原始 HARD 前沿遠大於真正近極小前沿;對最接近門檻的兩個 base cells 做 B7 shallow-lift 探測(各 2,403 nodes、634 個 unresolved leaves)後判定 B7 暫不宜啟動,本輪因此訂出 Base-First / Lift-Later 生產策略。 本頁性質是 profiling/架構試點,不是新的數值下界:Round 16 未取得任何新的 rigorous lower bound,全域界 a_Leb≥0.835(本輪對應門檻 T=0.8350)仍未獲證、仍為 OPEN/COMPUTE-DEFERRED,本輪不改變這個事實。文件另明記兩項限定:B7-ACTIVATE-NOW: NO(此 base resolution 下不宜啟動 B7 lift)與 MASTER-ROOT-PERFORMANCE-NOT-A-THEOREM(master root 的 finite-depth pilot 表現只是 compute policy 觀察,不是定理)。

連接 · Connections

載入中…