conference paper
Extending continuous maps: Polynomiality and undecidability
published
yes
Martin
Čadek
author
Marek
Krcál
author 33E21118-F248-11E8-B48F-1D18A9856A87
Jiří
Matoušek
author
Lukáš
Vokřínek
author
Uli
Wagner
author 36690CA2-F248-11E8-B48F-1D18A9856A870000-0002-1494-0568
UlWa
department
HeEd
department
STOC: Symposium on the Theory of Computing
We consider several basic problems of algebraic topology, with connections to combinatorial and geometric questions, from the point of view of computational complexity. The extension problem asks, given topological spaces X; Y , a subspace A ⊆ X, and a (continuous) map f : A → Y , whether f can be extended to a map X → Y . For computational purposes, we assume that X and Y are represented as finite simplicial complexes, A is a subcomplex of X, and f is given as a simplicial map. In this generality the problem is undecidable, as follows from Novikov's result from the 1950s on uncomputability of the fundamental group π1(Y ). We thus study the problem under the assumption that, for some k ≥ 2, Y is (k - 1)-connected; informally, this means that Y has \no holes up to dimension k-1" (a basic example of such a Y is the sphere Sk). We prove that, on the one hand, this problem is still undecidable for dimX = 2k. On the other hand, for every fixed k ≥ 2, we obtain an algorithm that solves the extension problem in polynomial time assuming Y (k - 1)-connected and dimX ≤ 2k - 1. For dimX ≤ 2k - 2, the algorithm also provides a classification of all extensions up to homotopy (continuous deformation). This relies on results of our SODA 2012 paper, and the main new ingredient is a machinery of objects with polynomial-time homology, which is a polynomial-time analog of objects with effective homology developed earlier by Sergeraert et al. We also consider the computation of the higher homotopy groups πk(Y ), k ≥ 2, for a 1-connected Y . Their computability was established by Brown in 1957; we show that πk(Y ) can be computed in polynomial time for every fixed k ≥ 2. On the other hand, Anick proved in 1989 that computing πk(Y ) is #P-hard if k is a part of input, where Y is a cell complex with certain rather compact encoding. We strengthen his result to #P-hardness for Y given as a simplicial complex.
https://research-explorer.app.ist.ac.at/download/2807/5081/IST-2016-533-v1+1_Extending_continuous_maps_polynomiality_and_undecidability.pdf
application/pdfno
ACM2013Palo Alto, CA, United States
eng
45th Annual ACM Symposium on theory of computing10.1145/2488608.2488683
595 - 604
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, and U. Wagner, “Extending continuous maps: Polynomiality and undecidability,” in <i>45th Annual ACM Symposium on theory of computing</i>, Palo Alto, CA, United States, 2013, pp. 595–604.
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. 2013. Extending continuous maps: Polynomiality and undecidability. 45th Annual ACM Symposium on theory of computing. STOC: Symposium on the Theory of Computing 595–604.
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, U. Wagner, in:, 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604.
Čadek, Martin, Marek Krcál, Jiří Matoušek, Lukáš Vokřínek, and Uli Wagner. “Extending Continuous Maps: Polynomiality and Undecidability.” In <i>45th Annual ACM Symposium on Theory of Computing</i>, 595–604. ACM, 2013. <a href="https://doi.org/10.1145/2488608.2488683">https://doi.org/10.1145/2488608.2488683</a>.
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. Extending continuous maps: Polynomiality and undecidability. In: <i>45th Annual ACM Symposium on Theory of Computing</i>. ACM; 2013:595-604. doi:<a href="https://doi.org/10.1145/2488608.2488683">10.1145/2488608.2488683</a>
Čadek, Martin, et al. “Extending Continuous Maps: Polynomiality and Undecidability.” <i>45th Annual ACM Symposium on Theory of Computing</i>, ACM, 2013, pp. 595–604, doi:<a href="https://doi.org/10.1145/2488608.2488683">10.1145/2488608.2488683</a>.
Čadek, M., Krcál, M., Matoušek, J., Vokřínek, L., & Wagner, U. (2013). Extending continuous maps: Polynomiality and undecidability. In <i>45th Annual ACM Symposium on theory of computing</i> (pp. 595–604). Palo Alto, CA, United States: ACM. <a href="https://doi.org/10.1145/2488608.2488683">https://doi.org/10.1145/2488608.2488683</a>
28072018-12-11T11:59:42Z2019-08-02T12:37:51Z