Showing 1–7 of 7 results for author: Coward, A

Computing closed essential surfaces in knot complements

Authors: Benjamin A. Burton, Alexander Coward, Stephan Tillmann

Abstract: 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… ▽ More 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 previously known. The algorithm derives from the original Jaco-Oertel framework, involves both enumeration and optimisation procedures, and combines several techniques from normal surface theory. This represents substantial progress in the practical implementation of normal surface theory, in that we can systematically solve a theoretically double exponential-time problem for significant inputs. Our methods are relevant for other difficult computational problems in 3-manifold theory, ranging from testing for Haken-ness to the recognition problem for knots, links and 3-manifolds. △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 27 pages, 11 figures

Journal ref: SCG '13: Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 405-414

Crossing changes and circular Heegaard splittings

Authors: Alexander Coward

Abstract: We use technology from sutured manifold theory and the theory of Heegaard splittings to relate genus reducing crossing changes on knots in S^3 to twists on surfaces arising in circular Heegaard splittings for knot complements. In a separate paper, currently in preparation, we prove that these circular Heegaard splittings may be searched for algorithmically, and together our results imply that an a… ▽ More We use technology from sutured manifold theory and the theory of Heegaard splittings to relate genus reducing crossing changes on knots in S^3 to twists on surfaces arising in circular Heegaard splittings for knot complements. In a separate paper, currently in preparation, we prove that these circular Heegaard splittings may be searched for algorithmically, and together our results imply that an algorithm to detect when two hyperbolic or fibered knots of different genus are related by a crossing change would follow from an algorithm to determine whether two compact oriented surfaces in S^3 are related by a single twist. △ Less

Submitted 22 October, 2012; originally announced October 2012.

Comments: 17 pages, 17 figures

MSC Class: 57M25; 57N10

Topological and physical knot theory are distinct

Authors: Alexander Coward, Joel Hass

Abstract: Physical knots and links are one-dimensional submanifolds of R^3 with fixed length and thickness. We show that isotopy classes in this category can differ from those of classical knot and link theory. In particular we exhibit a Gordian Split Link, a two component link that is split in the classical theory but cannot be split with a physical isotopy. Physical knots and links are one-dimensional submanifolds of R^3 with fixed length and thickness. We show that isotopy classes in this category can differ from those of classical knot and link theory. In particular we exhibit a Gordian Split Link, a two component link that is split in the classical theory but cannot be split with a physical isotopy. △ Less

Submitted 18 March, 2012; originally announced March 2012.

Comments: 8 page, 6 figures

MSC Class: 57M25; 53A04

Journal ref: Pacific J. Math. 276 (2015) 387-400

An upper bound on Reidemeister moves

Authors: Alexander Coward, Marc Lackenby

Abstract: We provide an explicit upper bound on the number of Reidemeister moves required to pass between two diagrams of the same link. This leads to a conceptually simple solution to the equivalence problem for links. We provide an explicit upper bound on the number of Reidemeister moves required to pass between two diagrams of the same link. This leads to a conceptually simple solution to the equivalence problem for links. △ Less

Submitted 20 June, 2011; v1 submitted 11 April, 2011; originally announced April 2011.

Comments: 40 pages, 14 figures; v2: very minor changes

MSC Class: 57M25; 57N10

Ordering the Reidemeister moves of a classical knot

Authors: Alexander Coward

Abstract: We show that any two diagrams of the same knot or link are connected by a sequence of Reidemeister moves which are sorted by type. We show that any two diagrams of the same knot or link are connected by a sequence of Reidemeister moves which are sorted by type. △ Less

Submitted 22 April, 2009; v1 submitted 10 March, 2009; originally announced March 2009.

Comments: This is the version published by Algebraic & Geometric Topology on 18 May 2006

MSC Class: 57M25; 57M27

Journal ref: Algebr. Geom. Topol. 6 (2006) 659-671

Unknotting genus one knots

Authors: Alexander Coward, Marc Lackenby

Abstract: For any knot with genus one and unknotting number one, other than the figure-eight knot, we prove that there is exactly one way to unknot it by means of a crossing change. In the case of the figure-eight knot, we prove that there are precisely two unknotting crossing changes. The proof uses sutured manifold theory and an analysis of the arc complex of the once-punctured torus. For any knot with genus one and unknotting number one, other than the figure-eight knot, we prove that there is exactly one way to unknot it by means of a crossing change. In the case of the figure-eight knot, we prove that there are precisely two unknotting crossing changes. The proof uses sutured manifold theory and an analysis of the arc complex of the once-punctured torus. △ Less

Submitted 15 May, 2009; v1 submitted 24 September, 2008; originally announced September 2008.

Comments: 17 pages, 11 figures; v2 corrects an error in Section 4; v3 is the final version. To appear in Commentarii Mathematici Helvetici

MSC Class: 57M25; 57N10

Algorithmically detecting the bridge number of hyperbolic knots

Authors: Alexander Coward

Abstract: We exhibit an algorithm to determine the bridge number of a hyperbolic knot in the 3-sphere. The proof uses adaptations of almost normal surface theory for compact surfaces with boundary in ideally triangulated knot exteriors. We exhibit an algorithm to determine the bridge number of a hyperbolic knot in the 3-sphere. The proof uses adaptations of almost normal surface theory for compact surfaces with boundary in ideally triangulated knot exteriors. △ Less

Submitted 27 March, 2012; v1 submitted 5 October, 2007; originally announced October 2007.

Comments: 42 pages, 23 figures; v2 contains a rewritten introduction and updated references

MSC Class: 57M25