12 research outputs found
Cellular automata on regular rooted trees
We study cellular automata on regular rooted trees. This includes the
characterization of sofic tree shifts in terms of unrestricted Rabin automata
and the decidability of the surjectivity problem for cellular automata between
sofic tree shifts
Nonrepetitive Colouring via Entropy Compression
A vertex colouring of a graph is \emph{nonrepetitive} if there is no path
whose first half receives the same sequence of colours as the second half. A
graph is nonrepetitively -choosable if given lists of at least colours
at each vertex, there is a nonrepetitive colouring such that each vertex is
coloured from its own list. It is known that every graph with maximum degree
is -choosable, for some constant . We prove this result
with (ignoring lower order terms). We then prove that every subdivision
of a graph with sufficiently many division vertices per edge is nonrepetitively
5-choosable. The proofs of both these results are based on the Moser-Tardos
entropy-compression method, and a recent extension by Grytczuk, Kozik and Micek
for the nonrepetitive choosability of paths. Finally, we prove that every graph
with pathwidth is nonrepetitively -colourable.Comment: v4: Minor changes made following helpful comments by the referee
The Garden of Eden Theorem for Cellular automata and for Symbolic Dynamical Systems
We survey the most recent and general results on Garden of Eden type theorems in the
setting of Symbolic Dynamical Systems and Cellular Automata