870 likes | 1.02k Views
Blown Away: What Knot to Do When Sailing. Sir Randolph Bacon III. How can we tell if a knot is really knotted?. Theorem: Two projections represent the same knot if and only if they are related through a sequence of Reidemeister moves. ?. Theorem. A projection of the trivial knot with n
E N D
Blown Away: What Knot to Do When Sailing Sir Randolph Bacon III
Theorem: Two projections represent the same knot if and only if they are related through a sequence of Reidemeister moves.
Theorem. A projection of the trivial knot with n crossings can be turned into the trivial projection in no more than 2100,000,000,000n Reidemeister moves. (“The number of Reidemeister moves needed for unknotting”, Joel Hass and Jeff Lagarias, Jour. A.M.S. 14 (2001), 399-428.)
Theorem. A projection of the trivial knot with n crossings can be turned into the trivial projection in no more than 2100,000,000,000n Reidemeister moves. (“The number of Reidemeister moves needed for unknotting”, Joel Hass and Jeff Lagarias, Jour. A.M.S. 14 (2001), 399-428.)
Theorem. A projection of the trivial knot with n crossings can be turned into the trivial projection in no more than 2100,000,000,000n Reidemeister moves. < 2 700,000,000,000 (“The number of Reidemeister moves needed for unknotting”, Joel Hass and Jeff Lagarias, Jour. A.M.S. 14 (2001), 399-428.)
Tricoloration: A projection is tricolorable if its strands can be colored with three colors such that:
Tricoloration: A projection is tricolorable if its strands can be colored with three colors such that: 1. At each crossing, one or three colors meet.
Tricoloration: A projection is tricolorable if its strands can be colored with three colors such that: 1. At each crossing, one or three colors meet. 2. At least two colors are utilized.
Examples: Non-examples:
Examples: Non-examples:
Thm. A projection of a knot is tricolorable if and only if every projection of that knot is tricolorable. Pf. It is enough to show that the Reidemeister moves preserve tricolorability.
14 =2(mod12) 3 =27(mod12) 4 = -8(mod 12)
a=b(mod p) if p divides a-b e.g. 7 = 2 (mod5) since 5 divides 7-2.
a=b(mod p) if p divides a-b e.g. 7 = 2 (mod5) since 5 divides 7-2. 9= 0 (mod 3) since 3 divides 9-0.
a=b(mod p) if p divides a-b e.g. 7 = 2 (mod5) since 5 divides 7-2. 9= 0 (mod 3) since 3 divides 9-0. 1=7(mod 6) since 6 divides 1-7.
Theorem. p-colorations are preserved by Reidemeister moves. Corollary. If one projection of a knot is p-colorable for some p, then every projection of that knot is p-colorable.
Theorem. p-colorations are preserved by Reidemeister moves. Corollary. If one projection of a knot is p-colorable for some p, then every projection of that knot is p-colorable. Corollary. If K is p-colorable for some p ≥ 3, then K is nontrivial.
A 7-coloring So this is nontrivial!
2 1
2 3 1
2 3 1 4
2 3 1 5 4