Shift-symmetric configurations in two-dimensional cellular automata: Irreversibility, insolvability, and enumeration

From MaRDI portal
Publication:5227589

DOI10.1063/1.5089889zbMATH Open1416.37015arXiv1703.09030OpenAlexW2617486868WikidataQ91559800 ScholiaQ91559800MaRDI QIDQ5227589FDOQ5227589

Martin Cenek, Peter Banda, John S. IV Caughman, Christof Teuscher

Publication date: 6 August 2019

Published in: Chaos: An Interdisciplinary Journal of Nonlinear Science (Search for Journal in Brave)

Abstract: The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have long been a central focus of complexity science and physics. To better grasp and understand symmetry of configurations in decentralized toroidal architectures, we employ group-theoretic methods, which allow us to identify and enumerate these inputs, and argue about irreversible system behaviors with undesired effects on many computational problems. The concept of so-called configuration shift-symmetry is applied to two-dimensional cellular automata as an ideal model of computation. Regardless of the transition function, the results show the universal insolvability of crucial distributed tasks, such as leader election, pattern recognition, hashing, and encryption. By using compact enumeration formulas and bounding the number of shift-symmetric configurations for a given lattice size, we efficiently calculate the probability of a configuration being shift-symmetric for a uniform or density-uniform distribution. Further, we devise an algorithm detecting the presence of shift-symmetry in a configuration. Given the resource constraints, the enumeration and probability formulas can directly help to lower the minimal expected error and provide recommendations for system's size and initialization. Besides cellular automata, the shift-symmetry analysis can be used to study the non-linear behavior in various synchronous rule-based systems that include inference engines, Boolean networks, neural networks, and systolic arrays.


Full work available at URL: https://arxiv.org/abs/1703.09030




Recommendations



Cites Work






This page was built for publication: Shift-symmetric configurations in two-dimensional cellular automata: Irreversibility, insolvability, and enumeration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5227589)