1: \begin{abstract}
2: A quantum cellular automaton (QCA) or a causal unitary is by definition
3: an automorphism of local operator algebra,
4: by which local operators are mapped to local operators.
5: Quantum circuits of small depth, local Hamiltonian evolutions for short time,
6: and translations (shifts) are examples.
7: A Clifford QCA is one that maps any Pauli operator
8: to a finite tensor product of Pauli operators.
9: Here, we obtain a complete table of groups~$\mathfrak C(\dd,p)$
10: of translation invariant Clifford QCA in any spatial dimension~$\dd \ge 0$
11: modulo Clifford quantum circuits and shifts over prime~$p$-dimensional qudits,
12: where the circuits and shifts are allowed to obey only coarser translation invariance.
13: The group $\mathfrak C(\dd,p)$ is nonzero only for $\dd = 2k+3$ if $p=2$ and $\dd = 4k+3$ if $p$ is odd
14: where~$k \ge 0$ is any integer,
15: in which case $\mathfrak C(\dd,p) \cong \qwitt(\FF_p)$,
16: the classical Witt group of nonsingular quadratic forms over the finite field~$\FF_p$.
17: It is well known that $\qwitt(\FF_2) \cong \ZZ/2\ZZ$, $\qwitt(\FF_p) \cong \ZZ/4\ZZ$ if $p = 3 \bmod 4$, and
18: $\qwitt(\FF_p)\cong \ZZ/2\ZZ \oplus \ZZ/2\ZZ$ if $p = 1 \bmod 4$.
19: The classification is achieved by a dimensional descent,
20: which is a reduction of Laurent extension theorems
21: for algebraic $L$-groups of surgery theory in topology.
22: \end{abstract}
23: