https://arxiv.org/api/o0TuN29lOsNpkq+NZ5z9Nq1P3f4 2026-03-20T17:42:50Z 1645 45 15 http://arxiv.org/abs/2510.08342v1 2025-10-09T15:28:07Z

Self-replication is central to all life, and yet how it dynamically emerges in physical, non-equilibrium systems remains poorly understood. Von Neumann's pioneering work in the 1940s and subsequent developments suggest a natural hypothesis: that any physical system capable of Turing-universal computation can support self-replicating objects. In this work, we challenge this hypothesis by clarifying what computational universality means for physical systems and constructing a cellular automaton that is Turing-universal but cannot sustain non-trivial self-replication. By analogy with biology, such dynamics manifest transcription and translation but cannot instantiate replication. More broadly, our work emphasizes that the computational complexity of translating between physical dynamics and symbolic computation is inseparable from any claim of universality (exemplified by our analysis of Rule 110) and builds mathematical foundations for identifying self-replicating behavior. Our approach enables the formulation of necessary dynamical and computational conditions for a physical system to constitute a living organism.

2025-10-09T15:28:07Z 9+67 pages, 32 figures Jordan Cotler Clément Hongler Barbora Hudcová http://arxiv.org/abs/2510.05863v1 2025-10-07T12:32:29Z

We develop a Koopman operator framework for studying the {computational properties} of dynamical systems. Specifically, we show that the resolvent of the Koopman operator provides a natural abstraction of halting, yielding a ``Koopman halting problem that is recursively enumerable in general. For symbolic systems, such as those defined on Cantor space, this operator formulation captures the reachability between clopen sets, while for equicontinuous systems we prove that the Koopman halting problem is decidable. Our framework demonstrates that absorbing (halting) states {in finite automata} correspond to Koopman eigenfunctions with eigenvalue one, while cycles in the transition graph impose algebraic constraints on spectral properties. These results provide a unifying perspective on computation in symbolic and analog systems, showing how computational universality is reflected in operator spectra, invariant subspaces, and algebraic structures. Beyond symbolic dynamics, this operator-theoretic lens opens pathways to analyze {computational power of} a broader class of dynamical systems, including polynomial and analog models, and suggests that computational hardness may admit dynamical signatures in terms of Koopman spectral structure.

2025-10-07T12:32:29Z 13 pages double column; two figures Francesco Caravelli Jean-Charles Delvenne http://arxiv.org/abs/2501.17716v2 2025-10-03T19:01:28Z

Using a group-theoretic approach, a method for determining the equivalence classes (also called orbits) of the set of rules of one-dimensional cellular automata induced by the symmetry operations of reflection and permutation and their product is presented. Orbits are classified by their isomorphism type. Results for the number of orbits and the number of orbits by type for state sets of size two and three are included.

2025-01-29T15:33:52Z 32 pages, 3 figures, 2 tables Physics Open 24(7), 100298(11) (2025) Martin Schaller Karl Svozil 10.1016/j.physo.2025.100298 http://arxiv.org/abs/2510.09631v1 2025-09-28T18:39:53Z

We study the scaling properties of avalanche activity in the two-dimensional Abelian sandpile model. Instead of the conventional avalanche size distribution, we analyze the site activity distribution, which measures how often a site participates in avalanches when grains are added across the lattice. Using numerical simulations for system sizes up to \(L = 160\), averaged over \(10^4\) configurations, we determine the probability distribution \(P(A, L)\) of site activities. The results show that \(P(A, L)\) follows a finite-size scaling form \[ P(A, L) \sim L^{-2} F\Big(\frac{A}{L^2}\Big). \] For small values \(A \ll L^2\) the scaling function behaves as \[ F(u) \sim u^{-1/2}, \quad \text{corresponding to} \quad P(A) \sim \frac{1}{L}, \] while for large activities \(A \sim O(L^2)\) the distribution decays as \[ F(u) \sim \exp\big(-c_3 u - c_4 u^2\big). \] The crossover between these two regimes occurs at \[ A^* \sim 0.1 \, L^2, \] marking the threshold between typical and highly excitable sites. This characterization of local avalanche activity provides complementary information to the usual avalanche size statistics, highlighting how local regions serve as frequent conduits for critical dynamics. These results may help connect sandpile models to real-world self-organized critical systems where only partial local activity can be observed.

