纠缠单调性与对称二分态的变换

将纠缠作为资源理论进行研究的主要目标是寻找确定一个量子态何时能或不能通过局域操作与经典通信变换为另一个量子态的条件。这通常通过纠缠单调性或转换见证来完成。一般情况下无法对任意量子态计算这些量，但考虑能够找到闭式表达式的对称态类是有用的。在本文中，我们展示了如何计算所有 Werner 态的任意纠缠单调性的凸屋顶。对所有各向同性态计算了著名的 Vidal 单调性的凸屋顶，并展示了该方法如何推广到其他纠缠测度和其他类型的对称性。我们还提出了确定纯二分态何时能被确定性转换为 Werner 态或各向同性态的充分必要条件。