[论文解读] An FPTAS for Counting Proper Four-Colorings on Cubic Graphs

Pinyan Lu, Kuan Yang+2 more|arXiv (Cornell University)|Nov 13, 2016

Markov Chains and Monte Carlo Methods参考文献 22被引用 8

一句话总结

本文首次提出了针对三次图（最大度Δ=3）上的合法四染色计数问题的全多项式时间近似方案（FPTAS），实现了最优的q=Δ+1边界。通过引入新颖的相关性衰减技术，克服了马尔可夫链蒙特卡洛方法的根本障碍，实现了具有严格数学分析和计算机辅助验证的收缩性质的确定性近似。

ABSTRACT

Graph coloring is arguably the most exhaustively studied problem in the area of approximate counting. It is conjectured that there is a fully polynomial-time (randomized) approximation scheme (FPTAS/FPRAS) for counting the number of proper colorings as long as $q \geq Δ+ 1$, where $q$ is the number of colors and $Δ$ is the maximum degree of the graph. The bound of $q = Δ+ 1$ is the uniqueness threshold for Gibbs measure on $Δ$-regular infinite trees. However, the conjecture remained open even for any fixed $Δ\geq 3$ (The cases of $Δ=1, 2$ are trivial). In this paper, we design an FPTAS for counting the number of proper $4$-colorings on graphs with maximum degree $3$ and thus confirm the conjecture in the case of $Δ=3$. This is the first time to achieve this optimal bound of $q = Δ+ 1$. Previously, the best FPRAS requires $q > \frac{11}{6} Δ$ and the best deterministic FPTAS requires $q > 2.581Δ+ 1$ for general graphs. In the case of $Δ=3$, the best previous result is an FPRAS for counting proper 5-colorings. We note that there is a barrier to go beyond $q = Δ+ 2$ for single-site Glauber dynamics based FPRAS and we overcome this by correlation decay approach. Moreover, we develop a number of new techniques for the correlation decay approach which can find applications in other approximate counting problems.

研究动机与目标

• 通过在Δ=3时实现猜想的最优边界q=Δ+1，弥合图染色近似计数中的空白。
• 克服基于Glauber动力学的FPRAS的固有局限性，该方法在q=Δ+1时因非遍历性而无法混合。
• 开发新的相关性衰减技术，实现对有界度图上合法q-染色的确定性FPTAS。
• 与先前基于MCMC的方法相比，提供更简单、更稳健的分析框架，尤其适用于Δ=3的情形。
• 为将相关性衰减方法扩展至反铁磁多自旋系统（包括标准染色问题）奠定基础。

提出的方法

• 提出一种基于递归函数的相关性衰减新框架，用于建模生命树分解中边际概率的演化。
• 采用精心设计的势函数进行递归收缩分析，其中涉及有理函数Φ(x) = 1/(x(1/2−x))的倒数，定义域为x∈(0,1/2)。
• 采用计算机辅助方法验证多种对称情形下的收缩不等式，包括边界条件和对称构型。
• 应用改进的相关性衰减方法，通过函数f_i和y_i表示不同颜色分布的加权贡献，以建模边际概率。
• 利用Mathematica在紧致定义域上验证多变量不等式，确保收缩因子严格小于1。
• 引入新技巧处理对称构型，通过对称性假设（如f3=f4, y3=y4）减少变量，简化证明空间。

实验结果

研究问题

• RQ1 能否在理论阈值q=Δ+1下，为三次图上的合法4-染色计数构造确定性FPTAS？
• RQ2 是否可以利用相关性衰减技术绕过Glauber动力学在q=Δ+1处的遍历性障碍？
• RQ3 证明对称、高阶图染色问题中相关性衰减所需的新型分析工具是什么？
• RQ4 计算机辅助验证能否有效用于验证相关性衰减证明中复杂的多变量不等式？
• RQ5 如何将相关性衰减方法扩展至一般Δ≥3的唯一性阈值q=Δ+1？

主要发现

• 本文首次在最优边界q=Δ+1下，建立了对三次图（Δ=3）上合法4-染色计数的FPTAS。
• 该算法为确定性算法，运行时间全多项式，对任意ε>0均可实现(1±ε)近似。
• 相关性衰减方法成功克服了Glauber动力学在q=Δ+1处的非遍历性障碍，该障碍曾导致FPRAS无法构造。
• 计算机辅助证明验证了最坏情况下收缩因子被限制在0.9638以内，确保收敛性。
• 该方法简化了先前基于MCMC的分析，后者在Δ=3, q=5时需大量逐案推理与计算机校验。
• 所提出的新技术具有可扩展性，可能适用于其他接近唯一性阈值的反铁磁多自旋系统。