Bell 不等式：爱因斯坦输掉的那场实验

先备导航：你需要 003（手套派与纠缠疑案）、016（交叉项）、017（换轴测量）。

下一篇预告：028《不可克隆：量子钞票与量子密码的共同起点》。

Bell 不等式：爱因斯坦输掉的那场实验

003 篇结过一桩悬案：纠缠为什么寄不了快递？那一篇的结论是"关联真实存在、信息传不过去"。但还有一桩更根本的官司，当时只开了头——

手套派的主张是：纠缠的两颗粒子，就像分装两个盒子的左右手套，拆盒之前答案早已出厂——左手在哪、右手在哪，写在粒子的"出厂文件"上，只是我们没读。没有魔法，没有超距作用，只有"信息还没到位"。这个主张通情达理，连爱因斯坦都站在它这边（"幽灵般的超距作用"是他嘲讽对手的原话）。

通情达理的主张怎么输？答案是：数学家兼物理学家 Bell 在 1964 年找到了一个"测谎仪"——一条任何"出厂已定"理论都必须遵守的数字红线，然后实验家们三代接力，测出量子世界越线了。本篇把这台测谎仪拆给你看。你会看到，整个论证只需要加法、乘法和 ±1。

测谎游戏：出厂答卷的极限

把手套派的主张翻译成一场游戏。甲乙两人分处两地，各拿到一颗共同出身（纠缠）的粒子。出发前，手套派说：每颗粒子兜里揣着一张出厂答卷，对可能被问到的每种问题都预写好了答案，答案只有两种：+1 或 −1。

简化设定：甲手里的提问箱只有两种问法（记 a 和 a′），乙的也只有两种（记 b 和 b′）。于是每颗粒子兜里的答卷长这样：对 a 预写一个 ±1、对 a′ 预写一个 ±1（另一颗对 b、b′ 各预写一个 ±1）。

游戏规则：每一轮，甲乙各自独立随机选一种问法去问自己的粒子，得到各自兜里那份预写答案，然后两边对答案、记两个数的乘积。重复成千上万轮后算"平均乘积"——注意这个游戏里，双方记完分可以慢慢对账（经典通信），这不违规，违规的只有"现场偷偷串供"。

现在，测谎仪登场。把四种问法组合的平均乘积这样组合起来：

S =（a 与 b 的平均乘积）+（a 与 b′ 的平均乘积）+（a′ 与 b 的平均乘积）−（a′ 与 b′ 的平均乘积）

手套派理论下 S 能取多大？单看任何一轮：假设这一轮抽出的答卷是 a、a′、b、b′ 四个 ±1，上式的单轮得分是 a·b + a·b′ + a′·b − a′·b′ = a·(b+b′) + a′·(b−b′)。而 b、b′ 都是 ±1，所以 (b+b′) 和 (b−b′) 这两个数必有一个是 0、另一个是 ±2——单轮得分无论怎么抽，都是 ±2。全部轮次平均下来：

S ≤ 2。这是手套派的死穴：不管出厂答卷内部怎么写、机制多复杂，只要答案是"出发前预写好、现场靠局部接触读取"，S 就绝无可能超过 2。

这是纯代数，与量子无关。它是一条世界观的红线：任何"定域+实在"（答案是出厂定好的，信息只走局部通道）的理论，统统在 2 这条线下。

量子力学：公然越界的 2.83

量子力学对同一个游戏的预测呢？用 003 篇的纠缠骰子对玩这游戏：两边各自换轴测量（017 篇：问法=选一副测量轴），四个问法取四组特定角度。此时每个平均乘积由交叉项给出（016 篇：夹角进账），数学算下来——

S = 2√2 ≈ 2.83。

量子力学预测：红线拦不住，超了 40%。而且这不是理论的花腔——2√2 是这个游戏的上天赏格（数学证明没有任何关联能超过这个数），量子力学恰好把它吃满。

两个世界观，第一次在同一个可测量上给出不同的数字：一个说"最多 2"，一个说"能到 2.83"。官司打到这里，只剩一件事：做实验，数数。

三代接力：漏洞一个个堵死

实验比想象中难，因为测谎仪有两条"辩方律师"必钻的缝：

缝一：暗通款曲。如果甲乙两边离得近，测量时可以互发信号，那"单轮得分 ±2"的推导就漏了——串了供的答卷不叫出厂答卷。1982 年起，实验改为在光飞不过去的时间里完成两边的选择与测量；2017 年后更进一步，把两边拉开到千公里级（地面与卫星），彻底掐死这条缝。

缝二：选择性应答。探测器如果只对一部分粒子响应，理论上可以"挑着答"——只统计响应的那些轮次，账就可能被做平。2015 年，三组团队几乎同时用高效率探测器堵死此缝：粒子几乎个个应答，没有挑选余地。

三代实验（1972 年第一次真刀真枪地玩这场游戏起，到 2015 年两大漏洞同岁同年全堵上，再到千公里尺度复测），结论一致：S ≈ 2.8，红线被踩在脚下。2022 年诺贝尔物理学奖，发给了把这场官司从思想实验打成铁案的三代主力——这是本专栏故事线里离今天最近的一座奖杯。

输掉的是什么，赢下的是什么

官司终审，措辞要精确：

手套派输掉的是"出厂答卷"——粒子在被测量之前，兜里没有预写好的全套答案。世界在测量发生之前，不是一部写完的剧本。这不是哲学趣味，是被数字排除的物理假设。

但爱因斯坦的另一件宝物毫发无损：相对论。003 篇的 no-communication 在这场官司里原样成立——S≈2.8 的关联发不出任何消息（甲单看自己的得分序列，永远是均匀随机，2.8 藏在"两边对账"的总账里，不在任何一边的分册里）。所以"超距"没有传送器，没有电报，没有任何可利用的信息通道——定域被推翻的是"实在"那一半，"定域"这一半以 no-communication 的形式活了下来。

对量子计算，这场官司的战利品还有更实际的一件：既然测量前没有预写答案，那纠缠比特携带的关联，就是经典比特在原理上装不下的东西——028 篇的不可克隆、029 篇的真随机，都从"答案不是出厂写好的"这块基石上起步。

把类比拆掉

"测谎仪"类比借了哪里：

• 不像之一：测谎仪测的是"此刻说没说谎"，这里测的是"历史上有没有预写"——它排除的不是欺骗，是一种世界观；被测的对象（自然本身）也谈不上"想不想瞒"。
• 不像之二：法庭证据链经不起一个假证词；这里成千上万轮统计，任何单轮的"事故"都翻不了案——判官是大数定律，不是法官。

带走的行李

1. Bell/CHSH 游戏是给世界观量身的测谎仪：出厂答卷（±1）使单轮得分必为 ±2，故 S≤2；量子纠缠在合适的测量角度下 S=2√2≈2.83——两种世界观第一次给出不同的数字。 2. 三代实验堵死"暗通款曲"与"选择性应答"两大漏洞，2022 年诺贝尔奖收官：测量前没有预写答案，"定域实在论"出局。 3. no-communication 使相对论无损——超距的是关联，不是信息；这场官司的战利品（"答案非预写"）正是 028 不可克隆与 029 真随机的地基。

下一站的钩子：既然答案不是出厂写好的，那"复制一个未知态"就不只是技术上做不到——它是被物理直接禁止的。这个"禁止"恰好是量子钞票和量子密码万无一失的保险栓。028《不可克隆：量子钞票与量子密码的共同起点》。

#量子计算 #从硬币到纠错 #Bell不等式 #定域实在论