[논문 리뷰] Reducing Linear Hadwiger's Conjecture to Coloring Small Graphs

Michelle Delcourt, Luke Postle|arXiv (Cornell University)|2021. 08. 03.

Limits and Structures in Graph Theory인용 수 8

한 줄 요약

이 논문은 크기 $O(t\log^4 t)$인 그래프에서의 성립을 확인하는 것으로 충분함을 보여줌으로써 선형 Hadwiger의 추측을 작은 그래프로 축소한다. 특히, 모든 $K_t$-minor-free 그래프의 색수는 $O(t\log\log t)$ 이하임을 증명하며, 이는 이전의 $O(t\sqrt{\log t})$ bound 보다 향상된 결과이다. 이 결과는 $f(G,t)$가 작은 $K_a$-minor-free 부분그래프들 위에서의 최대 색수 밀도를 측정하는 함수임을 고려할 때, 모든 $K_t$-minor-free 그래프의 색수는 $O(t(1 + f(G,t)))$ 이하로 유계임을 보여준다.

ABSTRACT

In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the second author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. The first main result of this paper is that every graph with no $K_t$ minor is $O(t\log\log t)$-colorable. This is a corollary of our main technical result that the chromatic number of a $K_t$-minor-free graph is bounded by $O(t(1+f(G,t)))$ where $f(G,t)$ is the maximum of $\frac{χ(H)}{a}$ over all $a\ge \frac{t}{\sqrt{\log t}}$ and $K_a$-minor-free subgraphs $H$ of $G$ that are small (i.e. $O(a\log^4 a)$ vertices). This has a number of interesting corollaries. First as mentioned, using the current best-known bounds on coloring small $K_t$-minor-free graphs, we show that $K_t$-minor-free graphs are $O(t\log\log t)$-colorable. Second, it shows that proving Linear Hadwiger's Conjecture (that $K_t$-minor-free graphs are $O(t)$-colorable) reduces to proving it for small graphs. Third, we prove that $K_t$-minor-free graphs with clique number at most $\sqrt{\log t}/ (\log \log t)^2$ are $O(t)$-colorable. This implies our final corollary that Linear Hadwiger's Conjecture holds for $K_r$-free graphs for every fixed $r$. One key to proving the main theorem is a new standalone result that every $K_t$-minor-free graph of average degree $d=Ω(t)$ has a subgraph on $O(t \log^3 t)$ vertices with average degree $Ω(d)$.

연구 동기 및 목표

• 수십 년에 걸친 연구에도 여전히 미해결인 $K_t$-minor-free 그래프의 색수를 유계로 제한하는 오랜 동안의 문제를 다루기.
• Kostochka와 Thomason이 확립한 $O(t\sqrt{\log t})$ bound 보다 더 날카로운 渐近 bound 를 달성하기.
• 선형 Hadwiger의 추측 — 즉, $K_t$-minor-free 그래프가 $O(t)$-colorable임을 증명하는 것은, 크기 $O(t\log^4 t)$ 이하의 그래프에서의 성립을 확인하는 것으로 충분함을 보여주기.
• $K_t$-minor-free 그래프의 클리크 수가 작을 경우, 즉 $O(t)$-colorable임을 보여주어 추측을 더 넓은 그래프 계열으로 확장하기.
• 색수 분리 가능 및 불가능한 경우를 구분함으로써 $K_t$-minor-free 그래프를 분석하는 데 새로운 구조적 프레임워크 제공하기.

제안 방법

• 논문은 그래프의 색수 값이 작은 구성요소로 분리되는지 여부에 따라 구조적 분해를 도입하며, 이 성질에 따라 순차적 또는 재귀적 구성 방식을 사용한다.
• 핵심 기술적 기여: 평균 차수 $d = \Omega(t)$인 모든 $K_t$-minor-free 그래프는 평균 차수 $\Omega(d)$를 유지하는 $O(t\log^3 t)$ 정점의 부분그래프를 포함함을 보여주는 독립된 결과.
• 함수 $f(G,t)$를 정의하여, $a \in [t/\sqrt{\log t}, t]$ 이며 $v(H) \leq C a \log^4 a$ 인 모든 $K_a$-minor-free 부분그래프 $H$에 대해 $\chi(H)/a$ 의 최대 비율을 측정함으로써 局소 색수 밀도를 정량화한다.
• 특정 $C_{\text{rooted2}}$-connected 부분그래프와 $K_a$-모델을 기반으로 한 재귀적 추론을 통해, 높은 색수는 $t' \geq t$ 인 $K_{t'}$-minor를 포함함을 보여주며, 이는 $K_t$-freeness와 모순된다.
• 연결성 정리를 적용하여 특정 정점 집합에 루트를 둔 $K_a$-모델을 구성함으로써, 높은 국소적 색수 밀도가 전역적인 미니어 컨텐트를 유도함을 보장한다.
• 만약 $K_t$-minor-free 그래프의 색수가 $C t (1 + f(G,t))$ 를 초과한다면, 반드시 $t' \geq t$ 인 $K_{t'}$-minor 를 포함하게 되며, 이는 모순을 일으킨다.

실험 결과

연구 질문

• RQ1 선형 Hadwiger의 추측을 $O(t\sqrt{\log t})$ 보다 더 날카로운 bound 로 제한할 수 있는가?
• RQ2 선형 Hadwiger의 추측을 증명하는 것은 크기 $O(t\log^4 t)$ 이하의 그래프에서의 성립을 확인하는 것으로 충분한가?
• RQ3 클리크 수가 $\leq \sqrt{\log t}/(\log\log t)^2$ 인 $K_t$-minor-free 그래프는 $O(t)$-colorable인가?
• RQ4 $K_t$-minor-free 그래프의 색수는 $O(t\log\log t)$ 이하로 유계로 제한될 수 있는가? 이는 $O(t\sqrt{\log t})$ bound 보다 향상된 결과이다.
• RQ5 어떤 조건에서 작은 부분그래프에서의 높은 국소적 색수 밀도가 전역적인 미니어 컨텐트를 유도하는가?

주요 결과

• 모든 $K_t$-minor-free 그래프는 $O(t\log\log t)$-colorable이며, 이는 이전까지 알려진 최선의 bound인 $O(t\sqrt{\log t})$ 보다 향상된 결과이다.
• 모든 $K_t$-minor-free 그래프 $G$의 색수는 $f(G,t)$가 작은 $K_a$-minor-free 부분그래프들 위에서의 최대 색수 밀도를 측정하는 함수이므로, $O(t(1 + f(G,t)))$ 이하로 유계이다.
• 선형 Hadwiger의 추측은 크기 $O(t\log^4 t)$ 이하의 $K_t$-minor-free 그래프에서의 성립을 확인하는 것으로 충분하며, 이는 반례가 존재할 경우 이 크기 범위 내에서도 반례가 존재함을 의미한다.
• 클리크 수가 $\sqrt{\log t}/(\log\log t)^2$ 이하인 모든 $K_t$-minor-free 그래프는 $O(t)$-colorable이며, 이는 이 계열에 대해 추측이 성립함을 확인한다.
• 모든 고정된 $r$에 대해, $t_r$ 가 존재하여 모든 $t \geq t_r$ 에 대해, $K_r$-free 이면서 $K_t$-minor-free 인 모든 그래프는 어떤 절대 상수 $C$ 에 대해 $Ct$-colorable이다. 이는 추측을 $K_r$-free 그래프로 확장한다.