[논문 리뷰] Coloring graphs with forbidden bipartite subgraphs

James Anderson, Anton Bernshteyn외 1명|arXiv (Cornell University)|2021. 07. 12.

Limits and Structures in Graph Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 임의의 이분 그래프 $F$에 대해, 최대 차수 $\Delta$를 가진 $F$-free 그래프 $G$의 색수 $\chi(G)$가 $(1+o(1))\Delta/\log\Delta$ 이하임을 증명한다. 이는 이전 결과들과 달리 $F$의 구조에 의존하지 않는 결과이며, DP-색칠이론로까지 확장되어 금지된 이분 부분그래프에 관계없이 일관된 상수 인자로 유지된다.

ABSTRACT

A conjecture of Alon, Krivelevich, and Sudakov states that, for any graph $F$, there is a constant $c_F > 0$ such that if $G$ is an $F$-free graph of maximum degree $Δ$, then $χ(G) \leq c_F Δ/ \logΔ$. Alon, Krivelevich, and Sudakov verified this conjecture for a class of graphs $F$ that includes all bipartite graphs. Moreover, it follows from recent work by Davies, Kang, Pirot, and Sereni that if $G$ is $K_{t,t}$-free, then $χ(G) \leq (t + o(1)) Δ/ \logΔ$ as $Δ o \infty$. We improve this bound to $(1+o(1)) Δ/\log Δ$, making the constant factor independent of $t$. We further extend our result to the DP-coloring setting (also known as correspondence coloring), introduced by Dvořák and Postle.

연구 동기 및 목표

• 최대 차수 $\Delta$를 가진 $F$-free 그래프의 색수에 대한 Alon, Krivelevich, Sudakov의 추측을 해결하기 위해.
• 이분 그래프 $F$에 대한 알려진 상한과 추측된 최적 상한 $c_F \Delta / \log \Delta$ 사이의 격차를 메우기 위해.
• 상수 인자에 대한 $F$에 대한 의존성을 통합하여, 이 인자가 $1+o(1)$로 줄어들 수 있음을 보여주기 위해.
• 일반적인 DP-색칠(대응 색칠) 프레임워크로 결과를 확장하기 위해, 이는 리스트 색칠을 일반화한다.

제안 방법

• 반복적인 색상 감소를 통한 확률적 색칠 절차를 사용하며, 가용 색상의 생존을 분기 과정으로 모델링한다.
• 엔트로피 방법과 확률적 분석의 수정된 버전을 적용하여, 각 정점당 평균 가용 색상 수를 상한으로 제시한다.
• 모든 간선에 대해 고유한 매칭으로 정점 간 색상 매칭을 정의하는 DP-커버 형식을 도입하여 대응 색칠을 모델링한다.
• 가용 색상과 미칠색 정점의 집합인 $\ell_i$와 $d_i$의 순차적 집합을 도입하여 반복 단계 동안의 변화를 추적한다.
• 집중도 추정과 지수 감쇠 추정을 사용하여, 가용 색상 수가 미칠색 정점 수보다 더 빠르게 증가함을 보인다.
• 핵심 보조정리를 적용하여, 어떤 단계 $i^\star$에서 가용 색상 수가 미칠색 정점 수의 여덟 배를 초과함을 보여, 색칠을 완료할 수 있음을 입증한다.

실험 결과

연구 질문

• RQ1 F-free 그래프의 색수 상한에 포함된 상수 인자를 금지된 이분 그래프 $F$에 독립적으로 만들 수 있는가?
• RQ2 모든 이분 그래프 $F$에 대해 추측된 상한 $\chi(G) \leq (1+o(1))\Delta / \log \Delta$가 성립하는가, 특히 큰 $t$에 대해 $F = K_{t,t}$일 경우에도 성립하는가?
• RQ3 결과를 일반 색칠을 초월하여 더 일반적인 DP-색칠 모델로 확장할 수 있는가?
• RQ4 큰 최대 차수를 가진 $F$-free 그래프의 점근적 색수 상한에서 달성 가능한 최소 상수 인자는 무엇인가?
• RQ5 특히 무작위 정규 그래프 또는 고순환 길이 그래프의 맥락에서, $\chi(G) \leq (1+o(1))\Delta / \log \Delta$ 상한이 날카로운가?

주요 결과

• 모든 이분 그래프 $F$에 대해, 최대 차수 $\Delta$를 가진 $F$-free 그래프 $G$는 충분히 큰 $\Delta$에 대해 $\chi(G) \leq (1+\varepsilon)\Delta / \log \Delta$를 만족하며, 상수 인자는 $F$에 독립적이다.
• 상한 $\chi(G) \leq (1+o(1))\Delta / \log \Delta$는 점근적으로 최적으로 간주되며, 무작위 $\Delta$-정규 그래프에서 유도된 하한과 최대 2배 이내로 일치한다.
• 결과는 DP-색칠로까지 확장된다: 모든 $F$-free 그래프는 최대 $(1+o(1))\Delta / \log \Delta$개의 색상을 사용해 DP-색칠이 가능하다.
• 증명은 반복 색칠 단계 동안 가용 색상 수가 충분히 빠르게 증가함을 입증하며, 어떤 단계 $i^\star$에서 $\ell_{i^\star} \geq 8d_{i^\star}$임을 보여 색칠을 완료할 수 있음을 보여준다.
• 분석 결과, 색상의 생존 확률은 지수적으로 감소하지만, 初기 색상 수가 충분히 많아 감쇠를 상쇄하고 가용 색상 수의 초선형 증가를 유지함을 보여준다.
• 최종 상한은 랜덤 그래프의 분쇄 임계값과 $\Delta$-정규 트리에서 i.i.d. 독립집합의 임계값과 일치하며, 이는 향후 개선이 매우 어렵다는 것을 시사한다.