Characterisation of limit measures of higher-dimensional cellular automata
From MaRDI portal
Abstract: We consider the typical asymptotic behaviour of cellular automata of higher dimension (greater than 2). That is, we take an initial configuration at random according to a Bernoulli (i.i.d) probability measure, iterate some cellular automaton, and consider the (set of) limit probability measure(s) as time tends to infinity. In this paper, we prove that limit measures that can be reached by higher-dimensional cellular automata are completely characterised by computability conditions, as in the one-dimensional case. This implies that cellular automata have the same variety and complexity of typical asymptotic behaviours as Turing machines, and that any nontrivial property in this regard is undecidable (Rice-type theorem). These results extend to connected sets of limit measures and Ces`aro mean convergence. The main tool is the implementation of arbitrary computation in the time evolution of a cellular automata in such a way that it emerges and self-organises from a random configuration.
Recommendations
- Characterization of sets of limit measures of a cellular automaton iterated on a random configuration
- Limit measures for affine cellular automata
- Limit measures for affine cellular automata II
- Limit sets of cellular automata associated to probability measures
- Higher-dimensional point transformations and asymptotic measures for cellular automata
- On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
- Measure theoretic approach to the classification of cellular automata
- On the measure attractor of a cellular automaton
- Limit behaviour of -equicontinuous cellular automata
- On the Limit Sets of Cellular Automata
Cites work
- \(\mu\)-limit sets of cellular automata from a computational complexity perspective
- Construction of -limit sets of two-dimensional cellular automata
- Endomorphisms and automorphisms of the shift dynamical system
- scientific article; zbMATH DE number 3799981 (Why is no real title available?)
- Limit sets of cellular automata associated to probability measures
- Limit sets of stable and unstable cellular automata
- New Computational Paradigms
- On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
- On the sofic limit sets of cellular automata
- Rice's theorem for -limit sets of cellular automata
- Rice's theorem for the limit sets of cellular automata
- Statistical mechanics of surjective cellular automata
- The Arithmetical Hierarchy of Real Numbers
Cited in
(15)- Measure theoretic approach to the classification of cellular automata
- The work of Mike Hochman on multidimensional symbolic dynamics and Borel dynamics
- Self-organisation in cellular automata with coalescent particles: qualitative and quantitative approaches
- Limit behaviour of -equicontinuous cellular automata
- Progress, gaps and obstacles in the classification of cellular automata
- Construction of -limit sets of two-dimensional cellular automata
- Multidimensional cellular automata and generalization of Fekete's Lemma
- Characterization of sets of limit measures of a cellular automaton iterated on a random configuration
- k-Mixing Properties of Multidimensional Cellular Automata
- Characterizing asymptotic randomization in abelian cellular automata
- scientific article; zbMATH DE number 270137 (Why is no real title available?)
- On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
- Cold dynamics in cellular automata: a tutorial
- A comprehensive taxonomy of cellular automata
- Higher-dimensional point transformations and asymptotic measures for cellular automata
This page was built for publication: Characterisation of limit measures of higher-dimensional cellular automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1693998)
