岸辺の攻城戦 —— 定理12・13・14と証明プログラムの現在地 —

岸辺の攻城戦 —— 定理12・13・14と証明プログラムの現在地

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

本稿の位置づけ
最終稿。本稿は、攻略ノート旧第35〜51稿を、内容をそのまま保って1本に統合したものである。最後の二ペア戦線——一般Schmidt族とBell面——の偵察から、証明マシンv2への世代交代、カスケード還元の部品戦、C厳密区間エンジン、そして三つの「岸」の完全制圧（定理12・13・14）までを収める。末尾に、読者から届いた問い——「なぜ瞬時に情報が届くのか」——への追記を置く。
文中の「第N稿」という相互参照は統合前の通し番号を指す。第1〜10稿は公開済みの各記事、第11〜22稿は第11稿、第23〜34稿は第12稿、第35〜51稿は本稿の各ノートに収録されている。

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

本稿の位置づけ
定理11でBellスライスは落ちた。残る二ペア戦線＝一般Schmidt係数の族の地形を、証明設計の前に偵察した回。

1. 偵察結果

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

max r = 0.999998 at (p, s_{1}^{2}, t_{1}^{2}, θ) = (0.990, 0.465, 0.998, 0.285 π)

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

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

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

x_{i} = (重み) \times (ペアのもつれ) /2 \to 0

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

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

3. 帳簿

項目	状態
一般Schmidt族の違反探索（600+600）	違反なし（max 0.999998＝等号漸近）
等号の岸辺の同定（ $x_{i} \to 0$ の全方向）	完了
岸辺補題の正しい座標（ $x_{1} x_{2}$ 層別）	設計
一般Schmidt族の証明実行	次工程（内部区間証明＋岸辺補題）
M3'全域	未完

参考文献

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

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

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

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

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

主張	証書	検証法
$a \leq \overset{a}{ˉ}$	シフト値 $\overset{a}{ˉ}$	$ρ_{A B}^{T} + \overset{a}{ˉ} I ⪰ 0$ ⟺ 主小行列式が全て非負（有理数演算・箱の区間化可能）
$n \geq \underline{n}$	有理化した試験射影 $P$	$- Tr [X P] \geq \underline{n}$ ——線形（固有値不要、区間化は自明）＋ $0 ⪯ P ⪯ I$ も主小行列式
margin $> 0$	—	$\overset{a}{ˉ}^{2} + \overset{ˉ}{b}^{2} < \underline{n}^{2}$ （スカラー）

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

2. プロトタイプ検証

一般二ペア族の代表点（ $p = 0.5$ 、 $s_{1}^{2} = 0.64$ 、 $t_{1}^{2} = 0.49$ 、 $θ = 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. 適用計画

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

4. 帳簿

項目	状態
証明マシンv2（固有値なし証書）設計	完成
プロトタイプ（一般族代表点・全項目）	成立
高次元箱分割への実装	次工程
M3'全域	未完

参考文献

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

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

本稿の位置づけ
裁定実験（前ターン）でaのフラグ不変が確定した。本稿でその厳密証明を完成させる。カスケード還元（一般二ペア族→Bell面→定理11）の要石である。

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

任意の単位フラグ $ξ$ 、 $φ = s_{1} ∣00 ⟩ + s_{2} ∣11 ⟩$ に対し
MATHBLOCKTOKEN002
の負性は $ξ$ に厳密非依存で、 $a = \frac{q ^{2} /4 + 4 p ^{2} s _{1}^{2} s _{2}^{2} - q /2}{2}$ 。

証明（3部品）：

(1) 割り切る二次式。　有理係数の
MATHBLOCKTOKEN003
が $χ_{M (ξ)} (λ) = det (λ I - M (ξ))$ をすべての $ξ$ で割り切る。これは多項式恒等式であり、格子法で厳密に証明できる： $d_{1} = s_{1}^{2}$ 、 $w = s_{1} s_{2}$ （拘束 $w^{2} = d_{1} (1 - d_{1})$ ）、フラグを $ξ \propto (1 - u^{2}, 2 u)$ と有理パラメータ化すると、余りの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} ) 2 mn}{( m ^{2} + n ^{2} ) ^{2}}$ で有理点が密に取れる。次数上界を超える540有理点（p:6値×拘束上9点×u:10値）で余りが厳密ゼロ——次数有界多項式が次数を超える格子で消えるので恒等的にゼロ。

