Abstract
A large part of the study of cellular automata dynamics consists in comparing pairs of configurations and their orbits. Here we focus on pairs of configurations having a finite number of differences (diamonds) like in the celebrated Garden-of-Eden theorem. First, we show that it allows to study expansive-like phenomena where classical notions of chaotic behavior like positive expansivity or strong transitivity don’t apply (in reversible CAs for instance). Second, we establish that for a large class of linear CA, diffusion of diamonds is equivalent to randomization (a large class of probability measures converge weakly towards the uniform measure under the action of the CA). Both properties are also equivalent to the absence of gliders in the CA. Finally, we give examples of reversible linear CAs that are strong randomizers (the convergence towards the uniform measure is simple and not only in Cesaro mean). This strong behavior is however provably impossible with linear CA having commuting coefficients (e.g. linear CA over cyclic groups).
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Forewords. This extended abstract is based upon unpublished works in collaboration with A. Gajardo and V. Nesme on one hand (pre-expansivity), and B. Hellouin de Menibus and V. Salo on the other hand (randomization).
1 Introduction
Cellular automata are dynamical systems and standard definitions and tools from the general theory can be considered to study them [2–4, 14]. Concerning topological dynamics for instance, the classical notion of (positive) expansivity has been applied to CA giving both a rich theory in the one-dimensional case [1, 4, 12] and a general inexistence result in essentially any other setting [13, 17]. Besides, in the ergodic dynamics settings, a lot of work was accomplished to show examples of randomizing behaviors (sometimes depicted as a kind of the second law of thermodynamics): a large class of probability measures (weakly) converge towards the uniform measure under the action of the CA [5, 6, 9, 15, 16] (see [14] for a general review of ergodic theory of CA).
Cellular automata also have a particular structure and properties that don’t necessarily admit sensible formalization in the general setting of topological/ergodic dynamics. For instance, the space of configurations allows to define the notion of diamonds: two configurations that differ only on finitely many positions of the lattice. The Garden of Eden theorem, which has a long history [2, 3, 7, 10, 11] and is emblematic of this CA specific theoretical development, then says that surjectivity is equivalent to pre-injectivity (injectivity on diamonds) if and only if the lattice is given by an amenable group.
In this extended abstract we introduce basic definitions about possible evolutions of diamonds under the action of a CA: gliders, pre-expansivity, diffusion. We then show that this point of view allows to characterize (weak) randomization combinatorially and link it to pre-expansivity in a large class of linear cellular automata. We also give reversible examples with interesting behaviors in this context: pre-expansivity without positive expansivity and strong randomization.
2 Formal Definitions
We consider spaces of configurations of the form \({Q^{\mathbb {Z}^N}}\) for some \({N\ge 1}\) and Q a finite set. Given two configurations c and d, we denote by \({\varDelta (c,d)}\) the set of positions where they differ:
Two configurations c, d are asymptotic, denoted \({c\,\overset{\infty }{=}\,d}\), if they differ only in finitely many positions: \({\varDelta (c,d)}\) is finite. When \({c\,\overset{\infty }{=}\,d}\) and \({c\ne d}\), we say it is a diamond and denote it by \({c\diamond d}\).
A cellular automaton F is an endomorphism of \(Q^{\mathbb {Z}^N}\) characterized by a local transition map \(f:Q^V\rightarrow Q\), where \(V\subset {\mathbb {Z}^N}\) is finite (called neighborhood of F), and defined as follows:
2.1 Diamonds and Their Dynamics
We are interested in the evolution of diamonds under the evolution of a given CA. More precisely, we look at the sequence:
when t grows and \({c\diamond d}\).
If \({E\subseteq {\mathbb {Z}^N}}\) is finite, we denote by \({{\text {diam}}(E)}\) its diameter, i.e. the largest distance (Manhattan) between any two of its elements.
Definition 1
(Glider). A glider for a CA F is a diamond \({c\diamond d}\) such that there is a bound B with \({{\text {diam}}\bigl (\varDelta _F^t(c,d)\bigr )\le B}\). for all t.
By the Garden-of-Eden (or Moore-Myhill) Theorem, any non-surjective CA admits a glider: it’s not pre-injective so it admits a diamond \({c\diamond d}\) such that \({\varDelta _F^t(c,d)=\emptyset }\) for all \({t\ge 1}\). The converse is false (some surjective CA also admit gliders). In the following we are essentially interested in surjective CA.
Definition 2
(Pre-expansivity). F is pre-expansive if there exists a finite observation window \({W\subseteq {\mathbb {Z}^N}}\) such that, for any diamond \({c\diamond d}\), there is some time \({t\ge 0}\) such that \({\varDelta _F^t(c,d)\cap W\ne \emptyset }\).
Given a set of integers \({X\subseteq \mathbb {N}}\) we denote by \({d_+(X)}\) its (upper) density:
When considering a sequence \({(s_n)}\), its density is the density of its support.
Definition 3
(Diffusivity). F is diffusive if for any diamond \({c\diamond d}\) we have
on an increasing sequence \({(t_n)}\) of density one. F is strongly diffusive if the above limit holds without taking a subsequence of \(\mathbb {N}\), i.e. if
We will sometimes speak about weak diffusivity to emphasize that it is not strong diffusivity.
2.2 Ergodic Dynamics
A (finite) pattern is a partial configuration of finite support: \(u:{\text {Dom}}(u)\subseteq \) \({\mathbb {Z}^N}\rightarrow Q\) with \({\text {Dom}}(u)\) finite. The cylinder [u] associated to such a pattern u is the set of configuration:
A Borel probability measure over \({Q^{\mathbb {Z}^N}}\) is completely determined by a map \({\mu }\) from cylinders to [0; 1] such that:
-
1.
\({\mu \bigl (Q^{\mathbb {Z}^N}\bigr ) = 1}\)
-
2.
if \({[u]=\bigcup _k[u_k]}\) with \({[u_k]}\) pairwise disjoint then \({\mu ([u]) = \sum _k \mu ([u_k])}\)
A measure is shift-invariant if \({\mu (E)=\mu (\sigma _z(E))}\) for any (measurable) set E and any translation \({z\in {\mathbb {Z}^N}}\).
A Bernoulli measure is a shift invariant product measure in the sense that the measure of any cylinder [u] is given by the product:
where \({\bigl (\mu ^*(q)\bigr )_{q\in Q}}\) is the probability vector on letters of the alphabet that characterizes \(\mu \). It is non-degenerate if \({0<\mu ^*(q)<1}\) for all \({q\in Q}\). An important particular case is the uniform measure \(\mu _0\): the Bernoulli measure where all \(\mu ^*(q)\) are equal to \({\frac{1}{\#Q}}\).
Given a CA F and a measure \(\mu \), the image measure \({F\mu }\) is the measure given by:
All surjective CA preserve the uniform measure (\({F\mu _0=\mu _0}\)) and conversely any CA that preserves the uniform measure is surjective [3, 8].
Definition 4
(Randomization). Given a class of measures X, we say that F is randomizing if for any \({\mu \in X}\) and any cylinder [u]
on an increasing sequence \({(t_n)}\) of density 1.
F is strongly randomizing if the above limit holds without taking a subsequence of \(\mathbb {N}\), i.e. if
This definition depends of course on the choice of X. In the sequel and without any explicit mention, X will always be the set of non-degenerate Bernoulli measures.
3 The Ideal World of 1D Abelian Linear Cellular Automata
This section aims at developing a rather complete analysis of diamond dynamics under two strong assumptions:
-
in 1D, any incoming information arrives either from the left or from the right, and must cross any large enough window;
-
for linear CA, it is sufficient to study finite configurations (i.e. almost everywhere equal to state 0) to actually understand all possible diamonds.
Definition 5
Let \((Q,\,\oplus )\) be a finite Abelian group and denote by \({\,\overline{\oplus }\,}\) the component-wise extension of \(\,\oplus \,\) to \(Q^{\mathbb {Z}^N}\). A CA F over \(Q^{\mathbb {Z}^N}\) is linear for \((Q,\,\oplus )\) if
Equivalently, such a CA can be written as:
where \({V\subseteq {\mathbb {Z}^N}}\) is finite and the \(h_i\) are homomorphisms of the group \({(Q,\,\oplus )}\). A CA which is linear for some Abelian group is called Abelian CA in the following.
The following lemma justifies definitions of previous section, in particular the interest of restricting to subsequences of time steps of density 1.
Lemma 1
An Abelian CA is diffusive if and only if it has no glider. In particular, a pre-expansive Abelian CA is always diffusive.
3.1 A Characterization of Randomizing CA
A character of a group \(\mathcal G\) is a continuous group homomorphism \(\mathcal G \rightarrow \mathbb T^1\), where \(\mathbb T^1\) is the unit circle group (under multiplication). Denote \(\hat{\mathcal G}\) the group of characters of \(\mathcal G\). Given an Abelian group \((Q,\,\oplus )\), the set of configurations \({Q^{\mathbb {Z}^N}}\) forms an Abelian group by component-wise application of \(\,\oplus \,\). When considering a linear CA F for the group \({(Q,\,\oplus )}\) and a character \({\chi \in \hat{Q^{\mathbb {Z}^N}}}\), then \({\chi \circ F}\) is also a character because F is an homomorphism of \(Q^{\mathbb {Z}^N}\).
\({\hat{Q^{\mathbb {Z}^N}}}\) is in bijective correspondence with the sequences of \((\hat{Q})^{\mathbb {Z}^N}\) whose elements are all \(\mathbf 1\) (constant map equal to 1) except for a finite number. That is, \(\chi \in \hat{Q^{\mathbb {Z}^N}}\) can be written as \(\chi (x) = \prod _{k\in {\mathbb {Z}^N}} \chi _k(x_k)\) where all but finitely many elements \(\chi _k\) are equal to \(\mathbf 1\). For a given \(\chi \), the number of nontrivial \(\chi _k\) in the sequence is its rank denoted \({{{\mathrm{rank}}}(\chi )}\).
The Fourier coefficient of a measure \(\mu \) associated to a character \(\chi \) is:
where D is any finite set that contains all \(\chi _k\) which are not \(\mathbf 1\). We this definition we have
Fourier coefficients characterize measures in the following sense:
In [15, 16], the class of harmonically mixing measures is considered: \(\mu \) is harmonically mixing if its Fourier coefficients uniformly go to zero when the rank of characters increase, formally: for all \(\varepsilon >0\), there exists a \(R>0\) such that \({{\mathrm{rank}}}(\chi )>R \Rightarrow \hat{\mu }[\chi ]<\varepsilon \). This class contains many natural measures, in particular any non-degenerate Bernoulli and Markov measure [15, 16]. The interest of the definition is that if one wants to show that a linear CA F (strongly) randomizes all harmonically mixing measures, then it is sufficient to show that
for all character \(\chi \) (or that the limit holds on a subsequence of time steps of density 1 for the case of weak randomization).
This property (weak version) was introduced in [15, 16] using the adjective “diffusive”. To avoid confusion, we will use the term “chi-diffusive” here.
The following Theorem gives a characterization of randomization for a large class of Abelian CA. It shows in particular that the sufficient condition of chi-diffusivity introduced is actually necessary as soon as we ask for randomization of a class of measures that contain non-degenerate Bernoulli measures. The key idea behind the theorem is that composing a character with iterations of a linear CA F over \({Q^{\mathbb {Z}^N}}\) can be seen as the action of a new cellular automaton \(\hat{F}\) (its dual) acting on the space \({(\hat{Q})^{\mathbb {Z}^N}}\). It is then possible to show that F and \(\hat{F}\) are close enough dynamically so that they share properties like diffusion.
Theorem 1
Let F be a linear CA over the group \({\mathbb {Z}_{p^l}^k}\) for some prime p and \({l,k\ge 1}\). Then the following are equivalent:
-
F has no glider;
-
F is diffusive;
-
F is chi-diffusive;
-
F randomizes any non-degenerate Bernoulli measure;
-
F randomizes any harmonically mixing measure.
Corollary 1
For linear CA F, G verifying the hypotheses of the previous theorem we have:
-
if F is pre-expansive then F randomizes all harmonically mixing measures;
-
F and G randomize harmonically mixing measures if and only if \({F\times G}\) does.
3.2 Interesting Reversible Examples
In this subsection, we consider examples of Abelian CA over groups of the form \({Q=\mathbb {Z}_p^2}\). To facilitate notations, we represents elements of Q as vectors and use matrix notation to represent homomorphisms of Q.
Proposition 1
Let \(F_3\) be the linear CA over \(\mathbb {Z}_3^2\) defined by:
where the addition is done in \(\mathbb {Z}_3^2\). \(F_3\) is pre-expansive but not positively expansive because reversible.
Proposition 2
Let \(G_2\) be the linear CA over \(\mathbb {Z}_2^2\) defined by:
where the addition is done in \(\mathbb {Z}_2^2\). \(G_2\) is strongly randomizing.
We don’t have any characterization of strong randomization. However, there is a natural class of linear CA where strong randomization is impossible whereas weak randomization can happen.
Definition 6
(super-Abelian CA). A linear CA F over an Abelian group of the form
is super-Abelian if the homomorphisms \(h_i\) commute pairwise.
The class of super-Abelian CA includes all linear CA over cyclic groups, but also all linear CA whose coefficients are just scalars (called LCA in [6, 15, 16]).
The intuition in the following proposition is that commutation in a super-Abelian CA induces too many cancellations of coefficients at specific time steps, so that infinitely many iterations go back close to the initial (non-uniform) measure.
Proposition 3
No super-Abelian CA is strongly randomizing.
References
Blanchard, F., Maass, A.: Dynamical properties of expansive one-sided cellular automata. Isr. J. Math. 99, 149–174 (1997)
Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer, Heidelberg (2010)
Hedlund, G.A.: Endomorphisms and automorphisms of the shift dynamical system. Math. Syst. Theor. 3, 320–375 (1969)
Kůrka, P.: Topological and symbolic dynamics. Société Mathématique de France (2003)
Lind, D.A.: Applications of ergodic theory and sofic systems to cellular automata. Physica D Nonlinear Phenom. 10(1–2), 36–44 (1984)
Maass, A., Martínez, S., Pivato, M., Yassawi, R.: Asymptotic randomization of subgroup shifts by linear cellular automata. Ergodic Theor. Dyn. Syst. 26, 1203–1224 (2006)
Machi, A., Mignosi, F.: Garden of eden configurations for cellular automata on Cayley graphs of groups. SIAM J. Discrete Math. 6(1), 44 (1993)
Maruoka, A., Kimura, M.: Condition for injectivity of global maps for tessellation automata. Inf. Control 32, 158–162 (1976)
Miyamoto, M.: An equilibrium state for a one-dimensional life game. J. Math. Kyoto Univ. 19(3), 525–540 (1979)
Moore, E.F.: Machine models of self-reproduction. In: Burks, A.W. (ed.) Essays on Cellular Automata, pp. 187–203. University of Illinois Press (1970)
Myhill, J.: The converse of moore’s garden-of-eden theorem. In: Proceedings of the American Mathematical Society, vol. 14, pp. 658–686. American Mathematical Society (1963)
Nasu, M.: Nondegenerate q-biresolving textile systems and expansive cellular automata of onesided full shifts. Trans. Am. Math. Soc. 358, 871–891 (2006)
Pivato, M.: Positive expansiveness versus network dimension in symbolic dynamical systems. Theor. Comput. Sci. 412(30), 3838–3855 (2011)
Pivato, M.: The ergodic theory of cellular automata. Int. J. Gen. Syst. 41(6), 583–594 (2012)
Pivato, M., Yassawi, R.: Limit measures for affine cellular automata. Ergodic Theor. Dyn. Syst. 22, 1269–1287 (2002)
Pivato, M., Yassawi, R.: Limit measures for affine cellular automata ii. Ergodic Theor. Dyn. Syst. 24, 1961–1980 (2004)
Shereshevsky, M.A.: Expansiveness, entropy and polynomial growth for groups acting on subshifts by automorphisms. Indagationes Math. 4(2), 203–210 (1993)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 IFIP International Federation for Information Processing
About this paper
Cite this paper
Theyssier, G. (2016). Propagation, Diffusion and Randomization in Cellular Automata. In: Cook, M., Neary, T. (eds) Cellular Automata and Discrete Complex Systems. AUTOMATA 2016. Lecture Notes in Computer Science(), vol 9664. Springer, Cham. https://doi.org/10.1007/978-3-319-39300-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-39300-1_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39299-8
Online ISBN: 978-3-319-39300-1
eBook Packages: Computer ScienceComputer Science (R0)