https://arxiv.org/api/EjRSNO7lf15Mh8QXOnxSPlNyjDE 2026-03-22T08:43:47Z 1645 90 15 http://arxiv.org/abs/2406.15408v2 2025-04-30T08:06:45Z

We investigate elementary cellular automata (ECA) from the point of view of (discrete) dynamical systems. By studying small lattice sizes, we obtain the complete phase space of all minimal ECA, and, starting from a maximal entropy distribution (all configurations equiprobable), we show how the dynamics affects this distribution. We then investigate how a vanishing noise alters this phase space, connecting attractors and modifying the asymptotic probability distribution. What is interesting is that this modification not always goes in the sense of decreasing the entropy.

2024-05-12T16:35:27Z This is a rather different paper with respect to the first version (which appeared in the proceeding of ACRI 2024): it includes results about the Hopfield model and should be a different preprint, but arxiv policies forbade it In: Bagnoli et al. (eds) Cellular Automata. ACRI 2024. LNCS, vol 14978. Springer, Cham (2024) Franco Bagnoli Michele Baia Tommaso Matteuzzi 10.1007/978-3-031-71552-5_5 http://arxiv.org/abs/2411.15954v2 2025-04-16T21:56:42Z

We introduce a symmetric, gradient exclusion process within the class of non-cooperative kinetically constrained lattice gases, modelling a non-linear diffusivity in which the exchange of occupation values between two neighbouring sites depends on the local density in specific boxes surrounding the pair. The existence of such a model satisfying the gradient property is the main novelty of this work, filling a gap in the literature regarding the types of diffusivities attainable within this class of models. The resulting dynamics exhibits similarities with the Bernstein polynomial basis and generalises the Porous Media Model. We also introduce an auxiliary collection of processes, which extend the Porous Media Model in a different direction and are related to the former process via an inversion formula.

2024-11-24T18:52:47Z 16 pages, 3 figures G. S. Nahum http://arxiv.org/abs/2407.11960v2 2025-04-09T19:23:21Z

Understanding thermalisation in quantum many-body systems is among the most enduring problems in modern physics. A particularly interesting question concerns the role played by quantum mechanics in this process, i.e. whether thermalisation in quantum many-body systems is fundamentally different from that in classical many-body systems and, if so, which of its features are genuinely quantum. Here we study this question in minimally structured many-body systems which are only constrained to have local interactions, i.e. local random circuits. We introduce a class of random permutation circuits (RPCs), where the gates locally permute basis states modelling generic microscopic classical dynamics, and compare them to random unitary circuits (RUCs), a standard toy model for generic quantum dynamics. We show that, like RUCs, RPCs permit the analytical computation of several key quantities such as out-of-time order correlators (OTOCs), or entanglement entropies. RPCs can be interpreted both as quantum or classical dynamics, which we use to find similarities and differences between the two. Performing the average over all random circuits, we discover a series of exact relations, connecting quantities in RUC and (quantum) RPCs. In the classical setting, we obtain similar exact results relating (quantum) purity to (classical) growth of mutual information and (quantum) OTOCs to (classical) decorrelators. Our results indicate that despite of the fundamental differences between quantum and classical systems, their dynamics exhibits qualitatively similar behaviours.

2024-07-16T17:58:03Z 26 (15+11) pages, 2 figures; v2 minor modifications Phys. Rev. X 15, 011015 (2025) Bruno Bertini Katja Klobas Pavel Kos Daniel Malz 10.1103/PhysRevX.15.011015 http://arxiv.org/abs/2504.07059v1 2025-04-09T17:21:35Z

