https://arxiv.org/api/ZgcDMcmALOiMwC1JPGv3ynJ/SGo 2026-06-10T09:44:33Z 1671 120 15 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 http://arxiv.org/abs/2502.13735v1 2025-02-19T14:02:23Z

Two kinetic exchange models are proposed to explore the dynamics of closed economic markets characterized by random exchanges, saving propensities, and collective transactions. Model I simulates a system where individual transactions occur among agents with saving tendencies, along with collective transactions between groups. Model II restricts individual transactions to agents within the same group, but allows for collective transactions between groups. A three-step trading process--comprising intergroup transactions, intragroup redistribution, and individual exchanges--is developed to capture the dual-layered market dynamics. The saving propensity is incorporated using the Chakraborti-Chakrabarti model, applied to both individual and collective transactions. Results reveal that collective transactions increase wealth inequality by concentrating wealth within groups, as indicated by higher Gini coefficients and Kolkata indices. In contrast, individual transactions across groups mitigate inequality through more uniform wealth redistribution. The interplay between saving propensities and collective transactions governs deviation degree and entropy, which display inverse trends. Higher saving propensities lead to deviations from the Boltzmann-Gibbs equilibrium, whereas specific thresholds result in collective transaction dominance, producing notable peaks or troughs in these metrics. These findings underscore the critical influence of dual-layered market interactions on wealth distribution and economic dynamics.

2025-02-19T14:02:23Z Chuandong Lin Lijie Cui http://arxiv.org/abs/2411.03309v2 2025-02-19T09:02:33Z

Kinetically constrained spin chains serve as a prototype for structured ergodicity breaking in isolated quantum systems. We show that such a system exhibits a hierarchy of degenerate steady states when driven by incoherent pump and loss at the boundary. By tuning the relative pump and loss and how local the constraints are, one can stabilize mixed steady states, noiseless subsystems, and various decoherence-free subspaces, all of which preserve large amounts of information. We also find that a dipole-conserving bulk suppresses current in steady state. These exact results based on the flow in Hilbert space hold regardless of the specific Hamiltonian or drive mechanism. Our findings show that a competition of kinetic constraints and local drives can induce different forms of ergodicity breaking in open systems, which should be accessible in quantum simulators.

2024-11-05T18:03:02Z 8 pages, 2 figures + appendix + notebook with data; Minor refinements to the text and additional derivations SciPost Phys. 18, 111 (2025) Apoorv Srivastava Shovan Dutta 10.21468/SciPostPhys.18.3.111 http://arxiv.org/abs/2502.13360v1 2025-02-19T01:49:34Z

Elementary cellular automata (ECA) are converted into multiplicative versions by using permuted n-dim Galois fields and octonion multiplication tables as binary pointers to each rule's Wolfram code truth table. This enables an extension of the binary ECA to complex numbers, identity solutions are found, produces a polynomial, and is implemented in Java.

2025-02-19T01:49:34Z Daniel McKinley