The Bondi--Sachs gauge, BMS frames, and memory in black hole perturbation theory

技术摘要：黑洞摄动理论中的 Bondi–Sachs 规范、BMS 框架与记忆效应

问题陈述
随着引力波天文学向 LISA 等下一代探测器的迈进，对波形模型精确度的需求日益提高，这要求对以往可以忽略不计的规范自由度进行精确控制。在黑洞摄动理论（BHPT）中，特别是在二阶计算和自力（self-force）理论中，存在两个关键挑战：

1. 规范歧义与 BMS 框架： 波形模型取决于用于描述未来零无穷远面 ($\mathscr{I}^+$) 的渐近框架。虽然庞卡莱（Poincaré）框架（平移、旋转、推移）已得到解决，但包括超平移（supertranslations）在内的无限维 Bondi–Metzner–Sachs (BMS) 群在摄动理论中仍处于未受控状态。这种歧义使得自力、后牛顿（PN）以及数值相对论（NR）结果之间的比较变得复杂化。
2. 红外发散： 二阶摄动理论，特别是极端质量比并合（EMRIs）中的自力计算，深受红外发散问题的困扰。这些发散源于二阶源项（二次方项为一阶摄动）在远距离处的衰减过慢，导致其对延迟格林函数的积分发生发散。传统的处理方法，如自力多极后闵可夫斯基（SF-MPM）展开，试图通过匹配近区和远区解来解决这一问题，但这一过程在解析上极其复杂，且掩盖了记忆效应的物理起源。

方法论
作者开发了一个框架，通过迭代将度规摄动从任意渐近平坦规范转换为 Bondi–Sachs (BS) 规范，随后在 Kerr 背景上固定 BMS 框架。

• Bondi–Sachs 形式体系： 本文利用了采用适配于流出零锥坐标的 BS 形式体系。该形式体系中的剩余规范自由度恰好对应于 BMS 对称群。
• 摄动规范变换： 作者推导了将一阶度规摄动 $h^{(1)}_{\mu\nu}$ 从任何初始渐近平坦规范转换为摄动 BS 规范所需的规范矢量。这涉及沿零射线求解一系列径向常微分方程，并将规范矢量按 $1/\hat{r}$ 进行展开。

3. BMS 框架固定： 一旦进入 BS 规范，作者提出了一种在第一阶摄动阶次下固定剩余 BMS 自由度的方案。这是通过令特定 BMS 电荷为零来实现的：
   • 推移与平移： 通过消除线性动量和推移电荷（将系统设定为质心系）来固定。
   • 旋转： 通过将角动量与 $z$ 轴对齐来固定。
   • 超平移： 通过在参考时刻消除偶宇称部分的 Bondi 切应力（shear）来固定。

• 多尺度展开与自力： 该框架被扩展到自力理论中所使用的多尺度展开中。作者引入了“遗忘规范”（forgetful gauges，即标准的近区规范，如 Lorenz 规范或辐射规范）的概念，在这种规范中，记忆效应在近区不存在，但在远区会出现。作者提出了一个迭代程序，即在求解二阶方程之前，先将一阶解转换为 BS 规范。

核心贡献与结果

1. 消除红外发散： 本文证明，在一阶阶次下使用 BS 规范可以确保 Teukolsky 方程的源项具有足够快的衰减速度（相关分量为 $O(\hat{r}^{-4})$）。这自然地避开了困扰其他规范（如 Lorenz 规范）的红外发散问题，从而无需使用复杂的 SF-MPM 匹配程序来处理远区行为。
2. 自然纳入记忆效应： 通过转换为 BS 规范，该框架自然地纳入了引力波记忆效应。在多尺度展开中，从“遗忘”规范到 BS 规范的变换引入了一个缓慢演化的超平移。这种超平移充当了双体系统的“软发”（soft hair），并根据爱因斯坦场方程进行动力学演化。
3. 记忆畸变： 作者展示了这种缓慢演化的记忆（软发）如何自然地与二阶场方程中的振荡模耦合。这种耦合产生了“记忆畸变”效应——此前仅通过独立的远区分析才被识别出来——它代表了发射出的引力波形的缓慢畸变。
4. 规范不变的二阶变量： 本文确立了一旦第一阶规范被固定为特定的 BMS 框架，二阶 Weyl 标量 $\psi^{(2)}_4$（特别是线性部分 $\psi^{(2)}_{4L}$）便成为一个规范不变的可观测物理量。这是因为 $\psi^{(2)}_{4L}$ 在二阶规范变换下是不变的，并且仅依赖于固定的第一阶规范。
5. 显式变换公式： 作者提供了在 Bondi–Sachs 坐标以及更常用的 Kerr–Newman (Boyer–Lindquist) 坐标下的规范矢量分量的显式表达式，包括其在 Newman–Penrose 四标架中的分解。

意义与主张
本文声称其形式体系为下一代引力波建模提供了至关重要的工具。具体而言：

• 它解决了黑洞摄动理论中渐近框架的歧义，从而实现了自力波形、PN 理论与数值相对论模拟之间无歧义的比较。
• 它为 SF-MPM 展开提供了一个实用的替代方案，通过消除红外发散以及近区与远区之间的人为分离，简化了二阶自力计算。
• 它将记忆效应和记忆畸变直接整合进波形生成过程中，而非将其作为“事后添加”的处理。
• 该框架预计对于铃宕（ringdown）分析以及将摄动结果与数值相对论进行对比（特别是在黑洞谱学和极端质量比并合的背景下）至关重要。

作者强调，虽然其框架固定方案是在第一阶摄动阶次下定义的，但这足以使二阶波形具有规范不变性，因为一旦第一阶规范被固定，$\psi_4$ 的二阶摄动在二阶变换下是不变的。