[論文レビュー] The Complexity of Partition Functions on Hermitian Matrices

Marc Thurley|arXiv (Cornell University)|Apr 7, 2010

Graph theory and applications参考文献 17被引用数 10

ひとこと要約

この論文は、対称実行列の研究を拡張して、ヘルミート行列によって定義される分割関数の完全な複雑度分類を提供する。このような分割関数は、多項式時間で計算可能か#P-ハードのいずれかであり、計算可能性の基準はアーベル群に由来する代数的構造およびユニタリ根の整合性条件に根ざしている。

ABSTRACT

Partition functions of certain classes of "spin glass" models in statistical physics show strong connections to combinatorial graph invariants. Also known as homomorphism functions they allow for the representation of many such invariants, for example, the number of independent sets of a graph or the number nowhere zero k-flows. Contributing to recent developments on the complexity of partition functions we study the complexity of partition functions with complex values. These functions are usually determined by a square matrix A and it was shown by Goldberg, Grohe, Jerrum, and Thurley that for each real-valued symmetric matrix, the corresponding partition function is either polynomial time computable or #P-hard. Extending this result, we give a complete description of the complexity of partition functions definable by Hermitian matrices. These can also be classified into polynomial time computable and #P-hard ones. Although the criterion for polynomial time computability is not describable in a single line, we give a clear account of it in terms of structures associated with Abelian groups.

研究の動機と目的

• 対称実行列に制限された分割関数の複雑度分類を、複素数成分をもつヘルミート行列へ拡張すること。
• ヘルミート行列によって定義される分割関数が多項式時間で計算可能か#P-ハードかを特定する明確な代数的基準を同定すること。
• 同型写像フレームワークを用いて、独立集合、彩色、フローといったグラフ不変量の先行結果を統一的かつ一般化すること。
• これらの関数の計算複雑度とアーベル群の構造との間の関係を、特にユニタリ根に基づく表現を通じて確立すること。
• 複雑な分割関数を、複雑度解析に適したモジュラ算術問題に還元する体系的な手法を提供すること。

提案手法

• 双子削減および頂点ピン留め技術を用いて、一般ケースを連結行列に還元する。
• 連結行列を、素数べき位数の巡回群に対応するヘルミート成分に分解して分析する。
• 算術的構造補題を適用し、行列構造と有限環上の群表現との関係を関係づける。
• ユニタリ根の転送および合同的分割関数還元を用いて、問題を指数和の評価に変換する。
• 再構成補題およびピン留め補題を用いて、頂点制約をシミュレートし、グローバル構成への依存度を低減する。
• 定理7.3を適用し、各還元問題が指数内の単項式に関する整合性条件を満たす場合、多項式時間で計算可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのヘルミート行列に対して、関連する分割関数が多項式時間で計算可能か？
• RQ2 ヘルミート行列のどの代数的および群論的条件が、その分割関数が#P-ハードであるかを決定するか？
• RQ3 複素数重みをもつ有向グラフにおける分割関数は、どのようにモジュラ指数和に還元できるか？
• RQ4 指数内の2次および1次単項式に関する整合性条件が、分割関数の tractability にどのように影響するか？
• RQ5 対称実行列の複雑度分類は、複素ヘルミート行列の全クラスへ拡張可能か？

主な発見

• ヘルミート行列によって定義される分割関数は、多項式時間で計算可能か#P-ハードのいずれかであり、中間の複雑度クラスは存在しない。
• 多項式時間計算可能性は、群論的条件（群条件(GC)）、表現条件(R1)–(R5)、およびアフィニティ条件(AF)の組み合わせによって決定される。
• 有限アーベル群上の指数和への還元により、キャラクター和の技法を適用でき、整合性条件を満たすと多項式時間で評価可能となる。
• 各素数べき位数成分について、変数の位数および係数を含む可除性条件により、指数内の単項式の整合性が保証される。
• 証明により、問題は $\sum_{\mathbf{X}_{I_\nu}} \zeta_{\omega_\nu}^{f_\nu(\mathbf{X}_{I_\nu})} $ の形の和に還元され、単項式が整合的であれば多項式時間で計算可能であることが示された。
• 鍵となる洞察は、ヘルミート行列を重み付き有向グラフとみなしたとき、その構造が有限アーベル群上で一貫した表現を可能にする必要があることである。