[論文レビュー] Choosability of the square of a planar graph with maximum degree four

Daniel W. Cranston, Rok Erman+1 more|arXiv (Cornell University)|Mar 21, 2013

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

ひとこと要約

本稿は、最大平均次数および周囲長に基づく放電法を用いて、最大次数が4以下の平面的グラフの平方のリスト彩色数（選択可能性）の新たな上界を確立する。$ G^2 $ は $ G $ の周囲長に応じて5-, 6-, 7-, 8-, 12-, 14-選択可能であることが証明され、周囲長が大きいほどより鋭い上界が得られ、2-および3-頂点を含む新規な削減可能な構成を導入することで、放電法の根拠を強化する。

ABSTRACT

We study squares of planar graphs with the aim to determine their list chromatic number. We present new upper bounds for the square of a planar graph with maximum degree $Δ\leq 4$. In particular $G^2$ is 5-, 6-, 7-, 8-, 12-, 14-choosable if the girth of $G$ is at least 16, 11, 9, 7, 5, 3 respectively. In fact we prove more general results, in terms of maximum average degree, that imply the results above.

研究の動機と目的

• 最大次数が4以下の平面的グラフの平方のリスト彩色数のタイトな上界を特定すること。
• $ \Delta = 4 $ の場合に、既知のグラフの平方の彩色数および選択可能性に関する結果を、リスト彩色設定に拡張すること。この分野では、以前の結果が存在しなかった。
• 最小反例にのみ2-および3-頂点を含む新規な削減可能な構成を開発し、より強い放電法の根拠を可能にすること。
• 選択可能性の上限を周囲長や最大平均次数（mad）といった構造的グラフパラメータと関連付けることにより、平面的グラフの結果を一般化すること。

提案手法

• 頂点次数および面の長さに基づく初期電荷関数を用い、その後に再分配規則を適用することで、最小反例において矛盾を導く放電法を用いる。
• 任意に大きな削減可能な構成を含むグローバル放電法を適用し、$ \Delta = 4 $ の場合でさえも2-および3-頂点に注目する。これは、この文脈において画期的なアプローチである。
• 4-頂点が隣接する2-および3-頂点に電荷を割り当てる放電規則を採用し、面の種類や近傍の次数といった局所的構造に基づく。
• オイラーの公式と、周囲長 $ g $ を持つ平面的グラフが $ \operatorname{mad}(G) < 2 + \frac{4}{g-2} $ を満たすという事実に依存し、周囲長と最大平均次数を結びつける。
• k-還元可能性の概念を用いる：特定の構成が最小反例に現れえない場合、グラフは選択可能性の上限を満たす必要がある。
• 具体的な構成（例：2-頂点が3-頂点に隣接している場合、2つの隣接する2-頂点をもつ4-頂点）の12-および14-還元可能性を、構造的解析と放電規則を用いて検証する。

実験結果

リサーチクエスチョン

• RQ1 最大次数が4で周囲長が与えられた平面的グラフの平方のリスト彩色数は何か？
• RQ2 2-および3-頂点のみを含む新規な削減可能な構成を用いた放電法は、$ \Delta = 4 $ の場合に、選択可能性の上限を改善できるか？
• RQ3 最大次数 $ \leq 4 $ の場合に、グラフの最大平均次数（mad）は、その平方の選択可能性とどのように関係するか？
• RQ4 選択可能性の上限は、最大次数だけでなく、周囲長とmadの観点からどの程度まで特定できるか？
• RQ5 $ \Delta = 4 $ の平面的グラフに対して、Kostochka-Woodall予想 $ \chi_l(G^2) = \chi(G^2) $ は成立するか？

主な発見

• 最大次数が4以下で周囲長が16以上の平面的グラフでは、その平方は5-選択可能である。
• 周囲長が11以上であれば、平方は6-選択可能である。周囲長が9以上であれば、7-選択可能である。
• 周囲長が7以上であれば、平方は8-選択可能である。周囲長が5以上であれば、12-選択可能である。
• 周囲長が3以上（つまり制限なし）であれば、平方は14-選択可能である。
• 結果は最大平均次数を用いて一般化される：$ \operatorname{mad}(G) < 10/3 $ ならば12-選択可能であり、$ \operatorname{mad}(G) < 14/5 $ ならば14-選択可能である。
• 本稿では、2-および3-頂点を含む新規な12-還元可能および14-還元可能な構成を導入・検証し、従来の手法よりも強い放電法の根拠を可能にした。