Knots in Euclidean space which may be parameterized by a single cosine function in each coordinate are called Lissajous knots. We show that twist knots are Lissajous knots if and only if their Arf invariants are zero. We further prove that all 2-bridge knots and all (3,q)-torus knots have Lissajous projections.
A Lissajous knot is one that can be parameterized by a single cosine function in each coordinate. Lissajous knots are highly symmetric, and for this reason, not all knots are Lissajous. We prove several theorems which allow us to place bounds on the number of Lissajous knot types with given frequencies and to efficiently sample all possible Lissajous knots with a given set of frequencies. In particular, we systematically tabulate all Lissajous knots with small frequencies and as a result substantially enlarge the tables of known Lissajous knots. A Fourier (i, j, k) knot is similar to a Lissajo…
A point in the $(N,q)$-torus knot in $\mathbb{R}^3$ goes $q$ times along a vertical circle while this circle rotates $N$ times around the vertical axis. In the Lissajous-toric knot $K(N,q,p)$, the point goes along a vertical Lissajous curve (parametrized by $t\mapsto(\sin(qt+ϕ),\cos(pt+ψ)))$ while this curve rotates $N$ times around the vertical axis. Such a knot has a natural braid representation $B_{N,q,p}$ which we investigate here. If $gcd(q,p)=1$, $K(N,q,p)$ is ribbon; if $gcd(q,p)=d>1$, $B_{N,q,p}$ is the $d$-th power of a braid which closes in a ribbon knot. We give an upper bound for t…
Knots parametrized in cylinder coordinates by t -> (st, 3 + cos(nt), cos(mt + ϕ)) share properties of Lissajous and billiard knots in a cylinder. We use these 'billiard knots in a flat solid torus' to study two topics: when is Z(s,n,m) equal to Z(s,m,n)? And: why are the determinants of certain Lissajous and billiard knots in a cylinder equal?
A Chebyshev knot is a knot which admits a parametrization of the form $ x(t)=T_a(t); \ y(t)=T_b(t) ; \ z(t)= T_c(t + ϕ), $ where $a,b,c$ are pairwise coprime, $T_n(t)$ is the Chebyshev polynomial of degree $n,$ and $ϕ\in \RR .$ Chebyshev knots are non compact analogues of the classical Lissajous knots. We show that there are infinitely many Chebyshev knots with $ϕ= 0.$ We also show that every knot is a Chebyshev knot.
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 in…
We give the bridge indices for 11-crossing prime knots and give a minimal bridge projection for each of these knots. The results on the indices may be easily summarized: all of these knots that are not rational knots or Montesinos knots have bridge index three.
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.
In this paper we propose {\it a region choice problem} for a knot projection. This problem is an integral extension of Shimizu's 'region crossing change unknotting operation.' We show that there exists a solution of the region choice problem for all knot projections.
An increasing sequence of integers is said to be universal for knots if every knot has a reduced regular projection on the sphere such that the number of edges of each complementary face of the projection comes from the given sequence. Adams, Shinjo, and Tanaka have, in a work, shown that (2,4,5) and (3,4,n) (where n is a positive integer greater than 4), among others, are universal. In a forthcoming paper, Adams introduces the notion of a multi-crossing projection of a knot. An n-crossing projection} is a projection of a knot in which each crossing has n strands, rather than 2 strands as in a…
In this short article I introduce the knotR package, which creates two dimensional knot diagrams optimized for visual appearance using the R programming language. The knotR package is a systematic R-centric suite of software for the creation of production-quality artwork of knot diagrams, released under GPL2.
The warping degree of an oriented knot diagram is the minimal number of crossings which we meet as an under-crossing first when we travel along the diagram from a fixed point. The warping degree of a knot projection is the minimal value of the warping degree for all oriented alternating diagrams obtained from the knot projection. In this paper, we consider the maximal number of regions which share no crossings for a knot projection with a fixed crossing, and give lower bounds for the warping degree.
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 …
We show that any nontrivial reduced knot projection can be obtained from a trefoil projection by a finite sequence of half-twisted splice operations and their inverses such that the result of each step in the sequence is reduced.
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 am…
Introduced recently, an n-crossing is a singular point in a projection of a link at which n strands cross such that each strand travels straight through the crossing. We introduce the notion of an übercrossing projection, a knot projection with a single n-crossing. Such a projection is necessarily composed of a collection of loops emanating from the crossing. We prove the surprising fact that all knots have a special type of übercrossing projection, which we call a petal projection, in which no loops contain any others. The rigidity of this form allows all the information about the knot to be …
This paper is devoted to prove the existence of $q$-periodic alternating projections of prime alternating $q$-periodic knots. The main tool is the Menasco-Thistlethwaite's Flyping theorem. Let $K$ be an oriented prime alternating knot that is $q$-periodic with $q\geq 3$, i.e. $K$ admits a symmetry that is a rotation of order $q$. Then $K$ has an alternating $q$-periodic projection. As applications, we obtain the crossing number of a $q$ -periodic alternating knot with $q\geq 3$ is a multiple of $q$ and we give an elementary proof that the knot $12_{a634} $ is not 3-periodic; this proof does no…
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 t…
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…
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).
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.
A petal projection of a knot $K$ is a projection of a knot which consists of a single multi-crossing and non-nested loops. Since a petal projection gives a sequence of natural numbers for a given knot, the petal projection is a useful model to study knot theory. It is known that every knot has a petal projection. A petal number $p(K)$ is the minimum number of loops required to represent the knot $K$ as a petal projection. In this paper, we find the relation between a superbridge index and a petal number of an arbitrary knot. By using this relation, we find the petal number of $T_{r,s}$ as foll…
Let n be aninteger>4. There is a smoothly knotted n-dimensional sphere in (n+2)-space such that the singular point set of its projection in (n+1)-space consists of double points and that the components of the singular point set are two. (The sphere is knotted in the sense that it does not bound any embedded (n+1)-ball in (n+2)-space.) Furthermore, the projection is not the projection of any unknotted sphere in the (n+2)-space. There are two inequivalent embeddings of an n-manifold in the (n+2)-space such that the projection of one of these in (n+1)-space has no double points and the projection…
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, the…
A quadruple crossing is a crossing in a projection of a knot or link that has four strands of the knot passing straight through it. A quadruple crossing projection is a projection such that all of the crossings are quadruple crossings. In a previous paper, it was proved that every knot and link has a quadruple crossing projection and hence, every knot has a minimal quadruple crossing number. In this paper, we investigate quadruple crossing number, and in particular, use the span of the bracket polynomial to determine quadruple crossing number for a variety of knots and links.
A triple crossing is a crossing in a projection of a knot or link that has three strands of the knot passing straight through it. A triple crossing projection is a projection such that all of the crossings are triple crossings. We prove that every knot and link has a triple crossing projection and then investigate c_3(K), which is the minimum number of triple crossings in a projection of K. We obtain upper and lower bounds on c_3(K) in terms of the traditional crossing number and show that both are realized. We also relate triple crossing number to the span of the bracket polynomial and use th…
An increasing sequence of integers is said to be universal for knots and links if every knot and link has a projection to the sphere such that the number of edges of each complementary face of the projection comes from the given sequence. This paper is an investigation into which sequences, either finite or infinite, are universal. We also consider how to minimize the number of odd-sided faces for projections of knots and links with n components.
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 emb…
We give a simple example showing that a knot or link diagram that lies in the ${\mathbb{Z}}^2$ lattice is not necessarily the projection of a lattice stick knot or link in the ${\mathbb{Z}}^3$ lattice, and we give a necessary and sufficient condition for when a knot or link diagram that lies in the ${\mathbb{Z}}^2$ lattice is in fact the projection of a lattice stick knot or link.
In our works with Stoimenow, Vdovina and with Byberi, we introduced the virtual canonical genus $g_{vc}(K)$ and the virtual bridge number $vb(K)$ invariants of virtual knots. One can see from the definitions that for an classical knot $K$ the values of these invariants are less or equal than the classical canonical genus $g_c(K)$ and the bridge number $b(K)$ respectively. We use Manturov's projection from the category of virtual knot diagrams to the category of classical knot diagrams, to show that for every classical knot type $K$ we have $g_{vc}(K)=g_c(K)$ and $vb(K)=b(K)$.
An $n$-crossing is a point in the projection of a knot where $n$ strands cross so that each strand bisects the crossing. An übercrossing projection has a single $n$-crossing and a petal projection has a single $n$-crossing such that there are no loops nested within others. The übercrossing number, $\text{ü}(K)$, is the smallest $n$ for which we can represent a knot $K$ with a single $n$-crossing. The petal number is the number of loops in the minimal petal projection. In this paper, we relate the übercrossing number and petal number to well-known invariants such as crossing number, bridge numb…
A knot k is called ``strongly (n-1)-trivial.'' if there exists a projection of k, such that one can choose n crossings of the projection with the property that making the crossing changes corresponding to any of the $2^{n}-1$ nontrivial combinations of the selected crossings turns the original knot into the unknot. We prove that given any non-trivial knot k of genus g, k fails to be strongly n-trivial for all $n, n \geq 3g-1$.
We study the geometry of hyperbolic knots that admit alternating projections on embedded surfaces in closed 3-manifolds. We show that, under mild hypothesis, their cusp area admits two sided bounds in terms of the twist number of the alternating projection and the genus of the projection surface. As a result, we derive diagrammatic estimates of slope lengths and give applications to Dehn surgery. These generalize results of Lackenby and Purcell about alternating knots in the 3-sphere. Using a result of Kalfagianni and Purcell, we point out that alternating knots on surfaces of higher genus, ca…
We study surface knots in 4-space by using generic planar projections. These projections have fold points and cusps as their singularities and the image of the singular point set divides the plane into several regions. The width (or the total width) of a surface knot is a numerical invariant related to the number of points in the inverse image of a point in each of the regions. We determine the widths of certain surface knots and characterize those surface knots with small total widths. Relation to the surface braid index is also studied.
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…
A knot $K$ in $S^3$ is $q$-periodic if it admits a symmetry that is conjugate to a rotation of order $q$ of $S^3$. If $K$ admits a symmetry which is a homeomorphism without fixed point of period $q$ of $S^3$, then $K$ is called freely $q$-periodic. In a previous paper, we obtained, as a consequence of Flyping Theorem due to Menasco and Thislethwaite, that the $q$-periodicity with $q>2$ can be visualized in an alternating projection as a rotation of the projection sphere. In this paper, we show that the free $q$-action of an alternating knot can be represented on some alternating projection as …
This article is devoted to the study of prime alternating +achiral knots. In the case of arborescent knots, we prove in +AAA Visibility Theorem 5.1, that the symmetry is visible on a certain projection (not necessarily minimal) and that it is realised by a homeomorphism of order 4. In the general case (arborescent or not), if the prime alternating knot has no minimal projection on which +achirality is visible, we prove that the order of +achirality is necessarily equal to 4.
A knot K is called n-adjacent to the unknot, if K admits a projection containing n generalized crossings such that changing any m (no larger than n) of them yields a projection of the unknot. We show that a non-trivial satellite knot K is n-adjacent to the unknot, for some n>0, if and only if it is n-adjacent to the unknot in any companion solid torus. In particular, every model knot of K is n-adjacent to the unknot. Along the way of proving these results, we also show that 2-bridge knots of the form K_{p/q}, where p/q=[2q_1,2q_2] for some integers q_1,q_2, are precisely those knots that have …
Let n be any integer greater than two. We prove that there exists a projection P having the following properties. (1) P is not the projection of any unknotted knot. (2) The singular point set of P consists of double points. (3) P is the projection of an n-knot which is diffeomorphic to the standard sphere. We prove there exists an immersed n-sphere (in R^{n+1}\times{0}) which is not the projection of any n-knot (n>2). Note that the second theorem is different from the first one.
A generic immersion of a planar graph into the 2-space is said to be knotted if there does not exist a trivial embedding of the graph into the 3-space obtained by lifting the immersion with respect to the natural projection from the 3-space to the 2-space. In this paper we show that if a generic immersion of a planar graph is knotted then the number of double points of the immersion is more than or equal to three. To prove this, we also show that an embedding of a graph obtained from a generic immersion of the graph (does not need to be planar) with at most three double points is totally free …
We study the variation of the Tait number of a closed space curve according to its different projections. The results are used to compute the writhe of a knot, leading to a closed formula in case of polygonal curves.
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.
Weaving knots are alternating knots with the same projection as torus knots, and were conjectured by X.-S. Lin to be among the maximum volume knots for fixed crossing number. We provide the first asymptotically correct volume bounds for weaving knots, and we prove that the infinite weave is their geometric limit.
We explore free knot diagrams, which are projections of knots into the plane which don't record over/under data at crossings. We consider the combinatorial question of which free knot diagrams give which knots and with what probability. Every free knot diagram is proven to produce trefoil knots, and certain simple families of free knots are completely worked out. We make some conjectures (supported by computer-generated data) about bounds on the probability of a knot arising from a fixed free diagram being the unknot, or being the trefoil.
An $n$-crossing projection of a link $L$ is a projection of $L$ onto a plane such that $n$ points on $L$ are superimposed on top of each other at every crossing. We prove that for all $k \in \mathbb{N}$ and all links $L$, the inequality $$c_{2k+1}(L) \geq \frac{2g(L) + r(L)-1}{k^2}$$ holds, where $c_{2k+1}(L)$, $g(L)$, and $r(L)$ are the $(2k+1)$-crossing number, $3$-genus, and number of components of $L$ respectively. This result is used to prove a new bound on the odd crossing numbers of torus knots and generalizes a result of Jablonowski. We also prove a new upper bound on the $5$-crossing …
A knot K is called n-adjacent to another knot K', if K admits a projection containing n generalized crossings such that changing any 0 < m \leq n of them yields a projection of K'. We apply techniques from the theory of sutured 3-manifolds, Dehn surgery and the theory of geometric structures of 3-manifolds to answer the question of the extent to which non-isotopic knots can be adjacent to each other. A consequence of our main result is that if K is n-adjacent to K' for all n, then K and K' are isotopic. This provides a partial verification of the conjecture of V. Vassiliev that the finite type…
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 calculate the bridge distance for $m$-bridge knots/links in the $3$-sphere with sufficiently complicated $2m$-plat projections. In particular we show that if the underlying braid of the plat has $n - 1$ rows of twists and all its exponents have absolute value greater than or equal to three then the distance of the bridge sphere is exactly $\lceil n/(2(m - 2)) \rceil$, where $\lceil x \rceil$ is the smallest integer greater than or equal to $x$. As a corollary, we conclude that if such a diagram has more than $4m(m-2)$ rows then the bridge sphere defining the plat projection is the unique mi…
The warping matrix has been defined for knot projections and knot diagrams by using warping degrees. In particular, the warping matrix of a knot diagram represents the knot diagram uniquely. In this paper we show that the rank of the warping matrix is one greater than the crossing number. We also discuss the linearly independence of knot diagrams by considering the warping incidence matrix.
An axis of a link projection is a closed curve which lies symmetrically on each region of the link projection. In this paper we define axis systems of link projections and characterize axis systems of the standard projections of twist knots.
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 b…
The singularity set of a generic standard projection to the three space of a closed surface linked in four space, consists of at most three types: double points, triple points or branch points. We say that this generic projection image is p-diagram if it does not contain any triple point. Two p-diagrams of equivalent surface links are called p-equivalent if there exists a finite sequence of local moves, such that each of them is one of the four moves taken from the seven on the well known Roseman list, that connects only p-diagrams. It is natural to ask: are any of two p-diagrams of equivalent…
Every knot has a plat projection, obtained by closing up a braid with bridges. The plat projection is determined by the number of strands and the number of rows of twist regions in the braid, and an integer number of crossings in each twist region. In recent work, we showed that under certain restrictions, including that the number of rows is odd, a minimal width plat projection is unique. In this paper we extend the results to even plats. Using new arguments, we show that if each of their twist regions contains at least three crossings, and their length is sufficiently long with respect to th…
We study the set of Crowell states for alternating knot projections and show that for prime alternating knots the space of states for a reduced projection is connected, a result similar to that for Kauffman states. As an application we give a new proof of a result of Ozsvath and Szabo characterizing (2,2n+1) torus knots among alternating knots.
Given a link projection $P$ and a link $L$, it is natural to ask whether it is possible that $P$ is a projection of $L$. Taniyama answered this question for the cases in which $L$ is a prime knot or link with crossing number at most five. Recently, Takimura settled the issue for the knot $6_2$. We answer this question for the case in which $L$ is the link $L6n1$.