Moments and saddles of heavy CFT correlators

技術要約：重いCFT相関関数のモーメントとサドル

問題提起
コンフォーマル・ブートストラップ・プログラムは、演算子積展開（OPE）が少数の低次演算子によって支配される「軽い」共形場理論（CFT）の制約において、大きな成功を収めてきた。しかし、「重い」演算子（スケーリング次元 $\Delta_\phi \gg d-2/2$ を持つもの）を含む相関関数は、標準的な数値的手法では依然として捉えにくい。重い極限において、OPEは同程度の大きなスケーリング次元を持つ膨大な数の交換演算子によって支配されるため、パラメータ空間が大きすぎて効果的な打ち切りができず、半定値計画法（SDP）による極値関数が収束しにくくなる。さらに、重い重い重い重い（heavy-heavy-heavy-heavy）相関関数のホログラフィックな記述は、重い・軽い（heavy-light）系で用いられるプローブ近似とは異なり、演算子がバルク幾何にバックリアクトするため困難である。本論文は、離散的なスペクトルデータに頼ることなく、重いスカラー相関関数のOPEデータの特徴付けを行い、高次元演算子の分布を理解するという課題に取り組むものである。

手法
著者らは、OPE分解を古典的なモーメント問題として扱うことで、重いCFT相関関数の研究を再構成している。核心となる手法は、主に以下の3つの要素からなる。

1. 主系列演算子（Principal Series Operators）： 著者らは、$d=1, 2, 4$ におけるリーマン・リウヴィル型の分数階微分演算子（$\Omega_\pm$）と、一般次元における漸近的演算子（$\tilde{\Omega}_\pm$）を構成する。これらの演算子は、コンフォーマル・ブロックからスケーリング次元 $\Delta$ とスピン・カシミール $J^2 \equiv \ell(\ell+d-2)$ の累乗を抽出する。これらを4点相関関数に適用することで、$\Delta^m J^n_2$ で重み付けされたOPE測度のグローバル平均（モーメント）を生成する。
2. モーメント問題の定式化： OPE測度 $\mu(\Delta, J^2)$ は正の分布として扱われる。著者らは、二重モーメントの列 $\nu_{m,n}$ がスティルチェス・決定体（Stieltjes determinant）を構成すること、すなわち、無限のモーメントの列が基礎となるOPE測度を一意に決定することを証明する。
3. 制約と境界： クロッシング対称性（具体的には対角自己双対点 $z=\bar{z}=1/2$ 周りの展開）とユニタリティ（OPE係数の正値性）を用いて、著者らはこれらのモーメント間の関係を導出する。重い極限（$\Delta_\phi \to \infty$）において、彼らは漸近的コンフォーマル・ブロックを利用して、主要項および次項の制約を導出する。これらの制約は、イェンセンの不等式およびハンケル行列の正定値性と組み合わされ、モーメントに対する厳密な両側境界を確立する。

主な貢献と結果

• 重い極限におけるモーメント境界： 著者らは、正規化されたスケーリング次元のモーメント $\nu_n/\nu_0$ に対する両側境界を導出する。重い極限において、これらのモーメントは以下のように抑えられる：
  $$2^{n/2} \leq \frac{\nu_n}{\nu_0} \Delta_\phi^{-n} + O(\Delta_\phi^{-1}) \leq 2^{3n/2-1}$$
  また、スケーリング次元とスピンの共分散に関する境界も導出している：
  $$0 \leq \frac{\text{Cov}(\Delta, J^2)}{\Delta_\phi^2} + O(\Delta_\phi^{-1}) \leq \frac{d-1}{\sqrt{2}}$$
  これらの境界は、あらゆるユニタリーかつクロッシング対称な重い相関関数が収まるべき「モーメント・コーン」を定義する。

• サドル点解と一般化自由場（GFF）： これらの境界を飽和させるモーメント列は、クロッシング方程式の「サドル点」解に対応する。著者らは、これらの極値解を一般化自由場（GFF）理論における相関関数の特定の極限と特定している：

  • 最大境界は、$\Delta_\phi \to \infty$ の極限における $N=1$ のGFF相関関数によって飽和され、これは $\Delta \sim 2\sqrt{2}\Delta_\phi$ にサドルを持つ分布に対応する。
  • 最小境界は、$G_N = \langle \phi^N \phi^N \phi^N \phi^N \rangle$ 相関関数の $N \to \infty$ 極限によって飽和され、そこでは演算子の族が $\Delta \sim \sqrt{2}\Delta_\phi$ における単一の集団的サドルへと合体する。
  • 有限の $N$ に対して、OPE分布は $N$ 個のサドルの和によって近似される。各サドルは、固定された長さ（基本場の数）を持つ演算子の族を表す「高スピン（HS）」コンフォーマル・ブロックに関連付けられている。

• ガウス化と重み補間関数（WIFs）： 中心的な発見は、重い極限において、これらのサドル周囲のOPE分布がガウス分布になることである。著者らは、GFF（および摂動的に相互作用する理論）における演算子の正確なOPE重みが、最初の数個のモーメントから導かれるガウス測度によって一様に近似されることを示す。彼らは「重み補間関数（WIFs）」を導入する。これは、最初の3つのモーメント（正規化、平均、分散）から構成されるガウス関数であり、スケーリング次元の連続関数として正確なOPE係数を予測するものである。

• バルク相互作用： 著者らは、この枠組みをバルクの接触相互作用によって摂動を受けたホログラフィック相関関数に適用する。彼らは、相互作用があっても、重い極限におけるサドルの「ガウス化」が持続することを示す。相互作用はモーメントとサドルの位置をシフトさせるが、分布はガウス型WIFによって良好に近似され続け、相互作用するダブルツイスト演算子のOPE係数の定量的な予測を可能にする。

意義
本論文は、このアプローチが重いCFTデータの「粗視化された」記述を提供し、標準的なブートストラップ法では計算量的に実行不可能な個々の高次元演算子の解像を回避することを主張している。OPEをモーメント問題に写像することで、著者らは以下を実現している：

1. 重い演算子の集団的振る舞いに関する厳密かつ解析的な境界を確立した。これは、既存の幾何学的境界（ある窓の中に演算子の存在を証明するもの）を補完するものであり、演算子がその窓内の特定の分布内に「クラスター化」しなければならないことを証明している。
2. 重い相関関数の複雑なスペクトルが少数の統計的パラメータ（モーメント）によって支配されていること、具体的には、GFFおよび相互作用理論における演算子の分布が、重い極限において実質的にガウス分布であることを示した。
3. 低次のモーメントを用いて重い演算子の完全なOPE係数スペクトルを再構成する予測ツール（WIFs）を提供した。これは、重い状態がバルク内のブラックホールや拡張物体に対応する量子重力双対の研究における新しい道を開くものである。

著者らは、この粗視化された記述において個々の演算子の正確な位置は失われるものの、この手法は高次元スペクトルがほぼ高密度になる相関関数に対して特に強力であり、そのような領域における非普遍的なデータを予測するための「最良の方法」を提供すると述べている。