Biased tracers, Hybrid Effective Field Theory and Modified Gravity

本文通过详细阐述计算圈修正功率谱所需的摄动偏置展开，并提出一种使现有 $\Lambda$CDM 模拟器适应这些超越标准模型场景的策略，将混合有效场论（HEFT）框架扩展到了修正引力宇宙学中，特别是 $f(R)$ 引力。

要点

想象一下宇宙是一块正在膨胀的巨大葡萄干面包。随着面包的上升，葡萄干（代表星系）彼此远离。但它们并不是均匀地散开；它们在某些地方聚集，而在另一些地方留下空隙。这种聚集被称为“结构形成”。

几十年来，科学家们一直试图写出一个数学配方，来精确预测这些葡萄干将如何聚集。这篇论文旨在改进那个配方，特别是因为以下两个原因：

1. “有偏差”的葡萄干： 并非所有的葡萄干都是一样的。有些大，有些小，它们并不完全按照周围面团（暗物质）的方式分布。我们需要一种方法来模拟这些特定的“有偏差”的葡萄干是如何聚集的。
2. “经过修改”的面团： 大多数配方都假设面团遵循标准规则（广义相对论）。但如果面团遵循略微不同、更奇怪的规则（修正引力）呢？这篇论文测试了如果引力规则发生变化，我们的配方是否仍然有效。

以下是使用简单类比对这篇论文历程的拆解：

1. 两种烘焙方式（欧拉法 vs 拉格朗日法）

科学家有两种主要方式来追踪葡萄干：

• “固定网格”法（欧拉法）： 想象一个相机正在拍摄厨房中某个特定位置的照片。你观察葡萄干如何流经那个点。这对于观察流动很好，但当面团被挤压得太厉害（非线性）时，情况会变得很混乱。
• “跟随葡萄干”法（拉格朗日法）： 想象你在开始时给一颗特定的葡萄干装了一个微型 GPS 追踪器。你追踪这颗葡萄干如何从它的起始点移动到最终位置。本文使用了这种方法，因为它能更好地处理面团被“挤压”的情况。

2. 混合技巧 (HEFT)

作者引入了一种聪明的捷径，称为混合有效场论 (HEFT)。

• 问题： 使用纯数学来计算每一颗葡萄干的精确运动是非常困难且缓慢的。使用超级计算机模拟虽然准确，但需要巨大的计算能力。
• 解决方案： HEFT 就像一辆“混合动力车”。它在简单的部分（面团平滑的地方）使用简单、快速的数学，并在混乱、挤压的部分借鉴高强度计算机模拟的数据。这让你既拥有数学的速度，又拥有模拟的精度。

3. 挑战：修正引力

大多数这类“混合动力车”都只针对我们目前的宇宙（称为 $\Lambda$CDM）进行构建和测试，在我们的宇宙中，引力按照爱因斯坦最初描述的方式运作。

• 转折点： 作者想看看如果引力不同，这种混合方法是否仍然有效。他们专门研究了 $f(R)$ 引力，这是一种引力强度会根据尺度而增强或减弱的理论（就像变色龙改变颜色一样）。
• 难度： 在这种修正引力中，宇宙的“增长”是不均匀的。它取决于团簇的大小。这打破了科学家通常使用的简单数学捷径。

4. 他们做了什么

团队为他们的“混合动力车”构建了一个更灵活的新引擎，以处理这些奇怪的引力规则。

• 重新计算地图： 他们推导出了新的数学地图（称为“增长函数”），这些函数考虑了引力如何随尺度变化。
• 测试引擎： 他们将新的数学模型与超级计算机模拟（“金标准”）进行了对比。
  • 结果 1（标准宇宙）： 当他们在正常的宇宙中进行测试时，数学表现完美，几乎与模拟结果完全吻室。
  • 结果 2（修正引力）： 当他们在 $f(R)$ 引力模型中进行测试时，他们发现旧的、简单的数学捷径（称为“爱因斯坦-德西特近似”）失效了。这就像是用平面地图在多山的地形中导航——旧地图无法正确显示山丘和谷地。他们新的、更复杂的数学是获得正确答案所必需的。

5. 结论

论文得出结论：

• HEFT 框架（这种混合方法）是稳健的，并且可以扩展到适用于这些奇怪的修正引力理论。
• 然而，当你处理修正引力时，你不能使用旧的、简化的数学捷径。你必须使用他们新的、更复杂的计算，以考虑到变化的引力规则。
• 他们已经为其他科学家提供了必要的工具和“原料”，以便更新他们的星系巡天模型（如来自 DESI 或 Euclid 任务的模型），从而测试我们的宇宙是遵循标准引力还是这些修正后的规则。

简而言之： 作者改进了一个用于绘制宇宙地图的强大工具，升级了其引擎以应对“奇怪的引力”，并证明了虽然旧的捷径适用于我们的正常宇宙，但在这些新场景下它们会失效。他们现在已经将钥匙交给了科学界的其他人，让他们可以驾驶这辆新车去探索宇宙。

技术摘要

技术摘要：偏置示踪体、混合有效场论与修正引力

问题陈述
对第四阶段星系巡天（如 DESI、LSST、Euclid、Roman）的分析，需要对偏置示踪体（如星系）的功率谱进行精确的理论建模，以约束宇宙学参数。虽然摄动理论和宇宙学模拟是标准工具，但它们存在权衡：摄动理论具有计算效率，但在非线性尺度上表现不佳；而模拟提供了物理上的完整性，但需要昂贵的校准和向观测量的映射。混合有效场论（HEFT）框架已成为一种解决方案，它结合了拉格朗日摄动理论（LPT）展开与仅含暗物质模拟的输出，以高效地模拟非线性机制。然而，现有的 HEFT 实现和模拟器（例如 bacco、Aemulus）主要是在 $\Lambda$CDM 范式或轻微扩展（如 $w_0w_a$CDM）内开发的。在将 HEFT 应用于修正引力（MG）理论（如 $f(R)$ 引力）方面存在显著空白，在这些理论中，结构增长是尺度相关的，且筛选机制（如魅影效应/chameleon）使得计算 LPT 增长函数和圈积分（loop integrals）变得复杂。

