Matrix-algebra conjecture for simple and quasi-simple automata

Let A\mathcal{A} be either a simple or quasi-simple automaton with nn states, and let R(A)\mathcal{R}(\mathcal{A}) be its associated synchronized C\mathbb{C}-algebra. Matrix-algebra conjecture. There exists an integer mn1m\leq n-1 such that

R(A)Mm(C).\mathcal{R}(\mathcal{A})\cong\mathbb{M}_{m}(\mathbb{C}).

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.

Sources & referencesView supporting material

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.