[論文レビュー] An Analysis of Stapp's "A Bell-type theorem without hidden variables"

Abner Shimony|ArXiv.org|Apr 21, 2004

Quantum Mechanics and Applications参考文献 17被引用数 4

ひとこと要約

この論文は、隠れた変数を仮定せずに局所性と測定の自由選択に基づいてベル型の定理を証明しようとするヘンリー・スタップの試みを批判的に分析する。相対論的枠組みにおける反事後的条件文の使用に疑問を呈し、論理的構造が空間的領域に誤ってモーダル依存関係を帰属していると主張する。また、隠れた変数の仮定のもとで得られるベルの元々の証明が、量子非局所性の論理的根拠としてより整合性のある基盤を提供することを再確認する。

ABSTRACT

H. P. Stapp has proposed a number of demonstrations of a Bell-type theorem which dispensed with an assumption of hidden variables, but relied only upon locality together with an assumption that experimenters can choose freely which of several incompatible observables to measure. In recent papers his strategy has centered upon counterfactual conditionals. Stapp's paper in American Journal of Physics, 2004, replies to objections raised against earlier expositions of this strategy and proposes a simplified demonstration. The new demonstration is criticized, several subtleties in the logic of counterfactuals are pointed out, and the proofs of J. S. Bell and his followers are advocated.

研究の動機と目的

• スタップが隠れ変数を仮定せず、局所性と測定の自由選択に基づいてベル型定理を主張する主張を評価すること。
• スタップが相対論的時空における反事後的条件文を用いる際の論理的微妙な点を特定し、明確化すること。
• スタップが彼の証明が隠れ変数の仮定を回避していると主張する根拠を、物理的・論理的に整合性があるとすること。
• 隠れ変数の仮定を明示的に含むが、量子非局所性に関する論理的に完璧な結論を導くベルの元々の定理の有効性と基礎的強度を再確認すること。
• 特に時空における関係的性質としての反事後的条件文のモーダル推論の哲学的・物理的意味を明確化すること。

提案手法

• 時空的隔たり領域におけるモーダル文の真偽条件を評価するために、形式論理と反事後的推論を用いてスタップの2004年論文を分析する。
• 可能な世界を、量子系のすべての可能な実験に対する測定結果の最大で一貫性のある割り当てとして定式化する。
• スタップの主要な反事後的文 SR の真偽が、領域 R に限定された条件に依存しないこと、特に領域 L からの制約も含むことから、彼の局所化主張が崩れることを特定する。
• 関係的性質（例：「最速の泳ぎ手」）を用いた類推を通じて、SR のようなモーダル性質が領域固有のものではなく、外部の比較に依存することを説明する。
• アインシュタイン＝ミンコフスキー幾何学を適用し、時空の因果的・論理的構造が、量子系に関するモーダル推論において尊重されなければならないことを示す。
• ベルの元々の証明を再検討し、スタップの証明と比較することで、隠れ変数仮説の下でのベルのアプローチの論理的厳密性を強調する。

実験結果

リサーチクエスチョン

• RQ1 隠れ変数を仮定せず、局所性と測定の自由選択に基づいて、ベル型定理を厳密に導けるか？
• RQ2 反事後的条件文は相対論的時空でどのように機能するのか？ また、それらは単一の時空領域に局所化可能か？
• RQ3 「もし R1 が測定されたら、R1 は + を得る」というようなモーダル文の論理的状態は、時空的隔たり領域でなされた選択に依存する場合、どのように評価されるべきか？
• RQ4 スタップの証明が隠れ変数に間接的に依存する仮定を含まないまま非局所性を確立できないのはなぜか？
• RQ5 測定設定の自由選択の仮定は、局所性との矛盾を導くのに十分か、それには追加の形而上的なコミットメントが必要か？

主な発見

• スタップの証明は、彼の主要な反事後的文 SR の真偽条件を領域 R に局所化できず、領域 L からの制約に依存するため、相対論的局所性の原則に反する。
• 反事後的条件文（例：SR）の真偽は、R 内の出来事だけでは決定できない。代わりに、時空的隔たり領域にわたる一貫性が要求され、したがってそれらは本質的に関係的であり、局所的ではない。
• スタップの枠組みにおける古典的モーダル論理の使用は、特に可能な世界が遠く離れた領域での選択に制約を受ける仕方において、概念的・論理的不整合を引き起こす。
• スタップが彼の証明が隠れ変数を仮定していないと主張する根拠は、彼の議論の論理的構造が、隠れ変数モデルに等価な決定論的結果割り当てを暗黙のうちに仮定していることによって損なわれる。
• ベルとその支持者たちによる元々の証明は、論理的に優れている。なぜなら、局所性と隠れ変数の仮定から矛盾を導き出し、量子力学の非局所性を論理的に完璧に裏付けるからである。
• 本論文は、EPR的物理的実在要素が反事後的推論に必要ではないものの、ベルの定理と実験的検証によってそれらが論理的に不整合になることが再確認され、量子基礎論における非局所性の必要性が強化されることを示している。