二本のスパイクという普遍 —— 連鎖の地図と定理11 —

二本のスパイクという普遍 —— 連鎖の地図と定理11

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

本稿の位置づけ
本稿は、攻略ノート旧第23〜34稿を、内容をそのまま保って1本に統合したものである。定理10の勝利が偶然でなかったこと——ランク2の普遍スパイク構造——の発見から、局在補題群（S・K・O）、二つの証明連鎖の相補地図、残欠の解剖、ランク一様化、そして最大の一括戦果・定理11（L4-Bell族6パラメータの完全証明）までを収める。
文中の「第N稿」という相互参照は統合前の通し番号を指す。第1〜10稿は公開済みの各記事、第11〜22稿は第11稿、第23〜34稿は本稿の各ノート、第35〜51稿は第13稿に収録されている。

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

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

1. ランク2構造補題

補題（二本のスパイク）　任意のランク2混合3量子ビット状態 $ρ = p Ψ_{1} + q Ψ_{2}$ に対し
MATHBLOCKTOKEN000
ここで $x_{i} = (重み) \times κ_{A ∣ B C} (Ψ_{i}) /2$ 、 $e_{i}$ は純状態PT $(Ψ_{i} Ψ_{i})^{T_{A}}$ の唯一の負固有ベクトル。
証明　純状態のPTは（ $A ∣ B C$ のSchmidt重み $μ_{0}, μ_{1}$ で）固有値 ${μ_{0}, μ_{1}, \pm μ_{0} μ_{1}}$ をもち、負部分はランク1で深さ $μ_{0} μ_{1} = κ /2$ 。 $P$ は2つの正部分の和。 $■$

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

帰結：負方向がランク2なので、レゾルベント縮約＝2×2永年方程式（第18稿）がランク2全体で機能する。 $n$ は
MATHBLOCKTOKEN001
の負根で決まる。回転族では $P$ が対角だったため $G$ が初等関数になった；一般には $P$ のスペクトルデータが係数に入るが、2×2であることは変わらない。

2. 危険の地形図

ランダムなランク2状態400例のM3'比率：最大 0.764——深い安全圏である。シリーズを通じて観測された危険（比率0.97〜0.99）は、すべて二ペア型（各 $Ψ_{i}$ が「Aと片翼のペア×もう片翼のフラグ」に因子化する配置）とその近傍に集中していた。理由も構造補題から読める：一般の $Ψ_{i}$ は自身が三体もつれを持ち、スパイク $e_{i}$ が「 $A B$ 整列」「 $A C$ 整列」から外れる——外れた分だけ周辺負性が減り、比率が下がる。M3'の主戦場は二ペア配置の近傍という作業仮説が立つ。

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

段	族	パラメータ数（ゲージ固定後）	状態
L1	二ペア・ $∣ 0 ⟩$ フラグ・整列	3（ $p, s, t$ ）	定理8・9で証明済み
L2	二ペア・ $∣ 0 ⟩$ フラグ・Bell×回転	2（ $p, θ$ ）	定理10で証明済み
L3	二ペア・ $∣ 0 ⟩$ フラグ・一般Schmidt×回転	4（ $p, s, t, θ$ ）	次の標的（永年方程式は導出可能・区間証明は4次元）
L4	二ペア・一般フラグ	+4	L3の機械＋フラグの重なりパラメータ
L5	ランク2全域	〜13	構造補題で骨格は確定・次元削減の新しい還元が必要
L6	ランク3以上	—	スパイク3本（負固有値≤3の一般論）・帰納法の可能性

L3・L4は定理10の武器の地図（大域＝区間の箱、境界帯＝試験ベクトル、尾部＝明示剰余）がそのまま通用する見込み。L5は次元の壁があり、「危険は二ペア近傍に局在する」仮説を定理化して二ペア配置からの距離でmarginを下から抑える摂動型の議論が本命になる。

4. 帳簿

項目	状態
ランク2構造補題（二本のスパイク・ $P ⪰ 0$ ）	証明済み（構成的）
永年方程式のランク2全域への拡張	帰結として成立
危険の局在（一般ランク2は max $r = 0.764$ ）	数値地形図
M3'全域	未完。ラダーL3〜L6が残る

