The trace-free Einstein tensor is not variational for the metric as field variable

本文证明了无迹爱因斯坦张量不仅无法由具有微分同胚不变性的局域作用量导出，即便在放弃微分同胚不变性假设的情况下，也无法通过以（逆）度规为场变量的任意局域作用量变分得到。

要点

这篇论文探讨了一个非常深奥的物理学问题，但我们可以用一些生活中的比喻来把它讲得通俗易懂。

核心故事：寻找“完美配方”的失败尝试

想象一下，物理学界一直在寻找一个**“终极食谱”（作用量/Action）。这个食谱非常神奇，只要你按照它来烹饪（进行数学上的“变分”操作），就能得到描述宇宙如何弯曲、物质如何运动的“完美菜肴”（场方程）**。

在爱因斯坦的广义相对论中，这个“完美菜肴”就是著名的爱因斯坦场方程。科学家们知道，这个方程确实是从那个“终极食谱”里变出来的。

但是，最近有一群物理学家（就像本文的作者）提出了一种**“改良版菜肴”，叫做“无迹爱因斯坦方程”**（Trace-free Einstein equations）。

• 什么是“无迹”？ 想象一下，普通的方程里包含了一个关于宇宙整体膨胀速度的参数（宇宙学常数 $\Lambda$），就像汤里的一勺盐。而在“无迹”版本中，他们把这勺盐（方程的迹）给去掉了，只保留汤的“味道”（形状和结构），让盐的多少变成做菜过程中自然产生的结果，而不是预先定死的。

这篇论文要解决的核心问题是：这个“改良版菜肴”（无迹爱因斯坦张量），能不能也从一个“终极食谱”（作用量）里变出来？

作者的发现：不行，它变不出来！

作者们通过严密的数学证明（就像做了一次极其复杂的化学实验），得出了一个令人惊讶的结论：

对于“无迹爱因斯坦张量”来说，根本不存在这样一个“终极食谱”。

无论你怎么尝试，无论你是否要求这个食谱必须遵守某种对称性（比如“无论你怎么旋转桌子，味道都不变”），你都无法找到一个数学公式，使得对它进行标准的“变分”操作后，能正好得到这个“无迹方程”。

用比喻来理解为什么

为了理解为什么做不到，我们可以用**“缩放”**的比喻：

1. 正常的方程（有食谱的）： 想象一个乐高积木模型。如果你把整个模型按比例放大（比如放大 2 倍），它的结构逻辑是协调的。在数学上，这意味着如果你把描述空间的“尺子”（度规）缩放，方程里的各项变化是和谐的，能够完美地对应回那个“食谱”。
2. 无迹方程（没食谱的）： 这个“无迹方程”就像是一个**“去掉了地基的摩天大楼”**。
   • 当你试图去“缩放”这个方程（就像把整个宇宙放大或缩小）时，它的行为非常奇怪。
   • 作者发现，当你试图反推它的“食谱”时，计算结果竟然变成了**“零”**（就像你试图还原一个不存在的食谱，最后发现食谱是空白的）。
   • 既然食谱是空的，那你当然无法通过它变出任何菜肴。

这意味着什么？

1. 方程依然有效，但来源不同： 这并不意味着“无迹爱因斯坦方程”是错的或者不能用。它仍然是一个很好的物理模型，甚至能解释一些有趣的现象（比如宇宙常数可以是动态变化的）。只是，它不能像普通爱因斯坦方程那样，被简单地看作是一个“最小作用量原理”的直接结果。
2. 必须换种思路： 如果你想给这个方程找一个“食谱”，你就不能只用“度规”（描述空间弯曲的尺子）这一个变量。你可能需要引入一些**“辅助演员”**（额外的场或变量），或者改变游戏规则（比如限制空间的体积，这就是所谓的“单模重力”Unimodular gravity）。
3. 数学上的“死胡同”： 这篇论文证明了，如果你坚持只用“度规”作为唯一的变量，并且坚持用标准的变分法，那么“无迹方程”就是数学上的“死胡同”，它没有对应的“源头”。

