Nilpotency and periodic points in non-uniform cellular automata

Nilpotent cellular automata have the simplest possible dynamics: all initial configurations lead in bounded time into the unique fixed point of the system. We investigate nilpotency in the setup of one-dimensional non-uniform cellular automata (NUCA) where different cells may use different local rules. There are infinitely many cells in NUCA but only a finite number of different local rules. Changing the distribution of the local rules in the system may drastically change the dynamics. We prove that if the available local rules are such that every periodic distribution of the rules leads to nilpotent behavior then so do also all eventually periodic distributions. However, in some cases there may be non-periodic distributions that are not nilpotent even if all periodic distributions are nilpotent. We demonstrate such a possibility using aperiodic Wang tile sets. We also investigate temporally periodic points in NUCA. In contrast to classical uniform cellular automata, there are NUCA—even reversible equicontinuous ones—that do not have any temporally periodic points. We prove the undecidability of this property: there is no algorithm to determine if a NUCA with a given finite distribution of local rules has a periodic point.


Introduction
A one-dimensional cellular automaton (CA) consists of an infinite line of cells that evolve in discrete time following some local update rule. The CA is classical or uniform (UCA) if all the cells have the same local rule. Otherwise the CA is known as a hybrid or a nonuniform CA (NUCA). In this work all NUCA are assumed to have finitely many different local rules. A distribution is a bi-infinite sequence that identifies the rule used by each cell. The distribution is assumed to remain unchanged over time. It is not surprising that same local rules may induce wildly different dynamics under different distributions, and it is then of interest to analyze the sets of rule distributions that yield a desired property [6][7][8]. For example, it is known that for any finite set of local rules the distributions that yield a surjective (resp. an injective) NUCA form a sofic shift (resp. a ζ -rational set) [7].
Nilpotency is a property studied previously mostly for uniform cellular automata. In a nilpotent uniform CA, all initial configurations eventually lead to a particular uniform fixed point configuration. If this happens, the fixed point is reached from all configurations uniformly within bounded time. Equivalently, every individual cell eventually enters the same quiescent state, regardless of the initial configuration [11]. There is no algorithm to determine if a given one-dimensional uniform cellular automaton is nilpotent [1,13], and this fact has turned out to be a fruitful source of reductions to prove further undecidability results concerning the eventual behavior of one-dimensional uniform cellular automata. For example, it implies that equicontinuity is an undecidable property [10], and that all nontrivial properties concerning the limit set of one-dimensional uniform cellular automata are undecidable [14].
In this paper we consider the property of nilpotency for non-uniform CA. We show that if all periodic rule distributions are nilpotent, so are all eventually periodic rule distributions. However, it is possible that some non-periodic distribution yields a non-nilpotent NUCA even if all periodic distributions are nilpotent.
We also consider temporally periodic points, i.e., points that have highly regular time evolution. In chaotic systems one has such regularity everywhere in the phase space interweaved with more complex transitive behavior. In one of the most widely used definitions of chaos-due to Devaney [9]-one indeed requires a chaotic dynamical system to be topologically transitive and sensitive to initial conditions, but also to have temporally periodic points densely in the phase space. An outstanding open problem for uniform cellular automata, due to F. Blanchard and P. Tisseur (see Section 25 in [3]), asks whether every surjective cellular automaton has a dense set of temporally periodic configurations, which would then imply that every transitive cellular automaton is Devaney chaotic. For reversible uniform cellular automata the property is known to hold since spatially periodic configurations are dense in the configuration space and they are automatically temporally periodic. However, in the non-uniform setting the situation is very different: we show that there are reversible equicontinuous NUCAs without any temporally periodic configurations. We also prove that it is undecidable to establish whether a given NUCA has any temporally periodic configurations. All considered rule distributions are very simple.
The paper is organized as follows. We first give basic definitions and terminologies in Sect. 2. We then consider in Sect. 3 temporally periodic points in non-uniform CA and prove that it is undecidable if there are any. In Sect. 4 we turn to nilpotency of non-uniform cellular automata and prove that there are local rules such that every periodic arrangement of the rules yields a nilpotent NUCA while some non-periodic arrangement makes the NUCA non-nilpotent.

