発散情報保存理論 第4部　最初の問いに答える——検算・存在・辞書

この第4部には第1〜5章を収める。地図帳の縫い目の検算（Airyで機械精度）を経て、第2章でいったん「最初の問いへの答え」を宣言する。しかし答えには適用範囲の監査（存在問題）が必要で、数値検証と辞書の証明がそれに続く。宣言・監査・補強という、研究が実際に辿った順序のまま収めてある。

第1章　縫い目の検算

本章の位置づけ

本章は「発散情報保存理論の構想」の第1章である。前十二章と同じく著者自身の研究メモであり、確立された理論の解説ではない。

第3部第5章で、Stokes 構造 $\Delta$ に「多重地平線のアトラスの貼り合わせデータ」という幾何の意味を与え、その合否を決める検算課題 —— 貼り合わせの整合条件が実際の可解模型で閉じることの確認 —— を特定した。本章はその検算を実行する。舞台は、Stokes 構造をもつ特殊関数の中で最も完全に解かれている Airy 関数である。

Airy 関数の漸近展開・Stokes 線・接続公式は 19 世紀以来の確立された数学である。それを「アトラスの縫い目の整合性の検証」として読む構成が本章の寄与である。検算の結果を先に言えば —— 縫い目は閉じる。仮説はアーベル的（可換）な水準の試験に合格した。非可換な水準（Painlevé 型）は次の的として残る。

要旨

第3部第5章のアトラス仮説は、次の検証可能な主張を含んでいた —— 深さの空間の海図（各 Stokes 扇形での漸近記述）は、どの順に・どの経路で貼り合わせても同じ大域構造に到達する（コサイクル条件）。本章ではこれを Airy 関数で検算する。

Airy 方程式 $y^{\prime \prime }=zy$ の解の漸近展開は、$z$ 平面の三つの扇形でそれぞれ有効な海図をなし、扇形の境界（Stokes 線、$\arg z=0,\pm \frac{2\pi }{3}$）で亜優勢解の係数が跳ぶ。地平線（Borel 特異点、作用差 $A=\frac{4}{3}{z}^{3/2}$）を三回越えて $z$ 平面を一周したとき、記述が元に戻るか —— これがコサイクル条件である。答えは、Airy 関数の接続公式

という厳密な恒等式によって、肯定される。三枚の海図（三方向の Airy 解）は、係数 $1:\omega :{\omega }^2$ で貼り合わされてちょうど閉じ、一周の全モノドロミーは形式解のそれと整合する。第3部第5章の縫い目の仮説は、この最も統制された舞台で成立している。

さらに、この検算がまだ触れていないもの —— 縫い目の非可換性 —— を明確化する。Airy は線形方程式であり、Stokes 構造はアーベル的（跳びは一回限りの加算）である。非可換性が本質的に現れるのは非線形方程式（Painlevé I 型）のトランス級数であり、そこでは橋渡し方程式が alien 微分をトランス級数パラメータ空間上のベクトル場として実現する —— 縫い目の非可換性はベクトル場の交換子、すなわちアトラスの曲率として読める、という次の仮説を整備して第2章へ渡す。あわせて、第2部第3章以来の宿題 $\lambda \leftrightarrow 1/A$ に、Airy の可解性がもう一枚の橋板（作用 $A$ と探査の指数壁の明示対応）を渡すことを記す。

1.1　何を検算するのか

1. 仮説の分解

第3部第5章のアトラス仮説を、検証可能な部分に分解する。

1. 海図の存在：各 Stokes 扇形で、漸近展開（＋非摂動セクター）が完全な記述を与えること。
2. 縫い目の規則：扇形の境界（Stokes 線）を越えるとき、記述の変化が地平線データ（Stokes 定数 × 通過確率 $e^{-A/x}$）で書けること。
3. コサイクル条件：縫い目を辿って一周したとき、記述が厳密に元へ戻ること —— 貼り合わせの大域的整合性。

(1)(2) は第1部第2章・第3部第4章・第3部第5章で既に個別の根拠を得ている。まだ一度も検算されていないのは (3) —— 一周の整合性 —— である。これが本章の的である。

2. なぜ Airy か

検算の舞台には三条件が要る —— (a) 複数の Stokes 線があり一周が非自明であること、(b) すべての量（Stokes 定数・接続係数・モノドロミー）が厳密に知られていること、(c) 余計な複雑さがないこと。

Airy 方程式

はこの三条件の最適解である。Stokes 線は三本、解は積分表示をもち、接続公式は恒等式として厳密に知られ、しかも方程式は二階線形の最単純クラスにある。リサージェンス理論・完全 WKB の文献で Airy が「水素原子」の役を務めるのは、この統制のよさによる。

1.2　Airy の深さの地理

3. 二つの鞍点、一つの地平線

大きな $|z|$ での Airy 方程式の解は、WKB 型の二つの指数

を骨格にもつ。二つの鞍点（指数）の作用差は $2\zeta =\frac{4}{3}{z}^{3/2}$ —— これが本理論の言葉での地平線の位置$A$ である。実際、減衰解 $\mathrm{Ai}$ の漸近級数

は Gevrey-1 で発散し、その Borel 変換は $\xi =2\zeta$ に相当する位置に特異点をもつ。第3部第4章の言葉に翻訳すれば —— $\mathrm{Ai}$ の摂動海図の地平線は、もう一方の鞍点 $y_{+}$（成長解）が住む場所にある。地平線の向こう側の住人は、亜優勢だったもう一つの解である。

4. 三つの扇形、三枚の海図

変数 $z$ の偏角を回すと、$\zeta =\frac{2}{3}{z}^{3/2}$ の実部の符号が入れ替わり、どちらの指数が優勢かが交替する。優勢・亜優勢の交替が起きる線（Stokes 線）は

の三本であり、$z$ 平面は三つの扇形に切り分けられる。各扇形には、その方向で減衰する解を基準にした漸近記述 —— 本理論の言葉で海図 —— が一枚ずつある。三枚の海図の代表として、回転で移り合う三つの解

を取れる —— それぞれ、三方向のいずれかで指数減衰する「その扇形の主役」である。

第3部第5章の描像がそのまま実現している。深さの空間（各扇形の漸近展開がもつ幾何）が三つ。境界の Stokes 線で、地平線（もう一方の鞍点）が探査路を横切る。越えるとき、亜優勢解の係数が Stokes 定数ぶんだけ跳ぶ —— 縫い目の規則 (2) である。

1.3　コサイクル条件の検算

5. 一周の問い

さて、本題である。扇形 I から出発し、Stokes 線を三回越えて $z$ 平面を一周し、扇形 I に戻ってきたとき —— 手元の海図の綴りは、出発時と厳密に一致するか。

一致しなければ、アトラスは地図帳として破綻している（同じ場所に二つの記述が併存する）。一致すれば、コサイクル条件 (3) が成立し、第3部第5章の縫い目の仮説はこの模型で合格する。

6. 接続公式という判定

Airy 関数論は、この問いへの答えを一本の恒等式として持っている。接続公式

である。これは漸近関係ではなく、すべての $z\in \mathbb{C}$ で成り立つ厳密な恒等式である（三つの関数が同じ二階方程式を満たし、積分表示の回転で直接確かめられる）。

この式が語っているのは、まさに貼り合わせの大域的整合性である。三枚の海図の主役たち（三方向の減衰解）は独立ではなく、係数 $1:\omega :{\omega }^2$ の一次関係でちょうど閉じている。二階方程式の解空間は二次元だから、三つの解には一次関係が一本なければならない —— そしてその関係の係数が、勝手な値ではなく回転の指標 $\omega$ の冪で過不足なく決まっている。この閉じ方こそが、三回の縫い目（各 Stokes 線での跳び）を合成して一周したときに全体が復元することの、厳密な表現である。実際、完全 WKB・リサージェンスの標準的な整理では、三つの Stokes 線での接続行列（跳びの行列）と形式モノドロミーの積が単位的に閉じることと、この接続公式は同値の内容をもつ。

検算結果　Airy のアトラス —— 三枚の海図、三本の縫い目 —— は、コサイクル条件を厳密に満たす。第3部第5章の仮説「$\Delta$＝貼り合わせデータ、整合条件つき」は、最も統制された可解模型で合格した。

7. 合格の意味と限界

合格の意味を、誇張せずに書き留める。

