技術要約：インフレーション期における巨大なスピン場：ファインマン・ルールと相関関数の比較

問題提起

本論文は、宇宙論的コライダー物理学における根本的な問い、すなわち「インフレーション中の質量を持つスピン場の2つの異なる理論的記述が、宇宙論的観測量において区別可能なシグネチャをもたらすか？」という問題に取り組んでいる。

インフレーション中、インフラトンの背景値はド・ジッター・ブースト対称性を破る。その結果、質量を持つスピン場の揺らぎを記述するために、以下の2つの許容される枠組みが存在する：

1. 宇宙論的コライダー（CC）物理学： スピン場の自由理論はド・ジتر不変（完全な $SO(1,4)$ 群の表現）であると仮定される。インフラトンとの相互作用はブーストを破る。このアプローチはヒグチ境界（Higuchi bound）によって制約され、音速は1である必要がある。
2. 宇宙論的凝縮系物質（CCM）物理学： 自由理論はド・ジッター不変とは仮定されない。代わりに、場はFRW宇宙論の破れていない $SO(3)$ 対称性の既約表現として扱われる。このアプローチは、音速を低減させることを可能にし、ヒグチ境界を回避できる。

中心となる問いは、CCフレームワークで生成される相関関数（具体的にはバイスペクトラムおよび高次点関数）が、局所的な相互作用と同一の自由度を用いて、CCMフレームワークによって模倣（ミミック）され得るか、ということである。もしそれらが区別不能であるならば、より単純なCCMフレームワークを、宇宙論的コライダー信号を予測するために普遍的に使用できる可能性がある。

方法論

著者らは、ド・ジッター空間のポアンカレ・パッチ内において、両方のセットアップに対するファインマン・ルールを体系的に導出し、比較を行っている。

1. CCのためのファインマン・ルールの導出

著者らは、非動的なモードが完全なド・ジッター多重項を形成する必要があるCCセットアップにおける、波動関数係数および相関関数を計算するための手順を開発した。

