[論文レビュー] FPTAS for Hardcore and Ising Models on Hypergraphs

Pinyan Lu, Kuan Yang+1 more|arXiv (Cornell University)|Sep 18, 2015

Markov Chains and Monte Carlo Methods参考文献 13被引用数 3

ひとこと要約

本稿では、ハイパーグラフ上のハードコアおよび反強磁性イジング模型の分配関数に対する、初めての完全多項式時間近似スキーム（FPTAS）を提示する。相関崩壊アプローチを用い、新規の再帰的計算木構造を導入することで、通常のグラフにおける一意性条件と一致するタイトな近似閾値を確立する。これは統計物理学系における高次相互作用への先行研究の拡張である。

ABSTRACT

Hardcore and Ising models are two most important families of two state spin systems in statistic physics. Partition function of spin systems is the center concept in statistic physics which connects microscopic particles and their interactions with their macroscopic and statistical properties of materials such as energy, entropy, ferromagnetism, etc. If each local interaction of the system involves only two particles, the system can be described by a graph. In this case, fully polynomial-time approximation scheme (FPTAS) for computing the partition function of both hardcore and anti-ferromagnetic Ising model was designed up to the uniqueness condition of the system. These result are the best possible since approximately computing the partition function beyond this threshold is NP-hard. In this paper, we generalize these results to general physics systems, where each local interaction may involves multiple particles. Such systems are described by hypergraphs. For hardcore model, we also provide FPTAS up to the uniqueness condition, and for anti-ferromagnetic Ising model, we obtain FPTAS where a slightly stronger condition holds.

研究の動機と目的

• グラフからハイパーグラフへ、二スピン系の分配関数に対するFPTASを拡張すること。ここで相互作用は2つ以上の粒子を含む。
• 通常のグラフにおける一意性条件と一致する近似閾値を確立し、最適性を証明すること。
• 自己回避ウォーク木の制限を克服すること。これはハイパーグラフに一般化できない。
• 二層構造の計算木を用いた、ハイパーグラフ上での相関崩壊のための新規な再帰的フレームワークを開発すること。
• ハイパーグラフ上でのハードコアおよび反強磁性イジング模型に対して、タイトで鋭い条件の下でFPTASを提供すること。

提案手法

• グラフベースの手法で用いられる自己回避ウォーク木に代わり、二層構造の再帰的計算木を構築することで、相関崩壊アプローチをハイパーグラフに適応する。
• ハイパーグラフから導出される木構造上のマージナル確率を追跡する再帰関数を定義し、多項式時間での打ち切りを可能にする。
• 対数変換と微分解析を用いて、計算木の各段階におけるマージナル確率の相対誤差の崩壊を制限する。
• 重みと誤差項の積が指数的減少関数で有界であることを証明することで、一様な崩壊率を確立する。
• 計算木の深さに関する帰納法を用い、マージナル確率関数の対数微分に関する境界を活用する。
• 一意性閾値条件を活用し、崩壊率が1未満であることを保証することで、多項式時間内で良好な近似に収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 通常のグラフにおける一意性閾値と一致するハイパーグラフ上のハードコアモデルに対するFPTASを設計できるか？
• RQ2 自己回避ウォーク木の構築に失敗する場合でも、相関崩壊法がハイパーグラフに拡張可能か？
• RQ3 相互作用パラメータが実数である場合でも、ハイパーグラフ上での反強磁性イジング模型をタイトな閾値内で近似可能か？
• RQ4 通常のグラフにおける既知の閾値に一致またはわずかに上回る、ハイパーグラフイジング模型に対する鋭いFPTASは存在するか？
• RQ5 二層構造の再帰的計算木フレームワークは、ハイパーグラフ上での他の反強磁性二スピン系へ一般化可能か？

主な発見

• 最大次数Δ ≥ 2のハイパーグラフ上でのハードコアモデルに対してFPTASが確立され、活性λ < (Δ−1)^(Δ−1) / (Δ−2)^Δの条件下で、通常のグラフにおける一意性閾値と一致する。
• 反強磁性イジング模型に対しては、β ≥ 1 − 2 / (2e^(-1/2)Δ + 3) の下でFPTASが提供され、漸近的にタイトであり、通常のグラフの閾値と比較して定数係数でわずかに劣る。
• ハードコアモデルのFPTASはΔ = 2の場合を含み、以前に#P完全であると示された重み付きエッジ被覆に対する別証明を提供する。
• この手法はハードコアおよびイジング模型を越えて、ハイパーグラフ上でのより広範な反強磁性二スピン系のクラスへ一般化可能である。
• 分析により、対数微分に関する新規な境界を用いて、マージナル確率における相対誤差の指数的崩壊を証明し、多項式時間収束を保証する。
• 従来の研究の制限を克服するため、一般ケースにおける実数パラメータに対して必須となる数値近似を避ける。