[논문 리뷰] The Alon-Tarsi number of a planar graph minus a matching

Jarosław Grytczuk, Xuding Zhu|arXiv (Cornell University)|2018. 11. 29.

Graph Labeling and Dimension Problems참고 문헌 15인용 수 9

한 줄 요약

이 논문은 모든 평면 그래프 $G$가 $G - M$의 Alon-Tarsi 수가 4 이하가 되는 매칭 $M$을 포함함을 증명한다. 이는 $G - M$이 4-페인팅 가능하고, $G$가 1-결함 있는 4-페인팅 가능하다는 것을 의미한다. 이 결과는 이전의 결함 있는 리스트 색칠 이론을 강화하며, Alon-Tarsi 프레임워크 내에서 다항식 방법과 단항식의 영이 아닌 조건을 활용한 구조적 접근을 제공한다.

ABSTRACT

This paper proves that every planar graph $G$ contains a matching $M$ such that the Alon-Tarsi number of $G-M$ is at most $4$. As a consequence, $G-M$ is $4$-paintable, and hence $G$ itself is $1$-defective $4$-paintable. This improves a result of Cushing and Kierstead [Planar Graphs are 1-relaxed, 4-choosable, {\em European Journal of Combinatorics} 31(2010),1385-1397], who proved that every planar graph is $1$-defective $4$-choosable.

연구 동기 및 목표

• 모든 평면 그래프 $G$가 $G - M$이 4-선택 가능성이 되는 매칭 $M$을 가지는지 결정하는 것. 이는 결함 있는 리스트 색칠의 더 강력한 변형을 다루는 것이다.
• 매칭을 제거한 후 평면 그래프의 Alon-Tarsi 수를 조사하여, 이러한 그래프가 4-선택 가능성이 되기까지 얼마나 가까운지를 측정하는 것.
• 결함 있는 리스트 색칠 및 온라인 리스트 색칠(페인팅 게임)에 대한 결과를, 결함 있는 간선이 매칭을 통해 사전에 지정된 설정으로 확장하는 것.
• 그래프 $G - M$의 Alon-Tarsi 수가 4 이하임을 증명함으로써, $G - M$이 4-페인팅 가능하고 $G$가 1-결함 있는 4-페인팅 가능하다는 것을 의미하는 것.
• 이러한 결과를 서명된 평면 그래프로 일반화하여, 어떤 매칭 $M$에 대해 $AT(G - M, \sigma) \leq 4$임을 보이는 것.

제안 방법

• 정점 함수 $f$에 대해 $\eta(v) < f(v)$인 도수 할당 $\eta$에 초점을 맞추어, 단항식의 영이 아닌 조건을 분석하기 위해 Alon-Tarsi 다항식 $P_G(\mathbf{x})$를 사용한다.
• 특히 $P_{G-e-M}(\mathbf{x})$와 그 계수를 분석함으로써, 간선 제거 및 매칭 강화 기반의 그래프 다항식에 대한 재귀적 분해를 적용한다.
• 서명된 그래프에 대한 Alon-Tarsi 다항식의 일반화인 $P_{G,\sigma}(\mathbf{x}) = \prod_{u\sim v, u<v} (x_v - \sigma(uv)x_u)$를 사용하여 결과를 서명된 평면 그래프로 확장한다.
• 정점 차수와 단항식 계수에 대한 케이스 분석을 수행하며, 귀납법과 계수 이전을 통해 특정 조건 하에서 $c_{G-e-M, \eta} \neq 0$임을 보인다.
• 함수 $f$에 대한 Alon-Tarsi 조건을 적용한다: 그래프가 $f$-AT이면 모든 $v$에 대해 $\eta(v) < f(v)$인 영이 아닌 단항식 $\mathbf{x}^\eta$가 존재하며, 이는 $f$-페인팅 가능성을 의미한다.
• 증명을 수정하여 정점별 리스트 크기를 허용한다: $p$개의 정점에 대해 $f(v) = 5$, 나머지 정점에 대해 $f(v) = 4$로 설정함으로써 $f$-페인팅 가능성과 $f$-선택 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 모든 평면 그래프 $G$에 대해 $G - M$의 Alon-Tarsi 수가 4 이하가 되는 매칭 $M$이 존재하는가?
• RQ2 평면 그래프의 1-결함 있는 4-선택 가능성은 매칭 제거를 통해 결함 있는 간선이 사전에 지정된 형태로 강화될 수 있는가?
• RQ3 매칭을 제거한 후 평면 그래프의 Alon-Tarsi 수가 4 이하로 유계이며, 이는 $G - M$의 4-페인팅 가능성으로 이어지는가?
• RQ4 평면 그래프에 대한 이러한 결과는 서명된 평면 그래프로 확장될 수 있는가? 즉, 어떤 매칭 $M$에 대해 $AT(G - M, \sigma) \leq 4$인지 여부.
• RQ5 정점 집합 $X$가 존재하여 $|X| < |V(G)|/2$이며, $X$에 속한 정점에 5개의 색을 할당하고 나머지 정점에 4개의 색을 할당하면 $L$-색칠 가능성이 보장되는가?

주요 결과

• 모든 평면 그래프 $G$는 $G - M$의 Alon-Tarsi 수가 4 이하가 되는 매칭 $M$을 포함한다. 이는 $G - M$이 4-페인팅 가능하다는 것을 의미한다.
• 결과적으로 $G$는 1-결함 있는 4-페인팅 가능하다. 이는 Cushing와 Kierstead의 1-결함 있는 4-선택 가능성 결과를 향상시킨다.
• 정점 $p$개에 대해 $f(v) = 5$, 나머지 정점에 대해 $f(v) = 4$인 함수 $f$에 대해 그래프 $G$는 $f$-Alon-Tarsi이다. 이는 $f$-페인팅 가능성과 $f$-선택 가능성을 보장한다.
• 정점 수의 절반 미만인 정점 집합 $X$가 존재하여, $X$에 속한 정점에 5개의 색을, 나머지 정점에 4개의 색을 할당하면 $G$의 $L$-색칠 가능성이 보장된다. 이는 5-선택 가능성의 강화이다.
• 결과는 서명된 평면 그래프로 확장된다. 어떤 매칭 $M$에 대해 $AT(G - M, \sigma) \leq 4$이므로 $(G - M, \sigma)$는 4-선택 가능하고, $G$는 1-결함 있는 4-선택 가능하다.
• 단항식의 영이 아닌 조건을 통한 다항식 증명 기법은 이러한 매칭과 색칠 할당을 식별하는 데 구조적 방법을 제공한다.