The modular energy range of an interval in chiral conformal field theory

技術的要約：カイラル共形場理論における区間のモジュラー・エネルギー範囲

問題設定
本論文は、代数的な量子場理論における定量的な問いを扱っている。すなわち、有界な通常のエネルギーを持つ状態が与えられたとき、光線上の（ヌルな）区間に関連するモジュラー・エネルギーの正確な範囲はどのようなものか、という問いである。中心電荷 $c$ と長さ $R$ の区間 $I$ を持つカイラル共形場理論（CFT）において、著者らは平均エネルギー $\langle P \rangle \le E$ を持つ状態に対するモジュラー・ハミルトニアン $K_I$ の期待値の上限および下限を求めている。ビスコニャノ＝ウィックマンの定理は、モジュラー群が膨張（ダイレーション）として作用することを確立し、ボーチャーズの定理は、モジュラー・フローと並進の関係を関連付けているが、これらは構造的な恒等式である。本研究は、モジュラー・エネルギーを並進生成子 $P$ によって拘束する、明示的な演算子不等式を求めるものである。

手法
著者らは、光線上のメビウス共変な局所ネットの枠組みを用いている。その手法は、主に以下の3つのツールに基づいている。

1. メビウス表現論： 全直線上の完全なモジュラー・ハミルトニアンを、並進生成子と特殊共形生成子へと分解すること。
2. 量子エネルギー不等式（QEI）： FewsterとHollandsによって確立された鋭いQEIを利用すること。これは、スミアリング関数 $g$ の微分と中心電荷を用いて、スミアリングされたエネルギー密度 $\int g(v) \langle T(v) \rangle dv$ の下限を与える。
3. ルジャンドル変換の構造： 加法的な定数によって異なる一パラメータの重み関数を用いて最適化を行うこと。著者らは、最適化される状態のエネルギーが、この加法的シフトに対する境界の負の微分に正確に一致することを示し、これにより不等式を範囲に関する厳密な等式へと変える。

主要な貢献と結果

1. 上限（Supremum）
論文は、一側モジュラー・ハミルトニアン $K_I$ に関する厳密な演算子不等式を確立している：
$$K_I \le \frac{\pi R}{2} P + \frac{c}{6}$$
決定的なことに、著者らは係数 $\pi R/2$ も加法的定数 $c/6$ も改善できないことを示している。

• 係数の起源： $\pi R/2$ という項は、純粋にメビウス表現論から導かれる。全領域のモジュラー・ハミルトニアン（Proposition 1）については、補完的な重みが正の錐の中に位置する（特殊共形生成子の平行移動である）ため、加法的定数なしでこの不等式が成立する。
• 定数の起源： 加法的定数 $c/6$ は、区間 $I$ の端点で二次的な重みを切り詰めることによる正確な「代償」である。この切り詰めは特異性を導入するが、それはFewster-HollandsのQEIによって制御される。
• 厳密性： 平均エネルギー $E$ を持つ状態に対するモジュラー・エネルギーの最大値は次のように与えられる：
  $$M_{\max}(E, R) = \min_{\beta>0} \left\{ (1+\beta)\frac{\pi R}{2} E + \frac{c}{6} \left[ 1 - \sqrt{\beta} \arctan \frac{1}{\sqrt{\beta}} \right] \right\}$$
  最適化される状態は、モジュラーの重みがゼロになる区間の両端に、負のエネルギー密度を正確に配置する。

2. 下限（Infimum）
モジュラー・エネルギーの下限は、積 $RE$ の対数として求められる：
$$M_{\min}(E, R) \simeq -\frac{c}{12} \left[ \ln\left(\frac{24\pi RE}{c}\right) - 1 \right]$$
この結果は、区間の外側で正かつ一定である重み関数を用いて導出されており、これは、重みがシフトなしに端点でゼロになる場合に発生する対数的な発散を回避している。

3. 範囲と非対称性
モジュラー・エネルギーの範囲は非対称である：

• 上方では線形、下方では対数的： 上限は $E$ に対して線形にスケールするが、下限は対数的にスケールする。
• 厳密な非対称性： 範囲は上方の方が下方よりも厳密に広い。具体的には、$M_{\max} - |M_{\min}|$ は、すべての $RE > 0$ に対して $\frac{2}{5}\pi RE$ よりも厳密に大きい。この不等式は、スティルチェス置換を用いて分散の正値性に帰着させることで証明される。

4. 鋭いベッケンシュタイン・バウンド
相対エントロピーの正値性（$\Delta S_I \le \Delta \langle K_I \rangle$）と上限を組み合わせることで、著者らは鋭いベッケンシュタイン・バウンドを導出している：
$$\Delta S_I \le \frac{\pi R}{2} E + \frac{c}{6}$$
これは、元の形式のベッケンシュタイン不等式を、明示的な係数と加法的定数とともに回収するものである。

5. 複数の区間への一般化
等しい長さを持つ $n$ 個の互いに素な区間の場合、加法的定数は絡み合い点（端点）の数に対して線形にスケールする。定数は $nc/6$、あるいは絡み合い点あたり$c/12$ となる。これは、この定数が境界量（絡み合い点に関連するもの）であるという解釈を支持している。

意義と主張
著者らは、これらの結果が単なる境界ではなく**厳密（exact）**なものであると主張している。証明で使用された一パラメータの重み関数は、単なる技術的な手段ではなく、答え自体のルジャンドル構造を構成している。

• 新規性： 演算子不等式 $K_I \le \frac{\pi R}{2} P + \frac{c}{6}$ は、Fewster-Hollandsらによる先行研究の枠組みを継承しつつ、カイラルネットにおける並進生成子を用いた具体的な定量的境界を明示した点に新規性がある。
• 次元の特異性： 著者らは、加法的定数 $c/6$ の存在が二次元（カイラルCFT）に特有の性質であることを強調している。高次元では、不等式に必要な空間的スミアリングが、ここで用いられたような零平均QEIに対応するものを持ち得ず、定数は阻止される。
• 物理的解釈： これらの結果は、モジュラー・ハミルトニアンを区間に局在化させるための「コスト」が、量子エネルギー不等式によって供給される固定されたエネルギー・ペナルティ（$c/6$）であることを明らかにしており、これは区間の境界に負のエネルギーを集中させる状態によって飽和される。