[论文解读] 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 上采用代数方法，结合多项式构造与维津定理，证明了可使用 Δ + 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 种颜色的总着色始终存在，从而证实贝兹德与维津的猜想。

提出的方法

• 在有限域 Z_p 上构造一个多项式 F，其中 p ≥ m²(2Δ + 2)，且 p 为素数。
• 定义一个系数多项式 P′(v₁,…,vₙ,e₁,…,eₘ)，用于编码总着色的所有约束：相邻点、相邻边，以及点-边冲突。
• 利用费马小定理（x^p ≡ x mod p）通过多项式恒等式建模颜色分配。
• 应用引理 3.2 与引理 3.3，迭代地分配边颜色 β_{e_i} ∈ {1,2,…,Δ+1,α}，以确保边着色是合法的。
• 证明多项式 P′ 中 monomial ∏v_i^{l_i} 的系数在模 p 意义下非零，从而保证合法点着色的存在性。
• 采用类似组合零点定理的论证方法，证明存在一种对点与边的颜色分配，满足所有约束条件。

实验结果

研究问题

• RQ1 能否利用有限域上的代数方法证明总着色猜想 χ′′(G) ≤ Δ + 2？
• RQ2 是否可能在 Z_p 上构造一个多项式系统，同时编码所有总着色约束（点、边及点-边冲突）？
• RQ3 在 Z_p 上的多元多项式中，若某系数非零，是否能保证存在一种使用 Δ + 2 种颜色的合法总着色？
• RQ4 能否将维津关于边着色的定理整合进代数框架中，以证明总着色的上界？
• RQ5 所提出的方法是否对所有有限简单图均能给出总着色的构造性证明？

主要发现

• 本文证明了对所有有限简单图 G，χ′′(G) ≤ Δ + 2，从而证实了总着色猜想。
• 通过构造的多项式 P′ 在模 p 意义下非零取值，证明了任意图均存在使用 Δ + 2 种颜色的总着色。
• 边着色通过引理 3.2 与引理 3.3 逐步构造，确保相邻边颜色互异。
• 点着色由 P′ 中 ∏v_i^{l_i} 的非零系数导出，保证任一点不与其关联边或相邻点共享颜色。
• 颜色 α ∈ Z_p ∖ {1,2,…,Δ+1} 被用作一种独立颜色，以解决点与边着色分配之间的冲突。
• 该证明具有构造性，因为合法着色的存在性由有限域上多项式的代数非零性所保证。