Neutrino Oscillations as a Probe of Macrorealism

技术摘要：中微子振荡作为宏观实在性的探测手段

问题陈述
莱格-加格不等式（Leggett-Garg Inequalities, LGIs）提供了一个测试宏观实在性（Macrorealism, MR）假设的框架——即认为系统在所有时刻都具有确定的状态，且可以在不受到干扰的情况下进行测量。虽然已有研究提出通过违反 LGI 来证明中微子味振荡中的量子行为，但作者认为之前的分析（例如文献 [7–10]）在统计方法论上存在缺陷。具体而言，先前的研究通常使用“经典”莱格-加格链（$K^C_n$）或在未模拟适当的宏观实在背景的情况下对振荡数据进行重采样。作者认为，这些方法产生的不靠谱显著性水平是因为经典链仅在实验不确定性产生非物理相关性（例如生存概率 $P > 1$）时才会违反 LGI，而非反映了真正的宏观实在行为。

方法论
本文提出了一种用于探测中微子数据中 LGI 的改进统计框架，并以 MINOS 和 MINOS+ 实验的缪子中微子生存数据为例进行了说明。该方法包含三个关键改进：

1. 广义莱格-加格链： 作者将标准的 LG 链（$K_n$）进行了推广，允许任意的测量序列和符号分配（$\sigma_i = \pm 1$）。他们定义了一个最优 LG 链 $K_{max}^n$，在满足乘积符号为 $-1$ 的条件下，最大化给定相关函数的违反潜力。这使得能够利用非时间顺序序列和不同的相位组合（例如“1+3”与“2+2”相位拆分）来构建 LG 链，而这些组合在以往研究中被忽略了。
2. 宏观实在背景模型： 作者并非使用经典链或重采样数据，而是基于明确的宏观实在背景假设（$H_0$）生成伪数据。他们考虑了两种模型：
   • $H_0^a$：一个具有恒定相关函数 $C(\tau) = 1$ 的完全相关经典系统。
   • $H_0^b$：一个遵循马尔可夫过程的去相关经典系统，其相关函数为 $C(\tau) = e^{-\Gamma\tau}$，其中 $\Gamma$ 通过对数据进行拟合得到。
     这些模型生成的伪样本具有与实验数据相同的方差，从而建立了一个基准，用以衡量“偶然”违反的可能性。
3. 稳健的检验统计量： 为了解决宏观实在伪数据中的微小波动经常会结合起来导致违反 LGI（特别是在接近边界 $C=1$ 时）的问题，作者引入了一个基于单侧 $z$-分数均方根（$z_{RMS}$）的检验统计量。该指标量化了违反相对于不确定性的“质量”，而非仅仅是违反的“数量”。

主要结果
将该方法应用于 MINOS/MINOS+ 数据（39 个能量箱，$L \approx 735$ km）：

• 序列优化： 与之前的研究相比，作者识别出了显著更多的满足匹配条件（公式 9）的唯一相位组合，包括含有 $n=4$ 和 $n=5$ 次测量的组合。
• 违反的显著性： 在将观测数据与宏观实在背景模型进行比较时：
  • 对抗完全相关模型（$H_0^a$）时，估计出的 LGI 违反的试后显著性（post-trial significance）为 2.1$\sigma$。
  • 对抗去相关马尔可夫模型（$H_0^b$）时，显著性为 3.7$\sigma$。
• 与先前声明的比较： 这些结果显示，与文献 [7] 中 6.2$\sigma$ 的声明相比，显著性有所下降。作者将其归因于对背景假设更严格的处理，以及避免了统计检验中产生非物理相关性的问题。
• 模型一致性： 分析证实，与最佳拟合振荡模型（$\chi^2/dof \approx 1.8$）相比，恒定相关模型（$C=1$）对 MINOS 数据的描述较差（$\chi^2/dof \approx 31$）。然而，针对宏观实在性的统计检验专门隔离了相关性的量子性质，而非一般的拟合优度。

意义与主张
本文声称其主要贡献在于提供了一种更稳健的测试中微子振荡中宏观实在性的统计方法。通过放弃“经典 LG 链”方法，转而模拟明确的宏观实在背景模型并使用精炼的检验统计量，作者认为此前关于 LGI 违反的声明被夸大了。

作者得出结论，虽然 MINOS/MINOS+ 数据仍显示出 LGI 违反的证据（在 2–3$\sigma$ 水平上），但统计证据不如之前报告的那么确定。他们断言，其发现要求对其他加速器和反应堆中微子数据集（如 NO$\nu$A、Daya Bay 和 RENO）中采用类似、不够严谨的背景建模的研究进行批判性的重新审查。这项工作确立了测试 LGI 违反与单纯确认中微子振荡是不同的；它需要一种特定的统计检验，将相关性针对一个考虑了测量不确定性且不会诱发伪违反的宏观实在零假设进行测试。