2025-09-28T18:39:53Z Anubhav Ganguly http://arxiv.org/abs/2509.22411v1 2025-09-26T14:36:23Z

The lattice Boltzmann equation (LBE), rooted in kinetic theory, provides a powerful framework for capturing complex flow behaviour by describing the evolution of single-particle distribution functions (PDFs). Despite its success, solving the LBE numerically remains computationally intensive due to strict time-step restrictions imposed by collision kernels. Here, we introduce a physics-informed neural operator framework for the LBE that enables prediction over large time horizons without step-by-step integration, effectively bypassing the need to explicitly solve the collision kernel. We incorporate intrinsic moment-matching constraints of the LBE, along with global equivariance of the full distribution field, enabling the model to capture the complex dynamics of the underlying kinetic system. Our framework is discretization-invariant, enabling models trained on coarse lattices to generalise to finer ones (kinetic super-resolution). In addition, it is agnostic to the specific form of the underlying collision model, which makes it naturally applicable across different kinetic datasets regardless of the governing dynamics. Our results demonstrate robustness across complex flow scenarios, including von Karman vortex shedding, ligament breakup, and bubble adhesion. This establishes a new data-driven pathway for modelling kinetic systems.

2025-09-26T14:36:23Z Xiao Xue Marco F. P. ten Eikelder Mingyang Gao Xiaoyuan Cheng Yiming Yang Yi He Shuo Wang Sibo Cheng Yukun Hu Peter V. Coveney http://arxiv.org/abs/2509.22368v1 2025-09-26T14:02:13Z

We report a dynamical phase transition in the information spreading within a classical 2D deterministic interacting many-body system. Specifically, the transition is observed in a recently introduced momentum-conserving parity check cellular automaton (MCPCA) on the square lattice. We characterize the transition using information-theoretic quantities such as the Hamming distance and the classical decorrelator. By introducing conserved local charges of the MCPCA, we show that selecting initial ensembles with specific charge values allows the system to transition from a localized information phase to a chaotic regime with ballistic information spreading. Importantly, our findings indicate that this transition is of second order, highlighting a sharp change in information spreading behavior. Furthermore, we revisit the multifractal behavior of the dynamical structure factor and show that, although present across both phases, it originates from effective local periodicities enforced by symmetry constraints.

2025-09-26T14:02:13Z 12 pages, 13+2 figures, 1 table Yusuf Kasim Pavel Orlov Tomaž Prosen http://arxiv.org/abs/2508.04167v2 2025-09-26T06:35:16Z

Lenia is a continuous extension of Conway's Game of Life that exhibits rich pattern formations including self-propelling structures called gliders. In this paper, we focus on Asymptotic Lenia, a variant formulated as partial differential equations. By utilizing this mathematical formulation, we analytically derive the conditions for glider patterns, which we term the ``Glider Equation.'' We demonstrate that by using this equation as a loss function, gradient descent methods can successfully discover stable glider configurations. This approach enables the optimization of update rules to find novel gliders with specific properties, such as faster-moving variants. We also derive a velocity-free equation that characterizes gliders of any speed, expanding the search space for novel patterns. While many optimized patterns result in transient gliders that eventually destabilize, our approach effectively identifies diverse pattern formations that would be difficult to discover through traditional methods. Finally, we establish connections between Asymptotic Lenia and neural field models, highlighting mathematical relationships that bridge these systems and suggesting new directions for analyzing pattern formation in continuous dynamical systems.

2025-08-06T07:47:24Z Hiroki Kojima Ivan Yevenko Takashi Ikegami http://arxiv.org/abs/2411.17421v2 2025-09-18T13:26:41Z

This work studies Temporally Non-Uniform Cellular Automata (t-NUCAs), a variant of non-uniform cellular automata, which temporally use two rules in a sequence during their evolution. The one-dimensional t-NUCAs, under finite as well as infinite lattices, are considered in this work. Surjectivity and injectivity of the t-NUCAs are studied. The reversibility of the t-NUCAs is also explored here. Finally, a study on the cyclic behavior of finite t-NUCAs is presented.

