[論文レビュー] Towards a complete cohomology invariant for non-locality and contextuality

Giovanni Carù|arXiv (Cornell University)|Jul 11, 2018

Quantum Mechanics and Applications参考文献 15被引用数 9

ひとこと要約

本稿は、連携モデルに基づく新しいコhomology不変量を導入し、長年の問題であった文脈性検出における誤検出（偽陽性）を解消する。これは、可能性的および強い文脈性の両方に対して、広範な実験的モデル（特にČechコホモロジーで問題となっていたものも含む）において、完全かつ計算可能なコホモロジー的障害を提供する。

ABSTRACT

The sheaf theoretic description of non-locality and contextuality by Abramsky and Brandenburger sets the ground for a topological study of these peculiar features of quantum mechanics. This viewpoint has been recently developed thanks to sheaf cohomology, which provides a sufficient condition for contextuality of empirical models in quantum mechanics and beyond. Subsequently, a number of studies proposed methods to detect contextuality based on different cohomology theories. However, none of these cohomological descriptions succeeds in giving a full invariant for contextuality applicable to concrete examples. In the present work, we introduce a cohomology invariant for possibilistic and strong contextuality which is applicable to the vast majority of empirical models.

研究の動機と目的

• 標準的なČechコホモロジーが失敗するモデル（例：ハーディー・モデル）においても、コホモロジー的文脈性検出における長年の偽陽性問題を解消すること。
• 文脈性の完全な不変量であり、かつ現実の実験的モデルに対して実用的に計算可能なコホモロジー的不変量を構築すること。
• 既存のアプローチの制限を超えて、特に非巡回的およびAll-vs-Nothingでない状況においても、層論的コホモロジーの適用範囲を拡張すること。
• コホモロジー的障害が文脈性を完全に特徴づけるフレームワークを確立し、コホモロジー的検出と実際の文脈性とのギャップを解消すること。
• 連携モデルのコホモロジーが、すべてのモデルにおいて文脈性の普遍的不変量であると仮説を立て、既知の反例に対して実証的検証を提供すること。

提案手法

• 元の実験的モデルから、文脈のすべての対集合を含むように測定カバーを拡張することで、新たな文脈構造を形成する連携モデルを構築する。
• この拡張されたカバー上に、局所的および大域的セクションを定義できる新たなイベントの層を定義する。
• 重複する文脈間でのセクションの整合性をモデル化するため、𝔽₂上での線形方程式系を導入し、整合性条件を符号化する。
• 連携モデルにČechコホモロジーを適用し、局所セクションが一貫して大域的セクションに拡張可能かどうかを検出するコホモロジー的障害を導出する。
• Čechコホモロジーにおける余境界写像の核を用いて障害を同定する：非自明なコホモロジー類は文脈性を示唆する。
• 計算代数を用いて整合性系を解き、連携モデルを用いることで偽陽性が消失することを検証する。

実験結果

リサーチクエスチョン

• RQ1 すべての既知の実験的モデルにおいて、偽陽性を全く含まないコホモロジー的不変量を構築可能か？
• RQ2 連携モデルの構築が、ハリー・モデルなどにおいてČechコホモロジーが問題を引き起こす偽陽性を排除できるか？
• RQ3 連携モデルのコホモロジーが、すべての可能性的および強い文脈性のシナリオにおいて完全な不変量か？
• RQ4 この手法は、All-vs-Nothingでもなく巡回的でもないモデルに実用的に適用可能か？ かつ、過去のコホモロジー的手法が失敗する状況でも有効か？
• RQ5 連携モデルから導かれるコホモロジー的障害は、大域化不能なモデルにおける局所的割り当ての論理的不整合を正確に捉えているか？

主な発見

• 連携モデルの構築により、ハリー・モデルを含む、既知のすべての偽陽性が完全に解消された。
• PRボックス、GHZ、ペレス＝マーティンの正方形、その他の代表的モデルにおいて、連携モデルからのコホモロジー障害は文脈性を誤りなく同定した。
• 局所的セクションが文脈的に拡張不能であるすべてのケースにおいて、連携モデルにおけるコホモロジー障害は非自明であり、完全な不変量としての役割を裏付けた。
• 連携モデルの整合性条件から導かれる𝔽₂上の方程式系は、局所的セクションが大域的に拡張可能である場合にのみ解をもち、そうでない場合には矛盾が生じる。
• この手法は、過去のコホモロジー的手法が完全な不変量を提供できなかった非巡回的状況においても、文脈性の検出に有効であった。
• 著者らは、連携モデルのコホモロジーが文脈性の普遍的不変量である強力な証拠を提供し、すべてのモデルにおいて文脈性を完全に特徴づけると仮説を立てた。