参考文献

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

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

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

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

補題S　任意の3量子ビット純状態 $Ψ$ の部分転置 $(ΨΨ)^{T_{A}}$ の負固有ベクトル $e$ は、 $A ∣ B C$ 分割で常に最大もつれである： $Tr_{B C} (e e^{†}) = I_{A} /2$ 。
証明　 $Ψ = μ_{0} ∣ 0^{'} ⟩ ∣ φ_{0} ⟩ + μ_{1} ∣ 1^{'} ⟩ ∣ φ_{1} ⟩$ （ $A ∣ B C$ Schmidt形）に対し負固有ベクトルは $e = (∣ 0^{'} ⟩ ∣ φ_{1} ⟩ - ∣ 1^{'} ⟩ ∣ φ_{0} ⟩) / 2$ （固有値 $- μ_{0} μ_{1}$ 、直接計算）。 $φ_{i}$ の正規直交性から $Tr_{B C} (e e^{†}) = \frac{1}{2} (∣ 0^{'} ⟩ ⟨ 0^{'} ∣ + ∣ 1^{'} ⟩ ⟨ 1^{'} ∣)$ 。 $■$

数値照合： $2.8 \times 1 0^{- 16}$ 。橋の補題（第7稿）の上限 $∣ λ ∣ \leq κ (Ω) /2 \leq \frac{1}{2}$ が純状態でスパイクの $κ = 1$ とともに読めることとも整合する。スパイクの重みは Schmidt重みの積 $μ_{0} μ_{1}$ に、向きは常に「バランスした特異方向」に固定される——ランク2の負性の幾何は思っていたよりずっと剛的である。

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

周辺負性 $a$ の「原資」はスパイクのAB影 $Tr_{C} (e e^{†})$ である。その最大固有値が状態の内部構造で抑えられる：

補題K　 $K := Tr_{C} (φ_{1} φ_{0}^{†})$ （ $B$ 上の $2 \times 2$ 行列）とすると
MATHBLOCKTOKEN002
証明骨子　 $Tr_{C} (e e^{†}) = \frac{1}{2} [∣ 0^{'} ⟩ ⟨ 0^{'} ∣ \otimes Tr_{C} φ_{1} φ_{1} + ∣ 1^{'} ⟩ ⟨ 1^{'} ∣ \otimes Tr_{C} φ_{0} φ_{0} - ∣ 0^{'} ⟩ ⟨ 1^{'} ∣ \otimes K - h.c.]$ 。対角ブロックのノルムは $\leq \frac{1}{2}$ 、非対角の結合は $\frac{1}{2} ∥ K ∥$ 、 $2 \times 2$ ブロック行列のノルム評価で主張が出る。 $■$

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

意味： $∥ K ∥ \leq 1$ で、等号は $φ_{0}, φ_{1}$ が「同じC状態を持ちB側だけで回る」とき——すなわち $Ψ$ が（AB ペア） $\otimes$ （C フラグ）に因子化する二ペア配置そのものである。一般の $Ψ$ では $∥ K ∥ < 1$ となり、周辺負性の原資が構造的に目減りする。ランダムなランク2状態で比率が平均0.145・最大0.62に沈む（第23稿・本稿で再確認250例）のは、この目減りの現れである。

3. 局在定理への設計図

証明すべき形：

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

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

4. 帳簿

項目	状態
補題S（スパイク最大もつれ・ $I_{A} /2$ ）	証明済み
補題K（ $λ_{1} \leq (1 + ∥ K ∥) /2$ ・等号＝二ペア配置）	証明済み（骨子）
局在の数値地形（平均 $r = 0.145$ ）	測定済み
局在定理・L3/L4族	残工程
M3'全域	未完

参考文献

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

ノート25：直交性の配当 —— 補題O（スパイク水準の円板則）

本稿の位置づけ
第24稿の補題Kは、周辺負性の原資が内部コヒーレンス $∥ K^{B} ∥ = ∥ Tr_{C} (φ_{1} φ_{0}^{†}) ∥$ で頭打ちされることを示した。では $K^{B}$ と $K^{C}$ ——同じランク1作用素の2通りの部分トレース——は同時にどこまで大きくなれるか。答えが今回の補題Oで、これが局在定理（ランク2全域）の原子になる。

