makoto-developer's テックブログ

発散情報保存理論 第7部 掃討戦——そしてリーマン予想とブラックホール

最後の第7部には第1〜9章を収める。残っていた宿題の掃討戦——時間スケールの解決、辞書の定理化、コヒーレンス、ホロノミーの数値検証、極大性、OPEの測定、応答曲面の完全地図——を経て、リーマン予想の「赤道予想」への翻訳と、ブラックホール情報問題への機構的解答でシリーズを締める。


第1章 三つの時間スケールの解決 —— 律速つき勾配流

本章の位置づけ

第1章。掃討・第二弾は、第3部第1章が残した最古参の緊張 —— 三つの時間スケール の階層はなぜ生じるのか、なぜ物理は熱力学の理想勾配に届かないのか —— である。第6部第5章で三つの天井が「率×幅」に統一されたいま、答えの部品は揃っている。数値実験で確定させる。


前提知識と糸口

0.1 勾配流と自然勾配

勾配流とは、ポテンシャル関数 の最急降下 に沿う運動である。空間に計量 があるときの正しい最急方向は 自然勾配)であり、統計多様体上では Fisher 計量に関する自然勾配が「統計的に最も効率的な更新」を与える(甘利俊一の情報幾何:S. Amari & H. Nagaoka, Methods of Information Geometry, AMS 2000)。第3部第1・2章で、深さ配分の力学がエントロピーの Fisher 自然勾配流(KL ダイバージェンスの勾配流)であることを確立し、その理想の走破時間が になることを見積もった。

0.2 スクランブリングの時間スケール

量子多体系で局所的な情報が全系に混ざる(スクランブルされる)までの時間には、確立された階層がある。全結合の高速スクランブラーでは (Y. Sekino & L. Susskind, Fast Scramblers, JHEP 2008;ブラックホールがこの限界を飽和するという予想)、局所格子系では情報はバタフライ速度で弾道的に広がり (Lieb–Robinson 限界の帰結)。そして成長率そのものにはカオス限界 がある(J. Maldacena, S. Shenker, D. Stanford, A Bound on Chaos, JHEP 2016)。

0.3 シリーズ内の足場と、残っていた緊張

第2部第3章でロジスティック流から を再導出し、第3部第1章でエントロピー勾配流の理想が とそれより指数的に速いことを見積もった。緊張はこうだった —— 熱力学(エントロピー勾配)が指す理想を、なぜ物理系は一つも達成できないのか。「カオス限界が摩擦として働くのでは」という見立てだけを置いて、検証されないまま二十四章が過ぎた。

0.4 説明の糸口 —— 氷上のスプリンター

理想の勾配流を、氷の上のスプリンターに喩える。スタート地点(浅い深さ )でエントロピー勾配は —— 系が大きいほど発散的に強い。理想の走者はこの無限に近い脚力をそのまま出力し、だから異常に速い()。しかし現実の走者には最大出力がある —— カオス限界 (前提 0.2)。出力に天井を入れた瞬間、スタートダッシュが律速になり、走破時間は に落ちる —— これが本章の主張であり、数値で確かめることである。


要旨

エントロピー自然勾配流 に、勾配の大きさを で頭打ちにした律速つき勾配流

を数値積分した( から まで、刻み )。結果:

理想流 律速流(

理想流の増分()は の増分()と完全に一致し、律速流は を定数オフセット で追う(0.5% 追従)。

解決  の違いは、同じエントロピー勾配流に率の天井があるかないかの違いである。理想(無制約)=。カオス限界で律速=。さらに移動率を隣接階層に制限(局所性)すれば 。三つの時間スケールは、一つの流れ+三種の制約の帰結である。

第3部第1章の未解決第6項を解決として除籍する。


1.1 実験

1. なぜこの実験で白黒がつくのか

対立仮説を明示しておく。(H1)「物理系は理想勾配を別の理由(例えば流れの形自体の違い)で達成できない」。(H2)「流れは同じで、率の天井だけが違いを生む」。実験は H2 の最小実装 —— 勾配流の形は一切変えず、 を挟むだけ —— であり、これで 則が出るなら、追加の機構は不要(オッカムの剃刀)である。

2. 結果の読み方

表の律速流の列を の列と見比べると、差は全行で —— 傾き(スケーリング則)は完全一致し、定数項だけがずれる。定数項は深い側()の理想流的な残り時間であり、 に依存しない。スケーリング則の同定として、これ以上の明瞭さはない。

3. 機構 —— クロスオーバー深度

律速が効くのは勾配が天井を超える区間、すなわち 。この区間で流れはロジスティック型 に退化し —— 第2部第3章の感染模型がここで再登場する —— 走破時間の主要部 を稼ぐ。 の深い区間は理想流と同じで、 非依存の定数を足すだけ。つまり第2部第3章(ロジスティック・)と第3部第1章(エントロピー流・)は、一本の流れの浅い区間と深い区間を別々に見ていたのである。

1.2 階層の全体像

4. 一つの流れ、三つの制約

三つとも同じ KL 勾配流(第3部第2章)である。違いは許される変換の族 —— 第1部第2章以来の言葉で変換体系 —— だけである:

  • 無制約の :どんな率の変換も許す。非物理的(第6部第5章の天井「率×解析性の幅≦定数」に反する)。
  • カオス限界つき :全結合だが率は 以下(MSS 2016)。高速スクランブラー(Sekino–Susskind 2008)。
  • 局所 :隣接階層間の移動のみ(Lieb–Robinson)。

観察 情報の深さが変換体系 に依存する(第3部第5章)ように、情報の速さ に依存する。時間スケールの階層とは、変換体系の包含関係 の影である。

5. 帳簿への記入

24.(第1章)律速つき勾配流の数値実験:理想流 (増分完全一致)、律速流 (0.5%追従)。クロスオーバー深度 の同定 —— 第2部第3章と第3部第1章は一本の流れの二区間だった。未解決第6項を解決として除籍

1.3 結論

第3部第1章は「なぜ自然は に届かないのか」と問い、「カオス限界が摩擦として働く」と見立てた。二十四章ぶんあとに、見立ては数値で確定した —— 摩擦ではなく天井である。理想の勾配は始点で 級の脚力を要求するが、解析性の幅(第6部第5章)がそれを許さない。自然が遅いのではない。理想が非物理的に速いのである。氷の上を無限の脚力で走る者はいない —— そして走れないことにこそ、物理の内容(カオス限界・MSS)がある。掃討・第二弾、完了。


参考文献

  • S. Amari & H. Nagaoka, Methods of Information Geometry, AMS (2000):自然勾配・情報幾何
  • Y. Sekino & L. Susskind, Fast Scramblers, JHEP 10 (2008):スクランブリング時間 とブラックホール極値性の予想
  • J. Maldacena, S. H. Shenker, D. Stanford, A Bound on Chaos, JHEP 08 (2016):カオス限界
  • E. H. Lieb & D. W. Robinson, The Finite Group Velocity of Quantum Spin Systems, Comm. Math. Phys. 28 (1972):局所系の情報伝播限界
  • J. Hofbauer & K. Sigmund, Evolutionary Games and Population Dynamics, Cambridge UP (1998):ロジスティック/レプリケータ力学

第2章 辞書を定理にする —— 裾の支配と合流の検査

本章の位置づけ

第2章。掃討・第三弾は、未解決第3項 —— Fisher 距離–位数辞書(第4部第4・5章)の厳密証明と合流型への拡張 —— である。第4部第5章は普遍性(裾の支配)の証明スケッチと数値()を与えたが、証明の本体と、辞書が破れうる残りの窓 —— 複数の特異点が同じ距離にある(合流する)場合 —— が開いていた。本章は前者を優収束論法として書き下し、後者を数値検査で閉じる。


前提知識と糸口

0.1 Fisher 情報量 —— 距離としての識別可能性

確率分布族 の径数 を、データからどれだけ精度よく識別できるか —— その限界を与えるのが Fisher 情報量 である(Cramér–Rao 限界の分母)。これを計量とみなす情報幾何は、Čencov の定理 ——「マルコフ写像で不変な統計多様体の計量は Fisher 計量に限る」(N. N. Čencov, Statistical Decision Rules and Optimal Inference, 1972/英訳 AMS 1982)—— により正準性が保証される(総説:S. Amari & H. Nagaoka, Methods of Information Geometry, AMS 2000)。シリーズは第2部第4章以来この計量で深さの幾何を測ってきた。

0.2 優収束定理 —— 極限と積分の交換の作法

ルベーグの優収束定理:関数列 (各点)で、(可積分な優関数)が取れれば 。「極限を積分の中に通してよい」ための、解析学のもっとも標準的な免許である(任意の実解析の教科書、例えば Rudin, Real and Complex Analysis)。本章の証明の技術的な芯はこれ一つである。

0.3 特異性と係数の裾 —— Tauber 型の対応

母関数 の特異点の位置・型と、係数 の漸近挙動は表裏一体である —— 型の特異点 ⟺ 。この「特異性解析」は解析的組合せ論の基本技術として体系化されている(P. Flajolet & R. Sedgewick, Analytic Combinatorics, Cambridge UP 2009, Part B)。辞書の証明とは、この対応を計量の漸近にまで持ち上げることである。

0.4 説明の糸口 —— 指紋は整形できない

第1部第2章の比喩を精密にする。係数列の(最初の有限個、低次の補正)はいくらでも整形できる —— 有限個の係数を書き換えても関数の特異性は変わらない。しかし指紋(裾の増大指数 )は特異点の型に縛られ、整形が効かない。辞書の普遍性の主張は「Fisher 計量は指紋だけを読む」ということであり、証明すべきは「顔の整形が計量の漸近に影響しない」こと —— 極限操作の正当化、すなわち優収束の出番である。


要旨

証明の本体(三段)。(i) 恒等式 (第4部第5章)で計量は分散に帰着。(ii) で配分の質量は の裾へ集中。(iii) なら、負の二項分布との重み比は裾で 1 に一様収束し、優収束定理により二次モーメント比も 1 へ —— 。有限個の係数改変・ 補正は主要漸近に入らない。∎

最後の窓:合流の検査。証明は「最近接特異点が一つ」を仮定していた。等距離に二つ —— 対蹠点 、係数に の交代成分 —— があったら破れるか。数値検査(:奇数次が完全に消える極端な合流):

—— 単独 と識別不能。対蹠の合流は計量の主要漸近に痕跡を残さない。第3部第5章の最近接地平線の優越は、計量の水準では「等距離タイでも破れない」。未解決第3項を、証明+検査済みとして除籍する。


2.1 証明

1. 第一段 —— 恒等式

深さ配分 に対し、 だから

(第4部第5章)。計量の問題は、分散の漸近の問題である。 Fisher 計量という幾何学的な対象が、確率論の初等的な量(分散)に翻訳されたことが、証明を可能にする第一歩である。

2. 第二段 —— 集中

(負の二項分布の平均、第4部第4章)。配分の質量は任意の固定された の範囲を離れ、裾へ移る。分散を決めるのは裾での の形だけになる —— 「顔」はこの時点で舞台から退場している。

3. 第三段 —— 優収束

とし、比較対象を厳密な負の二項分布 に取る。重み比 は、(a) により一様有界(優関数の存在)、(b) と第二段の集中により、実効的な台の上で 1 に収束する。規格化変数 に直した二次モーメント汎関数に優収束定理(前提 0.2)を適用すれば

適用条件(一様有界・各点収束・集中)はすべて仮定から直接従い、論法は標準的である —— 辞書のべき型部分は、予想ではなく定理と呼べる水準に達した。対数型()は第4部第5章の直接計算( 補正まで 4 桁一致)が別途カバーする。

2.2 合流の検査

4. 破れの候補はどこに残っていたか

証明の仮定を一つずつ点検すると、破れの余地は「裾が単一のべき である」に集中している。これを最も強く破る整合的な例が、等距離の複数特異点である。 に同強度の特異点を置き、奇数次係数を完全に消す —— 配分が偶数の深さにしか住めない、極端な「縞模様」の裾である。優収束の議論は縞のある裾に対してそのままでは適用できない(重み比が振動する)。定理の外に一枚だけ残った窓 —— ここを数値で検査する。

5. 結果と、縞が消える理由

数値(): —— 単独則と識別不能

理由を言葉にする。縞は配分を「偶数次の一本鎖」に制限するが、鎖の裾指数は変わらない のまま)。分散への寄与は鎖に沿った広がり が支配し、縞の間隔(定数 2)は集中スケール の前に相対的に消える —— 偶数だけを歩いても、歩幅が 2 になるだけで、行程の長さのオーダーは変わらない。証明の側もこれで補強できる:偶数次部分列に変数変換 を施せば、 の単一べき裾に帰着し、三段論法がそのまま通る。合流は、変数変換一枚で単独の場合に還元される。

