纠缠度量一个要求的验证

量子纠缠的量化是量子信息理论中的核心问题。最近，Gao 等人（Phys. Rev. Lett. 112, 180501 (2014)）指出，$\rho$ 的置换不变部分的最大纠缠度量应当是原始态 $\rho$ 的纠缠度量的一个下界，并提出该论断可用作（多体）纠缠度量的一个附加要求。任何已提出的单个纠缠度量是否满足该要求仍有待证明。在本工作中，我们证明了双体量子系统的大多数已知纠缠度量满足这一新判据，包括所有凸屋顶纠缠度量、纠缠的相对熵、负性（negativity）、对数负性（logarithmic negativity）以及对数凸屋顶扩展负性（logarithmic convex-roof extended negativity）。我们的结果给出了纠缠量化中的精细化，并为更好理解量子系统的纠缠性质提供了新见解。