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 it is not true for links. We show that the Jones polynomial at a $k$-th primitive root of unity is unchanged by a $k$-move, when $k$ is odd. It is multiplied by $-1$, when $k$ is even. It follows that, for any $k\ge 5$, there are infinitely many classes of knots modulo $k$-moves. We use these results to study the Hopf crossing number. In particular, we show that it is unbounded for some families of knots. We also interpret $k$-moves as some identifications between links in different lens spaces $L_{p,1}$.
We consider diagrams of links in $S^2$ obtained by projection from $S^3$ with the Hopf map and the minimal crossing number for such diagrams. Knots admitting diagrams with at most one crossing are classified. Some properties of these knots are exhibited. In particular, we establish which of these knots are algebraic and, for such knots, give an answer to a problem posed by Fiedler.
We answer a question posed by Fielder in [1] concerning two notions of crossing number for algebraic knots $K$ under Hopf fibration, one topological, denoted $h(K)$, the other coming from the realization of such knots around complex singularities, denoted $C_{alg}(K)$. We show that $C_{alg}(K)-h(K)$ can be arbitrarily large. We also give an upper bound for $h$ of some families of knots such as torus knots $T(2,n)$, twist knots and their mirror images.
Every link in the 3-sphere has a projection to the plane where the only singularities are pairwise transverse triple points. The associated diagram, with height information at each triple point, is a triple-crossing diagram of the link. We give a set of diagrammatic moves on triple-crossing diagrams analogous to the Reidemeister moves on ordinary diagrams. The existence of n-crossing diagrams for every n>1 allows the definition of the n-crossing number. We prove that for any nontrivial, nonsplit link, other than the Hopf link, its triple-crossing number is strictly greater than its quintuple-c…
Gordian complex of knots was defined by Hirasawa and Uchida as the simplicial complex whose vertices are knot isotopy classes in $\mathbb{S}^3$. Later Horiuchi and Ohyama defined Gordian complex of virtual knots using $v$-move and forbidden moves. In this paper we discuss Gordian complex of knots by region crossing change and Gordian complex of virtual knots by arc shift move. Arc shift move is a local move in the virtual knot diagram which results in reversing orientation locally between two consecutive crossings. We show the existence of an arbitrarily high dimensional simplex in both the Go…
We use the terms, knot product and local move, as defined in the text of the paper. Let $n$ be an integer$\geqq3$. Let $\mathcal S_n$ be the set of simple spherical $n$-knots in $S^{n+2}$. Let $m$ be an integer$\geqq4$. We prove that the map $j:\mathcal S_{2m}\to\mathcal S_{2m+4}$ is bijective, where $j(K)=K\otimes$Hopf, and Hopf denotes the Hopf link. Let $J$ and $K$ be 1-links in $S^3$. Suppose that $J$ is obtained from $K$ by a single pass-move, which is a local-move on 1-links. Let $k$ be a positive integer. Let $P\otimes^kQ$ denote the knot product $P\otimes\underbrace{Q\otimes...\otimes …
We characterize cutting arcs on fiber surfaces that produce new fiber surfaces, and the changes in monodromy resulting from such cuts. As a corollary, we characterize band surgeries between fibered links and introduce an operation called Generalized Hopf banding. We further characterize generalized crossing changes between fibered links, and the resulting changes in monodromy.
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 that one can omit the second condition in the case of the universal index. As a consequence, we get the following principle of indistinguishability for classical knots: crossings of the same sign in a classical knot diagram can not be distinguished by any inherent property.
In this paper we present a systematic method to generate prime knot and prime link minimal triple-point projections, and then classify all classical prime knots and prime links with triple-crossing number at most four. We also extend the table of known knots and links with triple-crossing number equal to five. By introducing a new type of diagrammatic move, we reduce the number of generating moves on triple-crossing diagrams, and derive a minimal generating set of moves connecting triple-crossing diagrams of the same knot.
In a previous paper, the authors proved that Milnor link-homotopy invariants modulo $n$ classify classical string links up to $2n$-move and link-homotopy. As analogues to the welded case, in terms of Milnor invariants, we give here two classifications of welded string links up to $2n$-move and self-crossing virtualization, and up to $V^{n}$-move and self-crossing virtualization, respectively.
We introduce a local move on a link diagram named a region freeze crossing change which is close to a region crossing change, but not the same. We study similarity and difference between region crossing change and region freeze crossing change.
We prove that any diagram of the unknot with c crossings may be reduced to the trivial diagram using at most (236 c)^{11} Reidemeister moves. Moreover, every diagram in this sequence has at most (7 c)^2 crossings. We also prove a similar theorem for split links, which provides a polynomial upper bound on the number of Reidemeister moves required to transform a diagram of the link into a disconnected diagram.
We show that every alternating link of 2-components and 12 crossings can be reduced by 4-moves to the trivial link or the Hopf link. It answers the question asked in one of the last papers by Slavik Jablan.
We propose some natural generalizations of Reidemeister moves that do not increase the number of crossings in the generated diagrams. Experimentations make us conjecture that this class of monotonic moves is complete for computing canonical forms and then deciding isotopy.
Crossings of knot diagrams can be divided into classes (tribes) compatible with Reidemeister moves. Tribes can be considered as localization of the notion of weak chord index introduced by M. Xu. In the article we describe tribes of crossings for tangles in a fixed surface and show that crossings are differentiated by their component, order and homotopy types. As a consequence, we conclude that there are no nontrivial indices on diagrams of classical knots.
Let $n$ be a positive integer. The aim of this paper is to study two local moves $V(n)$ and $V^{n}$ on welded links, which are generalizations of the crossing virtualization. We show that the $V(n)$-move is an unknotting operation on welded knots for any $n$, and give a classification of welded links up to $V(n)$-moves. On the other hand, we give a necessary condition for which two welded links are equivalent up to $V^{n}$-moves. This leads to show that the $V^{n}$-move is not an unknotting operation on welded knots except for $n=1$. We also discuss relations among $V^{n}$-moves, associated co…
This note has an experimental nature and contains no new theorems. We introduce certain moves for classical knot diagrams that for all the very many examples we have tested them on give a monotonic complete simplification. A complete simplification of a knot diagram D is a sequence of moves that transform D into a diagram D' with the minimal possible number of crossings for the isotopy class of the knot represented by D. The simplification is monotonic if the number of crossings never increases along the sequence. Our moves are certain Z1, Z2, Z3 generalizing the classical Reidemeister moves R…
Negami found an upper bound on the stick number $s(K)$ of a nontrivial knot $K$ in terms of the minimal crossing number $c(K)$ of the knot which is $s(K) \leq 2 c(K)$. Furthermore McCabe proved $s(K) \leq c(K) + 3$ for a $2$-bridge knot or link, except in the case of the unlink and the Hopf link. In this paper we construct any $2$-bridge knot or link $K$ of at least six crossings by using only $c(K)+2$ straight sticks. This gives a new upper bound on stick numbers of $2$-bridge knots and links in terms of crossing numbers.
We start a systematic analysis of links up to 5-move equivalence. Our motivation is to develop tools which later can be used to study skein modules based on the skein relation being deformation of a 5-move (in an analogous way as the Kauffman skein module is a deformation of a 2-move, i.e. a crossing change). Our main tools are Jones and Kauffman polynomials and the fundamental group of the 2-fold branch cover of S^3 along a link. We use also the fact that a 5-move is a composition of two rational \pm (2,2)-moves (i.e. \pm 5/2-moves) and rational moves can be analyzed using the group of Fox co…
We present a sequence of diagrams of the unknot for which the minimum number of Reidemeister moves required to pass to the trivial diagram is quadratic with respect to the number of crossings. These bounds apply both in $S^2$ and in $\R^2$.
The present paper refers to the knot theory and is devoted to the study of global properties of Gordian graphs of various local moves. In 2005, Gambaudo and Ghys raised the question of the behavior at infinity of the crossing change Gordian graph. They proposed studying its "ends", that is, unbounded connected components of complements of bounded subsets. We provide a complete description of the behavior at infinity for local moves from three well-known infinite families, namely, rational moves, $C(n)$-moves, and $H(n)$-moves (note that each of the first two families contains the crossing chan…
In mathematics, a knot is a single strand of string crossed over itself any number of times, and connected at the ends. The Reidemeister Moves have been proven to be the three core moves necessary to fully untangle a knot. Some knots can be untangled to a loop (the unknot), while others are fundamentally knotted. We define four generalized moves based on the Reidemeister Moves. These moves have the capability of untangling knots which must be made more complicated before they can be simplified. With these moves, we construct a computer program which reads the two-dimensional projection of a kn…
A shadow diagram is a knot diagram with under-over information omitted; a shadow movie is a sequence of shadow diagrams related by shadow Reidemeister moves. We show that not every shadow movie arises as the shadow of a Reidemeister movie, meaning a sequence of classical knot diagrams related by classical Reidemeister moves. This means that in Kaufman's theory of virtual knots, virtual crossings cannot simply be viewed as classical crossings where which strand is over has been left `to be determined'.
We analyze properties of links which have diagrams with a small number of negative crossings. We show that if a nontrivial link has a diagram with all crossings positive except possibly one, then the signature of the link is negative. If a link diagram has two negative crossings, we show that the signature of the link is nonpositive with the exception of the left-handed Hopf link (with possible trivial components). We also characterize those links which have signature zero and diagrams with two negative crossings. In particular, we show that if a nontrivial knot has a diagram with two negative…
We prove that a crossing change along a double point circle on a 2-knot is realized by ribbon-moves for a knotted torus obtained from the 2-knot by attaching a 1-handle. It follows that any 2-knots for which the crossing change is an unknotting operation, such as ribbon 2-knots and twist-spun knots, have trivial Khovanov-Jacobsson number.
A C_n-move is a local move on links defined by Habiro and Goussarov, which can be regarded as a `higher order crossing change'. We use Milnor invariants with repeating indices to provide several classification results for links up to C_n-moves, under certain restrictions. Namely, we give a classification up to C_4-moves of 2-component links, 3-component Brunnian links and n-component C_3-trivial links, and we classify n-component link-homotopically trivial Brunnian links up to C_{n+1}-moves.
A Morse 2-function is a generic smooth map from a manifold M of arbitrary finite dimension to a surface B. Its critical set maps to an immersed collection of cusped arcs in B. The aim of this paper is to explain exactly when it is possible to move these arcs around in B by a homotopy and to give a library of examples when M is a closed 4-manifold. The last two sections give applications to the theory of crown diagrams of smooth 4-manifolds.
We show that the maximal number of singular moves required to pass between any two regularly homotopic planar or spherical curves with at most n crossings, grows quadratically with respect to n. Furthermore, this can be done with all curves along the way having at most n+2 crossings.
Using unknotting number, we introduce a link diagram invariant of Hass and Nowik type, which changes at most by 2 under a Reidemeister move. As an application, we show that a certain infinite sequence of diagrams of the trivial two-component link need quadratic number of Reidemeister moves for being unknotted with respect to the number of crossings. Assuming a certain conjecture on unknotting numbers of a certain series of composites of torus knots, we show that the above diagrams need quadratic number of Reidemeister moves for being splitted.
We prove the following: Let $2p + 1$ be no less than 5 and $p$ be a natural number. Let $K$ and $J$ be closed, oriented, $(2p+1)$-dimensional connected, $(p-1)$-connected, simple submanifolds of the standard $(2p+3)$-sphere. Then $K$ is equivalent to $J$ if and only if a Seifert matrix associated with a simple Seifert hypersurface for $K$ is $(-1)^p$-$S$-equivalent to that for $J$. We also discuss the $2p+1=3$ case. This result implies one of our main results: Let $μ$ be a natural number. A 1-link $A$ is pass-move equivalent to a 1-link $B$ if and only if the knot product of $A$ and $μ$ copies…
In this paper, we introduce an equivalence relation on the set of local moves and classify local moves, called the extended $ST$-moves, up to the equivalence. Moreover, by inducing a binary relation on the set of equivalence classes of local moves, we show that an extended $ST$-move realizes the crossing change or the $SH(2)$-move. In addition, for any oriented knot and two extended $ST$-moves, we disscus the magnitude relation between the unknotting numbers of the knot via the moves, and show that there is an extended $ST$-move except $SH$-moves so that the knot can be transformed into the tr…
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 vertical edges, which was shown by I. A. Dynnikov. We show in this paper that we need no merge operations to deform a rectangular diagram of the trivial knot to one with no crossings.
The theory of welded and extended welded knots is a generalization of classical knot theory. Welded (resp. extended welded) knot diagrams include virtual crossings (resp. virtual crossings and wen marks) and are equivalent under an extended set of Reidemeister-type moves. We present a new class of invariants for welded and extended welded knots and links using a multi-skein relation, following Z. Yang's approach for virtual knots. Using this skein-theoretic approach, we find sufficient conditions on the coefficients to obtain invariance under the extended Reidemeister moves appropriate to weld…
INRIA Université Côte d’Azur（法国蔚蓝海岸大学国家信息与自动化研究所）；LIGM, CNRS, Univ. Gustave Eiffel, ESIEE Paris（法国巴黎高等信息与机械学院）；School of Mathematics and Statistics, University of Sydney（悉尼大学数学与统计学院）
We proved by computer enumeration that the Jones polynomial distinguishes the unknot for knots up to 22 crossings. Following an approach of Yamada, we generated knot diagrams by inserting algebraic tangles into Conway polyhedra, computed their Jones polynomials by a divide-and-conquer method, and tested those with trivial Jones polynomials for unknottedness with the computer program SnapPy. We employed numerous novel strategies for reducing the computation time per knot diagram and the number of knot diagrams to be considered. That made computations up to 21 crossings possible on a single proc…
In this paper, we discuss the crossing change operation along exchangeable double curves of a surface-knot diagram. We show that under certain condition, a finite sequence of Roseman moves preserves the property of those exchangeable double curves. As an application for this result, we also define a numerical invariant for a set of surface-knots called $du$-exchangeable set.
Suppose $K$ is an unknot lying in the 1-skeleton of a triangulated 3-manifold with $t$ tetrahedra. Hass and Lagarias showed there is an upper bound, depending only on $t$, for the minimal number of elementary moves to untangle $K$. We give a simpler proof, utilizing a normal form for surfaces whose boundary is contained in the 1-skeleton of a triangulated 3-manifold. We also obtain a significantly better upper bound of $2^{120t+14}$ and improve the Hass--Lagarias upper bound on the number of Reidemeister moves needed to unknot to $2^{10^5 n}$, where $n$ is the crossing number.
A string figure is topologically a trivial knot lying on an imaginary plane orthogonal to the fingers with some crossings. The fingers prevent cancellation of these crossings. As a mathematical model of string figure we consider a knot diagram on the $xy$-plane in $xyz$-space missing some straight lines parallel to the $z$-axis. These straight lines correspond to fingers. We study minimal number of crossings of these knot diagrams under Reidemeister moves missing these lines.
Knotoids are open ended knot diagrams regarded up to Reidemeister moves and isotopies. The notion is introduced by V.~Turaev in 2012. Two most important numeric characteristics of a knotoid are the crossing number and the height. The latter is the least number of intersections between a diagram and an arc connecting its endpoints, where the minimum is taken over all representative diagrams and all such an arcs disjoint from crossings. In the paper we answer the question: are there any relations between the crossing number and the height of a knotoid. We prove that the crossing number of a knot…
In 2001, Östlund 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 this question was treated as a conjecture (Östlund conjecture). In 2014, Hagge and Yazinski disproved the conjecture by showing the first counterexample with a minimal crossing number of 16. This example is naturally extended to counterexamples with given even minimal crossing numbers more than 14. This paper obtains the first counterexample with a minimal cross…
Khovanov homology is a categorification of the Jones polynomial, so it may be seen as a kind of quantum invariant of knots and links. Although polynomial quantum invariants are deeply involved with Vassiliev (aka. finite type) invariants, the relation remains unclear in case of Khovanov homology. Aiming at it, in this paper, we discuss a categorified version of Vassiliev skein relation on Khovanov homology. More precisely, we will show that the "genus-one" operation gives rise to a crossing change on Khovanov complexes. Invariance under Reidemeister moves turns out, and it enables us to extend…
We classify 3-braids up to (2,2)-move equivalence and in particular we show how to adjust the Harikae-Nakanishi-Uchida conjecture so it holds for closed 3-braids. As important steps to classify 3-braids up to (2,2)-move equivalence we prove the conjecture for 2-algebraic links and classify (2,2)-equivalence classes for links up to nine crossings. We analyze the behavior of Kei (involutive quandle) associated to a link under (2,2)-moves. We construct Burnside Kei, Q(m,n), and ask the question, motivated by classical Burnside question: for which values of m and n, is Q(m,n) finite?
In the present paper, we consider local moves on classical and welded diagrams: (self-)crossing change, (self-)virtualization, virtual conjugation, Delta, fused, band-pass and welded band-pass moves. Interrelationship between these moves is discussed and, for each of these move, we provide an algebraic classification. We address the question of relevant welded extensions for classical moves in the sense that the classical quotient of classical object embeds into the welded quotient of welded objects. As a by-product, we obtain that all of the above local moves are unknotting operations for wel…
The list of knots with up to 10 crossings is commonly referred to as the Rolfsen Table. This paper presents a way to generate the Rolfsen table in a simple, clear, and reproducible manner. The methods we use are similar to those used by J. Hoste, M. Thistlethwaite, and J. Weeks in [1]. The difference between our methods comes from the fact that [1] uses a more complicated algorithm to be able to find all the knots with up to 17 crossings, while our approach demonstrates a simpler way to find the knots up to 10 crossings. We do this by generating all planar knot diagrams with up to 10 crossings…
We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate the relation between SCI and Arnold's curve invariant St, as well as the relation with Hass and Nowik's invariant, which generalizes cowrithe. In particular, the change of SCI under Ω3 moves depends only on the forward/backward character of the move, similar to how the change of …
A parity is a rule to assign labels to the crossings of knot diagrams in a way compatible with Reidemeister moves. Parity functors can be viewed as parities which provide to each knot diagram its own coefficient group that contains parities of the crossings. In the article we describe the universal oriented parity functors for free knots and for knots in a fixed surface.
Classical knots in $\mathbb{R}^3$ can be represented by diagrams in the plane. These diagrams are formed by curves with a finite number of transverse crossings, where each crossing is decorated to indicate which strand of the knot passes over at that point. A pseudodiagram is a knot diagram that may be missing crossing information at some of its crossings. At these crossings, it is undetermined which strand passes over. Pseudodiagrams were first introduced by Ryo Hanaki in 2010. Here, we introduce the notion of a pseudoknot, i.e. an equivalence class of pseudodiagrams under an appropriate choi…
