Dark energy constraints in light of theoretical priors

问题陈述
目前约束暗能量（DE）和修正引力（MG）理论的工作通常依赖于对可能理论空间的参数化，以导出模型无关的观测限制。一种常见的方法涉及两种互补的策略：(I) 具有最小理论假设的唯象参数化（例如，通过函数 $\mu(a,k)$ 和 $\Sigma(a,k)$ 修改泊松方程）；以及 (II) 基于有效场论暗能量（EFTDE）或 Horndeski 标量-张量理论的有理论依据的方法。

本文解决的核心问题是，参数化的选择及其相关的理论先验会显著改变最终得到的宇宙学约束。由于缺乏对理论先验如何映射到唯象观测量的清晰理解，存在着遗漏具有良好理论动机的物理理论，或者将唯象偏差错误解释为无法由一致底层理论产生的物理现象的风险。具体而言，作者研究了不同的理论先验——从时间依赖性的函数形式到源自引力波（GW）物理的约束——如何影响对动力学暗能量唯象性的约束，特别是线性扰动部分。

方法论
作者采用基于 MontePython 代码的马尔可夫链蒙特卡洛（MCMC）分析，针对一组全面的数据集来约束宇宙学参数：

• CMB： Planck 2018 似然函数（包括引力透镜以及低 $\ell$ 的 TT/EE/TE）。
• 大尺度结构（LSS）： eBOSS DR16 联合红移空间畸变（RSD）和重子声学振荡（BAO）数据。
• 超新星： Pantheon+ 似然函数。
• 集成萨克斯-沃尔夫效应（ISW）： CMB 温度与星系数量统计之间的互相关。

研究对比了两个主要的框架：

1. 唯象参数化： 直接对泊松方程的修改进行建模，使用 $\mu(a)$ 和 $\Sigma(a)$（或滑移参数 $\gamma(a)$）。作者测试了两种特定的时间依赖性拟设：正比于暗能量密度占比（$\propto \Omega_{DE}$）和正比于尺度因子（$\propto a$）。
2. 有理论依据的（EFTDE）参数化： 利用 EFTDE/Horndeski 框架，其中线性扰动由随时间变化的函数 $\alpha_B(a)$（缠绕，braiding）和 $\alpha_M(a)$（普朗克质量的演化）描述。作者使用准静态近似（QSA）和标度无关增长假设，将这些底层参数映射到唯象的 $\mu$ 和 $\Sigma$。

分析系统地改变了理论先验，包括：

• 底层理论函数的函数时间依赖性（$\alpha_i \propto \Omega_{DE}$ vs. $\alpha_i \propto a$）。
• 关于引力波速度的理论约束（$\alpha_T = 0$ vs. 自由 $\alpha_T$）。
• 引力波背景中的稳定性约束（要求 $|\alpha_B + \alpha_M| \lesssim 10^{-2}$）。
• 背景膨胀历史（固定 $\Lambda$CDM vs. 自由 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 \Omega_{DE}$ 情况下的清晰分离不同，$\propto a$ 依赖性导致在 $\{\mu_{today}, \Sigma_{today}\}$ 平面上，稳定空间与不稳定空间之间存在显著重叠。
• 后验与先验体积： 在 EFTDE $\propto \Omega_{DE}$ 模型中发现了一个反直觉的结果：由于理论约束，$\mu_{today} > 1, \Sigma_{today} < 1$ 区域具有最小的先验体积，但却拥有最大的观测后验体积。这表明当前的观测数据（聚集与透镜）具有足够的约束力，能够克服先验体积效应并倾向于这一特定象限。
• 理论的可区分性： 对于满足“无滑移”（no-slip）条件（$\mu = \Sigma$）的一类特定平移对称理论，作者发现，基于当前对 $\mu_{today}$ 的约束，有理论依据的时间依赖性与朴素的唯象参数化是无法区分的。
• 引力波先验：
  • 允许 $\alpha_T$ 变化（放宽 GW170817 约束）会略微拓宽后验分布，并开启了原本被禁止的 $\mu_{today} < 1, \Sigma_{today} > 1$ 象限。
  • 施加引力波背景中的稳定性（实际上是 $\alpha_B = -\alpha_M$）会将参数空间缩减为单一的函数自由度。这导致 $\{\mu_{today}, \Sigma_{today}\}$ 产生一维后验，并显著加强了约束。
• 背景与扰动的相互作用： 虽然放开背景膨胀历史（$w_0, w_a$）对唯象模型的约束影响微乎其微，但反之对于 EFTDE 则不然。扰动模型的选择（特别是梯度稳定性条件）对背景膨胀历史施加了强烈的理论先验。仅具有一个函数自由度的模型（例如平移对称或受引力波稳定性驱动的模型）强烈反对偏离 $\Lambda$CDM 的膨胀历史，即使数据（如 DESI DR2 BAO）暗示了此类偏差。

意义
本文认为，理解特定参数化所施加的理论先验对于正确解释暗能量的观测约束至关重要。作者证明，“模型无关”的唯象拟合如果不能考虑到由底层物理理论（如稳定性及引力波传播）所施加的相关性和边界，可能会产生误导性的结果。

本研究强调了：

1. 理论先验可以极大地缩小修正引力的允许参数空间，排除唯象拟合可能允许的区域。
2. 时间依赖性拟设的选择不仅仅是一个技术细节，它会定性地改变稳定与不稳定区域之间的关系以及最终的观测约束。
3. 在 EFTDE 模型中，背景膨胀与扰动动力学之间存在强耦合；如果这些历史违反了稳定性条件，那么对扰动的约束实际上可以排除那些具有奇异背景膨胀历史的模型。

作者总结道，随着第四阶段大规模结构调查（如 Euclid 和 DESI）提供更严密的约束，深入理解这些理论先验对于区分真实的物理新现象与参数化选择产生的伪影将至关重要。