(2) Qの負根はちょうど1つ。　根の積 $= - p^{2} s_{1}^{2} s_{2}^{2} < 0$ 。負根は
MATHBLOCKTOKEN004

(3) Mの負固有値は高々1つ。　 $M = p (φφ)^{T_{B}} + PSD$ で、純状態PTの負固有値は1つ（スパイク構造補題）。Weyl単調性より $λ_{2} (M) \geq λ_{2} (p (φφ)^{T_{B}}) \geq 0$ 。

(1)より $λ_{-}$ は $M (ξ)$ の固有値、(2)より負、(3)より負固有値は1つ——ゆえに $λ_{m i n} (M (ξ)) = λ_{-}$ が $ξ$ に依らず成立。 $■$

危機と回収

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

カスケードへの帰結

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

帳簿

項目	状態
片翼剛性補題	証明完了（格子恒等式＋Weyl）
格子法の教訓（拘束イデアルを法に取る）	記録
Bell面の証明の次元削減（aが閉形式に）	帰結
一般二ペア族・安全圏・ランク組み立て	未完
M3'全域	未完

参考文献

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

ノート38：Bell面の台帳 —— 消える回転、残る干渉

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

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

Bell面（ $Ψ_{2}$ のペアがBell）では回転 $θ$ は物理に寄与しない。

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

実測でも $b (θ + δ, β - 2 δ) = b (θ, β)$ が $1 0^{- 16}$ で確認された（半角規約による因子2つき）。

2. 台帳

LUゲージ後のBell面は $(p, d_{1}, χ の 2 角, ξ の 2 角)$ の6パラメータ。各量の運命：

量	依存	証書
$a$	$(p, d_{1})$ のみ——閉形式（片翼剛性補題）	不要（厳密式）
$b$	$(p, d_{1}, χ の 2 角)$ —— $ξ$ はトレースアウトで消える	四次特性多項式の符号評価1回 $χ_{M} (- \overset{ˉ}{b}) \geq 0$ （Weylの高々1負固有値が保証）
$n$	全6パラメータ	v2証書（試験射影の線形トレース）

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

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

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

スパイク重なり $g = ∣ ⟨ e_{1} ∣ e_{2} ⟩ ∣$ 単独：近接ペア残差 $max ∣Δ n ∣ = 0.050$ （全変動0.078）——否
$g$ ＋セクター重なり $h_{1}, h_{2}$ の3不変量：残差0.055——否

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

4. 帳簿

項目	状態
回転ゲージ補題	証明完了（一行・LU吸収）
Bell面の完全台帳（a:0, b:4, n:6 パラメータ）	確定
bの1本符号証書（Weyl再利用）	設計完了
nの非集約の確定と理由	実測・特定
Bell面6次元のv2証書実行・内部/岸辺	次工程
M3'全域	未完

参考文献

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

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

本稿の位置づけ
山登り探索がBell面のフラグ最小点を計算基底の角（ $χ = ∣1 ⟩_{C}$ , $ξ = ∣0 ⟩_{B}$ ）に特定した（第38稿の続き）。本稿でその角族を厳密に解く。

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

MATHBLOCKTOKEN005
はM3'を満たす。しかも $n = a + b$ が厳密に成立し $margin = 2 ab$ 。

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

{011, 101} : (0 p s_{1} s_{2} p s_{1} s_{2} q /2), {001, 100} : (p s_{1}^{2} q /2 q /2 0)

第1ブロックの負根は $\frac{q ^{2} /4 + 4 p ^{2} s _{1}^{2} s _{2}^{2} - q /2}{2} = a$ （片翼剛性の閉形式と厳密一致）。第2ブロックは $ρ_{A C}^{T_{C}}$ の負性ブロックと同一の行列なので負根 $= b = \frac{p ^{2} s _{1}^{4} + q ^{2} - p s _{1}^{2}}{2}$ 。残る対角成分は非負。よって
MATHBLOCKTOKEN007

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

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

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

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

帳簿

項目	状態
角族のM3'（n=a+b恒等式・margin=2ab）	証明完了
カスケード依存図の確定（残り3補題）	完了
フラグ極値性・(s,t)境界極値性・岸辺補題	未証明
ランク3+の組み立て	未完
M3'全域	未完

