The L-move for classical braids extends naturally to trivalent braids. We follow the L-move approach to the Markov Theorem, to prove a one-move Markov-type theorem for trivalent braids. We also reformulate this L-Move Markov theorem and prove a more algebraic Markov-type theorem for trivalent braids. Along the way, we provide a proof of the Alexander's theorem analogue for spatial trivalent graphs and trivalent braids.
We prove Alexander- and Markov-type theorems for virtual spatial trivalent graphs and virtual trivalent braids. We provide two versions for the Markov-type theorem: one uses an algebraic approach similar to the case of classical braids and the other one is based on L-moves.
We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains $λ$-Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local "sewing" transformation of trivalent locally planar graphs.
We introduce \textit{Niebrzydowski algebras}, algebraic structures with a ternary operation and a partially defined multiplication, with axioms motivated by the Reidemeister moves for $Y$-oriented trivalent spatial graphs and handlebody-links. As part of this definition, we identify generating sets of $Y$-oriented Reidemeister moves. We give some examples to demonstrate that the counting invariant can distinguish some $Y$-oriented trivalent spatial graphs and handlebody-links.
We prove that under fairly general conditions an iterated exchange move gives infinitely many non-conjugate braids. As a consequence, every knot has infinitely many conjugacy classes of n-braid representations if and only if it has one admitting an exchange move.
We show that if a link $L$ has a closed $n$-braid representative admitting non-degenerate exchange move, an exchange move that does not obviously preserve the conjugacy class, $L$ has infinitely many non-conjugate closed $n$-braid representatives.
This paper is a short introduction to and statement of the main theorems of our paper "Virtual Braids and the L-Move", JKTR, Vol. 15, No. 6 (2006), pp. 773-811. See also arxiv:Math.GT/0507035.
In this survey paper we present the $L$--moves between braids and how they can adapt and serve for establishing and proving braid equivalence theorems for various diagrammatic settings, such as for classical knots, for knots in knot complements, in c.c.o. 3--manifolds and in handlebodies, as well as for virtual knots, for flat virtuals, for welded knots and for singular knots. The $L$--moves are local and they provide a uniform ground for formulating and proving braid equivalence theorems for any diagrammatic setting where the notion of braid and diagrammatic isotopy is defined, the statements…
In this paper we prove a Markov Theorem for virtual braids and for some analogs of this structure. The virtual braid group is the natural companion in the category of virtual knots, just as the Artin braid group is the natural companion to classical knots and links. In this paper we follow the L--move methods to prove the Virtual Markov Theorem. One benefit of this approach is a fully local algebraic formulation of the Theorem.
A 2-dimensional braid over an oriented surface-knot $F$ is presented by a graph called a chart on a surface diagram of $F$. We consider 2-dimensional braids obtained by an addition of 1-handles equipped with chart loops. We introduce moves of 1-handles with chart loops, called 1-handle moves, and we investigate how much we can simplify a 2-dimensional braid by using 1-handle moves. Further, we show that an addition of 1-handles with chart loops is an unbraiding operation.
In order to obtain a Markov theorem without stabilization, Birman and Menasco introduced the notion of exchange related braids. In this paper I study the way the Fiedler polynomial distinguishes conjugacy classes of some particular braided knots. I introduce the Kauffman bracket in the solid torus. Its Taylor expansion give finite type invariants similar to the Fiedler polynomial. I investigate how these invariants distinguish exchange related braids.
This paper explores the problem of unknotting closed braids and classical knots in mathematical knot theory. We apply evolutionary computation methods to learn sequences of moves that simplify knot diagrams, and show that this can be effective both when the evolution is carried out for individual knots and when a generic sequence of moves is evolved for a set of knots.
We study b-arc foliation change and exchange move of open book foliations which generalize the corresponding operations in braid foliation theory. We also define a bypass move as an analogue of Honda's bypass attachment operation. As applications, we study how open book foliations change under a stabilization of the open book. We also generalize Birman-Menasco's split/composite braid theorem: Closed braid representatives of a split (resp. composite) link in a certain open book can be converted to a split (resp. composite) closed braid by applying exchange moves finitely many times.
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?
We introduce a monoid corresponding to knotted surfaces in four space, from its hyperbolic splitting represented by marked diagram in braid like form. It has four types of generators: two standard braid generators and two of singular type. Then we state relations on words that follows from topological Yoshikawa moves. As a direct application we will show equivalence of some known theorems about twist-spun knots. We wish then to investigate an index associated to the closure of surface singular braid monoid. Using our relations we will prove that there are exactly six types of knotted surfaces …
Two virtual link diagrams are homotopic if one may be transformed into the other by a sequence of virtual Reidemeister moves, classical Reidemeister moves, and self crossing changes. We recall the pure virtual braid group. We then describe the set of pure virtual braids that are homotopic to the identity braid.
For an oriented surface link $F$ in $\mathbb{R}^4$, we consider a satellite construction of a surface link, called a 2-dimensional braid over $F$, which is in the form of a covering over $F$. We introduce the notion of an $m$-chart on a surface diagram $π(F)\subset \mathbb{R}^3$ of $F$, which is a finite graph on $π(F)$ satisfying certain conditions and is an extended notion of an $m$-chart on a 2-disk presenting a surface braid. A 2-dimensional braid over $F$ is presented by an $m$-chart on $π(F)$. It is known that two surface links are equivalent if and only if their surface diagrams are rel…
The aim of the present note is to show that the natural map from classical braids to virtual braids is an inclusion; this proof does not use any complete invariants of classical braids; it is based on the projection from virutal braids to classical braids (similar to the one given in \cite{Projection}); this projection is the idenitiy map on the set of virtual braids. The projection is well defined not only for the virtual braid group but also for the quotient group of the virtual (pure) braid group by the so-called virtualization move. The idea of this projection is closely related to the not…
To a closed braid in a solid torus we associate a trace graph in a thickened torus in such a way that closed braids are isotopic if and only if their trace graphs can be related by trihedral and tetraherdal moves. For closed braids with a fixed number of strands, we recognize trace graphs up to isotopy and trihedral moves in polynomial time with respect to the braid length.
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…
The Markov Theorem Without Stabilization (MTWS) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isotopies that were identified and analyzed---destabilization, exchange moves and elementary braid preserving flypes. One of the critical open problems left in the wake of the MTWS is the "recognition problem"---determining when a given closed $n$-braid admits a specified move of the …
In this paper we develop a braid theoretic approach for computing the Kauffman bracket skein module of the lens spaces $L(p,q)$, KBSM($L(p,q)$), for $q\neq 0$. For doing this, we introduce a new concept, that of an {\it unoriented braid}. Unoriented braids are obtained from standard braids by ignoring the natural top-to-bottom orientation of the strands. We first define the {\it generalized Temperley-Lieb algebra of type B}, $TL_{1, n}$, which is related to the knot theory of the solid torus ST, and we obtain the universal Kauffman bracket type invariant, $V$, for knots and links in ST, via a …
University of Liverpool（利物浦大学）；University of Essex（埃塞克斯大学）
We report on our success on solving the problem of untangling braids up to length 20 and width 4. We use feed-forward neural networks in the framework of reinforcement learning to train the agent to choose Reidemeister moves to untangle braids in the minimal number of moves.
Virtual braids are a combinatorial generalization of braids. We present abstract braids as equivalence classes of braid diagrams on a surface, joining two distinguished boundary components. They are identified up to isotopy, compatibility, stability and Reidemeister moves. We show that virtual braids are in a bijective correspondence with abstract braids. Finally we demonstrate that for any abstract braid, its representative of minimal genus is unique up to compatibility and Reidemeister moves. The genus of such a representative is thus an invariant for virtual braids. We also give a complete …
In this paper we work toward the Homflypt skein module of the lens spaces $L(p,1)$, $\mathcal{S}(L(p,1))$, using braids. In particular, we establish the connection between $\mathcal{S}({\rm ST})$, the Homflypt skein module of the solid torus ST, and $\mathcal{S}(L(p,1))$ and arrive at an infinite system, whose solution corresponds to the computation of $\mathcal{S}(L(p,1))$. We start from the Lambropoulou invariant $X$ for knots and links in ST, the universal analogue of the Homflypt polynomial in ST, and a new basis, $Λ$, of $\mathcal{S}({\rm ST})$ presented in \cite{DL1}. We show that $\math…
The Markov Theorem Without Stabilization (MTWS) (see math.GT/0310279) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isotopies that were identified and analyzed--destabilization, exchange moves and elementary braid preserving flypes. One of the critical open problems left in the wake of the MTWS is the "recognition problem"--determining when a given closed n-braid admits a spec…
Khovanov and Rozansky's categorification of the HOMFLY-PT polynomial is invariant under braidlike isotopies for any link diagram and Markov moves for braid closures. To define HOMFLY-PT homology, they required a link to be presented as a braid closure, because they did not prove invariance under the other oriented Reidemeister moves. In this text we prove that the Reidemeister IIb move fails in HOMFLY-PT homology by using virtual crossing filtrations of the author and Rozansky. The decategorification of HOMFLY-PT homology for general link diagrams gives a deformed version of the HOMFLY-PT poly…
We prove that, in order to derive the HOMFLYPT skein module of the lens spaces $L(p,1)$ from the HOMFLYPT skein module of the solid torus, $\mathcal{S}({\rm ST})$, it suffices to solve an infinite system of equations obtained by imposing on the Lambropoulou invariant $X$ for knots and links in the solid torus, braid band moves that are performed only on the first moving strand of elements in a set $Λ^{aug}$, augmenting the basis $Λ$ of $\mathcal{S}({\rm ST})$.
We prove that fibred knots cannot be untied with $\bar{t}_{2k}$-moves, for all $k \geq 2$. More generally, we give an upper bound on the number of two strand twist operations that allow to untie a knot with non-trivial HOMFLY polynomial, in terms of the minimal crossing number, and the braid index. As a by-product, we prove that the braid index of a two-bridge knot cannot be lowered by applying $t_{2k}$-moves, for all but finitely many $k \in \mathbb{N}$.
Braidoids generalize the classical braids and form a counterpart theory to the theory of planar knotoids, just as the theory of braids does for the theory of knots. In this paper, we introduce basic notions of braidoids, a closure operation for braidoids, we prove an analogue of the Alexander theorem, that is, an algorithm that turns a knotoid into a braidoid, and we formulate and prove a geometric analogue of the Markov theorem for braidoids using the $L$-moves.
The recent proof by Bigelow and Krammer that the braid groups are linear opens the possibility of applications to the study of knots and links. It was proved by the first author and Menasco that any closed braid representative of the unknot can be systematically simplified to a round planar circle by a sequence of exchange moves and reducing moves. In this paper we establish connections between the faithfulness of the Krammer-Lawrence representation and the problem of recognizing when the conjugacy class of a closed braid admits an exchange move or a reducing move.
In the context of finite type invariants, Stanford introduced a family of equivalence relations on knots defined by the lower central series of the pure braid groups and characterized the finite type invariants in terms of the structure of the braid groups. It is known that this equivalence and Ohyama's equivalence defined by a local move are equivalent. On the other hand, in the virtual knot theory, the concept of Ohyama's equivalence was extended by Goussarov-Polyak-Viro, which called an $n$-equivalence. In this paper we extend Stanford's equivalence to virtual knots and virtual string links…
Delta finite-type invariants are defined analogously to finite-type invariants, using delta moves instead of crossing changes. We show that they are closely related to the lower central series of the commutator subgroup of the pure braid group.
Alexander's and Markov's theorems state that any link type in $R^3$ is represented by a closed braid and that such representations are related by some elementary operations called Markov moves. We generalize the notion of a braid to that in 4-dimensional space and establish an analogue of these theorems.
Let $B_n$ denote the classical braid group on $n$ strands and let the {\em mixed braid group} $B_{m,n}$ be the subgroup of $B_{m+n}$ comprising braids for which the first $m$ strands form the identity braid. Let $B_{m,\infty}=\cup_nB_{m,n}$. We will describe explicit algebraic moves on $B_{m,\infty}$ such that equivalence classes under these moves classify oriented links up to isotopy in a link complement or in a closed, connected, oriented 3--manifold. The moves depend on a fixed link representing the manifold in $S^3$. More precisely, for link complements the moves are: the two familiar move…
We consider oriented knots and links in a handlebody of genus $g$ through appropriate braid representatives in $S^3$, which are elements of the braid groups $B_{g,n}$. We prove a geometric version of the Markov theorem for braid equivalence in the handlebody, which is based on the $L$-moves. Using this we then prove two algebraic versions of the Markov theorem. The first one uses the $L$-moves. The second one uses the Markov moves and conjugation in the groups $B_{g,n}$. We show that not all conjugations correspond to isotopies.
To an oriented link in a solid torus we associate a trace graph in a thickened torus in such a way that links are isotopic if and only if their trace graphs can be related by moves of finitely many standard types. The key ingredient is a study of codimension~2 singularities of link diagrams. For closed braids with a fixed number of strands, trace graphs can be recognized up to equivalence excluding one type of moves in polynomial time with respect to the braid length.
We suggest a method of computing volume for a simple polytope $P$ in three-dimensional hyperbolic space $\mathbb{H}^3$. This method combines the combinatorial reduction of $P$ as a trivalent graph $Γ$ (the $1$-skeleton of $P$) by $I-H$, or Whitehead, moves (together with shrinking of triangular faces) aligned with its geometric splitting into generalised tetrahedra. With each decomposition (under some conditions) we associate a potential function $Φ$ such that the volume of $P$ can be expressed through a critical values of $Φ$. The results of our numeric experiments with this method suggest th…
The spaces of triangulations of a given manifold have been widely studied. The celebrated theorem of Pachner~\cite{Pachner} says that any two triangulations of a given manifold can be connected by a sequence of bistellar moves, or Pachner moves, see also~\cite{GKZ,Nabutovsky}. In the present paper we consider groups which naturally appear when considering the set of triangulations with fixed number of simplices of maximal dimension. There are three ways of introducing this groups: the geometrical one, which depends on the metric, the topological one, and the combinatorial one. The second one c…
In this paper we first give a one-move version of Markov's braid theorem for knot isotopy in $S^3$ that sharpens the classical theorem. Then a relative version of Markov's theorem concerning a fixed braided portion in the knot. We also prove an analogue of Markov's theorem for knot isotopy in knot complements. Finally we extend this last result to prove a Markov theorem for links in an arbitrary orientable 3--manifold.
This article deals with equivalence of links in 3-manifolds of Heegaard genus 2. Starting from a description of such a manifold introduced by Casali et al., that uses 6-tuples of integers and determines a Heegaard decomposition of the manifold, we construct an algorithm (implemented in c++) which allows to find the words in $B_{2, 2n}$, the braid group on 2n strands of a surface of genus 2, that realizes the plat-equivalence for links in that manifold. In this way we extend to the case of genus 2 the result obtained by Cattabriga et al. for genus 1 manifolds. We describe explicitly the words f…
The dual to a tetrahedron consists of a single vertex at which four edges and six faces are incident. Along each edge, three faces converge. A 2-foam is a compact topological space such that each point has a neighborhood homeomorphic to a neighborhood of that complex. Knotted foams in 4-dimensional space are to knotted surfaces, as knotted trivalent graphs are to classical knots. The diagram of a knotted foam consists of a generic projection into 4-space with crossing information indicated via a broken surface. In this paper, a finite set of moves to foams are presented that are analogous to t…
A knot type is exchange reducible if an arbitrary closed n-braid representative can be changed to a closed braid of minimum braid index by a finite sequence of braid isotopies, exchange moves and +/- destabilizations. In the manuscript [J Birman and NC Wrinkle, On transversally simple knots, preprint (1999)] a transversal knot in the standard contact structure for S^3 is defined to be transversally simple if it is characterized up to transversal isotopy by its topological knot type and its self-linking number. Theorem 2 of Birman and Wrinkle [op cit] establishes that exchange reducibility impl…
We introduce a new braid-theoretic framework with which to understand the Legendrian and transversal classification of knots, namely a Legendrian Markov Theorem without Stabilization which induces an associated transversal Markov Theorem without Stabilization. We establish the existence of a nontrivial knot-type specific Legendrian and transversal MTWS by enhancing the Legendrian mountain range for the (2,3)-cable of a (2,3)-torus knot provided by Etnyre and Honda, and showing that elementary negative flypes allow us to move toward maximal tb value without having to use Legendrian stabilizatio…
We study generalizations of finite-type knot invariants obtained by replacing the crossing change in the Vassiliev skein relation by some other local move, analyzing in detail the band-pass and doubled-delta moves. Using braid-theoretic techniques, we show that, for a large class of local moves, generalized Goussarov's n-equivalence classes of knots form groups under connected sum. (Similar results, but with a different approach, have been obtained before by Taniyama and Yasuhara.) It turns out that primitive band-pass finite-type invariants essentially coincide with standard primitive finite-…