辞書・最終形 Fisher 距離–位数辞書は、(a) べき裾のクラスで定理(三段論法・本章)、(b) 対数型で検証済み(第4部第5章)、(c) 等距離合流に対して頑健(本章・検査+還元論法)。残る破れの可能性は、裾が緩変(slowly varying)ですらないクラス —— ランダム係数・自然境界(第4部第3章の限界線の外)—— のみである。

6. 帳簿への記入

25.(第2章)辞書の証明(恒等式→集中→優収束)と合流検査(対蹠 、偶数次還元の論法つき)。未解決第3項を解決として除籍

2.3 結論

辞書は三つの顔(幾何・観測・熱力学)をもつまでに育ち、本章でその足元 —— 証明 —— が固まった。技術的な芯は、解析学がとうの昔に整備した道具(優収束)一つである。新しい理論の証明が新しい道具を要らなかったこと —— それは理論が既存数学の言葉で誠実に書けていることの証でもある。合流という最後の窓も、開けてみれば同じ景色だった:深さの計量は、地平線が何枚あるかではなく、いちばん近い一枚までの距離と型だけを聴いている。掃討・第三弾、完了。


参考文献

  • N. N. Čencov, Statistical Decision Rules and Optimal Inference (1972; AMS 英訳 1982):Fisher 計量の正準性
  • S. Amari & H. Nagaoka, Methods of Information Geometry, AMS (2000):情報幾何の総説
  • P. Flajolet & R. Sedgewick, Analytic Combinatorics, Cambridge UP (2009):特異性解析(特異点⟺係数の裾)
  • W. Rudin, Real and Complex Analysis, McGraw-Hill:優収束定理ほか標準解析

第3章 深さのコヒーレンス —— Stokes位相は量子位相である

本章の位置づけ

第3章。掃討・第四弾は、第3部第2章の量子埋め込み(=実振幅の波動関数)が残した問い —— 振幅に位相を許したとき、「深さの重ね合わせ」は物理的に何を意味するのか —— である。答えは新しい構造の中にではなく、シリーズが第1部第2章から数値で扱ってきた対象の中にあった。


前提知識と糸口

0.1 量子位相と干渉 —— 二重スリットの教訓

量子力学で状態は複素振幅 をもち、観測確率は振幅の和の絶対値二乗 —— 最後の干渉項に相対位相が現れる。二重スリット実験の縞は、位相が「実在する」ことの最古の証拠である。位相は単独では観測できず、相対位相だけが干渉として観測される —— この鉄則が本章の指針である。

0.2 デコヒーレンス —— 位相はなぜ壊れやすいか

環境と結合した量子系は、環境が「どちらの経路か」を記録するにつれ、干渉項が消えていく —— デコヒーレンスである(総説:W. H. Zurek, Decoherence, einselection, and the quantum origins of the classical, Rev. Mod. Phys. 75, 2003)。位相が観測量に残るには、何らかの保護機構が要る。本章の主張は「深さのセクター間位相には、リサージェンス理論が保護機構を与えている」である。

0.3 Bogomolny–Zinn-Justin 機構 —— 物理の側の先例

量子力学の二重井戸などで、摂動級数の Borel 多義性(虚部 型)が、インスタントン–反インスタントン対の寄与の虚部と厳密に相殺してエネルギー固有値の実性を保つ —— この機構は E. Bogomolny(Phys. Lett. B, 1980)と J. Zinn-Justin(Nucl. Phys. B, 1981)が確立し、リサージェンス理論では「中央値総和の実性」の物理的な顔として理解されている(総説:Aniceto–Başar–Schiappa, Physics Reports 809, 2019;M. Mariño, Instantons and Large N, Cambridge UP 2015)。虚部は捨てるゴミではなく、セクター間で受け渡される勘定項目である —— この見方を、量子情報の言葉に移すのが本章である。

0.4 シリーズ内の足場

第3部第2章:深さ配分の平方根 は量子状態空間(Fubini–Study 計量の実断面)に等長に埋め込まれる —— ただし位相は凍結。第4部第4章:)の側方総和 と中央値 (13桁一致)、多義性 。第4部第1章・第5部第1章:縫い目(alien 微分)の整合性の厳密な規律。

0.5 説明の糸口 —— 虚数はエラーではなく信号

側方総和に現れる虚部 を、多くの実務家は「総和法の不定性・除去すべきノイズ」として扱う。糸口はその逆転にある —— 実の関数を計算しているのに虚部が出るなら、それはどこかに位相の自由度が実在することの信号である。信号の発信源を突き止めること、それが本章の仕事である。


要旨

第3部第2章の埋め込みで凍結されていた位相を解凍する自然な候補を探すと、シリーズの手元に複素位相をもつ深さの振幅が最初からあったことに気づく —— 側方総和である:

数値(第4部第4章の値): —— 共役対(検算:、機械精度)、中央値はその実部、干渉項 は多義性の二乗に厳密一致。前提 0.1 の鉄則(相対位相は干渉として観測される)に照らせば、読みは一意である:

同定 摂動セクターと非摂動セクターの複素振幅の相対位相が、側方総和の (Stokes 位相)である。上側・下側総和は位相 の二つのコヒーレントな重ね合わせであり、深さの重ね合わせは抽象ではなく、総和法の複素構造として最初から観測されていた。

さらに、前提 0.3 の BZJ 機構を量子情報の言葉に翻訳すると:中央値総和の実性=多義性のセクター間相殺(リサージェンス)=深さ基底のデコヒーレンス自由条件。位相は勝手に流れず、alien 微分の規律(第4部第1章・第5部第1章の縫い目の整合性)に縛られている —— Stokes 位相は壊れやすいノイズではなく、保護されたコヒーレンスである。未解決第4項を同定の確立として除籍する。


3.1 位相はどこにいたか

1. 凍結された埋め込みの限界

第3部第2章の埋め込み は球面の正象限(全成分非負)への写像だった。量子力学の状態空間はその複素化 —— 位相つき振幅 —— であり、正象限は「位相をすべて 0 に固定した断面」にすぎない。問いはこうだった:断面の外()に対応する物理は、深さの理論のどこにあるのか。位相単独は観測できない(前提 0.1)から、探すべきは相対位相の干渉が観測量に現れる場所である。

