[論文レビュー] Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP

Jin‐Yi Cai, Pinyan Lu+1 more|arXiv (Cornell University)|Aug 4, 2010

Markov Chains and Monte Carlo Methods参考文献 4被引用数 32

ひとこと要約

この論文は、対称的で実数値をとる関数を用いた平面的#CSPのすべての tractable なインスタンスが、マッチゲートを用いたホログラフィックアルゴリズムによって正確に捉えられることを確立している。複雑性の二分法を証明する：このような問題は、すべてのグラフ上で多項式時間で計算可能であるか、一般のグラフでは#P困難だが、マッチゲートに基づくホログラフィックアルゴリズムによって平面的グラフ上で tractable であるか、あるいは平面的グラフですら#P困難である—これにより完全な分類が得られ、このアルゴリズム的枠組みが正確に解ける平面的システムに対して普遍的であることを裏付けている。

ABSTRACT

Valiant introduced matchgate computation and holographic algorithms. A number of seemingly exponential time problems can be solved by this novel algorithmic paradigm in polynomial time. We show that, in a very strong sense, matchgate computations and holographic algorithms based on them provide a universal methodology to a broad class of counting problems studied in statistical physics community for decades. They capture precisely those problems which are #P-hard on general graphs but computable in polynomial time on planar graphs. More precisely, we prove complexity dichotomy theorems in the framework of counting CSP problems. The local constraint functions take Boolean inputs, and can be arbitrary real-valued symmetric functions. We prove that, every problem in this class belongs to precisely three categories: (1) those which are tractable (i.e., polynomial time computable) on general graphs, or (2) those which are \#P-hard on general graphs but ractable on planar graphs, or (3) those which are #P-hard even on planar graphs. The classification criteria are explicit. Moreover, problems in category (2) are tractable on planar graphs precisely by holographic algorithms with matchgates.

研究の動機と目的

• マッチゲートを用いたホログラフィックアルゴリズムが、平面的グラフ上のすべての多項式時間 tractable な数え上げ問題を捉えきっているかどうかを特定すること。
• 対称的実数値制約関数を用いた重み付きブール#CSPに対する厳密な複雑性分類を提供すること。
• 統計物理学における「正確に解ける」系の概念と計算複雑性理論における#P困難性の枠組みの間のギャップを埋めること。
• 平面的インスタンスとして tractable なのは、マッチゲートを用いたホログラフィック還元によってFKTアルゴリズムに帰着可能なものに限られることを確立すること。
• このクラスにおいて、マッチゲートに基づくホログラフィックアルゴリズムを越えた他のアルゴリズム的枠組みが、tractability を捉えることはできないことの証明。

提案手法

• 問題をブール変数上の対称的実数値制約関数を用いた重み付き#CSPとして形式化する。
• Holant枠組みを用いて、辺を変数とし、頂点を局所関数として表す制約充足問題をモデル化する。
• 先行研究[11]に基づき、複素数体上での線形代数的条件を用いてマッチゲートによって実現可能な対称的符号を特徴付ける。
• ホログラフィック還元を適用して、任意の#CSPインスタンスを平面的グラフ上の重み付き完全マッチングの計算問題に変換する。
• FKTアルゴリズムを、平面的グラフのパフリアンを多項式時間で計算できる根幹的な tractable なサブルーチンとして活用する。
• 複雑性の二分法定理を証明する：すべての問題は、すべてのグラフ上で tractable であるか、マッチゲートに基づくホログラフィックアルゴリズムによって平面的グラフでのみ tractable であるか、あるいは平面的グラフですら#P困難である。

実験結果

リサーチクエスチョン

• RQ1 マッチゲートを用いたホログラフィックアルゴリズムは、対称的実数値関数を用いた平面的グラフ上のすべての多項式時間 tractable な数え上げ問題を捉えきっているか？
• RQ2 対称的実数値制約をもつ平面的#CSPのクラスにおいて、tractable と#P困難なインスタンスの正確な境界は何か？
• RQ3 なぜ、統計物理学のモデル（例：イジング模型）を高次元や非平面的グラフに一般化しようとする試みが失敗したのか？
• RQ4 マッチゲートを用いたホログラフィックアルゴリズムの枠組みが、このクラスにおけるすべての平面的数え上げ問題の tractable なインスタンスを網羅していると示せるか？
• RQ5 対称的関数がマッチゲートによって実現可能であるための代数的および組合せ的条件は何か？

主な発見

• 完全な複雑性の二分法が確立された：すべての対称的実数値#CSP問題は、すべてのグラフ上で tractable であるか、マッチゲートを用いたホログラフィックアルゴリズムによって平面的グラフでのみ tractable であるか、あるいは平面的グラフですら#P困難である。
• 平面的グラフ上で tractable な問題のクラスは、マッチゲートを用いたホログラフィックアルゴリズムによって正確に捉えられており、この文脈におけるその普遍性が確認された。
• マッチゲートによって実現可能な対称的符号の特徴付けは完全であり、複素数体上での二次方程式系に依存する明示的な代数的表現を有する。
• 平面的グラフ上のイジング模型が、ホログラフィック還元によってFKTアルゴリズムに帰着可能であることが示され、統計物理学において長年にわたり解けたことの理由が説明された。
• 非平面的または高次元格子へのこのようなモデルの一般化が失敗する理由が説明された：スティン・イストライルの3次元イジング模型に関する結果により、それらは#P困難になることが示された。
• この枠組みにより、ドミアモデルやイジング模型といった統計物理学の多様な問題が、Holantおよびホログラフィックアルゴリズムの形式的枠組みを通じて、単一の複雑性理論的・アルゴリズム的枠組みに統合された。