https://arxiv.org/api/eqB2h9DX/uCer3p5Btg2+QNxNf8 2026-03-20T20:31:42Z 1645 75 15 http://arxiv.org/abs/2506.21084v1 2025-06-26T08:19:31Z

We investigate the computational complexity of the timed prediction problem in two-dimensional sandpile models. This question refines the classical prediction problem, which asks whether a cell q will eventually become unstable after adding a grain at cell p from a given configuration. The prediction problem has been shown to be P-complete in several settings, including for subsets of the Moore neighborhood, but its complexity for the von Neumann neighborhood remains open. In a previous work, we provided a complete characterization of crossover gates (a key to the implementation of non-planar monotone circuits) for these small neighborhoods, leading to P-completeness proofs with only 4 and 5 neighbors among the eight adjancent cells. In this paper, we introduce the timed setting, where the goal is to determine whether cell q becomes unstable exactly at time t. We distinguish several cases: some neighborhoods support complete timed toolkits (including timed crossover gates) and exhibit P-completeness; others admit timed crossovers but suffer from synchronization issues; planar neighborhoods provably do not admit any timed crossover; and finally, for some remaining neighborhoods, we conjecture that no timed crossover is possible.

2025-06-26T08:19:31Z Pablo Concha-Vega AMU, LIS Kévin Perrot AMU, LIS http://arxiv.org/abs/2506.16284v1 2025-06-19T13:00:20Z

We explore how strategic leaps alter the classic rock-paper-scissors dynamics in spatially structured populations. In our model, individuals can expend energy reserves to jump toward regions with a high density of individuals of the species they dominate in the spatial game. This enables them to eliminate the target organisms and gain new territory, promoting species proliferation. Through stochastic, lattice-based simulations, we show that even when the energy allocated to jumping, as opposed to random walking, is low, there is a significant shift in the cyclic dominance balance. This arises from the increased likelihood of the leaping species successfully acquiring territory. Due to the cyclical nature of the game, the dominant species becomes the one that is superior to the jumping species. We investigate how spatial patterns are affected and calculate the changes in characteristic length scales. Additionally, we quantify how saltatory targeting reshapes spatial correlations and drives shifts in population dominance. Finally, we estimate the coexistence probability and find evidence that this behavioural strategy may promote biodiversity among low-mobility organisms but jeopardise long-term coexistence in the case of high-mobility dispersal. These results underscore the profound impact of novel foraging tactics on community structure and provide concrete parameters for ecologists seeking to incorporate behavioural innovation into ecosystem models.

2025-06-19T13:00:20Z 7 pages, 6 figures J. Menezes R. Barbalho Y. Sun http://arxiv.org/abs/2407.19898v2 2025-06-17T16:17:39Z

We offer detailed proofs of some properties of the Rule 60 cellular automaton on a ring with a Mersenne number circumference. We then use these properties to define a propagator, and demonstrate its use to construct all the ground state configurations of the classical Newman-Moore model on a square lattice of the same size. In this particular case, the number of ground states is equal to half of the available spin configurations in any given row of the lattice.

2024-07-29T11:21:41Z 17 pages, 0 figures. Submitted to Journal of Cellular Automata. Updated to correct typos and clarify language in abstract, introduction, and for several definitions and proofs. All results are unchanged International Journal of Parallel, Emergent and Distributed Systems, 1-15 (2025) Jonás Carmona-Pírez Adrian J. Peguero Vanja Dunjko Maxim Olshanii Joanna Ruhl 10.1080/17445760.2025.2531060 http://arxiv.org/abs/2506.12310v1 2025-06-14T02:15:09Z

Boolean networks, inspired by gene regulatory networks, were developed to understand the complex behaviors observed in biological systems, with network attractors corresponding to biological phenotypes or cell types. In this article, we present a proof for a conjecture by Williadsen, Triesch and Wiles about upper bounds for the stability of basins of attraction in Boolean networks. We further extend this result from a single basin of attraction to the entire network. Specifically, we demonstrate that the asymptotic upper bound for the robustness and the basin entropy of a Boolean network are negatively linearly related.

