https://arxiv.org/api/o0TuN29lOsNpkq+NZ5z9Nq1P3f4 2026-09-11T21:01:07Z 1702 45 15 http://arxiv.org/abs/2603.27799v3 2026-06-02T14:09:43Z

We study one dimensional binary Probabilistic Cellular Automaton (PCA) that interpolate between Wolfram's classical rules 23, 77, 178 and 232. These rules are the only ones that satisfy two criteria: (i) in the case of a majority in the neighborhood states, the central site takes either the majority state or the opposite and (ii) if the neighborhood states are tied, the central site either changes its current state or keeps it. The PCA is defined by two Bernoulli random variables with parameters $p,r \in [0,1]$, and we analytically solve small size cases by using a Markov process formulation. We derive analytical expressions for the probability of asymptotically reaching each possible global configuration as a function of $p$ and $r$, for all initial states. We show that for $0 < p,r < 1$, the asymptotic probability distributions of achieving any of the states for the PCA are independent of the initial conditions. This contrasts with the behavior of the deterministic Wolfram's rules 23 ($p=0,r=0$), 77 ($p=1,r=0$), 178 ($p=0,r=1$) and 232 ($p=1,r=1$), for which additional asymptotic states can occur, in particular periodic configurations Finally, we discuss applying this kind of PCA to describe opinion dynamics involving hesitant agents.

2026-03-29T18:25:17Z 12 pages, 3 figures Francisco J. Muñoz Juan Carlos Nuño http://arxiv.org/abs/2605.31157v2 2026-06-01T17:56:07Z

This text is also a program that computes the number of one-dimensional number-conserving cellular automata with radius 1. At the end of the text, the numbers of such automata with up to 7 cell states are shown.

2026-05-29T11:05:47Z 8 pages Markus Redeker http://arxiv.org/abs/2605.30708v1 2026-05-29T01:00:38Z

All embodied agents are fundamentally patterns in physiological or other excitable media, blurring the distinction between objects and processes. Emergent patterns with complex behaviors, such as Gliders in the Game of Life and virtual patterns in Lenia, are powerful model systems in which to understand the properties and origins of behavioral traits in novel agents. To evaluate the behavior of patterns in Lenia, we introduce regions into their environment from which no sensory information is available - in effect, making creatures blind to parts of their surroundings. Complementing the conventional concept of infotaxis, we find that creatures tend to avoid these regions, a behavior we term agnosiophobia. To explain this behavior, we map each test creature's sensitivity to targeted occlusions and interpret the results in the language of dynamical systems. We observe Lenia creatures taking advantage of their freedom to change heading in order to achieve what appears to be a more fundamental goal: the preservation of their morphology. This work illustrates the beginning of an important roadmap to understand how emergent agents' behavioral propensities interact with the informational, not only tangible, topography of their world.

2026-05-29T01:00:38Z 8 pages, 6 figures; under review at ALIFE 2026 Jesse Cool Benedikt Hartl Michael Levin Samantha Petti http://arxiv.org/abs/2605.28052v1 2026-05-27T06:53:51Z

We analyze a stochastic 5-neighbor cellular automaton with several conserved quantities, including the particle density. By examining the eigenvalue problem of the associated transition matrix, we derive an explicit formula for the stationary distribution on each irreducible component, in which the weight of each configuration is expressed in terms of the numbers of occurrences of two specific local patterns. This analysis further allows us to theoretically derive the dependence of the mean flux on the conserved quantities. In particular, we recover the mean flux formula in the deterministic case by taking the zero-noise limit of the system.

2026-05-27T06:53:51Z Based on arXiv:2202.02499; submitted as a separate manuscript with substantial revisions and additional results Kazushige Endo Shinsuke Iwao Hidetomo Nagai Yushi Nakano http://arxiv.org/abs/2412.19803v3 2026-05-23T04:03:12Z

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; v3: final version accepted in Quantum Quantum 10, 2125 (2026) Shankar Balasubramanian Margarita Davydova Ethan Lake 10.22331/q-2026-06-02-2125 http://arxiv.org/abs/2605.17801v1 2026-05-18T03:25:36Z

A measure for the complexity of a differentiable function f(x) on an interval is introduced. It is based on approximations of the function by piecewise constant functions. The measure takes into account the quality of the approximation and the number of intervals in the approximating function. This measure, called the V-complexity of f(x), is shown to formalize some intuitions about the simplicity or complexity of f(x). The V-complexity is then compared to another measure of complexity, namely how compressible an approximation of f(x) is. It is hypothesized that V-complexity is equivalent to the compression measure, in the case of the Run Length Encoding and the Lempel Ziv 77 algorithms. V-complexity can be used as an ingredient in the definition of the Effective Complexity (EC) of a Complex System. When the perceived regularities of such a system are described by a differentiable function on an interval, the EC can be defined as the V-complexity of that function. EC is applied to the model of diffusion of cream in a cup of coffee. The perceived regularity of this model is given by the diffusion equation. The V-complexity of the solution of the equation starts at zero, quickly increases to a maximum and then decreases back to zero as the liquid reaches its equilibrium state. It is shown that this is also the result when a cellular automaton approach and the concept of Apparent Complexity is used.

