KiDS-Legacy: Constraints on Horndeski gravity from weak lensing combined with galaxy clustering and cosmic microwave background anisotropies

这是一份关于论文《KiDS-Legacy: Constraints on Horndeski gravity from weak lensing combined with galaxy clustering and cosmic microwave background anisotropies》（KiDS-Legacy：结合星系成团性和宇宙微波背景各向异性对弱引力透镜约束霍恩代斯基引力）的详细技术总结。

1. 研究背景与问题 (Problem)

• $\Lambda$CDM 模型的挑战：尽管 $\Lambda$CDM 模型在解释宇宙学观测方面非常成功，但仍面临理论（如宇宙学常数问题）和观测（如早期与晚期宇宙膨胀率之间的 $H_0$ 张力、$S_8$ 张力）的挑战。
• 修改引力理论：霍恩代斯基（Horndeski）引力理论是最一般的四维标量 - 张量理论，能够涵盖 $f(R)$ 引力、Brans-Dicke 理论、Galileons 和 Quintessence 等多种模型。它通过引入额外的标量自由度来驱动宇宙加速膨胀并影响结构增长。
• 稳定性与参数化难题：在霍恩代斯基理论中，许多参数化方案（如基于 $\alpha_i(t)$ 函数的有效场论 EFT 方法）会导致梯度不稳定性或鬼不稳定性（ghost instabilities），使得在马尔可夫链蒙特卡洛（MCMC）分析中采样效率极低，因为大部分参数空间是不物理的。
• 数据一致性：Kilo-Degree Survey (KiDS) 的最新数据（KiDS-Legacy）显示弱引力透镜结果与 Planck CMB 数据高度一致，解决了之前的 $S_8$ 张力问题。这为联合分析提供了基础，但也提出了如何在更广泛的修改引力框架下检验这些一致性的问题。

2. 方法论 (Methodology)

本研究采用了一种内在稳定的参数化基础来约束霍恩代斯基引力，这是该方法论的核心创新点。

• 数据组合：
  • KiDS-Legacy：第五次也是最后一次数据发布，包含弱引力透镜（宇宙剪切）数据。
  • DESI & eBOSS：分别提供重子声学振荡（BAO）和红移空间畸变（RSD）数据，用于约束背景宇宙学参数和结构增长。
  • Planck：CMB 温度、极化及透镜数据，用于约束早期宇宙物理。
• 理论框架：
  • 稳定参数化 (Stable Basis)：利用 mochi_class 代码（hi_class 和 class 的扩展），采用 Kennedy et al. (2018) 提出的稳定参数化方案。该方案通过构造自动排除鬼和梯度不稳定性。
  • 核心参数：
    1. 去混合动能项 ($D_{kin}$)：标量场扰动的去混合动能项。
    2. 有效普朗克质量偏差 ($\Delta M^2_*$)：定义为 $M^2_* - 1$，描述引力强度的演化。
    3. 有效声速 ($c^2_s$)：在部分分析中固定或作为自由参数。
  • 对比方案：同时使用了传统的 $\alpha$ 函数参数化（$\hat{\alpha}_B, \hat{\alpha}_M$）进行对比，以验证结果的稳健性。
• 物理模型处理：
  • 准静态近似 (Quasi-Static Approximation)：用于计算有效牛顿耦合 ($\mu$) 和引力滑移 ($\gamma$)。
  • 非线性处理：引入 Vainshtein 屏蔽机制（Vainshtein screening）以在小尺度上恢复广义相对论（GR）。使用反应框架（Reaction framework, HMCode2020）来模拟非线性物质功率谱。
  • 背景宇宙学：主要假设 $\Lambda$CDM 背景，并在第 4.4 节中扩展至动态暗能量模型（$w_0w_a$CDM）。
• 分析工具：使用 Nautilus 采样器在 CosmoSIS 框架下进行贝叶斯推断。

3. 主要贡献 (Key Contributions)

1. 首次应用稳定参数化进行宇宙学分析：这是首次在霍恩代斯基引力的宇宙学分析中，采用**内在稳定（inherently stable）**的参数基础。该方法自动筛选出物理上可行的模型，避免了传统方法中因数值不稳定性导致的采样偏差。
2. KiDS-Legacy 数据的全面应用：利用 KiDS 最终数据发布（Legacy），结合 DESI、eBOSS 和 Planck 数据，提供了目前最严格的霍恩代斯基引力约束之一。
3. 多参数化对比：系统比较了稳定参数化（基于 $D_{kin}$ 和 $\Delta M^2_*$）与传统 $\alpha$ 函数参数化的结果，揭示了不同参数化下对衍生参数（如 $\alpha_B, \alpha_M$）约束的依赖性。
4. 背景与扰动的解耦验证：验证了在联合分析中，假设 $\Lambda$CDM 背景与假设动态暗能量背景（$w_0w_a$CDM）对修改引力参数约束的影响，发现结果具有高度稳定性。

