Source author record

Stephen Tawn

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
1close collaborators

Published work

3 publications

preprint2016arXiv

On the penetration distance in Garside monoids

We prove that the exponential growth rate of the regular language of penetration sequences is smaller than the growth rate of the regular language of normal form words, if the acceptor of the regular language of normal form words is strongly connected. Moreover, we show that the latter property is satisfied for all irreducible Artin monoids of spherical type, extending a result by Caruso. Our results establish that the expected value of the penetration distance pd(x,y)pd(x,y) in an irreducible Artin monoid of spherical type is bounded independently of the length of xx, if xx is chosen uniformly among all elements of given canonical length and yy is chosen uniformly among all atoms; the latter in particular explains observations made by Thurston in the context of the braid group, and it shows that all irreducible Artin monoids of spherical type exhibit an analogous behaviour. Our results also give an affirmative answer to a question posed by Dehornoy.

preprint2016arXiv

Zappa-Szép products of Garside monoids

A monoid KK is the internal Zappa-Szép product of two submonoids, if every element of KK admits a unique factorisation as the product of one element of each of the submonoids in a given order. This definition yields actions of the submonoids on each other, which we show to be structure preserving. We prove that KK is a Garside monoid if and only if both of the submonoids are Garside monoids. In this case, these factors are parabolic submonoids of KK and the Garside structure of KK can be described in terms of the Garside structures of the factors. We give explicit isomorphisms between the lattice structures of KK and the product of the lattice structures on the factors that respect the Garside normal forms. In particular, we obtain explicit natural bijections between the normal form language of KK and the product of the normal form languages of its factors.

preprint2013arXiv

Normal forms of random braids

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 distributions of the factors of the normal form of sufficiently long random braids depend neither on the position in the normal form nor on the lengths of the random braids. Moreover, when multiplying a braid on the right, the expected number of factors in its normal form that are modified, called the "expected penetration distance", is uniformly bounded. We explain these observations by analysing the growth rates of two regular languages associated to normal forms of elements of Garside groups, respectively to the modification of a normal form by right multiplication. A universal bound on the expected penetration distance in a Garside group yields in particular an algorithm for computing normal forms that has linear expected running time.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.