{"title":"Topological Phases of Unitary Dynamics: Classification in Clifford Category","authors":"Jeongwan Haah","doi":"10.1007/s00220-025-05239-z","DOIUrl":null,"url":null,"abstract":"<div><p>A quantum cellular automaton (QCA) or a causal unitary is by definition an automorphism of a local operator algebra, by which local operators are mapped to nearby local operators. Quantum circuits of small depth, local Hamiltonian evolutions for short time, and translations (shifts) are examples. A Clifford QCA is one that maps any Pauli operator to a finite tensor product of Pauli operators. Here, we obtain a complete table of groups <span>\\({\\mathfrak {C}}({\\textsf{d}},p)\\)</span> of translation invariant Clifford QCA in any spatial dimension <span>\\({\\textsf{d}}\\ge 0\\)</span> modulo Clifford quantum circuits and shifts over prime <i>p</i>-dimensional qudits, where the circuits and shifts are allowed to obey only coarser translation invariance. The group <span>\\({\\mathfrak {C}}({\\textsf{d}},p)\\)</span> is nonzero only for <span>\\({\\textsf{d}}= 2k+3\\)</span> if <span>\\(p=2\\)</span> and <span>\\({\\textsf{d}}= 4k+3\\)</span> if <i>p</i> is odd where <span>\\(k \\ge 0\\)</span> is any integer, in which case <span>\\({\\mathfrak {C}}({\\textsf{d}},p) \\cong {\\widetilde{\\mathfrak {W}}}({\\mathbb {F}}_p)\\)</span>, the classical Witt group of nonsingular quadratic forms over the finite field <span>\\({\\mathbb {F}}_p\\)</span>. It is well known that <span>\\({\\widetilde{\\mathfrak {W}}}({\\mathbb {F}}_2) \\cong {\\mathbb {Z}}/2{\\mathbb {Z}}\\)</span>, <span>\\({\\widetilde{\\mathfrak {W}}}({\\mathbb {F}}_p) \\cong {\\mathbb {Z}}/4{\\mathbb {Z}}\\)</span> if <span>\\(p = 3 \\bmod 4\\)</span>, and <span>\\({\\widetilde{\\mathfrak {W}}}({\\mathbb {F}}_p)\\cong {\\mathbb {Z}}/2{\\mathbb {Z}}\\oplus {\\mathbb {Z}}/2{\\mathbb {Z}}\\)</span> if <span>\\(p = 1 \\bmod 4\\)</span>. The classification is achieved by a dimensional descent, which is a reduction of Laurent extension theorems for algebraic <i>L</i>-groups of surgery theory in topology.\n</p></div>","PeriodicalId":522,"journal":{"name":"Communications in Mathematical Physics","volume":"406 4","pages":""},"PeriodicalIF":2.2000,"publicationDate":"2025-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Communications in Mathematical Physics","FirstCategoryId":"101","ListUrlMain":"https://link.springer.com/article/10.1007/s00220-025-05239-z","RegionNum":1,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"PHYSICS, MATHEMATICAL","Score":null,"Total":0}
引用次数: 0
Abstract
A quantum cellular automaton (QCA) or a causal unitary is by definition an automorphism of a local operator algebra, by which local operators are mapped to nearby local operators. Quantum circuits of small depth, local Hamiltonian evolutions for short time, and translations (shifts) are examples. A Clifford QCA is one that maps any Pauli operator to a finite tensor product of Pauli operators. Here, we obtain a complete table of groups \({\mathfrak {C}}({\textsf{d}},p)\) of translation invariant Clifford QCA in any spatial dimension \({\textsf{d}}\ge 0\) modulo Clifford quantum circuits and shifts over prime p-dimensional qudits, where the circuits and shifts are allowed to obey only coarser translation invariance. The group \({\mathfrak {C}}({\textsf{d}},p)\) is nonzero only for \({\textsf{d}}= 2k+3\) if \(p=2\) and \({\textsf{d}}= 4k+3\) if p is odd where \(k \ge 0\) is any integer, in which case \({\mathfrak {C}}({\textsf{d}},p) \cong {\widetilde{\mathfrak {W}}}({\mathbb {F}}_p)\), the classical Witt group of nonsingular quadratic forms over the finite field \({\mathbb {F}}_p\). It is well known that \({\widetilde{\mathfrak {W}}}({\mathbb {F}}_2) \cong {\mathbb {Z}}/2{\mathbb {Z}}\), \({\widetilde{\mathfrak {W}}}({\mathbb {F}}_p) \cong {\mathbb {Z}}/4{\mathbb {Z}}\) if \(p = 3 \bmod 4\), and \({\widetilde{\mathfrak {W}}}({\mathbb {F}}_p)\cong {\mathbb {Z}}/2{\mathbb {Z}}\oplus {\mathbb {Z}}/2{\mathbb {Z}}\) if \(p = 1 \bmod 4\). The classification is achieved by a dimensional descent, which is a reduction of Laurent extension theorems for algebraic L-groups of surgery theory in topology.
期刊介绍:
The mission of Communications in Mathematical Physics is to offer a high forum for works which are motivated by the vision and the challenges of modern physics and which at the same time meet the highest mathematical standards.