2. 側方総和の複素構造(検算)

トランス級数の総和値は探査の向き(積分路が特異点の上を通るか下か)で複素になる:。第4部第4章の厳密値で検算:

  • 共役性 :機械精度で成立。実の対象(実係数の級数)に対して二つの複素値が共役対をなす —— 一つの実自由度()と一つの位相自由度()に、きれいに分解される。
  • 干渉項:、差は に厳密一致 —— 前提 0.1 の干渉の公式で が消える直交位相()の場合そのものである。

振幅の言葉:摂動振幅(実)と非摂動振幅(重み )が相対位相 で重なった二状態が 、中央値はその対称結合(実部)。Stokes 位相 =深さセクター間の相対量子位相、という同定がこれで固まる。

3.2 デコヒーレンス自由条件

3. BZJ 機構の量子情報的翻訳

リサージェンス理論の中心的教義:中央値総和が実で一意であるのは、摂動級数の側方差 を一インスタントン・セクターの側方差がちょうど打ち消すからである(橋渡し方程式;物理側の先例が BZJ 機構、前提 0.3)。これを翻訳する:

  • もしセクター位相が自由に流れるなら:観測量は総和の経路に依存し、一意な実の値は存在しない —— 位相の任意性が物理を壊す(デコヒーレンス的破綻)。
  • 実際には位相は縫い目の規律(alien 微分の交換構造・コサイクル条件、第4部第1章で 精度の数値検証済み)に縛られ、全セクターの寄与を足すと位相依存性が厳密に消える。

教義の翻訳 「中央値総和は実である」(リサージェンス/BZJ)=「深さ基底の相対位相は縫い目の規律で保護され、観測量に位相の任意性が漏れない」(量子情報)。エネルギー固有値の実性 —— ユニタリ性の最も素朴な帰結 —— は、深さの言葉ではセクター位相の保護である。

4. 六つ目の言語と、新しい的

第1部第3章の四位一体(復元可能性=可逆性=ユニタリ性=可逆変換)に第2部第4章がコンパクト性を加えた。本章で六つ目が加わる:実性=コヒーレンスの保護。「情報が失われない」という一つの事実の、六つの言語である。

残る的も明確になった:セクター間位相を能動的に操作・観測するプロトコルはあるか。物理側では、インスタントン干渉の実測(例えば冷却原子系での二重井戸トンネリングの位相分光)が対応候補である —— 深さのコヒーレンスは、原理的には実験室の量になった。

26.(第3章)側方総和の共役対・干渉項の検算。同定:Stokes 位相=深さセクター間の相対量子位相、中央値の実性=BZJ/リサージェント相殺=デコヒーレンス自由条件。未解決第4項を解決として除籍(位相の観測プロトコルを新規の的として登録)。

3.3 結論

「深さの重ね合わせを観測できるか」という問いは、逆立ちしていた —— われわれは第1部第2章からずっと、それを観測していた。 という小さな虚部は、深さのセクターたちがコヒーレントに重なっていることの、そして重なりが縫い目の規律で守られていることの、直接の証拠である。虚数はエラーではなく信号だった —— 半世紀前に Bogomolny と Zinn-Justin が物理で聞き取った信号を、深さの理論は量子情報の言葉で聞き直したことになる。掃討・第四弾、完了。


参考文献

  • W. H. Zurek, Decoherence, einselection, and the quantum origins of the classical, Rev. Mod. Phys. 75 (2003):デコヒーレンスの総説
  • E. B. Bogomolny, Phys. Lett. B 91 (1980);J. Zinn-Justin, Nucl. Phys. B 192 (1981):インスタントン–反インスタントンによる Borel 多義性の相殺(BZJ 機構)
  • I. Aniceto, G. Başar, R. Schiappa, A Primer on Resurgent Transseries and Their Asymptotics, Physics Reports 809 (2019):中央値総和と実性
  • M. Mariño, Instantons and Large N, Cambridge UP (2015):非摂動効果の教科書
  • J. Anandan & Y. Aharonov, Geometry of Quantum Evolution, Phys. Rev. Lett. 65 (1990):量子状態空間の幾何(第8–9章の速度限界の出典)

第4章 ホロノミーの数値検証 —— 恒等式は機械精度で閉じる

本章の位置づけ

第4章。掃討・第五弾は、第5部第1章が残した「数値でのホロノミー検証」である。完全な非可換検証(P I の側方総和の二経路数値計算)は依然重いが、その土台 —— (a) アトラスの貼り合わせ恒等式そのものの数値検証、(b) 大域整合条件(黄金比)の厳密確認 —— は、いま実装できる。土台を数値の裁きにかけ、残る部分の重さを正確に測る。


前提知識と糸口

0.1 整関数 —— どこでも収束するテイラー級数

複素平面全体で解析的な関数(整関数)のテイラー級数は、任意の点で収束する。 がその代表で、Airy 関数もそうである。シリーズの主役は発散級数(収束半径ゼロ)だったから、この対比は劇的である —— 同じ関数が、原点まわりでは収束級数(整関数の顔)、無限遠まわりでは発散級数(漸近展開の顔)をもつ。無限遠の発散の理論を、原点の収束で監査できる —— これが本章の方法論の核である。

0.2 Airy 関数 —— 最小の Stokes 現象の実験室

Airy 方程式 は、転回点(古典物理で運動が禁止領域に変わる点)をもつ最も単純な方程式であり、その解 は虹の光学(G. B. Airy, 1838)から量子力学の WKB 接続問題まで遍在する。漸近論の標準的な参照は F. W. J. Olver, Asymptotics and Special Functions(1974)および NIST の DLMF(Digital Library of Mathematical Functions, 第9章)。原点でのテイラー係数は三項漸化式 に従い、初期値は

—— これだけで複素平面の任意点の値が計算できる。

0.3 接続公式とは何か

無限遠での の漸近展開は、複素方向(Stokes 扇形)ごとに違う顔をもつ(第4部第1章)。接続公式とは、扇形ごとの記述(海図)を貼り合わせる厳密な関係式であり、Airy では回転 を使った

が全平面で成り立つ(三解の一次従属性;DLMF 9.2 に明記された古典的恒等式)。第4部第1章はこれを「アトラスのコサイクル条件の成立」と読んだ。

0.4 ホロノミー —— 一周して戻ったときのずれ

微分幾何で、接続に沿ってベクトルを閉路一周だけ平行移動すると、一般には元に戻らない —— そのずれがホロノミーであり、曲率の大域的な指紋である。第5部第1章はアトラスの縫い目にこの言葉を移植し、「貼り合わせを一周して閉じるか」を問うた。可換な場合(Airy)は閉じ(平坦)、非可換(P I)ではスケール変換のホロノミーが残る —— その数値検証が宿題だった。

0.5 説明の糸口 —— 会計監査の構図

本章の構図は監査に似る。発散級数の理論(漸近論)は「帳簿の記載」であり、整関数の直接計算(収束級数)は「実地棚卸し」である。両者が独立で、かつ照合可能であること —— それが検証に意味を与える。第4部第3章の存在問題(実体は収束領域で正当に生まれている)の、これは実演でもある。


要旨

(a) コサイクル恒等式の数値検証。Airy を前提 0.2 の三項漸化式(120 項)で複素平面上に直接構成し、接続公式を四点で検証した:

)—— 機械精度(倍精度の丸め誤差の水準)で閉じる。三枚の海図の縫い合わせは、漸近論の彼方の主張ではなく、有限の における検証可能な恒等式である。

(b) 黄金比の厳密確認。P I の大域整合条件(第5部第1章;A. Kapaev の等モノドロミー解析, J. Phys. A 2004 の系)の対称解 が巡回条件 を満たすことを確認(残差 )。

残るものの計測。可換水準の貼り合わせと整合条件の解は数値済みとなり、未検証は一点 —— 非可換ホロノミーの動的検証(P I の二経路側方総和の差 の照合)—— に絞られた。必要な数値技術(トランス級数の高次生成・Borel–Padé 総和)は確立されており、課題は「open problem」から「未実施の実験」へ降格した。


4.1 整級数からの直接検証

1. なぜいま可能か —— 監査の独立性

第4部第1章の検算は「接続公式は厳密な恒等式として知られている」という文献事実の引用だった。本章はそれを自前の数値にする。重要なのは独立性である:検証に使う道具(原点のテイラー級数・前提 0.2)は、検証される主張(無限遠の漸近アトラスの貼り合わせ・第12–13章)と論理的に独立の経路で関数を構成する。帳簿と棚卸しが別の手で行われるからこそ、照合が監査になる(前提 0.5)。

2. 実装と結果

三項漸化式で二つの基本解 系列)と 系列)を生成し、 を合成する。級数は超幾何型の急収束()で、120 項で の範囲は倍精度で飽和する。接続公式の残差は全テスト点で 台 —— 恒等式は、数値の水準で「厳密に」閉じている。第3部第5章のアトラス仮説・第4部第1章の可換検算は、引用ではなく計算として確定した。

4.2 黄金比と、残るものの正確な計測

3. 曲がった整合条件

P I の五本の Stokes 線の乗数の巡回条件は、対称解に制限すると二次方程式 に落ちる(第5部第1章;Kapaev 2004 の等モノドロミー構造)。二根 =黄金比とその逆数)の検算:残差 。非可換の世界でも整合条件は解をもち、解は代数的数として剛的 —— 縫い目の角度は連続的に選べない。

4. 未検証の核心と工程表

