Entanglement Entropy in CFT and Modular Nuclearity

技術的要約：CFTにおけるエンタングルメント・エントロピーとモジュラー・ニュークリアリティ

問題の所在
代数的量子場理論（AQFT）の枠組みにおいて、局所的な観測可能量の代数は通常、タイプIIIフォン・ノイマン代数となる。その結果、通常の状態は密度行列によって記述できず、標準的なフォン・ノマン・エントロピーは局所領域に対して定義不可能である。この構造的特徴により、局所量子場理論（QFT）におけるエンタングルメントを研究するためには、代替的なエントロピー型の汎関数が必要となる。これまでの研究では、標準的な中間タイプI因子（canonical intermediate type I factor）のフォン・ノマン・エントロピーを通じて定義される「標準的エンタングルメント・エントロピー（canonical entanglement entropy, $E_C$）」の存在は確立されていたが、一般的な共形ネット（conformal nets）に対してこの量が有限であることは未解決の問いであった。さらに、エンタングルメント尺度の有限性と、システムの核性（nuclearity）の性質（具体的にはモジュラー・ニュークリアリティ）との関係を、自由フェルミ・ネットのような特定のモデルを超えて厳密に確立する必要があった。

手法
著者らは、メビウス共変ネット、モジュラー理論、および標準表現の理論に焦点を当てた、演算子代数的量子場理論のツールを用いる。手法は以下の3つの主要な段階で進行する：

1. 条件付き期待値の構成： 著者らは、標準表現の理論を利用して、標準的な中間タイプI因子の間の真空保存条件付き期待値を構成する。著者らは[32]の結果を拡張し、ツイストされた局所ネットのサブネット $\mathcal{B} \subseteq \mathcal{A}$ に対して、$\mathcal{A}$ の標準的な中間タイプI因子を $\mathcal{B}$ のものへと写す、一意な真空保存条件付き期待値 $\varepsilon: \mathcal{A} \to \mathcal{B}$ が存在することを証明する。これは、ジョーンズ射影とツイスト演算子の射影との可換性に依拠している。
2. 有限性の結果の拡張： 構成された条件付き期待値を用いることで、自由フェルミ・ネットからより広範なクラスの共形ネットへと、標準的エンタングルメント・エントロピーの有限性の証明を拡張する。これは、サブネットのエントロピーが親ネットのエントロピーによって抑えられることを示すプロセスを含む。
3. モジュラー・ニュークリアリティと上界： 特定のネットの構造に依存せずに一般の場合に対処するため、本論文ではエンタングルメント尺度とモジュラー $p$-核性（modular $p$-nuclearity）との関連を調査する。著者らは、モジュラー $p$-分割関数（$z_p$）を用いて真空状態を分離可能な汎関数へと分解するために、[23]の手法を適応させる。そして、システムが $0 < p < 1$ においてモジュラー $p$-核性条件を満たすと仮定した上で、相互情報量（$E_I$）および特別に設計された「中間エンタングルメント・エントロピー（$I(\psi)$）」の明示的な上界を導出する。

主要な貢献と結果

• 標準的エンタングルメント・エントロピーの有限性： 本論文は、広範な共形ネットに対して真空状態の標準的エンタングルメント・エントロピーが有限であることを確立している。具体的に、定理13は以下のケースでの有限性を証明している：

  • 自由フェルミ・ネット
  • $U(1)$-カレント・モデル
  • レベル $\ell \ge 1$ の任意の $LSU(n)$-共形ネット
  • 中心電荷 $c = \frac{\ell(n^2-1)}{\ell+n}$ （ここで $\ell \ge 1, n \ge 2$）を持つ任意のヴィラソロ・ネット
    この結果は、構成された条件付き期待値によるエントロピーの単調性（定理12）を利用することで、先行研究を一般化するものである。

• モジュラー・ニュークリアリティとの関係： 著者らは、局所QFTがモジュラー $p$-核性条件（$0 < p < 1$）を満たす場合、相互情報量が有限であることを証明する。定理23は、$p$-分割関数 $z_p$ を用いて、相互情報量 $E_I(\omega)$ の明示的な上界を以下のように与える：
  $$E_I(\omega) \le c_p z_p^p + \eta(z_p - 1) - \eta(z_p)$$
  ここで $c_p = \frac{1}{(1-p)e}$ および $\eta(t) = -t \ln t$ である。

• 中間エンタングルメント・エントロピー： 「中間エンタングルメント・エントロピー」と呼ばれる新しいエンタングルメント尺度が導入される（定義26）。定理27は、この尺度がモジュラー $p$-核性条件の下で有限であることを確立し、その上界を $z_p \ln z_p + c_p z_p^p$ と定める。

• 漸近挙動： セクション5において、本論文はこれらの結果を、因子的 $S$ 行列を持つ可積分QFTモデルに適用する。因果的に離れたウェッジ間の分裂距離 $s$ が大きいとき、モジュラー演算子はノルムが1に近づく $p$-核性を持つことが示される。その結果、相互情報量および中間エンタングルメント・エントロピーは、$s \to +\infty$ において $1/e$ という漸近的上界を満たす。さらに、本論文は、標準的エンタングルメント・エントロピーが[23]の結果と一致する面積則型の下限を満たすことにも言及している。

意義と主張
本論文は、自由場の特定の場合を超えて、共形場理論（CFT）におけるエンタングルメント・エントロピーの有限性に関する厳密な数学的基礎を提供することを主張している。エンタングルメント尺度の有限性をモジュラー・ニュークリアリティ条件に結びつけることで、本研究は、通常の熱力学的挙動（核性によって保証される）が、QFTにおける有限なエンタングルメント・エントロピーの根底にあるメカニズムであるという予想を支持している。

著者らは、リストされた共形ネットに対する標準的エンタングルメント・エントロピーの有限性の証明が、真空保存条件付き期待値の構成を通じて達成された[32]の一般化であることを明示している。彼らは、特定のネットに関する証明が（サブネットを介した）自由フェルミ・ネットの構造に依存していることを認めつつも、より広い期待としては、有限性はトレースクラス条件のような核性の性質に依存するというものである。本論文は、モジュラー・ニュークリアリティが有限なエンタングルメント・エントロピーを導くという予想を支持する結果ではあるものの、モデルに依存しない基盤の上での一般的な証明は依然として欠けており、今後の研究では、一般化された条件付き期待値と標準的エントロピーの有限性との関連性をさらに強化する必要がある可能性があると述べ、謙虚に結論づけている。