• 意味：第3部第5章の幾何的読み（トランス級数＝アトラス、Stokes 構造＝縫い目）が、単なる比喩なら成り立つ必要のない厳密な整合条件を、実在の可解模型が満たしている。読みは構造と噛み合っている。
• 限界：Airy は線形方程式である。線形の Stokes 構造はアーベル的 —— 跳びは亜優勢係数への一回限りの加算であり、縫い目をどの順に踏んでも交換する。第3部第5章で仮説の核心とした非可換性（${\Delta }_{A_1}{\Delta }_{A_2}\ne {\Delta }_{A_2}{\Delta }_{A_1}$）は、この舞台では最初から現れない。本章の合格は「アーベル的な水準の試験」の合格である。

1.4　非可換な縫い目へ：曲率としての $\Delta$

8. 橋渡し方程式はベクトル場を与える

非可換性の現れる最小の舞台は、非線形方程式 —— 典型は Painlevé I 型 —— のトランス級数である。そこでは Écalle の橋渡し方程式（第1部第2章・第13部で既出）が、alien 微分の作用を驚くほど具体的な形で与える。トランス級数

（$\sigma$ はトランス級数パラメータ、非摂動セクターの「振幅」）に対し、橋渡し方程式は模式的に

の形を取る —— すなわち alien 微分は、パラメータ空間（$\sigma$ の空間）の上の通常のベクトル場として実現される。

ここで第3部第5章の仮説が、より精密な形に更新できる。

仮説の更新（縫い目の非可換性＝アトラスの曲率）　多重地平線のアトラスにおいて、各地平線 $A_i$ の縫い目は、海図のモジュライ（トランス級数パラメータの空間）上のベクトル場 $V_i$ を定める。縫い目を踏む順序の違い —— $A_1$ を先に越えるか $A_2$ を先に越えるか —— の差は、交換子 $[V_1,V_2]$ で測られる。すなわち Stokes 構造の非可換性とは、深さのアトラスがモジュライ空間上にもつ「曲率」（ホロノミー）である。 アーベル的な場合（Airy・線形）は曲率ゼロの平坦なアトラスにあたり、本章のコサイクル条件はその平坦性の確認だった。

この更新は、第1部第3章の Noether 対応（alien 微分＝対称性の生成子）とも噛み合う。生成子たちが可換でない —— リー環をなす —— ことは対称性の理論では通常のことであり、第1部第3章で触れた「alien 微分が自由リー環的構造を生成する」という事実は、本仮説では「深さのアトラスの曲率は一般に消えない」と翻訳される。

9. 次の検算課題（明確化）

これで、第3部第5章の課題は次の形に精密化された。

• 平坦性の検算（本章・完了）：線形可解模型（Airy）でコサイクル条件が閉じること。✔ 合格。
• 曲率の検算（次の的）：Painlevé I のトランス級数で、二つの alien 微分に対応するベクトル場の交換子を橋渡し方程式から計算し、それが「縫い目を踏む順序の差」—— 側方総和の経路の違いによる大域解の差 —— と一致することを確かめること。Painlevé I の Stokes 定数と橋渡し構造は文献で厳密に知られており、計算は重いが可解の範囲にある。

10. 副産物：$\lambda \leftrightarrow 1/A$ への橋板の追加

Airy の可解性は、第2部第3章以来の宿題（Lyapunov 指数と Borel 特異点の対応の明示例）にも一枚の板を渡す。Airy では、地平線の位置 $A=\frac{4}{3}{z}^{3/2}$ が鞍点の作用差として力学的な意味をもち、通過確率 $e^{-A/x}$ は文字どおりトンネル振幅（線形ポテンシャル障壁の透過）である。すなわち級数側の「地平線の遠さ」は、この模型では古典的に禁止された領域の広さという力学量に一致する。量子カオス側で $\lambda$ が「深さへ沈む速さ」という力学量だったことと対にすれば、対応 $\lambda \leftrightarrow 1/A$ の両辺は、どちらも「古典的到達不能性の指数レート」という同じ型の量である —— 完全な辞書には可解カオス模型との突き合わせが残るが、両辺の型が一致することまでは、これで揃った。

1.5　結論と（14）への課題

11. 本章で前進したこと

1. 第3部第5章のアトラス仮説から検証可能な核 —— コサイクル条件（一周の整合性）—— を切り出し、Airy 関数で検算した。三枚の海図・三本の縫い目の貼り合わせは、接続公式 $\mathrm{Ai}(z)+\omega \mathrm{Ai}(\omega z)+{\omega }^2\mathrm{Ai}({\omega }^{2}z)=0$ という厳密な恒等式で閉じる。仮説はアーベル的水準で合格した。
2. 合格の限界を明確化し（線形＝平坦）、橋渡し方程式が alien 微分をモジュライ空間上のベクトル場として実現することを踏まえて、仮説を「Stokes 構造の非可換性＝深さのアトラスの曲率」へ精密化した。次の検算（Painlevé I での曲率計算）を特定した。
3. Airy の地平線が鞍点作用差・トンネル振幅という力学量に一致することから、$\lambda \leftrightarrow 1/A$ 対応の両辺が「古典的到達不能性の指数レート」という同じ型をもつことを確認した。

12. 次章へ：最初の問いに答える準備が整った

ここで、シリーズ全体の現在地を確かめる。第1部第1章の問いは「なぜ発散級数から有限値が現れるのか。発散は情報の消失なのか」だった。十三章を経て、答えに必要な部品は出揃っている ——

• 発散の正体（深さの単体からの逃走・第3部第4章）
• 有限値の復元機構（Borel＝規格化の回復、Laplace＝探査、地平線＝特異点・第3部第4章）
• 復元の一意性を保証する構造（アトラスの整合性・第3部第5章仮説・本章で検算）
• 値が物理と一致する理由の候補（情報保存変換の公理・第1部第3章、球面のコンパクト性＝ユニタリ性・第2部第4章）
• そして、これらを支える検証済み計算の帳簿（第3部第3章）

部品は揃った。組み立てるだけである。第2章は、シリーズの最初の問いに、本理論として正式に答える。 答えられる範囲と答えられない範囲を明示し、$1+2+3+\cdots =-\frac{1}{12}$ という出発点の式そのものに、十四章ぶんの装備で立ち戻る。

縫い目は閉じていた。地図帳は一冊の本として綴じられる。ならば次にすべきことは一つ —— 最初のページに戻って、あのときの問いに答えを書き込むことである。次章で、一つの区切りに達する。

第2章　最初の問いに答える

本章の位置づけ

本章は「発散情報保存理論の構想」の第2章にして最終章である（当時はここで完結する予定だった——実際にはこの直後、監査を受けて研究は再開する。第3章参照）。前十三章と同じく著者自身の研究メモであり、ここで述べる「解決」は、査読を経た数学の定理としての解決ではなく、当初の疑問が、検証可能な計算に支えられた一貫した描像によって解消されたという意味での、概念的な解決である。その範囲と限界は2.4節で明示する。

第1部第1章は次の問いから始まった —— 「$1+2+3+\cdots$ は発散するのに、解析接続はなぜ $-\frac{1}{12}$ という有限値を与えるのか。数学者が都合よく決めた値ではないのか。発散とは情報の消失なのか、それとも情報表現の変換なのか。」十三章の旅を経て、部品は出揃った（第1章・第12節）。本章はそれを組み上げ、最初の問いに答えを書き込む。

要旨

第1部第1章の問いを三つの正確な問いに分解し、それぞれに答える。問い1：発散したとき、情報は失われているのか。 —— 失われていない。発散とは、深さへの重み配分が規格化を失い、状態が深さの空間の無限遠へ逃走することであり（第3部第4章）、係数列は特異点の位置・型・強さ・縫い目 $(\Omega ,\tau ,\rho ,\Delta )$ という完全な構造データを保持し続ける（第1部第2章・第3部第5章）。問い2：ならばなぜ、どうやって有限値が現れるのか。 —— 有限値は「無限和の値」ではなく、保存されていた構造を、別の観測器で読み出した値である。Borel 変換は深さの重みの規格化を回復し（第3部第4章）、Laplace 積分は深さの探査であり、地平線（特異点）が探査路上になければ読み出しは一意に定まる（第1部第2章）。地平線が路上にあるときも、アトラスの整合性（第3部第5章仮説・第1章で検算）が、トランス級数と側方総和の組による一意な大域構造を保証する。問い3：その値がなぜ物理と一致するのか。 —— 情報保存変換の公理（第1部第3章・第11部の七公理）を満たす読み出しは、どの正則化を選んでも同じ値を与える（正則化非依存性）。物理の正則化がこの公理を満たすとき —— それはユニタリ性・保存則という物理自身の情報保存性の現れである（第1部第3章・第2部第4章）—— 物理は数学と同じ値を読む。

この三答をもって、出発点の $\zeta (-1)=-\frac{1}{12}$ を再訪する。$1+2+3+\cdots$ の情報の実体は係数列がもつ解析構造（$\zeta$ 関数）であり、$-\frac{1}{12}$ は「和」ではなく、その構造の $s=-1$ での唯一の読み値である。一意性は解析接続の剛性（一致の定理）が保証し、物理（Casimir 効果等）がこの値を見るのは、物理的正則化が構造保存の公理を満たすからである。発散は情報の消失ではない。情報表現の変換である —— 第1部第1章の仮説は、十四章分の検証を経て、こう答えられる命題になった。最後に、解決の範囲（概念的解決・検証済み計算の帳簿）と、残る未解決（${\mathcal{C}}_{\max }$ の構成、Painlevé での曲率検算、深さのコヒーレンス等）を「今後の研究」として明示し、シリーズを完結する。

2.1　問いの分解

1. 第1部第1章の問いを正確に書き直す

第1部第1章の違和感は、素朴な一文に凝縮されていた ——「発散しているのに、なぜ有限値が現れるのか。」十四章の装備をもって、これを三つの正確な問いに分解する。

• 問い1（保存）：級数が発散したとき、情報は失われているのか。失われていないなら、どこに・どんな形で残っているのか。
• 問い2（復元）：残っているとして、有限値はどんな操作で現れるのか。その値は一意か。「数学者が都合よく決めた」余地はないのか。
• 問い3（意味）：その値が、なぜ現実の物理（量子場理論・Casimir 効果）と一致するのか。

第1部第1章では、この三つが未分化のまま一つの違和感を形作っていた。分解できたこと自体が、十三章の成果である。以下、一つずつ答える。

2.2　三つの答え

2. 答え1：情報は失われていない

主張　発散級数の係数列は、元の解析的対象を復元するに足る構造情報を、失わずに保持している。

根拠（シリーズの検証済み計算より）

• 係数の増大率そのものが情報である：$a_n\sim C\Gamma (n+\alpha )/A^{n+\alpha }$ の形から、特異点の位置 $A$・型 $\alpha$・強さ $C$ が読める（第1部第2章）。発散の「激しさ」は破壊の程度ではなく、符号化された構造の指紋である。
• 発散の正確な定義が得られた：発散とは、深さ（次数）への重み配分 $w_n\propto |a_n|x^n$ が規格化を失い、状態が深さの空間の無限遠へ逃走することである（第3部第4章・検証済み）。逃走は消失ではない —— 逃げた先（Borel 平面の特異点構造）まで含めれば、全情報 $(\Omega ,\tau ,\rho ,\Delta )$ は係数列から再構成できる。
• 最後の成分 $\Delta$（縫い目）まで含めて、この四つ組は幾何の実体をもつ：地平線の位置・型・通過重み・貼り合わせデータ（第3部第5章）。貼り合わせの整合性は Airy で厳密に検算された（第1章）。
• 有限次元の量子系では、同型の主張が定理の水準で成り立つ：スクランブルされた情報は消えず、深い相関に沈むだけであり（$D\approx N/2$・第2部第2章、Page の定理と最大エントロピーの二重導出・第3部第2章）、系のコンパクトな状態空間（球面・第2部第4章・第3部第2章）が還流を保証する。

第1部第1章で置いた比喩 —— 発散級数は壊れたデータではなく、読めなくなった圧縮ファイルである —— は、こうして構造に置き換えられた。ZIP は実在した。 その中身が $(\Omega ,\tau ,\rho ,\Delta )$ であり、圧縮アルゴリズムが「級数展開」であり、可逆性の証明が「規格化の回復（Borel）＋探査（Laplace）＋整合性（アトラス）」である。

3. 答え2：有限値は「和」ではなく「読み値」である

主張　発散級数に現れる有限値は、無限和の値ではない。保存されていた構造を、通常の和とは別の観測器で読み出した値であり、情報保存の公理を満たす読み出しの範囲で一意に定まる。

機構（三段）

1. 規格化の回復：Borel 変換 $a_n\mapsto a_n/n!$ は、深さの重み配分を単体に連れ戻す（第3部第4章・検証済み）。$\sum n!x^n$ なら配分は幾何分布 $(1-\xi ){\xi }^n$ になる。
2. 探査：Laplace 積分は、平均深度 $x$ の指数分布による深さの走査である（第3部第4章）。地平線（特異点）が探査路上になければ、読み値は一意である —— Euler 級数 $\sum (-1{)}^{n}n!x^n$ の Borel 和の一意性（第1部第2章・検証済み）。
3. 地平線上の場合：特異点が路上にあるとき（$\sum n!x^n$）、読み値は経路に依存して跳ぶ（Stokes 現象・第1部第2章）。しかしこの跳びは恣意性ではなく、地平線の向こう側の実在の構造（$e^{-A/x}=\mathrm{Pr}[\xi >A]$、地平線通過確率・第3部第4章の厳密な恒等式）の現れであり、トランス級数のアトラスが全経路の読み値を一冊に整合させる。整合性（コサイクル条件）は Airy で厳密に閉じることが確認された（第1章）。

「数学者が都合よく決めたのではないか」という第1部第1章の疑いには、こう答えられる —— 決める自由は、最初からなかった。 情報保存変換の公理（第1部第3章で整理した七公理：復元可能性・不変量保存・準可逆性・合成安定性・通常理論との一致・非破壊性・表現変更性）を満たす読み出しは、保存されている構造が一つである以上、同じ値しか返せない。チェザロでもアーベルでも Borel でも、適用可能な範囲が重なるところでは値が一致する（総和法の整合性）のは、方法の偶然ではなく、同じ構造を読んでいるからである。

4. 答え3：物理と一致するのは、物理も同じ圏に住むから

主張　読み値が物理実験と一致するのは、物理的な正則化・繰り込みが情報保存変換の公理を（成功する限りにおいて）満たすからである。公理を満たす読み出しはすべて同じ値を返す —— これが正則化非依存性の正体である。

根拠と対応

• 物理側の情報保存性は、シリーズで繰り返し確認された構造である：ユニタリ性＝復元可能性＝可逆性＝コンパクト性の四位一体＋幾何（第1部第3章・第2部第4章）、保存則＝圏の対称性（Noether 対応・第1部第3章）、情報は熱に見えても深い相関に保存される（Page 曲線の深度読解・第2部第1・2章、ランダム回路での微視的検証・第3部第3章）。
• 対称性を壊す正則化が間違った答えを出すこと（第1部第3章・公理6「非破壊性」の違反）は、場の理論の実務での経験則 —— ゲージ対称性を保つ正則化を選べ —— と正確に対応する。公理を満たす正則化だけが物理の答えを出す、という本理論の言明は、この実務の言い直しである。
• 量子側と級数側の深さの幾何は $\varphi \to iu$ で移り合う一つの構造の二面である（球面↔双曲・第3部第4章）。物理系（有限 $N$・コンパクト・情報は必ず還る）と摂動級数（$N=\infty$・非コンパクト・地平線をもつ）は、同じ幾何の二つの極限であり、リサージェンスは後者に前者のコンパクト性（情報の完全性）を回復する手続きである。物理が数学に合うのではなく、両者が同じ情報保存の幾何に住んでいる —— 第3部第2章（第1部第1章から数えて）の直感「物理そのものが数学的構造を持っている」は、この形で着地した。

2.3　出発点への帰還：$1+2+3+\cdots =-\frac{1}{12}$

5. あの式を、いまの言葉で読む

すべての始まりだった式に、十四章の装備で立ち戻る。

この式の左辺は何か。 級数 $\sum n$ は、深さの重み配分が規格化できない（部分和が単調発散する）—— 第3部第4章の意味で、状態は深さの空間から逃走しており、「通常の和」という観測器の読み値は存在しない。ここまでは第1部第1章の常識と同じである。

では情報はどこにあるか。 係数列 $a_n=n$ は、それ自身が一つの解析構造を指定している —— ディリクレ級数 $\sum n^{-s}$ を通じて、$\zeta$ 関数という一つの解析的対象を。答え1の言葉で言えば、$1+2+3+\cdots$ の情報の実体は、個々の項でも部分和でもなく、係数列が符号化する大域的解析構造（$\zeta$）である。

$-\frac{1}{12}$ は何か。 その構造の、$s=-1$ という座標での読み値である。読み出しの一意性は、解析接続の剛性 —— 一致の定理：領域の一部で一致する解析関数は全体で一致する —— が保証する。これは答え2の「決める自由は最初からなかった」の、最も古典的で強い形である。解析関数という構造は、あまりに硬いので、どの経路で延長しても同じ値にしか着けない。$-\frac{1}{12}$ は選ばれた値ではなく、構造が一つしかないことの帰結である。