Cellular automata
Let A be a finite state set. A one-dimensional configuration over A is any function c : Z −→ A that assigns a state to every cell i ∈ Z. We usually use the subscript notation and denote by c i the state of cell i in configuration c ∈ A Z . A finite pattern over A is an assignment p ∈ A D of states on a finite domain D ⊆ Z of cells.
A local rule is a function f : A n −→ A where n ∈ Z + is the width of the neighborhood. A synchronous application of the local rule f using offset a ∈ Z at all cells defines a uniform cellular automaton F : For r ∈ Z + , a radius-r cellular automaton has a local rule of width 2r + 1 and offset −r . We also use radius- 1 2 cellular automata that have width 2 local rules and offset 0, i.e., the new state of each cell only depends on the old states of the cell and its immediate right neighbor. Uniform one-dimensional radius-1 CA with state set A = {0, 1} are known as elementary cellular automata (ECA), and we refer to these by their Wolfram number [20]. Note that every cellular automaton is a radius-r cellular automaton for any large enough r .
Let R be a finite set of radius-r local rules A 2r +1 → A. A non-uniform cellular automaton (NUCA) is specified by a distribution b ∈ R Z where b i identifies the local rule used at cell i.
Note that in this work the term "distribution" has no probabilistic flavour. It always refers to the spatial sequence of local rules in a NUCA.
We call NUCA F b injective (surjective, bijective) if every configuration has at most one pre-image (at least one pre-image, exactly one pre-image, respectively) under F b . We call F b reversible if it is bijective and the inverse function F −1 b is also NUCA. There are bijective NUCAs that are not reversible since the inverse function may require infinitely many different local rules. (See our Corollary 1 and the discussion below it.) For any finite set S, let σ S : S Z −→ S Z be the left shift map defined by σ S (x) i = x i+1 , for all x ∈ S Z and i ∈ Z. We may also denote σ S by σ when S is clear from the context. We call two sequences x, y ∈ S Z asymptotic if x i = y i for all but finitely many i ∈ Z. We use this terminology both for distributions (S = R) and configurations (S = A). We also call x ∈ S Z uniform if σ S (x) = x, and more precisely a-uniform for a ∈ S if x i = a for all i ∈ Z, finite, or more precisely a-finite for a ∈ S, if x i = a for all but finitely many i ∈ Z, eventually constant if x = . . . a a u b b . . . for some a, b ∈ S and u ∈ S * , -(spatially) periodic if σ k S (x) = x for some k ≥ 1, that is, if x = . . . p p p . . . for a finite word p ∈ S + , -(spatially) eventually periodic if x = . . . p p u q q . . . for some p, q ∈ S + and u ∈ S * .
Note that a uniform CA is just a NUCA F b defined by a uniform distribution b. Note also the following simple implications: uniform ⇒ finite ⇒ eventually constant ⇒ eventually periodic, uniform ⇒ periodic ⇒ eventually periodic.
In [6], three types of NUCAs are defined: dν-CA, pν-CA and r ν-CA. Among these, r ν-CA are NUCAs as defined above, pν-CA are NUCA with an eventually periodic distribution and dν-CA are NUCAs with a finite distribution of rules.
Let F : A Z −→ A Z be a NUCA. A configuration c ∈ A Z is temporally periodic if F p (c) = c for some p ≥ 1 called the period, and it is a fixed point if F(c) = c. A configuration c ∈ A Z is an eventually temporally periodic point if F n (c) is temporally periodic for some natural n which is possibly different from zero. While in uniform CA A space-time diagram of a NUCA F is a pictorial representation of an orbit, that is, an infinite sequence of configurations (c t ) t∈N where c t+1 = F(c t ). Fig.1 shows a sample space-time diagram that is represented by a successive sequence of configurations, from top to bottom.
For a given configuration c ∈ A Z , the trace τ i ∈ A N of cell i in the orbit of c is the i'th column in the space-time diagram of c, that is, the sequence defined as Nilpotent cellular automata have trivial dynamics: NUCA F : is a singleton set for some n ≥ 1. Clearly the unique element of F n (A Z ) then must be a unique fixed point of F. More generally, NUCA F is equicontinuous if for every cell i ∈ Z there is a finite set D ⊆ Z of cells such that for any configuration c the finite pattern c |D uniquely determines the trace τ i : This is equivalent to the formulation that {F, F 2 , F 3 , . . .} is an equicontinuous set of functions under the metric [16], for example, or the few first pages of [5] for details on the standard prodiscrete topology on A Z that this metric induces. Note that A Z is a compact metric space so the notions of uniform equicontinuity and pointwise equicontinuity coincide.) Clearly every nilpotent NUCA is equicontinuous since traces may depend on the initial configuration only until the NUCA reaches its fixed point. A uniform CA is known to be equicontinuous if and only if it is eventually temporally periodic, that is, F n+ p = F n for some n and p ≥ 1 [15] but such characterization is no longer valid for non-uniform CA. In fact, there are equicontinuous NUCAs without any temporally periodic points (see Corollary 1 in Sect. 3).