总结

这就好比你在玩一个拼图游戏：

• 普通的爱因斯坦方程是一块完整的拼图，你能清楚地看到它属于哪幅画（作用量）。
• 无迹爱因斯坦方程像是一块形状奇怪的碎片。作者证明了，如果你只允许用一种特定的拼图板（度规变量），这块碎片永远拼不进任何一幅完整的画里。

但这并不妨碍我们欣赏这块碎片本身的形状和美感，只是我们需要换一种方式来理解它，或者给它配一个更复杂的拼图板（引入新的变量），才能把它拼回去。

一句话总结： 这篇论文告诉我们，那个去掉“宇宙常数”的改良版引力方程，虽然物理上很有用，但在数学上它无法由一个标准的“作用量原理”直接推导出来，除非我们引入新的变量或改变规则。

技术摘要

以下是基于论文《The trace-free Einstein tensor is not variational for the metric as field variable》（无迹爱因斯坦张量作为度规场变量时不可由变分导出）的详细技术总结：

1. 研究背景与问题 (Problem)

• 核心对象：无迹爱因斯坦张量（Trace-free Einstein tensor），定义为 $G^{\text{tf}}_{\mu\nu} := R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu}$，其中 $n \ge 3$ 是时空维数。
• 物理背景：无迹爱因斯坦方程（$G^{\text{tf}}_{\mu\nu} = \kappa (T_{\text{tf}})_{\mu\nu}$）被视为广义相对论的一种有趣修正。在假设物质能量 - 动量守恒（$\nabla_\mu T^{\mu\nu}=0$）时，这些方程蕴含了标准爱因斯坦方程，但宇宙学常数 $\Lambda$ 不再是固定参数，而是作为积分常数出现，允许不同解具有不同的 $\Lambda$ 值。
• 已知结论：众所周知，由于微分同胚不变性（diffeomorphism invariance）导致变分导数的协变散度恒为零，而无迹爱因斯坦张量的协变散度并不恒为零（因为 $n \ge 3$），因此它不能由微分同胚不变的局部作用量泛函对逆度规 $g^{\mu\nu}$ 的变分导出。
• 待解决问题：如果放弃“微分同胚不变性”这一假设，仅考虑一般的局部作用量泛函，无迹爱因斯坦张量是否仍然无法通过对逆度规（或度规）的变分导出？即：是否存在某种非不变的作用量，其欧拉 - 拉格朗日方程恰好是无迹爱因斯坦张量？

2. 方法论 (Methodology)

作者采用了逆变分法（Inverse Calculus of Variations）中的变分完备法（Method of Variational Completion），具体使用了 Vainberg-Tonti Lagrangian（Vainberg-Tonti 拉格朗日量）。

• 基本逻辑：

  1. 给定一个张量密度表达式 $E_A[y^B]$（此处 $y^B$ 为逆度规 $g^{\mu\nu}$，$E_A$ 为无迹爱因斯坦张量的密度化形式）。
  2. 构造与之关联的 Vainberg-Tonti 拉格朗日量 $L[y^A]$，定义为：
     $$L[y^A] := y^B \int_a^1 E_B[u y^A] du$$
     其中 $a$ 是使得 $\lim_{u \to a} u E_B[u y^A] = 0$ 的极限值。
  3. 核心定理（Theorem 3）：如果 $E_A$ 是局部变分的（即来自某个局部拉格朗日量），且对应的 Vainberg-Tonti 拉格朗日量存在，那么对该拉格朗日量作用量进行变分，必须还原出原始的表达式 $E_A$。
  4. 反证策略：如果计算出的 Vainberg-Tonti 拉格朗日量存在，但对其变分得到的结果不等于原始表达式 $E_A$（例如变分结果为 0），则证明 $E_A$ 不是局部变分的。

