3ecf093974d4c731.tex
1: \begin{abstract}
2: We study locality preserving automorphisms of operator algebras 
3: on $D$-dimensional uniform lattices of prime $p$-dimensional qudits (QCA),
4: specializing in those that are translation invariant (TI)
5: and map every prime $p$-dimensional Pauli matrix 
6: to a tensor product of Pauli matrices (Clifford).
7: We associate antihermitian forms of unit determinant over Laurent polynomial rings
8: to TI Clifford QCA with lattice boundaries,
9: and prove that the form determines the QCA up to Clifford circuits and shifts (trivial).
10: It follows that every 2D TI Clifford QCA is trivial 
11: since the antihermitian form in this case is always trivial.
12: Further, we prove that for any $D$ the fourth power of any TI Clifford QCA 
13: is trivial.
14: 
15: We present explicit examples of nontrivial TI Clifford QCA for $D=3$ and any odd prime~$p$,
16: and show that the Witt group of the finite field $\FF_p$ is a subgroup of 
17: the group $\mathfrak C(D = 3, p)$ of all TI Clifford QCA modulo trivial ones.
18: That is,
19: $\mathfrak C(D = 3, p \equiv 1 \mod 4) \supseteq \ZZ_2 \times \ZZ_2$ and
20: $\mathfrak C(D = 3, p \equiv 3 \mod 4) \supseteq \ZZ_4$.
21: The examples are found 
22: by disentangling the ground state of a commuting Pauli Hamiltonian
23: which is constructed by coupling layers of prime dimensional toric codes
24: such that an exposed surface has an anomalous topological order that
25: is not realizable by commuting Pauli Hamiltonians strictly in two dimensions.
26: 
27: In an appendix independent of the main body of the paper, 
28: we revisit a recent theorem of Freedman and Hastings
29: that any two-dimensional QCA, which is not necessarily Clifford or translation invariant,
30: is a constant depth quantum circuit followed by a shift.
31: We give a more direct proof of the theorem without using any ancillas.
32: \end{abstract}
33: