量子零能条件的一般证明

我们证明了在Minkowski空间上CFT的任何状态ψ中，〈T__（x）〉ψ的猜想下界，被称为量子零能量条件（QNEC）。该边界由通过x的缠结切口的几何纠缠熵在零方向上的二阶形状变形给出。我们的证明涉及最近用于证明较弱的平均零能状态（ANEC）的两种独立方法的组合。尤其是在状态ψ的形状变形下，模块化哈密顿量的性质以及因果关系方面的考虑都起着重要的作用。我们研究状态ψ中“探针”算子O$$\mathcal{O}$$的两点函数，并使用光锥限制来评估此相关器。除了时间上的因果关系，我们考虑模块化演化探针算子在模块时间上的因果关系，这是我们使用Tomita-Takesaki理论以及