无需不等式的纠缠单调性

我们为纠缠的单调性度量提供了一个不依赖任何特定单调性关系的细粒度定义。我们的定义以等式而非不等式的形式给出，我们称之为“解纠缠条件”。我们将我们的定义与更传统的定义联系起来，证明了它能生成标准的单调性关系。随后我们证明，所有量子马尔可夫态对于任何纠缠单调性都满足解纠缠条件。此外，我们证明了由凸屋顶扩展给出的纠缠单调性如果在纯态上是单调的，则其本身也是单调的，并证明了对于任何满足解纠缠条件的量子态，其形成纠缠等于辅助纠缠。我们刻画了具有此性质的所有二部混合态，并利用该结果证明了 G-并发性是单调的。在两量子比特的情况下，我们证明了形成纠缠与辅助纠缠相等当且仅当该态是一个秩为 2 的二部态，且可以表示为 W 类纯三量子比特态的边缘态。