[论文解读] On the Entropy Cone for Large Regions at Late Times

Ning Bao, Márk Mezei|arXiv (Cornell University)|Oct 31, 2018

Black Holes and Theoretical Physics参考文献 23被引用 5

一句话总结

该论文表明，此前仅在静态、常时间片上建立的全息纠缠熵不等式，同样适用于具有坍缩黑洞膜的时间依赖时空，特别是在大区域、晚期时间极限下。通过利用 Mezei 的膜理论——该理论将协变 HRT 纠缠熵重新表述为具有角度依赖张力的平坦空间中的最小膜问题——作者证明了包含-排除技术可推广至该动力学情形，从而在这些条件下证明了 MMI 及其高阶体扩展等复杂不等式的有效性。

ABSTRACT

In this note we show that the holographic entanglement entropy inequalities that hold for constant time slices are also valid for large regions and times in covariant spacetimes containing collapsing black branes, where the leading part of the entropy is computed by the simplified membrane theory of arXiv:1803.10244.

研究动机与目标

• 将已知的全息纠缠熵不等式（此前仅在常时间片上成立）推广至具有坍缩黑洞膜的时间依赖、协变时空。
• 确立包含-排除证明方法——在静态情形下有效——在动力时空的大区域、晚期时间极限下依然有效。
• 验证 Mezei:2018jco 的膜理论是否足以将静态情形下的不等式推广至时间依赖设置。
• 证明 Bao:2015bfa 中的熵锥不等式在混沌量子系统的晚期时间、大区域区域中得以保持。

提出的方法

• 将 HRT 纠缠熵计算重新表述为在具有角度依赖张力函数的平坦闵可夫斯基空间中的最小膜问题，该张力函数由体几何导出。
• 使用膜张力函数 E(v) = √[−a′(z)/(2(d−1)z²ᵈ⁻³)]，在 z = c⁻¹(v²) 处取值，以将时空动力学编码为几何最小化问题。
• 应用包含-排除方法——通过切割和重新粘合最小膜——通过证明并集表面的面积大于各独立面积之和，来证明不等式。
• 利用所有膜均位于同一边界闵可夫斯基空间中的事实，避免了在时间依赖设置中阻碍最大-最小方法的柯西片依赖性。
• 证明在膜图像中，几何最小化过程即使在区域重叠时仍保留包含-排除所需的结构。
• 论证在大区域、晚期时间极限（β/R → 0）下膜理论的有效性，确保全息熵不等式在静态情形之外依然成立。

实验结果

研究问题

• RQ1 在具有坍缩黑洞膜的时间依赖、协变时空下，静态常时间片中发现的全息纠缠熵不等式是否仍然有效？
• RQ2 在区域重叠的时间依赖设置中，静态情形下成功的包含-排除证明技术是否可推广？
• RQ3 Mezei 的膜理论是否足以证明在大区域、晚期时间极限下，如相互信息的单体性（MMI）及其高阶体扩展等复杂不等式的有效性？
• RQ4 将 HRT 熵重新表述为具有角度依赖张力的平坦空间中的最小膜问题，是否保留了证明熵不等式所需的几何约束？
• RQ5 膜理论作用量中的次主导修正在何种条件下可能影响这些不等式的有效性？

主要发现

• 来自 Bao:2015bfa 的全息纠缠熵不等式，包括相互信息的单体性及其高阶体推广，在具有坍缩黑洞膜的协变时空的大区域、晚期时间极限下依然成立。
• Mezei:2018jco 的膜理论成功地将 HRT 纠缠熵计算重构为平坦空间中的几何最小化问题，从而使得包含-排除技术得以应用。
• 由于所有膜均定义在同一个边界闵可夫斯基空间中，包含-排除方法可推广至时间依赖情形，无需嵌套或非重叠区域。
• 即使区域重叠，熵锥不等式在晚期时间极限下依然保持，解决了以往基于最大-最小方法证明的关键局限性。
• 该证明在熵的广延（主导阶）水平上成立，而膜作用量中的高阶导数修正可能在次主导阶阻碍此类证明。
• 在极晚期时间，纠缠熵趋近于热形式 S(A) = s_th·vol(A)，导致所有基于包含-排除的不等式被平凡饱和。