While the lattice Boltzmann method (LBM) has proven robust in areas like general fluid dynamics, heat transfer, and multiphase modeling, its application to mass transfer has been limited. Current modeling strategies often oversimplify the complexities required for accurate and realistic mass transfer simulations in multicomponent miscible mixtures involving external forces. We propose a forcing approach within the explicit velocity-difference LBM framework to address these limitations. Our approach recovers the macroscopic mass conservation equations, the Navier-Stokes equation with external forcing term, and the full Maxwell-Stefan equation for ideal mixtures at low Knudsen numbers. A novel boundary scheme for impermeable solid walls is also suggested to ensure proper mass conservation while effectively managing the spatial interpolations required for multicomponent mixtures with varying molecular masses. We demonstrated the physical consistency and accuracy of the proposed forcing approach through simulations of the ultracentrifuge separation of uranium isotopes and the Loschmidt tube with gravitational effects. Our approach encompasses advanced modeling of species dynamics influenced by force fields, such as those encountered in geological CO$_2$ sequestration in aquifers and oil reservoirs under gravitational fields.

2025-04-09T17:21:35Z Chemical Engineering Science (2025), 311, 121566 R. G. C. Lourenço P. H. Constantino F. W. Tavares 10.1016/j.ces.2025.121566 http://arxiv.org/abs/2504.06883v1 2025-04-09T13:37:12Z

The cornerstones of the Cellular Automaton Interpretation of Quantum Mechanics are its underlying ontological states that evolve by permutations. They do not create would-be quantum mechanical superposition states. We review this with a classical automaton consisting of an Ising spin chain which is then related to the Weyl equation in the continuum limit. Based on this and generalizing, we construct a new ``Necklace of Necklaces'' automaton with a torus-like topology that lends itself to represent the Dirac equation in 1 + 1 dimensions. Special attention has to be paid to its mass term, which necessitates this enlarged structure and a particular scattering operator contributing to the step-wise updates of the automaton. As discussed earlier, such deterministic models of discrete spins or bits unavoidably become quantum mechanical, when only slightly deformed.

2025-04-09T13:37:12Z 14 pages, 3 figures Entropy 2025, 27, 395 Hans-Thomas Elze 10.3390/e27040395 http://arxiv.org/abs/2504.03511v1 2025-04-04T15:13:48Z

We consider a one-dimensional array of particles interacting via an infinite well potential. We explore the properties of energy spreading from an initial state where only a group of particles has non-zero velocities while others are resting. We characterize anomalous diffusion of the active domain via moments and entropies of the energy distribution. Only in the special cases of a single-well potential (hard-particle gas) and of the distance between the particles being half of the potential width does the diffusion have a single scale; otherwise, a multiscale anomalous diffusion is observed.

2025-04-04T15:13:48Z Arkady Pikovsky http://arxiv.org/abs/2503.21567v1 2025-03-27T14:50:27Z

We study two categories of cellular automata. First, for any group $G$, we consider the category $\mathcal{CA}(G)$ whose objects are configuration spaces of the form $A^G$, where $A$ is a set, and whose morphisms are cellular automata of the form $τ: A_1^G \to A_2^G$. We prove that the categorical product of two configuration spaces $A_1^G$ and $A_2^G$ in $\mathcal{CA}(G)$ is the configuration space $(A_1 \times A_2)^G$. Then, we consider the category of generalized cellular automata $\mathcal{GCA}$, whose objects are configuration spaces of the form $A^G$, where $A$ is a set and $G$ is a group, and whose morphisms are $φ$-cellular automata of the form $\mathcal{T} : A_1^{G_1} \to A_2^{G_2}$, where $φ: G_2 \to G_1$ is a group homomorphism. We prove that a categorical weak product of two configuration spaces $A_1^{G_1}$ and $A_2^{G_2}$ in $\mathcal{GCA}$ is the configuration space $(A_1 \times A_2)^{G_1 \ast G_2}$, where $G_1 \ast G_2$ is the free product of $G_1$ and $G_2$. The previous results allow us to naturally define the product of two cellular automata in $\mathcal{CA}(G)$ and the weak product of two generalized cellular automata in $\mathcal{GCA}$.

2025-03-27T14:50:27Z 10 pages Alonso Castillo-Ramirez Alejandro Vazquez-Aceves Angel Zaldivar-Corichi http://arxiv.org/abs/2503.19869v1 2025-03-25T17:33:37Z

