← TCDC:目標—條件對偶閉合與 Chen 型壓力
/
TCDC-05 · 半權重引理
TCDC:目標—條件對偶閉合與 Chen 型壓力
TCDC-05 · 半權重引理
原文署名:Neo.K;Aletheia(GPT-5.6 Sol)
四分之一根加權壓力與 Chen 引理的改造:嚴格半質數的半權重、中等因子重數、額外質數分支代價與常數閘
以有限分情況證明嚴格半質數壓力的逐點 Chen 型權重不等式(半權重;在自然的線性假設下係數 1/2 最小),並算出在水平 3/5 時,粗略項減半中等因子項的常數只有約 0.0841——這還沒有付質數分支、恰一個中等因子與三重因子的代價。
整個 TCDC 裡唯一真正屬篩法風格的引理:逐點的半權重不等式,由有限分情況證明;0.0841 是扣掉質數分支等代價之前的薄餘裕。判定 HSP STILL NOT PROVED。
不等式在 581,148 組 (y, w, X) 上被逐一重算,零違例(上架前的通讀):這檢查的是引理本身,不是它能否推出 HSP。TCDC-06 後來指出四分之一根並非必要,餘裕可提高到 0.4067。本篇的判定框不含 GOLDBACH 句,但狀態行寫「Goldbach仍未證明」。