定理9・10・11で三つの岸を閉じる —— 量子もつれ攻略ノート（13・結）

本稿の位置づけ

最終稿。本稿は、攻略ノート旧第35〜51稿を、内容をそのまま保って1本に統合したものである。最後に残った二ペア族（一般Schmidt族とBell面）の探索から、証明マシンv2への世代交代、カスケード還元の部品ごとの証明、C厳密区間エンジン、そして三つの「岸」の完全証明（定理9・10・11）までを収める。末尾にシリーズ全体の総括を置き、その後に、読者から届いた問い「なぜ瞬時に情報が届くのか」への追記を置く。第1稿の表題に掲げた出発点の疑問に、13本を経て正面から答え直す形になっている。

記号の約束（第11・12稿で導入したものの要約）。本シリーズが追うのは三つの負性である。二つの周辺（AとB、AとC）の負性と、AとBCを分ける全体の負性。モノガミー不等式M3'は「二つの周辺の負性の二乗和は、全体の負性の二乗を超えない」という主張で、全体の二乗から周辺の二乗和を引いた差を margin と呼ぶ。margin が正ならM3'は成立、ゼロなら等号、負なら反例である。周辺の二乗和を全体の二乗で割った比を r と書き、1未満なら成立、1を超えれば反例になる。本稿の主役である二ペア配置は、Aと片方の翼がペアを作り、もう片方の翼には単位ベクトルが一本ぶら下がる形をしている。この一本を「フラグ」と呼ぶ。

本稿の骨格である「岸」とは何か。margin がゼロになる等号多様体へ、近づきはするが決して越えない形で漸近していく極限の族を指す。反例が待つ崖ではなく、いくら寄っても水位が上がらない浅瀬である（第35稿）。本稿が閉じる三つの岸は、混合が消えて純粋な「一般ペア＋フラグ」に退化する岸、混合が消えて純粋な「Bellペア＋フラグ」に退化する岸、そして一般ペアの側が積状態に退化する岸（積翼）の三方向で、それぞれ定理11・定理10・定理9が対応する。

文中の「第N稿」という相互参照は統合前の通し番号を指す。第1〜10稿は公開済みの各記事、第11〜22稿は第11稿、第23〜34稿は第12稿、第35〜51稿は本稿の各ノートに収録されている。各ノートの冒頭にある「本稿の位置づけ」は、そのノートが単独の稿だった当時の前口上をそのまま残したものである。

ノート35：等号の岸辺は広い、一般Schmidt族の地形

本稿の位置づけ

定理8でBellスライスは証明された。残る一般Schmidt係数の族の地形を、証明設計の前に探索した回。

1. 探索結果

ランダム600点＋山登り600歩で

これは破れではない。極値点の正体を読む。$t_1^2=0.998$ は第二ペアのもつれがほぼゼロ（${\kappa }_2=2t_1{t}_2\approx 0.09$）、$p=0.99$ は第二成分の重みがほぼゼロ。つまりスパイクの重み $x_2=q{\kappa }_2/2\to 0$ の単一ペア極限であり、そこはM3'の等号多様体である。$r\to 1$ は等号への漸近で、境界の向こう（$r>1$）には出ない。探索が見つけたのは崖ではなく岸辺だった。

2. 教訓：等号の岸辺の幾何

Bellスライス（定理7・8）では等号は $p\in \{0,1\}$ の2辺だけだった。一般Schmidt族では

のすべての方向、すなわち重みが消える・もつれが消える（$s_1\to 1$ や $t_1\to 1$）・その組み合わせが等号接近路になる。岸辺は2辺から「パラメータ立方体の複数の面」へ広がる。

証明設計への含意：構造は定理7型のまま（内部コンパクト領域＝margin直接の区間証明、岸辺＝摂動補題）だが、岸辺の摂動補題はスパイクの重みの積 $x_1{x}_2$ を小パラメータとする層別で書くのが正しい座標だとわかる（Bellの場合の $q$ 冪展開は $x_2\propto q$ の特殊ケースだった）。margin の主要項はおそらく $\mathrm{margin}\gtrsim c\cdot x_1{x}_2\cdot (\text{幾何因子})$ で、定理5の等号条件（$\alpha x=\beta y=0$）とも整合する形である。

3. 本章の結果

参考文献

• 第14・22・34稿（本シリーズ）：定理5の等号条件・尾部補題・定理8。
• 検証コード：L3gen.py。

ノート36：固有値なしの証明書、証明マシンv2

本稿の位置づけ

残る課題（一般二ペア族6〜7パラメータ、安全圏の代数化）はどちらも「高次元パラメータ空間での証明」を要求する。定理7で使った区間固有値追跡は3パラメータが実用限界だった。本稿はエンジンを設計転換し、高次元に耐える形にする。

1. 設計転換：追跡から証明書へ

旧方式は「区間演算で $a,b,n$ を追いかける」もので、固有値の区間評価は相殺と依存性に苦しみ、次元とともに破綻する。新方式は値を追わず、不等式だけを証明する。

証明書の値（$\bar{a},\bar{b},\underline{n},P$）は各箱の中心点のfloat推定から選んでよい。正しさは検証段が全責任を持つので、推定の質は効率（箱の細かさ）にしか影響しない。これはFlyspeck型計算機証明の標準的な作法で、当シリーズのエンジンをようやくその形に揃えたことになる。

2. プロトタイプ検証

一般二ペア族の代表点（$p=0.5$、$s_1^2=0.64$、$t_1^2=0.49$、$\theta =0.6$、非自明フラグ）で実行：

実値:   a=0.144346, b=0.163560, n=0.341744（margin +0.069）
証書:   ā=0.147232, b̄=0.166830, n̲=0.334909
検証:   (i)主小行列式 ✓  (ii)同 ✓  (iii)線形トレース 0.3417≥0.3349 ✓  (iv)スカラー ✓

全項目成立。行列要素はパラメータの明示的な多項式・三角式なので、箱の上での区間化は機械的である。

3. 適用計画

1. 一般二ペア族：6〜7次元の箱分割＋本証明書。等号の岸辺（第35稿・$x_1{x}_2\to 0$ の全方向）は層別摂動補題で別扱い
2. 安全圏：ランダムでなく証明書で覆う。Gram連鎖・Ky Fan連鎖（第28〜30稿）の各リンクも同じ形の証明書（試験ベクトル・シフト）に置換できる
3. ランク一様の組み立てに同エンジンを使い回す

4. 本章の結果

参考文献

• 第20〜22稿（本シリーズ）：旧エンジンとその限界。
• T. Hales et al.（Flyspeck）：証明書検証型計算機証明の範例。
• 検証コード：machine2.py。

ノート37：片翼剛性補題の完全証明、割り切る二次式

本稿の位置づけ

数値の判定実験では、周辺負性 a がフラグの取り方に依らないことがすでに見えていた。本稿でその厳密証明を完成させる。カスケード還元（一般二ペア族→Bell面→定理8）の要石である。

補題（片翼剛性・証明完了）

任意の単位フラグ $\xi$、$\phi =s_1|00⟩+s_2|11⟩$ に対し$$M(\xi )=p(\phi \phi {)}^{T_B}+\frac{q}{2}{I}_A\otimes \xi \xi$$ の負性は $\xi$ に厳密非依存で、$a=\frac{\sqrt{q^2/4+4p^2{s}_1^2{s}_2^2}-q/2}{2}$。

証明（3部品）：

