arXiv++ Combinatorics

We present a new procedure to determine the growth function of a homogeneous Garside monoid, with respect to the finite generating set formed by the atoms. In particular, we present a formula for the growth function of each Artin--Tits monoid of spherical type (hence of each braid monoid) with respect to the standard generators, as the inverse of the determinant of a very simple matrix. Using this approach, we show that the exponential growth rates of the Artin--Tits monoids of type $A_n$ (positive braid monoids) tend to $3.233636\ldots$ as $n$ tends to infinity. This number is well-known, as it is the growth rate of the coefficients of the only solution $x_0(y)=-(1+y+2y^2+4y^3+9y^4+\cdots)$ to the classical partial theta function. We also describe the sequence $1,1,2,4,9,\ldots$ formed by the coefficients of $-x_0(y)$, by showing that its $k$th term (the coefficient of $y^k$) is equal to the number of braids of length $k$, in the positive braid monoid $A_{\infty}$ on an infinite number of strands, whose maximal lexicographic representative starts with the first generator $a_1$. This is an unexpected connection between the partial theta function and the theory of braids.

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 the automaton.

We present an algorithm to generate positive braids of a given length as words in Artin generators with a uniform probability. The complexity of this algorithm is polynomial in the number of strands and in the length of the generated braids. As a byproduct, we describe a finite state automaton accepting the language of lexicographically minimal representatives of positive braids that has the minimal possible number of states, and we prove that its number of states is exponential in the number of strands.