Partner-mode overlap as a symplectic-invariant measure of correlations in Gaussian quantum field theories

問題の所在

量子場理論（QFT）におけるエンタングルメントと相関を定量化することは、無限の自由度と、局所的な部分系へのヒルベルト空間の好ましいテンソル積分解の欠如により、大きな課題を伴う。ガウス状態（第1および第2モーメントによって特徴付けられる）は、連続変数系に対して扱いやすい枠組みを提供するが、局在化したモード間の相関やエンタングルメントを特定するための既存の手法は、明確な幾何学的解釈を欠いていたり、特定の基底の選択に依存していたりすることが多い。

QFTにおける主要な直感の一つは、「局在化したモードの『純化パートナー（purification partner）』の空間的サポートは、そのモードが場の他の部分と持つ相関やエンタングルメントがどこに位置しているかを符号化している」というものである。しかし、この直感は、厳密で定量的、かつ基底に依存しない定式化がなされていなかった。具体的には、モード間の幾何学的な重なりをエンタングルメントの状態と直接結びつける、シンプレクティック不変な尺度が必要とされていた。特に、エンタングルメントが通常弱い、互いに重なり合わない空間領域における局在モードに対してである。

手法

著者らは、複素化位相空間およびガウス状態に関連する複素構造に基づいたフレームワークを開発している。このアプローチは、共分散行列から、座標に依存しない記述を提供する線形写像 $J$（複素構造）へと焦点を移すものである。

1. 複素位相空間の定式化:

   • 古典的な位相空間 $\Gamma$ は、複素ベクトル空間 $\Gamma_C$ へと拡張される。
   • ガウス状態は $\Gamma_C$ 上の線形写像 $J$ を定義する。純粋状態の場合、$J^2 = -I$（複素構造）であり、混合状態の場合、$J^2 < -I$（制限された複素構造）となる。
   • 部分系はシンプレクティック部分空間によって定義される。部分系 $A$ の「パートナーモード」$A_p$ は、幾何学的に $\Gamma_{A_p} = \Pi_A^\perp (J \Gamma_A)$ という部分空間として定義される。ここで $\Pi_A^\perp$ は $A$ のシンプレクティック直交補空間への射影である。このパートナーは、$A$ とシステム全体との間のあらゆる相関を捉える。

2. 対称的重なり ($D_{sym}$) の定義:

   • 著者らは、モード $X$ と $Y$ の間の幾何学的重なり $D_{XY}$ を、一方のモードの基底ベクトルを他方の部分空間へ射影した際のシンプレクティックノルムとして定義する。
   • 2つの独立したモード $A$ と $B$ の間の相関を定量化するために、彼らは対称的重なりを導入する：
     $$D_{sym} := D_{A_p B} + D_{B_p A}$$
     これは、モード $B$ とモード $A$ のパートナーとの重なり、およびモード $A$ とモード $B$ のパートナーとの重なの合計を測定する。
   • $D_{sym}$ は局所的なシンプレクティック変換（局所ユニタリ変換）の下で不変であることが証明されており、シンプレクティック不変量 ($\det J_A, \det J_B, \det J_C$) を用いて明示的に表現される。

3. QFTへの拡張:

   • この定式化は、コーシー超曲面上での塗抹された場（smeared fields）として場モードを扱うことで、量子場へと拡張される。無限次元の位相空間は、クライン＝ゴルドン積を用いて扱われる。
   • 任意の2モード部分系の簡約状態を計算することで、関連する複素構造行列が決定される。

主な貢献と結果

1. 必要十分なエンタングルメント判定条件:
本論文は、$D_{sym}$ を用いた2モード・ガウス・エンタングルメントの必要十分条件を導出している。

• 定理: モード $A$ と $B$ がエンタングルしているための必要十分条件は、$D_{sym} > D_c$ である。ここで $D_c$ は、個々のモードおよび結合系（$A, B$）の純度によって決定される臨界閾値である。
• この結果は、「エンタングルメントはパートナーの空間的サポートに符号化されている」という直感を、強固な定量的基盤の上に置くものである。これは、エンタングルメントには単にモードとそのパートナーの間の幾何学的重なりだけでなく、系の混合度（エンタングルメント・モノガミーを反映する）によって規定される閾値を超える重なりが必要であることを示している。

2. 相関の幾何学的解釈:

• $D_{sym}$ は、相関がどのように分布しているかを直接的な幾何学的特徴として提供する。もし局在化したモードのパートナーが特定の領域に高度に局在しているならば、そのモードの相関はその領域に主に符号化されている。
• この尺度は、以前に提案された相関尺度を対称化したものであり、モード $A$ と $B$ の入れ替えに対して不変となるよう設計されている。

3. 弱エンタングルメントにおける対数ネガティビティとの関係:

• （QFTにおける局在モードのような）弱エンタングルメントの領域において、著者らは対数ネガティビティ ($E_N$) が、対称的重らりと閾値の差に線形比例することを示す：
  $$E_N \approx w(\Delta) (D_{sym} - D_c)$$
  ここで $w(\Delta)$ は部分系の純度に依存する正の係数である。
• これにより、$D_{sym} - D_c$ がエンタングルメントの有用なプロキシ（代理指標）であることが確立される。

4. 数値的例証（ボール・シェル・モデル）:

• 本フレームワークは、ミンコフスキー時空における質量を持つスカラー場に適用される。
• 設定: モード $A$ は半径 $R_A$ の球内にサポートされ、モード $B$ は同心円状の球殻内にサポートされる。
• 知見:
  • ボール・モード（$A$）の純化パートナーは、非コンパクトなサポートを持ち、$1/r^2$ および $1/r^4$ の冪乗則に従って減衰することが判明した。これはレー・シュリッガーの定理と一致する。
  • 数値計算により、$D_{sym} > D_c$ であるとき、対数ネガティビティが正確に非ゼロになることが確認された。
  • エンタングルメントは、場の質量および半径方向の距離が増大するにつれて減少する。また、線形近似 $E_N \approx w(\Delta)(D_{sym} - D_c)$ は、弱エンタングルメントにおいて正確に成立する。

意義と主張

著者らは、本研究が以下の点において貢献すると主張している：

• 直感の定式化: 「純化パートナーの空間的構造がエンタングルメントの空間分布を明らかにする」という考えに対し、厳密で定量的な定義を与えた。
• 幾何学とエンタングルメントの統合: モード（パートナー経由）の幾何学的重なりを、エンタングルメントの代数的条件に直接結びつけ、多体系およびQFTにおけるエンタングルメントへの新しい視点を提供した。
• 実用的なツールの提供: $D_{sym}$ は（2つのモードの簡約状態のみを必要とするため）計算量的に容易にアクセス可能であり、特にQFTで一般的な弱相関領域における効果的なエンタングルメントの指標として機能する。
• 複素位相空間手法の推進: 相関を分析するための強力かつ基底に依存しないツールとして、複素構造とシンプレクティック不変量の使用を推奨しており、このアプローチが局所ユニタリ変換の下での不変性の検証を簡素化することを論じている。

著者らは、自身の研究の適用範囲について謙虚な姿勢を保っており、結果は量子力学系と量子場の両方に適用可能であり、主要な貢献は新しい実験プロトコルの提案ではなく、理論的フレームワークとその具体的な例による検証であるとしている。