Dark energy constraints in light of theoretical priors

問題の所在
ダークエネルギー（DE）および修正重力（MG）理論を制約しようとする現在の取り組みは、モデルに依存しない観測的境界を導き出すために、可能な理論の空間をパラメータ化することに依存していることが多い。一般的なアプローチには、2つの補完的な戦略がある。(I) 最小限の理論的仮定を用いた現象論的なパラメータ化（例：関数 $\mu(a,k)$ および $\Sigma(a,k)$ を用いてポアソン方程式を修正する）。(II) 有効場理論としてのダークエネルギー（EFTDE）やホルンデスキ・スカラー・テンソル理論に基づく、理論に裏付けられたアプローチである。

本論文が扱う中心的な問題は、パラメータ化の選択とそれに伴う理論的事前分布（prior）が、結果として得られる宇宙論的制約を大きく変え得るということである。理論的事前分布が現象論的な観測量にどのようにマッピングされるかについての明確な理解がなければ、動機付けられた物理理論を見逃したり、一貫した基礎理論から生じ得ない物理現象を現象論的な偏差として誤って解釈したりするリスクがある。具体的には、著者らは、時間依存性の関数形式から重力波（GW）物理学から導かれる制約に至るまで、異なる理論的事前分布が、動的なダークエネルギーの現象論（特に線形摂動）に対する制約にどのように影響するかを調査している。

手法
著者らは、包括的なデータセットに対して宇宙論パラメータを制約するために、MontePython コードを用いたマルコフ連鎖モンテカルロ（MCMC）解析を用いている。使用したデータセットは以下の通りである：

• CMB: Planck 2018 リクイックリティ（レンズ効果および低$\ell$のTT/EE/TEを含む）。
• 大規模構造 (LSS): eBOSS DR16 の赤方偏移空間歪み（RSD）とバリオン音響振動（BAO）の結合データ。
• 超新星: Pantheon+ リクイックリティ。
• 積分サックス・ヴォルフ効果 (ISW): CMB温度と銀河数密度の相互相関。

本研究では、主に2つのフレームワークを比較している：

1. 現象論的パラメータ化: $\mu(a)$ および $\Sigma(a)$（またはスリップパラメータ $\gamma(a)$）を用いて、ポアソン方程式への修正を直接モデリングする。著者らは、2つの具体的な時間依存性のアンサッツ（仮定）をテストしている：ダークエネルギー密度比に比例するもの（$\propto \Omega_{DE}$）と、スケール因子に比例するもの（$\propto a$）。
2. 理論に裏付けられた (EFTDE) パラメータ化: 線形摂動が時間依存関数 $\alpha_B(a)$（ブレイディング）および $\alpha_M(a)$（プランク質量のランニング）によって記述されるEFTDE/ホルンデスキの枠組みを利用する。著者らは、準静的近似（QSA）およびスケール独立な成長の仮定を用いて、これらの基礎となるパラメータを現象論的な $\mu$ および $\Sigma$ にマッピングしている。

解析では、以下を含む理論的事前分布を系統的に変化させている：

• 基礎となる理論関数の関数的な時間依存性（$\alpha_i \propto \Omega_{DE}$ 対 $\alpha_i \propto a$）。
• 重力波の速度に関する理論的制約（$\alpha_T = 0$ 対 自由な $\alpha_T$）。
• 重力波背景における安定性制約（$|\alpha_B + \alpha_M| \lesssim 10^{-2}$ を要求）。
• 背景膨張史（固定された $\Lambda$CDM 対 自由な CPL $w(a)$）と摂動ダイナミクスの相互作用。

主要な貢献および結果

