贝尔不等式与可分离判据

我们分析并比较了 bipartite 密度矩阵可分离性判据与贝尔不等式的数学表述。我们表明，贝尔不等式的违背可形式上表达为纠缠见证（witness for entanglement）。我们还表明，当我们将局域隐变量理论集合限制到量子力学领域时，可分离判据与用局域隐变量理论对态的描述变得等价。该分析阐明了两种判据的本质差异，并可能有助于我们理解是否存在这样的纠缠态：其所有可能局域测量结果的统计可由局域隐变量理论描述。