贝尔不等式：怎么证明纠缠不是"手套"
前情提要：第 3 篇《叠加与纠缠：量子的两种"超能力"》里，我们把纠缠比作"心灵感应"；第 4 篇《测量：为什么"看一眼"就塌了》讲了测量如何瞬间破坏叠加。可爱因斯坦到死都不信这套——他留了个"后门"。这一篇，去把那个后门堵死。
一、钩子：爱因斯坦的"后门"
1935 年，爱因斯坦和两位合作者（波多尔斯基、罗森）抛出一个尖锐质疑，史称 EPR 悖论。他们的潜台词是：
如果隔得老远的两个粒子，测一个就能立刻知道另一个，那只有两种可能——要么信息超光速传递了（违背相对论），要么它们本来就该一样（像一副手套，左手套在左手、右手套在右手，只是你事先不知道）。
爱因斯坦宁可信后者。他赌：量子力学不完备，纠缠只是因为我们还没看到背后那本"隐藏的说明书"（局域隐变量）。
这一赌，赌了快三十年，直到一个人用数学把它变成了可以"当场验证"的实验。
二、贝尔不等式：给"实在论"出题
1964 年，约翰·贝尔（John Bell）干了一件漂亮的事：他推了一道不等式，把"手套派"（局域隐变量）和"真纠缠派"的预言，用数学分开了。
直觉很简单。假设两个粒子出厂时，就各自偷偷带好了一份"答案清单"——无论对方怎么测、测哪边，结果都写在清单上。这种"事先定好"的世界，有个铁律：某些关联的组合，绝对值不可能超过 2。
用数学写，就是 贝尔不等式：一组精心挑选的关联量 S，满足
| S | 小于等于 2（在"手套派"世界里）
而量子力学的预言恰恰相反：如果纠缠是真的、不是手套，那么同一组关联，S 可以冲到约 2.83。
于是天平出现了：
- 实验结果若 S 小于等于 2 → 爱因斯坦赢了，纠缠是假象，背后有隐变量；
- 实验结果若 S 大于 2 → 量子力学赢了，纠缠是货真价实的"非局域"。
三、CHSH：把不等式变成可测的实验
贝尔的不等式最初有点抽象。后来克劳泽、霍恩、希摩尼、霍尔特四人把它改成了真正能做的实验版本，叫 CHSH 不等式（就是上面那个 S 的来历）。
做法极简：
- 制备一对纠缠粒子，一个发给 Alice，一个发给 Bob，两人隔得老远；
- 每一轮，Alice 随机从两种测量角度里挑一个测自己的粒子，Bob 也一样；
- 两人各自记下"朝上还是朝下"，测完再通过普通电话（经典通信）汇总；
- 用汇总数据算出关联量 S。
关键点：Alice 和 Bob 每轮的测量角度都是临时随机选的，谁也影响不了谁。这就堵死了"两人偷偷串供"的可能。
四、结果：不等式被违反
从 1972 年第一次实验，到 1982 年阿斯佩（Aspect）用"快速切换测量角度"堵住最后一个漏洞，再到 2015 年一批"无漏洞"实验，结果高度一致：
S 冲到了约 2.83，稳稳大于 2。
这意味着爱因斯坦赌的那条"后门"被焊死了——纠缠不是预先写好的手套清单。两个粒子的关联，无法用任何"出厂时就定好、互不干扰"的局域隐变量来解释。量子力学对"非局域"的预言，赢了。
五、别兴奋过头：这不意味超光速通信
每次讲到这，都得泼盆冷水（呼应第 4 篇测量的破坏、第 3 篇纠缠的边界）：
- CHSH 违反不让你发信息。 Alice 单看自己的结果，是一团随机；只有等 Bob 把他的数据通过经典信道传来、双方汇总，才能看出关联。超光速的只是"关联"，不是"可控的信号"。
- 它动摇的是"实在论"的朴素想象。 你没法再假设"粒子在被测前就老老实实带着确定属性"。属性，似乎真的是在测量那一刻才"商量着"定下来的。
六、小结与预告
这一篇，堵上了第 3 篇那句"心灵感应"背后的后门：
- 爱因斯坦赌纠缠是"手套"（局域隐变量）；贝尔用一道不等式把它变成可验假设；
- CHSH 实验让 Alice、Bob 隔远测、随机选角度，再汇总算关联量 S；
- 实验结果 S 约 2.83 大于 2，排除局域隐变量——纠缠是真的非局域，不是预先写好的清单；
- 但它不给超光速通信开绿灯，只说明"被测前就有确定属性"的朴素实在论站不住脚。
既然纠缠真实、又不能用它发信号，那它到底能拿来干什么？回到算法那条线——第 6 篇《量子算法的魔法：一次试完所有答案》、第 9 篇《Shor：动摇互联网根基的因式分解》里的加速，正建立在这种"真关联"之上。而下一篇，我们回到一个更抽象但也更根本的问题：量子到底能算哪些经典算不了的事？
下次见。