The group structure of quantum cellular automata

DOI10.1007/S00220-022-04316-XMaRDI QIDQ2113462zbMATH OpenOpenAlexFDO

Authors Jeongwan Haah, Michael Freedman, M. B. Hastings

Publication date 14 March 2022

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3266280 (Why is no real title available?)
• Classification of quantum cellular automata
• Clifford quantum cellular automata: trivial group in 2D and Witt group in 3D
• Immersions of Manifolds
• Index theory of one dimensional quantum walks and cellular automata
• Partial Differential Relations
• Topology of spaces of \(S\)-immersions
• Unitarity plus causality implies localizability

Cited in

(6)

• Classification of quantum cellular automata
• Clifford quantum cellular automata: trivial group in 2D and Witt group in 3D
• DHR bimodules of quasi-local algebras and symmetric quantum cellular automata
• Information flow in non-unitary quantum cellular automata
• An index for quantum cellular automata on fusion spin chains
• 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)