Wang tiles and cellular automata
Let C be a finite set of colors. A Wang tile is an element of C 4 , and a Wang tile set T is a finite set of Wang tiles. Tile (N , E, S, W ) is conveniently drawn as a unit square on the plane whose north, east, south and west edges have colors N , E, S and W , respectively. A two-dimensional configuration t ∈ T Z 2 , that is, an assignment t : Z 2 −→ T of tiles on the infinite grid, is a tiling admitted by T if, in every position (i, j) ∈ Z 2 , the north and west colors of tile t(i, j) are the same as the south and east colors of tiles t(i, j + 1) and t(i − 1, j), respectively. In other words, the abutting edges of neighboring tiles must have the same color. A fundamental result by R.Berger states that it is undecidable if a given Wang tile set admits a tiling [2].
If t has some vertical and horizontal periods (n, 0) and (0, m) then we call t two-periodic. If a Wang tile set admits a periodic tiling then it also admits a two-periodic tiling [19]. A Wang tile set is called aperiodic if it admits some tiling but it does not admit any periodic tilings. Such aperiodic tile sets exist [2], the smallest one contains 11 tiles [12].
that is, the north and the west colors identify each tile uniquely. See Fig. 2 for an illustration. For any infinite diagonal d of tiles in the North-East to South-West orientation on the plane there is then at most one assignment of tiles on the diagonal below that matches in colors with d. See Fig.3 for an example of a NW-deterministic tile set and Fig. 4 for a sample of four consecutive diagonals.
This naturally leads to the idea of considering the diagonals of tilings as configurations of a one-dimensional CA that maps a diagonal to the unique matching diagonal below. As in [13] we thus associate to a NW-deterministic tile set a one-dimensional, radius-1 2 uniform cellular automaton F T with state set S = T ∪ {q}, where q / ∈ T is a new symbol, and with local rule f T : ∈ T and ∃c ∈ T such that the colors between a, b, c match in Fig. 2 q, otherwise. (1) It is easy to see that -F T is nilpotent if and only if T does not admit a tiling, and -F T has more than one temporally periodic point if and only if T admits a periodic tiling.
(Note that the q-uniform configuration is automatically a fixed point and hence temporally periodic.) As it is undecidable whether a given NW-deterministic tile set admits a tiling [13], or whether it admits a periodic tiling [17], we immediately obtain that it is undecidable whether a given one-dimensional uniform cellular automaton is nilpotent, or whether it has more than one temporally periodic point.

