相対エントロピーから情報と物理を組み立てる 第7部 第7章 §7.7.3 ★★★ 量子極値曲面の規則を浴の中の放射に当てると、ブラックホールの内部の一部(島)を放射に加えた領域が現れ、島なしと島ありの入れ替わりが Page 曲線になる
島の公式
量子極値曲面の規則 (7.7.8) を、重力のある時空の中の領域でなく、重力のない浴に置いた放射 R R R に当てる。R R R の端は浴の中にあるが、規則が許す曲面 X \mathcal X X は重力のある領域のどこにあってもよい。そこで、重力のある領域の中に島 I \mathcal I I を取り、その境界 ∂ I \partial\mathcal I ∂ I を曲面とする候補を考える。島は R R R とつながっていなくてよい。
命題 7.7.3(島の公式 ★★★)
重力のない浴に集めた放射 R R R の von Neumann エントロピーは
S ( R ) = min I ext I [ A ( ∂ I ) 4 ℓ P 2 + S b u l k ( R ∪ I ) ] (7.7.10) S(R)=\min_{\mathcal I}\ \operatorname*{ext}_{\mathcal I}\Bigl[\frac{A(\partial\mathcal I)}{4\ell_{\mathrm P}^2}+S_{\mathrm{bulk}}(R\cup\mathcal I)\Bigr]\tag{7.7.10} S ( R ) = I min I ext [ 4 ℓ P 2 A ( ∂ I ) + S bulk ( R ∪ I ) ] ( 7.7.10 )
で与えられる。I = ∅ \mathcal I=\varnothing I = ∅ (島なし)も候補に含め、そのとき面積の項は 0 である。極値を与える島を含めた R ∪ I R\cup\mathcal I R ∪ I が R R R のエンタングルメント・ウェッジである。
この公式は 2019 年に G. Penington1 1 G. Penington (2020), Journal of High Energy Physics 2020 (09), 002(arXiv 版は 2019 年)。 と、A. Almheiri・N. Engelhardt・D. Marolf・H. Maxfield2 2 A. Almheiri, N. Engelhardt, D. Marolf, H. Maxfield (2019), Journal of High Energy Physics 2019 (12), 063。 が、蒸発するブラックホールに量子極値曲面の規則を当てて見つけ、A. Almheiri・R. Mahajan・J. Maldacena・Y. Zhao3 3 A. Almheiri, R. Mahajan, J. Maldacena, Y. Zhao (2020), Journal of High Energy Physics 2020 (03), 149。 が浴を持つ2次元の模型で今の形に書いた。なぜ島の分を加えてよいかは 7.7.5 節で扱う。
2つの候補
候補は2つある。
島なし (I = ∅ \mathcal I=\varnothing I = ∅ )では、式 (7.7.10) の括弧の中は S b u l k ( R ) S_{\mathrm{bulk}}(R) S bulk ( R ) だけで、これは半古典的な時空の上の場の状態から計算した放射のエントロピー、すなわち Hawking の計算の S ( ρ ^ R H a w k ) S(\hat\rho_R^{\mathrm{Hawk}}) S ( ρ ^ R Hawk ) である。放射が出るたびに R R R のモードの相手は地平面の内側に残るので、この値は時間とともに増え続ける。
島あり では、島をブラックホールの内部の、地平面のすぐ近くまで広がる領域に取る。島の中には、すでに R R R に出たモードの相手(内側のモード)が入っている。そのため R ∪ I R\cup\mathcal I R ∪ I の中では対が閉じ、S b u l k ( R ∪ I ) S_{\mathrm{bulk}}(R\cup\mathcal I) S bulk ( R ∪ I ) は小さい。代わりに面積の項が加わり、島の境界は地平面の近くにあるので、その値はほぼ時刻 t t t のブラックホールのエントロピーA ( t ) / ( 4 ℓ P 2 ) A(t)/(4\ell_{\mathrm P}^2) A ( t ) / ( 4 ℓ P 2 ) になる。
したがって
S ( R ) ≈ min { S b u l k ( R ) , A ( t ) 4 ℓ P 2 + S b u l k ( R ∪ I ) } ≈ min { S ( ρ ^ R H a w k ( t ) ) , A ( t ) 4 ℓ P 2 } (7.7.11) S(R)\approx\min\Bigl\{S_{\mathrm{bulk}}(R),\ \frac{A(t)}{4\ell_{\mathrm P}^2}+S_{\mathrm{bulk}}(R\cup\mathcal I)\Bigr\}
\approx\min\Bigl\{S\bigl(\hat\rho_R^{\mathrm{Hawk}}(t)\bigr),\ \frac{A(t)}{4\ell_{\mathrm P}^2}\Bigr\}\tag{7.7.11} S ( R ) ≈ min { S bulk ( R ) , 4 ℓ P 2 A ( t ) + S bulk ( R ∪ I ) } ≈ min { S ( ρ ^ R Hawk ( t ) ) , 4 ℓ P 2 A ( t ) } ( 7.7.11 )
で、ユニタリ性から要求された上限 (7.7.3) が等号で出てくる。Page 時間より前は島なしの方が小さく、その後は島ありの方が小さい。Page 時間に、最小を与える極値曲面が「無い」から「島の境界」へ不連続に入れ替わる。この不連続な入れ替わりが Page 曲線の折れ曲がりである。式 (7.7.3) は「ブラックホールの状態の数」の仮定から出た上限だったが、式 (7.7.11) は半古典的な時空の幾何(面積と場のエントロピー)だけから計算した値である。ここが島の公式の新しい点である。
蒸発するブラックホールの模型
4次元の Schwarzschild ブラックホールで、2つの候補を時間の関数として書く。ブラックホールのエントロピー S B H / k B ∝ M 2 S_{\mathrm{BH}}/k_{\mathrm B}\propto M^2 S BH / k B ∝ M 2 、蒸発の速さ d M / d t ∝ − M − 2 \mathrm{d} M/\mathrm{d} t\propto-M^{-2} d M / d t ∝ − M − 2 (解析力学から様々な理論分野を組み立てる 第5部第12章 )から、M ( t ) 3 = M 0 3 ( 1 − t / t e v ) M(t)^3=M_0^3(1-t/t_{\mathrm{ev}}) M ( t ) 3 = M 0 3 ( 1 − t / t ev ) で
A ( t ) 4 ℓ P 2 = S 0 ( 1 − t t e v ) 2 / 3 (7.7.12) \frac{A(t)}{4\ell_{\mathrm P}^2}=S_0\Bigl(1-\frac{t}{t_{\mathrm{ev}}}\Bigr)^{2/3}\tag{7.7.12} 4 ℓ P 2 A ( t ) = S 0 ( 1 − t ev t ) 2/3 ( 7.7.12 )
である(S 0 S_0 S 0 は最初のブラックホールのエントロピー、t e v t_{\mathrm{ev}} t ev は蒸発しきるまでの時間)。放射の粗いエントロピーは、ブラックホールが失ったエントロピーの α \alpha α 倍
S b u l k ( R ) = α [ S 0 − A ( t ) 4 ℓ P 2 ] (7.7.13) S_{\mathrm{bulk}}(R)=\alpha\Bigl[S_0-\frac{A(t)}{4\ell_{\mathrm P}^2}\Bigr]\tag{7.7.13} S bulk ( R ) = α [ S 0 − 4 ℓ P 2 A ( t ) ] ( 7.7.13 )
とおく。第7部第3章の式 (7.3.10) の α \alpha α と同じ比で、3+1 次元の黒体で 4 / 3 4/3 4/3 、1+1 次元の流れで 2 2 2 である(第7部第1章の例題 7.1.5 )。α ≥ 1 \alpha\ge1 α ≥ 1 である。ブラックホールが d S B H \mathrm{d} S_{\mathrm{BH}} d S BH を失うとき、出ていく放射のエントロピーは一般化第二法則により少なくともそれと同じだけある。等号はブラックホールと放射の間で可逆に(同じ温度の放射をやり取りして)エネルギーが移る場合で、真空へ自由に出ていく放射では α > 1 \alpha>1 α > 1 になる。1+1 次元の場の放射なら、エネルギーの流れ π c M ( k B T ) 2 / ( 12 ℏ ) \pi c_{\mathrm M}(k_{\mathrm B}T)^2/(12\hbar) π c M ( k B T ) 2 / ( 12ℏ ) (c M c_{\mathrm M} c M は場の中心電荷)に対してエントロピーの流れがπ c M k B T / ( 6 ℏ ) \pi c_{\mathrm M}k_{\mathrm B}T/(6\hbar) π c M k B T / ( 6ℏ ) (k B k_{\mathrm B} k B 単位)で、ちょうど (エネルギーの流れ)/ ( k B T ) /(k_{\mathrm B}T) / ( k B T ) の2倍になる。一方、第一法則 c 2 d M = T d S B H c^2\mathrm{d} M=T\,\mathrm{d} S_{\mathrm{BH}} c 2 d M = T d S BH によりブラックホールのエントロピーは (エネルギーの流れ)/ ( k B T ) /(k_{\mathrm B}T) / ( k B T ) の速さで減るので、α = 2 \alpha=2 α = 2 である(この模型では放射を 1+1 次元の流れで近似し、灰色体因子を 1 とする)。
Page 時間は2つの候補が等しくなる時刻で、α [ S 0 − S B H ] = S B H \alpha[S_0-S_{\mathrm{BH}}]=S_{\mathrm{BH}} α [ S 0 − S BH ] = S BH から
S B H ( t P ) S 0 = α 1 + α , t P t e v = 1 − ( α 1 + α ) 3 / 2 (7.7.14) \frac{S_{\mathrm{BH}}(t_{\mathrm P})}{S_0}=\frac{\alpha}{1+\alpha},\qquad \frac{t_{\mathrm P}}{t_{\mathrm{ev}}}=1-\Bigl(\frac{\alpha}{1+\alpha}\Bigr)^{3/2}\tag{7.7.14} S 0 S BH ( t P ) = 1 + α α , t ev t P = 1 − ( 1 + α α ) 3/2 ( 7.7.14 )
である。これは第7部第3章の式 (7.3.12) を時刻に直したもので、α = 4 / 3 \alpha=4/3 α = 4/3 では第3章の式 (7.3.13) の 0.568 0.568 0.568 になる。島の公式の2つの候補の交点が、Page が状態の数え上げから出した時刻と一致する。図 7.7.2 は α = 2 \alpha=2 α = 2 の場合で、2本の曲線の小さい方が Page 曲線になる。
図 7.7.2 蒸発するブラックホールの模型(式 (7.7.12) ・(7.7.13) 、α = 2 \alpha=2 α = 2 )。赤の点線が島なしの候補(Hawking の計算)、灰色の点線が島ありの候補(ほぼブラックホールのエントロピー)、青の実線が島の公式の値。Page 時間 t P = 0.456 t e v t_{\mathrm P}=0.456\,t_{\mathrm{ev}} t P = 0.456 t ev で最小を与える候補が入れ替わる
Page 時間の後に何が放射に入るか
Page 時間の後、放射 R R R のエンタングルメント・ウェッジは R ∪ I R\cup\mathcal I R ∪ I になる。JLMS の関係 (7.7.9) を B B B の代わりに R R R について書けば、日記の違う2つの世界の放射の相対エントロピーは
D ( ρ ^ R ( 1 ) ∥ ρ ^ R ( 2 ) ) = D ( ρ ^ R ∪ I b u l k , ( 1 ) ∥ ρ ^ R ∪ I b u l k , ( 2 ) ) (7.7.15) D\bigl(\hat\rho_R^{(1)}\,\big\|\,\hat\rho_R^{(2)}\bigr)=D\bigl(\hat\rho^{\mathrm{bulk},(1)}_{R\cup\mathcal I}\,\big\|\,\hat\rho^{\mathrm{bulk},(2)}_{R\cup\mathcal I}\bigr)\tag{7.7.15} D ( ρ ^ R ( 1 ) ρ ^ R ( 2 ) ) = D ( ρ ^ R ∪ I bulk , ( 1 ) ρ ^ R ∪ I bulk , ( 2 ) ) ( 7.7.15 )
である。日記が島の中にあれば、右辺は日記の部分系への部分トレースで下から押さえられ、量子データ処理不等式により日記どうしの D 以上になる。こうして日記の情報が放射から読み出せることになる。Page 時間の前は島が無いので右辺は R R R だけの場の状態の D で、R R R の場の状態は日記によらないから 0 であり、式 (7.7.2) に一致する。
この描像は、第7部第5章(第7部第5章 )のファイアウォールの議論(定理 7.5.1 )とも整合する。そこでは、Page 時間の後の地平面の外のモードが、内側の相手と初期の放射の両方と最大にもつれることはできない(一夫一婦制)、という矛盾が問題だった。島の公式の描像では、内側の相手は島の中にあり、島は初期の放射 R R R のエンタングルメント・ウェッジに含まれる。内側の相手は R R R と独立な系ではなく、R R R の自由度で表される。同じ自由度を2回数えていたので、一夫一婦制の矛盾は起きない、という読み方になる。
例題 7.7.3 Page 曲線の折れ目と太陽質量の Page 時刻 ★★
オリジナル 式 (7.7.12) ・(7.7.13) の2つの候補について、次の問いに答えよ。
(1) 島なしの候補 α ( S 0 − S B H ) \alpha(S_0-S_{\mathrm{BH}}) α ( S 0 − S BH ) と島ありの候補 S B H S_{\mathrm{BH}} S BH の時間微分を ∣ S ˙ B H ∣ \lvert \dot S_{\mathrm{BH}}\rvert ∣ S ˙ BH ∣ で書き、Page 時間の前後で S ( R ) S(R) S ( R ) の時間微分がどう跳ぶかを示せ。α = 4 / 3 \alpha=4/3 α = 4/3 のとき、Page 時間の直後と直前の傾きの比を求めよ。
(2) 太陽質量のブラックホールの Page 時刻の範囲を、α \alpha α が1から2の間として年で出せ。第7部第3章の例題 7.3.6 の割合と、第7部第2章の例題 7.2.4 の t e v t_{\mathrm{ev}} t ev を使ってよい。
解答 (1) ブラックホールは縮み続けるので S ˙ B H = − ∣ S ˙ B H ∣ \dot S_{\mathrm{BH}}=-\lvert \dot S_{\mathrm{BH}}\rvert S ˙ BH = − ∣ S ˙ BH ∣ である。島なしの候補の時間微分は − α S ˙ B H = + α ∣ S ˙ B H ∣ -\alpha\dot S_{\mathrm{BH}}=+\alpha\lvert \dot S_{\mathrm{BH}}\rvert − α S ˙ BH = + α ∣ S ˙ BH ∣ 、島ありの候補の時間微分は − ∣ S ˙ B H ∣ -\lvert \dot S_{\mathrm{BH}}\rvert − ∣ S ˙ BH ∣ になる。S ( R ) S(R) S ( R ) は2つの候補の小さい方なので、Page 時間の前は島なしの候補、後は島ありの候補を取る。∣ S ˙ B H ∣ \lvert \dot S_{\mathrm{BH}}\rvert ∣ S ˙ BH ∣ そのものは t P t_{\mathrm P} t P で連続だから、S ( R ) S(R) S ( R ) の値は連続のまま、傾きだけが + α ∣ S ˙ B H ∣ +\alpha\lvert \dot S_{\mathrm{BH}}\rvert + α ∣ S ˙ BH ∣ から − ∣ S ˙ B H ∣ -\lvert \dot S_{\mathrm{BH}}\rvert − ∣ S ˙ BH ∣ へ跳ぶ。直後と直前の傾きの比は − 1 / α -1/\alpha − 1/ α で、α = 4 / 3 \alpha=4/3 α = 4/3 なら − 3 / 4 -3/4 − 3/4 である。式 (7.7.12) から ∣ S ˙ B H ∣ = 2 3 S 0 t e v ( 1 − t / t e v ) − 1 / 3 \lvert \dot S_{\mathrm{BH}}\rvert =\frac23\frac{S_0}{t_{\mathrm{ev}}}(1-t/t_{\mathrm{ev}})^{-1/3} ∣ S ˙ BH ∣ = 3 2 t ev S 0 ( 1 − t / t ev ) − 1/3 で、t P = 0.568 t e v t_{\mathrm P}=0.568\,t_{\mathrm{ev}} t P = 0.568 t ev では 0.882 S 0 / t e v 0.882\,S_0/t_{\mathrm{ev}} 0.882 S 0 / t ev なので、傾きは + 1.176 S 0 / t e v +1.176\,S_0/t_{\mathrm{ev}} + 1.176 S 0 / t ev から − 0.882 S 0 / t e v -0.882\,S_0/t_{\mathrm{ev}} − 0.882 S 0 / t ev へ変わる。値が連続で傾きだけが不連続になるのは、2つの鞍点の小さい方を取る 7.7.6 節の1次相転移と同じ形で、Page 曲線の折れ目は鞍点の入れ替わりである。
(2) 第7部第3章の例題 7.3.6 と同じく Page 時間のブラックホールのエントロピーは初めの α / ( 1 + α ) \alpha/(1+\alpha) α / ( 1 + α ) 倍で、α = 1 \alpha=1 α = 1 では 1 / 2 1/2 1/2 、α = 2 \alpha=2 α = 2 では 2 / 3 2/3 2/3 である。式 (7.7.14) から t P / t e v = 1 − ( 1 / 2 ) 3 / 2 = 0.646 t_{\mathrm P}/t_{\mathrm{ev}}=1-(1/2)^{3/2}=0.646 t P / t ev = 1 − ( 1/2 ) 3/2 = 0.646 と 1 − ( 2 / 3 ) 3 / 2 = 0.456 1-(2/3)^{3/2}=0.456 1 − ( 2/3 ) 3/2 = 0.456 になる。太陽質量では t e v = 2.10 × 10 67 t_{\mathrm{ev}}=2.10\times10^{67} t ev = 2.10 × 1 0 67 年(第7部第2章の例題 7.2.4 )なので、t P t_{\mathrm P} t P は 0.456 × 2.10 × 10 67 = 9.6 × 10 66 0.456\times2.10\times10^{67}=9.6\times10^{66} 0.456 × 2.10 × 1 0 67 = 9.6 × 1 0 66 年から0.646 × 2.10 × 10 67 = 1.36 × 10 67 0.646\times2.10\times10^{67}=1.36\times10^{67} 0.646 × 2.10 × 1 0 67 = 1.36 × 1 0 67 年の間にある(α = 4 / 3 \alpha=4/3 α = 4/3 なら 1.19 × 10 67 1.19\times10^{67} 1.19 × 1 0 67 年)。4次元の実際の放射では粒子の種類と灰色体因子で α \alpha α が決まり、t e v t_{\mathrm{ev}} t ev の係数も黒体の見積もりから変わるので、ここでの数値は桁を見るためのものである。
近似の裏付け
型 C(閉じる) | 小さいもの 放射の場のエントロピーを熱的な流れ(灰色体因子 1・1+1 次元)で置き換える(小さいパラメータなし) | 証明 C 型=内部の評価なし | 行き先 近似の数理 第9章
1 G. Penington (2020), Journal of High Energy Physics 2020 (09), 002(arXiv 版は 2019 年)。
2 A. Almheiri, N. Engelhardt, D. Marolf, H. Maxfield (2019), Journal of High Energy Physics 2019 (12), 063。
3 A. Almheiri, R. Mahajan, J. Maldacena, Y. Zhao (2020), Journal of High Energy Physics 2020 (03), 149。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com