Bekenstein's bound for wave packets

技術要約：波動束に対するベケンシュタイン境界

問題設定
本論文は、自由なスカラー量子場理論（QFT）の枠組みにおける、クライン-ゴルドン（Klein-Gordon）波動束に対するエントロピー・エネルギー境界の導出に取り組むものである。具体的には、半幅 $R$ の空間領域 $B$ 内に含まれる状態 $\Phi$ の局所エントロピー $S$ と、$\Phi$ の $B$ 内におけるエネルギー $E$ に関するベケンシュタインの不等式、$S \leq 2\pi R E$ を調査する。

主な動機は、質量がある場合における空間的な球のモジュラー・ハミルトニアンに関する明示的な記述が欠如していることにある。無質量の場合は時空の共形変換を介した幾何学的な作用に対応するが、質量がある場合はそうではない。Bostelmann、Cadamuro、および Minz による最近の数値解析は、モジュラー生成子の特定の振る舞いを示唆しているが、質量に依存しない厳密な解析的境界の確立は困難であった。さらに、本論文は、波動束が領域 $B$ 内に厳密に局在していない場合（すなわち、コーシー・データが境界を超えて広がっている場合）の境界への一般化を試みる。このような状況では、境界による寄与のために標準的な不等式が成立しなくなる。

手法
著者らは、ヒルベルト空間の標準部分空間の**局所的かつポアンカレ共変なネット（net）**の枠組みを採用している。このアプローチにより、第二量子化理論のフォン・ノイマン代数の全機構に依存することなく、一粒子ヒルベルト空間に焦点を当てた上で、エントロピーとモジュラー理論を厳密に取り扱うことが可能となる。

1. 標準部分空間とエントロピー： 標準部分空間 $H$ に対するベクトル $\Phi$ のエントロピー $S(\Phi|H)$ は、エントロピー演算子 $E_H = i P_H i \log \Delta_H$ を通じて定義される。ここで $\Delta_H$ はモジュラー演算子であり、$P_H$ は切断射影である。
2. 非局在状態のための変分アプローチ： 波動束 $\Phi = \langle f, g \rangle$ のコーシー・データ $(f, g)$ が $B$ 内に完全に支持されていない場合、著者らは変分問題を定式化する。彼らは $B$ の外部における「余剰」エネルギー寄与を表す汎関数 $I(u)$ を定義し、境界条件 $u|_{\partial B} = f|_{\partial B}$ のもとでこれを最小化する。
3. フェルミオンへの拡張： ディラック方程式に対する標準部分空間のネットを構成し、一粒子状態の相対エントロピーを解析することにより、解析をマヨラナ場（フェルミオンの場合）へと拡張する。
4. エントロピー・バランスとアン（ant）公式： 著者らは、一粒子ヒルベルト空間における波動束に特化した、エントロピー・バランス公式および「アン公式」（エントロピーの微分をエネルギーのインフィマムに関連付けるもの）のバージョンを導出する。これは、第二量子化されたフォン・ノイマン代数の設定における結果とは対照的なものである。

主要な貢献と結果

• 局在した波動束に対する一般化されたベケンシュタイン不等式：
  クライン-ゴルドン波動束のコーシー・データ $(f, g)$ が領域 $B$（半幅 $R$）に支持されている場合、以下の不等式が成立することを証明する：
  $$S(\Phi|B) \leq 2\pi R E(\Phi|B)$$
  ここで $E(\Phi|B) = \int_B T_{00}^\Phi(x) dx$ は、ストレス・エネルギー・テンソルによって定義されるエネルギーである。これは、標準部分空間のネットに対する一般的な境界（$-\log \Delta_{H(B)} \leq 2\pi R P$）の系として導かれる。

