[論文レビュー] Graph Homomorphisms with Complex Values: A Dichotomy Theorem

Jin‐Yi Cai, Xi Chen+1 more|arXiv (Cornell University)|Mar 27, 2009

Advanced Graph Theory Research参考文献 28被引用数 8

ひとこと要約

本稿は、複素数行列重みを伴うグラフホモモーフィズムの完全な複雑度二分法を確立し、代数的複素数を成分とする任意の対称行列 A に対して、問題 Z_A(G) が多項式時間で計算可能であるか、#P-ハードであることを証明している。計算可能性の基準は明示的に特徴付けられており、多項式時間で判定可能であり、従来の実数および非負重みに関する研究を、代数的および群論的技法を用いて複素数領域へと拡張している。

ABSTRACT

Graph homomorphism has been studied intensively. Given an m x m symmetric matrix A, the graph homomorphism function is defined as \[Z_A (G) = \sum_{f:V->[m]} \prod_{(u,v)\in E} A_{f(u),f(v)}, \] where G = (V,E) is any undirected graph. The function Z_A can encode many interesting graph properties, including counting vertex covers and k-colorings. We study the computational complexity of Z_A for arbitrary symmetric matrices A with algebraic complex values. Building on work by Dyer and Greenhill, Bulatov and Grohe, and especially the recent beautiful work by Goldberg, Grohe, Jerrum and Thurley, we prove a complete dichotomy theorem for this problem. We show that Z_A is either computable in polynomial-time or #P-hard, depending explicitly on the matrix A. We further prove that the tractability criterion on A is polynomial-time decidable.

研究の動機と目的

• グラフホモモーフィズム問題の複雑度分類を、実数および非負重みから、代数的複素数を成分とする任意の対称行列へと拡張すること。
• 複素数行列重みを伴う Z_A(G) のグラフホモモーフィズムの分割関数に対して、完全な二分法定理を確立すること。
• Z_A(G) が計算可能（多項式時間で計算可能）であるか、#P-ハードであるかを決定する正確な代数的および構造的条件を同定すること。
• Z_A(G) の計算可能性条件が、入力 A に対して多項式時間で判定可能であることを証明することにより、二分法が有効であることを示すこと。

提案手法

• ユニタリ行列およびフーリエ行列を含む標準形への還元を可能にする、還元の階層とピンニング補題を用いる。
• 円分および逆円分還元を適用し、単位根上での構造的形に行列を変換する。
• フーリエ分解と群論的条件を用いて、行列の代数的構造とその台を分析する。
• 任意の行列を、Z_A(G) の複雑度を保つ標準形に還元する浄化プロセスを導入する。
• 格子基底の計算とユニモジュラー変換を用いて、直交性やランク1制約などの構造的条件を検証する。
• 浄化、標準形の構築、代数的条件（例：(U5)、(F1)-(F4)、(S1)-(S3)）の検証の3段階からなるアルゴリズムフレームワークを用い、計算可能性を決定する。

実験結果

リサーチクエスチョン

• RQ1 代数的複素数を成分とする対称行列 A に対して、グラフホモモーフィズム関数 Z_A(G) が多項式時間で計算可能となるのはどのような場合か？
• RQ2 Z_A(G) が #P-ハードであるか、計算可能であるかを決定する、A に関する構造的および代数的条件は何か？
• RQ3 入力 A に対して、Z_A(G) の計算可能性条件が多項式時間で判定可能か？
• RQ4 複素数重みおよび単位根は、非負または実数重みと比較して、グラフホモモーフィズムの数え上げ問題の複雑度にどのように影響を与えるか？
• RQ5 群構造およびフーリエ分解は、Z_A(G) の計算可能性にどのような役割を果たすか？

主な発見

• 本稿は、完全な複雑度二分法を確立した：代数的複素数を成分とする任意の対称行列 A に対して、Z_A(G) は多項式時間で計算可能であるか、#P-ハードである。
• 計算可能性の条件は、直交性、フーリエ分解、ランク1の台条件を含む、明示的な代数的および構造的制約の集合によって特徴付けられる。
• 二分法は有効である：計算可能性条件は、3段階のアルゴリズム的手順により多項式時間で判定可能である。
• 行列 A が特定の群論的およびスペクトル的条件（たとえば、置換後にフーリエ分解を許容する）を満たさない限り、問題は #P-ハードのままである。
• 円分および逆円分還元を含む還元フレームワークにより、任意の行列を、複雑度を決定できる標準形に変換可能である。
• 本結果は、非負および実数行列に関する従来の二分法を複素数領域へと一般化し、Holant問題の複雑度における長年の未解決問題を解決した。