On the minimal memory set of cellular automata
Abstract
For a group $G$ and a finite set $A$, a cellular automaton (CA) is a transformation $\tau : A^G \to A^G$ defined via a finite memory set $S \subseteq G$ and a local map $\mu : A^S \to A$. Although memory sets are not unique, every CA admits a unique minimal memory set, which consists on all the essential elements of $S$ that affect the behavior of the local map. In this paper, we study the links between the minimal memory set and the generating patterns $\mathcal{P}$ of $\mu$; these are the patterns in $A^S$ that are not fixed when the cellular automaton is applied. In particular, we show that when $\vert S \vert \geq 2$ and $\vert \mathcal{P} \vert$ is not a multiple of $\vert A \vert$, then the minimal memory set must be $S$ itself. Moreover, when $\vert \mathcal{P} \vert = \vert A \vert$, $\vert S \vert \geq 3$, and the restriction of $\mu$ to these patterns is well-behaved, then the minimal memory set must be $S$ or $S \setminus \{s\}$, for some $s \in S \setminus \{e\}$. These are some of the first general theoretical results on the minimal memory set of a cellular automaton.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2024
- DOI:
- 10.48550/arXiv.2404.06394
- arXiv:
- arXiv:2404.06394
- Bibcode:
- 2024arXiv240406394C
- Keywords:
-
- Nonlinear Sciences - Cellular Automata and Lattice Gases;
- Computer Science - Formal Languages and Automata Theory;
- Mathematics - Dynamical Systems;
- 37B15;
- 68Q80
- E-Print:
- 10 pages