参考文献

第16・35・37・38稿（本シリーズ）：定理9・岸辺・剛性補題・Bell面台帳。

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

本稿の位置づけ
Bell面攻略の中間報告。証明が立った部品と、正面突破が跳ね返された壁の両方を、次に来る者（自分を含む）のために正直に記録する。

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

Bell面の2つのフラグ位相のうち、物理的なのは差 $Δ φ = φ_{χ} - φ_{ξ}$ のみ。

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

Bell面は 5パラメータ $(p, d_{1}, β_{χ}, β_{ξ}, Δ φ)$ 。

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

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

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

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

3. 位相の地形

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

4. 残る道

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

5. 帳簿

項目	状態
位相ゲージ補題（6D→5D）	証明完了
Δφ端点最小（実測25/25）・非アフィン性	実測・確定
5次元区間証明の壁（依存性問題）の特定	完了
位相単調性の解析証明・実4D証明	未完
M3'全域	未完

参考文献

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

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

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

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

Bell面の $X = ρ^{T_{A}}$ は、任意のフラグ $χ, ξ$ に対し $λ = q /2$ を固有値に持つ。

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

証明（明示的固有ベクトル）： $v = α ∣0 ξ χ^{⊥} ⟩ + β ∣1 ξ χ^{⊥} ⟩$ を $α ⟨ 1∣ χ^{⊥} ⟩ = β ⟨ 0∣ χ^{⊥} ⟩$ に取る。 $χ^{⊥}$ により $p T_{1}^{+} \otimes χχ$ とスパイク $e_{1}$ に直交、係数の選択によりスパイク $e_{2}$ にも直交。残るのは $(q /2) I \otimes ξ ξ$ の作用のみで $X v = (q /2) v$ 。 $■$

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

$λ = p /2$ は固有値ではない（有理点で $χ_{6} (p /2) \neq = 0$ を厳密確認）。理由：Bell翼の $D$ 寄与は $(q /2) I_{A C} \otimes ξ ξ$ ——恒等に比例するからセクター内で固有値が保たれる。一般ペア翼の $T_{1}^{+}$ は3固有値 $(d_{1}, d_{2}, s_{1} s_{2})$ を持ち、対応するセクターベクトルを固有に保てない。補題S剛性の、また別の顔である。

3. 帰結：五次の世界

χ_{X} (λ) = λ^{2} (λ - \frac{q}{2}) Q_{5} (λ), Q_{5} は (p, d_{1}, β_{χ}, β_{ξ}) の有理式係数

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

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

4. 帳簿

項目	状態
セクター固有値補題（λ=q/2恒等・明示ベクトル）	証明完了
p/2の非生存（非対称の理由も特定）	厳密確認
実スライス $χ_{X} = λ^{2} (λ - q /2) Q_{5}$	確立
$Q_{5}$ の負根和の証明（スツルム/終結式）・位相単調性	次工程
M3'全域	未完

参考文献

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

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

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

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

モニック五次 $Q_{5}$ の負根が高々2つ（ $r_{2} < r_{1} < 0$ ）のとき、 $0 < y < w$ で
MATHBLOCKTOKEN009
ならば $∣ r_{1} ∣ < y$ かつ $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の固有値計算は完全に不要。パイプライン全体（ $χ_{X} = λ^{2} (λ - \frac{q}{2}) Q_{5}$ → 負根和）は20有理点で $5 \times 1 0^{- 16}$ 一致を確認済み。

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

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

3. 前線の整理

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

位相単調性（ $Δ φ$ で25/25単調・最小は $π$ ）——Hellmann–Feynmanの1次元解析
$(s, t)$ 境界極値性（40/40）
岸辺補題（ $x_{1} x_{2}$ 層別）

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

4. 帳簿

項目	状態
交互配置補題（nの下界＝2回の符号評価）	証明完了
五次パイプライン照合（ $5 \times 1 0^{- 16}$ ・20点）	完了
区間FL爆発・恒等ゼロの毒・箱数の壁の特定	完了（教訓3つ）
3つの極値性/岸辺補題	未証明
M3'全域	未完

参考文献

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

ノート43：定理12 —— 積翼族の単調比較

