[论文解读] George Boole and the Bell inequalities

Elemér E Rosinger|ArXiv.org|Jun 1, 2004

Quantum Mechanics and Applications参考文献 1被引用 7

一句话总结

本文表明，贝尔不等式——量子基础中的核心概念——可完全通过源自乔治·布尔19世纪概率不等式研究的数学推理推导得出，无需任何物理假设。其关键贡献在于揭示这些不等式虽后来被应用于量子非定域性，但其根源属于更广泛的数学约束类别，表明其在基础层面独立于量子力学，尽管仍被量子实验所经验性证伪。

ABSTRACT

As shown by Pitowsky, the Bell inequalities are related to certain classes of probabilistic inequalities dealt with by George Boole, back in the 1850s. Here a short presentation of this relationship is given. Consequently, the Bell inequalities can be obtained without any assumptions of physical nature, and merely through mathematical argument.

研究动机与目标

• 澄清贝尔不等式的数学起源，追溯至乔治·布尔在1850年代对概率约束的研究。
• 证明贝尔不等式可完全不依赖物理假设，仅通过数学推理推导得出。
• 通过揭示其根植于纯粹概率论，挑战贝尔结果本质上是物理性的普遍看法。
• 强调量子力学对这些不等式的违反在理论上和经验上均已被证实，尽管其推导完全基于数学。
• 通过强调使不等式成立所需的最小物理假设，重新审视关于定域性与非定域性的基础争论。

提出的方法

• 分析概率不等式的历史发展，特别是布尔在《思维定律》（1854年）中的工作，其时间早于量子力学的出现。
• 识别贝尔不等式的数学结构为布尔更广泛的概率约束类中的一部分。
• 仅通过逻辑与数学论证重构贝尔不等式的推导，排除诸如定域性或实在性等物理公设。
• 将贝尔原始推导与布尔更早的形式体系进行比较，表明在概率的一致性条件约束下，这些不等式在数学上是必然成立的。
• 证明同一数学框架亦可用于推导出被量子力学所违反的不等式，尽管该框架本身是经典且非物理的。
• 利用联合概率分布与一致性条件的框架，表明当引入量子纠缠时，违反现象出现，而推导过程中无需引入量子理论。

实验结果

研究问题

• RQ1 贝尔不等式能否在不依赖任何物理假设的前提下，仅通过数学推理推导得出？
• RQ2 贝尔不等式与乔治·布尔在概率不等式方面的工作之间，在历史与数学上存在何种关系？
• RQ3 构成贝尔不等式假设的基础在多大程度上源于数学一致性，而非物理原理？
• RQ4 若贝尔不等式源自纯粹数学约束，为何在量子力学实验中会失效？
• RQ5 贝尔不等式的数学起源如何影响对量子非定域性及EPR佯谬的诠释？

主要发现

• 贝尔不等式并非本质上是物理构造，而是可从布尔1854年关于概率约束的工作中数学推导得出，表明其根基在于经典逻辑与概率论。
• 贝尔不等式的推导无需定域性、实在性或量子力学的假设——仅需对联合概率的一致性条件。
• 产生贝尔不等式的同一数学框架，亦可生成更广泛的不等式类，而这些不等式被量子力学所违反，表明量子力学违反了经典概率的一致性。
• 量子力学实验（如阿斯佩特等人所做）经验性地证实了贝尔不等式的违反，证明量子系统无法用任何局域的经典联合概率分布来描述。
• 贝尔不等式在量子力学中的失效在理论上和经验上均已确立，表明经典概率与量子纠缠之间存在根本不相容性。
• 本文结论认为，量子基础中的核心冲突——定域性与非定域性之争——其根源在于经典概率与量子关联之间更深层次的数学张力，而非仅源于物理公设。