Weak defectivity of extremal automata

Let A=(Q,Σ,δ)\mathcal{A}=(Q,\Sigma,\delta) be an extremal automaton, meaning an automaton whose shortest reset word reaches the relevant extremal bound. An automaton is weakly defective in the sense defined in the paper. Weak-defectivity conjecture for extremal automata. Every extremal automaton is weakly defective.

The conjecture is proposed as a possible route toward proving that every extremal automaton is irreducible. The source says that weak defectivity holds for all known extremal automata, but does not establish it for arbitrary extremal automata.

Sources & referencesView supporting material

Primary source

Riccardo Venturi, “Simplicity and irreducibility in circular automata”, arXiv:2511.16611 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.