[論文レビュー] Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models

Mansfield, Shane, Barbosa, Rui Soares|arXiv (Cornell University)|Feb 19, 2014

Quantum Mechanics and Applications参考文献 32被引用数 14

ひとこと要約

本稿は、層論的枠組みにおける拡張可能性の洗練された概念を導入し、一般の文脈的モデル—特に Kochen-Specker 形式のモデル—から局所性と文脈的性を保ったまま等価なベル型モデルを構成する。主な結果として、文脈的三角形モデルがポプロシュ＝ローリングボックスの折りたたみ構成と等価なベルモデルを生成することを示し、最も単純な文脈的モデルと非局所的相関の間の深い構造的関係を明らかにする。

ABSTRACT

Extendability of an empirical model was shown by Abramsky & Brandenburger to correspond in a unified manner to both locality and non-contextuality. We develop their approach by presenting a refinement of the notion of extendability that can also be useful in characterising the properties of sub-models. The refinement is found to have another useful application: it is shown that a particular canonical extension, when well-defined, may be used for the construction of Bell-type models from models of more general kinds in such a way that the constructed model is equivalent to the original in terms of non-locality/contextuality. This is important since on practical and foundational levels, the notion of locality in Bell-type models can more easily be motivated than the corresponding general notion of contextuality. We consider examples of Bell-type models generated from some standard examples of contextual models, including an entire class of Kochen-Specker-like models. This exposes an intriguing relationship between the simplest possible contextual model (the contextual triangle) and Popescu-Rohrlich no-signalling correlations.

研究の動機と目的

• 局所性と非文脈的性の部分近似を捉えるために、層論的枠組みにおける拡張可能性の概念を洗練すること。
• 一般の文脈的モデルを等価なベル型モデルに変換するための標準的拡張法を開発すること。
• 文脈的性をベルの状況に再定式化することで、非局所性の基礎的および実用的動機づけを容易にすること。
• この構成が強い文脈的性を保つだけでなく、対称的な場合に確率論的レベルでの文脈的性も保つこと。
• 量子実現可能性と、文脈的三角形や PR ボックスのような基礎的モデル間の構造的関係を調査すること。

提案手法

• 標準的拡張性を一般化し、部分モデルの性質を捉える洗練された拡張可能性条件を導入する。
• 測定可能測定の被覆を持つ測定状況において定義された経験的モデルに標準的拡張を適用する。
• 有限な測定文脈上のイベント層と分布プレシェーブの層論的枠組みを用いる。
• 測定の冪集合へのモデル拡張によりベル型モデルを構成し、マージナル化と文脈構造と整合性を保証する。
• 測定被覆とベル状況の間に双対性を用いて、文脈的モデルを非局所的形に写像する。
• この構成を、文脈的三角形やペレス＝マーマンの正方形を含む、Kochen-Specker 形式のモデルのクラス全体に適用する。

実験結果

リサーチクエスチョン

• RQ1 標準的拡張が、非局所性と文脈的性を保ちつつ、一般の文脈的モデルを等価なベル型モデルに変換できるか？
• RQ2 最も単純な文脈的モデル（文脈的三角形）とポプロシュ＝ローリングボックスとの間の構造的関係は何か？
• RQ3 この構成は文脈的性を保つのか、それとも強い文脈的性のみを保つのか。どのような条件下で？
• RQ4 Kochen-Specker 形式のモデルを超えた一般のモデルクラスにおいて、このようなベルモデルの構成が可能かどうか。
• RQ5 元のモデルの量子実現可能性と、そのベルモデル拡張の量子実現可能性との関係は何か？

主な発見

• 標準的拡張により、文脈的三角形に対して等価なベルモデルが成功裏に構成され、これは複数のポプロシュ＝ローリングボックスの折りたたみ構成と構造的に同等である。
• 最大文脈のサイズが一定であるすべての Kochen-Specker 形式のモデルに対して、この構成は強い文脈的性を保つ。
• ペレス＝マーマンの正方形のような対称的モデルでは、等価性は強い文脈的性以上のレベル、すなわち文脈的性のレベルでも成立する。
• 文脈的三角形に対する結果のベルモデルには、GHZ の部分モデルもハーディーのパラドックスも含まれないため、非局所的構造が明確に異なる。
• 本手法により、文脈的性の結果に対するベル型の検証を提案する道筋が得られるが、構築されたモデルの量子実現可能性は未解決の問題のままである。