BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alexander Coward appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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 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.
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.
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.
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.