Garden of Eden pattern
 |
A Garden of Eden pattern, discovered by R. Banks in 1971, the first such pattern discovered in Conway's Game of Life. |
 |
The smallest known Garden of Eden pattern for Life, as of 2005. |
In the study of
cellular automata,
Garden of Eden patterns are configurations that cannot be reached from any other starting configuration. They are named after the biblical
Garden of Eden because they have no predecessor configurations—they must be created as such.
These configurations were named by
John Tukey in the 1950s, long before
John Conway invented his
Game of Life.
Let some configuration at timestep
t be denoted by
Ct, and the function (the automaton)
f to map the configuration
Ct to
Ct+1.
A Garden of Eden pattern
Gt means that there does not exist any configuration
Gt-1 such that
f(
Gt-1)=
Gt. This means a cellular automaton which possesses Garden of Eden pattern(s) is not
surjective.
One other characteristic of certain cellular automata is that of "reversibility", that is, given a configuration
Ct, there is a unique predecessor configuration
Ct-1 easily determined from
Ct. This condition implies that the automaton function is
bijective. From the definition of bijectivity, cellular automata which possess Garden of Eden patterns are clearly not reversible. In fact, all non-
injective automata possess Garden of Eden patterns. Since the Game of Life is easily seen not to be injective, it was known such patterns existed in it even before any were discovered.
Garden of Eden patterns are not necessarily unique.
In
Greg Egan's novel
Permutation City, the concept of a
Garden of Eden configuration arises in the
Autoverse, a projection of Conway's
Game of Life into the future, in which interactions between chemical molecules can be simulated through
cellular automata.
*
Garden of Eden (Eric Weisstein's Treasure Trove of The Game of Life)