1. 補題O

補題O（スパイク水準の円板則）　 $φ_{0} ⊥ φ_{1}$ （ $B \otimes C = 2 \times 2$ 量子ビット対の正規直交ベクトル）に対し
MATHBLOCKTOKEN003
等号は二ペア配置（ $φ_{i}$ が同一のC因子を持ちB側だけで直交する型とその鏡映）で達成。

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

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

2. 証明の組み立て

(i) 双対表示　 $∥ K^{B} ∥ = max ∣ ⟨ φ_{0} ∣ (N_{B} \otimes I) ∣ φ_{1} ⟩ ∣$ （ $N_{B}$ はランク1部分等長）。二乗和は最適位相 $(z_{1}, z_{2})$ 、 $∣ z_{1} ∣^{2} + ∣ z_{2} ∣^{2} = 1$ を取って
MATHBLOCKTOKEN004

(ii) 直交性の配当　 $⟨ φ_{0} ∣ w I ∣ φ_{1} ⟩ = 0$ （任意の $w$ ）なので
MATHBLOCKTOKEN005

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

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

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

4. 帳簿

項目	状態
補題O（数値：敵対的0.99976・飽和は二ペア）	成立確認・証明は(iii)一点に縮約
証明核(iii)（3パラメータ・4×4評価）	数値0.99744・機械証明可能な形
L*偽（第12稿）との対比＝直交性の配当の同定	完了
局在連鎖の残り（n下界・クロス項）	設計済み
M3'全域	未完

参考文献

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

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

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

補題O（完全証明つき）

補題O　 $φ_{0} ⊥ φ_{1}$ を $B \otimes C$ （ $2 \times 2$ ）の正規直交ベクトルとすると
MATHBLOCKTOKEN008

証明　 $φ_{i}$ を $B \times C$ 行列 $F_{i}$ に行列化すると（ $(F_{i})_{b c} = φ_{i} (b, c)$ ）、部分トレースは行列積になる：
MATHBLOCKTOKEN009
$F_{0} = U Σ V^{†}$ （SVD、 $Σ = diag (σ_{1}, σ_{2})$ 、 $σ_{1}^{2} + σ_{2}^{2} = 1$ ）とし $G := U^{†} F_{1} V$ とおくと、ノルムは不変で対象は $∥ G Σ∥, ∥Σ G ∥$ になり、正規直交性は
MATHBLOCKTOKEN010
Frobeniusノルムで評価する：
MATHBLOCKTOKEN011
（ $f := ∣ G_{12} ∣^{2} + ∣ G_{21} ∣^{2}$ 、非対角は $σ_{1}^{2} + σ_{2}^{2} = 1$ が掛かる）。直交条件から $σ_{1} G_{11} = - σ_{2} G_{22}$ 、これを代入すると対角部は $4 σ_{2}^{2} ∣ G_{22} ∣^{2} = 4 σ_{1}^{2} σ_{2}^{2} (1 - f)$ （ $∥ G ∥_{F} = 1$ を使用）。よって
MATHBLOCKTOKEN012
作用素ノルムはFrobeniusノルム以下なので主張が従う。 $■$

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

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

直交性の配当・再訪

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

局在連鎖の現在地

