整列はもつれに課税される —— 補題Aと双対証書 —

整列はもつれに課税される —— 補題Aと双対証書

—— 量子もつれ攻略ノート（9）——

本稿の位置づけ
第8稿でM3'は補題L‡に帰着し、その証明には正値性 $ρ \geq 0$ が本質だと確定した。本稿は正値性を実際に注入する二つの武器を作る。一つは課税規則（補題A）：二つのスライスが整列するためには固有ベクトルがもつれを支払わねばならない、という定量法則。もう一つは双対証書：正値性の使い方を「ある行列分解の存在」という一つの判定問題に変換する枠組み。両方とも証明つきで、数値でタイトネスまで確認した。

1. 補題A：整列の課税規則（証明済み）

第7稿の定理3は、破れの可能性を「二つのスライス $V = ∣ v ⟩ ⟨ v ∣_{A B} \otimes I_{C}$ と $W = ∣ w ⟩ ⟨ w ∣_{A C} \otimes I_{B}$ の主角度 $c$ が大きい領域」に閉じ込めた。では $c$ はどこまで大きくなれるのか——答えは固有ベクトルのもつれが決める。

補題A（整列課税）　 $σ_{1} (v), σ_{1} (w)$ を負固有ベクトル $v, w$ の最大Schmidt係数とすると
MATHBLOCKTOKEN000
証明　 $c = max ∣ ⟨ v \otimes χ, w \otimes ξ ⟩ ∣$ （単位ベクトル $χ \in C, ξ \in B$ ）。成分で書くと $\sum_{a} (\overline{M_{v} ξ})_{a} (M_{w} \overset{χ}{ˉ})_{a}$ の形（ $M_{v}, M_{w}$ は $v, w$ の $2 \times 2$ 行列表示）。コーシー・シュワルツで $∥ M_{v} ξ ∥∥ M_{w} \overset{χ}{ˉ} ∥ \leq σ_{1} (M_{v}) σ_{1} (M_{w})$ 。 $■$

数値検証：ランダム297例で $max (c - σ_{1} σ_{1}^{'}) = - 1.3 \times 1 0^{- 5}$ 、敵対的207例で $- 5 \times 1 0^{- 6}$ ——成立するだけでなくほぼ等号が達成されており、これが正しい上限であることも同時に確認できた。

読み： $σ_{1}^{2} = \frac{1 + 1 - κ ^{2}}{2}$ なので、もつれ $κ$ が大きいほど $σ_{1}$ は小さい（最小 $1/ 2$ ）。二つのスライスが揃うには固有ベクトルがもつれを手放す必要があり、もつれを手放すと橋の補題（第7稿）が負性そのものを削る——第8稿で観察した「角の自壊」の、これが定量的な正体である。

2. 定理5：外の角度を内在量に置換（証明済み）

補題Aを定理3に代入すると、状態の8次元幾何を測らなくても、固有ベクトル2本のSchmidt係数だけで比率が抑えられる：

定理5　 $r = \frac{a ^{2} + b ^{2}}{n ^{2}} \leq \frac{( 1 + σ _{1} ( v ) σ _{1} ( w ) ) ^{2}}{2} .$
系　 $v, w$ がともに最大もつれ（ $σ_{1} = 1/ 2$ 、負性が最も濃い状況）ならば
MATHBLOCKTOKEN001

包囲網の現況：無条件の上界は $2$ （第7稿・√2定理）→ 最大もつれコーナーで $9/8 = 1.125$ まで圧縮。目標の $1$ まで、残り $12.5%$ 。残りは $σ_{1}$ が大きい（もつれが薄い）領域で、そこでは橋の補題が $a, b$ の絶対値を削るが、比率 $a / n$ を削る形にはまだ書けていない——これが次の壁である。

3. 双対証書：正値性を1個の判定問題に変換（枠組み証明済み）

正値性の使い道を系統化する。 $ρ \geq 0$ は「 $Tr [X P^{T_{A}}] = Tr [ρP] \geq 0$ がすべての $P \geq 0$ で成り立つ」ことと同値である。これを使うと：

証書枠組み　 $D = α V + β W$ （ $α, β \propto a, b$ ）に対し、分解
MATHBLOCKTOKEN002
が存在すれば、その状態でM3'は成立する。より一般に、任意のエルミート $P$ で $0 \leq D - P^{T_{A}} \leq I$ なら
MATHBLOCKTOKEN003
証明　 $a^{2} + b^{2} = - Tr [X D] = - Tr [X R] - Tr [ρP] \leq n ∥ R ∥ + Tr [ρ P_{-}] \leq n + ∣ λ_{m i n} (P) ∣$ 。 $■$

つまりM3'の証明は「証書 $P$ の存在」という半正定値計画（SDP）の実行可能性1問に置き換わった。しかも証書の設計指針も見えている： $D$ のスペクトルの「1を超える溢れ（overflow）」は整列した方向に住み、補題Aによりその方向は積状態に近く、積状態の $P^{T_{A}}$ は正値——溢れをそのまま $P$ に流し込めばよい。

数値構成：overflow初期化＋山登り（600歩）で証書を探索した：

状態	違反（0で証書完成）
敵対的家族F $p = 0.08$ （最難関・比率0.99級）	$1.0 \times 1 0^{- 3}$
家族F $p = 0.2$	$8.9 \times 1 0^{- 3}$
ランダム（4例）	$1.8$ 〜 $4.4 \times 1 0^{- 2}$

素朴な初期値からの探索（第一次：違反0.10〜0.12）に比べ、overflow初期化で10〜40倍改善した。純Pythonの山登りはSDPソルバの代用としては非力であり、この減少傾向は「証書は常に存在する（＝M3'成立）が、探索器が弱い」ことを示唆する——ここは正直に「示唆」止まりである。

4. 帳簿

項目	状態
補題A： $c \leq σ_{1} (v) σ_{1} (w)$	証明済み（2行）＋504例・ほぼ等号達成
定理5： $r \leq (1 + σ_{1} σ_{1}^{'})^{2} /2$ 、最大もつれで $9/8$	証明済み
証書枠組み（SDP実行可能性 ⟹ M3'）	証明済み
証書の数値構成	最難関で違反 $1 0^{- 3}$ 、傾向は実行可能性を示唆
M3'本体	未証明。包囲網： $2 \to 9/8 \to$ 証書1点

残る的は二択：(i) 証書 $P$ の明示構成（overflow＋積構造の帳尻あわせを解析的に完成させる）、(ii) $9/8 \to 1$ の直接圧縮（もつれが薄い領域で比率 $a / n$ を削る相対版の橋の補題）。どちらも「あと一つの不等式」であり、問題は3日前の8次元の海から、指させる岩礁二つにまで狭まった。

参考文献

第6〜8稿（本シリーズ）：予想M3'・√2定理・定理3・還元定理・正値性の本質性。
A. Sanpera, R. Tarrach, G. Vidal, Phys. Rev. A 58 (1998) 826。
C. Jordan (1875)：2部分空間の主角度。
L. Vandenberghe, S. Boyd, Semidefinite Programming, SIAM Review 38 (1996) 49：SDP双対性の一般論。
検証コード：補題A検査504例・定理5・証書探索（overflow初期化）——素のPython、乱数種つき。