Inverting no-hair theorems: How requiring General Relativity solutions restricts scalar-tensor theories

本文探讨了通过强加特定广义相对论解（例如具有隐形标量毛的史瓦西或德西特黑洞）的存在性，如何限制一般二次和三次标量 - 张量理论的参数空间，并揭示出虽然要求所有此类解会消除广义相对论的奇宇称偏差，但限制较少的场景则允许特定的偏差、稳定性约束以及修正的引力波传播速度。

要点

将宇宙想象成一个巨大而复杂的电子游戏。几十年来，运行这场游戏的“引擎”一直是广义相对论（GR），这是爱因斯坦撰写的一套规则，完美描述了引力如何运作、黑洞如何旋转以及光线如何弯曲。

然而，物理学家怀疑背景中可能运行着隐藏的“模组”或“插件”——额外的成分，例如不可见的标量场（将其想象为一种充满空间的幽灵般不可见的流体），它们会微调规则。这些被称为标量 - 张量理论。

问题在于，如果这些额外成分存在，它们通常会改变游戏的画面。黑洞看起来会不同，引力也会表现得奇怪。但是，我们尚未观察到任何异常。我们的望远镜和探测器（如 LIGO）看到的黑洞与爱因斯坦预测的完全一致。

本文提出了一个巧妙的、逆向工程式的问题：“如果我们要求游戏对于某些黑洞必须看起来与爱因斯坦的版本（广义相对论）完全一致，这会迫使隐藏的‘模组’呈现出何种形态？”

以下是他们利用简单类比对调查的分解：

1. “隐形”黑洞

作者们专注于一种称为**“隐形”（Stealth）**解的特殊黑洞解。

• 类比：想象一名间谍穿着完美的隐身斗篷。在肉眼（即度规，或空间的形状）看来，这名间谍看起来与空旷空间或普通黑洞一模一样。但在斗篷之下，间谍实际上正在移动、呼吸并持有武器（标量场）。
• 目标：本文问道：“如果我们要求我们的宇宙允许这些‘隐形间谍’（隐形解）存在，且不改变黑洞的形状，那么间谍的隐身斗篷必须遵循什么规则？”

2. “隐身”测试（约束条件）

研究人员测试了四个不同严格程度的等级，就像收紧游戏规则一样：

• 等级 1：“一切必须正常”规则。
  他们要求爱因斯坦游戏中的任何黑洞解都必须适用，即使周围存在物质（如气体或恒星）。

  • 结果：这过于严格。它迫使“间谍”完全冻结。隐藏的标量场必须如此乏味，以至于无法做任何新事情。游戏再次完全变成了广义相对论。不允许任何偏差。

• 等级 2：“空旷空间”规则。
  他们放宽了规则：“好吧，我们只关心空旷空间中的黑洞看起来像爱因斯坦的。”

  • 结果：这允许了一点回旋余地。“间谍”可以存在，但只能以非常特定的方式。他们有一个“旋钮”可以微调物理性质，但仍然受到严格限制。

• 等级 3 和 4：“特定黑洞”规则。
  他们进一步放宽：“我们只关心特定的史瓦西（空旷、不旋转）和史瓦西 - 德西特（空旷且带有宇宙学常数）黑洞看起来正常。”

  • 结果：这打开了最大的自由度。“间谍”现在可以表现出更复杂的行为。隐藏的标量场可以以特定方式改变引力波的传播，但仅限于黑洞附近。

3. 机器中的“幽灵”（奇宇称微扰）

为了看看这些“间谍”是否真的改变了什么，作者们研究了微扰。

• 类比：想象像敲击铃铛一样敲击黑洞。它会发出响声。这种“响声”（引力波）有不同的模式。作者们研究了“奇”模式（一种特定的摇摆）。
• 发现：
  • 如果你要求所有黑洞看起来正常，“铃声”听起来与爱因斯坦的完全一样。没有新物理。
  • 如果你只要求特定的史瓦西黑洞看起来正常，“铃声”可以听起来不同。具体来说，“涟漪”（引力波）的速度可以根据你距离黑洞的远近而改变。

4. “速度限制”的惊喜

最有趣的发现之一涉及引力速度。

• 类比：在爱因斯坦的游戏中，引力始终以光速传播，无处不在，永无例外。
• 论文的声称：在这些特定的“隐形”理论中，引力在紧邻黑洞处可以以不同的速度传播，但随着你移动到远处（直到宇宙边缘），它会减速或加速，直到再次与光速匹配。
• 为何重要：这是一个“健康”的模型。它解释了为什么我们在遥远的空间中没有看到奇怪的引力速度（例如 GW170817 事件，其中引力和光同时到达），但它允许在黑洞附近存在奇特的物理现象。

