Black hole thermodynamics at null infinity. Part 1: Dual Generalized Second Law

技术摘要：零无穷远处的黑洞热力学——第一部分：对偶广义第二定律

问题陈述
黑洞热力学的广义第二定律（GSL）断言广义熵 $S_{\text{gen}} = A/4G\hbar + S_{\text{out}}$ 的单调递增，其中 $A$ 是视界面积，$S_{\text{out}}$ 是视界外量子场的熵。现代关于 GSL 的证明依赖于代数量子场论（AQFT）中相对熵的单调性，该理论通常基于定义在事件视界上的可观测算符代数，并使用在视界对称性下（例如 Hartle-Hawking 态）保持不变的真空态。

然而，这种表述本质上与靠近视界的观测者的视角相绑定。渐近观测者（位于未来零无穷远 $\mathscr{I}^+$）无法获取黑洞面积 $A$。相反，他们观测到的是邦迪质量（Bondi mass）$M$ 和向外的霍金辐射。本文解决的核心问题是：是否可以完全基于 $\mathscr{I}^+$ 处的渐近可观测物理量来构建一个热力学第二定律？如果可以，其控制的热力学势是什么？以往的研究曾暗示存在一个涉及亥姆霍兹自由能（Helmholtz free energy）的“对偶”GSL，但仍缺乏一个能够处理现实真空态（包括灰体效应）的严谨代数推导。

方法论
作者利用代数量子场论（AQFT）和 Tomita-Takesaki 模理论，从未来零无穷远的视角分析了 Schwarzschild 背景下无质量标量场的热力学。

1. 运动学与半经典动力学： 作者定义了极大延展的 Schwarzschild 时空，并引入了“极大延展的零无穷远”（$\mathscr{I}_R$），这是一个包含未来和过去零无穷远区域（$\mathscr{I}^+_I \cup \mathscr{I}^-_{II}$）的零超曲面。他们推导了关系到邦迪质量变化量与应力-能量张量积分的半经典爱因斯坦方程，这类似于视界上的 Raychaudhuri 方程。
2. 量子化与真空态： 标量场在 $\mathscr{I}_R$ 上被量子化。作者构建了可观测算符代数，并识别出三类不同的真空态，每种状态都由特定的正频率模和时间坐标定义：
   • Hartle-Hawking 态 ($|\Omega_H\rangle$)： 使用类似 Kruskal 的坐标（$U = e^{\kappa u}$）定义。虽然该态在视界处是热的，但由于存在延伸至空间无穷远的恒定热浴，它会在 $\mathscr{I}^+$ 产生无限大的能量通量，因此不适合描述孤立黑洞。
   • 硬正则化（$L$-真空，$|\Omega^L_H\rangle$）： 该态对于角动量模 $l < L$ 是热的（与 Hartle-Hawking 态一致），但对于 $l \geq L$ 则与 Minkowski 真空一致。这引入了一个硬截断以抑制高角动量模，从而使 $\mathscr{I}^+$ 处的能量密度保持有限。
   • 软正则化（$\kappa_l$-真空，$|\Omega^{\{\kappa_l\}}_H\rangle$）： 在该态中，每个角动量模 $l$ 被分配一个有效温度 $T_l = \kappa_l/2\pi$。这模拟了现实黑洞中频率相关的传输概率（灰体因子），其中高 $l$ 模受到抑制（当 $l \to \infty$ 时 $\kappa_l \to 0$）。
3. 模理论与相对熵： 证明依赖于在限制的可观测算符代数下的相对熵单调性。作者构建了 $\mathscr{I}^+$ 处限制代数的单侧模哈密顿量（$K$）。他们将这些模哈密顿量与正规排序后的应力-能量张量积分联系起来，并通过半经典爱因斯坦方程将其与邦迪质量 $M$ 联系起来。

主要贡献与结果

• 对偶 GSL 的推导： 作者证明了对于渐近观测者而言，量子场的自发演化受控于热力学势 $G$ 的单调递减，而非广义熵的增加。这是通过不等式 $\Delta S_{\text{vN}} - \Delta \langle K \rangle \geq 0$ 推导出的，其中 $S_{\text{vN}}$ 是冯·诺依曼熵，$\langle K \rangle$ 是模哈密顿量的期望值。
• 热力学势：
  • 对于 Hartle-Hawking 态及其硬正则化（$L$-真空），相关的势是亥姆霍兹自由能：
    $$\Delta M - T_H \Delta S \leq 0$$
    其中 $T_H$ 是霍金温度。作者表明，通过考虑不同切片之间的差异，可以一致地处理 Hartle-Hawking 态中的发散零点能，从而得到有限的自由能变化量。
  • 对于 软正则化（$\kappa_l$-真空），该势变为广义巨正则势（Generalized Grand Potential）：
    $$\Delta M - \sum_{lm} \int_0^\infty \mu_{\omega l} \Delta n_{\omega lm} d\omega - T_H \Delta S \leq 0$$
    此处，灰体因子引入了有效化学势 $\mu_{\omega l}$（与有效温度 $\kappa_l$ 相对于霍金温度 $\kappa$ 的偏差相关）。这反映了不同的角动量模表现为不同的热库。
• 与标准 GSL 的统一： 在第 4.4 节中，作者将 $\mathscr{I}^+$ 处的对偶 GSL 与标准的 GSL 结合起来。通过考虑跨越从视界到零无穷远的类空超曲面，他们恢复了标准广义熵 $S_{\text{gen}} = A/4G + S_{\text{out}}$ 作为控制演化的单调量，展示了视界视角与渐近视角之间的一致性。

意义与主张
本文声称为“对偶”形式的广义第二定律提供了严谨的代数基础。其主要意义在于：

1. 转变视角： 它证明了第二定律不仅是视界的属性，更是量子场论代数结构的普遍结果，根据观测者所能获取的可观测物理量不同，表现形式也不同（视界面积 vs 邦迪质量）。
2. 真空的角色： 它强调了真空态的选择（以及相关的热环境）决定了第二定律的形式。从自由能到巨正则势的转变被证明是真空关于角动量模结构（灰体效应）的直接结果。
3. 代数严谨性： 不同于以往的启发式论证，这项工作明确构建了可观测算符代数，识别了循环且分离的态，推导了模哈密顿量，并在不依赖于假设的情况下将其与几何量（邦迪质量）联系起来。

作者指出，虽然 Hartle-Hawking 态在数学上很方便，但正则化版本（$L$-真空和 $\kappa_l$-真空）在描述孤立黑洞时更具物理相关性。这项工作为未来分析 Unruh 真空和旋转黑洞奠定了基础，后者将在另一篇配套论文中作为扩展进行讨论。