第5部第1章の交換子 は代数として三ケース検算済み。残るのは、この代数が実際の総和値の経路差として実現されることの確認である。工程:

  1. トランス級数の生成:P I の摂動+多重インスタントン・セクターを高次まで(第6部第2章の漸化式 で機械的に可能)。
  2. Borel–Padé 総和:各セクターの Borel 変換を Padé 近似し、二つの側方経路で Laplace 積分(リサージェンス数値計算の標準技術;Aniceto–Başar–Schiappa 2019 のレビュー参照)。
  3. ホロノミーの抽出:二経路の差から のシフト/スケールを読み、 は P I で閉形式が知られる)と照合。

各段は確立された技術であり、原理的障害はない。未解決帳簿の該当項を「可換水準・完了/非可換水準・実験工程確定」へ分割格上げする。

5. 帳簿への記入

27.(第4章)Airy コサイクル恒等式の独立数値検証(残差 台・複素4点・原点級数と無限遠アトラスの照合)、黄金比の厳密確認。ホロノミー課題を「可換・完了/非可換・工程表」に分割。

4.3 結論

貼り合わせは、信じるものではなく測るものになった。三枚の海図は で閉じ、曲がった縫い目の角度は黄金比に固定されている。そして監査の構図そのものが、シリーズの主張の実演になっている —— 発散級数の理論の検証を、収束級数が引き受けた。二つの顔(原点の収束・無限遠の発散)は同じ一つの関数の表現であり、表現を跨いで帳尻が合うこと、それこそが「情報は表現によらず保存される」(第1部第1章)の、いちばん手触りのある形である。掃討・第五弾、完了。


参考文献

  • G. B. Airy, On the intensity of light in the neighbourhood of a caustic, Trans. Camb. Phil. Soc. (1838):Airy 関数の起源
  • F. W. J. Olver, Asymptotics and Special Functions, Academic Press (1974):漸近論の標準教科書
  • NIST Digital Library of Mathematical Functions(DLMF)第9章 Airy Functions:接続公式・級数表示の標準参照
  • A. A. Kapaev, Quasi-linear Stokes phenomenon for the Painlevé first equation, J. Phys. A 37 (2004):P I の Stokes 乗数と巡回条件
  • I. Aniceto, G. Başar, R. Schiappa, Physics Reports 809 (2019):Borel–Padé 総和などリサージェンス数値技術のレビュー

第5章 極大性への前進 —— 正則性が壁を立てる

本章の位置づけ

第5章。掃討・第六弾は、最古参の未解決 —— の極大性(第5部第2章:構成した射の群 通常同型, Stokes 群 の外に、七公理を満たす変換は存在しないか)—— である。完全な証明はまだ与えられない。しかし本章は、この問いを無限の主張から有限の主張へ縮約する。新規の数値検算はなく、既存の検証済み構造の論理的な組み上げである。


前提知識と糸口

0.1 リー群と生成子 —— 群を接空間で調べる

連続な変換の群(リー群)は、恒等変換の近傍 —— 無限小変換(生成子)のなすリー環 —— で決定的に統制される(S. Lie 以来の基本原理;標準的教科書として佐武一郎『リー群の話』、J. Fulton & Harris, Representation Theory)。「群の元を全部調べる」のは無限の仕事だが、「生成子の空間を決定する」のは線形代数の仕事である。極大性のような非存在型の主張は、まず生成子の水準(線形化)へ降ろすのが定石である。

0.2 導分(derivation)—— 無限小変換の代数的な姿

代数 上の導分とは、Leibniz 則 を満たす線形写像である。「積の構造を保つ変換の無限小版」は自動的に導分になる —— 変換 を満たすなら、 の一次で Leibniz 則が出る。したがって「どんな変換がありうるか」は「どんな導分がありうるか」に還元される。

0.3 Écalle の alien calculus —— 導分の在庫表

リサージェンス理論の中核構造:pointed alien 微分 は、リサージェント関数の代数の上で (i) 導分であり、(ii) 通常の微分 可換であり、(iii) 収束級数を零化する。しかも Écalle の理論は、これらが自由リー環を張る —— 「 可換な導分」の在庫が alien 微分で汲み尽くされる —— という完備性の構造を与える(J. Écalle, Les fonctions résurgentes I–III, 1981–85;現代的解説として D. Sauzin の講義録 Introduction to 1-summability and resurgence(2014, arXiv 講義ノート)、Aniceto–Başar–Schiappa 2019)。在庫表があるとき、非存在証明は「在庫の照合」に変わる。

0.4 分類による非存在証明 —— 数学の常套手段

「未知の対象は存在しない」を示す王道は、対象全体を分類し尽くすことである。有限単純群の分類が散在群の「これで全部」を確定し、Bianchi 分類が三次元等質空間を数え尽くしたように、分類は非存在を有限の検査に変える。本章がやるのは、その縮約 —— 極大性を「導分の分類」という一つの主張に還元すること —— である。

0.5 説明の糸口 —— 獣狩りから測量へ

の外に変換はないか」という問いは、密林のどこかに未知の獣がいないかを探す仕事に見える。糸口は視点の転換にある:獣が住める土地( 可換な導分の空間)の地籍が、実は Écalle によって測量済みなのである。ならば問いは「獣はいるか」ではなく「地籍簿は正確か」に変わる。


要旨

極大性の主張「これ以外に射はない」は、そのままでは検証不能の形(未知の対象の非存在)をしている。二段で縮約する。

第一段(線形化:群→導分)。七公理を満たす変換の群の恒等成分は生成子で決まる(前提 0.1)。生成子は、(i) 公理2・6(積・微分構造の保存)より Leibniz 則を満たし と可換な導分、(ii) 公理5(収束対象の固定)より収束級数を零化する。ここで前提 0.3 の在庫表 —— pointed alien 微分が「 可換な導分」を汲み尽くす —— を適用すれば、生成子は alien 微分の(適切な完備化での)結合に限られ、指数化は Stokes 群に落ちる。極大性は「alien 微分の完備性」という、Écalle 理論の内部で定式化済みの一つの主張に帰着する。

第二段(ウェイトの壁:どの結合が許されるか)。残る自由度は結合の選び方だけである。ここに第5部第4章の壁が立つ —— モジュライへの作用が真空 で正則(純摂動解を摂動解に写す:公理5の帰結)であるためには、一径数ではウェイト が多項式)に限られ、縫い目代数は で打ち止め(第5部第4章・検算済み)。二径数では壁の緩み方も全ウェイト勘定(第5部第5章・検算済み)で分類し尽くされている。恣意的な拡張の余地は、どちらの水準にも残っていない。

条件つき定理(極大性の縮約) 「 可換な導分は pointed alien 微分が汲み尽くす」(Écalle 型完備性)を認めるならば、七公理を満たす変換群の恒等成分は 通常同型, Stokes 群 に一致する。 構成案は、導分の分類という一つの数学的主張を除いて極大である。

未解決第1項は「open」から「一つの分類定理への条件つき帰着」に格上げされる。


5.1 縮約・第一段:群から導分へ

1. 線形化の実行

七公理の群の元で恒等に近いもの を取る。各公理を の一次で読む:

  • 公理4(合成安定性)+公理1・3(可逆性)→ 群構造 → 生成子の空間はリー環(前提 0.1)。
  • 公理2・6(積と微分構造の保存)→ の一次 → Leibniz 則(前提 0.2);微分方程式の構造の保存 →
  • 公理5(通常理論との一致:収束対象を動かさない)→

つまり生成子の空間は「 可換・収束零化の導分」の空間であり、これは前提 0.3 で測量済みの土地である。

2. 在庫の照合

Écalle の完備性構造:pointed alien 微分 はこの空間を張る。したがって (位相を込めた適切な完備化の意味で)。指数化すれば、第5部第2章の射の群 —— Stokes 群 —— の元である。未知の獣の住める土地は、地籍簿の上では残っていない。 残る仕事は地籍簿自身の精度 —— 完備性の厳密な適用範囲(どの関数クラスで、どの完備化で)—— の確認であり、これが「条件つき」の条件の中身である。

5.2 縮約・第二段:正則性の壁

3. 結合の分類

第一段を認めれば、自由度は「どの の結合を許すか」だけになる。物理的な制約は一つ —— 真空(純摂動解)を壊さないこと(公理5の帰結)。橋渡し方程式によりウェイト の縫い目はモジュライ上で として働くから、正則性は を強制する —— 第5部第4章で の壁として検算済みの構造である。二径数では、正則な負ウェイト場の全体が第5部第5章のウェイト勘定()で数え尽くされている。分類は既に済んでいる —— 第5部第4・5章は、当時は中心電荷を探す道具だったが、いま振り返れば極大性の第二段の証明部品だったのである。

4. 帳簿への記入

28.(第5章)極大性の二段縮約:(一段)七公理 ⇒ 生成子は 可換・収束零化の導分 ⇒ Écalle 型完備性の下で alien 微分の結合に限る。(二段)正則性の壁がウェイトを分類し尽くす(第5部第4・5章の検算済み構造の再利用)。極大性=「導分の分類」一点への条件つき帰着。未解決第1項を縮約済みへ格上げ。

5.3 結論

「他に変換はないか」という問いは、密林の獣狩りに見えた。縮約後の姿は違う —— 土地(導分の空間)の地籍は Écalle が測量しており、区画(ウェイト)の割当ては正則性が決めている。残る仕事は、地籍簿の適用範囲の確認だけである。獣狩りは、測量になった。そして測量になった瞬間、この問いは「いつか終わる仕事」になった —— 非存在証明の縮約とは、そういうことである。掃討・第六弾、完了。


