[논문 리뷰] Further Progress towards the List and Odd Versions of Hadwiger's Conjecture

Luke Postle|arXiv (Cornell University)|2020. 10. 12.

Advanced Graph Theory Research참고 문헌 21인용 수 7

한 줄 요약

이 논문은 완전 그래프 미포함 그래프의 리스트 및 홀수 색수에 대한 향상된 상계를 확립하여, $K_t$ 미포함인 모든 그래프가 $O(t \cdot (\log \log t)^6)$-리스트색수 가능하고, 홀수 미포함 설정에서도 마찬가지로 $O(t \cdot (\log \log t)^6)$-색수 가능하다는 것을 증명한다. 이 결과는 이전 연구에서 $\beta > 1/4$ 제약 조건을 제거하여, 리스트 및 홀수 버전의 하드비거 추측에 대해 처음으로 $O(t \cdot (\log \log t)^6)$ 상계를 달성한다.

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. Building on that work, we previously showed that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$. More specifically, they are $O(t \cdot (\log \log t)^{6})$-colorable. In this paper, we extend that work to the list and odd generalizations of Hadwiger's conjecture.

연구 동기 및 목표

• 완전 그래프 미포함 그래프의 점근적 색수 상계를 향상시켜 리스트 및 홀수 하드비거 추측을 해결하는 것.
• 기존의 $O(t\sqrt{\log t})$ 상계와 추측된 선형 상계 $O(t)$ 사이의 격차를 좁히기 위해 다항로그 인자 개선을 달성하는 것.
• 완전 그래프 미포함 그래프의 색수에 대한 최근 진전을 더 일반적인 리스트 및 홀수 미포함 설정으로 확장하는 것.
• 리스트 및 홀수 색수 변형 모두에서 $O(t \cdot (\log \log t)^6)$ 상계가 균일하게 성립함을 보여주어 선형 하드비거 추측의 추측된 강화를 확인하는 것.

제안 방법

• 미포함 가족을 분석하기 위해 $m$-색수분리 가능성과 $m$-완결 하위그래프 기반의 구조적 분해 기법을 활용한다.
• 높은 연결성을 가진 하위그래프에서 $K_{a'}$-모델과 경로 연결 고리를 구성하기 위해 반복적 연결 정리(정리 3.11 및 정리 4.4)를 적용한다.
• 이중색화 가정 하에 균형 잡힌 구조를 활용하여 이분 그래프 확장에서 색수 가능성을 강제한다.
• 크기와 연결성을 통제하는 하위그래프 $J_i'$의 재귀적 구성 기법을 사용하며, $a' = (2/3)^{T+1}t$ 및 $b' = b + 2a'$를 통해 귀납적 상한을 유지한다.
• 정리 3.15를 적용하여 $C_{\text{rooted2}}t$-연결된 하위그래프 $H$와 충분히 큰 리스트 할당 $L'$를 추출하여, 비색수 가능성은 미포함 포함을 의미함을 보장한다.
• 리스트 색수 가능성이 실패할 경우 $K_t$-미포함 생성을 통해 최대성 추론과 모순을 이용한다.

실험 결과

연구 질문

• RQ1 완전 그래프 미포함 그래프에 대해 $O(t(\log t)^\beta)$-리스트색수 상계가 모든 $\beta > 0$에 대해, 특히 $\beta \to 0$일 때까지 확장될 수 있는가?
• RQ2 홀수 미포함 버전의 하드비거 추측은 모든 $\beta > 0$에 대해 유사한 $O(t(\log t)^\beta)$-색수 상계를 가질 수 있는가?
• RQ3 $O(t \cdot (\log \log t)^6)$-색수 상계가 동시에 리스트 및 홀수 색수 변형 모두에서 달성될 수 있는가?
• RQ4 비색수 가능성 가정 하에 $K_t$ 미포함을 생성할 수 있는 구조적 특성(예: $m$-완결 또는 균형 잡힌 하위그래프)이 존재하는가?
• RQ5 리스트 및 홀수 색수 설정에서 $O(t\sqrt{\log t})$ 상계를 $\beta > 1/4$ 의존 없이 $O(t \cdot (\log \log t)^6)$로 향상시킬 수 있는가?

주요 결과

• 완전 그래프를 포함하지 않는 모든 그래프는 $O(t \cdot (\log \log t)^6)$-리스트색수 가능하며, 이는 선형 하드비거 추측의 리스트 버전을 최적의 점근적 형태로 해결한다.
• 동일한 상한이 홀수 색수 버전에도 적용되며, 홀수 $K_t$ 미포함인 모든 그래프는 $O(t \cdot (\log \log t)^6)$-색수 가능하다.
• 이전의 $\beta > 1/4$ 조건이 있는 $O(t(\log t)^\beta)$ 상한을 모든 $\beta > 0$로 확장함으로써, 두 설정 모두에 대해 처음으로 $O(t \cdot (\log \log t)^6)$ 상한을 달성한다.
• 증명은 높은 연결성을 가진 하위그래프에서 $K_{a'}$-모델과 경로 연결 고리를 반복적으로 적용한 연결 정리 및 $m$-완결 구조를 사용하여 구성한다.
• 모든 리스트가 완전한 경우($L(v) = [k]$)에, 구성은 이분 그래프 형태의 $K_t$ 미포함을 유도하며, 이는 균형 잡힌 구조가 홀수 미포함 포함을 암시함을 확인한다.
• 핵심 기술적 혁신은 점차 줄어드는 매개변수 $a'$ 및 $b'$를 가진 재귀적 하위그래프 분해 기법으로, 비색수 가능성은 모순을 통해 $K_t$-미포함 존재를 암시한다.