[论文解读] The Logic of Consistent Histories: A Reply to Maudlin

Robert B. Griffiths|arXiv (Cornell University)|Oct 5, 2011

Quantum Mechanics and Applications参考文献 13被引用 3

一句话总结

本文针对Maudlin对量子力学一致历史诠释的批评进行辩护，证明该方法在逻辑上是一致且内部自洽的。文章表明，Maudlin所声称的不一致性源于将历史框架与经典逻辑混淆，而非实际的逻辑漏洞；单框架规则正确地阻止了诸如GHZ思想实验中的悖论。

ABSTRACT

The relationship between quantum logic, standard propositional logic, and the (consistent) histories rules for quantum reasoning is discussed. It is shown that Maudlin's claim [Am. J. Phys. 79 (2011) 954] that the histories approach is inconsistent, is incorrect. The histories approach is both internally consistent and adequate for discussing the physical situations considered by Maudlin.

研究动机与目标

• 反驳Maudlin关于一致历史诠释在量子力学中存在逻辑不一致性的主张。
• 阐明量子逻辑、经典命题逻辑与一致历史逻辑之间的区别。
• 证明一致历史中的单框架规则可防止悖论而不破坏内部一致性。
• 表明该方法足以分析诸如盒子中的自旋和GHZ悖论等基础性量子思想实验。
• 论证一致历史与经典逻辑之间逻辑规则的差异并不意味着不一致，而仅反映其为量子现象量身定制的不同形式体系。

提出的方法

• 分析命题逻辑、量子逻辑（Birkhoff-von Neumann）与一致历史逻辑的逻辑结构，比较其规则与一致性。
• 在一致历史中应用单框架规则，以阻止非对易情境下的矛盾推理。
• 重构Maudlin关于盒子中自旋与GHZ悖论的论证，揭示其如何错误地将经典推理应用于量子系统。
• 利用可交换投影算符的框架，表明在可交换子空间中，量子逻辑退化为经典逻辑，从而保持一致性。
• 将一致历史的逻辑规则与经典逻辑进行比较，论证不一致性的指控源于框架的不当混合。
• 引用已确立的量子力学结果及先前分析（例如[7]中的Hardy佯谬）以支持一致历史方法的稳健性。

实验结果

研究问题

• RQ1 正如Maudlin所声称的那样，一致历史诠释在量子力学中是否逻辑上不一致？
• RQ2 一致历史的逻辑与经典命题逻辑有何不同？这种差异是否意味着不一致？
• RQ3 一致历史中的单框架规则能否防止GHZ思想实验中的悖论？
• RQ4 为何Maudlin对盒中制备的自旋的分析失败？制备与测量之间的正确区分起着什么作用？
• RQ5 一致历史方法在不破坏逻辑一致性的情况下，能在多大程度上解决量子力学中的概念性悖论？

主要发现

• 当依据其自身内部规则评估时，一致历史方法在逻辑上是一致的，Maudlin所声称的不一致性并无根据。
• 单框架规则在GHZ悖论中成功阻止了矛盾结论的推导，从而防止了非定域性论证的构建。
• Maudlin关于盒子中自旋的论证之所以失败，是因为其混淆了态制备与测量，而这一区别在一致历史框架中得到了澄清。
• 当依据其自身规则评估时，包括一致历史逻辑在内的量子逻辑是自洽的，即使其违反了经典逻辑的分配律。
• 一致历史方法为测量提供了完全基于量子力学的描述，无需附加假设即可解决测量问题。
• 该框架足以分析基础性量子悖论，并为依赖非定域性或坍缩 postulate 的诠释提供了一种连贯的替代方案。