[论文解读] Monogamy of Bell correlations and Tsirelson's bound

Benjamin Toner, Frank Verstraete|ArXiv.org|Nov 1, 2006

Quantum Mechanics and Applications被引用 35

一句话总结

本文在三体量子系统中建立了贝尔关联性的紧密单态性权衡，证明了A-B与A-C之间CHSH关联的平方和被限制在8以内。该结果推广了Tsirelson不等式，并表明A与B之间的强非局域性会限制A与C共享的非局域性，即使在任意维度的量子系统中也是如此。

ABSTRACT

We consider three parties, A, B, and C, each performing one of two local measurements on a shared quantum state of arbitrary dimension. We characterize the trade-off between the nonlocality of the Bell correlations observed by AB and of those observed by AC. This generalizes Tsirelson's bound on the quantum value of the CHSH inequality, the latter being recovered when C is completely uncorrelated with AB. We also discuss the trade-off between Bell violations and local expectation values of observables that anticommute with the ones used in the Bell test.

研究动机与目标

• 刻画三体量子系统中A-B与A-C观测到的贝尔关联之间的权衡关系。
• 将CHSH不等式的Tsirelson不等式推广至非局域性在多个参与方之间共享的三体情形。
• 建立一个单态性关系，约束A与B共享的非局域性与A与C共享的非局域性之间的分配，且不依赖于局部希尔伯特空间的维度。
• 探索贝尔非定域性与局部反对易可观测量之间的联系，揭示纠缠与局部随机性之间的关联。

提出的方法

• 证明单态性界限的最优配置出现在每个参与方的态均支持在 qubit 上时，从而将问题简化为 qubit 系统。
• 基于与贝尔算符反对易的可观测量的本征子空间对希尔伯特空间进行分解。
• 应用Jensen不等式将纯态的结果推广至混合态，利用平方根函数的凹性。
• 通过可观测量之间的反对易关系推导出对CHSH值的界限，从而获得Tsirelson不等式的局部类比。
• 在反对易关系和换位子范数所导出的约束下，最大化贝尔关联。
• 通过构造显式例子证明界限 $\langle\mathcal{B}_{\text{AB}}\rangle^2 + \langle\mathcal{B}_{\text{AC}}\rangle^2 \leq 8$ 是紧的，且可达到等号。

实验结果

研究问题

• RQ1 在三体量子系统中，A能与B和C同时共享的最大贝尔关联是多少？
• RQ2 贝尔关联的单态性如何约束三体量子态中非局域性的分布？
• RQ3 Tsirelson不等式能否推广至三体情形？其非局域关联之间的权衡关系是什么？
• RQ4 局部反对易可观测量与CHSH不等式最大量子违反之间存在何种关系？
• RQ5 在三体情形下，经典理论、量子理论与无信号理论中贝尔关联的界限有何不同？

主要发现

• A-B与A-C之间CHSH关联的平方和被限制在8以内：$\langle\mathcal{B}_{\text{AB}}\rangle^2 + \langle\mathcal{B}_{\text{AC}}\rangle^2 \leq 8$。
• 该界限是紧的，并且在某些纠缠态和测量设置下可实现，包括在最大违反极限下的 singlet 态。
• 该结果推广了Tsirelson不等式，当C与AB无关联时，可恢复 $\langle\mathcal{B}_{\text{AB}}\rangle \leq 2\sqrt{2}$ 作为特例。
• 该界限意味着A与B之间达到最大非局域性时，A-C关联必须消失，从而揭示了非局域性的根本单态性。
• 对于局部可观测量，CHSH值被限制为 $2\sqrt{2 - |\langle[A_1,A_2]\rangle|^2}$，表明局部随机性是实现最大违反的必要条件。
• 本文确立了：CHSH的最大量子违反要求两个局部可观测量与它们的换位子完全不相关（$\langle[A_1,A_2]\rangle = 0$），且换位子之间完全相关（$|\langle[A_1,A_2][B_1,B_2]\rangle| = 4$）