The computational complexity of knot genus in a fixed 3‐manifold

DOI10.1112/plms.12500arXiv2004.01471OpenAlexW4319841804MaRDI QIDQ6075064

Marc Lackenby, Mehdi Yazdi

Publication date: 20 September 2023

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.01471

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Knot theory (57K10) Invariants of 3-manifolds (including skein modules, character varieties) (57K31) General topology of 3-manifolds (57K30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive unsolvability of group theoretic problems
• Theorie der Normalflächen. Ein Isotopiekriterium für den Kreisknoten
• A representation of orientable combinatorial 3-manifolds
• How to draw a planar graph on a grid
• The Thurston norm via normal surfaces
• Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature
• The size of triangulations supporting a given link
• Über das Geschlecht von Knoten
• Simplifying triangulations of \(S^3\).
• Algorithms for the complete decomposition of a closed \(3\)-manifold
• Taut normal surfaces
• The efficient certification of knottedness and Thurston norm
• Bemerkungen zum Vierfarbenproblem
• The number of Reidemeister moves needed for unknotting
• An upper bound on Reidemeister moves
• Integer Programming with a Fixed Number of Variables
• The crossing number of composite knots
• Modifications and Cobounding Manifolds
• A Bound on Solutions of Linear Integer Equalities and Inequalities
• Computational Complexity
• The computational complexity of knot genus and spanning area
• Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
• Convex Maps
• Foliations and the topology of 3-manifolds
• Algorithmic topology and classification of 3-manifolds