[論文レビュー] List Colouring Squares of Planar Graphs

Frédéric Havet, Jan van den Heuvel+2 more|arXiv (Cornell University)|Jul 21, 2008

Advanced Graph Theory Research参考文献 27被引用数 8

ひとこと要約

本稿では、最大次数Δが∞に近づく際、任意の平面的グラフの平方のリスト彩色数が(3/2 + o(1))Δ未満であることを確立し、ウェーグナー予想の漸近的版を証明している。証明は、問題を線グラフのリスト辺彩色に還元し、カーンのリスト彩色指数に関する漸近的結果を適用することで、K₄-マイナーを含まないグラフや、固定された曲面上に埋め込まれたグラフを含むより広いグラフ族へと一般化している。

ABSTRACT

In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr floor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ o+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs.

研究の動機と目的

• 平面的グラフの平方のリスト彩色数に対する漸近的上界を確立し、ウェーグナー予想の弱化形を確認すること。
• 平面的グラフを超えて、K₄-マイナーを含まないグラフや、固定された曲面上に埋め込まれたグラフなどのより広いグラフ族へと境界を拡張すること。
• グラフの平方におけるリスト彩色数が、特に平面的グラフにおいて彩色数に等しいかどうかを検討すること。
• グラフの平方におけるリスト彩色数と分数彩色数の関係を調査すること。
• 一般のグラフ族において、Δが十分に大きい場合にχ(G²) ≤ (3/2)Δ + 1が漸近的に成り立つかどうかを特定すること。

提案手法

• グラフの平方のリスト彩色問題を、その線グラフのリスト辺彩色問題に還元する。
• カーンの定理（リスト彩色指数と分数彩色指数の漸近的同値性）を適用する。
• 平面的およびK₄-マイナーを含まないグラフの構造的性質を用いて、G²におけるクリーク数と彩色数を制限する。
• 分配法と極値グラフ構成を用いて、最大次数と局所的密度を分析する。
• 固定された曲面上に埋め込まれたグラフや直径2の制約に関する結果を適用し、境界を一般化する。
• 既知のL(2,1)-ラベリングおよび辺彩色に関する結果を活用し、G²の頂点彩色に関する境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 Δ → ∞ のとき、平面的グラフの平方のリスト彩色数は(3/2 + o(1))Δで漸近的に有界であるか？
• RQ2 平面的グラフの平方の彩色数に関するウェーグナー予想は、Δが大きい場合にリスト彩色へと拡張可能か？
• RQ3 すべての平面的グラフにおいてch(G²) = χ(G²)が成り立つか、それともこのクラスに反例が存在するか？
• RQ4 固定された曲面Sに埋め込まれるグラフに対して、ある定数c_S（Sに依存）が存在し、ω(G²) ≤ (3/2)Δ + c_Sが成り立つか？
• RQ5 「よい」族Fに属するグラフに対して、ch(G²) = (1 + o(1))χ_f(G²)が成り立つか？

主な発見

• 最大次数Δをもつ任意の平面的グラフの平方のリスト彩色数は、Δ → ∞ のとき(3/2 + o(1))Δ未満である。
• この境界はK₄-マイナーを含まないグラフおよび任意の固定された曲面上に埋め込まれたグラフへと拡張可能であり、ある定数c_Sに対してω(G²) ≤ (3/2)Δ + c_Sが成り立つ。
• Δが大きい平面的グラフの平方のクリーク数ω(G²)は、(3/2)Δ + 1未満であり、図1の極値例と一致する。
• この結果は、すべての平面的グラフにおいてch(G²) = χ(G²)が成り立つ可能性を支持しているが、未解決のままである。
• 証明手法は問題をカーンのリスト辺彩色に関する結果に還元し、ある「よい」族に属するグラフに対してch(G²) ≤ (1 + o(1))χ_f(G²)が成り立つことを示している。
• 既知の極値構成により、漸近的境界(3/2 + o(1))Δがタイトである可能性を示す証拠が得られている。