Gravitational entropy in Petrov Type I spacetimes

本文通过将源自贝尔 - 罗宾逊张量代数分解的有效能量 - 动量张量分析应用于齐泽斯 II 类模型，将克利夫顿 - 埃利斯 - 塔瓦科尔引力熵提议推广至佩特罗夫 I 型时空。

要点

想象宇宙是一个巨大的、正在膨胀的气球。在最初，这个气球里充满了炽热、平滑的粒子汤（等离子体），处于完美的平衡状态，就像一杯被搅拌到温度均匀的热咖啡。在物理学中，这种完美平衡的状态被称为“热平衡”，它具有最大的“热熵”（无序度）。

但随着宇宙膨胀并冷却，情况变得混乱起来。星系、恒星和黑洞开始形成。宇宙变得凹凸不平且结构分明。这是一个谜题：通常，当事物变得更加结构化时，它们会变得更加有序，这意味着熵应该下降。但热力学第二定律指出，熵必须始终增加。

核心问题： 缺失的熵去了哪里？

物理学家怀疑，“引力”本身创造了一种新类型的熵。随着宇宙聚集在一起，引力在做功，这个过程产生了“引力熵”。

旧地图（Petrov D 型和 N 型）

几年前，一个由 Clifton、Ellis 和 Tavakol（简称 CET）组成的物理学家团队提出了一种测量这种引力熵的新方法。他们将引力不仅仅视为一种力，而是视为一种拥有自身“能量”、“压力”和“温度”的流体。

然而，他们的地图仅适用于两种非常具体、简单的时空形状（称为 Petrov D 型和 N 型）。可以将这些想象为完美的球体或完美的波。对于这些简单的形状，数学是独特且清晰的：只有一种计算熵的方法。

新领域（Petrov I 型）

真实的宇宙并非完美的球体或波浪；它是混乱且复杂的。本文的作者想要验证 CET 地图是否适用于混乱、复杂的时空形状，即Petrov I 型。

他们面临的问题是：在这些复杂的形状中，数学无法给出单一的答案。这就像试图寻找一个数的“平方根”，但你得到的不是单一答案（例如 $\sqrt{4} = 2$），而是几个不同的答案，它们都符合方程。对于这类混乱的时空，描述引力场“能量”的复杂数学对象——Bel-Robinson 张量——可以有多种不同的分解方式。

实验："Szekeres"测试案例

为了验证他们的理论，作者选择了一个特定的、混乱的宇宙模型，称为Szekeres II 类模型。想象这是一个物质密度不仅仅是平滑云团，而是具有“隆起”和“山谷”，并且有能量流穿过其中的宇宙（就像河流流经丘陵地带）。

他们问道：如果我们使用不同的数学分解方式，我们是否会得到关于引力熵的一致图景？

他们的发现

1. 多条路径，同一终点： 他们发现，尽管存在多种数学分解方式（多个“根”），但它们都导向一致的物理图景。

   • 其中一些数学部分看起来像辐射（就像在空间中传播的光或热）。
   • 另一些看起来像库仑场（就像带电球体周围的静电场，但针对的是引力）。
   • 关键的是，它们都认同一条简单的规则：这种引力流体的“压力”始终是其“密度”的三分之一。这与支配我们宇宙中光和辐射的规则相同。

2. 熵始终增长： 当他们计算这些混乱时空的“引力熵”时，发现随着宇宙的演化，它增加了。

   • 在数学中“类辐射”部分的熵增长比“静态”部分更快。
   • 这种增长是由宇宙的“凹凸不平”驱动的。随着宇宙膨胀且物质聚集在一起（形成那些隆起和山谷），引力熵随之上升。

3. “特殊速度”的联系： 作者意识到，这些模型中的“能量流”（我们丘陵地带类比中的河流）可以被理解为“特殊速度”。想象一个星系在空间中运动，不仅仅是因为宇宙在膨胀，还因为它相对于背景具有自己的特殊速度。这种额外的运动有助于推动熵的增加。

结论

这篇论文是一个“概念验证”。它表明：“嘿，CET 测量引力熵的方法不仅仅适用于完美、简单的宇宙。它也适用于混乱、复杂、现实世界的宇宙（Petrov I 型），尽管数学更加棘手且存在多个解。”

他们表明，即使数学复杂，故事依然相同：随着宇宙形成结构并变得更加凹凸不平，引力熵增加，从而满足热力学定律。

在这篇特定的论文中，他们并没有在黑洞、虫洞或宇宙的未来上测试这一点；他们严格地在特定数学模型（一个混乱的宇宙）上进行了测试，以观察理论是否成立。而结果是成立的。

技术摘要

技术摘要：Petrov I 型时空中的引力熵

