On the Garden of Eden theorem for non-uniform cellular automata

We establish several extensions of the well-known Garden of Eden theorem for non-uniform cellular automata (CA) over the full shifts and over amenable group universes. In particular, our results describe quantitatively the relations between the partial pre-injectivity and the size of the image of a non-uniform CA. A strengthened surjunctivity result is also obtained for multi-dimensional CA over strongly irreducible subshifts of finite type.