証明が先 —— 二つの定理と橋の補題、そして残る隙間 —— 量子もつれ攻略ノート（7）

証明が先 —— 二つの定理と橋の補題、そして残る隙間

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

本稿の位置づけ

前稿で予想M3'——任意の混合3量子ビット状態で $N_{AB}^2+N_{AC}^2\le N_{A(BC)}^2$——の旗を立てた。旗を立てたら次は、発表の前に証明を狙う。予想のまま出すのと定理として出すのでは格が違うからだ。

結果を先に言う：完全証明には届かなかった。しかし空手では帰らない。道中で証明できたものを3つ固め、証明できていない部分の正確な形を特定した。研究の中間報告として、証明・数値・残る隙間をすべて開示する。

1. 舞台装置：変分構造

$\rho$ を3量子ビットの任意の混合状態、$X={\rho }^{T_A}$（$A$側の部分転置）とする。記号を固定する：

鍵になるのは既知の事実——2量子ビット状態の部分転置は負固有値を高々1個しか持たない [Sanpera–Tarrach–Vidal 1998]（当方でも3,000例で多重負固有値ゼロを確認）。したがって $a$ は ${\mathrm{Tr}}_{C}X$ の唯一の負固有値の絶対値であり、固有ベクトル $v\in AB$ を使って

と厳密に等号で書ける。$V,W$ は8次元空間の階数2の射影であり、$n$ は任意の「切り出し」を支配する（$n\ge -\mathrm{Tr}[XR]$、$R$は任意の $0\le R\le I$）。つまり問題は：同じ演算子 $X$ から、2枚の特殊な形の射影がそれぞれどれだけ負の質量を切り出せるかという幾何の問題である。

2. 橋の補題（証明済み・2行）

補題（負固有値ともつれの橋）　$\rho \ge 0$ を任意の $2\otimes N$ 状態、$\lambda <0$ を ${\rho }^{T_A}$ の負固有値、$\Omega$ をその固有ベクトルとする。このとき
MATHBLOCKTOKEN002
（$\kappa (\Omega )$ は固有ベクトル $\Omega$ の $A|$残り のもつれ＝concurrence）。

証明　$\lambda =⟨\Omega |{\rho }^{T_A}|\Omega ⟩=\mathrm{Tr}[\rho (|\Omega ⟩⟨\Omega |{)}^{T_A}]$。純状態射影の部分転置の固有値はSchmidt係数 $({\mu }_0,{\mu }_1)$ から $\{{\mu }_0,{\mu }_1,\pm \sqrt{{\mu }_0{\mu }_1}\}$ と求まり、最小値は $-\sqrt{{\mu }_0{\mu }_1}=-\kappa (\Omega )/2$。$\rho$ は状態だから $\mathrm{Tr}[\rho M]\ge {\lambda }_{\min }(M)$。$■$

数値検証：ランダム2量子ビット3,000例で $\max (|\lambda |-\kappa (v)/2)=-0.0016\le 0$、Bell状態で等号（$|\lambda |=1/2=\kappa /2$）。負性は「負固有ベクトル自身のもつれ」を通貨として支払われる——部分転置の負の深さには、もつれ由来という出自証明がある。（純状態射影のPTスペクトルは標準的な計算なので、この補題自体はfolkloreの可能性が高い。）

3. 定理1：√2係数モノガミーは無条件に成立（証明済み）

定理1　任意の混合3量子ビット状態で
MATHBLOCKTOKEN003

証明　部分トレースは部分転置と可換（前稿の補題）かつCPTP写像であり、トレースノルムはCPTPで縮小する：$\Vert {\mathrm{Tr}}_C({\rho }^{T_A}){\Vert }_1\le \Vert {\rho }^{T_A}{\Vert }_1$。$N=(\Vert \cdot {\Vert }_1-1)/2$ に代入して個別支配。二乗和は $2n^2$ 以下。$■$

数値確認：1,500例で個別支配の破れゼロ。M3'（係数1）と定理1（係数2）の間が、埋めるべき隙間である。個別支配自体はfolkloreだが、「予想M3'は係数を2から1に下げる問題」という定式化が得られた。

4. 定理3：問題は2枚の射影の角度に還元される（証明済み）