问题陈述
Clifton、Ellis 和 Tavakol（CET）提出的引力熵方案依赖于通过 Bel-Robinson 张量的代数分解构建有效能量 - 动量张量。历史上，该框架仅限于 Petrov D 型和 N 型时空，因为在这些时空中 Bel-Robinson 张量允许存在唯一的“平方根”（即二阶对称张量）。然而，对于 Petrov I 型时空，这种代数分解并非唯一，导致可能的二阶因子出现简并。因此，将 CET 熵应用于一般的非均匀宇宙学模型（通常为 Petrov I 型）受到了限制。本文旨在通过考察由 Bel-Robinson 张量的非唯一因子产生的有效能量 - 动量张量，将 CET 形式体系扩展到 Petrov I 型时空。

方法论
作者采用了 Bonilla 和 Senovilla 推导出的 Bel-Robinson 张量代数因子分解法。对于 Petrov I 型时空，Bel-Robinson 张量可分解为多对不同的无迹二阶对称张量。本研究按以下步骤进行：

1. 代数分解：作者确定了 Petrov I 型时空中 Bel-Robinson 张量的三种可能因子分解，产生了六个不同的无迹因子（$A^1_{ab}, B^1_{ab}$ 以及 $A^\pm_{ab}, B^\pm_{ab}$）。这些因子用 Newman-Penrose（NP）共形不变量（$\Psi_0, \dots, \Psi_4$）表示。
2. 引力态变量：利用四维速度场 $u^a$ 及其正交投影，作者为这六个因子中的每一个定义了“引力态变量”（密度 $\rho_{gr}$、压强 $p_{gr}$、能流 $q_{gr}^a$ 和各向异性应力 $\Pi_{gr}^{ab}$）。
3. 极限情况：分析这些因子在时空从 Petrov I 型过渡到 D 型（通过令 $|\Psi_1|, |\Psi_3| \to 0$）时的行为。这确保了这些因子收敛于 D 型时空已知的唯一平方根。
4. 熵产生：利用吉布斯一形式关系 $T_{gr}\dot{s} = \dot{\rho}_{gr}V + (\rho_{gr} + p_{gr})\dot{V}$ 计算每个因子的引力熵产生率（$\dot{s}$），其中 $T_{gr}$ 通过局部引力红移定义。
5. Szekeres II 类模型的应用：将该形式体系应用于 Szekeres II 类模型，这是一种具有非零能流的精确 Petrov I 型解。作者将共形不变量的演化与 1+3 流体流动方法中的爱因斯坦场方程耦合，以物理源（密度和能流）表示熵的增长。

主要贡献与结果

• CET 形式体系的扩展：本文通过显式地从 Bel-Robinson 张量的非唯一因子构建有效能量 - 动量张量，成功将 CET 引力熵提案扩展到了 Petrov I 型时空。
• 状态方程：一个重要的发现是，尽管这六个无迹因子在代数上存在差异，但它们都遵循相同的引力状态方程：$p_{gr} = \frac{1}{3}\rho_{gr}$。
• 向 D 型收敛：分析证实，当时空趋近于 Petrov D 型（$\Psi_1$ 和 $\Psi_3$ 消失）时，这些因子正确收敛。具体而言，两个因子（$A^1_{ab}$ 和 $B^1_{ab}$）收敛于 D 型时空唯一的库仑平方根，而其余四个因子（$A^\pm_{ab}, B^\pm_{ab}$）收敛于 D 型时空的纯辐射因子。
• Szekeres 模型中的熵增长：
  • 对于 Szekeres II 类模型，推导出了辐射因子（$\dot{s}_R$）和库仑因子（$\dot{s}_{A1}, \dot{s}_{B1}$）的熵增长率。
  • 结果表明，在扰动参数 $\alpha$（衡量与 D 型时空的偏差）的主导阶上，辐射态表现出比库仑态更高的熵增长。
  • 库仑态仅在 $O(\alpha^2)$ 阶显示出对熵增长的修正。
• 运动学解释：在 $|\alpha| \ll 1$（相对于密度对比度，能流较小）的机制下，能流 $q_a$ 在运动学上被解释为特殊速度场。作者指出，这种叠加在非均匀物质密度上的特殊速度增强了非线性，并驱动了引力熵的增加。
• 可积性：本文考察了吉布斯一形式的可积性。文中指出，虽然无迹因子并不严格满足能量守恒（需要添加迹项以满足该条件），但直接计算了与无迹因子相关的熵。附录 A 提供了无迹张量的熵与满足能量守恒的张量的熵之间的关系。

意义与主张
作者声称，这项工作消除了 CET 提案仅限于 Petrov D 型和 N 型的限制，从而允许在更一般的非均匀时空中研究引力熵。通过证明 I 型时空中的非唯一因子收敛于 D 型时空已知的唯一因子，本文论证了这些因子作为有效能量 - 动量张量候选者的可行性。

对 Szekeres II 类模型的应用作为一个测试案例，表明该形式体系可以与爱因斯坦方程耦合，从而将熵增长与物理源（密度和能流）联系起来。本文谦逊地得出结论：虽然辐射因子在主导阶上主导了熵增长，但库仑因子（与 D 型极限相关）为完整描述提供了必要的修正。这项工作并未提出新的实验测试，而是为在更广泛的精确解类中计算引力熵提供了一个理论框架。