[論文レビュー] The measurement problem is the measurement problem is the measurement problem

Veronika Baumann, Arne Hansen+1 more|arXiv (Cornell University)|Nov 3, 2016

Quantum Mechanics and Applications参考文献 2被引用数 53

ひとこと要約

この論文は、Wignerの友人 thought experiment における矛盾によって、単一世界量子解釈が論理的に不整合であるという主張に挑戦する。矛盾は解釈上の欠陥によるのではなく、測定更新則を主体的に適用する際の波動関数の崩壊とユニタリ時間発展の不適合性に起因する。主な貢献は、表面上のパラドックスが単一世界理論の欠陥ではなく、基礎的な測定問題の反映であることを示したことにある。

ABSTRACT

Recently, it has been stated that single-world interpretations of quantum theory are logically inconsistent. The claim is derived from contradicting statements of agents in a setup combining two Wigner's-friend experiments. Those statements stem from applying the measurement-update rule subjectively, i.e., only for the respective agent's own measurement. We argue that the contradiction expresses the incompatibility of collapse and unitarity - resulting in different formal descriptions of a measurement - and does not allow to dismiss any specific interpretation of quantum theory.

研究の動機と目的

• Wignerの友人 thought experiment に基づく単一世界量子解釈が論理的に不整合であるという主張に反論すること。
• 主観的崩壊が量子測定シナリオにおける表面上の矛盾を生じさせる役割を明確にすること。
• FrRenプロトコルにおける矛盾が、崩壊とユニタリ時間発展の不適合性に起因するものであり、解釈上の欠陥ではないことを示すこと。
• 先行研究で用いられたストーリープlotsフレームワークが解釈を除外するのに不十分であり、量子情報の流れを誤って表現する可能性があると主張すること。
• 矛盾が単一世界解釈の反証ではなく、基礎的な測定問題の現れであることを示すこと。

提案手法

• ストーリープlotsフレームワークを用いてFrRenプロトコルを分析し、参加者が測定結果について古典的に述べられる内容を評価する。
• 各参加者が自らの測定に対してのみ測定更新則を適用する主観的崩壊モデルを適用し、予測を導出する。
• ユニタリ時間発展（エヴェレット形式）を用いて、崩壊を含まずに参加者の結果の結合確率分布を計算する。
• 主観的崩壊モデル（P_clps）とユニタリのみモデル（P_ism）の予測を比較し、矛盾の原因を特定する。
• 古典的情報表現における相互運用性と区別可能性の役割を、量子設定内での観点から検討する。
• プロトコル内の論理的推論の流れを明示的に追跡し、互いに不適合な仮定が不整合を引き起こす仕組みを示す。

実験結果

リサーチクエスチョン

• RQ1 FrRenのWignerの友人設定における矛盾が、本当に単一世界量子解釈を反証するものなのか？
• RQ2 プロトコルにおける矛盾の原因は、解釈の曖昧さか、形式的な不適合性か？
• RQ3 参加者が主観的崩壊を用いることで、ユニタリ時間発展と組み合わせた際にどのように不一致な予測が生じるのか？
• RQ4 ストーリープlotsフレームワークは、量子情報および測定結果をどれほど正確に表現しているのか？
• RQ5 単一世界解釈を放棄せずに矛盾を解消できるか、もしそうならその方法は何か？

主な発見

• FrRenプロトコルにおける矛盾は、単一世界解釈の論理的不整合に起因するのではなく、崩壊とユニタリ時間発展の不適合性に起因する。
• 参加者が測定更新則を主観的に適用する（主観的崩壊）ことで得られる予測は、ユニタリ予測と矛盾し、表面上の矛盾を引き起こす。
• FrRenで用いられたストーリープlotsフレームワークは、解釈を除外するのに不十分であり、古典的情報の流れと量子形式主義を混同している。
• 矛盾は形式的に標準的な測定問題と同等であり、波動関数の崩壊とユニタリ時間発展の間の緊張を反映している。
• ユニタリ時間発展を一貫して適用すれば、矛盾は生じない。不整合は、参加者によって選択的に崩壊が適用された場合にのみ現れる。
• プロトコルの停止条件と条件付き推論は、互いに不適合な仮定（一部の参加者に崩壊、他の参加者にユニタリ性）に依存しており、核心的な問題を示している。