二本のスパイクという普遍 —— 量子もつれ攻略ノート（12）

本稿の位置づけ

本稿は、攻略ノート旧第23〜34稿を、内容をそのまま保って1本に統合したものである。定理7が証明できたのは偶然ではなかった——同じ骨格がランク2の混合状態すべてに立つ、という普遍スパイク構造の発見が出発点になる。そこから、局在補題群（S・K・O）、二つの証明連鎖の相補地図、取りこぼしの解剖、ランク一様化、そして最大の成果・定理8（L4-Bell族6パラメータの完全証明）までを収める。

本稿の骨格は、ノート23で導入する攻略ラダー（L1〜L6）である。M3'全域の証明を、扱う族の広さで6段に区切った梯子で、以降のノートはどれもこの梯子のいずれかの段を攻めている。ただし下から順に上るわけではないので、各ノートの位置づけに現在地を明記した。

文中の「第N稿」という相互参照は統合前の通し番号を指す。第1〜10稿は公開済みの各記事、第11〜22稿は第11稿、第23〜34稿は本稿の各ノート、第35〜51稿は第13稿に収録されている。

ノート23：二本のスパイク、ランク2の普遍構造と次の攻略図

本稿の位置づけ

現在地：ラダーの導入（この節でL1〜L6を定義する）

定理7（第22稿）の証明を支えた「対角の正の背景から2本のシングレット方向を引く」という構造は、あの族の特殊事情ではなかった。ランク2の混合状態すべてが同じ骨格を持つ。本稿はその構造補題と、M3'全域証明への残りの行程表。

1. ランク2構造補題

補題（二本のスパイク）　任意のランク2混合3量子ビット状態 $\rho =p{\Psi }_1+q{\Psi }_2$ に対し$$X={\rho }^{T_A}=P-x_1{e}_1{e}_1^{†}-x_2{e}_2{e}_2^{†},P⪰0$$ ここで $x_i=(\text{重み})\times {\kappa }_{A|BC}({\Psi }_i)/2$、$e_i$ は純状態PT $({\Psi }_i{\Psi }_i{)}^{T_A}$ の唯一の負固有ベクトル。

証明　純状態のPTは（$A|BC$ のSchmidt重み ${\mu }_0,{\mu }_1$ で）固有値 $\{{\mu }_0,{\mu }_1,\pm \sqrt{{\mu }_0{\mu }_1}\}$ をもち、負部分はランク1で深さ $\sqrt{{\mu }_0{\mu }_1}=\kappa /2$。$P$ は2つの正部分の和。$■$

ここで言うスパイクとは、正の背景 $P$ から下向きに突き出た負の方向のことである。純状態の部分転置は負固有値をちょうど1個しか持たないので、混合の各成分 ${\Psi }_i$ は負の方向を1本だけ持ち込む。ランク2なら2本で、$e_i$ がその向き、$x_i$ がその深さにあたる。定理7の族で「対角の正の背景から2本のシングレット方向を引き抜いた」構造（第18稿）は、この一般形の特別な場合だったことになる。

数値照合：負固有値の公式 $7\times 10^{-16}$、$P⪰0$ は $-3\times 10^{-16}$（機械精度）。

帰結：負方向がランク2なので、レゾルベント縮約＝2×2永年方程式（第18稿）がランク2全体で機能する。$n$ は$$\det (I_2-G(\lambda ))=0,G_{ij}=x_i⟨e_i|(P-\lambda {)}^{-1}|e_j⟩$$ の負根で決まる。回転族では $P$ が対角だったため $G$ が初等関数になった；一般には $P$ のスペクトルデータが係数に入るが、2×2であることは変わらない。

2. 危険の地形図

ランダムなランク2状態400例のM3'比率は最大 0.764 で、深い安全圏である。シリーズを通じて観測された危険（比率0.97〜0.99）は、すべて二ペア型（各 ${\Psi }_i$ が「Aと片翼のペア×もう片翼のフラグ」に因子化する配置）とその近傍に集中していた。

理由も構造補題から読める。一般の ${\Psi }_i$ は自身が三体もつれを持つので、スパイク $e_i$ が「$AB$ 整列」「$AC$ 整列」のどちらからも外れる。外れた分だけ周辺負性が減り、比率が下がる。ここから、M3'の中心的な難所は二ペア配置の近傍にある、という作業仮説が立つ。

3. 攻略ラダー（残りの行程表）

以下がこの先の骨格になる梯子である。段が上がるほど扱う族が広くなり、ゲージを固定した後の自由度（パラメータ数）が増える。最下段のL1は定理5・6が、L2は定理7が押さえた既証明の段で、L3以上が未踏である。

L3・L4には、定理7の道具立ての地図（大域＝区間の箱、境界帯＝試験ベクトル、尾部＝明示剰余）がそのまま通用する見込みがある。パラメータが増えても、道具そのものは同じでよい。

L5はそうはいかない。13次元を箱で覆うのは非現実的で、次元の障壁が立つ。ここでは「危険は二ペア近傍に局在する」仮説を定理化し、二ペア配置からの距離で margin を下から抑える摂動型の議論が本命になる。