• 分解： 場はヘリシティ・モードに分解される。スピン $S$ の場 $\Phi_{\mu_1...\mu_S}$ に対して、動的なモードはトレースレスな空間成分に含まれ、時間成分および混合成分は非動的である。
• 非動的モードの積分消去： モード関数からプロパゲーターを構築する代わりに、非動的モード（例：スピン1における $\Phi_0$）に関する運動方程式を、動的なモードとインフラトンを用いて解く。
• 有効プロパゲーター： 標準的なシュウィンガー・ケルドッシュ・プロパゲーターでは不十分であるという重要な発見があった。非動的モードの有効プロパゲーター（および、同じヘリシティを持つ異なる成分を接続する混合プロパゲーター）には、デルタ関数項（瞬時伝播に対応するもの）を含める必要がある。
  • スピン1の場合、時間成分 $\Phi_0$ の有効プロパゲーターは以下の補正を受ける：
    $$(G^{0}_{0,1 \to 0,1})_{\text{eff}} = G^{0}_{0,1} + \frac{i}{m^2 a^2} \delta(\eta - \eta')$$
  • 混合プロパゲラー（例：$\Phi_0$ と $\Phi_i$ を接続するもの）も導出される。これは、標準的な正準量子化において、異なる成分のヘリシティゼロ・モードの生成・消滅演算子が同一であるため必要となる。
• スピン2への拡張： この手順は質量を持つスピン2の場へと拡張され、モード間を関連付ける2次微分演算子に起因する、より複雑な構造を持つ有効プロパゲーターの構造を明らかにした。

2. 相関関数への変換

著者らはボルンの規則を用いて、導出した波動関数係数を宇宙論的相関関数（バイスペクトラム、トリスペクトラム）へと変換する。彼らは、波動関数の定義から生じる境界項が相関関数の計算においてキャンセルされることを示し、プロパゲーターにおけるデルタ関数補正が標準的なファインマン・ルールの主要な修正であることを示した。

3. 相関関数の比較

著者らは、得られた相関関数をCCおよびCCMのセットアップ間で比較している：

• 単一ヘリシティ交換： ヘリシティゼロ（$h=0$）モードのみが交換されるプロセスを分析する。これは、回転不変性により非ゼロ・ヘリシティ・モードをデカップルさせる線形混合頂点 $\pi \Phi$ によるツリーレベルのバイスペクトラムにおいて発生する。
• 多重ヘリシティ交換： 複数のヘリシティが同時に寄与するプロセス（例：トリスペクトラム）を分析する。

主な貢献と結果

1. CC物理学のための新しいファインマン・ルール

本論文は、CCセットアップにおける質量を持つスピン場のための、初の体系的なファインマン・ルールの導出を提供している。これらのルールは、以下の2つの点で標準的な期待とは異なる：

• 混合プロパゲーター： スピニング場の異なる成分（例：時間成分と空間成分）を含む頂点は、混合プロパゲーターを介して接続される。
• デルタ関数補正： 非動的モードを含むプロパゲーターは、デルタ関数項（$\delta(\eta - \eta')$）を含む。これらの項は、交換ダイアグラムと同等の結合定数の次数を持つ追加のコンタクト・ダイアグラムを生成する。これらのコンタクト項は、正しい摂動論的結果を得るために不可欠であり、質量を持つベクトル場の平坦空間における正準量子化で見られる非共変な項と類似している。

2. バイスペクトラムの不可識別性

著者らは、CCセットアップで計算されたバイスペクトラム（3点関数）が、CCM記述における局所的なダイアグラムの和によって正確に模倣できることを証明した。

• メカニズム： CCプロパゲーターにおけるデルタ関数項は、CCM記述における局所的なコンタクト相互作用へと写像される。CCにおける成分の混合から生じる運動量因子は、CCMにおける空間微分へと写像される。
• 普遍性： この対応関係は、相互作用がインフレーションの有効場理論（EFToI）の対称性によって制約されている場合でも保持される。
• 含意： バイスペクトラムは、現在CMBやLSSのデータにおいて質量を持つスピン場を検出するために探索されている主要な観測量であるため、CCでの計算による宇宙論的コライダー信号は普遍的である。つまり、基礎となる理論がド・ジッター不変であるか、あるいは回転不変であるかに依存しない。

3. 高次点相関関数の区別可能性

この対応関係は、トリスペクトラム（4点関数）およびその他の高次点相関関数においては崩壊する。

• 理由： 高次点関数は、複数のヘリシティ（例：$h=0$ と $h=\pm 1$ の同時交換）の交換を含む可能性がある。CCセットアップでは、これらのモードは単一のド・ジッター多重項の一部である。一方、CCMセットアップでは、これらは異なる音速を持つ独立した場となる。
• 非局所性： CCのトリスペクトラムをCCMの場を用いて模倣するためには、ヘリシティ・モードをデカップルするために（例：$\nabla^{-2}$ 演算子を用いて横波モードへ射影するような）非局所的な相互作用を構成する必要がある。著者らが局所的な相互作用に限定して比較を行ったため、CCとCCMのセットアップは高次点関数において異なるシグネチャを与える。

4. EFToIとの整合性

著者らは、CCとCCMの相互作用間のマッピングが、インフレーションの有効場理論（EFToI）の対称性を保存していることを検証した。CCの交換を模倣するために必要なCCMにおけるコンタクト項は、標準的なEFToIの構成要素（例：$\delta g_{00}$、外曲率）を用いて構築できる。

意義と主張

本論文は、バイスペクトラムにおける宇宙論的コライダー信号の探索が、質量を持つスピン場の具体的な理論的記述に対して頑健（ロバスト）であることを主張している。

• 実用的な有用性： CCMフレームワークは（混合プロパゲーターやデルタ関数補正を必要としないため）計算がより容易である。したがって、研究者は、基礎となる理論が完全なド・ジッター不変性を満たしているかどうかにかかわらず、任意の質量を持つスピン場のバイスペクトラム・シグネチャを予測するために、安全にCCM計算を使用できる。
• 限界： 著者らは、この普遍性が高次点相関関数には及ばないことを控えめに主張している。将来的にトリスペクトラムやそれ以上の高次点における非ガウス性が検出された場合、相互作用が局所的であるという条件下において、それらの信号の具体的な形状がCCとCCMの記述を区別できる可能性がある。
• 理論的洞察： 本研究は、インフレーションの摂動論における非動的モードの役割を明確にし、それらの積分が、平坦空間の正準量子化における現象と類似しながらも、膨張する背景下での特有の特徴を持つ瞬時伝播項（デルタ関数）を生じさせることを示している。

著者らは、CCとCCMのセットアップはラグランジアンおよび高次関数レベルでは異なるものの、インフラトンのバイスペクトラムというレベルにおいては実質的に区別不能であると結論付けている。