本稿の位置づけ
岸辺の床（ $d_{1} = 1$ ：一般ペアが完全に積に退化した極限族）を完全に証明する。前稿で見えた「減衰重なりの比較」を、永年方程式の明示解析で厳密化した回。

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

任意のフラグ $χ, ξ$ 、混合比 $p$ に対し
MATHBLOCKTOKEN010
はM3'を満たす（ $a = 0$ 、 $n \geq b$ ）。

証明：

(0) 構造。　 $X = ρ^{T_{A}} = P - \frac{q}{2} e_{2} e_{2}^{†}$ 、 $P = p g g^{†} + \frac{q}{2} Π_{sym} \otimes ξ ξ ⪰ 0$ 、 $g = ∣00 χ ⟩$ 。 $e_{2} ⊥ sym \otimes ξ$ なので $P_{0} e_{2} = 0$ 。 $a = \frac{q ^{2} /4 + 4 p ^{2} s _{1}^{2} s _{2}^{2} - q /2}{2}_{s_{2} = 0} = 0$ （片翼剛性の閉形式）。

(1) 永年方程式の明示化（Sherman–Morrison）。　 $s = \frac{q}{2}$ 、 $m = - λ > 0$ とおき、ランク1ノイズ $p g g^{†}$ をSherman–Morrisonで処理すると、 $n$ の永年方程式は
MATHBLOCKTOKEN011
ここで $ω = ∣ ⟨ e_{2} ∣ g ⟩ ∣^{2} = \frac{1}{2} ∣ ξ_{0} ∣^{2} ∣ χ_{1} ∣^{2}$ （スパイク重なり）、 $σ = ∥ Π_{sym \otimes ξ} g ∥^{2} = ∣ ξ_{0} ∣^{2} (1 - \frac{1}{2} ∣ χ_{1} ∣^{2})$ 。

(2) $b$ も同じ方程式。　 $ρ_{A C}^{T_{C}} = q (ΦΦ)^{T_{C}} + p ∣0 \overset{χ}{ˉ} ⟩ ⟨ 0 \overset{χ}{ˉ} ∣$ は同一構造（スパイク $s = q /2$ 、ランク1ノイズ強度 $p$ ）で、永年方程式は同形・パラメータは
MATHBLOCKTOKEN012

(3) 鍵：減衰の厳密スケーリング。　 $τ := ∣ ξ_{0} ∣^{2} \in [0, 1]$ として
MATHBLOCKTOKEN013
$X$ 側の減衰データは $M_{b}$ 側の一様な $τ$ 倍である。

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

(5) 結論。　 $τ$ を $1$ から $∣ ξ_{0} ∣^{2}$ へ動かすと $(ω, σ)$ は成分ごとに減少し、(4)より $m^{*}$ は増加：
MATHBLOCKTOKEN014
$a = 0$ とあわせ $margin = n^{2} - b^{2} \geq 0$ 。 $■$

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

位置づけ

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

帳簿

項目	状態
定理12（積翼族・全フラグ）	証明完了（Sherman–Morrison＋二重単調性）
等号部分多様体の特定	完了
岸辺補題の残り（ $d_{1} \in [1 - δ, 1]$ のLipschitz帯）	未完
位相単調性・境界極値性・ランク3+	未完
M3'全域	未完

参考文献

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

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

本稿の位置づけ
攻略戦は10の定理・補題を獲得し、前線は4つに絞られた。再開する未来の自分（と読者）のために、現在地を一枚に描く。

1. 証明済み領土（すべて完全証明）

#	主張	手法
定理8	整列二ペア族	1行代数（第14稿）
定理9	鎖族（ $n = a + b$ ）	ブロック分離（第16稿）
定理10	回転Bell族・全 $(p, t)$	区間証明＋尾部補題（第22稿）
定理11	L4-Bell全域（6パラメータ）	$t = 4∣ g ∣^{2}$ 厳密還元（第34稿）
定理12	積翼族・全フラグ	Sherman–Morrison＋単調比較（第43稿）
角族	$χ = ∣1 ⟩, ξ = ∣0 ⟩$ （margin $= 2 ab$ ）	ブロック分離（第39稿）
片翼剛性	$a$ の閉形式・フラグ非依存	格子恒等式＋Weyl（第37稿）
ゲージ2種	回転消去・位相1つ消去	LU吸収（第38・40稿）
セクター固有値	$λ = q /2$ 恒等	明示ベクトル（第41稿）
交互配置	$n$ 下界＝五次の2符号	符号列（第42稿）

