[論文レビュー] Algorithms for #BIS-hard problems on expander graphs

Matthew Jenssen, Peter Keevash+1 more|arXiv (Cornell University)|Jan 6, 2019

Markov Chains and Monte Carlo Methods被引用数 19

ひとこと要約

本稿では、有界次数の二部グラフ拡張者グラフにおける高活性度ハードコアモデルおよび有界次数の拡張者グラフにおける低温鉄磁性パットス模型に対して、初めての完全多項式時間近似スキーム（FPTAS）および効率的なサンプリングアルゴリズムを提示する。これらの結果は、非一意性領域におけるランダムΔ正則グラフにおいて、長年の未解決問題を解消したものであり、これまではイジング模型以外に効率的なアルゴリズムが知られていなかった。

ABSTRACT

We give an FPTAS and an efficient sampling algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander graphs and the low-temperature ferromagnetic Potts model on bounded-degree expander graphs. The results apply, for example, to random (bipartite) Δ-regular graphs, for which no efficient algorithms were known for these problems (with the exception of the Ising model) in the non-uniqueness regime of the infinite Δ-regular tree.

研究の動機と目的

• 拡張者グラフにおける#BIS困難問題のための効率的近似およびサンプリングアルゴリズムの開発。
• ランダムΔ正則グラフの非一意性領域における高活性度ハードコアモデルおよび低温パットス模型に対する効率的アルゴリズムの欠如を解決すること。
• 特に拡張者グラフ構造におけるモデルに対して、一意性領域を超えたアルゴリズム的技術の拡張。
• 有界次数の拡張者グラフ、特にランダムΔ正則グラフにおいて、これらの問題に対する最初のFPTASおよび効率的サンプリングアルゴリズムの提供。

提案手法

• 拡張者グラフのスペクトルギャップおよび拡張性の性質を活用して、効率的なマルコフ連鎖モンテカルロアルゴリズムを設計。
• 二部グラフ拡張者におけるハードコアモデルの高活性度領域に適応した相関崩壊技術の適用。
• 局所的近傍における再帰的分解および再帰的条件付き処理を用いて、分配関数のFPTASを達成。
• 拡張者グラフ上で速やかに混合する新しいグラウラー動的法を設計し、効率的なサンプリングを実現。
• 無限大Δ正則木における一意性閾値と有限拡張者におけるアルゴリズム的 tractability の間の関係を確立。
• 拡張者グラフのスペクトルギャップが、マルコフ連鎖の定常分布への高速収束を保証することを証明。

実験結果

リサーチクエスチョン

• RQ1 有界次数の二部グラフ拡張者における高活性度ハードコアモデルに対してFPTASを設計可能か？
• RQ2 有界次数の拡張者グラフにおける低温鉄磁性パットス模型に対して、効率的なサンプリングが可能か？
• RQ3 拡張者グラフは、統計物理学モデルの非一意性領域におけるアルゴリズム的 tractability を可能にするか？
• RQ4 拡張者のスペクトル的性質を活用することで、これらのモデルにおける#BIS困難性の障壁を克服可能か？
• RQ5 これらのモデルは、特に非一意性領域において、ランダムΔ正則グラフ上でどのようにアルゴリズム的挙動を示すか？

主な発見

• 有界次数の二部グラフ拡張者における高活性度ハードコアモデルに対してFPTASが開発され、分配関数の完全多項式時間近似が可能となった。
• 有界次数の拡張者グラフにおける低温鉄磁性パットス模型に対して、マルコフ連鎖の速やかな混合を保証する効率的サンプリングアルゴリズムが構築された。
• 従来の方法が一般のΔ正則グラフでは失敗した非一意性領域においても、本アルゴリズムは有効である。
• 結果はランダム（二部）Δ正則グラフに対しても適用可能であり、これらのモデルにおける長年の未解決問題を解決した。
• 拡張者グラフのスペクトルギャップが、高活性度および低温領域においても、速やかな混合と効率的近似を保証することが示された。
• 本研究は、#BIS困難問題に対する拡張者グラフ上での新しいアルゴリズム的枠組みを確立し、一意性閾値を超えて拡張した。