ebc96f3e6d2530a9.tex
1: \begin{abstract}
2: We prove that 
3: on any two-dimensional lattice of qudits of a prime dimension,
4: every translation invariant Pauli stabilizer group
5: with local generators and with code distance being the linear system size,
6: is decomposed by a Clifford circuit of constant depth 
7: into $\mathcal T^{\oplus n} \oplus \mathcal Z$ for some integer $n \ge 0$,
8: where $\mathcal T$ is the stabilizer group of the toric code (abelian discrete gauge theory)
9: on the square lattice
10: and $\mathcal Z$ is a stabilizer group whose code space 
11: encodes zero logical qudit in any finite periodic lattice.
12: The direct summand $\mathcal Z$ is mapped to the trivial stabilizer group for a product state
13: under a locality-preserving automorphism of the complex operator algebra 
14: on the lattice which maps every Pauli matrix 
15: to a product of Pauli matrices (Clifford QCA).
16: In other words, up to Clifford QCA the integer $n$ 
17: is the complete invariant of such a stabilizer group.
18: Previously, the same conclusion was obtained
19: by assuming nonchirality for qubit codes
20: or the Calderbank-Shor-Steane structure for prime qudit codes;
21: we do not assume any of these.
22: \end{abstract}
23: