多体纠缠的匹配见证

我们将寻找纠缠判据的方式转变为两步：通过针对见证算子的特征变量集合和给定的分割数最大化一个代数函数，获得可分离性的必要条件；然后通过对给定量子态的特征变量最小化一个代数函数，获得充分条件。我们的方法避免了见证算子纠缠检测中的半定规划计算。给出了三量子比特X形态的可分离性的充要条件以说明寻找判据的过程。我们给出了四量子比特含噪GHZ态和四量子比特含噪簇态的三体可分离性与完全可分离性的充要条件。