(1) 割り切る二次式。　有理係数の$$Q(\lambda )={\lambda }^2-\frac{q}{2}\lambda -p^2{s}_1^2{s}_2^2$$ が ${\chi }_{M(\xi )}(\lambda )=\det (\lambda I-M(\xi ))$ をすべての $\xi$ で割り切る。これは多項式恒等式であり、格子法で厳密に証明できる：$d_1=s_1^2$、$w=s_1{s}_2$（拘束 $w^2=d_1(1-d_1)$）、フラグを $\xi \propto (1-u^2,2u)$ と有理パラメータ化すると、余りの2係数は $(p,d_1,w,u)$ の多項式（分母クリア後）。拘束曲線はピタゴラス3つ組 $d_1=\frac{(m^2-n^2{)}^2}{(m^2+n^2{)}^2}$, $w=\frac{(m^2-n^2)2mn}{(m^2+n^2{)}^2}$ で有理点が密に取れる。次数上界を超える540有理点（p:6値×拘束上9点×u:10値）で余りが厳密ゼロ。次数有界多項式が次数を超える格子で消えるので恒等的にゼロ。

(2) Qの負根はちょうど1つ。　根の積 $=-p^2{s}_1^2{s}_2^2<0$。負根は$${\lambda }_{-}=\frac{q/2-\sqrt{q^2/4+4p^2{s}_1^2{s}_2^2}}{2}=-a.$$

(3) Mの負固有値は高々1つ。　$M=p(\phi \phi {)}^{T_B}+\text{PSD}$ で、純状態PTの負固有値は1つ（スパイク構造補題）。Weyl単調性より ${\lambda }_2(M)\ge {\lambda }_2(p(\phi \phi {)}^{T_B})\ge 0$。

(1)より ${\lambda }_{-}$ は $M(\xi )$ の固有値、(2)より負、(3)より負固有値は1つ。ゆえに ${\lambda }_{\min }(M(\xi ))={\lambda }_{-}$ が $\xi$ に依らず成立。$■$

危機と回収

初回の検証は恒等式不成立を返した。$w$ を独立パラメータとして格子を張ったためである（拘束外では実際に割り切らない）。ところが余りの符号が $w^2\gtrless d_1(1-d_1)$ を境に反転するパターンが見え、「拘束の上でだけ成立する恒等式」だと診断できた。多項式恒等式の格子証明では変数間の物理的拘束をイデアルとして正しく法に取る。これを教訓として記録する。

カスケードへの帰結

Bell面（$t=1/\sqrt{2}$ の面）では周辺 $a$ が閉形式・フラグ非依存になった。$b$ は $\chi$ 依存が残り、$n$ も干渉依存が残る。面の証明は「$a$ 固定・$(b,n)$ の2量比較」に半減し、区間証明の次元が1つ落ちる。同じ格子法は $b$・$n$ の永年方程式の因子構造の探索にもそのまま使える。

本章の結果

参考文献

• 第23・32稿（本シリーズ）：スパイク構造補題（純状態PTの負部分はランク1）。
• 検証コード：rigidity_proof.py / rigidity_proof2.py。

ノート38：Bell面のパラメータ一覧（消える回転、残る干渉）

本稿の位置づけ

片翼剛性補題（第37稿）に続き、カスケード還元のBell面の全パラメータの運命を確定させる回。

1. 回転ゲージ補題（証明済み）

Bell面（${\Psi }_2$ のペアがBell）では回転 $\theta$ は物理に寄与しない。

証明：Bell対の標準恒等式 $(u\otimes I){\Phi }^{+}=(I\otimes u^{\mathsf{T}}){\Phi }^{+}$ により、Aの回転はCの回転に移せる。$I_A\otimes I_B\otimes u_C^{\mathsf{T}}$ は局所ユニタリで負性を保ち、その作用は $\chi \to \bar{u}\chi$ の繰り込みだけ。$■$

実測でも $b(\theta +\delta ,\beta -2\delta )=b(\theta ,\beta )$ が $10^{-16}$ で確認された（半角規約による因子2つき）。

2. パラメータ一覧

LUゲージ後のBell面は $(p,d_1,\chi \text{の2角},\xi \text{の2角})$ の6パラメータ。各量の運命：

$b$ の証明書が1本の多項式不等式に潰れるのは、$M_b=q(\text{Bell PT})+\text{PSD}$ で負固有値が構造的に1つだからで、第37稿のWeyl論法の再利用である。

3. n の干渉は集約しない

定理8では全幾何が単一の $g$ に潰れた。Bell面で同じ奇跡を探した。

• スパイク重なり $g=|⟨e_1|e_2⟩|$ 単独：近接ペア残差 $\max |\Delta n|=0.050$（全変動0.078）で否
• $g$＋セクター重なり $h_1,h_2$ の3不変量：残差0.055で否

理由も特定できた。定理8の集約は $D$ 部が各セクターで恒等式に比例する（Bell×Bellの補題S剛性）ことに依存していた。片翼では $T_1^{+}$ が3固有値 $(d_1,d_2,s_1{s}_2)$ を持ち、レゾルベント交差項が $\lambda$ ごとに異なる重みで幾何を混ぜるため、1数には潰れない。集約は特権であって権利ではない。

4. 本章の結果

参考文献

• 第34・36・37稿（本シリーズ）：定理8・v2エンジン・片翼剛性補題。
• 検証コード：bface.py / nface.py / nface2.py。

ノート39：角で会う二つのブロック、角族の一行証明

本稿の位置づけ

山登り探索がBell面のフラグ最小点を計算基底の角（$\chi =|1{⟩}_C$, $\xi =|0{⟩}_B$）に特定した（第38稿の続き）。本稿でその角族を厳密に解く。

定理（角族のM3'・証明完了）

$$\rho =p\phi {\phi }_{AB}\otimes |1⟩⟨1{|}_C+q{\Phi }^{+}{\Phi }_{AC}^{+}\otimes |0⟩⟨0{|}_B,\phi =s_1|00⟩+s_2|11⟩$$ はM3'を満たす。しかも $n=a+b$ が厳密に成立し $\mathrm{margin}=2ab$。

証明：$X={\rho }^{T_A}$ の非零成分を書き出すと、非対角は2箇所だけ：$p{s}_1{s}_2(|101⟩⟨011|+\text{h.c.})$（${\Psi }_1$ のスパイク）と $\frac{q}{2}(|100⟩⟨001|+\text{h.c.})$（${\Psi }_2$ のスパイク）。互いに素な2×2ブロックが2つ立つ：

第1ブロックの負根は $\frac{\sqrt{q^2/4+4p^2{s}_1^2{s}_2^2}-q/2}{2}=a$（片翼剛性の閉形式と厳密一致）。第2ブロックは ${\rho }_{AC}^{T_C}$ の負性ブロックと同一の行列なので負根 $=b=\frac{\sqrt{p^2{s}_1^4+q^2}-p{s}_1^2}{2}$。残る対角成分は非負。よって$$n=a+b\Rightarrow \mathrm{margin}=(a+b{)}^2-a^2-b^2=2ab>0.■$$

定理6（鎖族）と同じブロック分離→負性の加法性の機構で、「危険の最小点で構造が最も透明になる」というシリーズの経験則がまた当たった。等号 $2ab=0$ はどちらかのスパイクの重みが消える岸辺（第35稿）でのみ起き、地形と整合する。

カスケード依存図（更新）