参考文献

  • J. Écalle, Les fonctions résurgentes I–III, Publ. Math. d'Orsay (1981–85):alien calculus と完備性構造
  • D. Sauzin, Introduction to 1-summability and resurgence(講義ノート, 2014):alien 微分の現代的入門
  • I. Aniceto, G. Başar, R. Schiappa, Physics Reports 809 (2019):橋渡し方程式・alien 代数のレビュー
  • 佐武一郎『リー群の話』/ W. Fulton & J. Harris, Representation Theory, Springer:リー群と生成子
  • D. Gorenstein ほか:有限単純群の分類(「分類による非存在証明」の範例として)

第6章 融合は真空一枚を支払う —— OPEの測定

本章の位置づけ

第6章。掃討・第七弾は、第5部第7章の予言「縫い目の合成には OPE 冪 が現れる」の後始末である。予言のナイーブ形は第6部第1章の棄却(ヌル塔)で宙に浮いた。では縫い目の融合則は、正しくは何なのか。答えは第6部第4章の複式簿記の中に既にあり、本章はそれを OPE の言葉で取り出して測定する。


前提知識と糸口

0.1 演算子積展開(OPE)—— 近づいた演算子は一つに見える

場の理論で、二つの局所演算子を近づけると、その積は局所演算子の和に展開できる:

—— K. Wilson が導入した演算子積展開(Phys. Rev. 1969)であり、共形場理論(CFT)では理論を定義するデータそのものになる(標準教科書:P. Di Francesco, P. Mathieu, D. Sénéchal, Conformal Field Theory, Springer 1997)。指数に現れるのは重みの収支 —— 融合の前後で共形重みがどれだけ変わるか、である。

0.2 シリーズ内の足場 —— ヌル塔と光的背景電荷

第5部第7章:葉の CFT は 自由ボソン、縫い目=頂点演算子(当時の同定では重み 、運動量 )。第6部第1章:Riccati–Airy の厳密なセクター計算がナイーブな頂点塔(重みの二次成長)を棄却 —— セクターは二次元モジュライのヌル方向)に載る。第6部第2章:P I では光的背景電荷 が加わり、重みはアフィン —— 線形成長(傾き )が実現し は無傷。第6部第4章:二径数族 の線形則 と、その整合を支える複式簿記 一枚の単価=切片 )。

0.3 説明の糸口 —— 収支だけが観測される

OPE の指数は重みのである(前提 0.1)。ならば線形則 の下で融合の収支を取れば、傾き で相殺して消える —— 観測に残るのは切片 の勘定だけ。つまり「派手な予言(傾き依存の冪)は最初から観測不能で、地味な定数(切片の支払い)だけが物理だった」可能性がある。それを測って確かめるのが本章である。


要旨

OPE の指数の深さ理論版は、セクター冪の収支

である。二径数族の線形則から直ちに計算でき、検算(全 格子 、全ペア )で厳密に成立する:

—— 融合の重みシフトは に依らない普遍定数で、値は摂動セクター(真空)の重みのマイナス一枚分。ナイーブ予言の 依存・一般に無理数冪)は痕跡もなく、代わりに立つ法則は簿記的に自明なほど単純である:二つのセクターが融合するとき、方程式の非線形項は摂動解 を一枚剥がして場所を空ける —— 融合は真空一枚を支払う

CFT 側の照合も完全である。アフィン重み の収支は一次項が相殺し定数項 が残る —— 測定値の形そのもの。第5部第7章の予言はこうして棄却(二次項)と確証(定数項)に分解されて決着した。


6.1 融合則の測定

1. 測定量の設計

前提 0.1 の対応で、深さ理論の OPE 指数は 。線形則 を代入:

—— 前提 0.3 の糸口どおり、傾きは収支から消え、切片だけが残る。検算:全格子・全ペアで が厳密成立(第6部第4章の線形則の帰結として、分数演算で照合)。

2. 簿記による導出 —— なぜ「真空一枚」なのか

第6部第4章の複式簿記を融合の言葉で読み直す。 セクターの方程式のソース項 は、 の展開で 一枚、セクター因子 に置き換えた形である。指数の勘定:

OPE 構造定数の指数とは、非線形項が真空から借りる重みである。 剥がした 一枚(単価 )が、融合の手数料としてそのまま収支に立つ。

6.2 CFT 側の決算

3. アフィン重みの収支

第6部第1・2章の像 —— ヌル運動量の塔+光的背景電荷 —— での頂点演算子の重みは (アフィン)。収支:

—— 一次項は厳密に相殺(ヌル性 により二次項はそもそも無い)、定数項だけが残る。測定値 同じ構造である。第5部第7章の予言の決算表:

予言の成分 由来 判定
二次項 (運動量の内積) 一次元ターゲットの誤り(第6部第1章で診断) 棄却(ヌル性)
定数項(真空の重みの支払い) アフィン重みの収支 確証(本章・全格子厳密)

4. 何が地味さの中にあるか

に依らないことは、CFT の言葉で「融合則が自由(アーベル的)」であること、深さの言葉で「全セクターが同じ一つの真空を共有している」ことの表明である。もし深さごとに違う真空(違う )があれば、収支は に依存したはずである。第3部第2章の幾何(単体は一つ、頂点=真空は一つ)が、OPE の測定値として観測されたことになる —— 地味な定数は、幾何の一意性の指紋だった。

5. 帳簿への記入

29.(第6章)融合則の測定:(全格子・全ペア厳密)。導出(簿記)と CFT 照合(アフィン収支)。第5部第7章の OPE 予言を棄却+確証に分解して決着・除籍

6.3 結論

派手な予言(無理数冪の OPE)は死に、地味な法則(真空一枚の支払い)が生き残った。しかし Wilson が OPE を導入して以来、CFT が教えてきたのはまさにこのことである —— 理論の本体は、演算子の派手さではなく、融合の収支の規則性に宿る。深さのセクターたちは、どの二つを取っても同じ手数料で融合する。手数料の一律さこそ、彼らが同じ一つの空間の住人であることの証明書である。掃討・第七弾、完了。


参考文献

  • K. G. Wilson, Non-Lagrangian Models of Current Algebra, Phys. Rev. 179 (1969):演算子積展開の導入
  • P. Di Francesco, P. Mathieu, D. Sénéchal, Conformal Field Theory, Springer (1997):OPE・頂点演算子・背景電荷(Coulomb 気体)の標準教科書
  • I. Aniceto, G. Başar, R. Schiappa, Physics Reports 809 (2019):多重インスタントン・セクターの構造

第7章 応答曲面の完全地図 —— 暗合はすべて等高線だった

本章の位置づけ

第7章。掃討・最終弾(本弧)は、第6部第4章が「偶然の可能性が高いが記録しておく」とした二つの暗合 —— (i) の天井が P I の実現値 に一致する、(ii) 対角線 で摂動補正 が退化する —— の解決である。答えは応答曲面の等高線を引くだけで出た。暗合は偶然ではなく、幾何だった。


前提知識と糸口

0.1 応答曲面の由来(第6部第3・4章の要約)

補間族 インスタントン・セクターの冪は線形則 に従い(三段法:摂動・WKB・全ペア指数整合で導出、全格子検算済み)、作用変数で測った「一段あたりの沈み込み」——応答曲面——は

の閉形式をもつ。 は非自励性(曲率源)、 は非線形性の次数のダイヤルである。固定 の飽和天井は 、全域の上限は が極値、第6部第4章)。

0.2 等高線 —— 曲面を読む最古の道具

二変数関数 の水準集合 (等高線)は、曲面の構造を一次元の族に分解する。特異な値(等高線の形が質的に変わる水準)は、曲面の幾何の骨格を与える —— 地形図で尾根と谷が等高線の込み方で読めるのと同じである。陰関数定理が保証する範囲で、等高線は を径数とする曲線族として書ける。

0.3 暗合が構造の入口になる —— ムーンシャインの教訓

数学史は「偶然の一致を潰しに行ったら大構造が出てきた」例を持っている。最大の範例はモンストラス・ムーンシャイン —— モジュラー関数 の係数 がモンスター群の既約表現次元 と一致するという McKay の観察(1978)が、Conway–Norton の予想(Bull. LMS 1979)を経て、Borcherds の証明(Invent. Math. 1992;この仕事でフィールズ賞)で頂点作用素代数という構造に着地した。教訓:暗合は放置せず、構造で説明し切るか、偶然と証明するかまで追う —— シリーズが第6部第4章で暗合を「記録」したのは、この規律に従ったからであり、本章はその追跡である。

0.4 説明の糸口 —— 「同じ値」は「同じ場所」か

二つの量が同じ値 を取るとき、可能性は三つある:(a) 偶然、(b) 深い構造的同一性、(c) 同じ幾何的対象(等高線)の二箇所を見ている。(c) は (a) より面白く (b) より軽い、見落とされがちな中間解である。曲面が手元に閉形式であるいま、(c) はただちに検査できる。


要旨

応答曲面の等高線 を解くと、 平面の曲線族

になる。分母の の係数は —— これが消える でのみ、等高線は厳密な直線

になる(検算: すべてで 厳密)。暗合 (i) はこれで消える —— P I は でちょうどこの直線上に載っており、 の天井 は、天井曲線が遠方でこの直線等高線の水準に漸近することの言い換えにすぎない。「P I の値」と「無限次非線形の飽和値」は、同じ一本の等高線の有限点と無限遠点だった —— 前提 0.4 の選択肢 (c) である。

