Are There Closed Timelike Curves in $f(R,\mathcal{L}_m,\Phi,g^{\mu\nu}\nabla_\mu \Phi \nabla_\nu \Phi)$-Gravity?

本文研究了一个涉及标量场的修正引力模型，并证明虽然特定的旋转宇宙学解在广义相对论中是有效的，但在此扩展框架下它们变得不一致，从而排除了这些特定时空中闭合类时曲线的存在。

要点

想象宇宙是一个巨大而复杂的电子游戏。几十年来，运行这个游戏的“引擎”一直是广义相对论，这是由阿尔伯特·爱因斯坦制定的一套规则。这些规则解释了引力如何运作、行星如何轨道运行以及光线如何弯曲。然而，科学家们注意到，这个引擎有时会出现故障。它无法完全解释宇宙为何加速膨胀（暗能量），也无法解释是什么看不见的物质将星系束缚在一起（暗物质）。

为了修复这些故障，物理学家正试图为游戏引擎构建“模组”（modifications）。本文研究了一种特定且新颖的模组，称为$f(R, L_m, \Phi, g_{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi)$ 引力。

以下是作者所做工作及发现结果的简要分解：

1. 新规则手册

将爱因斯坦的原始规则想象为仅使用面粉（时空几何）和水（物质）的食谱。这个新模组添加了一种秘密成分：标量场（我们称之为“幽灵”）。

在这个新理论中，“幽灵”不仅仅是一种被动成分；它直接与面粉和水相互作用。作者想要看看，当你尝试烘焙一种非常特定且奇怪的蛋糕时，这个新食谱是否仍然有效。

2. “时间旅行”蛋糕

在爱因斯坦的原始游戏中，存在某些理论上的蛋糕设计（方程的解），它们允许闭合类时曲线（CTCs）。

• 类比：想象一条过山车轨道，它一直绕回你出发的车站，但它不仅在空间中绕圈，而且在时间上绕回。如果你乘坐这条轨道，你可以在出发之前到达。
• 问题：这破坏了因果律的规则。这就像给你的过去的自己发送一条短信，告诉 ta 不要发送这条短信。这会引发悖论。

作者挑选了两种在爱因斯坦原始游戏中已知存在的特定“时间旅行蛋糕”设计：

1. 柱对称设计（像扭曲的管子）。
2. 轴对称设计（像旋转的陀螺）。

在爱因斯坦的原始游戏中，这些设计是完全有效的，尽管它们允许时间旅行。

3. 实验

作者拿起了这两种“时间旅行蛋糕”设计，并尝试使用新模组的食谱（包含“幽灵”成分）来烘焙它们。他们问道：“这个新食谱是否允许这些时间旅行蛋糕存在，还是‘幽灵’成分会毁掉面糊？”

他们像原始食谱要求的那样，用“纯辐射”（如光能）和“宇宙学常数”（背景压力）填充了这些蛋糕。

4. 结果：面糊无法膨胀

答案是一个坚定的不。

当作者尝试使用新模组混合这些特定时间旅行蛋糕的配料时，数学推导崩溃了。

• 类比：这就像试图用一种本应更坚固的新型砖块来建造房屋。你尝试建造一座特定的、形状奇特的塔楼，它原本是用旧砖块建造的。当你尝试使用新砖块时，墙壁无法对齐，屋顶坍塌，蓝图上写着：“这是不可能的。”
• 数学：新理论的方程变得“不一致”。能量和压力的数值无法匹配。“幽灵”成分（标量场）使得宇宙无法维持这些特定的形状。

5. 结论

由于数学拒绝在这些特定形状上起作用，这种新的引力理论在这些情形下不允许存在闭合类时曲线（时间旅行）。

• 在爱因斯坦的游戏中：你可以拥有一个时间自我循环的宇宙。
• 在这个新模组中：宇宙变得更加“僵硬”。新规则如此严格，以至于它们完全阻止了这些时间循环形状的形成。

简而言之：作者发现，通过在引力定律中添加这种额外的“幽灵”成分，他们意外地（或者也许是有意地）修复了一个重大漏洞。新理论自然地禁止了这些特定时间旅行宇宙的存在，确保了在他们测试的情形中，原因总是先于结果。

注：该论文严格将其发现限制在这两个特定的数学模型内。它并未声称这解决了物理学中的所有问题，也未暗示这对建造时间机器或改变我们当今的生活方式有任何直接用途。这纯粹是对在这些新规则下这些特定的“时间旅行”形状是否能够存在的理论检验。

技术摘要

技术摘要：$f(R, L_m, \Phi, g_{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi)$ 引力中的闭合类时曲线

问题陈述
广义相对论（GR）允许存在包含闭合类时曲线（CTCs）的精确解，例如哥德尔宇宙和特定的 Petrov 型时空，从而违反因果律。虽然修正引力理论常被提出以解决晚期加速和暗物质等宇宙学问题，但一个关键的理论问题依然存在：这些修正是否改变了时空的因果结构？具体而言，引入几何、物质与标量场之间非最小耦合的广义相对论扩展，是允许还是禁止标准 GR 解中存在的闭合类时曲线？本文在广义引力作用量 $f(R, L_m, \Phi, X)$ 的框架下研究这一问题，其中 $R$ 为里奇标量，$L_m$ 为物质拉格朗日量，$\Phi$ 为标量场，$X = g_{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi$ 为其动能项。

方法论
作者采用作用量的特定函数形式 $f = R + L_m + \frac{\lambda}{2}g_{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi$，其中 $\lambda$ 为耦合常数。这一选择将标量场方程简化为弯曲时空中的标准无质量克莱因 - 戈尔登方程（$\Box\Phi = 0$），而引力场方程则获得了依赖于标量场动能的附加项。

为了检验该理论与因果律破坏的一致性，作者分析了两种在 GR 中已知允许存在闭合类时曲线的特定背景几何：

1. Petrov N 型 AdS 时空：由纯辐射源产生的、具有负宇宙学常数的柱对称解。
2. Petrov III 型 AdS 时空：同样具有负宇宙学常数和纯辐射源的轴对称解。

对于这两种几何，作者：

• 推导了度规张量、里奇张量和克里斯托费尔符号。
• 利用依赖于径向坐标的假设解标量场方程（$\Box\Phi=0$）（对于 N 型采用 $\Phi = a \ln \rho$，对于 III 型采用 $\Phi = b \ln r$）。
• 将这些解代入修正后的场方程，假设物质源为纯辐射场（$T_{\mu\nu} = \rho k_\mu k_\nu$）。
• 检查所得的代数方程和微分方程组，以确定是否存在一组自洽的参数（特别是宇宙学常数 $\Lambda$ 和能量密度 $\rho$）。

主要贡献与结果
本工作的主要贡献在于证明所考虑的特定 $f(R, L_m, \Phi, X)$ 模型使得 GR 中已知的允许闭合类时曲线的解变得不自洽。

• Petrov N 型的不一致性：当将修正后的场方程应用于柱对称的 N 型度规时，作者发现从 $tt$、$rr$ 及其他分量导出的方程组是矛盾的。具体而言，比较关于宇宙学常数和能量密度的方程表明，不存在既能满足几何约束又能满足物质源要求的兼容解。
• Petrov III 型的不一致性：对轴对称的 III 型度规进行的类似分析得出了不一致的方程组。作者指出，如果标量场贡献消失（$\lambda b^2 = 0$），方程将简化为标准 GR 情况，从而恢复已知解。然而，当标量场动能项非零时，方程变得互斥。
• 因果含义：由于场方程在该修正框架下不允许将这些特定几何作为有效解，因此包含闭合类时曲线的时空在该理论中无法存在。作者得出结论，额外的动力学自由度（标量场）施加了比广义相对论更严格的几何约束，有效地禁止了这些违反因果律的旋转宇宙学解的出现。

意义与主张
本文主张，在 $f(R, L_m, \Phi, g_{\mu\nu}\nabla_\mu\Phi\nabla_\nu\Phi)$ 框架下，闭合类时曲线的存在不仅仅是物质源的特征，而是受到引力动力学本身的约束。引力部门引入的修正作为一种机制，排除了那些在广义相对论中原本精确存在的非因果解。

作者谦逊地指出，虽然这些几何在其特定模型中被排除，但它们在其他修正引力理论（特别是里奇逆引力）中仍然是有效解，这表明对闭合类时曲线的禁止是依赖于模型的。该研究作为对修正引力理论因果一致性的一种理论探测，表明广义相对论的某些扩展可能通过使相关的时空度规在数学上变得不自洽，从而自然地解决因果律破坏问题。