[论文解读] Sabidussi Versus Hedetniemi for Three Variations of the Chromatic Number

Chris Godsil, David E. Roberson+2 more|arXiv (Cornell University)|May 23, 2013

Advanced Graph Theory Research参考文献 17被引用 4

一句话总结

本文通过图同态研究了三种图参数——向量色数（$\chi_{\text{vec}}$）、补图的洛瓦兹 $\vartheta$-函数（$\bar{\vartheta}$）以及量子色数（$\chi_q$）——并为这三者证明了萨比杜西定理的类比结果，同时证明了 $\bar{\vartheta}$ 的赫德蒂尼emi猜想，对 $\chi_{\text{vec}}$ 和 $\chi_q$ 在附加条件下证明了特例，表明这些类比结果可能具有更广泛的适用性。

ABSTRACT

We investigate vector chromatic number, Lovasz theta of the complement, and quantum chromatic number from the perspective of graph homomorphisms. We prove an analog of Sabidussi's theorem for each of these parameters, i.e. that for each of the parameters, the value on the Cartesian product of graphs is equal to the maximum of the values on the factors. We also prove an analog of Hedetniemi's conjecture for Lovasz theta of the complement, i.e. that its value on the categorical product of graphs is equal to the minimum of its values on the factors. We conjecture that the analogous results hold for vector and quantum chromatic number, and we prove that this is the case for some special classes of graphs.

研究动机与目标

• 将萨比杜西定理与赫德蒂尼emi定理——原本针对色数——推广至三种变体：$\chi_{\text{vec}}$、$\bar{\vartheta}$ 和 $\chi_q$。
• 确定每个参数在图积上的取值是否等于其在因子上取值的最大值（萨比杜西）或最小值（赫德蒂尼emi）。
• 利用基于同态的定义，研究这些参数在笛卡尔积与范畴积下的行为。
• 识别出量子色数与向量色数的赫德蒂尼emi猜想类比成立的图类。
• 探讨在何种结构与谱条件下，$\chi_{\text{vec}}$ 与 $\bar{\vartheta}$ 相等，特别是在 1-齐次图中。

提出的方法

• 通过映射到特定目标图的同态定义 $\chi_{\text{vec}}$、$\bar{\vartheta}$ 与 $\chi_q$，将其视为色数的松弛形式。
• 证明 $\chi_{\text{vec}}(G \mathbin{\square} H) = \max\{\chi_{\text{vec}}(G), \chi_{\text{vec}}(H)\}$ 与 $\bar{\vartheta}(G \mathbin{\square} H) = \max\{\bar{\vartheta}(G), \bar{\vartheta}(H)\}$，类比于萨比杜西定理。
• 建立 $\bar{\vartheta}(G \times H) = \min\{\bar{\vartheta}(G), \bar{\vartheta}(H)\}$，从而证明了 $\bar{\vartheta}$ 的赫德蒂尼emi猜想类比。
• 利用 1-齐次图（如边传递图）的谱性质，基于特征值推导出 $\chi_{\text{vec}}$ 与 $\bar{\vartheta}$ 的显式公式。
• 引入量子同态，并利用其证明 $\chi_q(G \mathbin{\square} H) = \max\{\chi_q(G), \chi_q(H)\}$，即萨比杜西定理的量子类比。
• 在 $\chi_q(G) = \bar{\vartheta}(G)$ 且 $\chi_q(H) = \bar{\vartheta}(H)$ 的条件下，利用 $\bar{\vartheta}$ 的赫德蒂尼emi结果，证明 $\chi_q(G \times H) = \min\{\chi_q(G), \chi_q(H)\}$，即量子赫德蒂尼emi猜想类比。

实验结果

研究问题

• RQ1 向量色数是否在图的笛卡尔积上满足萨比杜西型定理？
• RQ2 补图的洛瓦兹 $\vartheta$-函数是否在图的范畴积上满足赫德蒂尼emi型定理？
• RQ3 在哪些图类中，量子色数满足赫德蒂尼emi猜想的类比？
• RQ4 是否能在一般情况下证明 $\chi_{\text{vec}}$ 的赫德蒂尼emi猜想类比，还是仅在特定谱条件下成立？
• RQ5 在 1-齐次图中，$\chi_{\text{vec}}$ 与 $\bar{\vartheta}$ 之间存在何种关系？这是否意味着两个参数相等？

主要发现

• 本文证明了 $\chi_{\text{vec}}(G \mathbin{\square} H) = \max\{\chi_{\text{vec}}(G), \chi_{\text{vec}}(H)\}$，确立了向量色数的萨比杜西定理类比。
• 本文确立了 $\bar{\vartheta}(G \times H) = \min\{\bar{\vartheta}(G), \bar{\vartheta}(H)\}$，证实了 $\bar{\vartheta}$ 的赫德蒂尼emi猜想类比。
• 对于 1-齐次图，有 $\chi_{\text{vec}}(G) = \bar{\vartheta}(G)$，且 $\chi_{\text{vec}}$ 的赫德蒂尼emi猜想类比成立，该结论通过基于特征值的公式得以证明。
• 量子色数满足 $\chi_q(G \mathbin{\square} H) = \max\{\chi_q(G), \chi_q(H)\}$，从而证明了萨比杜西定理的量子类比。
• 当 $\chi_q(G) = \bar{\vartheta}(G)$ 时，量子赫德蒂尼emi猜想类比成立：$\chi_q(G \times H) = \min\{\chi_q(G), \chi_q(H)\}$。
• 该结果被应用于图 $\Omega_n$，表明对所有 $m,n \in \mathbb{N}$，有 $\chi_q(\Omega_m \times \Omega_n) = \min\{\chi_q(\Omega_m), \chi_q(\Omega_n)\}$。