[論文レビュー] Maximum number of colourings. II. 5-chromatic graphs

Fiachra Knox, Bojan Mohar|arXiv (Cornell University)|Oct 18, 2017

Limits and Structures in Graph Theory参考文献 20被引用数 3

ひとこと要約

この論文は、1971年にトムェスクが提起した予想の強化版を5彩色可能グラフに対して証明し、$k$-彩色の最大数が、$K_5$ の各頂点に木を接続して得られるグラフによってのみ達成されることを示している。証明は構造的分解、移動多項式 $Q_G(y)$ を用いた彩色多項式の分析、および臨界グラフに対する広範なコンピュータ支援のケース解析を用いる。$y \geq 4$ に対して、$Q_G(y) \leq (y+1)y^{n-4}(y-1)(y-2)(y-3)$ の上限が確認された。この結果は、4彩色可能グラフに関する先行研究を拡張し、一般化された証明の基盤を築く。

ABSTRACT

In 1971, Tomescu conjectured [Le nombre des graphes connexes $k$-chromatiques minimaux aux sommets étiquetés, C. R. Acad. Sci. Paris 273 (1971), 1124--1126] that every connected graph $G$ on $n$ vertices with $χ(G) = k \geq 4$ has at most $k!(k-1)^{n-k}$ $k$-colourings, where equality holds if and only if the graph is formed from $K_k$ by repeatedly adding leaves. In this note we prove (a strengthening of) the conjecture of Tomescu when $k=5$.

研究の動機と目的

• 5彩色可能グラフに対して、1971年にトムェスクが提起した、連結な $k$-彩色可能グラフにおける $k$-彩色の最大数に関する予想を解決すること。
• 4彩色可能グラフの研究で用いられた手法を、構造的分解と彩色多項式の境界を用いて5彩色可能グラフの状況に拡張すること。
• 上限に等号が成立する極値グラフが、$K_5$ の各頂点に木を接続して得られるグラフに正確に限られることを確立すること。ここで、$y$ がすべての実数に対して等号が成立する。

提案手法

• 彩色の数を $y = x-1$ として、$Q_G(y) = P_G(y+1)$ という移動彩色多項式を用い、漸近的比較を簡略化する。
• 補題2.1から得られる再帰的不等式を応用し、頂点の近傍と独立集合への分割に基づいて $Q_G(y)$ を境界づける。
• 5臨界グラフに対するケース解析を実施し、小規模な臨界グラフの既知のリスト（最大13頂点まで）と、auty_ge g や Royle のリストのようなプログラムによるコンピュータによる検証を活用する。
• 構造的分解：$G$ に4頂点の独立集合 $S$ が存在する場合、$G-S$ は4彩色可能であり、定理1.2により境界づけられる。これにより、$Q_G(y)$ に対する帰納的境界が得られる。
• $S$ の頂点を順次削除することで再帰的境界を適用し、各段階で $B(y)$-に基づく不等式フレームワークを用いて彩色多項式の境界を更新する。
• すべての候補となるグラフ（例：13頂点のラマヌジャン $(4,4)$ グラフ）をコンピュータで検証し、$Q_G(y) \ll (y+1)y^{n-4}(y-1)(y-2)(y-3)$ が成り立つことを確認した。

実験結果

リサーチクエスチョン

• RQ1 任意の頂点数 $n$ の連結な5彩色可能グラフ $G$ に対して、すべての整数 $y \geq 4$ に対して $Q_G(y) \leq (y+1)y^{n-4}(y-1)(y-2)(y-3)$ が成り立つか？
• RQ2 この境界で等号が成立するのは、$K_5$ の各頂点に木を接続して得られるグラフに限られるか？
• RQ3 4彩色可能グラフの研究で用いられた手法を、構造的分解とコンピュータ支援の検証を用いて、$k=5$ の場合の予想を証明するために拡張可能か？

主な発見

• 任意の頂点数 $n$ の連結な5彩色可能グラフ $G$ における $k$-彩色の最大数は、$k!(k-1)^{n-k} = 5! \cdot 4^{n-5}$ で上界づけられ、等号が成立するのは $G$ が $K_5$ に各頂点に木を接続して得られる場合に限る。
• すべての整数 $y \geq 4$ に対して $Q_G(y) \leq (y+1)y^{n-4}(y-1)(y-2)(y-3)$ が成り立ち、すべての実数 $y$ に対して等号が成立するのは $K_5$ に木を接続したグラフに限られる。
• 13頂点までのすべての5臨界グラフに対して、広範なコンピュータによる検証により、$Q_G(y) \ll (y+1)y^{n-4}(y-1)(y-2)(y-3)$ が成り立つが、極値の $K_5$ に木を接続した場合を除いては厳密な不等号が成立することが確認された。
• 証明は、4頂点の独立集合を用いたグラフの分解と、補題2.1を用いた再帰的境界を基盤とし、$B(y)$-に基づく誤差項をケース解析によって制御している。
• 4彩色可能グラフの手法を $k=5$ に成功裏に一般化でき、著者らは $k=6$ 以降に対しても同様の拡張が可能であると予想しており、一般証明の基盤を築いた。