[論文レビュー] Quantum chromatic numbers via operator systems

Vern I. Paulsen, Ivan G. Todorov|arXiv (Cornell University)|Nov 26, 2013

Advanced Operator Algebra Research参考文献 21被引用数 5

ひとこと要約

本稿は、作用素系テンソル積を用いて、最小、可換、最大テンソル積を介して特徴づけられる、グラフの複数の新しい量子彩色数を導入する。彩色数の階層を確立し、ベクトル的彩色数が $\chi_{ ext{vect}}(G)\vartheta^{-}(G) \geq n$ を満たし、完全グラフでは $n$ に等しくなることを証明する。これにより、量子彩色と非信号相関、作用素系理論が結びつけられる。

ABSTRACT

We define several new types of quantum chromatic numbers of a graph and characterise them in terms of operator system tensor products. We establish inequalities between these chromatic numbers and other parameters of graphs studied in the literature and exhibit a link between them and non-signalling correlation boxes.

研究の動機と目的

• 作用素系テンソル積を用いて新しい種類の量子彩色数を定義し、特徴づける。
• 量子彩色数の間の階層を確立し、古典的および量子グラフパラメータと関連付ける。
• 量子彩色、非信号相関ボックス、およびコンヌーの埋め込み問題を含む量子力学の基礎的問題との関係を調査する。
• 作用素系理論を用いて、量子彩色数の幾何的および代数的特徴づけを提供する。
• 作用素系テンソル積を通じて、ベクトル的、量子的、古典的彩色数の関係を調査する。

提案手法

• 作用素系テンソル積 $\otimes_{\min}$、$\otimes_{\rm c}$、および $\otimes_{\max}$ を用いて量子彩色数を定義する。
• ユニタリ完全正値写像と可換テンソル積の普遍性を用いて彩色数を特徴づける。
• チョイの定理を用いて、ベクトル的彩色と行列代数間の完全正値写像を関連付ける。
• ベクトル族から得られるグラム行列 $Q = (Q_{i,j})$ を構成し、彩色戦略における結合相関を表現する。
• ベクトル的彩色数の上限を導くために、Lovászのシータ関数の変種 $\vartheta^{-}(G)$ を適用する。
• 作用素系とその双対錐の双対性を用いて、量子相関の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 すべてのグラフ $G$ に対して $\chi_{\text{qc}}(G) = \chi_{\text{qmin}}(G)$ が成り立つならば、キルヒブルグ予想またはコンヌーの埋め込み問題が成立するか？
• RQ2 有限次元の可換モデルを用いて、$\chi_{\text{vect}}(G) = \chi_{\text{q}}(G)$ が成立するか否かを確立または反証できるか？
• RQ3 異なるテンソル積構造（$\otimes_{\min}$、$\otimes_{\rm c}$、$\otimes_{\max}$）は、量子彩色の存在にどのように影響するか？
• RQ4 ベクトル的彩色数とLovászのシータ関数 $\vartheta^{-}(G)$ の正確な関係は何か？
• RQ5 $\mathcal{S}(n,c) \otimes_{\rm c} \mathcal{S}(n,c)$ の双対錐が $\mathcal{M}(n,c)$ の部分集合として完全に特徴づけられるか？

主な発見

• ベクトル的彩色数は $\chi_{\text{vect}}(G)\vartheta^{-}(G) \geq n$ を満たし、$n$ 頂点の完全グラフでは $n$ に等しくなる。
• 五角形グラフ $C_5$ に対しては $\chi_{\text{vect}}(C_5) = 3$ であり、これは古典的彩色数と一致する。
• 不等式 $\vartheta^{+}(\overline{G}) \leq \chi_{\text{vect}}(G)$ が成り立ち、ベクトル的彩色数がLovászのシータ関数と関連している。
• 彩色数の階層は $\vartheta^{+}(\overline{G}) \leq \chi_{\text{vect}}(G) \leq \chi_{\text{qc}}(G) \leq \chi_{\text{qmin}}(G) \leq \chi_{\text{qs}}(G) \leq \chi_{\text{q}}(G) \leq \chi(G)$ である。
• $\chi_{\text{q}}(G) = \chi_{\text{qmin}}(G)$ が成り立つのは、コンヌーの埋め込み問題に肯定的解答がある場合に限る。
• 本稿は、$n$ 頂点の完全グラフに対して $\chi_{\text{vect}}(G) = n$ であることを確立し、境界のタイトさを確認した。