https://arxiv.org/api/NS854aH/lE5LUtuaxQSCtKg7rzw 2026-03-26T08:26:47Z 1647 135 15 http://arxiv.org/abs/2410.03586v1 2024-10-04T16:46:57Z

Issues in co-evolutionary population dynamics have long been studied via computationally intensive simulations of minimally simple agent-based models, known as Evolutionary Spatial Cyclic Games (ESCGs), involving multiple interacting biological species in which each agent has its own unique spatial location in a cell on a regular lattice, and can move from cell to cell over time. Many papers have been published exploring the dynamics of ESCGs where competitive inter-species predator/prey relationships are modelled via the cyclic game Rock-Paper-Scissors (RPS) for three species, or Rock-Paper-Scissors-Lizard-Spock (RPSLS) for five. At the core of these simulations is the "Elementary Step" (ES), in which one or two agents are chosen at random to either compete to the death, or to reproduce, or to move location. ESCG studies typically involve executing trillions of ESs and hence the computational efficiency of the core ES algorithm is a key concern. In this paper I demonstrate that the de facto standard "Original ES" (OES) algorithm is computationally inefficient both in time and in space due to the implicit execution of many "no-op" commands (i.e., commands that do nothing) and because at steady state large numbers of cells can be empty, and yet empty cells serve no purpose. I present a new "Revised ES" (RES) algorithm which eliminates these inefficiencies, and I show empirically that ESCGs with RES exhibit qualitatively the same characteristics as those with OES, and are also markedly more stable. The more stable dynamics of RES-based simulations means that they can be run with smaller lattices than when using OES, leading to reductions in total simulation times of 85% or more. Python source code developed for the experiments reported here is freely available on GitHub.

2024-10-04T16:46:57Z 21 pages; 32 Figures; 27 References. Accepted for publication at the 36th European Modeling and Simulation Symposiuum (EMSS2024), September 2024 Dave Cliff http://arxiv.org/abs/2404.16950v2 2024-09-25T12:37:35Z

In reaction-diffusion models of annihilation reactions in low dimensions, single-particle dynamics provides a bottleneck for reactions, leading to an anomalously slow approach to the empty state. Here, we construct a reaction model with a reciprocal bottleneck on particle dynamics where single-particle motion conserves the center of mass. We show that such a constrained reaction-diffusion dynamics does not approach an empty state but freezes at late times in a state with fragmented particle clusters, and that the late-time dynamics and asymptotic density are universal. Our setup thus constitutes a minimal model for the fragmentation of a one-dimensional lattice into independent particle clusters, and we provide exact results for the final density in the large-reaction rate limit. We suggest that the universal reaction dynamics could be observable in experiments with cold atoms or in the Auger recombination of exciton gases.

2024-04-25T18:02:10Z 4 pages, 4 figures. Updated to agree with journal version, minor changes Phys. Rev. Research 6, (2024) L032071 Enrique Rozas Garcia Alfred Weddig Karlsson Johannes Hofmann 10.1103/PhysRevResearch.6.L032071 http://arxiv.org/abs/2409.12029v1 2024-09-18T14:45:23Z

We study open-ended evolution by focusing on computational and information-processing dynamics underlying major evolutionary transitions. In doing so, we consider biological organisms as hierarchical dynamical systems that generate regularities in their phase-spaces through interactions with their environment. These emergent information patterns can then be encoded within the organism's components, leading to self-modelling "tangled hierarchies". Our main conjecture is that when macro-scale patterns are encoded within micro-scale components, it creates fundamental tensions (computational inconsistencies) between what is encodable at a particular evolutionary stage and what is potentially realisable in the environment. A resolution of these tensions triggers an evolutionary transition which expands the problem-space, at the cost of generating new tensions in the expanded space, in a continual process. We argue that biological complexification can be interpreted computation-theoretically, within the Gödel--Turing--Post recursion-theoretic framework, as open-ended generation of computational novelty. In general, this process can be viewed as a meta-simulation performed by higher-order systems that successively simulate the computation carried out by lower-order systems. This computation-theoretic argument provides a basis for hypothesising the biological arrow of time.

