Universality in Freezing Cellular Automata

Abstract : Cellular Automata have been used since their introduction as a discrete tool of modelization. In many of the physical processes one may modelize thus (such as bootstrap percolation, forest fire or epidemic propagation models, life without death, etc), each local change is irreversible. The class of \emph{freezing} Cellular Automata (FCA) captures this feature. In a freezing cellular automaton the states are ordered and the cells can only decrease their state according to this ``freezing-order''. We investigate the dynamics of such systems through the questions of simulation and universality in this class: is there a Freezing Cellular Automaton (FCA) that is able to simulate any Freezing Cellular Automata, i.e. an intrinsically universal FCA? We show that the answer to that question is sensitive to both the number of changes cells are allowed to make, and geometric features of the space. In dimension 1, there is no universal FCA. In dimension 2, if either the number of changes is at least 2, or the neighborhood is Moore, then there are universal FCA. On the other hand, there is no universal FCA with one change and Von Neumann neighborhood. We also show that monotonicity of the local rule with respect to the freezing-order (a common feature of bootstrap percolation) is also an obstacle to universality.
Type de document :
Communication dans un congrès
14th Conference on Computability in Europe (CiE 2018), Jul 2018, Kiel, Germany. Springer, 10936, pp. 50-59, 2018, Lecture Notes in Computer Science. 〈10.1007/978-3-319-94418-0_5〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01772500
Contributeur : Guillaume Theyssier <>
Soumis le : vendredi 20 avril 2018 - 12:27:46
Dernière modification le : jeudi 7 février 2019 - 16:46:58
Document(s) archivé(s) le : mardi 18 septembre 2018 - 20:51:42

Fichiers

UFCA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Florent Becker, Diego Maldonado, Nicolas Ollinger, Guillaume Theyssier. Universality in Freezing Cellular Automata. 14th Conference on Computability in Europe (CiE 2018), Jul 2018, Kiel, Germany. Springer, 10936, pp. 50-59, 2018, Lecture Notes in Computer Science. 〈10.1007/978-3-319-94418-0_5〉. 〈hal-01772500〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

34