在现代物理学的广阔版图中，有一个关于宇宙如何连接遥远事物的基础问题。几十年来，科学家们一直在测试一个被称为贝尔定理（Bell's theorem）的原理，它充当了现实世界的严格规则手册。它探讨的是粒子的属性是固定的且局域的，就像分别装在不同盒子里的手套一样，还是以一种挑战我们日常直觉的方式相互关联——即测量其中一个会瞬间影响另一个，无论两者距离多远。这种被称为量子非局域性（quantum nonlocality）的概念，已在实验室中通过原子和光得到了证实，但在高能粒子对撞机世界中却一直是一个谜。在这些庞大的机器中，粒子相互碰撞并衰变为新粒子的流，尽管科学家们长期以来一直怀疑这些衰变可能隐藏着量子秘密，但他们缺乏一种无需依赖复杂计算机模型（这些模型可能会掩盖答案）来测试它们的方法。
由一组研究人员提出的新方案，为最终将这一测试带入对撞机现场提供了一种方法。科学家们建议将不稳定粒子的衰变视为一次真正的实验，而不仅仅是稍后进行分析的数据集。他们提出，与其在事后尝试重建母粒子的不可见自旋，不如定义特定的、独立的探测方向。想象一下，探测器是围绕碰撞点的一个球体；研究人员建议选择两个特定的轴，分别对应碰撞的两侧，并且只有当衰变产物飞入这两个轴周围的窄锥形区域时，才记录结果。如果粒子未落在这些锥形区域内，该事件将被忽略。这种简单的过滤数据行为创造了一个清晰的输入与输出系统，类似于标准的贝尔测试，但经过了针对粒子加速器混乱环境的适配。
该团队发现这种方法存在一个显著障碍：仅仅观察所有数据而不进行过滤，无法证明量子非局域性。如果记录下每一个衰变产物，它们之间的相关性总能被一个经典的局域模型所解释，这意味着奇特的量子连接仍会被隐藏起来。为了揭示真相，研究人员表明，科学家必须舍弃那些粒子未落在选定锥形区域内的事件。这个被称为“后选择”（postselection）的过程对于观察到对经典规则的违背是必要的，但也打开了一个潜在的漏洞。批评者可能会争辩说，通过丢弃数据，实验者实际上是在选择一组看似具有量子特性的偏向性粒子群体。
然而，研究人员发现了一种利用“测量上下文相关性”（measurement contextuality）概念来堵塞这一漏洞的方法。他们证明，如果粒子被接受进入选定锥形区域的概率与锥形指向的方向无关，那么任何局域性的解释都必须在根本上是非经典的。换句话说，如果实验设置使得粒子的“接受”并不取决于实验者选择的具体设置，那么解释所观察到的相关性的唯一方式，就是必须接受这些粒子要么是真正的非局域的，要么是定义测量的行为本身改变了经典物理学无法描述的隐藏现实。该团队推导出了一个特定的数学极限，即数据必须跨越的一个阈值。他们计算出，如果粒子展现其自旋方向的能力足够高，且选定的锥形区域足够窄，数据将会突破这一经典极限。
研究结果表明，只要实验者愿意为了确保设置具有真正的独立性而丢弃大部分数据，在对撞机中进行一次真正的贝尔测试是可能的。研究人员表明，对于一种被称为“单态”（singlet state）的特定粒子对，只要衰变产物的自旋分析能力足够高，量子预测就会违背经典界限。这意味着，凭借合适的设备和精细的事件筛选，高能物理学可以加入原子物理和光学物理的行列，直接见证现实那奇特的非局域本质。这项工作并不声称已经完成了实验，但它提供了完整的蓝图和理论证明，证明此类测试可以区分经典世界与量子世界，从而将对撞机从一台“重构机器”转变为一台“直接观测机器”。
技术摘要：对撞机衰变过程中的贝尔测试
问题陈述
尽管贝尔测试在原子、光学和固态平台中已趋于成熟，但在高能对撞机过程中制定一种操作性的贝尔测试仍是一个开放性挑战。标准的贝尔测试要求具有模型无关的输入-输出结构，其中测量设置是独立于状态制备而选择的外部变量。相比之下，对撞机探测器主要记录衰变数据，而“设置”（测量轴）并非自由选择的外部变量，而是从被分析的微观衰变过程中提取出来的。因此，观测到的数据必须通过依赖模型的重构来组织成条件概率，这挑战了严谨贝尔测试所要求的测量独立性（λ-独立性）和模型无关性的假设。以往的间接方法通过从测得的动量中重构自旋密度算符来评估贝尔见证器；然而，这些方法无法提供实际贝尔测试中的观测条件概率。
方法论
作者提出了一种对撞机贝尔测试架构，通过定义以下要素来恢复必要的输入-输出结构：
- 输入（设置）： 为每个翼部（Alice 和 Bob）预先独立采样的分析轴（x^ 和 y^），并在分配结果之前进行选择。
- 输出（结果）： 由这些轴定义的粗粒化探测器区域。具体而言，对于一个轴 x^，定义了两个角半径为 ϕ 的对跖球面帽。落在这些球面帽内的探测产生二元结果（+1 或 $-1），而落在之外的探测产生空结果（\emptyset$）。
- 后选择（Postselection）： 分析仅保留“联合接受”事件，即两个翼部均未返回空结果的事件。
作者使用自旋分析器框架对不稳定母量子向子粒子的衰变进行建模。衰变诱导了一个角正算符值测度（POVM）密度 K(r^)=4π1(I+ηr^⋅σ)，其中 η 是自旋分析能力。探测器区域对应于将这些 POVM 元在选定的球面帽上进行积分。
核心贡献与理论结果
- 全记录的无结果定理（定理 1）： 作者证明，如果保留探测器击中（hits）的全记录而不进行后选择，则设置仅仅定义了对设置无关的局部 POVM 的经典后处理。因此，由此产生的统计特性允许存在局部隐变量（LIV）模型，并且无法违反贝尔不等式。这证实了在此背景下，后选择对于任何潜在的违反是必要的。
- 解决后选择漏洞： 后选择通常会打开检测漏洞，即被接受的隐变量子系综（λ）可能依赖于所选的设置，从而允许局部模型模拟非局域性。作者通过测量上下文相关性（measurement contextuality）来分析这一点。他们认为，如果联合接受事件在所有设置对之间是操作等价的（即接受概率与所选的具体轴无关），那么任何利用后选择漏洞的 LHV 模型都必须在联合接受上下文相关性意义上是非经典的。
- 定理 2（操作等效性）： 在假设后选择前满足测量独立性且接受事件具有操作等效性的前提下，作者证明，如果底层的 LHV 理论是联合接受非上下文相关的，那么被接受的隐变量分布 ρ(λ∣x^,y^,D) 与设置无关。这为非上下文局部模型关闭了漏洞。
- 推导贝尔不等式（定理 3）： 作者推导了一个适用于该问题旋转几何（连续输入 x^,y^∈S2 和二元输出 a,b∈{±1}）的全相关贝尔不等式。该不等式由如下泛函定义：
B:=−E[x^⋅y^ab]≤41
对于任何测量独立的 LHV 模型，该不等式均成立。
结果
作者计算了该协议下单态源态的量子力学预测。有效自旋分析能力由粗粒化宽度 ϕ 修正为 μ=η(1+cosϕ)/2。贝尔泛函的量子值为：
BQM=μAμB31
只要满足 μAμB>43，就会出现对经典界限（B>1/4）的违反。在对称情况下，这要求 μ>3/2。在理想极限（完美自旋分析能力 η=1 且探测锐利 ϕ→0）下，μ=1，得出 BQM=1/3，这明显违反了界限。
意义与主张
本文声称制定了第一个用于对撞机衰变的、能够恢复严谨审查所需的输入-输出结构的各种操作性贝尔测试架构。其主要意义在于证明了：
- 对撞机衰变中的贝尔违反是可能的，但严格要求进行后选择。
- 在测量独立性和接受事件的操作等效性假设下，对推导出的不等式（B>1/4）的违反，可作为贝尔非局域性或联合接受上下文相关性的见证。
- 所提出的协议依赖于探测器层级的统计数据，不需要完整的量子态重构，为从对撞机态重构研究转向对高能过程经典性的操作性测试提供了路径。
作者指出，虽然显式构建侧重于自旋-1/2 粒子，但该操作策略可以推广到具有适配粗粒化处理的高自旋系统。他们强调，用于关闭漏洞的操作等效性最终必须以理论中立的方式在实验中进行测试。
每周获取最佳 high-energy experiments 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。