贝尔不等式：量子力学中的哲学与验证
1. 量子力学模型之争
在量子力学领域，存在着标准模型，也就是哥本哈根诠释。该模型主要描述粒子自旋或光子偏振，为量子比特的研究提供了数学基础。然而，20世纪初的一些伟大物理学家，如阿尔伯特·爱因斯坦和欧文·薛定谔，并不认同这一模型。他们反对该模型中状态以给定概率跳跃到基态的解释，尤其反对概率的使用和超距作用的概念。他们认为应该存在一个使用“隐变量”和“局域实在论”的更好模型，这个模型能解释计算结果为何正确，消除随机性并解开谜团。
1.1 局域实在论的重要性
玻尔和爱因斯坦就量子力学的哲学基础展开了一系列辩论，焦点集中在局域实在论上。局域实在论认为，一个粒子只能受到其附近事物变化的影响。实际上，我们大多数人都是局域实在论者，但量子力学表明我们的观点是错误的。爱因斯坦的模型在我们看来似乎是自然且正确的，当我们初次接触量子纠缠时，很可能会倾向于类似爱因斯坦的模型。这些辩论对于物理学哲学至关重要，能帮助我们理解量子力学的神秘性无法消除。
1.2 贝尔的检验
爱尔兰物理学家约翰·斯图尔特·贝尔设计了一个巧妙的测试，用于区分这两种模型。令人惊讶的是，这些模型并非仅仅是哲学观点，而是可检验的理论。我们只需掌握量子力学所需数学知识的一小部分，就能理解贝尔的结果。他的测试已多次进行，虽然排除实验设置中的所有可能偏差颇具挑战，但越来越多的可能漏洞已被排除，结果始终与哥本哈根诠释相符。贝尔的结果是20世纪最重要的成果之一，值得我们深入研究。
1.3 与量子计算的联系
贝尔不等式背后的思想可用于发送加密消息，而且他所使用的纠缠量子比特在量子算法中也会再次出现，因此这一研究与量子