2026-05-18T03:25:36Z Matthijs Ruijgrok http://arxiv.org/abs/2605.17781v1 2026-05-18T02:59:54Z

Despite similarities between models exhibiting absorbing phase transitions (APTs) and those showing Kardar-Parisi-Zhang (KPZ) growth, the relationship between these universal fluctuations has remained elusive. We numerically study (1+1)-dimensional interfaces of (2+1)-dimensional models showing APTs of directed percolation (DP) and compact directed percolation (CDP) classes with an active boundary, finding a universal crossover from short-time APT-governed fluctuations to long-time KPZ fluctuations. Upon rescaling time and length by the APT correlation time and length, the cumulants of the interface height distributions collapse onto a single scaling function. The fluctuation properties of the discrete Domany-Kinzel model and the continuum stochastic Fisher-Kolmogorov-Petrovsky-Piskunov (sFKPP) equation coincide, indicating that the KPZ growth parameters are determined solely by fundamental properties of the APT. For the CDP sFKPP equation, a dimensionless parameter tunes both the critical interface distribution and the KPZ parameters, with the interface properties of the biased voter model recovered in a limiting case. These results uncover a universal crossover in which KPZ fluctuations emerge from APT fluctuations at long times, linking paradigmatic universality classes of nonequilibrium scale-invariant phenomena.

2026-05-18T02:59:54Z 9 pages, 4 figures Yohsuke T. Fukai Keiichi Tamai Tetsuya Hiraiwa http://arxiv.org/abs/2605.16904v1 2026-05-16T09:30:46Z

We prove that every probabilistic cellular automaton with strictly positive transition probabilities that admits a stationary Bernoulli measure is exponentially ergodic. Moreover, the mixing time of any finite region in such a system is logarithmic in the diameter of the region. A similar result holds in continuous time for positive-rate, finite-range interacting particle systems. The proofs use entropy, and rely on a representation of the system as a perturbation of another system with noise. The ergodic behaviour results from a competition between the accumulation of randomness due to noise and the diffusion of randomness due to local information exchange. We show that, in two and higher dimensions, the positive-rate probabilistic cellular automata that admit stationary Bernoulli measures are algorithmically indistinguishable from those that do not.

2026-05-16T09:30:46Z 24 pages Irène Marcovici Siamak Taati http://arxiv.org/abs/2604.15598v2 2026-05-14T19:49:05Z

Stochastic models of diffusion are routinely used to study dispersal of populations, including populations of animals, plants, seeds and cells. Advances in imaging and field measurement technologies mean that data are often collected across a range of scales, including count data collected across a series of fixed sampling regions to characterize population-level dispersal, as well as individual trajectory data to examine at the motion of individuals within a diffusive population. In this work we consider a lattice-based random walk model and examine the extent to which model parameters can be determined by collecting count data and/or trajectory data. Our analysis combines agent-based stochastic simulations, mean-field partial differential equation approximations, likelihood-based estimation, identifiability analysis, and model-based prediction. These combined tools reveal that working with count data alone can sometimes lead to challenges involving structural non-identifiability that can be alleviated by collecting trajectory data. Furthermore, these tools allow us to explore how different experimental designs impact inferential precision by comparing how different trajectory data collection protocols affects practical identifiability. Open source implementations of all algorithms used in this work are available on GitHub.

2026-04-17T00:37:47Z 7 Figures Matthew J Simpson Michael J Plank http://arxiv.org/abs/2605.06425v2 2026-05-11T12:55:11Z

Combinatorial optimization problems in logistics, finance, energy, and scheduling routinely involve multi-state decision variables. Ising machines (IMs) require binary expansions (e.g., one-hot encoding) to encode such variables, whereas Potts machines (PMs) represent them natively. By doing so, PMs are expected to outperform IMs on multi-state problems. To the best of our knowledge, no systematic study of PM models has yet assessed whether this expectation holds. We therefore benchmark five representative PMs against a reference IM on Max-3-Cut and Max-4-Cut, using 800-vertex GSet graphs and random graphs of up to 50 vertices. Surprisingly, the reference IM still outperforms every PM, and the IM supremacy increases significantly in going from Max-3-Cut to Max-4-Cut. These results provide clear evidence that current PM dynamics underperform relative to binary approaches, even in regimes where they are presumed advantageous. We provide a way forward by quantifying the underperformance of current PMs, as well as by identifying three dynamical properties that correlate strongly with their performance ranking. Our work stresses the need for more systematic assessments of algorithmic performance in order to guide the design of more effective Potts machines.

2026-05-07T15:30:17Z 12 pages, 3 figures, supplementary material included Bjarke Almer Frederiksen Robbe De Prins Peter Bienstman http://arxiv.org/abs/2604.21866v1 2026-04-23T17:01:26Z

