---
title: Non-uniform Cellular Automata
url: https://www.emergentmind.com/topics/non-uniform-cellular-automata-nuca
type: topic
---

# Non-uniform Cellular Automata

Searching arXiv for the cited NUCA papers to ground the article in current sources.
arxiv_search(query="2409.02722 Non-uniform Cellular Automata TensorFlow 2209.06002 1702.03812 1901.08246 2503.23435 1108.1419 1107.5228 2605.22762 1604.06600 2507.06987 2210.00676 2403.05998 2201.13283 2208.13069", max_results=10)
arxiv_search(query="Non-uniform cellular automata", max_results=10)
Non-uniform cellular automata (NUCA) are extensions of cellular automata in which the local update rule is allowed to depend on the site rather than being spatially uniform. In a widely used group-universe formulation, for a memory set \(M\subset G\), an alphabet \(A\), and a configuration of local rules \(s\in S^G\) with \(S=A^{A^M}\), the global map is
\[
\sigma_s(x)(g)=s(g)\big((g^{-1}x)|_M\big),
\]
so classical CA are exactly the special case where \(s\) is constant. Other strands of the literature use finite one-dimensional rule vectors or broader taxonomies in which non-uniformity can also affect update pattern, lattice structure, or neighborhood dependency. Across these formalisms, NUCA provide the standard mathematical language for spatially heterogeneous local computation on symbolic dynamical systems [2507.06987][1107.5228][1607.02291].

## 1. Formal models and terminological landscape

A persistent feature of the literature is that “NUCA” has both narrow and broad usages. In the narrow and historically dominant sense, the object is a one-dimensional system in which different cells use different local rules, often elementary Wolfram rules encoded in a rule vector
\[
\mathcal{R}=\langle \mathcal{R}_0,\mathcal{R}_1,\ldots,\mathcal{R}_{n-1}\rangle,
\]
with global update
\[
y_i=f_i(x_{i-1},x_i,x_{i+1}).
\]
This is the finite, binary, radius-\(1\) setting used in work on reversibility, reachability, and number conservation [1901.08246][1604.06600]. In a broader symbolic-dynamical formulation on \(A^{\mathbb Z}\), NUCA are structures \(\langle A,\{h_i,r_i\}_{i\in\mathbb Z}\rangle\) with
\[
H(x)_i=h_i(x_{i-r_i},\dots,x_{i+r_i}),
\]
and the full class coincides with the continuous self-maps of \(A^{\mathbb Z}\); this breadth is one reason later work concentrates on structured subclasses such as fixed-radius, default-rule, or eventually periodic systems [1107.5228].

A complementary formalism treats non-uniformity as a distribution of rules \(\theta:\mathbb Z\to\mathcal R\) over a finite set of local maps. The induced global map is denoted \(H_\theta\), and when \(\mathcal R\) is finite one may pad all rules to a common radius \(r\), thereby obtaining an \(r\nu\)-CA with site-dependent rule but fixed neighborhood size [1108.1419]. This rule-distribution viewpoint is central when the object of study is not one fixed automaton but the symbolic set of distributions producing surjective, injective, or number-conserving dynamics.

The survey literature also places NUCA inside a larger classification of non-classical CA. One may distinguish non-uniformity in update pattern, non-uniformity in lattice structure and neighborhood dependency, and non-uniformity in local rule. In that broader sense, asynchronous CA and automata networks are parallel non-uniform branches, while “hybrid” or “non-uniform” CA usually refer specifically to spatial variation of the local rule [1607.02291]. This suggests that the modern NUCA literature is unified less by one canonical definition than by a shared relaxation of spatial homogeneity.

## 2. Structured subclasses of non-uniformity

Much of the rigorous theory concerns classes that are non-uniform but still structured enough to admit finite-memory or algebraic analysis. One important class is that of **local perturbations** of CA: the local-rule configuration \(s\) is asymptotically constant, meaning there exists a constant configuration \(c\) and a finite set \(F\subset G\) such that \(s|_{G\setminus F}=c|_{G\setminus F}\). In this regime the automaton differs from a background CA only on finitely many sites, and this finite defect structure underlies several surjunctivity and invertibility results [2503.23435][2403.05998]. A larger class consists of NUCA with **uniformly bounded singularity**, where for every finite \(E\subset G\) with \(1_G\in E=E^{-1}\), there exists a finite \(F\supset E\) such that \(s|_{FE\setminus F}\) is constant. Here the non-uniformity may be global, but finite regions can still be surrounded by uniform shells [2503.23435][2403.05998].

