A recipe for constructing frustration-free Hamiltonians with gauge and matter fields in one and two dimensions.

State sum constructions, such as Kuperberg’s algorithm, give partition functions of physical systems, like lattice gauge theories, in various dimensions by associating local tensors or weights with different parts of a closed triangulated manifold. Here we extend this construction by including matter fields to build partition functions in both two and three space–time dimensions. The matter fields introduce new weights to the vertices and they correspond to Potts spin configurations described by an -module with an inner product. Performing this construction on a triangulated manifold with a boundary we obtain transfer matrices which are decomposed into a product of local operators acting on vertices, links and plaquettes. The vertex and plaquette operators are similar to the ones appearing in the quantum double models (QDMs) of Kitaev. The link operator couples the gauge and the matter fields, and it reduces to the usual interaction terms in known models such as gauge theory with matter fields. The transfer matrices lead to Hamiltonians that are frustration-free and are exactly solvable. According to the choice of the initial input, that of the gauge group and a matter module, we obtain interesting models which have a new kind of ground state degeneracy that depends on the number of equivalence classes in the matter module under gauge action. Some of the models have confined flux excitations in the bulk which become deconfined at the surface. These edge modes are protected by an energy gap provided by the link operator. These properties also appear in ‘confined Walker–Wang’ models which are 3D models having interesting surface states. Apart from the gauge excitations there are also excitations in the matter sector which are immobile and can be thought of as defects like in the Ising model. We only consider bosonic matter fields in this paper. [ABSTRACT FROM AUTHOR]

Copyright of Journal of Physics A: Mathematical & Theoretical is the property of IOP Publishing and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)