[論文レビュー] Defending Time-Symmetrized Quantum Counterfactuals

Lev Vaidman|ArXiv.org|Nov 30, 1998

Quantum Mechanics and Applications参考文献 27被引用数 15

ひとこと要約

この論文は、アハロノフ＝バーグマン＝レヴィッツ（ABL）規則の反事後的解釈が一貫していないという批判に対して、時間対称量子理論（TSQT）を擁護する。ヴァイダマンは、批判が反事後的文の誤解に起因することを主張し、事後選択と事前選択の両方の状態に基づく一貫性のある時間対称的反事後的定義を提唱する。これにより、反事後的文の論理的整合性が保たれ、AHL規則の有効性が維持され、矛盾は洗練された意味論的・論理的枠組みによって解消される。

ABSTRACT

Recently, several authors have criticized the time-symmetrized quantum theory originated by the work of Aharonov et al. (1964). The core of this criticism was a proof, appearing in various forms, which showed that the counterfactual interpretation of time-symmetrized quantum theory cannot be reconciled with standard quantum theory. I, (Vaidman, 1996a, 1997) have argued that the apparent contradiction is due to a logical error and introduced consistent time-symmetrized quantum counterfactuals. Here I repeat my arguments defending the time-symmetrized quantum theory and reply to the criticism of these arguments by Kastner (1999).

研究の動機と目的

• 時間対称量子理論（TSQT）における反事後的推論の妥当性に関する論争を解決すること。
• アハロノフ＝バーグマン＝レヴィッツ（ABL）規則がTSQTにおいて反事後的に適用可能でないという主張に対抗すること。
• 事前・事後選択系において論理的整合性と物理的意味を保つ時間対称反事後的（TSC）の定義を明確にし、擁護すること。
• カステナーの批判、すなわちABL規則の反事後的解釈が無効であるという主張を反駁し、彼女の解釈が形式的体系の誤解に基づいていることを示すこと。
• TSQTにおける反事後的文が論理的に整合的であるだけでなく、弱測定の文脈においても物理的に意味を持つことを示すこと。

提案手法

• 事前・事後選択状態に基づく時間対称反事後的（TSC）の形式的定義を導入し、条件付き確率における時間対称性を保証する。
• Prob(ai) = |⟨Ψ₂|P_A=ai|Ψ₁⟩|² / Σj |⟨Ψ₂|P_A=aj|Ψ₁⟩|² の形でABL規則を適用し、|Ψ₁⟩ と ⟨Ψ₂| はそれぞれ事前選択状態と事後選択状態を表す。
• 弱測定を用いて弱値 A_w = ⟨Ψ₂|A|Ψ₁⟩ / ⟨Ψ₂|Ψ₁⟩ を導出し、二状態ベクトルに対して対称的であることを示す。
• 反事後的推論の整合性を検証するため、「非反事後的」および「真正の反事後的」という読み方の区別を行う。論理的に妥当なのは前者であると主張する。
• シャープとシャンクス（S&S）による不整合証明を再構成し、反事後的文の誤った読み方に依存していることを示す。
• カステナーの解釈に対する詳細な意味論的・論理的分析を行い、彼女の批判が形式的体系の誤読に基づいていることを示す。

実験結果

リサーチクエスチョン

• RQ1 時間対称量子理論（TSQT）におけるABL規則の反事後的適用は論理的に整合的か？
• RQ2 事前・事後選択量子系の文脈において「反事後的」という語の正しい解釈は何か？
• RQ3 TSQTにおいてABL規則を反事後的に適用すると、なぜ一見矛盾が生じるのか。そして、それらは解消可能か？
• RQ4 時間対称形式的体系は、標準的量子理論と比較して、条件付き確率や測定結果の取り扱い方でどのように異なるか？
• RQ5 測定が実行されない場合でも、TSQTにおける反事後的文は物理的に意味を持つことができるか？

主な発見

• 時間対称量子反事後的論理における一見した不整合は、形式的体系自体のものではなく、文献における「反事後的」という語の誤解に起因する。
• 事前・事後選択に基づく条件付き確率として解釈すれば、ABL規則の反事後的解釈はTSQTにおいて一貫的かつ有効である。
• カステナーの批判は、形式的体系の誤読に基づくものであり、特に「真正の反事後的」読みがTSQTで用いられているという彼女の主張は、ヴァイダマンによって根拠のないものと反駁される。
• 時間対称反事後的（定義2）の定義は、論理的に整合的であり、測定が不適合であったり実行されなかったりしても物理的に意味を持つ。
• 三箱の例は、中間測定に関する反事後的文が有用であり、予測的であることを示しており、弱い相互作用の期待効果を決定する。
• 弱値形式的体系は理論の時間対称性を確認し、TSQTにおける反事後的推論の物理的関連性を支持する。