[논문 리뷰] List Colouring Squares of Planar Graphs

Frédéric Havet, Jan van den Heuvel외 2명|arXiv (Cornell University)|2008. 07. 21.

Advanced Graph Theory Research참고 문헌 27인용 수 8

한 줄 요약

이 논문은 최대 차수 Δ가 무한으로 갈 때, 임의의 평면 그래프의 제곱에 대한 리스트 색수는 (3/2 + o(1))Δ 이하임을 증명하여 웨그너의 추측의 점점 수렴하는 형태를 확인한다. 증명은 문제를 선 그래프의 리스트 간선 색수 문제로 환원하고, 칸의 리스트 색수 지수에 대한 점점 수렴 결과를 적용하여, K₄-미니어러 자유 및 표면에 매장된 그래프를 포함한 더 넓은 그래프 계열로 그 범위를 확장한다.

ABSTRACT

In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr floor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ o+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs.

연구 동기 및 목표

• 평면 그래프의 제곱에 대한 리스트 색수에 점점 수렴하는 상한을 확립하여, 웨그너의 추측의 약화된 형태를 확인한다.
• 평면 그래프를 넘어서 K₄-미니어러 자유 및 고정된 표면에 매장된 그래프와 같은 더 넓은 그래프 계열로 그 경계를 확장한다.
• 특히 평면 그래프에 대해 그래프 제곱의 리스트 색수와 색수의 등식이 성립하는지 조사한다.
• 그래프 제곱에서 리스트 색수와 분수 색수 간의 관계를 탐구한다.
• 일반적인 그래프 계열에서 큰 Δ에 대해 χ(G²) ≤ (3/2)Δ + 1 이 점점 수렴하는지 여부를 규명한다.

제안 방법

• 그래프 제곱의 리스트 색수 문제를 그 선 그래프의 리스트 간선 색수 문제로 환원한다.
• 칸의 리스트 색수 지수와 분수 색수 지수의 점점 수렴 등가성에 관한 정리를 적용한다.
• 평면 및 K₄-미니어러 자유 그래프의 구조적 성질을 활용하여 G²에서 클리크 수와 색수를 제한한다.
• 분포 방법과 극한 그래프 구성 기법을 사용하여 최대 차수와 국소 밀도를 분석한다.
• 표면에 매장된 그래프와 직경 두 개 제약 조건의 결과를 적용하여 경계를 일반화한다.
• L(2,1)-라벨링 및 간선 색수에 관한 기존 결과를 활용하여 G²의 정점 색수에 대한 경계를 유도한다.

실험 결과

연구 질문

• RQ1 Δ → ∞ 일 때, 평면 그래프의 제곱에 대한 리스트 색수가 (3/2 + o(1))Δ 이하로 점점 수렴하는가?
• RQ2 큰 Δ에 대해 평면 그래프의 제곱에 대한 웨그너의 추측이 리스트 색수로 확장될 수 있는가?
• RQ3 모든 평면 그래프에 대해 ch(G²) = χ(G²) 이 성립하는가, 아니면 이 클래스 내에서 반례가 존재하는가?
• RQ4 고정된 표면 S에 매장된 그래프에 대해, 어떤 상수 c_S에 대해 ω(G²) ≤ (3/2)Δ + c_S 가 성립하는가?
• RQ5 '좋은' 가족 F에 속한 그래프에 대해 ch(G²) = (1 + o(1))χ_f(G²) 가 참인가?

주요 결과

• 최대 차수 Δ를 가진 임의의 평면 그래프의 제곱에 대한 리스트 색수는 Δ → ∞ 일 때 최대 (3/2 + o(1))Δ 이다.
• 이 경계는 K₄-미니어러 자유 그래프와 고정된 표면 S에 매장된 그래프로 확장되며, 어떤 상수 c_S에 대해 ω(G²) ≤ (3/2)Δ + c_S 를 만족한다.
• 큰 Δ를 가진 평면 그래프의 제곱에 대한 클리크 수 ω(G²)는 최대 (3/2)Δ + 1 이며, 그림 1의 극한 예시와 일치한다.
• 이 결과는 ch(G²) = χ(G²) 가 모든 평면 그래프에 대해 성립할 가능성에 대한 근거를 제공하지만, 여전히 미해결 상태이다.
• 증명 기법은 문제를 칸의 결과로 환원하여, '좋은' 가족에 속한 그래프에 대해 ch(G²) ≤ (1 + o(1))χ_f(G²) 를 보여준다.
• 기존의 극한 구성에 의해 알려진 바와 같이, 점점 수렴 경계 (3/2 + o(1))Δ 가 날카로울 수 있음을 제시한다.