$\Phi$-共振衰变产生的$K^0 \bar{K^0}$对的贝尔不等式

我们分析了近期通过使用来自$\Phi$-共振衰变的中性K介子作为纠缠EPR对来检验局域实在论的贝尔不等式提议的前提。我们特别关注了不稳定且振荡的K介子‘准自旋’态的贝尔不等式或相关表达式的推导，以及通过其关联衰变模式实际识别这些态的可能性。我们讨论了一种通过结合实验信息和理论输入来提取找到这些态的概率的间接方法。然而，我们仍然在之前的贝尔不等式推导中发现了不一致之处。我们表明，通过其关联衰变模式识别准自旋态不允许自由选择对它们进行不同的测试，而这一性质对于在局域实在论背景下确立任何贝尔不等式的有效性至关重要。鉴于此，我们提出了一种不同类型的贝尔不等式，其中实验装置的自由选择或可调节性得到保证。我们还证明了所提出的不等式被量子力学所违反。