以降のノートは、この梯子を下から順に上るわけではない。ノート24〜31はL5をどこまで連鎖で覆えるかの試み、ノート32はL6への一般化、ノート33〜34はL4に戻って震源そのものを叩く回である。各ノートの位置づけに現在地を書いておく。

4. 結果一覧

参考文献

• 第18・22稿（本シリーズ）：永年方程式・定理7。
• A. Sanpera, R. Tarrach, G. Vidal, Phys. Rev. A 58 (1998)：純状態PTのスペクトル。
• 検証コード：rank2.py。

ノート24：スパイクは常に最大もつれ、局在定理への二つの補題

本稿の位置づけ

現在地：L5（ランク2全域）——局在定理の道具作り

ラダーL5（ランク2全域）の本命戦略は「危険は二ペア配置の近傍に局在する」の定理化である。本稿はその道具になる二つの補題を証明する。どちらも一行〜数行の初等証明で、二本のスパイク構造（第23稿）に直接刺さる。

1. 補題S（スパイクの最大もつれ性）

補題S　任意の3量子ビット純状態 $\Psi$ の部分転置 $(\Psi \Psi {)}^{T_A}$ の負固有ベクトル $e$ は、$A|BC$ 分割で常に最大もつれである：${\mathrm{Tr}}_{BC}(e{e}^{†})=I_A/2$。

証明　$\Psi =\sqrt{{\mu }_0}|0^{\prime }⟩|{\phi }_0⟩+\sqrt{{\mu }_1}|1^{\prime }⟩|{\phi }_1⟩$（$A|BC$ Schmidt形）に対し負固有ベクトルは $e=(|0^{\prime }⟩|{\phi }_1⟩-|1^{\prime }⟩|{\phi }_0⟩)/\sqrt{2}$（固有値 $-\sqrt{{\mu }_0{\mu }_1}$、直接計算）。${\phi }_i$ の正規直交性から ${\mathrm{Tr}}_{BC}(e{e}^{†})=\frac{1}{2}(|0^{\prime }⟩⟨0^{\prime }|+|1^{\prime }⟩⟨1^{\prime }|)$。$■$

数値照合：$2.8\times 10^{-16}$。橋の補題（第7稿）の上限 $|\lambda |\le \kappa (\Omega )/2\le \frac{1}{2}$ が純状態でスパイクの $\kappa =1$ とともに読めることとも整合する。スパイクの重みは Schmidt重みの積 $\sqrt{{\mu }_0{\mu }_1}$ に、向きは常に「バランスした特異方向」に固定される。ランク2の負性の幾何は、思っていたよりずっと硬い。

2. 補題K（減衰コヒーレンス束縛）

周辺負性 $a$ のもとになるのはスパイクのAB影 ${\mathrm{Tr}}_C(e{e}^{†})$ である。その最大固有値が状態の内部構造で抑えられる：

補題K　$K:={\mathrm{Tr}}_C({\phi }_1{\phi }_0^{†})$（$B$ 上の $2\times 2$ 行列）とすると$${\lambda }_1({\mathrm{Tr}}_C(e{e}^{†}))\le \frac{1+\Vert K\Vert }{2}.$$

証明骨子　${\mathrm{Tr}}_C(e{e}^{†})=\frac{1}{2}[|0^{\prime }⟩⟨0^{\prime }|\otimes {\mathrm{Tr}}_C{\phi }_1{\phi }_1+|1^{\prime }⟩⟨1^{\prime }|\otimes {\mathrm{Tr}}_C{\phi }_0{\phi }_0-|0^{\prime }⟩⟨1^{\prime }|\otimes K-h.c.]$。対角ブロックのノルムは $\le \frac{1}{2}$、非対角の結合は $\frac{1}{2}\Vert K\Vert$、$2\times 2$ ブロック行列のノルム評価で主張が出る。$■$

数値照合：150例で破れなし。

意味：$\Vert K\Vert \le 1$ で、等号は ${\phi }_0,{\phi }_1$ が「同じC状態を持ちB側だけで回る」とき、すなわち $\Psi$ が（AB ペア）$\otimes$（C フラグ）に因子化する二ペア配置そのものである。一般の $\Psi$ では $\Vert K\Vert <1$ となり、周辺負性のもとになる量が構造的に目減りする。ランダムなランク2状態で比率が平均0.145・最大0.62に沈む（本稿で取り直した250例。第23稿の400例では最大0.764だった）のは、この目減りの現れである。

3. 局在定理への設計図

証明すべき形：

目標（局在定理）　ランク2状態のM3' margin は、二ペア配置からの「距離」、たとえば $\delta :={\min }_i(1-\Vert K_i\Vert )$ で下から抑えられる：margin $\ge c\delta \cdot (\text{scale})-(\text{二ペア近傍項})$。二ペア近傍（$\delta \approx 0$）はラダーL3・L4の族の摂動として処理する。

部品の現状：スパイクの向きと重み（補題S・第23稿）、周辺側の重みの頭打ち（補題K）、二ペア族の完全証明（定理5・6・7）、二ペア近傍での margin の陽な下界（定理7の尾部補題の型）。残るは補題Kの「目減り」を margin の下界に変換する不等式の連鎖で、第9稿の補題A（整列による制限）と同じ型の計算が要る。

