The group structure of quantum cellular automata

DOI10.1007/S00220-022-04316-XzbMATH Open1487.81041arXiv1910.07998OpenAlexW4210711053MaRDI QIDQ2113462FDOQ2113462

Michael Freedman, Jeongwan Haah, M. B. Hastings

Publication date: 14 March 2022

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

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.

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

Recommendations

• Clifford quantum cellular automata: trivial group in 2D and Witt group in 3D
• Intrinsically universal \(n\)-dimensional quantum cellular automata
• Nontrivial quantum cellular automata in higher dimensions
• Remarks on the structure of Clifford quantum cellular automata
• On the structure of Clifford quantum cellular automata

Mathematics Subject Classification ID

Sums of independent random variables; random walks (60G50) Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Cellular automata (computational aspects) (68Q80) Groups and algebras in quantum theory and relations with integrable systems (81R12) Quantum control (81Q93) Quantum stochastic calculus (81S25)

Cites Work

• Partial Differential Relations
• Immersions of Manifolds
• Unitarity plus causality implies localizability
• Index theory of one dimensional quantum walks and cellular automata
• Title not available (Why is that?)
• Topology of Spaces of S-Immersions
• Classification of quantum cellular automata
• Clifford quantum cellular automata: Trivial group in 2D and Witt group in 3D

Cited In (6)

• Information flow in non-unitary quantum cellular automata
• An index for quantum cellular automata on fusion spin chains
• Clifford quantum cellular automata: Trivial group in 2D and Witt group in 3D
• DHR bimodules of quasi-local algebras and symmetric quantum cellular automata
• Classification of quantum cellular automata
• Invertible subalgebras

This page was built for publication: The group structure of quantum cellular automata

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