-
Any nontrivial knot projection with no triple chords has a monogon or a bigon
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
A generic immersion of a circle into a $2$-sphere is often studied as a projection of a knot; it is called a knot projection. A chord diagram is a configuration of paired points on a circle; traditionally, the two points of each pair are connected by a chord. A triple chord is a chord diagram consisting of three chords, each of which intersects the other chords. Every knot projection obtains a cho…
▽ More
A generic immersion of a circle into a $2$-sphere is often studied as a projection of a knot; it is called a knot projection. A chord diagram is a configuration of paired points on a circle; traditionally, the two points of each pair are connected by a chord. A triple chord is a chord diagram consisting of three chords, each of which intersects the other chords. Every knot projection obtains a chord diagram in which every pair of points corresponds to the inverse image of a double point. In this paper, we show that for any knot projection $P$, if its chord diagram contains no triple chord, then there exists a finite sequence from $P$ to a simple closed curve such that the sequence consists of flat Reidemeister moves, each of which decreases $1$-gons or strong $2$-gons, where a strong $2$-gon is a $2$-gon oriented by an orientation of $P$.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
The tabulation of prime knot projections with their mirror images up to eight double points
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
This paper provides the complete table of prime knot projections with their mirror images, without redundancy, up to eight double points systematically thorough a finite procedure by flypes. In this paper, we show how to tabulate the knot projections up to eight double points by listing tangles with at most four double points by an approach with respect to rational tangles of J. H. Conway. In othe…
▽ More
This paper provides the complete table of prime knot projections with their mirror images, without redundancy, up to eight double points systematically thorough a finite procedure by flypes. In this paper, we show how to tabulate the knot projections up to eight double points by listing tangles with at most four double points by an approach with respect to rational tangles of J. H. Conway. In other words, for a given prime knot projection of an alternating knot, we show how to enumerate possible projections of the alternating knot. Also to tabulate knot projections up to ambient isotopy, we introduce arrow diagrams (oriented Gauss diagrams) of knot projections having no over/under information of each crossing, which were originally introduced as arrow diagrams of knot diagrams by M. Polyak and O. Viro. Each arrow diagram of a knot projection completely detects the difference between the knot projection and its mirror image.
△ Less
Submitted 22 August, 2021;
originally announced August 2021.
-
Thirty-two equivalence relations on knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
We consider 32 homotopy classifications of knot projections (images of generic immersions from a circle into a 2-sphere). These 32 equivalence relations are obtained based on which moves are forbidden among the five type of Reidemeister moves. We show that 32 cases contain 20 non-trivial cases that are mutually different. To complete the proof, we obtain new tools, i.e., new invariants.
We consider 32 homotopy classifications of knot projections (images of generic immersions from a circle into a 2-sphere). These 32 equivalence relations are obtained based on which moves are forbidden among the five type of Reidemeister moves. We show that 32 cases contain 20 non-trivial cases that are mutually different. To complete the proof, we obtain new tools, i.e., new invariants.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
Strong and weak (1, 3) homotopies on knot Projections
Authors:
Noboru Ito,
Yusuke Takimura,
Kouki Taniyama
Abstract:
Strong and weak (1, 3) homotopies are equivalence relations on knot projections, defined by the first flat Reidemeister move and each of two different types of the third flat Reidemeister moves. In this paper, we introduce the cross chord number that is the minimal number of double points of chords of a chord diagram. Cross chord numbers induce a strong (1, 3) invariant. We show that Hanaki's triv…
▽ More
Strong and weak (1, 3) homotopies are equivalence relations on knot projections, defined by the first flat Reidemeister move and each of two different types of the third flat Reidemeister moves. In this paper, we introduce the cross chord number that is the minimal number of double points of chords of a chord diagram. Cross chord numbers induce a strong (1, 3) invariant. We show that Hanaki's trivializing number is a weak (1, 3) invariant. We give a complete classification of knot projections having trivializing number two up to the first flat Reidemeister moves using cross chord numbers and the positive resolutions of double points. Two knot projections with trivializing number two are both weak (1, 3) homotopy equivalent and strong (1, 3) homotopy equivalent if and only if they can be related by only the first flat Reidemeister moves. Finally, we determine the strong (1, 3) homotopy equivalence class containing the trivial knot projection and other classes of knot projections.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
On a nontrivial knot projection under (1, 3) homotopy
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
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 mini…
▽ More
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 crossing number of 15. This example is naturally extended to counterexamples with given odd minimal crossing numbers more than 13.
△ Less
Submitted 29 November, 2020;
originally announced November 2020.
-
Strong and weak (1, 2) homotopies on knot projections and new invariants
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self-tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily provided. Further, we introduce the notions of strong and weak (1, 2) homotopies; we define that two knot projections are strongly (resp. weakly) (1, 2) homoto…
▽ More
Every second flat Reidemeister move of knot projections can be decomposed into two types thorough an inverse or direct self-tangency modification, respectively called strong or weak, when orientations of the knot projections are arbitrarily provided. Further, we introduce the notions of strong and weak (1, 2) homotopies; we define that two knot projections are strongly (resp. weakly) (1, 2) homotopic if and only if two knot projections are related by a finite sequence of first and strong (resp. weak) second flat Reidemeister moves. This paper gives a new necessary and sufficient condition that two knot projections are not strongly (1, 2) homotopic. Similarly, we obtain a new necessary and sufficient condition in the weak (1, 2) homotopy case. We also define a new integer-valued strong (1, 2) homotopy invariant. Using it, we show that the set of the non-trivial prime knot projections without 1-gons that can be trivialized under strong (1, 2) homotopy is disjoint from that of weak (1, 2) homotopy. We also investigate topological properties of the new invariant and give its generalization, a comparison of our invariants and Arnold invariants, and a table of invariants.
△ Less
Submitted 14 November, 2020;
originally announced November 2020.
-
RII number of knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations o…
▽ More
Every knot projection is simplified to the trivial spherical curve not increasing double points by using deformations of types 1, 2, and 3 which are analogies of Reidemeister moves of types 1, 2, and 3 on knot diagrams. We introduce RII number of a knot projection that is the minimum number of deformations of negative type 2 among such sequences. By definition, it is invariant under deformations of types 1 and 3. This is motivated by Östlund conjecture: Deformations of type 1 and 3 are sufficient to describe a homotopy from any generic immersion of a circle in a two dimensional plane to an embedding of the circle (2001), which implies RII number always would be zero. However, Hagge and Yazinski disproved the conjecture by showing the first counterexample with 16 double points, which implies that RII number is nontrivial. This paper shows that RII number can be any nonnegative number.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
Crosscap number and knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.
We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Knot projections with reductivity two
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
Reductivity of knot projections refers to the minimum number of splices of double points needed to obtain reducible knot projections. Considering the type and method of splicing (Seifert type splice or non-Seifert type splice, recursively or simultaneously), we can obtain four reductivities containing Shimizu's reductivity, three of which are new. In this paper, we determine knot projections with…
▽ More
Reductivity of knot projections refers to the minimum number of splices of double points needed to obtain reducible knot projections. Considering the type and method of splicing (Seifert type splice or non-Seifert type splice, recursively or simultaneously), we can obtain four reductivities containing Shimizu's reductivity, three of which are new. In this paper, we determine knot projections with reductivity two for all four of the definitions. We also provide easily calculated lower bounds for some reductivities. Further, we detail properties of each reductivity, and describe relationships among the four reductivities with examples.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Triple chords and strong (1, 2) homotopy
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
A triple chord is a sub-diagram of a chord diagram that consists of a circle and finitely many chords connecting the preimages for every double point on a spherical curve, and it has exactly three chords giving the triple intersection. This paper describes some relationships between the number of triple chords and an equivalence relation called strong (1, 2) homotopy, which consists of the first a…
▽ More
A triple chord is a sub-diagram of a chord diagram that consists of a circle and finitely many chords connecting the preimages for every double point on a spherical curve, and it has exactly three chords giving the triple intersection. This paper describes some relationships between the number of triple chords and an equivalence relation called strong (1, 2) homotopy, which consists of the first and one kind of the second Reidemeister moves involving inverse self-tangency if the curve is given any orientation. We show that a prime knot projection is trivialized by strong (1, 2) homotopy, if it is a simple closed curve or a prime knot projection without 1- and 2-gons whose chord diagram does not contain any triple chords. We also discuss the relation between Shimizu's reductivity and triple chords.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Strong and weak (1, 2, 3) homotopies on knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
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. This paper defines an equivalence relation for knot projections called weak (1, 2, 3) homotopy, which consists of Reidemeister moves of type 1, weak type 2, and…
▽ More
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. This paper defines an equivalence relation for knot projections called weak (1, 2, 3) homotopy, which consists of Reidemeister moves of type 1, weak type 2, and weak type 3. This paper defines the first non-trivial invariant under weak (1, 2, 3) homotopy. We use this invariant to show that there exist an infinite number of weak (1, 2, 3) homotopy equivalence classes of knot projections. By contrast, all equivalence classes of knot projections consisting of the other variants of a triple type, i.e., Reidemeister moves of (1, strong type 2, strong type 3), (1, weak type 2, strong type 3), and (1, strong type 2, weak type 3), are contractible.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
Sub-chord diagrams of knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in…
▽ More
A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in the numbers of sub-chord diagrams embedded in a full chord diagram of any spherical curve by applying one of the moves RI, strong RII, weak RII, strong RIII, and weak RIII defined by connections of branches related to the local replacements (Theorem 1). This yields a new integer-valued invariant under RI and strong RIII that provides a complete classification of prime reduced spherical curves with up to at least seven double points (Theorem 2, Fig. 24): there has been no such invariant before. The invariant expresses the necessary and sufficient condition that spherical curves can be related to a simple closed curve by a finite sequence of RI and strong RIII moves (Theorem 3). Moreover, invariants of spherical curves under flypes are provided by counting sub-chord diagrams (Theorem 4).
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
(1, 2) and weak (1, 3) homotopies on knot projections
Authors:
Noboru Ito,
Yusuke Takimura
Abstract:
In this paper, we obtain the necessary and sufficient condition that two knot projections are related by a finite sequence of the first and second flat Reidemeister moves (Theorem 1). We also consider an equivalence relation that is called weak (1, 3) homotopy. This equivalence relation occurs by the first flat Reidemeister move and one of the third flat Reidemeister moves. We introduce a map send…
▽ More
In this paper, we obtain the necessary and sufficient condition that two knot projections are related by a finite sequence of the first and second flat Reidemeister moves (Theorem 1). We also consider an equivalence relation that is called weak (1, 3) homotopy. This equivalence relation occurs by the first flat Reidemeister move and one of the third flat Reidemeister moves. We introduce a map sending weak (1, 3) homotopy classes to knot isotopy classes (Sec. 3). Using the map, we determine which knot projections are trivialized under weak (1, 3) homotopy (Corollary 3).
△ Less
Submitted 14 April, 2020;
originally announced April 2020.
