Abstract:This paper gives infinitely many examples of unknot diagrams that are hard, in the sense that the diagrams need to be made more complicated by Reidemeister moves before they can be simplified. In order to construct these diagrams, we prove theorems characterizing when the numerator of the sum of two rational tangles is an unknot. The key theorem shows that the numerator of the sum of two rational tangles [P/Q] and [R/S] is unknotted if and only if PS + QR has absolute value equal to 1. The paper uses these results in studying processive DNA recombination, finding minimal size unknot diagrams, generalizing to collapses to knots as well as to unknots, and in finding unknots with arbirarily high complexity. The paper is self-contained, with a review of the theory of rational tangles and a last section on relationships of the theme of the paper with other aspects of topology and number theory. The present version of the paper contains a correction to Figure 22 of the previous (and published) version, a small expansion to the section on Farey fractions, and an updated reference to the paper "Unknotting unknots" by Henrich and Kauffman.

On detecting the trivial rational $3$-tangle

Hard Unknots and Collapsing Tangles

Normal forms for rational 3-tangles

On the Classification of Rational Knots

Tangle Equations, the Jones conjecture, slopes of surfaces in tangle complements, and q-deformed rationals

Non-hyperbolic solutions to tangle equations involving composite links

A Bound for Rational Thurston–Bennequin Invariants

Classification of Flat Virtual Pure Tangles

Tangle contact homology

Characterising 4-tangles through a connectivity property

Obstructing two-torsion in the rational knot concordance group

Iterated splitting and the classification of knot tunnels

Conway Rational Tangles and the Thompson Group

Diagrammatic representations of 3-periodic entanglements

On the tangle compactification of infinite graphs

A Moebius inversion formula to discard tangled hyperbolic surfaces

Rational Cherednik Algebras and Torus Knot Invariants

Classification of small links in the unmarked solid torus

Detection of twice-punctured tori in hyperbolic knot complements

Higher-Dimensional Algebra IV: 2-Tangles

Supercoiled Tangles and Stick Numbers of 2-bridge Links