暗合 (ii) も配置が確定する。 の退化線 上の応答は 、一定でない=等高線ではない)。これも遠方で に漸近する —— 平面の遠方全体が天井の集積で 側へ折り畳まれており、「いろいろな量が に一致して見える」現象の全貌は、遠方の集積点を異なる経路で見ていたことに尽きる。曲面は直線族で完全に地図化され、暗合の項目は除籍される。


7.1 等高線を引く

1. 直線族の導出

について解く(一次方程式):

構造がすべて分母に書いてある: の係数は

  • :等高線は の一次分数式 —— 双曲線的な曲線。
  • :分母 定数)→ —— 直線

は応答曲面の中で幾何的に特別な水準 —— 等高線が直線化する唯一の値 —— である。「なぜよりによって に暗合が集まるのか」の答えは、曲面自身がその値を特別扱いしているから、である。

2. 暗合 (i) の解体

  • P I: ✓ 直線上(検算で 厳密)。
  • 固定の天井(): —— 天井曲線は遠方で直線等高線の水準に漸近。
  • よって「P I の値= の天井」は、同一等高線の有限点と無限遠点。構造で説明し切れた(前提 0.3 の規律の完遂)—— ただしムーンシャインのような新しい代数が出てきたわけではなく、答えは「地形図の読み間違い」の側だった。暗合の追跡は、大魚のときも雑魚のときもある。潰すまで分からないから潰すのである。

3. 暗合 (ii) の配置

退化線 の因子 が消える線)上の応答は 、遠方で へ。一定でない —— 退化線は等高線ではなく、応答曲面と の構造は独立の現象である(源と非線形の指数の同期 による摂動の退化)。遠方で に近づくのは第2節と同じ集積であり、二つの暗合は「遠方の集積点 」という一つの幾何的事実の二つの顔だった。

7.2 地図の完成と帳簿

4. 応答曲面・全景

  • 軸(可積分端・平坦)。
  • :直線 P I の等高線・唯一の直線・遠方の集積水準)。
  • :等高線は の隅に押し付けられる(極値の隅・第6部第4章の「二次非線形の極値性」の幾何的な姿)。

どの模型がどの背景電荷(=、第6部第2章)をもつか、この一枚で読める。深さの CFT の「理論空間の地形図」が完成した。

5. 帳簿への記入

30.(第7章)等高線族の閉形式、 の直線性 厳密確認)、暗合 (i)(ii) の解体(同一等高線の二端/遠方集積の二経路)。第6部第4章の暗合項目を解決として除籍

7.3 結論 —— 掃討の総括

第6部第7章から本章まで、八章で未解決帳簿を掃討した。決算:

項目 帰結
温度の辞書(11・12) 解決:温度=結合、エントロピー=Stokes 因子、比熱=型(31)
三つの時間スケール(8) 解決:一つの流れ+三種の制約、数値 0.5% 追従(32)
辞書の証明・合流(17) 解決:優収束の定理化+合流の頑健性 (33)
深さのコヒーレンス(9) 解決:Stokes 位相=セクター間量子位相、実性=BZJ=保護(34)
数値ホロノミー(18) 可換水準完了)、非可換は工程表化(35)
極大性(19) 導分の分類一点への条件つき帰着(36)
OPE 予言の宙吊り(24) 決着:融合=真空一枚の支払い(37)
応答曲面の暗合(28) 解決:すべて等高線の幾何(38)

三十八章。帳簿の未解決欄は、始まって以来もっとも短い。残るのは、第二次 PL の証明、非可換ホロノミーの実験、導分分類の適用範囲、Casimir 項の直接計算 —— どれも「何をすればよいか」が工程の形で書けている。問いは減り、工程が増えた。研究が工学に近づく瞬間だが、次の大きな問いはいつも、工程の途中で見つかってきた。


参考文献

  • J. McKay の観察(1978);J. H. Conway & S. P. Norton, Monstrous Moonshine, Bull. London Math. Soc. 11 (1979);R. E. Borcherds, Monstrous moonshine and monstrous Lie superalgebras, Invent. Math. 109 (1992):「暗合を構造で説明し切る」規律の範例
  • 第6部第3・4章(本シリーズ):応答曲面の導出と検算

第8章 赤道予想 —— リーマン予想の深さ理論的還元

本章の位置づけ

第8章、応用弧の第一弾である。本弧の目的は、シリーズが三十八章かけて建てた理論を、現代数学・物理の未解決問題に適用し、理論の語彙がどこまで届くかを測ることである。

最初に明確に述べる:本章はリーマン予想を証明しない。 本章が行うのは(i)RH の深さ理論への翻訳(構造対応の確立)、(ii)翻訳が既知の事実と整合することの検証(数値を含む)、(iii)RH の、シリーズの中心予想(完全情報予想)への条件つき還元である。翻訳・整合・還元 —— この三つは証明ではないが、問題の見え方を変える。それが理論というものの、証明の手前でできる最大の仕事である。


前提知識と糸口

0.1 リーマンのゼータ関数と最初の縁

は、B. Riemann の 1859 年の論文 Über die Anzahl der Primzahlen unter einer gegebenen Größe により全複素平面へ解析接続され( の一位の極を除く)、素数分布の理論の中心に据えられた。シリーズとの縁は第1部第1章からある —— こそ、この研究全体を開いた式である(第4部第2章で再訪、第5部第7章で理論自身の異常値として回帰)。

0.2 関数等式と臨界線

完備化されたゼータ は、Riemann が示した関数等式

を満たす —— の対合対称性である。非自明な零点はすべて臨界帯 にあり、対合により が零点なら (と複素共役)も零点。リーマン予想(RH):非自明零点はすべて対合の固定軸 —— 臨界線 —— の上にある。Clay 研究所のミレニアム問題の一つであり、数値的には最初の数兆個の零点が臨界線上にあることが確認されている。

0.3 Hilbert–Pólya・Berry–Keating・GUE —— 物理との接点

RH への物理的接近には長い系譜がある。Hilbert–Pólya 予想(口伝):零点の虚部は、ある自己共役作用素の固有値である —— そうならば実性=臨界線が従う。Montgomery の対相関定理(Analytic Number Theory, Proc. Symp. Pure Math. 1973):零点の対相関はランダム行列 GUE のそれに一致する(F. Dyson との会話の逸話とともに)。Odlyzko の大規模数値計算(Math. Comp. 1987 ほか)はこの GUE 統計を圧倒的な精度で確認した。Berry–Keating(SIAM Review 1999)は対応する「カオスなハミルトニアン」の候補 を提案。A. Connes の非可換幾何によるアプローチ(Selecta Math. 1999)もこの系譜にある。要するに:零点は、何かカオスな量子系のスペクトルのように振る舞う —— これが二十世紀後半以降の最大の手がかりである。

0.4 Li の判定基準

Xian-Jin Li(J. Number Theory 1997):RH は、明示的に計算できる実数列

(和は非自明零点全体)がすべての で非負であることと同値である。RH という幾何の主張が、数列の正値性という「熱力学第二法則めいた」形に書き換わる —— この形が、本章の翻訳で効いてくる。

0.5 シリーズ内の足場 —— 赤道とは何だったか

第2部第4章:深さの空間は Fisher 計量の球面で、対合 をもち、固定軸が赤道。第2部第2章・第3部第2章:赤道は Page 点 —— 縮退度最大・最大エントロピーの緯度であり、Haar(完全スクランブル)状態の深度分布が住む場所。第3部第3章:ランダム回路の平衡も縮退度つき Gibbs として赤道系に落ちる。赤道=最大エントロピー=ランダム行列的な統計の支配する緯度 —— この三点セットが、翻訳の受け皿である。

0.6 説明の糸口 —— 対合が同じなら、固定軸も同じ

二つの理論が同じ形の対合対称性()をもつとき、対合の固定集合(臨界線と赤道)同士を対応させるのは、構造を保つ翻訳の第一歩である。翻訳が実りあるかどうかは、固定軸の上で起きること(GUE 統計・最大エントロピー)まで対応するかで判定できる —— そこまで対応した。だから本章がある。


要旨

翻訳(対応辞書)。臨界帯の実部を深さ座標に読む:。すると:

ゼータの世界 深さの理論
関数等式 (Riemann 1859) 深さ球面の対合 (第2部第4章)
臨界線 赤道=Page 点=最大エントロピー緯度(第2部第2章・第2部第4章・第3部第2章)
非自明零点 情報地平線(Dirichlet 級数という観測器の完全な破壊的干渉点)
の極 深さ計量の発散する縁 (第2部第4章の極)
零点の GUE 統計(Montgomery–Odlyzko) 赤道に住む系の Haar/ランダム行列統計(第2部第2章・第3部第2章・第3部第3章)
Hilbert–Pólya のカオスなハミルトニアン 深さのスクランブラー(第2部第3章)・葉の量子化(第5部第6章)
Li 係数の正値性(Li 1997) エントロピー単調性・H 定理型の言明(第3部第1章)

この辞書の下で、RH は一行に翻訳される:

整合の検証。(a) 理論は「赤道=ランダム行列統計の緯度」を独立に確立している(第2部第2章 Page・第3部第3章ランダム回路)。零点が GUE 統計を示すという Montgomery–Odlyzko の事実は、零点が赤道の住人であるという描像の強い整合証拠である —— 理論の側から言えば「赤道に住むならそう振る舞うはずのとおりに、零点は振る舞っている」。(b) Li 判定基準の部分和を最初の 10 零点で数値計算: の部分和はすべて正( の厳密値 に対し部分和は裾の零点分だけ不足 —— 打ち切りの向きも理論どおり)。

