[論文レビュー] Constant-Time Algorithms for Monomer-Dimer Systems on Bounded Degree Graphs

Marc Lelarge, Hang Zhou|arXiv (Cornell University)|Aug 17, 2012

Graph theory and applications被引用数 1

ひとこと要約

本稿では、加法的誤差 ɛn で単位グラフのモノマー・ジマー分配関数 log Z(G, λ) を近似する最初のサブリニア時間アルゴリズムを提示する。クエリ時間は 1/ɛ の多項式的であり、相関崩壊を用いて局所的計算によりマッチング確率、平均マッチングサイズ、エントロピーを効率的に推定する。1/ɛ の2次下界が示されている。

ABSTRACT

For a graph G on n vertices, let Z(G, λ) be the partition function of the monomer-dimer system defined by: Z(G, λ) = ∑ k mk(G)λk, where mk(G) is the number of matchings of cardinality k in G. We develop a constant-time algorithm for approximating log Z(G, λ) at an arbitrary point λ ≥ 0 with additive error ɛn. In the bounded degree model, the query complexity of our algorithm is polynomial in 1/ɛ, and we provide a lower bound quadratic in 1/ɛ for this problem. This is the first analysis of a sublinear-time algorithm for a #P-complete problem. Our approach is based on the correlation decay of the Gibbs distribution associated with Z(G, λ). We show that our algorithm approximates the probability for a vertex to be covered by a matching sampled according to this Gibbs distribution in a near-optimal sublinear-time. We extend our results to approximate the average size and the entropy of such a matching with an additive error in constant time, where again the query complexity is polynomial in 1/ɛ and the lower bound is quadratic in 1/ɛ. Our algorithms are simple to implement and of practical use when dealing with massive datasets. Our results extend to many other problems where the correlation decay is known to hold as for independent sets or the Ising model up to the critical activity.

研究の動機と目的

• 有界次数のグラフにおけるモノマー・ジマー分配関数 Z(G, λ) のサブリニア時間近似アルゴリズムの開発。
• 加法的誤差 ɛn を用いた log Z(G, λ) の定数時間近似を達成すること。
• 同じ誤差とクエリ時間複雑性で、ギブス分布における平均マッチングサイズとエントロピーの推定にこのアプローチを拡張すること。
• 1/ɛ の2次下界を示すことにより、クエリ時間複雑性のタイトな境界を確立すること。
• 相関崩壊が成り立つ他の #P-完全問題（独立集合やイジング模型など）へこのフレームワークを一般化すること。

提案手法

• モノマー・ジマー系に関連するギブス分布における相関崩壊を用いて、グラフ内の長距離依存性を制限する。
• 頂点がランダムマッチングでカバーされる周辺確率を、有界深さまで再帰的に局所的近傍を探索することで推定する。
• クエリ時間複雑性は 1/ɛ の多項式的であり、相関崩壊の減衰率を用いて誤差境界を満たすように探索深さを決定する。
• 局所的サンプリングと集約技術を用いて、log Z(G, λ)、平均マッチングサイズ、エントロピーの近似値を計算する。
• 頂点カバー確率の推定への還元により、サブリニアクエリでグローバル統計を効率的に計算可能となる。
• 独立集合やイジング模型などの他のモデルへは、それらの設定で知られている相関崩壊結果を活用することでアプローチを拡張する。

実験結果

リサーチクエスチョン

• RQ1 有界次数のグラフにおいて、加法的誤差 ɛn を用いた log Z(G, λ) のサブリニア時間近似は可能か？
• RQ2 有界次数モデルにおける log Z(G, λ) の近似に最適なクエリ時間複雑性は何か？
• RQ3 このアルゴリズムは、同じ誤差と時間制約で、ギブス分布下でのランダムマッチングの平均サイズとエントロピーも推定可能か？
• RQ4 ギブス分布における相関崩壊の性質は、グローバルグラフ統計の定数時間近似を可能にするか？
• RQ5 このフレームワークは、独立集合やイジング模型といった他の #P-完全問題へ一般化可能か？

主な発見

• 本稿では、加法的誤差 ɛn で log Z(G, λ) を近似する定数時間アルゴリズムを提示する。クエリ時間複雑性は 1/ɛ の多項式的である。
• アルゴリズムは、遠く離れた頂点の影響を相関崩壊によって制限することで、局所的計算が可能となる。
• クエリ時間複雑性に対して 1/ɛ の2次下界が示され、アルゴリズムがほぼ最適であることが示された。
• 同じ加法的誤差 ɛn を用いて、平均マッチングサイズとエントロピーの定数時間近似も可能である。
• 相関崩壊が成立する独立集合やイジング模型などの他の問題へも、このフレームワークを拡張可能である。
• アルゴリズムは実装が単純で、サブリニアクエリ時間複雑性のおかげで、大規模データセットに対しても実用的である。