Temporal periodicity in non-uniform CAs
In uniform CA, all spatially periodic configurations eventually enter a temporally periodic cycle, so UCA always have at least one temporally periodic point. The following proposition shows that this is no longer true for non-uniform CA. Figure 5 illustrates a sample space-time diagram from the initial configuration of all 0s. Proof Assume, to the contrary, that c ∈ {0, 1} Z is temporally periodic for F, so there is Each τ i is p-periodic. There are only finitely many p-periodic sequences, so there are a < b < 0 such that We can even find such a and b that satisfy a − b ≤ −2. For every i < 0 and every j ≥ 0 the local rule gives Therefore, for all a < b < 0, it holds that Using this repeatedly starting on τ a and τ b we obtain that τ a−b = τ 0 . Because of rule 51 or 255 at cell 0, the trace τ a−b = τ 0 is either an alternating sequence of 0's and 1's, or a sequence of only 1's. In either case, using (2) we first obtain that τ a−b+2 is a sequence of only 0's, and then that This is contradiction with the fact that the rule 51 or 255 in cell 0 forces states 1 in the trace. Hence, the CA does not have a temporally periodic configuration.
By choosing the local rules of cells i > 0 in the proposition suitably we can obtain a NUCA with a finite rule distribution, or a bijective and equicontinuous NUCA.  [15]. Note also that NUCA . . . 102 102 102 51 51 51 . . . is bijective but it is not reversible since the 0-uniform configuration0 and the 1-uniform configuration1 are mapped into configurations that agree with each other at all cells i < 0. This means that in the inverse function F −1 b each cell i < 0 needs to have in its neighborhood some cell j ≥ 0, which implies that no finite set of local rules can provide a NUCA for the inverse. However, it is even possible to find a reversible equicontinuous NUCA that does not have any temporally periodic points: 1} 2 , and consider the NUCA F over A whose cells i < 0 use radius- 1 2 local rule f ((a, b), (c, d)) = (b, a ⊕ d) and cells i ≥ 0 use the radius-0 rule g (a, b) = (b, a ⊕ 1). The local rule f of the negative cells is the rule of a one-sided uniform CA that is reversible and expansive, see [4]. First, F is equicontinuous since the trace of cell i < 0 is uniquely determined by the initial states c i , . . . , c 0 , and the trace of cell i ≥ 0 only depends on c i . Second, F is reversible: its inverse is the NUCA that uses in cells i ≥ 0 the radius -0 rule (a, b) → (b ⊕ 1, a) and in cells i < 0 the radius-1 2 local rule ((a, b), (c, d)) → (b ⊕ c, a). Finally, a similar argument as in Proposition 1 shows that there are no temporally periodic points. The key observation is the fact that, for i < 0, if τ i ( j − 1) = (a, b), τ i ( j) = (b, c), and τ i ( j) = (c, d) are three consecutive elements of the trace at cell i then the element τ i+1 ( j) = (a ⊕c, b ⊕d) of the trace of cell i +1 is determined. Hence, as in the proof of Proposition 1, among the traces for any temporally periodic initial configuration c there is some τ k = τ 0 for k ≤ −2. Regardless of the initial configuration, the trace τ 0 at cell 0 is the 4-periodic sequence . . . , (0, 0), (0, 1), (1, 1), (1, 0), . . .. But then τ k+1 is the (1, 1)-uniform sequence, and consequently τ k+2 , . . . , τ 0 are (0, 0)-uniform, which is a contradiction.
With the help of Proposition 1 we can now proceed to prove that it is undecidable if a NUCA with a given finite distribution of rules has any temporally periodic points.

Proposition 2 It is undecidable if the NUCA with the f -finite distribution
.
. Conversely, suppose there exists a temporally periodic configuration c ∈ A Z . If c only contains type 2 states then the forward orbit of c is the same as the orbit of c under NUCA F 0 and, as proved in Proposition 1, configuration c cannot be temporally periodic. If c contains both type 1 and type 2 states then there is a cell i such that c i is of type 1 but c i−1 or c i+1 is of type 2. As type 2 states spread, F n (c) i is of type 2 for all n ≥ 1, and again c cannot be temporally periodic. We conclude that a temporally periodic c can only contain type 1 states, that is, all states that appear in the orbit of c are tiles from the tile set T . The bi-infinite periodic orbit containing c then provides a valid periodic tiling of the plane whose diagonals are the consecutive configurations of the orbit.
Therefore, T admits a periodic tiling if and only if the NUCA has a temporally periodic point. Since the problem of establishing whether a given NW-deterministic tile set admits a periodic tiling is undecidable [17], the claim is proved.

Nilpotency in non-uniform CAs
In this section we assume a fixed finite set R of local rules over a state set A, and we consider the set N ⊆ R Z of distributions b such that NUCA F b is nilpotent. Analogous sets of distributions that provide a desired property have been considered in the literature for other properties such as injectivity and surjectivity, and for equicontinuity and sensitivity to initial conditions among linear CA [7]. In these cases the corresponding sets of distributions are recognized by a finite state ζ -automaton, and are hence ζ -rational. (See [18] for details on ζ -rationality.) For surjectivity the corresponding set of distributions is even closed in the usual prodiscrete topology of A Z .
The following simple example shows that N may be neither open nor closed in the prodiscrete topology.
Example 2 Let f and g be the local rules of ECA 255 and ECA 254, respectively, so that f (a, b, c) = 1 for all a, b, c ∈ {0, 1}, and g(a, b, c) = 0 only for a = b = c = 0. Every f -finite distribution defines a nilpotent NUCA since in one step rule f creates states 1 at all but a finite number of cells, and then in finite time these states 1 spread to all cells. On the other hand, all g-finite distributions define non-nilpotent NUCAs since the 0-uniform initial configuration never reaches a fixed point. Since f -finite and g-finite configurations are both dense in { f , g} Z , we see that N is neither open nor closed in the prodiscrete topology.
We start by proving that if all periodic distributions over R are in N , so are all eventually periodic distributions.