a \leq i \sum x_{i} \frac{1 + k _{i}}{2}, b \leq i \sum x_{i} \frac{1 + k _{i}^{'}}{2}, k_{i}^{2} + k_{i}^{'2} \leq 1 (補題 O ・証明済み)

残る2部品：(b) $n$ の下界（スパイク重み $x_{i}$ の damping つき回収——試験ベクトル $e_{i}$ と重なり $∣ ⟨ e_{1} ∣ e_{2} ⟩ ∣$ の勘定）、(c) スパイク間クロス項（ $e_{1}$ の影と $e_{2}$ の影の同時整列の制限——補題Aの型）。どちらも既出の武器の射程内にある。

帳簿

項目	状態
補題O（スパイク円板則）	完全証明（5行・SVD＋Frobenius）
等号構造（二ペア／バランス）	決定
L*偽との対比機構（直交性の対角相殺）	完全に説明
局在連鎖残り2部品	設計済み
M3'全域	未完

参考文献

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

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

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

1. 凸性連鎖

負性はトレースノルム由来なので凸： $N (p ρ_{1} + q ρ_{2}) \leq pN (ρ_{1}) + q N (ρ_{2})$ 。したがってランク2状態 $ρ = p Ψ_{1} + q Ψ_{2}$ で

a \leq p a_{1} + q a_{2}, b \leq p b_{1} + q b_{2} (厳密・検証済み)

（ $a_{i}, b_{i}, n_{i}$ ＝各純状態成分の3つの負性）。成分は純状態なのでOu–Fanの定理（純3量子ビットのモノガミー・1970年代からの既知定理）が各成分で使える： $a_{i}^{2} + b_{i}^{2} \leq n_{i}^{2}$ 。三角不等式と合わせて

a^{2} + b^{2} \leq (p a_{1} + q a_{2})^{2} + (p b_{1} + q b_{2})^{2} = p^{2} (a_{1}^{2} + b_{1}^{2}) + q^{2} (a_{2}^{2} + b_{2}^{2}) + 2 pq (a_{1} a_{2} + b_{1} b_{2})

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

T ： n^{2} \geq p^{2} n_{1}^{2} + q^{2} n_{2}^{2} + 2 pq (a_{1} a_{2} + b_{1} b_{2}) .

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

定理8の族（同順整列）では 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は $\geq + 0.0134$ ——深い安全圏。相殺が $n$ を削るとき、同じ相殺が $a, b$ をもっと削っている（凸性の等号からの後退）——それを拾う第二連鎖があれば地図が閉じる。

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

3. 帳簿

項目	状態
凸性連鎖（ $a \leq p a_{1} + q a_{2}$ 等）	厳密（負性の凸性）
成分への純状態モノガミー適用	既知定理の使用
還元目標T・定理8族での等号	確認
Tの破れ領域＝安全圏（margin ≥ 0.013）の相補構造	実測
第二連鎖（スパイク減衰側）の構成	残工程
M3'全域	未完

参考文献

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

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

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

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

$M_{i} = (ρ_{A B}^{i})^{T_{A}}$ （成分の周辺PT）は負固有値 $- a_{i}$ ・負固有ベクトル $v_{i}$ を1本だけ持つので、負部分がちょうど $a_{i} v_{i} v_{i}^{†}$ 。よって

- (p M_{1} + q M_{2}) ⪯ p a_{1} v_{1} v_{1}^{†} + q a_{2} v_{2} v_{2}^{†}

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

Gram境界　 $τ_{B} := ∣ ⟨ v_{1} ∣ v_{2} ⟩ ∣$ として
MATHBLOCKTOKEN018
$b \leq g_{C}$ （ $τ_{C}$ で同様）。 $■$ （検証：400例、破れなし）

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

2. 被覆率99%

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

3. 残る2モジュール

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

4. 帳簿

項目	状態
Gram精密化（ $a \leq g_{B}$ ・1行証明）	証明済み
被覆率99%（ $g_{B}^{2} + g_{C}^{2} \leq n^{2}$ 、実測 $n$ ）	実測
凸性連鎖との相補性	確認
$n$ の下界・整列角関係式	残工程
M3'全域	未完

参考文献

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

ノート29：最後の10%の解剖 —— ランク2連鎖の残欠

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

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

$n \geq λ_{m a x} (Π (- X) Π)$ （ $Π$ ＝試験空間への射影、Rayleigh制限なので常に厳密）。試験空間の階梯：

試験空間	連鎖の被覆率
$span (e_{1}, e_{2})$ （スパイクのみ・2次元）	86%
$+ X e_{1}, X e_{2}$ （Krylov・4次元）	90%
（参考）実測 $n$	99%

スパイクGramは周辺Gramと同形（ $g_{n} = \frac{x _{1} + x _{2}}{2} + \frac{( x _{1} - x _{2} ) ^{2}}{4} + x_{1} x_{2} ω^{2}$ 、重なり $ω$ が $τ$ に対応）——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が拾わない減衰クレジット—— $Tr_{C} P$ の正の寄与、すなわち定理8の $α$ 機構（相手ペアの荷重が周辺PTの対角を持ち上げて負性を削る）——を捨てている。減衰つき周辺Gram
MATHBLOCKTOKEN019
の定式化が、この種類を閉じる（定理8ではこの控除が $α^{2} + x^{2} - α$ の形で現れていた）。

3. 帳簿

項目	状態
スパイク側n下界（Rayleigh・Krylov-4）	実装・90%被覆
3つの負性＝同一Gram公式の3つの顔	同定
残欠の完全分類（n回収／減衰クレジット）	確定
ランク2完全証明	残り2モジュール（種類i・ii）
M3'全域	未完

参考文献

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

ノート30：三十稿の帳簿 —— Ky Fanの鍵と99.5%

本稿の位置づけ
30稿目の帳簿の回。前半でランク2連鎖の技術的欠落（n回収）を解き、後半で第21稿以降の戦役を総括する。

1. Ky Fanの鍵

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

n = Tr X^{-} \geq Tr [(Π (- X) Π)_{+}] (圧縮の正固有値の和・ Ky Fan 型で厳密)

n下界	連鎖の被覆率
λmax（Krylov-4）	90%
正固有値の和（Krylov-6）	種類(i)を100%被覆（398/400）

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

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

周辺 Gram （ 1 行証明） g_{B}^{2} + g_{C}^{2} \leq Ky Fan \times Krylov-6 （厳密） (Tr [(Π_{6} (- X) Π_{6})_{+}])^{2} \leq n^{2}

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

3. 第21〜30稿の帳簿

#	成果	等級
21	定理10主要部（margin直接・8秒）	証明完了
22	定理10完全証明（4部品組み立て）	証明完了
23	ランク2構造補題（二本のスパイク）	証明完了
24	補題S（スパイク最大もつれ）・補題K	証明完了
25	補題O発見・双対表示＋直交性の配当	数値確立
26	補題O完全証明（行列化・5行）	証明完了
27	凸性連鎖・還元目標T・相補地図	確立＋実測
28	Gram連鎖（1行証明・99%）	確立
29	残欠の完全分類（n回収／減衰）	確定
30	Ky Fanの鍵・99.5%・完成形連鎖	本稿

シリーズ全体の証明済み在庫：定理8・9・10（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)の解剖と最終定式化

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