4. 結果一覧

参考文献

• 第7・9・22・23稿（本シリーズ）。
• 検証コード：rank2b.py。

ノート25：直交性の効果、補題O（スパイク水準の円板則）

本稿の位置づけ

現在地：L5（ランク2全域）——局在定理の原子を特定する

第24稿の補題Kは、周辺負性のもとになる量が内部コヒーレンス $\Vert K^B\Vert =\Vert {\mathrm{Tr}}_C({\phi }_1{\phi }_0^{†})\Vert$ で頭打ちされることを示した。では $K^B$ と $K^C$、すなわち同じランク1作用素の2通りの部分トレースは、同時にどこまで大きくなれるか。答えが今回の補題Oで、これが局在定理（ランク2全域）の原子になる。本稿の時点では数値の裏づけしかなく、証明は次のノート26で完成する。

1. 補題O

補題O（スパイク水準の円板則）　${\phi }_0\perp {\phi }_1$（$B\otimes C=2\times 2$ 量子ビット対の正規直交ベクトル）に対し$$\Vert {\mathrm{Tr}}_C({\phi }_1{\phi }_0^{†}){\Vert }^2+\Vert {\mathrm{Tr}}_B({\phi }_1{\phi }_0^{†}){\Vert }^2\le 1.$$ 等号は二ペア配置（${\phi }_i$ が同一のC因子を持ちB側だけで直交する型とその鏡映）で達成。

数値検証：ランダム4,000ペアで最大 $0.9943$、敵対的最適化後 $0.99976$。1に漸近するが越えない。

位置づけの妙：第12稿で「固有ベクトル水準の円板則L*は偽」（$1.001$ の本物の反例）と確定した。スパイク水準で違うのは直交性である。固有ベクトルには直交の相手がいなかったが、スパイクを作るSchmidtベクトル対は必ず直交する。その効果が円板則を復活させる。

2. 証明の組み立て

(i) 双対表示　$\Vert K^B\Vert =\max |⟨{\phi }_0|(N_B\otimes I)|{\phi }_1⟩|$（$N_B$ はランク1部分等長）。二乗和は最適位相 $(z_1,z_2)$、$|z_1{|}^2+|z_2{|}^2=1$ を取って$$\Vert K^B{\Vert }^2+\Vert K^C{\Vert }^2=\max |⟨{\phi }_0|W|{\phi }_1⟩{|}^2,W=z_1{N}_B\otimes I+z_{2}I\otimes N_C.$$

(ii) 直交性の効果　$⟨{\phi }_0|wI|{\phi }_1⟩=0$（任意の $w$）なので$$|⟨{\phi }_0|W|{\phi }_1⟩|\le \underset{w}{\min }\Vert W-wI\Vert =\mathrm{dist}(W,\mathbb{C}I).$$

(iii) 核となる作用素評価　残るは$$\mathrm{dist}(z_1{N}_B\otimes I+z_{2}I\otimes N_C,\mathbb{C}I)\le 1$$ という4×4の明示的なノルム評価である。数値検証：300構成×スカラー最適化で最大 $0.99744\le 1$。局所ユニタリ共役（スカラー距離は不変）で $N_B,N_C$ は各1パラメータの標準形に落ち、全体は3パラメータのコンパクトな主張になる。手で証明が書けるならそれでよいし、手強ければ第20〜22稿の区間証明エンジンで機械的に閉じられる形である。

3. 局在連鎖における役割

補題O＋補題K＋二本のスパイク構造で、ランク2の周辺負性は$$a\le \sum _i{x}_i\frac{1+k_i}{2},b\le \sum _i{x}_i\frac{1+k_i^{\prime }}{2},k_i^2+k_i^{\prime 2}\le 1$$ と縛られる（$x_i$＝スパイク重み）。$k_i=1$（AB側に全振り）なら $k_i^{\prime }=0$ で、各スパイクは自分の重みをBとCで円板分配するしかない。残る作業は (a) 核評価(iii)の確定、(b) $n$ の下界（スパイク重みからの damping つき回収）、(c) スパイク間クロス項の同型評価であり、いずれも本稿の型（双対表示＋直交性＋コンパクト評価）の反復である。

4. 結果一覧

参考文献

• 第12・22・23・24稿（本シリーズ）。
• 検証コード：lemO.py・lemO2.py。

ノート26：五行の証明、補題Oの完全証明

本稿の位置づけ

現在地：L5（ランク2全域）——原子の証明が完成する

前稿の補題O（スパイク水準の円板則）は「4×4作用素評価に縮約・機械証明可能」の状態だった。一晩置いたら、機械は要らなかった。行列化すると5行で証明できる。局在定理の原子が、完全に確定した。

補題O（完全証明つき）

補題O　${\phi }_0\perp {\phi }_1$ を $B\otimes C$（$2\times 2$）の正規直交ベクトルとすると$$\Vert {\mathrm{Tr}}_C({\phi }_1{\phi }_0^{†}){\Vert }^2+\Vert {\mathrm{Tr}}_B({\phi }_1{\phi }_0^{†}){\Vert }^2\le 1.$$

