We define a measure of "complexity" of a braid which is natural with respect to both an algebraic and a geometric point of view. Algebraically, we modify the standard notion of the length of a braid by introducing generators $Δ\_{ij}$, which are Garside-like half-twists involving strings $i$ through $j$, and by counting powered generators $Δ\_{ij}^k$ as $\log(|k|+1)$ instead of simply $|k|$. The geometrical complexity is some natural measure of the amount of distortion of the $n$ times punctured disk caused by a homeomorphism. Our main result is that the two notions of complexity are comparable. This gives rise to a new combinatorial model for the Teichmueller space of an $n+1$ times punctured sphere. We also show how to recover a braid from its curve diagram in polynomial time. The key rôle in the proofs is played by a technique introduced by Agol, Hass, and Thurston.
We show that any two elements of the pure braid group either commute or generate a free group, settling a question of Luis Paris. Our proof involves the theory of 3-manifolds and the theory of group actions on trees.
According to the Tits conjecture proved by Crisp and Paris, [CP], the subgroups of the braid group generated by proper powers of the Artin elements are presented by the commutators of generators which are powers of commuting elements. Hence they are naturally presented as right-angled Artin groups. The case of subgroups generated by powers of the band generators is more involved. We show that the groups are right-angled Artin groups again, if all generators are proper powers with exponent at least 3. We also give a presentation in cases at the other extreme, when all generators occur with expo…
We determine a set of generators for the Brunnian braids on a general surface $M$ for $M\not=S^2$ or $\RP^2$. For the case $M=S^2$ or $\RP^2$, a set of generators for the Brunnian braids on $M$ is given by our generating set together with the homotopy groups of a 2-sphere.
We study the centralizer of a braid from the point of view of Garside theory, showing that generically a minimal set of generators can be computed very efficiently, as the ultra summit set of a generic braid has a very particular structure. We present an algorithm to compute the centralizer of a braid whose generic-case complexity is quadratic on the length of the input, and which outputs a minimal set of generators in the generic case.
In the paper we give a survey of rather new notions and results which generalize classical ones in the theory of braids. Among such notions are various inverse monoids of partial braids. We also observe presentations different from standard Artin presentation for generalizations of braids. Namely, we consider presentations with small number of generators, Sergiescu graph-presentations and Birman-Ko-Lee presentation. The work of V.V.Chaynikov on the word and conjugacy problems for the singular braid monoid in Birman-Ko-Lee generators is described as well.
We give generators for a certain complex hyperbolic braid group. That is, we remove a hyperplane arrangement from complex hyperbolic $13$-space, take the quotient of the remaining space by a discrete group, and find generators for the orbifold fundamental group of the quotient. These generators have the most natural form: loops corresponding to the hyperplanes which come nearest the basepoint. Our results support the conjecture that motivated this study, the "monstrous proposal", which posits a relationship between this braid group and the monster finite simple group.
We study the problem of finding generators for the fundamental group G of a space of the following sort: one removes a family of complex hyperplanes from n dimensional complex vector space, or n dimensional complex hyperbolic space, or the Hermitian symmetric space for O(2,n), and then takes the quotient by a discrete group $PΓ$. The classical example is the braid group, but there are many similar "braid-like" groups that arise in topology and algebraic geometry. Our main result is that if $PΓ$ contains reflections in the hyperplanes nearest the basepoint, and these reflections satisfy a certa…
Let $SB_n$ be the singular braid group generated by braid generators $σ_i$ and singular braid generators $τ_i$, $1 \leq i \leq n-1$. Let $ST_n$ denote the group that is the kernel of the homomorphism that maps, for each $i$, $σ_i$ to the cyclic permutation $(i, i+1)$ and $τ_i$ to $1$. In this paper we investigate the group $ST_3$. We obtain a presentation for $ST_3$. We prove that $ST_3$ is isomorphic to the singular pure braid group $SP_3$ on $3$ strands. We also prove that the group $ST_3$ is semi-direct product of a subgroup $H$ and an infinite cyclic group, where the subgroup $H$ is an HNN…
Let B_n be the Artin braid group on n strings with standard generators sigma_1, ..., sigma_{n-1}, and let SB_n be the singular braid monoid with generators sigma_1^{+-1}, ..., sigma_{n-1}^{+-1}, tau_1, ..., tau_{n-1}. The desingularization map is the multiplicative homomorphism eta: SB_n --> Z[B_n] defined by eta(sigma_i^{+-1}) =_i^{+-1} and eta(tau_i) = sigma_i - sigma_i^{-1}, for 1 <= i <= n-1. The purpose of the present paper is to prove Birman's conjecture, namely, that the desingularization map eta is injective.
We show that for any given n, there exists a sequence of words a_k in the generators sigma_1, ... sigma_{n-1} of the braid group B_n, representing the identity element of B_n, such that the number of braid relations of the form sigma_i sigma_{i+1} sigma_i = sigma_{i+1} sigma_i sigma_{i+1} needed to pass from a_k to the empty word is quadratic with respect to the length of a_k.
We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids.
In the present paper, we construct a monomorphism from (Artin) pure braid group $PB_{n}$ into a group, which is `bigger' than $PB_{n}$. Roughly speaking, this mapping is defined on words of braids by adding `new generators' between generators of $PB_{n}$. By this mapping we can get a new invariant for classical braids. As one of application of this invariant, we will show examples, which are minimal words in $PB_{n}$ and the minimality can be shown by the invariant.
Virtual singular braids are generalizations of singular braids and virtual braids. We define the virtual singular braid monoid via generators and relations, and prove Alexander- and Markov-type theorems for virtual singular links. We also show that the virtual singular braid monoid has another presentation with fewer generators.
We give a solution to the word problem for the singular braid monoid SB_n. The complexity of the algorithm is quadratic in the product of the word length and the number of the singular generators in the word. Furthermore we algebraically reprove a result of Fenn, Keyman and Rourke that the monoid embeds into a group and we compute the cohomological dimension of this group.
The language of maximal lexicographic representatives of elements in the positive braid monoid $A_n$ with $n$ generators is a regular language. We describe with great detail the smallest Finite State Automaton accepting such language, and study the proportion of elements of length $k$ whose maximal lexicographic representative finishes with the first generator. This proportion tends to some number $P_{n,1}$, as $k$ tends to infinity, and we show that $P_{n,1}\geq \frac{1}{8}$ for every $n\geq 1$. We also provide an explicit formula, based on the Fibonacci numbers, for the number of states of t…
In this paper we introduce the tied links, i.e. ordinary links provided with some ties between strands. The motivation for introducing such objects originates from a diagrammatical interpretation of the defining generators of the so-called algebra of braids and ties; indeed, one half of such generators can be interpreted as the usual generators of the braid algebra, and the remaining generators can be interpreted as ties between consecutive strands; this interpretation leads the definition of tied braids. We define an invariant polynomial for the tied links via a skein relation. Furthermore, w…
Braid combing is a procedure defined by Emil Artin to solve the word problem in braid groups for the first time. It is well-known to have exponential complexity. In this paper, we use the theory of straight line programs to give a polynomial algorithm which performs braid combing. This procedure can be applied to braids on surfaces, providing the first algorithm (to our knowledge) which solves the word problem for braid groups on surfaces with boundary in polynomial time and space. In the case of surfaces without boundary, braid combing needs to use a section from the fundamental group of the …
We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent in the smallest braid generator which occurs. It follows that our ordering is identical to that of Dehornoy, constructed by very different means, and we recover Dehornoy's main theorem that any braid can…
In this paper we show that every finite spatial graph is a connected sum of a planar graph, which is a forest, i.e. disjoint union of finite number of trees and a tangle. As a consequence we get that any finite spatial graph is a connected sum of a planar graph and a braid. Using these decompositions it is not difficult to find a set of generators and defining relations for the fundamental group of compliment of a spatial graph in 3-space $\mathbb{R}^3$.
Choose any oriented link type X and closed braid representatives X[+], X[-] of X, where X[-] has minimal braid index among all closed braid representatives of X. The main result of this paper is a `Markov theorem without stabilization'. It asserts that there is a complexity function and a finite set of `templates' such that (possibly after initial complexity-reducing modifications in the choice of X[+] and X[-]which replace them with closed braids X[+]', X[-]') there is a sequence of closed braid representatives X[+]' = X^1->X^2->...->X^r = X[-]' such that each passage X^i->X^i+1 is strictly c…
In this paper we give an algorithm for solving a main case of the conjugacy problem in the braid groups. We also prove that half-twists satisfy a special root property which allows us to reduce the solution for the conjugacy problem in half-twists into the free group. Using this algorithm one is able to check conjugacy of a given braid to one of E. Artin's generators in any power, and compute its root. Moreover, the braid element which conjugates a given half-twist to one of E. Artin's generators in any power can be restored. The result is applicable to calculations of braid monodromy of branc…
Braids can be represented geometrically as curve diagrams. The geometric complexity of a braid is the minimal complexity of a curve diagram representing it. We introduce and study the corresponding notion of geometric generating function. We compute explicitly the geometric generating function for the group of braids on three strands and prove that it is neither rational nor algebraic, nor even holonomic. This result may appear as counterintuitive. Indeed, the standard complexity (due to the Artin presentation of braid groups) is algorithmically harder to compute than the geometric complexity,…
The genus of knots is a one of the fundamental invariant and can be seen as a complexity of knots. In this paper, we give a lower bound of genus using Dehornoy floor, which is a measure of complexity of braids in terms of braid ordering.
We give a computational algorithm which decides if a braid is quasipositive or not. A braid is quasipositive if it's a product of conjuguates of generators. For this, we use the theory of Garside and the combinatorials properties of the Artin monoid.
We prove that the word problem in the mapping class group of the once-punctured surface of genus g has complexity O(|w|^2 g for |w| > log(g) where |w| is the length of the word in a (standard) set of generators. The corresponding bound in the case of the closed surface is O(|w|^2 g^2). We also carry out the same methods for the braid groups, and show that this gives a bound which improves the best known bound in this case; namely, the complexity of the word problem in the n-braid group is O(|w|^2 n), for |w| > log n. We state a similar result for mapping class groups of surfaces with several p…
We prove Farber's conjecture on the stable topological complexity of configuration spaces of graphs. The conjecture follows from a general lower bound derived from recent insights into the topological complexity of aspherical spaces. Our arguments apply equally to higher topological complexity.
We introduce new polynomial isotopy invariants for closed braids. They are constructed as polynomial valued {\em Gauss diagram 1-cocycles} evaluated on the full rotation of the closed braid $\hat β$ around the core of the corresponding solid torus. They can be calculated with polynomial complexity with respect to the braid length and their derivatives evaluated at $x=1$ are finite type invariants of closed braids. Let the solid torus V be standardly embedded in the 3-sphere and let L be the core of the complementary solid torus $S^3\setminus V$. We give examples which show that a natural refin…
Braids can be represented geometrically as laminations of punctured disks. The geometric complexity of a braid is the minimal complexity of a lamination that represents it, and tight laminations are representatives of minimal complexity. These laminations give rise to a normal form of braids, via a relaxation algorithm. We study here this relaxation algorithm and the associated normal form. We prove that this normal form is regular and prefix-closed. We provide an effective construction of a deterministic automaton that recognizes this normal form.
This paper is concerned with detecting when a closed braid and its axis are 'mutually braided' in the sense of Rudolph. It deals with closed braids which are fibred links, the simplest case being closed braids which present the unknot. The geometric condition for mutual braiding refers to the existence of a close control on the way in which the whole family of fibre surfaces meet the family of discs spanning the braid axis. We show how such a braid can be presented naturally as a word in the `band generators' of the braid group discussed by Birman, Ko and Lee in their recent account of the ban…
We analyze relationships between quantum computation and a family of generalizations of the Jones polynomial. Extending recent work by Aharonov et al., we give efficient quantum circuits for implementing the unitary Jones-Wenzl representations of the braid group. We use these to provide new quantum algorithms for approximately evaluating a family of specializations of the HOMFLYPT two-variable polynomial of trace closures of braids. We also give algorithms for approximating the Jones polynomial of a general class of closures of braids at roots of unity. Next we provide a self-contained proof o…
