https://arxiv.org/api/bzKAn0Jh3SvFqzgPMT/k+q39bmA 2026-05-15T23:49:17Z 1661 0 15 http://arxiv.org/abs/2605.13379v1 2026-05-13T11:34:41Z

Lattice geometry profoundly shapes physical phenomena such as subsystem symmetry and directed percolation (DP). Among various lattice geometries, hyperbolic lattices are characterized by constant negative curvature and non-Abelian translation symmetry, offering a rich platform for investigating this geometry-physics interplay. However, the exponentially growing lattice size and nontrivial translation symmetry make approaches developed for Euclidean lattices incompatible, a limitation particularly evident in uniform cellular automata (CA). To resolve this, we develop a higher-order non-uniform cellular automata (NUCA) algorithm applicable to both translationally invariant regular Euclidean and hyperbolic lattices. In the algorithm, the non-uniform update rules incorporate nontrivial geometric data through a lattice-deforming procedure. We demonstrate the broad applicability of our algorithm to hyperbolic lattices through several applications on the hyperbolic $\{5,4\}$ lattice. By applying a linear NUCA, we generate subsystem symmetry-protected topological (SSPT) states and spontaneous subsystem symmetry-breaking states associated with regular or irregular subsystem symmetries unattainable on Euclidean lattices. We design the multi-point strange correlators to detect nontrivial SSPT states and derive a sufficient condition for non-Abelian translationally invariant NUCA-generated models. Furthermore, by generalizing the NUCA to non-uniform Clifford quantum cellular automata (CQCA), we generate subsystem symmetries of the hyperbolic cluster state, extending the established correspondence between translationally invariant CQCA and subsystem symmetries. Moreover, we simulate the DP process via a probabilistic NUCA that inherits the treelike structure of the lattice, and numerically estimate percolation thresholds and the phase diagram.

2026-05-13T11:34:41Z Due to length limit. full version of Abstract is available in PDF. Cellular Automata series since arXiv:2401.00505 and 2508.13961 Xiang-You Huang Jie-Yu Zhang Peng Ye http://arxiv.org/abs/2605.06425v2 2026-05-11T12:55:11Z

Combinatorial optimization problems in logistics, finance, energy, and scheduling routinely involve multi-state decision variables. Ising machines (IMs) require binary expansions (e.g., one-hot encoding) to encode such variables, whereas Potts machines (PMs) represent them natively. By doing so, PMs are expected to outperform IMs on multi-state problems. To the best of our knowledge, no systematic study of PM models has yet assessed whether this expectation holds. We therefore benchmark five representative PMs against a reference IM on Max-3-Cut and Max-4-Cut, using 800-vertex GSet graphs and random graphs of up to 50 vertices. Surprisingly, the reference IM still outperforms every PM, and the IM supremacy increases significantly in going from Max-3-Cut to Max-4-Cut. These results provide clear evidence that current PM dynamics underperform relative to binary approaches, even in regimes where they are presumed advantageous. We provide a way forward by quantifying the underperformance of current PMs, as well as by identifying three dynamical properties that correlate strongly with their performance ranking. Our work stresses the need for more systematic assessments of algorithmic performance in order to guide the design of more effective Potts machines.

2026-05-07T15:30:17Z 12 pages, 3 figures, supplementary material included Bjarke Almer Frederiksen Robbe De Prins Peter Bienstman http://arxiv.org/abs/2604.00165v2 2026-05-05T17:37:31Z

A comparative algebraic framework for elementary cellular automata is developed, centered on the role of spatial symmetry. The primary object of study is Rule~22, the elementary cellular automaton with algebraic normal form $g(a,b,c)=a\oplus b\oplus c\oplus abc$ over $\mathbb{F}_2$, the simplest rule combining full $S_3$ symmetry with genuine nonlinearity. Three closed-form results are established: a formula for the support-set cardinality, $|S_m|=2^{\mathrm{popcount}(\lfloor m/2 \rfloor)}\cdot 3^{m\bmod 2}$; a two-step recursive construction of the support sets; and the continuous limit as a parabolic reaction--diffusion equation, $\partial_m u=u_{xx}+2u+u^3$. Rule~22 is then used as a symmetric reference for Rule~30. The symmetry-breaking deviation $ε(m)=|S_m^{(30)}|-|S_m^{(22)}|$ is empirically consistent with a power-law scaling of the form $m^b$ ($b\approx 1.11$), quantifying the cumulative effect of replacing the symmetric cubic $abc$ with the asymmetric quadratic $bc$. A mechanism for the apparent randomness of Rule~30's center column is identified through the left-permutive structure and asymmetric Boolean sensitivity profile.

