从ANEC恢复QNEC

我们研究QFT中的相对熵，将真空态与由输入态确定并使用相对模流构造的特殊纯化族进行比较。我们借此证明Wall的一个猜想，该猜想将相对熵的形状导数与对可能纯化的平均零能量变分表达式相关联。该变分表达式可轻易证明量子零能量条件。我们将Wall猜想表述为关于满足半边模包含性质的算子代数的定理，并附加输入态具有有限平均零能量的假设。我们也给出此背景下相对熵强超可加性性质的新推导。我们推测其与近期用于通过恢复映射加强相对熵单调性的方法可能有联系。