[논문 리뷰] Sabidussi Versus Hedetniemi for Three Variations of the Chromatic Number

Chris Godsil, David E. Roberson외 2명|arXiv (Cornell University)|2013. 05. 23.

Advanced Graph Theory Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 그래프 호모모르피즘을 통해 세 가지 그래프 매개변수—벡터 색수($χ_{\text{vec}}$), 코너플레먼트의 로바슈 $φ$-함수($\bar{\vartheta}$), 양자 색수($χ_q$)—를 조사한다. 세 매개변수에 대해 사비두시의 정리의 유사 정리를 증명하고, $\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$의 세 변형으로 확장한다.
• 그래프 곱에서 각 매개변수의 값이 그 인자들에서의 값의 최대값(사비두시) 또는 최소값(헤데니에미)과 일치하는지 여부를 규명한다.
• 호모모르피즘 기반 정의를 사용하여 카르테시안 곱과 카테고리컬 곱에서 이러한 매개변수의 행동을 조사한다.
• 양자 색수와 벡터 색수의 헤데니에미 추측 유사 정리가 성립하는 그래프의 클래스를 특정한다.
• 특히 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}(G \times H) = \min\{\bar{\vartheta}(G), \bar{\vartheta}(H)\}$를 확립하여, 헤데니에미 추측의 $\bar{\vartheta}$-유사 정리를 증명한다.
• 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}(G \times H) = \min\{\bar{\vartheta}(G), \bar{\vartheta}(H)\}$임을 증명하여, 헤데니에미 추측의 $\bar{\vartheta}$-유사 정리를 확인한다.
• 1-호모제너스 그래프에서는 $\chi_{\text{vec}}(G) = \bar{\vartheta}(G)$이며, 고유값 기반 공식을 통해 $\chi_{\text{vec}}$-헤데니에미 추측의 유사 정리가 성립함을 보였다.
• 양자 색수는 $\chi_q(G \mathbin{\square} H) = \max\{\chi_q(G), \chi_q(H)\}$를 만족하여, 사비두시의 정리의 양자 유사 정리를 증명한다.
• 특히 $\chi_q(G) = \bar{\vartheta}(G)$인 경우, 양자 색수의 헤데니에미 추측 유사 정리가 성립함을 증명: $\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)\}$임을 보였다.