The Hereditariness Problem for the Černý conjecture

13 Abr 2026 - das 14h00 às 17h00

Categoria:
Seminário

Onde:
Presencial

Local:
Edificio VII - Sala 1.12

Descrição:

In this talk we will address the lifting problem for the Černý conjecture: namely, whether the validity of the conjecture for a quotient automaton can always be transferred (or “lifted”) to the original automaton. Although a complete solution remains open, we show that it is sufficient to verify the Černý conjecture for three specific subclasses of reset automata: radical, simple, and quasi-simple.  

Our approach relies on establishing a Galois connection between the lattices of congruences and ideals of the transition monoid. This connection not only serves as the main tool in our proofs but also provides a systematic method for computing the radical ideal and for deriving structural insights about these classes.  

This is a joint work with Prof. Emanuele Rodaro