証明　${\phi }_i$ を $B\times C$ 行列 $F_i$ に行列化すると（$(F_i{)}_{bc}={\phi }_i(b,c)$）、部分トレースは行列積になる：$${\mathrm{Tr}}_C({\phi }_1{\phi }_0^{†})=F_1{F}_0^{†},{\mathrm{Tr}}_B({\phi }_1{\phi }_0^{†})=(F_0^{†}{F}_1{)}^{\mathsf{T}}.$$$F_0=U\Sigma V^{†}$（SVD、$\Sigma =\mathrm{diag}({\sigma }_1,{\sigma }_2)$、${\sigma }_1^2+{\sigma }_2^2=1$）とし $G:=U^{†}{F}_{1}V$ とおくと、ノルムは不変で対象は $\Vert G\Sigma \Vert ,\Vert \Sigma G\Vert$ になり、正規直交性は$$\Vert G{\Vert }_F=1,⟨F_0,F_1{⟩}_F=\mathrm{tr}(\Sigma G)={\sigma }_1{G}_{11}+{\sigma }_2{G}_{22}=0.$$ Frobeniusノルムで評価する：$$\Vert G\Sigma {\Vert }_F^2+\Vert \Sigma G{\Vert }_F^2=\sum _{ij}|G_{ij}{|}^2({\sigma }_i^2+{\sigma }_j^2)=2{\sigma }_1^2|G_{11}{|}^2+2{\sigma }_2^2|G_{22}{|}^2+f,$$ （$f:=|G_{12}{|}^2+|G_{21}{|}^2$、非対角は ${\sigma }_1^2+{\sigma }_2^2=1$ が掛かる）。直交条件から ${\sigma }_1{G}_{11}=-{\sigma }_2{G}_{22}$、これを代入すると対角部は $4{\sigma }_2^2|G_{22}{|}^2=4{\sigma }_1^2{\sigma }_2^2(1-f)$（$\Vert G{\Vert }_F=1$ を使用）。よって$$\Vert G\Sigma {\Vert }_F^2+\Vert \Sigma G{\Vert }_F^2=4{\sigma }_1^2{\sigma }_2^2(1-f)+f\le \max (4{\sigma }_1^2{\sigma }_2^2,1)=1.$$ 作用素ノルムはFrobeniusノルム以下なので主張が従う。$■$

等号構造　$f=1$（$G$ が完全に非対角＝二ペア配置）または $4{\sigma }_1^2{\sigma }_2^2=1$（$F_0$ がバランス）。数値観測（敵対的最適化で0.99976、飽和は二ペア型）と完全に一致する。

検算　3,000直交ペアで $\max (\Vert K_B{\Vert }_{op}^2+\Vert K_C{\Vert }_{op}^2)=0.9958$、F-ノルム版 $=0.99992\le 1$。証明の中身（F版が上から抑える）がそのまま数値に現れている。

直交性の効果・再訪

第12稿の反例（固有ベクトル水準のL*は偽・はみ出し $10^{-3}$）と本補題の対比が、これで完全に説明できる：円板則を守らせているのは、直交性が対角成分 $G_{11},G_{22}$ に課す相殺である。直交の相手がいない固有ベクトルには対角を縛るものがなく、髪の毛一本はみ出せる。スパイクのSchmidt対には $\mathrm{tr}(\Sigma G)=0$ が付いてくるので、はみ出せない。

局在連鎖の到達点

残る2部品：(b) $n$ の下界（スパイク重み $x_i$ の damping つき回収、つまり試験ベクトル $e_i$ と重なり $|⟨e_1|e_2⟩|$ の勘定）、(c) スパイク間クロス項（$e_1$ の影と $e_2$ の影の同時整列の制限、第9稿の補題A（整列による制限）の型）。どちらも既出の道具の射程内にある。

結果一覧

参考文献

• 第12・24・25稿（本シリーズ）。
• 行列化・SVD：R. A. Horn, C. R. Johnson, Matrix Analysis。
• 検証コード：lemO3.py。

ノート27：凸性の連鎖と相補の地図、ランク2攻略の中間報告

本稿の位置づけ

現在地：L5（ランク2全域）——第一の証明連鎖を試す

ランク2全域の証明への最短経路を探る中で、最も単純な連鎖である凸性の到達点と限界を確定した。結論：単独では71%の領域で閉じないが、閉じない場所は深い安全圏であり、証明は定理7型の「相補地図」になる。

1. 凸性連鎖

負性はトレースノルム由来なので凸である：$N(p{\rho }_1+q{\rho }_2)\le pN({\rho }_1)+qN({\rho }_2)$。したがってランク2状態 $\rho =p{\Psi }_1+q{\Psi }_2$ で

（$a_i,b_i,n_i$＝各純状態成分の3つの負性）。成分は純状態なのでOu–Fanの定理（純3量子ビットの負性二乗モノガミー [Ou–Fan 2007]）が各成分で使える：$a_i^2+b_i^2\le n_i^2$。三角不等式と合わせて

となり、M3'は還元目標Tに帰着する：

2. Tの成立地形（実測）