一般二ペア族
 └─(s,t)境界極値性［未証明・実測40/40］
     ├─ Bell面
     │   └─フラグ極値性［未証明・実測5/5で角に収束］
     │       ├─ 角族 ────────── 証明済み（本稿・margin=2ab）
     │       └─ Bell×Bell辺 ── 証明済み（定理8）
     └─ 積面（岸辺）
         └─ x₁x₂層別の岸辺補題［未証明・座標設計済み］

残る未証明は3つの極値性/摂動補題に絞られた。いずれも「不等式の族」ではなく「最小の所在」の主張で、微分の符号解析または単調性補題の型である。

本章の結果

参考文献

• 第16・35・37・38稿（本シリーズ）：定理6・岸辺・剛性補題・Bell面のパラメータ一覧。

ノート40：五次元の壁と、位相の消し方

本稿の位置づけ

Bell面の証明の中間報告。証明が立った部品と、正面から押し切ろうとして届かなかった箇所の両方を、次に来る者（自分を含む）のために正直に記録する。

1. 位相ゲージ補題（証明済み）

Bell面の2つのフラグ位相のうち、物理的なのは差 $\Delta \phi ={\phi }_{\chi }-{\phi }_{\xi }$ のみ。

証明：対角ユニタリ $d_{\alpha }=\mathrm{diag}(1,e^{i\alpha })$ を $C$ に施すと、(i) $\chi$ の位相が $\alpha$ シフト、(ii) Bell対では $(I\otimes d_{\alpha }){\Phi }^{+}=(d_{\alpha }^{\mathsf{T}}\otimes I){\Phi }^{+}$ で $A$ に移り、(iii) $A$ 上の対角は $\phi =s_1|00⟩+s_2|11⟩$ のSchmidt位相となって $B$ の基底再定義に吸収され、(iv) それは $\xi$ の位相を同量シフトする。ゆえに同方向シフトは局所ユニタリ＝ゲージ。$■$（実測：同方向 $4\times 10^{-16}$ 不変、逆方向 $2.6\times 10^{-2}$ 変動）

Bell面は5パラメータ $(p,d_1,{\beta }_{\chi },{\beta }_{\xi },\Delta \phi )$。

2. 壁：五次元の区間依存性

v2証明書エンジンは点検証では全部品正確（$a$ 閉形式 $10^{-6}$、$b$ 行列式が根を正しく挟む、$n$ トレース $3\times 10^{-6}$）。しかし箱に広げると：

• $n$ 証明書 $\mathrm{Tr}[XP]$ の区間誤差は成分独立扱いで〜8×箱幅（128項の依存性無視）
• slack（〜margin/10）に収めるには箱幅 $10^{-3}$ 台が必要 → 5次元で箱数発散
• $b$ の行列式は根近傍で本質的に小さく、粗い摂動界では常に不成立

7分ジョブの結果は証明済み0・未解決23,736箱。純Pythonの5次元総当たりは工学的に不可である。これは数学の壁ではなく計算の壁だが、壁は壁である。

3. 位相の地形

• $\Delta \phi \in [0,\pi ]$ で margin は25/25構成で単調、最小は常に $\Delta \phi =\pi$
• しかし margin は $\cos \Delta \phi$ のアフィンではない（3点検定の残差 $4\times 10^{-4}$）ため、「アフィンだから端点」という自明証明は閉じない
• フラグ角 ${\beta }_{\chi }$ の（他角固定）スライス単調性も不成立（16/25）。大域最小は角に座るが、証明は座標ごとの単調性に分解できない

4. 残る道

1. 実スライス還元：位相単調性（${\partial }_{\Delta \phi }\mathrm{margin}\le 0$ on $[0,\pi ]$）を Hellmann–Feynman ＋永年方程式で1次元解析 → 残る4次元 $(p,d_1,{\beta }_{\chi },{\beta }_{\xi })$ は実対称行列の世界で、格子法（第37稿）の適用範囲
2. 永年直接：8→6次に落ちた特性多項式（第39稿の2つの厳密ゼロ）の因子構造を格子法で探索
3. 計算工学：C拡張ないし厳密有理の高速化。ただし数学が先

5. 本章の結果

参考文献

• 第36〜39稿（本シリーズ）：v2エンジン・剛性補題・パラメータ一覧・角族。
• 検証コード：gauge5.py / box5d2.py / mono.py / affine.py。

ノート41：生き残る固有値 q/2、八次から五次へ

本稿の位置づけ

五次元の壁（第40稿）を受けた理論側からの応答。実スライスの特性多項式を厳密に因子分解し、解析対象を一本の五次式まで圧縮する。

1. 補題（セクター固有値・証明完了）

Bell面の $X={\rho }^{T_A}$ は、任意のフラグ $\chi ,\xi$ に対し $\lambda =q/2$ を固有値に持つ。

発見の経緯：ピタゴラス有理点（$X$ が厳密有理行列になる点）で8次特性多項式を厳密計算すると、${\lambda }^2$ 因子（第40稿の2ゼロ）に加えて ${\chi }_6(q/2)=0$ が4点すべてで厳密に成立した。

証明（明示的固有ベクトル）：$v=\alpha |0\xi {\chi }^{\perp }⟩+\beta |1\xi {\chi }^{\perp }⟩$ を $\alpha ⟨1|{\chi }^{\perp }⟩=\beta ⟨0|{\chi }^{\perp }⟩$ に取る。${\chi }^{\perp }$ により $p{T}_1^{+}\otimes \chi \chi$ とスパイク $e_1$ に直交、係数の選択によりスパイク $e_2$ にも直交。残るのは $(q/2)I\otimes \xi \xi$ の作用のみで $Xv=(q/2)v$。$■$

2. 非対称：$p/2$ は生き残らない

$\lambda =p/2$ は固有値ではない（有理点で ${\chi }_6(p/2)\ne 0$ を厳密確認）。理由：Bell翼の $D$ 寄与 $(q/2)I_{AC}\otimes \xi \xi$ は恒等に比例するから、セクター内で固有値が保たれる。一般ペア翼の $T_1^{+}$ は3固有値 $(d_1,d_2,s_1{s}_2)$ を持ち、対応するセクターベクトルを固有に保てない。補題S剛性の、また別の顔である。

3. 帰結：五次の世界

$q/2>0$ なので負根はすべて $Q_5$ の中にある（Weylにより高々2つ）。実スライスの $n$ は五次式の負根2つの和であり、解析対象は8×8行列から一本の五次多項式へ圧縮された。

定理7は「四次の永年方程式＋区間証明」で完結した。五次は代数的閉形式を持たないが、証明に必要なのは根の比較であって根そのものではない。スツルム列・判別式・終結式はすべて有理式で書ける。第40稿の壁（8×8行列の区間依存性）に比べ、1変数多項式1本の符号解析は品質が桁違いに良い。

4. 本章の結果

参考文献

• 第37・39・40稿（本シリーズ）：格子法・角族・五次元の壁。
• 検証コード：factor6b.py / factor6c.py / factor6d.py。

ノート42：二つの符号で挟む、五次証明書の設計と計算の壁

本稿の位置づけ

五次への圧縮（第41稿）を証明装置に変換する回。装置の設計は完成し、実行は計算の壁に阻まれた。両方を記録する。

1. 交互配置補題（証明済み・装置の心臓）

モニック五次 $Q_5$ の負根が高々2つ（$r_2<r_1<0$）のとき、$0<y<w$ で$$Q_5(-w)>0,Q_5(-y)<0$$ ならば $y<|r_1|$ かつ $w<|r_2|$、したがって $n=|r_1|+|r_2|>y+w$。

