The Topological Pressure of Linear Cellular Automata

This elucidation studies ergodicity and equilibrium measures for additive cellular automata with prime states. Additive cellular automata are ergodic with respect to Bernoulli measure unless it is either an identity map or constant. The formulae of measure-theoretic and topological entropies can be expressed in closed forms and the topological pressure is demonstrated explicitly for potential functions that depend on finitely many coordinates. According to these results, Parry measure is inferred to be an equilibrium measure.

One-dimensional CA consists of infinite lattice with finite states and an associated mapping, say local rule.Hedlund [12] discusses CA systematically from purely mathematical point of view.Wolfram [13,14] also makes a decisive impulse to the mathematical study; he proposes a classification of CA by means of asymptotical dynamics.Also, Wolfram does lots of computer simulation on those CA with 2 states whose local rule is only related to its nearest neighbors in his book [15].He numbers these 256 rules and divides them into four classes according to their asymptotic behavior.Chua et al. [16] assert that there are only 88 equivalent classes.Any two local rules in same equivalent class are topological conjugate to each other.In other words, local rules in same class admit the same dynamics and preserve invariants such as topological entropy, ergodicity, mixing, and so on.
Among these 256 rules, there are eight of them being additive.More precisely, those local rules can be represented as linear combination.They are indexed as 0, 60, 90, 102, 150, 170, 204, 240 respectively.When periodic boundary condition is considered, Chua et al. [17] investigate the dynamical behavior of these rules such as Isles of Eden, period of attractors, and so on [17,18].This demonstrates that additive CA can still propose rich dynamics.
This essay elucidates ergodicity and equilibrium measures for additive CA associated with prime states.Shirvani and Rogers [19] demonstrate that a one-dimensional two states CA is ergodic provided its local rule is either rightmost or leftmost permutive.This fact has been rediscovered by Shereshevsky [20,21] and Kleveland [22] for permutive CA.Cattaneo et al. [23] extend their result to multi-dimensional additive CA with arbitrary finite alphabet.Additive CA whose states consist of prime symbols is a subclass of permutive CA, Theorem 7 asserts a different proof for the ergodicity via a construction method.
Ward [24] studies the topological entropy for additive CA with prime states.Akin [25] shows that the uniform Bernoulli measure is a measure with maximal entropy if the local rule f is given by f Whenever an additive CA is an automorphism, Berg demonstrates that the uniform Bernoulli measure is the unique measure which maximizes the measuretheoretic entropy [26].This investigation gives an alternative proof for the topological entropy and the measure-theoretic entropy of additive CA is demonstrated for any Bernoulli measure.Corollaries 1 and 2 give closed formulae for measure-theoretic and topological entropies respectively, here a Bernoulli measure is considered.Theorems 8 and 9 investigate the topological pressure for those potential functions that depend on finitely many coordinates.In addition, Parry measure is indicated to be an equilibrium measure.This generalizes Akin's result.
The rest of this paper is organized as follows.Section 2. states some notations and definitions.Section 3. studies the measure-theoretic and topological entropies while Section 4. investigates the ergodicity and the topological pressure.Section 5. extends the results to additive CA with prime symbols.

Notation and Definition
Let A = {0, 1} be a finite alphabet and let Ω = A Z be the space of infinite sequence x = (x n ) ∞ −∞ .Hedlund [12] studies CA in the viewpoint of symbolic dynamics.

