Entanglement and non-separability of momenta and coordinates at colliders

技术摘要：对撞机中动量与坐标的纠缠与非可分性

问题陈述
本文探讨了在对撞机实验中测试量子纠缠的挑战，特别是针对连续相空间变量（坐标与动量），而非更常研究的离散自旋或螺旋度自由度。虽然螺旋度态的纠缠已在涉及 $B$ 介子、顶夸克对和粲夸克偶对的过程中得到实验验证，但本研究侧重于动量与位置态的非可分性。作者指出，与自旋不同，在末态粒子的背景下，动量和位置是对易变量，但它们可以通过 $S$ 矩阵将纯初始态映射为纯末态而产生处于纠缠叠加态的相空间。核心问题在于建立一种准则来检测这种“相空间非可分性”，并在现实的实验环境下利用连续变量对动量纠缠进行量化。

方法论
作者采用了一种结合理论准则与基于 Belle II 探测器环境（具体为 SuperKEKB 中的 $\tau$ 轻子对产生）的蒙特卡洛（MC）模拟的双管齐下方法。

1. EPR 型相关性（连续变量）：
   作者将爱因斯坦-波多尔斯基-罗森（EPR）准则应用于对撞机运动学。他们定义了一个坐标差 $x_- = x_2 - x_1$（基于 $\tau$ 轻子的衰变长度）和一个动量和 $p_+ = p_1 + p_2$（基于 $\tau$ 衰变产生的带电 $\pi$ 介子的动量）。由于 $x_-$ 和 $p_+$ 是对易的，他们测试了可分性条件：
   $$\Delta x_- \Delta p_+ \ge 1$$
   违反此不等式（$\Delta x_- \Delta p_+ < 1$）表明存在非可分性，而数值 $\le 1/2$ 则意味着存在 EPR 佯谬（非定域性）。

   • 模拟： 他们使用 MadGraph5 和 TauDecay 库模拟了 $e^+e^- \to \tau^+\tau^- \to \pi^+\pi^-\nu\bar{\nu}$ 事件。
   • 探测器建模： 模拟结合了用于模拟 Belle II 探测器性能的高斯弥散（包括动量和顶点分辨率，见表 I）。

2. 用于量子比特映射的离散化（动量纠缠）：
   为了将标准的量子信息工具（并发度、Horodecki 判据）应用于连续动量变量，作者使用半球投影对相空间进行离散化。

   • 投影： 每个粒子的动量根据其是否跨越由法向量 $\hat{n}$ 定义的选定半球，被映射到量子比特态（$|f\rangle$ 或 $|b\rangle$）。
   • 密度矩阵构建： 通过非极化束流的 $S$ 矩阵形式推导出动量密度矩阵（$\rho_{-+}$ 和 $\rho_{+-}$）。通过应用半球投影，他们将无限维动量空间简化为代表双粒子量子比特系统的 $4\times4$ 矩阵。
   • 分析： 他们计算了特定选择 $\hat{n}$（例如沿 $z$ 轴和 $y$ 轴）下的并发度和非定域性度量。

关键结果

1. 违反可分性不等式：
   在 $\tau$ 对产生的蒙特卡洛模拟中，偏差乘积发现为：
   $$\Delta x_- \Delta p_+ = 0.391 \pm 0.002$$
   该值显著违反了 1 的可分性界限，并低于 0.5 的 EPR 阈值。作者指出，9 ％ 的分析事件是类空间分离的，证实了坐标与动量之间存在真实的非定域纠缠。

2. 最大动量纠缠：
   通过离散化动量态：

   • 选择投影轴 $\hat{n} = z$ 得到对应于 Bell 态 $|\Psi^+\rangle = \frac{1}{\sqrt{2}}(|f; b\rangle + |b; f\rangle)$ 的密度矩阵，具有最大并发度（$C=1$）和 Horodecki 参数（$m_{12}=2$）。
   • 在无质量极限下（$s \gg m_\tau^2$），选择 $\hat{n} = y$ 得到 Bell 态 $|\Psi^-\rangle = \frac{1}{\sqrt{2}}(|f; b\rangle - |b; f\rangle)$，同样表现出最大纠缠。
   • 对于 Belle II 所拥有的事件计数（$N \approx 10^6$），熵估计的不确定性可以忽略不计。

意义与主张
本文声称可以利用 Belle II 实验已收集的数据来实验性地评估相空间非可分性。作者断言：

• 实验可行性： 在对撞机环境下对 EPR 不等式的违反证明了存在坐标（衰变长度）与动量之间的纠缠，这与自旋纠缠不同。
• 理论意义： 结果挑战了将动量视为局部变量的确定性隐变量模型。作者认为，由于动量在测量前处于纠缠的、非可分的态（如 $S$ 矩阵形式和量子层析法所示），因此不能将其描述为由经典概率加权的混合态。
• 普适性： 该方法论被呈现为适用于其他过程，例如希格斯玻色子衰变为规范玻色子（产生最大纠缠态）以及 LHC 上的顶夸克对产生，作者计划在未来工作中对此进行分析。

作者对于该研究的直接应用保持了谦逊的态度，指出他们是在“探索可能性”并“通过蒙特卡洛模拟展示”这些效应是可评估的，而不是声称发现了一种新的纠缠本身，而是提出了一种在相空间中观察纠缠的新方法。