1. 解剖結果

量	症例1（p=0.237）	症例2（p=0.442)
スパイク原資 $p a_{1}$	0.076	0.104
クロス減衰 $d_{1} = q ⟨ v_{1} ∣ M_{2}^{+} ∣ v_{1} ⟩$	0.306	0.172
素のGram境界 $g_{B}$	0.218	0.125
実際の $a$	0.110	0.025
実際の比率 $(a^{2} + b^{2}) / n^{2}$	0.306	0.029

機構は明瞭である：一方の成分の周辺負方向 $v_{1}$ の真上に、他方の成分の正部分が座っている。クロス減衰 $d_{1}$ がスパイク原資の4倍——素のGram（減衰ゼロ勘定）が大きく超過するのは当然で、実際の状態は深い安全圏（比率0.03〜0.31）にいる。

一方、対角減衰を全額控除する素朴な修正は過剰で、症例2では推定が負になる（実際は $+ 0.025$ ）——減衰は漏れ（結合 $c$ ）の分だけ割り引かれるべきで、真の値はその中間にある。第一次Schur（漏れをフルペナルティ）では今度は控除がほぼ消える。つまり：

種類(ii)の正確な取り扱いは、減衰と漏れの厳密な同時勘定を要求する——それは近似の階段ではなく、周辺の厳密な永年方程式そのものである。

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

周辺PT $p M_{1} + q M_{2}$ は4×4で、各 $M_{i}$ の負部分はランク1（ $a_{i} v_{i} v_{i}^{†}$ ）——第18稿・第23稿と完全に同型の2スパイク構造である。よって：

a : det (I_{2} - G_{B} (λ)) = 0, b : det (I_{2} - G_{C} (λ)) = 0, n : det (I_{2} - G_{A B C} (λ)) = 0

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

