[論文レビュー] The robust noncontextuality inequalities in the simplest scenario

Matthew F. Pusey|arXiv (Cornell University)|Jun 12, 2015

Protein Structure and Dynamics被引用数 10

ひとこと要約

本稿では、CHSH状況との関連を活用することで、4つの準備と2つのトモグラフィー的に完全な二値測定からなる、最も単純な非自明な状況—4つの準備と2つのトモグラフィー的に完全な二値測定—に対して、8つの非線形的でロバストな非コンテキスト性不等式を導出する。これらの不等式は、実験的統計が準備非コンテキスト性モデルに適合可能であるための必要十分条件であり、固定された操作的同等性を仮定しないで非コンテキスト性を直接実験的に反証可能である。

ABSTRACT

Contextuality is the leading notion of non-classicality for a single system. However, experimental demonstrations of contextuality have generally been limited by conceptual difficulties. Here I focus on the simplest non-trivial case, four preparations and two tomographically complete binary measurements. Exploiting a subtle connection to the CHSH scenario gives eight non-linear inequalities which are together necessary and sufficient for the experimental statistics to admit a preparation noncontextual model. No fixed operational equivalences are required. Violating such an inequality is therefore arguably the most direct route to an experimental refutation of noncontextuality.

研究の動機と目的

• 最も単純な非自明な量子的状況—4つの準備と2つの二値測定—における準備非コンテキスト性モデルを完全に特徴付ける最小限の不等式集合を特定すること。
• 非コンテキスト性を実証する上で生じる概念的および実験的課題を克服し、ロバストで直接テスト可能な不等式を導出すること。
• 実験的非コンテキスト性テストにおいて固定された操作的同等性を必要としないように、実験設計を簡素化すること。

提案手法

• 4つの準備と2つの測定の状況とCHSH状況との間の繊細な数学的関連を活用し、非線形不等式を導出する。
• 観測された統計を再現できる準備非コンテキスト性モデルが存在するための必要十分条件となる8つの不等式を同定する。
• 操作的同等性を不等式の構造を通じて暗黙的に扱い、事前に固定する必要を回避する。
• 量子基礎理論と凸幾何学の道具を用いて、非コンテキスト性相関の集合を特徴付ける。
• 4つの準備と2つの二値測定からの確率を用いて不等式を定式化し、トモグラフィー的完全性を保証する。
• これらの不等式のいずれかを破る行為が、準備非コンテキスト性の直接的反証であることを示す。

実験結果

リサーチクエスチョン

• RQ1 4つの準備と2つの二値測定の最も単純な非自明な状況における非コンテキスト性モデルを完全に特徴付ける最小限の不等式集合は何か？
• RQ2 固定された操作的同等性を仮定しないで、非コンテキスト性をどのように直接実験的にテストできるか？
• RQ3 CHSH状況との関連を活用することで、この状況における非コンテキスト性のためのロバストで非線形の不等式を導出可能か？
• RQ4 これらの不等式は、非コンテキスト性モデルがデータを再現できるための必要十分条件か？
• RQ5 これらの不等式を破るという行為が、実験的非コンテキスト性反証においてどのような操作的意味を持つのか？

主な発見

• 8つの非線形的不等式が導出され、これらは最も単純な状況における準備非コンテキスト性モデルの存在にとって必要十分である。
• これらの不等式はロバストで直接実験的にテスト可能であり、非コンテキスト性の明確な操作的ルートを提供する。
• 固定された操作的同等性の仮定は不要であり、実験的実装が簡素化される。
• 8つの不等式のいずれかを破ることは、準備非コンテキスト性の直接的反証を意味する。
• CHSH状況との関連が、これらの不等式の導出を可能にする構造的洞察を提供する。
• これらの結果は、この基本的状況における非コンテキスト性の最小かつ完全な条件集合を確立する。