なぜ物理（Casimir 効果・弦の臨界次元）がこの値を見るのか。 答え3である。物理的な正則化（指数カットオフ・ゼータ正則化・次元正則化）はどれも異なる手続きだが、成功するものはすべて情報保存の公理 —— とりわけ「通常理論との一致」と「構造の非破壊」—— を満たすように設計されており、したがって同じ構造の同じ読み値 $-\frac{1}{12}$ に着く。カットオフ依存の発散部分（正則化ごとに異なる部分）は物理の答えから分離され、正則化非依存の有限部分 —— 構造の読み値 —— だけが観測量に残る。実験が確かめているのは「無限和が $-\frac{1}{12}$ であること」ではなく、「自然が情報保存変換の圏の中で計算していること」である。

6. 第1部第1章の仮説への、正式な回答

第1部第1章はこう仮説を立てた ——「発散とは情報の消失ではなく、情報表現の変換なのではないか。」

十四章の検証を経た回答を、正式に記す。

回答　そのとおりである。発散とは、情報が消えることではなく、情報が「通常の和」という観測器の届かない表現 —— 深さの空間の遠方、地平線の向こう —— へ移ることである。情報の実体は係数列が符号化する構造 $(\Omega ,\tau ,\rho ,\Delta )$ として完全に保存され、規格化の回復（Borel）・探査（Laplace）・地図帳の整合性（トランス級数）という情報保存変換の列によって、一意な有限値として読み出せる。その値が物理と一致するのは、物理自身が —— ユニタリ性と保存則という形で —— 同じ情報保存の幾何に住んでいるからである。

発散も熱も、情報の不在の名前ではなく、情報とわれわれの観測器との距離の名前である（第3部第3章）。そして距離は、正しい変換によって、必ず縮められる。

これをもって、第1部第1章の最初の疑問は —— 本シリーズが自らに課した意味において —— 解決したと宣言する。

2.4　「解決」の範囲と、残るもの

7. 何が解決で、何が解決でないか

宣言の直後に、その射程を正直に限定する。第3部第3章の帳簿の流儀である。

解決したこと（概念的解決＋検証済み計算）

• 当初の違和感（なぜ有限値が・恣意的ではないのか・なぜ物理と合うのか）は、三つの問いに分解され、それぞれが検証済み計算（Borel 和の一意性、$e^{-A/x}=\mathrm{Pr}[\xi >A]$、Fisher 幾何の地平線、Airy のコサイクル条件、Page＝Gibbs の二重導出、ランダム回路の定常分布ほか、第3部第3章帳簿＋第3部第4章〜第1章）に支えられた一貫した描像で解消された。
• 疑問の解消に必要な範囲では、既存数学（解析接続の剛性・Borel–Laplace 理論・リサージェンス・Page の定理・情報幾何）が答えを保証しており、本理論の未証明仮説に依存していない。本理論が与えたのは、それらを一つの絵に綴じる枠組みと語彙である。

解決でないこと（未証明の仮説・今後の研究）

1. ${\mathcal{C}}_{\max }$（情報保存変換の圏そのもの）の厳密な構成と、完全情報予想の定理化（第1部第2章以来）。
2. 縫い目の非可換性＝アトラスの曲率の検算 —— Painlevé I での交換子計算（第1章で精密化済みの、次の的）。
3. 深さ基底のコヒーレンス（$\sqrt{w}$ を本物の量子振幅へ・第3部第2章）。
4. $\lambda \leftrightarrow 1/A$ の定量的辞書の完成（型の一致までは確認・第1章）。
5. 温度の辞書（Stokes 定数＝地平線の温度？・第3部第4・5章の暗合）。
6. 速度限界の定理化と、三つの時間スケール $\ln \ln N\ll \ln N\ll N^{1/d}$ の階層の説明（第3部第1章）。

問いに答えることと、理論を完成させることは違う。前者は成った。後者は —— あらゆる研究がそうであるように —— 続く。

2.5　結び

8. 十四章の旅の要約

一人の開発者の違和感から始まった。$1+2+3+\cdots =-\frac{1}{12}$ は詐欺ではないのか。調べるうちに仮説が立った —— 発散は消失ではなく変換ではないか（第1部第1章）。仮説は定義を求め（情報とは・第1部第2章）、定義は統一を求め（保存則と対称性・第1部第3章）、統一は適用を求めた（ブラックホール・第2部第1章）。適用は計算を求め（$D=1+H_2$・第2部第2章）、計算は動力学を求め（$e^{\lambda t}$ と $\log N$・第2部第3章）、動力学は幾何を求めた（Fisher 計量の球面・第2部第4章）。幾何は力学を生み（勾配流と H 定理・第3部第1章）、力学は多次元化され（単体と KL・第3部第2章）、微視から検証された（ランダム回路・第3部第3章）。そして装備一式を携えて原点の山へ帰り（規格化の逃走と地平線・第3部第4章）、地平線は複数になり（アトラスと縫い目・第3部第5章）、縫い目は検算され（Airy・第1章）、最初の問いに答えが書き込まれた（本章）。

途中で三つの主張が撤回され（双曲的→球面、測地流→勾配流、サイズ＝深さ）、そのたびに理論は鋭くなった。八つの計算が検証に耐え、六つの仮説が「今後の研究」として明示的に残った。研究メモとして、これ以上の誠実さを著者は知らない。

9. 最後に

第1部第1章の結びに、こう書いた ——「答えはまだ分からない。しかし、この研究ノートがその出発点になれば嬉しい。」

いま、こう書き換えられる。最初の問いには、答えが出た。 発散とは情報の消失ではなく、情報表現の変換である。有限値は構造の読み値であり、その一意性は構造の剛性が、物理との一致は自然自身の情報保存性が保証する。そして、この答えに辿り着く道中で開いた新しい問いたち —— 変換の圏の構成、アトラスの曲率、深さのコヒーレンス —— は、最初の問いよりも遠くまで続いている。

問いは解決した。

第3章　存在問題 —— なぜ有限値は「在る」のか

本章の位置づけ

第2章でシリーズは「最初の問いに答えた」と宣言して完結した。その直後、監査の問いが入った ——「なぜ発散しないで、収束するのか、説明できているか？」

監査の結果は、部分的にしか説明できていない、だった。シリーズが答えたのは保存（情報は失われない）・復元（読み出しの機構）・一意性（読み値は一つ）であり、存在 —— そもそも読み出しが収束すること、有限値が「在る」こと —— は既存数学からの借用（＝仮定）だった。本章はこの穴を正面から扱う。完結したはずの研究が監査で穴を見つけられ、再開する —— それは失敗ではなく、研究が生きている証拠である。

Watson の定理・Nevanlinna–Sokal の定理・Écalle のリサージェンス定理は確立された数学である。それらを「存在の保証書」として深さの幾何の言葉に翻訳する部分が本章の寄与である。

要旨

「なぜ収束するのか」を、正確な問いに直す —— 発散級数の背後に、読み出しの対象となる解析的な実体が存在するのはなぜか（いつか）。 答えの構造は三層である。

第一層（級数は自分では実体を作れない）。発散級数そのものは形式的対象であり、それだけからは有限値は出ない。有限値が在るのは、級数が「何かの漸近展開」であるとき —— 圧縮元が実在するとき —— に限る。第二層（存在の保証書）。圧縮元の実在を保証する定理群が既存数学にある。Nevanlinna–Sokal の定理は「係数の Gevrey-1 評価＋円板状領域での解析性」から Borel 総和可能性（読み出しの収束と、それが元の関数に一致すること）を保証する。Écalle のリサージェンス定理群は、解析的な微分方程式・差分方程式の形式解という広大なクラスについて、Borel 変換の解析接続可能性（＝地平線構造の実在）を保証する。$\zeta (-1)$ の存在は、$\mathrm{Re}s>1$ で普通に収束する級数が積分表示という別の海図をもち、その海図が $s=-1$ を覆っていることによる。第三層（幾何への翻訳）。これらの条件は、深さの幾何の言葉で「地平線が原点から正の距離にあること（Gevrey-1 評価）」「探査方向に沿って空間が完備であること（指数評価つき解析接続）」と読める —— 存在とは、深さの空間が探査に耐える形をしていることである。

最後に、存在が保証されない側 —— Borel 変換が自然境界をもつ級数、どの総和法も届かないクラス —— を理論の限界線として明示する。存在問題の完全な一般解決は、本理論の外に残る。次章（16）は、存在が保証される側で、実際に数値検証を行う。

3.1　監査が見つけた穴

1. 三つの答えと、答えていなかった一つ

