[논문 리뷰] Breaking the degeneracy barrier for coloring graphs with no $K_t$ minor

Sergey Norin, Postle, Luke외 1명|arXiv (Cornell University)|2019. 10. 21.

Advanced Graph Theory Research참고 문헌 35인용 수 24

한 줄 요약

이 논문은 $K_t$ 미니어를 갖지 않는 그래프의 색수 상한을 향상시켜, 모든 $\beta > 1/4$에 대해 $O(t(\log t)^\beta)$-색칠 가능함을 보이며, Kostochka와 Thomason이 수립한 오랜 기간 동안의 $O(t\sqrt{\log t})$ 분해성 장벽을 뛰어넘었다. 증명은 밀도 증가 기법과 연결성 기반의 미니어 구성 기법을 사용하여 이전의 점근적 한계를 초월한다.

ABSTRACT

In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\geq 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. We show 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 Kostochka-Thomason bound.

연구 동기 및 목표

• Kostochka와 Thomason이 수립한 $K_t$-미니어 없는 그래프에 대한 색수 상한 $O(t\sqrt{\log t})$를 오랫동안 유지해온 것으로, 이는 분해성과 연관되어 있었고, '완전히 조밀한' 것으로 여겨졌음을 초월하기 위해.
• 이러한 그래프에 대해 $\Omega(t\sqrt{\log t})$ 색이 필수적이라는 '일반적으로 제기되는 반대 추측'을 반증하기 위해.
• 색수 상한의 점근적 순서를 향상시키기 위해, 상수 요인 향상 이상의 질적 향상된 성장률로 이동하기 위해.
• 새로운 방법의 광범위한 적용 가능성을 보여주기 위해 리스트 색칠과 이상 미니어로 결과를 확장하기 위해.

제안 방법

• 임의의 충분히 밀도가 높은 $K_t$-미니어 없는 그래프 내에 밀도가 높은 부분그래프를 식별하기 위해 밀도 증가 기법을 도입한다.
• 높은 연결성을 가진 그래프에 여러 개의 분리된 밀도 높은 부분그래프가 존재할 경우 $K_t$ 미니어를 포함함을 보여주기 위해 연결성 기반의 미니어 구성 기법을 개발한다.
• 밀도가 높은 $K_t$-미니어 없는 그래프에서 작은 밀도 높은 부분그래프를 찾기 위해 정리 2.4를 사용하여 반복적 정밀 조정을 가능하게 한다.
• 여러 개의 밀도 높고 높은 연결성을 가진 부분그래프를 간선 수축을 통해 $K_t$ 미니어로 연결하기 위해 정리 2.6을 적용한다.
• 이러한 결과를 기존의 분해성 상한과 연결성 임계값과 결합하여 향상된 색수 상한을 도출한다.
• 높은 연결성을 가진 $K_t$-미니어 없는 그래프의 크기 상한을 포함한 새로운 기술적 변형을 도입하여, 리스트 색칠과 이상 미니어로 방법을 적응시킨다.

실험 결과

연구 질문

• RQ1 색수 상한이 $O(t(\log t)^\beta)$로 $\beta < 1/2$가 되는지, $O(t\sqrt{\log t})$ 상한을 향상시킬 수 있는가?
• RQ2 $O(t\sqrt{\log t})$ 분해성 상한이 진정으로 최적인지, 아니면 점근적으로 향상시킬 수 있는가?
• RQ3 색수 상한을 제한하는 데 사용된 방법이 리스트 색칠과 이상 미니어로 $K_t$-미니어 없는 그래프에 확장될 수 있는가?
• RQ4 색수 상한을 제한하는 데 사용된 연결성과 밀도 조건의 점근적 행동은 $K_t$-미니어 없는 그래프에서 $K_t$ 미니어를 강제로 발생시키기 위해 필요한가?

주요 결과

• 모든 $K_t$-미니어를 갖지 않는 그래프는 모든 $\beta > 1/4$에 대해 $O(t(\log t)^\beta)$-색칠 가능하며, 이는 Kostochka-Thomason 상한에 비해 순서의 차원에서의 첫 번째 개선이다.
• 상한 $O(t\sqrt{\log t})$는 최적이 아니며, 이 논문은 이 상한이 최적의 점근적 상한이라는 '일반적으로 제기되는 반대 추측'을 반증한다.
• 새로운 밀도 증가 기법(정리 2.4)은 밀도가 높은 $K_t$-미니어 없는 그래프 내에서 작은 밀도 높은 부분그래프를 식별할 수 있게 한다.
• 연결성 기반의 미니어 구성 기법(정리 2.6)은 높은 연결성을 가진 그래프에 여러 개의 분리된 밀도 높은 부분그래프가 존재할 경우 $K_t$ 미니어를 포함함을 보여준다.
• 이 방법은 리스트 색칠로 확장 가능하며, 모든 $K_t$-미니어 없는 그래프는 모든 $\beta > 1/4$에 대해 $O(t(\log t)^\beta)$-리스트 색칠 가능하다.
• 결과는 이상 미니어로도 확장 가능하다: 모든 이상 $K_t$-미니어를 갖지 않는 그래프는 모든 $\beta > 1/4$에 대해 $O(t(\log t)^\beta)$-색칠 가능하다.