2025-06-14T02:15:09Z Venkata Sai Narayana Bavisetty Matthew Wheeler Reinhard Laubenbacher Claus Kadelka 10.1103/1862-2fj1 http://arxiv.org/abs/2506.08569v1 2025-06-10T08:37:26Z

Central to the artificial life endeavour is the creation of artificial systems spontaneously generating properties found in the living world such as autopoiesis, self-replication, evolution and open-endedness. While numerous models and paradigms have been proposed, cellular automata (CA) have taken a very important place in the field notably as they enable the study of phenomenons like self-reproduction and autopoiesis. Continuous CA like Lenia have been showed to produce life-like patterns reminiscent, on an aesthetic and ontological point of view, of biological organisms we call creatures. We propose in this paper Flow-Lenia, a mass conservative extension of Lenia. We present experiments demonstrating its effectiveness in generating spatially-localized patters (SLPs) with complex behaviors and show that the update rule parameters can be optimized to generate complex creatures showing behaviors of interest. Furthermore, we show that Flow-Lenia allows us to embed the parameters of the model, defining the properties of the emerging patterns, within its own dynamics thus allowing for multispecies simulations. By using the evolutionary activity framework as well as other metrics, we shed light on the emergent evolutionary dynamics taking place in this system.

2025-06-10T08:37:26Z This manuscript has been accepted for publication in the Artificial Life journal (https://direct.mit.edu/artl) Artificial Life (2025) 31(2): 228-248 Erwan Plantec Gautier Hamon Mayalen Etcheverry Bert Wang-Chak Chan Pierre-Yves Oudeyer Clément Moulin-Frier 10.1162/artl_a_00471 http://arxiv.org/abs/2401.11686v3 2025-06-09T18:24:12Z

Multiplayer games on graphs are at the heart of theoretical descriptions of key evolutionary processes that govern vital social and natural systems. However, a comprehensive theoretical framework for solving multiplayer games with an arbitrary number of strategies on graphs is still missing. Here, we solve this by drawing an analogy with the Balls-and-Boxes problem, based on which we show that the local configuration of multiplayer games on graphs is equivalent to distributing $k$ identical co-players among $n$ distinct strategies. We use this to derive the replicator equation for any $n$-strategy multiplayer game under weak selection, which can be solved in polynomial time. As an example, we revisit the second-order free-riding problem, where costly punishment cannot truly resolve social dilemmas in a well-mixed population. Yet, in structured populations, we derive an accurate threshold for the punishment strength, beyond which punishment can either lead to the extinction of defection or transform the system into a rock-paper-scissors-like cycle. The analytical solution also qualitatively agrees with the phase diagrams that were previously obtained for non-marginal selection strengths. Our framework thus allows an exploration of any multi-strategy multiplayer game on regular graphs.

2024-01-22T04:52:22Z 69 pages, 12 figures Nat. Commun. 15, 5349 (2024) Chaoqian Wang Matjaž Perc Attila Szolnoki 10.1038/s41467-024-49505-5 http://arxiv.org/abs/2506.06551v1 2025-06-06T21:46:28Z

A subset of 10 of the 256 elementary cellular automata (ECA) are implemented as a hash function using an error minimization lossy compression algorithm operating on wrapped 4x4 neighborhood cells. All 256 rules are processed and 10 rules in two subsets of 8 are found to have properties that include both error minimization and maximization, unique solutions, a lossy inverse, efficient retroactive hashing, and an application to edge detection. The algorithm parallels the nested powers-of-two structure of the Fast Fourier Transform and Fast Walsh-Hadamard Transform, is implemented in Java, and is built to hash any 2 byte RGB code bitmap.

2025-06-06T21:46:28Z Daniel McKinley http://arxiv.org/abs/2412.19803v2 2025-06-03T00:21:30Z

We construct a local decoder for the 2D toric code using ideas from the hierarchical classical cellular automata of Tsirelson and Gács. Our decoder is a circuit of strictly local quantum operations preserving a logical state for exponential time in the presence of circuit-level noise without the need for non-local classical computation or communication. Our construction is not translation invariant in spacetime, but can be made time-translation invariant in 3D with stacks of 2D toric codes. This solves the open problem of constructing a local topological quantum memory below four dimensions.

2024-12-27T18:59:57Z 119 pages, 11 figures; v2: minor fixes Shankar Balasubramanian Margarita Davydova Ethan Lake http://arxiv.org/abs/2308.00060v3 2025-05-30T09:55:28Z

Number-conserving cellular automata are discrete dynamical systems that simulate interacting particles like e.g. grains of sand. In an earlier paper, I had already derived a uniform construction for all transition rules of one-dimensional number-conserving automata. Here I describe in greater detail how one can simulate the automata on a computer and how to find interesting rules. I show several rules that I have found this way and also some theorems about the space of number-conserving automata.

2023-07-31T18:31:53Z 15 pages, 4 figures. (Theorem numbering changed with respect to the previous version.) Markus Redeker http://arxiv.org/abs/2505.23647v1 2025-05-29T16:58:03Z

Tuning the interface properties of multiphase models is of paramount importance to the final goal of achieving a one-to-one matching with nucleation and cavitation experiments. The surface tension, at the leading order, and the Tolman length, at higher order, play a crucial role in the estimation of the free-energy barrier determining the experimentally observed nucleation rates. The lattice Boltzmann method allows for a computationally efficient modelling approach of multiphase flows, however, tuning results are concerned with the surface tension and neglect the Tolman length. We present a novel perspective that leverages all the degrees of freedom hidden in the forcing stencil of the Shan-Chen multiphase model. By means of the lattice pressure tensor we determine and tune the coefficients of higher-order derivative terms related to surface tension and Tolman length at constant interface width and density ratio. We test the method by means of both hydrostatic and dynamic simulations and demonstrate the dependence of homogeneous nucleation rates on the value of the Tolman length. This work provides a new tool that can be integrated with previously existing strategies thus marking a step forwards to a high-fidelity modelling of phase-changing fluid dynamics.

2025-05-29T16:58:03Z 27 pages, 10 figures Matteo Lulli Emily S. C. Ching http://arxiv.org/abs/2505.07186v3 2025-05-24T04:14:47Z

We explore the dynamics of a one-dimensional lattice of state machines on two states and two symbols sequentially updated via a process of "reflexive composition." The space of 256 machines exhibits a variety of behavior, including substitution, reversible "billiard ball" dynamics, and fractal nesting. We show that one machine generates the Sierpinski Triangle and, for a subset of boundary conditions, is isomorphic to cellular automata Rule 90 in Wolfram's naming scheme. More surprisingly, two other machines follow trajectories that map to Rule 90 in reverse. Whereas previous techniques have been developed to uncover preimages of Rule 90, this is the first study to produce such inverse dynamics naturally from the formalism itself. We argue that the system's symmetric treatment of state and message underlies its expressive power.

2025-05-12T02:28:46Z Chris Salzberg Hiroki Sayama http://arxiv.org/abs/2505.10645v1 2025-05-15T18:35:43Z

In this paper, we study the effect of (a)synchronism on the dynamics of elementary cellular automata. Within the framework of our study, we choose five distinct update schemes, selected from the family of periodic update modes: parallel, sequential, block-sequential, block-parallel, and local clocks. Our main measure of complexity is the maximum period of the limit cycles in the dynamics of each rule. In this context, we present a classification of the ECA rule landscape. We classified most elementary rules into three distinct regimes: constant, linear, and superpolynomial. Surprisingly, while some rules exhibit more complex behavior under a broader class of update schemes, others show similar behavior across all the considered update schemes. Although we are able to derive upper and lower bounds for the maximum period of the limit cycles in most cases, the analysis of some rules remains open. To complement the study of the 88 elementary rules, we introduce a numerical simulation framework based on two main measurements: the energy and density of the configurations. In this context, we observe that some rules exhibit significant variability depending on the update scheme, while others remain stable, confirming what was observed as a result of the classification obtained in the theoretical analysis.

2025-05-15T18:35:43Z 137 pages, 35 figures, for associated mpeg file see: https://framagit.org/Isabel-Camila/Impact-of-Asynchronism, to be published in Chaos Solitons and Fractals. arXiv admin note: text overlap with arXiv:2312.15078 Isabel Donoso-Leiva Eric Goles Martin Rios-Wilson Sylvain Sene http://arxiv.org/abs/2505.22679v1 2025-05-14T19:06:23Z

A Cellular Automata (CA) rule is presented that can generate "loop patterns" in a 2D grid under fixed boundary conditions. A loop is a cyclically closed path represented by one-cells enclosed by zero-cells. A loop pattern can contain several loops that are not allowed to touch each other. The problem is solved by designing an appropriate set of tiles that can overlap and which are used in the CA rule. Templates are derived from the tiles which are used for local pattern matching. In order to drive the evolution to the desired patterns, noise is injected if the templates do not match or other constraints are not fulfilled. The general CA rule can be specialized by enabling certain conditions, and the characteristics of five rule variants are explained. Simulations illustrate that the CA rule can securely evolve stable loop patterns. The preliminary theoretical analysis of the obtained loop patterns raises many interesting research problems for the future -- several of them have been briefly discussed.

2025-05-14T19:06:23Z Rolf Hoffmann Mariusz Białecki http://arxiv.org/abs/2505.01692v1 2025-05-03T04:49:25Z

This project explores speculative evolution through a 3D implementation of Conway's Game of Life, using procedural simulation to generate unfamiliar extraterrestrial organic forms. By applying a volumetric optimized workflow, the raw cellular structures are smoothed into unified, bone-like geometries that resemble hypothetical non-terrestrial morphologies. The resulting forms, strange yet organic, are 3D printed as fossil-like artifacts, presenting a tangible representation of generative structures. This process situates the work at the intersection of artificial life, evolutionary modeling, and digital fabrication, illustrating how simple rules can simulate complex biological emergence and challenge conventional notions of organic form.

2025-05-03T04:49:25Z 10 pages, 13 Figures Amir Hossein Khazaei http://arxiv.org/abs/2505.01116v1 2025-05-02T08:54:04Z

The magnetic metamaterials known as Artificial Spin Ice (ASI) are promising candidates for neuromorphic computing, composed of vast numbers of interacting nanomagnets arranged in the plane. Every computing device requires the ability to transform, transmit and store information. While ASI excel at data transformation, reliable transmission and storage has proven difficult to achieve. Here, we take inspiration from the Cellular Automaton (CA), an abstract computing model reminiscent of ASI. In CAs, information transmission and storage can be realised by the ``glider'', a simple structure capable of propagating while maintaining its form. Employing an evolutionary algorithm, we search for gliders in pinwheel ASI and present the simplest glider discovered: the ``snake''. Driven by a global field protocol, the snake moves strictly in one direction, determined by its orientation. We demonstrate the snake, both in simulation and experimentally, and analyse the mechanism behind its motion. The snake provides a means of manipulating a magnetic texture in an ASI with resolution on the order of 100 nm, which could in turn be utilised to precisely control other magnetic phenomena. The integration of data transmission, storage and modification into the same magnetic substrate unlocks the potential for ultra-low power computing devices.

2025-05-02T08:54:04Z Nat Commun 16, 7500 (2025) Arthur Penty Johannes H. Jensen Ida Breivik Anders Strømberg Erik Folven Gunnar Tufte 10.1038/s41467-025-62515-1