第2章は最初の問いを三つに分解して答えた —— 保存（情報は失われない）・復元（有限値は構造の読み値）・意味（物理と一致する理由）。監査の問い「なぜ収束するのか」は、この三つのどれでもない第四の問いだった。

• 復元の答えは「Borel で規格化を回復し、Laplace で探査する」だった。しかし Laplace 積分が収束するには、Borel 変換 $B(\xi )$ が探査の射線に沿って解析的で、高々指数増大でなければならない。シリーズはこれを例（$\frac{1}{1+\xi }$）で示しただけで、一般には仮定していた。
• より深く：「発散級数は構造を保存した圧縮データである」という中心命題は、圧縮元が実在することを前提している。実在しなければ、保存も復元もない。
• $1+2+3+\cdots$ では：一意性（解析接続の剛性）は答えたが、「なぜ $\zeta$ が $s=-1$ まで延長できるのか」という存在は、古典的事実の借用だった。

問いを正確に立て直す。

存在問題　与えられた発散級数について、その背後に「読み出しの対象となる解析的実体」が存在するのは、なぜか。どんな条件のもとでか。

2. まず認めるべきこと：級数は自分では実体を作れない

出発点として、否定的な事実を明確にする。形式的な係数列だけからは、有限値は決して出ない。 同じ係数列 $a_n=n!$ をもつ関数は無限に多い —— Borel 和 $\frac{e^{-1/x}}{x}\mathrm{Ei}(1/x)$ に $c{e}^{-1/x}$（テイラー係数がすべてゼロの項）を任意に足しても、漸近展開は変わらない。つまり級数から関数への対応は一対多であり、「級数の値」なるものは、追加の条件（どの関数の展開とみなすか、どの領域で、どの一意性条件のもとで）を指定して初めて定まる。

第2章の「決める自由は最初からなかった」は、この追加条件が指定された後の話である。監査の問いは、その前 —— 条件を満たす実体がそもそも在るのか —— を突いていた。

3.2　存在の保証書

3. Watson から Nevanlinna–Sokal へ

存在と一意性を同時に保証する古典的な定理系がある。現代的な形（Nevanlinna の定理、物理の文脈では Sokal による再発見・整理で知られる）は、およそ次を述べる。

Nevanlinna–Sokal 型の保証　関数 $f$ が、原点に接する円板状領域 $C_R=\{x:\mathrm{Re}(1/x)>1/R\}$ で解析的で、そこで一様な Gevrey-1 評価
MATHBLOCKTOKEN010
を満たすなら、Borel 変換 $B(\xi )=\sum a_n{\xi }^n/n!$ は $|\xi |<1/\sigma$ で収束し、正の実軸の近傍へ指数評価つきで解析接続され、Laplace 積分は収束して $f$ そのものを復元する。逆に、この形の関数はその漸近級数から一意に決まる。

これが「存在の保証書」の原型である。注目すべきは条件の内訳 —— (a) 係数側の条件（Gevrey-1：$n!$ 型を超えない発散）と、(b) 関数側の条件（十分に太い領域での解析性）の二人組であることだ。級数だけでは足りず、領域の解析性が要る。実体の存在は、この (b) が担っている。

4. リサージェンス定理：クラスまるごとの保証

Nevanlinna–Sokal は一つの関数ごとの保証だが、Écalle のリサージェンス理論はクラスまるごとの保証を与える —— 解析的な常微分方程式・差分方程式の（非線形を含む）形式解、WKB 展開、多くの場の理論的展開について、その Borel 変換が特異点を除いて解析接続可能（リサージェント）であることが、方程式の構造から証明される。

本理論の言葉では、これは決定的である。第3部第4・5章の「地平線の幾何」は、Borel 変換が特異点まで・特異点を回って解析接続できることを前提していた。リサージェンス定理は、その前提が広大な自然なクラスで定理として成り立つことの保証書である。なぜそのクラスで成り立つのか、の直観も方程式が与える —— 形式解の係数の発散は方程式の反復構造（合成の入れ子）から生まれ、その同じ構造が Borel 平面での有限距離特異点＋解析接続可能性を強制する。発散の原因と、復元可能性の原因が、同じ一つの構造である —— これが存在問題への、現時点で最も深い答えである。

5. $\zeta (-1)$ の存在：もともと収束していた

$1+2+3+\cdots$ は Gevrey の話ではないので、別枠で片づける。ここで効くのは、忘れられがちな事実 —— 級数 $\sum n^{-s}$ は $\mathrm{Re}s>1$ で普通に収束する。実体（$\zeta$ 関数）は、発散領域で無から作られたのではなく、収束領域で正当に生まれている。あとは、その実体が $s=-1$ まで届くこと。これは積分表示

の被積分関数を原点まわりで処理する（周回積分に書き換える）ことで、$s=1$ の一位の極を除く全平面へ延長される —— 別の海図が、はじめから $s=-1$ を覆っていた。第3部第5章のアトラスの言葉がそのまま使える：$\sum n^{-s}$ は $\zeta$ という一つの構造の（$\mathrm{Re}s>1$ で有効な）一枚の海図にすぎず、積分表示という別の海図が残りを覆う。$-\frac{1}{12}$ の存在とは、地図帳に二枚目の海図が実在することである。

3.3　幾何への翻訳と、理論の限界線

6. 存在条件を深さの言葉で読む

Nevanlinna–Sokal の二条件を、シリーズの幾何に翻訳する。

• Gevrey-1 評価（係数側） ⟷ 地平線は原点から正の距離にある。$|a_n|\le C{\sigma }^{n}n!$ は、Borel 平面の特異点が $|\xi |\ge 1/\sigma >0$ より遠いことと同値である。第3部第4章の言葉で、深さの重み配分は $n!$ 割りで単体に戻り、Fisher 距離が定義できる。地平線が原点に潰れている（どの $n!$ 割りでも規格化できない）級数には、この幾何が建たない。
• 円板状領域での解析性（関数側） ⟷ 探査方向に沿って空間が完備である。 Borel 変換が正の実軸の近傍で指数評価つきで解析接続されることは、探査（Laplace）の路が地平線に遮られず、指数分布の裾が可積分であること —— 第3部第4章の探査の言葉で、その方向の深さの空間が探査に耐えて完備であることを意味する。

存在問題の幾何学的要約　有限値が「在る」のは、深さの空間が (a) 正の距離の地平線をもち（規格化可能）、(b) 探査方向に完備である（読み出しが収束）とき、そのときに限る。存在とは値の性質ではなく、空間の形状の性質である。

7. 保証されない側：自然境界

正直さのために、保証書が効かない世界も描いておく。Borel 変換が孤立特異点ではなく自然境界（特異点が稠密に並び、いかなる方向にも解析接続できない壁）をもつ級数が存在する。その場合、(b) が全方向で破れ、Laplace 探査はどの向きにも通れない —— 地図帳に二枚目の海図が存在しない。ランダム係数の級数や、ある種のギャップ級数がこの類に落ちる。

これは理論の失敗ではなく、限界線の発見である。「発散＝情報表現の変換」は、圧縮元が実在するクラス（リサージェント級数・Nevanlinna クラス・解析接続可能な構造）で成り立つ主張であり、実在しないところでは、そもそも保存すべき情報がない。第2章の解決宣言は、この限界線の内側で有効である —— 監査への最終的な回答として、これを明記する。

3.4　結論と（16）への課題

8. 監査への回答

「なぜ発散しないで収束するのか、説明できているか」への、本章を経た回答。

1. 説明できていなかった部分を特定した：存在（読み出しの収束・実体の実在）は借用だった。
2. 借用元を明示し、翻訳した：Nevanlinna–Sokal（個別の保証書）とリサージェンス定理（クラスの保証書）が存在を保証し、その条件は深さの幾何の「地平線が正距離＋探査方向の完備性」に翻訳される。発散の原因（方程式の反復構造）と復元可能性の原因が同一であることが、最深の説明である。
3. 限界線を引いた：自然境界のクラスでは実体が存在せず、本理論の主張は適用外である。解決宣言（第2章）はこの線の内側で有効。

9. 次章へ

存在が保証される側で、こんどは実際に数を出して確かめる番である。次章（16）は検証編 —— 通常の意味で発散する級数が有限値へ「収束」する実例を三つ、数値で検証し、さらにこのシリーズの幾何から出てくる、著者の知る限り未発表の定理候補を一つ、数値検証つきで提示する。

穴は塞がれた。ただし塞ぎ方は「自前の証明」ではなく「保証書の明示と翻訳」である —— それを混同しないことが、このシリーズが第3部第3章の帳簿以来守ってきた規律である。