Theorem 1 ([12]
).A map F : Ω → Ω is a CA if and only if F can be represented as a sliding block code, i.e., there exists k ∈ Z + and a block map f : Such f is called the local rule of F .The study of the local rule of a CA is essential for the understanding of this system.A local rule f : A 2k+1 → A is called leftmost (respectively rightmost) permutive if there exists an integer i, −k ≤ i ≤ −1 (respectively 1 ≤ i ≤ k), such that (i) f is a permutation at x i whenever the other variables are fixed; (ii) f does not depend on x j for j < i (respectively j > i).
In the rest of this investigation, a particular class of CA in [15], say additive CA, is investigated and the results can be extended to any alphabet of prime symbols.The local rule of additive CA is defined by Rules 0, 204 and 255 are called "trivial rules" because of their simple dynamics.
For any m ≥ 1, f can be extended to the mapping f m : here f 1 = f .Let B be the Borel σ-algebra on Ω and let µ = (p 0 , p 1 ) be a Bernoulli measure.For any finite measurable partition α of Ω, denote by The measure-theoretic entropy of F with respect to α is defined by where Reader may refer to [27] for more details.The measure-theoretic entropy of F is defined by where the supremum is taken over all finite measurable partitions of Ω.
It is easy to verify that d is a metric and (Ω, d) is a compact metric space.
Let P be an open cover of Ω, denote by where the infimum is taken over the set of finite subcovers P of P and |A| is the cardinality of A. The topological entropy of F with respect to P is defined by The topological entropy of F is defined by where the supremum is taken over all open covers of Ω.
In addition, for α an open cover of Ω and φ ∈ C(Ω, R) a continuous function, denote by where n ∈ N and S n φ and The map P (F,

Measures with Maximal Entropy
Let X be a compact metric space and let T : X → X be a continuous function.The variational principle says that the supremum of measure-theoretic entropy of T coincides with the topological entropy of T , where the supremum is taken over all ergodic measures.That is to say, h top (T ) = sup{h µ (T ) : µ is ergodic}.A measure that reaches the supremum is called a measure with maximal entropy.
The goal of this section is going for the determination of measures with maximal entropy via the study of measure-theoretic and topological entropies.

Measure-theoretic entropy
In this section, a closed formula of the measure-theoretic entropy is given.Given two integers r ≤ s and a r , . . ., a s ∈ {0, 1}.Denote by C(r, s) = r [a r , . . ., a s ] s a cylinder of Ω, i.e., for all x = (x n ) ∈ C(r, s), x i = a i for r ≤ i ≤ s.Let ξ(i, j) be the collection of cylinders C(i, j) and let ξ j = ξ(−j, j) B whenever F is a homeomorphism, where A B means the σ-algebra generated by A coincides with the one generated by B up to a measure zero set.
Proof.First considering F is rule 170, the case that F is rule 240 can be demonstrated in analogous method.
F is rule 170 indicates that λ −1 = λ 0 = 0, i.e., F is the shift map.It comes immediately that Thus ξ 0 is a generator.
If F is rule 90, then λ −1 = λ 1 = 1 and λ 0 = 0. Observe that Thus Hence ξ 1 is a generator.The case that λ i = 1 for |i| ≤ 1 asserts that ξ 1 is a generator can be done via similar argument.The proof is complete.
The measure-theoretic entropy of F can be stated then.
Theorem 2. Under the assumptions of Lemma 1, the measure-theoretic entropy of F can be expressed as the following.

It is obvious that h
For the case that λ −1 = 0 and λ 0 = λ 1 = 1, analogous argument as the proof of Lemma 1 shows that n−1 i=0 The following theorem comes immediately.Theorem 3. If F is either rule 60 or rule 102, then h µ (F ) = −(p 0 log p 0 + p 1 log p 1 ).
Proof.Without loss of generality, assume that F is rule 60, i.e., λ −1 = 0.The other case can be done similarly.
The measure-theoretic entropy of additive CA with nearest neighborhood can be concluded via Theorems 2 and 3.
where M = max C and m = min C.

Topological entropy
Let O be an open cover of Ω, O is called a strong generator provided, for any δ > 0, there exists Since a cylinder is both open and close, ξ j is a finite open cover of Ω for j ∈ N. The following lemma can be done via a slight change of the proof of Lemma 1.

Lemma 2. Under the assumption of Lemma 1, ξ j is a strong generator provided j large enough.
A strong generator can be used for the calculation of topological entropy.

Theorem 5. Under above assumption, let M, m be the same as in Corollary 1. Then h top
Similarly, if F is rule 90, then ξ 1 is a strong generator and n−1 i=0 The other cases can be done analogously.This completes the proof.
Moreover, under the same consideration of Theorem 3, the following theorem can be derived via a slight change of the proof.
The following corollary is a conclusion of Theorems 5 and 6, which can also be found in [24].
Remark 1. Corollaries 2 and 2 demonstrate that the uniform Bernoulli measure is a measure with maximum entropy.

Ergodicity and Topological Pressure
This section investigates the ergodicity of F and the topological pressure.

Ergodicity
Shirvani and Rogers [19] demonstrate that a one-dimensional two states CA is ergodic provided its local rule is either rightmost or leftmost permutive.This fact has been rediscovered by Shereshevsky [20,21] and Kleveland [22] for permutive CA.Cattaneo et al. [23] extend their result to multi-dimensional additive CA with arbitrary finite alphabet.A different proof for the ergodicity is given via a construction method.

Lemma 3 ([27]
).Let (X, B, µ) be a probability space and let T : X → X be a measure preserving transformation, then A scheme is constructed to show that F is ergodic if F is neither an identity map nor constant zero.Notably, it suffices to show that, for any two cylinder C(p, q) = p [c p , . . ., c q ] q , D(r, s) = r [d r , . . ., d s ] s , there exists n ∈ N such that µ(F −n C(p, q) ∩ D(r, s)) > 0, where p ≤ q, r ≤ s.
To make the scheme much easier to understand, the local rule f (x −1 , x 0 , x 1 ) = x 0 + x 1 , i.e., rule 102, is elucidated as an example.
The proof of Lemma 1 shows that F −n C(p, q) ∈ ξ(p, q + n) for n ∈ N. It comes immediately that, if s < p or q < r, then µ(F −1 C(p, q) ∩ D(r, s)) > 0 since F is rightmost permutive.

Topological pressure
For a given potential function φ ∈ C(Ω, R), the topological entropy can be generalized to the consideration of topological pressure P (F, φ).It is obvious that P (F, φ) = 0 for all φ whenever F is either zero or identity map.Let a 0 , a 1 ∈ R be given and let φ : Ω → R be a potential function that depends on finitely many coordinates, the topological pressure P (F, φ) can be precisely formulated.

Potential functions depend on one coordinate
Let φ : Ω → R be defined by φ(x) = a x 0 , i.e., the potential of each x ∈ Ω is determined by its center coordinate.
Theorem 8. Let M, m be the same as in Corollary 1.If either M or m is nonzero, then P (F, φ) = (M − m − 1) log 2 + log(e a 0 + e a 1 ).
The proof of other cases are similar, and the theorem follows.
The variational principle for topological pressure says that A measure µ is called an equilibrium measure provided P (F, φ) = h µ (F ) + Ω φ dµ.Corollary 1 and Theorem 8 are used for the determination of equilibrium measures.
= log(e a 0 + e a 1 ) − The equality holds if and only if (p i λ)/e a i = 1 for i = 0, 1, i.e., µ is an equilibrium measure if and only if p i = e a i /(e a 0 + e a 1 ) for i = 0, 1.

Potential functions depend on finitely many coordinates
Let φ : Ω → R be defined by φ and let ξ = ξ(k 1 , k 2 ) be a finite partition.Define the transition matrix with respect to φ, where Theorem 9. P (F, φ) = s log 2 + log ρ, where ρ is the spectral radius of 2 −s T φ,F Proof.The case that λ −1 = 0 and λ 0 = λ 1 = 1 is studied.The other cases can be done via analogous method, thus are omitted.
Remark 2. It worth emphasizing that T φ,F 1 and T φ,F 2 are similar for any Moreover, if P is a four by four invertible matrix such that T φ,F 1 = P −1 T φ,F 2 P , then P is the product of permutation matrices.
Remark 3. Theorem 8 can also be done via the same method as above.Whenever a potential function which depends only on one coordinate is considered, the transition matrix is universal for each local rule.That is, T = 2 s e a 0 e a 0 e a 1 e a 1 .

Multiple Symbols and Larger Neighborhood
This section generalizes those results in previous sections to the case that |A| = p and f (x , . . ., x r ) = r i= λ i x i mod p, where p is prime.Without loss of generality, assume that λ and λ r are both nonzero.

Measure-theoretic entropy
Let µ = (s 0 , . . ., s p−1 ) be an F -invariant Bernoulli measure and let C, M and m be the same as in Corollary 1. Analogous consideration still goes for the measure-theoretic entropy of additive CA.

Topological entropy
Similar as discussed in last section, the argument in the proof of Theorem 5 gives an alternative proof for the formula that is demonstrated by Ward [24].

Ergodicity and topological pressure
Theorem 7 can be generalized via the same algorithm.
Let a 0 , . . ., a p−1 ∈ R be given and let φ : Ω → R be defined by φ(x) = a x 0 .The following theorem is a general version of Theorem 8.
where C i ∈ ξ(m, n) and t ij = φ(x) (x ∈ C i ) provided t ij = 0. Theorem 9 can be extended.

Theorem 14 .
Let s = max{0, M + k 1 − m − k 2 − 1}, then P (F, φ) = s log p + log ρ T φ,F , where ρ T φ,F is the spectral radius of T φ,F .It is worth emphasizing that, if either M or −m is greater than or equal to k 2 − k 1 + 1, the topological pressure can be presented byCorollary 3. P (F, φ) = s log p + log exp(a i 1 a i 2 • • • a i k 2 −k 1 +1 ).
The correspondence between the local rules and Wolfram's rules are listed in the following.