Let $Δ,q\geq 3$ be integers. We prove that there exists $η\geq 0.002$ such that if $q\geq (2-η)Δ$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $Δ$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2Δ$-barrier for this problem. As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $Δ$, provided $q\geq (2-η)Δ$.
翻译:设$Δ,q\geq 3$为整数。我们证明存在$η\geq 0.002$使得当$q\geq (2-η)Δ$时,存在包含区间$[0,1]$的开集$\mathcal{U}\subset \mathbb{C}$,满足对任意$w\in \mathcal{U}$及任意最大度不超过$Δ$的图$G=(V,E)$,反铁磁$q$-态Potts模型在$w$处的配分函数均非零。这一结果对Liu、Sinclair和Srivastava的研究作出了(适度)改进,并突破了该问题中$q=2Δ$的理论界限。通过Barvinok插值方法,我们直接推导出一个确定性多项式时间算法,可在$q\geq (2-η)Δ$条件下近似计算最大度不超过$Δ$的图的真$q$-着色方案数。