[论文解读] The Complexity of Counting Edge Colorings and a Dichotomy for Some Higher Domain Holant Problems

Jin‐Yi Cai, Heng Guo+1 more|arXiv (Cornell University)|Apr 15, 2014

Advanced Combinatorial Mathematics参考文献 35被引用 10

一句话总结

该论文为在3-正则图和r-正则图上使用对称、域不变的三元函数的Holant问题建立了复杂性二分法，证明了在平面图上，使用κ ≥ r ≥ 3种颜色进行边着色的计数问题是#P-难的，除非在由代数对称性定义的特定可解情况下。该证明依赖于Siegel关于丢番图方程整数解的定理以及伽罗瓦理论，以分类可解与困难实例。

ABSTRACT

We show that an effective version of Siegel's Theorem on finiteness of integer solutions and an application of elementary Galois theory are key ingredients in a complexity classification of some Holant problems. These Holant problems, denoted by Holant(f), are defined by a symmetric ternary function f that is invariant under any permutation of the k >= 3 domain elements. We prove that Holant(f) exhibits a complexity dichotomy. This dichotomy holds even when restricted to planar graphs. A special case of this result is that counting edge k-colorings is #P-hard over planar 3-regular graphs for k >= 3. In fact, we prove that counting edge k-colorings is #P-hard over planar r-regular graphs for all k >= r >= 3. The problem is polynomial-time computable in all other parameter settings. The proof of the dichotomy theorem for Holant(f) depends on the fact that a specific polynomial p(x,y) has an explicitly listed finite set of integer solutions, and the determination of the Galois groups of some specific polynomials. In the process, we also encounter the Tutte polynomial, medial graphs, Eulerian partitions, Puiseux series, and a certain lattice condition on the (logarithm of) the roots of polynomials.

研究动机与目标

• 对在3-正则图和r-正则图上由对称、域不变的三元函数定义的Holant问题的计算复杂性进行分类。
• 确定在r-正则图上使用κ种颜色进行边着色的计数问题何时是可解的或#P-难的。
• 解决关于平面正则图上边着色计数复杂性的长期悬而未决的问题。
• 使用代数和数论技术，为域大小κ ≥ 3的Holant问题建立二分定理。

提出的方法

• 应用Siegel定理的有效版本，以证明特定多项式p(x,y) = x⁵ - 2x³y - x²y² - x³ + xy² + y³ - 2x² - xy的整数解是有限的。
• 使用伽罗瓦理论分析Holant函数代数结构中出现的关键多项式的伽罗瓦群。
• 采用全息变换和通过正交矩阵T = Iₖ与kIₖ - 2Jₖ进行的签名约化，以简化函数表示。
• 应用Runge方法和辅助函数（如g₂(x,y)）以在丢番图分析中界定整数解。
• 利用Puiseux级数展开和多项式根对数的格条件，分析代数依赖性。
• 通过中点图构造和欧拉划分技术，将一般Holant问题约化为平面Holant问题。

实验结果

研究问题

• RQ1 对于哪些对称、域不变的三元函数f，Holant(f)在平面r-正则图上可多项式时间计算？
• RQ2 在平面r-正则图上，使用κ种颜色进行边着色的计数问题的计算复杂性是什么，其中κ ≥ r ≥ 3？
• RQ3 代数对称性（例如，对域元素和函数输入的置换不变性）如何影响Holant问题的可解性？
• RQ4 能否利用特定五次多项式p(x,y)的整数解的有限性来对Holant问题的复杂性进行分类？
• RQ5 相关多项式的伽罗瓦群在决定Holant问题的难易程度方面起什么作用？

主要发现

• 在所有κ ≥ r ≥ 3的情况下，平面r-正则图上的边κ-着色计数问题是#P-难的。
• 对于对称、域不变的三元函数f，Holant(f)的唯一可解情况出现在f退化（a = b = c）时，或具有特定对称性（如κ = 3时a = c），或可通过T = Iₖ或kIₖ - 2Jₖ变换为标准形式⟨1,0,0⟩、⟨1,0,ω⟩（κ = 3）或⟨μ²,1,μ⟩（κ = 4）时。
• 多项式p(x,y) = x⁵ - 2x³y - x²y² - x³ + xy² + y³ - 2x² - xy恰好有五个整数解：(−1,1)、(0,0)、(1,−1)、(1,2)、(3,3)。
• 与函数f相关的关键多项式的伽罗瓦群在困难情况下是非可解的，这暗示了#P-难性。
• 即使限制在平面图上，该二分性仍然成立，且困难性结果可推广至简单图（不仅限于多重图）。
• 可解情况对应于函数本身退化，或在特定线性变换T下不变，这些变换保持了问题的代数结构。