{"title":"统一动力学的拓扑相:Clifford范畴的分类","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":"{\"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}","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}
Topological Phases of Unitary Dynamics: Classification in Clifford Category
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.