Generalized FDNF fuzzification of elementary cellular automata and its nonlinear pattern dynamics

2026-07-04T06:34:09Z

Fuzzy disjunctive normal form (FDNF) gives the canonical multi-affine extension of an elementary cellular automaton (ECA) rule to the unit cube. Although it preserves the Boolean rule on binary states, its multi-affine structure can smooth high-contrast CA patterns and restrict continuous-state dynamics. We introduce generalized FDNF rules \[ \widetilde f_k^{g,u,v,w}(x,y,z) = g\left(f_k(u(x),v(y),w(z))\right), \] where the transformations $g,u,v,w: [0,1] \to [0,1]$ fix the endpoints. The identity maps recover ordinary FDNF, while threshold-like, discontinuous, non-monotone, and expanding choices yield rule-preserving fuzzy ECAs. We demonstrate, in representative rules, that the transformation shape strongly affects pattern dynamics: threshold-like maps promote ECA-like pattern recovery, parameter deformations interpolate toward FDNF-like smoothing, and discontinuities induce gap-generated regimes. Pattern changes are summarized by contrast, fuzziness, and a finite-resolution participation-type support exponent. In three-cell systems, an expanding non-monotone transformation yields stable period-six cycles for rule 210, verified by interval arithmetic, coexisting with an expanding invariant line set; rules 51 and 85 inherit one-dimensional expanding dynamics. The framework provides a rule-preserving bridge from Boolean cellular automata to fuzzy and continuous-state nonlinear dynamics.

Isotropy and Galilean invariance of Lattice Boltzmann Method: Theoretical and numerical analysis using oblique dipole benchmark *

2026-07-03T11:34:45Z

This work focuses on the two-dimensional, nine-velocity (D2Q9) lattice Boltzmann model. First, we show that the D2Q9 scheme cannot achieve secondorder accuracy unless the cubic velocity terms are neglected, and we explain how some of these parasitic terms can be eliminated. Second, we demonstrate that the standard choice of the equilibrium distribution has no effect on the equivalent PDE at second order. Finally, we numerically investigate the effect of these cubic terms and study different choices of equilibrium distributions using a new benchmark called the Oblique Dipole Benchmark, which describes obliquely propagating 2D vortex dipoles with periodic boundary conditions.

Analysis of the asymptotic density of endogamous diploid cellular automata

2026-07-02T09:16:11Z

We investigate the asymptotic behaviour of diploid Elementary Cellular Automata (ECA), that is, the stochastic mixtures between two ECAs. In this model, each cell independently applies one rule with probability $λ$ and the other rule with probability $ 1 - λ$. Focusing on the endogamous diploids where the two ECAs are related by the reflection or conjugation symmetry, we analyse how the density varies as function of $λ$, the ``degree of mixing'' of these two rules. We propose a classification into six distinct classes depending on the profile of the density vs. $λ$ curve. We take various examples for each class and we analyse to which extent the local structure approximation succeeds to predict the asymptotic density. Our results show that for rules in which the asymptotic density depends linearly on $λ$, the local structure approximation reproduces the exact dependence of the density on $λ$. For rules with differentiable but nonlinear dependence, the approximation either becomes exact at a finite order or converges rapidly to the exact solution as the order increases. For rules with first-order phase transitions, finite-order approximations progressively approach a sharp transition profile with increasing order. In contrast, for rules exhibiting a second-order phase transition, even high-order approximations fail to capture the qualitative features of the transition. (no bifurcation is observed). Finally, we give examples of two diploid rules for which we succeed to compute the density at each time step.

Revising price coordination in the classical and neoclassical economics based on elementary cellular automata

2026-06-29T23:55:16Z