• 具体操作：

  • 考虑密度化的无迹爱因斯坦张量 $\tilde{G}^{\text{tf}}_{\mu\nu} = \sqrt{|g|} (R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu})$。
  • 分析其在逆度规缩放 $g^{\mu\nu} \to u g^{\mu\nu}$ 下的标度行为。
  • 计算积分并构造 Vainberg-Tonti 拉格朗日量。

3. 关键贡献与推导过程 (Key Contributions & Derivation)

• 定理 1 的陈述：对于 $n \ge 3$，密度化的无迹爱因斯坦张量 $\tilde{G}^{\text{tf}}_{\mu\nu}$ 不能由任何局部作用量泛函对逆度规 $g^{\mu\nu}$ 的变分导出。这一结论不需要假设作用量具有微分同胚不变性。

• 推导步骤：

  1. 标度分析：
     • 当逆度规缩放 $g^{\mu\nu} \to u g^{\mu\nu}$ 时，度规 $g_{\mu\nu} \to u^{-1} g_{\mu\nu}$。
     • 克里斯托费尔符号 $\Gamma$ 和里奇张量 $R_{\mu\nu}$ 在此缩放下保持不变（不变量）。
     • 里奇标量 $R = g^{\mu\nu}R_{\mu\nu}$ 缩放为 $u^{-1} R$（注意：原文推导中 $R$ 随 $g_{\mu\nu}$ 缩放，若 $g^{\mu\nu} \to u g^{\mu\nu}$，则 $g_{\mu\nu} \to u^{-1} g_{\mu\nu}$，故 $R \to u^{-1} R$。但在论文公式 (5) 的推导中，作者似乎将 $g^{\mu\nu}$ 视为场变量，并考察 $g^{\mu\nu} \to u g^{\mu\nu}$ 对 $\tilde{G}$ 的影响。
     • 修正理解论文逻辑：论文中定义 $\tilde{G}^{\text{tf}}_{\mu\nu}[u g^{\rho\sigma}]$。
       • $g_{\mu\nu} \to u^{-1} g_{\mu\nu}$。
       • $R_{\mu\nu}$ 不变。
       • $R = g^{\mu\nu} R_{\mu\nu} \to u R$ (这里原文可能有笔误或特定定义，通常 $R$ 随 $g_{\mu\nu}$ 缩放。让我们仔细看原文公式 5：$R_{\mu\nu} - \frac{1}{n} R u^{-1} g_{\mu\nu}$。原文推导指出 $R$ 缩放为 $u$，这暗示 $R$ 是 $g^{\mu\nu} R_{\mu\nu}$ 且 $R_{\mu\nu}$ 不变，所以 $R \to u R$。这是正确的，因为 $R_{\mu\nu}$ 由 $\Gamma$ 决定，$\Gamma$ 不变，所以 $R_{\mu\nu}$ 不变。$R = g^{\mu\nu} R_{\mu\nu}$，若 $g^{\mu\nu} \to u g^{\mu\nu}$，则 $R \to u R$。
       • 行列式因子 $\sqrt{|g|} \to |u|^{-n/2} \sqrt{|g|}$。
       • 综合项：$\tilde{G}^{\text{tf}}_{\mu\nu} \to |u|^{-n/2} (R_{\mu\nu} - \frac{1}{n} (u R) u^{-1} g_{\mu\nu}) = |u|^{-n/2} \tilde{G}^{\text{tf}}_{\mu\nu}$。
  2. 确定积分下限 $a$：
     • 需要满足 $\lim_{u \to a} u \tilde{G}^{\text{tf}}_{\mu\nu}[u g] = 0$。
     • 缩放因子为 $u \cdot |u|^{-n/2} = \text{sgn}(u)|u|^{1-n/2}$。
     • 当 $n \ge 3$ 时，指数 $1-n/2 \le -0.5$。该因子仅在$u \to \infty$时趋于 0。因此$a = \infty$。
  3. 计算 Vainberg-Tonti 拉格朗日量：
     $$L[g] = g^{\rho\sigma} \int_{\infty}^1 \tilde{G}^{\text{tf}}_{\rho\sigma}[u g] du = g^{\rho\sigma} \tilde{G}^{\text{tf}}_{\rho\sigma}[g] \int_{\infty}^1 u^{-n/2} du$$
     • 积分 $\int_{\infty}^1 u^{-n/2} du$ 收敛（因为 $n \ge 3$）。
     • 关键步骤：$g^{\rho\sigma} \tilde{G}^{\text{tf}}_{\rho\sigma} = \sqrt{|g|} (R - \frac{1}{n} R \cdot n) = 0$。
     • 由于无迹性，被积函数中的张量缩并为零，导致整个拉格朗日量 $L[g] = 0$。
  4. 结论：
     • 对 $L=0$ 的作用量进行变分，结果为 0。
     • 但原始表达式 $\tilde{G}^{\text{tf}}_{\mu\nu}$ 显然不为 0。
     • 根据变分完备法的定理，$\tilde{G}^{\text{tf}}_{\mu\nu}$ 不是局部变分的。

4. 主要结果 (Results)

1. 普遍性结论：无迹爱因斯坦张量不能由任何局部作用量（无论是否满足微分同胚不变性）对逆度规 $g^{\mu\nu}$ 的变分导出。
2. 场变量的依赖性：该结论严格依赖于将逆度规（或度规）作为唯一的场变量。
3. 对迹的依赖：结果依赖于张量的“无迹”性质（Trace-free），正是这一性质导致 Vainberg-Tonti 拉格朗日量在缩并后消失。
4. 对偶形式：该结论同样适用于将度规 $g_{\mu\nu}$ 作为场变量时的逆变无迹爱因斯坦张量，推导过程类似，积分下限变为 $a=0$，最终拉格朗日量同样为零。

5. 意义与讨论 (Significance)

• 澄清变分原理的局限性：论文澄清了无迹爱因斯坦方程（Unimodular Gravity 的核心方程）在标准度规变量下的变分性质。它证明了这些方程不能直接作为某个局部拉格朗日量的欧拉 - 拉格朗日方程出现。
• 对单模引力（Unimodular Gravity）的启示：
  • 在单模引力中，通常通过引入约束（固定体积元）或拉格朗日乘子来构建作用量。
  • 论文指出，在这些变分表述中，对度规的变分直接给出的是完整的爱因斯坦方程（其中宇宙学常数作为拉格朗日乘子出现），而不是直接给出无迹方程。无迹方程只是完整方程在特定约束下的推论。
  • 这解释了为什么在单模引力的变分表述中，$\Lambda$ 表现为积分常数或乘子，而不是直接由无迹张量的变分产生。
• 理论构建的指引：
  • 如果希望无迹爱因斯坦方程直接来自变分原理，必须改变场变量（例如引入辅助场、使用不同的几何变量）或引入非局部的项。
  • 这也解释了为何近年来已有研究（参考文献 [5-7]）通过引入辅助动力学场或改变变量来构造无迹爱因斯坦方程的作用量，这些构造是可行的，但前提是不能仅使用度规作为唯一的场变量。
• 数学严谨性：该工作利用逆变分法的严格数学工具，去除了对“微分同胚不变性”这一物理假设的依赖，从纯数学结构上证明了无迹张量的非变分性，增强了结论的普适性和坚固性。

总结：这篇论文通过变分完备法证明，无迹爱因斯坦张量在数学结构上本质上无法由仅含度规（及其导数）的局部作用量导出。这一结果不仅巩固了广义相对论中标准变分原理的地位，也为理解单模引力及其他修改引力理论中的变分结构提供了重要的理论边界。