无不等式贝尔定理的逻辑结构

贝尔定理展示了如何实验性地证伪定域实在论。结论性的证伪极为可取，因其将支持量子理论最深刻反直觉特征——非定域性。尽管量子力学证据充分，探测器效率的实际限制与协调类空间隔测量的困难为经典世界观留下了漏洞；这些漏洞从未被同时关闭。近期提出若干新实验以同时关闭两类漏洞。我们表明其中一些新颖设计以最基本的方式失败，即未能排除定域隐变量模型，并给出显式经典模型以证明此点。它们共享一个共同缺陷，揭示了对非定域性证明如何运作的根本误解。鉴于目前投入此类实验的时间与资源，理论清晰性至关重要。我们的解释以简单逻辑呈现，应可纠正误解并避免未来错误。我们还展示了一个涉及四位参与者的非定域性证明，其具有有趣的理论性质。