[論文レビュー] Correlation Decay up to Uniqueness in Spin Systems

Liang Li, Pinyan Lu+1 more|arXiv (Cornell University)|Nov 30, 2011

Markov Chains and Monte Carlo Methods参考文献 19被引用数 15

ひとこと要約

本稿は、最大次数が有界または無限であるグラフ上で強い空間混合を示す2状態反強磁性スピン系の完全な特徴付けを確立する。強い空間混合が、次数がΔ以下の無限正則木上のギブス測度の一意性と同値であることを証明し、この一意性条件が成立する限り、分割関数に対してFPTASが得られることを示している。

ABSTRACT

We give a complete characterization of the two-state anti-ferromagnetic spin systems which are of strong spatial mixing on general graphs. We show that a two-state anti-ferromagnetic spin system is of strong spatial mixing on all graphs of maximum degree at most $Δ$ if and only if the system has a unique Gibbs measure on infinite regular trees of degree up to $Δ$, where $Δ$ can be either bounded or unbounded. As a consequence, there exists an FPTAS for the partition function of a two-state anti-ferromagnetic spin system on graphs of maximum degree at most $Δ$ when the uniqueness condition is satisfied on infinite regular trees of degree up to $Δ$. In particular, an FPTAS exists for arbitrary graphs if the uniqueness is satisfied on all infinite regular trees. This covers as special cases all previous algorithmic results for two-state anti-ferromagnetic systems on general-structure graphs. Combining with the FPRAS for two-state ferromagnetic spin systems of Jerrum-Sinclair and Goldberg-Jerrum-Paterson, and the hardness results of Sly-Sun and independently of Galanis-Stefankovic-Vigoda, this gives a complete classification, except at the phase transition boundary, of the approximability of all two-state spin systems, on either degree-bounded families of graphs or family of all graphs.

研究の動機と目的

• 最大次数がΔ以下のグラフ上で強い空間混合を示す2状態反強磁性スピン系を特徴付けること。
• このような系の分割関数に対してFPTASが存在する正確な条件を特定すること。
• 無限d-正則木上で強い空間混合が成立するかどうかが、最大次数dのすべてのグラフ上で強い空間混合を示すかという未解決の問題を解明すること。
• 一般の2状態スピン系において、無限正則木上の一意性と相関崩壊特性との関係を明確にすること。

提案手法

• 自己回避ウォーク木構成を用いて、有限グラフ上の相関崩壊を無限木上の挙動に関連付ける。
• 計算的に効率的な相関崩壊フレームワークを適用し、一意性条件のもとで分割関数のFPTASを導出する。
• ダミー頂点を用いた木上のスピン分布を再帰的に伝搬させる手法を用いて、高次元ノードをシミュレートする。
• 無限d-正則木上のギブス測度の一意性条件を用いて、2状態スピン系のパラメータ空間を分析する。
• γ > 1およびλ > λ_c^upper(β,γ)である反例を構築し、木が最悪ケースであるという一般化の妥当性を否定する。
• 鉄磁性系に関する先行研究の結果と難易度に関する結果を統合し、近似可能性の完全な分類を完成させる。

実験結果

リサーチクエスチョン

• RQ1 無限d-正則木上で強い空間混合が成立する条件が、最大次数dのすべてのグラフ上で強い空間混合を示すことを保証するのか。
• RQ2 無限正則木の次数dにおいてギブス測度の一意性が、最大次数dのグラフ上で強い空間混合を示すために必要かつ十分な条件であるか。
• RQ3 すべてのd-正則木（d ≤ Δ）で一意性条件が成立する場合、2状態反強磁性スピン系の分割関数に対してFPTASを構築できるか。
• RQ4 d-正則木上で強い空間混合が成立するという帰結が、すべての2状態反強磁性スピン系において最大次数dのすべてのグラフに一般化されるか。
• RQ5 単調性は、d-正則木上の一意性と相関崩壊特性との関係において果たす役割は何か。

主な発見

• 2状態反強磁性スピン系が最大次数がΔ以下のすべてのグラフ上で強い空間混合を示すための必要十分条件は、すべてのd-正則無限木（d ≤ Δ）で一意なギブス測度を持つことである。
• すべてのd-正則木（d ≤ Δ）で一意性条件が成立する限り、最大次数がΔ以下のグラフ上での分割関数に対してFPTASが存在する。
• 無限d-正則木上で強い空間混合が成立するという帰結が、最大次数dのすべてのグラフ上で強い空間混合を示すには、0 ≤ β, γ ≤ 1の制約のもとでのみ成立する。一般には成り立たない。
• γ > 1およびλ > λ_c^upper(β,γ)である系では、大きなd-正則木では一意であるが、小さな木では非一意となることがあり、単調性が破れ、一般化された木が最悪ケースであるという仮定が無効になる。
• 本稿は[22]の予想を反証し、d-正則木がすべての2状態スピン系において相関崩壊の最悪ケースを普遍的に表すとは限らないことを示した。
• FPTASと既存のFPRASおよび難易度に関する結果を統合することで、相転移境界を除き、2状態スピン系の近似可能性の完全な分類を達成した。