[論文レビュー] Disproof of Joy Christian's "Disproof of Bell's theorem"

Florin Moldoveanu|arXiv (Cornell University)|Aug 28, 2011

Computability, Logic, AI Algorithms参考文献 1被引用数 3

ひとこと要約

この論文は、ジョイ・クリスチャンのベルの定理に対する反証とされる主張における4つの重大な数学的誤りを特定し、彼の隠れた変数モデルが量子相関を再現できないことを示している。根本的な欠陥は、幾何代数の基底の手の向きに関する誤った平均化にあり、これが彼のCHSH不等式の導出を無効にし、量子力学と整合する局所的実在論理論であるという彼の主張を根底から揺るがしている。

ABSTRACT

Four critical elementary mathematical mistakes in Joy Christian's counterexample to Bell's theorem are presented. Consequently, Joy Christian's hidden variable model cannot reproduce any quantum mechanics results and cannot be used as a counterexample to Bell's theorem. The mathematical investigation is followed by a short discussion about the possibility to construct other hidden variable theories. A tutorial section on relevant Clifford algebra topics was added at the end to help interested readers decide for themselves the validity of Joy's claims. Also an appendix section discusses recent developments.

研究の動機と目的

• EPR＝ボーハン実験における量子相関を再現する局所的実在論的隠れた変数理論を主張するクリスチャンの主張を、厳密に分析し反証すること。
• クリスチャンがクライフォード代数および幾何代数形式主義を用いる際の、特定の数学的誤りを同定し是正すること。
• 基底の手の向きの取り扱いの不一致と不適切な平均化により、期待値の計算が正しく行われないため、クリスチャンのモデルが期待値を正しく計算できないことを示すこと。
• ベル型の定理および隠れた変数理論の文脈における幾何代数の数学的基盤を明確にすること。
• 体系的なコンピュータシミュレーションと代数的検証を用いて、クリスチャンのモデルを決定的に反証すること。

提案手法

• クリスチャンのモデルのシステム的コンピュータシミュレーションにより、その予測を検証し、矛盾を特定すること。
• 最初の誤りの特定：$\mu = \pm I$ における平均化の過程で、$a \wedge b$ 項の誤ったキャンセル。これはホッジ双対性の取り扱いの不一致に起因する。
• インデックス付き和への $\lambda$ の代入における代数的不一致。これは適切な代入規則に違反している。
• 特にホッジ双対性 $a \wedge b = I \cdot (a \times b)$ を含むクライフォード代数の恒等式を用いて、相関関数の導出における数学的欠陥を露呈すること。
• 幾何代数における左表現と右表現の比較、および鏡映りによる相関項の符号への影響。
• 式(7)の和を正しく修正するための変換則 $B_R = -B_L$ の適用。正しい結果は $-ab$ であり、$-a \cdot b$ ではないことが示された。

実験結果

リサーチクエスチョン

• RQ1 ジョイ・クリスチャンの隠れた変数モデルは、EPR＝ボーハン設定において量子力学的相関 $-a \cdot b$ を正しく再現できるか？
• RQ2 クリスチャンの幾何代数フレームワーク内でのCHSH不等式の導出を無効にする数学的誤りは何か？
• RQ3 $\mu = \pm I$ における平均化がなぜ $a \wedge b$ 項を保持できないのか。この原因がモデルの整合性を破壊する仕組みは？
• RQ4 表現依存性を考慮しないまま変数 $\lambda$ をインデックス付き式に代入することは数学的に妥当か？
• RQ5 クリスチャンのモデルの古典的コンピュータシミュレーションは正しい量子相関を生成できるか。この結果がモデルの妥当性に何を示唆するか？

主な発見

• 最初の誤り――$\mu = \pm I$ における平均化の過程で $a \wedge b$ 項が誤ってキャンセルされること――は、相関関数の導出全体を無効にしている。
• クリスチャンの1ページペーパーの式(7)において、$\lambda$ をインデックス付き和に代入することは数学的に違法であり、変数とインデックスを混同することで誤った結果が得られている。
• 相関計算の正しい結果は $-ab = -a \cdot b - a \wedge b$ であり、$-a \cdot b$ ではない。これはクリスチャンのモデルが量子相関を再現できないことを意味する。
• 固定基底からの $I$ と、他の場所での現在の三重ベクトルとしての $I$ を混在して使用するモデルの依存性は、不正な符号反転を引き起こし、整合性を破壊する。
• モデルのコンピュータシミュレーションにより、数学的誤りが確認され、予測された相関が量子力学と一致しないことが示された。
• 著者の分析は、ギル、ホルマン、ヘステネスによって独立的に確認されており、クリスチャンのモデルが数学的に整合性がなく、ベルの定理の反例にはなり得ないことが確立された。