Schwinger-Keldysh Cosmological Cutting Rules

技術要約：シュヴィンガー・カルディッシュ・コスモロジカル・カッティング・ルール

問題提起
宇宙論的な相関関数は、インフレーション中に生成された原始揺らぎの統計的性質を記述するものであり、初期宇宙を理解する上で極めて重要である。シュヴィンガー・カルディッシュ（SK）または「in-in」形式は、これらの観測量を計算するための堅牢な枠組みを提供するが、入れ子状の時間積分が存在するため、技術的に困難な解析的表現を導くことが多い。波動関数の係数に対しては、ユニタリティに基づくカッティング・ルール（平坦な時空の散乱におけるカットコスキー・ルールに類似したもの）が既に導出されているが、宇宙論的な観測量（in-in 相関関数）に対して、SK パス積分形式を用いて直接的にこれらのルールを導出し、適用することは、依然として未解決の課題であった。ド・ジッター空間には漸近的な「out」状態が存在しないことが、標準的な S 行列のユニタリティ引数への直接的な適用を困難にしている。

手法
著者らは、宇宙論的相関関数のために、SK パス積分形式を用いてカッティング・ルールを直接導出している。その手法は以下の通りである：

1. 形式の設定： 時間順（$+$）および反時間順（$-$）の場を利用した SK 形式を用い、4 種類のバルク・トゥ・バルクおよびバルク・トゥ・バウンダリ・プロパゲーター（$G_{++}, G_{--}, G_{+-}, G_{-+}$）を定義する。
2. 不連続性演算子： 関数 $f$ に対し、インデックス集合 $I$ に含まれない運動量が（符号が反転するように）解析接続される場合に、関数とその複素共役を足し合わせる特定の不連続性演算子 $\text{disc}_{k_I}$ を定義する。この演算子は、エボリューション演算子のダイソン展開から導かれる宇宙論的ユニタリティ関係式の左辺を再現するように構成されている。
3. 図式的解析： ツリーレベルおよびループレベルの図に対する不連続性演算子の作用を系統的に分析する。著者らは、頂点の符号インデックスを含む図の特定の線形結合として定義される、新しい代数的対象であるバー付き相関関数（$\langle \dots \rangle'_a$）を導入する。この対象は、in-in 相関関数の不連続性が、下位次数の in-in 相関関数のみでは表現できないため（SK プロパゲーターの特定の構造を考慮するために、これらの補助的な組み合わせが必要となる）、必要とされるものである。
4. 一般化： 解析を単純な 3 次相互作用（$\phi^3$）から、空間および時間微分結合を持つ理論へ、さらに最終的には、$V$ 個の頂点を持つ任意のツリーレベルの線形チェーン・グラフおよび一般的な 1 ループ図へと拡張する。

主要な貢献と結果

• ツリーレベルのカッティング・ルールの導出： 本論文は、$s$ チャネルの 4 点ツリーレベル図の不連続性が、下位次数の多点図の積へと分解されることを明示的に示している。極めて重要な点は、この分解が、標準的な不連続性とバー付き相関関数の不連続性の積の和を伴うことである。著者らは、任意のツリーレベル線形チェーン・グラフに対する一般的な「カッティングのレシピ」を提供し、内部プロパゲーターをカットすると、図が、下位次数の相関関数またはバー付き相関関数の不連続性として扱われる連結な部分図へと分解されることを示している。
• 微分結合の取り扱い： 著者らは、空間微分（例：$(\partial_i \phi)^2 \phi$）や時間微分（例：$\phi (\partial_\tau \phi)^2$）を含む相互作用に対しても、カッティング・ルールが保持されることを検証している。プロパゲーターとその微分のパリティ関係により、不連続性操作が時間積分を因子分解し、SK 計算に特有の入れ子構造を取り除くことができることを示している。
• ループ補正への拡張： フレームワークは 1 ループ図へと拡張される。著者らは、$V$ 個の頂点を持つ 1 ループ相関関数の不連続性が、ツリーレベルの相関関数（通常の相関関数およびバー付き相関関数の両方）のみを用いて完全に表現できることを示している。これは、因子分解の性質がツリーレベルを超えても保持されることを裏付けており、平坦な時空間における一般化されたユニタリティの構造を反映している。
• バー付き相関関数： バー付き相関関数の形式的な定義と利用は、重要な技術的貢献である。これらの対象は、物理的な観測量自体の計算には現れないが、物理的な相関関数の不連続性を下位次数の項の積として表現するために必要な代数的構成要素として機能する。これらは、不連続性操作の下でのプロパゲーターの実部および虚部の分解から自然に生じるものである。

意義と主張
本論文は、in-in 相関関数の不連続性を計算するための系統的な図式的手法を提供することにより、宇宙論的な設定におけるユニタリティの理解を深めるものであると主張している。主な意義は、摂動計算の実際的な簡略化にある。一度カットが抽出されれば、入れ子状の時間積分が因子分解されるため、高次および高ループ計算の計算複雑性が劇的に減少する。

著者らは、本研究を、ユニタリティ制約を用いて高次の相関関数を低次のデータから再構成する「宇宙論的ブートストラップ」プログラムへの一歩として位置づけている。また、バー付き相関関数の代数的構造が、混合レトラーディッド／アドバンスト（r/a）ケルディッシュ基底におけるアドバンスト場と類似していることを指摘しており、これはさらなる調査を要するより深い構造的関連を示唆している。本研究は、様々な相互作用型およびループ次数に対してこれらのルールを明示的に検証し、インフレーション宇宙論への将来的な応用のための基礎を確立している。著者らは、非常に最近の独立した研究 [67] との概念的な重複が大きいことを認めつつ、彼らの分析が先行する修士論文 [68, 69] に基づいていることを述べている。