[論文レビュー] 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

ひとこと要約

この論文は、平面的かつapex-minor-freeなグラフ上の広範なクラスのHolant問題に対して、相関崩壊（強い空間混合）が決定的かつ完全多項式時間近似スキーム（FPTAS）を意味することを確立している。有界木幅グラフ上の正確な計算のための固定パrameter可 tractable（FPT）アルゴリズムを構築し、再帰的カップリング技術を拡張することで、反強磁性Potts模型や特定のパrameter条件下での部分グラフ問題など、多様な問題に対して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計算のための固定パrameter可 tractable（FPT）アルゴリズムを開発すること。
• apex-minor-freeなグラフ上のHolant問題において、強い空間混合がFPTASを意味することを証明すること、平面グラフを含む。
• スピン系、グラフ準同型、重み付きマッチングといった多様な数え上げ問題の近似結果を、一つの枠組みで統一すること。

提案手法

• Holant問題における制約関数の正則性の概念を導入し、定数次数の対称関数および多様な数え上げ問題をカバーする。
• 木分解に基づく動的計画法を用いて、木幅が有界なグラフ上の正確なHolant値を計算する固定パrameter可 tractable（FPT）アルゴリズムを開発する。
• apex-minor-freeなグラフの局所的に木に近い構造を活用し、相関崩壊を介して正確なアルゴリズムを近似解へと拡張する。
• 再帰的カップリング技法を適用して、反強磁性Potts模型および部分グラフ問題の強い空間混合を証明する。
• マージナル確率と分配関数の自己還元的同値性を用いて、相関崩壊と近似可能性の関係を関係づける。
• FPTASが存在する明示的なパrameter閾値（次数Δ、逆温度β、ドメインサイズqの関数として）を導出する。

実験結果

リサーチクエスチョン

• RQ1 相関崩壊が、平面的およびapex-minor-freeなグラフ上のHolant問題に対してFPTASを意味するのはどのような条件下か？
• RQ2 再帰的カップリング法は、スピン系を越えてHolant問題へ一般化可能か？
• RQ3 正則な制約関数を持つHolant問題において、強い空間混合と近似数え上げの tractability の関係は何か？
• RQ4 反強磁性Potts模型および部分グラフ問題のどのパrameter範囲で、apex-minor-freeなグラフ上にFPTASが存在するか？
• RQ5 有界木幅グラフ上の固定パrameter可 tractable（FPT）アルゴリズムは、より一般なグラフ族への近似スキームの導出にどのように拡張可能か？

主な発見

• Holant問題のGibbs測度における強い空間混合が、制約関数が正則である場合、apex-minor-freeなグラフ上でFPTASの存在を意味する。
• 最大次数ΔがΔ < (1 + λμ²)² / (1 − μ²)を満たす限り、パrameters 0 < μ, λ < 1 の部分グラフ問題に対してFPTASが存在する。
• 逆温度βと外部場Bに対して、反強磁性イジング模型ではΔ < (e²ᵇ⁺⁴ᴮ + e²ᵇ + 2e²ᴮ)² / [e²ᴮ(e²ᵇ + 1)²(e²ᴮ + 1)²] を満たす場合にFPTASが存在する。
• q状態の反強磁性Potts模型では、β < ln((q−2)/(Δ−1)) / (Δ+1) を満たし、かつq−2 > (λ−1)(Δ−1)λ^Δ が成り立つ場合にFPTASが存在する。
• 再帰的カップリング技法は、Holant問題へ成功裏に拡張され、反強磁性Potts模型の強い空間混合の証明を可能にした。
• この枠組みは、スピン系、グラフ準同型、重み付きCSPの近似アルゴリズムを一つの理論的傘下に統一した。