{"id":"arxiv/2607.17335","url":"https://arxiv.org/abs/2607.17335","tags":["math.CO","cs.FL"],"score":0,"title":"On totally synchronizing graphs","domain":"math.CO","source":"arxiv","authors":["Daniele D'Angeli","Emanuele Rodaro"],"reviews":0,"subject":"math.CO","summary":"A coloring of a finite $k$-out directed graph $G$ is viewed as a deterministic complete automaton with state set $V(G)$. The graph $G$ is called \\emph{totally synchronizing} if every coloring is synchronizing. We prove that total synchronization imposes strong restrictions on symmetry: if $G$ is strongly connected and totally synchronizing, then $Aut(G)$ contains no semiregular element; in particular, if $|Aut(G)|$ is divisible by a prime $p>k$, then $G$ is not totally synchronizing. We then give general constructions of strongly connected $k$-out graphs with prescribed quotients and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-19","reactions":{}}