5. “故障”警告

论文还发现了数学中的一个技术性“故障”。

• 类比：如果“间谍”（标量场）随时间改变其行为（在这些理论中确实如此），描述黑洞“铃声”的数学方程就会变成一个混乱的、依赖于时间的谜题（偏微分方程），而不是一个整洁的、可求解的公式（常微分方程）。
• 后果：这意味着我们无法使用标准公式轻松计算黑洞将发出的确切“音符”（频率）。我们需要运行复杂的计算机模拟来弄清楚。

总结

这篇论文是引力理论的“逆向工程”指南。它指出：

1. 如果你希望你的理论对于每一个可能的黑洞都看起来与爱因斯坦的完全一致，你就没有自由度；你拥有的只是爱因斯坦的理论。
2. 如果你只关心特定的黑洞（如简单的史瓦西黑洞），你就可以拥有新物理。
3. 这种新物理允许引力在黑洞附近以奇怪的速度传播，但在远处表现正常。
4. 然而，计算这些黑洞的确切“声音”变得更加困难，因为规则会随时间变化。

作者得出结论，虽然“精确隐形”解非常受限，但放宽规则以允许“近似隐形”（即间谍几乎隐形）可以为新的引力理论开辟更广阔的游乐场。

技术摘要

以下是论文《反转无毛定理：要求广义相对论解如何限制标量 - 张量理论》（Kobayashi 等人著）的详细技术总结。

1. 问题陈述

标量 - 张量（ST）理论，特别是退化高阶标量 - 张量（DHOST）理论，为修正广义相对论（GR）以解决暗能量等宇宙学难题提供了丰富的图景。然而，一个主要挑战是“无毛”定理的存在，这些定理往往迫使这些理论中的黑洞解退化为标准的广义相对论解（史瓦西或史瓦西 - 德西特解），导致标量场变得平凡或度规与广义相对论无法区分。

相反，“有毛”黑洞解（其中标量场具有影响度规的非平凡分布）虽然存在，但通常受到观测限制。作者提出了一个反向问题：如果我们要求一组特定的广义相对论黑洞解（例如史瓦西或史瓦西 - 德西特解）必须存在于一般的标量 - 张量理论中，这将如何限制该理论的参数空间？ 此外，这些限制如何影响扰动动力学（特别是奇宇称模）和引力波（GW）的传播速度？

本文聚焦于隐形解（stealth solutions）：即度规与广义相对论解完全相同，但标量场具有非平凡的、随时间变化的分布，且其动能项为常数（$X = X_0 = \text{const}$）的构型。

2. 方法论

作者在二次和三次高阶标量 - 张量（HOST）理论的框架内采用完全协变的方法。

• 作用量表述：他们从包含函数 $F_0, F_1, F_2, F_3$ 以及直到标量导数三次项的高阶项 $A_I$ 和 $B_J$ 的一般作用量出发。
• 背景分析：他们假设一个隐形背景，其中度规满足爱因斯坦方程（$G_{\mu\nu} = M_{Pl}^{-2}T_{\mu\nu} - \Lambda g_{\mu\nu}$），且标量场具有线性时间依赖性（$\phi = qt + \psi(r)$），动能项 $X_0$ 为常数。
• 存在条件：通过将隐形假设代入欧拉 - 拉格朗日方程，他们推导出了耦合函数（$F_i, A_I, B_J$）必须满足的具体代数条件，以允许各类解的存在：
  1. 含物质的广义相对论解。
  2. 广义相对论真空解。
  3. 史瓦西 - 德西特（SdS）解。
  4. 史瓦西解。
• 扰动分析：他们在这些静态球对称背景上构建了奇宇称扰动的二次拉格朗日量。他们以 HOST 函数为基准推导了拉格朗日量的系数（$p_i$）。
• 稳定性与速度：他们分析了稳定性条件（无鬼模和梯度不稳定性），并计算了径向和角向的引力波传播速度（$c_{GW}$）。
• 主方程：他们研究了奇宇称模主方程的推导，强调了在非平移对称理论中出现的复杂性。

3. 主要贡献

A. 存在条件的推导

本文提供了一套关于一般三次 HOST 理论中隐形广义相对论解存在的全面条件。

• 限制的层级：他们证明，要求存在所有广义相对论解（无论是否有物质）施加了最严格的约束，有效地显著缩减了理论空间。
• 放宽约束：随着要求的放宽（例如，仅要求 SdS 解或仅要求史瓦西解），允许的理论空间扩大，允许更多耦合函数的独立组合。
• 退化与存在：他们表明，在类 3N-I 的三次 DHOST 理论中，强加具有常数 $X$ 的隐形解的存在通常与避免鬼模所需的退化条件****不相容（具体来说，它迫使 $B_1=0$，这违反了该类理论要求 $B_1 \neq 0$ 的条件）。这意味着在此背景下，精确的隐形解仅限于二次 DHOST，或者需要“调音（scordatura）”项（对退化的微小偏离）以避免强耦合。

