可分离性的构型与贝尔型实验中对多体纠缠的检验

我们推导了任意维空间上各类混合可分离-不可分离$n$粒子密度算符的紧致二次不等式。该方法使我们能够真正推导出一种紧致二次不等式，作为对完整$n$体纠缠的检验，适用于各类贝尔型关联实验中的系统，这些系统未必能被识别为一组量子比特(qubit)的集合，例如那些由不完全探测器测量的光子所涉系统。我们还证明，当假定两个被测可观测量精确反对易时，一个更强的二次不等式可用作完整$n$体纠缠的判据(witness)。