3 1
|
|
|
![]() (KnotPlot image) |
See the full Rolfsen Knot Table. Visit 3 1's page at the Knot Server (KnotPlot driven, includes 3D interactive images!) |
|
3_1 is also known as "The Trefoil Knot", after plants of the genus Trifolium, which have compound trifoliate leaves, and as the "Overhand Knot". See also T(3,2). |
The trefoil is perhaps the easiest knot to find in "nature", and is topologically equivalent to the interlaced form of the common Christian and pagan "triquetra" symbol [12]:
Logo of Caixa Geral de Depositos, Lisboa [1] |
A knot consists of two harts in Kolam [2] |
A Knotted Box [3] |
A trefoil near the Hollander York Gallery [4] |
||
A hagfish tying itself in a knot to escape capture. [5] |
A Kenyan Stone [6] | ||
The NeverEnding Story logo is a connected sum of two trefoils. [7] |
Mike Hutchings' Rope Trick [8] |
Thurston's Trefoil - Figure Eight Trick [9] | |
A Knotted Pencil [10] |
Banco Do Brasil [11] |
Non-prime (compound) versions
For configurations of two trefoils along a closed loop which are prime, see 8_15 and 10_120. For a configuration of three trefoils along a closed loop which is prime, see K13a248. For a prime link consisting of two joined trefoils, see L10a108.
Knot presentations
| Planar diagram presentation | X1425 X3641 X5263 |
| Gauss code | -1, 3, -2, 1, -3, 2 |
| Dowker-Thistlethwaite code | 4 6 2 |
| Conway Notation | [3] |
| Minimum Braid Representative | A Morse Link Presentation | An Arc Presentation | ||
Length is 3, width is 2, Braid index is 2 |
|
![]() [{5, 2}, {1, 3}, {2, 4}, {3, 5}, {4, 1}] |
[edit Notes on presentations of 3 1]
KnotTheory`. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of May 31, 2006, 14:15:20.091.
|
In[3]:=
|
K = Knot["3 1"];
|
In[4]:=
|
PD[K]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
X1425 X3641 X5263 |
In[5]:=
|
GaussCode[K]
|
Out[5]=
|
-1, 3, -2, 1, -3, 2 |
In[6]:=
|
DTCode[K]
|
Out[6]=
|
4 6 2 |
(The path below may be different on your system)
In[7]:=
|
AppendTo[$Path, "C:/bin/LinKnot/"];
|
In[8]:=
|
ConwayNotation[K]
|
Out[8]=
|
[3] |
In[9]:=
|
br = BR[K]
|
KnotTheory::credits: The minimum braids representing the knots with up to 10 crossings were provided by Thomas Gittings. See arXiv:math.GT/0401051.
|
Out[9]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textrm{BR}(2,\{-1,-1,-1\})} |
In[10]:=
|
{First[br], Crossings[br], BraidIndex[K]}
|
KnotTheory::credits: The braid index data known to KnotTheory` is taken from Charles Livingston's http://www.indiana.edu/~knotinfo/.
|
KnotTheory::loading: Loading precomputed data in IndianaData`.
|
Out[10]=
|
{ 2, 3, 2 } |
In[11]:=
|
Show[BraidPlot[br]]
|
Out[11]=
|
-Graphics- |
In[12]:=
|
Show[DrawMorseLink[K]]
|
KnotTheory::credits: "MorseLink was added to KnotTheory` by Siddarth Sankaran at the University of Toronto in the summer of 2005."
|
KnotTheory::credits: "DrawMorseLink was written by Siddarth Sankaran at the University of Toronto in the summer of 2005."
|
|
Out[12]=
|
-Graphics- |
In[13]:=
|
ap = ArcPresentation[K]
|
Out[13]=
|
ArcPresentation[{5, 2}, {1, 3}, {2, 4}, {3, 5}, {4, 1}] |
In[14]:=
|
Draw[ap]
|
|
Out[14]=
|
-Graphics- |
Three dimensional invariants
|
[edit Notes for 3 1's three dimensional invariants] The rope length of the trefoil is known to be no more than 16.372, by numerical experiments, while the sharpest known lower bound (actually applicable to all non-trivial knots) is 15.66. The trefoil is a fibered knot! A java applet demonstrating it, written by Robert Barrington Leigh at the University of Toronto, is here. |
Four dimensional invariants
|
Polynomial invariants
| Alexander polynomial | |
| Conway polynomial | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^2+1} |
| 2nd Alexander ideal (db, data sources) | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{1\}} |
| Determinant and Signature | { 3, -2 } |
| Jones polynomial | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle - q^{-4} + q^{-3} + q^{-1} } |
| HOMFLY-PT polynomial (db, data sources) | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -a^4+a^2 z^2+2 a^2} |
| Kauffman polynomial (db, data sources) | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a^5 z+a^4 z^2-a^4+a^3 z+a^2 z^2-2 a^2} |
| The A2 invariant | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{14}-q^{12}+q^8+2 q^6+q^4+q^2} |
| The G2 invariant | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{72}-q^{64}-q^{62}-q^{56}-2 q^{54}-q^{52}+q^{50}-q^{46}-2 q^{44}+2 q^{40}+q^{38}-q^{36}+2 q^{32}+2 q^{30}+q^{28}+2 q^{22}+2 q^{20}+q^{14}+q^{12}+q^{10}} |
The braid index of 3_1 is only 2, so it's easy to calculate lots of quantum invariants. A1 Invariants.
| Weight | Invariant |
|---|---|
| 1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^9+q^5+q^3+q} |
| 2 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{24}-q^{20}-q^{18}-q^{16}+q^{10}+q^8+q^6+q^4+q^2} |
| 3 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{45}+q^{41}+q^{39}+q^{37}-q^{31}-q^{29}-q^{27}-q^{25}-q^{23}+q^{15}+q^{13}+q^{11}+q^9+q^7+q^5+q^3} |
| 4 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{72}-q^{68}-q^{66}-q^{64}+q^{58}+q^{56}+q^{54}+q^{52}+q^{50}-q^{42}-q^{40}-q^{38}-q^{36}-q^{34}-q^{32}-q^{30}+q^{20}+q^{18}+q^{16}+q^{14}+q^{12}+q^{10}+q^8+q^6+q^4} |
| 5 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{105}+q^{101}+q^{99}+q^{97}-q^{91}-q^{89}-q^{87}-q^{85}-q^{83}+q^{75}+q^{73}+q^{71}+q^{69}+q^{67}+q^{65}+q^{63}-q^{53}-q^{51}-q^{49}-q^{47}-q^{45}-q^{43}-q^{41}-q^{39}-q^{37}+q^{25}+q^{23}+q^{21}+q^{19}+q^{17}+q^{15}+q^{13}+q^{11}+q^9+q^7+q^5} |
| 6 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{144}-q^{140}-q^{138}-q^{136}+q^{130}+q^{128}+q^{126}+q^{124}+q^{122}-q^{114}-q^{112}-q^{110}-q^{108}-q^{106}-q^{104}-q^{102}+q^{92}+q^{90}+q^{88}+q^{86}+q^{84}+q^{82}+q^{80}+q^{78}+q^{76}-q^{64}-q^{62}-q^{60}-q^{58}-q^{56}-q^{54}-q^{52}-q^{50}-q^{48}-q^{46}-q^{44}+q^{30}+q^{28}+q^{26}+q^{24}+q^{22}+q^{20}+q^{18}+q^{16}+q^{14}+q^{12}+q^{10}+q^8+q^6} |
| 8 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{240}-q^{236}-q^{234}-q^{232}+q^{226}+q^{224}+q^{222}+q^{220}+q^{218}-q^{210}-q^{208}-q^{206}-q^{204}-q^{202}-q^{200}-q^{198}+q^{188}+q^{186}+q^{184}+q^{182}+q^{180}+q^{178}+q^{176}+q^{174}+q^{172}-q^{160}-q^{158}-q^{156}-q^{154}-q^{152}-q^{150}-q^{148}-q^{146}-q^{144}-q^{142}-q^{140}+q^{126}+q^{124}+q^{122}+q^{120}+q^{118}+q^{116}+q^{114}+q^{112}+q^{110}+q^{108}+q^{106}+q^{104}+q^{102}-q^{86}-q^{84}-q^{82}-q^{80}-q^{78}-q^{76}-q^{74}-q^{72}-q^{70}-q^{68}-q^{66}-q^{64}-q^{62}-q^{60}-q^{58}+q^{40}+q^{38}+q^{36}+q^{34}+q^{32}+q^{30}+q^{28}+q^{26}+q^{24}+q^{22}+q^{20}+q^{18}+q^{16}+q^{14}+q^{12}+q^{10}+q^8} |
A2 Invariants.
| Weight | Invariant |
|---|---|
| 0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{14}-q^{12}+q^8+2 q^6+q^4+q^2} |
| 0,2 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{34}+q^{32}+q^{30}-q^{28}-2 q^{26}-3 q^{24}-3 q^{22}-q^{20}+2 q^{16}+2 q^{14}+3 q^{12}+2 q^{10}+2 q^8+q^6+q^4} |
| 1,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{14}-q^{12}+q^8+2 q^6+q^4+q^2} |
| 1,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{36}-2 q^{24}-2 q^{22}-3 q^{20}-2 q^{18}+2 q^{14}+3 q^{12}+4 q^{10}+4 q^8+2 q^6+q^4} |
| 2,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{34}+q^{32}+q^{30}-q^{28}-2 q^{26}-3 q^{24}-3 q^{22}-q^{20}+2 q^{16}+2 q^{14}+3 q^{12}+2 q^{10}+2 q^8+q^6+q^4} |
| 3,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{60}-q^{58}-q^{56}+2 q^{52}+3 q^{50}+4 q^{48}+3 q^{46}+2 q^{44}-q^{42}-3 q^{40}-5 q^{38}-5 q^{36}-5 q^{34}-4 q^{32}-2 q^{30}-q^{28}+q^{26}+2 q^{24}+3 q^{22}+3 q^{20}+4 q^{18}+3 q^{16}+3 q^{14}+2 q^{12}+2 q^{10}+q^8+q^6} |
A3 Invariants.
| Weight | Invariant |
|---|---|
| 0,0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{19}-q^{17}-q^{15}+q^{11}+2 q^9+2 q^7+q^5+q^3} |
| 0,1,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{30}-q^{24}-2 q^{22}-2 q^{20}-2 q^{18}+q^{14}+3 q^{12}+3 q^{10}+3 q^8+q^6+q^4} |
| 1,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{19}-q^{17}-q^{15}+q^{11}+2 q^9+2 q^7+q^5+q^3} |
| 1,0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{48}+q^{38}+q^{36}+q^{34}-q^{32}-3 q^{30}-5 q^{28}-6 q^{26}-6 q^{24}-3 q^{22}+q^{20}+4 q^{18}+7 q^{16}+8 q^{14}+7 q^{12}+5 q^{10}+2 q^8+q^6} |
A4 Invariants.
| Weight | Invariant |
|---|---|
| 0,0,0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{24}-q^{22}-q^{20}-q^{18}+q^{14}+2 q^{12}+2 q^{10}+2 q^8+q^6+q^4} |
| 0,1,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{40}+q^{38}+q^{36}-q^{32}-3 q^{30}-4 q^{28}-4 q^{26}-3 q^{24}-q^{22}+q^{20}+4 q^{18}+4 q^{16}+5 q^{14}+4 q^{12}+3 q^{10}+q^8+q^6} |
| 1,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{24}-q^{22}-q^{20}-q^{18}+q^{14}+2 q^{12}+2 q^{10}+2 q^8+q^6+q^4} |
A5 Invariants.
| Weight | Invariant |
|---|---|
| 0,0,0,0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{29}-q^{27}-q^{25}-q^{23}-q^{21}+q^{17}+2 q^{15}+2 q^{13}+2 q^{11}+2 q^9+q^7+q^5} |
| 1,0,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{29}-q^{27}-q^{25}-q^{23}-q^{21}+q^{17}+2 q^{15}+2 q^{13}+2 q^{11}+2 q^9+q^7+q^5} |
A6 Invariants.
| Weight | Invariant |
|---|---|
| 0,0,0,0,0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{34}-q^{32}-q^{30}-q^{28}-q^{26}-q^{24}+q^{20}+2 q^{18}+2 q^{16}+2 q^{14}+2 q^{12}+2 q^{10}+q^8+q^6} |
| 1,0,0,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{34}-q^{32}-q^{30}-q^{28}-q^{26}-q^{24}+q^{20}+2 q^{18}+2 q^{16}+2 q^{14}+2 q^{12}+2 q^{10}+q^8+q^6} |
B2 Invariants.
| Weight | Invariant |
|---|---|
| 0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{30}-q^{24}+q^{14}+q^{12}+q^{10}+q^8+q^6+q^4} |
| 1,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{48}-q^{38}-q^{36}-q^{34}-q^{32}-q^{30}-q^{28}+q^{22}+q^{20}+2 q^{18}+q^{16}+2 q^{14}+q^{12}+q^{10}+q^6} |
B3 Invariants.
| Weight | Invariant |
|---|---|
| 1,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{72}-q^{58}-q^{54}-q^{52}-q^{50}-q^{48}-q^{46}-q^{44}-q^{42}+q^{34}+2 q^{30}+q^{28}+2 q^{26}+q^{24}+2 q^{22}+q^{20}+2 q^{18}+q^{14}+q^{10}} |
B4 Invariants.
| Weight | Invariant |
|---|---|
| 1,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{96}-q^{78}-q^{74}-q^{70}-q^{68}-q^{66}-q^{64}-q^{62}-q^{60}-q^{58}-q^{54}+q^{46}+2 q^{42}+2 q^{38}+q^{36}+2 q^{34}+q^{32}+2 q^{30}+q^{28}+2 q^{26}+2 q^{22}+q^{18}+q^{14}} |
B5 Invariants.
| Weight | Invariant |
|---|---|
| 1,0,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{120}-q^{98}-q^{94}-q^{90}-q^{86}-q^{84}-q^{82}-q^{80}-q^{78}-q^{76}-q^{74}-q^{70}-q^{66}+q^{58}+2 q^{54}+2 q^{50}+2 q^{46}+q^{44}+2 q^{42}+q^{40}+2 q^{38}+q^{36}+2 q^{34}+2 q^{30}+2 q^{26}+q^{22}+q^{18}} |
C3 Invariants.
| Weight | Invariant |
|---|---|
| 1,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{42}-q^{34}-q^{32}-q^{24}+q^{20}+2 q^{18}+q^{16}+q^{14}+q^{12}+2 q^{10}+q^8+q^6} |
C4 Invariants.
| Weight | Invariant |
|---|---|
| 1,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -q^{54}-q^{44}-q^{42}-q^{40}-q^{32}-q^{30}+q^{26}+2 q^{24}+2 q^{22}+q^{20}+q^{18}+q^{16}+2 q^{14}+2 q^{12}+q^{10}+q^8} |
D4 Invariants.
| Weight | Invariant |
|---|---|
| 0,1,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{72}-q^{64}-q^{62}+2 q^{56}+4 q^{54}+5 q^{52}+4 q^{50}+3 q^{48}-q^{46}-5 q^{44}-9 q^{42}-13 q^{40}-14 q^{38}-13 q^{36}-9 q^{34}-4 q^{32}+2 q^{30}+7 q^{28}+12 q^{26}+12 q^{24}+14 q^{22}+11 q^{20}+9 q^{18}+6 q^{16}+4 q^{14}+q^{12}+q^{10}} |
| 1,0,0,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{42}-q^{34}-q^{32}-2 q^{30}-2 q^{28}-2 q^{26}-q^{24}+q^{20}+2 q^{18}+3 q^{16}+3 q^{14}+3 q^{12}+2 q^{10}+q^8+q^6} |
G2 Invariants.
| Weight | Invariant |
|---|---|
| 0,1 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{144}-q^{126}+q^{122}-q^{116}+2 q^{112}+q^{110}-q^{108}+2 q^{104}+q^{102}-q^{98}-q^{96}+q^{94}-2 q^{90}-2 q^{88}-q^{86}-q^{84}-2 q^{82}-3 q^{80}-2 q^{78}-2 q^{76}-2 q^{74}-2 q^{72}-2 q^{70}-q^{68}-q^{64}-q^{62}+q^{60}+q^{58}+q^{56}+2 q^{54}+q^{52}+2 q^{50}+3 q^{48}+2 q^{46}+2 q^{44}+3 q^{42}+2 q^{40}+2 q^{38}+3 q^{36}+2 q^{34}+q^{32}+2 q^{30}+q^{28}+q^{26}+q^{24}+q^{18}} |
| 1,0 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{72}-q^{64}-q^{62}-q^{56}-2 q^{54}-q^{52}+q^{50}-q^{46}-2 q^{44}+2 q^{40}+q^{38}-q^{36}+2 q^{32}+2 q^{30}+q^{28}+2 q^{22}+2 q^{20}+q^{14}+q^{12}+q^{10}} |
.
KnotTheory`, as shown in the (simulated) Mathematica session below. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting. This Mathematica session is also available (albeit only for the knot 5_2) as the notebook PolynomialInvariantsSession.nb.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of August 31, 2006, 11:25:27.5625.
|
In[3]:=
|
K = Knot["3 1"];
|
In[4]:=
|
Alexander[K][t]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
In[5]:=
|
Conway[K][z]
|
Out[5]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z^2+1} |
In[6]:=
|
Alexander[K, 2][t]
|
KnotTheory::credits: The program Alexander[K, r] to compute Alexander ideals was written by Jana Archibald at the University of Toronto in the summer of 2005.
|
Out[6]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{1\}} |
In[7]:=
|
{KnotDet[K], KnotSignature[K]}
|
Out[7]=
|
{ 3, -2 } |
In[8]:=
|
Jones[K][q]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[8]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle - q^{-4} + q^{-3} + q^{-1} } |
In[9]:=
|
HOMFLYPT[K][a, z]
|
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
|
Out[9]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle -a^4+a^2 z^2+2 a^2} |
In[10]:=
|
Kauffman[K][a, z]
|
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
|
Out[10]=
|
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a^5 z+a^4 z^2-a^4+a^3 z+a^2 z^2-2 a^2} |
"Similar" Knots (within the Atlas)
Same Alexander/Conway Polynomial: {}
Same Jones Polynomial (up to mirroring, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q\leftrightarrow q^{-1}} ): {}
KnotTheory`. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting.
(The path below may be different on your system, and possibly also the KnotTheory` date)
In[1]:=
|
AppendTo[$Path, "C:/drorbn/projects/KAtlas/"];
<< KnotTheory`
|
Loading KnotTheory` version of May 31, 2006, 14:15:20.091.
|
In[3]:=
|
K = Knot["3 1"];
|
In[4]:=
|
{A = Alexander[K][t], J = Jones[K][q]}
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[4]=
|
{ Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t+ t^{-1} -1} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle - q^{-4} + q^{-3} + q^{-1} } } |
In[5]:=
|
DeleteCases[Select[AllKnots[], (A === Alexander[#][t]) &], K]
|
KnotTheory::loading: Loading precomputed data in DTCode4KnotsTo11`.
|
KnotTheory::credits: The GaussCode to PD conversion was written by Siddarth Sankaran at the University of Toronto in the summer of 2005.
|
Out[5]=
|
{} |
In[6]:=
|
DeleteCases[
Select[
AllKnots[],
(J === Jones[#][q] || (J /. q -> 1/q) === Jones[#][q]) &
],
K
]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots11`.
|
Out[6]=
|
{} |
Vassiliev invariants
| V2 and V3: | (1, -1) |
| V2,1 through 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle t^rq^j} are shown, along with their alternating sums Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \chi} (fixed Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j} , alternation over Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} ). The squares with yellow highlighting are those on the "critical diagonals", where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j-2r=s+1} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j-2r=s-1} , where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s=} -2 is the signature of 3 1. Nonzero entries off the critical diagonals (if any exist) are highlighted in red. |
|
| Integral Khovanov Homology
(db, data source) |
|
The Coloured Jones Polynomials
| Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle J_n} |
| 2 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-2} + q^{-5} - q^{-7} + q^{-8} - q^{-9} - q^{-10} + q^{-11} } |
| 3 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-3} + q^{-7} - q^{-10} + q^{-11} - q^{-13} - q^{-14} + q^{-15} - q^{-17} + q^{-19} + q^{-20} - q^{-21} } |
| 4 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-4} + q^{-9} - q^{-13} + q^{-14} - q^{-17} - q^{-18} + q^{-19} - q^{-22} - q^{-23} +2 q^{-24} - q^{-28} +2 q^{-29} - q^{-32} - q^{-33} + q^{-34} } |
| 5 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-5} + q^{-11} - q^{-16} + q^{-17} - q^{-21} - q^{-22} + q^{-23} - q^{-27} - q^{-28} + q^{-29} + q^{-30} - q^{-33} + q^{-35} + q^{-36} - q^{-39} + q^{-42} - q^{-44} - q^{-45} + q^{-48} + q^{-49} - q^{-50} } |
| 6 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-6} + q^{-13} - q^{-19} + q^{-20} - q^{-25} - q^{-26} + q^{-27} - q^{-32} - q^{-33} + q^{-34} + q^{-36} - q^{-39} - q^{-40} +2 q^{-41} + q^{-43} - q^{-46} - q^{-47} +2 q^{-48} - q^{-53} -2 q^{-54} +2 q^{-55} - q^{-60} - q^{-61} +2 q^{-62} + q^{-64} - q^{-67} - q^{-68} + q^{-69} } |
| 7 | Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q^{-7} + q^{-15} - q^{-22} + q^{-23} - q^{-29} - q^{-30} + q^{-31} - q^{-37} - q^{-38} + q^{-39} + q^{-42} - q^{-45} - q^{-46} + q^{-47} + q^{-48} + q^{-50} - q^{-53} - q^{-54} + q^{-55} + q^{-56} + q^{-58} - q^{-59} - q^{-61} - q^{-62} + q^{-63} + q^{-66} - q^{-67} - q^{-69} - q^{-70} + q^{-71} + q^{-73} + q^{-74} - q^{-75} - q^{-78} + q^{-79} + q^{-81} + q^{-82} - q^{-83} - q^{-84} - q^{-86} + q^{-89} + q^{-90} - q^{-91} } |
Computer Talk
Much of the above data can be recomputed by Mathematica using the package KnotTheory`. See A Sample KnotTheory` Session, or any of the Computer Talk sections above.
Modifying This Page
| Read me first: Modifying Knot Pages
See/edit the Rolfsen Knot Page master template (intermediate). See/edit the Rolfsen_Splice_Base (expert). Back to the top. |
|













