• モジュラー・ハミルトニアンの境界：
  本論文は、無質量および質量がある場合におけるモジュラー・ハミルトニアン生成子の非対角項 $L$ および $M$ に対する明示的な境界を示す。具体的には、演算子 $M$（無質量極限の放物関数に関連するもの）が、質量に依存しない境界 $M \leq R$（または正規化単位において $M \leq 1$）を満たすことを確立しており、これは最近の数値的研究の結果と一致している。

• 非局在状態に対する補正：
  波動束が $B$ 内に局在していない場合、標準的な不等式は成立しない。著者らは、修正された境界を導出する：
  $$S(\Phi|B) \leq 2\pi R E(\Phi|B) + \Gamma_\Phi$$
  ここで、$\Gamma_\Phi$ は境界 $\partial B$ への場の制限（具体的には $f|_{\partial B}$）にのみ依存する非負の定数である。$\Gamma_\Phi$ は、境界データを $B$ の外部へと拡張するエネルギーに関する変分問題のインフィマムとして定義される。もし場が境界上で消滅していれば $\Gamma_\Phi = 0$ となり、元の境界が回復される。

• フェルミオン的ベケンシュタイン境界：
  著者らは、マヨラナ場の一粒子状態に対するベケンシュタイン境界のアナログを確立する。コーシー・データが球 $B$ 内に支持されている状態 $\Psi$ について、$S(\omega_\Psi | \omega) \leq 2\pi R E(\Psi|B)$ が成り立つことを示す。この証明は、ビスニョ・ウィッヒマン（Bisognano-Wichmann）の定理と、特定の境界項を消失させるマヨラナ条件の特性に基づいている。

• エントロピー・バランスとアン公式：
  論文は、波動束に対するエントロピー・バランス公式を直接導出している：
  $$S(x) - S(y) = \bar{S}(x) - \bar{S}(y) + 2\pi(y_1 - x_1)(\Phi, P\Phi) + 2\pi(y_0 - x_0)(\Phi, P_1\Phi)$$
  さらに、波動束に対する「アン公式」を証明する：
  $$-\partial_a S(a) = 2\pi \inf_{\Psi \sim_a \Phi} (\Psi, P_+ \Psi)$$
  ここで、インフィマムは代数の交換子に関して $\Phi$ と等価なベクトル $\Psi$ について取られる。著者らは、これが第二量子化されたネットにおける対応する結果よりも強い主張であると指摘している。なぜなら、それはインフィマムを全状態集合ではなく、コヒーレント状態（一粒子状態）に限定しているからである。

意義と主張
本論文は、質量のある非幾何学的な設定へと、無質量の幾何学的なケースを超えて、QFTにおけるベケンシュタイン境界の厳密な解析的基礎を提供することを主張している。標準部分空間の理論を利用することで、著者らは、質量を持つ場に対する明示的なモジュラー・ハミルトニアンを見出すという困難を回避し、代わりに一般的に成立する演算子不等式を導き出している。

本研究の意義は以下の通りである：

1. 数値的観察の検証： モジュラー・ハミルトニアンに関する最近の数値的研究で見られた、質量に依存しない境界を解析的に裏付けている。
2. 非局在性の取り扱い： 状態が厳密に局在していない場合に、エントロピー境界がどのように修正されるかを精密な数学的定式化によって提示しており、境界データが補正項の唯一の源であることを特定している。
3. 統一的枠組み： これらの境界が、基礎となる標準部分空間のネットの特性であり、ボゾンおよびフェルミオンの一粒子セクターの両方に適用可能であることを示しており、一般的なQFT代数的設定と比較して、より強力なアン公式を提供している。

著者らは、フェルミオンへの拡張に関して謙虚な姿勢を維持している。境界は一粒子状態については成立するものの、異なる支持特性を持つ状態の重ね合わせに対する相対モジュラー演算子の計算の困難さにより、非局在したフェルミオン状態への結果の拡張には障害があることを述べている。同様に、$\Gamma_\Phi$ に関する変分問題の明示的な解については、本論文の範囲外であり、その存在と性質のみが確立されているとしている。