Math/The Insane Math Of Knot Theory
The Insane Math Of Knot Theory

The Insane Math Of Knot Theory

Veritasium35 minSep 3, 2023
Most of us tie our shoe laces wrong.
18 chapters
  • Introduction to Knot Theory(0'001'18)
    Most people tie their shoelaces incorrectly. One method uses counterclockwise motion around the loop, while the other uses clockwise motion, but one is far superior and doesn't loosen as easily.
    A branch of mathematics that aims to identify, categorize and understand every possible knot that could ever exist. So far, 352,152,252 knots have been discovered.
    • Core to the structure of proteins and DNA • Leading to new materials stronger than Kevlar • Used to develop medicines that save millions of lives
    Knot theory is not pure math. Understanding these humble knots has become remarkably useful in chemistry, biology, and medicine.
  • Defining Mathematical Knots(1'183'44)
    Everyday knots are held together only by tension and friction. For rigorous study, mathematicians needed a way to prevent knots from falling apart when pulled.
    Mathematicians connected the two ends of the rope to create closed loops. Now knots can be studied and rearranged without fundamentally changing their structure.
    • Unknot: A simple circle, the simplest knot possible • Trefoil: The simplest knot after the unknot, cannot be untangled without breaking the loop
    Two knots are only different if you cannot make one into the other without breaking the loop. All knots exist on closed loops.
  • The Knot Equivalence Problem(3'445'27)
    How do you tell two knots apart? The knot equivalence problem has propelled the entire field of knot theory for over 150 years.
    • Alan Turing called it potentially undecidable in his final publication • Previously, the Gordian knot was the most famous knot problem, solved by Alexander the Great by cutting it (invalid in knot theory)
    • Endless knot: appeared in Indus Valley clay tablets and Medieval Celtic designs • Quipu: Incan knots on cords used to track taxes and calendars • Borromeon rings: featured in the coat of arms of the Italian House of Borromeo
    This single question is so famously difficult that it has driven an entire mathematical field, with some of the greatest minds unable to solve it for centuries.
  • Tait's Pioneering Work(5'277'31)
    In 1867, Scottish physicist Peter Guthrie Tait demonstrated a smoke machine to William Thomson (Lord Kelvin), leading to a revolutionary theory about atoms.
    Kelvin theorized that atoms were made of vortex rings of ether in different knot configurations. Different knots would make different elements, creating a periodic table of knots.
    • Began investigating knots systematically to support Kelvin's atomic theory • Discovered knots by crossing number: trefoil (3), figure eight (4), and progressively more complex knots • Introduced composite knots (multiple knots combined) and prime knots (non-decomposable)
    Although Kelvin's vortex theory was later disproved by the discoveries of the electron and periodic table, Tait was already committed to understanding knots mathematically.
  • Building the Knot Tables(7'319'27)
    Tait published his list of knots up to seven crossings in 1877, the first math paper with 'knots' in its title. He then paused for seven years.
    Thomas Kirkman and Charles Little answered Tait's call for help. Together they found all 21 eight-crossing knots, 49 nine-crossing knots, and 166 ten-crossing knots by 1899.
    All work was done painstakingly by hand. Tait admitted uncertainty about whether all groups were truly different, and the task grew exponentially harder with each crossing number.
    Their knot tables stood for 75 years without change until a single correction in 1973, demonstrating exceptional care and accuracy in their manual tabulation.
  • Reidemeister Moves and Proving Knots(9'2710'50)
    In 1927, German mathematician Kurt Reidemeister proved that only three types of moves are needed to transform any two identical knots into each other.
    • Twist: creating or removing a simple loop • Poke: adjusting the configuration at a crossing • Slide: moving a string from one side of a crossing to the other
    If you can show that two knots are connected by Reidemeister moves, you've proven they must be identical. This solved half of the equivalence problem.
    You still cannot prove two knots are different, because you could perform Reidemeister moves for centuries without making the right ones to show equivalence.
  • Computing Solutions(10'5013'01)
    In 1961, mathematician Wolfgang Haken created a computer algorithm that definitively distinguished any knot from the unknot, but his paper was over 130 pages long.
    • Haken's algorithm would take longer than the age of the universe to run for large knots • 2001: mathematicians found an upper bound of 2 to the 100 billion n moves needed • Today: improved to 236 n to the power of 11, still unfathomably large
    For a single crossing knot, the number of required moves is larger than the number of stars in the observable universe.
    In 2011, mathematicians solved the entire knot equivalence problem with an upper bound using tetration operations repeated 10 to the million n times, an unimaginably large number.
  • Knot Invariants(13'0114'13)
    Invariants are properties of a knot that never change no matter how much you twist or tangle it. Different knots have different invariants, allowing identification.
    • If two knots have different invariants, they are definitely different knots • If two knots share invariants, they might still be different • Invariants are not perfectly discriminating but serve as identifying hallmarks
    The simplest invariant: two knots cannot be identical if they have different crossing numbers. However, calculating it requires finding the knot's reduced form.
    Knots are identified by combining dozens of invariants together, similar to identifying a person by first name, last name, birthday, and other characteristics.
  • Tricolorability and p-colorability(14'1318'01)
    A knot invariant where each segment is colored with one of three colors. Rules: use at least two colors, and at crossings, the three intersecting strands must be all the same color or all different colors.
    Tricolorability is preserved through all Reidemeister moves. The unknot is not tricolorable, while the trefoil is easily tricolorable with three different colored segments.
    Tricolorability only provides two categories across all knots. The figure eight knot, for example, is not tricolorable, same as the unknot, so they need further distinction.
    • p-colorability uses prime numbers instead of three colors • Numbers 0 to p minus one are assigned to strands • The unknot is completely uncolorable, so any knot with any colorability cannot be the unknot
  • Polynomial Invariants(18'0121'34)
    Discovered in 1923, before even Reidemeister moves. It assigns a polynomial to each knot based on a recursive relationship derived from varying single crossings.
    • The unknot has a polynomial equal to one • For any crossing, you can vary it in three positions: forward, backward, and separate • This creates a relationship between the polynomials of the three resulting knots
    Discovered in 1984 when mathematician Vaughan Jones realized his work on statistical mechanics resembled knot theory equations. With Joan Birman's help, he created a more powerful polynomial invariant.
    • Jones' discovery sparked a fervor in knot theory • Six mathematicians independently found the HOMFLY polynomial with two variables • Later refined to the HOMFLY-PT polynomial by Polish mathematicians
  • The Perko Pair Correction(21'3422'32)
    Kenneth Perko, a lawyer who studied knot theory, noticed two knots in Little's table of 10 crossing knots that seemed suspiciously similar despite being listed as different.
    Using a yellow legal pad to sketch Reidemeister moves, Perko quickly found a way to connect the two knots, proving they were actually the same knot.
    The Perko pair became famous as the two projections that exposed an error in Tait and Little's 75-year-old tables, resulting in a single correction: 166 ten crossing knots became 165.
    The Perko pair demonstrated that even the most carefully constructed knot tables could miss subtle equivalences, highlighting the difficulty of proving knots identical through Reidemeister moves alone.
  • Modern Knot Tabulation(22'3224'21)
    In the 1980s, Dowker and Thistlethwaite built computer algorithms to tabulate knots. The method lists all possible knots and uses invariants to eliminate duplicates.
    • John Conway found all 552 eleven crossing knots in a single afternoon (last hand tabulation) • Dowker and Thistlethwaite found 12 and 13 crossing knots • Hoste, Weeks, and Thistlethwaite tabulated 14, 15, and 16 crossing knots in 'The First 1,701,936 Knots'
    In 2020, mathematician Ben Burton single-handedly tabulated all 17, 18, and 19 crossing knots, bringing the total known prime knots to 352,152,252.
    • Burton's project required hundreds of computers running for months • Alternating knots were computed up to 24 crossings in 2007 • Including alternating knots, total knots known: 159,965,097,353
  • Molecular Knots in Chemistry(24'2126'15)
    In 1989, chemist Jean-Pierre Sauvage tied molecules around copper ions to create the first ever synthetic knotted molecule, a trefoil knot that restricted atoms in higher energy states.
    • Any type of knot tied in a molecule changes its properties • Over 159 billion different molecular knots are theoretically possible • Only six molecular knots have been created to date
    Chemists cannot nudge individual ions into place. Molecules must be designed to self-assemble into knots. Knot theory helps identify which knots match molecular templates.
    The 819 knot with 192 atoms around a central chloride ion holds the Guinness World Record for tightest knot, with eight crossings in 20 nanometers, making it one of the strongest chloride binders in existence.
  • DNA and Bacterial Knots(26'1527'00)
    Bacterial DNA consists of a single loop of the double helix molecule. When DNA replicates, it forms a knotted link, preventing bacteria from separating into two cells.
    Bacteria use type two topoisomerase enzyme to snip and reconnect DNA, turning linked DNA back into an unlink so replication can proceed cleanly.
    • Inhibiting type two topoisomerase prevents bacteria from replicating properly and causes them to die • Quinolones are common antibiotics that work through this mechanism • These are among the most common antibiotics in the world
    Biologists needed knot theory to understand that topoisomerase decreases the crossing number of DNA knots by two at a time, revealing it cuts and rejoins entire double strands of DNA.
  • Cancer Treatment and Protein Knots(27'0028'31)
    Human DNA is not circular but long enough to tangle. Each cell contains two meters of DNA, equivalent to stuffing 200 kilometers of fishing line into a basketball.
    Human type two topoisomerases manage DNA tangles through crossing changes. They are different enough from bacterial versions to be unaffected by antibiotics.
    • Human topoisomerases are intentionally inhibited in chemotherapy • Inhibition stops cell replication and kills cells • Rapidly dividing cancer cells are predominantly affected • This is one of the most common forms of chemotherapy
    • 1% of all proteins have various knots in their fundamental structure • Misknotted proteins malfunction • Knot theory helps understand protein mechanisms and potential repair methods
  • Shoelace Knots Explained(28'3129'42)
    Both common shoelace tying methods create two trefoils on top of each other. Counterclockwise motion creates identical trefoils (granny knot), while clockwise creates mirror-imaged trefoils (square knot).
    The square knot created by clockwise motion is superior and doesn't loosen as easily as the granny knot created by counterclockwise motion.
    • Simple overhand knot is just the trefoil • Bowline knot (common for boating) is the six two knot • Any knot tied without using the ends (in the bite) is an unknot
    Everyone should tie their shoelaces by going clockwise around the loop to create the more stable square knot instead of the looser granny knot.
  • Real-World Knot Formation(29'4231'49)
    In 2007, researchers Dorian Raymer and Douglas Smith conducted 3,415 trials of spinning string in boxes to study how knots form naturally, creating 120 different types of knots.
    • Longer agitation time leads to higher chance of knotting • Longer string increases knotting probability • Smaller box restraint decreases probability, overriding string length effects
    A series of loops first form when string is placed in a container. During agitation, a free end gets woven up and down through the loops, braiding itself into knots.
    • Coiling wires sets you up for failure by creating loops for loose ends to braid into • Restrict movement using small boxes or increase string stiffness • DNA uses supercoiling to increase stiffness; twisted wires achieve the same effect
  • Legacy and Applications(31'4935'21)
    Knot theory began as a failed theory of everything but became a standalone field of math propelled purely by intellectual curiosity for over a century.
    • Raymer and Smith's study won an Ig Nobel Prize • Their work was cited in studies of knots in surgical catheters • Linked to an Apple patent for stiffer earbud wires
    Knot theory is now a theory of everything from headphone tangles to material science to chemotherapy, reclaiming its original potential as a universal framework.
    Knot theory exemplifies how knowledge in one area becomes a tool to understand countless others. Learning to distinguish a trefoil from an unknot led to discovering brand new proteins and molecules.