English

On the interplay between Babai and Cerny's conjectures

Formal Languages and Automata Theory 2017-08-08 v2 Group Theory

Abstract

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 nn states in this class, we prove that the reset thresholds are upper-bounded by 2n26n+52n^2-6n+5 and can attain the value n(n1)2\tfrac{n(n-1)}{2}. In addition, we study diameters of the pair digraphs of permutation automata and construct nn-state permutation automata with diameter n24+o(n2)\tfrac{n^2}{4} + o(n^2).

Keywords

Cite

@article{arxiv.1704.04047,
  title  = {On the interplay between Babai and Cerny's conjectures},
  author = {François Gonze and Vladimir Gusev and Balázs Gerencsér and Raphaël M. Jungers and Mikhail V. Volkov},
  journal= {arXiv preprint arXiv:1704.04047},
  year   = {2017}
}

Comments

21 pages version with full proofs

R2 v1 2026-06-22T19:16:30.123Z