5 1: Difference between revisions

From Knot Atlas
Jump to navigationJump to search
No edit summary
No edit summary
Line 47: Line 47:
</tr>
</tr>
<tr valign=top><td colspan=2><nowiki>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</nowiki></td></tr>
<tr valign=top><td colspan=2><nowiki>Loading KnotTheory` (version of August 29, 2005, 15:33:11)...</nowiki></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[2]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[Knot[5, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[2]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>PD[X[1, 6, 2, 7], X[3, 8, 4, 9], X[5, 10, 6, 1], X[7, 2, 8, 3],
X[9, 4, 10, 5]]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[3]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[Knot[5, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[3]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>GaussCode[-1, 4, -2, 5, -3, 1, -4, 2, -5, 3]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[4]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[Knot[5, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[4]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>DTCode[6, 8, 10, 2, 4]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[5]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>br = BR[Knot[5, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[5]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BR[2, {-1, -1, -1, -1, -1}]</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[6]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{First[br], Crossings[br]}</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[6]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{2, 5}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[7]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>BraidIndex[Knot[5, 1]]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[7]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>2</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[8]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Show[DrawMorseLink[Knot[5, 1]]]</nowiki></code></td></tr>
<tr align=left><td></td><td>[[Image:5_1_ML.gif]]</td></tr><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[8]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>-Graphics-</nowiki></code></td></tr>
</table>
</table>
<table><tr align=left>
{{InOut |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[9]:=</code></td>
n = 2 |
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> (#[Knot[5, 1]]&) /@ {
in = <nowiki>PD[Knot[5, 1]]</nowiki> |
out = <nowiki>PD[X[1, 6, 2, 7], X[3, 8, 4, 9], X[5, 10, 6, 1], X[7, 2, 8, 3], X[9, 4, 10, 5]]</nowiki> }}
{{InOut |
n = 3 |
in = <nowiki>GaussCode[Knot[5, 1]]</nowiki> |
out = <nowiki>GaussCode[-1, 4, -2, 5, -3, 1, -4, 2, -5, 3]</nowiki> }}
{{InOut |
n = 4 |
in = <nowiki>DTCode[Knot[5, 1]]</nowiki> |
out = <nowiki>DTCode[6, 8, 10, 2, 4]</nowiki> }}
{{InOut |
n = 5 |
in = <nowiki>br = BR[Knot[5, 1]]</nowiki> |
out = <nowiki>BR[2, {-1, -1, -1, -1, -1}]</nowiki> }}
{{InOut |
n = 6 |
in = <nowiki>{First[br], Crossings[br]}</nowiki> |
out = <nowiki>{2, 5}</nowiki> }}
{{InOut |
n = 7 |
in = <nowiki>BraidIndex[Knot[5, 1]]</nowiki> |
out = <nowiki>2</nowiki> }}
{{Graphics|
n = 8 |
in = <nowiki>Show[DrawMorseLink[Knot[5, 1]]]</nowiki> |
img = 5_1_ML.gif |
out = <nowiki>-Graphics-</nowiki> }}
{{InOut |
n = 9 |
in = <nowiki> (#[Knot[5, 1]]&) /@ {
SymmetryType, UnknottingNumber, ThreeGenus,
SymmetryType, UnknottingNumber, ThreeGenus,
BridgeIndex, SuperBridgeIndex, NakanishiIndex
BridgeIndex, SuperBridgeIndex, NakanishiIndex
}</nowiki> |
}</nowiki></code></td></tr>
<tr align=left>
out = <nowiki>{Reversible, 2, 2, 2, 3, 1}</nowiki> }}
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[9]:=</code></td>
{{InOut |
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Reversible, 2, 2, 2, 3, 1}</nowiki></code></td></tr>
n = 10 |
</table>
in = <nowiki>alex = Alexander[Knot[5, 1]][t]</nowiki> |
out = <nowiki> -2 1 2
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[10]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>alex = Alexander[Knot[5, 1]][t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[10]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -2 1 2
1 + t - - - t + t
1 + t - - - t + t
t</nowiki> }}
t</nowiki></code></td></tr>
</table>
{{InOut |
<table><tr align=left>
n = 11 |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[11]:=</code></td>
in = <nowiki>Conway[Knot[5, 1]][z]</nowiki> |
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Conway[Knot[5, 1]][z]</nowiki></code></td></tr>
out = <nowiki> 2 4
<tr align=left>
1 + 3 z + z</nowiki> }}
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[11]:=</code></td>
{{InOut |
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 2 4
n = 12 |
1 + 3 z + z</nowiki></code></td></tr>
in = <nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki> |
</table>
out = <nowiki>{Knot[5, 1], Knot[10, 132]}</nowiki> }}
{{InOut |
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[12]:=</code></td>
n = 13 |
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></code></td></tr>
in = <nowiki>{KnotDet[Knot[5, 1]], KnotSignature[Knot[5, 1]]}</nowiki> |
<tr align=left>
out = <nowiki>{5, -4}</nowiki> }}
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[12]:=</code></td>
{{InOut |
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[5, 1], Knot[10, 132]}</nowiki></code></td></tr>
n = 14 |
</table>
in = <nowiki>Jones[Knot[5, 1]][q]</nowiki> |
<table><tr align=left>
out = <nowiki> -7 -6 -5 -4 -2
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[13]:=</code></td>
-q + q - q + q + q</nowiki> }}
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{KnotDet[Knot[5, 1]], KnotSignature[Knot[5, 1]]}</nowiki></code></td></tr>
{{InOut |
<tr align=left>
n = 15 |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[13]:=</code></td>
in = <nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki> |
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{5, -4}</nowiki></code></td></tr>
out = <nowiki>{Knot[5, 1], Knot[10, 132]}</nowiki> }}
</table>
{{InOut |
<table><tr align=left>
n = 16 |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[14]:=</code></td>
in = <nowiki>A2Invariant[Knot[5, 1]][q]</nowiki> |
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Jones[Knot[5, 1]][q]</nowiki></code></td></tr>
out = <nowiki> -22 -20 -18 -14 -12 2 -8 -6
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[14]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -7 -6 -5 -4 -2
-q + q - q + q + q</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[15]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[15]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Knot[5, 1], Knot[10, 132]}</nowiki></code></td></tr>
</table>
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[16]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>A2Invariant[Knot[5, 1]][q]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[16]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -22 -20 -18 -14 -12 2 -8 -6
-q - q - q + q + q + --- + q + q
-q - q - q + q + q + --- + q + q
10
10
q</nowiki> }}
q</nowiki></code></td></tr>
</table>
{{InOut |
<table><tr align=left>
n = 17 |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[17]:=</code></td>
in = <nowiki>HOMFLYPT[Knot[5, 1]][a, z]</nowiki> |
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>HOMFLYPT[Knot[5, 1]][a, z]</nowiki></code></td></tr>
out = <nowiki> 4 6 4 2 6 2 4 4
<tr align=left>
3 a - 2 a + 4 a z - a z + a z</nowiki> }}
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[17]:=</code></td>
{{InOut |
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 4 6 4 2 6 2 4 4
n = 18 |
3 a - 2 a + 4 a z - a z + a z</nowiki></code></td></tr>
in = <nowiki>Kauffman[Knot[5, 1]][a, z]</nowiki> |
</table>
out = <nowiki> 4 6 5 7 9 4 2 6 2 8 2
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[18]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kauffman[Knot[5, 1]][a, z]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[18]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> 4 6 5 7 9 4 2 6 2 8 2
3 a + 2 a - 2 a z - a z + a z - 4 a z - 3 a z + a z +
3 a + 2 a - 2 a z - a z + a z - 4 a z - 3 a z + a z +
5 3 7 3 4 4 6 4
5 3 7 3 4 4 6 4
a z + a z + a z + a z</nowiki> }}
a z + a z + a z + a z</nowiki></code></td></tr>
</table>
{{InOut |
<table><tr align=left>
n = 19 |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[19]:=</code></td>
in = <nowiki>{Vassiliev[2][Knot[5, 1]], Vassiliev[3][Knot[5, 1]]}</nowiki> |
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{Vassiliev[2][Knot[5, 1]], Vassiliev[3][Knot[5, 1]]}</nowiki></code></td></tr>
out = <nowiki>{3, -5}</nowiki> }}
<tr align=left>
{{InOut |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[19]:=</code></td>
n = 20 |
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>{3, -5}</nowiki></code></td></tr>
in = <nowiki>Kh[Knot[5, 1]][q, t]</nowiki> |
</table>
out = <nowiki> -5 -3 1 1 1 1
<table><tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[20]:=</code></td>
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>Kh[Knot[5, 1]][q, t]</nowiki></code></td></tr>
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[20]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -5 -3 1 1 1 1
q + q + ------ + ------ + ------ + -----
q + q + ------ + ------ + ------ + -----
15 5 11 4 11 3 7 2
15 5 11 4 11 3 7 2
q t q t q t q t</nowiki> }}
q t q t q t q t</nowiki></code></td></tr>
</table>
{{InOut |
<table><tr align=left>
n = 21 |
<td width=70px><code style="color: blue; border: 0px; padding: 0em">In[21]:=</code></td>
in = <nowiki>ColouredJones[Knot[5, 1], 2][q]</nowiki> |
<td><code style="white-space: pre; color: red; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki>ColouredJones[Knot[5, 1], 2][q]</nowiki></code></td></tr>
out = <nowiki> -19 -18 -16 2 -13 -12 -10 -9 -7 -4
<tr align=left>
<td width=70px><code style="color: blue; border: 0px; padding: 0em">Out[21]:=</code></td>
<td><code style="white-space: pre; color: black; border: 0px; padding: 0em; background-color: rgb(255,255,255);"><nowiki> -19 -18 -16 2 -13 -12 -10 -9 -7 -4
q - q + q - --- + q - q + q - q + q + q
q - q + q - --- + q - q + q - q + q + q
15
15
q</nowiki> }} }}
q</nowiki></code></td></tr>
</table> }}

Revision as of 15:51, 1 September 2005

4 1.gif

4_1

5 2.gif

5_2

5 1.gif
(KnotPlot image)

See the full Rolfsen Knot Table.

Visit 5 1's page at the Knot Server (KnotPlot driven, includes 3D interactive images!)

Visit 5 1 at Knotilus!

An interlaced pentagram, this is known variously as the "Cinquefoil Knot", after certain herbs and shrubs of the rose family which have 5-lobed leaves and 5-petaled flowers (see e.g. [4]), as the "Pentafoil Knot" (visit Bert Jagers' pentafoil page), as the "Double Overhand Knot", as 5_1, or finally as the torus knot T(5,2).

When taken off the post the strangle knot (hitch) of practical knot tying deforms to 5_1


A kolam of a 2x3 dot array
The VISA Interlink Logo [1]
Version of the US bicentennial emblem
A pentagonal table by Bob Mackay [2]
The Utah State Parks logo
As impossible object ("Penrose" pentagram)
Folded ribbon which is single-sided (more complex version of Möbius Strip).
Non-pentagonal shape.
Pentagram of circles.
Alternate pentagram of intersecting circles.
3D-looking rendition.
Partial view of US bicentennial logo on a shirt seen in Lisboa [3]
Non-prime knot with two 5_1 configurations on a closed loop.
Knotted epitrochoid
Sum of two 5_1s, Vienna, orthodox church

This sentence was last edited by Dror. Sometime later, Scott added this sentence.

Knot presentations

Planar diagram presentation X1627 X3849 X5,10,6,1 X7283 X9,4,10,5
Gauss code -1, 4, -2, 5, -3, 1, -4, 2, -5, 3
Dowker-Thistlethwaite code 6 8 10 2 4
Conway Notation [5]


Minimum Braid Representative A Morse Link Presentation An Arc Presentation
BraidPart3.gifBraidPart3.gifBraidPart3.gifBraidPart3.gifBraidPart3.gif
BraidPart4.gifBraidPart4.gifBraidPart4.gifBraidPart4.gifBraidPart4.gif

Length is 5, width is 2,

Braid index is 2

5 1 ML.gif 5 1 AP.gif
[{7, 2}, {1, 3}, {2, 4}, {3, 5}, {4, 6}, {5, 7}, {6, 1}]

[edit Notes on presentations of 5 1]

Knot 5_1.
A graph, knot 5_1.

Three dimensional invariants

Symmetry type Reversible
Unknotting number 2
3-genus 2
Bridge index 2
Super bridge index 3
Nakanishi index 1
Maximal Thurston-Bennequin number [-10][3]
Hyperbolic Volume Not hyperbolic
A-Polynomial See Data:5 1/A-polynomial

[edit Notes for 5 1's three dimensional invariants]

Four dimensional invariants

Smooth 4 genus
Topological 4 genus
Concordance genus
Rasmussen s-Invariant -4

[edit Notes for 5 1's four dimensional invariants]

Polynomial invariants

Alexander polynomial
Conway polynomial
2nd Alexander ideal (db, data sources)
Determinant and Signature { 5, -4 }
Jones polynomial
HOMFLY-PT polynomial (db, data sources)
Kauffman polynomial (db, data sources)
The A2 invariant
The G2 invariant

"Similar" Knots (within the Atlas)

Same Alexander/Conway Polynomial: {10_132,}

Same Jones Polynomial (up to mirroring, ): {10_132,}

Vassiliev invariants

V2 and V3: (3, -5)
V2,1 through V6,9:
V2,1 V3,1 V4,1 V4,2 V4,3 V5,1 V5,2 V5,3 V5,4 V6,1 V6,2 V6,3 V6,4 V6,5 V6,6 V6,7 V6,8 V6,9

V2,1 through V6,9 were provided by Petr Dunin-Barkowski <barkovs@itep.ru>, Andrey Smirnov <asmirnov@itep.ru>, and Alexei Sleptsov <sleptsov@itep.ru> and uploaded on October 2010 by User:Drorbn. Note that they are normalized differently than V2 and V3.

Khovanov Homology

The coefficients of the monomials are shown, along with their alternating sums (fixed , alternation over ). The squares with yellow highlighting are those on the "critical diagonals", where or , where -4 is the signature of 5 1. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.   
\ r
  \  
j \
-5-4-3-2-10χ
-3     11
-5     11
-7   1  1
-9      0
-11 11   0
-13      0
-151     -1
Integral Khovanov Homology

(db, data source)

  

The Coloured Jones Polynomials