[논문 리뷰] Colouring of generalized signed planar graphs

Ligang Jin, Tsai–Lien Wong외 1명|arXiv (Cornell University)|2018. 11. 21.

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

한 줄 요약

이 논문은 항등치치환을 포함하는 임의의 부분집합 $ S \subseteq S_4 $에 대해, 모든 평면 그래프가 $ S $-4-색칠 가능성이 성립하는 것은 $ S = \{\text{id}\} $일 때에만 성립함을 증명한다. 다른 모든 이러한 부분집합—예를 들어 호환, 3-순환, 또는 4-순환을 포함하는 경우—는 좋지 않음을 입증하기 위해, 삼각분할의 유일한 4-색칠 성질을 이용하여 구체적인 비4-색칠 가능한 평면 그래프를 구성한다.

ABSTRACT

Assume $G$ is a graph. We view $G$ as a symmetric digraph, in which each edge $uv$ of $G$ is replaced by a pair of opposite arcs $e=(u,v)$ and $e^{-1}=(v,u)$. Assume $S$ is an inverse closed subset of permutations of positive integers. We say $G$ is $S$-$k$-colourable if for any mapping $σ: E(G) o S$ with $σ(x,y) = (σ(y,x))^{-1}$, there is a mapping $f: V(G) o [k]=\{1,2, \ldots, k\}$ such that for each arc $e=(x,y)$, $σ_e(f(x)) e f(y)$. The concept of $S$-$k$-colouring is a common generalization of many colouring concepts, including $k$-colouring, signed $k$-colouring defined by Máčajová, Raspaud and Škoviera, signed $k$-colouring defined by Kang and Steffen, correspondence $k$-colouring defined by Dvořák and Postle, and group colouring defined by Jaeger, Linial, Payan and Tarsi. We are interested in the problem as for which subset $S$ of $S_4$, every planar graph is $S$-colourable. Such a subset $S$ is called good. The famous four colour theorem is equivalent to say that $S=\{id\}$ is good. There are two conjectures on signed graph colouring, one is equivalent to $S=\{id, (12)(34)\}$ be good and the other is equivalent to $S=\{id, (12)\}$ be good. We say two subsets $S$ and $S'$ of $S_k$ are conjugate if there is a permutation $π\in S_k$ such that $S'= \{πσπ^{-1}: σ\in S\}$. This paper proves that if $S$ is a good subset of $S_4$ containing $id$, then $S$ is conjugate to a subset of $\{id, (12), (34), (12)(34)\}$. However, it remains an open problem if there is any good subset $S$ which contains $id$ and has cardinality $|S| \ge 2$. We also prove that $S=\{(12),(13),(23),(123),(132)\}$ is not good.

연구 동기 및 목표

• 항등치환을 포함하는 부분집합 $ S \subseteq S_4 $에 대해, 모든 평면 그래프가 $ S $-4-색칠 가능해지는 경우를 규명하는 것.
• 모든 평면 그래프에 대해 4-색칠 가능성을 보장하는 유일한 부분집합이 $ S = \{\text{id}\} 임을 증명하는 추측을 해결하는 것.
• 서명된 색칠, DP-색칠, 군 색칠, 그리고 얻어진 그래프 색칠 등의 다양한 그래프 색칠 개념을 $ S $-라벨링 그래프의 프레임워크 아래 일반화하고 통합하는 것.
• 구조적 그래프 이론을 이용하여 반례를 구성함으로써, 평면 그래프의 서명된 색칠 및 $ Z_4 $-색칠에 대한 보다 광범위한 추측들을 반박하는 것.

제안 방법

• 24개의 면을 가진 유일하게 4-색칠 가능한 평면 삼각분할 $ G' $를 구성하고, 각 면 $ F \in \mathcal{F} $는 고유한 4-색칠 $ \phi_F $와 연관지운다.
• 각 면 $ F \in \mathcal{F} $에 대해, 정점 $ a_F, b_F, c_F $를 가진 삼각형 $ T_F $를 추가하고, $ F $의 정점들과 색상 1, 2, 3에 대응하는 색상으로 연결한다.
• 유도된 그래프 $ G $에 대해 방향성 $ D $를 정의하고, 간선 유형에 따라 아크에 $ \sigma_e \in S $를 할당한다: 항등치환 또는 비자명한 치환(예: (123), (1234)).
• 그래프 $ G' $의 유일한 4-색칠을 이용해 $ T_F $의 색칠에 제약 조건을 유도하고, 항등치환이 아닌 치환에서는 모순가능성을 입증한다.
• 지향된 간선에서의 치환 제약 조건 $ \sigma_e(f(x)) \neq f(y) $를 적용하여, $ S \neq \{\text{id}\} $일 경우 유효한 $ S $-색칠이 존재하지 않음을 보인다.
• 각 면 $ F \in \mathcal{F} $가 고유한 색칠 $ \phi_F $를 가지며, $ \phi_F(V(F)) = \{1,2,3\} $임을 이용해 색칠 할당이 일관되게 전파됨을 보장한다.

실험 결과

연구 질문

• RQ1 항등치환을 포함하는 부분집합 $ S \subseteq S_4 $ 중에서 모든 평면 그래프가 $ S $-4-색칠 가능해지는 경우는 무엇인가?
• RQ2 일반화된 $ S $-라벨링 프레임워크 하에서, $ S = \{\text{id}\} $일 때에만 모든 평면 그래프가 4-색칠 가능성이 보장되는가? 이는 4-색칠 정리의 유일한 경우인가?
• RQ3 모든 평면 그래프가 서명된 4-색칠 가능하거나 $ Z_4 $-색칠 가능하다는 추측을 더 일반적인 치환 라벨링으로 확장할 수 있는가?
• RQ4 부분집합 $ S \subseteq S_4 $에 비자명한 치환(항등치환 이외의 치환)이 포함되어 있을 경우, 항상 비4-색칠 가능한 평면 그래프가 발생하는가?
• RQ5 유일하게 4-색칠 가능한 삼각분할의 어떤 구조적 성질을 활용하여, 비자명한 $ S $-라벨링에 대한 반례를 구성할 수 있는가?

주요 결과

• 항등치환을 포함하는 부분집합 $ S \subseteq S_4 $ 중에서 모든 평면 그래프가 $ S $-4-색칠 가능성이 보장되는 유일한 경우는 $ S = \{\text{id}\} 이다.
• $ S = \{\text{id}, (123)\} $에 대해 비4-색칠 가능한 평면 그래프를 명시적으로 구성하여 $ S $가 좋지 않음을 입증한다.
• $ S = \{\text{id}, (1234)\} $에 대해 비4-색칠 가능한 평면 그래프를 구성하여 $ S $가 좋지 않음을 보인다.
• 이전에 Narboni와 Tarkos, Zhu에 의해 보여진 바와 같이, $ S = \{\text{id}, (12)(34)\} $ 및 $ S = \{\text{id}, (12)\} $도 좋지 않음을 일반화하고 강화한다.
• 이 구성은 24개의 면을 가진 유일하게 4-색칠 가능한 삼각분할 $ G' $에 기반하며, 각 면이 고유한 4-색칠과 연결되어 있어 색칠 전파를 정밀하게 제어할 수 있다.
• 증명 기법은 $ S $에 비자명한 치환(항등치환 이외의 치환)이 포함되어 있을 경우, 방향성과 라벨링 선택에 관계없이, 부분으로 나누어진 삼각형 $ T_F $에서 색칠 할당에 모순이 발생함을 보여준다.