Back to list
arxiv_cs_ai 2026年4月24日

CD証拠正規化とゲージ緩衝されたロックアンサンブルを通じた$P eq NP$へのクォランタル・弱体化アプローチ

A Quantale-Weakness Route to $P \neq NP$ via CD Evidence Normalization and Gauge-Buffered Locked Ensembles

Translated: 2026/4/24 20:32:49
quantale-weaknessp-neq-npconditional-description-lengthevidence-normalizationgauge-buffered

Japanese Translation

arXiv:2510.08814v2 Announce Type: replace-cross 摘要:我々は、多項式時間制約された条件記述長における上側・下側の衝突に基づく$P eq NP$の証明アーキテクチャを提示する。効率的にサンプリャブルなSATインスタンスの一族$Y$を構築し、$Y$のすべての満たされる写像が同じグローバルメッセージ$M(Y)$を生み出すようにする。もし$P=NP$ならば、標準的な多項式時間SAT的自己還元から$Y$から$M(Y)$を回復でき、したがって$K_{\mathrm{poly}}(M(Y)\mid Y)=O(1)$となる。 下側では反対の結果を示す。同じアンサンブルにおいて、どの固定された多項式時間観測者も、選択されたメッセージ座標の線形個数において本質的な予測優位性を得られない。この論理では、計算を証拠産生プロセスと見なす:予測優位性は、構築可能双対証拠のひねりに変換され、そしてその後、メッセージ反対世界間のペアワイズ区別に変換される。正規化定理は、すべての目標に関連する非ニュートラル証拠葉が、安全緩衝観測または隠しゲージ観測のいずれかであることを示す。安全緩衝観測は微小な漏洩を有し、隠しゲージ観測はゲージランク会計によって制限される。これにより、原子証拠予算が生じ、$t$個の選択された座標における合計メッセージ解決優位性は$o(t)$であることを意味する。 境界法混合は、見える表面のほぼランダムな基準を与える。これを証拠予算と組み合わせると、小さな成功率が得られ、そして$\mathrm{Compression\text{-}from\text{-}Success}$によって$K_{\mathrm{poly}}(M(Y)\mid Y)\ge \Omega(t)$が得られ、高い確率で。これは$P=NP$由来の定数上側境界に矛盾する。したがって、$P eq NP$である。

Original Content

arXiv:2510.08814v2 Announce Type: replace-cross Abstract: We present a proof architecture for \(P \neq NP\) based on an upper--lower clash in polytime-capped conditional description length. We construct an efficiently samplable family of SAT instances \(Y\) such that every satisfying witness for \(Y\) yields the same global message \(M(Y)\). If \(P=NP\), then a standard polynomial-time SAT self-reduction recovers \(M(Y)\) from \(Y\), so \[ K_{\mathrm{poly}}(M(Y)\mid Y)=O(1). \] The lower-bound side shows the opposite. For the same ensemble, no fixed polynomial-time observer can gain substantial predictive advantage on a linear number of selected message coordinates. The argument treats computation as an evidence-producing process: predictive advantage is converted into constructible-dual evidence skew and then into pairwise distinctions between message-opposite worlds. A normalization theorem shows that every target-relevant non-neutral evidence leaf is either a safe-buffer observation or a hidden-gauge observation. Safe-buffer observations have negligible leakage, while hidden-gauge observations are limited by gauge-rank accounting. This yields an atomic evidence budget implying that total message-resolving advantage is \(o(t)\) across \(t\) selected coordinates. Boundary-law mixing gives the near-random baseline for the visible surface. Combining this with the evidence budget gives product small-success and then, by Compression-from-Success, \[ K_{\mathrm{poly}}(M(Y)\mid Y)\ge \Omega(t) \] with high probability. This contradicts the constant upper bound from \(P=NP\). Therefore \(P \neq NP\).