• 定理5の族（同順整列）では T は厳密に等号：$a_1{a}_2+b_1{b}_2=0$（各成分は片翼専業）かつ $n^2=(p^2+q^2)/4$ で、凸性連鎖はこの族の証明を再現する。
• ランダムランク2 400例では71%で破れる（min $T=-0.087$）。混合が $n$ を成分平均より深く削る（コヒーレンス相殺）場所では、この連鎖は届かない。
• しかし破れる領域での実marginは $\ge +0.0134$ で、深い安全圏である。相殺が $n$ を削るとき、同じ相殺が $a,b$ をもっと削っている（凸性の等号からの後退）。それを拾う第二連鎖があれば地図が閉じる。

これは定理7の証明構造（大域＝ある道具、境界帯＝別の道具、尾部＝第三の道具が、それぞれの得意領域で交代する）の高次元版である。第二連鎖の候補は、二本のスパイク構造（第23稿）＋補題O（第26稿）による減衰つき評価である。凸性が捨てた「混合による周辺の目減り」を勘定に入れる側の連鎖で、危険領域（二ペア近傍）で最も鋭くなる。

3. 結果一覧

参考文献

• Y.-C. Ou, H. Fan, Phys. Rev. A 75 (2007) 062308：純状態モノガミー。
• 第22・23・26稿（本シリーズ）：相補地図・スパイク構造・補題O。
• 検証コード：convex1.py。

ノート28：Gram連鎖99%、第二連鎖の確立

本稿の位置づけ

現在地：L5（ランク2全域）——第二の証明連鎖を立てる

前稿の凸性連鎖は「成分の負性を足すだけ」なので、混合による目減りを拾えず71%で破れた。本稿の第二連鎖は目減りの主因である成分の負方向の不整列を勘定に入れる。核になる評価は1行で証明でき、被覆率は99%に跳ぶ。

1. Gram精密化（証明つき）

$M_i=({\rho }_{AB}^i{)}^{T_A}$（成分の周辺PT）は負固有値 $-a_i$・負固有ベクトル $v_i$ を1本だけ持つので、負部分はちょうど $a_i{v}_i{v}_i^{†}$ になる。よって

（正部分を捨てた分だけ右辺が大きい）。右辺はランク2なので最大固有値は $2\times 2$ Gram行列で閉じる：

Gram境界　${\tau }_B:=|⟨v_1|v_2⟩|$ として$$a\le g_B:={\lambda }_{\max }\left(\begin{array}{cc}p{a}_1& \sqrt{pq{a}_1{a}_2}{\tau }_B\\ \sqrt{pq{a}_1{a}_2}{\tau }_B& q{a}_2\end{array}\right)>=\frac{p{a}_1+q{a}_2}{2}+\sqrt{\frac{(p{a}_1-q{a}_2{)}^2}{4}+pq{a}_1{a}_2{\tau }_B^2}.$$$b\le g_C$（${\tau }_C$ で同様）。$■$（検証：400例、破れなし）

$\tau =1$（整列）で凸性連鎖 $p{a}_1+q{a}_2$ に退化し、$\tau =0$（直交）で $\max (p{a}_1,q{a}_2)$ まで下がる。不整列の目減りが初めて勘定に入った。

2. 被覆率99%

ランダムランク2 400例で $g_B^2+g_C^2\le n^2$ が397例（99%）で成立。凸性連鎖（29%）との比較で第二連鎖の実力がわかる。二つの連鎖は設計上相補的である：凸性連鎖は成分が独立に働く配置（定理5族＝等号）で鋭く、Gram連鎖は不整列の目減りが本質の一般配置で鋭い。

なお「被覆率」はサンプル上で不等式が成立した割合であって、領域の証明ではない。連鎖の各リンクは厳密でも、それが全パラメータ空間で閉じることまでは言えていない（この格上げの問題は第30稿で改めて扱う）。

3. 残る2モジュール

1. $n$ のスパイク側Gram下界：同じ論法の下界版で、$-X=x_1{e}_1{e}_1+x_2{e}_2{e}_2-P$ から $n\ge (\text{スパイクGram})-(\text{P減衰})$。減衰項 $⟨g|P|g⟩$（$g\in \mathrm{span}(e_1,e_2)$）の制御が本体。
2. 整列角の関係式：$({\tau }_B,{\tau }_C,\omega )$（周辺×2とスパイクの整列度）は独立でない（実測相関0.535）。「周辺が両翼とも整列するならスパイクも整列する（そして $n$ のGramも育つ）」という排他律の定理化が、99%の穴（3例）と両連鎖の隙間を閉じる鍵になる。補題O（第26稿）の証明技法（行列化＋SVD＋直交性）の3体版がその候補である。

4. 結果一覧

参考文献

• 第26・27稿（本シリーズ）：補題O・凸性連鎖。
• 検証コード：chain2.py。

ノート29：最後の10%の解剖、ランク2連鎖の取りこぼし

本稿の位置づけ

現在地：L5（ランク2全域）——連鎖の穴を数える

Gram連鎖（第28稿）にnのスパイク側下界を接続し、連鎖を「実測n不要」の完結形に近づけた。被覆率と、未被覆の全数解剖の結果。

