Haag duality and the distal split property for cones in the toric code

Pieter Naaijkens

We prove that Haag duality holds for cones in the toric code model. That is, for a cone Lambda, the algebra R_Lambda of observables localized in Lambda and the algebra R_{Lambda^c}…