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

ひとこと要約

本稿では、無限正則木における一意性条件を満たすシステムパラメータのもとで、任意のグラフ上の2状態スピン系の分配関数を計算する最初の決定的完全多項式時間近似スキーム（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領域を超えた2状態スピン系の近似可能性のギャップを埋める。
• 無限正則木における一意性条件を満たすシステムに対して、分配関数の決定的FPTASを確立する。
• 任意のグラフ（無限大次数を含む）において効率的な計算を可能にする、新しい相関崩壊フレームワークを開発する。
• 一般化可能なアルゴリズム的手法を通じて、スピン系およびハードコアモデルに関する先行研究を統合・拡張する。
• 一意性閾値における計算的相転移の予想の理論的基盤を提供する。

提案手法

• グラフ距離ではなく洗練されたメトリクスで崩壊を測る、計算的に効率的な相関崩壊の新概念を導入する。
• アモアタイズド行動の分析にポテンシャル法を用い、逆多項式精度への多項式時間収束を保証する。
• 自己回避ウォーク（SAW）ツリー構成を用いて、分配関数の計算を周辺確率推定に還元する。
• 相関崩壊率が無限正則木における一意性条件のもとで決定的FPTASを保証することを確立する。
• ハードコアモデルとβ=0のスピン系の等価性を活用し、既知の難易度結果に接続する。
• 任意のグラフ上のmax-cutからd-正則グラフ上のmax-cutへの還元を用いて、ハードコアモデルの難易度結果を強化する。

実験結果

リサーチクエスチョン

• RQ1 無限正則木における一意性条件を満たす任意のグラフ上の2状態スピン系の分配関数に対して、決定的FPTASを設計可能か？
• RQ2 洗練されたメトリクスを用いた計算的に効率的な相関崩壊は、高次元グラフ上でも多項式時間近似を可能にするか？
• RQ3 無限正則木における一意性閾値は、近似可能と近似不能な2状態スピン系の真の境界か？
• RQ4 ハードコアモデルの難易度結果をd-正則グラフに拡張することで、d ≥ 6におけるλ > (d−1)^(d−1)/(d−2)^dの厳密な閾値を確認できるか？
• RQ5 提案された相関崩壊フレームワークは、スピン系を超えた他の数え上げ問題へ一般化可能か？

主な発見

• 本稿では、無限正則木におけるパラメータの一意性条件を満たす任意のグラフ上での2状態スピン系の分配関数を計算する最初の決定的FPTASを確立する。
• 提案された計算的に効率的な相関崩壊は、無限大次数のグラフでさえも多項式時間内で逆多項式精度を達成する。
• 著者らは、古典的相関崩壊が高次元グラフで局所計算時間が超多項式的になるため失敗するという制限を効果的に克服した。
• 著者らは、ハードコアモデルの最大次数dのグラフにおける難易度結果がd-正則グラフにまで拡張可能であることを証明し、d ≥ 6におけるλ > (d−1)^(d−1)/(d−2)^dの閾値が正当化されることを確認した。
• β=0およびγ < 10·11^(-11/12)（d=12）の場合、FPRASが存在するならばNP=RPであるため、近似不能性の境界が確認された。
• このフレームワークは、スピン系を超えた他の数え上げ問題に対してもFPTAS設計に応用可能な一般的手法を提供する。