Surjective multidimensional cellular automata are non-wandering: A combinatorial proof
Résumé
A combinatorial proof that surjective D-dimensional CA are non-wandering is given. This answers an old open question stated in Blanchard and Tisseur (2000) [3]. Moreover, an explicit upper bound for the return time is given.