[논문 리뷰] Hedetniemi's Conjecture Via Altermatic Number

Meysam Alishahi, Hossein Hajiabolhassan|arXiv (Cornell University)|2014. 03. 18.

Topological and Geometric Data Analysis참고 문헌 2인용 수 4

한 줄 요약

이 논문은 그래프 카테고리적 곱의 색칠 수를 위한 날카러운 하한으로서 알터마틱 수와 강한 알터마틱 수를 사용하여 헤데티에니에의 추측의 완화를 증명한다. 이는 그래프 곱 $ G \times H $의 색칠 수가 $ G $와 $ H $의 강한 알터마틱 수의 최솟값 이상임을 보여주며, 헤데티에니에의 추측을 만족하는 그래프의 가족에 케네저 다중그래프, 매칭 그래프, 순열 그래프, 반복된 미체르스키안을 포함하도록 확장한다.

ABSTRACT

A $50$ years unsolved conjecture by Hedetniemi [{\it Homomorphisms of graphs and automata, ewblock {\em Thesis (Ph.D.)--University of Michigan}, 1966}] asserts that the chromatic number of the categorical product of two graphs $G$ and $H$ is $\min\{χ(G),χ(H)\}$. The present authors [{\it On the chromatic number of general {K}neser hypergraphs. ewblock {\em Journal of Combinatorial Theory, Series B}, 2015.}] introduced the altermatic and the strong altermatic number of graphs as two tight lower bounds for the chromatic number of graphs. In this work, we prove a relaxation of Hedetniemi's conjecture in terms of strong altermatic number. Also, we present a tight lower bound for the chromatic number of the categorical product of two graphs in term of their altermatic and strong altermatic numbers. These results enrich the family of pair graphs $\{G,H\}$ satisfying Hedetniemi's conjecture.

연구 동기 및 목표

• 알터마틱 수와 강한 알터마틱 수를 기반으로 한 새로운 하한을 도입하여 헤데티에니에의 추측을 만족하는 그래프의 가족을 확장하는 것.
• 카테고리적 곱 $ G \times H $의 색칠 수가 $ G $와 $ H $의 강한 알터마틱 수의 최솟값 이하로 바운딩됨을 증명하는 것.
• 미체르스키안 구성에서 알터마틱 수가 어떻게 행동하는지 예측 가능하게 보여주는 것.
• 알터마틱 수와 강한 알터마틱 수를 사용하여 카테고리적 곱의 색칠 수에 대해 날카러운 하한을 확립하는 것.
• 케네저 다중그래프, 매칭 그래프, 순열 그래프, 반복된 미체르스키안을 포함하여 위상적 가족의 날카러운 그래프를 풍부하게 하는 것.

제안 방법

• 그래프의 색칠 수에 대한 위상적 하한으로서 알터마틱 수 $ \zeta(G) $와 강한 알터마틱 수 $ \zeta_s(G) $를 도입한다.
• 서명된 벡터와 교호하는 부분수열을 통한 분석을 통해 그래프의 케네저 표현을 이용해 알터마틱 수를 정의한다.
• 카테고리적 곱 $ KG(\mathcal{G}) \times KG(\mathcal{H}) $를 모델링하기 위해 하이퍼그래프 $ \mathcal{L} = \{A \cup B : A \in \mathcal{G}, B \in \mathcal{H}\} $ 에 대한 곱 구성법을 적용한다.
• 서명된 벡터 분해와 교호하는 부분수열 분석을 통해 부등식 $ \zeta(G \times H) \geq \min\{\zeta(G), \zeta(H)\} $ 를 확립한다.
• 강한 알터마틱 수에 대해 $ \zeta_s(G \times H) \geq \min\{\zeta_s(G), \zeta_s(H)\} $ 를 증명하여 헤데티에니에의 추측의 완화를 제공한다.
• 코homological 지수와 미체르스키안 구성에 대한 기존 결과를 활용하여 $ \zeta_s(M(G)) \geq \zeta_s(G) + 1 $ 를 증명하고, 반복된 미체르스키안으로의 확장을 이룬다.

실험 결과

연구 질문

• RQ1 강한 알터마틱 수가 두 그래프의 카테고리적 곱의 색칠 수에 대한 하한을 제공하는가?
• RQ2 알터마틱 수를 사용하여 헤데티에니에의 추측의 완화를 새로운 그래프 가족에 대해 증명할 수 있는가?
• RQ3 알터마틱 수는 미체르스키안 구성에서 어떻게 행동하는가?
• RQ4 케네저 다중그래프, 매칭 그래프, 순열 그래프는 강하게 알터마틱하게 $ t $-색칠 가능한가?
• RQ5 카테고리적 곱 $ G \times H $의 색칠 수는 $ \chi(G \times H) \geq \min\{\zeta_s(G), \zeta_s(H)\} $ 를 만족하는가?

주요 결과

• 카테고리적 곱 $ G \times H $의 색칠 수는 $ \chi(G \times H) \geq \min\{\zeta_s(G), \zeta_s(H)\} $ 를 만족하며, 이는 헤데티에니에의 추측의 완화를 증명한다.
• 그래프 $ G $의 미체르스키안에 대한 알터마틱 수는 $ \zeta_s(M(G)) \geq \zeta_s(G) + 1 $ 를 만족하며, 이는 기존의 하한을 일반화한다.
• 헤데티에니에의 추측을 만족하는 그래프의 가족은 케네저 다중그래프, 매칭 그래프, 순열 그래프를 포함하도록 풍부해졌다.
• 강한 알터마틱 수는 카테고리적 곱의 색칠 수에 대해 날카러운 하한을 제공하며, 위상적 하한에 기반한 기존 결과를 확장한다.
• 이 결과는 케네저 그래프와 슈리지버 그래프에서 유도된 모든 그래프를 포함하는 확장된 가족의 반복된 미체르스키안에 대해서도 성립한다.
• 서명된 벡터와 교호하는 부분수열을 사용한 증명 기법은 복잡한 간선 구조를 가진 여러 그래프 가족에 대해 통합적인 접근을 가능하게 한다.