2. 前線（未証明・正確な定式化つき）

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

(ii) 岸辺帯：床（ $d_{1} = 1$ ）は定理12で完了。帯 $d_{1} \in [1 - δ, 1]$ のLipschitz接続が残る。床の等号部分多様体（ $ξ = ∣0 ⟩$ 等）近傍では margin の $x_{1}$ 成長との合わせ技が必要。

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

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

3. 今回の消去法（負の結果も資産）

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

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

4. 展望

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

帳簿

項目	状態
証明済み10定理・補題の地図化	完了
前線4つの正確な定式化	完了
スライス還元の消去（3つの負の結果）	記録
M3'全域	未完

参考文献

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

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

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

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

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

単一符号証書： $det (X^{'} + w I) < 0$ ⟹ 奇数個の固有値が $- w$ 未満 ⟹（Weylの高々2負と合わせ） $n \geq ∣ r_{2} ∣ > w$ 。 $w = max (1.03 \overset{a}{ˉ}^{2} + \overset{ˉ}{b}^{2}, 0.8∣ r_{2}^{c} ∣)$ と取れば margin 証明に直結——小さい方の根 $r_{1}$ の分離（第42稿でy側を殺した微小行列式）が不要になる
ゼロシフト：証明済みゼロ空間に $μ Π$ を足して行列式の退化を回避
$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, π]^{2}$ ）を4並列でラン中——中央p帯は未解決ゼロを維持、端のp帯（単一ペア岸辺）が失敗箱で岸の正確な地図を描いている。

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

補題（q岸辺・一次）　 $q \to 0$ （ $ρ \to$ 純粋 $φ \otimes χ$ ）の岸で
MATHBLOCKTOKEN015
等号（要二次解析）はフラグ直交 $χ ⊥ ξ$ のときのみ。

証明： $q = 0$ で margin $= 0$ （等号多様体）。各量の一次係数：(i) $a^{'} = - w - \frac{1}{4}$ （閉形式の微分・数値と14桁一致）。(ii) $b (q) = O (q^{2})$ 側： $b (0) = 0$ より $d (b^{2}) / d q = 0$ 。(iii) $n_{1}^{'} = - (w + κ)$ （Hellmann–Feynman）、ここで
MATHBLOCKTOKEN016
——二枚のフラグの反対称重なりの2乗。(iv) 第2負固有値の出現係数 $ν \geq 0$ （湧く方向にしか効かない）。合わせて
MATHBLOCKTOKEN017

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

3. デバッグの記録

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

4. 帳簿

項目	状態
C区間エンジン＋単一符号証書	完成（298万箱/108秒・未解決0）
バルク4並列ラン	進行中（中央帯未解決0）
q岸辺一次補題 $margin^{'} \geq \frac{w}{2} (1 - ∣ det (χ, ξ) ∣^{2})$	証明完了
退化方向 $χ ⊥ ξ$ の二次解析	未完
岸辺帯の組み立て・境界極値性・ランク3+	未完
M3'全域	未完

参考文献

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

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

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

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

$B = \frac{1}{2} SWAP_{A C} \otimes ξ ξ_{B}$ をスパイク $e_{1}$ に当てると、 $ξ = χ^{⊥}$ のとき
MATHBLOCKTOKEN018
——完全な積ベクトルに潰れる（ $ξ^{⊥}$ 成分はゼロ）。Rayleigh–Schrödinger和は $χ$ セクターの4項だけになる。

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

その4項を評価すると、重なりは $∣ χ_{0} ∣^{2} ∣ χ_{1} ∣^{2}$ と $(∣ χ_{0} ∣^{2} - ∣ χ_{1} ∣^{2})^{2}$ の組合せ、分母は $w + d_{1}, w + d_{2}, 2 w$ 。ここで恒等式
MATHBLOCKTOKEN019
により $\frac{1}{w + d _{1}} + \frac{1}{w + d _{2}} = \frac{1}{w}$ が厳密に成立し、フラグ依存が消えて
MATHBLOCKTOKEN020
主負固有値の二次寄与は $a^{''} = \frac{1}{16 w}$ （閉形式）と完全に相殺する。

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

では margin $^{''} > 0$ （第45稿の実測）は誰が担うのか——答えは $χ^{⊥}$ セクターのゼロ固有値から二次で生まれてくる第2負固有値 $n_{2} = c_{2} q^{2}$ である：
MATHBLOCKTOKEN021

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

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

4. 帳簿

項目	状態
奇跡1・2（積ベクトル化・厳密相殺）	証明完了（閉形式恒等式）
margin $^{''} = 4 w c_{2} - 2 β^{2}$ の分解	数値照合済み（1%）
$c_{2}$ の閉形式（ゼロセクター縮退摂動・4×4）	次工程
q岸辺一様帯の組み立て（一次＋二次＋剰余）	未完
M3'全域	未完

参考文献

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

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

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

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

margin (q) = 一次・証明済み \frac{w}{2} (1 - ∣ det (χ, ξ) ∣^{2}) q + 二次・一様 \geq 0.178 実測 (4 w c_{2} - 2 β^{2}) \frac{q ^{2}}{2} + O (q^{3})

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

2. 二次の構造確定

実効演算子
MATHBLOCKTOKEN023

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

3. 一様正値性（実測）

3パラメータ（ $d_{1}, β_{χ}, φ_{χ}$ ）グリッド全域で

min (4 w c_{2} - 2 β^{2}) = 0.178 > 0 (最小は d_{1} \to 1 角)

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

4. 帳簿

項目	状態
q岸辺の三層構造（一次・二次・剰余）	確定
二次の実効演算子 $H_{eff}$ （0.4%照合）	構造証明
一様正値性 0.178（実測）	確認
3次元証明ラン・剰余評価（施工）	未完（定型）
Bell面バルクラン	進行中
M3'全域	未完

参考文献

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

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

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

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

MATHBLOCKTOKEN025
不等式ではなく恒等式。等号は $d_{1} \overset{χ}{ˉ}_{1} ξ_{1} = - d_{2} \overset{χ}{ˉ}_{0} ξ_{0}$ （1複素条件）のみ。

証明： $p = 0$ で $n = b = \frac{1}{2}$ , $a = 0$ （等号多様体）。margin $^{'} = n^{'} - b^{'}$ （ $2 n = 2 b = 1$ ）。Hellmann–Feynmanで両者の「自分のBellが薄まる $- \frac{1}{2}$ 」は相殺し、残るのはノイズ項の差：
MATHBLOCKTOKEN026
第1項 $= \frac{1}{2} (d_{1} c_{1} + d_{2} c_{0})$ 。第2項 $= \frac{1}{2} [d_{1} ∣ ξ_{0} ∣^{2} c_{1} + d_{2} ∣ ξ_{1} ∣^{2} c_{0} + 2 w Re (\dots)]$ 。差を取ると $∣ ξ_{0} ∣^{2}, ∣ ξ_{1} ∣^{2}$ の補完で
MATHBLOCKTOKEN027
ここで $w = d_{1} d_{2}$ が交差項の係数をちょうどAM–GM等号型にし、全体が平方完成する。 $■$ （25構成で偏差 $5 \times 1 0^{- 6}$ ＝差分誤差の厳密一致・符号規約込み）

岸の三面鏡

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

岸	退化	margin $^{'}$	形
$q \to 0$	純粋 $φ \otimes χ$	$\geq \frac{w}{2} (1 - ∣ det (χ, ξ) ∣^{2})$	行列式（第45稿）
$p \to 0$	純粋 $Φ^{+} \otimes ξ$	$= \frac{1}{2} ∥ d_{1} \overset{χ}{ˉ}_{1} ξ_{1} + d_{2} \overset{χ}{ˉ}_{0} ξ_{0} ∥^{2}$	完全平方（本稿）
$d_{1} \to 1$	積翼	床=定理12・離岸 $≳ x_{1}^{2}$	単調比較（第43稿）

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

帳簿

項目	状態
p岸辺一次補題（完全平方・恒等式）	証明完了
岸の三面鏡（q・p・d₁）の一次解析	出揃い
p岸辺の退化方向二次・剰余・施工	未完（q岸と同型の定型）
Bell面バルクラン	進行中
M3'全域	未完

参考文献

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

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

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

1. 発見

p岸辺（第48稿）の退化部分多様体（ $d_{1} \overset{χ}{ˉ}_{1} ξ_{1} = - d_{2} \overset{χ}{ˉ}_{0} ξ_{0}$ 、一次が消える方向）上で、二次係数の実測値が $d_{1}$ だけの関数に見えた。逆算すると：

$d_{1}$	$c$ 実測	$2 d_{1} d_{2}$
0.54	0.4947	0.4968
0.78	0.3384	0.3432
0.94	0.1198	0.1128

c (d_{1}) = 2 d_{1} d_{2} = 2 w^{2} ⟺ margin = 2 x_{1}^{2} + O (p^{3}) (x_{1} = p s_{1} s_{2})

スパイク原資 $x_{1}$ の2乗のちょうど2倍。検証：20構成（ $d_{1} \in [0.51, 0.99]$ 、フラグ多様、 $p = 0.003$ ）で

max \frac{margin}{2 x _{1}^{2}} - 1 = 0.0022

——フラグ非依存・ $d_{1}$ 一様の普遍公式である。

2. 意味：層別座標の勝利

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

\frac{margin}{x _{1}^{2}} = 2 (角まで一様)

特異点だと思っていた角は、正しい座標では平地だった。 角族（第39稿）の $margin = 2 ab$ で小さい側を展開すると $2 ab \approx 2 \cdot \frac{2 x _{1}^{2}}{q} \cdot b$ …ではなく、ここでの2は角族の2と同じ出自（ $n^{2} - a^{2} - b^{2}$ の交差項）だと推測される——摂動論的証明で確定させる。

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

岸	一次	退化方向二次
$q \to 0$	証明済み（行列式）	構造確定・一様正0.178実測
$p \to 0$	証明済み（完全平方）	普遍公式 $2 x_{1}^{2}$ （本稿・0.22%）
$d_{1} \to 1$	定理12（床の証明済み）	$x_{1}^{2}$ 成長実測

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

帳簿

項目	状態
普遍公式 margin $= 2 x_{1}^{2}$ （退化方向・0.22%検証）	発見・検証
層別座標（第35稿予言）の定量的実証	完了
普遍公式の摂動論的証明（H_eff機構）	未完（定型）
両岸の施工ラン・剰余評価・バルク完走	未完
M3'全域	未完

参考文献

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

ノート50：定理13 —— p岸辺の一様補題

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

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

$p \to 0$ 岸辺で、 $\tilde{β} := d_{1} \overset{ˉ}{ξ}_{1} χ_{1} + d_{2} \overset{ˉ}{ξ}_{0} χ_{0}$ とおくと
MATHBLOCKTOKEN031
特に退化多様体（ $\tilde{β} = 0$ ）上で $c_{2}^{'} = 2 w^{2}$ 、一般には一次と二次が同じ $\tilde{β}$ で結ばれ、小さい $p$ の一様下界
MATHBLOCKTOKEN032
が成立（ $C, M$ は明示定数）。 $∣ \tilde{β} ∣$ が大きければ一次が、小さければ二次 $2 w^{2}$ が margin を守る。

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

(1) 活性モードは一つ。　 $X_{0}$ のゼロセクター ${∣ a, ξ^{⊥}, c ⟩}$ （4次元）のうち、 $C$ -内容 $χ^{⊥}$ の2次元は $V$ の $\otimes χχ$ に殺され恒久ゼロ（第41稿の $λ^{2}$ の正体）。残り2次元の一次ブロックは $R \otimes χχ$ 、 $R$ は $T_{1}$ の $ξ^{⊥}$ 圧縮で
MATHBLOCKTOKEN033
——特異PSD。核ベクトル $\hat{k} \propto (d_{2} \overset{ˉ}{ξ}_{1}^{⊥}, - d_{1} \overset{ˉ}{ξ}_{0}^{⊥})$ に対応する $\hat{k} \otimes χ$ が唯一の活性ゼロモード。

(2) 結合の大きさは厳密に $w^{2}$ 。　 $ξ$ -セクターへの結合行列 $Q_{a^{'} a} = ⟨ a^{'} ξ ∣ T_{1} ∣ a ξ^{⊥} ⟩$ に核を通すと
MATHBLOCKTOKEN034
MATHBLOCKTOKEN035

(3) 漏れは多様体の定義式。　二次シフトは $+ \frac{1}{2}$ セクター（押し下げ）と $- \frac{1}{2}$ セクター（押し上げ）の差で $c_{2}^{'} = 2 [∥ Q \hat{k} ∥^{2} - 2∣ α ∣^{2}]$ 。反対称成分を計算すると
MATHBLOCKTOKEN036
——退化多様体の定義式の共役そのもの。 $\tilde{β} = 0$ で $α = 0$ 、 $c_{2}^{'} = 2 w^{2}$ 。 $■$

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

一つの量が全てを結ぶ

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

帳簿（第50稿・節目の集計）

項目	状態
定理13（p岸辺一様補題）	証明完了
攻略戦の獲得数	定理13個・補題10個
q岸辺の同型施工・剰余定数の明示	未完（定型）
バルク完走・境界極値性・ランク3+	未完
M3'全域	未完

参考文献

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

ノート51：定理14 —— 直交が救う岸

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

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

q岸辺の退化方向（ $ξ = χ^{⊥}$ 、一次が消える方向）で
MATHBLOCKTOKEN037
全項が正——正値性は自明。（10構成で相対偏差0.4%＝打ち切り誤差の厳密一致）

証明の2つの直交：

(1) 持ち上げは干渉しない。　ゼロセクターの一次ブロックは $\tilde{V} = \frac{1}{2} v^{'} v^{' †}$ （ $v^{'} = χ^{⊥} \otimes ξ$ ）、二次の負方向は $s = χ \otimes ξ$ 。両者は
MATHBLOCKTOKEN038
で常に直交。ゆえに一次で持ち上がる方向と二次で沈む方向は独立で、 $c_{2} = - λ_{m i n} (S)$ がそのまま立つ。（以前の失敗［第47稿］は $v^{'}$ の共役の付け間違いによる偽の重なり $2 i Im$ を見ていた——裁いたのはまたも数値だった。）

(2) 危険項は対称性で消える。　 $S = - \frac{1}{4} [\sum_{k} \frac{∣ ⟨ v ^{'} ∣ t _{k} ⟩ ∣ ^{2}}{λ _{k}}] s s^{†}$ の和は $T_{1}$ の固有値 ${d_{1}, d_{2}, w, - w}$ を走り、 $- w$ の項だけが $c_{2}$ を減らし得る。ところが退化方向 $ξ = χ^{⊥}$ では $v^{'} = χ^{⊥} \otimes χ^{⊥}$ が対称テンソルとなり、反対称固有ベクトル $e_{-}$ との重なりが恒等的にゼロ：
MATHBLOCKTOKEN039
唯一の負項が消え、残る3項は全て正。 $■$

岸辺プログラム完成形

岸	一次	退化方向二次
$q \to 0$	$\geq \frac{w}{2} (1 - ∣ det (χ, ξ) ∣^{2})$ ✓	$\frac{1}{4} [\frac{c _{1}^{2}}{d _{1}} + \frac{c _{0}^{2}}{d _{2}} + \frac{2 c _{0} c _{1}}{w}] > 0$ ✓（本稿）
$p \to 0$	$= \frac{1}{2} ∣ \tilde{β} ∣^{2}$ ✓	$2 w^{2} > 0$ ✓（定理13）
$d_{1} \to 1$	床＝定理12 ✓	$x_{1}^{2}$ 成長（実測）

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

帳簿

項目	状態
定理14（q岸二次・全項正の閉形式）	証明完了
両岸の一次＋二次の完全証明	達成
剰余定数・接続半径（施工）	未完（定型）
バルク完走・境界極値性・ランク3+	未完
M3'全域	未完

参考文献

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

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

読者から「量子もつれは完全に解明されており、未解明なのはなぜ瞬時に情報が届くのかだけだ」という趣旨の便りをいただいた。良い機会なので、この問いを研究ノートとして解剖しておく。結論を先に言うと、この問いは前提が逆である——瞬時に届く「情報」は存在しない。そして本当に未解明な部分は、別の棚にある。

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

Tr_{A} [(U_{A} \otimes I) ρ (U_{A}^{†} \otimes I)] = Tr_{A} ρ .

これが通信不可能定理（no-communication theorem）で、第1稿では数値的にも $1 0^{- 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）、全実験乱数種つきで再現可能。