开篇：一个被忽视六年的判决性方程
1964年11月，一份题为《论EPR佯谬》的论文悄然发表在刚刚创刊的《物理学》杂志上。作者约翰·贝尔当时任职于欧洲核子研究中心，日常工作是加速器物理，量子基础问题只是他的“业余爱好”。这篇论文在最初六年里被引用不足十二次，不少同行读后认为它不过是对爱因斯坦与玻尔旧争论的又一次哲学式回响。然而，正是这篇论文中一个看似朴素的不等式，在此后六十年间被反复检验、不断加固，最终将“定域隐变量”这一爱因斯坦寄予厚望的替代方案逼入了绝境。贝尔不等式并非一个关于“世界应该怎样”的宣言，而是一道精确的数学门槛：任何坚持“物理实在独立于观测、且远距离事件之间不存在超光速影响”的理论，都必须让实验数据落在这道门槛之内。量子力学预言我们会跨过去。实验说：确实跨过去了。
一、贝尔不等式究竟在约束什么
要理解贝尔不等式的分量，需要先回到1935年的EPR论证。爱因斯坦、波多尔斯基和罗森设计了一个思想实验：两个粒子相互作用后分离到遥远距离之外，对其中一个的测量似乎能瞬间告诉我们另一个的状态。如果坚持“不干扰系统就能确定预言的值必定对应一个物理实在要素”，并且坚持“类空间隔的两个事件之间不存在因果影响”，那么量子力学对纠缠的描述就显得“不完备”——必定存在某种尚未被发现的隐变量，预先决定了测量结果。
贝尔的洞察在于，他不满足于继续在哲学层面争论“隐变量是否存在”。他追问：如果隐变量真的存在，并且满足定域性（远处测量不受此地选择影响），那么大量重复实验得到的关联统计，必须服从一个可以写下来的不等式。以最常见的CHSH形式为例，实验中双方各自从两个可能的测量方向中选择一个进行测量，由此组合出的关联参数 (S) 必须满足 (|S| \le 2)。这个“2”就是定域实在论的红线。量子力学对纠缠单态的计算给出的最大值为 (2\sqrt{2})，约等于2.828。不是稍微越界，是明确地、结构性地越界。贝尔不等式把一场持续近三十年的概念之争，压缩成了一个可以在实验室里用计数器和符合电路裁决的问题。
二、实验如何一步步收紧包围圈
第一个实际检验出现在1972年。克劳泽与弗里德曼利用钙原子级联辐射产生的纠缠光子对，观察到了违反贝尔不等式的关联。但这一实验有一个明显的软肋：两个偏振分析器之间的距离太近，测量方向是预先固定好的。批评者可以合理地说，如果存在某种以光速或低于光速传播的“局域影响”在探测器之间暗中协调，实验结果就仍然可以被定域隐变量理论解释。这就是所谓“定域性漏洞”。
阿斯佩在1982年的实验向前迈出了关键一步。他将两个分析器的距离拉开到约十二米，并在光子飞行途中快速切换测量方向——切换的时间间隔短于光在两个分析器之间飞行所需的时间。这样一来，如果真有一个“预先安排好的指令”从一侧传到另一侧，它来不及在测量完成之前抵达。阿斯佩实验的结果依然违反贝尔不等式。塞林格团队随后利用非线性晶体产生的纠缠光子对，配合随机数发生器实时切换测量设置，进一步堵上了“测量设置可能被隐变量提前决定”的退路。
到2015年前后，多个团队在金刚石色心、光子等不同系统中完成了同时关闭探测漏洞与定域性漏洞的“无漏洞贝尔实验”。定域隐变量理论作为一种能够复现全部量子力学预言的理论框架，已经被实验逼到了没有立足之地的程度。
三、一个必须澄清的常见误解：违背贝尔不等式不等于超光速通信
这是科普写作中最容易滑入的陷阱。当人们听说“两个纠缠粒子之间表现出远超经典允许的强关联”时，第一反应往往是：这不就是超光速传递信息吗？答案是否定的，而且否定的理由恰恰是贝尔不等式实验本身的结构。
贝尔实验测量的是关联，不是信号。每一侧的测量结果单独来看都是完全随机的——无论你测量多少次，单边的数据序列看起来就是掷硬币。只有把两侧的记录放到一起比对（这件事必须通过常规通信渠道完成，速度不超过光速），关联才会浮现出来。阿斯佩在被问及是否存在超光速信号时明确回答：不存在信息传递意义上的超光速信号。量子非定域性所揭示的，是自然界的统计关联无法被任何“每个粒子带着完整预设答案”的图像所解释，而不是说我们可以拿纠缠来拍电报。这个区分是理解贝尔不等式物理含义的底线。
四、贝尔不等式在今天意味着什么
2022年诺贝尔物理学奖授予阿斯佩、克劳泽和塞林格，理由正是“用纠缠光子实验验证贝尔不等式的违背，并开创量子信息科学”。诺奖委员会的选择本身传递了一个信号：贝尔不等式早已不是基础物理角落里的 curiosité。从它延伸出的对纠缠非定域关联的精确操控能力，构成了量子密钥分发、量子隐形传态和量子计算的基本资源。我国“墨子号”量子科学实验卫星和“京沪干线”所依赖的纠缠分发与测量技术，其理论根基中就有贝尔不等式所划定的那条界限——正是因为你无法用经典方式伪造那种关联，基于纠缠的密码学才具有原理上的安全性。
更深一层地看，贝尔不等式留给我们的遗产是一个关于科学方法论的教训。爱因斯坦的定域实在论直觉并非“错误”的，它在经典物理的疆域内极其成功，在日常生活尺度上也完全够用。贝尔的贡献在于把一种直觉转化成了一个可以被判处死刑的定量预言。当实验数据一次次越过那道不等式红线时，被放弃的不是“物理实在”这个概念本身，而是“定域性”与“实在要素预先确定”两者必须同时成立这一组合假设。自然比我们最自然的直觉要精巧得多。
问答部分
问1：贝尔不等式是贝尔“发明”的物理定律吗？
不是。贝尔不等式是一个数学推论：如果隐变量理论满足定域性，那么关联统计必然满足该不等式。它本身不描述物理规律，而是一道逻辑过滤器。
问2：为什么说贝尔不等式实验“关闭漏洞”很重要？
早期实验在探测器效率和测量设置选择上存在漏洞，定域隐变量理论可以“钻空子”解释数据。关闭漏洞意味着实验条件排除了这些退路，结论更加稳固。
问3：量子力学违背贝尔不等式，是否证明爱因斯坦错了？
更准确地说，是证明了“定域实在论”作为一个整体无法与实验相符。爱因斯坦对量子力学完备性的质疑推动了贝尔的工作，但实验选择了量子力学的预言。
问4：贝尔不等式中的“2”是怎么来的？
它来自对测量结果乘积求平均时，利用定域性假设所做的代数放缩。不同的贝尔型不等式有不同的具体数值，但核心逻辑一致：定域隐变量给关联强度设上限。
问5：纠缠粒子之间的关联是“瞬时”的吗？
从统计描述上，关联表现为非定域；但这不意味着存在可操控的瞬时信号。单边结果随机，比对需要经典通信。
问6：贝尔不等式和EPR佯谬是什么关系？
EPR指出量子力学与定域实在论之间存在张力；贝尔将这种张力转化为可实验检验的不等式。没有EPR，就没有贝尔的出发点。
问7：为什么2022年诺贝尔奖发给贝尔实验，而不是理论？
贝尔已于1990年去世，诺奖不追授。获奖的三位科学家完成了从首次检验到无漏洞验证的关键实验链条。
问8：除了光子，还有其他系统检验过贝尔不等式吗？
有。原子、超导比特、金刚石色心中的电子自旋等系统都进行过检验。近期还有利用玻色-爱因斯坦凝聚中的动量纠缠原子对进行贝尔关联观测的工作。
问9：贝尔不等式违背是否意味着“一切皆非定域”？
不是。它排除的是“定域隐变量”这一特定组合。量子场论本身在操作层面尊重相对论的因果结构，非定域性表现为纠缠关联，而非可传递的超光速影响。
问10：普通人需要关心贝尔不等式吗？
如果你使用任何依赖量子密钥分发的安全通信，其安全性论证的深层逻辑与贝尔不等式所刻画的“经典关联无法模拟纠缠关联”密切相关。它也是理解量子技术为何“新”的一个概念入口。