[論文レビュー] Colouring of generalized signed planar graphs

Ligang Jin, Tsai–Lien Wong+1 more|arXiv (Cornell University)|Nov 21, 2018

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彩色 $ \phi_F $ を持つ、一意に4彩色可能な平面三角形分割 $ G' $ を構成する。
• 各面 $ 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彩色可能性を保証するのは四色定理の唯一のケースであるか？
• RQ3 すべての平面的グラフが符号付き4彩色可能または $ Z_4 $-彩色可能であるという予想を、より一般化された置換ラベル付きに拡張できるか？
• RQ4 部分集合 $ S \subseteq S_4 $ に非恒等置換が含まれる場合、常に $ S $-ラベル付きモデル下で非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 $ が「良い」でないことを示した。
• 従来の反例を一般化し強化した：$ S = \{\text{id}, (12)(34)\} $ および $ S = \{\text{id}, (12)\} $ に対しても、NarboniとTarkos、Zhuによって示されたように「良い」でないことが再確認された。
• 本構成は、24個の面を持ち、各面が一意な4彩色に結びつく一意に4彩色可能な三角形分割 $ G' $ に依存しており、彩色の伝搬を精密に制御可能である。
• 証明手法により、$ S $ に非恒等置換が含まれる場合、向きやラベルの選択にかかわらず、分割された三角形 $ T_F $ 上での彩色割り当てに矛盾が生じることを示した。