# Perko pair knots

(Difference between revisions)
 Revision as of 14:03, 19 July 2011 (edit)m ← Previous diff Revision as of 14:46, 19 July 2011 (edit) (undo)Next diff → Line 415: Line 415: The list of even numbers on the bottom row of the table is the knot's Dowker representation. The list of even numbers on the bottom row of the table is the knot's Dowker representation. - '''PLANNING TO ADD A SECTION ABOUT HOW TO GET FROM THE NUMBERS TO A PICTURE''' + To get from Dowker notation to a picture of a knot, we begin by laying out a number line. At each tick mark on the number line, we write both the number that would normally be at that spot and the number that it's matched with in the Dowker representation of the knot. This is shown in IMAGE NUMBER, where the points on the number line labeled 1, -2, and 3 are also labeled 14, 9, and 10. -
[[Image:Perko dowkerB.gif|left|thumb|300px|[[#b|Image 3]]. Another projection of the Perko knot, with a different Dowker representation.]]
+ We continue making our number line until we reach a number that is already labeled on it. In our example, this happens when we reach 9, which is already on the number line as the counterpart of -2. Since the number is already on the number line, we circle our line back around to go through the crossing at -2 and 9. + +
[[Image:Perko dowkerB.gif|left|thumb|300px|[[#b|Image 4]]. Another projection of the Perko knot, with a different Dowker representation.]]
Dowker representations are unique to a specific projection of a knot, not to the knot itself. One set of Dowker numbers will always generate the same projection of a knot, but there may be other projections of that same knot that have a different Dowker representation. Dowker representations are unique to a specific projection of a knot, not to the knot itself. One set of Dowker numbers will always generate the same projection of a knot, but there may be other projections of that same knot that have a different Dowker representation. Line 424: Line 426: - Projections with the same number of crossings can have different Dowker representations as well. For example, if we look at the second Perko pair knot, we can see in [[#b|Image 3]] and in the table below that it has a different Dowker representation than the first knot. + Projections with the same number of crossings can have different Dowker representations as well. For example, if we look at the second Perko pair knot, we can see in [[#b|Image 4]] and in the table below that it has a different Dowker representation than the first knot. {{{!}}border=1 cellpadding=10 cellspacing=0 align=center {{{!}}border=1 cellpadding=10 cellspacing=0 align=center

## Revision as of 14:46, 19 July 2011

{{Image Description |ImageName=Perko pair knots |Image=Perko knots.gif |ImageIntro=This is a picture of the Perko pair knots. They were first thought to be separate knots, but in 1974 it was proved that they were actually the same knot. |ImageDescElem=In 1899, C. N. Little published a table of 43 nonalternating knots of 10 crossings that listed the two knots shown above as being distinct. Seventy-five years later, Kenneth Perko, a lawyer and part-time mathematician, discovered that these were actually the same knot[1].

To say that two knots are the same is to say that one can be deformed into the other without breaking the knot or passing it through itself. To prove that two knots are the same, we can create one of them out of actual rope, and tug at it and move it around until it looks like the other. As the story goes, that's how Perko figured out that these knots are the same - by working with rope on his floor.

We can also prove that two knots are the same by working with their projections. A projection of a knot is a flat representation of it, essentially a 2D drawing of the knot. There are many ways to use projections to show that certain knots are distinct from each other, but the main way of using projections to demonstrate that two knots are the same is to use the Reidemeister moves, which are described below. |ImageDesc===Reidemeister moves==

As was stated above, knots are considered to be the same if one can be rearranged into the other without breaking the string or passing it through itself. This kind of transformation is called an ambient isotopy. But when we're writing a written proof, we have to work with the knots projection, instead of the knot itself. What manipulations can we make on a knot’s projection that correspond to ambient isotopies in three dimensions?

The first answer is a planar isotopy. A planar isotopy is the sort of transformation you could make if the projection of a knot was printed on very stretchy rubber. The image can be stretched in all directions, but none of the crossings are affected:

The original image.

These two images are planar isotopies of the original image.

This is not a planar isotopy of the original image.

The second answer is the Reidemeister moves, a set of three changes we can make to a knot’s projection that do affect the knot’s crossings but are still ambient isotopies. Every change to a knot's projection that corresponds to an ambient isotopy can be described as some combination of these three moves. In the images below, we imagine that the line segments continue and connect in some sort of unspecified knot, and only the section of the knot we're looking at changes:

 Type I Reidemeister Move: The first Reidemeister move allows you to create a twist in a strand that goes in either direction. Type II Reidemeister move: The second Reidemeister move allows you to slide one strand on top of or behind another. Type III Reidemeister move: The third Reidemeister move allows you to slide a strand to the other side of a crossing.

## Proving that the Perko knots are equivalent

In his paper "On the Classification of Knots", Kenneth Perko provided an abridged proof that the knots now known as the Perko pair are the same[2]. This proof is shown below:

Perko's proof relies on the ability of the reader to manipulate the knots in their head and verify that each projection can be manipulated to look like the next. To create a full, rigorous proof, we need to use planar isotopies and the Reidmeister moves, as described above.

Below is a step-by-step Reidemeister moves proof that follows the outline of Perko's shorter proof. The arrows between each step are labeled to show how we get from one image to the other: p.i. means we use a planar isotopy, I means we use the first Reidemeister move, II means we use the second move, and III means we use the third move. Mousing over a step will highlight the part of the knot that's about to move in pink, and display a dotted green line showing where it will move to.

## Dowker notation

Dowker notation is a way of describing knots with numbers. Each crossing is labeled with two numbers, and anyone who knows the notation can reconstruct the knot by connecting the numbers in the right order[1].

{{Hide|1=

Image 1. The first Perko knot with direction assigned.
Image 2. The first Perko knot with numbers assigned to the crossings. Orange numbers are assigned when going over a crossing, pink numbers are assigned when going under.

To determine a knot's Dowker representation, first we need to assign direction to the knot. This is shown in Image 1.

Next, pick any crossing, and assign the number 1 to it. Follow the strand that goes under that crossing to the next crossing, and label it 2. Make sure to travel in the direction specified by the arrows. Keep following the arrows around the knot, and assigning numbers sequentially to every crossing. When going under a crossing, negative even numbers are assigned in place of positive even numbers[3]. In Image 2, we can see that the second number is -2 instead of 2, because it was assigned while going under. All odd numbers are positive.

We continue all the way around the knot until every crossing has two numbers, one for the strand that goes under and one for the strand that goes over as shown in Image 2. At each crossing, one of the numbers is odd and the other is even.

Then we put our numbers into a table. On the top row, we put the odd numbers in numerical order. Beneath each odd number, we put the even number that is found for the same crossing. The table that corresponds with Image 2 is shown below:

 1 3 5 7 9 11 13 15 17 19 14 -10 16 -18 -2 -6 20 4 -12 -8

The list of even numbers on the bottom row of the table is the knot's Dowker representation.

To get from Dowker notation to a picture of a knot, we begin by laying out a number line. At each tick mark on the number line, we write both the number that would normally be at that spot and the number that it's matched with in the Dowker representation of the knot[1]