[論文レビュー] Computing higher homotopy groups is W[1]-hard

Jiřı́ Matoušek|arXiv (Cornell University)|Apr 29, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 4

ひとこと要約

この論文は、4次元の単連結な単体的複体 $X$ に対して、$k$ 番目のホモトピー群 $\pi_k(X)$ を計算することは、$k$ をパrameterとして $W[1]$-hard であることを証明している。これは、$f(k)n^C$ のような固定パrameter tractable（FPT）なアルゴリズムが存在しない可能性が高いことを示唆する。この結果は、Anickの元々の #P-hardness 証明を、グラフのクリークに基づく組合せ的構成を用いて、ベクトル評価（vest）問題に還元することで簡略化している。

ABSTRACT

Recently it was shown that, for every fixed k>1, given a finite simply connected simplicial complex X, the kth homotopy group π_k(X) can be computed in time polynomial in the number n of simplices of X. We prove that this problem is W[1]-hard w.r.t. the parameter k even for X of dimension 4, and thus very unlikely to admit an algorithm with running time bound f(k)n^C for an absolute constant C. We also simplify, by about 20 pages, a 1989 proof by Anick that, with k part of input, the computation of the rank of π_k(X) is #P-hard.

研究の動機と目的

• 有限単体的複体 $X$ に対して、パrameter $k$ を用いた $\pi_k(X)$ の計算の計算複雑性を確立すること。
• この問題が $W[1]$-hard であることを示し、固定パrameter tractable である可能性が低いことを示すこと。
• Anickの1989年の $\pi_k(X)$ のランクを計算する問題の #P-hardness 証明を、グラフクリークの構成を用いた還元により簡略化すること。
• 4次元で単連結な単体的複体に対しても、この難易度が保たれることを示すこと。
• Anickの元々の証明より20ページ短い、洗練された代替証明を提供すること。

提案手法

• グラフにおける $k$-クリークの検出という $W[1]$-完全問題を、有理行列によるベクトル変換を含む vest 問題に還元する。
• 行列 $T_i$ の適用順序がゼロベクトルを生成する有効なシーケンスを数える $M$-シーケンスを持つ、vest インスタンス $\mathcal{V} = (\mathbf{v}, T_1, \ldots, T_m, S)$ を構築する。
• $n + 2m + 1$ 個の成分を持つベクトルを用いる：$n$ 個の頂点成分（グラフの頂点に対応）、$m$ 組のプライベート成分（各行列 $T_i$ に対して1組）、および値が1に固定された定数成分。
• 行列作用の定義：頂点 $T_i$ は対応する頂点成分に $k-1$ を加算し、辺 $T_i$ は両端点の成分をそれぞれ1減算する。プライベート成分は $a \mapsto a+1$、$b \mapsto b+a$ で更新される。
• 行列 $S$ を、各 $T_i$ の頂点成分と第二プライベート成分を選択する0-1行列として定義し、$S \mathbf{w} = \mathbf{0}$ となるのは、どの $T_i$ も一度しか適用されていない場合に限ることを保証する。
• 各 $M_s = s! \cdot C_k$ が成り立ち、$C_k$ は入力グラフにおける $k$-クリークの数であることを示し、$s = k + \binom{k}{2}$ 個の異なる $T_i$ の適用シーケンスが $k$-クリークを形成することを示す。

実験結果

リサーチクエスチョン

• RQ1 4次元単連結単体的複体 $X$ に対して、$\pi_k(X)$ を計算する問題は、パrameter $k$ に関して固定パrameter tractable か？
• RQ2 既知の還元を用いて、$\pi_k(X)$ のランクを計算する問題の #P-hardness をより簡潔に再証明できるか？
• RQ3 $k$ が入力の一部である場合、$\pi_k(X)$ の計算複雑性は、低次元の複体に対してもどうなるか？
• RQ4 代数的位相の構成（例：123H代数や Tor-系列）を通じて、vest 問題とホモトピー群の関係は何か？
• RQ5 クリーク問題の $W[1]$-hardness を活用して、ホモトピー群の計算に難易度を確立できるか？

主な発見

• 4次元単連結単体的複体 $X$ に対して、$\pi_k(X)$ を計算することは、パrameter $k$ に関して $W[1]$-hard である。
• $W[1]$-hardness の結果は、パrameter化複雑性の意味で $k$ を固定した場合でも成立し、任意の定数 $C$ に対して $f(k)n^C$ 形式のアルゴリズムは存在しない。
• 証明は $k$-クリーク問題を、$s$ 番目の $M$-シーケンスの項が $s! \cdot C_k$ に等しくなるような vest 問題に還元している。ここで $C_k$ は入力グラフにおける $k$-クリークの数である。
• 構成により、$S$ に対してゼロベクトルを生成するのは、$k$-クリークの頂点および辺に対応する $T_i$ のすべてが異なる順序で適用されたシーケンスに限られ、各シーケンスは $M_s$ に $s!$ を寄与させる。
• Anickの元々の20ページにわたる $\pi_k(X)$ のランク計算の #P-hardness 証明を、グラフクリークに基づく20ページ短い証明に置き換えることで簡略化した。
• この結果は、$W[1] = FPT$ でない（広く信じられているが）限り、問題が固定パrameter tractable でないことを示唆する。