[論文レビュー] Zero-free regions of partition functions with applications to algorithms and graph limits

Guus Regts|arXiv (Cornell University)|Jan 1, 2015

Markov Chains and Monte Carlo Methods参考文献 52被引用数 15

ひとこと要約

本稿は、有界次数のグラフ上のエッジ彩色モデルの分配関数のゼロ非存在領域を確立し、Barvinokの手法を用いて準多項式時間近似スキームを可能にする。特定のエッジ彩色モデルのパラメータ条件下で、分配関数が非ゼロであり、効率的に近似可能であることを証明し、Tutte多項式やマッチング多項式などのグラフ多項式への応用およびBenjamini-Schramm収束における連続性を含む。

ABSTRACT

Based on a technique of Barvinok and Barvinok and Sober\\'on we identify a class of edge-coloring models whose partition functions do not evaluate to zero on bounded degree graphs. Subsequently we give a quasi-polynomial time approximation scheme for computing these partition functions. As another application we show that the normalised partition functions of these models are continuous with respect the Benjamini-Schramm topology on bounded degree graphs. We moreover give quasi-polynomial time approximation schemes for evaluating a large class of graph polynomials, including the Tutte polynomial, on bounded degree graphs.

研究の動機と目的

• エッジ彩色モデルの分配関数が、最大次数Δのすべてのグラフ上でゼロでない条件を同定すること。
• Barvinokのゼロ非存在領域技術を用いて、これらの分配関数の準多項式時間近似アルゴリズムを開発すること。
• このようなモデルについて、正規化された分配関数がBenjamini-Schramm位相に関して連続であることを確立すること。
• Tutte多項式やマッチング多項式を含む広範なクラスのグラフ多項式への近似枠組みを拡張すること。
• スパースグラフ列の計算可能性と限界に関する理論的基盤を提供すること。

提案手法

• 分配関数多項式の複素平面上におけるゼロ非存在領域を同定するBarvinokの手法を適用する。
• これらのゼロ非存在領域内での分配関数の対数の低次のテイラー近似を用いる。
• エッジ彩色モデルに対する十分条件を確立：β > 0.35および|α| ≤ Δの下で、|h(α) - 1| ≤ β/(Δ+1)を満たすことで、最大次数Δのグラフ上での分配関数の非ゼロ性が保証される。
• フラグメントに基づく分解とムビウス逆転を用いて、分配関数の計算を部分グラフ数（ind(H,G)）の線形結合に還元する。
• テンソルネットワークとエッジ彩色モデルの構造を活用し、標準的な頂点彩色モデルを超えて結果を一般化する。
• ゼータ行列とその逆行列を用いて、フラグメント数（ind*(F,G)）を部分グラフ数（ind(H',G)）の線形結合として表現し、アルゴリズム的還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 エッジ彩色モデルのパラメータがどのような条件下で、最大次数Δのすべてのグラフ上で分配関数がゼロでないことが保証されるか？
• RQ2 ゼロ非存在領域解析を用いて、エッジ彩色モデルの分配関数に対する準多項式時間近似スキームを構築可能か？
• RQ3 このようなモデルについて、正規化された分配関数の対数はBenjamini-Schramm位相に関して連続か？
• RQ4 この枠組みは、Tutte多項式やマッチング多項式を含む広範なクラスのグラフ多項式の近似に拡張可能か？
• RQ5 これらの分配関数のゼロ非存在領域の正確な構造は何か？ そして、現在の球状の境界を超えて改善可能か？

主な発見

• 任意のΔ ∈ ℕに対して、β > 0.35が存在し、すべてのα ∈ ℕᵏで|α| ≤ Δを満たす各αについて|h(α) - 1| ≤ β/(Δ+1)が成り立つならば、最大次数がΔ以下のすべてのグラフGに対してp(G)(h) ≠ 0が成り立つ。
• このようなエッジ彩色モデルの分配関数は、任意の所望の精度で準多項式時間内に近似可能である。
• 正規化された分配関数の対数は、有界次数のグラフ上でBenjamini-Schramm位相に関して連続である。
• Tutte多項式およびマッチング多項式の評価について、準多項式時間近似スキームが確立された。
• サイズが(Δ+1)m以下の部分グラフの数を用いることで、フラグメント数を表現でき、ムビウス逆転を介して部分グラフ数への還元が可能となる。
• この手法はテンソルネットワークへ一般化され、広範なクラスのHolant問題の近似を可能にするフレームワークを提供する。