[论文解读] 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$，且在完全图上等号成立，将量子着色与非信号相关性及算子系统理论相联系。

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.

研究动机与目标

• 通过算子系统张量积定义并刻画新型量子色数。
• 建立量子色数之间的层级关系，并将其与经典及量子图参数相联系。
• 探索量子着色、非信号相关性盒子与量子力学基础问题（如Connes嵌入问题）之间的联系。
• 利用算子系统理论，提供量子色数的几何与代数刻画。
• 通过算子系统张量积研究向量色数、量子色数与经典色数之间的关系。

提出的方法

• 利用算子系统张量积 $\otimes_{\min}$、$\otimes_{\rm c}$ 和 $\otimes_{\max}$ 定义量子色数。
• 通过酉完全正映射及可交换张量积的普遍性质刻画色数。
• 利用Choi定理将向量着色与矩阵代数之间的完全正映射相联系。
• 从向量族构造Grammian矩阵 $Q = (Q_{i,j})$，以表示着色策略中的联合相关性。
• 应用Lovász theta函数的变体 $\vartheta^{-}(G)$ 推导向量色数的上界。
• 利用算子系统与其对偶锥之间的对偶性，分析量子相关性的结构。

实验结果

研究问题

• RQ1 对所有图 $G$，是否有 $\chi_{\text{qc}}(G) = \chi_{\text{qmin}}(G)$ 蕴含Kirchberg猜想或Connes嵌入问题？
• RQ2 能否通过有限维可交换模型确定或否定等式 $\chi_{\text{vect}}(G) = \chi_{\text{q}}(G)$？
• RQ3 不同的张量积结构（$\otimes_{\min}$、$\otimes_{\rm c}$、$\otimes_{\max}$）如何影响量子着色的存在性？
• RQ4 向量色数与Lovász theta函数 $\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$ 个顶点的完全图上等号成立。
• 对于五边形图 $C_5$，有 $\chi_{\text{vect}}(C_5) = 3$，与经典色数一致。
• 不等式 $\vartheta^{+}(\overline{G}) \leq \chi_{\text{vect}}(G)$ 成立，将向量色数与Lovász theta函数相联系。
• 色数层级为 $\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)$ 成立当且仅当Connes嵌入问题有肯定答案。
• 本文证明了在 $n$ 个顶点的完全图上 $\chi_{\text{vect}}(G) = n$，确认了该界是紧致的。