[论文解读] Local hidden-variable models and negative-probability measures

José L. Cereceda|ArXiv.org|Oct 26, 2000

Quantum Mechanics and Applications参考文献 3被引用 10

一句话总结

本文证明了违反贝尔-CHSH不等式的局部隐变量（LHV）模型必然需要负概率测度，提供了无需依赖基底的证明，推广了先前的结果。它推导出在归一化和因果通信约束下，能够重现任意一致量子概率集合的LHV诱导概率测度的一般解，揭示了解中存在多个自由度，并通过显式公式展示了测度中何时出现负性。

ABSTRACT

Elaborating on a previous work by Han et al., we give a general, basis-independent proof of the necessity of negative probability measures in order for a class of local hidden-variable (LHV) models to violate the Bell-CHSH inequality. Moreover, we obtain general solutions for LHV-induced probability measures that reproduce any consistent set of probabilities.

研究动机与目标

• 建立违反贝尔-CHSH不等式的局部隐变量模型中负概率测度的必要性，且不依赖于任何特定测量基或方向。
• 通过提供LHV概率测度中负性的基底无关证明，推广Han等人先前依赖特定基底的结果。
• 推导出能够重现满足归一化和无信号通信约束的任意一致联合概率集合的LHV诱导概率测度的最一般解。
• 量化此类LHV概率测度解空间中的自由度数量，表明在无额外约束下解并非唯一确定。
• 证明量子力学对自旋关联的预测可使用这些广义的LHV模型与负概率来重现。

提出的方法

• 形式化了两粒子和四种可能测量（a₁, a₂, b₁, b₂）的EPR型实验，每种测量结果为±1，并定义了联合概率p(aⱼ=m, bₖ=n)。
• 将隐变量空间Λ划分为16个互不相交的子集Λᵢ，每个子集对应于四种测量的唯一确定性响应模式，及其关联的概率测度mᵢ。
• 利用表1中16种响应模式的结构，将联合概率p₁至p₁₆表示为mᵢ的线性组合。
• 施加归一化条件（所有mᵢ之和为1）和因果通信约束（远距离测量间无信号传递），以限制解空间。
• 求解方程组，将mᵢ表示为观测概率p₁至p₁₆的函数，揭示当贝尔-CHSH不等式被违反时，某些mᵢ必须为负值。
• 证明贝尔-CHSH不等式的违反条件Δ_LHV > 2等价于p₈ + p₉ + p₁₅ > 1，并表明m₄ + m₁₃ = 1 - p₈ - p₉ - p₁₅意味着在这些情况下，m₄或m₁₃中至少一个必须为负。

实验结果

研究问题

• RQ1 在何种条件下，局部隐变量模型必须使用负概率测度来重现量子关联？
• RQ2 能否独立于特定测量基或方向，证明LHV模型中负概率的必要性？
• RQ3 在归一化和无信号约束下，重现任意一致量子概率集合的LHV概率测度的一般形式为何？
• RQ4 此类LHV概率测度的解空间中剩余多少自由度？何种约束会减少该数量？
• RQ5 在何种程度上，可使用具有负权重的经典概率模型重现量子力学对贝尔-CHSH关联的预测？

主要发现

• 本文证明了任何违反贝尔-CHSH不等式的局部隐变量模型都必须使用负概率测度，且这种必要性具有普遍性，不依赖于测量基或方向。
• LHV概率测度mᵢ的解在一般情况下包含七个自由度，当施加完美关联时，自由度减少至一个，且八个mᵢ被固定为零。
• 推导出所有mᵢ关于观测概率p₁至p₁₆的显式解，一般情况下m₁₆保持为自由参数。
• 贝尔-CHSH不等式的违反精确发生于p₈ + p₉ + p₁₅ > 1时，此时由m₄ + m₁₃ = 1 - p₈ - p₉ - p₁₅可知，m₄或m₁₃中至少一个必须为负。
• 所推导的解与Rothman和Sudarshan [15]的结果一致，证实了与先前在CHSH框架下负概率研究的一致性。
• 本文确认，在此情境下，经典理论与量子理论的根本区别仅在于经典模型要求概率非负，而量子力学允许在底层概率表示中使用负权重。