$V,W$ の値域のなす最大主角度の余弦を $c=\cos {\theta }_1\in [0,1]$ とする（$c=0$：完全直交、$c=1$：共有方向あり）。任意の $\alpha ,\beta \ge 0$ で

2つの射影の重みつき和のノルムはJordanの2部分空間分解（CS分解）から $\frac{\alpha +\beta }{2}+\frac{1}{2}\sqrt{(\alpha -\beta {)}^2+4\alpha \beta c^2}$ で抑えられる。$(\alpha ,\beta )\propto (a,b)$ と選ぶと：

定理3（角度つき評価）
MATHBLOCKTOKEN005
系　$c\le \sqrt{2}-1\approx 0.414$ ならば予想M3'は成立する。$c=0$ ではさらに強く $a^2+b^2\le n\max (a,b)$。

数値検証：両負性が正の800例すべてで定理3成立（最大残差 $-0.075$、破れなし）。

正直な但し書き：同じ800例で $c\le \sqrt{2}-1$ に落ちた例は0件だった。生成的な状態では2枚のスライスは常にかなり整列している（どちらも $A$ を共有しているため）。つまり定理3が単独でM3'を閉じる領域は、現実には薄い。それでも収穫は大きい——残る隙間が「$c>\sqrt{2}-1$ の整列領域で、$X\ge 0$ の正値性（橋の補題の構造）を使って係数を下げる」という一点に絞られたからである。その領域の実測値は $\sqrt{a^2+b^2}/n\le 0.891$（ランダム）、$0.988$（敵対的最適化・前稿）——理論値1にはまだ余白がある。

5. 等号解析：予想はタイトである

単一ペア退化状態 $\rho ={\Phi }_{AC}^{+}\otimes |\psi ⟩⟨\psi {|}_B$ で検算すると

M3'は破れないギリギリの不等式である（係数1を1未満には下げられない）。比率 $r=(a^2+b^2)/n^2$ の最適化が0.988まで迫った（前稿）のは、この等号多様体への接近だった——精密化した予想を記録する：

予想M3'（精密版）　$N_{AB}^2+N_{AC}^2\le N_{A(BC)}^2$、等号は $\min (N_{AB},N_{AC})=0$ かつ $\max =N_{A(BC)}$ のとき（単一ペア型）に限る。

6. 現在地の帳簿

次の一手（隙間を埋める候補）：(i) 落としたスラック $\mathrm{Tr}[X^{+}(\alpha V+\beta W)]$ の下界を $c$ で縛る——整列した射影は $X^{+}$ とも重ならざるを得ない、という排他性の定量化。(ii) 橋の補題を $v,w,\Omega$ の三者関係（固有ベクトルどうしのCKW型制約）に拡張する。(iii) 等号多様体の近傍での摂動解析。

7. 「発表」の現在価値

正直な査定：M3'は予想＋部分定理群として出せる状態になった。定理1と橋の補題はおそらくfolklore、定理3の「スライス角への還元」はこの問題設定に固有の道具立てで、新規の可能性がある（保証はできない——前稿の但し書きは常に有効）。世界を変える結果ではないが、「調査済みの空白に、証明つきの部分結果と精密な予想を置く」——研究として恥ずかしくない形にはなった。完全証明が取れたら、そのときが発表のときである。

参考文献

• A. Sanpera, R. Tarrach, G. Vidal, Local description of quantum inseparability, Phys. Rev. A 58 (1998) 826：2量子ビットPTの負固有値は高々1個。
• H. He, G. Vidal, Phys. Rev. A 91 (2015) 012339：純状態版の予想（前稿参照）。
• Y.-C. Ou, H. Fan, Phys. Rev. A 75 (2007) 062308：純3量子ビットの定理。
• G. Vidal, R. F. Werner, Phys. Rev. A 65 (2002) 032314：負性。
• C. Jordan (1875)；A. Björck, G. Golub, Math. Comp. 27 (1973) 579：2部分空間の主角度とCS分解。
• 検証コード：橋の補題3,000例・定理1で1,500例・定理3で800例・等号検算——すべて素のPython（Jacobi固有値法＋逆反復固有ベクトル）、乱数種つきで再現可能。