[論文レビュー] On the ongoing experiments looking for higher-order interference: What are they really testing?

Arkady Bolotin|arXiv (Cornell University)|Nov 20, 2016

Quantum Mechanics and Applications参考文献 18被引用数 3

ひとこと要約

この論文は、多スリット構成における高次干渉を探索する継続的な実験が、本質的に量子測定が正確に1つの明確な結果をもたらすという仮定を検証していると主張している。直感的論理と排他的論理和（XOR）形式的記法を用いて、著者は、単一の結果測定という論理的制約を課したとき、高次干渉項が消えることを示し、第二階層干渉のみがこの原理によって論理的に必要とされることを証明した。これにより、量子力学が高次干渉を示さない理由が説明される。

ABSTRACT

The existence of higher than pairwise quantum interference in the set-up, in which there are more than two slits, is currently under experimental investigation. However, it is still unclear what the confirmation of existence of such interference would mean for quantum theory -- whether that usual quantum mechanics is merely a limiting case of some more general theory or whether that some assumption of quantum theory taken as a fundamental one does not actually hold true. The present paper tries to understand why quantum theory is limited only to a certain kind of interference.

研究の動機と目的

• 高次干渉を探索する継続的実験が、基礎的なレベルで実際に何を検証しているかを明確化すること。
• 一般化確率理論（GPTs）では高次干渉が理論的に可能であるにもかかわらず、なぜ量子力学が第二階層干渉しか示さないかを調査すること。
• 高次干渉の欠如が、特に測定結果の明確性という量子理論の根本的仮定に起因するかどうかを特定すること。
• 測定結果が正確に1つであるという制約を反映した直感的論理フレームワークを提案し、干渉の論理的構造に焦点を当てること。
• 測定ごとに正確に1つの結果が得られるという制約のもとで、高次干渉項が消えることを示し、量子力学におけるこのような干渉の欠如を説明すること。

提案手法

• 検出イベント（例えば、粒子がスリットを通過する）に関する命題を真理値を持つ論理的文として扱う直感的論理を用いて、量子干渉を形式化する。
• N個のスリットのうち正確に1つが使用されることを表す論理的条件として排他的論理和（⊕）を適用する。
• Zhegalkin多項式を{0,1}上で用いてXOR演算を代数的に表現し、干渉パターンを論理的および代数的成分に分解可能にする。
• N事象空間における正確に1つの結果が発生する条件を強制するための因子Δ_N = ∏_{i<j<k} (1 ⊕ x_i x_j x_k)を導入する。
• XOR_N Δ_N = Υ_N Δ_Nという恒等式を導出し、単一の結果制約が適用されたとき、すべての高次干渉項（I_3, I_4, など）が消えることを示す。
• Nスリット干渉パターンP_{1…N}を二スリットパターンP_ijと単一スリットパターンP_iの線形結合として再構成し、第二階層干渉のみが論理的に必要であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 高次干渉を探索する実験が実際に検証している、量子理論における根本的仮定は何か？
• RQ2 一般化確率理論（GPTs）では高次干渉が理論的に可能であるにもかかわらず、なぜ量子力学は第二階層干渉しか予測しないのか？
• RQ3 測定結果の論理的構造が、多スリット実験における干渉パターンの形をどのように制限するか？
• RQ4 測定が正確に1つの明確な結果をもたらすという原理から、高次干渉の欠如を導くことができるか？
• RQ5 直感的論理と排他的論理和が、量子干渉のモデル化および高次項の除外に果たす役割は何か？

主な発見

• Nスリット実験における干渉パターンは、二スリットパターンと単一スリットパターンの線形結合として完全に表現可能である：P_{1…N} - ∑_{i<j} P_ij + (N-2)∑_i P_i = 0。
• 正確に1つの結果が発生する論理的制約Δ_N = 1が適用されたとき、高次干渉項（I_3, I_4, など）は消える。
• XOR_N Δ_Nとして形式化された「正確に1つの結果」という論理的構造は、ボーン則を直接用いなくても、高次干渉の欠如を導くのに十分である。
• 導出結果は、Nスリット実験における干渉パターンが、第二階層干渉項と単一スリット寄与によって完全に決定されることを示し、高次干渉が論理的に除外されることを確認する。
• 本論文は、高次干渉を求める継続的実験が、実際には量子力学そのものを検証しているのではなく、測定が明確で単一の結果をもたらすという基礎的仮定を検証していると結論づける。
• この結果は、高次干渉の欠如が、力学的抑制メカニズムによるものではなく、測定公理の論理的一致性の結果であることを示唆する。