The Group Structure of Quantum Cellular Automata

Abstract

We consider the group structure of quantum cellular automata (QCA) modulo circuits and show that it is abelian even without assuming the presence of ancillas, at least for most reasonable choices of control space; this is a corollary of a general method of ancilla removal. Further, we show how to define a group of QCA that is well-defined without needing to use families, by showing how to construct a coherent family containing an arbitrary finite QCA; the coherent family consists of QCA on progressively finer systems of qudits where any two members are related by a shallow quantum circuit. This construction applied to translation invariant QCA shows that all translation invariant QCA in three dimensions and all translation invariant Clifford QCA in any dimension are coherent.

25 pages, 10 figures

References in corpus (1)

• Entanglement renormalization and topological order

Cited by in corpus (10)

• Adiabatic paths of Hamiltonians, symmetries of topological order, and automorphism codes
• An Exactly Solvable Model for a $4+1D$ Beyond-Cohomology Symmetry Protected Topological Phase
• Crystalline Quantum Circuits
• A comparative study of universal quantum computing models: towards a physical unification
• Cellular automata in operational probabilistic theories
• Invertible subalgebras
• Information Flow in Non-Unitary Quantum Cellular Automata
• Topological phases of unitary dynamics: Classification in Clifford category
• Remote detectability from entanglement bootstrap I: Kirby's torus trick
• Immersions of punctured 4-manifolds: with applications to Quantum Cellular Automata