部分交换信道输出量子态的纠缠性与可分性

在判定2×2(2×3)量子态可分的充要条件的基础上,对经部分交换信道处理后的量子态的纠缠性与可分性进行研究。利用Mathematica 10.1进行符号计算,证明任意2-qubit可分纯态ρ1?ρ2经非平凡的部分交换信道处理后,所输出的量子态Ut(ρ1?ρ2)U?t必然纠缠,并给出了一种简便的判定输出量子态可分的充分条件。