57
$\begingroup$

My headphone cables formed this knot:

enter image description here

however I don't know much about knot theory and cannot tell what it is. In my opinion it isn't a figure-eight knot and certainly not a trefoil. Since it has $6$ crossings that doesn't leave many other candidates!

What is this knot? How could one figure it out for similarly simple knots?

$\endgroup$
10
  • 55
    $\begingroup$ Also, your headphones are connected? Weird headphones... $\endgroup$
    – user223391
    Commented Jan 25, 2017 at 19:55
  • 5
    $\begingroup$ @MikeHaskel I guess counting is not my strong point. $\endgroup$
    – s.harp
    Commented Jan 25, 2017 at 19:56
  • 8
    $\begingroup$ Just because your drawing has six crossings doesn't mean that six is the crossing number of the knot. It just means that the crossing number is at most six. In fact, to me, it looks like the crossing number is $5$. $\endgroup$
    – Arthur
    Commented Jan 25, 2017 at 19:58
  • 6
    $\begingroup$ I made a model and just pulled the string and got this: imgur.com/a/yGf6I $\endgroup$
    – tomasz
    Commented Jan 25, 2017 at 20:17
  • 2
    $\begingroup$ @ZacharySelk It would be even more weird if the connected headphones were able to form a knot. $\endgroup$
    – JiK
    Commented Jan 27, 2017 at 13:01

3 Answers 3

82
$\begingroup$

Arthur's answer is completely correct, but for the record I thought I would give a general answer for solving problems of this type using the SnapPy software package. The following procedure can be used to recognize almost any prime knot with a small number of crossings, and takes about 10-15 minutes for a new user.

Step 1. Download and install the SnapPy software from the SnapPy installation page. This is very quick and easy, and works in Mac OS X, Windows, or Linux.

Step 2. Open the software and type:

M = Manifold()

to start the link editor. (Here "manifold" refers to the knot complement.)

Step 3. Draw the shape of the knot. Don't worry about crossings to start with: just draw a closed polygonal curve that traces the shape of the knot. Here is the shape that I traced: enter image description here

If you make a mistake, choose "Clear" from the Tools menu to start over.

Step 4. After you draw the shape of the knot, you can click on the crossings with your mouse to change which strand is on top. Here is my version of the OP's knot:

enter image description here

Step 5. Go to the "Tools" menu and select "Send to SnapPy". My SnapPy shell now looks like this:

enter image description here

Step 6. Type

M.identify()

The software will give you various descriptions of the manifold, one of which will identify the prime knot using Alexander-Briggs notation. In this case, the output is

[5_1(0,0), K5a2(0,0)]

and the first entry means that it's the $5_1$ knot.

$\endgroup$
2
  • $\begingroup$ Excellent find. Does SnapPy accept 3D polygon data and identify them? From what I can see, it's all about DT codes, which is a bit annoying to compute on my own, if there's already a function for it. $\endgroup$
    – orion
    Commented Jan 26, 2017 at 18:51
  • $\begingroup$ Neat; I'll have to look into that. If anybody's interested, I built a similar java program a few years back. It parses, reduces, and re-displays knots. github.com/Erhannis/KnotTheorist Has anybody previously seen the notation I use? I couldn't find any in the books I read, so I made one. $\endgroup$
    – Erhannis
    Commented Jan 27, 2017 at 22:37
60
$\begingroup$

Here is a redrawing of your knot, with some colour added to it:

enter image description here

Now, take the red part, and flip it down, and you get this knot:

enter image description here

which has five crossings, and, if it weren't for my lousy Paint skills, would look an aweful lot like the pentafoil knot $5_1$ (the edge of a mobius strip with $5$ half-twists, or the $(5, 2)$ torus knot), if you just smoothen out the edges a bit

$\endgroup$
9
  • $\begingroup$ This looks very right. And it also vindicates my count of $5$ crossings, since I had counted that on the cable itself before trying to do the drawing :) $\endgroup$
    – s.harp
    Commented Jan 25, 2017 at 20:23
  • 1
    $\begingroup$ It also appears there isn't some procedure you can do for "simple" knots like this to be able to tell what it is other than just "play around until it looks like something in a knot diagram"? $\endgroup$
    – s.harp
    Commented Jan 25, 2017 at 20:27
  • 2
    $\begingroup$ @s.harp That's more or less right. Knots are notoriously difficult to describe in a way that makes them easy to classify. $\endgroup$
    – Arthur
    Commented Jan 25, 2017 at 20:29
  • 7
    $\begingroup$ +0.5 for freehand shapes, and another +0.5 for a part of it being red. $\endgroup$ Commented Jan 25, 2017 at 21:17
  • 1
    $\begingroup$ @Arthur I getcha, I just love the SE memes :) $\endgroup$
    – Blackhawk
    Commented Jan 26, 2017 at 23:09
23
$\begingroup$

Arthur beat me to it. Yes, this is the knot $5_1$. You can use a few ways to prove that it is. Easiest is probably just use Reidemeister Moves to get it to look like the knot in the knot tables. That is a little unsatisfying for me though. So you can test it with a few invariants. First, I would suggest colorability. This knot is not 3-colorable, but it is 5-colorable (which you can see by labeling each arc by 0 through 4 as you go around Arthur's last picture.)
At each crossing, we need to have the relation $2a = b+c$ mod $n$. The overarc is the one labeled $a$ and the two underarcs are $b$ and $c$.

You can check that here.

Another easy option is to find the fundamental group of the complement. It is easiest with Wirtinger presentations, but probably more instructive to do it by thinking of the know as living on a torus and using Seifert-van Kampen. You will get the group $\langle a,b\vert a^2=b^5 \rangle $ if you use the latter method. Torus knots have well studied fundamental groups, so you know you got one when there is nontrivial center.

Other options which I won't go into:

  • polynomials (Alexander, Jones, etc.) aren't too hard to compute for small knots like this one.
  • You can realize this knot as a 2-bridge knot and calculate the rational number to go with it, which can completely identify any 2-bridge. (It will be 5 or $\frac{1}{5}$, I forget at the moment.)
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .