Related papers: Every Reidemeister move is needed for each knot ty…

We provide a way to produce knots in $S^3$ from signed chord diagrams, and prove that every knot can be produced in this way. Using these diagrams, we generalize the fundamental theorem of finite type invariants. We also provide moves for…

We consider arrow diagrams of links in $S^3$ and define $k$-moves on such diagrams, for any $k\in\mathbb N$. We study the equivalence classes of links in $S^3$ up to $k$-moves. For $k=2$, we show that any two knots are equivalent, whereas…

We discuss the ribbon-move for 2-knots, which is a local move. Let $K$ and $K'$ be 2-knots. Then we have: Suppose that $K$ and $K'$ are ribbon-move equivalent. (1) Let ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ (resp. ${\mathrm {Tor}}…

In 2001, Oestlund conjectured that Reidemeister moves 1 and 3 are sufficient to describe a homotopy from any generic immersion from the circle into the plane to the standard embedding of the circle. We show that this conjecture is false.

The combinatorial approach to knot theory treats knots as diagrams modulo Reidemeister moves. Many constructions of knot invariants (e.g., index polynomials, quandle colorings, etc.) use elements of diagrams such as arcs and crossings by…

We prove that certain problems naturally arising in knot theory are NP--hard or NP--complete. These are the problems of obtaining one diagram from another one of a link in a bounded number of Reidemeister moves, determining whether a link…

We introduce a monoid corresponding to knotted surfaces in four space, from its hyperbolic splitting represented by marked diagram in braid like form. It has four types of generators: two standard braid generators and two of singular type.…

Recently, the author discovered an interesting class of knot-like objects called free knots. These purely combinatorial objects are equivalence classes of Gauss diagrams modulo Reidemeister moves (the same notion in the language of words…

Twisted knot theory, introduced by M.O.Bourgoin, is a generalization of virtual knot theory. It is easily shown that any virtual knot can be deformed into a trivial knot by a finite sequence of generalized Reidemeister moves and two…

A knot projection is an image of a generic immersion from a circle into a two-dimensional sphere. We can find homotopies between any two knot projections by local replacements of knot projections of three types, called Reidemeister moves.…

A (weak chord) index is a function on the crossings of knot diagrams such that: 1) the index of a crossing does not change under Reidemeister moves; 2) crossings which can be paired by a second Reidemeister move have the same index. We show…

We study two sorts of actions on the space of conjugacy classes of irreducible $SU_2$-representations of a knot group. One of them is an involution which comes from the algebraic structure of $SU_2$ and the other is the action by the outer…

A common choice for the evolution of the knotted graphs in loop quantum gravity is to use the Pachner moves, adapted to graphs from their dual triangulations. Here, we show that the natural way to consistently use these moves is on framed…

Noting that cycle diagrams of permutations visually resemble grid diagrams used to depict knots and links in topology, we consider the knot (or link) obtained from the cycle diagram of a permutation. We show that the permutations which…

Deciding whether a diagram of a knot can be untangled with a given number of moves (as a part of the input) is known to be NP-complete. In this paper we determine the parameterized complexity of this problem with respect to a natural…

We introduce and study knotoids. Knotoids are represented by diagrams in a surface which differ from the usual knot diagrams in that the underlying curve is a segment rather than a circle. Knotoid diagrams are considered up to Reidemeister…

We take a close look at a classical magic trick performed with a string, where a trivial knot is seemingly isotoped into a trefoil, and generalize it to a family of magic tricks for transforming the unknot into other knots. We encode such a…

The dual to a tetrahedron consists of a single vertex at which four edges and six faces are incident. Along each edge, three faces converge. A 2-foam is a compact topological space such that each point has a neighborhood homeomorphic to a…

In 2001, \"Ostlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to…

If a rectangular diagram represents the trivial knot, then it can be deformed into the rectangular diagram with only two vertical edges by a finite sequence of merge operations and exchange operations, without increasing the number of…