[论文解读] 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 圖。透過利用放電法與圖的結構性質，本文確立了給定圍長之平面圖及具備有界無環色數之圖的簽署色數之緊緻上界，改進了先前的結果，並確認了 $\chi_s(\mathcal{P}_5) \leq 10$ 與 $\chi_s(\mathcal{P}_6) \leq 6$。本研究亦提出一項開放問題：是否所有平面圖皆可同態映射至 $\mathrm{Tr}(SP_9)$，並建議 $\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 圖）之結構性質。
• 確立具備給定圍長之平面圖及具備有界無環色數之圖的簽署色數之改進上界。
• 探討 $\mathrm{Tr}(SP_9)$ 是否為所有平面簽署圖之通用目標圖，基於計算證據與理論限制。

提出的方法

• 應用放電法以證明簽署平面圖及其同態之結構性質。
• 利用重新標記頂點之概念定義簽署圖之等價類，進而定義簽署同態。
• 建構並分析目標圖（如 $ZS_k$、$SP_q$ 與 $\mathrm{Tr}(SP_q)$）在透過同態存在性以界定色數時之角色。
• 論文利用同態與重新標記源圖後之標記同態之間的等價性，簡化分析。
• 證明若目標圖為反-twinned，則標記同態之存在性可導出簽署色數之界。
• 使用計算驗證以測試 4-連通平面三角剖分圖（最多 15 個頂點）至 $\mathrm{Tr}(SP_9)$ 之同態存在性。

实验结果

研究问题

• RQ1 平面圖之圍長為 5 時，其簽署色數是否可被 10 界定，且此界是否緊緻？
• RQ2 $\mathrm{Tr}(SP_9)$ 是否為所有平面簽署圖之通用目標圖，即所有平面圖是否皆可同態映射至該圖？
• RQ3 具備有界無環色數之圖的簽署色數之最緊緻上界為何？
• RQ4 若存在至一含 10 個頂點之圖的簽署同態，是否意味該目標圖必同構於 $SP_9^+$？
• RQ5 目標圖 $ZS_k$、$SP_q$ 與 $\mathrm{Tr}(SP_q)$ 是否足以捕捉各類平面圖族之色數行為？

主要发现

• 圍長為 5 之平面圖之簽署色數至多為 10，且此界為緊緻，此由構造出一簽署色數為 10 之平面圖所證實。
• 圍長為 4 之平面圖之簽署色數至多為 6，且此界為緊緻，此由具有一條負邊之特定平面圖所展示。
• 4-外平面圖類別之簽署色數至多為 4，且此界為緊緻。
• 圍長為 6 之平面圖之簽署色數至多為 6，且此界為緊緻。
• 圍長為 5 之平面圖之簽署色數至多為 10，且此界為緊緻，此由理論與計算分析雙重確認。
• 本文將具備無環色數 $k$ 之圖之簽署色數上界由 $\lceil k/2 \rceil \cdot 2^{k-1}$ 改進至 $k \cdot 2^{k-2}$，且此界為緊緻。