由热力学第二定律导出的量子不等式

量子场论允许对经典能量条件的局域违反，例如负能量密度区域。Ford-Roman量子不等式量化了这些区域可以有多负以及能持续多久。我们在将场耦合到小热探测器的操作框架中，从热力学第二定律导出了这些不等式。探测器充当场能量密度的物理探针，并且通过两个系统之间纠缠熵的非负性，可以证明其热损失受一个与状态无关的量的下界约束。