[논문 리뷰] Choosability of the square of a planar graph with maximum degree four

Daniel W. Cranston, Rok Erman외 1명|arXiv (Cornell University)|2013. 03. 21.

Advanced Graph Theory Research참고 문헌 12인용 수 11

한 줄 요약

이 논문은 최대 차수 4인 평면 그래프의 제곱에 대한 리스트 색수(선택 가능성)의 새로운 상계를 제시한다. 이는 최대 평균 차수와 둘레를 기반으로 한 분배 방법을 사용하며, $ G^2 $ 는 $ G $ 의 둘레에 따라 5-, 6-, 7-, 8-, 12-, 또는 14-선택 가능하다. 더 높은 둘레일수록 더 날카운 상계를 제공하며, 분배 증명의 강도를 높이기 위해 2-정점과 3-정점을 포함하는 새로운 감소 가능한 구성요소를 도입한다.

ABSTRACT

We study squares of planar graphs with the aim to determine their list chromatic number. We present new upper bounds for the square of a planar graph with maximum degree $Δ\leq 4$. In particular $G^2$ is 5-, 6-, 7-, 8-, 12-, 14-choosable if the girth of $G$ is at least 16, 11, 9, 7, 5, 3 respectively. In fact we prove more general results, in terms of maximum average degree, that imply the results above.

연구 동기 및 목표

• 최대 차수가 4 이하인 평면 그래프의 제곱에 대한 리스트 색수의 날카운 상계를 결정하는 것.
• 기존의 그래프 제곱의 색수 및 선택 가능성 결과를 $ \Delta = 4 $ 인 경우에 대해 리스트 색수 설정으로 확장하는 것. 이 경우 이전에 관련 연구 결과가 없었다.
• 최소 반례에만 2-정점과 3-정점으로 구성된 새로운 감소 가능한 구성요소를 개발하여 더 강력한 분배 증명을 가능하게 하는 것.
• 선택 가능성 상계를 둘레와 최대 평균 차수(mad)와 같은 구조적 그래프 파라미터와 연관지켜 평면 그래프 결과를 일반화하는 것.

제안 방법

• 정점의 차수와 면의 길이를 기반으로 한 초기 전하 함수를 사용하고, 이후 분배 규칙을 적용하여 최소 반례에서 모순을 이끌어내는 분배 방법을 사용한다.
• 감소 가능한 구성요소가 임의로 큰 크기를 가질 수 있도록 전역 분배를 적용하며, $ \Delta = 4 $ 인 경우에도 2-정점과 3-정점을 중심으로 하는 이는 이 맥락에서 새로운 접근 방식이다.
• 지역적 구조, 예를 들어 면의 유형과 이웃 정점의 차수를 기반으로 4-정점에서 인접한 2-정점과 3-정점으로 전하를 할당하는 분배 규칙을 적용한다.
• 오일러의 공식과 함께, 둘레 $ g $ 를 가진 평면 그래프는 $ \operatorname{mad}(G) < 2 + \frac{4}{g-2} $ 를 만족함을 이용하여 둘레와 최대 평균 차수를 연결한다.
• k-감소 가능성 개념을 활용: 특정 구성요소가 최소 반례에 나타나지 않는다면, 그래프는 선택 가능성 상계를 만족해야 한다.
• 예를 들어 2-정점이 3-정점과 인접해 있거나, 두 개의 인접한 2-정점과 연결된 4-정점과 같은 특정 구성요소의 12-감소 가능성과 14-감소 가능성은 구조적 분석과 분배 규칙을 통해 검증된다.

실험 결과

연구 질문

• RQ1 최대 차수가 4이고 주어진 둘레를 가진 평면 그래프의 제곱에 대한 리스트 색수는 무엇인가?
• RQ2 2-정점과 3-정점만을 포함하는 새로운 감소 가능한 구성요소를 가진 분배 방법이 $ \Delta = 4 $ 인 경우에 대해 향상된 선택 가능성 상계를 도출할 수 있는가?
• RQ3 최대 차수 $ \leq 4 $ 인 그래프의 제곱에 대한 선택 가능성은 최대 평균 차수(mad)와 어떻게 관련되는가?
• RQ4 선택 가능성 상계는 최대 차수 외에 둘레와 mad를 기반으로 얼마나 잘 bounds할 수 있는가?
• RQ5 Kostochka-Woodall 추측인 $ \chi_l(G^2) = \chi(G^2) $ 는 최대 차수 $ \Delta = 4 $ 인 평면 그래프에 대해 성립하는가?

주요 결과

• 최대 차수가 4 이하이고 둔지가 16 이상인 평면 그래프의 제곱은 5-선택 가능하다.
• 둘레가 11 이상이면 6-선택 가능하며, 둔지가 9 이상이면 7-선택 가능하다.
• 둘레가 7 이상이면 8-선택 가능하고, 둔지가 5 이상이면 12-선택 가능하다.
• 둘레가 3 이상(즉, 제한 없음)이면 14-선택 가능하다.
• 결과는 최대 평균 차수를 통해 일반화된다: $ \operatorname{mad}(G) < 10/3 $ 이면 12-선택 가능하며, $ \operatorname{mad}(G) < 14/5 $ 이면 14-선택 가능하다.
• 이 논문은 2-정점과 3-정점을 포함하는 새로운 12-감소 가능하고 14-감소 가능한 구성요소를 도입하고 검증하여 이전 방법보다 더 강력한 분배 증명을 가능하게 하였다.