Einstein-Podolsky-Rosen 导引的全无证明

Einstein-Podolsky-Rosen 导引是一种介于纠缠和 Bell 非局域性之间的量子非局域性形式。尽管 Schrödinger 早在 1935 年就已提出该想法，但导引仍然缺乏完整的理解。类似于 Bell 非局域性的“全无”证明，在此我们提出一种无需不等式的导引证明，使得检测导致违反导引不等式的关联变得不必要。我们证明，给定任何两量子比特纠缠态，Alice 执行特定投影测量使得 Bob 的归一化条件态可被视为两个不同的纯态，这为 Alice 到 Bob 的可导引性提供了一个判据。还获得了与全无证明等价的导引不等式。我们的结果清楚地表明，存在许多不违反任何先前已知导引不等式但确实可导引的量子态。我们的方法在实验测试可导引性方面相比现有方法具有优势，并为非对称导引问题提供了新见解。