証明：モニック五次は $x\to -\infty$ で $-\infty$。負区間の符号列は $(-,+,-)$（$r_2$ 未満で負、$(r_2,r_1)$ で正、$(r_1,0)$ 側で負）。$Q_5(-w)>0$ は $-w\in (r_2,r_1)$ を、$Q_5(-y)<0$ は $y<w$ とあわせ $-y\in (r_1,0)$ 側を強制する。$■$

$n$ の下界証明が多項式の2回の符号評価になる。第36稿のv2証明書（試験射影）より遥かに軽く、8×8の固有値計算は完全に不要。パイプライン全体（${\chi }_X={\lambda }^2(\lambda -\frac{q}{2})Q_5$ → 負根和）は20有理点で $5\times 10^{-16}$ 一致を確認済み。

2. 実装の壁（3つの教訓）

1. 区間FLの爆発：区間演算でFaddeev–LeVerrierを回すと8反復の依存性複利で係数区間が全幅爆発する（幅0.002でも不成立）。教訓：区間演算で特性多項式を作ってはならない。固定シフトの行列式を直接評価せよ。
2. 恒等ゼロの毒：${\lambda }^2$ の厳密ゼロ固有値（第40稿）が $\det (X+yI)$ を $y^2$ 倍に微小化し、区間ノイズが常に勝つ。処方：既知ゼロ空間 $\{|a{\xi }^{\perp }{\chi }^{\perp }⟩\}$ を縮約した6×6圧縮行列で評価する（証明済みの固有値だから縮約は厳密）。
3. それでも箱数の壁：区間LUは幅0.01で片側成立まで来たが、y側の所要幅〜0.005に対し4次元の一様箱数は $10^{10}$ 台。適応細分でも純Pythonの計算速度では届かない。

3. 未解決課題の整理

計算証明は（i）コンパイル済み厳密算術エンジン、または（ii）更なる解析的還元、のどちらかを待つ。解析側に残るのは変わらず3補題：

1. 位相単調性（$\Delta \phi$ で25/25単調・最小は $\pi$）。Hellmann–Feynmanの1次元解析
2. $(s,t)$ 境界極値性（40/40）
3. 岸辺補題（$x_1{x}_2$ 層別）

装置（交互配置補題・6×6圧縮・二符号証明書）はどの課題でもそのまま使える。

4. 本章の結果

参考文献

• 第36・40・41稿（本シリーズ）：v2証明書・五次元の壁・五次圧縮。
• 検証コード：quintic.py / signcert2.py / signcert3.py。

ノート43：定理9、積翼族の単調比較

本稿の位置づけ

岸辺の床（$d_1=1$：一般ペアが完全に積に退化した極限族）を完全に証明する。連鎖の解析で繰り返し現れた「減衰と重なりの比較」を、永年方程式の明示解析で厳密化した回。

定理9（積翼族のM3'・証明完了）

任意のフラグ $\chi ,\xi$、混合比 $p$ に対し$$\rho =p|00\chi ⟩⟨00\chi |+q{\Phi }^{+}{\Phi }_{AC}^{+}\otimes \xi {\xi }_B$$ はM3'を満たす（$a=0$、$n\ge b$）。

証明：

(0) 構造。　$X={\rho }^{T_A}=P-\frac{q}{2}{e}_2{e}_2^{†}$、$P=pg{g}^{†}+\frac{q}{2}{\Pi }_{\mathrm{sym}}\otimes \xi \xi ⪰0$、$g=|00\chi ⟩$。$e_2\perp \mathrm{sym}\otimes \xi$ なので $({\Pi }_{\mathrm{sym}}\otimes \xi \xi )e_2=0$（$P$ のうちスパイクを支える項が $e_2$ を消す）。$a=\frac{\sqrt{q^2/4+4p^2{s}_1^2{s}_2^2}-q/2}{2}{|}_{s_2=0}=0$（片翼剛性の閉形式）。

(1) 永年方程式の明示化（Sherman–Morrison）。　$s=\frac{q}{2}$、$m=-\lambda >0$ とおき、ランク1ノイズ $pg{g}^{†}$ をSherman–Morrisonで処理すると、$n$ の永年方程式は$$\frac{s}{m}-\frac{sp\omega /m^2}{D(m)}=1,D(m)=1+\frac{p\sigma }{s+m}+\frac{p(1-\sigma )}{m}$$ ここで $\omega =|⟨e_2|g⟩{|}^2=\frac{1}{2}|{\xi }_0{|}^2|{\chi }_1{|}^2$（スパイク重なり）、$\sigma =\Vert {\Pi }_{\mathrm{sym}\otimes \xi }g{\Vert }^2=|{\xi }_0{|}^2(1-\frac{1}{2}|{\chi }_1{|}^2)$。

(2) $b$ も同じ方程式。　${\rho }_{AC}^{T_C}=q(\Phi \Phi {)}^{T_C}+p|0\bar{\chi }⟩⟨0\bar{\chi }|$ は同一構造（スパイク $s=q/2$、ランク1ノイズ強度 $p$）で、永年方程式は同形・パラメータは$${\omega }^{\prime }=\frac{1}{2}|{\chi }_1{|}^2,{\sigma }^{\prime }=1-\frac{1}{2}|{\chi }_1{|}^2.$$

(3) 鍵：減衰の厳密スケーリング。　$\tau :=|{\xi }_0{|}^2\in [0,1]$ として$$\omega =\tau {\omega }^{\prime },\sigma =\tau {\sigma }^{\prime }.$$$X$ 側の減衰データは $M_b$ 側の一様な $\tau$ 倍である。

(4) 単調性。　左辺は $m$ について減少なので解は一意。${\partial }_{\omega }(\text{LHS})<0$ より $m^{\ast }$ は $\omega$ に減少。${\partial }_{\sigma }D=p[\frac{1}{s+m}-\frac{1}{m}]<0$ より $D$ は $\sigma$ に減少、ゆえに減衰項が強まり $m^{\ast }$ は $\sigma$ にも減少。

(5) 結論。　$\tau$ を $1$ から $|{\xi }_0{|}^2$ へ動かすと $(\omega ,\sigma )$ は成分ごとに減少し、(4)より $m^{\ast }$ は増加：$$n=m^{\ast }(\tau {\omega }^{\prime },\tau {\sigma }^{\prime })\ge m^{\ast }({\omega }^{\prime },{\sigma }^{\prime })=b.$$$a=0$ とあわせ $\mathrm{margin}=n^2-b^2\ge 0$。$■$

等号は $\tau =1$（$\xi =|0⟩$）または ${\chi }_1=0$（$\chi =|0⟩$、このとき両者無減衰で $n=b=q/2$）のフラグ部分多様体上のみで、第35稿の等号地形と整合する。

位置づけ

「トレースアウトは減衰を薄める」。$B$ を捨てる操作が $M_b$ の世界ではノイズの全てをスパイクにぶつける（${\sigma }^{\prime }+{\omega }^{\prime }=1$）のに対し、$X$ の世界ではノイズの $1-\tau$ が ${\xi }^{\perp }$ セクターに逃げてスパイクを傷つけない。単調比較はこの物理を厳密化したものである。定理5〜8・角族と異なり、初めてフラグ全域を一様に覆う連続族の定理になった。

本章の結果

参考文献

• 第35・37・42稿（本シリーズ）：等号地形・剛性閉形式・証明書装置。
• 検証コード：shore.py。

ノート44：証明プログラムの現在地図

本稿の位置づけ

証明プログラムは10の定理・補題を得て、未解決の課題は4つに絞られた。再開する未来の自分（と読者）のために、現在地を一枚に描く。

