[论文解读] Approximate Counting via Correlation Decay on Planar Graphs

Yitong Yin, Chihao Zhang|arXiv (Cornell University)|Jul 16, 2012

Markov Chains and Monte Carlo Methods被引用 4

一句话总结

本文证明了相关性衰减（强空间混合）在平面图和极小-无关图上蕴含针对一类广泛Holant问题的确定性全多项式时间近似方案（FPTAS）。通过开发针对有界树宽图的精确计算的固定参数可追踪算法，并扩展递归耦合技术，作者证明了在特定参数条件下，如铁磁Potts模型和子图世界问题，FPTAS成立，统一了各类计数问题的近似结果。

ABSTRACT

We show for a broad class of counting problems, correlation decay (strong spatial mixing) implies FPTAS on planar graphs. The framework for the counting problems considered by us is the Holant problems with arbitrary constant-size domain and symmetric constraint functions. We define a notion of regularity on the constraint functions, which covers a wide range of natural and important counting problems, including all multi-state spin systems, counting graph homomorphisms, counting weighted matchings or perfect matchings, the subgraphs world problem transformed from the ferromagnetic Ising model, and all counting CSPs and Holant problems with symmetric constraint functions of constant arity. The core of our algorithm is a fixed-parameter tractable algorithm which computes the exact values of the Holant problems with regular constraint functions on graphs of bounded treewidth. By utilizing the locally tree-like property of apex-minor-free families of graphs, the parameterized exact algorithm implies an FPTAS for the Holant problem on these graph families whenever the Gibbs measure defined by the problem exhibits strong spatial mixing. We further extend the recursive coupling technique to Holant problems and establish strong spatial mixing for the ferromagnetic Potts model and the subgraphs world problem. As consequences, we have new deterministic approximation algorithms on planar graphs and all apex-minor-free graphs for several counting problems.

研究动机与目标

• 建立相关性衰减与受限图族上Holant问题高效近似的普遍联系。
• 将递归耦合技术扩展至Holant问题，使铁磁Potts模型等模型的强空间混合性证明成为可能。
• 为具有规则约束函数的有界树宽图上的精确Holant计算开发固定参数可追踪算法。
• 证明在极小-无关图上，强空间混合性蕴含Holant问题的FPTAS，包括平面图。
• 在单一理论框架下统一各类计数问题（如自旋系统、图同态和加权匹配）的近似结果。

提出的方法

• 引入Holant问题中约束函数的正则性概念，涵盖常数阶对称函数及多种计数问题。
• 基于树分解上的动态规划，开发固定参数可追踪算法，以在有界树宽图上精确计算Holant值。
• 利用极小-无关图的局部树状结构，通过相关性衰减将精确算法扩展至近似解。
• 应用递归耦合技术，证明铁磁Potts模型和子图世界问题的强空间混合性。
• 利用边际概率与划分函数之间的自归约等价性，将相关性衰减与可近似性联系起来。
• 推导出FPTAS存在的显式参数阈值（以度Δ、逆温度β和域大小q表示）。

实验结果

研究问题

• RQ1 在何种条件下，相关性衰减在平面图和极小-无关图上蕴含Holant问题的FPTAS？
• RQ2 递归耦合方法能否推广至自旋系统以外的Holant问题？
• RQ3 强空间混合性与具有规则约束函数的Holant问题中近似计数的可 tractability 之间有何关系？
• RQ4 在极小-无关图上，铁磁Potts模型和子图世界问题的哪些参数范围内存在FPTAS？
• RQ5 如何将有界树宽图上的固定参数可追踪算法扩展至更一般的图族，以获得近似方案？

主要发现

• 当约束函数为正则时，Holant问题的Gibbs测度中强空间混合性蕴含在极小-无关图上存在FPTAS。
• 当最大度Δ满足Δ < (1 + λμ²)² / (1 − μ²)时，参数满足0 < μ, λ < 1的子图世界问题存在FPTAS。
• 当Δ < (e²ᵇ⁺⁴ᴮ + e²ᵇ + 2e²ᴮ)² / [e²ᴮ(e²ᵇ + 1)²(e²ᴮ + 1)²]时，逆温度β和外场B下的铁磁伊辛模型存在FPTAS。
• 当β < ln((q−2)/(Δ−1)) / (Δ+1)且满足q−2 > (λ−1)(Δ−1)λ^Δ时，q状态铁磁Potts模型存在FPTAS。
• 递归耦合技术成功扩展至Holant问题，使铁磁Potts模型的强空间混合性得以证明。
• 该框架在单一理论框架下统一了自旋系统、图同态和计数CSP等各类问题的近似算法。