# Computing closed essential surfaces in knot complements

@inproceedings{Burton2012ComputingCE, title={Computing closed essential surfaces in knot complements}, author={Benjamin A. Burton and Alexander Coward and Stephan Tillmann}, booktitle={International Symposium on Computational Geometry}, year={2012} }

We present a new, practical algorithm to test whether a knot complement contains a closed essential surface. This property has important theoretical and algorithmic consequences. However systematically testing it has until now been infeasibly slow, and current techniques only apply to specific families of knots. As a testament to its practicality, we run the algorithm over a comprehensive body of 2979 knots, including the two 20-crossing dodecahedral knots, yielding results that were not…

## 16 Citations

### Computing closed essential surfaces in 3-manifolds

- Mathematics
- 2018

We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and…

### Fundamental normal surfaces and the enumeration of Hilbert bases

- Mathematics, Computer ScienceArXiv
- 2011

The most successful of these algorithms combines a maximal admissible face decomposition with the primal Hilbert basis algorithm of Bruns, Ichim and Koch, and can solve 168-dimensional enumeration problems (based on 24-tetrahedron knot complements) in a matter of hours.

### Counting essential surfaces in 3-manifolds

- MathematicsInventiones mathematicae
- 2022

We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is…

### A New Approach to Crushing 3-Manifold Triangulations

- MathematicsSoCG '13
- 2013

The aim of this paper is to make the crushing operation more accessible to practitioners, and easier to generalise to new settings, and to obtain a new practical and robust algorithm for non-orientable prime decomposition.

### Normal and Jones surfaces of knots

- Mathematics
- 2017

We describe a normal surface algorithm that decides whether a knot, with known degree of the colored Jones polynomial, satisfies the Strong Slope Conjecture. We also discuss possible simplifications…

### A knot without a nonorientable essential spanning surface

- Mathematics
- 2015

This note gives the first example of a hyperbolic knot in the 3-sphere that lacks a nonorientable essential spanning surface; this disproves the Strong Neuwirth Conjecture formulated by Ozawa and…

### Bounds for the genus of a normal surface

- Mathematics
- 2014

This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds…

### Ideal points of character varieties, algebraic non-integral representations, and undetected closed essential surfaces in 3–manifolds

- MathematicsProceedings of the American Mathematical Society
- 2020

Closed essential surfaces in a 3–manifold can be detected by ideal points of the character variety or by algebraic non-integral representations. We give examples of closed essential surfaces not…

### Knots and surfaces

- MathematicsSugaku Expositions
- 2019

This article is an English translation of Japanese article "Musubime to Kyokumen", Math. Soc. Japan, Sugaku Vol. 67, No. 4 (2015) 403--423. It surveys a specific area in Knot Theory concerning…

### Knot complements, hidden symmetries and reflection orbifolds

- Mathematics
- 2015

In this article we examine the conjecture of Neumann and Reid that the only hyperbolic knots in the $3$-sphere which admit hidden symmetries are the figure-eight knot and the two dodecahedral knots.…

## References

SHOWING 1-10 OF 36 REFERENCES

### A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour

- MathematicsArXiv
- 2012

This work presents the first unknot recognition algorithm which is always conclusive and, although exponential time in theory, exhibits a clear polynomial time behaviour under exhaustive experimentation even for non-trivial knots.

### A Tree Traversal Algorithm for Decision Problems in Knot Theory and 3-Manifold Topology

- Computer ScienceSoCG '11
- 2011

This paper presents the first practical normal surface enumeration algorithm that breaks out of thedouble description paradigm, based on a tree traversal with feasibility and domination tests, and it enjoys a number of advantages over the double description method: incremental output, significantly lower time and space complexity, and a natural suitability for parallelisation.

### The computational complexity of knot and link problems

- Mathematics, Computer ScienceProceedings 38th Annual Symposium on Foundations of Computer Science
- 1997

The problem of deciding whether a polygonal knot in 3-dimensional Euclidean space is unknotted is considered and it is shown that this problem, UNKNOTTING PROBLEM, is in NP.

### A New Approach to Crushing 3-Manifold Triangulations

- MathematicsSoCG '13
- 2013

The aim of this paper is to make the crushing operation more accessible to practitioners, and easier to generalise to new settings, and to obtain a new practical and robust algorithm for non-orientable prime decomposition.

### Computational topology with Regina: Algorithms, heuristics and implementations

- Computer ScienceArXiv
- 2012

This paper documents for the first time in the literature some of the key algorithms, heuristics and implementations that are central to Regina's performance, and gives some historical background for the project.

### The complement of a dodecahedral knot contains an essential closed surface

- Mathematics
- 2012

Proof. Let S be the planar, meridional surface in S \ N (K) given by the line in Figure 2. We will show that S is incompressible. Theorem 4 then gives the result. The surface S divides (S,K) into two…

### Seifert fibered spaces in 3-manifolds

- Mathematics
- 1979

Publisher Summary This chapter describes Seifert Fibered Spaces in 3-Manifolds. There exist finitely many disjoint, non-contractible, pairwise non-parallel, embedded 2-spheres in M, whose homotopy…

### Arithmetic of Hyperbolic Manifolds

- Mathematics
- 1992

By a hyperbolic 3-manifold we mean a complete orientable hyperbolic 3-manifold of finite volume, that is a quotient H/Γ with Γ ⊂ PSL2C a discrete subgroup of finite covolume (here briefly “a Kleinian…