2024-11-26T13:28:27Z Subrata Paul Sukanta Das http://arxiv.org/abs/2409.16786v2 2025-09-12T13:55:07Z

The model of a one-dimensional kinetic contact process with parallel update is studied by the Monte Carlo simulations and finite-size scaling. The goal was to reveal the structure of the hidden percolative patterns (order parameters) in the active phase and the nature of transitions those patterns emerge through. Our results corroborate the earlier conjecture that in general the active (percolating) phases possess the hierarchical structure (tower of percolation patterns), where more complicated patterns emerge on the top of coexistent patterns of lesser complexity. Plethora of different patterns emerge via cascades of continuous transitions. We detect five phases with distinct patterns of percolation within the active phase of the model. All transitions on the phase diagram belong to the directed percolation universality class, as confirmed by the scaling analysis. To accommodate the case of multiple percolating phases the extension of the Janssen-Grassberger conjecture is proposed.

2024-09-25T09:49:45Z 18 pages, 14 figures. V.-2-final version with minor corrections to appear in press J. Phys. A: Math. Theor. 58, 385002 (2025) P. Ovchinnikov K. Soldatov V. Kapitan G. Y. Chitov 10.1088/1751-8121/ae04b8 http://arxiv.org/abs/2508.15726v2 2025-09-06T21:49:18Z

We investigate the landscape of many-body memories: families of local non-equilibrium dynamics that retain information about their initial conditions for thermodynamically long time scales, even in the presence of arbitrary perturbations. In two dimensions, the only well-studied memory is Toom's rule. Using a combination of rigorous proofs and machine learning methods, we show that the landscape of 2D memories is in fact quite vast. We discover memories that correct errors in ways qualitatively distinct from Toom's rule, have ordered phases stabilized by fluctuations, and preserve information only in the presence of noise. Taken together, our results show that physical systems can perform robust information storage in many distinct ways, and demonstrate that the physics of many-body memories is richer than previously realized. Interactive visualizations of the dynamics studied in this work are available at https://memorynca.github.io/2D.

2025-08-21T17:09:07Z 4+9 pages; v2: expanded discussion, typos fixed Phys. Rev. Lett. 136, 037102 - Published 21 January, 2026 Ehsan Pajouheshgar Aditya Bhardwaj Nathaniel Selub Ethan Lake 10.1103/2f97-49t1 http://arxiv.org/abs/2509.02496v1 2025-09-02T16:46:50Z

Boolean networks are a powerful and popular modeling framework in systems biology, enabling the study of complex processes underlying gene regulation, signal transduction, and cellular decision-making. Most biological networks exhibit a high degree of canalization, a property of the Boolean update rules that stabilizes network dynamics. Despite its importance, existing software packages provide hardly any support for generating Boolean networks with defined canalization properties. We present BoolForge, a Python toolbox for the analysis and random generation of Boolean functions and networks, with a particular focus on canalization. BoolForge allows users to (i) generate random Boolean functions with specified canalizing depth, layer structure, or other structural constraints; (ii) construct random Boolean networks with tunable topological and functional properties; and (iii) compute structural and dynamical features including network attractors, robustness, and modularity. BoolForge enables researchers to rapidly prototype biological Boolean network models, explore the relationship between structure and dynamics, and generate ensembles of networks for statistical analysis. It is lightweight, adaptable, and fully compatible with existing Boolean network analysis tools. BoolForge is implemented in Python (version3.8+), with no platform-specific dependencies. The software is distributed under the MIT License and will be maintained for at least two years following publication. Source code, documentation, and tutorial notebooks are freely available at: https://github.com/ckadelka/BoolForge. BoolForge can be installed via pip install git+https://github.com/ckadelka/BoolForge.

2025-09-02T16:46:50Z 6 pages, 1 figure Claus Kadelka Benjamin Coberly http://arxiv.org/abs/2508.21138v1 2025-08-28T18:15:46Z