A second major subclass is **linear NUCA**. With alphabet \(V\) a finite-dimensional vector space over a field \(k\), a NUCA is linear when all local maps are linear. The paper on noisy linear automata isolates
\[
\mathrm{LNUCA}_c(G,V),
\]
the class of linear NUCA with finite memory and asymptotically constant local defining maps, i.e. local perturbations of linear CA. This class admits a precise ring-theoretic model via a twisted group ring \(D^1(k[G])\), and finite-memory linear NUCA with finite non-uniformity become the dynamical realization of matrix rings over \(D^1(k[G])\) [2209.06002]. Related work also studies sparse global perturbations, in which infinitely many defects are allowed provided they occur in well-separated clusters [2210.00676].

The literature also contains operationally motivated subclasses. In reservoir computing, “quasi-uniform” CA denotes a piecewise-uniform one-dimensional binary reservoir split into two spatial regions using different rules, with interaction at the shared boundaries and under wrap-around topology [1702.03812]. In temporally non-uniform cellular automata, the non-uniformity is not spatial but temporal: a global rule sequence \((\mathcal R_t)_{t\ge 1}\) alternates between rules \(f\) and \(g\), yielding a temporal analogue of NUCA that is formally distinct from the spatial models [2411.17421]. At a more geometric extreme, higher-order NUCA on translationally invariant Euclidean and hyperbolic lattices use position-dependent update rules induced by lattice deformation; here non-uniformity is geometry-controlled rather than defect-like [2605.13379].

## 3. Dynamical properties, reversibility, and surjunctivity

The dynamical vocabulary of NUCA extends the CA notions of injectivity, surjectivity, pre-injectivity, and post-surjectivity, but stable versions become indispensable. In the group-universe formulation, two configurations are asymptotic if they agree outside a finite set; pre-injectivity forbids collisions between distinct asymptotic configurations, while post-surjectivity requires asymptotic liftability of asymptotic perturbations of an image. Because the local-rule configuration itself has a shift orbit closure \(\Sigma(s)\), one defines stable injectivity and stable post-surjectivity by requiring the corresponding property for every \(p\in\Sigma(s)\) [2503.23435][2209.06002]. This orbitwise strengthening has no analogue in uniform CA because constant rule fields have trivial orbit closure.

Several classical implications fail for general NUCA. Injectivity need not imply surjectivity, and even reversibility and invertibility separate: for finite-memory NUCA, a map may be injective and even reversible without being surjective, while in other examples bijectivity fails to imply reversibility in the finite-memory sense [2503.23435][2201.13283]. In topological dynamics, the uniform-CA implication “transitive \(\Rightarrow\) sensitive” also fails: a two-dimensional NUCA is constructed that is minimal, hence transitive, but not sensitive, via an odometer-based nearly uniform rule distribution in which only the first cell uses a different local rule [2605.22762]. These failures are not peripheral; they mark the loss of the rigid equivariant structure of classical CA.

Controlled non-uniformity restores part of the classical picture. For local perturbations and, more generally, finite-memory NUCA with uniformly bounded singularity over countable surjunctive or finitely generated sofic groups, stable injectivity implies stable invertibility; dual results hold for stable post-surjectivity [2503.23435][2403.05998]. In a different direction, the Garden of Eden theorem is recovered when the rule distribution is recurrent enough: if the distribution of local rules is uniformly recurrent, or recurrent in the one-dimensional case, then
\[
\text{surjective} \iff \text{pre-injective},
\]
whereas every non-recurrent one-dimensional template admits a substitution of local rules producing a NUCA that violates either Moore or Myhill direction [2507.06987]. This sharply localizes the obstruction: unique or non-repeating rule patterns can destroy Garden-of-Eden behavior, while repetitive heterogeneity preserves it.

