[論文レビュー] A formal proof of the Born rule from decision-theoretic assumptions

David Wallace|ArXiv.org|Jun 15, 2009

Quantum Mechanics and Applications参考文献 19被引用数 40

ひとこと要約

この論文は、エヴェレット（多世界解釈）量子マルチバースにおけるエージェントが不確実性のもとで意思決定を行う際、確率を二乗振幅によって割り当てるボーン則が、唯一の合理的な方法である、形式的で数学的に厳密な証明を提供する。確率を事前に仮定しない意思決定の公理を用いて、ボーン則は、合理的な選好が量子分岐結果に対して満たすべき条件の必然的結果として導かれる。

ABSTRACT

I develop the decision-theoretic approach to quantum probability, originally proposed by David Deutsch, into a mathematically rigorous proof of the Born rule in (Everett-interpreted) quantum mechanics. I sketch the argument informally, then prove it formally, and lastly consider a number of proposed ``counter-examples'' to show exactly which premises of the argument they violate.

研究の動機と目的

• すべての結果が実現する多世界量子理論において、確率がどのように生じるかという基礎的問題を解決すること。
• 確率的概念を事前に仮定しないことで、循環的にならない、ボーン則の厳密な意思決定理論的基礎を提供すること。
• 他の確率割り当てが同様に合理的である可能性を主張する代替案に対して、ボーン則の合理的必然性を擁護すること。
• 初期の形式的でない証明（例：デュービッグのもの）を、意思決定理論と量子対称性に基づいた論理的に完璧な議論に形式化・一般化すること。
• 反例が提示された場合に、証明に必要な仮定がどこで破壊されるかを分析し、それらを反証することで、仮定の本質を明確にすること。

提案手法

• 意思決定理論の公理を用いて、分岐マルチバースにおける合理的な選好を、量子測定結果に対して形式化する。
• 表現定理を適用し、異なる分岐重みを持つ行為に対する任意の合理的エージェントの選好が、重みに関して線形な効用関数によって表現可能であることを示す。
• 量子状態の対称性と測定不変性の原則を用いて、選好の文脈不変性（非文脈的性）を強制する。
• 特に状態の上位性と対称性に基づく無関心性を満たす唯一の確率割り当てとしてボーン則を導出する。
• 測定不変性——同じ抽象的測定の異なる物理的実装に対して合理的な選好が不変であること——が、意思決定理論フレームワークの論理的帰結であることを証明する。
• ゲイロンの定理のPOVM版を用いて、射影測定を超えて一般化されたPOVM（正の作用素値測定）に対しても結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 確率的概念を公理に含めない意思決定原理から、ボーン則を導くことは可能か？
• RQ2 なぜ、二乗振幅として確率を割り当てるボーン則が、分岐する量子宇宙において合理的に必然的なのか？
• RQ3 文献に提案された代替の確率割り当てが、意思決定理論フレームワークのどの仮定を破壊しているのか？
• RQ4 実際の結果が一つに限らない状況において、量子状態の対称性が合理的な確率割り当てにどのように制約を加えるのか？
• RQ5 測定不変性（測定の物理的実装に依存しない無関心性）は、エヴェレット解釈の枠組みにおいて、合理性からどの程度必然的に導かれるのか？

主な発見

• ボーン則は、エヴェレットマルチバースにおける意思決定理論の合理的公理を満たす唯一の確率割り当てである。
• 測定不変性——同じ抽象的測定の異なる物理的実装に対して合理的な選好が不変であること——は、意思決定理論フレームワークの必然的帰結である。
• 証明は、重みwの分岐が確率wを持つように行動すべきであることを示しており、すべての分岐が物理的に現実であるにもかかわらず成り立つ。
• 提案された反例は、すべて少なくとも一つの核心的公理（例：状態の上位性、非文脈的性）を破壊しており、議論の枠組みに対して耐性がある。
• 形式的証明により、ボーン則が恣意的な仮定ではなく、分岐する量子世界における合理的行動の論理的帰結であることが立証された。
• エージェントが量子状態について不確実であっても、ゲイロンの定理を用いてPOVMにフレームワークを拡張すれば、結果は成り立つ。