[論文レビュー] On geometrical aspects of the graph approach to contextuality

Bárbara Amaral, Marcelo Terra Cunha|arXiv (Cornell University)|Sep 14, 2017

Topological and Geometric Data Analysis被引用数 5

ひとこと要約

本稿は、グラフ理論を用いて、量子のcontextualityと凸集合（θ体や安定集合ポリトープなど）を結びつける幾何的枠組みを確立する。対称的な幾何的距離に基づくcontextualityの測度を導入し、排他性アプローチに適用可能であり、従来の測度を一般化するとともに、グラフ不変量や非contextuality不等式と関連付ける。

ABSTRACT

The connection between contextuality and graph theory has led to many developments in the field. In particular, the sets of probability distributions in many contextuality scenarios can be described using well known convex sets from graph theory, leading to a beautiful geometric characterization of such sets. This geometry can also be explored in the definition of contextuality quantifiers based on geometric distances, which is important for the resource theory of contextuality, developed after the recognition of contextuality as a potential resource for quantum computation. In this paper we review the geometric aspects of contextuality and use it to define several quantifiers, which have the advantage of being applicable to the exclusivity approach to contextuality, where previously defined quantifiers do not fit.

研究の動機と目的

• 安定集合ポリトープやθ体のようなグラフ理論的凸集合を用いて、contextualityの幾何的特徴付けを開発すること。
• 従来の測度が適用不可能な排他性グラフアプローチにまで、contextuality測度を一般化すること。
• contextuality測度とグラフ不変量との関係を確立し、統一的な幾何的取り扱いを可能にすること。
• 確率空間における対称的距離を用いたリソース理論的アプローチの幾何的基盤を提供すること。

提案手法

• 測定事象間の排他関係を用いて、排他性グラフアプローチによりcontextualityの状況をモデル化する。
• 古典的、量子的、一般の確率的集合をそれぞれ、安定集合ポリトープ STAB(G)、θ体 TH(G)、クランク制約付き安定集合ポリトープ QSTAB(G) に対応付ける。
• 非contextuality集合からの対称的幾何的距離（例：L2距離やマハラノビス距離）に基づくcontextuality測度を定義する。
• カットポリトープやメトリックポリトープなどのグラフ不変量を活用し、非contextuality集合および量子集合の幾何的性質を特徴付ける。
• n-サイクルグラフの量子集合が楕円体 E(G) に含まれることを証明し、非contextuality不等式を破る明示的な点を構成する。
• R^k 内のベクトルと量子状態との間の同型写像を用い、内積を保存することで、量子相関の幾何的表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 従来の幾何的測度が失敗する排他性グラフアプローチに、contextuality測度をどのように一般化できるか？
• RQ2 グラフ理論におけるどの凸幾何的構造が、contextualityにおける古典的・量子的・非干渉的確率集合に対応するか？
• RQ3 カットポリトープやメトリックポリトープといったグラフ不変量は、非contextuality集合の幾何にどのように関係するか？
• RQ4 確率空間における対称的幾何的距離は、頑健で操作的に意味のあるcontextuality測度をもたらすか？
• RQ5 θ体や安定集合ポリトープは、排他性制約下での量子的・古典的相関を特徴付けるために果たす役割は何か？

主な発見

• n-サイクルグラフの量子集合は、正確に楕円体 E(C_n) に一致し、これは (1/π)arccos(z) がカットポリトープ CUT^01(C_n) に属することによって特徴付けられる。
• すべての成分が cos(π/n) に等しい E(C_n) 内の点 z に対して、隣接する相関の和が n·cos(π/n) に達し、非contextuality不等式の破れを示す。
• n-サイクルグラフの楕円体は、量子集合よりも厳密に大きいことから、量子相関は排他性原理を越えた幾何的制約によって制限されることを示す。
• 本稿は、2つの facet 定義の非contextuality不等式を同時に破る行動を構成し、単一不等式の境界を超えた非古典的相関の存在を確認する。
• 非contextuality集合への対称的距離に基づく本稿の幾何的測度は、排他性アプローチに適用可能であり、相対エントロピーおよびロバストネス測度を一般化する。
• arccos変換を通じてカットポリトープ CUT^01(G) と楕円体 E(G) の関係を確立することで、任意のグラフにおけるcontextualityの分析に新たな幾何的ツールが得られる。