[论文解读] Approximate Counting via Correlation Decay in Spin Systems

Liang Li, Pinyan Lu+1 more|arXiv (Cornell University)|Sep 3, 2011

Markov Chains and Monte Carlo Methods被引用 9

一句话总结

本论文首次提出了在无限正则树上系统参数满足唯一性条件时，对任意图上两状态自旋系统划分函数的确定性全多项式时间近似方案（FPTAS）。作者通过引入一种改进的度量和势能方法分析，实现了计算高效的关联衰减，从而在多项式时间内达到反多项式精度，将可近似区域扩展至物理唯一性阈值。

ABSTRACT

We give the first deterministic fully polynomial-time approximation scheme (FPTAS) for computing the partition function of a two-state spin system on an arbitrary graph, when the parameters of the system satisfy the uniqueness condition on infinite regular trees. This condition is of physical significance and is believed to be the right boundary between approximable and inapproximable. The FPTAS is based on the correlation decay technique introduced by Bandyopadhyay and Gamarnik [SODA 06] and Weitz [STOC 06]. The classic correlation decay is defined with respect to graph distance. Although this definition has natural physical meanings, it does not directly support an FPTAS for systems on arbitrary graphs, because for graphs with unbounded degrees, the local computation that provides a desirable precision by correlation decay may take super-polynomial time. We introduce a notion of computationally efficient correlation decay, in which the correlation decay is measured in a refined metric instead of graph distance. We use a potential method to analyze the amortized behavior of this correlation decay and establish a correlation decay that guarantees an inverse-polynomial precision by polynomial-time local computation. This gives us an FPTAS for spin systems on arbitrary graphs. This new notion of correlation decay properly reflects the algorithmic aspect of the spin systems, and may be used for designing FPTAS for other counting problems.

研究动机与目标

• 填补已知FPRAS区域之外两状态自旋系统可近似性研究的空白。
• 在系统满足无限正则树上唯一性条件时，为划分函数建立确定性FPTAS。
• 开发一种新型关联衰减框架，支持在任意图（包括无界度图）上的高效计算。
• 通过一种可推广的算法技术，统一并扩展先前关于自旋系统与硬核模型的研究成果。
• 为唯一性阈值处推测的计算相变提供理论基础。

提出的方法

• 引入一种新的计算高效关联衰减概念，通过改进的度量而非图距离来衡量衰减。
• 使用势能方法分析关联衰减的摊销行为，确保在多项式时间内收敛至反多项式精度。
• 应用自避免行走（SAW）树构造，将划分函数计算简化为边际概率估计。
• 证明在无限正则树上唯一性条件下，关联衰减速率可保证确定性FPTAS。
• 利用硬核模型与β=0时的自旋系统之间的等价性，连接至已知的难解性结果。
• 通过将任意图上的最大割问题归约至正则图上的最大割问题，强化硬核模型的难解性结果。

实验结果

研究问题

• RQ1 在唯一性条件下，能否为任意图上两状态自旋系统的划分函数设计确定性FPTAS？
• RQ2 使用改进度量的计算高效关联衰减是否能实现在高阶图上的多项式时间近似？
• RQ3 无限正则树上的唯一性阈值是否为两状态自旋系统可近似与不可近似之间的真正边界？
• RQ4 硬核模型的难解性结果能否扩展至d-正则图，以确立不可近似性的紧阈值？
• RQ5 所提出的关联衰减框架能否推广至自旋系统之外的其他计数问题？

主要发现

• 本论文首次在系统参数满足无限正则树上唯一性条件时，为任意图上两状态自旋系统的划分函数建立了确定性FPTAS。
• 所提出的计算高效关联衰减方法即使在无界度图上也能在多项式时间内实现反多项式精度。
• 该方法成功克服了经典关联衰减的局限性，后者在高阶图上因局部计算时间超多项式而失效。
• 作者证明了在最大度为d的图上硬核模型的难解性结果可扩展至d-正则图，确认当d ≥ 6时，λ > (d−1)^(d−1)/(d−2)^d 为不可近似性的阈值。
• 当β=0且γ < 10·11^(-11/12)，d=12时，除非NP=RP，否则不存在FPRAS，从而确认了不可近似边界的确定性。
• 该框架提供了一种通用技术，可推广应用于设计其他计数问题的FPTAS，而不仅限于自旋系统。