2026-03-31T19:14:45Z E. Chan-López A. Martín-Ruiz http://arxiv.org/abs/2604.21866v1 2026-04-23T17:01:26Z

Execution of quantum algorithms on large-scale quantum computers will require extremely low logical error rates, which necessitates the development of scalable decoding architectures. Local decoders are promising candidates for this task, as they avoid the communication and data processing bottlenecks inherent in global decoding strategies. Cellular automaton (CA) decoders represent a distinct class of local decoders, offering a path toward the low-latency, real-time decoding required for practical applications. In this work, we present SCALA (Signaling CA with Local Attraction), a novel non-hierarchical cellular automaton decoder for quantum repetition and toric codes. By evaluating SCALA alongside the hierarchical CA decoder proposed by Harrington, we provide a direct comparison between non-hierarchical and renormalization-group-style local decoding strategies. We characterize SCALA across three key metrics: Performance, scalability, and robustness. Our results show that SCALA achieves a code-capacity threshold of approximately $p_c\approx 7.5\%$ and provides strong sub-threshold scaling of about $p_L\propto p^{d/4}$ on the toric code. In terms of scalability, our non-hierarchical design ensures that the local computational resources remain independent of system size, yielding a modular local architecture suitable for hardware implementation. Finally, SCALA demonstrates strong robustness to qubit measurement errors and noise within the decoder itself, a critical advantage for real-time decoding on noisy hardware. Our results establish SCALA as a high-performance, scalable, and robust local decoder for scalable quantum error correction.

2026-04-23T17:01:26Z 33 pages, 25 figures Don Winter Thiago L. M. Guedes Markus Müller http://arxiv.org/abs/2604.18359v1 2026-04-20T14:50:24Z

Previous publications by the authors put forward the argument that Lifelike Cellular Automata can be treated as a bona fide example of livingness in and of themselves, not simply a toy analogue to biological life. Traits known to be indicative of biological life, biosignatures, were identified in informational form as particular outlier traits of the ruleset for the lifelike cellular automata known as Conways Game of Life. This publication reverses that logic, looking at a known outlier trait of Conways Game of Life, its very long-lasting evolutions, and using this to point towards temporal retention as an informational biosignature concept.

2026-04-20T14:50:24Z Manuscript has 16 pages and 6 figures Terence P Kee James mcCrum http://arxiv.org/abs/2604.15598v1 2026-04-17T00:37:47Z

Stochastic models of diffusion are routinely used to study dispersal of populations, including populations of animals, plants, seeds and cells. Advances in imaging and field measurement technologies mean that data are often collected across a range of scales, including count data collected across a series of fixed sampling regions to characterize population-level dispersal, as well as individual trajectory data to examine at the motion of individuals within a diffusive population. In this work we consider a lattice-based random walk model and examine the extent to which model parameters can be determined by collecting count data and/or trajectory data. Our analysis combines agent-based stochastic simulations, mean-field partial differential equation approximations, likelihood-based estimation, identifiability analysis, and model-based prediction. These combined tools reveal that working with count data alone can sometimes lead to challenges involving structural non-identifiability that can be alleviated by collecting trajectory data. Furthermore, these tools allow us to explore how different experimental designs impact inferential precision by comparing how different trajectory data collection protocols affects practical identifiability. Open source implementations of all algorithms used in this work are available on GitHub.

2026-04-17T00:37:47Z 7 Figures Matthew J Simpson Michael J Plank http://arxiv.org/abs/2604.14966v1 2026-04-16T13:02:03Z

Computational power can be measured by assigning an algebraic structure to a computational device. Here, we convert a small patch of Conway's Game of Life into a transformation semigroup. The conversion captures not only time evolution but also interactive operations. In this way, the cellular automaton becomes directly programmable. Once this measurement is made, we apply hierarchical decompositions to the resulting algebraic object as a way of understanding it. These decompositions are based on a macro/micro-state division inspired by statistical mechanics. However, cellular automata have a large number of global states. Therefore, we focus on partitioning the state space and creating morphic images approximations that can serve as macro-level descriptions. The methods developed here are not limited to cellular automata; they apply more generally to discrete dynamical systems.

