在物理学漫长的叙事中，很少有哪一个数学公式能像贝尔不等式那样，以如此简洁的形式承载如此深远的哲学冲击。它诞生于1964年，出自爱尔兰物理学家约翰·贝尔之手，初衷并非为了预言什么新粒子或新力场，而是为了回答一个看似纯粹思辨的问题：世界究竟是“定域实在”的，还是量子力学所描述的那种“非定域”的？贝尔不等式将这二者之间的抉择，从哲学辩论的泥潭中拖拽出来，变成了一道可以在实验室里用偏振片和光子计数器来裁决的算术题。
要理解贝尔不等式的分量，必须先回到1935年的EPR佯谬。爱因斯坦、波多尔斯基和罗森在那篇著名论文中论证：如果量子力学是正确的，那么它必定是不完备的。他们的推理建立在两个看似无可置疑的前提之上。其一曰“实在性”：如果不对一个系统施加任何干扰，我们就能确定地预言某个物理量的值，那么该物理量就对应着一个客观实在的要素。其二曰“定域性”：由于没有任何信号能超光速传递，对甲处系统的测量不可能瞬间改变乙处系统的实在状态。在EPR看来，量子力学对纠缠粒子的描述——测量其中一个，另一个的波函数便“塌缩”到确定状态——要么暗示了某种鬼魅般的超距作用，要么说明量子力学遗漏了某些隐藏的变量，而这些变量早已决定了测量的结果。
贝尔的洞见在于，他意识到EPR所捍卫的“定域隐变量”图景，并非只是一套形而上学的偏好，它会产生可观测的统计后果。他设想了一对处于自旋单态（或偏振纠缠态）的粒子，分别飞向两个相距遥远的测量站。每个测量站都可以在若干个不同的方向上对粒子进行测量，而测量结果只能取两个离散值之一，譬如+1或−1。定域隐变量理论的核心承诺是：粒子在离开源的那一刻，就已经携带了关于“如果我在某个方向被测量，我会给出什么结果”的完整指令集。这个指令集不必被量子力学所描述，但它必须存在，否则“实在性”便无从谈起。
从这一承诺出发，贝尔推导出了一个不等式。以最常见的CHSH形式为例，如果测量站甲可以选择方向a或a‘，测量站乙可以选择方向b或b’，那么四种可能的测量组合所得到的关联函数，必须满足一个严格的界限：|S| ≤ 2，其中S是四个关联值的特定线性组合。这个界限的推导只用到两个假设：测量结果由隐变量预先决定，且乙处的测量设置不影响甲处的结果（反之亦然）。它不依赖于量子力学的任何具体形式，因此，任何定域隐变量理论，无论其细节如何，都必须服从这一不等式。
然而，量子力学给出了不同的答案。对于处于纠缠态的光子对，如果测量的是偏振关联，量子力学预言的关联强度会随着两个测量方向之间夹角的变化而呈现余弦依赖。当实验者精心选择四个测量方向，使得定域隐变量理论所允许的|S|上限被逼近时，量子力学的计算却指向了一个超过2的值——理论上可以达到2√2，约等于2.828。这意味着，如果量子力学是对的，贝尔不等式就会被违背。这不是一个微小的偏差，而是一个原则性的、可被实验清晰分辨的裂隙。
此后的故事便从黑板转移到了光学平台。从1970年代克劳泽与弗里德曼在伯克利用钙原子级联跃迁产生的纠缠光子进行的首次尝试，到1982年阿斯佩在奥赛实现更严苛条件下的测量——在光子飞行途中快速切换偏振片的方向，以堵塞“定域性漏洞”——实验物理学家们一步步地将贝尔的数学构想推向现实。阿斯佩的实验结果明确地违背了贝尔不等式，其统计显著性足以让定域隐变量理论的支持者难以辩驳。此后的数十年里，随着非线性晶体（如BBO晶体）产生纠缠光子的技术成熟，以及随机数发生器在测量设置切换中的应用，塞林格等人进一步关闭了局域性漏洞与探测效率漏洞。2022年的诺贝尔物理学奖授予克劳泽、阿斯佩与塞林格，正是对这场跨越半个世纪的实验裁决的最终确认。
贝尔不等式被违背，究竟意味着什么？最直接的结论是：定域实在论不成立。你不可能同时拥有“测量结果预先确定”和“远处测量互不影响”这两个常识性信念。量子力学以某种方式将这两个假设中的一个或两个同时放弃了。主流量子力学诠释的立场是，纠缠粒子在测量之前并不各自拥有确定的物理状态，它们的关联超越了任何基于预先存在的“指令集”的经典解释。但这种关联并不允许超光速通信。阿斯佩在回应“是否真有超光速信号”时明确表示，没有信息被传递，因为测量结果是随机的，接收方无法从自己那一端的结果反推出对方测量了什么设置。贝尔不等式所揭示的非定域性，是一种统计层面上的、无法用于发送摩尔斯电码的关联。
这一区分至关重要。它解释了为什么贝尔不等式的违背并不与狭义相对论直接冲突。相对论禁止的是信号或因果影响的超光速传播。量子纠缠的关联虽然看起来像是两个粒子在“协商”彼此的结果，但这场协商没有可提取的信息内容，每一次单独测量的结果都是不可预测的随机事件。只有当两端的测量数据被事后汇总比对时，关联的强度才浮现出来。因此，贝尔不等式划出的裂隙，与其说是对相对论的挑战，不如说是对“物理实在”这一概念本身的一次深刻限定：世界在根源上或许就是非定域的，但这种非定域性被巧妙地封装在随机性之中，无法被用来违背因果律。
从更务实的角度看，贝尔不等式已经从一篇哲学论文中的公式，演变为量子信息科学的基石。它提供了一个可操作的判据，用来区分真正的量子纠缠与任何经典的模拟。在量子密钥分发中，贝尔不等式的违背可以被用来验证通信双方共享的密钥确实具有量子关联，从而确保其安全性不依赖于对设备内部工作原理的信任。在量子计算领域，纠缠的强度与保真度常常通过贝尔型不等式的违背程度来标定。可以说，贝尔当年为了澄清EPR佯谬而发明的这个数学工具，如今成了工程技术人员在实验室里检验量子硬件是否“够量子”的标准尺规。
回望这道裂隙，它的意义或许在于提醒我们：宇宙在最基础的层面上，并不服从人类日常直觉所构建的那套“常识”。物体拥有确定的属性，远处的事件不会瞬间影响此处，这些信念在宏观世界中无比稳固，却在纠缠光子的关联测量中失去了立足之地。贝尔不等式并没有告诉我们世界究竟是什么样子，它只是以一种无可辩驳的方式告诉我们，世界不是什么样子。它否定了定域隐变量理论，却没有在剩余的选项中替我们做出选择。多世界诠释、玻姆力学、自发坍缩模型，各自以不同的方式消化贝尔定理的结论。这道裂隙敞开着，而量子力学的诠释之争，仍在裂隙的两岸继续。
相关问题与回答
问：贝尔不等式和贝尔定理是一回事吗？
答：两者密切相关但侧重不同。贝尔定理通常指那个更广泛的结论：任何定域隐变量理论都无法重现量子力学的全部预言。贝尔不等式则是贝尔在证明该定理时推导出的一个具体数学条件，实验上可检验的正是这个不等式是否被违背。
问：为什么说贝尔不等式违背了也不违反相对论？
答：因为纠缠关联无法传递信息。每次测量的结果在各自一端看起来都是随机的，接收方无法通过测量自己的粒子来推断对方测量了什么设置。只有将两端的记录放在一起比对，关联才显现出来，而比对需要经典通信，速度不超过光速。
问：什么是“定域性漏洞”和“探测效率漏洞”？
答：定域性漏洞指如果测量方向的选择不是随机的，或者选择的信息可能以某种方式提前传递给了另一端，那么观察到的关联可能来自经典机制而非量子纠缠。探测效率漏洞指如果探测器效率太低，被探测到的光子样本可能不代表全体纠缠粒子对，从而模拟出虚假的贝尔不等式违背。后续实验通过快速随机切换和高效探测器逐步关闭了这些漏洞。
问：2022年诺贝尔物理学奖具体表彰了什么？
答：表彰克劳泽、阿斯佩和塞林格“用纠缠光子进行的实验，确立了贝尔不等式的违背，并开创了量子信息科学”。克劳泽完成了首个决定性的贝尔实验，阿斯佩引入了快速切换测量设置以堵塞定域性漏洞，塞林格则发展了纠缠光子源并应用于量子隐形传态等量子信息先导实验。
问：贝尔不等式在实用技术中有什么用途？
答：最直接的用途是量子密钥分发中的安全性验证。通过监测贝尔不等式的违背程度，用户可以确认所共享的密钥确实源于量子纠缠，而非任何经典复制品。此外，它也被用于标定量子计算机中纠缠操作的保真度。
问：量子纠缠的“瞬时”关联到底有多快？
答：实验上，这种关联的表现速度至少是光速的多个数量级，但“瞬时”一词容易误导。关联并非一个信号从A传到B，而是两个测量结果之间的统计相关性。这种相关性没有一个可定义的速度，因为它不涉及任何传播过程。
问：贝尔不等式被违背后，爱因斯坦的“上帝不掷骰子”错了吗？
答：从实验裁决来看，爱因斯坦所坚持的定域实在论图景与自然不符。但“上帝掷骰子”这一说法本身更多是修辞。量子力学中的随机性是内禀的，测量结果在一般情况下不可预测。贝尔不等式的实验结果表明，任何试图用确定性的隐变量来恢复“掷骰子”表象背后的确定性的努力，都必须付出放弃定域性的代价。