隐变量理论的否定与贝尔不等式
在量子力学的诞生之初,爱因斯坦等人对其“非决定论”特征持保留态度,提出隐变量理论(Hidden Variable Theory)作为对量子力学完备性的补充。隐变量理论试图在量子系统背后引入一组未被观测到的参数,使得每一次测量都能够由这些参数唯一决定,从而恢复经典的因果决定性。20 世纪 60 年代,约翰·贝尔(John S. Bell)通过贝尔不等式(Bell Inequality)给出了检验隐变量理论与标准量子力学之间差异的可实验方法,随后的一系列实验几乎彻底否定了局域隐变量的可能性。
本文系统阐述隐变量理论的基本假设、贝尔不等式的推导过程以及实验验证的关键细节,帮助读者深入理解为何现代物理学普遍接受量子力学的非局域性与概率性。
隐变量理论概述
隐变量理论的核心假设可以归纳为以下三点:
完备性假设
量子态 (|\psi\rangle) 并非系统的全部信息,仍有一组隐藏变量 (\lambda) 与之配合,使得系统的完整状态记作 ((|\psi\rangle,\lambda))。决定性假设
给定 ((|\psi\rangle,\lambda)) 后,任意可观测量 (A) 的测量结果 (a) 是唯一确定的,记作 (a = A(|\psi\rangle,\lambda))。局域性(局部实在)假设
两个空间上分离的子系统的测量结果只能受各自所在区域的隐藏变量影响,不能瞬时受到远端测量的影响。
在满足上述假设的前提下,隐变量理论能够用经典概率论来描述实验统计分布:
[
P(a,b|A,B) = \int d\lambda ,\rho(\lambda), P_A(a|\lambda) P_B(b|\lambda)
]
其中 (A,B) 为两端的测量设定,(\rho(\lambda)) 为隐藏变量的分布函数。
贝尔不等式的推导
贝尔不等式是对局域隐变量模型的约束,最常见的形式是 CHSH 不等式。下面给出简要的推导步骤:
设定测量变量
两个实验者(爱丽丝和鲍勃)各自可以选择两套测量设定:(A_1, A_2) 与 (B_1, B_2)。每次测量的结果取值为 (\pm1)。定义关联函数
对于隐藏变量 (\lambda),定义局部决定的结果 (A_i(\lambda), B_j(\lambda) \in {-1,+1})。则在给定 (\lambda) 时的关联期望为
[
E_{ij}(\lambda) = A_i(\lambda) B_j(\lambda)
]构造组合
考虑以下线性组合(对任意 (\lambda) 均成立)
[
S(\lambda)=A_1(\lambda)B_1(\lambda)+A_1(\lambda)B_2(\lambda)+A_2(\lambda)B_1(\lambda)-A_2(\lambda)B_2(\lambda)
]
由于每个因子仅取 (\pm1),可以验证 (|S(\lambda)|\le 2)。取平均
对所有隐藏变量取加权平均得到
[
|E_{11}+E_{12}+E_{21}-E_{22}|\le 2
]
这就是 CHSH 不等式。
如果实验测得的左侧值超过 2,则局域隐变量模型必然失效。
实验验证
自 1982 年阿兰·阿斯佩(Alain Aspect)等人首次实现光子偏振纠缠实验以来,贝尔不等式的违背已在多种平台上得到确认。下面列出典型实验的关键要素:
| 实验平台 | 纠缠来源 | 关键技术 | 典型结果 |
|---|---|---|---|
| 光子偏振 | 参数下转换 (SPDC) | 快速随机测量基、远距离分离 | ( |
| 超冷原子 | 斯特恩-格拉赫纠缠 | 原子阱、微波控制 | ( |
| 超导量子比特 | 交叉耦合 | 微波脉冲、低噪声放大 | ( |
实验中必须满足 “局域性闭环”(测量设定在光速限制内随机选择)和 “检测效率闭环”(探测器效率足够高)两个条件,才能排除所谓的**“检测漏洞”和“通信漏洞”**。近年来的“全闭环”实验(如 2015 年的三方闭环实验)已经基本消除了这些潜在的批评。
否定隐变量的意义
贝尔实验的成功违背了所有满足局域性与决定性的隐变量模型,带来了以下深远影响:
放弃局域实在
量子纠缠表现出跨越空间的关联,暗示自然界在根本层面上不遵循经典的因果局域原则。确认量子概率的本体论地位
量子态的概率幅不再是对未知隐藏变量的统计描述,而是系统本身的内在属性。推动量子信息技术
纠缠的非局域性成为量子密码(如 BB84、E91)和量子计算的核心资源。激发新理论探索
虽然局域隐变量被否定,但非局域隐变量(如 Bohmian 机制)仍在学术界保有一定讨论空间。
小结
隐变量理论试图以经典的决定论与局域性恢复量子力学的完备性,但贝尔不等式提供了一个可实验检验的数学界限。通过对 CHSH 不等式的推导与多平台实验的系统验证,我们看到实测数据一再突破“2”的上限,强有力地否定了局域隐变量的可能性。这一结论不仅深化了我们对自然界基本规律的认识,也为量子信息科学奠定了坚实的理论基础。未来的研究仍将在探讨非局域隐变量、量子引力以及更高维纠缠结构等方向上继续前行。