1. 証明済みの結果（すべて完全証明）

2. 未解決の課題（未証明・正確な定式化つき）

(i) Bell面バルク：実スライス4パラメータ $(p,d_1,{\beta }_{\chi },{\beta }_{\xi })$＋位相単調性で5→4。$n$=五次 $Q_5$ の負根和、$b$=四次の唯一負根、$a$=閉形式。装置は完成、箱数 $10^{10}$ の計算壁。

(ii) 岸辺帯：床（$d_1=1$）は定理9で完了。帯 $d_1\in [1-\delta ,1]$ のLipschitz接続が残る。床の等号部分多様体（$\xi =|0⟩$ 等）近傍では margin の $x_1$ 成長との組み合わせが必要。

(iii) $(s,t)$ 境界極値性：一般二ペア族の margin 最小は $(s,t)$ 矩形の境界面（実測40/40）。証明未着手。

(iv) ランク3+：構造はランク一様（第32稿）、減衰勘定の代数化が残る。

3. 今回の消去法（負の結果も蓄積になる）

• ξスライス極値性：不成立（30構成中10で内部最小）
• margin の $\cos {\beta }_{\xi }$ アフィン性：不成立（残差 $1.6\times 10^{-2}$）
• $\xi =|0⟩$ スライスでの $n=a+b$ 恒等：不成立（両側に $\pm 0.03$ 違反）

スライス還元・単調性分解の安直な道はすべて閉じた。Bell面バルクに残る道は、(a) $Q_5$ の代数構造の更なる活用（判別式・終結式の符号解析）、(b) コンパイル済み厳密算術での箱証明、の2本である。

4. 展望

危険の震源（max r≈0.988）は定理8で覆われ、岸辺の床は定理9で覆われた。未証明領域はどこでも margin ≥ 0.011 の実測余裕を持ち、反例の兆候は一度もない。プログラムは「発見の段階」から「検証の段階」へ移行しており、残る仕事は性質としては確認と集計である。

本章の結果

参考文献

• 第14〜43稿（本シリーズ）。
• 検証コード：xislice.py / xi0.py。

ノート45：岸を離れる速度は行列式、q岸辺の一次補題

本稿の位置づけ

計算側（C区間エンジン）と解析側（岸辺補題）が同時に動いた回。前者は計算力、後者は岸の地形の方程式である。

1. 計算側：C区間エンジンの完成

第40稿の壁（純Python・5次元）を、C＋fesetround 方向丸めの厳密区間演算で突破した：

• 単一符号証明書：$\det (X^{\prime }+wI)<0$ ⟹ 奇数個の固有値が $-w$ 未満 ⟹（Weylの高々2負と合わせ）$n\ge |r_2|>w$。$w=\max (1.03\sqrt{{\bar{a}}^2+{\bar{b}}^2},0.8|r_2^{\mathrm{c}}|)$ と取れば margin 証明に直結し、小さい方の根 $r_1$ の分離（第42稿でy側の証明を阻んだ微小行列式）が不要になる
• ゼロシフト：証明済みゼロ空間に $\mu \Pi$ を足して行列式の退化を回避
• $b$ は区間4×4行列式1本（Weylの高々1負）

成績：純Pythonが7分で0箱だった実証チャンク（$p\in [.45,.55]\times d_1\in [.60,.65]\times$角度$[1,1.5{]}^2$）を2,982,528箱・未解決0・108秒で完全証明。現在、実スライスのバルク（$p\in [.05,.95]$, $d_1\in [.55,.95]$, 角度$[0,\pi {]}^2$）を4並列でラン中。中央p帯は未解決ゼロを維持し、端のp帯（単一ペア岸辺）が失敗箱で岸の正確な地図を描いている。

2. 解析側：q岸辺の一次補題（証明完了）

補題（q岸辺・一次）　$q\to 0$（$\rho \to$ 純粋 $\phi \otimes \chi$）の岸で$$\frac{d\mathrm{margin}}{dq}{|}_{q=0}\ge \frac{w}{2}\left(1-|\det (\chi ,\xi ){|}^2\right)\ge 0,w=s_1{s}_2$$ 等号（要二次解析）はフラグ直交 $\chi \perp \xi$ のときのみ。

証明：$q=0$ で margin$=0$（等号多様体）。各量の一次係数：(i) $a^{\prime }=-w-\frac{1}{4}$（閉形式の微分・数値と14桁一致）。(ii) $b(q)=O(q^2)$ 側：$b(0)=0$ より $d(b^2)/dq=0$。(iii) $n_1^{\prime }=-(w+\kappa )$（Hellmann–Feynman）、ここで$$\kappa =⟨e_1|(\Phi \Phi {)}^{T_A}\otimes \xi \xi |e_1⟩=\frac{|{\chi }_0{\xi }_1-{\chi }_1{\xi }_0{|}^2}{4}=\frac{|\det (\chi ,\xi ){|}^2}{4}$$ これは二枚のフラグの反対称重なりの2乗である。(iv) 第2負固有値の出現係数 $\nu \ge 0$（湧く方向にしか効かない）。合わせて$${\mathrm{margin}}^{\prime }=2w\left(\frac{1}{4}-\kappa +\nu \right)\ge \frac{w}{2}\left(1-|\det (\chi ,\xi ){|}^2\right).■$$

30構成の数値検証で違反ゼロ（最大侵入 $5\times 10^{-7}$＝数値微分誤差）。

3. デバッグの記録

最初の導出は $\kappa$ の行列要素で $\xi$ の共役の付き方を誤り、数値照合が違反例を出した。切り分け（$a^{\prime }$ は厳密一致 → 誤りは $\kappa$ に局在 → 候補式3つを機械照合 → cand2が$10^{-17}$一致）で回収。「式は数値が裁く」。第37稿の拘束イデアル事件に続き、この規律が二度目の誤収録を防いだ。

4. 本章の結果

参考文献

• 第40・42・43稿（本シリーズ）：壁・証明書装置・定理9。
• 検証コード：cert.c / qshore3.py / kappa.py。

ノート46：岸を支えるのは、生まれてくる固有値

本稿の位置づけ

q岸辺一次補題（第45稿）の退化方向 $\chi \perp \xi$ を二次で解剖する。摂動論の教科書的計算のはずが、二つの厳密な奇跡と一つの美しい機構が出てきた。

1. 奇跡1：摂動の像は積ベクトル

$B=\frac{1}{2}{\mathrm{SWAP}}_{AC}\otimes \xi {\xi }_B$ をスパイク $e_1$ に当てると、$\xi ={\chi }^{\perp }$ のとき$$B|e_1⟩=\frac{1}{2\sqrt{2}}|\chi {⟩}_A|\xi {⟩}_B|\chi {⟩}_C$$ という完全な積ベクトルに潰れる（${\xi }^{\perp }$ 成分はゼロ）。Rayleigh–Schrödinger和は $\chi$ セクターの4項だけになる。

2. 奇跡2：主固有値の二次項は厳密相殺

その4項を評価すると、重なりは $|{\chi }_0{|}^2|{\chi }_1{|}^2$ と $(|{\chi }_0{|}^2-|{\chi }_1{|}^2{)}^2$ の組合せ、分母は $w+d_1,w+d_2,2w$。ここで恒等式$$(w+d_1)(w+d_2)=w^2+w+d_1{d}_2=w(2w+1)(w=\sqrt{d_1{d}_2},d_1+d_2=1)$$ により $\frac{1}{w+d_1}+\frac{1}{w+d_2}=\frac{1}{w}$ が厳密に成立し、フラグ依存が消えて$$n_1^{\prime \prime }=\frac{1}{16w},2w{n}_1^{\prime \prime }-\frac{1}{8}=0.$$ 主負固有値の二次寄与は $a^{\prime \prime }=\frac{1}{16w}$（閉形式）と完全に相殺する。

