Models of exponential and power-law acceleration of the Universe in Horndeski theory without ghosts and Laplace instabilities

本文在霍恩斯基标量-张量理论内引入了一种设计方法，用以构建能够支持宇宙指数级和幂律加速且无鬼魂及拉普拉斯不稳定的特定子类的特定子类。

要点

想象一下，宇宙就像一个正在膨胀的巨大气球。长期以来，物理学家一直试图弄清楚这个气球究竟是“如何”膨胀的。标准理论（广义相对论）在许多方面都表现出色，但它在解释宇宙的极早期阶段（暴胀）以及目前的加速膨胀时，往往需要添加一些“魔法”成分。

这篇论文介绍了一种构建宇宙模型的新方法，它使用了一套更灵活的规则，称为霍恩斯基理论（Horndeski theory）。你可以把霍恩斯基理论想象成一套重力学的“超级套装”。它拥有标准引力所没有的额外口袋和可调节的绑带（数学函数），允许物理学家微调宇宙的行为方式。

以下是作者的工作内容，使用了简单的类比：

1. 问题所在：在流沙上盖房子

当物理学家尝试使用这些额外的规则来构建宇宙模型时，经常会遇到两种严重的灾难：

• 幽灵（Ghosts）： 想象你的房子里有一个偷走能量的幽灵。在物理学中，这意味着宇宙会凭空产生无限能量，这在现实中是不可能的。
• 拉普拉斯不稳定性（Laplace Instabilities）： 想象你在一个震动得如此剧烈以至于会瞬间崩塌的地基上盖房子。在物理学中，这意味着时空的微小涟漪会增长得极快，从而立即摧毁宇宙。

大多数试图修复宇宙膨胀的尝试，都会在无意中将这些“幽灵”和“崩塌的地基”植入到模型之中。

2. 解决方案：“设计师”方法

作者并没有靠猜测规则并祈祷它们奏效，而是使用了一种**“设计师方法”**。

想象你是一名建筑师。

• 旧方法： 你挑选随机的砖块（数学函数），盖起一座房子，然后祈祷它不会倒塌。如果倒塌了，你就重新开始。
• 设计师方法（本文方法）： 你从想要居住的“成品房”开始。你会说：“我想要一座完美稳定、没有幽灵、且以特定速度扩张的房子。”然后，你通过逆向工程来确定建造这座房子究竟需要什么样的砖块和砂浆。

3. 蓝图：先设定规则

为了确保他们的“宇宙之屋”是安全的，作者在最开始就设定了三条严格的安全规则：

1. 引力波速： 他们决定引力波必须以接近光速的速度传播（基于中子星碰撞的真实观测结果）。
2. 稳定性： 他们强制要求数学模型确保“幽灵”或“崩塌的地基”永远不会存在。
3. 恒定比例： 他们假设宇宙膨胀的某些特性保持不变，就像汽车开启了定速巡航一样。

通过在最初就锁定这些安全特征，他们保证了随后构建的任何模型都是稳定的。

4. 结果：两种类型的膨胀宇宙

利用这种逆向工程方法，他们成功设计了两种特定的、在数学上稳定且没有幽灵的宇宙模型：

• 指数级宇宙（德西特宇宙/De Sitter）： 这就像一个以不断增加的指数速率膨胀的气球。这是描述宇宙极早期（暴胀）和当前暗能量时代的经典模型。他们找到了让这种情况发生且不破坏物理定律所需的精确“砖块”（数学函数）。
• 幂律宇宙（Power-Law Universe）： 这就像一个以稳定的、可预测的幂律速率膨胀的气球（例如，每小时体积翻倍）。他们找到了让这种过程平滑进行的特定规则。

5. “秘密武器”：那个额外的口袋

在他们的引力“超级套装”中，有一个特定的额外函数（称为 $G_5$），它将宇宙的膨胀与时空的曲率联系起来。

• 作者发现，这个额外的函数是匹配现实世界观测数据的关键。
• 然而，他们也发现，由于引力波的传播速度非常接近光速，这个“额外的口袋”对宇宙总能量的贡献非常小。它就像是你工具箱里一个非常专业的小型工具：它对完成工作至关重要，但不会给整个工具箱增加重量。

总结

作者并没有发现一种新的自然力。相反，他们构建了一个数学蓝图。他们证明了，只要先锁定安全规则（无幽灵、无不稳定性），使用霍恩斯基理论来构建一个呈指数级或幂律级膨胀的宇宙是完全可行的。他们证明了这样的宇宙在数学上是可能存在的，并且是稳定的，为描述我们的宇宙是如何增长的提供了一种清晰、且“无幽灵”的描述方式。

技术摘要

技术摘要：Horndeski 理论中指数与幂律加速的模型

问题陈述
本文旨在解决在 Horndeski 标量-张量理论中构建可行宇宙学模型的挑战，即如何使其免于物理病态，特别是鬼魂（ghost）和拉普拉斯（Laplace）不稳定性。虽然 Horndeski 理论提供了一个灵活的框架来修改广义相对论（GR），以解释宇宙加速和暗能量，但寻找解的标准方法通常涉及选择任意的 $G_i(X, \phi)$ 并事后检查稳定性。这种“正向”方法往往会导致关于尺度因子 $a(t)$ 的结果难以预测，并且经常无法满足稳定性条件或观测约束，例如来自 GW170817 事件对引力波速度 ($c_T$) 的严格限制。作者旨在开发一种系统的“设计者”方法，用以生成特定的 Horndeski 子类，这些子类从一开始就固有地满足稳定性准则和观测数据。

