Light-Ray Supersymmetry, BMS Algebras and the Averaged Null Energy Condition

技術要約：ライトレイ・スーズキ、BMS代数および平均ヌルエネルギー条件

問題提起
本論文は、ユニタリなスーズキ・ローレンツ共形場理論（SCFT）におけるライトレイ演算子の代数的構造を扱っている。ボゾン的なライトレイ演算子（ストレステンソルから構成されるもの）の代数は、一般化されたボンディ・メッツナー・サックス（BMS）代数として確立されているが、スーズキ電流から導かれるフェルミオン演算子を含めたこの構造を、一般的な相互作用理論に対して系統的に導出することは未解決であった。さらに、本論文は、情報理論的な議論や従来の証明で使用された共形ブートストラップ法を回避し、スーズキ性を枠組みとした平均ヌルエネルギー条件（ANEC）の直接的かつ代数的な導出を試みている。

手法
著者は、$d=3$ および $d=4$ のミンコフスキー時空において、共次元1のヌル超曲面（$x^+ = 0$）上に支持される並行なライトレイ演算子を構成している。この構成は、相互作用の強さに関する具体的な詳細（強結合の理論にも適用可能）を仮定することなく、微視的因果律、ユニタリ性、ローレンツ不変性、およびグローバル・スーズキ性という基本的な物理原理に基づいている。

1. 演算子の構成:

   • ボゾン的: ストレステンソル $T_{\mu\nu}$ を用いて、平均ヌルエネルギー演算子 $E$、ブースト重み付き演算子 $K$、および横方向運動量演算子 $N_i$ を定義する。
   • フェルミオン的: スーズキ電流 $J_\mu$ をヌル方向に積分することで、フェルミオン・ライトレイ演算子 $q$（および $d=4$ におけるその共役 $\tilde{q}$）を定義する。
   • R-対称性: 拡張スーズキ理論の場合、R-対称性電流を積分して、R電荷ライトレイ演算子 $r$ を定義する。

2. 代数的導出:

   • 著者は、これらの演算子間の次数付き交換関係（フェルミオンには反交換関係、ボゾンには交換関係）を決定する。
   • 微視的因果律を利用して、異なる横方向の点における演算子は（反）交換しなければならないことを論じ、代数を接触項（デルタ関数とその微分）に限定する。
   • 局所演算子のツイスト（$\tau = \Delta - s$）に関するユニタリ境界を用いて、高次微分の接触項を排除し、主要なデルタ関数項のみを残す。
   • 閉鎖性を仮定し（付録Eにおいて超共形代数の議論を通じて正当化）、ライトレイ演算子の交換子が局所演算子の積分として表されることを想定する。

3. 検証:

   • 導出された抽象的な代数は、正準量子化とライトコーン座標を用いることで、自由な質量レス・スーズキ・ウェス＝ズミノ理論（$d=3$ および $d=4$）を用いて明示的に検証される。
   • また、質量変形を用いた非共形スーズキ量子場理論へのANEC証明の一般化についても論じている。

主な貢献と結果

1. スーズキBMS代数:

   • $d=3$: 著者は $N$-拡張スーズキBMS$_3$ 代数を構成している。フェルミオン・ライトレイ演算子 $q^I$ が平均ヌルエネルギー演算子 $E$ の「平方根」として機能することを示している。この代数には、標準的なBMS生成子（スーズキ・トランスレーション $T$ およびスーズキ・ローテーション $R$）とフェルミオン生成子 $Q^I$ が含まれる。極めて重要な点として、$N$-拡張理論において、彼らは一貫して残りの代数と閉じる一連の無限のR-対称性生成子 $r^{IJ}$ を特定しており、これによりBMS$_3$ 構造が拡張されている。
   • $d=4$: 著者は $N$-拡張スーズキBMS$_4$ 代数を導出している。フェルミオン演算子 $q^I$ と $\tilde{q}^I$ がボゾン部門と閉じる一方で、局所的な（スメアリングされた）R-対称性ライトレイ演算子を含めると、標準的なホロモーフィック／アンチホロモーフィック・スメアリングの仮定の下では代数が閉じないことが判明した。その結果、標準的なスーズキBMS$_4$ 代数の一部として残るのはグローバルR-対称性生成子のみとなる。しかし、ホロモルフィシティの制約を緩和した一般化されたバージョンの代数を用いれば、局所的なR-対称性の塔を収容できることを示している。

2. スーズキによるANECの証明:

   • 本論文は、SCFTにおける平均ヌルエネルギー条件（ANEC）の単純かつ初等的な証明を提供している。
   • $\{q(y_1), q(y_2)\} = 2\delta(y_1 - y_2)E(y_2)$（およびその $d=4$ における類似物）という局所的な関係を確立することにより、平均ヌルエネルギー演算子 $E$ がエルミート演算子（スメアリングされたスーズキ電荷）の二乗であることを示している。
   • ユニタリな理論において、二乗されたエルミート演算子の期待値は非負であるため（$\langle \Psi | Q^\dagger Q | \Psi \rangle \geq 0$）、ANECの正値性は、局所的なライトレイ・スーズキ代数の存在から直接導かれる。この導出は、あらゆるユニタリなSCFTに対して成立する。

3. 非共形量子場理論への一般化:

   • 付録Cにおいて、著者は、共形不変性を破るもののスーズキ性を保持するような、関連質量項によって理論が変形された場合でも、ライトレイ・スーズキ代数が変形されないままであることを論じている。彼らは、ブースト重みおよび質量次元の計数を用いて、代数において新しい接触項が生成されることはないことを示し、ANECの証明が一般的な相互作用スーズキ量子場理論にまで拡張されることを示唆している。

意義と主張
本論文は、結合の強さに依存せず、あらゆるユニタリなSCFTに対してスーズキBMS代数の普遍的な導出を提供すると主張している。中心的な結果は、フェルミオン・ライトレイ演算子がANEC演算子の局所的な平方根であるという識別である。これは、グローバル・スーズキ性がハミルトニアンの正値性を保証するのと同様に、エネルギー条件に対する「ライトレイ・スーズキ」的な視点を提供するものである。

著者は、彼らの構成はグローバル・スーズキ性に依拠しているものの、完全な超共形代数（ボゾン的な場合と同様）の下では閉じないことを指摘しており、これは $\Lambda$-変形された $L_{\Lambda}w_{1+\infty}$ 代数のような無限次元代数との関連を示唆しているが、これは今後の課題として残している。また、彼らの構成は本質的にローレンツ的であり、ユークリッド共形場理論やド・ジッター時空には直ちに一般化できないことも強調しているが、これらは将来の探求への方向性として提示している。

本研究は、漸近的対称性、ライトレイ演算子、およびスーズキ性の相互作用を理解するための基礎的なステップであり、既存の情報理論的アプローチを補完する、ANECの堅牢な場理論的証明を提供するものである。