Černý bound for difference DFAs in Euclidean space

Let M=(Q,Σ,δ)M=(Q,\Sigma,\delta) be a difference DFA in Rd\mathbb{R}^d on nn vertices, with nn states and a universally reachable state. A synchronizing word is a word that maps all states to one state.

Difference-DFA Černý conjecture. The DFA MM has a synchronizing word of length at most

(n1)2.(n-1)^2.

This asks whether the Černý bound holds for the stated class of difference DFAs without the additional assumptions discussed earlier in the paper. The source gives no resolution, so this remains open.

Sources & referencesView supporting material

Primary source

Peter Bradshaw, Alexander Clow and Ladislav Stacho, “A cornering strategy for synchronizing a DFA”, arXiv:2405.00826 (2025).

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.