第4章　検証編：発散級数は本当に有限値へ収束するのか

本章の位置づけ

本章は「発散情報保存理論の構想」の第4章、シリーズ二度目の計算編にして、初の数値検証編である。課題は二つ与えられた —— (1) 通常の意味で無限に発散する級数（関数）が、有限値へ「収束」する例を三つ、実際に検証すること。(2) まだ発見されていない未解明の定理・関数を見つけること。

(1) は本章の数値計算（倍精度・独立な方法の突き合わせ）で実行する。(2) については正直な限定を先に置く —— 著者に「未発見であること」を保証する能力はない。提示するのは、本シリーズ固有の構成（Borel 平面の Fisher 情報幾何）から自然に出てきて、著者の知る限り文献に見当たらない形の定理候補であり、数値検証を添えるが、証明と先行研究調査は今後の課題である。

以下の数値はすべて本章執筆時に実際に計算・照合したものである。

要旨

三つの検証を行う。検証1（Euler 交代級数）：$\sum (-1{)}^{n}n!x^n$（$x=0.2$）の部分和は $S_{25}\approx -4.3\times 10^7$ まで暴走するが、Borel 和は $F=0.8521108814$ に収束し、最適打ち切り $S_5$ は誤差 $0.020$ でこの値を予告している。検証2（Stokes 線上の級数）：$\sum n!x^n$（$x=0.2$）の中央値総和（主値積分）は数値積分で $1.3538312775$、独立な閉形式 $e^{-1/x}\mathrm{Ei}(1/x)/x$ と 13 桁一致（差 $3.2\times 10^{-13}$）。側方総和の虚部（多義性）は $\pi x^{-1}{e}^{-1/x}=0.105839$ で、地平線通過確率 $e^{-1/x}=0.006738$ との関係（第3部第4章の恒等式）も数値で確認。検証3（$1+2+3+\cdots$）：指数・ガウス・ローレンツ二乗という三種の異なる正則化の有限部が、$\epsilon =0.01$ でそれぞれ $-0.08333292,-0.08333417,-0.08333501$ —— すべて $-\frac{1}{12}=-0.08333333$ へ収束する。正則化非依存性（第2章・答え3）の直接の数値証拠である。

後半で定理候補を提示する。Fisher 距離–位数辞書（予想）：Borel 変換が $(A-\xi {)}^{-\beta }$ 型の特異点をもつとき、深さの重み配分の Fisher 距離は地平線接近で $d(\xi )\sim \sqrt{\beta }(-\log (A-\xi ))$ と対数発散し、発散係数の二乗が特異点の位数 $\beta$ に等しい。数値検証：分布から直接計算した Fisher 情報は閉形式 $\beta /\xi (1-\xi {)}^2$ と全桁一致し、距離の傾きは $1.0000:1.41423:1.73207$（理論値 $\sqrt{1}:\sqrt{2}:\sqrt{3}$）。さらに分岐点 $\beta =\frac{1}{2}$ では総和の多義性が $\sqrt{\pi /x}{e}^{-1/x}$（極なら $\pi x^{-1}{e}^{-1/x}$）とスケールすることを差 $10^{-15}$ で検証 —— 特異点の型 $\tau$ は、多義性の $x$ ベキとして読み出せる。位数 $\beta$ が実数全体を走る関数族 $T_{\beta }$ は、「分数位数の地平線」をもつ級数の連続族として、この辞書の検証台になる。

4.1　検証の設計

1. 何をもって「収束の検証」とするか

「発散級数が有限値へ収束する」という言明は、第3章までの整理により、正確には次を意味する —— (a) 部分和は発散する（通常の観測器では読めない）、(b) 情報保存変換による読み値が存在して有限、(c) その読み値は独立な方法で計算しても一致する（一意性・恣意性の不在）。

検証の核心は (c) である。一つの方法だけなら「その方法がそう定義した」と言われうる。互いに独立な二つ以上の計算が同じ数を返すこと —— これが「値が実在する」ことの、数値でできる最良の検証である。以下の三例はすべてこの形をとる。計算は倍精度・複合 Simpson 則（分割 $2\times 10^5$）・裾の解析補正つきで行った。

4.2　検証1：Euler 交代級数

2. 設定

収束半径ゼロ。部分和がどう振る舞い、Borel 和が何を返すかを見る。Borel 和は第1部第2章のとおり

であり、数値積分で $F=0.8521108814$。部分和との比較：

3. 読み取り

部分和は $N\approx 1/x=5$ 付近まで値 $0.85$ 前後をうろつき、その後壊滅的に発散する —— $S_{25}$ は $-4342$ 万。通常の和という観測器では、この級数は間違いなく発散している。しかし、

• 最適打ち切り $S_5$ の誤差は $0.020$。発散級数の部分和が、Borel 和を精度 2% で先に知っていた。
• 到達可能な最良精度の目安は $e^{-1/x}=0.006738$ —— 地平線 $\xi =-1$ の通過確率（第3部第4章）が、摂動論の精度の壁として現れている。
• $F$ は積分として何の曖昧さもなく収束する（特異点 $\xi =-1$ は探査路 $[0,\infty )$ 上にない）。

発散する部分和と、収束する読み値が、同じ一つの対象の二つの顔であることが、数値で見えた。

4.3　検証2：Stokes 線上の級数と中央値総和

4. 設定と二つの独立な計算

こんどは特異点 $\xi =1$ が探査路の真上にある（第1部第2章・第3部第4章）。読み値は主値（中央値総和）で定義する。

方法A（主値の数値積分）　特異点まわりを対称化（$f(1-u)+f(1+u)=2e^{-1/x}\sinh (u/x)/u$、滑らかな関数になる）して数値積分：

方法B（独立な閉形式）　Euler 以来知られる閉形式 $e^{-1/x}\mathrm{Ei}(1/x)/x$ を、$\mathrm{Ei}$ の収束級数 $\gamma +\log z+\sum z^n/(n\cdot n!)$ から独立に計算：

両者の差は $3.15\times 10^{-13}$ —— 倍精度の丸めの水準で一致した。全く別経路の計算が 13 桁同じ数を返す。この数は「在る」。

5. 多義性と地平線通過確率の検証

この級数の読み値には、Stokes 線上ゆえの虚部の多義性が伴う（第1部第2章）。理論値は

そして第3部第4章の恒等式 $e^{-A/x}=\mathrm{Pr}[\xi >A]$ の右辺、探査が地平線 $\xi =1$ を越える確率は

—— 多義性は通過確率のちょうど $\pi /x=15.7$ 倍（極の留数と経路の向きが与える普遍係数）である。最適打ち切り $S_5=1.404800$ と主値の差 $0.051$ も、この $e^{-1/x}$ スケールの中に収まっている。多義性は恣意性ではなく、地平線の向こうの実在の構造の大きさとして、定量的に決まっていることが確認された。

4.4　検証3：$1+2+3+\cdots$ と正則化非依存性

6. 三種の正則化競走

最後に出発点の級数。第2章・答え3の核心 ——「情報保存の公理を満たす読み出しは、どの正則化でも同じ値を返す」—— を数値で試す。滑らかなカットオフ $f$（$f(0)=1$、急減少）で

を計算し、発散部（${\epsilon }^{-2}$ 項）を引いた有限部を、三つの異なる $f$ で比較する。理論（Euler–Maclaurin）はどの滑らかな $f$ でも有限部 $=-f(0)/12=-\frac{1}{12}$ を予言する。

7. 読み取り

三つの正則化は、発散部の係数も収束の速さも互いに異なる（それぞれ ${\epsilon }^{-2}$ の前係数は $1,\frac{1}{2},\frac{1}{2}$）。しかし有限部は、$\epsilon \to 0$ で三本とも同じ数$-\frac{1}{12}$ に落ちていく —— $\epsilon =0.01$ で一致は 5 桁に達している。カットオフの形という「観測器の個性」は発散部（読めない部分の形）にだけ現れ、構造の読み値（有限部）には現れない。実験が Casimir 効果で見るのはこの有限部であり、それが正則化に依らないこと —— 第2章の主張が、机上の数値実験でそのまま再現された。

以上で課題 (1) は完了である —— 通常発散する級数が有限値へ収束する検証済みの実例：Euler 交代級数（$0.8521108814$）、Stokes 線上の $\sum n!x^n$（$1.3538312775$、13桁一致）、$1+2+3+\cdots$（$-1/12$、三正則化一致）。

4.5　定理候補：Fisher 距離–位数辞書

8. 主張

