[論文レビュー] A proof of the Total Coloring Conjecture

T. Srinivasa Murthy|arXiv (Cornell University)|Mar 21, 2020

Limits and Structures in Graph Theory参考文献 9被引用数 4

ひとこと要約

本稿は、任意の有限単純グラフ G の総彩色数 χ′′(G) が最大次数 Δ に対して Δ + 2 以下であることを示す、総彩色予想の証明を提示する。著者らは有限体 Z_p 上で代数的技法を用い、多項式構成とVizingの定理を活用して、Δ + 2 色を用いた有効な総彩色の存在を示している。

ABSTRACT

extit{Total Coloring} of a graph is a major coloring problem in combinatorial mathematics, introduced in the early $1960$s. A extit{total coloring} of a graph $G$ is a map $f:V(G) \cup E(G) ightarrow \mathcal{K}$, where $\mathcal{K}$ is a set of colors, satisfying the following three conditions: 1. $f(u) eq f(v)$ for any two adjacent vertices $u, v \in V(G)$; 2. $f(e) eq f(e')$ for any two adjacent edges $e, e' \in E(G)$; and 3. $f(v) eq f(e)$ for any vertex $v \in V(G)$ and any edge $e \in E(G)$ that is incident to the same vertex $v$. The extit{total chromatic number}, $χ''(G)$, is the minimum number of colors required for a extit{total coloring} of $G$. Behzad (1965), and Vizing (1968), conjectured that for any graph $G$ $χ''(G)\leq Δ+ 2$. This conjecture is one of the classic unsolved mathematical problems. In this paper, we settle this classical conjecture by proving that the extit{total chromatic number} $χ''(G)$ of a graph is indeed bounded above by $Δ+2$. Our novel approach involves algebraic settings over a finite field $\mathbb{Z}_p$ and Vizing's theorem is an essential part of the algebraic settings.

研究の動機と目的

• 1960年代以降に長きにわたり未解決のままだった総彩色予想を解決すること。
• 任意の有限単純グラフ G に対して、総彩色数 χ′′(G) が Δ + 2 で上から抑えられることを証明すること。
• 総彩色をモデル化・検証するための、有限体 Z_p 上の構成的代数的枠組みを確立すること。
• 彩色の衝突を符号化する多項式系を用いて、辺と頂点の彩色制約を統一すること。
• Δ + 2 色による総彩色が常に存在することを示し、Behzad と Vizing の予想を確認すること。

提案手法

• p ≥ m²(2Δ + 2) である素数 p を用いて、有限体 Z_p 上に多項式 F を構成する。
• すべての総彩色の制約（隣接頂点、隣接辺、頂点-辺の衝突）を符号化する係数多項式 P′(v₁,…,vₙ,e₁,…,eₘ) を定義する。
• フェルマーの小定理（x^p ≡ x mod p）を用いて、多項式恒等式により色の割り当てをモデル化する。
• 補題 3.2 と補題 3.3 を適用して、β_{e_i} ∈ {1,2,…,Δ+1,α} である辺色の割り当てを反復的に行い、適切な辺彩色が得られることを保証する。
• P′ における単項式 ∏v_i^{l_i} の係数が p を法として非ゼロであることを証明し、有効な頂点彩色の存在を保証する。
• 組合せ的ノルンシュタインセンツ類似の議論を用いて、すべての制約を満たす頂点および辺への色の割り当てが存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限体 Z_p 上の代数的技法を用いて、総彩色予想 χ′′(G) ≤ Δ + 2 を証明できるか？
• RQ2 Z_p 上に、頂点、辺、および頂点-辺の衝突を同時に符号化する多項式系を構築することは可能か？
• RQ3 Z_p 上の多変数多項式において非ゼロ係数が存在することは、Δ + 2 色による有効な総彩色の存在を保証するか？
• RQ4 Vizingの辺彩色に関する定理を代数的枠組みに統合し、総彩色の上限を証明できるか？
• RQ5 提示された手法は、すべての有限単純グラフに対して構成的証明をもたらすか？

主な発見

• 本稿は、すべての有限単純グラフ G に対して χ′′(G) ≤ Δ + 2 であることを証明し、総彩色予想を確認した。
• 構築された多項式 P′ の非ゼロ評価が存在することにより、Δ + 2 色による総彩色が任意のグラフで存在することが示された。
• 辺彩色は補題 3.2 と補題 3.3 を用いて反復的に構成され、隣接する辺が異なる色をもつことが保証された。
• 頂点彩色は、P′ における ∏v_i^{l_i} の係数が非ゼロであることから導かれるため、頂点がその接続辺や隣接頂点と同一色を共有しないことが保証された。
• Z_p ∖ {1,2,…,Δ+1} に属する色 α が、頂点と辺の色割り当ての衝突を解消するために別個の色として用いられた。
• 多項式が有限体上で非消滅することにより、有効な彩色の存在が保証されるため、証明は構成的である。