B. 奇宇称扰动与广义相对论偏差

作者将推导出的存在条件映射到奇宇称扰动二次拉格朗日量的系数上。

• 广义相对论恢复：对于要求存在所有广义相对论解（含物质）的理论，奇宇称扰动与广义相对论完全相同。在该扇区中不可能出现偏差。
• 超越广义相对论的参数：
  • 广义相对论真空：一个独立组合（$F_2 - X_0 F_{3\phi}$）可以偏离广义相对论。
  • SdS 解：两个独立组合（$F_2 - X_0 F_{3\phi}$ 和 $A_1 + F_{3\phi}$）允许偏差。
  • 史瓦西解：三个独立组合允许偏差，包括三次项 $B_1$。
• 平移对称性：施加平移对称性通常会减少自由参数的数量，有时恢复标准的广义相对论预测（例如在 SSCubicGR-vac 中）。

C. 稳定性与引力波速度

• 稳定性条件：本文推导出了必须满足的显式不等式（例如 $F_2 - X_0 F_{3\phi} > 0$），以确保无鬼模和梯度不稳定性。
• 引力速度（$c_{GW}$）：
  • 在大多数情况下，引力波的速度是常数，或者在远距离处与光速匹配（$c=1$）。
  • 独特偏差（史瓦西）：在三次 HOST 理论中的史瓦西黑洞情况下，参数 $B_1$ 引入了引力波速度的径向依赖性（$c_\rho(r)$）。
  • 速度在宇宙学距离处趋近于 $c=1$（满足 GW170817 的约束），但在黑洞视界附近可以显著偏离。这提供了一个“健康”的模型，其中偏差被限制在强场区域。

D. 技术洞察：$p_4$ 的消失

作者证明，对于具有静态球对称背景上类时标量分布的一般三次 HOST 理论，二次拉格朗日量中的系数 $p_4$ 恒为零（$p_4 = 0$）。

• 意义：在黑洞扰动的有效场论中，非零的 $p_4$ 通常会禁止缓慢旋转的黑洞解或导致发散的声音速度。在协变三次 HOST 理论中 $p_4$ 的消失表明，这些理论在旋转和稳定性方面具有更好的现象学安全性。

4. 结果总结

场景	存在条件	奇宇称模中的广义相对论偏差	稳定性/速度影响
广义相对论（含物质）	最严格	无（与广义相对论相同）	自动稳定。
广义相对论（真空）	中等	1 个参数（$F_2 - X_0 F_{3\phi}$）	有效普朗克质量的恒定偏移。
SdS 解	限制较少	2 个参数（$F_2 - X_0 F_{3\phi}, A_1 + F_{3\phi}$）	准正规模（QNM）频率的重标度。
史瓦西	限制最少	3 个参数（包含 $B_1$）	$r$ 依赖的引力波速度。 $c_{GW} \to 1$ 当 $r \to \infty$，在视界附近偏离。

5. 意义与未来方向

• 现象学可行性：这项工作确定了一类特定的理论（三次 HOST 中的史瓦西隐形解），其中在强场区域（黑洞铃荡）可能出现对广义相对论的偏差，同时仍与来自宇宙学距离的引力波速度的严格观测约束（GW170817）保持一致。
• 理论约束：它阐明了“退化条件”（用于避免奥斯特罗格拉茨基鬼模）与“隐形解的存在”之间的张力。它表明，三次 DHOST 中的精确隐形解受到高度限制，指向了需要“调音（scordatura）”项（近似隐形）以获得更广泛、可行的理论空间的必要性。
• 主方程挑战：本文强调了一个关键的细微差别：在非平移对称理论中，扰动方程的系数依赖于时间。这阻止了主方程简化为标准常微分方程（ODE）（Regge-Wheeler 形式），从而需要数值偏微分方程（PDE）解或微扰近似来计算准正规模（QNMs）。
• 未来工作：作者建议将此分析扩展到偶宇称扰动，探索非常数动能项解，并研究“调音（scordatura）”机制，以将理论空间扩展到精确隐形解之外。

总之，本文对标量 - 张量理论提供了严格的“自上而下”的约束，证明了要求存在熟悉的广义相对论黑洞起到了强大的过滤作用，通常抑制了奇宇称扇区中的偏差，除非满足特定的、限制较少的条件（例如仅专注于史瓦西解）。