Haag duality in Kitaev's quantum double models
Our paper on Haag duality in quantum double models has been published in Reviews in Mathematical Physics. This is the first paper of my coauthor Leander Fiedler, a PhD student in Hannover with whom I have worked closely together while I was a postdoc there, so this is very exciting. Our paper generalises results first obtained for the toric code (where ) to arbitrary abelian groups . In particular, we prove that Haag duality holds in the translational invariant ground state and uncover the superselection structure of the model.
So what exactly is Haag duality? We consider Kitaev’s quantum double model in two dimensions in the thermodynamic limit. For simplicity, we assume that we have a square lattice, with at each edge between neighbouring vertices a dimensional Hilbert space. This leads in a natural way to a algebra of observables, called the quasilocal algebra.^{1} This is very general. The physical input comes from specifying dynamics for the system in terms of local Hamiltonians, in our case those first introduced by Kitaev.^{2} The precise form is not important here: the main point is that this allows us to select ground states for these dynamics. In the present case, there are many ground states, but for our purposes there is a preferred one: there is a unique translational invariant ground state (which is pure).^{3}
Once we have selected a state on we can obtain a representation on a Hilbert space , such that the state is implemented by a vector . This can be done via the GNS construction. Now consider a “cone region” of the system: take a point in the lattice and two semiinfinite lines emanating from them. We say that, roughly speaking, the sites within the two lines form a cone .^{4} Associated to the cone is the algebra of quasilocal observables localised in that cone. The algebra of all quasilocal observables outside the cone is denoted by . We can then define two new algebras:
where the prime means taking the commutant in . By taking the double commutant we obtain von Neumann algebras. It should be noted that these algebras strongly depend on the choice of representation . By locality, the property that observables localised in disjoint regions commute, it is easy to see that . Haag duality then is the claim that the reverse inclusion also holds.
The proof relies on a good understanding of how the Hilbert space can be build by acting with local observables on the ground state vector . It turns out that we can label a convenient orthonormal basis by looking at “charge configurations” of anyons. These configurations can be obtained by acting with local operators associated to paths on the lattice on the ground state vector. A good understanding of the commutation properties of these operators is essential. In this case, these relations have a nice algebraic structure stemming from the representation theory of Hopf algebras. It allows us to look at the subspace of all charge configurations in the cone (and trivial charge outside), and see how and act when restricted to this subspace. By proving a density result, it is possible to show that they are each others commutants. This result then extends to the whole Hilbert space.
Haag duality is mainly used as a technical tool in the study of the superselection sectors of the model. For a short introduction of the main ideas behind this construction, which originates from algebraic quantum field theory, see here (or the arXiv version). In essence, it allows us to replace representations of , which satisfy a physically reasonable selection criterion,^{5} by endomorphisms of . These endomorphisms have a much richer structure than the representations. For example, two endomorphisms can be composed. Physically speaking this is the same as “fusion”: bringing two charges together and see how they combine.^{6} By studying these endomorphisms we can uncover all the relevant physical properties of the anyonic charges in the model. As expected, they are described by the representation theory of the quantum double of the group .
Footnotes

This is the algebra of all observables that can be approximated arbitrarily well (in norm) by observables that act only on a finite number of sites. It is the inductive limit of local algebras . ↩

Kitaev, A.: Faulttolerant quantum computation by anyons. Ann. Physics. 303, 2–30 (2003). ↩

The current version on the arXiv is a bit imprecise on this point. This is the ground state that we use there, but the claim that this is the only ground state is not correct. See the published version for the correct statement. ↩

The precise shape is not that important, as long as it is an infinite region without any holes and big enough that any finite set can be translated into it. ↩

In particular, we look at representations that look like the ground state representation outside of arbitrary cones . Alternatively, this means that the charges we are interested in, which correspond to equivalence classes of such representations, can be localised inside a cone, and can also be moved around to be localised inside any other cone. ↩

This is analogous to the representation theory of compact groups, where the tensor product of two irreducible representations can be decomposed into a direct sum of such representations. ↩