[論文レビュー] Inequalities witnessing coherence, nonlocality, and contextuality

Rafael Wagner, Rui Soares Barbosa+1 more|arXiv (Cornell University)|Sep 6, 2022

Quantum Information and Cryptography参考文献 73被引用数 7

ひとこと要約

本稿は、エッジ重み付きグラフを用いて、非コントゥキシュアル性、非局所性、およびコherーントでないモデルの古典的不等式を一元的に導出するグラフ理論的枠組みを提案する。頂点を準備または測定と解釈することで、サイクル不等式が準備のコントゥキシュアル性の証拠であることを特定し、基底に依存しないコヒーレンスの証拠を一般化し、排他性に基づく非コントゥキシュアル性不等式を回復する。

ABSTRACT

Quantum coherence, nonlocality, and contextuality are key resources for quantum advantage in metrology, communication, and computation. We introduce a graph-based approach to derive classicality inequalities that bound local, non-contextual, and coherence-free models, offering a unified description of these seemingly disparate quantum resources. Our approach generalizes recently proposed basis-independent coherence witnesses, and recovers all non-contextuality inequalities of the exclusivity graph approach. Moreover, violations of certain classicality inequalities witness preparation contextuality. We describe an algorithm to find all such classicality inequalities, and use it to analyze some of the simplest scenarios.

研究の動機と目的

• 非コントゥキシュアル性、非局所性、およびコヒーレントでないモデルを同一の形式的枠組みで統一的に記述すること。
• 状態の重なりに関する関係的情報を用いて、基底に依存しないコヒーレンスの証拠を一般化すること。
• 同一の枠組み内で排他性グラフアプローチから既知の非コントゥキシュアル性不等式を回復すること。
• 古典的不等式の破れが準備のコントゥキシュアル性を示す証拠となる条件を同定すること。
• 簡単な状況におけるすべてのこのような古典的不等式を生成するアルゴリズム的手法を提供すること。

提案手法

• エッジ重みが頂点プロセス間の相関を表す無向イベントグラフ $ G $ から確率ポリトープ $ C_G $ を構築する。
• エッジ重みが共通の確率変数の集合 $ (A_i)_{i \in V(G)} $ から生じる場合を古典的エッジ重み付けと定義し、$ r_{ij} = P(A_i = A_j) $ とする。
• 全 Variation 距離 $ \|\mu_i - \mu_j\|_{\text{TV}} $ を用いて、準備非コントゥキシュアルなエッジ重み付けを $ r_{ij} = 1 - \|\mu_i - \mu_j\|_{\text{TV}} $ で定義する。
• 全 Variation 範囲の三角不等式からサイクル不等式を導出し、準備・測定状況における誤認識可能性の上限を導く。
• サイクルグラフ $ C_n $ にこの枠組みを適用し、$ -r_{i,i+n-1} + \sum_{k=1}^{n-1} r_{i+k-1,i+k} \leq n-2 $ の破れが準備のコントゥキシュアル性を示す証拠であることを示す。
• 与えられたグラフに対してすべての古典的不等式を体系的に特定するアルゴリズムを開発し、最小限の状況の解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非コントゥキシュアル性、非局所性、およびコヒーレントでないモデルは、同一の統一的枠組みで記述可能か？
• RQ2 統一的枠組み内において、基底に依存しないコヒーレンスの証拠は、コントゥキシュアル性および非局所性とどのように関係するか？
• RQ3 グラフポリトープから導かれる古典的不等式の破れは、準備のコントゥキシュアル性を示す証拠として機能するか？
• RQ4 この枠組み内で、非コントゥキシュアル性に対する排他性グラフアプローチを回復し、一般化できるか？
• RQ5 サイクル不等式は、操作的理論における準備のコントゥキシュアル性の検出にどのような役割を果たすか？

主な発見

• 古典的ポリトープ $ C_G $ は、共通の確率変数から生じるすべてのエッジ重み付けを捉え、論理的制約によって境界づけられた凸集合を形成する。
• 全 Variation 範囲の三角不等式から導かれるサイクル不等式は、準備非コントゥキシュアルモデルのための必要十分な境界を提供する。
• サイクルグラフ $ C_n $ に対して $ -r_{i,i+n-1} + \sum_{k=1}^{n-1} r_{i+k-1,i+k} \leq n-2 $ の破れは、量子的準備のコントゥキシュアル性の証拠として機能する。
• この枠組みは、固定された基底に依存しない状態の重なり関係のみを用いることで、基底に依存しないコヒーレンスの証拠を一般化する。
• 非コントゥキシュアルな実在論的モデルを許容する Spekkens のおもちゃモデルは、すべてのサイクル不等式を満たしており、それらがコントゥキシュアル性の証拠としての役割を果たすことを確認する。
• Giordani 他 (2021) の実験は、準備のコントゥキシュアル性のテストとして再解釈可能であるが、操作的等価性を明示的に調べたり、抜け穴を閉じたりする措置は取られていなかった。