Matrix-algebra conjecture for simple and quasi-simple automata
Let be either a simple or quasi-simple automaton with states, and let be its associated synchronized -algebra. Matrix-algebra conjecture. There exists an integer such that
The conjecture is motivated by the computation that the algebra associated with the Černý automata is a full matrix algebra, while the corresponding result for all simple automata is missing. The supplied text gives no resolution.
References
Primary source
Emanuele Rodaro and Riccardo Venturi, “The hereditariness problem for the Černý conjecture”, arXiv:2509.17992 (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.