[論文レビュー] On Sylvester Colorings of Cubic Graphs

Anush Hakobyan, Vahan Mkrtchyan|arXiv (Cornell University)|Nov 8, 2015

Advanced Graph Theory Research参考文献 12被引用数 3

ひとこと要約

本稿は立方体擬グラフにおけるシルベスター彩色予想を証明し、2つの主要な結果を確立する：(1) 任意の立方体グラフは、少なくとも4/5の頂点がシルベスター条件を満たすS-彩色を許容する。 (2) 任意のクラウフリーフリー立方体グラフはフルS-彩色を許容する。これらの結果は立方体グラフにおける辺彩色の理解を前進させ、10頂点のシルベスター・グラフSがすべての立方体グラフの普遍的彩色器であるという広範な予想を支持する。

ABSTRACT

If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger states that for any bridgeless cubic graph $G$, one has: $P\prec G$. The second author has recently introduced the Sylvester coloring conjecture, which states that for any cubic graph $G$ one has: $S\prec G$. Here $S$ is the Sylvester graph on $10$ vertices. In this paper, we prove the analogue of Sylvester coloring conjecture for cubic pseudo-graphs. Moreover, we show that if $G$ is any connected simple cubic graph $G$ with $G\prec P$, then $G = P$. This implies that the Petersen graph does not admit an $S_{16}$-coloring, where $S_{16}$ is the smallest connected simple cubic graph without a perfect matching. $S_{16}$ has $16$ vertices. %We conjecture that there are infinitely many connected cubic simple graphs which do not admit an %$S_{16}$-coloring. Finally, we obtain $2$ results towards the Sylvester coloring conjecture. The first result states that any cubic graph $G$ has a coloring with edges of Sylvester graph $S$ such that at least $\frac45$ of vertices of $G$ meet the conditions of Sylvester coloring conjecture. The second result states that any claw-free cubic graph graph admits an $S$-coloring. This results is an application of our result on cubic pseudo-graphs.

研究の動機と目的

• 立方体擬グラフにおけるシルベスター彩色予想を証明すること。
• 一般の立方体グラフにおけるS-彩色の4/5頂点満足度の上限を確立すること。
• すべてのクラウフリーフリー立方体グラフがフルS-彩色を許容することを証明すること。
• P ≺ G を満たす連結単純立方体グラフGの中で、ペテルセン・グラフPが唯一のものであることを示すこと。
• 完全マッチングをもたない16頂点の立方体グラフS₁₆がS-彩色を許容しないこと

提案手法

• 各頂点x ∈ V(G)に対して、fによる接続辺がHのある頂点の辺集合に一致するような辺彩色写像f: E(G) → E(H)の使用。
• 部分グラフおよび擬グラフにおける制限と拡張技術を用いたS-彩色の構成。
• グラフ間の鎖彩色にわたる≺関係の推移的性質の応用。
• 構造的分解の使用：頂点を三角形に置き換えることで、HとGを擬グラフを介して関連付ける。
• クラウフリーフリーなグラフに対する|V(G)|に関する帰納法。これには、このようなグラフの既知の特徴付けを活用。
• S₁₂がS₄から頂点-三角形置換によって得られることを活用し、擬グラフのS₄-彩色性を用いてS₁₂へ、さらにSへと拡張する。

実験結果

リサーチクエスチョン

• RQ1 シルベスター彩色予想が主張するように、任意の立方体擬グラフはS-彩色を許容するか？
• RQ2 任意の立方体グラフにおいて、少なくとも4/5の頂点がシルベスター条件を満たすような彩色を構築できるか？
• RQ3 任意のクラウフリーフリー立方体グラフはフルS-彩色を許容するか？
• RQ4 ペテルセン・グラフPは、P ≺ G を満たす連結単純立方体グラフGの中で唯一のものか？
• RQ5 完全マッチングをもたない16頂点の立方体グラフS₁₆はS-彩色を許容するか？

主な発見

• シルベスター彩色予想はすべての立方体擬グラフに対して成立する。
• 任意の立方体グラフGに対して、少なくとも4/5の頂点がシルベスター条件を満たすS-彩色が存在する。すなわち、|V(f)| ≥ (4/5)|V(G)| が成り立つ。
• 任意のクラウフリーフリー立方体グラフはフルS-彩色を許容する。すなわち、S ≺ G が成り立つ。
• ペテルセン・グラフPは、P ≺ G を満たす唯一の連結単純立方体グラフである。
• 完全マッチングをもたない16頂点の立方体グラフS₁₆はS-彩色を許容しない。これは完全マッチングが存在せず、S-彩色不能であるためである。