[논문 리뷰] Examples of topologically highly chromatic graphs with locally small chromatic number

Ilya I. Bogdanov|arXiv (Cornell University)|2013. 11. 12.

Topological and Geometric Data Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 국소적으로 작은 색수를 가지지만 위상적으로 높은 색수를 가진 그래프의 명시적 가족을 구성하여, Kierstead, Szemerédi, 그리고 Trotter가 제시한 경계의 날카러움을 증명한다. 이는 이웃 복합체에 대한 새로운 조인 구조를 사용하여, 각 반경 $ r $ 내의 공이 $ c $-색으로 칠해질 수 있고, 색수는 최소 $ n(c-1)+1 $ 이상이 되도록 한다. 그래프의 정점 수는 정확히 $ \frac{(2rc+1)^n - 1}{2r} $이며, 이러한 극값 그래프의 예상되는 성장률을 확인한다.

ABSTRACT

Kierstead, Szemerédi, and Trotter showed that a graph with at most $\lfloor r/(2n) floor^n$ vertices such that each ball of radius $r$ in it is $c$-colorable should have chromatic number at most $n(c-1)+1$. We show that this estimate is sharp in $r$. Namely, for every $n$, $r$, and $c$ we construct a graph $G$ containing $O((2rc)^{n-1}c)$ vertices such that $χ(G)\geq n(c-1)+1$, although each ball of radius $r$ in $G$ is $c$-colorable. The core idea is the construction of a graph whose neighborhood complex is homotopy equivalent to the join of neighborhood complexes of two given graphs.

연구 동기 및 목표

• Kierstead, Szemerédi, 그리고 Trotter가 제기한 국소적 및 전역적 색수 간의 경계의 날카러움에 대한 추측을 해결하는 것.
• 모든 반경 $ r $ 내의 공이 $ c $-색으로 칠해질 수 있도록 하면서 색수 $ \geq n(c-1)+1 $인 명시적 그래프를 구성하는 것.
• 이러한 그래프에 필요한 최소 정점 수가 $ \Theta(r^{n-1}) $로 성장함을 보여주어, 색수가 $ c-1 $로 나누어 떨어지면 1이 되는 경우에 예측된 전이 행동을 확인하는 것.

제안 방법

• 구성은 일반화된 조인 연산 $ G_{n-1} *_{2r} K_c $를 사용하며, 여기서 $ G_{n-1} $는 재귀적으로 구축되고 $ K_c $는 $ c $개 정점으로 이루어진 완전 그래프이다.
• 이웃 복합체 $ \mathsf{N}(G_n) $가 $ \mathsf{N}(G_{n-1}) $와 $ \mathsf{N}(K_c) $의 조인과 호모토피 유사하다는 것을 보이며, 이는 $ S^{n(c-1)-1} $와 같다.
• 이웃 복합체의 필요로 하는 호모토피 유형을 증명하기 위해, 신경 정리와 기하적 실현의 성질을 포함한 위상적 도구를 사용한다.
• 증명은 $ n $에 대한 귀납법으로 진행되며, $ n=1 $일 때 $ K_c $에서 시작하여 $ G_n $을 재귀적으로 구축한다. $ |G_n| = \frac{(2rc+1)^n - 1}{2r} $ 정점 수를 가진다.
• 국소 색수는 재귀적 구성에 의해 유지되어 $ \ell\chi_r(G_n) \leq c $임을 보장한다.
• 색수의 하한은 Lovász의 색수에 대한 위상적 하한을 사용하여 이웃 복합체의 위상적 연결성에서 유도된다.

실험 결과

연구 질문

• RQ1 반경 $ r $에 대해 $ \chi(G) \leq n(c-1)+1 $ 이며, $ |V| \leq \lfloor r/(2n) \rfloor^n $ 이고 $ \ell\chi_r(G) \leq c $ 를 만족하는 그래프에 대해, 이 경계가 매개수 $ r $ 에서 날카로운가?
• RQ2 모든 $ n $, $ r $, $ c $에 대해, $ \chi(G) \geq n(c-1)+1 $, $ \ell\chi_r(G) \leq c $, 그리고 $ O((2rc)^{n-1}c) $개의 정점을 가지는 그래프를 구성할 수 있는가?
• RQ3 색수가 $ \chi(G) = N $ 이고 $ \ell\chi_r(G) \leq c $ 를 만족하는 그래프에 필요한 최소 정점 수가 $ r^{\lfloor(N-1)/(c-1)\rfloor} $로 성장하는가? 이는 $ N \equiv 1 \pmod{c-1} $ 일 때 단계 전이를 나타내는가?

주요 결과

• 논문은 모든 $ n $, $ r $, $ c \geq 3 $에 대해 정확히 $ \frac{(2rc+1)^n - 1}{2r} $개의 정점을 가지며 색수가 최소 $ n(c-1)+1 $ 이상인 그래프 $ G_n $를 구성한다.
• 그래프 $ G_n $의 각 반경 $ r $ 내의 공은 $ c $-색으로 칠해질 수 있으므로 $ \ell\chi_r(G_n) \leq c $ 를 만족하며, 국소 제약 조건을 충족한다.
• 이웃 복합체 $ \mathsf{N}(G_n) $는 $ S^{n(c-1)-1} $과 호모토피 유사하다. 이는 위상적 방법을 통해 색수의 하한을 유도한다.
• 구성은 재귀적이다: $ G_n = G_{n-1} *_{2r} K_c $이며, $ G_1 = K_c $에서 시작하며, 크기 공식은 귀납적으로 검증된다.
• 결과적으로 Kierstead-Szemerédi-Trotter 경계의 매개수 $ r $ 에서의 날카러움을 확인하며, 정점 수 성장률이 날카로운 것으로 밝혀진다.
• 예시는 색수가 $ c-1 $로 나누어 떨어지면 1이 되는 값에서 점프할 수 있음을 보여주며, 극값 그래프 이론에서 이산적 단계 전이가 존재함을 드러낸다.