Proposition 3 If F a is nilpotent for every periodic distribution a ∈ R Z then F b is nilpotent for every eventually periodic distribution b ∈ R Z .
Proof Let R contain local rules of radius r . Assume that F a is nilpotent for all periodic a, and let b = . . . p p u q q . . . be an arbitrary eventually periodic distribution, p, q ∈ R + and u ∈ R * . Letp andq be the periodic distributionsp = . . . p p p . . . andq = . . . q q q . . . , where we align p's and q's in the same positions as in the tails of b on the left and on the right, respectively.
Due to nilpotency of Fp and Fq there exist configurations c p and c q and a constant n such that F ñ p (c) = c p and F ñ q (c) = c q for all initial configurations c. There is then number M > 0 such that for all c it holds that

Note that (3) holds for all configurations c, so by applying (3) to initial configurations
. . in place of c we see that (3) also holds for any t ≥ n in place of n: Local rules in R have radius r , so changing the distribution b at cells > M + r + nr will not influence by time n the states of cells ≤ M + r . Analogous fact holds on the negative side. Hence, for any distribution b that agrees with b in cells −(M + r + nr), . . . , M + r + nr, we have for any configuration c that By (3) and (5) This is true for all configurations c, so again by applying it to . . in place of c, we have that for all t ≥ n holds Since r is the radius of the local rules we can infer from (5) and (6), inductively for t = n + 1, n + 2, . . ., that for all t ≥ n Equality (7)  Note that Theorem 6.1 in [6] implies the analogous result for equicontinuity: if F a is equicontinuous for every periodic distribution a ∈ R Z then F b is equicontinuous for every eventually periodic distribution b ∈ R Z .
One may wonder whether nilpotency of all periodic distributions implies that all distributions are nilpotent. In the following we construct an example showing that this is not necessarily the case. In the construction we rely on the structure of valid tilings by Robinson's aperiodic Wang tile set [19], and the NW-deterministic variant of this set [13].
We first review some relevant features of Robinson's tiles, using the terminology of [19]. The tile set consists of crosses (Fig. 6) and arms (Fig. 7). The tiles may be rotated, so each of the six arms in Fig. 7 come in four different orientations. The matching rule is that the arrows must continue across tile boundaries so that arrow heads meet arrow tails. The arrows on the horizontal and vertical center lines of the tiles are central arrows, and the arrows on the sides are side arrows. A cross faces the two directions of its side arrows. There are some additional layers of arrows on the tiles that we do not draw: a parity layer that guarantees a regular lattice of crosses on every second row and column, and diagonal signals introduced in [13] to make the tile set NW-deterministic.
For each n ≥ 1, special squares of size (2 n − 1) × (2 n − 1) can be constructed recursively. Such a square is called a level n square. Level 1 squares are crosses. At level n + 1, four level n squares are placed facing each other and with a cross in the middle (Fig. 8). The central cross can be oriented in any direction.  The special squares can be constructed at all levels without tiling errors. In the limit, one obtains a valid tiling of the plane. Moreover, it is proved in [19] that every valid tiling of the plane must contain special squares of all levels, proving that no tiling can be periodic (the center lines of special squares only contain one cross so there can be no horizontal or vertical period in a valid tiling). This implies that the Robinson's tile set is aperiodic.
The side arrows draw in special squares a hierarchy of square shaped borders, see Fig. 9. The north (south) segments of these borders consist of precisely those tiles that have a horizontal side arrow above (below, respectively) the center line of the tile. Proof In the special squares the nested square borders are aligned so that no horizontal row contains both a top segment of a border (A tiles) and a bottom segment of a border (B tiles).

Lemma 1 Let T be the (NW-deterministic) Robinson's tile set, and let A and B be the disjoint subsets of T containing those tiles that have a horizontal side arrow above or below the center line, respectively.
In the limit one obtains a valid tiling where (a) holds.
To prove (b), write m = k2 n for k odd and n ≥ 1. In the special square of level n + 1 there are horizontal rows j and j + 2 n containing a tile from B and A, respectively. (These are the two rows containing the centers of the four level n squares facing each other, see Fig. 8.) For every t ≥ 0, the level n + t + 1 special square contains 2 t level n + 1 squares on top of each other. The rows j and j + 2 n of these squares form a sequence of rows j, j + 2 n , j + 2 · 2 n , . . . , j + (2 t+1 − 1) · 2 n that alternatingly contain a tile from B and a tile from A. Choosing t such that 2 t+1 − 1 ≥ k we have row j containing a tile from B and row j + k2 n = j + m containing a tile of A. Since every valid tiling contains special squares of all levels, claim (b) follows.
Claim (c) now follows from (b) using compactness: suppose (c) is false so that there is an even m > 0 such that for every M there is a correctly tiled M × M square s M without any rows at distance m containing a B and an A tile. Centering these squares at the origin, letting M grow and taking the limit of a converging subsequence we obtain a valid tiling t of the plane whose every finite pattern appears in some square s M . By (b) there are some x, y, i ∈ Z such that t(x, i) ∈ B and t(y, i + m) ∈ A. But a finite pattern of t containing cells (x, i) and (y, i + m) appears in some square s M , contradicting the choice of these squares. Now we are ready to construct NUCAs from the NW-deterministic Robinson tile set.

