Hard Unknots and Collapsing Tangles

Louis H. Kauffman,Sofia Lambropoulou

DOI: https://doi.org/10.48550/arXiv.math/0601525

2014-07-26

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.

Geometric Topology

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **There is a class of complex unknots (trivial knots, that is, knots that can be simplified into a simple circle). When these unknots are simplified using Reidemeister moves, their complexity must be increased first before they can finally be simplified into a circle without crossings.**

Specifically, the main problems of the paper include:

1. **Constructing and understanding complex unknot diagrams**:
- The author shows how to generate complex unknot diagrams by adding two rational tangles and closing their numerators.
- These unknot diagrams are called "hard unknots" because they need to become more complex during the simplification process.

2. **Determining when the sum of two rational tangles will form an unknot**:
- The paper proves that when the numerator of the sum of the fractions of two rational tangles is ±1, their closed sum will be an unknot.

3. **Studying applications in DNA recombination**:
- During the DNA recombination process, the initial DNA substrate can be represented by the closed sum of two rational tangles.
- The paper explores the applications of these theories in the DNA recombination process, especially the stability of processive recombination.

4. **Finding the hard unknot diagram with the minimum complexity**:
- The author found the hard unknot diagram with the minimum complexity of 9 crossings and proved that this is the minimum complexity that can be obtained by the closed sum of two alternating rational tangles.

5. **Introducing and calculating the recalcitrance of unknot diagrams**:
- Recalcitrance is defined as the ratio of the maximum number of crossings required during the simplification process to the original number of crossings.
- The author shows that there is no upper bound for recalcitrance that applies to all unknot diagrams.

### Formula summary

- **Adding fractions of rational tangles**:
\[
\text{If the fractions of two rational tangles are } \frac{P}{Q} \text{ and } \frac{R}{S} \text{ respectively, then the fraction of their sum is } \frac{PS + QR}{QS}
\]
Their closed sum will be an unknot if and only if \( PS + QR=\pm 1 \).

- **Definition of recalcitrance (Recalcitrance)**:
\[
R(K)=\frac{\text{Top}(K)}{C(K)}
\]
where \( \text{Top}(K) \) is the maximum number of crossings that appear during the simplification process, and \( C(K) \) is the number of crossings in the original diagram.

Through the exploration of these problems, the paper not only solves theoretical problems in topology but also provides new perspectives and tools for the field of biochemistry.