[论文解读] Bulk reconstruction and the Hartle-Hawking wavefunction

Daniel L. Jafferis|arXiv (Cornell University)|Mar 4, 2017

Black Holes and Theoretical Physics参考文献 36被引用 45

一句话总结

本文通过表明某些有问题的可观测量——例如位于黑洞视界背后的可观测量——在哈特勒-霍金波函数中不满足非微扰微分同胚不变性，从而解决了全息AdS/CFT中依赖于态的体积分算符与线性CFT映射之间的矛盾。通过在哈特勒-霍金框架中表述体积分重力，作者证明这些算符在非微扰层次上是病态定义的，而规范固定的关系型版本则保持一致，并线性映射到精确的CFT态。

ABSTRACT

In this work, a relation is found between state dependence of bulk observables in the gauge/gravity correspondence and nonperturbative diffeomorphism invariance. Certain bulk constraints, such as the black hole information paradox, appear to obstruct the existence of a linear map from bulk operators to exact CFT operators that is valid over the entire expected range of validity of the bulk effective theory. By formulating the bulk gravitational physics in the Hartle-Hawking framework to address these nonperturbative IR questions, I will demonstrate, in the context of eternal AdS-Schwarzschild, that the problematic operators fail to satisfy the Hamiltonian constraints nonperturbatively. In this way, the map between bulk effective theory Hartle-Hawking wavefunctions and exact CFT states can be linear on the full Hilbert space.

研究动机与目标

• 解决体积分有效理论到精确CFT态之间线性映射要求与依赖于态的体积分算符之间的冲突。
• 在永恒AdS-史瓦西黑洞的背景下，通过非微扰量子引力方法解决黑洞信息佯谬。
• 表明某些体积分可观测量不满足非微扰微分同胚不变性，从而否定其作为全希尔伯特空间上线性算符的存在性。
• 构建规范固定、关系型的体积分算符，使其满足微分同胚不变性并线性映射到CFT态，避免佯谬。
• 澄清量子引力中体积分测量的物理框架，强调时间平均密度矩阵和强耦合系统中退相干的作用。

提出的方法

• 使用哈特勒-霍金波函数表述体积分重力物理，以分析非微扰红外约束。
• 识别出视界背后的算符违反了类似于德西特-惠勒方程的非微扰哈密顿约束。
• 引入以边界为参考的关系型体积分算符，确保非微扰微分同胚不变性。
• 利用Papadodimas-Raju构造中的KMS类关系，在$1/N$微扰理论中定义态依赖算符。
• 通过时间平均密度矩阵分析引力中的测量过程，表明退相干是态依赖的且非线性。
• 应用威尔逊重正化群框架，理解有效理论中从UV到IR希尔伯特空间的投影。

实验结果

研究问题

• RQ1 为何朴素的视界背后的体积分算符在AdS/CFT中无法作为全希尔伯特空间上的线性算符一致定义？
• RQ2 哈特勒-霍金波函数如何解决依赖于态的体积分算符与幺正CFT演化之间的明显矛盾？
• RQ3 哪些非微扰约束——如微分同胚不变性——在有效理论中排除了某些体积分可观测量？
• RQ4 能否构造出既满足微分同胚不变性又线性映射到精确CFT态的关系型、规范固定体积分算符？
• RQ5 在缺乏局部、规范不变可观测量的前提下，描述量子引力中体积分测量的正确动力学框架是什么？

主要发现

• 朴素地描述黑洞视界后体积分物理的算符在哈特勒-霍金波函数中不满足非微扰哈密顿约束。
• 这些有问题的算符在非微扰层次上不满足时空微分同胚变换不变性，从而否定了其作为全局线性算符的存在性。
• 规范固定的关系型体积分算符——以边界为参考定义——满足非微扰一致性条件，并可线性映射到精确的CFT态。
• 该构造通过使体积分算符依赖于态，避免了AMPS佯谬，与Papadodimas-Raju框架一致。
• 体积分测量过程中的退相干并非近似为对局部算符本征态的投影，而是非线性地依赖于态和时间平均动力学。
• 该框架表明，在量子引力中需要一种新的、非因子化的观测者与测量描述，超越标准的量子测量公设。