[論文レビュー] A complexity dichotomy for partition functions with mixed signs

Leslie Ann Goldberg, Martin Grohe+2 more|ArXiv.org|Apr 11, 2008

Markov Chains and Monte Carlo Methods参考文献 18被引用数 5

ひとこと要約

本稿は、符号が混合した対称実行列によって定義される分配関数について、計算量の二分岐を確立し、各関数が多項式時間で計算可能であるか、#P-完全であることを証明している。主な貢献は、多項式時間で判定可能なトレーサビリティの基準を提示したことであり、特に有限体 𝔽₂ 上の二次形式を用いたハダマード行列に関する完全な特徴付けがなされている。

ABSTRACT

Partition functions, also known as homomorphism functions, form a rich family of graph invariants that contain combinatorial invariants such as the number of k-colourings or the number of independent sets of a graph and also the partition functions of certain "spin glass" models of statistical physics such as the Ising model. Building on earlier work by Dyer, Greenhill and Bulatov, Grohe, we completely classify the computational complexity of partition functions. Our main result is a dichotomy theorem stating that every partition function is either computable in polynomial time or #P-complete. Partition functions are described by symmetric matrices with real entries, and we prove that it is decidable in polynomial time in terms of the matrix whether a given partition function is in polynomial time or #P-complete. While in general it is very complicated to give an explicit algebraic or combinatorial description of the tractable cases, for partition functions described by a Hadamard matrices -- these turn out to be central in our proofs -- we obtain a simple algebraic tractability criterion, which says that the tractable cases are those "representable" by a quadratic polynomial over the field GF(2).

研究の動機と目的

• 符号が混合した対称実行列によって定義される分配関数の計算量の複雑性を分類すること。
• 従来の結果（0-1行列や非負行列に限られていた）を、負の要素を含む一般の場合にまで拡張すること。
• 与えられた分配関数が多項式時間で計算可能かどうかを決定する、多項式時間で判定可能な基準を提供すること。
• 有限体 𝔽₂ 上の二次形式を用いて、ハダマード行列のトレーサビリティケースを特徴付けること。
• 制約充足問題とグラフ不変量の枠組みにおいて、トレーサビリティのある分配関数の完全な代数的および組合的に分類すること。

提案手法

• 対称行列 A ∈ ℝ^m×m によって定義されるホモモーフィズム関数（分配関数）の枠組みを用いる。
• 特にハダマード行列とそのテンソル分解に注目し、代数的およびスペクトル的技法を用いて行列の構造を分析する。
• 二部分割によるブロック分解を導入し、行列の恒等式を用いて評価問題をより単純な構造的サブ問題に還元する。
• 行列のべき乗とトレース条件の階層を用いて、トレーサビリティのための前均一性および対角一貫性条件（C1–C5）を導出する。
• 行列の各ブロックにおける均一性と符号の一貫性の概念を用い、多項式時間計算可能性の必要十分条件を導出する。
• 代数的グラフ理論およびトゥッテ多項式の結果を応用し、分配関数とフロー、彩色など既知の組合的不変量との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 符号が混合した対称実行列 A に対して、関連する分配関数が多項式時間で計算可能となるのはどのような場合か？
• RQ2 与えられた分配関数がトレーサビリティか #P-完全かを決定する、決定可能基準が存在するか？
• RQ3 ハダマード行列のトレーサビリティケースは代数的に特徴付け可能か？ もしそうなら、どのように？
• RQ4 行列の構造的性質（例えば、対称性、ブロック構造、符号パターン）が、関連する数え上げ問題の複雑度にどのように影響するか？
• RQ5 特に二次形式の文脈において、基礎となる体（例：𝔽₂）が、トレーサビリティのある分配関数を特徴付ける役割を果たすか？

主な発見

• 任意の対称行列 A ∈ ℝ_𝔸^m×m によって定義される分配関数は、多項式時間で計算可能であるか、#P-完全であるかのどちらかであり、完全な計算量の二分岐が確立された。
• 分配関数のトレーサビリティは、行列 A に基づいて多項式時間で判定可能であり、非負または 0-1 行列に限られていた従来の結果を拡張している。
• ハダマード行列に対しては、トレーサビリティケースは、有限体 𝔽₂ 上の二次多項式として表現可能な場合に限られる。
• 証明は、行列のブロックへの構造的分解と、前均一性および対角一貫性を保証する条件（C1）–（C5）の導出に依拠している。
• 評価問題 EVAL(A) は、行列が導出された代数的条件を満たす場合にかつその場合に限り、多項式時間で計算可能であり、これらの条件は効率的に検証可能である。
• この枠組みは、ホモモーフィズムの数え上げ、彩色、独立集合、ゼロでないフローなどの既知の結果を、分配関数の特別なケースとして統一・一般化している。