方法论
作者开发了一个框架，用于在 HEFT 形式下计算修正引力宇宙学中的偏置功率谱圈修正，特别侧重于 $f(R)$ 引力。该方法论通过以下阶段进行：

1. 广义相对论中的拉格朗日摄动理论 (LPT)： 作者回顾了欧拉和拉格朗日摄动理论的表述。在拉格朗日图像中，暗物质的演化由将初始拉格朗日坐标 $q$ 映射到最终欧拉位置 $x$ 的位移场 $\Psi(q, \tau)$ 描述。物质功率谱通过该映射的雅可比行列式导出，并利用累积量定理对红外（IR）位移进行非摄动重求和。
2. 向修正引力的扩展： 作者重新审视了标量-张量理论（特别是 Hu-Sawicki $f(R)$ 模型）的运动方程。他们推导了必要的直至三阶的增长因子 $D^{(1)}(k)$、$D^{(2)}(k_1, k_2)$ 和 $D^{(3),\text{symm.}}(k_1, k_2, k_3)$，由于修正的泊松方程和标量场的存在，这些因子现在是尺度相关的。这涉及迭代求解耦合的连续性方程、欧拉方程和克莱因-高登（Klein-Gordon）方程。
3. 广义核函数的数值实现： 作者实现了一个数值代码，在动量网格上求解广义增长函数。他们计算了拉格朗日核 $L^{(n)}$ 以及用于一圈物质功率谱的关联函数（$Q_n, R_n$ 函数）。他们明确测试了爱因斯坦-德西特（EdS）近似（该近似假设增长是尺度无关的）相对于这些完整尺度相关解的有效性。
4. 偏置示踪体展开： 该框架通过局部拉格朗日偏置方案扩展到偏置示踪体。示踪体密度根据初始密度场 $\delta_L$、潮汐剪切 $s^2$ 及高阶算子进行展开。作者计算了涉及位移场和初始密度场的相关拉格朗日相关函数，并针对尺度相关的 MG 背景调整了标量函数（$Q_I, R_I$）。
5. 验证： 通过与现有代码（特别是用于 EdS 对比的 velocileptors 和用于完整 MG 对比的 mgpt）进行对比，验证了实现的有效性，确保了在计算圈积分和功率谱方面的一致性。

核心贡献

• 针对 MG 的广义 LPT 框架： 本文提供了 $f(R)$ 引力中 LPT 增长函数和核函数的详细推导与数值实现，考虑了高达三阶的尺度相关增长和魅影筛选效应。
• 量化 EdS 近似的失效： 作者证明，尽管 EdS 近似在 $\Lambda$CDM 中高度精确（误差在百分之一以下），但在修正引力情景下会显著失效。在 $f(R)$ 模型中，EdS 近似偏离了精确解，特别是在轻微非线性机制（$k \sim 0.1\text{--}0.4 \, h\text{Mpc}^{-1}$）以及模式耦合最强的挤压三角形构型（squeezed triangle configurations）中。
• HEFT 扩展策略： 本工作概述了将现有基于 HEFT 的模拟器（如 bacco 和 Aemulus）扩展到超越 $\Lambda$CDM 宇宙学的必要步骤。这包括用本文推导的广义、尺度相关核替换标准的 EdS 核。
• 圈积分的验证： 作者验证了其对广义圈积分（$Q_n, R_n$）的数值积分与 mgpt 代码的一致性，显示出在 $\Lambda$CDM 和 $f(R)$ 模型中均具有极佳的一致性。

结果

• 尺度相关增长： 计算出的二阶和三阶拉格朗日增长因子在 $f(R)$ 引力中表现出强烈的尺度相关性，其中最显著的偏差出现在挤压构型中。
• 圈积分偏差： 对 $Q_n$ 和 $R_n$ 函数的比较表明，虽然 EdS 近似能高保真地重现 $\Lambda$CDM 结果，但在 $f(R)$ 引力中会引入明显的误差。这些误差在圈修正达到峰值处最为显著，表明在 MG 分析中使用 EdS 核会导致理论预测产生偏差。
• 物质功率谱： 在 LPT 中包含完整的核圈修正后，得到的物质功率谱在 $f(R)$ 模型中与 EdS 预测有所不同。由于更大的位移方差（$\sigma_L^2$），指数抑制（泽尔多维奇/Zel'dovich 贡献）在 $f(R)$ 中更加显著。
• 偏置示踪体一致性： 广义形式成功计算了偏置示踪体功率谱，证实了只要对底层增长函数和圈积分进行正确的尺度相关处理，标准的局部拉格朗日偏置展开仍然适用。

意义
本文为将混合有效场论框架应用于修正引力宇宙学奠定了理论和数值基础。通过明确量化爱因斯坦-德西特近似在尺度相关增长场景下的局限性，作者认为，要在非 $\Lambda$CDM 理论中对未来第四阶段巡天数据进行精确建模，必须使用广义的、尺度相关的 LPT 核。这项工作使得扩展高精度模拟器以测试超越广义相对论的引力理论成为可能，弥合了摄动效率与修正引力复杂非线性物理之间的鸿沟。