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.

Constructing knot tunnels using giant steps

Iterated splitting and the classification of knot tunnels

On tunnel numbers of a cable knot and its companion

An object evaluator to generate flexible applications

Generalized functions for quantum fields obeying quadratic exchange relations

New Counterexamples to Min-Oo's Conjecture via Tunnels

Additive tunnel number and primitive elements

The growth rate of the tunnel number of m-small knots

Tunnel number one, genus one fibered knots

Hard Unknots and Collapsing Tangles

Tunnel One, Fibered Links

Twisted torus knots T(p,q,3,s) are tunnel number one

Band taut sutured manifolds

Infinitely many knots admitting the same integer surgery

Minimal genus Seifert surface for 11 crossing alternating knots

A Topological Characterization Of Knots and Links Arising From Site-Specific Recombination

Supercoiled Tangles and Stick Numbers of 2-bridge Links

Bridge Number and the Curve Complex

A Note on an Asymptotically Good Tame Tower

Torus knots and generalized Schröder paths

Discrete Morse Theory for Khovanov Homology