
arXiv: 2012.02352
In this paper we prove that the problem of deciding contractibility of an arbitrary closed curve on the boundary of a 3-manifold is in NP. We emphasize that the manifold and the curve are both inputs to the problem. Moreover, our algorithm also works if the curve is given as a compressed word. Previously, such an algorithm was known for simple (non-compressed) curves, and, in very limited cases, for curves with self-intersections. Furthermore, our algorithm is fixed-parameter tractable in the complexity of the input 3-manifold. As part of our proof, we obtain new polynomial-time algorithms for compressed curves on surfaces, which we believe are of independent interest. We provide a polynomial-time algorithm which, given an orientable surface and a compressed loop on the surface, computes a canonical form for the loop as a compressed word. In particular, contractibility of compressed curves on surfaces can be decided in polynomial time; prior published work considered only constant genus surfaces. More generally, we solve the following normal subgroup membership problem in polynomial time: given an arbitrary orientable surface, a compressed closed curve $��$, and a collection of disjoint normal curves $��$, there is a polynomial-time algorithm to decide if $��$ lies in the normal subgroup generated by components of $��$ in the fundamental group of the surface after attaching the curves to a basepoint.
Fundamental group, presentations, free differential calculus, Computational Geometry (cs.CG), FOS: Computer and information sciences, 3-Manifolds, computational topology, surfaces, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], low-dimensional topology, Computational topology, Compressed curves, 004, 510, 3-manifolds, Surfaces, Discrete mathematics in relation to computer science, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT], compressed curves, Contractibility, Computer Science - Computational Geometry, contractibility, [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT], ddc: ddc:004
Fundamental group, presentations, free differential calculus, Computational Geometry (cs.CG), FOS: Computer and information sciences, 3-Manifolds, computational topology, surfaces, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], low-dimensional topology, Computational topology, Compressed curves, 004, 510, 3-manifolds, Surfaces, Discrete mathematics in relation to computer science, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT], compressed curves, Contractibility, Computer Science - Computational Geometry, contractibility, [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT], ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