1. nのスパイク側下界とKrylov強化

$n\ge {\lambda }_{\max }(\Pi (-X)\Pi )$（$\Pi$＝試験空間への射影、Rayleigh制限なので常に厳密）。試験空間の階梯：

スパイクGramは周辺Gramと同形（$g_n=\frac{x_1+x_2}{2}+\sqrt{\frac{(x_1-x_2{)}^2}{4}+x_1{x}_2{\omega }^2}$、重なり $\omega$ が $\tau$ に対応）。3つの負性が同一のGram公式の3つの顔になった。

2. 未被覆10%の全数解剖

39件を分類すると、取りこぼしは正確に2種類：

種類(i)・n回収不足（大半）　真の比率 $(g_B^2+g_C^2)/n^2$ は0.4〜0.7と深く安全なのに、$n$ 下界が実際の6〜8割しか回収できない。責任は連鎖の右辺だけにあり、Krylovの深化（6〜8次元）または永年方程式（第18稿の一般形、$P$ のレゾルベントによる厳密な2×2）で機械的に解決する種類。

種類(ii)・周辺Gramの超過（少数）　$g_B^2+g_C^2>n^2$ が真に起きる（観測値1.19）。ここは周辺境界自体が緩い。GramはKrylovが拾わない減衰の寄与を捨てている。${\mathrm{Tr}}_{C}P$ の正の寄与、すなわち定理5の $\alpha$ 機構（相手ペアの荷重が周辺PTの対角を持ち上げて負性を削る）である。減衰つき周辺Gram$$a\le {\lambda }_{\max }(p{a}_1{v}_1{v}_1^{†}+q{a}_2{v}_2{v}_2^{†}-{\mathrm{Tr}}_{C}P{|}_{\text{相殺分}})$$ の定式化が、この種類を閉じる（定理5ではこの差し引きが $\sqrt{{\alpha }^2+x^2}-\alpha$ の形で現れていた）。

3. 結果一覧

参考文献

• 第18・22・28稿（本シリーズ）：永年方程式・定理5のα機構・Gram連鎖。
• 検証コード：chain3.py〜chain5.py。

ノート30：三十稿分の総括、Ky Fanの鍵と99.5%

本稿の位置づけ

現在地：L5（ランク2全域）——穴の大半を塞ぐ

30稿目の総括の回。前半でランク2連鎖の技術的欠落（n回収）を解き、後半で第21稿以降の歩みを総括する。

1. Ky Fanの鍵

第29稿の取りこぼし・種類(i)「真の比率は安全なのにn下界が届かない」の原因は単純だった。負固有値が複数（97%の状態で2本）あるのに、Krylov圧縮のλmaxしか拾っていなかった。修正は一行：

残るは種類(ii)の2件（0.5%）。周辺Gram自体が超過する二ペア近傍で、減衰の寄与（定理5のα機構の一般化）が本質的に必要な領域だけになった。

2. ランク2連鎖・完成形（現状）

全リンクが厳密な不等式で、数値被覆99.5%。未達なのは「サンプル被覆」を「全域証明」に格上げする段である：パラメータ空間（〜13次元）は区間の箱では覆えないため、(a) 連鎖不等式を不変量（$a_i,b_i,n_i,{\tau }_B,{\tau }_C,\omega$ とKrylovモーメント）の間の代数不等式として証明する、(b) 種類(ii)領域は減衰つき周辺Gram＋定理5〜7の機械で閉じる、という2段が残る。

3. 第21〜30稿の総括

シリーズ全体の既証明の結果：定理5・6・7（3族の完全証明）、構造補題群（二本のスパイク・S・K・O・橋・A）、還元連鎖（M3'⟸L‡⟸L†）、Gram三姉妹（a・b・nが同一公式の3つの顔）、障害定理3件（正値性必須・原子化不能・状態非依存証明の不可能領域）。

残る核心：(a) 連鎖の代数化（サンプル→全域）、(b) 減衰つき周辺Gram、(c) ランク3+への拡張（負固有値≤3・スパイク3本、構造補題は同型に立つ見込み）。

参考文献

• K. Fan, Proc. Natl. Acad. Sci. 35 (1949) 652：固有値和の変分原理。
• 第22〜29稿（本シリーズ）。
• 検証コード：chain7.py。

ノート31：相手の重みの上に座る、種類(ii)の解剖と最終定式化

本稿の位置づけ

現在地：L5（ランク2全域）——最後に残った2件を開ける

99.5%まで来たランク2連鎖の、残り2件（0.5%）の中身を1件ずつ開いた。見つかったのは新しい不変量ではなく、すでに知っていた機構の極端な形だった。

1. 解剖結果

機構は明瞭である。一方の成分の周辺負方向 $v_1$ の真上に、他方の成分の正部分が座っている。クロス減衰 $d_1$ はスパイクの重みを上回り（症例1では4倍）、減衰をゼロと勘定する素のGramが大きく超過するのは当然だった。実際の状態は深い安全圏（比率0.03〜0.31）にいる。

