Computing a Link Diagram from Its Exterior

  title={Computing a Link Diagram from Its Exterior},
  author={Nathan M. Dunfield and Malik Obeidin and Cameron Gates Rudd},
  booktitle={International Symposium on Computational Geometry},
A knot is a circle piecewise-linearly embedded into the 3-sphere. The topology of a knot is intimately related to that of its exterior, which is the complement of an open regular neighborhood of the knot. Knots are typically encoded by planar diagrams, whereas their exteriors, which are compact 3-manifolds with torus boundary, are encoded by triangulations. Here, we give the first practical algorithm for finding a diagram of a knot given a triangulation of its exterior. Our method applies to… 

All Known Principal Congruence Links

This report lists the link diagrams in S^3 for all principal congruence link complements for which such a link diagram is known. Several unpublished link diagrams are included. Related to this, we



The Next 350 Million Knots

The many different algorithmic components in the tabulation of all prime knots draw on graph theory, hyperbolic geometry, knot polynomials, normal surface theory, and computational algebra, and the algorithm engineering challenges in solving difficult topological problems systematically and reliably on hundreds of millions of inputs are discussed.

The computational complexity of knot and link problems

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.

Knots are determined by their complements

This answers a question apparently first raised by Tietze [T, p. 83]. It was previously known that there were at most two knots with a given complement [CGLS, Corollary 3]. The notion of equivalence

Triple Crossing Number of Knots and Links

A triple crossing is a crossing in a projection of a knot or link that has three strands of the knot passing straight through it. A triple crossing projection is a projection such that all of the

Connectivity of triangulations without degree one edges under 2-3 and 3-2 moves

Matveev and Piergallini independently showed that, with a small number of known exceptions, any triangulation of a three-manifold can be transformed into any other triangulation of the same

Normal surfaces in topologically finite 3-manifolds

The concept of a normal surface in a triangulated, compact 3-manifold was generalised by Thurston to a spun-normal surface in a non-compact 3-manifold with ideal triangulation. This paper defines a