Abstract
The Garden of Eden theorem is a fundamental result in the theory of cellular automata, which establishes a necessary and sufficient condition for the surjectivity of a cellular automaton with a finite alphabet over an amenable group. Specifically, the theorem states that such an automaton is surjective if and only if it is pre-injective, where pre-injectivity requires that any two almost equal configurations with the same image under the automaton must be equal. This paper focuses on establishing the Garden of Eden theorem over a \(\varphi \)-cellular automaton by demonstrating both Moore theorem and Myhill theorem over \(\varphi \)-cellular automata are true. These results have significant implications for the theoretical framework of the Garden of Eden theorem and its applicability across diverse groups or altered versions of the same group. Overall, this paper provides a more comprehensive study of \(\varphi \)-cellular automata and extends the Garden of Eden theorem to a broader class of automata.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Cellular automata [4, Chapter 1] have been extensively studied in mathematics due to their various applications in fields such as complexity theory, symbolic dynamics, and modeling complex systems. These constructs can be described as maps between prodiscrete topological spaces, and possess important characteristics such as being determined by a finite memory set and a local defining function.
If G is a group and A is a finite set, known as an alphabet, the configuration space over G and A, denoted by \(A^G\), is the set of all functions \(x: G \rightarrow A\). We endow \(A^G\) with the prodiscrete topology, i.e. the product topology of the discrete topology of A, and with the shift action of G on \(A^G\) given by
A cellular automaton over \(A^G\) is a function \(\sigma : A^G \rightarrow A^G\) that satisfies the following conditions: there exists a finite subset \(R \subseteq G\), referred to as the memory set of \(\sigma \), and a local function \(\mu : A^R \rightarrow A\) such that
In the beginning, the Garden of Eden theorem is a result in the theory of cellular automata which states that a cellular automaton is surjective if and only if it satisfies a weak form version of injectivity, called pre-injectivity. The theorem was originally proved by Moore and Myhil in the early 1960s for cellular automata with finite alphabet over the groups \(\mathbb {Z}^d\). Indeed, the surjectivity implies pre-injectivity for such cellular automata was first proved by Moore in [7], and Myhill [8] obtained the converse implication shortly after. In 1993, Machì and Mignosi [9] obtained that the Garden of Eden theorem is still valid over any finitely generated groups with subexponential growth. Later, Ceccherini-Silberstein, Machì and Scarabotti [5] proved in 1999 that every amenable groups satisfies the Garden of Eden theorem. The recent results of Bartholdi [2] and [1] finally showed that the class of groups that satisfies the Garden of Eden theorem is precisely the amenable groups.
Theorem 1
(The Garden of Eden theorem) Let G be an amenable group and let B be a finite set. Let \(\sigma : B^G \rightarrow B^G\) be a cellular automaton. Then one has
In the pursuit of advancing our understanding of cellular automata, Castillo-Ramirez et al in [3] introduced a new concept known as Generalized Cellular Automata (GCA), taking a different approach than the so-called sliding block codes [6]. In their work, the focus is on defining a generalized cellular automaton \(\tau : A^G \rightarrow A^H\), where H is an arbitrary group, through the utilization of a group homomorphism \(\varphi : H \rightarrow G\). This interesting extension opens new avenues for studying cellular automata within the context of diverse mathematical structures.
Let T, G be two groups. A finite-to-one surjective homomorphism \(\varphi : T \rightarrow G\) means that for a surjective homomorphism \(\varphi : T \rightarrow G\), there exists a positive integer \(k \ge 1\) such that the cardinality of each pre-image of \(\varphi \) is no more than k, that is, \(\left| \varphi ^{-1}(g)\right| \le k\) for all \(g \in G\).
In this paper, we delve into their definition of Generalized Cellular Automata, exploring its implications and applications. Our primary contribution lies in proving the Garden of Eden Theorem for the generalized cellular automata. The Garden of Eden Theorem holds significance as it sheds light on the fundamental properties and possibilities inherent in this extended class of cellular automata. We obtain:
Theorem 2
(The Moore theorem over a \(\varphi \)-cellular automaton) Assume G is an amenable group, T is a group that is homomorphic to G, and B is a finite set. Let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton, where \(\varphi : T \rightarrow G\) is a finite-to-one surjective homomorphism. Then, we have the following implication:
Theorem 3
(The Myhill theorem over a \(\varphi \)-cellular automaton) Assume G is an amenable group, T is a group that is isomorphic to G, and B is a finite set. Let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton, where \(\varphi : T \rightarrow G\) is an isomorphic map. Then, we have the following implication:
Corollary 4
(The Garden of Eden theorem over a \(\varphi \)-cellular automaton) Assume G is an amenable group, T is a group that is isomorphic to G, and B is a finite set. Let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton, where \(\varphi : T \rightarrow G\) is an isomorphic map. Then, we have the following equivalence:
The structure of this paper is as follows. In Sect. 2, we provide a review of some definitions. Section 3 establishes the equivalence between the existence of Garden of Eden Configurations and Garden of Eden Patterns on a \(\varphi \)-cellular automaton. Section 4 introduces the property that a \(\varphi \)-cellular automaton \(\sigma : B^G \rightarrow B^T\) satisfies, which states that if two configurations, x and \(x^{\prime }\), coincide on U, then their mappings \(\sigma (x)\) and \(\sigma \left( x^{\prime }\right) \) also coincide on \(U^{-R}\). In Sect. 5, we focus on a key property of \(\varphi \)-cellular automata for a finite-to-one surjective homomorphism \(\varphi \), which states that applying a \(\varphi \)-cellular automaton to a set of configurations does not increase the entropy of the set. Finally, in Sect. 6, we provide proofs of the Moore and Myhill theorems over a \(\varphi \)-cellular automaton by showing the equivalence between surjectivity, pre-injectivity, and the maximality of the entropy of the \(\varphi \)-cellular automaton’s image.
2 Preliminaries
In this section, we will build upon prior knowledge of amenable group theory, topology, classical cellular automata over groups, generalized cellular automata over groups, and the classical Garden of Eden theorem.
We have utilized a number of definitions and theorems proposed by Castillo-Ramirez et al. in their paper [3]. Among these, we pay special attention to Definitions 1, 2, and Lemmas 1, 2, 4, which lay important theoretical foundations for our subsequent research work. We have compiled these definitions and theorems in this section.
Let us begin by introducing some definitions and notations. Throughout the rest of this paper, let B denote a finite set, while G and T denote groups. We will assume that |B| is greater than or equal to 2, and that the set \(\{0,1\}\) is included in B. This assumption is important, as the case where \(|B|=1\) is trivial and lacks interest.
Definition 1
[4, Chapter 1] A cellular automaton over the group G and the alphabet B is a mapping \(\sigma : B^G \rightarrow B^G\) that satisfies the following properties: there exists a finite subset \(R \subset G\) and a mapping \(\mu :B^R \rightarrow B\) such that for all \(x \in B^G\) and \(g \in G\), we have
Here, \(\left. \left( g^{-1} x\right) \right| _R\) represents the restriction of the configuration \(g^{-1} x\) to R. The set R is referred to as the memory set, and \(\mu \) is known as the local defining mapping for \(\sigma \).
Definition 2
[3, Definition 1] Let \(\varphi : T \rightarrow G\) be a homomorphism. A \(\varphi \)-cellular automaton over two homomorphic groups G, T and the alphabet B is a map \(\sigma : B^G \rightarrow B^T\) satisfying the following property: there exist a finite subset \(R \subset G\) and a map \(\mu : B^R \rightarrow B\) such that for all \(x \in B^G\) and \(t \in T\), the equation
holds, where \(\left. \left( \varphi \left( t^{-1}\right) x\right) \right| _R\) denotes the restriction of the configuration \(\varphi \left( t^{-1}\right) x\) to R.
The finite subset R mentioned above is commonly referred to as a "memory set," and the map \(\mu \) is known as a "local defining map" for the \(\varphi \)-cellular automaton.
Example 1
Let’s set \(G=2 \mathbb {Z}, T=\mathbb {Z}\), and \(B=\mathbb {Z} / 2 \mathbb {Z}\). The map \(\varphi : T \rightarrow G\) is defined as \(\varphi (n)=2 n\) for all \(n \in T\). Now, consider the \(\varphi \)-cellular automaton \(\sigma : B^G \rightarrow B^T\), which is defined by
for all \(x \in B^G\) and \(n \in T\). This \(\varphi \)-cellular automaton operates over \(\mathbb {Z}\) and \(\mathbb {Z} / 2 \mathbb {Z}\), with a memory set \(R=\{0,2\}\), and a local defining map \(\mu : B^R \rightarrow B\) given by
Example 2
Let’s set \(G=\mathbb {Z}, T=\{\overline{0}, \overline{1}\} \times \mathbb {Z}\), and \(B=\{0, 1\}\). The map \(\varphi : \{\overline{0}, \overline{1}\} \times \mathbb {Z} \longrightarrow \mathbb {Z}\) is defined as \(\varphi (a, n)=n\) for all \((a, n) \in T\). Now, consider the \(\varphi \)-cellular automaton \(\sigma : B^G \rightarrow B^T\), which is defined by
for all \(x \in B^G\) and \((a, n) \in T\). Then \(\sigma \) is a \(\varphi \)-cellular automaton with memory set \(R=\left\{ 0 \right\} \) and local defining map \(\mu = id_R\).
Lemma 5
Let G, T be two groups. Suppose B is a finite set and \(\varphi : T \rightarrow G\) is a group homomorphim. Let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton with memory set R, and let \(t \in T\). Then \(\sigma (x)(t)\) only depends on the restriction of x to \(\varphi (t) R\).
Proof
This follows directly from (1) because \(\left( \varphi \left( t^{-1}\right) x\right) (r)=x(\varphi (t) r) \text{ for } \text{ all } r \in R\text{. } \) \(\square \)
Definition 3
[3, Definition 2] Let G, T be two groups and suppose \(\varphi : T \rightarrow G\) is a group homomorphim. Let B be a finite set. A map \(\sigma : B^G \rightarrow B^T\) is said to be \(\varphi \)-equivariant if
Lemma 6
[3, Lemma 1] Each \(\varphi \)-cellular automaton is \(\varphi \)-equivariant, where \(\varphi : T \rightarrow S\) is a homomorphic map.
Lemma 7
[3, Lemma 2] Each \(\varphi \)-cellular automaton is continuous.
If V is a subgroup of G, we can define a configuration in \(B^G\) to be V-periodic if \(v \cdot x=x\) for all \(v \in V\). The set of all V-periodic configurations in \(B^G\) is denoted by Fix (V)
Lemma 8
[3, Lemma 4] Let \(\sigma : B^G \rightarrow B^T\) be a surjective \(\varphi \)-cellular automaton, with \(\varphi : T \rightarrow G\) being a homomorphism, then \(\varphi \) is injective.
Suppose G and T are homomorphic groups, and B is a finite set. Let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton, with R as its memory set and \(\mu : B^R \rightarrow B\) as the associated defining map. If \(R^{\prime }\) is a finite subset of G such that \(R \subset R^{\prime }\), then \(R^{\prime }\) is also a memory set for \(\sigma \), and the local defining map associated with \(R^{\prime }\) is the map \(\mu ^{\prime }\): \(B^{R^{\prime }} \rightarrow B\), given by \(\mu ^{\prime }=\mu \circ \pi \), where \(\pi : B^{R^{\prime }} \rightarrow B^R\) is the canonical projection (restriction map). This demonstrates that a finite subset of G containing the memory set is also a memory set for a \(\varphi \)-cellular automaton.
3 Garden of Eden Configurations
Suppose we have two groups, G and T, a homomorphic map \(\varphi : T \rightarrow G\), and a set B. Let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton. We define a configuration \(y \in B^T\) as a "Garden of Eden" configuration for \(\sigma \) if it does not belong to the image of \(\sigma \). Hence, when \(\sigma \) is surjective, there are no Garden of Eden configurations.
Next, let \(\Omega \subset T\) be a finite subset. A pattern \(\pi : \Omega \rightarrow B\) is considered a Garden of Eden pattern for \(\sigma \) if there is no configuration \(x \in B^G\) such that \(\left. \sigma (x)\right| _{\Omega }=\pi \). According to this definition, if \(\pi : \Omega \rightarrow \) B is a Garden of Eden pattern for \(\sigma \), then any configuration \(y \in B^T\) such that \(\left. y\right| _{\Omega }=\pi \) is also a Garden of Eden configuration for \(\sigma \). Therefore, the existence of a Garden of Eden pattern implies the existence of Garden of Eden configurations, indicating the non-surjectivity of \(\sigma \). We can show that the converse is also true when the alphabet set is finite.
Proposition 9
Consider groups G and T, with \(\varphi : T \rightarrow G\) being a homomorphism, and let B be a finite set. Let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton. Assuming that \(\sigma \) is not surjective, then it follows that \(\sigma \) contains a Garden of Eden pattern.
Proof
It is a known fact that the set \(\sigma \left( B^G\right) \) is closed in \(B^T\) under the prodiscrete topology. Consequently, the set \(B^T \backslash \sigma \left( B^G\right) \) is open in \(B^T\). Hence, for a Garden of Eden configuration \(y \in B^T\) with respect to \(\sigma \), we can identify a finite subset \(\Omega \subset G\) such that
In simpler terms, any configuration that extends \(\left. y\right| _{\Omega }\) does not belong to \(\sigma \left( B^G\right) \), implying that \(\left. y\right| _{\Omega }\) serves as a Garden of Eden pattern for \(\sigma \). \(\square \)
Suppose G is a group and B is a set. We define two configurations \(x_1, x_2 \in B^G\) to be almost equal if the set \(\left\{ g \in G: x_1(g) \ne x_2(g)\right\} \) is finite. It is evident that this definition establishes an equivalence relation on the set \(B^G\).
A map \(p: B^G \rightarrow B^T\) is termed pre-injective if it satisfies the condition that if two configurations \(x_1, x_2 \in B^S\) are almost equal and \(p\left( x_1\right) =p\left( x_2\right) \), then \(x_1=x_2\). It is evident from this definition that injectivity implies pre-injectivity. When the group G is finite, the converse is obviously true. However, in the case of an infinite group G, a pre-injective map \(p: B^G \rightarrow B^T\) may not be injective.
Example 3
Let’s consider \(G=2 \mathbb {Z}, T=\mathbb {Z}\), and \(B=\mathbb {Z} / 2 \mathbb {Z}\). Define \(\varphi : T \rightarrow G\) as \(\varphi (n)=2 n\) for all \(n \in T\). Now, let’s look at the \(\varphi \)-cellular automaton \(\sigma : B^G \rightarrow B^T\) defined by \(\sigma (x)(n)=x(2 n)+x(2 n+2)\) for all \(x \in B^G\) and \(n \in T\).
We claim that \(\sigma \) is pre-injective. Suppose \(x_1, x_2 \in B^G\) are two configurations such that the set \(\Omega =\left\{ n \in G: x_1(n) \ne x_2(n)\right\} \) is a nonempty finite subset of \(2 \mathbb {Z}\). Let \(n_0\) be the largest even element in \(\Omega \). Then \(\sigma \left( x_1\right) \left( n_0 / 2\right) \ne \sigma \left( x_2\right) \left( n_0 / 2\right) \), and thus \(\sigma \left( x_1\right) \ne \sigma \left( x_2\right) \). This demonstrates that \(\sigma \) is pre-injective. However, \(\sigma \) is not injective, since the constant configurations \(c_0, c_1 \in B^G\) given by \(c_0(n)=0\) and \(c_1(n)=1\) for all \(n \in 2 \mathbb {Z}\) have the same image \(c_0\) under \(\sigma \).
4 Interiors, Closures, and Boundaries
In this part of a group G, given subsets A and W, the A-interior \(W^{-A}\) and the A-closure \(W^{+A}\) of W are defined as subsets of G, where
Take notice that
and
The A-boundary of W is the subset \(\partial _A(W)\) of S defined as
Below are some general properties of the sets \(W^{-A}, W^{+A}\), and \(\partial _A(W)\) that we will frequently utilize in the following discussions.
Proposition 10
[4, Chapter 5] Let G be a group. Let \(A, A_1, A_2\) and W be subsets of G. Then the following hold:
-
(i)
\((G \backslash W)^{-A}=G \backslash W^{+A}\);
-
(ii)
\((G \backslash W)^{+A}=G \backslash W^{-A}\);
-
(iii)
if \(a \in A\), then \(W^{-A} \subset W a^{-1} \subset W^{+A}\);
-
(iv)
if \(1_G \in A\), then \(W^{-A} \subset W \subset W^{+A}\);
-
(v)
if A is nonempty and W is finite, then \(W^{-A}\) is finite;
-
(vi)
if A and W are both finite, then \(W^{+A}\) and \(\partial _A(W)\) are finite;
-
(vii)
if \(A_1 \subset A_2\), then \(W^{-A_2} \subset W^{-A_1}, W^{+A_1} \subset W^{+A_2}\) and \(\partial _{A_1}(W) \subset \partial _{A_2}(W)\);
-
(viii)
if \(g \in G\), then \(g\left( W^{-A}\right) =(g W)^{-A}, g\left( W^{+A}\right) =(g W)^{+A}\) and \(g\left( \partial _A(W)\right) =\) \(\partial _A(g W)\).
Let G be a group. Recall that if there exists a net \(\left( F_j\right) _{j \in J}\) of nonempty finite subsets of G such that \( \lim _j \frac{\left| F_j \backslash F_j g\right| }{\left| F_j\right| }=0 \text{ for } \text{ all } g \in G \), then \(\left( F_j\right) _{j \in J}\) is a right Følner net for G.
Proposition 11
[4, Chapter 5] Suppose G is a group and \(\left( F_j\right) _{j \in J}\) is a net consisting of nonempty finite subsets of G. Then the following conditions are equivalent:
-
(a)
The net \(\left( F_j\right) _{j \in J}\) is a right Følner net for G.
-
(b)
It holds that \(\lim _j \frac{\left| \partial _A\left( F_j\right) \right| }{\left| F_j\right| }=0\) for every finite subset \(A \subset G\).
Corollary 12
[4, Chapter 5] For a group G, the following conditions are equivalent:
-
(a)
G is amenable;
-
(b)
for every finite subset \(A \subset G\) and every real number \(\varepsilon >0\), there exists a nonempty finite subset \(F \subset G\) such that
One significant property of \(\varphi \)-cellular automata, as stated in the aforementioned papers, is the following:
One important characteristic of \(\varphi \)-cellular automata is that a \(\varphi \)-cellular automaton \(\sigma : B^G \rightarrow B^T\) satisfies, which states that if two configurations, x and \(x^{\prime }\), coincide on U, then their mappings \(\sigma (x)\) and \(\sigma \left( x^{\prime }\right) \) also coincide on \(U^{-R}\). In more precise terms, the following statement holds.
Proposition 13
Given groups G and T, a homomorphism \(\varphi : T \rightarrow G\), and a set B, let \(\sigma : B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton with memory set R. If x and \(x^{\prime }\) are elements of \(B^G\) and there exists a subset \(\Omega \) of G such that x and \(x^{\prime }\) are equal on \(\Omega \) (or \(G \backslash \Omega \)), then the outcomes of \(\sigma (x)\) and \(\sigma \left( x^{\prime }\right) \) will also be equal on the corresponding sets determined as the preimages of \(\Omega ^{-R}\) (or \(G \backslash \left( \Omega ^{+R}\right) \) ).
Proof
Suppose that x and \(x^{\prime }\) coincide on \(\Omega \). If \(t \in \varphi ^{-1}\left( \Omega ^{-R}\right) \), then \(\varphi (t) R \subset \Omega \) and therefore \(\sigma (x)(t)=\sigma \left( x^{\prime }\right) (t)\) by Lemma 1. It follows that \(\tau (x)\) and \(\tau \left( x^{\prime }\right) \) coincide on \(\varphi ^{-1}\left( \Omega ^{-R}\right) \).
Suppose now x and \(x^{\prime }\) coincide on \(S \backslash \Omega \). Then \(\sigma (x)\) and \(\sigma \left( x^{\prime }\right) \) coincide on \( \varphi ^{-1}\left( (G \backslash \Omega )^{-R}\right) =\varphi ^{-1}\left( G \backslash \Omega ^{+R}\right) =T \backslash \varphi ^{-1}\left( \Omega ^{+R}\right) \) by the first part of the proof and Proposition 10(i). \(\square \)
In simpler terms, this property ensures that if two initial configurations have the same values within a certain region, their resulting configurations after applying the \(\varphi \)-cellular automaton will also have the same values within the corresponding shifted region, but in the opposite direction.
Note that this property plays a significant role in understanding the behavior and dynamics of \(\varphi \)-cellular automata, providing insights into how local interactions can affect the global evolution of these systems.
5 Tilings and Entropy
Let G be a group and let F and \(F^{\prime }\) be subsets of G. A subset \(L \subset G\) is an \(\left( F, F^{\prime }\right) \)-tiling of G if the sets lF, \(l \in L\), are pairwise disjoint, and the sets \(l F^{\prime }\) cover G. In other words, \(L \subset G\) is an \(\left( F, F^{\prime }\right) \)-tiling if the following conditions hold:
(T1) \(l_1 F \cap l_2 F=\varnothing \) for all \(l_1, l_2 \in L\) where \(l_1 \ne l_2\);
(T2) \(G=\bigcup _{l \in L} l F^{\prime }\).
Remark 1
Let G be a group and let F and \(F^{\prime }\) be subsets of G. If L is an \(\left( F, F^{\prime }\right) \)-tiling of G and if \(F_1\) and \(F_1^{\prime }\) are subsets of G such that \(F_1 \subset F\) and \(F^{\prime } \subset F_1^{\prime }\), then it is clear that L is also an \(\left( F_1, F_1^{\prime }\right) \)-tiling of G.
The Zorn lemma may be used to prove the existence of \(\left( F, F^{\prime }\right) \)-tilings for any subset F of G and for \(F^{\prime } \subset G\) "large enough". More precisely, we have the following:
Proposition 14
[4, Chapter 5] Let G be a group and let F be a nonempty subset of G. Let \(F^{\prime }=\left\{ g_1 g_2^{-1}: g_1, g_2 \in F\right\} \). Then there is an \(\left( F, F^{\prime }\right) \)-tiling \(L \subset G\).
Proposition 15
[4, Chapter 5] Let G be an amenable group and let \(\left( F_j\right) _{j \in J}\) be a right Følner net for G. Let E and \(E^{\prime }\) be finite subsets of G and suppose that \(L \subset G\) is an \(\left( E, E^{\prime }\right) \)-tiling of G. Let us set, for each \(j \in J\),
Then there exist a real number \(\alpha >0\) and an element \(j_0 \in J\) such that
Let G be an amenable group, \(\mathcal {F}=\left( F_j\right) _{j \in J}\) be a right Følner net for G, and B be a finite set.
For \(E \subset G\), we denote by \(\pi _E: B^G \rightarrow B^E\) the canonical projection (restriction map). We thus have \(\pi _E(x)=\left. x\right| _E\) for all \(x \in B^G\).
Definition 4
[4, Chapter 5] Let \(X \subset B^G\). The entropy \({\text {ent}}_{\mathcal {F}}(X)\) of X with respect to the right Følner net \(\mathcal {F}=\left( F_j\right) _{j \in J}\) is defined by
Here are some immediate properties of entropy.
Proposition 16
[4, Chapter 5] One has
-
(i)
\({\text {ent}}_{\mathcal {F}}\left( B^G\right) =\log |B|\);
-
(ii)
\({\text {ent}}_{\mathcal {F}}(X) \le {\text {ent}}_{\mathcal {F}}(Y)\) if \(X \subset Y \subset B^G\);
-
(iii)
\({\text {ent}}_{\mathcal {F}}(X) \le \log |B|\) for all \(X \subset B^G\).
A finite-to-one surjective homomorphism can preserve the property of being amenable groups as the following states:
Proposition 17
Let \(\varphi : T \rightarrow G\) be a finite-to-one surjective homomorphism, G be an amenable group, \(\mathcal {F}=\left( F_j\right) _{j \in J}\) be a right Følner net for G. Then, T is also an amenable group, and \(\varphi ^{-1}\left( \mathcal {F}\right) =\left( \varphi ^{-1}\left( F_j\right) \right) _{j \in J}\) is a right Følner net for T.
Proof
There exist a positive integer \(k \ge 1\), for each subset \(F \subset S\), we have
This implies we can choose for each subset \(k_F \in [1, k]\), such that \(\left| \varphi ^{-1}(F)\right| =k_F|F|\).
For arbitrary \(t \in T\), it is obvious that \(\varphi \left( \varphi ^{-1}\left( F_j\right) \backslash \varphi ^{-1}\left( F_j\right) t\right) \subseteq F_j \backslash F_j \varphi (t)\). Then we have \(\varphi ^{-1}\left( F_j\right) \backslash \varphi ^{-1}\left( F_j\right) t \subseteq \varphi ^{-1}\left( F_j \backslash F_j \varphi (t)\right) \). Hence
Since
we get
This shows T satisfies the Følner conditions, with \(\varphi ^{-1}\left( \mathcal {F}\right) =\left( \varphi ^{-1}\left( F_j\right) \right) _{j \in J}\) being a right Følner net for it. Thus T is amenable by virtue of the Tarski-Følner theorem. \(\square \)
Understanding and analyzing the entropy behavior in \(\varphi \)-cellular automata is crucial for studying their information processing capabilities, complexity, and potential applications in various fields such as cryptography, pattern recognition, and computational modeling.
Recall that if R is a memory set for a \(\varphi \)-cellular automaton \(\sigma : B^G \rightarrow \) \(B^T\), then every finite subset \(R^{\prime }\) of G such that \(R \subset R^{\prime }\) is also a memory set for \(\sigma \). One important characteristic of \(\varphi \)-cellular automata is that the application of a \(\varphi \)-cellular automaton to a set of configurations does not lead to an increase in the entropy of the set. In more precise terms, the following statement holds:
Proposition 18
Suppose \(\varphi : T \rightarrow G\) is a finite-to-one surjective homomorphism, where G is an amenable group, and \(\mathcal {F}=\left( F_j\right) _{j \in J}\) is a right Følner net for G. Let \(\sigma : B^G \rightarrow \) \(B^T\) be a \(\varphi \)-cellular automaton, and let \(X \subset B^G\). Then the following holds:
Proof
Let \(Y=\sigma (X)\). Suppose \(R \subset G\) is a memory set for \(\sigma \). Upon including \(1_G\) in R by replacing R with \(R \cup \left\{ 1_G\right\} \), we may assume that \(1_G \in R\). Let \(\Omega \) be a finite subset of G. First observe that \(\sigma \) induces a map
defined as follows. If \(u \in \pi _{\Omega }(X)\), then
where x is an element of X such that \(\left. x\right| _{\Omega }=u\). Note that the fact that \(\sigma _{\Omega }(u)\) does not depend on the choice of such an x follows from Proposition 13.
Clearly \(\sigma _{\Omega }\) is surjective. Indeed, if \(v \in \pi _{\varphi ^{-1}\left( \Omega ^{-R}\right) }(Y)\), then there exists \(x \in X\) such that \(\left. (\sigma (x))\right| _{\varphi ^{-1}\left( \Omega ^{-R}\right) }=v\). Then, setting \(u=\pi _{\Omega }(x)\) we have, by construction, \(\sigma _{\Omega }(u)=v\). Therefore, we have
Observe now that \(\Omega ^{-R} \subset \Omega \), since \(1_G \in R\) (cf. Proposition 10(iv)). Thus \(\varphi ^{-1}\left( \Omega ^{-R}\right) \subset \varphi ^{-1}\left( \Omega \right) \), and \(\pi _{\varphi ^{-1}\left( \Omega \right) }(Y) \subset \pi _{\varphi ^{-1}\left( \Omega ^{-R}\right) }(Y) \times B^{\varphi ^{-1}\left( \Omega \right) \backslash \varphi ^{-1}\left( \Omega ^{-R}\right) }\). This implies
As \(\Omega \backslash \Omega ^{-R} \subset \partial _R(\Omega )\), we have
so we can deduce that
By taking \(\Omega =F_j\), this gives us
Since
by Proposition 11, we finally get
\(\square \)
The proposition in Reference 16 implies that the maximum entropy value for a subset \(X \subset B^G\) is \(\log |B|\). The subsequent result provides a condition on X that guarantees its entropy is strictly less than \(\log |B|\).
Proposition 19
[4, Chapter 5] If \(X \subset B^G\), and there exist finite subsets E and \(E^{\prime }\) of G, along with an \(\left( E, E^{\prime }\right) \)-tiling \(L \subset G\) such that \(\pi _{l E}(X) \varsubsetneqq B^{l E}\) for all \(l \in L\), then we have
Recall that G acts on the left on \(B^G\) by the shift \((g, x) \mapsto g x\) defined by \(g x\left( g^{\prime }\right) =x\left( g^{-1} g^{\prime }\right) \) for \(g, g^{\prime } \in G\) and \(x \in B^G\).
Corollary 20
[4, Chapter 5] Let X be a G-invariant subset of \(B^G\). Suppose that there exists a finite subset \(E \subset G\) such that \(\pi _E(X) \varsubsetneqq B^E\). Then one has \({\text {ent}}_{\mathcal {F}}(X)<\) \(\log |B|\).
6 Proof of The Garden of Eden Theorem on a \(\varphi \)-Cellular Automaton
The purpose of this section is to establish the following:
Theorem 21
Let G be an amenable group, T be a group isomorphic to G, B be a finite set, \(\mathcal {F}=\left( F_j\right) _{j \in J}\) be a right Følner net for G, and \(\sigma \): \(B^G \rightarrow B^T\) be a \(\varphi \)-cellular automaton with \(\varphi : T \rightarrow G\) being an isomorphic map. Then the following are equivalent:
-
(a)
\(\sigma \) is surjective;
-
(b)
\({\text {ent}}_{\varphi ^{-1}(\mathcal {F})}\left( \sigma \left( B^G\right) \right) =\log |B|;\)
-
(c)
\(\sigma \) is pre-injective.
We divide the proof of Theorem 21 into several lemmas. In these lemmas, it is assumed that the hypotheses of Theorem 21 are satisfied: G is an amenable group, T is a group isomorphic to G, B is a finite set, \(\mathcal {F}=\left( F_j\right) _{j \in J}\) is a right Følner net for G, and \(\sigma : B^G \rightarrow B^T\) is a \(\varphi \)-cellular automaton, where \(\varphi : T \rightarrow G\) is a isomorphic map.
Lemma 22
Suppose that \(\sigma \) is not surjective. Then one has \({\text {ent}}_{\varphi ^{-1}(\mathcal {F})}\left( \sigma \left( B^G\right) \right)<\) \(\log |B|\).
Proof
By Proposition 9, \(\sigma \) admits a Garden of Eden pattern. This means that there is a finite subset \(E \subset T\) such that \(\pi _E\left( \sigma \left( B^G\right) \right) \varsubsetneqq B^E\). The set \(\sigma \left( B^G\right) \) is T-invariant since \(\sigma \) is \(\varphi \)-equivariant by Lemma 6. We deduce that ent \(_{\varphi ^{-1}(\mathcal {F})}\left( \sigma \left( B^G\right) \right) <\log |B|\) by applying Corollary 20. \(\square \)
Lemma 23
Suppose that
Then \(\sigma \) is not pre-injective.
Proof
Let R be a memory set for \(\sigma \) such that \(1_G \in R\). Let \(Y=\sigma \left( B^G\right) \). We have \(F_j^{-R} \subset F_j \subset F_j^{+R}\) by Proposition 10 (iv) and therefore \(F_j^{+R} \backslash F_j \subset \) \(\partial _R\left( F_j\right) \). As \(\pi _{\varphi ^{-1}(F_j^{+R})}(Y) \subset \pi _{\varphi ^{-1}(F_j)}(Y) \times B^{\varphi ^{-1}(F_j^{+R}) \backslash \varphi ^{-1}(F_j)}\), it follows that
Since \(\varphi \) is a isomorphic map, we have
As
by hypothesis, and
by Proposition 11, we deduce from inequality (7) that there exists \(j_0 \in J\) such that
Let us fix an arbitrary element \(a_0 \in B\) and denote by Z the finite set of configurations \(z \in B^G\) such that \(z(g)=a_0\) for all \(g \in G \backslash F_{j_0}\). Inequality (8) gives us
Observe that \(\sigma \left( z_1\right) \) and \(\sigma \left( z_2\right) \) coincide outside \(\varphi ^{-1}(F_{j_0}^{+R})\) for all \(z_1, z_2 \in Z\). Thus
This implies that we may find distinct configurations \(z_1, z_2 \in Z\) such that \(\sigma \left( z_1\right) \) and \(\sigma \left( z_2\right) \). Since \(z_1\) and \(z_2\) coincide outside the finite set \(F_{j_0}\), this shows that \(\sigma \) is not pre-injective. \(\square \)
Lemma 24
Suppose that \(\sigma \) is not pre-injective. Then one has
Proof
Since \(\sigma \) is not pre-injective, we may find two configurations \(x_1, x_2 \in \) \(B^G\) satisfying \(\sigma \left( x_1\right) =\sigma \left( x_2\right) \) such that the set
is a nonempty finite subset of G. Observe that, for each \(l \in G\), the configurations \(lx_1\) and \(l x_2\) satisfy \(\sigma \left( l x_1\right) =\sigma \left( l x_2\right) \) (since \(\sigma \) is \(\varphi \)-equivariant by Lemma 6) and \(\left\{ g \in G: l x_1(g) \ne l x_2(g)\right\} =l \Omega \). Let R be a memory set for \(\sigma \) such that \(1_G \in R\). Then the set
is finite and we have \(1_G \in U\). Let \(E=\Omega ^{+U}\). By Proposition 14, we may find a finite subset \(E^{\prime } \subset G\) and an \(\left( E, E^{\prime }\right) \)-tiling \(L \subset G\). Consider the subset \(Z \subset B^G\) consisting of all configurations \(z \in B^G\) such that
Observe that, for each \(l \in L\), we have
since \(\left. \left( l x_1\right) \right| _{l E} \hspace{-1.19995pt}\notin \hspace{-1.19995pt}\pi _{l E}(Z)\). We deduce that \({\text {ent}}_{\varphi _{-1(\mathcal {F})}}(Z) \!< \log |B|\) by applying Proposition 19. As \({\text {ent}}_{\varphi _{-1(\mathcal {F})}}(\sigma (Z)) \le {\text {ent}}_{\varphi _{-1(\mathcal {F})}}(Z)\) by Proposition 18, this implies
Thus, to establish inequality (9), it suffices to prove that \(\sigma \left( B^G\right) =\sigma (Z)\). To see this, consider an arbitrary configuration \(x \in B^G\) and let us show that there is a configuration \(z \in Z\) such that \(\sigma (x)=\sigma (z)\). Let
Let \(z \in B^G\) be the configuration defined by
Notice that the configuration z is obtained from x by modifying the values taken by x only on the subsets of the form \(l \Omega \), where \(l \in L^{\prime }\) (since, as we have seen above, \(l x_1\) and \(l x_2\) coincide outside \(l \Omega \) ). By construction, we have \(z \in Z\). Let \(t \in T\). Let us shows that \(\sigma (x)(t)=\tau (z)(t)\). Suppose first that \(\varphi (t) R\) does not meet any of the sets \(l \Omega , l \in L^{\prime }\). Then we have \(\left. z\right| _{\varphi (t) R}=\left. x\right| _{\varphi (t) R}\). We deduce that \(\sigma (z)(t)=\sigma (x)(t)\) by applying Lemma 1.
Suppose now that there is an element \(l \in L^{\prime }\) such that \(\varphi (t) R\) meets \(l \Omega \). This means that there exists an element \(r_0 \in R\) such that \(\varphi (t) r_0 \in l \Omega \). For each \(r \in R\), we have \(\varphi (t) r r^{-1} r_0=\varphi (t) r_0 \in l \Omega \). As \(r^{-1} r_0 \in U\), this implies
We deduce that \(\varphi (t) R \subset l E\). Thus we have \(\sigma (x)(t)=\sigma \left( l x_1\right) (t)\) since \(\left. x\right| _{l E}=\) \(\left. l x_1\right| _{l E}\). Similarly, by applying Lemma 1, we get \(\tau (z)(t)=\tau \left( l x_2\right) (t)\), since z and \(l x_2\) coincide on lE. As \(\sigma \left( l x_1\right) =\sigma \left( l x_2\right) \), we deduce that \(\sigma (x)(t)=\sigma (z)(t)\).
Thus \(\sigma (z)=\sigma (x)\). This shows that \(\sigma \left( B^G\right) =\sigma (Z)\) and completes the proof of the lemma. \(\square \)
Proof of Theorem 21
If \(\sigma \) is surjective, then \(\sigma \left( B^G\right) =B^T\) and hence \({\text {ent}}_{\varphi ^{-1}(\mathcal {F})}\left( \sigma \left( B^G\right) \right) ={\text {ent}}_{\varphi ^{-1}(\mathcal {F})}\left( B^T\right) =\log |B|\). Thus (a) implies (b). Since the converse implication follows from Lemma 22, we deduce that conditions (a) and (b) are equivalent. The fact that (c) implies (b) follows from Lemma 23 and the converse implication follows from Lemma 24. Thus, conditions (b) and (c) are also equivalent.
Proof of Theorem 2
If \(\sigma \) is surjective, we deduce that \(\varphi \) is injective by Lemma 8. Thus \(\varphi \) is isomorphic. Thus \(\sigma \) is surjective implies that \(\sigma \) is pre-injective by Theorem 21.
Proofs of Theorem 3 and Carollary 4
These results follows from Theorem 21 immediately.
Remark 2
\(\varphi : T \rightarrow G\) is a finite-to-one surjective homomorphism in the case of Moore theorem over \(\varphi \)-cellular automata, whereas \(\varphi \) is an isomorphic mapping in the case of the Garden of Eden theorem over \(\varphi \)-cellular automata and Myhill theorem over \(\varphi \)-cellular automata. And the Myhill theorem over \(\varphi \)-cellular automata is invalid when \(\varphi \) is a finite-to-one surjective homomorphism.
Example 4
Let’s consider \(G=2 \mathbb {Z}, T=\mathbb {Z}\), and \(B=\mathbb {Z} / 2 \mathbb {Z}\). Define \(\varphi : T \rightarrow G\) as \(\varphi (n)=2 n\) for all \(n \in T\). We have seen in Example 3 that the \(\varphi \)-cellular automaton \(\sigma : B^G \rightarrow B^T\) defined by \(\sigma (x)(n)=x(2 n)+x(2 n+2)\) is pre-injective. Since \(G=2 \mathbb {Z}\) is amenable,, it follows from the Garden of Eden theorem for a \(\varphi \)-cellular automaton that \(\sigma \) is surjective.
Example 5
Let’s set \(G=\mathbb {Z}, T=\{\overline{0}, \overline{1}\} \times \mathbb {Z}\), and \(B=\{0, 1\}\). The map \(\varphi : \{\overline{0}, \overline{1}\} \times \mathbb {Z} \longrightarrow \mathbb {Z}\) is defined as \(\varphi (a, n)=n\) for all \((a, n) \in T\). Now, consider the \(\varphi \)-cellular automaton in Example 2, \(\sigma : B^G \rightarrow B^T\) which is defined by
for all \(x \in B^G\) and \((a, n) \in T\).
It is clear that \(\varphi \) is a finite-to-one surjective homomorhic map. We claim that \(\sigma \) is injective. Suppose \(x_1, x_2 \in B^G\) are two configurations such that \(\sigma (x_1)=\sigma (x_2)\). Then we have \(x_1(n)=x_2(n)\) for all \(n \in G\), which gives \(x_1=x_2\). Thus, \(\sigma \) is injective. And we can get that \(\sigma \) is pre-injective immediately. However, \(\sigma \) is not surjective, since the configurations \(y \in B^T\) given by
is a Garden of Eden configuration for \(\sigma \). This demonstrates that the Myhill theorem does not hold true for \(\varphi \)-cellular automata when \(\varphi \) represents a finite-to-one surjective homomorphism.
References
Bartholdi, L.: Amenability of groups is characterized by Myhill’s theorem. J. Eur. Math. Soc. 21(10), 3191–3197 (2019). https://doi.org/10.48550/arXiv.1605.09133
Bartholdi, L.: Gardens of Eden and amenability on cellular automata. J. Eur. Math. Soc. 12(1), 241–248 (2010). https://doi.org/10.4171/JEMS/196
Castillo-Ramirez, A., Sanchez-Alvarez, M., Vazquez-Aceves, A., Zaldivar-Corichi, A.: A generalization of cellular automata over groups. Commun. Algebra 51(7), 3114–3123 (2023). https://doi.org/10.1080/00927872.2023.2177663
Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer Monographs in Mathematics. Springer, Berlin (2010)
Ceccherini-Silberstein, T., Machì, A., Scarabotti, F.: Amenable groups and cellular automata. Ann. Inst. Fourier (Grenoble) 49(2), 673–685 (1999). https://doi.org/10.5802/aif.1686
Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)
Moore, E.F.: Machine models of self-reproduction. Proc. Sympos. Appl. Math. 14, 17–34 (1963)
Myhill, J.: The converse of Moore’s Garden-of-Eden theorem. Proc. Am. Math. Soc. 14, 685–686 (1963)
Machì, A., Mignosi, F.: Garden of Eden configurations for cellular automata on Cayley graphs of groups. SIAM J. Discrete Math. 6(1), 44–56 (1993). https://doi.org/10.1137/0406004
Acknowledgements
The authors thank the referee for their careful reading and valuable comments that led to the improvement of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rosihan M. Ali.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Huang, X., Zhang, Q. The Garden of Eden Theorem over Generalized Cellular Automata. Bull. Malays. Math. Sci. Soc. 47, 126 (2024). https://doi.org/10.1007/s40840-024-01719-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40840-024-01719-y