Colliders are not Testing Locality via Bell's Inequality nor Providing an Unconditional Proof of Entanglement

想象一下，你正在试图弄清楚宇宙是一个巨大的、相互连接的网络，事物可以在广阔的距离间瞬间发生；还是说它更像是一群独立的行动者，只了解它们眼前的事物。这是物理学中一个著名的辩论的核心：即“定域性”（locality，事物只能影响其直接邻居）与“量子纠缠”（quantum entanglement，粒子可以通过一种违背距离限制的“幽灵般”方式联系在一起）之间的对立。为了测试这一点，科学家们使用了一个被称为“贝尔不等式”（Bell's Inequality）的数学规则。你可以把它想象成一条严格的交通法：如果宇宙遵循定域、独立行动者的规则，那么交通流量必须遵守这条法律。如果交通违反了这条法律，就证明宇宙确实在使用那种幽灵般的、相互连接的量子魔力。几十年来，利用光粒子（光子）进行的实验已经打破了这条法律，表明宇宙确实是量子且非定域的。但最近，大型强子对撞机（如大型强子对撞机）这类巨型粒子对撞机中的物理学家们，一直在尝试使用像顶夸克和陶轻子这样重的粒子来进行同样的测试，希望看看这种量子魔力在高能环境下是否依然成立。

现在，这里出现了一篇新论文，它就像一名抵达犯罪现场的怀疑派侦探。作者们——这是一群物理学家——认为，最近在这些对撞机中测试贝尔不等式的尝试实际上是在寻找错误的线索。他们声量称，无论你多么努力，只要你通过测量飞散出的碎片的速度和方向，你就无法证明宇宙是非定域的，也无法证明粒子是纠缠的。为什么？因为他们使用的工具——动量的测量尺——可以被一种“定域”的解释完美地模拟。这就像是试图通过观察一副扑克牌的洗牌过程来证明魔术师使用了心灵感应，结果却发现一个简单的、定域的把戏（比如隐藏隔层）就能同样好地解释这种洗牌过程。该论文指出，在对撞机数据中看到的“幽谱”相关性，可能只是由我们测量方式产生的一种巧妙幻觉，而非现实的基本特征。

论文的大揭秘：“动量”陷阱

这篇题为《对撞机并非通过贝尔不等式测试定域性，也无法提供无条件的纠缠证明》（Colliders are not Testing Locality via Bell's Inequality nor Providing an Unconditional Proof of Entanglement）的论文，为那些希望在高能环境下确认量子怪异性的研究者们带来了一个相当令人沮丧的消息。作者们认为，目前所有旨在对撞机上测试贝尔不等式的提议——无论是涉及顶夸克、陶轻子还是希格斯玻色子——都无法提供真正的测试。他们声称，从这些机器中收集的数据总可以用“定域隐变量理论”（Local Hidden Variable Theory, LHVT）来解释。

为了理解这一点，想象一对分娩时被分开的双胞胎。在一个“量子”世界里，他们可能共享一个秘密代码，让无论相隔多远都能瞬间协调行动。而在一个“定向”的世界里，他们可能在离开家之前就被发了一本匹配的说明书（即隐变量）。如果你看到他们在做同样的事情，你无法分辨这是魔法还是仅仅因为那本说明书。作者说，在对撞机实验中，我们测量的仅仅是粒子飞散后的动量（速度和方向）。因为动量是一个“对易”量（一个专业说法，意指你可以同时测量它的所有部分而不会互相干扰），碰撞的数学逻辑自然会产生一种看起来像是匹配说明书的模式。

作者使用了一种最初由物理学家卡斯迪（Kasday）提出并经由对撞机研究改进的巧妙构造，展示了你可以构建一个完美的“定域”模型来复制这些数据。这就像是建造一个使用隐藏隔层而非心灵感应的假魔术。由于数据完美符合这个“定域”模型，你就不能声称你已经证明了“心灵感应”（纠缠）的存在。论文指出，微分截面（描述粒子以特定角度飞出的频率的数学描述）本身就是那个定域隐变量理论。因此，实验是循环论证的：你假设量子力学是正确的来解释数据，然后又利用这些数据来“证明”量子力学。

为什么“幽灵”测试会失败

论文详细介绍了科学家们曾尝试寻找纠缠现象的几种具体场景，并解释了为什么每种尝试都显得苍白无力。

