[논문 리뷰] An even better Density Increment Theorem and its application to Hadwiger's Conjecture

Luke Postle|arXiv (Cornell University)|2020. 06. 25.

Limits and Structures in Graph Theory참고 문헌 12인용 수 13

한 줄 요약

이 논문은 밀도 증가 정리의 개선을 통해 $K_t$ 미니처가 없는 그래프의 색칠 수 있는 수에 대한 더 날카로운 상계를 도출한다. 구조적 분해 기법을 정교화함으로써 저자들은 이러한 그래프가 $O(t (/\log )^6)$-색칠 가능하다는 것을 보여주며, 이는 이전의 $O(t \sqrt{\log t})$ 및 $O(t (\log t)^\beta)$ 형태의 상계($\beta > 0$)보다 크게 향상된 결과이다. 이는 하드비거의 추측에 대한 진전을 이룬다.

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 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. More recently, the author showed that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$; more specifically, they are $t \cdot 2^{ O((\log \log t)^{2/3}) }$-colorable. In combination with that work, we show in this paper that every graph with no $K_t$ minor is $O(t (\log \log t)^{6})$-colorable.

연구 동기 및 목표

• 미니처가 없는 그래프의 색칠 수 있는 수에 대한 상계를 개선하는 것.
• 밀도 증가 방법을 정교화하여 색칠 수 있는 수의 $t$에 대한 의존도를 더 나아지게 하는 것.
• 색칠 수 있는 수의 渐近적 순서를 낮춤으로써 하드비거의 추측에 진전을 이루는 것.
• 최근에 $O(t (\log t)^\beta)$-색칠 가능성이 모든 $\beta > 0$에 대해 확보된 결과를 $\log \log t$의 다항로그 인자로 확장하는 것.

제안 방법

• 더 강력한 정규성과 밀도 증가 성질을 갖는 새로운 밀도 증가 정리를 개발하는 것.
• 개선된 밀도 증가 정리를 적용하여 그래프를 저밀도 부분그래프와 구조적 부분으로 분해하는 것.
• 반복적 분해를 통해 필요한 색의 수를 제어하고, 정교화된 밀도 증가 성질을 활용하는 것.
• 새로운 밀도 증가 정리를 이전의 $K_t$-미니처 없는 그래프에 대한 구조적 결과와 융합하는 것.
• 분해 기반의 재귀적 색칠 전략을 활용하여 색칠 수 있는 수의 상계를 도출하는 것.
• 밀도 증가와 반복 깊이의 분석을 정교화하여 $\log \log t$에 대한 의존도를 최적화하는 것.

실험 결과

연구 질문

• RQ1 미니처가 없는 그래프의 색칠 수 있는 수가 $O(t \sqrt{\log t})$보다 $\log t$에 대해 더 느리게 증가하는 함수로 유계화될 수 있는가?
• RQ2 미니처가 없는 그래프의 색칠 수 있는 수에 있어서 달성 가능한 최고의 다항로그 인자는 무엇인가?
• RQ3 밀도 증가 방법을 강화하여 어떤 절대 상수 $k$에 대해 $O(t (\log \log t)^k)$ 형태의 상계를 도출할 수 있는가?
• RQ4 새로운 밀도 증가 정리는 밀도 증가와 구조적 통제 사이의 트레이드오프에서 이전 결과보다 어떻게 향상되는가?
• RQ5 향상된 상계는 하드비거의 추측에 더 이상 진전을 이룰 수 있는가?

주요 결과

• 논문은 모든 $K_t$-미니처가 없는 그래프가 $O(t (\log \log t)^6)$-색칠 가능하다는 것을 입증하며, 이는 $O(t \sqrt{\log t})$ 상계보다 상당히 향상된 결과이다.
• 이 결과는 구조적 그래프 분해에서의 밀도 증가에 대해 더 강력한 통제력을 제공하는 정교화된 밀도 증가 정리를 통해 달성되었다.
• 이전의 $t \cdot 2^{O((\log \log t)^{2/3})}$-색칠 가능성 결과보다 $\log \log t$ 항의 지수를 감소시킴으로써 상계가 향상되었다.
• 이 방법은 $\log \log t$에 대한 다항로그 의존도를 달성하였으며, 이는 하드비거의 추측에서 예상되는 $O(t)$ 색칠 수 있는 수 상계에 대한 주요 단계이다.
• 분석은 밀도 증가 접근법이 더 효율적으로 반복될 수 있음을 보여주며, 더 나은 渐近적 상계를 이끌어낸다.
• 결과는 $K_t$-미니처가 없는 그래프의 색칠 수 있는 수가 $\beta > 0$에 대해 어떤 $O(t (\log t)^\beta)$보다도 느리게 증가함을 확인하며, 이제는 고정된 $\log \log t$ 거듭제곱으로 유계화됨을 보여준다.