方法论
作者采用了一种针对平坦弗里德曼–罗伯逊–沃尔克（FRW）时空的“设计者方法”（逆问题法）。他们并没有猜测势函数，而是对扰动特性和背景演化施加了特定的假设（ansatz）：

1. 常数扰动参数：假设张量（$c_T$）和标量（$c_S$）扰动的传播速度、张量-标量比（$r$）以及无鬼魂条件（$Q_T, Q_S$）均为常正值。这一假设确保了在所有时间尺度上均不存在鬼魂和拉普拉斯不稳定性。
2. 观测约束：该方法纳入了当前的观测界限，特别是 $1 - 3 \cdot 10^{-15} < c_T < 1$ 以及 $0 < r < 0.1$。
3. 哈勃-标量场关系：选择一个函数依赖关系 $H(\dot{\phi})$ 作为假设。由于稳定性条件和场方程将 Horndeski 势（$G_2, G_3, G_4, G_5$）与 $H, \dot{\phi}$ 及其导数联系起来，通过固定 $H(\dot{\phi})$ 和常数扰动参数，可以将系统转化为关于未知势函数和标量场的微分方程组。
4. 系统性重构：通过求解这个超定系统，作者重构了支持特定膨胀历史（指数和幂律）所需的特定形式的 Horndeski 势（$G_2, G_3, G_5$）。

主要贡献与结果
本文为两种不同的暴胀情景推导出了明确的 Horndeski 理论子类：

• 德西特（指数）膨胀：

  • 假设 $H = \text{const}$，作者推导出了 $G_2, G_3$ 和 $G_5$ 的函数形式。
  • 他们建立了一个联系模型参数（$\beta, A, Q_T, r$）的一致性条件，以确保解的有效性。
  • 根据 $c_S^2 \cdot r/16$ 与 $1-c_T^2$ 的相对大小，分析了两种机制。在两种情况下，生成的模型均满足 $Q_T > 0$ 且 $Q_S > 0$，证实了不存在鬼魂。
  • 对标量场行为进行了分析：对于特定的参数范围，标量场避免了初始奇异性（当 $t \to -\infty$ 时，$|\phi| \to 0$）。

• 幂律暴胀：

  • 作者研究了 $H \propto \dot{\phi}^m$ 的情况，这导致尺度因子 $a(t) \propto t^n$。
  • 情况 $H = \gamma \dot{\phi}$：对应于 $a(t) \propto t^{1/\beta}$。作者推导了势函数，并证明在满足关于 $c_S$ 和 $r$ 的特定约束下，可以实现加速膨胀（$0 < \beta < 1$），且不存在不稳定性。
  • 情况 $H = \gamma_1 |\dot{\phi}|^{1/2}$：对应于 $a(t) \propto t^{2/\beta}$。研究发现了两组不同的势函数解集。分析确认，在保持稳定性的同时，可以实现加速膨胀（$0 < \beta < 2$）。
  • 一般情况 $H = \gamma_n \dot{\phi}^{2n}$：该方法被推广到任意幂次。作者识别了允许加速膨胀同时满足稳定性条件的指数 $n$ 的取值范围。

意义与主张
本文声称其主要贡献是开发了一个稳健的算法框架，用于生成既符合理论稳定性要求又符合当前宇宙学观测（特别是暴胀模型）的 Horndeski 模型。通过将扰动特性固定为常数，该方法绕过了标准势函数选择中的试错性质。

作者强调了以下具体发现：

• 无病态子类：他们成功识别了能够支持指数和幂律暴胀且不存在物理不稳定性的 $G_2, G_3$ 和 $G_5$ 的特定函数形式。
• 势函数形式：生成的子类包括可以是质量项（$\phi^2$）或指数形式的势函数 $V(\phi)$，以及对应于标准标量场或 Cuscuton 情景的动力学项 $G_2$。$G_3$ 项通常采取对数形式（$\ln X$），这与带有标量毛发的黑洞解相关。
• 非最小耦合（$G_5$）的作用：在德西特极限下的估算表明，当 $c_T \approx 1$ 时，非最小耦合项 $G_5$ 对作用量密度的贡献最小。作者指出，如果 $c_T$ 恰好等于 $1$，则$G_5$ 消失，而其他项仍然非零。这表明非最小耦合对于匹配观测到的引力波声速至关重要，但在能量预算中相对于爱因斯坦-希尔伯特项和其他 Horndeski 势而言是次要的。
• 参数一致性：研究表明，观测数据（$c_T \approx 1, r < 0.1$）并不与推导出的一致性方程相矛盾，从而允许支持加速膨胀的广泛可行参数值。

总之，本文提供了一种构造性的方法，通过逆向工程构建出既符合理论稳定性要求又符合当前宇宙学观测（特别是暴胀模型）的 Horndeski 理论。