2026-04-16T13:02:03Z 6 pages, 4 figures, final version will be published elsewhere Attila Egri-Nagy Chrystopher L. Nehaniv http://arxiv.org/abs/2604.13821v1 2026-04-15T12:54:05Z

The coexistence of step bunching and step meandering remains contradictory in the understanding of the unstable step-flow growth. Considered separately, the two instabilities have generated rich but largely independent modeling traditions. Especially, the one-dimensional framework faces a fundamental difficulty once bunching and meandering occur simultaneously -- step bunching is usually associated with an inverted Ehrlich--Schwoebel effect, whereas step meandering is associated with a direct one. The key experiments also focus mainly on the two basic limiting cases. How, then, can both instabilities coexist within the same growth process once the simultaneous occurrence of bunching and meandering cannot be adequately captured as a simple superposition of the two? In this work, we confront results from two substantially different approaches: a (2+1)D Vicinal Cellular Automaton based model (VicCA) and a differential-difference PDE-based description combining a model of step bunching with a relaxation term in the perpendicular direction. The continuous framework enables to explore long-time scales evolution to find large variety of surface patterns. Introducing a proper shape of the potential energy landscape in the VicCA model produces similar patterns and links both models on the level of parameters.

2026-04-15T12:54:05Z 11 pages, 6 figures Vassil Ivanov Vesselin Tonchev Marta A. Chabowska Hristina Popova Magdalena A. Załuska-Kotur http://arxiv.org/abs/2603.02328v2 2026-04-15T08:10:26Z

Local decoders provide a promising approach to real-time quantum error-correction by replacing centralized classical decoding, 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 suppression of the logical error rate with system size below a threshold, under a phenomenological noise model with data and measurement errors at each iteration. The construction achieves a significantly improved threshold and optimal finite-size scaling relative to hierarchical schemes. It also provides a lightweight alternative to windowed local decoder constructions while maintaining strong performance, thus enabling a streamlined architecture for a two-dimensional local quantum memory.

2026-03-02T19:00:24Z Louis Paletta http://arxiv.org/abs/2108.10000v2 2026-04-15T07:56:55Z

Cancer cell populations often exhibit remarkably similar growth laws despite their heterogeneity. Explanations of universal cell population growth remain partly unresolved to this day. Here, we present a growth-law unification by investigating the connection between microscopic assumptions and the expected contact inhibition, which leads to five classical tumor growth laws: exponential, radial growth, fractal growth, generalized logistic, and Gompertzian growth. All five can be seen as manifestations of a single microscopic model. Agent-based simulations substantiate our theory, and we can explain differences in growth curves in experimental data from em in vitro cancer cell population growth. Thus, our framework offers a possible explanation for many mean-field laws used to empirically capture seemingly unrelated cancer or microbial growth dynamics. Our results highlight that the interplay between contact inhibition and other assumptions (e.g., well-mixed) can influence our quantitative understanding of how cancer cells grow and, in turn, how they may interact.

2021-08-23T08:17:20Z 41 pages, 6 main figures, 2 tables, 67 references, 4 supplementary figures Gregory J. Kimmel Sadegh Marzban Mehdi Damaghi Arne Traulsen Alexander R. A. Anderson Jeffrey West Philipp M. Altrock http://arxiv.org/abs/2604.10082v1 2026-04-11T07:58:33Z

We investigate Boolean, totalistic cellular automata with a majority or frustrated majority vote rule, and an interaction range of variable span. These two models show a behavior which differs from the mean-field one. The majority vote model is characterized by the presence of absorbing states, and there is a related bifurcation according to the initial density, in agreement with the mean-field approximation. For initial density equal to $0.5$, however, the dynamics is dominated by a coarsening process, which stops when clusters with a definite curvature radius are established. For the frustrated majority vote model, the mean-field approximation gives chaotic oscillations or a limit cycle. Instead, we observe active patterns, with stable density. Above a certain critical value for the interacting radius there is a bifurcation of the asymptotic density as a function of the initial one.

2026-04-11T07:58:33Z Franco Bagnoli Luca Mencarelli http://arxiv.org/abs/2604.10076v1 2026-04-11T07:49:50Z

