Stick knot questions: simple but may not be easy - MathOverflow most recent 30 from http://mathoverflow.net2013-05-21T10:00:43Zhttp://mathoverflow.net/feeds/question/99213http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easyStick knot questions: simple but may not be easySteve Gray2012-06-10T02:49:05Z2012-07-03T06:46:36Z
<p>I have a few questions about nonplanar "stick circuits" (or hexagons and higher $n$-gons) that you might be able to help with:</p>
<p>(I know that $n=6$ is the minimum number of points to form a stick knot.)</p>
<p>(1) Given $n=6$ points in $\mathbb{R}^3$ in general position connected by a specific "stick circuit" (nonplanar hexagon), what test can be done to see if it forms a stick knot vs. an unknot?</p>
<p>(2) Given $n=6$ points in $\mathbb{R}^3$ in general position, there are 60 different stick circuits connecting them. True or false, at least one forms a knot?</p>
<p>(3) Given $n=6$ points in $\mathbb{R}^3$ in general position, does the minimum-length stick circuit on these $n$ points ever form a knot? ("knotted 6-point traveling salesman problem with return)</p>
<p>All these can be generalized to $n > 6$.</p>
<p>These questions occurred to me over the last few days. I suspect (1) has a known answer but I have no idea about (2) or (3).</p>
<p>Any info will be eagerly read! Thank you.</p>
<p>Steve Gray </p>
http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99214#99214Answer by Gerhard Paseman for Stick knot questions: simple but may not be easyGerhard Paseman2012-06-10T03:26:59Z2012-06-10T03:26:59Z<p>There is a problem about matching red and blue dots in the plane in pairs by straight line segments, with a length minimal matching involving no crossings. I imagine (3) could be answered negatively by similar reasoning.</p>
<p>Gerhard "Ask Me About System Design" Paseman, 2012.06.09</p>
http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99215#99215Answer by Steve Huntsman for Stick knot questions: simple but may not be easySteve Huntsman2012-06-10T03:37:53Z2012-06-10T03:37:53Z<p>A partial test for (1) is provided by the <a href="http://en.wikipedia.org/wiki/Fary%25E2%2580%2593Milnor_theorem" rel="nofollow">Fary-Milnor theorem</a>. See also <a href="http://mathoverflow.net/questions/54919/" rel="nofollow">this question</a>.</p>
http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99325#99325Answer by Jan Kyncl for Stick knot questions: simple but may not be easyJan Kyncl2012-06-12T00:12:08Z2012-07-03T06:46:36Z<p>The answer to question (2) is</p>
<ul>
<li>no for $n=6$,</li>
<li>yes for $n=7$.</li>
</ul>
<p>For $n=6$, take, for example, the following six points as vertices of a straight-line (stick) embedding of $K_6$:</p>
<p>$A = (-2,-2,1), B= (2,-2,0), C= (0,2,0), D= (-1,-1,0), E= (1,-1,1), F= (0,1,2)$</p>
<p>The projection onto the $xy$ plane has crossing number $3$. </p>
<p><img src="http://www.freeimagehosting.net/newuploads/7a4xs.png" alt="a projection of K_6 with crossing number 3"></p>
<p>Moreover, the crossings are between disjoint pairs of edges. Therefore, since every nontrivial knot has at least three crossings, there is at most one possible cycle that could form form a nontrivial knot; that is, the cycle $AECDBF$ formed by the six edges participating in the crossings. But by the above-below relations at the crossings, this cycle clearly forms an unknot.</p>
<hr>
<p>For $n=7$, <a href="http://onlinelibrary.wiley.com/doi/10.1002/jgt.3190070410/abstract" rel="nofollow">Conway and Gordon</a> proved that every embedding of $K_7$ in $\mathbb{R}^3$ contains a Hamiltonian cycle forming a nontrivial knot, using the parity of the sum of the quadratic terms of the Conway polynomials of the Hamiltonian cycles as an invariant.</p>
<p><strong>Edit:</strong> See also <a href="http://www.springerlink.com/content/b08xjkcw3av83qyr/" rel="nofollow">J. L. Ramirez Alfonsin, Spatial Graphs and Oriented Matroids: the Trefoil, Discrete and Computational Geometry 22:149--158 (1999)</a>
for the following stronger result: </p>
<blockquote>
<blockquote>
<p>Every stick embedding of $K_7$ in $\mathbb{R}^3$ contains a Hamiltonian cycle forming a (left-handed or a right-handed) trefoil.</p>
</blockquote>
</blockquote>
http://mathoverflow.net/questions/99213/stick-knot-questions-simple-but-may-not-be-easy/99326#99326Answer by John Engbers for Stick knot questions: simple but may not be easyJohn Engbers2012-06-12T01:02:15Z2012-06-12T01:02:15Z<p>A paper by <a href="http://www.calvin.edu/~venema/pdfs/Six-Chains.pdf" rel="nofollow">Gerard Venema and Tom Clark</a> classified stick knots with 6 segments (using the lengths of the segments); they are using chains for their knots.</p>