[论文解读] Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension

Martin Čadek, Marek Krčál+3 more|arXiv (Cornell University)|Nov 13, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 36被引用 31

一句话总结

本论文提出了在固定维数 k ≥ 2 下，针对 1-连通单纯复形 X 的同伦群 πₖ(X) 和 Postnikov 系统的多项式时间算法，利用具有多项式时间同调的单纯复形。关键贡献在于完全多项式时间求解了扩展问题，并在 Y 为 (k−1)-连通且 dim X ≤ 2k−1 的条件下计算了 [X,Y]，从而突破了代数拓扑中长期存在的复杂性障碍。

ABSTRACT

For several computational problems in homotopy theory, we obtain algorithms with running time polynomial in the input size. In particular, for every fixed k>1, there is a polynomial-time algorithm that, for a 1-connected topological space X given as a finite simplicial complex, or more generally, as a simplicial set with polynomial-time homology, computes the k-th homotopy group π_k(X), as well as the first k stages of a Postnikov system of X. Combined with results of an earlier paper, this yields a polynomial-time computation of [X,Y], i.e., all homotopy classes of continuous mappings X -> Y, under the assumption that Y is (k-1)-connected and dim X < 2k-1. We also obtain a polynomial-time solution of the extension problem, where the input consists of finite simplicial complexes X,Y, where Y is (k-1)-connected and dim X < 2k, plus a subspace A\subseteq X and a (simplicial) map f:A -> Y, and the question is the extendability of f to all of X. The algorithms are based on the notion of a simplicial set with polynomial-time homology, which is an enhancement of the notion of a simplicial set with effective homology developed earlier by Sergeraert and his co-workers. Our polynomial-time algorithms are obtained by showing that simplicial sets with polynomial-time homology are closed under various operations, most notably, Cartesian products, twisted Cartesian products, and classifying space. One of the key components is also polynomial-time homology for the Eilenberg--MacLane space K(Z,1), provided in another recent paper by Krcal, Matousek, and Sergeraert.

研究动机与目标

• 为在固定维数 k 下，针对 1-连通空间 X 的同伦群 πₖ(X) 和 Postnikov 阶段开发多项式时间算法。
• 在 A ⊆ X 且 Y 为 (k−1)-连通、dim X ≤ 2k−1 的条件下，求解映射 f: A → Y 的扩展问题。
• 在相同的连通性与维数约束下，实现 [X,Y]（即从 X 到 Y 的同伦映射类集合）的多项式时间计算。
• 通过引入具有多项式时间同调的单纯复形，将有效同调框架扩展至多项式时间可计算性。
• 证明关键构造——笛卡尔积、扭积、分类空间——在单纯设定下保持多项式时间同调。

提出的方法

• 引入具有多项式时间同调的单纯复形概念，扩展 Sergeraert 的有效同调框架。
• 证明具有多项式时间同调的单纯复形在笛卡尔积、扭积和分类空间构造下保持封闭性。
• 利用先前工作中关于 K(ℤ,1) 的多项式时间同调计算，构建基础组件。
• 应用 Postnikov 层叠分解，将 [X,Y] 的计算归约为对 Postnikov 阶段 P_{2k−2} 的同伦类计算。
• 将 [X,P_{2k−2}] 和 [A,P_{2k−2}] 表示为具有生成元与关系的有效呈现阿贝尔群，可在多项式时间内计算。
• 利用限制映射的群同态性质与多项式时间成员资格测试，求解扩展问题。

实验结果

研究问题

• RQ1 对于固定 k ≥ 2 且以有限单纯复形表示的 1-连通 X，同伦群 πₖ(X) 是否可在多项式时间内计算？
• RQ2 当 Y 为 (k−1)-连通且 dim X ≤ 2k−1 时，映射 f: A → Y 的扩展问题是否可在多项式时间内判定？
• RQ3 在相同约束条件下，[X,Y]（即从 X 到 Y 的同伦映射类集合）是否可在多项式时间内计算？
• RQ4 构建 Postnikov 系统所必需的操作在单纯设定下是否保持多项式时间同调？
• RQ5 该框架是否可高效计算固定 k 下球面的同伦群？

主要发现

• 对于每个固定的 k ≥ 2，存在一个多项式时间算法，可计算以有限单纯复形或具有多项式时间同调的单纯复形表示的 1-连通 X 的 πₖ(X)。
• 对于同一类输入，X 的 Postnikov 系统的前 k 个阶段可多项式时间计算。
• 当 Y 为 (k−1)-连通且 dim X ≤ 2k−2 时，从 X 到 Y 的同伦映射类集合 [X,Y] 可在多项式时间内计算。
• 当 Y 为 (k−1)-连通且 dim X ≤ 2k−1 时，子复形 A ⊆ X 上的映射 f: A → Y 的扩展问题可在多项式时间内判定。
• 限制映射 ρ: [X,P_{2k−2}] → [A,P_{2k−2}] 可多项式时间计算，从而实现对可扩展性的高效成员资格测试。
• 具有多项式时间同调的单纯复形框架在笛卡尔积、扭积和分类空间构造下保持封闭，支持递归算法构造。