[논문 리뷰] Maximum number of colourings. II. 5-chromatic graphs

Fiachra Knox, Bojan Mohar|arXiv (Cornell University)|2017. 10. 18.

Limits and Structures in Graph Theory참고 문헌 20인용 수 3

한 줄 요약

이 논문은 1971년 토메스쿠의 추측을 5-색깔 그래프에 대해 강화된 형태로 증명한다. 최대 $k$-색칠 수 있는 경우의 수는 $K_5$의 각 정점에 나무를 부착하여 만든 그래프에서 유일하게 달성된다. 증명은 구조적 분해, 이동된 다항식 $Q_G(y)$를 통한 색칠 다항식 분석, 그리고 임계 그래프에 대한 광범위한 컴퓨터 보조 사례 분석을 사용하며, $y \geq 4$일 때 $Q_G(y) \leq (y+1)y^{n-4}(y-1)(y-2)(y-3)$의 경계를 확인한다. 이 결과는 이전의 4-색깔 그래프에 대한 연구를 확장하며, 일반적인 증명을 위한 기반을 마련한다.

ABSTRACT

In 1971, Tomescu conjectured [Le nombre des graphes connexes $k$-chromatiques minimaux aux sommets étiquetés, C. R. Acad. Sci. Paris 273 (1971), 1124--1126] that every connected graph $G$ on $n$ vertices with $χ(G) = k \geq 4$ has at most $k!(k-1)^{n-k}$ $k$-colourings, where equality holds if and only if the graph is formed from $K_k$ by repeatedly adding leaves. In this note we prove (a strengthening of) the conjecture of Tomescu when $k=5$.

연구 동기 및 목표

• 5-색깔 그래프에 대해 1971년 토메스쿠의 추측을 해결하는 것: $k=5$일 때 연결된 $k$-색깔 그래프에서 최대 $k$-색칠 수 있는 경우의 수를 규명하는 것.
• 이전의 4-색깔 그래프 연구에서 사용된 방법을 구조적 분해와 색칠 다항식 경계를 활용하여 5-색깔 경우로 확장하는 것.
• 최적의 그래프가 정확히 $K_5$의 각 정점에 나무를 부착하여 만들어진 그래프임을 입증하고, 모든 실수 $y$에 대해 등호가 성립함을 보이는 것.

제안 방법

• 색칠 수 있는 경우의 수를 $y = x-1$로 표현하기 위해 이동된 색칠 다항식 $Q_G(y) = P_G(y+1)$를 사용하여 渐近 비교를 단순화한다.
• 레마 2.1에서 유도된 재귀 부등식을 적용하여, 정점의 이웃 관계와 독립 집합으로의 분할 기반으로 $Q_G(y)$를 경계한다.
• 5-임계 그래프에 대한 사례 분석을 수행하며, 소규모 임계 그래프 목록(최대 13개 정점까지)과 auty_ge g 및 로일의 목록과 같은 프로그램을 이용한 컴퓨터 검증을 활용한다.
• 구조적 분해: $G$가 4개 정점으로 이루어진 독립 집합 $S$를 가진다면, $G-S$는 4-색깔이 되며, 이는 정리 1.2에 의해 경계가 가능해져 $Q_G(y)$에 대한 귀납적 경계를 도출할 수 있다.
• 순차적으로 $S$의 정점을 제거함으로써 재귀적 경계를 적용하며, 각 단계에서 $B(y)$ 기반 부등식 프레임워크를 이용해 색칠 다항식 경계를 갱신한다.
• 모든 후보 그래프(예: 13개 정점에서의 레이즈먼드 $(4,4)$ 그래프)를 컴퓨터로 검증하여 $Q_G(y) \ll (y+1)y^{n-4}(y-1)(y-2)(y-3)$임을 확인한다.

실험 결과

연구 질문

• RQ1 모든 연결된 5-색깔 그래프 $G$가 $n$개 정점으로 구성되어 있을 때, 모든 정수 $y \geq 4$에 대해 $Q_G(y) \leq (y+1)y^{n-4}(y-1)(y-2)(y-3)$를 만족하는가?
• RQ2 이 경계에서 등호가 성립하는 그래프는 정확히 $K_5$의 각 정점에 나무를 부착한 그래프 외에는 존재하지 않는가?
• RQ3 4-색깔 그래프에 사용된 방법을 5-색깔 경우로 확장하여, 구조적 분해과 컴퓨터 보조 검증을 통해 추측을 증명할 수 있는가?

주요 결과

• 모든 연결된 5-색깔 그래프 $G$가 $n$개 정점으로 구성되어 있을 때, 최대 $k$-색칠 수 있는 경우의 수는 $k!(k-1)^{n-k} = 5! \cdot 4^{n-5}$로 상한이 주어지며, 등호는 $G$가 $K_5$에서 각 정점에 나무를 부착하여 만들어졌을 때에만 성립한다.
• $y \geq 4$인 모든 정수 $y$에 대해 $Q_G(y) \leq (y+1)y^{n-4}(y-1)(y-2)(y-3)$의 경계가 성립하며, 등호는 모든 실수 $y$에 대해 정확히 $K_5$에 나무를 부착한 그래프에서 성립한다.
• 광범위한 컴퓨터 검증을 통해 13개 이하 정점의 모든 5-임계 그래프가 엄격한 부등식 $Q_G(y) \ll (y+1)y^{n-4}(y-1)(y-2)(y-3)$를 만족함을 확인하였으며, 유일하게 등호가 성립하는 경우는 최적의 $K_5$-with-trees 그래프의 경우뿐이다.
• 증명은 4개 정점으로 이루어진 독립 집합을 통한 그래프 분해와 레마 2.1을 활용한 재귀적 경계를 기반으로 하며, $B(y)$ 기반 오차 항은 사례 분석을 통해 제어된다.
• 이 방법은 성공적으로 4-색깔 경우를 $k=5$로 일반화하였으며, 저자들은 이 방법이 $k=6$ 및 그 이상으로도 확장 가능할 것으로 기대하며, 일반적인 증명의 기초를 마련한다.