量子非定域性与不可分离性

若由两个子系统构成的量子系统的密度矩阵可写为 $\rho=\sum w_K \rho_K'\otimes \rho_K''$，其中 $\rho_K'$ 与 $\rho_K''$ 为两子系统的密度矩阵，且正权重 $w_K$ 满足 $\sum w_K=1$，则该系统可分离。导出了一个可分离性的必要条件，并表明其在探测量子不可分离性上比贝尔不等式更灵敏。此外，贝尔不等式的集体检验（即同时涉及若干复合系统的检验）有时会导致贝尔不等式的违背，即便当各复合系统分别检验时后者是被满足的。