課題 (2) に移る。本シリーズ固有の構成 —— Borel 平面上の深さの重み配分に Fisher 幾何を入れる（第3部第4章）—— を一般の特異点位数に広げると、次の言明が得られる。著者の知る限り、この形の言明は文献に見当たらない（ただし先行研究の網羅的調査は未了であり、既知であれば単に本理論の言葉への翻訳となる）。

予想（Fisher 距離–位数辞書）　Borel 変換が $\xi =A$ に位数 $\beta >0$ の特異点 $(A-\xi {)}^{-\beta }$ をもつとき、深さの重み配分 $w_n(\xi )\propto b_n{\xi }^n$ の定める Fisher 距離は、地平線接近で
MATHBLOCKTOKEN021
と対数発散し、発散係数の二乗が特異点の位数に等しい。すなわち情報不変量の第二成分 $\tau$（特異点の型・第1部第2章）は、深さの幾何の計量データとして読み出せる。

根拠：$B(\xi )=(1-\xi {)}^{-\beta }$（$A=1$）のとき $b_n\sim n^{\beta -1}$ で、重み配分は負の二項分布 $w_n=\left(\genfrac{}{}{0ex}{}{n+\beta -1}{n}\right){\xi }^n(1-\xi {)}^{\beta }$。その Fisher 情報は $g(\xi )=\beta /\xi (1-\xi {)}^2$、距離は閉形式 $d(\xi )=2\sqrt{\beta }\mathrm{artanh}\sqrt{\xi }$ となり、主張が従う。$\beta =1$ が第3部第4章の幾何分布の場合である。

9. 数値検証

(a) Fisher 情報の直接計算　閉形式を使わず、分布そのものから $g=\mathbb{E}[({\partial }_{\xi }\log w_n{)}^2]$ を数値計算（$\xi =0.99$、和は重みが尽きるまで）：

全桁一致。(b) 距離の発散係数　$\xi =1-10^{-4}$ と $1-10^{-6}$ の間の $d(\xi )$ の $-\log (1-\xi )$ に対する傾き：

理論値 $\sqrt{1},\sqrt{2},\sqrt{3}=1,1.414214,1.732051$ と 5 桁一致。予想は数値の水準で成立している。

10. 型 $\tau$ は多義性の $x$ ベキでも読める：関数族 $T_{\beta }$

辞書にはもう一枚、裏面がある。位数 $\beta$ の地平線をもつ級数の側方総和の多義性（虚部）は、留数計算により

と、指数は同じでも $x$ のベキが位数で変わる。$\beta =\frac{1}{2}$（分岐点）を数値検証した：

極（$\beta =1$）なら同じ $x$ で $0.1058$ —— 4 倍違う。すなわち、多義性の大きさの $x$ 依存性を測れば、地平線の型が分かる。位数 $\beta$ を実数全体で動かした読み値の族

は、「分数位数の地平線」をもつ関数の連続族であり、$\beta =1$ に Euler の関数、$\beta =\frac{1}{2}$ に上の分岐型を含む。この族を貫く二本の辞書 —— 計量側（$d\sim \sqrt{\beta }\log$）と読み値側（多義性 $\propto x^{1/2-\beta +1/2}{e}^{-A/x}$ 型のベキ）—— が同じ $\beta$ を指すことが、本章の数値で確かめられた範囲である。特異点の型という解析データが、幾何（距離の発散率）と観測（多義性のスケール）の両面から独立に読める —— これが辞書の主張であり、一般の型（対数特異点・合流）への拡張と証明が、次の的である。

4.6　結論

11. 本章で確かめられたこと

1. 検証1：Euler 交代級数は部分和が $10^7$ 級で暴走する一方、Borel 和 $0.8521108814$ が存在し、最適打ち切りが 2% 精度で先取りする。精度の壁は地平線通過確率 $e^{-1/x}$。
2. 検証2：Stokes 線上の $\sum n!x^n$ の中央値総和は、独立な二方法（主値の数値積分と $\mathrm{Ei}$ の閉形式）で 13 桁一致（$1.3538312775$）。多義性 $0.105839$ は地平線通過確率 $0.006738$ の $\pi /x$ 倍として定量的に決まる。
3. 検証3：$1+2+3+\cdots$ の有限部は、三種の異なる正則化ですべて $-1/12$ に収束（$\epsilon =0.01$ で 5 桁一致）。正則化非依存性＝情報保存の公理の帰結が、数値で直接確認された。
4. 定理候補：Fisher 距離–位数辞書 $d(\xi )\sim \sqrt{\beta }(-\log (A-\xi ))$ を定式化し、Fisher 情報の全桁一致・距離傾きの 5 桁一致・分岐点多義性の 15 桁一致で数値的に支持した。特異点の型は、計量と多義性スケールの両面から読める。

第1部第1章の違和感 ——「発散級数から有限値が出るなんて、数学者の都合ではないのか」—— に対する、もっとも素朴で強い反証がここにある。都合で決めた数は、独立な方法で 13 桁一致したりしない。 値は在る。在るものは測れる。測れたから、この章がある。

第5章　辞書の証明へ —— 対数の地平線と型の階層

本章の位置づけ

本章は「発散情報保存理論の構想」の第5章、数値検証編（第4章）の続編である。前十六章と同じく著者自身の研究メモであり、確立された理論の解説ではない。

第4章で提示した定理候補「Fisher 距離–位数辞書」—— Borel 特異点 $(A-\xi {)}^{-\beta }$ に対し、深さの Fisher 距離は $d(\xi )\sim \sqrt{\beta }(-\log (A-\xi ))$ と発散し、係数の二乗が位数 $\beta$ に等しい —— は、べき型特異点の三点（$\beta =1,2,3$）での数値一致に支えられた予想だった。本章では、これを三方向から強化する。(i) 証明スケッチ：なぜ係数の細部に依らないのか（普遍性）。(ii) 一般化：べき型の外、対数特異点ではどうなるか。(iii) 階層化：型の全体が、距離の発散の速さの階層としてどう層別されるか。数値はすべて本章執筆時に実際に計算した。

要旨

三つの結果を得た。(i) 普遍性の証明スケッチと検証。Fisher 情報は深さ分布の分散で書ける（$g=\mathrm{Var}(n)/{\xi }^2$）。地平線接近で分布は深い $n$ に集中するから、$g$ の漸近は係数の裾$b_n\sim C{n}^{\beta -1}/A^n$ だけで決まり、有限個・低次の補正には依らない —— これが辞書の普遍性の理由である。数値検証：$b_n=n(1+5/n)$（大きな副次補正つき、$\beta =2$）で $g\cdot \xi (1-\xi {)}^2$ は $1.997\to 1.99997\to 2.000000$ と、補正の影響が消えて $\beta =2$ に収束した。

(ii) 対数特異点への拡張。$B(\xi )=-\log (1-\xi )$（$b_n=1/n$、位数 $\beta =0$ の境界例）では、深さ分布は対数分布となり、平均・分散の漸近から

を導いた。数値検証：$g$ の比は予測 $1-1/L$ と 4 桁一致（$\xi =1-10^{-4}$ で $0.8915$ vs $0.8914$）、距離比 $d/2\sqrt{L}$ は $\xi =1-10^{-4}$ の $0.831$ から $\xi =1-10^{-64}$ の $0.984$ まで単調に 1 へ収束した。対数の地平線までの距離は、$\log$ ではなく $\sqrt{\log }$ で発散する —— 辞書の新しい行である。

(iii) 型の階層。以上を束ねると、定理候補はこう昇格する ——「あらゆる位数 $\beta \ge 0$ の特異点は Fisher 距離無限大にある（地平線性は普遍）。型 $\tau$ は、距離の発散の速さとして層別される：べき型は $\sqrt{\beta }\cdot \log$、対数型は $2\sqrt{\log }$」。同じ $\xi =1-10^{-8}$ で距離は $\beta =2$ が $28.0$、$\beta =1$ が $19.8$、対数型が $8.6$ —— 特異点が弱いほど地平線は近くに見えるが、決して届かない。摂動論が非摂動セクターに到達できないことは、型に依らない幾何の普遍則である。

5.1　なぜ辞書は係数の細部に依らないのか

1. Fisher 情報＝深さ分布の分散

出発点は、第4章では明示しなかった簡明な恒等式である。深さ配分 $w_n(\xi )\propto b_n{\xi }^n$ に対し

Fisher 情報とは、深さ分布の分散である。 第3部第1章で「固有速度＝深度分布の標準偏差」（Fisher の基本定理の深度版）と読んだ構造が、ここでは計量そのものの正体として再登場する。計量・速度・分散は、深さの理論では同じ一つの量の三つの顔である。

2. 裾の支配（証明スケッチ）

