[論文レビュー] The Complexity of Counting Edge Colorings and a Dichotomy for Some Higher Domain Holant Problems

Jin‐Yi Cai, Heng Guo+1 more|arXiv (Cornell University)|Apr 15, 2014

Advanced Combinatorial Mathematics参考文献 35被引用数 10

ひとこと要約

本稿は、3-正則およびr-正則グラフ上の対称的かつドメイン不変な3変数関数を用いたHolant問題について、複雑性の二分法を確立し、κ ≥ r ≥ 3の色を用いた辺彩色の数え上げが、代数的対称性によって定義される特定の tractable なケースを除き、平面グラフ上で#P-困難であることを証明している。証明は、ディオファントス方程式の整数解に関するシーゲルの定理とガロア理論を用いて、tractable なインスタンスと困難なインスタンスを分類する。

ABSTRACT

We show that an effective version of Siegel's Theorem on finiteness of integer solutions and an application of elementary Galois theory are key ingredients in a complexity classification of some Holant problems. These Holant problems, denoted by Holant(f), are defined by a symmetric ternary function f that is invariant under any permutation of the k >= 3 domain elements. We prove that Holant(f) exhibits a complexity dichotomy. This dichotomy holds even when restricted to planar graphs. A special case of this result is that counting edge k-colorings is #P-hard over planar 3-regular graphs for k >= 3. In fact, we prove that counting edge k-colorings is #P-hard over planar r-regular graphs for all k >= r >= 3. The problem is polynomial-time computable in all other parameter settings. The proof of the dichotomy theorem for Holant(f) depends on the fact that a specific polynomial p(x,y) has an explicitly listed finite set of integer solutions, and the determination of the Galois groups of some specific polynomials. In the process, we also encounter the Tutte polynomial, medial graphs, Eulerian partitions, Puiseux series, and a certain lattice condition on the (logarithm of) the roots of polynomials.

研究の動機と目的

• 3-正則およびr-正則グラフ上での対称的かつドメイン不変な3変数関数によって定義されるHolant問題の計算複雑性を分類すること。
• r-正則グラフ上でのκ色による辺彩色の数え上げが、いつ tractable または#P-困難であるかを特定すること。
• 平面正則グラフ上での辺彩色の複雑性に関する長年の未解決問題を解明すること。
• ドメインサイズκ ≥ 3 を用いたHolant問題について、代数的および数論的技法を用いて二分法の定理を確立すること。

提案手法

• 特定の多項式 p(x,y) = x⁵ - 2x³y - x²y² - x³ + xy² + y³ - 2x² - xy に対して、整数解の有限性を示すために、シーゲルの定理の有効版を適用する。
• Holant関数の代数的構造から生じる臨界多項式のガロア群を分析するために、ガロア理論を用いる。
• ホログラフィック変換と直交行列 T = Iₖ および kIₖ - 2Jₖ を用いたシグネチャの簡約により、関数表現を単純化する。
• ディオファントス解析において、整数解の上限を求めるためにランゲの方法と補助関数（例：g₂(x,y)）を用いる。
• プルーフュア級数展開と多項式の根の対数に関する格子条件を用いて、代数的依存関係を分析する。
• 中間グラフ構成法とオイラー分割技術を用いて、一般のHolant問題を平面Holant問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 どの対称的かつドメイン不変な3変数関数 f に対して、平面r-正則グラフ上での Holant(f) が多項式時間で計算可能か？
• RQ2 κ ≥ r ≥ 3 における平面r-正則グラフ上での辺κ-彩色の計算複雑度は何か？
• RQ3 代数的対称性（例：ドメイン要素および関数入力の置換不変性）は、Holant問題の tractability にどのように影響するか？
• RQ4 特定の5次多項式 p(x,y) の整数解の有限性を、Holant問題の複雑度分類に用いることができるか？
• RQ5 関連多項式のガロア群は、Holant問題の困難さまたは tractability を決定づける役割を果たすか？

主な発見

• すべてのκ ≥ r ≥ 3 に対して、平面r-正則グラフ上での辺κ-彩色の数え上げは#P-困難である。
• 対称的かつドメイン不変な3変数関数 f に対する Holant(f) の唯一の tractable なケースは、f が退化している（a = b = c）場合、特定の対称性（例：κ = 3 の場合 a = c）がある場合、または T = Iₖ または kIₖ - 2Jₖ を用いて ⟨1,0,0⟩、⟨1,0,ω⟩（κ = 3）、⟨μ²,1,μ⟩（κ = 4）のような標準形に変換可能な場合に限られる。
• 多項式 p(x,y) = x⁵ - 2x³y - x²y² - x³ + xy² + y³ - 2x² - xy は正確に5つの整数解 (−1,1), (0,0), (1,−1), (1,2), (3,3) をもつ。
• 関数 f に関連する関連多項式のガロア群は、困難なケースでは非可解であるため、#P-困難性が示唆される。
• 二分法は平面グラフに制限しても成り立ち、困難性の結果は単純グラフ（多重辺を許さないグラフ）にも拡張可能である。
• tractable なケースは、関数が退化しているか、特定の線形変換 T に対して不変であるかのいずれかに該当し、これらは問題の代数的構造を保存する。