2024-09-18T14:45:23Z 30 pages, 13 figures Mikhail Prokopenko Paul C. W. Davies Michael Harré Marcus Heisler Zdenka Kuncic Geraint F. Lewis Ori Livson Joseph T. Lizier Fernando E. Rosas http://arxiv.org/abs/2401.08408v2 2024-09-18T13:57:44Z

Cellular automata (CAs) are fully-discrete dynamical models that have received much attention due to the fact that their relatively simple setup can nonetheless express highly complex phenomena. Despite the model's theoretical maturity and abundant computational power, the current lack of a complete survey on the 'taxonomy' of various families of CAs impedes efficient and interdisciplinary progress. This review paper mitigates that deficiency; it provides a methodical overview of five important CA 'families': asynchronous, stochastic, multi-state, extended-neighbourhood, and non-uniform CAs. These five CA families are subsequently presented from four angles. First, a rigorous mathematical definition is given. Second, we map prominent variations within each CA family, as such highlighting mathematical equivalences with types from other families. Third, we discuss the genotype and phenotype of these CA types by means of mathematical tools, indicating when established tools break down. Fourth, we conclude each section with a brief overview of applications related to information theory and mathematical modelling.

2024-01-16T14:49:16Z 48 pages, 7 figures, 5 tables, 386 references Michiel Rollier Kallil M. C. Zielinski Aisling J. Daly Odemir M. Bruno Jan M. Baetens 10.1016/j.cnsns.2024.108362 http://arxiv.org/abs/2305.07423v4 2024-09-17T15:11:04Z

We study the dynamics of a classical circuit corresponding to a discrete-time kinetically constrained East model. We show that this classical "Floquet-East" model displays pre-transition behaviour which is a dynamical equivalent of the hydrophobic effect in water. For the deterministic version of the model we prove exactly: (i) a change in scaling with size in the probability of inactive space-time regions (akin to the "energy-entropy" crossover of the solvation free energy in water), (ii) a first-order phase transition in the dynamical large deviations, (iii) the existence of the optimal geometry for local phase separation to accommodate space-time solutes, and (iv) a dynamical analog of "hydrophobic collapse".

2023-05-12T12:45:42Z 15 pages, 5 figures; v4 final version, as appears in Phys. Rev. E Phys. Rev. E 110, L022101 (2024) Katja Klobas Cecilia De Fazio Juan P. Garrahan 10.1103/PhysRevE.110.L022101 http://arxiv.org/abs/2409.04780v1 2024-09-07T09:41:57Z

Elementary cellular automata deterministically map a binary sequence to another using simple local rules. Visualizing the structure of this mapping is difficult because the number of nodes (i.e. possible binary sequences) grows exponentially. If periodic boundary conditions are used, rotation of a sequence and rule application to that sequence commute. This allows us to recover the rotational invariance property of loops and to reduce the number of nodes by only considering binary necklaces, the equivalence class of n-character strings taking all rotations as equivalent. Combining together many equivalent histories reveals the general structure of the rule, both visually and computationally. In this work, we investigate the structure of necklace-networks induced by the 256 Elementary Cellular Automata rules and show how their network structure change as the length of necklaces grow.

2024-09-07T09:41:57Z Published in the Proceedings of the 2024 Artificial Life Conference (arXiv version w/ Appendix) Lapo Frati Csenge Petak Nick Cheney 10.1162/isal_a_00783 http://arxiv.org/abs/2409.02740v1 2024-09-04T14:21:00Z

The emergent dynamics in spacetime diagrams of cellular automata (CAs) is often organised by means of a number of behavioural classes. Whilst classification of elementary CAs is feasible and well-studied, non-elementary CAs are generally too diverse and numerous to exhaustively classify manually. In this chapter we treat the spacetime diagram as a digital image, and implement simple computer vision techniques to perform an automated classification of elementary cellular automata into the five Li-Packard classes. In particular, we present a supervised learning task to a convolutional neural network, in such a way that it may be generalised to non-elementary CAs. If we want to do so, we must divert the algorithm's focus away from the underlying 'microscopic' local updates. We first show that previously developed deep learning approaches have in fact been trained to identify the local update rule, rather than directly focus on the mesoscopic patterns that are associated with the particular behavioural classes. By means of a well-argued neural network design, as well as a number of data augmentation techniques, we then present a convolutional neural network that performs nearly perfectly at identifying the behavioural class, without necessarily first identifying the underlying microscopic dynamics.

