[论文解读] Every 4-regular graph is acyclically edge-6-colorable

Weifan Wang, Qiaojun Shu+1 more|arXiv (Cornell University)|Sep 12, 2012

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

一句话总结

本文证明了每个4-正则图都存在一种无环边6-染色，从而证实了长期存在的猜想：对于最大度Δ的任意图，其无环边色数至多为Δ + 2，当Δ = 4时成立。作者使用重染色技术消除一种正常6-边染色中的二色环，基于颜色可用性和路径结构，通过案例分析系统地解决各种配置，最终证明经过迭代重染色后，不再存在二色环。

ABSTRACT

An acyclic edge coloring of a graph $G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic chromatic index $a'(G)$ of $G$ is the smallest integer $k$ such that $G$ has an acyclic edge coloring using $k$ colors. Fiam${ m \check{c}}$ik (1978) and later Alon, Sudakov and Zaks (2001) conjectured that $a'(G)\le Δ+ 2$ for any simple graph $G$ with maximum degree $Δ$. Basavaraju and Chandran (2009) showed that every graph $G$ with $Δ=4$, which is not 4-regular, satisfies the conjecture. In this paper, we settle the 4-regular case, i.e., we show that every 4-regular graph $G$ has $a'(G)\le 6$.

研究动机与目标

• 为无环边色数猜想在4-正则图情形下的证明提供支持，即对所有简单图G，有a′(G) ≤ Δ + 2。
• 证明每个4-正则图都存在一种无环边6-染色，即一种无二色环的正常6-边染色。
• 扩展先前结果，证明当Δ = 4时，该猜想对非4-正则图也成立，从而完成对所有最大度为4的图的完整证明。
• 提出一种系统化的重染色策略，通过迭代减少6-边染色中二色环的数量，直至完全消除。

提出的方法

• 从4-正则图G的一个正常6-边染色出发，利用Vizing定理。
• 定义τ(c)为在染色c下二色环的数量，目标是通过边重染色将τ(c)减少至零。
• 基于二色环的结构以及相邻顶点的颜色集合，通过案例分析识别出安全的重染色操作。
• 应用引理1和引理2，确保重染色不会引入新的二色路径或环，从而保持无环性。
• 系统地重染色位于二色环中某顶点的边，依据颜色可用性和路径存在性，以消除该环。
• 利用对称性与结构约束（例如无3-圈）来限制并分类重染色过程中可能出现的配置。

实验结果

研究问题

• RQ1 每个4-正则图是否都存在一种无环边6-染色？
• RQ2 4-正则图的无环边色数是否可被6界住，正如Δ + 2猜想所预测的那样？
• RQ3 是否可以通过迭代的、局部的边重染色，完全消除4-正则图中的所有二色环，而不会引入新的冲突？
• RQ4 哪些结构约束（例如无3-圈）是确保无环6-边染色存在的必要或充分条件？

主要发现

• 每个4-正则图G满足a′(G) ≤ 6，从而证实了最大度为4时Δ + 2猜想的成立。
• 该证明表明，任何不含3-圈的4-正则图的正常6-边染色，都可通过有限次边重染色序列转化为无环6-边染色。
• 重染色过程通过针对性处理特定边配置并利用顶点处的颜色可用性，系统性地消除了二色环。
• 图中不存在3-圈是实现案例分析与重染色策略的关键结构假设。
• 该方法确保在重染色过程中不会产生新的二色环，这一结论由引理1和引理2关于路径避免的保证所支持。
• 该结果完成了对所有最大度为4的图（包括4-正则图与非4-正则图）的Δ + 2猜想的完整证明。