Flexible Toggles and Symmetric Invertible Asynchronous Elementary Cellular Automata

TL;DR

This paper classifies the dynamics of symmetric invertible sequential dynamical systems on cycle graphs over binary states, revealing explicit formulas for periodic points and connections to generalized toggle groups.

Contribution

It introduces the concept of flexible toggle groups and classifies the dynamics of symmetric invertible SDS on cycle graphs with explicit periodic point formulas.

Findings

Explicit formulas for the number of periodic points of each period

At most three nonzero values for periodic point counts when fixing period and varying parameters

Connection between SDS maps and Coxeter elements of flexible toggle groups

Abstract

A sequential dynamical system (SDS) consists of a graph $G$ with vertices $v_1,v_2,\ldots,v_n$, a state set $A$, a collection of "vertex functions" $\{f_{v_i}\}_{i=1}^n$, and a permutation $\pi\in S_n$ that specifies how to compose these functions to yield the SDS map $[G,\{f_{v_i}\}_{i=1}^n,\pi]\colon A^n\to A^n$. In this paper, we study symmetric invertible SDS defined over the cycle graph $C_n$ using the set of states $\mathbb F_2$. These are, in other words, asynchronous elementary cellular automata (ECA) defined using ECA rules 150 and 105. Each of these SDS defines a group action on the set $\mathbb F_2^n$ of $n$-bit binary vectors. Because the SDS maps are products of involutions, this relates to \emph{generalized toggle groups}, which Striker recently defined. In this paper, we further generalize the notion of a generalized toggle group to that of a \emph{flexible toggle group}; the SDS maps we consider are examples of Coxeter elements of flexible toggle groups. Our main result is the complete classification of the dynamics of symmetric invertible SDS defined over cycle graphs using the set of states $\mathbb F_2$ and the identity update order $\pi=123\cdots n$. More precisely, if $T$ denotes the SDS map of such an SDS, then we obtain an explicit formula for $|\text{Per}_r(T)|$, the number of periodic points of $T$ of period $r$, for every positive integer $r$. It turns out that if we fix $r$ and vary $n$ and $T$, then $|\text{Per}_r(T)|$ only takes at most three nonzero values.