A sharp bound on spacetime distance from quantum entanglement

技術要約：量子もつれから時空距離への鋭い境界（Sharp Bound）

問題提起
リュウ・タカヤナギ（RT）公式およびその量子極値曲面（QES）への拡張は、境界のエンタングルメント・エントロピーとバルクの極値曲面の面積との間の精密な対応関係を確立したが、境界の相関とバルクの点対点の測地線距離との間の対応する定量的な関係は、依然として解明されていない。エントロピー・面積関係は極値曲面の面積を制約するが、点間の距離を本質的に固定するものではない。その結果、「エンタングルメントが幾何学を構築する」というパラダイムにおいて、接続されたバルク幾何学を支えるためにどの程度の境界相関が必要なのか、あるいは相関が減少するにつれて空間的分離がどのように増大するのかは不明である。本論文は、境界の相互情報量によってバルクの測地線距離を制限する、厳密で非摂動的な不等式を導出することにより、この空白を埋めるものである。

手法
著者らは、以下の2つの制御された関係を組み合わせることで、「情報からの計量（Metric-from-Information; MfI）」境界を導出している：

1. 情報理論的入力： 量子ピンサー不等式（Quantum Pinsker inequality）を利用して、著者らは相互情報量 $I(A:B)$ が、分割された領域間の有界な観測量のすべての連結相関量を束縛することを確立した。具体的には、演算子ノルムが $\leq 1$ である観測量 $O_A, O_B$ について、連結相関量は $\sqrt{2 \ln 2 \, I(A:B)}$ によって抑えられる。
2. ホログラフィック入力： 半古典的なバルクにおいて、重いスカラー素因子 $O_\Delta$ の二点関数は、対応するバルク測地線の繰り込み長さ $L_{ren}$ によって支配され、$e^{-\Delta L_{ren}}$ の形で指数関数的に減衰する。

ホログラフィック符号部分空間（演算子が有界であり、平均除去されている領域）に観測量を限定し、ピンサー境界と重いプローブの対応関係を組み合わせることで、著者らは指数関数的減衰を反転させ、$I(A:B)$ を用いた $L_{ren}$ の下限を得た。

このペアワイズ（対）の境界をグローバルな連結性に拡張するために、著者らはマルチスケール反復法を用いている。彼らは様々な解像度で境界をタイル状に分割し、隣接グラフを構成した。グラフ上の経路に沿ってペアワイズの距離境界を連鎖させ、かつアライメント誤差（連続するエッジの推定値と単一の測地線との偏差）を制御することで、バルクの連結性に対するグローバルな障害（obstruction）を導出した。

主要な貢献と結果

• 計量からの情報境界（定理1）：
  著者らは、境界点 $x \in A$ と $y \in B$ の間の繰り込み済みのバルク測地線距離 $L_{ren}(x, y)$ に関する明示的な下限を導出した：
  $$L_{ren}(x, y) \geq \frac{1}{2\Delta} \ln \left( \frac{\kappa_\Delta^2 (1-\epsilon_\star)^2}{2 \ln 2 \, I(A:B)} \right)$$
  ここで、$\Delta$ はプローブのスケーリング次元、$\kappa_\Delta$ は較正定数、$\epsilon_\star$ は制御された半古典的誤差を表す。

  • 発散： 相互情報量 $I(A:B) \to 0$ となるにつれ、距離の下限は対数的に発散する。これは、境界の相関が消失すると、許容されるバルクの分離が無限大にならざるを得ないことを意味する。
  • 普遍性： 対数的なレート $(2\Delta)^{-1}$ は、コード部分空間内において普遍的であり、特定の重力または弦理論的な補正には依存しない（これらは有限の較正定数にのみ影響を与える）。

• グローバルな連結性の障害（定理2）：
  著者らは、このペアワイズの不等式をバルク直径に対するグローバルな制約へと昇格させた。もし任意の解像度スケールにおいて隣接する境界セル間の相互情報量が不足していれば、最小許容バルク直径は増大する。これにより、バルクの連結性は、単に選択されたサドル（鞍点）のトポロジカルな特徴ではなく、境界のマルチスケールな相関構造の定量的な特性であることが確立される。

• RT転移の解決：
  $AdS_5/CFT_4$ における平行なストリップに適用すると、この境界は古典的なRT相転移において矛盾を露呈させる。古典的には、離れたウェッジ（$s > s_c$）では相互情報量は消失するが、バルクの測地線距離は有限に留まる。MfI境界は、有限の距離を維持するためには、厳密に正の相互情報量が必要であることを規定している。

  • 含意： これは、古典的な転移の「量子的な平滑化（quantum smoothing）」を強制する。古典的な相互情報のゼロは、有限の半古典的距離を維持するために、厳密に正の量子寄与（QES補正によるもの）によって置き換えられなければならない。この境界により、QESによる平滑化は、単なる精緻化ではなく、一貫性のための条件へと昇座する。

• 漸近的スケーリング：
  大きな分離において、この境界は半古典的な測地線のスケーリング（$L_{ren} \sim 2 \ln s$）を正しく再現しており、相互情報量が代数的に減衰する場合、この境界が純粋なAdSにおいて漸近的に飽和することを示している。

• エントロピーとの区別：
  本論文は、部分系のエントロピー（例：ページ曲線）だけでは計量の連結性を決定するには不十分であることを明確にしている。状態は同一の部分系エントロピーを共有しつつも、異なる相互情報量構造を持つことが可能であり、それが異なる幾何学的連結性をもたらす。条件付き相互情報量は再構成のための補完的な基準として特定されるが、相互情報量は特に「短い距離」を禁止する役割を果たす。

意義
本論文は、「エンタングルメントが幾何学を構築する」という定性的なパラダイムを、計量のレベルにおける定量的な定理へと変貌させたと主張している。明示的な非摂動的不等式を提供することで、不十分な境界情報が短いバルク距離を支持するような、そのような半古典的幾何学を排除する。

その意義は、以下の3つの特徴にある：

1. 明示的な不等式： 桁違いの推定とは異なり、この境界は制御された誤差を伴う厳密な不等式であり、不十分な境界情報が短いバルク距離を支えるような半古典的幾何学を排除する。
2. グローバルな基準： ペアワイズの相関をグローバルな連結性の基準へと昇華させ、接続されたバルクには、あらゆる解像度において隣接する境界セル間の十分な相互情報量が必要であることを示している。
3. 量子的一貫性： 相互情報量が消失しても幾何学が接続されたままとなる古典的な相転移を解決するために、量子補正（QES）がいかに必要であるかを露呈させている。

著者らは、この枠組みが、いつ、どのように量子相関が接続された時空を生み出すのかという診断法を提供し、JT重力におけるアイランド転移、マルチ境界ワームホール、蒸発するブラックホールなどへの応用可能性を示唆しているが、これらは本論文内で導出された結果ではなく、今後の応用への方向性として提示されている。