[論文レビュー] Comment on "Is a system's wave function in one-to-one correspondence with its elements of reality?" [arXiv:1111.6597]

G. C. Ghirardi, Raffaele Romano|arXiv (Cornell University)|Feb 7, 2013

Quantum Mechanics and Applications被引用数 5

ひとこと要約

この論文は、コルベックとレナーの主張である『量子系の波動関数はその実在的要素と一対一に対応する』という主張に反論し、彼らの『自由意思』仮定（FR）が超光速送信と混同されやすく、あまりに制限的であると主張する。著者らは、より弱い自由意思条件（FR′）と新しい静的情報仮定（ST）を導入し、補足情報が静的でない場合、量子力学と自由意思、および信号伝送の禁止を満たすψ-エピステミックモデルが可能であることを示す。

ABSTRACT

Recently, it has been argued [arXiv:1111.6597, arXiv:1005.5173] that different quantum states do necessarily correspond to different elements of reality, under the assumption that quantum mechanics is correct and that measurement settings can be freely chosen. Here, we prove that additional assumptions are necessary to derive this results, which then has not general validity.

研究の動機と目的

• ψ-エピステミックモデルに関するコルベックとレナーのノーガ theorem の妥当性に挑戦すること。
• 量子基礎における自由意思（FR）と信号伝送禁止（NS）の違いを明確にすること。
• 補足情報が静的でない場合、量子力学と整合するψ-エピステミックモデルが存在可能であることを示すこと。
• 独立した測定選択と信号伝送の分離を可能にするより弱い条件（FR′）を用いて、自由意思仮定を再定式化すること。

提案手法

• 測定選択が実在状態から独立することを保証する、修正された自由意思条件（FR′）を定義：P(A|Bλ) = P(A) および P(B|Aλ) = P(B)。
• 補足情報が測定設定から独立することを要請する新しい仮定 ST（静的情報）を定義：P(CZ|ABXY) = P(CZ)。
• FR′ ∧ NS ∧ ST が FR を含意することを示し、FR が元の議論において必要以上に強いことを証明する。
• 条件付き確率の因数分解を用いて、ST と FR′ の含意を導出し、FR の破壊が自由意思の喪失を意味しないことを示す。
• ルイスのモデルの知見を活用して、ST が破られる場合にψ-エピステミックモデルを構成的に構築可能であると主張する。
• FR と NS を区別し、自由意思と超光速送信が原理的に共存可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 コルベックとレナーの研究における、元の自由意思仮定（FR）は、量子測定における物理的自由意思の概念を正しく捉えているか？
• RQ2 補足情報が静的でない場合、ψ-エピステミックモデルは量子力学と整合可能か？
• RQ3 信号伝送禁止条件（NS）は自由意思仮定（FR）と論理的に独立か？
• RQ4 静的情報仮定（ST）は、波動関数と実在的要素の一対一対応を導く上で核心的な役割を果たすか？
• RQ5 FR を代替できるより弱い自由意思条件（FR′）は、元のノーガ定理の結論を損なわずに用いることができるか？

主な発見

• ψ-エピステミックモデルに関する元のノーガ定理は、より弱い自由意思仮定（FR′）のもとでは成立しない。FR′ は測定選択を実在状態から分離する。
• FR′ は信号伝送禁止条件（NS）と論理的に独立であり、自由意思と超光速送信が本質的に不整合であるとは限らないことを示す。
• ST は FR を FR′ と NS から導くために不可欠であり、ST の破壊が、整合的なψ-エピステミックモデルの存在を可能にする。
• FR が破壊されても、ST や NS が破壊されていれば、自由意思の喪失を意味しない。これにより、元の議論における FR の必要性が揺らぐ。
• 補足情報が非静的であれば、量子力学、自由意思、信号伝送禁止と完全に整合するψ-エピステミックモデルが構成可能であり、具体的な例によって示された。