• 事前分布から現象論へのマッピング: 著者らは、基礎となるEFTDEフレームワークから $\mu$ と $\Sigma$ を導出することが、現在値 $\{\mu_{today}, \Sigma_{today}\}$ に対して強力かつ非自明な理論的事前分布を課すことを示している。この事前分布は許容されるパラメータ空間を制限し、純粋に現象論的なフィットには存在しない相関を導入する。特筆すべきは、光速の重力波を持つモデルにおいて、勾配安定条件により $\mu_{today} < 1, \Sigma_{today} > 1$ の領域が完全に排除されることであり、これは制約のない現象論的モデルには存在しない制限である。
• 時間依存性の影響: $\propto \Omega_{DE}$ と $\propto a$ の時間依存性を比較すると、定性的な違いが明らかになる。$\propto a$ の依存性はより広い赤方偏移範囲に影響を及ぼし、高赤方偏移データの制約力の強さにより $\mu_{today}$ に対する制約を強める。さらに、$\propto a$ の依存性は、$\propto \Omega_{DE}$ の場合に見られる明確な分離とは異なり、$\{\mu_{today}, \Sigma_{today}\}$ 平面において、安定な領域と不安定な領域の間に顕著な重複を生じさせる。
• 事後分布 vs 事前分布の体積: EFTDE $\propto \Omega_{DE}$ モデルにおいて、直感に反する結果が見出された。理論的制約により事前分布の体積が最も小さい領域である $\mu_{today} > 1, \Sigma_{today} < 1$ が、観測による事後分布において最大の体積を持っている。これは、現在のデータ（集団形成とレンズ効果）が事前分布の体積効果を克服するのに十分な制約力を持ち、この特定の象限を支持していることを示している。
• 理論の識別可能性: 「ノー・スリップ」条件（$\mu = \Sigma$）を満たす特定のシフト対称な理論のクラスについて、著者らは、理論的に動機付けられた時間依存性が、現在の $\mu_{today}$ に対する制約に基づくと、素朴な現象論的パラメータ化と区別できないことを発見した。
• 重力波の事前分布:
  • $\alpha_T$ を変化させること（GW170817の制約を緩和すること）を許容すると、事後分布はわずかに広がり、本来は禁止されている $\mu_{today} < 1, \Sigma_{today} > 1$ の象限が開かれる。
  • 重力波背景における安定性を課すこと（実質的に $\alpha_B = -\alpha_M$）は、パラメータ空間を単一の関数的自由度に減少させる。これにより、$\{\mu_{today}, \Sigma_{today}\}$ に対する1次元の事後分布が得られ、制約が大幅に強化される。
• 背景と摂動の相互作用: 背景膨張史（$w_0, w_a$）を自由にした場合、現象論的モデルへの影響は無視できる程度であるが、逆は真ではない。EFTDEにおいては、摂動モデルの選択（特に勾配安定条件）が背景膨張に対して強い理論的事前分布を課す。単一の関数的自由度しか持たないモデル（例：シフト対称性またはGW安定性に動機付けられたモデル）は、データ（DESI DR2 BAOなど）が偏差を示唆している場合であっても、$\Lambda$CDMから大きく逸脱する膨張史を強く否定する。

意義
本論文は、ダークエネルギーに対する観測的制約を正しく解釈するためには、特定のパラメータ化が課す理論的事前分布を理解することが極めて重要であると主張している。著者らは、「モデルに依存しない」現象論的なフィットが、基礎となる物理理論（安定性や重力波伝播など）によって課される相関や境界を考慮しない場合、誤解を招く結果をもたらし得ることを示している。

本研究は以下の点を強調している：

1. 理論的事前分布は、修正重力が許容し得る領域を劇的に縮小させ、現象論的なフィットでは許容されてしまう領域を排除することができる。
2. 時間依存性のアンサッツの選択は単なる技術的な詳細ではなく、安定領域と不安定領域の関係、および結果としての観測的制約を定性的に変化させる。
3. EFTDEモデルにおいては、背景膨張と摂動ダイナミクスの間には強い結合が存在する。摂動に対する制約は、もしそれらの膨張史が安定条件に違反する場合、好ましいエキゾチックな背景膨張を事実上排除することになる。

著者らは、EuclidやDESIのような第4世代の大規模構造サーベイがよりタイトな制約を提供するようになるにつれ、これらの理論的事前分布を厳密に理解することが、真の新しい物理学とパラメータ化の選択によるアーティファクトを区別するために不可欠になると結論付けている。