3. 帳簿

項目	状態
種類(ii)の機構（クロス減衰4倍・過剰控除の両側）	解剖完了
対角全額控除の非健全性	確認（推定が負に）
最終定式化（3本の永年方程式の負根比較）	確定
ランク2全域・M3'全域	未完——戦場は特定済み

参考文献

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

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

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

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

任意の混合3量子ビット状態 $ρ = \sum_{i = 1}^{r} p_{i} ψ_{i} ψ_{i}^{†}$ に対し

X = ρ^{T_{A}} = P - i = 1 \sum r x_{i} e_{i} e_{i}^{†}, P = \sum p_{i} T_{i}^{+} ⪰ 0, x_{i} = p_{i} κ_{i} /2

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

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

ランク	被覆率	種類(ii)（クロス減衰必須）
2	100%	0件
3	95%	7件
4	79%	29件

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

3. 帰一

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

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

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

4. 帳簿

項目	状態
ランク一様の構造補題（r本スパイク）	確立（構成的）
周辺Gram r×r・Ky Fan下界のランク一様性	確認
被覆率のランク依存と原因（クロス減衰の累積）	実測・特定
M3'全域＝単一の最終問題への帰一	完了
最終問題の解決	未完

参考文献

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

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

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

1. 構造定理

ρ = p Φ_{A B}^{+} \otimes χ χ_{C} + q (u_{θ} \otimes I) Φ_{A C}^{+} (u_{θ} \otimes I)^{†} \otimes ξ ξ_{B} (χ, ξ 任意の単位フラグ)

定理（L4構造）　フラグ射影 $Π_{1} = I_{A B} \otimes χχ$ 、 $Π_{2} = I_{A C} \otimes ξ ξ$ は厳密に可換であり、
MATHBLOCKTOKEN025
$D$ の固有値は ${\frac{1}{2}, \frac{p}{2}, \frac{q}{2}, 0}$ （セクター＝「 $B$ が $ξ$ に沿うか」×「 $C$ が $χ$ に沿うか」）——回転族（第18稿）と同一のセクター構造。

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

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

u (λ) v (λ) = (結合項) \cdot B (λ) C (λ) 型

になる。係数に入る新しいデータはスパイクのセクター成分——フラグ重なり $∣ ⟨ ξ ∣ \cdot ⟩ ∣, ∣ ⟨ χ ∣ \cdot ⟩ ∣$ と回転角の関数——だけである。

2. 震源の確認

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

3. 証明計画（L4-Bell）

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

4. 帳簿

項目	状態
フラグ射影の可換性・4セクター構造	厳密（恒等的）
L4構造定理（ $X = D -$ スパイク2本、 $1 0^{- 16}$ 照合）	確立
震源の所在確認（max $r = 0.9877$ ）	実測
L4-Bell永年方程式の係数明示・区間証明	次工程
M3'全域	未完

参考文献

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

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

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

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

任意の単位フラグ $χ, ξ$ 、回転角 $θ$ 、混合比 $p$ に対し、
MATHBLOCKTOKEN027
はM3'を満たす。

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

(1) 周辺はフラグ・回転に非依存。　 $Tr_{C} (ψ_{2} ψ_{2}) = (u \frac{I}{2} u^{†})_{A} \otimes ξ ξ_{B} = \frac{I _{A}}{2} \otimes ξ ξ_{B}$ （Bellペアの周辺は $I /2$ ——補題Sの帰結）。よって $ρ_{A B} = p ΦΦ + \frac{q}{2} I_{A} \otimes ξ ξ$ となり、 $ξ$ を基底に取れば家族Fの周辺と同一：
MATHBLOCKTOKEN028

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

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

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

何が落ちたか

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

残る前線（更新）

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

帳簿

項目	状態
定理11（L4-Bell全域・6パラメータ）	証明完了（定理10への厳密還元）
補題Sの剛性（セクター重み普遍・幾何の1数集約）	同定
数値照合 $1 0^{- 16}$	完了
残る前線（一般Schmidt・安全圏・ランク組み立て）	上記
M3'全域	未完

参考文献

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