Execution of quantum algorithms on large-scale quantum computers will require extremely low logical error rates, which necessitates the development of scalable decoding architectures. Local decoders are promising candidates for this task, as they avoid the communication and data processing bottlenecks inherent in global decoding strategies. Cellular automaton (CA) decoders represent a distinct class of local decoders, offering a path toward the low-latency, real-time decoding required for practical applications. In this work, we present SCALA (Signaling CA with Local Attraction), a novel non-hierarchical cellular automaton decoder for quantum repetition and toric codes. By evaluating SCALA alongside the hierarchical CA decoder proposed by Harrington, we provide a direct comparison between non-hierarchical and renormalization-group-style local decoding strategies. We characterize SCALA across three key metrics: Performance, scalability, and robustness. Our results show that SCALA achieves a code-capacity threshold of approximately $p_c\approx 7.5\%$ and provides strong sub-threshold scaling of about $p_L\propto p^{d/4}$ on the toric code. In terms of scalability, our non-hierarchical design ensures that the local computational resources remain independent of system size, yielding a modular local architecture suitable for hardware implementation. Finally, SCALA demonstrates strong robustness to qubit measurement errors and noise within the decoder itself, a critical advantage for real-time decoding on noisy hardware. Our results establish SCALA as a high-performance, scalable, and robust local decoder for scalable quantum error correction.

2026-04-23T17:01:26Z 33 pages, 25 figures Don Winter Thiago L. M. Guedes Markus Müller http://arxiv.org/abs/2604.18359v1 2026-04-20T14:50:24Z

Previous publications by the authors put forward the argument that Lifelike Cellular Automata can be treated as a bona fide example of livingness in and of themselves, not simply a toy analogue to biological life. Traits known to be indicative of biological life, biosignatures, were identified in informational form as particular outlier traits of the ruleset for the lifelike cellular automata known as Conways Game of Life. This publication reverses that logic, looking at a known outlier trait of Conways Game of Life, its very long-lasting evolutions, and using this to point towards temporal retention as an informational biosignature concept.

2026-04-20T14:50:24Z Manuscript has 16 pages and 6 figures Terence P Kee James mcCrum http://arxiv.org/abs/2604.14966v1 2026-04-16T13:02:03Z

Computational power can be measured by assigning an algebraic structure to a computational device. Here, we convert a small patch of Conway's Game of Life into a transformation semigroup. The conversion captures not only time evolution but also interactive operations. In this way, the cellular automaton becomes directly programmable. Once this measurement is made, we apply hierarchical decompositions to the resulting algebraic object as a way of understanding it. These decompositions are based on a macro/micro-state division inspired by statistical mechanics. However, cellular automata have a large number of global states. Therefore, we focus on partitioning the state space and creating morphic images approximations that can serve as macro-level descriptions. The methods developed here are not limited to cellular automata; they apply more generally to discrete dynamical systems.

2026-04-16T13:02:03Z 6 pages, 4 figures, final version will be published elsewhere Attila Egri-Nagy Chrystopher L. Nehaniv http://arxiv.org/abs/2603.02328v2 2026-04-15T08:10:26Z

Local decoders provide a promising approach to real-time quantum error-correction by replacing centralized classical decoding, with significant hardware constraints, by a fully distributed architecture based on a simple, local update rule. We propose a new local decoder for Kitaev's toric code: the 2D signal-rule, that interprets odd parity stabilizer measurements as defects, attracted to each other via the exchange of binary signals. We present numerical evidence of exponential suppression of the logical error rate with system size below a threshold, under a phenomenological noise model with data and measurement errors at each iteration. The construction achieves a significantly improved threshold and optimal finite-size scaling relative to hierarchical schemes. It also provides a lightweight alternative to windowed local decoder constructions while maintaining strong performance, thus enabling a streamlined architecture for a two-dimensional local quantum memory.

2026-03-02T19:00:24Z Louis Paletta http://arxiv.org/abs/2108.10000v2 2026-04-15T07:56:55Z

Cancer cell populations often exhibit remarkably similar growth laws despite their heterogeneity. Explanations of universal cell population growth remain partly unresolved to this day. Here, we present a growth-law unification by investigating the connection between microscopic assumptions and the expected contact inhibition, which leads to five classical tumor growth laws: exponential, radial growth, fractal growth, generalized logistic, and Gompertzian growth. All five can be seen as manifestations of a single microscopic model. Agent-based simulations substantiate our theory, and we can explain differences in growth curves in experimental data from em in vitro cancer cell population growth. Thus, our framework offers a possible explanation for many mean-field laws used to empirically capture seemingly unrelated cancer or microbial growth dynamics. Our results highlight that the interplay between contact inhibition and other assumptions (e.g., well-mixed) can influence our quantitative understanding of how cancer cells grow and, in turn, how they may interact.

2021-08-23T08:17:20Z 41 pages, 6 main figures, 2 tables, 67 references, 4 supplementary figures Gregory J. Kimmel Sadegh Marzban Mehdi Damaghi Arne Traulsen Alexander R. A. Anderson Jeffrey West Philipp M. Altrock