Probabilistic Cellular Automata: between deterministic Wolfram's rules 23, 77, 178 and 232

2026-03-29T18:25:17Z

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.

BoolForge: Controlled Generation and Analysis of Boolean Functions and Networks

2026-03-25T06:05:38Z

Boolean networks are a widely used modeling framework in systems biology for studying gene regulation, signal transduction, and cellular decision-making. Empirical studies indicate that biological Boolean networks exhibit a high degree of canalization, a structural property of Boolean update rules that stabilizes dynamics and constrains state transitions. Despite its central role, existing software packages provide limited support for the systematic generation of Boolean functions and networks with prescribed canalization properties. We present BoolForge, a Python toolbox for the random generation and analysis of Boolean functions and networks, with a particular focus on canalization. BoolForge enables users to (i) generate random Boolean functions with specified canalizing depth, layer structure, and related constraints; (ii) construct Boolean networks with tunable topological and functional properties; and (iii) analyze structural and dynamical features including canalization measures, robustness, modularity, and attractor structure. By enabling controlled generation alongside analysis, BoolForge facilitates ensemble-based investigations of structure-dynamics relationships, benchmarking of theoretical predictions, and construction of biologically informed null models for Boolean network studies. Availability and Implementation: BoolForge is implemented in Python ($\geq$3.10) and can be installed via \texttt{pip install boolforge}. Source code and documentation are available at https://github.com/ckadelka/BoolForge. A PDF tutorial compendium is provided as Supplementary Material.

The damage spreading transition: a hierarchy of renormalization group fixed points

2026-03-23T18:11:44Z

Deterministic classical cellular automata can be in two phases, depending on how irreversible the dynamical rules are. In the strongly irreversible phase, trajectories with different initial conditions coalesce quickly, while in the weakly irreversible phase, trajectories with different initial conditions can remain different for a time exponential in the system volume. The transition between these phases is referred to as the damage-spreading transition (the "damaged" sites are those that differ between the trajectories). We develop a theory for this transition. In the simplest and most generic setting, the transition is known to be related to directed percolation, one of the best-studied nonequilibrium phase transitions. However, we show that full theory of the damage-spreading critical point is richer than directed percolation, and contains an infinite hierarchy of sectors of local observables. Directed percolation describes the first level of the hierarchy. The higher observables include "overlaps" for multiple trajectories, and may be labeled by set partitions. (These higher observables arise naturally if, for example, we consider decay of entropy under the irreversible dynamics.) The full hierarchy yields a hierarchy of nonequilibrium fixed points for reaction-diffusion-type processes, all of which contain directed percolation as a subsector, but which possess additional universal critical exponents. We analyze these higher fixed points using a field theory formulation and renormalization group arguments, and using simulations in 1+1 dimensions.

Ergodic behaviors in reversible 3-state cellular automata

2026-03-22T12:51:35Z

