[논문 리뷰] Connectivity and choosability of graphs with no $K_t$ minor

Sergey Norin, Luke Postle|arXiv (Cornell University)|2020. 04. 22.

Advanced Graph Theory Research참고 문헌 16인용 수 8

한 줄 요약

이 논문은 모든 $K_t$-minor를 가지지 않는 그래프가 모든 $\beta > \frac{1}{4}$에 대해 $O(t(\log t)^\beta)$-list-colorable임을 증명하며, 이는 이전의 색상 수 경계를 리스트 색칠로 확장한 것이다. 핵심 혁신은 고연결성 $K_t$-minor-free 그래프의 정점 수에 대한 새로운 상계를 제공하는 것으로, 이는 구조적 분해와 리스트 색칠 증명을 가능하게 한다.

ABSTRACT

In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. While Hadwiger's conjecture does not hold for list-coloring, the linear weakening is conjectured to be true. 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 thus is $O(t\sqrt{\log t})$-list-colorable. Recently, the authors and Song proved that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> \frac 1 4$. Here, we build on that result to show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-list-colorable for every $β> \frac 1 4$. Our main new tool is an upper bound on the number of vertices in highly connected $K_t$-minor-free graphs: We prove that for every $β> \frac 1 4$, every $Ω(t(\log t)^β)$-connected graph with no $K_t$ minor has $O(t (\log t)^{7/4})$ vertices.

연구 동기 및 목표

• 모든 $\beta > \frac{1}{4}$에 대해 $K_t$-minor-free 그래프에 대한 $O(t(\log t)^\beta)$-colorability 경계를 리스트 색칠로 확장하여 Hadwiger's conjecture의 약화된 형태를 다루는 것.
• 특히 $\Omega(t(\log t)^\beta)$의 연결성에 대해 $K_t$-minor-free 그래프의 정점 수에 대한 날카운 상계 $O(t(\log t)^{3-5\beta+\delta})$를 확립하는 것.
• Kawarabayashi와 Mohar가 제기한 바와 같이, Linear Hadwiger's conjecture가 리스트 색칠에 대해 성립하는지 여부를 해결하는 것.
• 주요 결과를 가능하게 하는 구조적 도구를 제공하는 것 — 비대칭 이분 그래프에 대한 새로운 밀도 상계를 통한 것.

제안 방법

• 비대칭 설정으로 확장된 $K_t$-minor가 없는 비대칭 이분 그래프의 밀도에 대한 새로운 상계를 도입하여, 정리 1.3을 비대칭 환경으로 확장하는 것.
• 이 밀도 상계를 사용해, 연결성이 $\Omega(t(\log t)^\beta)$인 $K_t$-minor-free 그래프의 정점 수가 $O(t(\log t)^{3-5\beta+\delta})$ 이하임을 보여주는 정리 1.7를 유도하는 것.
• 구조적 결과를 활용해 정점 수에 대한 귀납법을 적용하여 정리 1.6를 증명하는 것 — 리스트 할당을 고려한 최소 반례 논증을 사용하는 방식.
• 작은 코바운더리와 유한한 크기를 가진 최소 정점 집합 $X$를 구성한 후, $X$에 유도된 부분그래프가 $d = \lceil Ct(\log t)^\beta \rceil$-list-colorable임을 보이는 것.
• 코로나리 7.2를 활용해 $|X| \leq t(\log t)^{3-5\beta+\delta}$ 이고 코바운더리 크기가 $Ct(\log t)^\beta$ 이하인 부분집합 $X$를 찾는 것 — 이는 귀납적 색칠을 가능하게 한다.
• 작은 그래프의 리스트 색상 수에 대한 기존 경계(코로나리 6.3)를 활용해, $X$의 이웃이 $X$ 외부에 있는 제약 조건을 제거한 후 $G[X]$가 유효한 $L'$-coloring을 가짐을 보장하는 것.

실험 결과

연구 질문

• RQ1 모든 $\beta > \frac{1}{4}$에 대해 $K_t$-minor-free 그래프에 대한 $O(t(\log t)^\beta)$-colorability 경계를 리스트 색칠로 확장할 수 있는가?
• RQ2 연결성이 $\Omega(t(\log t)^\beta)$인 $K_t$-minor-free 그래프에 대해 정점 수의 최대값은 얼마인가? ($\beta > \frac{1}{4}$)
• RQ3 고연결성 $K_t$-minor-free 그래프에 대한 구조적 경계가 향상된 리스트 색칠 결과를 가능하게 하는가?
• RQ4 $K_t$-minor-free 그래프의 리스트 색칠에 대해 경계 $O(t(\log t)^\beta)$는 날카로운가?
• RQ5 정점 분할과 코바운더리 제어 전략을 사용해 $t(\log t)^{1/4}$ 이하의 연결성에 대한 경계를 향상시킬 수 있는가?

주요 결과

• 모든 $K_t$-minor를 가지지 않는 그래프는 모든 $\beta > \frac{1}{4}$에 대해 $O(t(\log t)^\beta)$-list-colorable이며, 이는 Kawarabayashi와 Mohar의 추측을 확인한다.
• 모든 $\beta > \frac{1}{4}$ 및 $\delta > 0$에 대해, $Ct(\log t)^\beta$-connected인 $K_t$-minor-free 그래프는 최대 $t(\log t)^{3-5\beta+\delta}$개의 정점을 가진다.
• 섹션 5에서의 무작위 구성 하한을 통해 정점 수 상계가 상수 인자 외에는 날카로운 것으로 밝혀졌다.
• Böhme 등 이전의 경계보다 개선된 것으로, 그래프 미니처 구조 정리에 의존하지 않고 명시적이고 지수보다 작은 정점 수 상계를 제공함으로써, 정리 1.7의 구조적 결과는 이전 결과를 초월한다.
• 정점 분할과 리스트 할당 축소를 조합함으로써, 탈성 기반 색칠 논증을 리스트 색칠으로 성공적으로 확장한 전략이다.
• 결과적으로, Linear Hadwiger's conjecture는 점근적으로 리스트 색칠에 대해 성립하며, $O(t\sqrt{\log t})$ 경계보다 다항 로그 인자 향상된 결과를 암시한다.