贝尔不等式实验验证
在量子力学的历史进程中，贝尔不等式（Bell's Inequality）的实验验证具有里程碑式的意义。它不仅终结了关于量子力学完备性的长期哲学争论，更从实验层面证实了量子纠缠的非定域性特征。约翰·贝尔（John Bell）在1964年提出的理论框架，为检验“局域隐变量理论”与“量子力学预测”之间的差异提供了可操作的实验判据。
理论背景与核心假设
要理解贝尔不等式实验，首先需明确其针对的理论冲突。爱因斯坦、波多尔斯基和罗森（EPR）曾提出，量子力学是不完备的，并假设存在“局域隐变量”。这一假设包含两个核心前提：
- 局域性（Locality）：空间上分离的粒子之间不能发生超光速的信息传递或影响。
- 实在性（Realism）：物理量在被测量之前就已经具有确定的值，测量只是揭示这些预先存在的值。
贝尔通过数学推导证明，任何满足上述两个假设的局域隐变量理论，其统计结果必须满足一组特定的不等式，即贝尔不等式。然而，量子力学预言，对于处于纠缠态的粒子对，其关联强度将违反这一不等式。因此，实验的关键在于测量纠缠粒子对的关联函数，并判断其是否超出经典物理允许的界限。
实验设计与关键步骤
典型的贝尔不等式实验通常采用光子对作为测试对象，因为光子易于产生、传输且探测效率较高。实验流程主要包含以下几个关键环节：
纠缠光子对的产生
通常利用自发参量下转换（SPDC）过程。当一束高能激光泵浦通过非线性晶体时，会随机产生一对低频光子。这两个光子在偏振态上处于最大纠缠态，例如 $|\Psi^-\rangle = \frac{1}{\sqrt{2}}(|H\rangle_A|V\rangle_B - |V\rangle_A|H\rangle_B)$，其中 $H$ 和 $V$ 分别代表水平和垂直偏振。偏振测量设置
在光子路径上分别放置偏振分束器（PBS）和单光子探测器。关键在于，两个测量端的偏振角度 $\theta_A$ 和 $\theta_B$ 必须独立且随机地选择。为了排除“共谋”假设，现代实验通常使用快速随机数生成器在光子飞行途中动态切换测量角度，确保选择过程与光子状态无关。关联函数计算
记录不同角度组合下的重合计数（Coincidence Counts）。通过统计在不同偏振设置下，两个探测器同时触发或不同步触发的频率，计算关联函数 $E(\theta_A, \theta_B)$。
实验结果与物理意义
自1972年阿斯佩（Alain Aspect）团队进行首次具有决定性意义的实验以来，后续的一系列精密实验（包括2015年关闭“局域性漏洞”的实验）均一致表明：实验测得的关联值确实违反了贝尔不等式。
以CHSH不等式为例，其经典界限为 $|S| \le 2$，而量子力学预言的最大值为 $2\sqrt{2} \approx 2.828$。实验数据通常落在 $2$ 与 $2.828$ 之间，显著高于经典界限。这一结果导致了以下重要结论：
- 局域隐变量理论的失效：自然界并不遵循“局域实在论”。要么放弃局域性（即存在非定域关联），要么放弃实在性（即物理量在测量前没有确定值），或者两者皆非。
- 量子非定域性的证实：纠缠粒子之间的关联无法用任何经典通信机制解释，这种“幽灵般的超距作用”是量子信息科学的基础。
技术挑战与漏洞关闭
早期的贝尔实验存在若干“漏洞”，最著名的是“局域性漏洞”和“探测效率漏洞”。
- 局域性漏洞：如果测量设置的选择信息可以通过光速或更慢的速度传播到另一个探测器，那么粒子可能通过经典信号协调结果。现代实验通过增加探测器之间的距离（通常超过数百米甚至公里级），并缩短测量时间窗口，确保在光信号到达之前完成测量，从而关闭此漏洞。
- 探测效率漏洞：如果探测器效率太低，丢失的数据可能导致统计偏差。使用高探测效率的超导纳米线单光子探测器（SNSPD）有效解决了这一问题。
结语
贝尔不等式的实验验证不仅是基础物理学的胜利，也为量子通信、量子计算和量子密码学提供了坚实的理论基石。它证明了量子纠缠是一种真实存在的物理资源，而非仅仅是数学上的巧合。随着实验技术的不断进步，未来的贝尔测试将更加严格地逼近理想量子力学的预测，进一步拓展我们对微观世界本质的理解。