论态的解纠缠

解纠缠是将两子系统的态$\rho$变换为不纠缠态、同时不影响两子系统各自约化密度矩阵的过程。最近Terno表明任意态不能被解纠缠为其约化密度矩阵的张量积。在本快报中我们给出关于态解纠缠的若干新结果。主要结果是存在不能被成功解纠缠的态集合（甚至不能 into 可分离态）。因此我们证明普适解纠缠机不可能存在。