では対角減衰を全量差し引けばよいかというと、それは今度は過剰で、症例2では推定が負になる（実際は $+0.025$）。減衰は漏れ（2本の負方向どうしの結合）の分だけ割り引かれるべきで、真の値はその中間にある。逆に、この結合をSchur補元で一次まで差し引く見積もり（漏れをフルペナルティで払う）では、差し引きがほぼ消えてしまう。素朴な修正はどちらへ振っても外れるということであり、種類(ii)の正確な取り扱いは減衰と漏れの厳密な同時勘定を要求する。それは近似の階段ではなく、周辺の厳密な永年方程式そのものである。

2. 最終定式化：三つの永年方程式の比較

周辺PT $p{M}_1+q{M}_2$ は4×4で、各 $M_i$ の負部分はランク1（$a_i{v}_i{v}_i^{†}$）であり、第18稿・第23稿と完全に同型の2スパイク構造である。よって：

3つの負性はすべて、同じ2×2レゾルベント方程式族の負根である（$G$ の中身はそれぞれの正部分のレゾルベント）。ランク2のM3'は、この3本の方程式の負根の間の不等式として完全に定式化された。回転族（定理7）ではこの3本が初等関数に潰れて証明が完了した；一般ランク2では $P$ のスペクトルデータが係数に残る。それらの間の関係（今夜証明した補題S・K・O、Gram三姉妹、Ky Fan）を方程式レベルで組み合わせるのが、残された一つの課題である。

3. 結果一覧

参考文献

• 第18・23・28〜30稿（本シリーズ）。
• 検証コード：dissect.py。

ノート32：ランク一様の構造と、減衰という共通の尺度

本稿の位置づけ

現在地：L6（ランク3以上）——最上段へ跳ぶ

攻略ラダーの最後の未踏段・L6（ランク3以上）に足を踏み入れた。心配していた「ランクごとに新しい数学が要る」事態は起きない。構造はランク一様で、足りないものも全ランクで同一だと確定した回。

1. ランク一様の構造補題

任意の混合3量子ビット状態 $\rho ={\sum }_{i=1}^r{p}_i{\psi }_i{\psi }_i^{†}$ に対し

第23稿の「二本のスパイク」がそのまま「r本のスパイク」になる（各純状態PTの負部分がランク1であることに、成分数は関係ない）。補題S（スパイクの最大もつれ性）も各スパイクに個別に成立。周辺GramはGram行列が $r\times r$ になるだけで1行証明のまま、Ky Fan-Krylov下界も同文で機能する。

2. 被覆率のランク依存（実測150例ずつ）

劣化の理由は明快である。成分が増えるほど、互いの正部分が互いの負方向に座る機会（クロス減衰）が積み上がるのに、素のGramはそれを全部無視する。高ランクの一般状態はPPTに近づき実margin自体は大きいので危険はない。単に境界の見積もりが粗くなるだけである。

3. 帰一

これでM3'全域の証明は、ラダーの全段が単一の問題に帰一した：

最終問題　r本スパイク構造の3つの永年方程式（$a,b,n$ それぞれの $r\times r$ レゾルベント縮約）の負根の間で、減衰（$P$ の各負方向への荷重）と漏れ（結合ノルム）を同時に勘定し、$a^2+b^2\le n^2$ を導く。

既証明の結果（補題S・K・O、Gram三姉妹、Ky Fan、定理5〜7の減衰機構、区間証明エンジン）はすべてこの単一問題の部品であり、低次元スライス（回転族）では実際に完結した。残るのは一般係数での組み合わせで、研究プログラムとして完全に定義された状態である。

4. 結果一覧

参考文献

• 第23・28〜31稿（本シリーズ）。
• 検証コード：rankN.py。

ノート33：旗は可換、L4の構造定理と震源の再確認

本稿の位置づけ

現在地：L4（二ペア・一般フラグ）——梯子を降りて震源へ

攻略ラダーL4、すなわち二ペア族の最終一般化（任意フラグ・任意回転）の構造を確定させる回。危険の局在仮説（第23〜24稿）が正しければ、ここがM3'の実質的な中心である。

1. 構造定理

定理（L4構造）　フラグ射影 ${\Pi }_1=I_{AB}\otimes \chi \chi$、${\Pi }_2=I_{AC}\otimes \xi \xi$ は厳密に可換であり、$$X={\rho }^{T_A}=\underset{D(\text{4セクター対角})}{\underbrace{\frac{p}{2}{\Pi }_1+\frac{q}{2}{\Pi }_2}}-p{\sigma }_1{\sigma }_1^{†}-q{\sigma }_2{\sigma }_2^{†}$$$D$ の固有値は $\{\frac{1}{2},\frac{p}{2},\frac{q}{2},0\}$（セクター＝「$B$ が $\xi$ に沿うか」×「$C$ が $\chi$ に沿うか」）。回転族（第18稿）と同一のセクター構造である。

検証：可換性 $0.00$、分解の照合 $2.3\times 10^{-16}$（60例）。

帰結：レゾルベント2×2縮約がそのまま通り、$n$ の永年方程式は再び

になる。係数に入る新しいデータはスパイクのセクター成分、すなわちフラグ重なり $|⟨\xi |\cdot ⟩|,|⟨\chi |\cdot ⟩|$ と回転角の関数だけである。

