Abstract:We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev's Toric Code and Levin-Wen type models. Then for a locally topologically ordered spin system on $\mathbb{Z}^{k}$, we define a local net of boundary algebras on $\mathbb{Z}^{k-1}$, which gives a new operator algebraic framework for studying topological spin systems. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [<a class="link-https" data-arxiv-id="2212.09036" href="https://arxiv.org/abs/2212.09036">arXiv:2212.09036</a>] that the bulk cone von Neumann algebra in the Toric Code is of type $\rm{II}$, and we show that Levin-Wen models can have cone algebras of type $\rm{III}$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states.

Local boundary representations for local operator systems

On the Local Boundary Representations of Locally -Algebras

Local boundary representations of locally C*-algebras

The Shilov boundary for a local operator system

An extension of localization operators

Operator structures and quantum one-way LOCC conditions

On boundary representations

Operator algebraic characterization of the noncommutative Poisson boundary

A survey on local and 2-local derivations on C*- and von Neuman algebras

Boundary maps and covariant representations

Localized strict topologies on multiplier algebras of pro-$C^*$-algebras

Local and 2-local $\frac{1}{2}$-derivations on finite-dimensional Lie algebras

Peripheral Poisson Boundary

A Guide to Localized Frames and Applications to Galerkin-like Representations of Operators

Local topological order and boundary algebras

Convolutions for localization operators

Noncommutative domains, universal operator models, and operator algebras

Localized excitations from localized unitary operators

On the Local Lifting Properties of Operator Spaces

The Local Equicontinuity of a Maximal Monotone Operator

On localizing topological algebras