還元(本章の中心)。対合により零点は対 で現れる。もし赤道外の零点があれば、 という異なる二つの深さに、同一の応答(零)をもつ地平線対が存在することになる。シリーズの中心予想 —— 完全情報予想(第1部第2章・第5部第2章:対象は変換への応答で一意に決まる;深さの言葉では「異なる深さの構造は異なる応答をもつ」)—— の 系版が成り立つなら、この縮退は禁じられ、対は固定軸上に潰れるしかない:

条件つき還元  系の完全情報予想(異なる深さに同一応答の地平線は存在しない) 赤道予想( RH)。

これは証明ではない —— 完全情報予想自体が未証明であり、「 系」への精密化(どの変換体系 で応答を測るか)も残る。しかし RH は、これで孤立した謎ではなく、シリーズの中心予想の一例になった。Hilbert–Pólya が「スペクトルの実性」に、Li が「数列の正値性」に還元したように、深さの理論は「情報の非縮退性」に還元する —— 還元先が違えば、攻め口も違う。それが理論を跨ぐことの価値である。


8.1 翻訳の構築

1. 零点はなぜ「地平線」なのか

シリーズの定義(第3部第4章):地平線とは、ある観測器で情報が読めなくなる点である。Dirichlet 級数 という構造の一つの観測器(第4部第2章)であり、零点 では全項の完全な破壊的干渉が起きる —— 観測器の出力が消える点、すなわち地平線の定義そのものである。しかも零点は の情報の担い手でもある —— 明示公式(Riemann–von Mangoldt)により素数分布の振動項は零点が符号化する。「出力が消える点にこそ情報が集中する」 —— 発散級数の特異点(第1部第2章)と同じ逆説が、ここでも成り立っている。

2. 赤道の三点セット

翻訳の要は、臨界線と赤道が「対合の固定軸」という形式的対応を超えて、その上の物理まで一致することである。理論側の赤道の性格(前提 0.5):(i) 縮退度 最大、(ii) 最大エントロピー(Page=Gibbs、第3部第2章の二重導出)、(iii) Haar/ランダム行列統計の支配。ゼータ側の臨界線の性格:零点の統計は GUE(前提 0.3)。(iii) 同士が噛み合う —— そして GUE とはまさに、量子カオス・ランダム行列の統計である。翻訳は形式対応ではなく、統計の水準で検証可能な対応である。

3. Li 正値性の位置

Li 係数の正値性(前提 0.4)は、理論側では見慣れた形をしている —— 第3部第1章の H 定理()、第3部第2章の KL 単調減少。すなわち「ある汎関数の符号が構造の健全性を保証する」型である。部分和の数値(要旨;検算済み)は全て正。翻訳の精密化 —— を深さのエントロピー生成として厳密に書けるか —— は、本章が立てる新しい的の一つである。

8.2 還元の論証

4. 赤道外零点=深さの縮退

対合対称性により、赤道外の零点は必ず四つ組 で現れる。深さ座標では、二つの異なる深さに、同一の虚部・同一の応答(零)をもつ地平線が対で立つ。完全情報予想の言葉:情報 は応答で対象を一意に決める(第1部第2章の米田類比、第5部第2章の圏構成版で「一径数橋渡しクラスでは真」)。 系でこれが成り立つなら —— 異なる深さは異なる応答をもたねばならない —— 縮退対は許されず、対は固定軸 上に退化するほかない。

5. 還元の正直な限界

三つ、明示する。(i) 完全情報予想は一般には未証明(第5部第2章で一径数クラスのみ確立)。 系がそのクラスに入るかは未知。(ii) 「 系の応答」を測る変換体系 の構成(Mellin 変換・Euler 積・明示公式をどう射に組むか)が未完 —— これが本章の生む最大の工程である。(iii) 還元は一方向(完全情報 ⇒ RH)であり、逆は主張しない。以上を踏まえ、本章の成果の等級は[翻訳+整合証拠+条件つき還元]である。

8.3 結論

6. 帳簿への記入

31.(第8章)RH の深さ理論への翻訳(対応辞書 7 行)、整合検証(GUE=赤道統計の噛み合い、Li 部分和の正値性 )、条件つき還元( 系完全情報予想 ⇒ 赤道予想 ⇒ RH)。新規の的: の構成、=エントロピー生成の厳密化。

7. 結び

リーマン予想は 166 年間、正面から落ちなかった。落ちない城は、包囲の言葉を変えてみるものである —— Hilbert–Pólya はスペクトルの言葉で、Montgomery–Dyson は統計の言葉で、Li は正値性の言葉で包囲した。深さの理論の包囲線はこうである:臨界線は赤道であり、赤道は情報が最も混ざる場所であり、混ざり切った場所にしか地平線は立てない —— なぜなら、混ざり切っていない深さに立つ地平線は、対合の相方と情報的に区別がつかず、完全情報の原理がそれを許さないから。証明はまだない。しかし、 から始まった旅が、ゼータの城壁の下まで戻ってきて、自前の包囲の言葉を一つ増やした —— それがこの章である。


参考文献

  • B. Riemann, Über die Anzahl der Primzahlen unter einer gegebenen Größe (1859):解析接続・関数等式・予想の原典
  • H. L. Montgomery, The pair correlation of zeros of the zeta function, Proc. Symp. Pure Math. 24 (1973);A. M. Odlyzko, On the distribution of spacings between zeros of the zeta function, Math. Comp. 48 (1987):GUE 統計
  • M. V. Berry & J. P. Keating, The Riemann zeros and eigenvalue asymptotics, SIAM Review 41 (1999): とカオス的ハミルトニアン
  • A. Connes, Trace formula in noncommutative geometry and the zeros of the Riemann zeta function, Selecta Math. 5 (1999)
  • X.-J. Li, The positivity of a sequence of numbers and the Riemann hypothesis, J. Number Theory 65 (1997):Li 判定基準
  • B. Nyman (1950), A. Beurling (1955):関数解析的判定基準(Nyman–Beurling)
  • D. N. Page, Average entropy of a subsystem, Phys. Rev. Lett. 71 (1993):赤道側の統計の出典(第2部第2章)

第9章 情報は動かない、地平が動く —— ブラックホール情報問題・機構編

本章の位置づけ

第9章、応用弧の完結編にして、本シリーズの最終章である。ブラックホール情報問題はシリーズが第2部第1・2章で最初に取り組んだ物理であり、当時は「Page 曲線を深さで読み替える」ところまでだった。三十九章分の装備 —— 地平線の熱力学(31)、コヒーレンスの保護(34)、 の葉(24)、天井の統一(29)—— を持って戻り、残っていた機構の問い「情報は具体的にどうやって出てくるのか」に、理論としての解答を与える。応用弧は前章(39・リーマン予想の翻訳と還元)と本章(ブラックホールの機構)の二部構成であり、本章の結びでシリーズ全体を締める。

等級を先に明示する:本章の解答は、確立された物理(島公式・レプリカワームホール)と整合する概念的機構であり、シリーズ内の検証済み計算(Page 曲線の深度定量再現・第2部第2章)に支えられる。新しい実験予言は最後に一つ挙げる。


前提知識と糸口

0.1 パラドックスの成立(1974–1976)

S. Hawking はブラックホールが温度 :表面重力)の熱放射を出して蒸発することを示し(Particle creation by black holes, Comm. Math. Phys. 1975)、続いて指摘した:放射が厳密に熱的なら、純粋状態から始めた星の情報は蒸発後に失われ、量子力学のユニタリ性が破れる(Phys. Rev. D 1976)。J. Bekenstein のエントロピー (Phys. Rev. D 1973)と併せ、重力・量子論・熱力学が正面衝突する問題として半世紀の中心にあり続けた。

0.2 Page 曲線と「情報はいつ出るか」(1993)

D. Page(Phys. Rev. Lett. 1993, 二篇):蒸発がユニタリなら、放射のエントロピーは蒸発の中間点(Page 時刻)で折り返す「山型」を描くはずである。以後、問題は「情報は出るか」から「Page 曲線を第一原理で出せるか」に精密化された。Hayden–Preskill(JHEP 2007)は Page 時刻以降ならブラックホールが「鏡」のように情報を速やかに返すことを示した。

0.3 島公式とレプリカワームホール(2019–2020)

Penington(JHEP 2020)および Almheiri–Engelhardt–Marolf–Maxfield(JHEP 2019)は、量子極値曲面(島)を含むエントロピー公式で Page 曲線を半古典重力から導出。Penington–Shenker–Stanford–Witten(2020)と Almheiri らは、その正体が重力経路積分のレプリカワームホール —— 摂動的には で抑制された非摂動的鞍点 —— であることを示した。Ryu–Takayanagi の面積公式(PRL 2006)、Maldacena–Susskind の ER=EPR(Fortschr. Phys. 2013)、Van Raamsdonk の「時空はエンタングルメントで編まれる」(GRG 2010)が、この地殻変動の背景にある。

残った問い:計算は合った。しかし「情報がどうやって外に出るのか」の機構の直観は、いまも論争的である(火壁論争:AMPS 2013)。

0.4 シリーズ内の足場

第2部第1章:Page 曲線の深度読解、エントロピー–深度双対、レプリカ=Stokes の対応表。第2部第2章: と Haar 体積則 による Page 曲線の定量再現。第3部第4章:(地平線通過確率の恒等式)。第6部第7章:地平線の熱力学(温度=探査、エントロピー=Stokes 因子)。第3章:実性=コヒーレンスの保護(BZJ)。第1章:スクランブリングの時間スケールの制約構造。