2. 震源の確認

L4-Bell のランダム300例で $\max r=0.987693$。シリーズ全体で観測された最悪値（0.988）と一致する。危険の局在仮説どおり、M3'の極値配置はこの族の中にいる。逆に言えば、この6パラメータ族（$p,\theta$、フラグ2本の角度・位相で $2+4$）を証明できれば、残る一般状態は深い安全圏（第24稿：一般ランク2平均 $r=0.145$）を減衰勘定つきの連鎖で覆う作業になる。

3. 証明計画（L4-Bell）

1. 永年方程式の係数をフラグ・回転の関数として明示（第18稿の導出の一般化で機械的）
2. margin直接の区間証明（第21稿の方式）を6次元で実行する。相殺除去エンジン（第22稿）は箱あたりミリ秒なので $10^5$〜$10^6$ 箱は射程内
3. 等号多様体（単一ペア極限）近傍の帯は尾部補題（第22稿）の型で解析的に

4. 結果一覧

参考文献

• 第18・21〜23稿（本シリーズ）。
• 検証コード：L4b.py。

ノート34：定理8、六つのパラメータとひとつの数

本稿の位置づけ

現在地：L4（二ペア・一般フラグ）——そのBell型部分が落ちる

前稿でL4の構造定理（可換フラグ・4セクター・スパイク分解）が立った。本稿でその帰結を導く。6パラメータ族の全体が、たった1つの有効パラメータを通じて、すでに証明済みの定理7に厳密に還元される。

定理8（L4-BellのM3'・証明完了）

任意の単位フラグ $\chi ,\xi$、回転角 $\theta$、混合比 $p$ に対し、$$\rho =p{\Phi }_{AB}^{+}\otimes \chi {\chi }_C+(1-p)(u_{\theta }\otimes I){\Phi }_{AC}^{+}(u_{\theta }\otimes I{)}^{†}\otimes \xi {\xi }_B$$ はM3'を満たす。

証明（3段・すべて厳密）：

(1) 周辺はフラグ・回転に非依存。　${\mathrm{Tr}}_C({\psi }_2{\psi }_2)=(u\frac{I}{2}{u}^{†}{)}_A\otimes \xi {\xi }_B=\frac{I_A}{2}\otimes \xi {\xi }_B$（Bellペアの周辺は $I/2$、補題Sの帰結）。よって ${\rho }_{AB}=p\Phi \Phi +\frac{q}{2}{I}_A\otimes \xi \xi$ となり、$\xi$ を基底に取れば族Fの周辺と同一：$$a=\frac{\sqrt{q^2+4p^2}-q}{4},b=\frac{\sqrt{p^2+4q^2}-p}{4}(\text{フラグ・回転に依存しない})$$

(2) $n$ は $(p,|g|)$ だけで決まる。　L4構造定理（第33稿）の4セクター上でレゾルベント縮約すると、スパイクのセクター重みは普遍的に $\frac{1}{2}$（これも補題S：シングレットのB周辺・C周辺が $I/2$ だから、どんなフラグに対しても射影量は $\frac{1}{2}$）。対角要素 $f_{11},f_{22}$ は幾何に依存せず、全ての幾何は交差項の単一の複素数$$g=⟨{\sigma }_1|{\Pi }_{11}|{\sigma }_2⟩(|g|\le \frac{1}{2}\text{はセクターノルムのCauchy–Schwarz})$$ に集約される。永年方程式は $t:=4|g{|}^2\in [0,1]$ とおくと回転族（第18稿）と同一になる：$$u(\lambda )v(\lambda )=\frac{pqt}{4}B(\lambda )C(\lambda ).$$

(3) 定理7を適用。　定理7は全 $(p,t)\in [0,1{]}^2$ でM3'を証明済み。$■$

数値照合：ランダム120構成で $|a-\text{公式}|,|b-\text{公式}|\le 3.3\times 10^{-16}$、$|n-\text{永年}(t=4|g{|}^2)|\le 6.7\times 10^{-16}$。厳密還元が機械精度で確認された。

何が決着したか

シリーズ全体で観測された危険（比率0.97〜0.988）の実例は、すべてこの族に属する。第23稿の局在仮説（危険は二ペア配置に局在する）の震源クラスが、Bell型については完全に証明済み領域へ移った。6パラメータが1つに潰れた理由は補題S（スパイクの最大もつれ性）の剛性であり、「負性の幾何は思ったよりずっと硬い」というこのシリーズの発見の集大成である。

残る課題（更新）

1. L3/L4一般Schmidt：ペアがBellでない場合、周辺のフラグ非依存性(1)が崩れる（ペアの周辺が $I/2$ でなくなる）。真に新しいパラメータが残る最後の二ペア領域
2. 安全圏の定量的局在：二ペア配置から遠い一般状態（実測 margin 深い）を減衰勘定つき連鎖で覆う
3. ランク一様な組み立て（第32稿の最終問題）

結果一覧

参考文献

• 第18・22・24・33稿（本シリーズ）：永年方程式・定理7・補題S・L4構造。
• 検証コード：thm11.py。