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.
In this paper we study the theory of knotoids and braidoids and the theory of pseudo knotoids and pseudo braidoids on the torus T. In particular, we introduce the notion of {\it mixed knotoids} in $S^2$, that generalize the notion of mixed links in $S^3$, and we present an isotopy theorem for mixed knotoids. We then generalize the Kauffman bracket polynomial, $<;>$, for mixed knotoids and we present a state sum formula for $<;>$. We also introduce the notion of {\it mixed pseudo knotoids}, that is, multi-knotoids on two components with some missing crossing information. More precisely, we pres…
In 2010, Turaev introduced knotoids as a variation on knots that replaces the embedding of a circle with the embedding of a closed interval with two endpoints. A variety of knot invariants have been extended to knotoids. Here we provide definitions of hyperbolicity for both spherical and planar knotoids. We prove that the product of hyperbolic spherical knotoids is hyperbolic and the volumes add. We also determine the least volume of a rational spherical knotoid and provide various classes of hyperbolic knotoids. We also include tables of hyperbolic volumes for both spherical and planar knotoi…
Knotoids were introduced by V. Turaev as open-ended knot-type diagrams that generalize knots. Turaev defined a two-variable polynomial invariant of knotoids which encompasses a generalization of the Jones knot polynomial to knotoids. We define a triply-graded homological invariant of knotoids categorifying the Turaev polynomial, called winding homology. Forgetting one of the three gradings gives a generalization of the Khovanov knot homology to knotoids.
We extend the theory of Vassiliev (or finite type) invariants for knots to knotoids using two different approaches. Firstly, we take closures on knotoids to obtain knots and we use the Vassiliev invariants for knots, proving that these are knotoid isotopy invariant. Secondly, we define finite type invariants directly on knotoids, by extending knotoid invariants to singular knotoid invariants via the Vassiliev skein relation. Then, for spherical knotoids we show that there are non-trivial type-1 invariants, in contrast with classical knot theory where type-1 invariants vanish. We give a complet…
To each rail knotoid we associate two unoriented knots along with their oriented counterparts, thus deriving invariants for rail knotoids based on these associations. We then translate them to invariants of rail isotopy for rail arcs.
We consider an analogue of well-known Casson knot invariant for knotoids. We start with a direct analogue of the classical construction which gives two different integer-valued knotoid invariants and then focus on its homology extension. Value of the extension is a formal sum of subgroups of the first homology group $H_1(Σ)$ where $Σ$ is an oriented surface with (maybe) non-empty boundary in which knotoid diagrams lie. To make the extension informative for spherical knotoids it is sufficient to transform an initial knotoid diagram in $S^2$ into a knotoid diagram in the annulus by removing smal…
By using double branched covers, we prove that there is a 1-1 correspondence between the set of knotoids in the 2-sphere, up to orientation reversion and rotation, and knots with a strong inversion, up to conjugacy. This correspondence allows us to study knotoids through tools and invariants coming from knot theory. In particular, concepts from geometrisation generalise to knotoids, allowing us to characterise invertibility and other properties in the hyperbolic case. Moreover, with our construction we are able to detect both the trivial knotoid in the 2-sphere and the trivial planar knotoid.
This paper investigates the parity concept in knotoids in $S^2$ and in $\mathbb{R}^2$ in relation with virtual knots. We show that the virtual closure map is not surjective and give specific examples of virtual knots that are not in the image. We introduce a planar version of the parity bracket polynomial for knotoids in $\mathbb{R}^2$. By using the Nikonov/Manturov theorem on minimal diagrams of virtual knots we prove a conjecture of Turaev showing that minimal diagrams of knot-type knotoids have zero height.
The height of a knotoid is a measure of how far it is from being a knot. Here we define the positive and negative parts of the height, and we prove that they determine the unsigned height. Some polynomial invariants provide lower bounds for the signed heights. We also study a set of sequences associated to a knotoid.
In this paper, we construct quantum invariants for knotoid diagrams in $\mathbb{R}^2$. The diagrams are arranged with respect to a given direction in the plane ({\it Morse knotoids}). A Morse knotoid diagram can be decomposed into basic elementary diagrams each of which is associated to a matrix that yields solutions of the quantum Yang-Baxter equation. We recover the bracket polynomial, and define the rotational bracket polynomial, the binary bracket polynomial, the Alexander polynomial, the generalized Alexander polynomial and an infinity of specializations of the Homflypt polynomial for Mor…
Dalian University of Technology（大连理工大学）；Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences（俄罗斯科学院西伯利亚分院索博列夫数学研究所）
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…
This paper is a survey on the theory of knotoids and braidoids. Knotoids are open ended knot diagrams in surfaces and braidoids are geometric objects analogous to classical braids, forming a counterpart theory to the theory of knotoids in the plane. We survey through the fundamental notions and existing works on these objects as well as their applications in the study of proteins.
We work on the notions of rail arcs and rail isotopy in $\mathbb{R}^3$, and we introduce the notions of rail knotoid diagrams and their equivalence. Our main result is that two rail arcs in $\mathbb{R}^3$ are rail isotopic if and only if their knotoid diagram projections onto the plane of the two lines which we call rails, are equivalent. We also make a connection between the rail isotopy in $\mathbb{R}^3$ and the knot theory of the handlebody of genus $2$.
In this paper we study the theory of {\it pseudo knots}, which are knots with some missing crossing information, and we introduce and study the theory of {\it pseudo tied links} and the theory of {\it pseudo knotoids}. In particular, we first present a braiding algorithm for pseudo knots and we then introduce the $L$-moves in that setting, with the use of which we formulate a sharpened version of the analogue of the Markov theorem for pseudo braids. Then we introduce and study the theory of {\it tied pseudo links}, that generalize the notion of tied links, and we exploit the relation between t…
We modify the definition of spherical knotoids to include a framing, in analogy to framed knots, and define a further modification that includes a secondary 'coframing' to obtain 'biframed' knotoids. We exhibit topological spaces whose ambient isotopy classes are in one-to-one correspondence with framed and biframed knotoids respectively. We then show how framed and biframed knotoids allow us to generalize quantum knot invariants to a knotoid setting, leading to the construction of general Reshetikhin-Turaev type biframed knotoid invariants.
Two-variable Parity Polynomial for Virtual Knotoids
Dalian University of Technology（大连理工大学）；Dalian Polytechnic University（大连工业大学）；Beijing Institute of Mathematical Sciences and Applications（北京应用数学与计算科学研究所）；Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences（俄罗斯科学院西伯利亚分院索博列夫数学研究所）；Tomsk State University（托木斯克国立大学）
We study here global and local entanglements of open protein chains by implementing the concept of knotoids. Knotoids have been introduced in 2012 by Vladimir Turaev as a generalization of knots in 3-dimensional space. More precisely, knotoids are diagrams representing projections of open curves in 3D space, in contrast to knot diagrams which represent projections of closed curves in 3D space. The intrinsic difference with classical knot theory is that the generalization provided by knotoids admits non-trivial topological entanglement of the open curves provided that their geometry is frozen a…
The backbone of most proteins forms an open curve. To study their entanglement, a common strategy consists in searching for the presence of knots in their backbones using topological invariants. However, this approach requires to close the curve into a loop, which alters the geometry of curve. Knoto-ID allows evaluating the entanglement of open curves without the need to close them, using the recent concept of knotoids which is a generalization of the classical knot theory to open curves. Knoto-ID can analyse the global topology of the full chain as well as the local topology by exhaustively s…
The presence of slipknots in configurations of proteins and DNA has been shown to affect their functionality, or alter it entirely. Historically, polymers are modeled as polygonal chains in space. As an alternative to space curves, we provide a framework for working with subknots inside of knot diagrams via knotoid diagrams. We prove using a pattern theorem for knot diagrams that not only are almost all knot diagrams slipknotted, almost all unknot diagrams are slipknotted. This proves in the random diagram model a conjecture yet unproven in random space curve models. We also discuss conjecture…
For a knot diagram we introduce an operation which does not increase the genus of the diagram and does not change its representing knot type. We also describe a condition for this operation to certainly decrease the genus. The proof involves the study of a relation between the genus of a virtual knot diagram and the genus of a knotoid diagram, the former of which has been introduced by Stoimenow, Tchernov and Vdovina, and the latter by Turaev recently. Our operation has a simple interpretation in terms of Gauss codes and hence can easily be computer-implemented.
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…
It is known that a knot complement can be decomposed into ideal octahedra along a knot diagram. A solution to the gluing equations applied to this decomposition gives a pseudo-developing map of the knot complement, which will be called a pseudo-hyperbolic structure. In this paper, we study these in terms of segment and region variables which are motivated by the volume conjecture so that we can compute complex volumes of all the boundary parabolic representations explicitly. We investigate the octahedral developing and holonomy representation carefully, and obtain a concrete formula of Wirting…
The stick number of a knot is the minimum number of segments needed to build a polygonal version of the knot. Despite its elementary definition and relevance to physical knots, the stick number is poorly understood: for most knots we only know bounds on the stick number. We adopt a Monte Carlo approach to finding better bounds, producing very large ensembles of random polygons in tight confinement to look for new examples of knots constructed from few segments. We generated a total of 220 billion random polygons, yielding either the exact stick number or an improved upper bound for more than 4…
Rectangular diagrams of links are link diagrams in the plane ${\mathbb R}^2$ such that they are composed of vertical line segments and horizontal line segments and vertical segments go over horizontal segments at all crossings. P. R. Cromwell and I. A. Dynnikov showed that rectangular diagrams of links are useful for deciding whether a given link is split or not, and whether a given knot is trivial or not. We show in this paper that an oriented link diagram $D$ with $c(D)$ crossings and $s(D)$ Seifert circles can be deformed by an ambient isotopy of ${\mathbb R}^2$ into a rectangular diagram w…
Proteins are linear molecular chains that often fold to function. The topology of folding is widely believed to define its properties and function, and knot theory has been applied to study protein structure and its implications. More that 97% of proteins are, however, classified as unknots when intra-chain interactions are ignored. This raises the question as to whether knot theory can be extended to include intra-chain interactions and thus be able to categorize topology of the proteins that are otherwise classified as unknotted. Here, we develop knot theory for folded linear molecular chain…
