Remarks on permutive cellular automata

AbstractWe prove that every two-dimensional permutive cellular automaton is conjugate to a one-sided shift with compact set of states

SURJECTIVE MULTIBAND LINEAR CELLULAR AUTOMATA AND SMITH'S NORMAL FORM

ABSTRACT In this paper the Smith normal form of certain matrices is used to provide another char acterization for the surjectivity of one-dimensional linear cellular automata with multiple local rules over the ring ZN of integers modulo N =3D 2.. We reached this goal through an adaptation of a well known result of G. A. Hedlund which characterize the surjectivity of general one-dimensional cellular automata. Keywords: Smith normal form multiband cellular automata.RESUMENAUT 3MATAS CELULARES SOBREYECTIVOS MULTIBANDA Y LA FORMA NORMAL DE SMITH En este art\uedculo es empleada la forma normal de Smith de ciertas matrices para ofrecer otra caracterizaci\uf3n de la sobreyectividad de aut\uf3matas celulares lineales unidimensionales con m\ufaltiples reglas local sobre el anillo ZN de los enteros m\uf3dulo N =3D 2. El objetivo es logrado mediante la adaptaci\uf3n de un conocido resultado de G. A. Hedlund que caracteriza la sobreyectividad de aut\uf3matas celulares unidimensionales en general. Palabras Claves del Autor: Forma Normal de Smith, Aut\uf3matas Celulares Multibandas.<br

Spectral properties of reversible one-dimensional cellular automata

Reversible cellular automata are invertible dynamical systems characterized by discreteness, determinism and local interaction. This article studies the local behavior of reversible one-dimensional cellular automata by means of the spectral properties of their connectivity matrices. We use the transformation of every one-dimensional cellular automaton to another of neighborhood size 2 to generalize the results exposed in this paper. In particular we prove that the connectivity matrices have a single positive eigenvalue equal to 1; based on this result we also prove the idempotent behavior of these matrices. The significance of this property lies in the implementation of a matrix technique for detecting whether a one-dimensional cellular automaton is reversible or not. In particular, we present a procedure using the eigenvectors of these matrices to find the inverse rule of a given reversible one-dimensional cellular automaton. Finally illustrative examples are provided

Multiband linear cellular automata and endomorphisms of algebraic vector groups

We propose a correspondence between certain multiband linear cellular automata - models of computation widely used in the description of physical phenomena - and endomorphisms of certain algebraic unipotent groups over finite fields. The correspondence is based on the construction of a universal element specialising to a normal generator for any finite field. We use this correspondence to deduce new results concerning the temporal dynamics of such automata, using our prior, purely algebraic, study of the endomorphism ring of vector groups. These produce 'for free' a formula for the number of fixed points of the $n$-iterate in terms of the $p$-adic valuation of $n$, a dichotomy for the Artin-Mazur dynamical zeta function, and an asymptotic formula for the number of periodic orbits. Since multiband linear cellular automata simulate higher order linear automata (in which states depend on finitely many prior temporal states, not just the direct predecessor), the results apply equally well to that class.Comment: 11 page

From Linear to Additive Cellular Automata

This paper proves the decidability of several important properties of additive cellular automata over finite abelian groups. First of all, we prove that equicontinuity and sensitivity to initial conditions are decidable for a nontrivial subclass of additive cellular automata, namely, the linear cellular automata over \u207f, where is the ring \u2124/m\u2124. The proof of this last result has required to prove a general result on the powers of matrices over a commutative ring which is of interest in its own. Then, we extend the decidability result concerning sensitivity and equicontinuity to the whole class of additive cellular automata over a finite abelian group and for such a class we also prove the decidability of topological transitivity and all the properties (as, for instance, ergodicity) that are equivalent to it. Finally, a decidable characterization of injectivity and surjectivity for additive cellular automata over a finite abelian group is provided in terms of injectivity and surjectivity of an associated linear cellular automata over \u207f

Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties

We study the dynamical behavior of D-dimensional (D >= 1) additive cellular automata where the alphabet is any finite abelian group. This class of discrete time dynamical systems is a generalization of the systems extensively studied by many authors among which one may list [Masanobu Ito et al., 1983; Giovanni Manzini and Luciano Margara, 1999; Giovanni Manzini and Luciano Margara, 1999; Jarkko Kari, 2000; Gianpiero Cattaneo et al., 2000; Gianpiero Cattaneo et al., 2004]. Our main contribution is the proof that topologically transitive additive cellular automata are ergodic. This result represents a solid bridge between the world of measure theory and that of topology theory and greatly extends previous results obtained in [Gianpiero Cattaneo et al., 2000; Giovanni Manzini and Luciano Margara, 1999] for linear CA over Z_m i.e. additive CA in which the alphabet is the cyclic group Z_m and the local rules are linear combinations with coefficients in Z_m. In our scenario, the alphabet is any finite abelian group and the global rule is any additive map. This class of CA strictly contains the class of linear CA over Z_m^n, i.e.with the local rule defined by n x n matrices with elements in Z_m which, in turn, strictly contains the class of linear CA over Z_m. In order to further emphasize that finite abelian groups are more expressive than Z_m we prove that, contrary to what happens in Z_m, there exist additive CA over suitable finite abelian groups which are roots (with arbitrarily large indices) of the shift map. As a consequence of our results, we have that, for additive CA, ergodic mixing, weak ergodic mixing, ergodicity, topological mixing, weak topological mixing, topological total transitivity and topological transitivity are all equivalent properties. As a corollary, we have that invertible transitive additive CA are isomorphic to Bernoulli shifts. Finally, we provide a first characterization of strong transitivity for additive CA which we suspect it might be true also for the general case

Universal groups of cellular automata

We prove that the group of reversible cellular automata (RCA), on any alphabet $A$, contains a perfect subgroup generated by six involutions which contains an isomorphic copy of every finitely-generated group of RCA on any alphabet $B$. This result follows from a case study of groups of RCA generated by symbol permutations and partial shifts with respect to a fixed Cartesian product decomposition of the alphabet. For prime alphabets, we show that this group is virtually cyclic, and that for composite alphabets it is non-amenable. For alphabet size four, it is a linear group. For non-prime non-four alphabets, it contains copies of all finitely-generated groups of RCA. We also obtain that RCA of biradius one on all large enough alphabets generate copies of all finitely-generated groups of RCA. We ask a long list of questions.Comment: Major scientific revision: fixed serious problem in the universality proof and solved the main questions + many smaller improvements. Comments welcome

On Undecidable Dynamical Properties of Reversible One-Dimensional Cellular Automata

Cellular automata are models for massively parallel computation. A cellular automaton consists of cells which are arranged in some kind of regular lattice and a local update rule which updates the state of each cell according to the states of the cell's neighbors on each step of the computation. This work focuses on reversible one-dimensional cellular automata in which the cells are arranged in a two-way in_nite line and the computation is reversible, that is, the previous states of the cells can be derived from the current ones. In this work it is shown that several properties of reversible one-dimensional cellular automata are algorithmically undecidable, that is, there exists no algorithm that would tell whether a given cellular automaton has the property or not. It is shown that the tiling problem of Wang tiles remains undecidable even in some very restricted special cases. It follows that it is undecidable whether some given states will always appear in computations by the given cellular automaton. It also follows that a weaker form of expansivity, which is a concept of dynamical systems, is an undecidable property for reversible one-dimensional cellular automata. It is shown that several properties of dynamical systems are undecidable for reversible one-dimensional cellular automata. It shown that sensitivity to initial conditions and topological mixing are undecidable properties. Furthermore, non-sensitive and mixing cellular automata are recursively inseparable. It follows that also chaotic behavior is an undecidable property for reversible one-dimensional cellular automata.Siirretty Doriast

Universal groups of cellular automata

We prove that the group of reversible cellular automata (RCA), on any alphabet A, contains a subgroup generated by three involutions which contains an iso-morphic copy of every finitely generated group of RCA on any alphabet B. This result follows from a case study of groups of RCA generated by symbol permutations and par-tial shifts (equivalently, partitioned cellular automata) with respect to a fixed Cartesian product decomposition of the alphabet. For prime alphabets, we show that this group is virtually cyclic, and that for composite alphabets it is non-amenable. For alphabet size four, it is a linear group. For non-prime non-four alphabets, it contains copies of all finitely generated groups of RCA. We also prove this property for the group generated by RCA of biradius one on any full shift with large enough alphabet, and also for some perfect finitely generated groups of RCA