Clifford Quantum Cellular Automata: Trivial group in 2D and Witt group in 3D

Abstract

We study locality preserving automorphisms of operator algebras on $D$-dimensional uniform lattices of prime $p$-dimensional qudits (QCA), specializing in those that are translation invariant (TI) and map every prime $p$-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries, and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this case is always trivial. Further, we prove that for any $D$ the fourth power of any TI Clifford QCA is trivial. We present explicit examples of nontrivial TI Clifford QCA for $D=3$ and any odd prime $p$, and show that the Witt group of the finite field ${\mathbb{F}}_p$ is a subgroup of the group $\mathfrak{C}(D=3,p)$ of all TI Clifford QCA modulo trivial ones. That is, $\mathfrak{C}(D=3,p\equiv 1\mathrm{mod}4)\supseteq {\mathbb{Z}}_2\times {\mathbb{Z}}_2$ and $\mathfrak{C}(D=3,p\equiv 3\mathrm{mod}4)\supseteq {\mathbb{Z}}_4$. The examples are found by disentangling the ground state of a commuting Pauli Hamiltonian which is constructed by coupling layers of prime dimensional toric codes such that an exposed surface has an anomalous topological order that is not realizable by commuting Pauli Hamiltonians strictly in two dimensions. In an appendix independent of the main body of the paper, we revisit a recent theorem of Freedman and Hastings that any two-dimensional QCA, which is not necessarily Clifford or translation invariant, is a constant depth quantum circuit followed by a shift. We give a more direct proof of the theorem without using any ancillas.

43 pages and a calculation note in Mathematica, (v2, v3) a new section on boundary antihermitian forms (v4) more detail (v5) fixing Lemma III.11

References in corpus (5)

• Reversible quantum cellular automata
• Nontrivial Quantum Cellular Automata in Higher Dimensions
• Classification of Quantum Cellular Automata
• On the structure of Clifford quantum cellular automata
• The Group Structure of Quantum Cellular Automata

Cited by in corpus (34)

• Hierarchy of topological order from finite-depth unitaries, measurement and feedforward
• Nontrivial Quantum Cellular Automata in Higher Dimensions
• Pauli stabilizer models of twisted quantum doubles
• Pauli topological subsystem codes from Abelian anyon theories
• Sequential Quantum Circuits as Maps between Gapped Phases
• Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond
• Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices
• Equivalence between fermion-to-qubit mappings in two spatial dimensions
• An Exactly Solvable Model for a $4+1D$ Beyond-Cohomology Symmetry Protected Topological Phase
• The Group Structure of Quantum Cellular Automata
• A converse to Lieb-Robinson bounds in one dimension using index theory
• 3-Fermion topological quantum computation
• Error-correcting codes for fermionic quantum simulation
• Coarse-grained Entanglement and Operator Growth in Anomalous Dynamics
• Does causal dynamics imply local interactions?
• Invertible subalgebras
• Homological invariants of Pauli stabilizer codes
• Fundamental charges for dual-unitary circuits
• Non-local finite-depth circuits for constructing SPT states and quantum cellular automata
• Clifford operations and homological codes for rotors and oscillators
• Towards topological fixed-point models beyond gappable boundaries
• Disentangling modular Walker-Wang models via fermionic invertible boundaries
• Gapped boundary of (4+1)d beyond-cohomology bosonic SPT phase
• Topological phases of unitary dynamics: Classification in Clifford category
• Subsystem Symmetry Fractionalization and Foliated Field Theory
• Quantum cellular automata and categorical dualities of spin chains
• Topological Phases of Many-Body Localized Systems: Beyond Eigenstate Order
• A QCA for every SPT
• Entangled quantum cellular automata, physical complexity, and Goldilocks rules
• Categorifying Clifford QCA
• An overview of Quantum Cellular Automata
• Topological stabilizer models on continuous variables
• Classification of qubit cellular automata on hypercubic lattices
• Short remarks on shallow unitary circuits