Proposition 4
There are two local rules f and g such that F b is nilpotent for every periodic distribution b ∈ { f , g} Z but F b is not nilpotent, or even equicontinuous, for some (non- Proof Let T be the NW-deterministic Robinson's tile set, and let A and B be the disjoint subsets of T containing those tiles that have a horizontal side arrow above or below the center line, respectively. The state set of our NUCAs is S = T ∪ {q} where q / ∈ T . Local rules f and g use radius- 1 2 neighborhood. The rules are identical to the rule f T given by (1) in Sect. 2.2 with the following exceptions: Let us first prove that there is a rule distribution b ∈ { f , g} Z such that F b is not nilpotent, or even equicontinuous. By  Tiling t yields then a valid space-time diagram of NUCA F b where consecutive diagonals are the consecutive configurations in the orbit: for any n ∈ Z the configuration c (n) at time n is the n'th diagonal, i.e., c Note that the states that any cell i obtains in configurations c (n) are the tiles of the i'th row of tiling t. This means that a cell with local rule f never has state from set A and a cell with local rule g never has state from set B, so that the special rules (8) are not applicable in any cell in any configuration c (n) . Consequently, each cell applies the local rule f T given by (1) which means that F b (c (n) ) = c (n+1) for all n ∈ Z. Because the NUCA F b has a fixed point configuration . . . q q q . . . that this orbit never reaches, the NUCA is not nilpotent. It is not even equicontinuous since the state q spreads to the left, so that changing in configuration c (0) the state of any cell i > 0 to q causes a change in the trace τ 0 of cell 0 in the orbit of c (0) .
Let us prove next that all periodic distributions yield a nilpotent NUCA. Let b ∈ { f , g} Z be periodic so that for some even number m > 0 we have σ m (b) = b. Let M be the number provided by Lemma 1(c) for this number m.
We claim that in NUCA F b every initial configuration becomes the q-uniform configurationq within 2M steps. Suppose the contrary: for some c ∈ S Z and cell k ∈ Z we have that F 2M b (c)(k) = q. Let us denote c (n) = F n b (c) for n ≥ 0, and let t ∈ S Z 2 be a two-dimensional configuration whose consecutive diagonals contain consecutive configurations of the forward orbit of c. More precisely, t(n + i, i) = c (n) i for all n ≥ 0 and i ∈ Z, and the values t(n + i, i) for n < 0 may be chosen arbitrarily.
We have that t(2M + k, k) = q. Because states q spread with speed one to the left, we then also have that t(x, y) = q when M + k ≤ x ≤ 2M + k and k ≤ y ≤ k + M. (9) m, both rows correspond to cells that apply the same local rule, f or g. In any case, one of these cells enters state q by the special update rule (8). This means that t(x, y) = q for some x, y in the intervals M + k ≤ x ≤ 2M + k and k ≤ y ≤ k + M, which contradicts (9). We conclude that NUCA F b is nilpotent.

Conclusions
The paper deals with temporal periodicity and nilpotency in non-uniform one-dimensional CA. Some significant differences can be seen between non-uniform and uniform CA. In contrast to the classical uniform case, there are NUCAs-even reversible equicontinuous ones-that do not have any temporally periodic points. Moreover, whether a given NUCA has any temporally periodic points turns out to be undecidable. The undecidability holds for NUCAs with very simple rule distributions so it is not due to non-recursiveness hidden in the distribution. Whether undecidability holds also for bijective or reversible NUCAs remains for future study.
We also considered the effect of local rule distributions on nilpotency of NUCAs. Using Robinson's aperiodic tile set we showed that there is a pair of local rules such that some distribution of the rules defines a non-nilpotent NUCA even though every periodic distribution leads to a nilpotent NUCA. We proved, however, for any collection of local rules that nilpotency on all periodic distributions implies nilpotency on all eventually periodic distributions.
Funding Open access funding provided by University of Turku (UTU) including Turku University Central Hospital.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.