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 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 cellular automata. A strengthened surjunctivity result is also obtained for multi-dimensional cellular automata over strongly irreducible subshifts of finite type.