https://arxiv.org/api/bzKAn0Jh3SvFqzgPMT/k+q39bmA 2026-03-20T12:51:51Z 1645 0 15 http://arxiv.org/abs/2603.18183v1 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.

2026-03-18T18:29:10Z Xuan Kien Phung http://arxiv.org/abs/2508.10890v2 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.

2025-08-14T17:57:10Z 7+10 pages, 2 figures; v2 as appears in Phys. Rev. B Phys. Rev. B 113, L100302 (2026) Bruno Bertini Katja Klobas Pavel Kos Daniel Malz 10.1103/ql9x-6kzj http://arxiv.org/abs/2503.23435v2 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.

2025-03-30T13:26:52Z Xuan Kien Phung http://arxiv.org/abs/2603.07328v1 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.

2026-03-07T20:19:08Z 25 pages, 9 figures, accepted for publication in Physical Review Research Haidong Zhang Chaoqian Wang Shuo Liu Charo I. del Genio Stefano Boccaletti Xin Lu http://arxiv.org/abs/2601.04116v2 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.

2026-01-07T17:24:36Z 15 + 4 pages, v2: Added analysis of umbilic mode with higher degeneracy Johannes Schmidt Žiga Krajnik Vladislav Popkov http://arxiv.org/abs/2512.04140v3 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.

2025-12-03T16:39:40Z Third version, 15 pages, 11 figures Franco Bagnoli http://arxiv.org/abs/2509.03654v3 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.

2025-09-03T19:03:26Z Andrea España William Funez Edgardo Ugalde http://arxiv.org/abs/2603.02328v1 2026-03-02T19:00:24Z

Local decoders provide a promising approach to real-time quantum error-correction by replacing centralized classical processing, with significant hardware constraints, by a fully distributed architecture based on a simple, local update rule. We propose a new local decoder for Kitaev's toric code: the 2D signal-rule, that interprets odd parity stabilizer measurements as defects, attracted to each other via the exchange of binary signals. We present numerical evidence of exponential logical error suppression with system size below some critical error rate, under a phenomenological noise model, with data and measurement errors between each iteration. Compared to previously known local decoders, which exhibit suboptimal thresholds and scaling, our construction halves (in log scale) the threshold gap with state-of-the-art decoders, and achieves optimal scaling for experimentally relevant system sizes, enabling the practical realization of a two-dimensional local quantum memory.

2026-03-02T19:00:24Z Louis Paletta http://arxiv.org/abs/2603.01217v1 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.

2026-03-01T18:26:44Z Thomas M. A. Fink http://arxiv.org/abs/2510.14841v3 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.

2025-10-16T16:15:16Z 14 pages Edgar Alcalá-Arroyo Alonso Castillo-Ramirez http://arxiv.org/abs/2602.17148v1 2026-02-19T07:48:16Z

This paper explores cellular automata (CA) constructed from Yang-Baxter maps over finite fields $F_{2^n}$. We define $R$-matrices using a map $f$ on $F_{2^n}$ and establish necessary and sufficient conditions for $f$ to satisfy the Yang-Baxter equation. We show that these conditions become remarkably streamlined in characteristic two. An exhaustive search for bijective solutions in fields of order 4, 8, and 16 yields 16, 736, and 269,056 maps, respectively. Analysis of the resulting CA under helical boundary conditions reveals a consistent alignment between the temporal period and the field order. We propose the conjecture that this periodic identity holds generally for $F_{2^n}$, supported by analytical proofs for $n=2$ and $n=3$. Our results further indicate that bijectivity is a fundamental requirement for this periodic behavior.

2026-02-19T07:48:16Z 24 pages, 9 figures Aoi Araoka Tetsuji Tokihiro http://arxiv.org/abs/2602.13839v1 2026-02-14T18:00:32Z

We study a probabilistic cellular automaton obtained as a mixture of the additive elementary rules 60 and 102. We prove that, for any finite periodic lattice and for mixing parameter $λ=1/2$, the system almost surely reaches the absorbing all-zero configuration in finitely many steps. In addition, Monte Carlo simulations indicate as well the presence of a zero-density stationary state in a finite interval around $λ=1/2$. Despite this absorbing behavior, both mean-field and block approximation schemes predict a stationary state with non-zero density. This failure, traced to the additive and mirror symmetries of the deterministic components, highlights a fundamental limitation of finite-block approximation in capturing the global dynamics of probabilistic cellular automata.

2026-02-14T18:00:32Z 8 figures Emilio N. M. Cirillo Joram L. Vliem Dirk Schuricht Cristian Spitoni http://arxiv.org/abs/2602.00036v2 2026-02-11T14:46:05Z

Large Language Models (LLMs), trained solely on massive text data, have achieved high performance on the Winograd Schema Challenge (WSC), a benchmark proposed to measure commonsense knowledge and reasoning abilities about the real world. This suggests that the language produced by humanity describes a significant portion of the world with considerable nuance. In this study, we attempt to harness the high expressive power of language within cellular automata. Specifically, we express cell states and rules in natural language and delegate their updates to an LLM. Through this approach, cellular automata can transcend the constraints of merely numerical states and fixed rules, providing us with a richer platform for simulation. Here, we propose LOGOS-CA (Language Oriented Grid Of Statements - Cellular Automaton) as a natural framework to achieve this and examine its capabilities. We confirmed that LOGOS-CA successfully performs simple forest fire simulations and also serves as an intriguing subject for investigation from an Artificial Life (ALife) perspective. In this paper, we report the results of these experiments and discuss directions for future research using LOGOS-CA.

2026-01-18T20:11:05Z Keishu Utimula http://arxiv.org/abs/2411.00398v2 2026-02-10T17:23:26Z

Understanding the emergence of cooperation in social networks has advanced through pairwise interactions, but the corresponding theory for group-based public goods games (PGGs) remains less explored. Here, we provide theoretical conditions under which cooperation thrives in PGGs on arbitrary population structures, which are accurate under weak selection. We find that a class of networks that would otherwise fail to produce cooperation, such as star graphs, are particularly conducive to cooperation in PGGs. More generally, PGGs can support cooperation on almost all networks, which is robust across all kinds of model details. This fundamental advantage of PGGs derives from self-reciprocity realized by group separations and from clustering through second-order interactions. We also apply PGGs to empirical networks, which shows that PGGs could be a promising interaction mode for the emergence of cooperation in real-world systems.

2024-11-01T06:55:03Z 59 pages, 11 figures, accepted for publication in Science Adavances Chaoqian Wang Qi Su 10.1126/sciadv.aeb1263 http://arxiv.org/abs/2506.22629v3 2026-02-07T20:36:55Z

We consider the scaling behaviour of the fluctuation susceptibility associated with the average activation in the Greenberg-Hastings neural network model and its relation to microscopic spontaneous activation. We found that, as the spontaneous activation probability tends to zero, a clear finite size scaling behaviour in the susceptibility emerges, characterized by critical exponents which follow already known scaling laws. This shows that the spontaneous activation probability plays the role of an external field conjugated to the order parameter of the dynamical activation transition. The roles of different kinds of activation mechanisms around the different dynamical phase transitions exhibited by the model are characterized numerically and using a mean field approximation.

2025-06-27T20:46:02Z 12 pages, 8 figures Joaquin Almeira Daniel A. Martin Dante R. Chialvo Sergio A. Cannas