7742e995b8258278.tex
1: \begin{abstract}
2:   This tutorial is about cellular automata that exhibit \emph{cold dynamics}.
3:   By this we mean zero Kolmogorov-Sinai entropy, stabilization of all orbits, trivial asymptotic dynamics, or similar properties.
4:   These are essentially transient and irreversible dynamics, but they capture many examples from the literature, ranging from crystal growth to epidemic propagation and symmetric majority vote.
5:   A collection of properties is presented and discussed: nilpotency and asymptotic, generic or mu- variants, unique ergodicity, convergence, bounded-changeness, freezingness.
6:   They all correspond to the \emph{cold dynamics} paradigm at various degrees, and we study their links and differences by key examples and results.
7:   Besides dynamical considerations, we also focus on computational aspects: we show how such \emph{cold cellular automata} can still compute under their dynamical constraints, and what are their computational limitations.
8:   The purpose of this tutorial is to illustrate how the richness and complexity of the model of cellular automata are preserved under such strong constraints.
9:   By putting forward some open questions, it is also an invitation to look more closely at this \emph{cold dynamics} territory, which is far from being completely understood.
10: %\keywords{cellular automata \and convergent orbits \and nilpotency \and freezing cellular automata \and unique ergodicity}
11: % \PACS{PACS code1 \and PACS code2 \and more}
12: % \subclass{MSC code1 \and MSC code2 \and more}
13: \end{abstract}
14: