T(11,4): Difference between revisions
DrorsRobot (talk | contribs) No edit summary |
No edit summary |
||
Line 5: | Line 5: | ||
<span id="top"></span> |
<span id="top"></span> |
||
{{Knot Navigation Links| |
{{Knot Navigation Links|ext=jpg}} |
||
{| align=left |
{| align=left |
||
|- valign=top |
|- valign=top |
||
|[[Image: |
|[[Image:{{PAGENAME}}.jpg]] |
||
|Visit [http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-30,-32,-1,4,5,6,-9,-11,-13,16,17,18,-21,-23,-25,28,29,30,-33,-2,-4,7,8,9,-12,-14,-16,19,20,21,-24,-26,-28,31,32,33,-3,-5,-7,10,11,12,-15,-17,-19,22,23,24,-27,-29,-31,1,2,3,-6,-8,-10,13,14,15,-18,-20,-22,25,26,27/goTop.html |
|Visit [http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/-30,-32,-1,4,5,6,-9,-11,-13,16,17,18,-21,-23,-25,28,29,30,-33,-2,-4,7,8,9,-12,-14,-16,19,20,21,-24,-26,-28,31,32,33,-3,-5,-7,10,11,12,-15,-17,-19,22,23,24,-27,-29,-31,1,2,3,-6,-8,-10,13,14,15,-18,-20,-22,25,26,27/goTop.html {{PAGENAME}}'s page] at [http://srankin.math.uwo.ca/cgi-bin/retrieve.cgi/html/start.html Knotilus]! |
||
Visit [http://www.math.toronto.edu/~drorbn/KAtlas/TorusKnots/11.4.html |
Visit [http://www.math.toronto.edu/~drorbn/KAtlas/TorusKnots/11.4.html {{PAGENAME}}'s page] at the original [http://www.math.toronto.edu/~drorbn/KAtlas/index.html Knot Atlas]! |
||
{{: |
{{:{{PAGENAME}} Quick Notes}} |
||
|} |
|} |
||
<br style="clear:both" /> |
<br style="clear:both" /> |
||
{{: |
{{:{{PAGENAME}} Further Notes and Views}} |
||
{{Knot Presentations}} |
|||
===Knot presentations=== |
===Knot presentations=== |
||
Line 28: | Line 30: | ||
|- |
|- |
||
|'''[[Gauss Codes|Gauss code]]''' |
|'''[[Gauss Codes|Gauss code]]''' |
||
|style="padding-left: 1em;" | {-30, |
|style="padding-left: 1em;" | <math>\{-30,-32,-1,4,5,6,-9,-11,-13,16,17,18,-21,-23,-25,28,29,30,-33,-2,-4,7,8,9,-12,-14,-16,19,20,21,-24,-26,-28,31,32,33,-3,-5,-7,10,11,12,-15,-17,-19,22,23,24,-27,-29,-31,1,2,3,-6,-8,-10,13,14,15,-18,-20,-22,25,26,27\}</math> |
||
|- |
|- |
||
|'''[[DT (Dowker-Thistlethwaite) Codes|Dowker-Thistlethwaite code]]''' |
|'''[[DT (Dowker-Thistlethwaite) Codes|Dowker-Thistlethwaite code]]''' |
||
Line 34: | Line 36: | ||
|} |
|} |
||
{{Polynomial Invariants |
{{Polynomial Invariants}} |
||
{{Vassiliev Invariants}} |
|||
===[[Finite Type (Vassiliev) Invariants|Vassiliev invariants]]=== |
|||
{| style="margin-left: 1em;" |
|||
|- |
|||
|'''V<sub>2</sub> and V<sub>3</sub>''' |
|||
|style="padding-left: 1em;" | {0, 550} |
|||
|} |
|||
===[[Khovanov Homology]]=== |
===[[Khovanov Homology]]=== |
||
The coefficients of the monomials <math>t^rq^j</math> are shown, along with their alternating sums <math>\chi</math> (fixed <math>j</math>, alternation over <math>r</math>). The squares with <font class=HLYellow>yellow</font> highlighting are those on the "critical diagonals", where <math>j-2r=s+1</math> or <math>j-2r=s+1</math>, where <math>s=</math> |
The coefficients of the monomials <math>t^rq^j</math> are shown, along with their alternating sums <math>\chi</math> (fixed <math>j</math>, alternation over <math>r</math>). The squares with <font class=HLYellow>yellow</font> highlighting are those on the "critical diagonals", where <math>j-2r=s+1</math> or <math>j-2r=s+1</math>, where <math>s=</math>{{Data:{{PAGENAME}}/Signature}} is the signature of {{PAGENAME}}. Nonzero entries off the critical diagonals (if any exist) are highlighted in <font class=HLRed>red</font>. |
||
<center><table border=1> |
<center><table border=1> |
||
<tr align=center> |
<tr align=center> |
||
<td width=7.69231%><table cellpadding=0 cellspacing=0> |
<td width=7.69231%><table cellpadding=0 cellspacing=0> |
||
<tr><td>\</td><td> </td><td>r</td></tr> |
<tr><td>\</td><td> </td><td>r</td></tr> |
||
<tr><td> </td><td> \ </td><td> </td></tr> |
<tr><td> </td><td> \ </td><td> </td></tr> |
||
<tr><td>j</td><td> </td><td>\</td></tr> |
<tr><td>j</td><td> </td><td>\</td></tr> |
||
</table></td> |
</table></td> |
||
<td width=3.84615%>0</td ><td width=3.84615%>1</td ><td width=3.84615%>2</td ><td width=3.84615%>3</td ><td width=3.84615%>4</td ><td width=3.84615%>5</td ><td width=3.84615%>6</td ><td width=3.84615%>7</td ><td width=3.84615%>8</td ><td width=3.84615%>9</td ><td width=3.84615%>10</td ><td width=3.84615%>11</td ><td width=3.84615%>12</td ><td width=3.84615%>13</td ><td width=3.84615%>14</td ><td width=3.84615%>15</td ><td width=3.84615%>16</td ><td width=3.84615%>17</td ><td width=3.84615%>18</td ><td width=3.84615%>19</td ><td width=3.84615%>20</td ><td width=3.84615%>21</td ><td width=7.69231%>χ</td></tr> |
<td width=3.84615%>0</td ><td width=3.84615%>1</td ><td width=3.84615%>2</td ><td width=3.84615%>3</td ><td width=3.84615%>4</td ><td width=3.84615%>5</td ><td width=3.84615%>6</td ><td width=3.84615%>7</td ><td width=3.84615%>8</td ><td width=3.84615%>9</td ><td width=3.84615%>10</td ><td width=3.84615%>11</td ><td width=3.84615%>12</td ><td width=3.84615%>13</td ><td width=3.84615%>14</td ><td width=3.84615%>15</td ><td width=3.84615%>16</td ><td width=3.84615%>17</td ><td width=3.84615%>18</td ><td width=3.84615%>19</td ><td width=3.84615%>20</td ><td width=3.84615%>21</td ><td width=7.69231%>χ</td></tr> |
||
<tr align=center><td>63</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td>0</td></tr> |
<tr align=center><td>63</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow>1</td><td bgcolor=yellow>1</td><td>0</td></tr> |
||
<tr align=center><td>61</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td>0</td></tr> |
<tr align=center><td>61</td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td> </td><td bgcolor=yellow> </td><td bgcolor=yellow> </td><td> </td><td>0</td></tr> |
||
Line 82: | Line 78: | ||
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
<td align=left><pre style="color: red; border: 0px; padding: 0em"><< KnotTheory`</pre></td> |
||
</tr> |
</tr> |
||
<tr valign=top><td colspan=2><pre style="border: 0px; padding: 0em">Loading KnotTheory` (version of August |
<tr valign=top><td colspan=2><pre style="border: 0px; padding: 0em">Loading KnotTheory` (version of August 17, 2005, 14:44:34)...</pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[2]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Crossings[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[2]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Crossings[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>33</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[2]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>33</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[3]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[3]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>PD[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[3, 53, 4, 52], X[20, 54, 21, 53], X[37, 55, 38, 54], |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[3]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>PD[X[3, 53, 4, 52], X[20, 54, 21, 53], X[37, 55, 38, 54], |
||
X[21, 5, 22, 4], X[38, 6, 39, 5], X[55, 7, 56, 6], X[39, 23, 40, 22], |
X[21, 5, 22, 4], X[38, 6, 39, 5], X[55, 7, 56, 6], X[39, 23, 40, 22], |
||
Line 107: | Line 103: | ||
X[2, 36, 3, 35], X[19, 37, 20, 36]]</nowiki></pre></td></tr> |
X[2, 36, 3, 35], X[19, 37, 20, 36]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[4]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>GaussCode[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[4]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>GaussCode[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[-30, -32, -1, 4, 5, 6, -9, -11, -13, 16, 17, 18, -21, -23, |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[4]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>GaussCode[-30, -32, -1, 4, 5, 6, -9, -11, -13, 16, 17, 18, -21, -23, |
||
-25, 28, 29, 30, -33, -2, -4, 7, 8, 9, -12, -14, -16, 19, 20, 21, |
-25, 28, 29, 30, -33, -2, -4, 7, 8, 9, -12, -14, -16, 19, 20, 21, |
||
Line 117: | Line 113: | ||
-22, 25, 26, 27]</nowiki></pre></td></tr> |
-22, 25, 26, 27]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[5]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BR[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[5]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>BR[TorusKnot[11, 4]]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[4, {1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[5]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>BR[4, {1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, |
||
1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3}]</nowiki></pre></td></tr> |
1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3}]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>alex = Alexander[TorusKnot[11, 4]][t]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[6]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>alex = Alexander[TorusKnot[11, 4]][t]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -15 -14 -11 -10 -7 -6 -4 -2 2 4 6 |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[6]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> -15 -14 -11 -10 -7 -6 -4 -2 2 4 6 |
||
1 + t - t + t - t + t - t + t - t - t + t - t + |
1 + t - t + t - t + t - t + t - t - t + t - t + |
||
7 10 11 14 15 |
7 10 11 14 15 |
||
t - t + t - t + t</nowiki></pre></td></tr> |
t - t + t - t + t</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Conway[TorusKnot[11, 4]][z]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[7]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Conway[TorusKnot[11, 4]][z]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4 6 8 10 12 |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[7]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 2 4 6 8 10 12 |
||
1 + 75 z + 1510 z + 12825 z + 56577 z + 148070 z + 249288 z + |
1 + 75 z + 1510 z + 12825 z + 56577 z + 148070 z + 249288 z + |
||
Line 136: | Line 132: | ||
24 26 28 30 |
24 26 28 30 |
||
2900 z + 377 z + 29 z + z</nowiki></pre></td></tr> |
2900 z + 377 z + 29 z + z</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[8]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (alex === Alexander[#][t])&]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[8]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[9]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{KnotDet[TorusKnot[11, 4]], KnotSignature[TorusKnot[11, 4]]}</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[9]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{KnotDet[TorusKnot[11, 4]], KnotSignature[TorusKnot[11, 4]]}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{11, 22}</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[9]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{11, 22}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>J=Jones[TorusKnot[11, 4]][q]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[10]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>J=Jones[TorusKnot[11, 4]][q]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 15 17 19 20 21 22 23 24 25 26 28 |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[10]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 15 17 19 20 21 22 23 24 25 26 28 |
||
q + q + q - q + q - q + q - q + q - q - q</nowiki></pre></td></tr> |
q + q + q - q + q - q + q - q + q - q - q</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[11]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[11]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[11]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[12]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[TorusKnot[11, 4]][q]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[12]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>A2Invariant[TorusKnot[11, 4]][q]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[12]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[TorusKnot[11, 4]][a, z]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[13]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kauffman[TorusKnot[11, 4]][a, z]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[13]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>NotAvailable</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[14]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][TorusKnot[11, 4]], Vassiliev[3][TorusKnot[11, 4]]}</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[14]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>{Vassiliev[2][TorusKnot[11, 4]], Vassiliev[3][TorusKnot[11, 4]]}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{0, 550}</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[14]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki>{0, 550}</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[15]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[TorusKnot[11, 4]][q, t]</nowiki></pre></td></tr> |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>In[15]:=</nowiki></pre></td><td><pre style="color: red; border: 0px; padding: 0em"><nowiki>Kh[TorusKnot[11, 4]][q, t]</nowiki></pre></td></tr> |
||
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 29 31 33 2 37 3 35 4 37 4 39 5 41 5 |
<tr valign=top><td><pre style="color: blue; border: 0px; padding: 0em"><nowiki>Out[15]= </nowiki></pre></td><td><pre style="color: black; border: 0px; padding: 0em"><nowiki> 29 31 33 2 37 3 35 4 37 4 39 5 41 5 |
||
q + q + q t + q t + q t + q t + q t + q t + |
q + q + q t + q t + q t + q t + q t + q t + |
||
Revision as of 20:25, 27 August 2005
|
|
Visit T(11,4)'s page at Knotilus!
Visit T(11,4)'s page at the original Knot Atlas! |
T(11,4) Further Notes and Views
Knot presentations
Planar diagram presentation | X3,53,4,52 X20,54,21,53 X37,55,38,54 X21,5,22,4 X38,6,39,5 X55,7,56,6 X39,23,40,22 X56,24,57,23 X7,25,8,24 X57,41,58,40 X8,42,9,41 X25,43,26,42 X9,59,10,58 X26,60,27,59 X43,61,44,60 X27,11,28,10 X44,12,45,11 X61,13,62,12 X45,29,46,28 X62,30,63,29 X13,31,14,30 X63,47,64,46 X14,48,15,47 X31,49,32,48 X15,65,16,64 X32,66,33,65 X49,1,50,66 X33,17,34,16 X50,18,51,17 X1,19,2,18 X51,35,52,34 X2,36,3,35 X19,37,20,36 |
Gauss code | -30, -32, -1, 4, 5, 6, -9, -11, -13, 16, 17, 18, -21, -23, -25, 28, 29, 30, -33, -2, -4, 7, 8, 9, -12, -14, -16, 19, 20, 21, -24, -26, -28, 31, 32, 33, -3, -5, -7, 10, 11, 12, -15, -17, -19, 22, 23, 24, -27, -29, -31, 1, 2, 3, -6, -8, -10, 13, 14, 15, -18, -20, -22, 25, 26, 27 |
Dowker-Thistlethwaite code | 18 52 -38 24 58 -44 30 64 -50 36 4 -56 42 10 -62 48 16 -2 54 22 -8 60 28 -14 66 34 -20 6 40 -26 12 46 -32 |
Conway Notation | Data:T(11,4)/Conway Notation |
Knot presentations
Planar diagram presentation | X3,53,4,52 X20,54,21,53 X37,55,38,54 X21,5,22,4 X38,6,39,5 X55,7,56,6 X39,23,40,22 X56,24,57,23 X7,25,8,24 X57,41,58,40 X8,42,9,41 X25,43,26,42 X9,59,10,58 X26,60,27,59 X43,61,44,60 X27,11,28,10 X44,12,45,11 X61,13,62,12 X45,29,46,28 X62,30,63,29 X13,31,14,30 X63,47,64,46 X14,48,15,47 X31,49,32,48 X15,65,16,64 X32,66,33,65 X49,1,50,66 X33,17,34,16 X50,18,51,17 X1,19,2,18 X51,35,52,34 X2,36,3,35 X19,37,20,36 |
Gauss code | |
Dowker-Thistlethwaite code | 18 52 -38 24 58 -44 30 64 -50 36 4 -56 42 10 -62 48 16 -2 54 22 -8 60 28 -14 66 34 -20 6 40 -26 12 46 -32 |
Polynomial invariants
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["T(11,4)"];
|
In[4]:=
|
Alexander[K][t]
|
KnotTheory::loading: Loading precomputed data in PD4Knots`.
|
Out[4]=
|
In[5]:=
|
Conway[K][z]
|
Out[5]=
|
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]=
|
In[7]:=
|
{KnotDet[K], KnotSignature[K]}
|
Out[7]=
|
{ 11, 22 } |
In[8]:=
|
Jones[K][q]
|
KnotTheory::loading: Loading precomputed data in Jones4Knots`.
|
Out[8]=
|
In[9]:=
|
HOMFLYPT[K][a, z]
|
KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.
|
Out[9]=
|
Data:T(11,4)/HOMFLYPT Polynomial |
In[10]:=
|
Kauffman[K][a, z]
|
KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.
|
Out[10]=
|
Data:T(11,4)/Kauffman Polynomial |
Vassiliev invariants
V2 and V3: | (75, 550) |
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 are shown, along with their alternating sums (fixed , alternation over ). The squares with yellow highlighting are those on the "critical diagonals", where or , where 22 is the signature of T(11,4). Nonzero entries off the critical diagonals (if any exist) are highlighted in red.
|
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | χ | |||||||||
63 | 1 | 1 | 0 | |||||||||||||||||||||||||||||
61 | 0 | |||||||||||||||||||||||||||||||
59 | 1 | 2 | 1 | 0 | ||||||||||||||||||||||||||||
57 | 1 | 2 | -1 | |||||||||||||||||||||||||||||
55 | 2 | 1 | -1 | |||||||||||||||||||||||||||||
53 | 3 | 2 | -1 | |||||||||||||||||||||||||||||
51 | 1 | 2 | 1 | 0 | ||||||||||||||||||||||||||||
49 | 1 | 1 | 2 | 0 | ||||||||||||||||||||||||||||
47 | 2 | 2 | 0 | |||||||||||||||||||||||||||||
45 | 2 | 1 | 1 | 0 | ||||||||||||||||||||||||||||
43 | 1 | 1 | 0 | |||||||||||||||||||||||||||||
41 | 1 | 1 | 2 | 0 | ||||||||||||||||||||||||||||
39 | 1 | 1 | 0 | |||||||||||||||||||||||||||||
37 | 1 | 1 | 1 | 1 | ||||||||||||||||||||||||||||
35 | 1 | 1 | ||||||||||||||||||||||||||||||
33 | 1 | 1 | ||||||||||||||||||||||||||||||
31 | 1 | 1 | ||||||||||||||||||||||||||||||
29 | 1 | 1 |
Computer Talk
Much of the above data can be recomputed by Mathematica using the package KnotTheory`
. See A Sample KnotTheory` Session.
In[1]:= |
<< KnotTheory` |
Loading KnotTheory` (version of August 17, 2005, 14:44:34)... | |
In[2]:= | Crossings[TorusKnot[11, 4]] |
Out[2]= | 33 |
In[3]:= | PD[TorusKnot[11, 4]] |
Out[3]= | PD[X[3, 53, 4, 52], X[20, 54, 21, 53], X[37, 55, 38, 54],X[21, 5, 22, 4], X[38, 6, 39, 5], X[55, 7, 56, 6], X[39, 23, 40, 22], X[56, 24, 57, 23], X[7, 25, 8, 24], X[57, 41, 58, 40], X[8, 42, 9, 41], X[25, 43, 26, 42], X[9, 59, 10, 58], X[26, 60, 27, 59], X[43, 61, 44, 60], X[27, 11, 28, 10], X[44, 12, 45, 11], X[61, 13, 62, 12], X[45, 29, 46, 28], X[62, 30, 63, 29], X[13, 31, 14, 30], X[63, 47, 64, 46], X[14, 48, 15, 47], X[31, 49, 32, 48], X[15, 65, 16, 64], X[32, 66, 33, 65], X[49, 1, 50, 66], X[33, 17, 34, 16], X[50, 18, 51, 17], X[1, 19, 2, 18], X[51, 35, 52, 34],X[2, 36, 3, 35], X[19, 37, 20, 36]] |
In[4]:= | GaussCode[TorusKnot[11, 4]] |
Out[4]= | GaussCode[-30, -32, -1, 4, 5, 6, -9, -11, -13, 16, 17, 18, -21, -23,-25, 28, 29, 30, -33, -2, -4, 7, 8, 9, -12, -14, -16, 19, 20, 21, -24, -26, -28, 31, 32, 33, -3, -5, -7, 10, 11, 12, -15, -17, -19, 22, 23, 24, -27, -29, -31, 1, 2, 3, -6, -8, -10, 13, 14, 15, -18, -20,-22, 25, 26, 27] |
In[5]:= | BR[TorusKnot[11, 4]] |
Out[5]= | BR[4, {1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3, 1, 2, 3}] |
In[6]:= | alex = Alexander[TorusKnot[11, 4]][t] |
Out[6]= | -15 -14 -11 -10 -7 -6 -4 -2 2 4 6 |
In[7]:= | Conway[TorusKnot[11, 4]][z] |
Out[7]= | 2 4 6 8 10 12 |
In[8]:= | Select[AllKnots[], (alex === Alexander[#][t])&] |
Out[8]= | {} |
In[9]:= | {KnotDet[TorusKnot[11, 4]], KnotSignature[TorusKnot[11, 4]]} |
Out[9]= | {11, 22} |
In[10]:= | J=Jones[TorusKnot[11, 4]][q] |
Out[10]= | 15 17 19 20 21 22 23 24 25 26 28 q + q + q - q + q - q + q - q + q - q - q |
In[11]:= | Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&] |
Out[11]= | {} |
In[12]:= | A2Invariant[TorusKnot[11, 4]][q] |
Out[12]= | NotAvailable |
In[13]:= | Kauffman[TorusKnot[11, 4]][a, z] |
Out[13]= | NotAvailable |
In[14]:= | {Vassiliev[2][TorusKnot[11, 4]], Vassiliev[3][TorusKnot[11, 4]]} |
Out[14]= | {0, 550} |
In[15]:= | Kh[TorusKnot[11, 4]][q, t] |
Out[15]= | 29 31 33 2 37 3 35 4 37 4 39 5 41 5 |