[論文レビュー] 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 量子確率は、頻度や賭けのオddsではなく、論理的証明可能性の形式として理解できるか？
• RQ4 直感主義論理は、古典的論理よりも量子力学により一貫性のある基礎を提供できるか？
• RQ5 構成的推論は、量子系における確率の割り当てにどのような制約を課えるか？

主な発見

• ボーン則は、直感主義論理の下で、量子命題に対する構成的確率の一意的かつ一貫した割り当てとして導かれる。
• 量子確率を導出するにあたり、排中律は必要とせず、より基礎的な説明が可能になる。
• 量子確率は頻度や賭けのオddsではなく、構成的証明の度合いとして解釈される。
• この枠組みは、未決定な命題が自然に1未満の確率を持つこと、すなわち構成的知識が不完全であることを反映していることを示している。
• 構成的論理の使用により、恣意的な仮定なしにボーン則が論理的に一貫して導出可能である。
• 本論文は、与えられた構成的解釈の下で、標準的なボーン則が唯一の一貫した確率割り当てであることを確立している。