Abstract:We give a lower bound on the growth of a subshift based on a simple condition on the set of forbidden patterns defining that subshift. Aubrun et Al. showed a similar result based on the Lovász Local Lemma for subshift over any countable group and Bernshteyn extended their approach to deduce, amongst other things, some lower bound on the exponential growth of the subshift. However, our result has a simpler proof, is easier to use for applications, and provides better bounds on the applications from their articles (although it is not clear that our result is stronger in general). In the particular case of subshift over $\mathbb{Z}$ a similar but weaker condition given by Miller was known to imply nonemptiness of the associated shift. Pavlov used the same approach to provide a condition that implied exponential growth. We provide a version of our result for this particular setting and it is provably strictly stronger than the result of Pavlov and the result of Miller (and, in practice, leads to considerable improvement in the applications). We also apply our two results to a few different problems including strongly aperiodic subshifts, nonrepetitive subshifts, and Kolmogorov complexity of subshifts.

On the Garden of Eden theorem for B-free subshifts

On the Garden of Eden theorem for B-free subshifts

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

Extending the Symbolic Dynamics of Chua's Bernoulli-Shift Rule 56

The Garden of Eden Theorem for Cellular Automata on Group Sets

Topological Entropy and Complexity of One Class of Cellular Automata Rules

Complex Symbolic Dynamics of Bernoulli Shift Cellular Automata Rule

Exterior Algebras and Two Conjectures on Finite Abelian Groups

The Garden of Eden Theorem over Generalized Cellular Automata

Kolmogorov Complexity and the Garden of Eden Theorem

A converse to Moore's theorem on cellular automata

On the full centraliser of Erdős $\cB$-free shifts

A Garden of Eden theorem for principal algebraic actions

The Garden of Eden theorem: old and new

Finding lower bounds on the growth and entropy of subshifts over countable groups

Subadditivity of shifts, Eilenberg-Zilber shuffle products and homology of lattices

Invariant measures for $\mathscr{B}$-free systems revisited

Invariant measures for -free systems revisited

An embedding theorem for subshifts over amenable groups with the comparison property

Sub-additive Ergodic Theorems for Countable Amenable Groups