Invertible subalgebras
arXiv:2211.02086 · doi:10.1007/s00220-023-04806-6
Abstract
We introduce invertible subalgebras of local operator algebras on lattices. An invertible subalgebra is defined to be one such that every local operator can be locally expressed by elements of the inveritible subalgebra and those of the commutant. On a two-dimensional lattice, an invertible subalgebra hosts a chiral anyon theory by a commuting Hamiltonian, which is believed not to be possible on any full local operator algebra. We prove that the stable equivalence classes of -dimensional invertible subalgebras form an abelian group under tensor product, isomorphic to the group of all dimensional QCA modulo blending equivalence and shifts. In an appendix, we consider a metric on the group of all QCA on infinite lattices and prove that the metric completion contains the time evolution by local Hamiltonians, which is only approximately locality-preserving. Our metric topology is strictly finer than the strong topology.
arXiv comment34 pages, 2 figures, (v2) includes a proof that any 1d invertible subalgebra is trivial, (v3) minor changes (v4) expanding the proof of A.5
References in corpus (16)
- Fault-tolerant quantum computation by anyons
- Anyons in an exactly solved model and beyond
- String-net condensation: A physical mechanism for topological phases
- Topology and Broken Symmetry in Floquet Systems
- Fermions, strings, and gauge fields in lattice spin models
- Index theory of one dimensional quantum walks and cellular automata
- Quantum algorithm for simulating real time evolution of lattice Hamiltonians
- Commuting Pauli Hamiltonians as maps between free modules
- Nontrivial Quantum Cellular Automata in Higher Dimensions
- Classification of Quantum Cellular Automata
- Clifford Quantum Cellular Automata: Trivial group in 2D and Witt group in 3D
- On the structure of Clifford quantum cellular automata
- Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond
- The Group Structure of Quantum Cellular Automata
- Gravitational anomaly of 3+1 dimensional Z_2 toric code with fermionic charges and fermionic loop self-statistics
- A converse to Lieb-Robinson bounds in one dimension using index theory