19 research outputs found
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
Topological properties of cellular automata on trees
We prove that there do not exist positively expansive cellular automata
defined on the full k-ary tree shift (for k>=2). Moreover, we investigate some
topological properties of these automata and their relationships, namely
permutivity, surjectivity, preinjectivity, right-closingness and openness.Comment: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.249
The algebraic entropy of one-dimensional finitary linear cellular automata
The aim of this paper is to present one-dimensional finitary linear cellular
automata on from an algebraic point of view. Among various
other results, we:
(i) show that the Pontryagin dual of is a classical
one-dimensional linear cellular automaton on ;
(ii) give several equivalent conditions for to be invertible with inverse
a finitary linear cellular automaton;
(iii) compute the algebraic entropy of , which coincides with the
topological entropy of by the so-called Bridge Theorem.
In order to better understand and describe the entropy we introduce the
degree and of and .Comment: 21 page
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
Subshifts with Simple Cellular Automata
A subshift is a set of infinite one- or two-way sequences over a fixed finite set, defined by a set of forbidden patterns. In this thesis, we study subshifts in the topological setting, where the natural morphisms between them are ones defined by a (spatially uniform) local rule. Endomorphisms of subshifts are called cellular automata, and we call the set of cellular automata on a subshift its endomorphism monoid. It is known that the set of all sequences (the full shift) allows cellular automata with complex dynamical and computational properties. We are interested in subshifts that do not support such cellular automata. In particular, we study countable subshifts, minimal subshifts and subshifts with additional universal algebraic structure that cellular automata need to respect, and investigate certain criteria of ‘simplicity’ of the endomorphism monoid, for each of them. In the case of countable subshifts, we concentrate on countable sofic shifts, that is, countable subshifts defined by a finite state automaton. We develop some general tools for studying cellular automata on such subshifts, and show that nilpotency and periodicity of cellular automata are decidable properties, and positive expansivity is impossible. Nevertheless, we also prove various undecidability results, by simulating counter machines with cellular automata. We prove that minimal subshifts generated by primitive Pisot substitutions only support virtually cyclic automorphism groups, and give an example of a Toeplitz subshift whose automorphism group is not finitely generated. In the algebraic setting, we study the centralizers of CA, and group and lattice homomorphic CA. In particular, we obtain results about centralizers of symbol permutations and bipermutive CA, and their connections with group structures.Siirretty Doriast
Statistical Mechanics of Surjective Cellular Automata
Reversible cellular automata are seen as microscopic physical models, and
their states of macroscopic equilibrium are described using invariant
probability measures. We establish a connection between the invariance of Gibbs
measures and the conservation of additive quantities in surjective cellular
automata. Namely, we show that the simplex of shift-invariant Gibbs measures
associated to a Hamiltonian is invariant under a surjective cellular automaton
if and only if the cellular automaton conserves the Hamiltonian. A special case
is the (well-known) invariance of the uniform Bernoulli measure under
surjective cellular automata, which corresponds to the conservation of the
trivial Hamiltonian. As an application, we obtain results indicating the lack
of (non-trivial) Gibbs or Markov invariant measures for "sufficiently chaotic"
cellular automata. We discuss the relevance of the randomization property of
algebraic cellular automata to the problem of approach to macroscopic
equilibrium, and pose several open questions.
As an aside, a shift-invariant pre-image of a Gibbs measure under a
pre-injective factor map between shifts of finite type turns out to be always a
Gibbs measure. We provide a sufficient condition under which the image of a
Gibbs measure under a pre-injective factor map is not a Gibbs measure. We point
out a potential application of pre-injective factor maps as a tool in the study
of phase transitions in statistical mechanical models.Comment: 50 pages, 7 figure
Defect Particle Kinematics in One-Dimensional Cellular Automata
Let A^Z be the Cantor space of bi-infinite sequences in a finite alphabet A,
and let sigma be the shift map on A^Z. A `cellular automaton' is a continuous,
sigma-commuting self-map Phi of A^Z, and a `Phi-invariant subshift' is a
closed, (Phi,sigma)-invariant subset X of A^Z. Suppose x is a sequence in A^Z
which is X-admissible everywhere except for some small region we call a
`defect'. It has been empirically observed that such defects persist under
iteration of Phi, and often propagate like `particles'. We characterize the
motion of these particles, and show that it falls into several regimes, ranging
from simple deterministic motion, to generalized random walks, to complex
motion emulating Turing machines or pushdown automata. One consequence is that
some questions about defect behaviour are formally undecidable.Comment: 37 pages, 9 figures, 3 table
Upper Bound on the Products of Particle Interactions in Cellular Automata
Particle-like objects are observed to propagate and interact in many
spatially extended dynamical systems. For one of the simplest classes of such
systems, one-dimensional cellular automata, we establish a rigorous upper bound
on the number of distinct products that these interactions can generate. The
upper bound is controlled by the structural complexity of the interacting
particles---a quantity which is defined here and which measures the amount of
spatio-temporal information that a particle stores. Along the way we establish
a number of properties of domains and particles that follow from the
computational mechanics analysis of cellular automata; thereby elucidating why
that approach is of general utility. The upper bound is tested against several
relatively complex domain-particle cellular automata and found to be tight.Comment: 17 pages, 12 figures, 3 tables,
http://www.santafe.edu/projects/CompMech/papers/ub.html V2: References and
accompanying text modified, to comply with legal demands arising from
on-going intellectual property litigation among third parties. V3: Accepted
for publication in Physica D. References added and other small changes made
per referee suggestion
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