The coordination of prices in economics is one of the most complex phenomena. In particular, the classical and neoclassical approaches related to the economic theory provide some insights into such a complex coordination based on different formulations. However, these formulations have not been successful for explaining simple mechanisms to understand and predict a set of prices that theoretically clears all markets. Consequently, elementary cellular automata can contribute to clarify such a coordination problem by using simple computational rules to describe the theoretical bases of the classical and neoclassical economics. Therefore, we propose to use this type of cellular automata for explaining different escenarios of price coordination in which simple rules of price interactions generate stable and unstable patterns of coordination. We used an explorative data analysis based on the Shannon entropy for computing the uncertainty related to such generated patterns of coordination, and a Monte Carlo simulation approximation based on a Spearman correlation for evaluating the statistical significance of such price coordination. Findings suggested that the classical economics provides a consistent approach for understanding the coordination of prices because it emphasizes human interactions based on logical choices related to an objective data. On the other hand, the neoclassical approach does not propose any type of mechanism for describing the price coordination. The neoclassical individual is just a spectator and receiver of the unpredictable and supposed event of price coordination. As a result, by modeling the economic theory based on computational concepts, we reveal facts and believes behind the classical and neoclassical economics.

Relationships between two linearizations of the box-ball system : Kerov-Kirillov-Reshetikhin bijection and slot configuration

2026-06-28T19:55:21Z

The box-ball system (BBS), which was introduced by Takahashi and Satsuma in 1990, is a soliton cellular automaton. Its dynamics can be linearized by a few methods, among which the best known is the Kerov-Kirillov-Reshetikhin (KKR) bijection using rigged partitions. Recently a new linearization method in terms of "slot configurations" was introduced by Ferrari-Nguyen-Rolla-Wang, but its relations to existing ones have not been clarified. In this paper we investigate this issue and clarify the relation between the two linearizations. For this we introduce a novel way of describing the BBS dynamics using a carrier with seat numbers. We show that the seat number configuration also linearizes the BBS and reveals explicit relations between the KKR bijection and the slot configuration. In addition, by using these explicit relations, we also show that even in case of finite carrier capacity the BBS can be linearized via the slot configuration.

First-passage processes in a deterministic one-dimensional cellular automaton model of traffic flow

2026-06-23T18:18:51Z

We present analytical results for first-passage processes in a deterministic one-dimensional cellular automaton (CA) model of traffic flow. Starting at time $t=0$ from a random initial state with car density p, at every time step $t\ge 1$ each car moves one step to the right if the cell on its right is empty, and is stopped if it is occupied by another car. The model, which coincides with CA rule 184 in Wolfram's numbering scheme, exhibits a continuous dynamical phase transition at $p=1/2$, between a low-density free-flowing phase and a high-density congested phase. Using the framework of first-passage processes, we derive a closed-form expression for the distribution $P(T_{FS}=t)$ of first-stopping (FS) times, which is the probability that a randomly selected car will be stopped for the first time at time $t$. We also obtain a closed-form expression for the stopping probability $P_S(t)$, which is the probability that a randomly selected car will be stopped at time $t$. In the low-density phase of $0

Crystalline Spectral Form Factors

2026-06-22T20:20:48Z

We investigate crystalline-like behavior of the spectral form factor in unitary quantum systems with extremely strong eigenvalue repulsion. Using a low-temperature Coulomb gas as a model of repulsive eigenvalues, we derive the Debye-Waller factor suppressing periodic oscillations of the spectral form factor and estimate the order of its singularities at multiples of the Heisenberg time. We also reproduce this crystalline-like behavior using perturbed permutation circuits and random matrix ensembles associated with Lax matrices. Our results lay a foundation for future studies of quantum systems that exhibit intermediate level statistics between standard random matrix ensembles and permutation circuits.

PyTorchFire: A GPU-Accelerated Wildfire Simulator with Differentiable Cellular Automata

2026-06-20T16:43:20Z

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.

Effect of rewiring for a sandpile model on a directed network

2026-06-20T15:18:35Z

