引言：不确定的宇宙
1935年，爱因斯坦（Albert Einstein）、波多尔斯基（Boris Podolsky）和罗森（Nathan Rosen）发表了一篇题为《能认为量子力学对物理实在的描述是完备的吗？》的论文。这篇看似晦涩的学术论文，实则是一颗投向量子理论基石的深水炸弹。作者们精心构造了一个思想实验——后来被统称为EPR佯谬——试图证明：量子力学要么是不完备的，要么违反了局域性（locality），即不存在超距作用。爱因斯坦始终笃信"上帝不掷骰子"，而EPR论文正是他最有力的武器之一。
然而，历史总是充满戏剧性的反转。六十余年后，当年被爱因斯坦视为"荒谬"的量子纠缠，非但没有被证伪，反而催生了量子计算、量子密钥分发、量子隐形传态等一系列改变世界的技术。而判定这一切的关键工具，是北爱尔兰物理学家约翰·贝尔（John Stewart Bell）在1964年提出的不等式——一个能用实验判决物理学最大哲学争论的数学定理。
本文将从EPR佯谬的思想源头出发，逐步推开贝尔不等式的数学大门，回顾从思想实验到诺贝尔奖的漫长道路，最终展望量子纠缠在现代信息科学中的革命性应用。
一、EPR论证：局域实在论的最后一搏
要理解贝尔不等式，必须先理解它要回答的问题——而那个问题，源于物理学史上最著名的哲学争论。
1.1 爱因斯坦的实在论信条
经典物理学的哲学基础是局域实在论（local realism），它包含两个核心信念：
实在性（Realism）：物理对象拥有独立于观测的确定属性。月亮在你不看它的时候依然在那里。
局域性（Locality）：两个空间分离的事件不能以超光速相互影响。物理作用的传播速度不能超过光速。
这两个信念在经典物理学中从未遇到根本性挑战。但在量子力学的哥本哈根诠释中，一切都改变了。玻尔（Niels Bohr）领导的哥本哈根学派认为：在测量之前，微观粒子并不拥有确定的物理属性；测量行为本身"创造"了被测量的实在。
1.2 EPR思想实验的构造
EPR论文的逻辑极其精巧。考虑两个粒子A和B，它们从同一个源出发，沿相反方向飞出。假设它们的总动量和总自旋为零。根据量子力学：
当你测量粒子A在某个方向上的自旋时，会以一定的概率得到"上"或"下"。然而，由于总自旋守恒，一旦你测得A为"上"，B在同一方向上的自旋必然为"下"，反之亦然。
EPR的论证如下：如果两个粒子已经飞到了空间上相距很远的位置——比如一光年——那么测量A的瞬时结果如何能"影响"B的状态？如果局域性成立，那么B的状态应该在测量之前就已经确定了。但如果量子力学说B在被测量之前处于叠加态（既上又下的叠加），而只有测量A之后B才坍缩到确定态，这就意味着：
要么量子力学允许超距作用（违反局域性），要么量子力学不完备——存在某种"隐变量"（hidden variables）在测量之前就决定了两个粒子的状态，只是量子力学没有描述它们。
爱因斯坦将量子纠缠嘲讽为"幽灵般的超距作用"（spukhafte Fernwirkung），他坚信后者是正确的：量子力学是一个有效的理论，但它遗漏了更深层次的物理实在。
1.3 玻尔的回应
玻尔几乎立刻回应了EPR的挑战。他的核心论点是：在量子世界中，"物理实在"这个概念本身就需要重新定义。EPR所谓的"无干扰的测量"在量子框架下并不存在——两个粒子虽然空间分离，但作为一个整体的量子系统，它们是不可以分解描述的。玻尔认为EPR对实在的定义本身就犯了经典物理学的思维定式错误。
这场争论持续了三十余年，双方都无法说服对方。困难在于，EPR和玻尔的分歧本质上是哲学观的分歧，而非可检验的科学假说——直到约翰·贝尔的出现。
二、贝尔不等式：哲学问题变成物理实验
约翰·贝尔是欧洲核子研究中心（CERN）的粒子物理学家，业余时间痴迷于量子力学的基础问题。他在1964年发表的论文《论EPR佯谬》（On the Einstein Podolsky Rosen Paradox）做出了数学物理学中最深刻的贡献之一：将一个哲学问题转化为可以用实验判决的物理定理。
2.1 局域隐变量理论的数学约束
贝尔的分析从接受爱因斯坦的立场出发——假设存在某种"隐变量"λ，它决定了测量结果，并且在粒子分离时就已经确定（满足局域性）。他用严格的数学方法证明了：任何局域隐变量理论都必须满足一个特定的统计约束，而量子力学的预言与之矛盾。
原贝尔不等式（1964年版本）的推导涉及复杂的概率论和自旋测量几何。为简化叙述，我们来考察后来在实验中广泛使用的CHSH不等式（Clauser-Horne-Shimony-Holt, 1969），它是贝尔不等式的推广形式，更适合实验操作。
2.2 CHSH不等式的推导
考虑一个纠缠光子对（贝尔态），分发给Alice和Bob。Alice可以选择两个测量方向a或a'，Bob可以选择b或b'。每个测量的结果只能是 1或-1。
定义"相关函数"E(a,b)为Alice和Bob在各自方向上测量结果的统计乘积的期望值。根据局域隐变量理论，存在一个综隐变量λ（概率分布为ρ(λ)），Alice的结果A(a,λ)和Bob的结果B(b,λ)都仅依赖于各自的测量方向和λ。于是：
E(a,b) = ∫ A(a,λ) · B(b,λ) · ρ(λ) dλ
定义S = E(a,b) − E(a,b') E(a',b) E(a',b')，经过简单的代数推理（利用A,B ∈ { 1,−1}的性质），可以得到：
|S| ≤ 2
这就是CHSH不等式——任何局域隐变量理论都必须满足的约束。
2.3 量子力学的预言：超越极限
量子力学对贝尔态的预言则截然不同。当选择合适的测量角度时——例如a=0°, b=22.5°, a'=45°, b'=67.5°——量子力学计算得到：
S = 2√2 ≈ 2.828
这称为"Tsirelson界"（以Tsirelson命名），它超越了经典极限|S|≤2，同时也没有违反量子力学自身的约束。量子力学的预言比任何局域隐变量理论都"更大"。
这意味着什么？如果一个实验测量到|S|
发表评论 取消回复