A Soft Theorem from vertex-like operators in BFSS Theory

技術要約：BFSS理論における頂点様演算子からのソフト定理

問題提起
BFSS行列理論（M(atrix)理論）は、離散ライトコーン量子化（DLCQ）の枠組みにおけるM理論の非摂動的な定義であると予想されている。整合性の検証は、主にD0-ブレーン束縛状態間の散乱振幅と11次元超重力の間の合致に焦点を当ててきたが、行列理論が11次元のローレンツ群の全容を再現するという決定的な証明はいまだ得られていない。近年のセレスティアル・ホログラフィー（天体ホログラフィー）の発展は、ソフト定理と漸近対称性の間に深い関連があることを示唆しており、これは、BFSSにおけるソフト定理の妥当性が、無限次元の漸近対称性群の存在と完全なローレンツ群の実現を裏付けることを意味している。先行研究 [14, 15] では、特定の運動学的仮定の下で、BFSSの振幅においてソフト定理が成立すべきであることが確立されており、[54, 55] では、質量ゼロ粒子の散乱に関する一般的な仮定に基づいた証明が与えられている。しかし、有効場理論（EFT）の範囲内で、特に頂点様演算子を用いて、D0-ブレーン相互作用からソフト定理を直接導出することは、完全には実証されていなかった。

手法
著者らは、BFSS理論の長距離極限における1ループでの、D0-ブレーン束縛状態の相互作用を記述する有効場理論の中で、ソフト定理を直接導出するアプローチをとっている。その手法は以下のステップを含む：

1. 有効場理論の定式化： 著者らは、BFSS理論の長距離極限において、重い自由度（量子ゆらぎ）を積分除去することによって得られる有効ラグランジアンを利用している。このラグランジアンは、2つの束縛状態（$N_i$ および $N_j$ 個のD0-ブレーンから構成される）の間の相互作用を記述し、$1/r^7$（主要項）および $1/r^8$（軌道角運動量とスピンの寄与を含む次項）のスケーリングを持つ項を含む。
2. 頂点様演算子： ターゲット空間における漸近的な超重力状態を表現するために、著者らは複合的な「頂点様」演算子を導入している。これらの演算子は、ワールドライン場 $X^I(t)$ とその速度に依存する。決定的なことに、1次元的な理論の性質上、これらの演算子は、標準的な高次元の頂点演算子とは異なる特徴として、2点関数における発散を正則化するための余弦（cosine）項を含んでいる。
3. 正則化と繰り込み： 理論は、UVカットオフ $\epsilon$ を持つ1次元量子場理論として扱われる。補助場 $\sigma$ とその運動項を導入することにより、著者らはこの理論が超繰り込み可能であることを示している。彼らは、すべてのファインマン図が収束すること、および、カットオフを除去した後に大 $N$ 極限を取ることで、カウンター項を必要とせずに理論がUV有限であることを示している。
4. 摂動計算： 散乱振幅は、頂点演算子の時間順序積を用いた経路積分形式を用いて計算される。著者らは相互作用項（ディソン展開）を展開し、ウィック縮約を実行する。彼らは、「内部」縮約（相互作用展開内）と「外部」縮約（相互作用展開と外部頂点演算子の間）を区別している。
5. ソフト極限解析： ソフト極限は、$N_s \sim O(1)$ かつ $N_j \sim N \to \infty$ というスケーリングによって定義される。ここで、$N_s$ はソフト状態のブレーン数、$N_j$ はハード状態のブレーン数である。著者らは、$N$ に関するべき数カウントを分析し、主要（$O(N)$）および次（$O(N^0)$）のソフト因子を孤立させている。

主な貢献と結果

• 主要ソフト定理 ($S^{(-1)}$):
  著者らは、有効ラグランジアンにおける $1/r^7$ 相互作用項を考慮することで、主要ソフト因子を導出している。頂点様演算子の相関関数を計算し、必要なウィック縮約を行うことにより、追加のソフト粒子因子を持つ振幅が因子化することを実証している。得られる主要ソフト因子は以下の通りである：
  $$S^{(-1)} = -2\sqrt{32\pi G_N} h_{IJ} \sum_j \eta_s \eta_j \frac{N_j}{N_s} \frac{v^I_{sj} v^J_{sj}}{v^2_{sj}}$$
  この式は、11次元超重力のソフト定理をD0-ブレーンの言語へと翻訳した予測の形式と一致しており、主要次の挙動を確認している。

• 次項ソフト定理 ($S^{(0)}$):
  次項の導出には、有効ラグランジアンにおける $1/r^8$ 項、具体的には軌道角運動量（$L_{ang}$）およびスピン（$L_{spin}$）の寄与を含める必要がある。

  • 軌道角運動量： 著者らは、$L_{ang}$ 項が速度に関する微分（$\partial_{v}$）およびブレーン数に関する微分（$\partial_N$）を伴う寄与を生み出すことを示している。
  • スピン： BFSSスピン生成子 $S^{IJ}_j$ を含む $L_{spin}$ 項は、ハード粒子に作用するスピン演算子に比例する項に寄与する。
    これらを組み合わせることで、次項ソフト因子が以下のように導出される：
    $$S^{(0)} = \frac{1}{4}\sqrt{32\pi G_N} \sum_j \eta_s \eta_j h_{IJ} \left( (v^I_{sj}\partial_{v^J_j} + v^J_{sj}\partial_{v^I_j}) - 4\frac{v^I_{sj}v^J_{sj}}{v^2_{sj}}v^K_{sj}\partial_{v^K_j} - 8\frac{N_j}{R}\frac{v^I_{sj}v^J_{sj}}{v^2_{sj}}\partial_{N_j/R} + 8i\frac{v^I_{sj}}{v^2_{sj}}S^{JK}_j v^K_j \right)$$
    この結果は、[14] で予測された次項ソフト因子を再現している。

• UV有限性：
  技術的な重要な貢献は、特定の補助場による正則化を用いた場合、当該有効理論が超繰り込み可能であるという証明である。著者らは様々な図の超限的な発散の次数を明示的に計算し、すべての潜在的な発散が次元正則化によって消失するか、あるいは存在しないことを示し、摂動展開の収束性を保証している。

意義と主張
本論文は、D0-ブレーン束縛状態を記述する有効場理論の範囲内で、BFSS理論のソフト定理に対する直接的なワールドラインによる証明を提供すると主張している。頂点様演算子が正しい量子数を持つとき、主要および次項の両方の次数においてソフトな因子化を示すことを実証することで、著者らは、有効理論が11次元超重力の期待されるソフトな挙動を再現することを確認している。

著者らは、この結果が、行列モデルの枠組み内における完全な11次元ローレンツ群の実現、および無限次元の漸近対称性群の存在に関するBFSS予想の妥当性を支持すると述べている。彼らは、自身の導出が、BFSSの双対性辞書を超重力の成果に適用することで得られた先行する予測 [14] と一致していることを強調している。

論文は将来的な含意については控えめであり、有効場理論の描像が超重力極限におけるこれらの対称性を確認する一方で、フルな行列記述（超重力極限から離れた領域）からどのようにソフト定理が出現するか、また他の場（グラビティーノ、3形式場）のソフト定理がどのように実現されるかといった未解決の問いが残っていることを指摘している。著者らは新しい実験的応用を提案しているのではなく、行列量子力学の観点からの完全な理解が、創発的な時空や対称性の理解に洞察を与える可能性があることを示唆している。