Gravity from Relative Entropy: Jackiw–Teitelboim Dynamics on the Nariai Horizon

技术摘要：Nariai 视界上的相对熵与引力

问题陈述
Dorau 与 Much (2026) 最近的工作确立了局部 Rindler 视界上真空态与标量场相干激发之间的 Araki–Uhlmann 相对熵等于跨越该视界的提升能流（boost-energy flux）。将此相对熵识别为 Bekenstein–Hawking 面积变化（$S_{rel} = \delta A/4$）可导出半经典爱因斯坦方程。然而，这一推导面临两个局限性：

1. 几何局限： 局部 Rindler 楔区拥有面积无穷大的分叉曲面。因此，总熵在形式上是无穷大的，且识别 $S_{rel} = \delta A/4$ 只能在第一阶变分（$\delta A$）层面进行测试，缺乏有限的参考态。
2. 概念局限： 该推导并未解决熵究竟在计数什么的疑问。虽然相对熵衡量的是状态的可区分性，但归一化系数 $\delta A/4$ 引入了一个关于引力微观态的陈述，却未能提供其身份或微观计数。

方法论
为了解决这些问题，本文将构建过程从局部 R件 Rindler 楔区转移到了 Nariai 时空（$dS_2 \times S^2$），这是 Schwarzschild–de Sitter 族中黑洞视界与宇宙学视界合并的退化极限。

1. 几何设置： Nariai 几何具有一个全局的分叉杀伤视界（bifurcate Killing horizon），其分叉曲面是一个紧致的曲面（圆球面），具有有限面积 $A = 4\pi/\Lambda$。这允许对全局有限面积的视界熵进行定义 $S_N = \pi/\Lambda$。
2. 代数框架： 作者在这一背景下利用代数量子场论（AQFT）。他们通过从正则欧几里得截面（$S^2 \times S^2$）进行解析延拓，定义了一个优选的全局真空态 $\omega_0$（Hartle–Hawking 型态）。该态是 Hadamard 态，并满足在 Bousso–Hawking 温度 $T = \sqrt{\Lambda}/2\pi$ 下的 Kubo–Martin–Schwinger (KMS) 条件。
3. 模理论： 利用 Tomita–Takesaki 模理论，作者将视界代数的模流（modular flow）与几何杀伤流（Killing flow）相联系。他们通过评估视界数据上的辛形式，计算了相干激发 $\omega_\phi$ 的相对熵 $S_{rel}(\omega_0 \| \omega_\phi)$。
4. 降维： 标量场通过球面谐函数进行展开。由于横向球面 $S^2$ 的紧致性，模式塔（mode tower）被离散化，使得熵积分在无需减法的情况下保持有限。分析重点在于 $s$-波扇区（$\ell=0$），由于高阶谐波的指数级解耦，该扇区在近视界物理中占据主导地位。
5. 响应模型： 本文通过激发对几何的线性化扰动来模拟反作用（backreaction），该扰动由视界上的通量驱动。

核心贡献与结果

• 有限面积识别： 作者显式地计算了 Nariai 视界上相干激发的相对熵。他们证明了 $S_{rel}$ 是显然有限的，并且等于提升能流 $\delta Q$（经模因子加权）。通过施加识别关系 $S_{rel} = \delta A/4$，他们在无需无穷面积减法的情况下导出了爱因斯坦耦合常数 $\alpha = 8\pi$。紧致几何为 Bekenstein–Hawking 系数提供了全局校准。
• 导出 Jackiw–Teitelboim (JT) 动力学： 本文表明，响应模型（即通量与面积变化之间的关系）不仅是一个假设，而是一个从喉部（throat）线性化动力学中导出的定理。Nariai 喉部的 $s$-波扇区精确地约化为 de Sitter Jackiw–Teitelboim 引力。该扇区的标量场（dilaton）运动方程允许该响应假设作为其唯一的无零模解存在，从而通过降维固定了耦合常数 $8\pi$。
• Nariai 不稳定性选择规则： Nariai 时空是一种不稳定平衡。本文提出，相对熵流的正负号可以区分两种不稳定性分支（蒸发与反蒸发）。
  • 对于相干态，提升能流在点意义上是非负的，这意味着 $\delta A \geq 0$。这选择了穿透视界面积增加的分支（对于黑洞视界是反蒸发，对于宇宙学视界是蒸发）。
  • 反蒸发（面积减小）被证明需要非相干态（例如挤压态），在这些状态下，通量可以局部为负。
• 挤压态与“挤压-形状”不等式： 本文将分析扩展到挤压（高斯）激发。作者导出了一个“枢轴恒等式”（pivot identity），其中相对熵等于经模加权的量子通量。至关重要的是，它证明了一个“挤压-形状不等式”（具体表现为对于提升正频率包的干涉泛函 $I_2$ 消失）。这意味着，虽然挤压态可以产生局部负能量通量（驱动反蒸发），但总的模加权通量仍保持为正。这种负通量是一种“零和”的重新分配，由视界上其他位置的正通量所资助。
• “运行账本”： 作者定义了一个沿视界累积熵的运行账本。他们展示了对于挤压态，干涉项（负性的来源）会发生振荡并积分趋于零，从而确保总相对熵保持非负且符合热力学特征（$S_{rel} = \beta \Delta E_{boost}$）。

意义与主张
本文声称填补了“引力来自熵”研究计划中的空白，提供了一个熵是有限的、参考态是唯一的、且爱因斯坦耦合常数是被导出而非假设的设定。

• 熵的本质： 作者认为，驱动引力的并非隐藏基底（对于 III 型代数而言是未定义的）的冯·诺依曼熵，而是一种相对熵：一种衡量实现态（带有事件）与反事实真空（没有事件）之间信息论可区分性的度量。引力是这种可区分性记录在几何中的机制（$\delta A = 4 S_{rel}$）。
• 全局校准： 不同于 Rindler 楔区，Nariai 视界允许针对有限总容量（$A/4$）进行全局熵与面积关系的校准。
• 局限性与范围： 本文对完整的动力学影响持谨慎态度。不稳定性分支的选择规则被呈现为在线性响应、准平衡体制下的导出规则。将该结论扩展到该窗口之外的完全动力学、目的论（teleological）视界被确定为一个开放性问题。关于挤压态求和规则的推导依赖于一个关于乘积态收敛到 III 型设置中自然锥（natural cone）的猜想（Shale 定理），尽管本文为其有效性提供了强有力的证据。

总之，本文确立了在 Nariai 视界上，半经典爱因斯坦方程可以作为相干与挤压激发相对熵的记账恒等式而存在，其中耦合常数 $8\pi$ 通过降维至 Jackiw–Teitelboim 引力得到了固定。