03-贝尔不等式

文档摘要

贝尔不等式本节摘要:1964 年,北爱尔兰物理学家约翰·贝尔取得了量子力学历史上最深刻的突破之一:他证明,任何基于局域实在论的理论都必须满足一个特定的不等式,而量子力学预言纠缠态会违反这一不等式。贝尔不等式把 EPR 的哲学争论转化为可测试的物理命题——这是物理学史上少有的"实验判决哲学争论"的案例。本节以直觉方式介绍贝尔不等式,展示其物理意义。一、贝尔的核心洞察从哲学到数学 EPR 论文(1935)提出:量子力学不完备,可能有"隐变量"。这一争论持续了近 30 年,但始终是哲学性的——因为没人知道如何用实验判别。 1964 年,贝尔的关键洞察:如果隐变量理论是局域的(局域实在论),那么它必然满足某些数学约束(不等式)。而量子力学对纠缠态的预言违反这些约束。

贝尔不等式

本节摘要:1964 年,北爱尔兰物理学家约翰·贝尔取得了量子力学历史上最深刻的突破之一:他证明,任何基于局域实在论的理论都必须满足一个特定的不等式,而量子力学预言纠缠态会违反这一不等式。贝尔不等式把 EPR 的哲学争论转化为可测试的物理命题——这是物理学史上少有的"实验判决哲学争论"的案例。本节以直觉方式介绍贝尔不等式,展示其物理意义。

一、贝尔的核心洞察

从哲学到数学

EPR 论文(1935)提出:量子力学不完备,可能有"隐变量"。这一争论持续了近 30 年,但始终是哲学性的——因为没人知道如何用实验判别。

1964 年,贝尔的关键洞察:如果隐变量理论是局域的(局域实在论),那么它必然满足某些数学约束(不等式)。而量子力学对纠缠态的预言违反这些约束。

这意味着:哲学争论可以用实验判决!

局域隐变量理论的特征

局域隐变量理论假设:

实在性:粒子在被测量前有确定的属性(由隐变量 λ 决定)。
局域性:测量粒子 1 的结果只依赖于粒子 1 的局部设置与 λ,不依赖于粒子 2 的设置。

这两个假设是 EPR 立场的精确化。

二、CHSH 形式的贝尔不等式

实验设置

考虑标准的 CHSH(Clauser-Horne-Shimony-Holt)实验:

制备一对纠缠粒子(如电子或光子)。
把它们分开很远(粒子 1 在 Alice 处,粒子 2 在 Bob 处)。
Alice 与 Bob 各自选择一个测量方向(a 或 a' 对 Alice,b 或 b' 对 Bob),然后几乎同时测量。
重复多次,统计测量结果的关联。

测量结果都是 ±1(如自旋向上 +1,向下 −1)。

关联函数

定义关联函数:

E(a, b) = \langle A(a) \cdot B(b) \rangle

即 Alice 在方向 a 测得结果与 Bob 在方向 b 测得结果的乘积的平均值。

CHSH 不等式

贝尔-CHSH 不等式说:任何局域隐变量理论都满足:

S = |E(a,b) + E(a,b') + E(a',b) - E(a',b')| \leq 2

也就是说,S(称为 CHSH 参数)的绝对值不能超过 2。

量子力学的预言

但量子力学预言:对于合适的纠缠态与测量方向,S 可以达到 2√2 ≈ 2.828!

这明显违反 CHSH 不等式(2.828 > 2)。所以,量子力学与局域隐变量理论不兼容。

经典 vs 量子的对比