In mathematics and engineering, control theory is concerned with the analysis of dynamical systems through the application of suitable control inputs. One of the prominent problems in control theory is controllability which concerns the ability to determine whether there exists a control input that can steer a dynamical system from an initial state to a desired final state within a finite time horizon. There is a general theory for controlling linear or linearizable system, but it cannot be applied to discrete systems like cellular automata, which is the problem of that we address in this paper. We develop a general theory for linear (and affine) cellular automata, and apply it to examples of one-dimensional and two-dimensional Boolean cases. We introduce the concept of controllability matrix and show that controllability holds if and only if the controllability matrix is invertible.

2026-04-11T07:49:50Z Franco Bagnoli Sara Dridi Bassem Sellami Amira Mouakher Samira El Yacoubi http://arxiv.org/abs/2604.10066v1 2026-04-11T07:07:21Z

In this exploratory paper we introduce the problem of cognitive agents that learn how to modify their environment according to local sensing to reach a global goal. We concentrate on discrete dynamics (cellular automata) on a two-dimensional system. We show that agents may learn how to approximate their goal when the environment is passive, while this task becomes impossible if the environment follows an active dynamics.

2026-04-11T07:07:21Z Franco Bagnoli Bassem Sellami Amira Mouakher Samira El Yacoubi http://arxiv.org/abs/2604.04051v1 2026-04-05T10:54:15Z

Hybrid physical systems combine continuous and discrete dynamics, which can be simultaneously affected by faults. Conventional fault detection methods often treat these dynamics separately, limiting their ability to capture interacting fault patterns. This paper proposes a unified fault detection framework for hybrid dynamical systems by integrating an Extended Timed Continuous Petri Net (ETCPN) model with semi-supervised anomaly detection. The proposed ETCPN extends existing Petri net formalisms by introducing marking-dependent flow functions, enabling intrinsic coupling between discrete and continuous dynamics. Based on this structure, a mode-dependent hybrid observer is designed, whose stability under arbitrary switching is ensured via Linear Matrix Inequalities (LMIs), solved offline to determine observer gains. The observer generates residuals that reflect discrepancies between the estimated and measured outputs. These residuals are processed using semi-supervised methods, including One-Class SVM (OC-SVM), Support Vector Data Description (SVDD), and Elliptic Envelope (EE), trained exclusively on normal data to avoid reliance on labeled faults. The framework is validated through simulations involving discrete faults, continuous faults, and hybrid faults. Results demonstrate high detection accuracy, fast convergence, and robust performance, with OC-SVM and SVDD providing the best trade-off between detection rate and false alarms. The framework is computationally efficient for real-time deployment, as the main complexity is confined to the offline LMI design phase.

2026-04-05T10:54:15Z Journal of the Franklin Institute, Volume 363, Issue 5, 15 March 2026, 108485 Fatiha Hamdi Abdelhafid Zeroual Fouzi Harrou 10.1016/j.jfranklin.2026.108485 http://arxiv.org/abs/2604.00273v1 2026-03-31T21:57:48Z

Cellular automata generate spatially extended, temporally persistent emergent structures from local update rules. No general method derives the mechanisms of that generation from the rule itself; existing tools reconstruct structure from observed dynamics. This paper shows that the look-up table contains a readable causal architecture and introduces a forward model to extract it. The key observation in elementary cellular automata (ECA) is that adjacent cells share input positions, so the prime implicants of neighbouring transitions overlap. That overlap can couple the transitions causally or leave them independent. We formalize each pairwise interaction as a tile. A finite-state, tiling transducer, $\mathcal{T}$, composes tiles across the CA lattice, tracking how coupling and independence propagate from one cell pair to the next. Structural properties of $\mathcal{T}$ are used to classify ECA rules that can sustain regions of causal independence across space and time. We find that, in the 88 ECA equivalence classes, the number of local configurations at which coupling is structurally impossible -- computable from the look-up table -- predicts the prevalence of dynamically decoupled regions with Spearman $ρ= 0.89$ ($p < 10^{-31}$). The look-up table encodes not just what a rule computes but where it distributes causal coupling across the lattice; the framework reads that distribution forward, from local logical redundancy to emergent mesoscopic organization.

2026-03-31T21:57:48Z Manuel Pita