この恒等式から、辞書の普遍性が見通せる。$\xi \to A^{-}$ で分布の平均 $\mathbb{E}[n]$ は発散する（重みが深くへ逃げる）から、分散を決めるのは大きな $n$ での $b_n$ の漸近形だけである。$b_n=C{n}^{\beta -1}{A}^{-n}(1+O(1/n))$ なら、主要部は負の二項分布に一致し、$O(1/n)$ 補正は集中が進むにつれて消える。すなわち

は、裾の指数 $\beta$のみの関数である。これは Tauber 型の議論（母関数の特異性と係数の裾の対応）の Fisher 幾何版であり、厳密化は標準的な優収束評価でできる見込みだが、本章では検証可能な予測として扱う。

3. 数値検証：補正は本当に消えるか

わざと大きな副次補正を入れた $b_n=n(1+5/n)$（$\beta =2$、ただし $n=1$ では主要部の 6 倍）で、$g\cdot \xi (1-\xi {)}^2$ を分布から直接計算した。

地平線に近づくほど補正の痕跡が消え、位数 $\beta =2$ だけが残る。辞書は係数の「顔」ではなく「裾」を読んでいる —— 第1部第2章で「発散速度は指紋である」と述べたが、正確には、指紋は裾に刻まれている。

5.2　対数の地平線

4. 境界例：$\beta =0$ では何が起きるか

辞書の式 $d\sim \sqrt{\beta }\log$ は、$\beta \to 0$ で係数が消える。では位数ゼロの特異点 —— 対数特異点 $B(\xi )=-\log (1-\xi )$、係数 $b_n=1/n$ —— の地平線は、有限距離になってしまうのか。

深さ配分は対数分布$w_n=\frac{{\xi }^n}{nL(\xi )}$（$L=-\log (1-\xi )$）である。平均と分散は初等計算で

となり、恒等式 $g=\mathrm{Var}/{\xi }^2$ から

べき型の $g\sim \beta /(1-\xi {)}^2$ に比べ、分母に $L$ が一つ入る —— 計量は弱くなるが、消えはしない。距離を積分すると（$v=-\log (1-s)$ の置換で $\int dv/\sqrt{v}$ 型）

結果（対数の地平線）　位数ゼロの対数特異点も、Fisher 距離無限大の地平線である。ただし発散は $\log$ ではなく $\sqrt{\log }$ —— 一段遅い。$\beta \to 0$ で主要項 $\sqrt{\beta }L$ が消えたあと、次の階の $2\sqrt{L}$ が主役を継ぐ。

5. 数値検証

(a) 計量の $1/L$ 補正　$b_n=1/n$ の分布から $g$ を直接計算し、主要予測 $1/((1-\xi {)}^{2}L)$ との比を、導出した補正 $1-1/L$ と比較した。

$\xi =1-10^{-4}$ 以降、4 桁一致。漸近展開は補正項まで正しい。

(b) 距離の $\sqrt{\log }$ 則　厳密な $g$ を対数変数で数値積分し、$2\sqrt{L}$ と比較した。

比は単調に 1 へ収束する。収束が遅い（$O(1/\sqrt{L})$ 型の補正）のは $\sqrt{\log }$ という極端に緩い発散ゆえであり、$\xi =1-10^{-64}$ —— 地平線まで $10^{-64}$ —— での 98.4% は、この種の漸近としては十分に決定的である。

5.3　型の階層定理（候補）

6. 辞書の全体像

第4章の一行だった辞書は、二行に増え、一つの定理候補に組み上がる。

型の階層定理（候補）　Borel 変換の特異点 $\xi =A$ について、深さ配分の Fisher 距離 $d(\xi )$ は特異点の型 $\tau$ に応じて次のように発散する（$L=-\log (1-\xi /A)$）：

型 $\tau$	係数の裾 $b_n$	距離の発散
べき型 $(A-\xi {)}^{-\beta }$、$\beta >0$	$n^{\beta -1}{A}^{-n}$	$d\sim \sqrt{\beta }L$
対数型 $\log \frac{1}{A-\xi }$	$n^{-1}{A}^{-n}$	$d\sim 2\sqrt{L}$

いずれの型でも $d\to \infty$ —— 地平線性（特異点は幾何の内部から有限歩で届かない）は、型に依らず普遍である。 型は、地平線が「どれだけゆっくり遠ざかるか」の速さとして、距離の漸近に完全に刻まれる。

同じ $\xi$ で距離を並べると、階層が数として見える。

強い特異点ほど遠く、弱い特異点ほど近くに見える。しかしどれも届かない。

7. 意味：計量は型を聴く

この階層が言っていることを、シリーズの言葉で言い直す。第1部第2章の情報不変量 $I(S)=(\Omega ,\tau ,\rho ,\Delta )$ のうち、$\Omega$（位置）は第3部第4章で「地平線の所在」、$\Delta$（縫い目）は第3部第5章・第1章で「アトラスの貼り合わせ」として幾何化された。本章で $\tau$（型）が「距離の発散の速さ」として幾何化されたことになる（$\rho$＝強さは、第4章の多義性の大きさ＝通過確率の係数として既に観測量化されている）。

情報不変量の幾何化、完了。$\Omega$＝地平線の位置、$\tau$＝地平線への距離の発散則、$\rho$＝地平線通過の重み、$\Delta$＝地平線たちの縫い目。第1部第2章で抽象的な四つ組として置いた $I(S)$ は、十七章を経て、すべての成分が深さの幾何の測定可能なデータになった。

太鼓の形は聞き分けられるか、という古典的な問いになぞらえれば —— 深さの計量は、特異点の型を聴き分ける。 しかも数値は、その聴き分けが裾だけに依る頑健なものであることを示した（5.1節）。

8. 物理側の含意

型の階層には物理の対応物がある。場の理論の Borel 平面では、インスタントン（典型的にはべき型・分岐型特異点）と繰り込みロン（renormalon、しばしばより複雑な型）が異なる型の特異点として現れる。本章の辞書が正しければ、両者は多義性の $x$ ベキ（第4章）だけでなく、深さの計量の発散則でも区別できる —— 摂動係数の裾から Fisher 距離の漸近を組めば、特異点の正体（どの型の非摂動効果か）が幾何的に診断できることになる。これは、第4章の関数族 $T_{\beta }$ を診断器として使う、具体的な応用の提案である。

5.4　結論と（18）への課題

9. 本章で前進したこと

1. 恒等式 $g=\mathrm{Var}(n)/{\xi }^2$ により、Fisher 距離–位数辞書の普遍性の理由（裾の支配）を特定し、証明スケッチを与えた。副次補正 $1+5/n$ が地平線接近で消えること（$g\cdot \xi (1-\xi {)}^2\to 2.000000$）を数値で確認した。
2. 辞書を対数特異点へ拡張した：$g=(1-1/L+\cdots )/((1-\xi {)}^{2}L)$（4桁一致）、$d\sim 2\sqrt{L}$（比 $0.984$ まで確認）。距離は $\sqrt{\log }$ で発散する —— 辞書の新しい行。
3. 型の階層定理（候補） に到達した：地平線性はあらゆる型で普遍、型は距離の発散の速さとして層別される。これにより $I(S)=(\Omega ,\tau ,\rho ,\Delta )$ の全成分の幾何化が完了した。
4. 物理応用の提案：インスタントン型とレノーマロン型の特異点を、深さの計量の発散則で診断する。

10. 残る課題と次章への予告

• 辞書の厳密証明：裾の支配の優収束評価による定理化。合流型（複数特異点が近接する場合）・本質的特異点への拡張。
• Painlevé I の曲率検算（第1章からの積み残し）：非可換な縫い目＝アトラスの曲率の、橋渡し方程式による計算。
• 温度の辞書（第3部第4・5章の暗合）：Stokes 定数と「地平線の温度」の対応。型の階層が入った今、「型ごとに温度の定義が変わるか」という問いも立つ。

第5部第1章では、積み残しの中で最も重い Painlevé I の曲率検算 —— 非可換な縫い目の幾何 —— に向かいたい。線形（Airy・平坦）で合格した貼り合わせの検算を、非線形（曲率あり）の世界で行う。それが済めば、第3部第5章のアトラス仮説は、可換・非可換の両水準で検証されたことになる。

十七章。最初は「なぜ $-\frac{1}{12}$ なのか」という一つの違和感だった。いま手元にあるのは、位置・型・重み・縫い目のすべてが測定可能になった一つの幾何と、それを支える数値の帳簿である。型さえも、計量は聴き分ける。

（次の第5部第1章「曲がった縫い目 —— Painlevé I とアトラスの曲率」に続く）