Classical cellular automata represent a class of explicit discrete spacetime lattice models in which complex large-scale phenomena emerge from simple deterministic rules. With the goal to uncover different physically distinct classes of ergodic behavior, we perform a systematic study of three-state cellular automata (with a stable `vacuum' state and `particles' with $\pm$ charges). The classification is aided by the automata's different transformation properties under discrete symmetries: charge conjugation, spatial parity and time reversal. In particular, we propose a simple classification that distinguishes between types and levels of ergodic behavior in such system as quantified by the following observables: the mean return time, the number of conserved quantities, and the scaling of correlation functions. In each of the physically distinct classes, we present examples and discuss some of their phenomenology. This includes chaotic or ergodic dynamics, phase-space fragmentation, Ruelle-Pollicott resonances, existence of quasilocal charges, and anomalous transport with a variety of dynamical exponents.

The survival of the weakest in a biased donation game

2026-03-22T01:04:57Z

Cooperating first then mimicking the partner's act has been proven to be effective in utilizing reciprocity in social dilemmas. However, the extent to which this, called Tit-for-Tat strategy, should be regarded as equivalent to unconditional cooperators remains controversial. Here, we introduce a biased Tit-for-Tat (T) strategy that cooperates differently toward unconditional cooperators (C) and fellow T players through independent bias parameters. The results show that, even under strong dilemmas in the donation game framework, this three-strategy system can exhibit diverse phase diagrams on the parameter plane. In particular, when T-bias is small and C-bias is large, a ``hidden T phase'' emerges, in which the weakest T strategy dominates. The dominance of the weakened T strategy originates from a counterintuitive mechanism characterizing non-transitive ecological systems: T suppresses its relative fitness to C, rapidly eliminates the cyclic dominance clusters, and subsequently expands slowly to take over the entire population. Analysis in well-mixed populations confirms that this phenomenon arises from structured populations. Our study thus reveals the subtle role of bias regulation in cooperative modes by emphasizing the ``survival of the weakest'' effect in a broader context.

Temporally Non-Uniform Cellular Automata: Surjectivity, Reversibility and Cyclic Behavior

2026-03-21T15:40:34Z

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.

Around Gromov's injectivity lemma and applications to post-injunctive groups

2026-03-18T18:29:10Z

Gottschalk's surjunctivity conjecture states that for all group universes and finite alphabets, every equivariant and continuous selfmap of the full shift, known as cellular automaton, cannot be a strict embedding. Not all surjective cellular automata are injective. However, if the surjectivity condition is replaced by a certain strengthened property called post-surjectivity then all post-surjective cellular automata must be bijective whenever the universe is a sofic group. A group universe is said to be post-injunctive if every post-surjective cellular automaton with finite alphabet over this group universe must be bijective. Gromov's injectivity lemma states each injective cellular automaton over a subshift can be extended to an injective cellular automaton over every subshift which is close enough to the initial subshift. In this paper, we obtain analogous results where injectivity is replaced by other fundamental dynamical properties namely post-surjectivity and pre-injectivity. We also study various stable properties of the class of post-injunctive groups in parallel to properties of surjunctive groups. Among the results, we show that semidirect extensions of post-injunctive groups with residually finite kernels must be post-injunctive.

Random Permutation Circuits Beyond Qubits are Quantum Chaotic

2026-03-15T16:25:21Z

Random permutation circuits were recently introduced as minimal models for local many-body dynamics that can be interpreted both as classical and quantum. Standard dynamical complexity indicators such as damage spreading and out-of-time-order correlators (OTOCs), show that these systems exhibit sensitivity to initial conditions in the classical setting and operator scrambling in the quantum setting. Here, we address their quantum chaoticity - a stricter property - by studying the time evolution of local operator entanglement (LOE). We show that the behaviour of LOE in random permutation circuits depends on the dimension of the local configuration space q. When q = 2, i.e. the circuits act on qubits, random permutations are Clifford and the LOE of any local operator is bounded by a constant, indicating that they are not truly chaotic. On the other hand, when the dimension of the local configuration space exceeds two, the LOE grows linearly in time. We prove this in the limit of large q and present numerical evidence that a three-dimensional local configuration space is sufficient for a linear growth of LOE. Our findings highlight that quantum chaos can be produced by essentially classical dynamics. Moreover, we show that LOE can be defined also in the classical realm and put it forward as a universal indicator chaos, both quantum and classical.

On Gottschalk's surjunctivity conjecture for non-uniform cellular automata

2026-03-14T19:19:09Z

Gottschalk's surjunctivity conjecture for a group $G$ states that it is impossible for cellular automata (CA) over the universe $G$ with finite alphabet to produce strict embeddings of the full shift into itself. A group universe $G$ satisfying Gottschalk's surjunctivity conjecture is called a surjunctive group. The surjunctivity theorem of Gromov and Weiss shows that every sofic group is surjunctive. In this paper, we study the surjunctivity of local perturbations of CA and more generally of non-uniform cellular automata (NUCA) with finite memory and uniformly bounded singularity over surjunctive group universes. In particular, we show that such a NUCA must be invertible whenever it is reversible. We also obtain similar results which extend to the class of NUCA a certain dual-surjunctivity theorem of Capobianco, Kari, and Taati for CA.

Offer of a reward does not always promote trust in spatial games

2026-03-07T20:19:08Z

Trust is one of the cornerstones of human society. One of the evolutionary pressure mechanisms that may have led to its emergence is the presence of incentives for trustworthy behavior. However, this type of reward has received relatively little attention in the context of spatial trust games, which are often used to build models in evolutionary game theory. To fill this gap, we introduce an inter-role reward mechanism in the spatial trust game, so that an investing trustor can choose to pay an extra cost to reward a trustworthy trustee. With extensive numerical simulations, we find that this type of reward does not always promote trust. Rather, while moderate rewards break the dominance of mistrust, thereby favoring investment, excessive rewards eventually stimulate a nonreturn strategy, ultimately suppressing the evolution of trust. Additionally, lower reward costs do not necessarily promote trust. Instead, more costly, but not excessive, rewards enhance the advantage of the original investment, consolidating the clusters of rewarders and improving trust. Our model thus provides evidence about the counterintuitive nature of the relationship between trust and rewards in a complex society.

Universality in driven systems with a multiply-degenerate umbilic point

2026-03-06T11:01:08Z

We investigate a driven particle system, a multilane asymmetric exclusion process, where the particle number in every lane is conserved, and stationary state is fully uncorrelated. The phase space has, starting from three lanes and more, an umbilic manifold where characteristic velocities of all the modes but one coincide, thus allowing us to study a weakly hyperbolic system with arbitrarily large degeneracy. We then study space-time fluctuations in the steady state, at the umbilic manifold, which are expected to exhibit universal scaling features. We formulate an effective mode-coupling theory (MCT) for the multilane model within the umbilic subspace and test its predictions. Unlike in the bidirectional two-lane model with an umbilic point studied earlier, here we find a robust $z=3/2$ dynamical exponent for the umbilic mode. The umbilic scaling function, obtained from Monte-Carlo simulations appears to have a universal shape for a range of interaction parameters and depends only on umbilic mode degeneracy. Remarkably, the shape and dynamic exponent of the non-degenerate mode can be analytically predicted on the base of effective MCT, up to non-universal scaling factor. Our findings suggest the existence of novel universality classes with dynamical exponent $3/2$, appearing in long-lived hydrodynamic modes with equal characteristic velocities.

Emulating the logistic map with totalistic cellular automata

2026-03-05T13:11:56Z

We investigate the conditions under which the mean-field formulation of a probabilistic, totalistic cellular automaton approximates the logistic equation. We show that this goal can be only fulfilled for an infinite-range neighborhood. We numerically study the corresponding one-dimensional implementation, showing that the mean-field description is obviously approached by shuffling the configuration at each time step, but also by rewiring a fraction of links, either at each time step, or using the same random sampling once and for all, in the spirit of the "small-world" mechanism. We show that it is possible to obtain a good approximation of the logistic behavior already with a fraction of rewired links different from one. We also show that there is a bifurcation cascade of the density as a function of the fraction of the rewired links, and that this scenario also holds for a deterministic, totalistic CA with the same basic symmetries of the probabilistic one.

Dominant vertices and attractors' landscape for Boolean networks

2026-03-04T14:40:17Z

In previous works, we introduced the notion of dominant vertices in the context of dynamical systems on networks. This is a set of nodes in the underlying network whose evolution determines the whole network's dynamics after a transient time. In this paper, we focus on the case of Boolean networks. We define a reduced graph on the dominant vertices and an induced dynamics on this graph, which we prove is asymptotically equivalent to the original Boolean dynamics. Asymptotic conjugacy ensures that the systems, restricted to their respective attractors, are dynamically equivalent. For a significant class of networks, the induced dynamics is indeed a reduction of the original system. In these cases, the reduction, which is obtained from the structure of dominant vertices, supplies a more tractable system with the same structure of attractors as the original one. Furthermore, the structure of the induced system allows us to establish bounds on the number and period of the attractors, as well as on the reduction of the basin's sizes and transient lengths. We illustrate this reduction by considering a class of networks, which we call clover networks, whose dominant set is a singleton. To get insight into the structure of the basins of attraction of Boolean networks with a single dominant vertex, we complement this work with a numerical exploration of the behavior of a parametrized ensemble of systems of this kind.

Deep-layered machines have a built-in Occam's razor

2026-03-01T18:26:44Z

Input-output maps are prevalent throughout science and technology. They are empirically observed to be biased towards simple outputs, but we don't understand why. To address this puzzle, we study the archetypal input-output map: a deep-layered machine in which every node is a Boolean function of all the nodes below it. We give an exact theory for the distribution of outputs, and we confirm our predictions through extensive computer experiments. As the network depth increases, the distribution becomes exponentially biased towards simple outputs. This suggests that deep-layered machines and other learning methodologies may be inherently biased towards simplicity in the models that they generate.

On the order of lazy cellular automata

2026-02-26T15:47:31Z

We study the most elementary family of cellular automata defined over an arbitrary group universe $G$ and an alphabet $A$: the lazy cellular automata, which act as the identity on configurations in $A^G$, except when they read a unique active transition $p \in A^S$, in which case they write a fixed symbol $a \in A$. As expected, the dynamical behavior of lazy cellular automata is relatively simple, yet subtle questions arise since they completely depend on the choice of $p$ and $a$. In this paper, we investigate the order of a lazy cellular automaton $τ: A^G \to A^G$, defined as the cardinality of the set $\{ τ^k : k \in \mathbb{N} \}$. In particular, we establish a general upper bound for the order of $τ$ in terms of the fibers of $p$, and we prove that this bound is attained when $p$ is a quasi-constant pattern.