https://arxiv.org/api/t6JqjcS0yzoWOF/jd8U4N5A/LTY 2026-06-10T11:34:25Z 1671 150 15 http://arxiv.org/abs/2306.13226v3 2024-11-11T20:24:16Z

Andrei Toom, who died in September 2022, contributed some of the most fundamental results on probabilistic cellular automata. We want to acquaint the reader with these and will also try to give the reader a look at the environment in which they were born. Toom was an original and strong personality, and other aspects of his life (education, literature) will also deserve mention.

2023-06-22T22:13:39Z 17 pages, 1 figure Peter Gacs http://arxiv.org/abs/2410.23735v1 2024-10-31T08:43:54Z

Enormous progress have been made in the last 20 years since the publication of our review \cite{csk05polrev} in this journal on transport and traffic phenomena in biology. In this brief article we present a glimpse of the major advances during this period. First, we present similarities and differences between collective intracellular transport of a single micron-size cargo by multiple molecular motors and that of a cargo particle by a team of ants on the basis of the common principle of load-sharing. Second, we sketch several models all of which are biologically motivated extensions of the Asymmetric Simple Exclusion Process (ASEP); some of these models represent the traffic of molecular machines, like RNA polymerase (RNAP) and ribosome, that catalyze template-directed polymerization of RNA and proteins, respectively, whereas few other models capture the key features of the traffic of ants on trails. More specifically, using the ASEP-based models we demonstrate the effects of traffic of RNAPs and ribosomes on random and `programmed' errors in gene expression as well as on some other subcellular processes. We recall a puzzling empirical result on the single-lane traffic of predatory ants {\it Leptogenys processionalis} as well as recent attempts to account for this puzzle. We also mention some surprising effects of lane-changing rules observed in a ASEP-based model for 3-lane traffic of army ants. Finally, we explain the conceptual similarities between the pheromone-mediated indirect communication, called stigmergy, between ants on a trail and the floor-field-mediated interaction between humans in a pedestrian traffic. For the floor-field model of human pedestrian traffic we present a major theoretical result that is relevant from the perspective of all types of traffic phenomena.

2024-10-31T08:43:54Z 17 pages including 8 figures; to be submitted to "Physics of Life Reviews" Debashish Chowdhury Andreas Schadschneider Katsuhiro Nishinari http://arxiv.org/abs/2410.22389v1 2024-10-29T16:45:45Z

Conways Game of Life is a cellular automaton noted for its rich, complex, and emergent behavior, which seems qualitatively lifelike it exists within a wider space of different rule-sets of cellular automata none of which have been found to display behaviors that seem as rich as Conways selected example We present here a set of three quantitative tests for lifelike behavior based on the critical brain theory Shannons theory of information entropy and integrated information theory all of which are successfully able to select Conways Game of Life as an outlier within this set which is a nonbiological analogue to the selection of a habitable planet or universe among a wider space of similar settings that cannot support the same kinds of living systems

2024-10-29T16:45:45Z 11 pages, 6 figures, IAU conference proceedings James McCrum Terence P Kee http://arxiv.org/abs/2205.03148v4 2024-10-29T13:17:38Z

This work provides a relativistic, digital quantum simulation scheme for both $2+1$ and $3+1$ dimensional quantum electrodynamics (QED), based on a discrete spacetime formulation of theory. It takes the form of a quantum circuit, infinitely repeating across space and time, parametrised by the discretization step $Δ_t=Δ_x$. Strict causality at each step is ensured as circuit wires coincide with the lightlike worldlines of QED; simulation time under decoherence is optimized. The construction replays the logic that leads to the QED Lagrangian. Namely, it starts from the Dirac quantum walk, well-known to converge towards free relativistic fermions. It then extends the quantum walk into a multi-particle sector quantum cellular automata in a way which respects the fermionic anti-commutation relations and the discrete gauge invariance symmetry. Both requirements can only be achieved at cost of introducing the gauge field. Lastly the gauge field is given its own electromagnetic dynamics, which can be formulated as a quantum walk at each plaquette.

2022-05-06T11:39:05Z 37 pages, 8 figures. V2: typos corrected, precisions added. V3: changed license, added ref doi. v4: 3D transport corrected Quantum 7, 1179 (2023) Nathanaël Eon Giuseppe Di Molfetta Giuseppe Magnifico Pablo Arrighi 10.22331/q-2023-11-08-1179 http://arxiv.org/abs/2407.05048v2 2024-10-29T07:21:06Z

Cellular automata represent physical systems where both space and time are discrete, and the associated physical quantities assume a limited set of values. While previous research has applied cellular automata in modeling chemical, biological, and physical systems, its potential for modeling topological systems, specifically network topologies, remains underexplored. This paper investigates the use of cellular automata to model decentralized network topologies, which could enhance load balancing, fault tolerance, scalability, and the propagation and dissemination of information in distributed systems.

2024-07-06T11:10:19Z 10 pages Temitayo Adefemi http://arxiv.org/abs/2311.12426v3 2024-10-22T09:38:07Z

Spatial L{é}vy-like flights are introduced as a way in the absorbing phase transitions to produce non-local interactions. We utilize the autoencoder, an unsupervised learning method, to predict the critical points for $(1+1)$-d directed percolation with such spatial long-range interactions. After making a global coverage of the reaction-diffusion distance and taking a series of different values for the parameter $β$ in the distribution $P(r){\sim}1/r^β$, the critical points $P_c$ that can be continuously varied are obtained. And the dynamic decay of the particle density under the critical points was counted as a way to determine the critical exponent $δ$ of the survival rate. We also investigate the active behavior of the system's particles under the critical point with increasing time steps, which allows us to determine the characteristic time $t_f$ of the finite-scale systems. And the dynamic exponents $z$ are obtained using the scaling relation $t_f{\sim}L^{z}$. We find that the autoencoder can identify this characteristic evolutionary behavior of particles. Finally, we discuss the compliance of the scaling form $1/δ-(β-2)/δz=2$ in different $β$ intervals as well as a method to introduce a global scaling mechanism by generating a random walking step using the L{é}vy distribution.

2023-11-21T08:38:00Z Yanyang Wang Yuxiang Yang Wei Li http://arxiv.org/abs/2410.13689v1 2024-10-17T15:54:29Z

We propose a simple cellular automaton model of a self-healing system and investigate its properties. In the model, the substrate is a two-dimensional checkerboard configuration which can be damaged by changing values of a finite number of sites. The cellular automaton we consider is a checkerboard voting rule, a binary rule with Moore neighbourhood which is topologically conjugate to majority voting rule. For a single color damage (when only cells in the same state are modified), the rule always fixes the damage. For a general damage, when it is localized inside a $3 \times 3$ square, the rule also fixes it always. When the damage is inside of a larger $n \times n$ square, the efficiency of the rule in fixing the damage becomes smaller than $100\%$, but it remains better than $98\%$ for $n \leq 5$ and better than $75 \%$ for $n\leq 7$. We show that in the limit of infinite $n$ the efficiency tends to zero.

2024-10-17T15:54:29Z 12 pages, 5 figures Henryk Fukś José Manuel Gómez Soto 10.1080/17445760.2024.2413509 http://arxiv.org/abs/2410.13425v1 2024-10-17T10:47:23Z

The objective is the design of a Cellular Automata rule that can form patterns with 'touching' loops. A loop is defined as a closed path of 1-cells in a 2D grid on a zero background and with a zero border. A path cell is connected with two of its adjacent neighbors. In touching loops a path cell is also allowed to touch another on a diagonal. A CA rule was designed that can evolve stable touching loop patterns. The rule tries to cover the 2D space by overlapping tiles. The rule uses so-called templates, 5 x 5 matching patterns which are systematically derived from the given set of 3 x 3 tiles. The rule checks the pattern being evolved against a list of templates. If the outer neighbors of a template match, then the cell's state is set to the template's center value. Noise is injected if there is no matching template, or the tiles are not properly assembled. Thereby the evolution is driven to the desired loop patterns.

2024-10-17T10:47:23Z Rolf Hoffmann http://arxiv.org/abs/2404.05838v2 2024-10-07T09:35:59Z

We study non-terminating graph rewriting models, whose local rules are applied non-deterministically -- and yet enjoy a strong form of determinism, namely space-time determinism. Of course in the case of terminating computation it is well-known that the mess introduced by asynchronous rule applications may not matter to the end result, as confluence conspires to produce a unique normal form. In the context of non-terminating computation however, confluence is a very weak property, and (almost) synchronous rule applications is always preferred e.g. when it comes to simulating dynamical systems. Here we provide sufficient conditions so that asynchronous local rule applications conspire to produce well-determined events in the space-time unfolding of the graph, regardless of their application orders. Our first example is an asynchronous simulation of a dynamical system. Our second example features time dilation, in the spirit of general relativity.

2024-04-08T20:03:50Z Pablo Arrighi Marin Costes Gilles Dowek Luidnel Maignan http://arxiv.org/abs/2410.03976v1 2024-10-04T23:29:11Z

Asynchronous Boolean networks are a type of discrete dynamical system in which each variable can take one of two states, and a single variable state is updated in each time step according to pre-selected rules. Boolean networks are popular in systems biology due to their ability to model long-term biological phenotypes within a qualitative, predictive framework. Boolean networks model phenotypes as attractors, which are closely linked to minimal trap spaces (inescapable hypercubes in the system's state space). In biological applications, attractors and minimal trap spaces are typically in one-to-one correspondence. However, this correspondence is not guaranteed: motif-avoidant attractors (MAAs) that lie outside minimal trap spaces are possible. MAAs are rare and (despite recent efforts) poorly understood. Here we summarize the current state of knowledge regarding MAAs and present several novel observations regarding their response to node deletion reductions and linear extensions of edges. We conduct large-scale computational studies on an ensemble of 14,000 models derived from published Boolean models of biological systems, and more than 100 million Random Boolean Networks. Our findings quantify the rarity of MAAs (in particular, we found no MAAs in the biological models), but highlight the role of network reduction in introducing MAAs into the dynamics. We also show that MAAs are fragile to linear extensions: in sparse networks, even a single linear node can disrupt virtually all MAAs. Motivated by this observation, we improve the upper bound on the number of delays needed to disrupt a motif-avoidant attractor.

2024-10-04T23:29:11Z 30 pages, 7 figures Samuel Pastva Kyu Hyong Park Ondrej Huvar Jordan C Rozum Reka Albert 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