proving the trefoil is knotted - mit mathematics...proving the trefoil is knotted william kuszmaul,...

20
Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference May 17, 2014 1

Upload: others

Post on 31-Jul-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

Proving the Trefoil is Knotted

William Kuszmaul, Rohil Prasad, Isaac XiaMentored by Umut Varolgunes

Fourth Annual MIT PRIMES Conference

May 17, 2014

1

Page 2: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

HOW TO BUILD A KNOT

1. Take 1 piece of string

2. Tangle it up

3. Glue ends together

2

Page 3: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

EXAMPLE KNOTS

(a) Trefoil (b) 41 (c) 106

3

Page 4: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

SOME KNOTS ARE THE SAME

Knot diagrams can be deformed, like in real life.

4

Page 5: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

REIDEMEISTER MOVES

I We think of knots as knot diagrams:

5

Page 6: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

THE BIG QUESTION

Question: How can we show that two knots aren’t equal?

Answer: Find an Invariant.

Assign a number to each knot diagram so that two knotdiagrams that are equivalent have same assigned number.

6

Page 7: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

EXAMPLE INVARIANT: CROSSING NUMBER

I Find an equivalent knot diagram with the fewest crossingsI Crossing number = fewest number of crossings

I But this is hard to compute in reality

7

Page 8: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

A BETTER INVARIANT: TRICOLORING KNOTS

I Assign one of three colors, a, b, c to each strand in a knotdiagram (red, blue, green)

I At any crossing, strands must either have all different orall same color

I We are interested in the number of tricolorings of a knot.

8

Page 9: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

WHY TRICOLORABILITY MATTERS

TheoremIf a knot diagram has k tricolorings, then all equivalent knot diagramshave k tricolorings.

How to Prove:Show number of tricolorings is maintained by Reidemeistermoves.

9

Page 10: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

EXAMPLE: BIJECTING TRICOLORINGS FOR SECOND

REIDEMEISTER MOVE

Case 1: Same Color

10

Page 11: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

EXAMPLE: BIJECTING TRICOLORINGS FOR SECOND

REIDEMEISTER MOVE

Case 2: Different Colors

11

Page 12: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

TREFOIL IS KNOTTED!

(a) 3 UnknotTricolorings

(b) 9 TrefoilTricolorings

=⇒ Trefoil6=Unknot

12

Page 13: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

A DIFFERENT APPROACH: FOCUS ON ONE CROSSING

Trefoil Knot

(a) Crossing Change 1 (b) Crossing Change 2

How can we take advantage of this?

13

Page 14: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

A WEIRD POLYNOMIAL: JONES POLYNOMIAL J(K)

1. Pick a crossing:2. Look at its rearrangements:

(a) K1 (b) K2 (c) K3

3. Use recursion:

t−2J(K1)− t2J(K2) = (t− t−1)J(K3)

J(O) = 114

Page 15: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

WHY JONES POLYNOMIAL MATTERS: IT’S AN

INVARIANT!

TheoremIf knot diagrams A and B are equivalent, then J(A) = J(B).

How to Prove: Show Jones Polynomial is unchanged byReidemeister Moves.

15

Page 16: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

EXAMPLE: 2 UNKNOTS AT ONCE

(a) A1 (b) A2 (c) A3 (2 Unknots)

J(2 Unknots) = J(A3)

=t−2J(A1)− t2J(A2)

t− t−1

=t−2J(Unknot)− t2J(Unknot)

t− t−1

=t−2(1)− t2(1)

t− t−1 = −t− t−1.

16

Page 17: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

A WEIRDER EXAMPLE: LINKED UNKNOTS

(a) (Linked Unknots) B1 (b) B2 (c) B3

J(Linked Unknots) = J(B1)

= t4J(B2) + (t3 − t)J(B3)

= t4J(Separate Unknots) + (t3 − t)J(Unknot)

= t4(−t− t−1) + (t3 − t)(1)

= −t5 − t.

17

Page 18: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

JONES POLYNOMIAL OF TREFOIL

(a) T1 (Trefoil) (b) T2 (c) T3

J(Trefoil) = J(T1)

= t4J(T2) + (t3 − t)J(T3)

= t4J(Unknot) + (t3 − t)J(Linked Unknots)

= t4(1) + (t3 − t)(−t5 − t)

= −t8 + t6 + t2.

18

Page 19: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

COMPLETING SECOND PROOF

=⇒ Trefoil6=Unknot

19

Page 20: Proving the Trefoil is Knotted - MIT Mathematics...Proving the Trefoil is Knotted William Kuszmaul, Rohil Prasad, Isaac Xia Mentored by Umut Varolgunes Fourth Annual MIT PRIMES Conference

ACKNOWLEDGEMENTS

We want to thank1. Our mentor Umut Varolgunes for working with us every

week.2. MIT PRIMES for setting up such a fun reading group.

20