Categorifying Clifford QCA

Abstract

We provide a complete classification of Clifford quantum cellular automata (QCAs) on arbitrary metric spaces and any qudits (of prime or composite dimensions) in terms of algebraic L-theory. Building on the delooping formalism of Pedersen and Weibel, we reinterpret Clifford QCAs as symmetric formations in a filtered additive category constructed from the geometry of the underlying space. This perspective allows us to identify the group of stabilized Clifford QCAs, modulo circuits and separated automorphisms, with the Witt group of the corresponding Pedersen--Weibel category. Notably, because the Pedersen--Weibel category depends only on the large-scale (coarse) structure of the metric space, so too does the classification of Clifford QCAs. For Euclidean lattices, the classification reproduces and expands upon known results, while for more general spaces -- including open cones over finite simplicial complexes -- we relate nontrivial QCAs to generalized homology theories with coefficients in the L-theory spectrum. We also outline extensions to QCAs with symmetry and mixed qudit dimensions, and discuss how these fit naturally into the L-theoretic framework.

References in corpus (9)

• Index theory of one dimensional quantum walks and cellular automata
• Classification of Quantum Cellular Automata
• Clifford Quantum Cellular Automata: Trivial group in 2D and Witt group in 3D
• Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond
• Exactly Solvable Lattice Hamiltonians and Gravitational Anomalies
• Invertible subalgebras
• Homological invariants of Pauli stabilizer codes
• Generalized toric codes on twisted tori for quantum error correction
• Topological phases of unitary dynamics: Classification in Clifford category