3. 機構：第2固有値の誕生が岸を支える

margin${}^{\prime \prime }>0$（第45稿の実測）を担うのは、${\chi }^{\perp }$ セクターのゼロ固有値から二次で生まれてくる第2負固有値 $n_2=c_2{q}^2$ である：$${\mathrm{margin}}^{\prime \prime }=4w{c}_2-2{\beta }^2(\beta =b^{\prime }(0))$$

数値照合（4構成）：$n_2/q^2$ は明確に収束（0.46〜0.96）、分解式は margin${}^{\prime \prime }$ と1%（差分誤差）で一致。しかも $\beta \sim 3\times 10^{-3}$ に対し $c_2\sim 0.5$ で、余裕は5桁ある。

物理として読むと、純粋状態の岸では、混合が入る（$q>0$）ことで初めて「第二のもつれ流路」が開き、その二次の負性が周辺負性 $b$ の成長（こちらも高次）を圧倒する。岸の安全は、生まれてくる固有値が保証する。

4. 本章の結果

参考文献

• 第45稿（本シリーズ）：一次補題。
• 検証コード：second.py / second2.py。

ノート47：岸辺の設計図、完成

本稿の位置づけ

第45・46稿で掘り進めたq岸辺の摂動解析が、証明可能な形に完全に組み上がった回。

1. 岸辺の三層構造（確定）

• 一般方向（$|\det {|}^2<1$）：一次が支配、係数は閉形式（第45稿）
• 退化方向（$\chi \perp \xi$）：一次消失、二次が支配。その全てを担うのは生まれてくる第2固有値（第46稿）

2. 二次の構造確定

実効演算子$$H_{\mathrm{eff}}=q\underset{\frac{1}{2}v{v}^{†}⪰0}{\underbrace{\tilde{V}}}+q^2\underset{{\Pi }_{0}VRV{\Pi }_0(\text{明示4×4})}{\underbrace{S}},c_2=-{\lambda }_{\min }(H_{\mathrm{eff}})/q^2$$

が実測 $c_2$ を全構成で0.4%以内で再現。第一次ブロック $\tilde{V}$ はPSDランク1（一次で負性が湧かない理由）、$S$ が二次の負性源。手計算のランク1縮約は誤り（数値が棄却）で、$S$ の閉形式は格子法（第37稿）で機械的に抽出するのが正道である。

3. 一様正値性（実測）

3パラメータ（$d_1,{\beta }_{\chi },{\phi }_{\chi }$）グリッド全域で

余裕は大きい。残る施工は2つ。(i) この正値性の証明ラン。3次元なのでC区間エンジン（第45稿・5次元で毎秒2.5万箱）には自明な規模である。(ii) 三次剰余の明示評価。定理7の尾部補題と同型の定型作業である。

4. 本章の結果

参考文献

• 第45・46稿（本シリーズ）：一次補題・厳密相殺。
• 検証コード：c2exact.py / c2sweep.py。

ノート48：もう一つの岸は完全平方、p岸辺の一次補題

本稿の位置づけ

q岸辺（第45〜47稿）の鏡像、p→0（状態が純粋Bellペア ${\Phi }_{AC}^{+}\otimes \xi$ に退化する岸）を解析する回。鏡のこちら側は、さらに綺麗だった。

補題（p岸辺・一次・証明完了）

$$\frac{d\mathrm{margin}}{dp}{|}_{p=0}=\frac{1}{2}{\left|\sqrt{d_1}{\bar{\chi }}_1{\xi }_1+\sqrt{d_2}{\bar{\chi }}_0{\xi }_0\right|}^2\ge 0$$ 不等式ではなく恒等式である。等号は $\sqrt{d_1}{\bar{\chi }}_1{\xi }_1=-\sqrt{d_2}{\bar{\chi }}_0{\xi }_0$（1複素条件）のみ。

証明：$p=0$ で $n=b=\frac{1}{2}$, $a=0$（等号多様体）。margin${}^{\prime }=n^{\prime }-b^{\prime }$（$2n=2b=1$）。Hellmann–Feynmanで両者の「自分のBellが薄まる $-\frac{1}{2}$」は相殺し、残るのはノイズ項の差：$${\mathrm{margin}}^{\prime }=⟨\mathrm{sing}|\mathrm{diag}(d)\otimes \bar{\chi }\bar{\chi }|\mathrm{sing}⟩-⟨e_2|T_1\otimes \chi \chi |e_2⟩$$ 第1項 $=\frac{1}{2}(d_1{c}_1+d_2{c}_0)$。第2項 $=\frac{1}{2}[d_1|{\xi }_0{|}^2{c}_1+d_2|{\xi }_1{|}^2{c}_0+2w\mathrm{Re}(\cdots )]$。差を取ると $|{\xi }_0{|}^2,|{\xi }_1{|}^2$ の補完で$${\mathrm{margin}}^{\prime }=\frac{1}{2}\left[d_1{c}_1|{\xi }_1{|}^2+d_2{c}_0|{\xi }_0{|}^2+2w\mathrm{Re}(\cdots )\right]$$ ここで $w=\sqrt{d_1{d}_2}$ が交差項の係数をちょうどAM–GM等号型にし、全体が平方完成する。$■$（25構成で偏差 $5\times 10^{-6}$＝差分誤差の厳密一致・符号規約込み）

岸の三面鏡

Bell面の岸辺に一次解析が出揃った。

三つの岸で機構がすべて違う（行列式・平方・単調比較）のに、どれも「等号多様体から離れる一次/二次係数が非負の閉形式を持つ」。M3'の幾何が岸で例外なく協力的であることの証拠である。

本章の結果

参考文献

• 第43・45〜47稿（本シリーズ）：定理9・q岸辺三部作。
• 検証コード：pshore.py。

ノート49：退化方向の普遍公式 margin=2x₁²

本稿の位置づけ

p岸辺の退化方向の二次係数を数値から逆算したら、閉形式が浮かび上がった。しかもフラグに依存しない普遍定数つきで。

1. 発見

p岸辺（第48稿）の退化部分多様体（$\sqrt{d_1}{\bar{\chi }}_1{\xi }_1=-\sqrt{d_2}{\bar{\chi }}_0{\xi }_0$、一次が消える方向）上で、二次係数の実測値が $d_1$ だけの関数に見えた。逆算すると：

スパイクの重み $x_1$ の2乗のちょうど2倍である。検証：20構成（$d_1\in [0.51,0.99]$、フラグ多様、$p=0.003$）で

フラグ非依存・$d_1$ 一様の普遍公式である。

2. 意味：層別座標が正しかった

第35稿はこう予言していた：「岸辺の摂動補題はスパイクの重みの積を小パラメータとする層別で書くのが正しい座標」。二重岸辺の角（$p\to 0\wedge d_1\to 1$、両方の退化が重なり素朴な展開が全て壊れる場所）でこそ、この座標の真価が出る。$p$ 展開の係数 $2d_1{d}_2$ は角で消えるが、$x_1$ 座標では

特異点だと思っていた角は、正しい座標では平地だった。もっとも、角族（第39稿）の $\mathrm{margin}=2ab$ を小さい側で展開して $2ab\approx 2\cdot \frac{2x_1^2}{q}\cdot b$ と直結させる筋は通らない。それでも、ここに現れた係数2は角族の2と同じ出自（$n^2-a^2-b^2$ の交差項）だと推測される。摂動論的証明で確定させる。