Several studies have considered sandpile dynamics not over regular grids, but over networks. In this case, avalanches redistribute grains not between neighboring sites in a geometrical sense, but between connected sites, in a topological sense. However, depending on how nodes are connected, grains may never leave the system, preventing energy release. In this work, we study the simplest case, the BTW model in one and two dimensions, rewiring the nodes so that at every rewiring step, the energy release is always possible, and study avalanche statistics as a function of rewiring. In the 1D case, a transition is observed in the Gini coefficient of the load distribution per node at about 85% the number of possible rewirings, a transition which is not evident with other measures, such as the size distribution of avalanches or the mean distance between nodes in the network. In the 2D case, energy release follows a power law even when the grid is fully rewired, while the Gini coefficient, unlike the 1D case, decreases at a steady rate, with a smoother transition. The effect of network size N is studied, finding that there is a transition for the Gini coefficient at the thermodynamic limit N \to \infty for both the 1D and 2D cases, transition which is also observed in the betweenness centrality, but not in other topological measures. Finally, the dependence of the results with the load per rewiring iteration, and the avalanche threshold is studied.

West Nile virus outbreak in Italy modelled with the quantum Game of Life

2026-06-18T17:06:24Z

In the last years, an anomalously high spreading of West Nile virus (WNV) has been observed in Italy, with particularly high peaks of infections in southern Lazio, Campania and Veneto regions. The main disease vector for WNV is represented by Culex pipiens mosquitoes, which spread human infections through their bites. Here, we investigate WNV fever epidemic diffusion during summer season 2025 in Italy through a computational approach based on a quantum version of the Game of Life (GOL) cellular automaton model. Specifically, human dynamics evolves according to the GOL rules, while stochastic dynamics of disease vectors, i.e., mosquitoes, as well as their interaction with humans, simultaneously occur. We show that this model fits the curves of cumulative infected individuals with high accuracy, either at local and average-regional level, with only optimization of mosquito birth and removal rates parameters. Furthermore, leveraging model flexibility, we show that changes in model parameters values elucidate system response to environmental variations. For instance, we quantify, e.g., the impact of mosquito spreading containment measures or sudden mosquito increasing abundance due to climatic and ecological changes. Overall, we provide a general, quantitative description of WNV infection spreading in Italy which could represent a supportive tool to test different environmental scenarios and could be useful to devise strategies for decision makers to monitor disease vector dynamics and to control consequent virus diffusion.

Universal Design and Physical Applications of Non-Uniform Cellular Automata on Translationally Invariant Lattices

2026-06-15T21:52:13Z

Motivated by recent theoretical and experimental advances, hyperbolic lattices have emerged as a paradigmatic setting in which geometry becomes an active organizing principle of quantum systems. Their negative curvature, exponential volume growth, and non-Abelian translation symmetry make them fundamentally distinct from Euclidean lattices and give rise to rich geometry-dependent physics, but also hinder the direct application of well-established analytical and computational approaches originally developed for physical systems defined on Euclidean lattices. To establish a unified framework for geometry-dependent physics on Euclidean and hyperbolic lattices, we develop \textit{higher-order non-uniform cellular automata} (NUCA) as a local-to-global construction for translationally invariant regular lattices. This construction derives geometry-dependent update rules through a lattice-deforming procedure that embeds hyperbolic lattices into a Euclidean square lattice, thereby encoding hyperbolic geometry while preserving physical locality. It thus provides a systematic route toward quantum and classical physics on hyperbolic lattices. We demonstrate the framework in three applications ranging from quantum many-body physics to non-equilibrium statistical physics. First, on the hyperbolic $\{5,4\}$ lattice, a linear NUCA generates exactly solvable subsystem symmetry-protected topological (SSPT) models and spontaneous subsystem symmetry-breaking models. Second, as a quantum generalization, we construct non-uniform Clifford quantum cellular automata (CQCA) for the hyperbolic cluster state. Third, we formulate a probabilistic NUCA for directed percolation (DP) on the hyperbolic lattice.

