[論文レビュー] Inapproximability for Antiferromagnetic Spin Systems in the Tree Non-Uniqueness Region

Andreas Galanis, Daniel Štefankovič+1 more|arXiv (Cornell University)|May 13, 2013

Markov Chains and Monte Carlo Methods参考文献 21被引用数 6

ひとこと要約

本稿は、多スピン反強磁性系における最初の近似不能性結果を確立し、$k$-彩色および関連モデルの分配関数を近似することは、一般にNP = RPでない限り、木の非一意性領域（特に偶数の$k < \Delta$）では計算的に困難であることを証明している。本手法は、行列ノルム、ランダムな$\Delta$-正則二部グラフ上の分配関数のモーメント解析、および木再帰（ベイズ推論）の不動点との関連を組み合わせており、統計物理学における相転移と一致する強力な近似不能性の壁を生み出している。

ABSTRACT

A remarkable connection has been established for antiferromagnetic 2-spin systems, including the Ising and hard-core models, showing that the computational complexity of approximating the partition function for graphs with maximum degree D undergoes a phase transition that coincides with the statistical physics uniqueness/non-uniqueness phase transition on the infinite D-regular tree. Despite this clear picture for 2-spin systems, there is little known for multi-spin systems. We present the first analog of the above inapproximability results for multi-spin systems. The main difficulty in previous inapproximability results was analyzing the behavior of the model on random D-regular bipartite graphs, which served as the gadget in the reduction. To this end one needs to understand the moments of the partition function. Our key contribution is connecting: (i) induced matrix norms, (ii) maxima of the expectation of the partition function, and (iii) attractive fixed points of the associated tree recursions (belief propagation). The view through matrix norms allows a simple and generic analysis of the second moment for any spin system on random D-regular bipartite graphs. This yields concentration results for any spin system in which one can analyze the maxima of the first moment. The connection to fixed points of the tree recursions enables an analysis of the maxima of the first moment for specific models of interest. For k-colorings we prove that for even k, in the tree non-uniqueness region (which corresponds to k

研究の動機と目的

• 2スピン系（例：イジング模型、ハードコア模型）の既知の近似不能性結果を、$k$-彩色や反強磁性ポッツ模型などの多スピン系へ拡張すること。
• 反強磁性スピン系において、無限大の$\Delta$-正則木における一意性／非一意性相転移に類似した、木の非一意性領域における計算的障壁を同定すること。
• ランダムな$\Delta$-正則二部グラフ上での分配関数の1次モーメントおよび2次モーメントを分析する一般枠組みを構築すること。
• 誘導行列ノルム、分配関数の1次モーメントの最大値、および木再帰（ベイズ推論）の不動点との間の関係を確立し、統一的な解析を可能にすること。

提案手法

• 一般スピン系に対して、ランダムな$\Delta$-正則二部グラフ上での分配関数の2次モーメントを解析するため、誘導行列ノルムを用いる。
• 特定のモデルに対して、分配関数の1次モーメントの最大値と木再帰（ベイズ推論）の不動点との間の関係を確立する。
• 確率ベクトルおよび補助変数の上での関数$\overline{\Phi^S}$を最大化するための変分法を適用し、木再帰構造から導かれる制約条件を用いる。
• 対角化の議論と連続性を用いて、確率ベクトルの一部の成分が0になる場合であっても、目的関数の上界が達成されることを証明する。
• 目的関数の微分解析を用いて、境界最大値（例：$R_i = 0$）が最適でないことを示し、特定の不等式が成立しない場合に限って成立する。これにより内部解が保証される。
• 近似不能性結果を、システムの構造的性質に還元する：無限大の$\Delta$-正則木上で不動点が一意でないならば、NP = RPでない限りFPRASは存在しない。

実験結果

リサーチクエスチョン

• RQ1 2スピン系の近似不能性閾値は、$k$-彩色などの多スピン系へも拡張可能か？
• RQ2 ランダムな$\Delta$-正則二部グラフ上での分配関数の挙動を十分に分析できるか？ これにより、一般の反強磁性スピン系に対する近似不能性結果が得られるか？
• RQ3 誘導行列ノルム、分配関数の1次および2次モーメント、および木上のベイズ推論の不動点との間に、関係があるか？
• RQ4 どのパrameter領域（例：$k < \Delta$）において、木の非一意性領域が$\Delta$-正則グラフの$k$-彩色数の近似の計算的非可解性を示すか？

主な発見

• 偶数の$k$に対して、三角形を含まない$\Delta$-正則グラフにおける$k$-彩色数の近似は、$k < \Delta$である木の非一意性領域では、FPRASでは近似不能であり、NP = RPでない限り成立しない。
• 近似不能性結果は、反強磁性ポッツ模型へ拡張され、やや弱い条件下ではすべての反強磁性スピン系へも拡張可能である。
• ランダムな$\Delta$-正則二部グラフ上での分配関数の2次モーメントは集中しており、近似不能性証明における2次モーメント法の適用が可能である。
• 分配関数の1次モーメントの最大値は、$\Delta$-正則木上のベイズ推論再帰の不動点に対応し、統計物理学と計算複雑性の間の橋渡しを果たす。
• 証明では、不動点が吸引的（非一意）である場合、分配関数の期待値が大きく、行列ノルムを用いて2次モーメントが制御され、集中が得られることを示している。
• 最適化問題の定義域の境界が最大値をもたらさないことは、微分条件が成立しない場合に限ることを示しており、これにより内部解が保証され、構造的整合性が確保される。