3. 岸辺プログラムの現況

すべての岸が「証明済みの一次＋閉形式の二次（施工待ち）」に到達。

本章の結果

参考文献

• 第35・39・47・48稿（本シリーズ）：層別座標・角族・q岸設計図・p岸一次。
• 検証コード：univ2.py。

ノート50：定理10、p岸辺の一様補題

本稿の位置づけ

節目の第50稿。普遍公式 margin$=2x_1^2$（第49稿）の解析証明が完成し、p岸辺全体の一様補題が定理として立つ。

定理10（p岸辺の一様展開・証明完了）

$p\to 0$ 岸辺で、$\tilde{\beta }:=\sqrt{d_1}{\bar{\chi }}_1{\xi }_1+\sqrt{d_2}{\bar{\chi }}_0{\xi }_0$ とおくと$${\mathrm{margin}}^{\prime }(0)=\frac{|\tilde{\beta }{|}^2}{2},c_2^{\prime }=2[w^2-2|\alpha {|}^2],\alpha \propto \overline{\stackrel{~}{\beta }}$$ 特に退化多様体（$\tilde{\beta }=0$）上で $c_2^{\prime }=2w^2$、一般には一次と二次が同じ $\tilde{\beta }$ で結ばれ、小さい $p$ の一様下界$$\mathrm{margin}(p)\ge \frac{|\tilde{\beta }{|}^2}{2}p+\left(2w^2-C|\tilde{\beta }{|}^2\right)p^2-M{p}^3$$ が成立（$C,M$ は明示定数）。$|\tilde{\beta }|$ が大きければ一次が、小さければ二次 $2w^2$ が margin を守る。

証明の骨格（各段厳密）：

(1) 活性モードは一つ。　$X_0$ のゼロセクター $\{|a,{\xi }^{\perp },c⟩\}$（4次元）のうち、$C$-内容 ${\chi }^{\perp }$ の2次元は $V$ の $\otimes \chi \chi$ に殺されて恒久ゼロ（第41稿の ${\lambda }^2$ の正体）。残り2次元の一次ブロックは $R\otimes \chi \chi$、$R$ は $T_1$ の ${\xi }^{\perp }$ 圧縮で$$\det R=d_1{d}_2{u}_0{u}_1-w^2{u}_0{u}_1=0$$ つまり特異PSDである。核ベクトル $\hat{k}\propto (\sqrt{d_2}{\bar{\xi }}_1^{\perp },-\sqrt{d_1}{\bar{\xi }}_0^{\perp })$ に対応する $\hat{k}\otimes \chi$ が唯一の活性ゼロモード。

(2) 結合の大きさは厳密に $w^2$。　$\xi$-セクターへの結合行列 $Q_{a^{\prime }a}=⟨a^{\prime }\xi |T_1|a{\xi }^{\perp }⟩$ に核を通すと$$Q\hat{k}=\bar{D}(d_1\sqrt{d_2}{\xi }_0^{\perp },d_2\sqrt{d_1}{\xi }_1^{\perp })/\Vert k\Vert ,D=\det (\xi ,{\xi }^{\perp }),|D|=1$$$$\Vert Q\hat{k}{\Vert }^2=\frac{d_1{d}_2(d_1{u}_0+d_2{u}_1)}{\Vert k{\Vert }^2}=w^2.$$

(3) 漏れは多様体の定義式。　二次シフトは $+\frac{1}{2}$ セクター（押し下げ）と $-\frac{1}{2}$ セクター（押し上げ）の差で $c_2^{\prime }=2[\Vert Q\hat{k}{\Vert }^2-2|\alpha {|}^2]$。反対称成分を計算すると$$\alpha \propto \overline{\sqrt{d_1}{\bar{\chi }}_1{\xi }_1+\sqrt{d_2}{\bar{\chi }}_0{\xi }_0}=\overline{\stackrel{~}{\beta }}$$ これは退化多様体の定義式の共役そのものである。$\tilde{\beta }=0$ で $\alpha =0$、$c_2^{\prime }=2w^2$。$■$

数値照合：$c_2^{\prime }$ vs $2w^2$ は0.4%（差分誤差）、一次は $5\times 10^{-6}$（第48稿）。

一つの量が全てを結ぶ

$\tilde{\beta }$ は (i) 一次係数（完全平方）、(ii) 二次の漏れ $\alpha$、(iii) 退化多様体の定義式、の三役を演じる。$\tilde{\beta }$ はスパイクが周辺へ漏れる唯一の水路であり、水路が開けば一次で、閉じれば「生まれる固有値」の二次で、margin は必ず守られる。

本章の結果（第50稿・節目の集計）

参考文献

• 第41・46・48・49稿（本シリーズ）：λ²・生まれる固有値・完全平方・普遍公式。
• 検証コード：account2.py / univ2.py。

ノート51：定理11、直交が救う岸

本稿の位置づけ

p岸の定理10（第50稿）に続き、q岸の二次を閉じる回。二度は失敗した計算が、二つの直交性で一気に晴れた。

定理11（q岸辺の退化方向二次・証明完了）

q岸辺の退化方向（$\xi ={\chi }^{\perp }$、一次が消える方向）で$$c_2=\frac{1}{4}\left[\frac{c_1^2}{d_1}+\frac{c_0^2}{d_2}+\frac{2c_0{c}_1}{w}\right](c_i=|{\chi }_i{|}^2)$$ 全項が正であり、正値性は自明。（10構成で相対偏差0.4%＝打ち切り誤差の厳密一致）

証明の2つの直交：

(1) 持ち上げは干渉しない。　ゼロセクターの一次ブロックは $\tilde{V}=\frac{1}{2}{v}^{\prime }{v}^{\prime †}$（$v^{\prime }={\chi }^{\perp }\otimes \xi$）、二次の負方向は $s=\chi \otimes \xi$。両者は$$⟨v^{\prime }|s⟩=⟨{\chi }^{\perp }|\chi ⟩\cdot \Vert \xi {\Vert }^2=0$$ で常に直交する。ゆえに一次で持ち上がる方向と二次で沈む方向は独立で、$c_2=-{\lambda }_{\min }(S)$ がそのまま立つ。（以前の失敗［第47稿］は $v^{\prime }$ の共役の付け間違いによる偽の重なり $2i\mathrm{Im}$ を見ていた。今回も誤りを見つけたのは数値だった。）

(2) 危険項は対称性で消える。　$S=-\frac{1}{4}\left[{\sum }_k\frac{|⟨v^{\prime }|t_k⟩{|}^2}{{\lambda }_k}\right]s{s}^{†}$ の和は $T_1$ の固有値 $\{d_1,d_2,w,-w\}$ を走り、$-w$ の項だけが $c_2$ を減らし得る。ところが退化方向 $\xi ={\chi }^{\perp }$ では $v^{\prime }={\chi }^{\perp }\otimes {\chi }^{\perp }$ が対称テンソルとなり、反対称固有ベクトル $e_{-}$ との重なりが恒等的にゼロ：$$⟨e_{-}|v^{\prime }⟩=\frac{{\chi }_0^{\perp }{\chi }_1^{\perp }-{\chi }_1^{\perp }{\chi }_0^{\perp }}{\sqrt{2}}=0.$$ 唯一の負項が消え、残る3項は全て正。$■$

岸辺プログラム完成形

