🪢 Knot Theory — Invariants, Crossings & Reidemeister Moves

Mathematicians compute knot invariants — numbers or polynomials assigned to each knot that remain unchanged under any deformation. If two knots have different invariants, they must be different. Common invariants include the crossing number, the Alexander polynomial, and the Jones polynomial. No single invariant distinguishes all knots, but together they provide powerful classification tools.

Reidemeister moves are three local transformations on knot diagrams that do not change the underlying knot: Type I (twisting/untwisting a loop), Type II (sliding one strand over another), and Type III (moving a strand past a crossing). A theorem by Kurt Reidemeister states that two knot diagrams represent the same knot if and only if one can be converted to the other by a sequence of these three moves.

The Jones polynomial is a knot invariant discovered by Vaughan Jones in 1984 using operator algebras related to quantum mechanics. It is a Laurent polynomial in a variable t that takes different values for topologically distinct knots. It can distinguish many knots that the classical Alexander polynomial cannot, and its discovery revealed deep connections between knot theory, quantum groups, and statistical mechanics.

DNA in cells forms knots and supercoils during replication and transcription. Enzymes called topoisomerases manage these topological changes: type I topoisomerases cut one strand to relieve supercoiling; type II topoisomerases pass one double-stranded segment through another, changing the knot type. Understanding these operations mathematically helps biologists study how cells replicate DNA without tangling it permanently.

Topological quantum computing stores quantum information in non-abelian anyons — exotic quasi-particles in certain 2D quantum systems. Logical operations are performed by braiding anyons around each other, which corresponds to changing the topology of their worldlines (a form of knot operation). The key advantage is fault tolerance: topological quantum information is protected from local perturbations because it depends only on the global topology of the braid, not on precise physical details.