Finite Spectral Recurrences for Loop Integrals in de Sitter and Anti-de Sitter Space

技術要約：de SitterおよびAnti-de Sitter空間におけるループ積分に対する有限スペクトル漸化式

問題提起
de Sitter (dS) および anti-de Sitter (AdS) 空間におけるファインマン積分は、現代の理論物理学において、特にインフレーション期の相関関数の計算や、量子場理論のホログラフィック構造の理解において、重大な課題となっている。曲がった幾何学におけるループ計算には長い歴史があるものの、多ループ・グラフの明示的な評価は依然として乏しい。平坦な空間では、Integration-by-Parts (IBP) 恒等式が、ループ積分をその隣接する積分へと関連付ける体系的な代数的枠組みを提供しているのに対し、曲がった空間における対応物は、歴史的に断片的なものに留まってきた。既存のアプローチには、宇宙論的相関関数の微分方程式、一般化されたIBP関係式、およびスペクトル簡約が含まれるが、任意の図形に適用可能な統一された局所的手法は欠如していた。

手法
著者らは、平坦な空間におけるIBP恒等式が果たす役割を、dSおよびAdSにおけるループ積分に対して行う手法を導入する。このアプローチは、両方の幾何学に共通する、2つの局所的かつ座標に依存しない構成要素に基づいている：

1. プロパゲーターの連続性代数 (Propagator Contiguity Algebra): 両方の空間におけるプロパゲーター（シュワルツ関数）は、不変変数 $z$ による乗算と微分が、内部線の質量をパラメータ化するスペクトル・ラベル ($q$) の整数シフトに関連付けられるシフト恒等式を満たしている。これにより、代数的な操作をスペクトル領域におけるシフトへと変換することが可能になる。
2. グリーン恒等式 (Green's Identity): ループ図形の被積分関数に適用されることで、この恒等式は接触項（タドポール）を生成し、異なるグラフ間を関連付ける。

核心となるメカニズムは、真空グラフにおけるスペクトル・ラベルに関する厳密な有限差分方程式を導出することである。外部脚が存在する場合、ある線をカットすることで、その線の平方スペクトル・ラベルが微分演算子（またはAdS境界における共形カシミール）へと変換され、関係式は微分差分方程式へと変容する。これらの方程式はラインごとに作用するため、この手法はあらゆる図形のトポロジーに適用可能である。

主な貢献と結果

• 真空グラフ（バナナ型およびウォーターメロン型）:

  • 本手法は、「バナナ」型図形（2点間を $N$ 本の内部線で結ぶグラフ）に対する結合された関係系の閉じた系をもたらす。2ループの「ウォーターメロン」（3本線のバナナ）については、著者らは1つのスペクトル・ラベルに関する単一の有限差分方程式を導出している。
  • 明示的な解: ウォーターメロン積分は、式(16)において閉じた形式で解かれている。この解は、紫外（UV）発散を明示的なガンマ因子の中に完全に孤立させ、残りの超幾何級数は $d=4$ の近傍で正則である。
  • 繰り込み: この明示的な分離により、4次元のUV極および定数項を直接抽出することが可能になる。著者らは、$d=4-2\epsilon$ における2ループ・ウォーターメロンの2位および1位の極の係数 ($C_{-2}, C_{-1}$) を提供しており、これにより、曲がった空間における $O(N)$ モデルの繰り込まれた2ループ有効ポテンシャルの計算を初めて可能にした。

• 任意のループ次数およびトポロジー:

  • このメカニズムは、任意の数の線を持つバナナ型図形へと一般化され、有限のスカラー漸化式を生成する。
  • 「メルセデス」型（6本線のグラフ）のようなより複雑なトポロジーの場合、本手法は単一の漸化式ではなく、有限の結合された質量シフト方程式の系を生成するが、ソース項は依然としてループ構造を保持している。

• 外部点を持つグラフ:

  • 外部プロパゲーターを付加することで、内部線のスペクトル・ラベルは外部座標に作用する微分演算子となる。
  • 2点関数: 1ループ2点関数は、差分微分方程式へと還元され、スペクトル反転（カルレン・レーマン展開）によって解かれる。
  • 4点関数: 1ループ4点関数は、ツリーレベルの図形へと還元される。スペクトル・ラベルは、外部のペアに作用する等長写像群の二次カシミールとなる。

• AdS境界およびウィッテン図形:

  • 外部点をAdS境界へと取ることで、微分演算子は共形カシミールへと変換される。導出された方程式は、文献[9]で見られるウィッテン図形（特に1ループ・バブル）の既知の差分方程式を再現しており、本手法が既存の結果を包含し、かつ一般化していることを示している。

意義と主張
論文は、平坦な空間におけるIBP恒等式が果たす役割と同様に、高次ループ計算のための体系的な出発点を提供するものであると主張している。

• 構成的威力: この手法は単なる整理術ではない。それは、以前は扱いにくかった積分（例：$d=4$ における2ループ・ウォーターメロン）に対して、明示的かつ閉じた形式の解を与える。
• 普遍性: 代数構造はdSとAdSで同一であり、異なるのは使用される具体的なプロパゲーターと、物理的な解を選択するためのグローバルな境界条件（表面項）のみである。
• 繰り込み: UV極をガンマ因子の中に孤立させることで、4次元のdSおよびAdS空間における繰り込まれた2ループ有効ポテンシャルへのアクセスを初めて可能にし、曲がった空間の摂動論を、平坦な空間で達成されていたレベルの解析的制御へと引き上げた。

著者らは、これらの恒等式が共通の収束領域内で成立し、解析接続を通じて拡張されることを強調しており、特定の繰り込みスキームを適用する場合にのみカウンター項を必要とする。本研究は、ループ積分を厳密な方程式によって関連付けられた「家族」へと整理する、局所的かつ座標に依存しないフレームワークを確立し、曲がった空間の計算を、ケースバイケースの積分から体系的な代数的問題へと移行させるものである。