Clifford quantum cellular automata: trivial group in 2D and Witt group in 3D

DOI10.1063/5.0022185zbMATH Open1500.81018arXiv1907.02075OpenAlexW2953464237MaRDI QIDQ5154265FDOQ5154265

Authors: Jeongwan Haah 

Publication date: 4 October 2021

Published in: Journal of Mathematical Physics (Search for Journal in Brave)

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 $mathfrakC(D=3,p)$ of all TI Clifford QCA modulo trivial ones. That is, $mathfrakC(D=3,pequiv1mod4)supseteqmathbb{Z}_{2}imesmathbb{Z}_2$ and $mathfrakC(D=3,pequiv3mod4)supseteqmathbb{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.

Full work available at URL: https://arxiv.org/abs/1907.02075

Recommendations

• Nontrivial quantum cellular automata in higher dimensions
• The group structure of quantum cellular automata
• On the structure of Clifford quantum cellular automata
• Remarks on the structure of Clifford quantum cellular automata
• Classification of quantum cellular automata

zbMATH Keywords

theorem of Freedman and Hastings

Mathematics Subject Classification ID

Quantum computation (81P68) Group rings (16S34) Applications of operator theory in the physical sciences (47N50) Cellular automata (computational aspects) (68Q80) Nonselfadjoint operator theory in quantum theory including creation and destruction operators (81Q12) Spinor and twistor methods applied to problems in quantum theory (81R25) Applications of Clifford algebras to physics, etc. (15A67) Toric topology (57S12)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebraic and geometric theory of quadratic forms
• Fault-tolerant quantum computation by anyons
• On the structure of the Witt group of braided fusion categories
• Quantum Error Correction and Orthogonal Geometry
• The Witt group of non-degenerate braided fusion categories
• Topological quantum order: Stability under local perturbations
• Anyons in an exactly solved model and beyond
• ON THE STRUCTURE OF THE SPECIAL LINEAR GROUP OVER POLYNOMIAL RINGS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unitarity plus causality implies localizability
• Index theory of one dimensional quantum walks and cellular automata
• On the structure of the \(GL_ 2\) of a ring
• On symplectic groups over polynomial rings
• Title not available (Why is that?)
• What makes a complex exact?
• Commuting Pauli Hamiltonians as maps between free modules
• Projective Modules over Laurent Polynomial Rings
• Title not available (Why is that?)
• BRAID STATISTICS IN LOCAL QUANTUM THEORY
• Title not available (Why is that?)
• Nontrivial quantum cellular automata in higher dimensions
• On the structure of Clifford quantum cellular automata
• Classification of quantum cellular automata
• The group structure of quantum cellular automata

Cited In (15)

• The group structure of quantum cellular automata
• Homotopy classification of loops of Clifford unitaries
• An overview of quantum cellular automata
• Remarks on the structure of Clifford quantum cellular automata
• Error-correcting codes for fermionic quantum simulation
• Erratum: “Clifford quantum cellular automata: Trivial group in 2D and Witt group in 3D” [J. Math. Phys. 62, 092202 (2021)]
• An index for quantum cellular automata on fusion spin chains
• Nontrivial quantum cellular automata in higher dimensions
• DHR bimodules of quasi-local algebras and symmetric quantum cellular automata
• Time asymptotics and entanglement generation of Clifford quantum cellular automata
• On the structure of Clifford quantum cellular automata
• Homological invariants of Pauli stabilizer codes
• A converse to Lieb-Robinson bounds in one dimension using index theory
• Classification of quantum cellular automata
• Invertible subalgebras

This page was built for publication: Clifford quantum cellular automata: trivial group in 2D and Witt group in 3D

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5154265)