3つの岸すべてが「証明済みの一次＋証明済みの二次」に到達した。残る施工は剰余定数の明示（Kato型の固有値摂動剰余。ノルムとギャップは全て明示済みなので定型）とバルクとの接続半径の確定である。

本章の結果

参考文献

• 第45〜50稿（本シリーズ）：岸辺三部作＋定理10。
• 検証コード：qS2.py / qc2final.py。

シリーズの総括：13本で決まったことと、残ったこと

13本を通して読んできた読者のために、到達点を一枚にまとめておく。ここから読み始めた方には、これが現在地の見取り図になる。

前半（第1〜3稿）：問いに機構で答えた

出発点は素朴な疑問だった。片方を測ると、なぜ離れたもう片方が瞬時に決まるのか。この疑問は「何かが飛んでいる」と「答えは最初から書いてあった」の二つの読みに分解され、前者はno-signaling定理で、後者はベルの定理と実験で否定された。残った「では何なのか」には、相関はペア生成のときに局所的に書き込まれ、強さには上限があり（Tsirelson）、しかも配分制の資源である（モノガミー）、という機構の解答が与えられた。ここでシリーズは一度閉じている。

後半（第4〜13稿）：配分制を不等式として証明しにいった

後半は、その「配分制」を混合状態の3量子ビットで厳密に証明する作業に費やされた。標的はモノガミー不等式M3'ひとつである。本稿までに完全証明できたのは定理が11件、補題が10件で、そのうち本稿が出したのは三つの岸の定理9・10・11である。

道具立ても世代交代した。区間で固有値を追う旧エンジンは3パラメータで限界に達し、値を追わず不等式だけを検証する証明書型のv2（第36稿）へ、さらに方向丸めを使うC厳密区間エンジン（第45稿）へ移った。純Pythonが7分で1箱も証明できなかった領域が、108秒で298万箱・未解決ゼロになっている。

残ったこと

失敗と保留も同じ重さで残す

試行錯誤の記録である以上、閉じなかった道も書き残しておく。

• 計算の壁：純Pythonの5次元総当たりは箱数が発散して不可（第40稿）。区間演算で特性多項式を作ると依存性で係数が全幅爆発する。恒等的なゼロ固有値が行列式を微小化し、区間ノイズが常に勝つ（第42稿）
• 消えた近道：ξスライスの極値性、marginのフラグ角に対するアフィン性、ξを固定した面での n=a+b 恒等式は、いずれも実測が棄却した（第44稿）。定理8で全幾何が1つの数に潰れた「集約」も、Bell面では再現しない（第38稿）。集約は特権であって権利ではない
• 二度の符号の取り違え：拘束を法に取らずに張った格子（第37稿）と、共役の付け間違い（第45稿・第51稿）。どちらも誤りを見つけたのは数値だった

未証明で残った領域も、実測ではどこでも margin が0.011以上の余裕を持ち、反例の兆候は13本を通じて一度も出ていない。プログラムは発見の段階を終えて検証の段階に入った、というのが本稿時点の現在地である。

そして第1稿が投げた問いのほうは、次の追記に書くとおり、すでに答えが出ている。答えが出ていないのは「測定でなぜ一つの結果が選ばれるのか」だけで、それはもつれに固有の謎ではない。

追記：「なぜ瞬時に情報が届くのか」という問いへの研究ノート

読者から「量子もつれは完全に解明されており、未解明なのはなぜ瞬時に情報が届くのかだけだ」という趣旨の便りをいただいた。これは第1稿の表題に置いた問い「なぜ片方を測ると、もう片方が瞬時に決まるのか」そのものであり、13本を経て同じ場所に戻ってきたことになる。良い機会なので、この問いを研究ノートとして解剖しておく。結論を先に言うと、この問いは前提が逆で、瞬時に届く「情報」は存在しない。本当に未解明な部分は、別の棚にある。

(1) 情報は届いていない（定理）。Aliceがどんな測定・操作 $U_A$ を選んでも、Bobの縮約状態は変わらない：

これが第1稿で立てたno-signaling定理（通信不可能定理、no-communication theorem とも呼ぶ）で、そこでは数値的にも $10^{-17}$（機械精度）で確認した。Bobが自分側だけを何万回測っても、Aliceが測ったかどうかすら判別できない。もつれを使って光速を超えて伝わる情報は、1ビットもない。

(2) 瞬時なのは「相関」であって「信号」ではない。片方を測ると遠方の測定結果との相関は確かに距離に依存せず現れる。しかし相関の読み出し（二つの断片の照合）には古典通信が必要で、そこで光速が守られる。第1〜3稿の解答の通り、相関はペア生成時に深さ2へ局所的に書き込まれた相関関数であり、測定はそれを自分側から読むだけである。飛ぶものは最初から何もない。

(3) 実験は何を縛っているか。それでも「見えない影響が有限速度 $v$ で飛んでいる」という実在論的モデルを立てることはできる。この種のモデルに対して実験は下界を与えており、地上実験で仮想的な影響速度は光速の1万倍以上と縛られている [Salart et al. 2008]。さらに検出・局所性の抜け穴を同時に塞いだloophole-free Bell実験 [Hensen et al. 2015, Giustina et al. 2015, Shalm et al. 2015] により、「局所的な答えの表」の可能性は実験的に閉じた。有限速度の影響モデルは、どの慣性系を特別扱いするかという相対論との不整合も抱え、しかも $v<\infty$ である限り原理的に信号送信が可能になってしまう構成が知られている [Bancal et al. 2012]。つまり「瞬時に見える何かが実は飛んでいる」路線は、理論・実験の両面から追い詰められている。

(4) 本当に未解明なのはどこか。もつれの相関構造そのもの（何が飛ぶか・強さの上限・配分規則）は、no-signaling・Tsirelson・モノガミーとして解明済みである。未解明として残るのは、測定でなぜ一つの結果が選ばれるのかという測定問題（解釈問題）で、コペンハーゲン、多世界、QBism、客観的収縮モデルのどれが正しいかは現在も決着していない [Zurek 2003]。「瞬時」の不気味さの最後のひとかけらは、もつれ固有のものではなく、量子測定そのものの謎に属する。これが第3稿で棚を特定した通りの、現在の研究の現在地である。

なお、本シリーズが扱ってきたモノガミー不等式M3'は、(2)の「相関は配分制の資源である」ことの数学的な精密化であり、この追記の問いとシリーズ本編は同じ一枚の紙の表と裏である。

参考文献

• 第1〜12稿（本シリーズ）および各稿の文献リスト。
• T. Hales et al., A formal proof of the Kepler conjecture（Flyspeck）：証明書検証型計算機証明。
• J. Sherman, W. J. Morrison, Ann. Math. Statist. 21 (1950) 124：ランク1更新。
• T. Kato, Perturbation Theory for Linear Operators：固有値摂動の剰余評価。
• D. Salart, A. Baas, C. Branciard, N. Gisin, H. Zbinden, Nature 454 (2008) 861：「不気味な影響」の速度下界。
• B. Hensen et al., Nature 526 (2015) 682；M. Giustina et al., PRL 115 (2015) 250401；L. K. Shalm et al., PRL 115 (2015) 250402：loophole-free Bell実験。
• J.-D. Bancal et al., Nature Physics 8 (2012) 867：有限速度影響モデルと信号送信。
• W. H. Zurek, Rev. Mod. Phys. 75 (2003) 715：デコヒーレンスと測定問題。
• 検証コード一式：素のPython＋C厳密区間エンジン（cert.c）、全実験乱数種つきで再現可能。