Matrix-algebra conjecture for simple and quasi-simple automata

About 1 year old · traced to

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 m≤n−1m\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.

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.