[論文レビュー] 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

ひとこと要約

本稿は、グラフの同型写像を用いて、3つのグラフパラメータ—ベクトル彩色数（$\chi_{\text{vec}}$）、補グラフのロヴァーシュ $\vartheta$-関数（$\bar{\vartheta}$）、量子彩色数（$\chi_q$）—を調査する。3つのパラメータすべてについてサビドゥッシの定理の類似を証明し、$\bar{\vartheta}$ についてはヘデニエミの予想を確立する。$\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.

研究の動機と目的

• 彩色数の古典的定理（サビドゥッシとヘデニエミ）を、$\chi_{\text{vec}}$、$\bar{\vartheta}$、$\chi_q$ の3つの変種へ拡張すること。
• グラフ積における各パラメータの値が、因子における値の最大値（サビドゥッシ）または最小値（ヘデニエミ）に等しいかどうかを特定すること。
• 同型写像に基づく定義を用いて、これらのパラメータがカルテシアン積およびカテゴリカル積の下でどのように振る舞うかを調査すること。
• 量子彩色数とベクトル彩色数のヘデニエミ予想の類似が成り立つグラフのクラスを同定すること。
• 1-均質グラフにおいて、$\chi_{\text{vec}}$ と $\bar{\vartheta}$ が一致する構造的・スペクトル的条件を探索すること。

提案手法

• 特定のターゲットグラフへの同型写像を用いて、$\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}$-類似を確立し、$\bar{\vartheta}(G \times H) = \min\{\bar{\vartheta}(G), \bar{\vartheta}(H)\}$ を示す。
• 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}$-ヘデニエミ結果を用いて $\chi_q(G \times H) = \min\{\chi_q(G), \chi_q(H)\}$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル彩色数は、グラフのカルテシアン積においてサビドゥッシ型定理を満たすか？
• RQ2 補グラフのロヴァーシュ $\vartheta$-関数は、グラフのカテゴリカル積においてヘデニエミ型定理を満たすか？
• RQ3 どのグラフクラスにおいて、量子彩色数がヘデニエミ予想の類似を満たすか？
• RQ4 一般に、$\chi_{\text{vec}}$-ヘデニエミ予想の類似は証明可能か、それとも特定のスペクトル的条件下でのみ成立するか？
• 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}$-類似が成立し、$\bar{\vartheta}(G \times H) = \min\{\bar{\vartheta}(G), \bar{\vartheta}(H)\}$ であることを確立した。
• 1-均質グラフでは $\chi_{\text{vec}}(G) = \bar{\vartheta}(G)$ であり、固有値に基づく公式を用いて $\chi_{\text{vec}}$-ヘデニエミ予想の類似が成立することが示された。
• 量子彩色数は $\chi_q(G \mathbin{\square} H) = \max\{\chi_q(G), \chi_q(H)\}$ を満たし、サビドゥッシの定理の量子版が証明された。
• グラフ $G$ と $H$ について $\chi_q(G) = \bar{\vartheta}(G)$ かつ $\chi_q(H) = \bar{\vartheta}(H)$ が成り立つ場合、量子ヘデニエミ予想の類似が成立する：$\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)\}$ が成り立つことを示した。