理论	CHSH 参数 S 的最大值
经典(局域实在论)	≤ 2
量子力学	≤ 2√2 ≈ 2.828
理论上限(张家界界/Cirel'son bound)	2√2

量子力学的 2√2 是"理论极限",由 Cirel'son(1978)证明。任何遵守量子力学的物理系统都不能超过这个值。

三、直觉理解:为什么经典理论 ≤ 2

经典关联的上限

为什么局域隐变量理论的 S ≤ 2?直觉理解:

经典图像下,每个粒子在被测量前已有"预先决定"的属性。Alice 与 Bob 选择不同方向测量,得到的结果受限于这种预先决定。四个关联函数 E(a,b)、E(a,b')、E(a',b)、E(a',b') 不能"完全一致"地强——它们的某种组合必然有抵消,所以 S ≤ 2。

经典图像下,最多 3 个关联可以很强,但第 4 个必然较弱,从而 S ≤ 2。

量子的超越

量子纠缠打破了这种"预先决定":粒子在被测量前没有确定的属性,但它们的纠缠关联跨越多个方向。这种"非定域关联"使 S 可以达到 2√2。

形象比喻:经典关联像"已经洗好的牌",无论你怎么切,牌的顺序已经决定;量子纠缠像"还在洗的牌",测量瞬间才"决定"——所以可以更灵活地关联多个方向。

四、贝尔不等式的历史

贝尔 1964

贝尔的原始论文(1964)给出的不等式形式比 CHSH 略复杂,但思想一致。贝尔最初用三个方向的测量,而不是 CHSH 的四个。

CHSH 1969

Clauser、Horne、Shimony、Holt 在 1969 年给出了更实用的形式(CHSH 不等式),更适合实验测试。这是后续贝尔实验的标准形式。

Aspect 等的实验

1980-82 年,阿兰·阿斯佩等人在巴黎做了著名的贝尔实验(下节详述),结果违反 CHSH 不等式,达到 S ≈ 2.7,接近量子极限 2.828,远超经典极限 2。这是量子力学的胜利。

五、贝尔不等式的物理意义

局域实在论的死刑

贝尔不等式 + 实验 = 局域实在论是错的。这是 20 世纪物理学最重要的判决之一。

具体含义:

粒子在被测量前没有确定的属性(实在性失败)。
或者,粒子之间存在某种非定域关联(局域性失败)。
或者两者都失败。

爱因斯坦的局域实在论被实验否定。但哪个假设失败仍开放,这是诠释争论的焦点。

没有否定相对论

贝尔不等式的违反似乎暗示"超光速影响",但实际与相对论兼容——因为这种"非定域性"不能传递信息(无通讯定理,下节详述)。所以相对论的"无超光速信息传递"原则不被违反。

量子信息的基础

贝尔不等式启发了整个量子信息学:

贝尔态作为量子纠缠的标准形式。
贝尔测试作为量子设备的认证方法("device-independent quantum information")。
量子密钥分发基于贝尔测试的安全性。

六、贝尔不等式的 loophole

实验漏洞

早期的贝尔实验存在一些漏洞(loopholes),理论上可以用局域实在论 + 漏洞来解释实验结果:

局域性漏洞:测量设置的选择可能通过某种"经典渠道"传递(影响对方)。
检测漏洞:不是所有粒子对都被检测到,可能存在选择性偏差。
自由选择漏洞:测量方向可能被某种"隐变量"预先决定。

loophole-free 实验

2015 年,三个独立的小组(Hensen 等、Shalm 等、Giustina 等)做了loophole-free 贝尔测试,同时关闭所有主要漏洞。结果仍然违反贝尔不等式。

这是对局域实在论的最终判决——在严格的实验条件下,局域实在论被彻底否定。

2022 年的诺贝尔物理学奖正是颁给阿斯佩、克劳瑟、塞林格,以表彰他们的贝尔实验工作。

七、贝尔不等式的哲学意义

物理学史上少有的判决

贝尔不等式 + 实验验证,是物理学史上少有的用实验判决哲学争论的案例。

通常,哲学争论(实在论 vs 反实在论)无法用实验判决,因为它们都预测同样的实验结果。但贝尔的洞察使得 EPR 的局域实在论预言了与量子力学不同的实验结果——这把哲学转化为物理。

贝尔的个人立场

有趣的是,贝尔本人倾向非局域隐变量理论(如玻姆力学),而不是标准量子力学。他相信实在论,但接受非局域性。所以贝尔虽然用不等式"否定"了局域隐变量,但他本人并不拥护标准量子力学诠释。

影响超越物理

贝尔不等式的影响超越了物理学,延伸到:

哲学:对实在、知识、测量的本质讨论。
信息科学:量子信息的理论基础。
认知科学:有些学者用贝尔式不等式研究意识、决策的非经典性(争议较多)。

本节要点回顾

贝尔的核心洞察(1964):局域隐变量理论满足一个不等式,量子力学违反它——哲学可判决。
CHSH 不等式:S = |E(a,b) + E(a,b') + E(a',b) - E(a',b')| \leq 2。
量子力学对纠缠态的预言:S 可达 2√2 ≈ 2.828,违反经典极限 2。
Cirel'son 界:量子力学上限 2√2 是"理论极限"。
物理意义:局域实在论被实验否定——粒子在被测量前没有确定的属性,或存在非定域关联。
与相对论兼容:纠缠不能传递信息(无通讯定理)。
loophole-free 实验(2015):同时关闭所有漏洞,最终判决。
2022 诺贝尔物理学奖:阿斯佩、克劳瑟、塞林格。
贝尔不等式是量子信息学的基础。

下一节,我们详细讨论贝尔不等式的实验验证,特别是阿斯佩(1982)与 loophole-free 实验(2015)。