4. 关键结果 (Key Results)

• 结构增长参数 $S_8$：

  • 在稳定参数化下，测得 $S_8 = 0.813^{+0.008}_{-0.011}$。
  • 该结果与 $\Lambda$CDM 的约束在 $0.54\sigma$ 内一致，表明 KiDS-Legacy 数据与 CMB 数据之间没有显著的张力。
  • 修改引力模型对 $S_8$ 的约束能力与 $\Lambda$CDM 相当，甚至略优（取决于参数化方式）。

• 霍恩代斯基参数约束：

  • 有效普朗克质量偏差：$\Delta \hat{M}^2_* = 0.32^{+0.07}_{-0.21}$。这与广义相对论（GR，即 $\Delta M^2_* = 0$）在 1.5$\sigma$ 水平上存在偏差。
  • 去混合动能项：$\hat{D}_{kin} = 3.74^{+0.69}_{-1.92}$。
  • 编织项 (Braiding)：推导出的当前时刻编织项 $\alpha_{B,0} = 1.44^{+0.39}_{-0.76}$，显示出对正值（偏离 GR）的偏好，显著性约为 1.9$\sigma$。
  • 有效牛顿耦合：推导出的有效牛顿耦合偏差 $\Delta \mu_{\infty, eff} = 0.066 \pm 0.023$，对应 2.9$\sigma$ 的显著性。

• 模型比较与统计显著性：

  • 尽管修改引力模型提供了略微更好的拟合度（$\chi^2$ 略低），但贝叶斯模型比较显示，修改引力相对于 $\Lambda$CDM 的偏好仅为 1.4$\sigma$。
  • 结论：数据与广义相对论高度一致，修改引力并未表现出统计上显著的优越性。

• 数据源贡献：

  • 宇宙剪切 (KiDS) 和 CMB (Planck) 是约束修改引力参数的主要驱动力。
  • BAO 和 RSD 数据主要帮助固定背景宇宙学参数，对修改引力参数的直接约束较弱（主要受限于先验空间）。
  • 在 $D_{kin}$ 和 $c^2_s$ 参数化中，加入 KiDS 数据使组合参数 $\hat{c}^2_{sN}$ 的不确定性降低了 67%。

• 动态暗能量背景的影响：

  • 当背景宇宙学扩展为 $w_0w_a$CDM 时，修改引力参数的约束保持稳定。
  • 动态暗能量模型相对于 $\Lambda$CDM 有 1.57$\sigma$ 的微弱偏好，但这主要受 Planck 透镜异常参数 ($A_L$) 边际化的影响。若固定 $A_L=1$，则对动态暗能量的偏好消失。

5. 意义与结论 (Significance)

• 验证广义相对论：研究结果表明，KiDS-Legacy 弱引力透镜数据与其他宇宙学探针（BAO, RSD, CMB）结合后，与广义相对论和冷暗物质模型（$\Lambda$CDM）高度一致。目前的观测数据不支持显著的霍恩代斯基修改引力效应。
• 方法论的进步：证明了使用“内在稳定”参数化基础进行宇宙学分析是可行且高效的。这种方法避免了传统 EFT 参数化中的数值不稳定性问题，为未来 Stage-IV 巡天（如 Euclid, LSST）的修改引力分析提供了更可靠的框架。
• 未来展望：虽然当前数据未发现显著偏离 GR，但修改引力参数（特别是编织项和普朗克质量演化）仍允许一定程度的偏离（约 2-3$\sigma$ 水平）。随着未来更高精度的弱引力透镜和星系巡天数据的到来，这种参数化方法将能更严格地检验引力理论。

总结：该论文利用最新的 KiDS-Legacy 数据，结合多种宇宙学探针，首次采用稳定参数化基础对霍恩代斯基引力进行了严格的约束。结果显示，观测数据与广义相对论高度兼容，未发现统计显著的修改引力证据，但确立了一套稳健的分析框架，为未来探索宇宙学张力背后的物理机制奠定了基础。