[論文レビュー] Specker's Parable of the Over-protective Seer: Implications for Contextuality, Nonlocality and Complementarity

Yeong-Cherng Liang, Robert W. Spekkens+1 more|arXiv (Cornell University)|Oct 6, 2010

Quantum Mechanics and Applications参考文献 6被引用数 1

ひとこと要約

この論文は、スペッカーの過保護的シーラーの寓話（parable）を物語的枠組みとして用い、量子基礎の根幹的概念—コンテキスチュアルリティ、非局所性、補完性—を統一的かつ再定式化する。これにより、コヘン＝スペッカーの定理およびベルの定理の新たな証明が得られ、クライアチコの証明が一般化され、POVMの同時測定可能性および非コンテキスチュアルモデルに関する新規結果が提示される。最終的に、寓話が示唆するように、このような量子的性質がなぜ現実の量子理論に現れないのかを問い直す。

ABSTRACT

In 1960, the mathematician Ernst Specker described a simple example of nonclassical correlations which he dramatized using a parable about a seer who sets an impossible prediction task to his daughter's suitors. We revisit this example here, using it as an entree to three central concepts in quantum foundations: contextuality, Bell-nonlocality, and complementarity. Specifically, we show that Specker's parable offers a narrative thread that weaves together a large number of results, including: the impossibility of measurement-noncontextual and outcome-deterministic ontological models of quantum theory (the Kochen-Specker theorem), in particular the proof of Klyachko; the impossibility of Bell-local models of quantum theory (Bell's theorem), especially the proofs by Mermin and Hardy; the impossibility of a preparation-noncontextual ontological model of quantum theory; and the existence of triples of positive operator valued measures (POVMs) that can be measured jointly pairwise but not triplewise. Along the way, several novel results are presented, including: a generalization of a theorem by Fine connecting the existence of a joint distribution over outcomes of counterfactual measurements to the existence of a noncontextual model; a generalization of Klyachko's proof of the Kochen-Specker theorem; a proof of the Kochen-Specker theorem in the style of Hardy's proof of Bell's theorem; a categorization of contextual and Bell-nonlocal correlations in terms of frustrated networks; a new inequality testing preparation noncontextuality; and lastly, some results on the joint measurability of POVMs and the question of whether these can be modeled noncontextually. Finally, we emphasize that Specker's parable provides a novel type of foil to quantum theory, challenging us to explain why the particular sort of contextuality and complementarity embodied therein does not arise in a quantum world.

研究の動機と目的

• スペンカーの寓話を概念的糸口として用い、コンテキスチュアルリティ、非局所性、補完性を統一する。
• コヘン＝スペッカーの定理のクライアチコの証明を一般化し、コンテキスチュアルリティのハーディー風証明を提示する。
• POVMの同時測定可能性の限界とその非コンテキスチュアルモデル化の可能性を調査する。
• 準備非コンテキスチュアル性をテストする新しい不等式を導入し、ねじれネットワークを用いて量子相関を分類する。
• スペンカーの寓話で示される特定の形のコンテキスチュアルリティが、なぜ量子力学では現れないのかを問い直す。

提案手法

• 量子基礎の概念の分析を構造づけるために、スペンカーの寓話を物語的装置として用いる。
• 反事後的測定と同時分布をモデル化するためのグラフ論的手法を用い、ファインの定理を一般化する。
• コンテキスチュアルでかつベル非局所的相関を分類するための、ねじれネットワークの新規構成を採用する。
• ハーディーのベルの定理証明のスタイルに倣った、コヘン＝スペッカーの定理の証明を展開し、確率論的ではなく論理的一致性に重点を置く。
• 状態準備の操作的制約に基づいて導出された、準備非コンテキスチュアル性をテストする新しい不等式を導入する。
• 三つのPOVMの同時可測性を分析し、二項の同時可測性は保たれるが三項の完全な整合性は得られないことを示す。

実験結果

リサーチクエスチョン

• RQ1 スペンカーの寓話は、量子理論におけるコンテキスチュアルリティ、非局所性、補完性を統一する枠組みとしてどのように機能するか？
• RQ2 寓話は、量子力学の非コンテキスチュアルな実在的モデルの不可能性にどのような含意をもたらすか？
• RQ3 ねじれネットワークの構造は、コンテキスチュアルでかつベル非局所的相関を完全に分類できるか？
• RQ4 同時可測性は、POVMの非コンテキスチュアルモデルにどのような制約を課えるか？
• RQ5 スペンカーの寓話で示される特定の形のコンテキスチュアルリティが、なぜ量子力学では現れないのか？

主な発見

• ファインの定理の一般化が確立され、反事後的測定結果の同時分布の存在が、非コンテキスチュアルな実在的モデルの存在と関連づけられる。
• コヘン＝スペッカーの定理の一般化された証明が提示され、クライアチコのアプローチがより広いクラスの可観測量に拡張される。
• ハーディーのベルの定理証明の論理的構造を模倣した、コンテキスチュアルリティのハーディー風証明が構築される。
• ねじれネットワークを用いて、コンテキスチュアルでかつベル非局所的相関が体系的に分類され、トポロジカルな分類が得られる。
• 状態準備の操作的制約に基づいて導出された、準備非コンテキスチュアル性をテストする新しい不等式が得られ、このクラスのモデルに対する新たな操作的テストが可能になる。
• 本論文は、特定の三つのPOVMが二項の同時可測性は満たすが三項の整合性は得られないこと、そしてこのような構造は非コンテキスチュアルにモデル化できないことを示している。