A stochastic modification of Conway's cellular automaton "Life" is introduced here. Any cell could be perturbed spontaneously to the opposite (dead or alive) state at any iteration with a very low probability. This probability is assumed to be so low that perturbations affect most sensibly large patterns only in single cells after they settle into stable, oscillating or moving configurations. This defines a Markov process on the set of stabilised patterns, with unboundedly growing or overly large patterns represented by a general unspecified state of "being huge". This stochastic model should approximate emergence of complexity and live processes yet more interestingly than the original Conway's game. This paper illustrates the proposed Markovian dynamics on the infinite "Life" grid with a limited set of most frequent patterns. Concrete results are presented for this new game on small square toruses, of size up to 10x10 cells.

2025-03-25T17:33:37Z 54 pages; 23 figures, 16 Tables Raimundas Vidunas Arnas Vaicekauskas http://arxiv.org/abs/2504.03691v1 2025-03-23T14:49:31Z

Controllability, one of the fundamental concepts in control theory, consists in guiding a system from an initial state to a desired one within a limited (and possibly minimum) time interval. When the objective is limited to a specific sub-region of the system's domain, the concept is referred to as regional controllability. We examine this notion in the context of Boolean one-dimensional cellular automata of finite length. Depending on the local evolution rule, we investigate whether it is possible to control the evolution of the system by imposing particular values on the boundary conditions. This approach is related to key dynamical properties of CA, specifically chain transitivity and chain mixing. We show that the control problem can be formulated as a Boolean satisfiability (SAT) problem and can thus be addressed using SAT solvers. We also show how finding shortest paths in the configuration graph allows to determine controllability properties. From our observations we can state that only peripherally-linear rules are fully controllable, while for other rules, the reachability ratio, that is, the fraction of controllable pairs of initial and final configurations, is vanishing when the system size grows.

2025-03-23T14:49:31Z Franco Bagnoli Sara Dridi Nazim Fates http://arxiv.org/abs/2503.17881v1 2025-03-22T23:31:23Z

For a group $G$ and a finite set $A$, a cellular automaton is a transformation of the configuration space $A^G$ defined via a finite neighborhood and a local map. Although neighborhoods are not unique, every CA admits a unique minimal neighborhood, which consists on all the essential cells in $G$ that affect the behavior of the local map. An active transition of a cellular automaton is a pattern that produces a change on the current state of a cell when the local map is applied. In this paper, we study the links between the minimal neighborhood and the number of active transitions, known as the activity value, of cellular automata. Our main results state that the activity value usually imposes several restrictions on the size of the minimal neighborhood of local maps.

2025-03-22T23:31:23Z 15 pages Alonso Castillo-Ramirez Eduardo Veliz-Quintero http://arxiv.org/abs/2503.15086v1 2025-03-19T10:37:23Z

Classical Cellular Automata (CCAs) are a powerful computational framework widely used to model complex systems driven by local interactions. Their simplicity lies in the use of a finite set of states and a uniform local rule, yet this simplicity leads to rich and diverse dynamical behaviors. CCAs have found applications in numerous scientific fields, including quantum computing, biology, social sciences, and cryptography. However, traditional CCAs assume complete certainty in the state of all cells, which limits their ability to model systems with inherent uncertainty. This paper introduces a novel generalization of CCAs, termed Cellular Automata on Measures (CAMs), which extends the classical framework to incorporate probabilistic uncertainty. In this setting, the state of each cell is described by a probability measure, and the local rule operates on configurations of such measures. This generalization encompasses the traditional Bernoulli measure framework of CCAs and enables the study of more complex systems, including those with spatially varying probabilities. We provide a rigorous mathematical foundation for CAMs, demonstrate their applicability through concrete examples, and explore their potential to model the dynamics of random graphs. Additionally, we establish connections between CAMs and symbolic dynamics, presenting new avenues for research in random graph theory. This study lays the groundwork for future exploration of CAMs, offering a flexible and robust framework for modeling uncertainty in cellular automata and opening new directions for both theoretical analysis and practical applications.

