朗道背景规范下量子引力的有效作用量是什么？

朗道背景规范究竟固定了什么

论文用背景场方法量子化引力与无质量标量场的耦合，把度规和标量场拆分为背景部分与量子部分。规范固定采用带参数 ξ 的广义 de Donder 条件，朗道背景规范即 ξ → 0 的极限。由于该规范固定项产生的相互作用顶点在 ξ → 0 时各自发散，作者在中间步骤中保持 ξ 有限，只在给定计算的各项贡献合并之后才取极限。

论文还给出一种等价表述，允许从一开始就取 ξ → 0，办法是引入 Nakanishi-Lautrup 辅助场 B_μ。对 B_μ 积分后，朗道背景规范条件以 delta 函数的形式出现，由此得到的 Faddeev-Popov 鬼场拉氏量涉及矢量鬼场 η_μ 与 η*_μ 以及背景 Ricci 张量。完整的有效拉氏量在 BRST 变换下不变，这正是使 Slavnov-Taylor 恒等式可用于检验整个构造的原因。

BRST 不变性与支撑结果的 Ward 恒等式

论文推导了反映规范固定理论 BRST 对称性的 Slavnov-Taylor 恒等式，引入外源 G*_{μν} 和 C*_μ，分别与引力子和鬼场的 BRST 变换耦合。在减去朗道规范固定项之后，该恒等式取一种普适形式，作者论证它对单粒子不可约格林函数生成泛函在所有阶都成立。

随后，论文从背景有效作用量在背景规范变换下的不变性出发，在动量空间提取出 Ward 恒等式。其中一条 k_μ Π^{μν,αβ}(k) = 0 表明背景引力子自能是横向的。另一条把背景引力子三点顶点的四维散度与引力子自能联系起来。这些恒等式正是抵消项拉氏量能够用背景不变结构写出的结构性原因，也是作者后来用来论证单圈之外有限性的工具。

离壳抵消项中只剩六个结构

量纲分析、对称性以及相互作用项的形式允许九个由背景曲率和背景标量场构成的独立不变结构。利用消去 Riemann 张量平方作为独立量的恒等式，并且由于朗道规范固定项又消去了三个结构，单圈背景抵消项拉氏量约化为六个独立项，其无量纲系数为 c₁ 至 c₆。

这些系数逐个由费曼图确定。背景引力子自能图给出 c₁ = 43/240 和 c₂ = 43/120。标量自能的发散部分为零，因此 c₃ = 0。背景三点函数 ⟨h φ φ⟩ 给出 c₄ = 1/3 和 c₅ = −5/6，四点标量函数给出 c₆ = 1/4。代入这些值即得到式 (3.12) 的显式离壳抵消项拉氏量。作者指出，这一结果与他们在一般背景规范下的早期计算在所有规范参数最后取零时一致，但朗道规范这条路径要简单直接得多。

标量自能在单圈不发散

标量自能图的发散部分在朗道背景规范下为零，这正是 c₃ = 0 的来源。论文更进一步：它给出背景引力子-标量-标量顶点与朗道规范下引力子传播子之间的一个图形恒等式，并论证由于该恒等式在朗道规范下对任意时空维度 D 都成立，标量自能在任意维度 D 也必须为零。

这是关于单圈离壳标量自能发散部分的陈述，而不是关于完整自能的陈述。作者还指出，基于对称性和幂次计数，在壳（k² = 0）的无质量标量自能在所有阶都为零。因此，单圈有限性是对一个性质的显式验证，论文随后论证该性质可能延续到更高阶。

在壳时拉氏量塌缩为一项

代入爱因斯坦方程 R_{μν} − ½ R g_{μν} = (κ²/2) T_{μν}，并使用无质量标量场的能量-动量张量，得到在壳关系 R_{μν} = −(κ²/2) ∂_μ φ ∂_ν φ 和 R = −(κ²/2) ∂_μ φ ∂^μ φ。把这些关系代入离壳抵消项拉氏量后，只剩下一项：一个 (∂_μ φ ∂^μ φ)² 结构，系数为 203/320，并乘以 √g κ⁴/(16π²ε)。

论文指出，这一在壳结果与 't Hooft 和 Veltman 在费曼背景规范下得到的结果一致。作者把这一致性描述为 Kallosh-DeWitt 定理所预期的，该定理断言在壳有效作用量应当与规范固定参数无关。因此，这一比较是对计算的相容性检验，而不是新的物理预言：离壳拉氏量依赖规范且在朗道规范下更简单，而在壳答案不依赖规范，并与更早的费曼规范计算相符。

为何更高阶有限性只是一个论证

摘要指出，物质自能在朗道背景规范下于单圈有限，也可能在更高阶有限。论文对此的支持是涉及背景引力子-标量-标量顶点的背景 Ward 恒等式，以及该顶点与朗道规范下引力子传播子之间的图形恒等式。作者把这一点作为推论而非已证明的结果提出，并明确表示可以通过计算图 4 中标量自能图的贡献在双圈阶加以检验，而这是他们目前正在考虑的问题。

这一区分关系到如何解读这篇论文。单圈离壳抵消项拉氏量、单圈标量自能发散部分为零，以及在壳结果与 't Hooft 和 Veltman 一致，都是显式计算。向更高阶的推广则是基于对称性的预期，尚待显式双圈检验。论文还把量子引力描述为按幂次计数不可重整，但在现代意义下可重整，即发散可由规范对称性允许的所有抵消项消去。

朗道规范选择带来的实际判断

论文的实际重点在于通往同一物理的两条路径之间的比较。离壳时，朗道背景规范把单圈抵消项拉氏量约化为六个结构，系数为 43/240、43/120、0、1/3、−5/6 和 1/4，作者报告这条路径比一般背景规范计算简单直接得多。在壳时，同一拉氏量塌缩为单个 (∂φ)⁴ 项，系数为 203/320，与费曼规范结果一致。

对判断该信任什么的读者来说，分界在于哪些是计算出来的、哪些是论证出来的。六系数离壳拉氏量、单圈标量自能发散部分为零，以及在壳结果与 't Hooft 和 Veltman 一致，都是显式的单圈结果。标量自能在更高阶是否保持有限，依赖于背景 Ward 恒等式，仍有待作者所指出的双圈图确认。因此，朗道规范在这里的价值是计算上的经济性，以及为有限性问题提供一个干净的框架，而不是改变在壳答案。

本文引用的文献