Short synchronizing words for random automata

Abstract

We prove that a uniformly random automaton with n states on a 2-letter alphabet has a synchronizing word of length with high probability (w.h.p.). That is to say, w.h.p. there exists a word ¿ of such length, and a state v0, such that ¿ sends all states to v0. This confirms a conjecture of Kisielewicz, Kowalski, Szykula [KKS13] based on numerical simulations, up to a log factor - the previous best partial result towards the conjecture was the quasilinear bound O(n log3 n) due to Nicaud [Nic19]. Moreover, the synchronizing word ¿ we obtain has small entropy, in the sense that it can be encoded with only O(log(n)) bits w.h.p. Our proof introduces the concept of ¿-trees, for a word ¿, that is, automata in which the ¿-transitions induce a (loop-rooted) tree. We prove a strong structure result that says that, w.h.p., a random automaton on n states is a ¿-tree for some word ¿ of length at most (1 + e) log2(n), for any e > 0. The existence of the (random) word ¿ is proved by the probabilistic method. This structure result is key to proving that a short synchronizing word exists.