All Questions
5 questions
29
votes
5
answers
7k
views
Proof of the Reidemeister theorem
While preparing for my introduction to topology course, I've realized that I don't know where to find a detailed proof of the Reidemeister theorem (two link diagrams give isotopic links, iff they can ...
26
votes
5
answers
2k
views
Complexity of random knot with vertices on sphere
Connect $n$ random points on a sphere in a cycle of
segments between succesive points:
I would like to know the growth rate, with respect to $n$, of the crossing number
(the minimal number of ...
17
votes
3
answers
2k
views
What is the state of the art for algorithmic knot simplification?
Question: Given a `hard' diagram of a knot, with over a hundred crossings, what is the best algorithm and software tool to simplify it? Will it also simplify virtual knot diagrams, tangle diagrams, ...
9
votes
1
answer
637
views
Reference request: A knot is tame if and only if it has a tubular neighbourhood
Definitions:
A knot is an embedding $\kappa:S^1\hookrightarrow S^3$ (we do not require smooth or polygonal).
Two knots $\kappa,\,\lambda:S^1\hookrightarrow S^3$ are equivalent if one of the following ...
8
votes
1
answer
427
views
Is there a combinatorial version of PL ambient isotopy in dimension $>3$?
The classical PL Reidemeister Theorem reads:
Reidemeister Theorem: Two knots in $S^3$ are PL ambient isotopic if and only if any diagram of one can be transformed into a diagram of the other by ...