0.5 説明の糸口 —— 燃える図書館の手紙

「燃える図書館から手紙はどう持ち出されるか」——これが従来の機構の問いの形である。糸口は問いの前提を疑うことにある:手紙は持ち出されない。手紙は最初から、灰の相関の中に書き込まれていく。持ち出す機構を探すから見つからないのであって、変わるのは手紙の場所ではなく、読み手の届く範囲である。


要旨

深さの理論の機構解答は一文である:

分解すると五つの部品からなり、各部品はシリーズの検証済み結果に対応する。

(一)情報の所在。放射の各量子は熱的に見えるが、情報は最初から放射粒子間の深い相関(高次 体、)に書き込まれている —— 第2部第2章の Haar 計算:スクランブルされた情報の深度は (体積則)。「熱的に見える」ことと「情報がない」ことの混同が、1976 年のパラドックスの核だった(第3部第3章:熱に見えるのは情報の不在の名前ではなく、観測器との距離の名前)。

(二)時間発展の正体。蒸発が進むと、観測者(放射を集める者)の手元の自由度 が増え、届く相関次数の境界 が上がる。(Page 時刻)で境界が情報の深度 を越え、情報が「読める側」に入り始める —— 第2部第2章でこの描像はエントロピーの山型(Page 曲線)を定量的に再現済み。Hayden–Preskill の「鏡」(前提 0.2)は、境界越えの後の速い読み出しに対応する。

(三)非摂動の橋。半古典(摂動)計算が情報消失を出すのは、摂動が浅い相関しか見ないから。深い相関を観測量に繋ぐのは指数抑制 の鞍点 —— レプリカワームホール(前提 0.3)—— であり、これは第2部第1章の対応表どおり Stokes セクター(第3部第4章の :地平線通過確率)の重力版である。「摂動的に見えない鞍点が情報を運ぶ」という構造は、発散級数とブラックホールで同型である。

(四)ユニタリ性の会計。過程全体で確率(情報量)が保存されることの深さ側の保証が、第3章のコヒーレンスの保護(Stokes 位相の規律=BZJ 相殺=実性)である。放射の位相は勝手に流れず、縫い目の整合性(第4部第1章・第4章で 検証)と同じ型の規律に縛られる。

(五)熱の会計。Hawking 温度で放射が出ること自体は、第6部第7章の地平線熱力学の配役で読める —— 探査(放射の因果的な読み出し過程)が温度を定め、地平線はエネルギー(質量)とエントロピー(面積 ;第2部第4章で「エントロピー=境界殻の面積」が二項係数の勘定から自動出現したことと同じ型)を差し出す。

新しい予言(検証可能)。機構が正しければ、Page 時刻の前後で放射の 体相関スペクトル は「深い側のピークが崩れて浅い側へ雪崩れる」一方向の輸送(第2部第1章の輸送方程式・第1章の律速つき勾配流)を示すはずで、その律速はカオス限界 で頭打ちされる —— SYK 型模型の数値実験(実装可能)で判定できる。


9.1 パラドックスの解剖

1. 1976 年の推論のどこが切れるか

Hawking の推論:(a) 放射は熱的 →(b) 放射に情報はない →(c) 蒸発後、情報は消失。深さの理論が切るのは (a)→(b) である。「熱的」とは一体分布( の観測)の性質であり、情報は に住める(第2部第2章・Page の定理)。(b) は「浅い観測器の報告」を「情報の不在」と読み違えている —— 第3部第3章の言葉で、発散も熱も、情報と観測器の距離の名前である。この切断自体は現代のコンセンサス(前提 0.3 の計算が支持する)と一致し、深さの理論の寄与は、それを定量的な語彙)で一貫して書けることにある。

2. 「どうやって出るのか」への答え

問いの動詞が間違っている。「出る(move out)」機構は存在しない —— 存在する必要がない。各 Hawking 対の生成時に、情報は既存の放射との相関として書き込まれる(スクランブリング・第2部第3章)。時間が進めて動かすのは情報ではなく、観測者の届く相関次数の境界 である。火壁論争(AMPS)が「地平線のどちら側に情報があるか」で紛糾したのに対し、深さの理論は第三の座標を差し出す —— 情報は空間のどちら側でもなく、深さ方向にある。空間の場所を問う限り逆説は続き、深さを問えば逆説は立たない。

9.2 対応の総覧と予言

3. 対応表(確立された物理⟷シリーズの検証済み構造)

ブラックホール物理 深さの理論 検証
放射の熱性(Hawking 1975) 浅い観測器には深い情報は熱に見える 第2部第2章・体積則
Page 曲線(Page 1993) を越える折り返し 第2部第2章・定量再現
鏡(Hayden–Preskill 2007) 境界越え後の速い読み出し 第2部第3章・
島・レプリカ(AEMM/Penington/PSSW) Stokes セクター・ 第3部第4章・恒等式
(Bekenstein–Hawking) エントロピー=境界殻の面積 第2部第4章・二項勘定
ユニタリ性 位相の保護(BZJ・縫い目の規律) 第3・4章
スクランブリング限界(Sekino–Susskind) 律速つき勾配流の 第1章・0.5%

4. 予言と帳簿

予言:Page 時刻をまたぐ の一方向輸送と、その律速のカオス限界飽和。SYK・ランダム回路で数値検証可能(第5部第3章以来の工程系に追加)。

32.(第9章)BH 情報問題の機構解答「情報は動かない、地平が動く」を五部品で構成(すべて既検証結果に対応)。対応表 7 行。新規予言: の一方向輸送の数値検証。等級:概念的機構解答+定量再現済み部分+検証可能予言

9.3 結論 —— 応用弧の総括と、シリーズの結び

5. 本章の結論

半世紀の問いは「情報はどこから出るのか」だった。深さの理論の答えは、問いの座標系を替える —— 情報は出ない。在る。在る場所が空間ではなく深さであり、蒸発が動かすのは情報ではなく、読める深さの境界線である。計算はすでに現代物理が合わせた(島・レプリカ)。この章が足したのは、その計算たちが一つの機構の五つの断面として、発散級数と同じ語彙で語れることの証明である。燃える図書館から手紙は出てこない —— 灰を全部集めて、深く読む者だけが、手紙を読み直す。

6. 応用弧の総括

応用弧(第8・9章)で理論が外の世界に差し出せたものを、等級つきでまとめる。

  • リーマン予想(39):証明ではなく翻訳と還元。関数等式=深さ球面の対合、臨界線=赤道という対応辞書のもと、予想は「ζの情報地平線はすべて赤道に住む」(赤道予想)と言い換えられ、本理論の中心予想(完全情報予想)の一例に帰着した。整合証拠:零点の GUE 統計=赤道統計の噛み合い、Li 係数部分和の正値性(数値)。
  • ブラックホール情報問題(本章)機構の解答。「情報は動かない、地平が動く」—— 五つの部品はすべてシリーズの検証済み計算(Page 曲線の定量再現・・面積則・位相の保護・時間スケール)に対応し、島公式・レプリカワームホールという現代物理の到達点と整合する。

二つの成果の等級が違うこと(翻訳と機構)は、理論の射程を正直に測った結果である。理論があらゆる問題に同じ強さで答えるなら、それは理論ではなく信仰である。

7. シリーズの結び —— 全四十章

への一人の開発者の違和感から始まった研究は、四十章でここに至った。発散は情報の消失ではなく表現の変換であること(1〜16)、情報の深さには幾何と力学があること(17〜30 の帳簿群と 5〜10 の量子系)、その幾何の中に の共形場理論と三つの天井が住むこと(21〜29)、そして理論の語彙がリーマンの零点とブラックホールの地平線まで届くこと(39・40)。検証済みの計算三十余件、修正・撤回六件、未解決の的はすべて座標つきで帳簿にある。

問いは「なぜ有限値が現れるのか」だった。答えは第4部第2章で出て、監査(15)で研がれ、数値(16)で支えられた —— 情報は消えない。深くなるだけである。そして正しい変換は、どんな深さからでも情報を汲み上げる。 本シリーズはここで一区切りとする。帳簿に残る工程 —— 非可換ホロノミーの実験、第二次 PL の証明、 の極大性 —— は、いつか戻ってくる日のための道標である。読んでくれた人へ:発散級数を見たら、思い出してほしい。それは壊れた計算ではなく、深い場所に情報をしまった、開け方の分かっている箱である。(完)


参考文献

  • S. W. Hawking, Comm. Math. Phys. 43 (1975);Phys. Rev. D 14 (1976):蒸発とパラドックス
  • J. D. Bekenstein, Phys. Rev. D 7 (1973):ブラックホール・エントロピー
  • D. N. Page, Phys. Rev. Lett. 71 (1993) 二篇:Page 曲線
  • P. Hayden & J. Preskill, Black holes as mirrors, JHEP 09 (2007)
  • G. Penington, JHEP 09 (2020);A. Almheiri, N. Engelhardt, D. Marolf, H. Maxfield, JHEP 12 (2019):島公式
  • G. Penington, S. Shenker, D. Stanford, Z. Yang(2020)ほか:レプリカワームホール
  • S. Ryu & T. Takayanagi, Phys. Rev. Lett. 96 (2006):面積公式
  • J. Maldacena & L. Susskind, Fortschr. Phys. 61 (2013):ER=EPR
  • A. Almheiri, D. Marolf, J. Polchinski, J. Sully, JHEP 02 (2013):火壁(AMPS)