1. 陶轻子陷阱（LEP 和 LHC）
首先，他们回顾了 LEP 对撞机中涉及陶轻子衰变为强子的旧实验。他们展示了强子之间的角度遵循一种满足贝尔不等式的模式。这意味着数据可以用定域理论来解释。尽管在标准模型中陶粒子是纠缠的，但测量强子动量的这一行为本身可以用一个定域剧本来描述。作者认为，要从“动量”数据中提取“自旋”（量子部分）的信息，前提必须是先假设量子力学是正确的，这使得测试失效。

2. 顶夸克对决（LHC）
这是一个热门话题。LHC 的 ATLAS 和 CMS 实验声称看到了顶夸克对纠缠的证据。他们测量了顶夸克衰变时产生的轻子的角度分布。作者认为，这些角度的分布仅仅是动量的函数，而动量是可对易的。就像对待陶轻子那样，你可以构建一个完美的定域模型来拟合这种分布。
论文指出一个特定的逻辑循环：为了声称存在纠缠，科学家们从数据中计算出一个名为 $D$ 的数值，并将其与理论极限进行比较。但要从数据中得到这个数值，他们必须假设标准模型（一种量子理论）是正确的。如果你假设该理论来获取数值，然后再用这个数值去证明该理论，那你其实什么也没测试。作者展示了他们的定域模型能产生与实验相同的 $D$ 值，证明了一个不存在纠缠的理论也能同样好地解释这些结果。

3. 希格斯玻色子障碍
论文还研究了希格斯玻生子衰变为一对 W 或 Z 玻色子的情形。这些是自旋为 1 的粒子，拥有三种可能的自旋状态，这使得设计给双态系统使用的贝尔不等式难以直接应用。即使科学家试图通过过滤数据来仅观察“横向”（左右侧）自旋，作者认为这种过滤行为实际上起到了对数据进行“切割”（cut）的作用。
这导致了“探测漏洞”。想象你在统计进入房间的人数，但你只统计戴红帽子的人。如果你发现了一个模式，那可能是因为红帽子的存在，而不是因为魔法。类似地，通过切割数据来隔离特定自旋会引入人为的相关性，从而伪造出违反贝尔不等式的现象。作者展示了即使有了这些切割，底层数据仍然可以被一个定域的可分理论所描述。

破坏规则的“切割”

论文中最生动的部分之一是对“动量切割”（momentum cuts）如何制造虚假的贝尔不等式违背现象的解释。作者描述了一种场景：当你试图通过拒绝不符合特定角度的数据来隔离特定的粒子行为（即进行“切割”）时。
他们解释说，拒绝数据实际上等同于增加了第三种结果：“无点击”或“被拒绝”。在真正的贝尔测试中，你需要考虑到所有的可能性。如果你丢弃了“被拒绝”的事件，你可能会在无意中创造出一个看起来像是违反规则的模式，即便底层的物理学是完全定域的。这就像一个魔术师只向你展示那些成功的戏法，而隐藏了那些失败的戏法，从而让表演看起来不可思议。论文认为，在对撞机物理学中，这些切割通常是分离信号所必需的，但它们破坏了贝尔测试的纯度，使得定域理论可以模仿量子违背。

最终裁定

作者们得出了一个“不变量定理”（no-go theorem）。他们指出，只要我们仍然只是测量对撞机中粒子的最终动量，我们就无法测试定域性，也无法无条件地证明纠缠。数据总可以用一个定域的可分理论来描述，即粒子只是在遵循一份预先写好的剧本（隐变量），而不是进行瞬时的通信。

他们并不是在说纠缠不存在；他们是在说，目前的对撞机实验设计和分析方法无法证明纠缠的存在。数据中看到的“纠缠”与标准模型是一致的，但也与一个定域的、非纠缠的解释一致。要真正测试贝尔不等式，你需要直接测量非对易属性（如不同的自旋分量），但这对于对撞机环境中的自由粒子来说是不可能的。

简而言之，这篇论文告诉我们，对撞机并不像我们想象的那样是神奇的镜子。它们展示的是一个看起来具有量子特性的反射，但这种反射也可以由定域理论产生。在找到一种既不依赖于已经包含“幽灵”假设、又能测量“幽灵”部分的测量方法之前，关于宇宙在高能水平下是否真正非定域的问题，在这些实验中仍悬而未决。作者敦促人们保持谨慎，不要在数据可以轻易被一个定域的经典故事所解释的情况下，就声称发现了纠缠的“证明”。