Exact Lyapunov spectra of affine cellular automata and the parity rule on networks
📄 arXiv:2606.14521 · 📥 PDF · 2026-06-12 · nlin.CG
Authors: Michiel Rollier [arXiv · scholar] , Jan M. Baetens [arXiv · scholar]
🕰 Orloj analysis
Tento článek představuje metodu pro přesný výpočet Lyapunovových spekter pro afinní celulární automaty, které využívají operaci XOR pro aktualizaci stavu. Metoda se aplikuje na automaty na periodických mřížkách (pomocí diskrétní Fourierovy transformace) a na pravidlo parity na libovolných grafech (pomocí spektra matice sousednosti), přičemž tyto případy sjednocuje pomocí Cayleyho grafů.
💡 Tato práce nabízí významný analytický průlom pro specifickou třídu celulárních automatů, poskytuje exaktní výsledky, které slouží jako klíčové benchmarky a objasňují předchozí numerické aproximace.
Categories:
COS-2
INF-1
MET-1
COS-1
✓ falsifiable, modest_claims
📄 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.