Develops K-theoretic obstruction theory for linearizing QCA representations over arbitrary fields, extracting universal classes and computing homotopy types over point/line/plane in the complex unitary case.
A quantum cellular automaton for every symmetry protected topological phase
2 Pith papers cite this work. Polarity classification is still indexing.
verdicts
UNVERDICTED 2representative citing papers
For finite 1-form symmetries in (2+1)D, onsiteability holds exactly when the 't Hooft anomaly meets an algebraic condition allowing 1-gauging; the symmetry can then be realized as transversal Pauli operators via ancillas and circuits.
citing papers explorer
-
$K$-Theoretic Obstructions to Linearizing QCA Representations
Develops K-theoretic obstruction theory for linearizing QCA representations over arbitrary fields, extracting universal classes and computing homotopy types over point/line/plane in the complex unitary case.
-
Onsiteability of Higher-Form Symmetries
For finite 1-form symmetries in (2+1)D, onsiteability holds exactly when the 't Hooft anomaly meets an algebraic condition allowing 1-gauging; the symmetry can then be realized as transversal Pauli operators via ancillas and circuits.