Multi-particle correlators with higher KK modes I: a bootstrap approach

技術要約：高次KKモードを伴う多粒子相関関数 I：ブートストラップ・アプローチ

問題の所在
大規模な $N$ および大きな 't Hooft 結合定数における $\mathcal{N}=4$ 超対称ヤン＝ミルズ（SYM）理論のホログラフィック相関関数の研究は、伝統的に、Kaluza-Klein（KK）モードである $AdS_5 \times S^5$ 上の単一粒子半BPS演算子の4点関数に焦点を当ててきた。これらの相関関数は、超対称共形対称性と部分的な非繰り込み定理を用いてブートストラップによる計算に成功しているが、これらは共形場理論（CFT）の全スペクトルを捉えているわけではない。具体的には、BPSスペクトルには、次元が中心電荷のスケール（$\Delta \sim N^2$）でスケールする多粒子演算子（単一粒子場の束縛状態）が含まれる。これらの重い演算子は、バックリアクトした幾何学に対応しており、ホログラフィック領域を理解する上で極めて重要である。

本論文が取り組む課題は、一つの外部半BPSダブル粒子演算子と、三つの半BPS単一粒子演算子を含む、ツリーレベルの超重力4点相関関数を計算することである：
$$\langle [O_{r_1}O_{r_2}](z_1) O_s(z_2) O_p(z_3) O_q(z_4) \rangle$$
単一粒子多点相関関数（例えば[1]における5点ブートストラップ）を計算するための標準的な手法は、運動学的に複雑である。逆に、多粒子演算子に対する直接的なAdS有効作用の計算は煩雑である。著者らは、完全な5点ブートストラップの仕組みに依存することなく、CFTデータのみを用いてこれらの混合相関関数を計算する手法を開発することを目指している。そして、得られた結果を用いて、最近提唱された単一粒子5点相関関数の閉形式の公式をテストする。

手法：ダブル粒子・ブートストラップ
著者らは「ダブル粒子・ブートストラップ」アプローチを採用している。その核心となる論理は、演算子積展開（OPE）とダブル粒子演算子の既知のCFTデータに基づいている。

1. OPE解析とスケーリング： 著者らは相関関数の大 $N$ 展開を解析している。主要な非連結な寄与（$O(1/N)$）は、ダブル粒子およびトリプル粒子演算子の両方を含む。しかし、彼らは特定の「ウィンドウ」において、接続項の主要な次数（$O(1/N^3)$）においてダブル粒子演算子のみが寄与することを特定している。
2. CFTデータからの制約： このウィンドウ内において、相関関数の動力学的な部分は以下の要素によって制約される：
   • 長いダブル粒子演算子の異常次元（$\eta_D$）。
   • ダブル粒子演算子と単一粒子演算子との3点結合定数。
   • 縮退したダブル粒子演算子の混合。これは、既知の自由理論およびツリーレベルの単一粒子相関関数から構成されるグラム行列を介して扱われる。
3. アンザッツと一意性： 予測が接触ウィッテン・ダイアグラム（D関数）の和と適合するという観察に基づき、著者らは位置空間（および後にメリン空間）における簡約された相関関数 $H$ のアンザッツを構築する。OPEウィンドウから導出された制約（具体的には $\log U$ セクターおよび非 $\log U$ セクター）は、このアンザッツの係数を一意に決定するのに十分であり、実質的に問題を過剰決定している。
4. メリン空間定式化： 結果はメリン振幅へと翻訳される。著者らは、一つのダブル粒子演算子を持つ相関関数のメリン振幅を定義し、その極構造と平坦空間極限を分析する。
5. ダブル粒子極限テスト： 最後に、[1]で提唱された単一粒子5点相関関数の「ダブル粒子極限」を取ることにより、4点ブートストラップの結果を検証する。この極限は、R-対称性と時空の両方において二つの単一粒子演算子を近づける操作を含み、これにより5点関数をダブル粒子演算子を持つ4点関数へと射影する。

主な貢献と結果

• 明示的なブートストラップ結果： 本論文は、様々な電荷の族に対して、ツリーレベルの簡約された相関関数 $H_{[r_1 r_2] s p q}$ の明示的な閉形式の表現を提供している。
  • ケース $O_2^2$： $\langle O_2^2 O_2 O_p O_p \rangle$ の族に対して、任意の $p$ に対して有効なメリン空間における一般式（式3.74）を導出している。
  • 高次電荷： より高い極限性を持つ族（例：$\langle O_2^2 O_3 O_p O_{p+1} \rangle$）や、一般的なダブル粒子演算子（例：$\langle [O_3 O_2] O_2 O_p O_p \rangle$ および $\langle [O_2 O_4] O_2 O_p O_p \rangle$）へと結果を拡張している。
  • 一般式： $\langle O_r^2 O_2 O_p O_p \rangle$ に関する一般式が導出されており、それは $r$ の増加に伴い二次的に成長するシフトされた極の和を含む依存性を示している（式4.27）。
• メリン振幅の構造： 著者らは、これらの混合相関関数のメリン振幅が、シフトされた極を持つ有理関数の和であることを示している。単一粒子のツリーレベル振幅は、偶然的な10次元共形対称性（これにより単純な $1/((s+1)(t+1)(u+1))$ 構造を持つ）を示すが、混合相関関数は外部電荷に依存したより複雑な構造を持つ。
• 平坦空間極限： これらの振幅の平坦空間極限は、単一粒子のツリーレベルの極限と比較して、スケーリング変数 $\Lambda$ に対して1次のオーダーで劣形式（subleading）であることが示されている。この相殺は非自明であり、整合性のチェックとして機能する。
• 5点公式の検証： 本研究の主要な検証は、ダブル粒子・ブートストラップを通じて導出された4点相関関数と、[1]で提案された5点相関関数のダブル粒子極限との間の完全な一致である。これは、任意のKKレベルに対する5点公式の妥当性を裏付けるものである。

意義と主張
本論文は、複雑な図式的展開や、より高次の点数ブートストラップの制約を回避して、多粒子演算子を含むホログラフィック相関関数を計算するための、堅牢かつ独立した手法を提供すると主張している。

• 5点公式への証拠： 著者らは、自らの結果が、[1]で提案された閉形式の5点相関関数公式に対する「さらなる証拠」を提供すると述べている。この一致は、ダブル粒子・ブートストラップ・アプローチが、5点公式を導出するために用いられた因数分解に基づくアプローチとは異なるものであるため、「極めて非自明」であると記述されている。
• 新しい観測量： 本研究は、半BPS束縛状態を含む4点相関関数が、特にバックリアクトした幾何学に対応する重い演算子を探索するための自然な観測量であることを確立している。
• 限界と今後の方向性： 著者らは、現在のブートストラップ・アプローチがOPEがダブル粒子演算子で閉じていることに依存していることを控えめに指摘しており、これが二つの外部ダブル粒子演算子を持つ相関関数（関連する次数においてトリプル粒子混合が支配的になるケース）への直接的な適用を制限していることを認めている。彼らは、そのようなケースには「コヒーレント状態幾何学」の手法（[38]の伴随論文で議論されている）または現在のブートストラップの拡張が必要になる可能性があると示唆している。また、混合相関関数の単純な10次元生成関数は自明ではないことも強調している。なぜなら、多粒子演算子の10次元OPE構造は、単一粒子の場合よりも複雑だからである。

要約すれば、本論文は、多粒子演算子を含む新しいクラスの相関関数へとブートストラップ・プログラムを成功裏に拡張し、既存の高次点ホログラフィック公式に対する厳格なテストとして機能する明示的な結果を提供している。