The asymptotic size of finite irreducible semigroups of rational matrices
For researchers in semigroup theory and automata theory, this tightens the known bounds on the size of irreducible matrix semigroups, which are building blocks for general matrix semigroups and generalize strongly connected weighted automata.
The paper improves the upper bound on the size of finite irreducible semigroups of rational n×n matrices from 2^{O(n^2 log n)} to 3^{n^2}, and shows a lower bound of 3^{⌊n^2/4⌋}. This also improves a bound on the mortality threshold for such semigroups.
In this paper we investigate the maximum size of finite semigroups of rational $n \times n$ matrices, with the goal of shedding more light on their structure. Such semigroups provide a rich generalisation of transition monoids of unambiguous (and, in particular, deterministic) finite automata. While in general such semigroups can be arbitrarily large in terms of $n$, a classical result of Schützenberger from 1962 implies an upper bound of $2^{O(n^2 \log n)}$ for irreducible semigroups. A semigroup of rational matrices is called irreducible if the only subspaces of $\mathbb{Q}^n$ that are invariant for all matrices in the semigroup are $\mathbb{Q}^n$ and the subspace consisting only of the zero vector. Irreducible matrix semigroups can be viewed as the building blocks of general matrix semigroups, and as such play an important role in mathematics and computer science. From the point of view of automata theory, they can be seen as a generalisation of strongly connected weighted automata. Using a very different technique from that of Schützenberger, we improve the upper bound on the cardinality to $3^{n^2}$. This is the main result of the paper. The bound is in some sense tight, as we show that there exists, for every $n$, a finite irreducible semigroup with $3^{\lfloor n^2/4 \rfloor}$ rational matrices. Our main result also leads to an improvement of a bound, due to Almeida and Steinberg, on the mortality threshold of finite semigroups of rational matrices. The mortality threshold is a number $\ell$ such that if the zero matrix is in the semigroup, then the zero matrix can be written as a product of at most $\ell$ matrices from any subset that generates the semigroup.