量子纠缠与贝尔不等式
量子纠缠与贝尔不等式是量子力学基础中最深刻的一对概念：前者描述了粒子间超越经典直觉的强关联，后者则把"这种关联是否真实"从哲学争论变成了可以精确测量的实验问题。理解它们，是进入量子光学与量子信息领域的必经之路。
当两个粒子共同构成一个不可分解的整体量子态时，我们称它们处于纠缠态。其核心特征包括：
- 不可分解性：系统整体的状态无法写成两个粒子各自状态的乘积；
- 测量关联：对其中一个粒子进行测量，另一个粒子的状态随之确定，无论两者相距多远；
- 结果随机性：单个测量结果无法预言，但关联模式严格服从量子统计。
一个典型的例子是偏振纠缠光子对，其状态可简写为
$$|\Psi\rangle=\frac{1}{\sqrt{2}}\left(|H\rangle_1|V\rangle_2-|V\rangle_1|H\rangle_2\right)$$
即两个光子的偏振总是正交：一个测得水平偏振，另一个必然测得垂直偏振。
EPR 佯谬与隐变量之争
1935 年，爱因斯坦、波多尔斯基和罗森提出著名的 EPR 佯谬。他们认为，若测量一个粒子能"瞬间"影响遥远处的另一个粒子，则量子力学要么不完备，要么隐含"幽灵般的超距作用"。一种自然的补救方案是假设粒子在分离时就携带了某种预先确定的定域隐变量，只是尚未被观测到。
这场争论在很长时间内被视为纯哲学问题——直到贝尔的出现。
贝尔不等式：可检验的判据
1964 年，约翰·贝尔证明了一个惊人的结论：任何定域隐变量理论对粒子对测量关联的预测都存在一个数学上限，而量子力学的预言可以突破这个上限。这意味着两种世界观原则上可以通过实验区分。
最常用的形式是 CHSH 不等式：
$$S = \left|E(a,b) - E(a,b') + E(a',b) + E(a',b')\right| \le 2$$
其中 $E$ 表示不同测量方向组合下的关联函数。定域隐变量理论要求 $S \le 2$，而量子力学预言最大可达 $2\sqrt{2} \approx 2.83$（即 Tsirelson 上限）。
光学实验的验证历程
纠缠光子对因其易于产生、传输和探测，成为检验贝尔不等式的理想载体：
- 1969 年，Clauser 等人将贝尔不等式改造为可实际操作的 CHSH 形式；
- 1982 年，Aspect 团队利用钙原子级联辐射产生的纠缠光子完成首个高精度检验，结果显著违反贝尔不等式；
- 2015 年，多个研究组采用高效率探测、快速随机切换测量方向等手段，首次实现同时关闭所有主要实验漏洞的"无漏洞"检验；
- 2022 年，Aspect、Clauser 与 Zeilinger 因纠缠光子实验及量子信息科学的开创性工作获得诺贝尔物理学奖。
所有实验一致表明：实验数据违反贝尔不等式，定域隐变量理论被排除，量子纠缠的"非定域关联"是真实存在的物理现象。
从基础物理到应用全景
对纠缠的深入理解直接催生了量子信息科学：
- 量子密钥分发：基于纠缠的测量关联可发现任何窃听行为，"墨子号"卫星已实现千公里级纠缠分发；
- 量子计算：多粒子纠缠是量子算法超越经典计算的核心资源；
- 量子隐形传态：利用纠缠与经典通信相结合，传输未知的量子态；
- 量子精密测量：纠缠可突破标准量子极限，提升干涉测量与成像的灵敏度。
小结
贝尔不等式的价值在于它把抽象的量子哲学转化为具体的实验判据，而半个多世纪的光学实验给出了明确答案：世界在深层次上确实由量子规则支配。纠缠不再是悖论，而是可以制备、操控和利用的战略性资源，正在重塑通信、计算与测量的技术版图。