Exact Lyapunov spectra of affine cellular automata and the parity rule on networks

Abstract

The Lyapunov exponent quantifies the sensitivity of a dynamical system to perturbations, and the full Lyapunov spectrum extends this to every orthogonal direction in tangent space. For cellular automata the spectrum is almost always approximated numerically, and the approximation is delicate. We show that the affine rules, those whose update is a XOR of a subset of the inputs together with a constant, admit an exact Lyapunov spectrum. An affine rule has a configuration-independent Boolean Jacobian, so the spectrum reduces to the logarithms of the singular values of a single constant matrix, with no simulation and no limit involved. Two cases carry a closed form. For an affine cellular automaton on a periodic lattice the Jacobian is a multilevel circulant matrix, and the spectrum is the discrete Fourier transform of the rule's gradient stencil, valid in any spatial dimension. For the parity rule on an arbitrary graph the Jacobian is the adjacency matrix itself, so the Lyapunov spectrum is the logarithm of the absolute adjacency spectrum, and the maximal exponent is the logarithm of the spectral radius. The long-time amplitude of a single-site perturbation then scales with the eigenvector centrality of the seeded node. Reading the periodic lattice as the Cayley graph of an abelian group unifies the two cases. Because they are exact, the affine spectra also serve as benchmarks: they reveal numerical artefacts in previously reported spectra and turn the informal correspondence between spectral radius and dynamical sensitivity into an exact identity.