On Computing the Entropy of Cellular Automata

We study the topological entropy of a particular class of dynamical systems: cellular automata. The topological entropy of a dynamical system (X,F) is a measure of the complexity of the dynamics of F over the space X. The problem of computing (or even approximating) the topological entropy of a given cellular automata is algorithmically undecidable (Ergodic Theory Dynamical Systems 12 (1992) 255). In this paper, we show how to compute the entropy of two important classes of cellular automata namely, linear and positively expansive cellular automata. In particular, we prove a closed formula for the topological entropy of D-dimensional (D?1) linear cellular automata over the ring and we provide an algorithm for computing the topological entropy of positively expansive cellular automata

Conjugacy of one-dimensional one-sided cellular automata is undecidable

Two cellular automata are strongly conjugate if there exists a shift-commuting conjugacy between them. We prove that the following two sets of pairs $(F,G)$ of one-dimensional one-sided cellular automata over a full shift are recursively inseparable: (i) pairs where $F$ has strictly larger topological entropy than $G$, and (ii) pairs that are strongly conjugate and have zero topological entropy. Because there is no factor map from a lower entropy system to a higher entropy one, and there is no embedding of a higher entropy system into a lower entropy system, we also get as corollaries that the following decision problems are undecidable: Given two one-dimensional one-sided cellular automata $F$ and $G$ over a full shift: Are $F$ and $G$ conjugate? Is $F$ a factor of $G$? Is $F$ a subsystem of $G$? All of these are undecidable in both strong and weak variants (whether the homomorphism is required to commute with the shift or not, respectively). It also immediately follows that these results hold for one-dimensional two-sided cellular automata.Comment: 12 pages, 2 figures, accepted for SOFSEM 201

Phenomenology of retained refractoriness: On semi-memristive discrete media

We study two-dimensional cellular automata, each cell takes three states: resting, excited and refractory. A resting cell excites if number of excited neighbours lies in a certain interval (excitation interval). An excited cell become refractory independently on states of its neighbours. A refractory cell returns to a resting state only if the number of excited neighbours belong to recovery interval. The model is an excitable cellular automaton abstraction of a spatially extended semi-memristive medium where a cell's resting state symbolises low-resistance and refractory state high-resistance. The medium is semi-memristive because only transition from high- to low-resistance is controlled by density of local excitation. We present phenomenological classification of the automata behaviour for all possible excitation intervals and recovery intervals. We describe eleven classes of cellular automata with retained refractoriness based on criteria of space-filling ratio, morphological and generative diversity, and types of travelling localisations

Studying Parallel Evolutionary Algorithms: The cellular Programming Case

Parallel evolutionary algorithms, studied to some extent over the past few years, have proven empirically worthwhile—though there seems to be lacking a better understanding of their workings. In this paper we concentrate on cellular (fine-grained) models, presenting a number of statistical measures, both at the genotypic and phenotypic levels. We demonstrate the application and utility of these measures on a specific example, that of the cellular programming evolutionary algorithm, when used to evolve solutions to a hard problem in the cellular-automata domain, known as synchronization

When--and how--can a cellular automaton be rewritten as a lattice gas?

Both cellular automata (CA) and lattice-gas automata (LG) provide finite algorithmic presentations for certain classes of infinite dynamical systems studied by symbolic dynamics; it is customary to use the term `cellular automaton' or `lattice gas' for the dynamic system itself as well as for its presentation. The two kinds of presentation share many traits but also display profound differences on issues ranging from decidability to modeling convenience and physical implementability. Following a conjecture by Toffoli and Margolus, it had been proved by Kari (and by Durand--Lose for more than two dimensions) that any invertible CA can be rewritten as an LG (with a possibly much more complex ``unit cell''). But until now it was not known whether this is possible in general for noninvertible CA--which comprise ``almost all'' CA and represent the bulk of examples in theory and applications. Even circumstantial evidence--whether in favor or against--was lacking. Here, for noninvertible CA, (a) we prove that an LG presentation is out of the question for the vanishingly small class of surjective ones. We then turn our attention to all the rest--noninvertible and nonsurjective--which comprise all the typical ones, including Conway's `Game of Life'. For these (b) we prove by explicit construction that all the one-dimensional ones are representable as LG, and (c) we present and motivate the conjecture that this result extends to any number of dimensions. The tradeoff between dissipation rate and structural complexity implied by the above results have compelling implications for the thermodynamics of computation at a microscopic scale.Comment: 16 page