makoto-developer's テックブログ

連載「発散情報保存理論」 7/7

積み残しの決着、リーマン予想とブラックホール —— 発散情報保存理論(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)がある。出力に上限を入れた瞬間、スタートダッシュが律速になり、走破時間は に落ちる。これが本章の主張であり、数値で確かめることである。


要旨

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

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

理想流 律速流(

理想流の増分()は の増分と一致する。増分の真値は 、すなわち である。表は小数第2位で丸めてあるので、 列の隣り合う差を表の数字から取ると第3項だけ に見えるが、これは丸めの見かけであって不一致ではない。律速流は を定数オフセット で追う(オフセットは一定なので相対差は系が大きいほど縮み、表の最下行で 0.5%)。

解決  の違いは、同じエントロピー勾配流に率の上限があるかないかの違いである。理想(無制約)=。カオス限界で律速=。さらに移動率を隣接階層に制限(局所性)すれば 。三つの時間スケールは、一つの流れ+三種の制約の帰結である。ただし本章が数値で確かめたのは前二者であり、三つ目の は Lieb–Robinson 限界(前提 0.2)を引いている。

第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)は、検証される主張(無限遠の漸近アトラスの貼り合わせ・第3部第5章と第4部第1章)と論理的に独立の経路で関数を構成する。予測と実測が別の経路で得られるからこそ、照合が検証になる(前提 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章から本章まで、八章で未解決項目を片づけた。結果一覧を示す。括弧内の数字は全40章の通し章番号で、左列は問いが立った章、右列はそれを片づけた章である(以降も同じ表記を使う)。

項目帰結
温度の辞書(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 判定基準(前提 0.4)の正値性は、理論側では H 定理型の言明に対応する(後述の第3節)。その部分和を最初の 10 零点(とその複素共役)で数値計算した。 の 6 点を抜き出すと部分和はいずれも正で、。ここに挙げたのはこの 6 個であって、 から までの全部ではない(間の も正だが、値は載せていない)。 の厳密値 に対し部分和 は裾の零点分だけ不足しており、打ち切りの向きも理論どおりである。

還元(本章の中心)。対合により零点は対 で現れる。もし赤道外の零点があれば、 という異なる二つの深さに、同一の応答(零)をもつ地平線対が存在することになる。シリーズの中心予想である完全情報予想(第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. 結び

リーマン予想は 167 年間(1859 年の原論文から本稿まで)、正面からは証明されなかった。証明されない問題は、記述の言葉を変えてみるものである。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章)、その「深さ」に量子系の裏づけがあること(第5〜10章)、深さには幾何と力学があること(第17〜30章の結果群)、幾何の中に の共形場理論と三つの上限が住むこと(第21〜29章)、そして理論の語彙がリーマンの零点とブラックホールの地平線まで届くこと(第39・40章)。検証済みの計算三十余件、修正・撤回六件、未解決の課題はすべて座標つきで一覧にある。

問いは、第1部第1章の「なぜ発散した級数から有限値が現れるのか」だった。答えは第4部第2章で出て、点検(第15章)で研がれ、数値(第16章)で支えられた。情報は消えない。深くなるだけである。そして正しい変換は、どんな深さからでも情報を汲み上げる。 本シリーズはここで一区切りとする。一覧に残る工程(非可換ホロノミーの実験、第二次 PL の証明、 の極大性を支える導分の分類、Casimir 項の直接計算、そして本弧が新たに積んだ二つ——リーマン予想側の変換体系の構成と、放射の相関スペクトルの数値検証)は、いつか戻ってくる日のための道標である。読んでくれた人へ:発散級数を見たら、思い出してほしい。それは壊れた計算ではなく、深い場所に情報をしまった、開け方の分かっている箱である。(完)


参考文献

  • 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)