[论文解读] Generalized Black Hole Entropy is von Neumann Entropy

Jonah Kudler-Flam, Samuel Leutheusser+1 more|arXiv (Cornell University)|Sep 27, 2023

Black Holes and Theoretical Physics被引用 5

一句话总结

该论文证明了广义黑洞熵——定义为贝肯斯坦-霍金面积律与量子场冯诺依曼熵之和——正是具有分叉基灵视界的时空上，经过引力‘ Dressing’的可观测量代数的冯诺依曼熵。通过在具有分叉基灵视界的时空上，为线性克莱因-戈登理论构建此类代数的一般框架，作者证明了可观测量代数始终包含一个局域于视界的类型 II∞ 因子；在半经典的态下，该代数的冯诺依曼熵即使在非平衡时空（如克尔或德西特时空）中也精确重现广义熵，其形式为 $ S_{\text{gen}} = A/4G_N + S_{\text{vN}}(\rho_\omega) $。

ABSTRACT

It was recently shown that the von Neumann algebras of observables dressed to the mass of a Schwarzschild-AdS black hole or an observer in de Sitter are Type II, and thus admit well-defined traces. The von Neumann entropies of "semi-classical" states were found to be generalized entropies. However, these arguments relied on the existence of an equilibrium (KMS) state and thus do not apply to, e.g., black holes formed from gravitational collapse, Kerr black holes, or black holes in asymptotically de Sitter space. In this paper, we present a general framework for obtaining the algebra of dressed observables for linear fields on any spacetime with a Killing horizon. We prove, assuming the existence of a stationary (but not necessarily KMS) state and suitable decay of solutions, a structure theorem that the algebra of dressed observables always contains a Type II factor "localized" on the horizon. These assumptions have been rigorously proven in most cases of interest. Applied to the algebra in the exterior of an asymptotically flat Kerr black hole, where the fields are dressed to the black hole mass and angular momentum, we find a product of a Type II$_{\infty}$ algebra on the horizon and a Type I$_{\infty}$ algebra at past null infinity. In Schwarzschild-de Sitter, despite the fact that we introduce an observer, the quantum field observables are dressed to the perturbed areas of the black hole and cosmological horizons and is the product of Type II$_{\infty}$ algebras on each horizon. In all cases, the von Neumann entropy for semiclassical states is given by the generalized entropy. Our results suggest that in all cases where there exists another "boundary structure" (e.g., an asymptotic boundary or another Killing horizon) the algebra of observables is Type II$_{\infty}$ and in the absence of such structures (e.g., de Sitter) the algebra is Type II$_{1}$.

研究动机与目标

• 解决在无热平衡（KMS）态存在的非平衡时空（如引力坍缩形成的黑洞或克尔黑洞）中，广义黑洞熵定义长期存在的模糊性问题。
• 为在具有分叉基灵视界的弯曲时空上，线性量子场论中‘引力Dressing’可观测量的构建，发展一个通用框架。
• 证明在半经典态下，这些Dressing可观测量的冯诺依曼熵与广义熵 $ S_{\text{gen}} = A/4G_N + S_{\text{vN}}(\rho_\omega) $ 完全一致，即使不存在KMS态。
• 对所得冯诺依曼代数进行分类，并表明其结构（类型 II∞ 或类型 II1）取决于是否存在边界结构（如视界或渐近边界）。

提出的方法

• 通过利用相空间的辛结构，将线性克莱因-戈登场与时空几何通过视界的质量和角动量耦合，构建‘引力Dressing’可观测量的一般框架。
• 将该框架应用于具有分叉基灵视界的时空，包括渐近平坦的克尔黑洞和德西特时空，假设处于稳态且解在渐近处衰减。
• 证明一个‘结构定理’，表明Dressing可观测量代数始终包含一个局域于视界的类型 II∞ 因子，无论该态是否为热态。
• 利用沿视界基灵向量的微扰辛通量，推导出一个与扰动面积和质量相关的守恒量，将其与黑洞力学第一定律联系起来。
• 证明在克尔时空中，可观测量代数整体为视界上的类型 II∞ 代数与过去 null 无穷远处的类型 I∞ 代数的乘积，整体仍为类型 II∞ 代数。
• 在史瓦西-德西特时空中，可观测量代数为两个类型 II∞ 代数（每个视界一个）的乘积，半经典态的冯诺依曼熵精确给出两个视界面积之和与两者之间场熵之和。

实验结果

研究问题

• RQ1 在无KMS态的时空（如引力坍缩形成的黑洞或克尔黑洞）中，广义黑洞熵能否被严格识别为冯诺依曼熵？
• RQ2 在具有分叉基灵视界的时空中，‘引力Dressing’可观测量的代数结构是什么？其结构如何依赖于边界结构的存在？
• RQ3 在非平衡情形下，半经典态在Dressing可观测量代数中的冯诺依曼熵是否能重现广义熵 $ A/4G_N + S_{\text{vN}}(\rho_\omega) $？
• RQ4 冯诺依曼代数的分类（类型 II∞ 与类型 II1）如何依赖于全局时空结构（如是否存在渐近边界或第二个视界）？
• RQ5 即使在无KMS态的情况下，能否从Dressing可观测量的辛结构推导出黑洞力学第一定律？

主要发现

• 在基灵视界上，‘引力Dressing’可观测量的代数始终是类型 II∞ 因子，无论其底层态是否为热态。
• 在克尔黑洞外部，完整的可观测量代数是视界上的类型 II∞ 代数与过去 null 无穷远处的类型 I∞ 代数的乘积，整体仍为类型 II∞ 代数。
• 在该代数中，半经典态的冯诺依曼熵精确等于广义熵 $ S_{\text{gen}} = A/4G_N + S_{\text{vN}}(\rho_\omega) $，即使不存在KMS态。
• 在史瓦西-德西特时空中，同时对黑洞与宇宙视界进行Dressing的可观测量代数是两个类型 II∞ 代数的乘积，半经典态的熵包含来自两个视界及两者之间场的贡献。
• 代数的分类为类型 II∞ 或类型 II1，取决于是否存在边界结构：当存在此类结构（如视界或渐近边界）时为类型 II∞；当不存在时（如无观测者的德西特时空）为类型 II1。
• 沿视界基灵向量的微扰辛通量产生一个守恒量，其形式与黑洞力学第一定律一致，其中面积项自然地从辛形式中导出。