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

Pascal Ochem, Alexandre Pinlou+1 more|arXiv (Cornell University)|Jan 14, 2014

Advanced Graph Theory Research参考文献 2被引用数 9

ひとこと要約

本稿は、符号付き平面グラフにおける符号付きホモモーフィズムのための主要なターゲットグラフ—反-twinned、Zielonka、Paley、Tromp Paley グラフ—を導入し、分析する。放電法と構造的グラフ性質を活用することで、与えられた周長をもつ平面グラフおよび非巡回彩色数が有界なグラフの符号付き彩色数に対するタイトな上界を確立し、先行研究を改善する。これにより、$χ_s(\mathcal{P}_5) \leq 10$ および $χ_s(\mathcal{P}_6) \leq 6$ を特定する。また、すべての平面グラフが $χ_s(\mathrm{Tr}(SP_9))$ にホモモーフィズムをもつかどうかという未解決問題を提起し、$χ_s(\mathrm{Tr}(SP_9))$ を汎用的ターゲットとして提案する。

ABSTRACT

Signed graphs are studied since the middle of the last century. Recently, the notion of homomorphism of signed graphs has been introduced since this notion captures a number of well known conjectures which can be reformulated using the definitions of signed homomorphism. In this paper, we introduce and study the properties of some target graphs for signed homomorphism. Using these properties, we obtain upper bounds on the signed chromatic numbers of graphs with bounded acyclic chromatic number and of signed planar graphs with given girth.

研究の動機と目的

• 符号付きホモモーフィズムのための主要なターゲットグラフ（反-twinned、Zielonka、Paley、Tromp Paley グラフ）の構造的性質を同定し、研究すること。
• 与えられた周長をもつ平面グラフおよび非巡回彩色数が有界なグラフの符号付き彩色数に対する改善された上界を確立すること。
• 計算的証拠と理論的制約に基づき、$χ_s(\mathrm{Tr}(SP_9))$ がすべての平面符号付きグラフに対して汎用的ターゲットグラフとして機能するかどうかを調査すること。

提案手法

• 構造的性質の証明に放電法を適用し、符号付き平面グラフおよびそのホモモーフィズムの性質を明らかにする。
• 頂点の再符号化の概念を用いて、符号付きグラフの同値類を定義し、符号付きホモモーフィズムの定義を可能にする。
• ZS_k、SP_q、および $χ_s(\mathrm{Tr}(SP_q))$ のようなターゲットグラフを構築・分析し、ホモモーフィズムの存在を通じて彩色数の境界を定める役割を評価する。
• ソースグラフを再符号化した後の符号付きホモモーフィズムと符号化ホモモーフィズムの同値性を用いることで、解析を簡略化する。
• ターゲットグラフが反-twinnedである場合、符号化ホモモーフィズムの存在が符号付き彩色数の上界を示すことを証明する。
• 15頂点以下の4重連結平面三角形分割について、$χ_s(\mathrm{Tr}(SP_9))$ へのホモモーフィズムの存在を計算的に検証する。

実験結果

リサーチクエスチョン

• RQ1 周長5の平面グラフの符号付き彩色数は10で抑えられ、かつこの上界はタイトか？
• RQ2 $χ_s(\mathrm{Tr}(SP_9))$ はすべての平面符号付きグラフに対して汎用的ターゲットグラフか、すなわちすべての平面グラフがそれへの符号付きホモモーフィズムをもつのか？
• RQ3 非巡回彩色数が有界なグラフの符号付き彩色数のタイトな上界は何か？
• RQ4 10頂点のグラフへの符号付きホモモーフィズムの存在は、そのターゲットが $SP_9^+$ と同型でなければならないことを示唆するか？
• RQ5 ターゲットグラフ $ZS_k$、$SP_q$、および $χ_s(\mathrm{Tr}(SP_q))$ は、さまざまな平面グラフクラスの彩色挙動を十分に捉えられるか？

主な発見

• 周長5の平面グラフの符号付き彩色数は10以下であり、これは10の符号付き彩色数をもつ平面グラフの構成によりタイトであることが示された。
• 周長4の平面グラフの符号付き彩色数は6以下であり、これは1つの負の辺をもつ特定の平面グラフによりタイトであることが示された。
• 4重外平面グラフのクラスの符号付き彩色数は4以下であり、この上界はタイトである。
• 周長6の平面グラフの符号付き彩色数は6以下であり、この上界はタイトである。
• 周長5の平面グラフの符号付き彩色数は10以下であり、理論的および計算的分析の両方で確認された。
• 非巡回彩色数 $k$ をもつグラフの符号付き彩色数の上界は、$χ_s(\mathcal{P}_5) \leq 10$ から $k \cdot 2^{k-2}$ に改善され、この上界はタイトである。