This paper presents a traffic state estimation (TSE) method in congestion for distributed fiber-optic sensing (DFOS). DFOS detects vehicle driving vibrations along the optical fiber and obtains their trajectories in the spatiotemporal plane. From these trajectories, DFOS provides mean velocities for real-time spatially continuous traffic monitoring without dead zones. However, when vehicle vibration intensities are insufficiently low due to slow speed, trajectories cannot be obtained, leading to missing values in mean velocity data. It restricts DFOS applicability in severe congestion. Therefore, this paper proposes a missing value imputation method based on data assimilation. Our proposed method is validated on two expressways in Japan with the reference data. The results show that the mean absolute error (MAE) of the imputed mean velocities to the reference increases only by 1.5 km/h as compared with the MAE of non-missing values. This study enhances the wide-range applicability of DFOS in practical cases.

2025-08-28T18:15:46Z 11 pages, 7 figures, presented in the 31st ITS World Congress Yoshiyuki Yajima NEC Corporation Hemant Prasad NEC Corporation Daisuke Ikefuji NEC Corporation Hitoshi Sakurai NEC Corporation Manabu Otani Central Nippon Expressway Company, Limited http://arxiv.org/abs/2406.00443v2 2025-08-20T19:01:54Z

This paper explores the use of 2D cellular automata (CA) to generate 3D terrains through a simple additive approach. Experimenting with multiple CA transition rules produced aesthetically interesting, navigable landscapes, suggesting applicability for terrain generation in games.

2024-06-01T13:43:28Z The peer-reviewed version of this paper is published in IEEE Xplore at https://doi.org/10.1109/CoG64752.2025.11114361. This version is typeset by the author and differs only in pagination and typographical detail 2025 IEEE Conference on Games (CoG), 1-4, IEEE, 2025 Nuno Fachada António R. Rodrigues Diogo de Andrade Phil Lopes 10.1109/CoG64752.2025.11114361 http://arxiv.org/abs/2508.09768v1 2025-08-13T12:53:22Z

Elementary Cellular Automata (ECAs) exhibit diverse behaviours often categorized by Wolfram's qualitative classification. To provide a quantitative basis for understanding these behaviours, we investigate the global dynamics of such automata and we describe a method that allows us to compute the number of all configurations leading to short attractors in a limited number of time steps. This computation yields exact results in the thermodynamic limit (as the CA grid size grows to infinity), and is based on the Transfer Matrix Method (TMM) that we adapt for our purposes. Specifically, given two parameters $(p, c)$ we are able to compute the entropy of all initial configurations converging to an attractor of size $c$ after $p$ time-steps. By calculating such statistics for various ECA rules, we establish a quantitative connection between the entropy and the qualitative Wolfram classification scheme. Class 1 rules rapidly converge to maximal entropy for stationary states ($c=1$) as $p$ increases. Class 2 rules also approach maximal entropy quickly for appropriate cycle lengths $c$, potentially requiring consideration of translations. Class 3 rules exhibit zero or low finite entropy that saturates after a short transient. Class 4 rules show finite positive entropy, similar to some Class 3 rules. This method provides a precise framework for quantifying trajectory statistics, although its exponential computational cost in $p+c$ restricts practical analysis to short trajectories.

2025-08-13T12:53:22Z 10 pages, 8 figures, 1 table, accepted to ALife 2025 Cédric Koller Barbora Hudcová http://arxiv.org/abs/2508.08047v1 2025-08-11T14:49:11Z

Spontaneous self-replication in cellular automata has long been considered rare, with most known examples requiring careful design or artificial initialization. In this paper, we present formal, causal evidence that such replication can emerge unassisted -- and that it can do so in a distributed, multi-component form. Building on prior work identifying complex dynamics in the Outlier rule, we introduce a data-driven framework that reconstructs the full causal ancestry of patterns in a deterministic cellular automaton. This allows us to rigorously identify self-replicating structures via explicit causal lineages. Our results show definitively that self-replicators in the Outlier CA are not only spontaneous and robust, but are also often composed of multiple disjoint clusters working in coordination, raising questions about some conventional notions of individuality and replication in artificial life systems.

2025-08-11T14:49:11Z Arend Hintze Clifford Bohm