2024-09-04T14:21:00Z 19 pages, 12 figures, book chapter Michiel Rollier Aisling J. Daly Jan M. Baetens 10.1007/978-3-031-81097-8_3 http://arxiv.org/abs/2409.02722v1 2024-09-04T13:58:51Z

Cellular automata (CAs) and convolutional neural networks (CNNs) are closely related due to the local nature of information processing. The connection between these topics is beneficial to both related fields, for conceptual as well as practical reasons. Our contribution solidifies this connection in the case of non-uniform CAs (nuCAs), simulating a global update in the architecture of the Python package TensorFlow. Additionally, we demonstrate how the highly optimised out-of-the-box multiprocessing in TensorFlow offers interesting computational benefits, especially when simulating large numbers of nuCAs with many cells.

2024-09-04T13:58:51Z 10 pages, 5 figures, Conference Proceedings Article Cellular Automata. ACRI 2024. Lecture Notes in Computer Science, vol 14978. Springer, Cham., 2024 Michiel Rollier Aisling J. Daly Odemir M. Bruno Jan M. Baetens 10.1007/978-3-031-71552-5_11 http://arxiv.org/abs/2408.09201v1 2024-08-17T13:41:18Z

Probabilistic Cellular Automata are a generalization of Cellular Automata. Despite their simple definition, they exhibit fascinating and complex behaviours. The stationary behaviour of these models changes when model parameters are varied, making the study of their phase diagrams particularly interesting. The block approximation method, also known in this context as the local structure approach, is a powerful tool for studying the main features of these diagrams, improving upon Mean Field results. This work considers systems with multiple stationary states, aiming to understand how their interactions give rise to the structure of the phase diagram. Additionally, it shows how a simple algorithmic implementation of the block approximation allows for the effective study of the phase diagram even in the presence of several absorbing states.

2024-08-17T13:41:18Z E. N. M. Cirillo G. Lancia C. Spitoni http://arxiv.org/abs/2407.06175v2 2024-08-16T19:06:41Z

Elementary cellular automata are the simplest form of cellular automata, studied extensively by Wolfram in the 1980s. He discovered complex behavior in some of these automata and developed a classification for all cellular automata based on their phenomenology. In this paper, we present an algorithm to classify them more effectively by measuring difference patterns using the Hamming distance. Our classification aligns with Wolfram's and further categorizes them into additional subclasses.

2024-07-08T17:49:56Z Gaspar Alfaro Miguel A. F. Sanjuán http://arxiv.org/abs/2408.06691v2 2024-08-16T02:02:22Z

Exactly ergodicity in boundary-driven semi-infinite cellular automata (CA) are investigated. We establish all the ergodic rules in CA with 3, 4, and 5 states. We analytically prove the ergodicity for 12 rules in 3-state CA and 118320 rules in 5-state CA with any ergodic and periodic boundary condition, and numerically confirm all the other rules non-ergodic with some boundary condition. We classify ergodic rules into several patterns, which exhibit a variety of ergodic structure.

2024-08-13T07:29:32Z 63 pages, 47 figures Naoto Shiraishi Shinji Takesue http://arxiv.org/abs/2408.06379v1 2024-08-09T14:02:55Z

