[論文レビュー] Contextuality beyond the Kochen-Specker theorem

Ravi Kunjwal|arXiv (Cornell University)|Dec 21, 2016

Quantum Mechanics and Applications参考文献 75被引用数 11

ひとこと要約

本学位論文は、ケーホン＝スプライアー定理の枠組みを超えて、決定論的隠れ変数に依存しない操作的枠組みを構築することで、コンテキスチュアルリティを拡張する。非決定論的仮定をしない非コンテキスチュアルリティの不等式を導入し、nサイクルの状況にまでコンテキスチュアルリティを一般化するとともに、スピッカーの状況とより広範な量子基礎理論の間の橋渡しを実現し、ベル型の仮定を必要としない単一系の状況におけるコンテキスチュアルリティの実験的検証を可能にする。

ABSTRACT

When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.

研究の動機と目的

• ケーホン＝スプライアー定理の仮定、特に決定論的隠れ変数の仮定を越えてコンテキスチュアルリティの枠組みを構築すること。
• スピッカーの元来の非コンテキスチュアル割り当ての寓話から拡張して、任意のnサイクルの適合性構造にコンテキスチュアルリティを一般化すること。
• 決定論を仮定しない非コンテキスチュアルリティ不等式を導出し、単一系の状況におけるコンテキスチュアルリティの実験的検証を可能にすること。
• 操作的およびグラフ論的アプローチを統合し、特にスピッカーズの操作的枠組みとコンテキスチュアルリティ状況のグラフ論的特徴付けを結びつけること。
• 量子情報におけるコンテキスチュアルリティのリソースとしての役割を検討し、ノイズに対するロバストネスおよび測定ベース量子計算における役割を明らかにすること。

提案手法

• スピッカーの操作的枠組みを応用し、結合可測性構造を用いて、決定論を仮定しない非コンテキスチュアルリティ不等式を導出する。
• 適合性関係をグラフとしてモデル化し、nサイクル適合性構造にコンテキスチュアルリティを一般化することで、非コンテキスチュアルリティ不等式を分析する。
• グラフ論的ツールを用いてコンテキスチュアルリティ状況を特徴付け、ケーホン＝スプライアーのグラフ枠組みを非射影的観測量へと拡張する。
• ノイズ下でのコンテキスチュアルリティのロバストネスを分析し、エンタングルメントや非局所性におけるそれと類似する「コンテキスチュアルリティ破壊」チャネルを定義する。
• 実験的検証を可能にする形式的枠組みを適用し、マズレクら（2015）の実験で示されたような単一系状況におけるコンテキスチュアルリティの実験的検証を導出する。
• 古典的シミュレーションにおける認識的制限とその限界を分析することで、コンテキスチュアルリティと他の量子的特徴との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 ケーホン＝スプライアー定理の仮定とは異なり、決定論的隠れ変数を仮定しない操作的枠組みでコンテキスチュアルリティを定式化できるか？
• RQ2 スピッカーの状況から任意のnサイクル適合性構造へとコンテキスチュアルリティを一般化できるか？
• RQ3 決定論を仮定しない状況で得られる非コンテキスチュアルリティ不等式は何か？ そしてそれらはどのように実験的検証を可能にするか？
• RQ4 非局所性がコンテキスチュアルリティの特別な場合であるという伝統的認識を超えて、ベルの非局所性とコンテキスチュアルリティの関係は何か？
• RQ5 コンテキスチュアルリティは量子情報におけるリソースとして定量化可能か？ また、ノイズやデコherenceに対してどれほどロバストか？

主な発見

• 本論文は、決定論を仮定しない非コンテキスチュアルリティ不等式を導出し、マズレクら（2015）の実験で示されたように、単一系状況におけるコンテキスチュアルリティの実験的検証を可能にした。
• nサイクル適合性構造へのコンテキスチュアルリティの一般化により、任意の巡回的結合可測性構造におけるコンテキスチュアルリティの体系的分析フレームワークを提供した。
• 本研究は、コンテキスチュアルリティのグラフ論的特徴付けとスピッカーの操作的枠組みとの間の定量的橋渡しを確立し、2つの主要なアプローチを統合した。
• ノイズ下でもコンテキスチュアルリティを堅牢に分析できることを明らかにし、エンタングルメントや非局所性におけるそれと類似する「コンテキスチュアルリティ破壊」チャネルを定義する可能性を示した。
• 本フレームワークにより、非射影的観測量を含む状況におけるコンテキスチュアルリティの検出が可能になり、グラフ論的アプローチの適用範囲が拡張された。
• 本研究の結果は、コンテキスチュアルリティが測定ベース量子計算において特に顕著な量子優位性の根源的リソースであるという見解を支持しており、ベル型の仮定を必要としない形でコンテキスチュアルリティを認証可能であることを示した。