[论文解读] 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$ 下属于 $W[1]$-难问题，这意味着它不太可能拥有形式为 $f(k)n^C$ 的固定参数可追踪算法。该结果通过基于图中团的组合构造，将问题约化为一个向量评估（vest）问题，从而简化了Anick原始的#P-难性证明。

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.

研究动机与目标

• 建立当 $k$ 为参数时，计算有限单纯复形的高阶同伦群 $\pi_k(X)$ 的计算复杂性。
• 证明该问题属于 $W[1]$-难，表明其不太可能是固定参数可追踪的。
• 通过基于图团的构造，将Anick于1989年证明的计算 $\pi_k(X)$ 的秩的#P-难性结果，约化为一个vest问题，从而实现简化。
• 证明即使对于4维、单连通的单纯复形，该难解性依然成立。
• 提供一个比Anick原始证明缩短20页的简化版本，通过从团问题约化实现。

提出的方法

• 将 $W[1]$-完全的图中 $k$-团检测问题约化为一个涉及有理矩阵变换的vest问题。
• 构造一个vest实例 $\mathcal{V} = (\mathbf{v}, T_1, \ldots, T_m, S)$，其中 $M$-序列计数的是通过应用矩阵序列得到零向量的有效序列。
• 使用一个包含 $n + 2m + 1$ 个分量的向量：$n$ 个顶点分量（对应图的顶点），$m$ 对私有分量（每个矩阵 $T_i$ 对应一对），以及一个恒定分量，其值设为1。
• 定义矩阵作用：顶点 $T_i$ 将对应顶点分量增加 $k-1$，边 $T_i$ 将两个端点分量各减少1，私有分量按 $a \mapsto a+1$，$b \mapsto b+a$ 更新。
• 将矩阵 $S$ 设计为一个0-1矩阵，用于选择所有顶点分量以及每个 $T_i$ 的第二个私有分量，确保仅当没有 $T_i$ 被应用超过一次时，才有 $S \mathbf{w} = \mathbf{0}$。
• 证明 $M_s = s! \cdot C_k$，其中 $C_k$ 为输入图中 $k$-团的数量，且 $M_s$ 计数的是 $s = k + \binom{k}{2}$ 个不同 $T_i$ 的序列，这些序列构成一个 $k$-团。

实验结果

研究问题

• RQ1 对于4维单连通单纯复形 $X$，计算 $\pi_k(X)$ 是否关于参数 $k$ 是固定参数可追踪的？
• RQ2 能否通过已知的约化方法，更简洁地重证计算 $\pi_k(X)$ 的秩的#P-难性？
• RQ3 当 $k$ 作为输入的一部分时，$\pi_k(X)$ 的计算复杂性如何，即使对于低维复形也是如此？
• RQ4 通过代数拓扑构造（如123H代数和Tor序列），vest问题与同伦群之间有何关联？
• RQ5 能否利用团问题的 $W[1]$-难性来建立同伦群计算的难解性？

主要发现

• 对于4维单连通单纯复形 $X$，计算 $\pi_k(X)$ 关于参数 $k$ 属于 $W[1]$-难问题。
• $W[1]$-难性结果即使在参数化复杂性中 $k$ 固定时依然成立，排除了形式为 $f(k)n^C$ 的任何常数 $C$ 的算法。
• 该证明将 $k$-团问题约化为一个vest问题，其中 $M$-序列的第 $s$ 项等于 $s! \cdot C_k$，$C_k$ 为输入图中 $k$-团的数量。
• 该构造确保仅当应用的是不同 $T_i$ 的序列（每个对应于 $k$-团的一个顶点和一条边）时，$S$ 才作用于零向量，且每个此类序列对 $M_s$ 的贡献为 $s!$。
• 该约化通过基于图团的构造，将Anick原始20页的#P-难性证明简化为一个仅20页的更短论证。
• 该结果意味着，除非 $W[1] = FPT$，否则该问题不可能是固定参数可追踪的，而这一等式被广泛认为是错误的。