[논문 리뷰] A new upper bound on the chromatic number of graphs with no odd $K_t$ minor

Sergey Norin, Zi‐Xia Song|arXiv (Cornell University)|2019. 12. 16.

Limits and Structures in Graph Theory참고 문헌 9인용 수 8

한 줄 요약

이 논문은 기존의 $O(t\sqrt{\log t})$ 상한에 비해 향상된 $O(t(\log t)^\beta)$-색칠 가능성을 보여주며, 기껏해야 $K_t$의 홀수 $K_t$-소 minor이 없는 그래프의 색수에 대한 새로운 상한을 확립한다. 이 결과는 구조적 분해와 연결 기법을 활용한 약한 연결 그래프에서의 최근 발전을 확장한다.

ABSTRACT

Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. This is a strengthening of the famous Hadwiger's Conjecture. Geelen et al. proved that every graph with no odd $K_t$ minor is $O(t\sqrt{\log t})$-colorable. Using the methods the present authors and Postle recently developed for coloring graphs with no $K_t$ minor, we make the first improvement on this bound by showing that every graph with no odd $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$.

연구 동기 및 목표

• 홀수 $K_t$-소 minor이 없는 그래프의 색수에 대한 상한을 향상시키며, 이는 홀수 하드비거 추측의 核심 요소이다.
• 최근 $K_t$-소 minor이 없는 그래프에 대한 진전을 홀수 소 minor 설정으로 확장하여, 여기서는 더 엄격한 구조 제약이 존재한다.
• 모든 $\beta > \frac{1}{4}$ 에 대해 $O(t(\log t)^\beta)$ 형태의 거의 다항식 상한을 확립함으로써, 추측된 $(t-1)$-색칠 가능성에 가까이 다가서기 위해.
• 홀수 $K_t$-소 minor이 없는 그래프에서의 구조적 복잡성을 다루기 위해 약한 연결성과 루트 연결성의 새로운 개념을 개발하고 적용하기 위해.

제안 방법

• 홀수 $K_t$-소 minor이 없는 그래프에서의 구조적 분해를 제어하기 위해 새로운 연결성 개념인 약한 $l$-연결성을 도입한다.
• 높은 약한 연결성과 높은 색수를 갖는 부분그래프를 찾는 데 기반한 재귀적 색칠 전략을 사용한다.
• 멘거의 정리와 연결 정리를 적용하여 정점을 분리한 경로를 구성하고, 부분그래프 내의 $K_{2x}$-확장을 통해 경로를 재정렬한다.
• 특정 정점에 루트를 둔 트리와 재정렬된 연결성을 조합하여 그래프 내에 이분 $K_{xy}$-확장을 구성한다.
• 중앙 부분그래프에서의 짝수-맞춤 집합과 $8k$-연결성을 활용하여 큰 완전 이분 소 minor을 통합한다.
• 모든 구성 요소를 하나의 이분 부분그래프로 통합하여 $K_{xy}$-확장을 지원함으로써 높은 색수를 유도한다.

실험 결과

연구 질문

• RQ1 기존의 Geelen 등이 확립한 $O(t\sqrt{\log t})$ 이하의 상한 이하로 홀수 $K_t$-소 minor이 없는 그래프의 색수를 유 bounds할 수 있는가?
• RQ2 최근 $K_t$-소 minor이 없는 그래프에 대해 개발된 기법들이 홀수 소 minor 설정으로 얼마나 잘 적응될 수 있는가?
• RQ3 홀수 소 minor의 경우, $\beta > 1/4$ 에 대해 $O(t(\log t)^\beta)$ 형태의 상한을 달성할 수 있는가? 이는 $K_t$-소 minor이 없는 그래프의 최고 알려진 상한과 일치한다.
• RQ4 약한 연결성과 루트 연결성은 홀수 $K_t$-소 minor이 없는 그래프에서 큰 이분 소 minor을 어떻게 구성하는 데 사용될 수 있는가?

주요 결과

• 홀수 $K_t$-소 minor이 없는 임의의 그래프의 색수는 모든 $\beta > \frac{1}{4}$ 에 대해 $O(t(\log t)^\beta)$ 이하로 유 bounds되며, 이는 이전의 $O(t\sqrt{\log t})$ 상한을 향상시킨다.
• 이 결과는 홀수 하드비거 추측으로 향한 중요한 단계를 확인한다. 이 추측은 이러한 그래프가 $(t-1)$-색칠 가능하다고 주장한다.
• 이 증명은 홀수 $K_t$-소 minor이 없는 그래프에서의 구조적 분해를 가능하게 하는 새로운 약한 연결성 개념을 도입한다.
• 핵심적인 기술적 혁신은 중심 부분그래프에서 재정렬된 연결성과 짝수-맞춤 집합을 활용해 이분 $K_{xy}$-확장을 구성하는 것이다.
• 이 방법은 최근 $K_t$-소 minor이 없는 그래프 색칠에 대한 진전을 더 복잡한 홀수 소 minor 설정으로 성공적으로 확장한다.
• $\beta > 1/4$ 에 대해 $O(t(\log t)^\beta)$ 상한은 $K_t$-소 minor이 없는 그래프에 대해 알려진 최고의 상한과 일치하며, 현재 접근 방식의 날카로움을 시사한다.