2025-03-19T10:37:23Z Enrico Formenti Faizal Hafiz Amelia Kunze Davide La Torre http://arxiv.org/abs/2406.10704v4 2025-03-06T17:53:54Z

Interactive visualization of the basin of attraction field, the ``ibaf-graph'', is a new feature in DDLab with the same interactive functions as the ``network-graph'' and ``jump-graph''. These functions allow any node and its connected fragment to be dragged/dropped with the pointer as a graphic animation with elastic links. The fragment itself depends on the node's link setting by inputs, outputs, or either, and a distance in link-steps. Further options include graph geometry, rescaling, node display, link editing, and isolating the fragment. This article describes the three graph types, network/ibaf/jump, their selection, enhanced functions, and applications to cellular automata, discrete dynamical networks and random maps.

2024-06-15T18:16:06Z 20 pages, 29 figures, new function to isolate fragments, and minor corrections. To appear in "Advances in Cellular Automata", Editors: Andrew Adamatzky, Georgious Sirakoulis, Genaro Martinez, Springer, 2025 Andrew Wuensche http://arxiv.org/abs/2502.18738v1 2025-02-26T01:15:27Z

Accurate and rapid prediction of wildfire trends is crucial for effective management and mitigation. However, the stochastic nature of fire propagation poses significant challenges in developing reliable simulators. In this paper, we introduce PyTorchFire, an open-access, PyTorch-based software that leverages GPU acceleration. With our redesigned differentiable wildfire Cellular Automata (CA) model, we achieve millisecond-level computational efficiency, significantly outperforming traditional CPU-based wildfire simulators on real-world-scale fires at high resolution. Real-time parameter calibration is made possible through gradient descent on our model, aligning simulations closely with observed wildfire behavior both temporally and spatially, thereby enhancing the realism of the simulations. Our PyTorchFire simulator, combined with real-world environmental data, demonstrates superior generalizability compared to supervised learning surrogate models. Its ability to predict and calibrate wildfire behavior in real-time ensures accuracy, stability, and efficiency. PyTorchFire has the potential to revolutionize wildfire simulation, serving as a powerful tool for wildfire prediction and management.

2025-02-26T01:15:27Z 19 pages, 14 figures, to be published in Environmental Modelling & Software Environmental Modelling & Software, vol. 188, p. 106401, Apr. 2025 Zeyu Xia Sibo Cheng 10.1016/j.envsoft.2025.106401 http://arxiv.org/abs/2502.17065v1 2025-02-24T11:27:04Z

In this work, the one-dimensional Cellular Automaton is extended to one that involves two sets of symbols and two global rules. As a main result, the Extended Curtis-Hedlund-Lyndon Theorem is demonstrated. Such constructions can be useful in studying complex systems involving two related phenomena and provide a way to their co-study.

2025-02-24T11:27:04Z Pouya Mehdipour Mostafa Salarinoghabi Paula Gibrim http://arxiv.org/abs/2502.16568v1 2025-02-23T13:25:35Z

Quantum computing holds great promise to accelerate scientific computations in fluid dynamics and other classical physical systems. While various quantum algorithms have been proposed for linear flows, developing quantum algorithms for nonlinear problems remains a significant challenge. We introduce a novel node-level ensemble description of lattice gas for simulating nonlinear fluid dynamics on a quantum computer. This approach combines the advantages of the lattice Boltzmann method, which offers low-dimensional representation, and lattice gas cellular automata, which provide linear collision treatment. Building on this framework, we propose a quantum lattice Boltzmann method that relies on linear operations with medium dimensionality. We validated the algorithm through comprehensive simulations of benchmark cases, including vortex-pair merging and decaying turbulence on $2048^2$ computational grid points. The results demonstrate remarkable agreement with direct numerical simulation, effectively capturing the essential nonlinear mechanisms of fluid dynamics. This work offers valuable insights into developing quantum algorithms for other nonlinear problems, and potentially advances the application of quantum computing across various transport phenomena in engineering.

2025-02-23T13:25:35Z Boyuan Wang Zhaoyuan Meng Yaomin Zhao Yue Yang