[논문 리뷰] Tree-chromatic number is not equal to path-chromatic number

Tony Huynh, Ringi Kim|arXiv (Cornell University)|2015. 05. 22.

Advanced Graph Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 트리-색수와 경로-색수의 값이 항상 동일하지 않음을 증명함으로써 오랫동안 남아있던 문제를 해결한다. 특수 조건 하에서 적용될 경우 경로-색수를 증가시키는 새로운 그래프 연산 $ R_m(G) $ 를 도입한다. 주요 결과는 $ \chi_T(G) \neq \chi_P(G) $ 를 만족하는 $ k $-연결 그래프의 무한한 가족을 구성한 것으로, 세이모어의 추측을 해결하고 Mycielski 그래프의 경로-색수가 유계가 아님을 보여준다.

ABSTRACT

For a graph $G$ and a tree-decomposition $(T, \mathcal{B})$ of $G$, the chromatic number of $(T, \mathcal{B})$ is the maximum of $χ(G[B])$, taken over all bags $B \in \mathcal{B}$. The tree-chromatic number of $G$ is the minimum chromatic number of all tree-decompositions $(T, \mathcal{B})$ of $G$. The path-chromatic number of $G$ is defined analogously. In this paper, we introduce an operation that always increases the path-chromatic number of a graph. As an easy corollary of our construction, we obtain an infinite family of graphs whose path-chromatic number and tree-chromatic number are different. This settles a question of Seymour. Our results also imply that the path-chromatic numbers of the Mycielski graphs are unbounded.

연구 동기 및 목표

• 모든 그래프에 대해 트리-색수와 경로-색수가 동치가 아님을 증명하는 폴 세이모어의 추측을 해결하는 것.
• 특정 조건 하에서 경로-색수를 체계적으로 증가시키는 그래프 연산 $ R_m(G) $ 를 구성하는 것.
• Mycielski 그래프의 경로-색수가 무한히 증가함을 보여주는 것.
• 모든 그래프 $ G $ 에 대해 $ \chi_T(G) \neq \chi_P(G) $ 를 만족하는 무한한 $ k $-연결 그래프의 가족이 존재함을 증명하는 것.

제안 방법

• 그래프 $ G $ 에서 $ m $ 개의 $ G $ 의 정점 복제본과 특수 정점 $ v_0 $ 를 사용하여 새로운 그래프를 만드는 그래프 연산 $ R_m(G) $ 를 도입하며, 인접 관계는 동일한 인덱스를 공유하거나 $ G $ 에서의 간선에 의해 정의된다.
• 정점 순서 $ \sigma $ 를 기반으로 하는 경로 분해 $ P_\sigma^G $ 를 정의하며, 각 집합 $ X_i $ 는 첫 번째 $ i $ 개 정점의 폐쇄 이웃에서 첫 번째 $ i-1 $ 개 정점의 집합을 뺀 것이다.
• 특수 순서 $ \sigma $ 의 개념을 도입하며, 이는 $ \chi(P_\sigma^G) = \chi_P(G) $ 를 만족하고, 각 고색수 백에 마지막으로 등장하는 정점의 이전 이웃이 없음을 의미한다.
• 동적 프로그래밍과 색칠 논증을 사용하여 $ R_m(G) $ 의 색수를 분석하며, 특히 유도 부분그래프 $ [I, X_j \setminus v_j] $ 와 그 색칠 가능성에 초점을 맞춘다.
• 구조적 보조정리(예: 보조정리 3.1–3.4) 를 적용하여 색수를 유계화하고 특수 순서가 존재할 경우 모순을 이끌어내는 방법을 사용한다.
• 정리 1.3 을 증명하기 위해 $ R_\ell(R_m(G)) $ 는 특수 순서를 가질 수 없음을 보여, 이는 경로-색수가 $ \chi_P(G) $ 를 초월함을 의미한다.

실험 결과

연구 질문

• RQ1 트리-색수와 경로-색수가 엄격하게 다를 수 있는 그래프가 존재하는가?
• RQ2 경로-색수를 증가시키면서도 구조적 성질을 유지하거나 변화시키는 그래프 연산을 구성할 수 있는가?
• RQ3 Mycielski 그래프의 경로-색수가 무한히 증가하는가?
• RQ4 모든 그래프 $ G $ 에 대해 $ \chi_P(G) \leq f(\chi_T(G)) $ 를 만족하는 함수 $ f $ 가 존재하는가?

주요 결과

• 논문은 $ \chi_T(G) \neq \chi_P(G) $ 를 만족하는 $ k $-연결 그래프의 무한한 가족을 구성함으로써, 두 매개변수가 동치가 아님을 증명한다.
• 모든 그래프 $ G $ 에 대해 $ \chi_P(G) = k $ 라면, $ G $ 에 특수 순서가 없을 경우 $ R_m(G) $ 는 경로-색수를 $ k+1 $ 으로 증가시키며, 그렇지 않으면 그대로 유지된다.
• $ R_m $ 을 두 번 적용한 $ R_\ell(R_m(G)) $ 에서 $ \ell \geq m(n+1)+k+3 $ 를 만족할 경우, $ \chi_P(R_\ell(R_m(G))) > k $ 가 보장되며, 이는 엄격한 증가를 증명한다.
• Mycielski 그래프의 경로-색수가 무한히 증가함을 보여, 그 구성 과정이 $ R_m $ 의 반복 적용을 허용하기 때문이다.
• 특수 순서의 존재 불가능성에 기반한 구조적 색칠 논증과 모순을 통해 $ \chi_T(G) < \chi_P(G) $ 인 그래프의 존재를 증명함으로써, $ \chi_P(G) \leq f(\chi_T(G)) $ 를 만족하는 함수 $ f $ 는 일반적으로 존재할 수 없음을 보여준다.
• 증명은 특수 순서의 존재 불가능성에 기반한 구조적 색칠 논증과 모순을 통해 이루어진다.