On the interplay between Babai and Cerny's conjectures

Motivated by the Babai conjecture and the Cerny conjecture, we study the reset thresholds of automata with the transition monoid equal to the full monoid of transformations of the state set. For automata with $n$ states in this class, we prove that the reset thresholds are upper-bounded by $2n^2-6n+5$ and can attain the value $\tfrac{n(n-1)}{2}$. In addition, we study diameters of the pair digraphs of permutation automata and construct $n$-state permutation automata with diameter $\tfrac{n^2}{4} + o(n^2)$.Comment: 21 pages version with full proof

Primitive digraphs with large exponents and slowly synchronizing automata

We present several infinite series of synchronizing automata for which the minimum length of reset words is close to the square of the number of states. All these automata are tightly related to primitive digraphs with large exponent.Comment: 23 pages, 11 figures, 3 tables. This is a translation (with a slightly updated bibliography) of the authors' paper published in Russian in: Zapiski Nauchnyh Seminarov POMI [Kombinatorika i Teorija Grafov. IV], Vol. 402, 9-39 (2012), see ftp://ftp.pdmi.ras.ru/pub/publicat/znsl/v402/p009.pdf Version 2: a few typos are correcte

A minimal nonfinitely based semigroup whose variety is polynomially recognizable

We exhibit a 6-element semigroup that has no finite identity basis but nevertheless generates a variety whose finite membership problem admits a polynomial algorithm.Comment: 16 pages, 3 figure