Related papers: The rotating normal form of braids is regular
A result by Dehornoy (1992) says that every nontrivial braid admits a sigma-definite word representative, defined as a braid word in which the generator sigma_i with maximal index i appears with exponents that are all positive, or all…
We describe the restriction of the Dehornoy ordering of braids to the dual braid monoids introduced by Birman, Ko and Lee: we give an inductive characterization of the ordering of the dual braid monoids and compute the corresponding ordinal…
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.…
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, for all monoids in which divisibility has some convenient lattice properties (``locally Garside monoids''). We show that, in the case of…
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…
For a finite Thurston type ordering < of the braid group B_{n}, we introduce a new normal form of a dual positive braid which we call the C-normal form. This normal form extends Fromentin's rotating normal form and the author's C-normal…
We prove that for any finite Thurston-type ordering $<_{T}$ on the braid group\ $B_{n}$, the restriction to the positive braid monoid $(B_{n}^{+},<_{T})$ is a\ well-ordered set of order type $\omega^{\omega^{n-2}}$. The proof uses a combi\…
In this paper, we obtain Groebner-Shirshov (non-commutative Gr\"obner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word" $\delta$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form…
Analysing statistical properties of the normal forms of random braids, we observe that, except for an initial and a final region whose lengths are uniformly bounded (that is, the bound is independent of the length of the braid), the…
Based on a normal form for braid group elements suggested by Dehornoy, we prove several representations of braid groups by automorphisms of a free group to be faithful. This includes a simple proof of the standard Artin's representation…
In this paper we construct a gathering process by the means of which we obtain new normal forms in braid groups. The new normal forms generalise Artin-Markoff normal forms and possess an extremely natural geometric description. In the two…
We consider some questions about formal languages that arise when inverses of letters, words and languages are defined. The reduced representation of a language over the free monoid is its unique equivalent representation in the free group.…
We introduce some braided varieties -- braided orbits -- by considering quotients of the so-called Reflection Equation Algebras associated with Hecke symmetries (i.e. special type solutions of the quantum Yang-Baxter equation). Such a…
Finite-state tree automata are a well studied formalism for representing term languages. This paper studies the problem of determining the regularity of the set of instances of a finite set of terms with variables, where each variable is…
Hairpin completion is an abstract operation modeling a DNA bio-operation which receives as input a DNA strand $w = x\alpha y \calpha$, and outputs $w' = x \alpha y \bar{\alpha} \bar{x}$, where $\bar{x}$ denotes the Watson-Crick complement…
Using a parametrisation of $sl_2$ given by the second prolongation of the group action of unimodular fractional linear transformations as presented in an article of Clarkson and Olver, we find a Monge normal form describing the rolling of…
Regular word grammars are restricted context-free grammars that define all the recognizable languages of words. This paper generalizes regular grammars from words to certain classes of graphs, by defining regular grammars for unordered…
This paper revisits the solution of the word problem for $\omega$-terms interpreted over finite aperiodic semigroups, obtained by J. McCammond. The original proof of correctness of McCammond's algorithm, based on normal forms for such…
Any permutation in the finite symmetric group can be written as a product of simple transpositions $s_i = (i~i+1)$. For a fixed permutation $\sigma \in \mathfrak{S}_n$ the products of minimal length are called reduced decompositions or…
We establish a necessary and sufficient condition for a representation of a lattice ordered semigroup to be regular, in the sense that certain extensions are completely positive definite. This result generalizes a theorem due to Brehmer…