[論文レビュー] Efficient algorithms for the Potts model on small-set expanders

Charles Carlson, Ewan Davies+1 more|arXiv (Cornell University)|Mar 2, 2020

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

ひとこと要約

本稿では、小集合拡張性を示すグラフ上でフェルロ磁性Pottsモデルの分配関数を効率的に近似するアルゴリズムを提示する。従来の低温アルゴリズムに起因する制限を克服するため、独創的な「疑似基底状態」の概念を導入し、特に良好な拡張性を持たないグラフ（例：少数の辺で接続された非連結な拡張グラフ）に対しても有効である。本研究では、このようなグラフが近似的に単色性を持つ成分に分割可能であることを証明し、標準的な拡張性に基づく手法が失敗する状況でも、高精度な近似が可能であることを示している。

ABSTRACT

An emerging trend in approximate counting is to show that certain `low-temperature' problems are easy on typical instances, despite worst-case hardness results. For the class of regular graphs one usually shows that expansion can be exploited algorithmically, and since random regular graphs are good expanders with high probability the problem is typically tractable. Inspired by approaches used in subexponential-time algorithms for Unique Games, we develop an approximation algorithm for the partition function of the ferromagnetic Potts model on graphs with a small-set expansion condition. In such graphs it may not suffice to explore the state space of the model close to ground states, and a novel feature of our method is to efficiently find a larger set of `pseudo-ground states' such that it is enough to explore the model around each pseudo-ground state.

研究の動機と目的

• 良好な拡張性を持たないグラフ上での低温におけるフェルロ磁性Pottsモデルの分配関数近似の課題に取り組む。
• 既存の低温アルゴリズムが、少数の辺で接続された非連結な拡張グラフなどでは失敗するという制限を克服する。
• 支配的状態の周辺の状態空間を効率的に探索できるように、構造的な「疑似基底状態」の集合を同定する手法を開発する。
• 小集合拡張性と近似数え上げの tractability の間の理論的枠組みを確立する。

提案手法

• 支配的彩色において各成分がほぼ単色性を示すようにグラフを分割するスキームを導入する。
• スペクトル分割と拡張性の性質を用いて、内部拡張性が強い（$ \varphi(G[P_i]) \geq \varphi_{\text{in}}^2/4 $）および外部拡張性が弱い（$ \varphi(P_i) \leq \varphi_{\text{out}} $）集合 $ P_i $ を特定する。
• 反復的にクラスタ $ B_i $ と $ P_i $ を精緻化する新しいアルゴリズムを定義し、$ \ell < k $、$ \tau = 1/(5(k-1)) $、$ \rho^* = \lambda_k/10 $ を用いて次数および拡張性の制約を満たすように保証する。
• チーリングの不等式とスペクトルグラフ理論を用いて拡張性をバインドし、収束を保証する。$ \lambda_{k-1} $ を重要なスペクトルパラメータとして用いる。
• 一意的ゲーム問題に対する部分指数時間アルゴリズムの結果を基に、近似フレームワークの設計を導く。
• 終了性を証明し、実行時間を $ O(kn^2|E|^2) $ で抑え、各反復でエッジ数またはクラスタサイズが減少するため収束が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 小集合拡張性を示すが、良好な拡張性を持たないグラフ（例：スパースマッチングで接続された2つの拡張グラフ）上でも、フェルロ磁性Pottsモデルを効率的に近似できるか？
• RQ2 どのようなグラフ構造的性質が、Pottsモデル分配関数の低温近似の tractability を可能にするか？
• RQ3 単色でないが、分配関数に強く寄与する状態を含む「基底状態」の概念をどのように一般化できるか？
• RQ4 小集合拡張性は、統計物理学モデルにおける効率的アルゴリズムの実現に、標準的拡張性の代わりにどの程度置き換え可能か？
• RQ5 小集合拡張性条件下で、Pottsモデル分配関数の近似の計算複雑度はどの程度か？

主な発見

• 小集合拡張性を示すグラフ上でのフェルロ磁性Pottsモデルの分配関数は、$ (\varphi_{\text{in}}^2/4, \varphi_{\text{out}}, \tau\delta) $-分割における各成分がほぼ単色性を示す彩色に支配されている。
• アルゴリズムは、分配関数が各疑似基底状態の近傍状態の寄与を合算することで近似可能であることを示す、疑似基底状態の集合を効果的に特定した。
• アルゴリズムは $ O(kn^2|E|^2) $ 時間で終了し、各反復でクラスタサイズまたは成分間エッジ数が減少するため収束が保証される。
• 標準的な低温アルゴリズムが非連結な拡張グラフで失敗するのを、小集合拡張性を活用することで克服した。
• スペクトルグラフ理論を用いて理論的保証を確立し、$ \lambda_{k-1} $、$ \rho^* = \lambda_k/10 $、チーリングの不等式を用いたバインドを含む。
• 先行研究の拡張グラフへの一般化を達成し、弱い拡張性を持つグラフ上でのPottsモデルに対する構造定理を提供した。