[論文レビュー] The Complexity of Ferromagnetic Two-spin Systems with External Fields

Jing‐Cheng Liu, Pinyan Lu+1 more|arXiv (Cornell University)|Feb 18, 2014

Markov Chains and Monte Carlo Methods被引用数 7

ひとこと要約

この論文は、イジング模型以外の強磁性二スピン系において、外部磁場が閾値を超えると、分割関数の計算が#BIS-hard になることを確立している。著者らは近似を保つ還元を用いて証明し、対数誤差境界と反復的構成を用いた再帰的近似を分析し、外部磁場が臨界値を超えると計算の困難さが現れることを示している。これは、イジング模型とは対照的に、計算の容易さを示さないことを示している。

ABSTRACT

We study the approximability of computing the partition function for ferromagnetic two-state spin systems. The remarkable algorithm by Jerrum and Sinclair showed that there is a fully polynomial-time randomized approximation scheme (FPRAS) for the special ferromagnetic Ising model with any given uniform external field. Later, Goldberg and Jerrum proved that it is #BIS-hard for Ising model if we allow inconsistent external fields on different nodes. In contrast to these two results, we prove that for any ferromagnetic two-state spin systems except the Ising model, there exists a threshold for external fields beyond which the problem is #BIS-hard, even if the external field is uniform.

研究の動機と目的

• 外部磁場を伴う強磁性二スピン系における分割関数の近似の計算複雑性を特定すること。
• 外部磁場がイジング模型を超えて計算の困難さの段階的転移を引き起こすかどうかという未解決問題を解明すること。
• 外部磁場が特定の閾値を超えると、問題が#BIS-hard になるような閾値を同定すること、すなわち一様な外部磁場下でも同様に成り立つこと。
• 一貫性のない外部磁場における既知の困難性結果を、非イジング強磁性系の均一な場合へと拡張すること。

提案手法

• 一様な外部磁場を用いて任意の外部磁場をシミュレートすることで、#BIS-hardness を示す近似を保つ還元を用いる。
• 木構造に基づく再帰的近似スキームと、外部磁場値の反復的構成を用いる。
• 真の分割関数値と推定値の乖離を制限するために、対数誤差解析を適用する。
• 正しい分割関数再帰をモデル化する再帰関数 F(z) を導入し、それを近似版 F̃(z) と比較する。
• 深さ ℓ における帰納法を用いて、対数スケールでの近似誤差が O(α^ℓ) の形で有界であることを証明する。
• 構築された外部磁場集合のサイズが exp(O(ℓ)) に比例することを示し、近似パrameterに対して多項式時間内に実行可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 イジング模型を超えて、外部磁場の存在が強磁性二スピン系における計算の段階的転移を引き起こすか？
• RQ2 外部磁場が特定の閾値を超えると、非イジング強磁性二スピン系の分割関数計算が#BIS-hard になるか？
• RQ3 一様な外部磁場が、すでに一貫性のない磁場下で#BIS-hard である系においても#BIS-hard を引き起こすか？
• RQ4 非イジング強磁性系において、計算の困難さを引き起こす外部磁場の正確な閾値は何か？
• RQ5 再帰的構成において、対数スケールでの近似誤差はどのように伝搬するか？

主な発見

• イジング模型以外の任意の強磁性二スピン系に対して、外部磁場 μ > μ₀ であれば、問題が#BIS-hard になるような閾値 μ₀ が存在する。
• 閾値 μ₀ は β, γ および系のパラメータで明示的に特徴づけられ、β/γ の比とグラフの次数に依存する。
• 一様な外部磁場下でも、この閾値を超えると問題が#BIS-hard になる。これは、イジング模型の容易さとは対照的である。
• 対数スケールでの近似誤差は O(α^ℓ) で有界であり、ここで α = (βγ−1)/(√(βγ)+1) < 1 であるため、収束が保証される。
• 構築された外部磁場集合のサイズは exp(O(ℓ)) に比例し、還元が効率的であり、FPRAS の還元に適している。
• 証明により、イジング模型は外部磁場がいかなる値であっても計算が容易である唯一の強磁性二スピン系であることが示され、その特殊な役割が浮き彫りになる。