[論文レビュー] An Improvement of the Lovász Local Lemma via Cluster Expansion

Rodrigo Bissacot, Roberto Fernández+2 more|arXiv (Cornell University)|Oct 9, 2009

Limits and Structures in Graph Theory参考文献 14被引用数 19

ひとこと要約

この論文は、統計力学におけるクラスターエクスパンション技法を活用して、Lovász Local Lemma (LLL) を改善する。具体的には、ハードコアガスの分配関数の対数の解析性を用いる。組合せ問題、例えばラテン横断行列やk-SATの充足可能性に関するより緊密な境界を導出し、従来のLLLに比べて顕著な改善を達成する。その根拠は、ポリマー気体のクラスターエクスパンションに基づく新しい定式化と、Shearerが独立集合多項式に関連付けるLLLの関係に立っている。

ABSTRACT

An old result by Shearer relates the Lovász Local Lemma with the independent set polynomial on graphs, and consequently, as observed by Scott and Sokal, with the partition function of the hard core lattice gas on graphs. We use this connection and a recent result on the analyticity of the logarithm of the partition function of the abstract polymer gas to get an improved version of the Lovász Local Lemma. As applications we obtain tighter bounds on conditions for the existence of latin transversal matrices and the satisfiability of k-SAT forms.

研究の動機と目的

• 統計力学からの高度な技術、特にクラスターエクスパンション手法を応用して、Lovász Local Lemma (LLL) を改善すること。
• ラテン横断行列や充足可能なk-SAT形式などの組合せ的対象の存在に対するより緊密な十分条件を確立すること。
• probabilistic combinatoricsと統計力学の間のギャップを、LLLと独立集合多項式との間のShearerの関係を活用することで埋めること。
• クラスターエクスパンションにおける収束推定とLLLフレームワークにおける改善された境界を結ぶ体系的で明示的な道筋を提示すること。
• 最近得られた分配関数の対数の解析性に関する結果が、古典的な組合せ的問題の解決に実用的にどのように応用できるかを示すこと。

提案手法

• Shearerの定理を用いて、グラフ上の独立集合多項式の観点からLLLを再表現し、ハードコア格子ガスの分配関数と関連付ける。
• ScottとSokalによる、複素活動を持つ抽象ポリマー気体の分配関数を用いたLLLの再定式化を適用する。
• 分配関数の対数のクラスターエクスパンションにおける収束半径に関する最近の結果を用い、多変数多価円板内での解析性を保証する。
• クラスターエクスパンション形式を用いて、悪事象がすべて同時に発生しない確率が正であるための新しい十分条件を導出する。
• 対数分配関数の級数展開に対する固定点形式を導入し、収束半径の上限を評価可能にする。
• 積分表現と主要化技術を用いて級数項を評価し、すべての悪事象を回避する確率に対する改善された上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 統計力学におけるクラスターエクスパンション技法を用いて、Lovász Local Lemmaにおけるより緊密な境界を導出できるか？
• RQ2 クラスターエクスパンションの収束半径と改善されたLLL条件との正確な関係は何か？
• RQ3 k-SAT やラテン横断問題のような問題において、新しいLLL境界は古典的LLLと定量的にどのように比較できるか？
• RQ4 分配関数の対数の解析性を活用して、組合せ的存在定理を改善できるか？
• RQ5 ポリマー気体形式は、LLLにおける依存構造をどのように精緻化するか？

主な発見

• 本論文は、クラスターエクスパンション推定を用いて、古典的境界を上回る新しいLLLの十分条件を確立した。
• k-SATに対しては、最大次数NがN ≤ 2^k / (e k) を満たす場合に充足可能性が保証され、これは古典的境界2^k / (e (k-1)) よりも緊密である。
• すべての悪事象を回避する確率に対する境界は、クラスターエクスパンションの収束半径に起因し、古典的LLLよりも指数的に改善されている。
• 主な結果は、対数分配関数の級数展開の固定点形式を経由し、解析性を保証する主要化を導出し、より緊密な境界を可能にする。
• 新しいLLL境界は、具体的な問題において有効であることが示された：ラテン横断行列に関しては、以前に知られていたものより良い存在閾値が得られた。
• P(∅) ≥ ∏_{x∈X} [1 - ρ_x]^{φ̃_x*(μ)} という境界が導出され、これは古典的積型境界を改善しており、クラスターエクスパンションによる収束制御の向上を反映している。