[论文解读] Explaining the Born rule in the intuitionistic interpretation of quantum mechanics

Arkady Bolotin|arXiv (Cornell University)|Oct 6, 2016

Quantum Mechanics and Applications被引用 1

一句话总结

本文通过用构造性概率替代经典真值，在直觉逻辑诠释的量子力学中解释了玻恩法则，从而避免了排中律。它将量子概率作为直觉逻辑的推论结果，提供了一种基于构造主义而非标准概率论的基础性解释。

ABSTRACT

This paper presents a novel explanation of the cause of quantum probabilities and the Born rule based on the intuitionistic interpretation of quantum mechanics where propositions obey constructive (intuitionistic) logic. The use of constructive logic makes it possible (through a replacement of the concept of truth with the concept of constructive probability) to abandon the law of excluded middle in the intuitionistic interpretation.

研究动机与目标

• 在直觉逻辑诠释的量子力学中，为量子概率提供基础性解释。
• 通过用构造性概率替代经典真值，解决量子逻辑中排中律引发的问题。
• 表明玻恩法则可自然地从构造性推理中导出，而非被假设。
• 建立一个逻辑框架，使量子概率源于直觉逻辑原则，而非统计假设。

提出的方法

• 采用直觉逻辑，本文将量子命题重新定义为可构造证明或不可构造证明，而非真或假。
• 引入一种类似概率的度量，用于反映命题的构造性证明程度，替代经典真值。
• 通过证明量子态的幅值平方对应于测量结果的构造性概率，推导出玻恩法则。
• 通过将不可判定命题视为既非真也非假，但具有构造性概率，避免使用排中律。
• 利用逻辑一致性和证明论推理，表明在这些构造性约束下，玻恩法则是在概率赋值中唯一一致的分配方式。
• 通过保持逻辑结构的映射，形式化了量子态向量与构造性概率之间的联系。

实验结果

研究问题

• RQ1 如何在不依赖经典逻辑或排中律的前提下推导出玻恩法则？
• RQ2 构造性概率在解释量子测量结果中扮演什么角色？
• RQ3 量子概率能否被理解为一种逻辑可证明性，而非统计频率？
• RQ4 直觉逻辑为何比经典逻辑能为量子力学提供更连贯的基础？
• RQ5 构造性推理对量子系统中概率赋值施加了哪些约束？

主要发现

• 在直觉逻辑下，玻恩法则成为量子命题构造性概率唯一一致的赋值方式。
• 推导量子概率无需依赖排中律，从而提供了更基础的解释。
• 量子概率被解释为构造性证明的程度，而非频率或投注赔率。
• 该框架表明，量子力学中不可判定命题自然地被赋予小于1的概率，反映了构造性知识的不完整。
• 使用构造性逻辑可导出逻辑上一致的玻恩法则，无需人为假设。
• 本文确立了，在给定的构造性诠释下，标准玻恩法则是在所有概率赋值中唯一一致的分配方式。