English

An improvement to a recent upper bound for synchronizing words of finite automata

Combinatorics 2019-01-23 v1

Abstract

It has been known since the 60's that any complete discrete nn-state automaton admits a reset word of length not exceeding αn3+o(n3)\alpha n^3+o(n^3) for some absolute constant α\alpha. J.-E. Pin and P. Frankl proved this statement with α=1/6=0.1666...\alpha=1/6=0.1666... in 1982, and this bound remained best known until 2017, when M. Szyku\l{}a decreased its value to α0.1664\alpha\approx0.1664. In this note, we present a modification to the latest approach and develop a different counting argument which leads to a more substantial improvement of α0.1654\alpha\leqslant 0.1654.

Keywords

Cite

@article{arxiv.1901.06542,
  title  = {An improvement to a recent upper bound for synchronizing words of finite automata},
  author = {Yaroslav Shitov},
  journal= {arXiv preprint arXiv:1901.06542},
  year   = {2019}
}

Comments

5 pages