For asynchronous non-uniform cellular automata, stable notions become even more central. Over a countable group with finite alphabet and finite memory, reversibility, stable reversibility, and stable injectivity are equivalent. Thus stable injectivity, not ordinary injectivity, is the correct finite-memory reversibility criterion in that setting [2201.13283]. For linear NUCA, duality adds another layer: pre-injectivity, injectivity, stable injectivity, and invertibility of a linear NUCA correspond respectively to surjectivity, post-surjectivity, stable post-surjectivity, and invertibility of the dual linear NUCA, while bijectivity is no longer self-dual as it is for linear CA [2208.13069].

## 4. Algorithmic, combinatorial, and algebraic methods

One major line of work studies which rule distributions produce a desired global property. For fixed-radius one-dimensional NUCA, partial transition functions
\[
h_\psi:A^{n+2r}\to A^n
\]
encode finite windows of the global map. A variant of the De Bruijn graph recognizes the language
\[
\{(\psi,u):h_\psi^{-1}(u)\neq\emptyset\},
\]
leading to the result that the set \(Surj(\mathcal R)\) of surjective rule distributions is a sofic subshift. Injectivity is handled with a product graph \(\mathcal P_{\mathcal R}\), and the corresponding set \(Inj(\mathcal R)\) is a \(\zeta\)-rational language [1108.1419]. For \(p\)-NUCA, generalized De Bruijn and reduced product graphs yield decidability of surjectivity and injectivity [1107.5228].

Finite one-dimensional non-uniform elementary CA support especially detailed combinatorial tools. The **reachability tree** organizes valid Rule Min Terms (RMTs) level by level and turns the configuration reachability problem \(D=F^t(S)\) into a path-existence problem between destination and source edges. The resulting CREP algorithm is exponential in worst-case time and space, but the paper reports average explored-tree size behaving like \(O(n^3)\) [1901.08246]. For number conservation under periodic boundary conditions, reachability-tree weights on RMTs characterize when the number of \(1\)s is preserved by every global update. This yields an \(O(n)\)-time decision algorithm and an \(O(n)\)-time synthesis procedure for \(n\)-cell non-uniform number-conserving CA; for \(n\ge 5\), only nine Wolfram rules can participate:
\[
136,\ 170,\ 184,\ 192,\ 204,\ 226,\ 238,\ 240,\ 252.
\]
Even then, admissible local rules must be arranged compatibly in the rule vector [1604.06600].

The algebraic theory is strongest for linear NUCA. Finite-memory linear NUCA with asymptotically constant local rules form a class \(\mathrm{LNUCA}_c(G,V)\) in which stable injectivity is equivalent to left-invertibility, and a twisted ring
\[
D^1(k[G])=k[G]\times (k[G])[G]
\]
with twisted multiplication is constructed so that \(\mathrm{LNUCA}_c(G,k^n)\cong M_n(D^1(k[G]))\) for infinite \(G\). This identifies surjunctivity-type questions for noisy linear automata with stable finiteness of \(D^1(k[G])\), and yields equivalences between \(L^1\)-surjunctivity, dual \(L^1\)-surjunctivity, and stable finiteness of the twisted group ring [2209.06002]. A separate line proves that for finite-memory NUCA with multiple local transition rules, pointwise nilpotency, pointwise periodicity, and pointwise eventual periodicity are equivalent to their global counterparts; for linear NUCA, even a pointwise polynomial identity \(P_x(T)(x)=0\) globalizes, and in the finite-vector-space case it forces eventual periodicity [2210.00676]. This suggests that non-uniformity does not automatically destroy operator-level rigidity when finite memory and linear structure are present.

## 5. Computational realizations and application domains

A recent computational development shows that spatially non-uniform binary nearest-neighbor automata can be embedded exactly into mainstream CNN software. For a finite one-dimensional NUCA with rule allocation \(r:\{1,\dots,N\}\to\{1,\dots,N_R\}\), one global step is implemented in TensorFlow by: a fixed width-\(3\) convolution with kernel \((4,2,1)\) to encode each neighborhood as an integer in \(\{0,\dots,7\}\); one-hot expansion into eight channels; rulewise \(1\times1\) convolutions using the 8-bit truth tables of the candidate elementary rules; and a position-dependent selection stage realized either as a locally connected layer or a sparse dense layer. The method is an exact emulator rather than a learned predictor, and the reported practical benefit is that TensorFlow’s batched and parallel local computation becomes advantageous when many samples and many cells are simulated [2409.02722].