This work discusses simple examples how quantum systems are obtained as subsystems of classical statistical systems. For a single qubit with arbitrary Hamiltonian and for the quantum particle in a harmonic potential we provide explicitly all steps how these quantum systems follow from an overall ''classical" probability distribution for events at all times. This overall probability distribution is the analogue of Feynman's functional integral for quantum mechanics or for the functional integral defining a quantum field theory. In our case the action and associated weight factor are real, however, defining a classical probabilistic system. Nevertheless, a unitary time-evolution of wave functions can be realized for suitable systems, in particular probabilistic automata. Based on these insights we discuss novel aspects for correlated computing not requiring the extreme isolation of quantum computers. A simple neuromorphic computer based on neurons in an active or quiet state within a probabilistic environment can learn the unitary transformations of an entangled two-qubit system. Our explicit constructions constitute a proof that no-go theorems for the embedding of quantum mechanics in classical statistics are circumvented. We show in detail how subsystems of classical statistical systems can explain various ``quantum mysteries". Conceptually our approach is a straightforward derivation starting from an overall probability distribution without invoking non-locality, acausality, contextuality, many worlds or other additional concepts. All quantum laws follow directly from the standard properties of classical probabilities.

2024-08-09T14:02:55Z This work partly covers the second part of the first version of arXiv:2011.02867, which has been split into two parts. The material and discussion are substantially extended. 83 pages, 8 figures C. Wetterich http://arxiv.org/abs/2407.21086v1 2024-07-30T13:06:26Z

Like Life, Lenia CA support a range of patterns that move, interact with their environment, and/or are modified by said interactions. These patterns maintain a cohesive, self-organizing morphology, i.e. they exemplify autopoiesis, the self-organization principle of a network of components and processes maintaining themselves. Recent work implementing Asymptotic Lenia as a reaction-diffusion system reported that non-Platonic behavior in standard Lenia may depend on the clipping function, and that ALenia gliders are likely not subject to non-Platonic instability. In this work I show an example of a glider in ALenia that depends on a certain simulation coarseness for autopoietic competence: when simulated with too fine spatial or temporal resolution the glider no longer maintains its morphology or dynamics. I also show that instability maps of the asymptotic Lenia glider, and others in different CA framworks, show fractal retention of fine boundary detail down to the limit of floating point precision.

2024-07-30T13:06:26Z Published at the 2024 Conference on Artificial Life 2024 Conference on Artificial Life Q. Tyrell Davis 10.1162/isal_a_00786 http://arxiv.org/abs/2402.05404v2 2024-07-27T04:17:46Z

Finite cellular automata (FCA) are widely used in simulating nonlinear complex systems, and their reversibility is closely related to information loss during the evolution. However, only a relatively small portion of their reversibility problems has been solved. In this paper, we perform calculations on two graphs and discover that the reversibility of any one-dimensional FCA exhibits periodicity as the number of cells increases. We also successfully provide a method to compute the reversibility sequence that encompasses the reversibility of one-dimensional FCA with any number of cells. Additionally, the calculations in this paper are applicable to FCA with various types of boundaries. This means that we will have an efficient method to determine the reversibility of almost all one-dimensional FCA, with a complexity independent of cell number.

2024-02-08T04:46:56Z Chen Wang Junchi Ma Chao Wang Defu Lin Weilin Chen 10.1016/j.amc.2024.129151 http://arxiv.org/abs/2407.18017v1 2024-07-25T13:08:24Z

Elementary Cellular Automata (ECA) are a well-studied computational universe that is, despite its simple configurations, capable of impressive computational variety. Harvesting this computation in a useful way has historically shown itself to be difficult, but if combined with reservoir computing (RC), this becomes much more feasible. Furthermore, RC and ECA enable energy-efficient AI, making the combination a promising concept for Edge AI. In this work, we contrast ECA to substrates of Partially-Local CA (PLCA) and Homogeneous Homogeneous Random Boolean Networks (HHRBN). They are, in comparison, the topological heterogeneous counterparts of ECA. This represents a step from ECA towards more biological-plausible substrates. We analyse these substrates by testing on an RC benchmark (5-bit memory), using Temporal Derrida plots to estimate the sensitivity and assess the defect collapse rate. We find that, counterintuitively, disordered topology does not necessarily mean disordered computation. There are countering computational "forces" of topology imperfections leading to a higher collapse rate (order) and yet, if accounted for, an increased sensitivity to the initial condition. These observations together suggest a shrinking critical range.

2024-07-25T13:08:24Z Tom Eivind Glover Ruben Jahren Francesco Martinuzzi Pedro Gonçalves Lind Stefano Nichele