Exact Lyapunov spectra of affine cellular automata and the parity rule on networks

2026-06-12T14:54:06Z

The Lyapunov exponent quantifies the sensitivity of a dynamical system to perturbations, and the full Lyapunov spectrum extends this to every orthogonal direction in tangent space. For cellular automata the spectrum is almost always approximated numerically, and the approximation is delicate. We show that the affine rules, those whose update is a XOR of a subset of the inputs together with a constant, admit an exact Lyapunov spectrum. An affine rule has a configuration-independent Boolean Jacobian, so the spectrum reduces to the logarithms of the singular values of a single constant matrix, with no simulation and no limit involved. Two cases carry a closed form. For an affine cellular automaton on a periodic lattice the Jacobian is a multilevel circulant matrix, and the spectrum is the discrete Fourier transform of the rule's gradient stencil, valid in any spatial dimension. For the parity rule on an arbitrary graph the Jacobian is the adjacency matrix itself, so the Lyapunov spectrum is the logarithm of the absolute adjacency spectrum, and the maximal exponent is the logarithm of the spectral radius. The long-time amplitude of a single-site perturbation then scales with the eigenvector centrality of the seeded node. Reading the periodic lattice as the Cayley graph of an abelian group unifies the two cases. Because they are exact, the affine spectra also serve as benchmarks: they reveal numerical artefacts in previously reported spectra and turn the informal correspondence between spectral radius and dynamical sensitivity into an exact identity.

Exact distribution of the output of a deep-layered machine

2026-06-10T11:43:45Z

Deep-layered machines, in which each node computes a Boolean function of all nodes below it, underpin deep learning and digital computation. Yet the statistics of their global output function remain poorly understood. We derive the exact finite-depth distribution of the output of a machine with width $k$ and depth $n$. The distribution depends only on the Hamming weight of the output, and as $n$ increases favors functions with low and high Hamming weights. But this bias peaks at a crossover depth proportional to $2^k$ before collapsing onto the constant functions true and false.

Three-dimensional Fundamental Diagrams of Five-neighbor Particle Cellular Automata

2026-06-10T08:46:37Z

We analyze five-neighbor particle cellular automata whose conventional two-dimensional fundamental diagrams are multivalued, but whose mean flow is uniquely determined by introducing a second density. We first consider binary rules for which the second density is conserved, and then examine rules for which the second density is not conserved but converges asymptotically. These examples give three-dimensional fundamental diagrams in which the mean flow is determined by the particle density and the second density. We then investigate whether this single-valued structure is preserved under real-valued max-plus extensions. There are some rules where two different max-plus extensions are introduced, and numerical simulations show that both extensions preserve the same single-valued three-dimensional fundamental diagram. These observations imply that, in constructing real-valued max-plus extensions, it is important to choose the flux function and the second density consistently.

Complex surface patterning in homo- and heteroepitaxial contexts: (simultaneous) step bunching and step meandering

2026-06-10T07:32:11Z

We confront a meso-scale continuum model, archetypical for the heteroepitaxial context, with an atomistic Vicinal Cellular Automaton (VicCA), built as a homoepitaxial counterpart, to show that in (2+1)D complex surface instabilities are fundamental growth phenomena rather than context-specific artifacts. Our approach is to first construct a Ginzburg-Landau-type model, designed to extend the previously (1+1)D Tersoff-type models in (2+1)D. We complement the continuum approach with a discrete one - the VicCA, in which we use a novel version of the potential landscape for the diffusing particles - a double-well potential located at each step edge. Notably, this framework also reproduces step bunching and step meandering - which are typically treated as incompatible in the theoretical paradigm, but coexist in real material systems. Thus we establish a cross-context correspondence at the level of obtained morphologies and morphology diagrams and, additionally, a multiscale perspective on the governing parameters, bridging the gap between the mesoscale and atomistic modeling.