We introduce a new numerical knot invariant, termed the \textit{segment number}, which is derived from partitioned knot diagrams subject to specific over/under-crossing constraints. We prove that a knot is non-trivial if and only if its segment number is at least 3. Furthermore, we investigate the structural properties of the directed graph associated with a minimal segment number presentation. Specifically, we show that for any minimal presentation, the underlying graph is connected and cannot be a path. Finally, we discuss the relationship between the segment number and the bridge number, providing bounds and conjectures for future study. We also conjecture that the bridge number $b(K)$ provides a lower bound for the segment number.
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 moves applied away from the endpoints of the underlying segment. We show that knotoids in $S^2$ generalize knots in $S^3$ and study the semigroup of knotoids. We also discuss applications to knots and invariants of knotoids.
The image of a polygonal knot K under a spherical inversion of R^3 (union infinity) is a simple closed curve made of arcs of circles, having the same knot type as the mirror image of K. Suppose we reconnect the vertices of the inverted polygon with straight lines, making a new polygon. This may be a different knot type. For example, a certain 7-segment figure-8 knot can be transformed to a figure-8 knot, right and left handed trefoils, or an unknot, by selecting different inverting spheres. Which knot types can be obtained from a given original polygon K under this process? We show that for la…
The stick index of a knot is the least number of line segments required to build the knot in space. We define two analogous 2-dimensional invariants, the planar stick index, which is the least number of line segments in the plane to build a projection, and the spherical stick index, which is the least number of great circle arcs to build a projection on the sphere. We find bounds on these quantities in terms of other knot invariants, and give planar stick and spherical stick constructions for torus knots and for compositions of trefoils. In particular, unlike most knot invariants,we show that …
The lattice stick number of a knot type is defined to be the minimal number of straight line segments required to construct a polygon presentation of the knot type in the cubic lattice. In this paper, we mathematically prove that the trefoil knot $3_1$ and the figure-8 knot $4_1$ are the only knot types of lattice stick number less than 15, which verifies the result from previous numerical estimations on this quantity.
The lattice stick number $s_L(K)$ of a knot $K$ is defined to be the minimal number of straight line segments required to construct a stick presentation of $K$ in the cubic lattice. In this paper, we find an upper bound on the lattice stick number of a nontrivial knot $K$, except trefoil knot, in terms of the minimal crossing number $c(K)$ which is $s_L(K) \leq 3 c(K) +2$. Moreover if $K$ is a non-alternating prime knot, then $s_L(K) \leq 3 c(K) - 4$.
The (ordinary) unknotting-number of 1-dimensional knots, which is defined by using the crossing-change, is a very basic and important invariant. It is very natural to consider the `unknotting-number' associated with other local-moves on n-dimensional knots, where n is a natural number. In this paper we prove the following facts. For the ribbon-move on 2-knots, which is a kind of local-move on knots, we have the following: There is a ribbon-move-unknotting-number-two 2-knot. The ribbon-move-unknotting-number of 2-knots is unbounded. For the pass-move on 1-knots, which is a kind of local-move on…
In 2008, Kauffman and Lomonaco introduce the concepts of a knot mosaic and the mosaic number of a knot or link, the smallest integer $n$ such that a knot or link can be represented on an $n$-mosaic. In arXiv:1702.06462, the authors explore space-efficient knot mosaics and the tile number of a knot or link, the smallest number of non-blank tiles necessary to depict the knot or link on a mosaic. They determine bounds for the tile number in terms of the mosaic number. In this paper, we focus specifically on prime knots with mosaic number 6. We determine a complete list of these knots, provide a m…
A knot is an a-small knot if its exterior does not contain closed incompressible surfaces disjoint from some incompressible Seifert surface for the knot. Using circular thin position for knots we prove that the handle number is additive under the connected sum of two a-small knots. As a consequence the Morse-Novikov number turns out to be additive under the connected sum of two a-small knots.
The genus of satellite tunnel number one knots and torti-rational knots is computed using the tools introduced by Floyd and Hatcher. An implementation of an algorithm is given to compute genus and slopes of minimal genus Seifert surfaces for such knots.
We give lower bounds for the tunnel number of knots and handlebody-knots. We also give a lower bound for the cutting number, which is a "dual" notion to the tunnel number in the handlebody-knot theory. We provide necessary conditions for constituent handlebody-knots by using $G$-family of quandles colorings. The above two evaluations are obtained as the corollaries. Furthermore, we construct handlebody-knots with arbitrary tunnel number and cutting number.
The crosscap number of a knot in the 3-sphere is the minimal genus of non-orientable surface bounded by the knot. We determine the crosscap numbers of torus knots.
We show that the triple-crossing number of any knot is greater or equal to twice its (canonical) genus and we show an even stronger bound in the case of links. As an application we show that this bound is strong enough to obtain the triple-crossing numbers of all torus knots, and of many more knots and their connected sums.
We define the concordance crosscap number of a knot as the minimum crosscap number among all the knots concordant to the knot. The four-dimensional crosscap number is the minimum first Betti number of non-orientable surfaces smoothly embedded in 4-dimensional ball, bounding the knot. Clearly the 4-dimensional crosscap number is smaller than or equal to the concordance crosscap number. We construct two infinite sequences of knots to explain the gap between the two. In particular, the knot $7_4$ is one of the examples.
The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order and which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, …
Ascending numbers are determined for 64 knots with at most n=10 crossings. After proving the theorem about the signature of alternating knot families, we distinguished all families of knots obtained from generating alternating knots with at most 10 crossings, for which the unknotting number can be confirmed by using the general formulae for signatures. For 11 families of knots general formulae are obtained for their ascending numbers.
This paper gives a complete classification of all alternating knots with tunnel number one, and all their unknotting tunnels. We prove that the only such knots are two-bridge knots and certain Montesinos knots.
This paper is about the clock number of a knot. First we define the clock number by using states of a knot defined by Kauffman. Next we show that if K is a prime knot, its clock number is greater than or equal to its crossing number. Finally we prove that its clock number is equal to its crossing number if and only if K is a two-bridge knot.
In this paper we introduce the concept of a space-efficient knot mosaic. That is, we seek to determine how to create knot mosaics using the least number of non-blank tiles necessary to depict the knot. This least number is called the tile number of the knot. We determine strict bounds for the tile number of a knot in terms of the mosaic number of the knot. In particular, if $t$ is the tile number of a prime knot with mosaic number $m$, then $5m-8 \leq t \leq m^2-4$ if $m$ is even and $5m-8 \leq t \leq m^2-8$ if $m$ is odd. We also determine the tile number of several knots and provide space-ef…
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.
The virtual unknotting number of a virtual knot is the minimal number of crossing changes that makes the virtual knot to be the unknot, which is defined only for virtual knots virtually homotopic to the unknot. We focus on the virtual knot obtained from the standard (p,q)-torus knot diagram by replacing all crossings on one overstrand into virtual crossings and prove that its virtual unknotting number is equal to the unknotting number of the $(p,q)$-torus knot, i.e. it is (p-1)(q-1)/2.
A branched covering surface-knot is a surface-knot in the form of a branched covering over a surface-knot. For a branched covering surface-knot, we have a numerical invariant called the simplifying number. We show that branched covering surface-knots with degree three have the simplifying numbers less than three.
We present a class of knots associated with labelled generic immersions of intervals into the plane and compute their Gordian numbers and 4-dimensional invariants. At least 10% of the knots in Rolfsen's table belong to this class of knots. We call them track knots. They are contained in the class of quasipositive knots. In this connection, we classify quasipositive knots and strongly quasipositive knots up to 10 crossings.
Suppose that there exists an epimorphism from the knot group of a $2$-bridge knot $K$ onto that of another knot $K'$. In this paper, we study the relationship between their crossing numbers $c(K)$ and $c(K')$. Especially it is shown that $c(K)$ is greater than or equal to $3 c(K')$ and we estimate how many knot groups a $2$-bridge knot group maps onto. Moreover, we formulate the generating function which determines the number of $2$-bridge knot groups admitting epimorphisms onto the knot group of a given $2$-bridge knot.
The unknotting number of a knot is the minimum number of crossings one must change to turn that knot into the unknot. The algebraic unknotting number is the minimum number of crossing changes needed to transform a knot into an Alexander polynomial-one knot. We work with a generalization of unknotting number due to Mathieu-Domergue, which we call the untwisting number. The untwisting number is the minimum number (over all diagrams of a knot) of right- or left-handed twists on even numbers of strands of a knot, with half of the strands oriented in each direction, necessary to transform that knot…
For a knot K the cube number is a knot invariant defined to be the smallest n for which there is a cube diagram of size n for K. We will show that the cube number detects chirality in all cases computed thus far, and distinguishes certain legendrian knots.
We show that the forbidden detour move, essentially introduced by Kanenobu and Nelson, is an unknotting operation for virtual knots. Then we define the forbidden detour number of a virtual knot to be the minimal number of forbidden detour moves necessary to transform a diagram of the virtual knot into the trivial knot diagram. Some upper and lower bounds on the forbidden detour number are given in terms of the minimal number of real crossings or the coefficients of the affine index polynomial of the virtual knot.
For a knot $K$ the cube number is a knot invariant defined to be the smallest $n$ for which there is a cube diagram of size $n$ for $K$. There is also a Legendrian version of this invariant called the \emph{Legendrian cube number}. We will show that the Legendrian cube number distinguishes the Legendrian left hand torus knots with maximal Thurston-Bennequin number and maximal rotation number from the Legendrian left hand torus knots with maximal Thurston-Bennequin number and minimal rotation number.
A knot in S^3 is said to have crosscap number two if it bounds a once-punctured Klein bottle but not a Moebius band. In this paper we give a method of constructing crosscap number two hyperbolic (1,2)-knots with tunnel number one which are neither 2-bridge nor (1,1)-knots. An explicit infinite family of such knots is discussed in detail.
The crosscap number of a knot in the 3-sphere is defined as the minimal first Betti number of non-orientable subsurfaces bounded by the knot. In this paper, we determine the crosscap numbers of pretzel knots. The key ingredient to obtain the result is the algorithm of enumerating all essential surfaces for Montesinos knots developed by Hatcher and Oertel.
In this paper, we formulate a new local move on virtual knot diagram, called arc shift move. Further, we extend it to another local move called region arc shift defined on a region of a virtual knot diagram. We establish that these arc shift and region arc shift moves are unknotting operations by showing that any virtual knot diagram can be turned into trivial knot using arc shift (region arc shift) moves. Based upon the arc shift move and region arc shift move, we define two virtual knot invariants, arc shift number and region arc shift number respectively.
Let $u(K)$ and $g(K)$ denote the unknotting number and the genus of a knot $K$, respectively. For a 3-braid knot $K$, we show that $u(K)\le g(K)$ holds, and that if $u(K)=g(K)$ then $K$ is either a 2-braid knot, a connected sum of two 2-braid knots, the figure-eight knot, a strongly quasipositive knot or its mirror image.
It has long been known that the quadratic term in the degree of the colored Jones polynomial of a knot is bounded above in terms of the crossing number of the knot. We show that this bound is sharp if and only if the knot is adequate. As an application of our result we determine the crossing numbers of broad families of non-adequate prime satellite knots. More specifically, we exhibit minimal crossing number diagrams for untwisted Whitehead doubles of zero-writhe adequate knots. This allows us to determine the crossing number of untwisted Whitehead doubles of any amphicheiral adequate knot, in…
Knot mosaics are used to model physical quantum states. The mosaic number of a knot is the smallest integer $m$ such that the knot can be represented as a knot $m$-mosaic. In this paper we establish an upper bound for the crossing number of a knot in terms of the mosaic number. Given an $m$-mosaic and any knot $K$ that is represented on the mosaic, its crossing number $c$ is bounded above by $(m - 2)^{2} - 2$ if $m$ is odd, and $(m - 2)^{2} - (m - 3)$ if $m$ is even.
For a knot K, the concordance crosscap number, c(K), is the minimum crosscap number among all knots concordant to K. Building on work of G. Zhang, which studied the determinants of knots with c(K) < 2, we apply the Alexander polynomial to construct new algebraic obstructions to c(K) < 2. With the exception of low crossing number knots previously known to have c(K) < 2, the obstruction applies to all but four prime knots of 11 or fewer crossings.
Given a diagram $D$ of a knot $K$, we consider the number $c(D)$ of crossings and the number $b(D)$ of overpasses of $D$. We show that, if $D$ is a diagram of a nontrivial knot $K$ whose number $c(D)$ of crossings is minimal, then $1+\sqrt{1+c(D)} \leq b(D)\leq c(D)$. These inequalities are shape in the sense that the upper bound of $b(D)$ is achieved by alternating knots and the lower bound of $b(D)$ is achieved by torus knots. The second inequality becomes an equality only when the knot is an alternating knot. We prove that the first inequality becomes an equality only when the knot is a tor…
We introduce a new numerical invariant of knots and links from the descending diagrams. It is considered to live between the unknotting number and the bridge number.
We study relations between unknotting number and crossing number of a spatial embedding of a handcuff-graph and a theta curve. It is well known that for any non-trivial knot $K$ twice the unknotting number of $K$ is less than or equal to the crossing number of $K$ minus one. We show that this is extended to handlebody-knots. We also characterize the handlebody-knots which satisfy the equality.
It is known that any surface knot can be transformed to an unknotted surface knot or a surface knot which has a diagram with no triple points by a finite number of 1-handle additions. The minimum number of such 1-handles is called the unknotting number or the triple point cancelling number, respectively. In this paper, we give upper bounds and lower bounds of unknotting numbers and triple point cancelling numbers of torus-covering knots, which are surface knots in the form of coverings over the standard torus $T$. Upper bounds are given by using $m$-charts on $T$ presenting torus-covering knot…
An equilateral stick number $s_{=}(K)$ of a knot $K$ is defined to be the minimal number of sticks required to construct a polygonal knot of $K$ which consists of equal length sticks. Rawdon and Scharein [12] found upper bounds for the equilateral stick numbers of all prime knots through 10 crossings by using algorithms in the software KnotPlot. In this paper, we find an upper bound on the equilateral stick number of a nontrivial knot K in terms of the minimal crossing number $c(K)$ which is $s_{=}(K) \le 2c(K) + 2$. Moreover if $K$ is a non-alternating prime knot, then $s_{=}(K) \le 2c(K) - 2…
Jablan and Radović originally defined two invariants called the Meander number and OGC number of knots for certain classes of knots. We generalize these definitions to all knots and name the straight number and contained straight number of a knot, respectively, and prove they are well defined. We answer two questions and prove a generalization of a conjecture of Jablan and Radović. We also give some relations to crossing number and petal number. Then we compute the straight numbers for all the knots in the standard knot table and present some interesting questions and the complete table of kno…
We present a practical algorithm to determine the minimal genus of non-orientable spanning surfaces for 2-bridge knots, called the crosscap numbers. We will exhibit a table of crosscap numbers of 2-bridge knots up to 12crossings (all 362 of them).
We have the generating function which determines the number of $2$-bridge knot groups admitting epimorphisms onto the knot group of a given $2$-bridge knot, in terms of crossing number. In this paper, we will refine this formula by taking account into genus as well as crossing number. Next, we determine the number of epimorphisms between fibered $2$-bridge knot groups. Moreover, we discuss degree one maps and $2$-bridge knots uknotting number one.
The aim of the present paper is to prove that the minimal number of virtual crossings for some families of virtual knots grows quadratically with respect to the minimal number of classical crossings. All previously known estimates for virtual crossing number were principally no more than linear in the number of classical crossings (or, what is the same, in the number of edges of a virtual knot diagram) and no virtual knot was found with virtual crossing number greater than the classical crossing number.
We use the rational Witt class of a knot in the 3-sphere as a tool for addressing questions about its unknotting number. We apply these tools to several low crossing knots (151 knots with 11 crossing and 100 knots with 12 crossings) and to the family of n-stranded pretzel knots for various values of n>2. In many cases we obtain new lower bounds and in some cases explicit values for their unknotting numbers. Our results are mainly concerned with unknotting number one but we also address, somewhat more marginally, the case of higher unknotting numbers.
We provide criteria ensuring that a tunnel number one knot $K$ is not determined by its double branched cover, in the sense that the double branched cover is also the double branched cover of a knot $K'$ not equivalent to $K$.
A conjecture proposed by J. Tripp in 2002 states that the crossing number of any knot coincides with the canonical genus of its Whitehead double. In the meantime, it has been established that this conjecture is true for a large class of alternating knots including $(2, n)$ torus knots, $2$-bridge knots, algebraic alternating knots, and alternating pretzel knots. In this paper, we prove that the conjecture is not true for any alternating $3$-braid knot which is the connected sum of two torus knots of type $(2, m)$ and $(2, n)$. This results in a new modified conjecture that the crossing number …
For any given number of crossings $c$, there exists a formula to determine the number of 2-bridge knots of $c$ crossings, and indeed it is a simple matter to actually construct presentations of these knots. However, the determination of whether a given (prime) knot is a 2-bridge knot remains a nontrivial exercise, and we have no procedure to determine bridge numbers more generally. Herein, we identify the 2-bridge knots within the Hoste--Thistlethwaite--Weeks tables of prime knots of up to 16 crossings by an exhaustive search of a larger set of 2-bridge knots. As the unknot is the only knot wi…
Let $K$ be a tunnel number two knot. Then, by considering the $(g, b)$-decompositions, $K$ is one of (3, 0)-, (2, 1)-, (1, 2)- or (0, 3)-knots. In the present paper, we analyze the connected sum summands of composite tunnel number two knots and give a complete table of those summands from the point of view of $(g, b)$-decompositions.
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 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.
