Why are there no interesting (1D, 2-state) quantum cellular automata?

You know elementary cellular automata, where each of the boolean-valued cells evolves according to

x_{t + 1}^{(k)} = f (x_{t}^{(k - 1)}, x_{t}^{(k)}, x_{t}^{(k + 1)})

where $f : {0, 1}^{3} \to {0, 1}$ .

I think the natural quantum-mechanical extension of this is:

there are $2^{(N := tape size)}$ basis states: $| 00 \dots 00 ⟩$ through $| 11 \dots 11 ⟩$
its time-evolution is given, of course, by a unitary operator $U$ , which, expressed in that basis, is:

⟨ y | U | x ⟩ = \prod k f (x^{(k - 1)}, x^{(k)}, x^{(k + 1)}, y^{(k)})

...where $f : {0, 1}^{4} \to C$ .

You can take any elementary cellular automaton and quantum-ize it: just choose $f_{q u a n t u m} (a, b, c, z) = (if f_{c l a s s i c a l} (a, b, c) = z then 1 else 0)$ ; then that product is 1 exactly when $y$ is the classical evolution of $x$ . (Not every $f_{c l a s s i c a l}$ gives rise to a unitary $U$ , though; only the reversible ones.)

But… are there other unitary operators of this form, which aren’t basically equivalent to reversible classical CAs? I think not, disappointingly, but I’m not sure, and I don’t understand why not.

Bounty: $100 if you make me feel like I have a significantly deeper understanding of why all quantum elementary CAs are basically equivalent to classical elementary CAs (or show me I’m wrong and there actually is interesting behavior here). Partial payouts for partial successes.

My current understanding (the thing you have to enhance or beat) is:

Any choice of $f$ is equivalent to a choice of eight complex two-vectors ${\to λ}_{000}, \dots, {\to λ}_{111}$ , each describing roughly “how (0/1)ish the next state of a cell should be given its current neighborhood.”
For unitarity, we want $⟨ U x | U y ⟩ = ⟨ x | y ⟩$ for all $x, y$ . If you bang through some math, I think this inner product turns out to equal the product of all 64 possible inner products of the ${\to λ}_{a b c}$ s, raised to various powers:

⟨ U x | U y ⟩ = ({\to λ}_{000} \cdot {\to λ}_{111})^{N_{000, 111}} \dots ({\to λ}_{000} \cdot {\to λ}_{111})^{N_{000, 111}}

...where $N_{000, 111}$ is the number of locations where the neighborhood on tape $x$ is 000 and the neighborhood on tape $y$ is 111. For $x = y$ , we want this product to be 1; for $x \neq y$ , we want this product to be 0, meaning at least one of the inner products with a nonzero $N$ must be zero.
(Sanity check: if $x = y$ , then $N_{a b c, a b c} = 1$ and all the other $N$ s are 0. The inner products raised to power 0 disappear; the remaining ones are ${\to λ}_{a b c} \cdot {\to λ}_{a b c}$ , which is 1 as long as the $\to λ$ s are normalized, so we get $⟨ U x | U x ⟩ = 1$ practically for free. Great.)
- (Note that not all the $N$ s can be chosen independently: for example, if $N_{001, 000} > 0$ , then evidently tape $x$ has some stretch of 0s ending in a 1; I’m imagining that the tape wraps around, so there must be a 1 on the left side of the stretch of 0s too; so some $N_{100, a b c}$ must be positive too.)
It feels like there must be some clever geometrical insight, here, but I can’t find it. Instead, I just enumerated all possible $x, y$ for a small (4-cell) automaton, computed which $N$ s were nonzero, and asked Z3 to find $\to λ$ s satisfying the huge pile of constraints (the AND of a bunch of ORs of clauses like “A dot B is zero”) and “some $\to λ$ is not parallel to ${\to λ}_{000}$ or ${\to λ}_{111}$ ”. (I think that if there are just two mutually-perpendicular families of $\to λ$ , that’s basically equivalent to a classical CA.)
It… well, it didn’t print “unsat,” but it did hang, whereas, if I left out the interestingness constraint, it promptly spit out a satisfactory output. Shrug. This is my first time with Z3, so it might be a newbie mistake.

[Question] Why are there no interesting (1D, 2-state) quantum cellular automata?