NUCA also appear as computational substrates. In reservoir computing, quasi-uniform binary CA reservoirs with two loosely coupled rule regions were evaluated on the 5-bit memory task. Strong combinations such as \(90+105\), \(90+150\), and \(150+165\) achieve perfect success in all tested settings, while pairs such as \(60+102\), \(60+153\), and \(153+195\) fail almost completely. The experiments suggest that rule compatibility, not merely single-rule quality, governs performance, and that boundary interactions can either support or suppress reservoir capacity [1702.03812]. Temporally non-uniform CA extend this design axis further by varying the global rule sequence over time; this setting motivates notions such as restricted surjectivity, restricted reversibility, and weak reversibility, because reachability can depend on the temporal schedule even when the constituent rules are individually irreversible [2411.17421].

Application-oriented survey work reports extensive use of non-uniform elementary CA in VLSI testing, pseudo-random pattern generation, classifier design, compression, cryptography, image processing, and biological sequence problems. In linear/additive finite settings, matrix algebra with
\[
y=T\cdot x \quad \text{or} \quad y=T\cdot x+F
\]
is the dominant tool; in non-linear finite settings, reachability trees and related graph constructions are the main characterization devices [1607.02291]. More recently, geometry-induced higher-order NUCA on hyperbolic lattices have been used to generate subsystem symmetry-protected topological states, spontaneous subsystem symmetry-breaking states, non-uniform Clifford QCA structures, and probabilistic directed-percolation processes on the hyperbolic \(\{5,4\}\) lattice. There the non-uniform rule field is not an arbitrary perturbation but a computational encoding of lattice deformation and non-Abelian translation symmetry [2605.13379].

## 6. Limitations, misconceptions, and open directions

A recurring misconception is that NUCA are merely CA with “a few different rules.” In fact, the literature spans objects as broad as all continuous self-maps of \(A^{\mathbb Z}\) in one formalization, group-universe finite-memory maps \(\sigma_s\), local perturbations of CA, globally distributed but bounded-singularity rule fields, quasi-uniform piecewise reservoirs, temporal rule sequences, and geometry-induced higher-order constructions [1107.5228][2503.23435][2605.13379]. Results almost always apply to a specific subclass, not to arbitrary NUCA. The sharpest theorems in surjunctivity, direct finiteness, or decidability are correspondingly conditional on linearity, recurrence, asymptotic constancy, bounded singularity, or finite-dimensional alphabets.

Another misconception is that CA theorems routinely transfer to NUCA. They do not. Injectivity need not imply surjectivity; bijectivity need not imply finite-memory reversibility; transitivity need not imply sensitivity; and rulewise admissibility need not ensure global compatibility. Where classical behavior reappears, it does so for identifiable structural reasons such as recurrent rule distributions, stable injectivity, or finite perturbation of a surjunctive background [2507.06987][2201.13283][2605.22762]. This suggests that “non-uniformity” is not a single perturbative parameter but a collection of mechanisms that change the ambient dynamical category.

Open directions identified in the literature are correspondingly diverse. Reservoir-computing work proposes more-than-two-rule systems, dynamical descriptors such as Langton’s \(\lambda\) and Lyapunov exponent, and evolutionary search over the combinatorially large rule space [1702.03812]. Temporally non-uniform CA motivate algorithmic classification of restricted reversibility and weak reversibility, as well as extensions from two rules to larger temporal alphabets [2411.17421]. Hyperbolic-lattice NUCA raise the problem of classifying which subsystem symmetries arise from linear NUCA, while current translation-invariance criteria are only sufficient and the CQCA treatment remains constructive rather than classificatory [2605.13379]. More generally, the accumulated record suggests that the central challenge of NUCA theory is to determine which forms of heterogeneity preserve the rigid algebraic and symbolic properties of classical CA, and which create genuinely new dynamical regimes.

Source: https://www.emergentmind.com/topics/non-uniform-cellular-automata-nuca