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, to 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 introduces 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 the 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 (QDM) 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.
Departamento de Física Matemática Universidade de São Paulo - USP
CEP 05508-090 Cidade Universitária, São Paulo - Brasil
Lattice systems with gauge and matter fields is a recurring theme in high energy and condensed matter physics. They are a useful way of regularizing field theories in particle physics where the standout example is lattice QCD, a widely studied field . The gauge groups involved in these programs are compact, continuous non-Abelian groups like and and Abelian groups like . Whereas in the context of condensed matter physics such lattice systems are used to model magnetism in solids and crystals and study various phases of strongly correlated electrons most of which are typically low energy phenomena. One of the prominent examples is the Hubbard model which is an interacting microscopic model used to describe a variety of strongly correlated phenomena . In these examples the gauge groups considered are finite discrete groups such as the Abelian . The classic examples using such Abelian groups as degrees of freedom are the Ising chain, Heisenberg model and the Potts model . An important connection between lattice spin systems and gauge theories was given in the famous article by Kogut [4, 5]. They study in detail the connection between a -dimensional quantum spin system and the -classical system via the transfer matrix method. This gives the correspondence between the two-dimensional quantum Ising model and three dimensional lattice gauge theory.
The partition functions of such lattice systems can be found out in a systematic way by looking at them as state sum models. These state sum models are used in several areas of mathematics and physics, including statistical mechanics , random matrices , knot theory , lattice gauge theory  and quantum gravity . Such state sum models are defined based on a combinatorial decomposition of a manifold such as a lattice or a triangulation, which can be interpreted to be the space-time in a physical picture. In these models the degrees of freedom live on the vertices and/or edges of the lattice. In a more general setting one could associate local states on even faces and volumes. We restrict our attention to those living only on the vertices and edges. A state in such a system is the tensor product of the configuration in each local edge and vertex. Local weights are associated to the vertices edges and faces of the triangulated lattice. These weights can be thought of as tensors with indices which can be raised and lowered. These tensors are then allowed to contract and thus one obtains a number corresponding to the partition function when this construction is carried out for a closed triangulated manifold.
These constructions have been carried out in the past for finding 3-manifold invariants which were also interpreted as the partition functions of certain physical models. They were especially useful in constructing the partition functions of Topological Quantum Field Theories (TQFTs). An important example is the 3D Dikgraaf-Witten invariant  which furnished all topological lattice gauge theories. Hamiltonian realizations of these invariants in two dimensions is given in . Another important example is the Turaev-Viro type of TQFTs in 3D . These are realized by the Levin-Wen models or the string-net Hamiltonians  in two dimensions. These are exactly solvable models made up of commuting projectors describing degrees of freedom belonging to a unitary fusion category located on the edges of the lattice. They realize anyons as low energy excitations and provide a general class of long-ranged entangled topologically ordered phases in two dimensions. The Turaev-Viro invariant are known to be equivalent to the Chain-Mail link invariant . It was shown in  how one can obtain the string-net models from the Chain-Mail link invariant which is also a knot invariant.
In the spirit of such computations we showed in  that the partition function of Quantum Double Hamiltonians (QDM) of Kitaev [18, 19] can be obtained by a deformation of Kuperberg’s 3-manifold invariants . The QDM Hamiltonians realize lattice gauge theories based on an involutory Hopf algebra . Lattice gauge theories based on a group is a special case of this as is an involutory Hopf algebra. When we obtain the toric code model. Thus the quantum double Hamiltonian realizes a representation of the quantum double of these involutory Hopf algebras. This is a general recipe to construct quasi triangular Hopf algebras from a given Hopf algebra. These quasi triangular structures are governed by a -matrix which form a representation of the braid group in two dimensions and hence help us find anyonic solutions . In  we embed such quantum double models in a bigger parameter space namely the full parameter space of lattice gauge theories in three dimensions. For particular choices of the parameters we obtain the solvable models which describe the same phase as the QDM phase of Kitaev. For more general parameters we go away from this phase in a manner similar to the effect of perturbations which can be thought of as magnetic fields in the simple cases of the group algebra. By studying it in a bigger parameter space new topological and quasi-topological phases were also shown to exist  for these lattice gauge theories. These phases were understood by analyzing the Hamiltonians derived from the transfer matrices of these lattice gauge theories. These were constructed by carrying out Kuperberg’s prescription on a triangulated manifold with boundary. These transfer matrices are a product of local operators acting on the vertices, plaquettes and links. The vertex and plaquette operators are precisely the ones appearing in the QDM Hamiltonian [18, 19]. The ones acting on the links are like the perturbations to the QDM Hamiltonian. The trace of these transfer matrices coincide with the Kuperberg 3-manifold invariant. In this regard  is a significant extension of Kuperberg’s constructions as it is not limited to just obtaining 3-manifold invariants. By also parametrizing the transfer matrix we go away from the topological limits and recover the topological invariants for special parameters which incidentally also give the topologically ordered models.
The QDM and the string-net models are all examples of Hamiltonian realizations of lattice gauge theories based on involutory Hopf algebras and quantum groupoids or weak Hopf algebras  respectively. The gauge fields in these examples live on the edges of the three dimensional lattice. These are examples of long-ranged entangled (LRE) phases which form a large chunk of known topologically ordered phases . The “other” chunk of known topological phases are the short-ranged entangled ones. These include the Symmetry Protected Topological (SPT) phases which are interacting bosonic phases which have edge states protected by a global symmetry group . Conventional topological insulators  are non-interacting fermionic versions of these phases. Such phases are known to exist in all dimensions, however the physically interesting ones are the ones in one, two and three dimensions. Exactly solvable effective models describing such phases have been studied in [26, 27]. Gauging the global symmetries of these systems lead to fractional excitations in the bulk. These help mimic the behavior of fractional quantum Hall (FQH) states .
Apart from these two broad classifications of topological phases, the LRE phases were further subdivided when they are decorated with an additional symmetry giving rise to symmetry enriched topological (SET) phases [29, 30, 31]. These phases were studied in the mathematical framework of -crossed braided fusion categories . Exactly solvable lattice models for realizing SET phases with global symmetries were done in [33, 34, 35]. Gauging these global symmetries leads to new topologically ordered phases starting from the parent topological phase. Such phases were obtained locally in exactly solved Hamiltonians [bombin, 37, 38]. They were realized in more realistic systems, such as bilayer FQH states, by introducing dislocations and the accompanying branch cuts .
A common feature of the above systems is the existence of a global symmetry. In the case of the SPT phases these global symmetries are realized by using matter fields living on the vertices with no link degrees of freedom  and for the SET phases the global symmetry is realized by placing the system on an enlarged lattice [33, 34, 35] or by introducing dislocations in the lattice . Thus it is desirable to go beyond the pure gauge systems in  by implementing an additional global symmetry which may help one obtain the SET and SPT phases in a systematic manner. We do this by extending the construction in  by including matter fields on the vertices and construct the corresponding transfer matrices of systems with gauge and matter fields. By using this transfer matrix we obtain exactly solvable models of such systems which also includes the interaction between the gauge and matter fields. These Hamiltonians are frustration free  and possess both a global symmetry, in the matter sector and a local symmetry in the gauge sector. They are frustration free in the sense that the Hamiltonian is a sum of terms such that the ground states of the full Hamiltonian are the lowest energy states of each individual term. The global ground states are also local ground states and hence there is no frustration or energy increase when all the terms in the Hamiltonian are included. A Hamiltonian which is a sum of commuting projectors satisfies these conditions and we shall see that the Hamiltonians constructed in this approach are of this form.
Before we provide a description of the construction of these transfer matrices we briefly write down some properties of the systems obtained from these transfer matrices. As noted before the Hamiltonians are exactly solvable and the spectrum is gapped. The main input in building these systems is the gauge group and the matter module which is acted upon by the gauge group and the choice of the representation of the gauge group on the matter module. Depending on this choice we have can obtain a variety of systems. A common feature to all of them is the ground state degeneracy which is no longer a topological invariant like in the pure gauge case  but rather develops another kind of degeneracy which depends on the number of equivalence classes of the matter module under the gauge action. Depending on the choice of the action of the gauge group the system can also develop a topological degeneracy in addition to the one coming from the different equivalence classes. These systems have excitations in both the gauge and the matter sectors. Unlike the deconfined excitations of the LRE phases, only the charge excitations are deconfined in this model. Depending on the choice of the action of the gauge fields on the matter degrees of freedom the system may or may not have deconfined fluxes. When the fluxes are confined, they are done so by string tension terms provided by operators acting on links as we shall see soon. However when these systems are placed on a manifold with a boundary the fluxes get deconfined and become edge modes which are protected by an energy gap provided by the link operators. This feature will be explained with a specific example in the text. This property of confined bulk excitations and deconfined excitations on the edges has been observed in confined Walker-Wang models  elaborated in [42, 43, 44]. The confined Walker-Wang models are systems in 3D, which when placed on manifolds with boundaries result in topologically ordered surface states. The examples in this paper achieve this in two dimensions through gapped edge modes.
We briefly describe our method to construct the transfer matrix of a lattice system with gauge and matter fields in two and three dimensions thus corresponding to quantum lattice models in one and two dimensions respectively. For convenience we only work with the case of finite groups though our methods can be extended to the case of continuous compact groups and in general to involutory Hopf algebras. Thus our focus is only on models which are pertinent for condensed matter systems. In particular we will be interested in finding exactly solvable Hamiltonians which act as effective descriptions of interacting systems of gauge and matter fields in one and two dimensions. We will explain the procedure for the three dimensional case. The procedure can be easily followed in the two dimensional case as well and is included as an appendix to this paper.
The construction proceeds as follows. The data needed to define a partition function is a triangulated, closed 3-manifold which we take to be of the form , where is the two dimensional spatial slice, an involutory Hopf algebra which make up the gauge degrees of freedom located on the edges of the triangulated 3-manifold and a -dimensional vectorial space , which carries a representation of 555In other words, is a left -module. and has a co-structure and an inner product. The elements of make up the matter fields which are located on the vertices of the triangulated 3-manifold. The invariant is built by contracting local weights associated to vertices, edges and faces. These local weights are built out of the structure constants of the involutory Hopf algebra and the co-algebra . These structure constants from are given by tensors , and . They correspond respectively to the multiplication (product) map, coproduct map and the antipode. The structure constants from are given by tensors and where the former is similar to the coproduct for coalgebras and it arises from the costructure of and the latter is the map which says how the gauge fields act on the matter fields, that is it is the map which furnishes a representation of on . In the structure constants listed the Latin alphabets index the gauge degrees of freedom and the Greek alphabets index the matter degrees of freedom. The scalar constructed out of these structure constants can be thought of as the result of contracting a three dimensional tensor network where we now consider the local weights as local tensors associated to the various parts of the three dimensional lattice. The partition function is parameterized by and , elements of the centers of the algebra and its dual, an element of and the inner product in . Thus we obtain which is in general a scalar and need not be topologically invariant.
Obtaining an operator from this scalar is a natural step when we carry out the above procedure on a 3-manifold with boundary. This operator is precisely the transfer matrix as it’s trace is the partition function. The 3-manifold we consider is where as before is the two dimensional spatial slice and the unit interval is along the third direction which we can think of as the Euclidean time direction. Thinking of the partition function as a contracted tensor network we now have non-contracted indices on the spatial slices and . This results in the transfer matrix for the lattice system. However since we distinguish spatial and “time” directions in this construction we have more parameters for . This means that the weights associated to the two directions are not necessarily the same. Denoting the space and time directions by and respectively we now have the fully parametrized transfer matrix as . We show how this global operator can be written as a product of local operators acting on vertices, links and plaquettes. We obtain
where , and denote the vertices, links and plaquettes respectively.
This operator is very general and encompasses a wide variety of interacting lattice models with gauge and matter fields. However for specific values of the parameters, namely
where and are the unit and co-unit of the algebra and is the counit of , we obtain exactly solvable models. The set of parameters we will work with in this paper are , and which give us
These give us models which are similar to the toric code in the sense of a frustration-free Hamiltonian made up of commuting projectors and having long ranged entangled ground states, but including matter fields. This Hamiltonian is given by
where the vertex operators are gauge transformations just as in the QDM case, the plaquette operators measure gauge fluxes around a plaquette, and the link operator which is a gauged term with Potts-like nearest neighbor interactions. In other words, couples the gauge configurations at the links with the Potts spins located at the vertices.
The contents of this paper are organized as follows. In section 2 we describe the construction of the transfer matrix in dimensions in a systematic manner starting from the method to construct the weights/local tensors using the structure constants of the input algebra for the gauge algebra and its corresponding vector space carrying it’s representation. The partition function resulting from this assignment is briefly sketched before the transfer matrix is obtained from this using the splitting procedure. The splitting procedure leads to the transfer matrix written as a product of local operators. All these local operators are obtained at the end of section 3 as tensor networks, written down in the Kuperberg notation . The algebraic expressions for these operators are given for the gauge algebra being the group algebra and the vector spaces being the ones carrying their representations, in section 4. The input algebra can be more general than group algebras with group algebras being most relevant for condensed matter physics. Some examples of exactly solvable models obtained from this construction are presented in section 5. A brief outlook makes up section 6. There are two appendices intended as a supplement to the main text. Appendix A furnishes the details of the basic input for our construction. In appendix B we show the same construction in dimensions which produces quantum models in . These can be used to obtain spin chain models and hence completes our formalism for physically relevant instances. Finally in appendix C we look at two examples of exactly solvable models in one dimension and find them to have interesting properties which warrant further study.
2 Constructing the Transfer Matrix
In order to define our model we define a lattice which is a discretization of some manifold , where is some compact manifold such that . For the purpose of this work it is enough to consider a square lattice as the one shown in figure 1(a). This lattice is constructed by gluing vertices, links and faces as shown in figure 1(b).
The model we build has degrees of freedom associated to gauge fields (living on the links) and degrees of freedom associated to matter (living on the vertices). They are quite general in the sense that it can support models such as the quantum double models which includes the toric code, besides models in other phases of matter. The Hamiltonian operator is the one which propagates the states along the time direction and it is made up of a set of projectors operators which act on specific parts of the lattice. In this paper we will show how to get the Hamiltonian operator in the language of tensor networks. The way we proceed is very similar to the way we have done so in . We start with a partition function written in the formalism of the state sum model which leads to a one step evolution operator such that 666For brevity in the partition function expression we omit the dependence on the lattice (), on the algebra () and on the space. So by we actually mean .
where are elements of the center of algebra and co-algebra which play role of parameters of the model, the subscript S and T means spacelike and timelike parameters while is the number of steps in the time evolution. From this transfer matrix we shall be able to get a Hamiltonian by taking its logarithm, i.e.,
In the next section we will define the function partition function and relate it with a one step evolution operator. The partition function is made of a bunch of tensors associated to the vertex, links and faces of the lattice, all of them contracted with each other as we will see next.
2.1 The Partition Function
The partition function of the model is defined on an oriented square lattice . We choose a square lattice for convenience. It can be easily defined on an arbitrarily triangulated lattice. The lattice is made up of vertices, links and faces glued together as shown in figure 1(b). A tensor is associated for each vertex, link and face of and contracted according to the gluing rules described below. In the next section we will show how the tensors we use to define the partition function are related with the structures constants of and .
2.1.1 Associating Tensors to the Lattice
The procedure outlined helps define a function .
A tensor is associated to each face. The four indices label the four links glued to this face. This is shown in figure 2(a). The indices are ordered counter clockwise according to orientation of the plaquette. Each vertex is glued into six different links and hence the tensor associated to it is denoted as shown in figure 2(b). Finally each link is glued into four faces and two vertices, and so the tensor associated to a link is as shown in figure 2(c). Note that the indices labelled by Latin letters (black arrows in the Kuperberg diagram) stand for the gauge fields while the indices labelled by Greek letters (green arrows in the Kuperberg diagram) stand for matter fields. In figure 2 the dotted lines mean that something is going to be glued to it.
2.1.2 Contraction Rules
To take care of the orientation of the lattice we still need two more tensors which will play the role of fixing orientation of the gauge part and the matter part. The one associated to the gauge part is the antipode map of the Hopf algebra while the one associated to the matter part is some bilinear map which we will describe later. The Kuperberg diagram for them are the ones shown in figure 3.
The contraction tensors with the contraction rules are shown in figure 4. For the gauge part (contraction of a plaquette with a link) we use the antipode tensor when the orientation does not match or we contract the tensors with directly as shown in figure 4(a). For the matter part we contract the green arrow which is going out of the tensor using the tensor while the green arrow coming in the tensor we contract directly, as shown in figure 4(b)
The partition function is defined as the contraction of all these tensors associated to the vertices, links and faces. Since the lattice we are considering has no boundary, , there will be no free indices remaining after the gluing resulting in a scalar. As we will see in the next section the tensors and depend on the structure constants of , , elements of the center of the algebra and its dual, elements of . With these parameters the partition function can be written as
where the products runs over the orientations , the plaquettes , links and vertices of .
2.2 The Transfer Matrix from the Partition Function
Having defined the partition function we can now define a one step evolution operator such that
The way to do this is by looking at the lattice in which the partition function is defined on and to take slices of it in the time direction. We now introduce a new point of view where we look at the lattice as a contraction of a bunch of tensors as defined above. As we will see sometimes it will be convenient to think of the lattice as a tensor network and sometimes more convenient to think of it as a gluing of vertices, links and faces.
3 The Transfer Matrix as a Product of Local Operators
We will see that the one step evolution defined in figure 6 is a product of local operators. These local operators act on vertices, links and plaquettes of the lattice, and hence are called vertex, link and plaquette operators, respectively. But before we split it we must have a better definition of the tensors used to build it. In other words we need to know how they are related with the structure constants of and . In the next section we will define their algebraic structure which is a very important part of the model.
3.1 The Structure Constants
Let be an involutory Hopf algebra with a product , a co-product and a involutory map . Its structure constants are the tensors shown in figure 7.
Let be a module of which has a semi-simple co-algebra structure . We define the action of on by the map in the following way
The structure constants involving are the ones shown in figure 8(a) and 8(b). We also show the action of the algebra on with respect to the product of the algebra , in other words we want this action to be a homomorphism, i. e., as shown in figure 8(c).
3.2 Building the Tensors
The first tensor we will define is the tensor . Its definition is shown in figure 9. Due to the associativity of the algebra the tensor is invariant under cyclic permutation of its indices and can be written in different ways as shown in figure 9. The element is an element of the center of the algebra.
The tensor is made of the co-structure map in as shown in figure 10. As the co-product is co-commutative this tensor is invariant under interchange of a pair of its indices. Like the tensor this tensor can also be written in different equivalent forms as shown in figure 10.
3.3 Splitting the One Step Evolution Operator
In order to make the procedure clear we will represent the spacelike part as being made of spacelike plaquettes and spacelike links and the timelike part as being made of timelike plaquettes and timelike links. The splitting will be done in two steps: first we will split the tensors associated to spacelike links and vertices and then we split the tensor associated to the timelike plaquettes. These two steps show how the one step evolution operator can be written as a product of local operators. Although the model does not depend on the orientation of the lattice we have to set up some orientation in order to use the contraction rules described above. So we consider the orientation shown in figure 12.
3.3.1 Splitting the Spacelike Part of the Tensor Network
Consider a spacelike link which is shared by two adjacent plaquettes and two vertices as shown in figure 13.
To make things clear we write down the same tensor network of figure 15 in figure 16, where we have separated the tensors associated to each one of the spacelike plaquettes. Each leg of the tensor will be contracted to a tensor (directly or indirectly by the antipode map) and that will lead to the plaquette operator as we shall soon see.
We now split the tensor associated to each vertex in figure 16. For that we just use the definition of the tensor in figure 10. The splitting shown in figure 17 has to be done for the all the vertices of the lattice, but here for simplicity we are illustrating just for one single vertex.
The tensor network in figure 16 is rewritten in a separated way as shown in figure 17. After all this splitting we see that the spacelike tensor network part can be written as a product of two blocks of tensor networks which are the ones shown in figure 18. The first one (figure 18(a) is the operator called the plaquette operator. The second one in figure 18(c) is called and it will be contracted with the timelike tensor network part to build the others operators which make up the transfer matrix.
3.3.2 Splitting the Timelike Part of the Tensor Network
We now split the timelike part of the tensor network. For that consider a timelike plaquette which is shared by two timelike links and one spacelike link, as shown in the figure 19(a). The spacelike link on the top is the one which has already been splitted and it led to the tensor network attached to the timelike plaquette as shown in figure 19(b).
The tensor network associated to the timelike plaquette contracted with the two timelike links is the one one shown in figure 20(a) and it can be easily changed to the one in figure 20(b) by using the definition of the tensor in figure 9.
In order to keep it clear in our mind where are these tensors acting on one should take a look at the figure 19(b). Note that each and every timelike tensor will have a tensor contract with each of its gauge legs (directly or indirectly with the antipode). It lead to an operator for each timelike link of the lattice, or in other words, for each vertex spacelike vertex . This operator is the one drawn in figure 22(a). The tensor in highlight in figure 21 is now attached to the tensor network on the top in figure 19(b) and it give us a new operator which acts on the links, see figure 22(c)
The operator is the same on which appears in the (1+1) dimensional models. In the appendix we show how the transfer matrices of such a models can be obtained e also that the operator can be written in terms of simplers operators. The transfer matrix we started with can now be written as
But the operator, as can be seen in the appendix, can also be written as
where the operators , and will be explained in the next section. The operators and are explained in the appendix. The operator is called the link operator and acts on a link and on the its vertex. This operator is defined below in figure 23(a).
4 The Transfer Matrix in its Final Form
So far we have used a diagrammatic language where we associated tensors to the vertices, links and plaquettes of a triangulated three manifold to build a tensor network and showed that this results in a partition function for a closed manifold and a transfer matrix for a manifold with boundaries. We then used this transfer matrix represented by a tensor network to find out the local operators which can be used to piece up such a network. In this section we will write down the algebraic expressions for these operators and study their properties. For simplicity we choose the gauge algebra to belong to groups and so the states on the links are elements of the group algebra of a gauge group denoted by . The matter degrees of freedom belong to a module of which we denote by , in other words is a vector space carrying an action of . The formalism developed so far can be applied to any involutory -Hopf algebra and its corresponding module.
The operators that make up the transfer matrix can be divided into the ones which act only on the gauge fields, the ones that only act on the matter fields and the ones that involve the coupling between the gauge and the matter fields through the map defined in figure (11). We describe each set separately before we write down the full transfer matrix.
In order to write an algebraic expression for the operators we derived in previous section we need to define three operators which are made of the structure constants of the algebra and the module, as shown in figure 24.
These operators are linear on its parameters, in other words, (the same for , and ) and they act on the vector basis as
where we have used the bra-ket notation for elements of the basis ( and ). Sometimes we use the short notation , , and . Now using this operators in the next section we write the plaquette, vertex and link operators derived before in terms of them. There are three operators acting on the gauge sector alone. These are given by the plaquette operator and two operators acting on the qudits on the links. They can be deduced from their respective tensor network representation from the previous sections. We write down each of these in what follows. We will also see how the different parameters parametrizing the transfer matrix arise in the definition of these operators. This will also show how the transfer matrix depends on these parameters.
4.1 The Gauge Sector
The plaquette operator can be written down by looking at its tensor network representation given in figure (18(a)). We find
where labels a particular conjugacy class from the set of conjugacy classes in denoted by . Each of is given by
where is the identity of the group .
While writing down the plaquette operator in Eq.(5) we have made use of the fact that the tensor associated to the spacelike plaquette contains a central element of as can also be seen in figure (9). For the plaquette operator in Eq.(5) this central element , where denotes spacelike, is given by
with the set forming a basis of .The action of the plaquette operator on the oriented square lattice is shown in figure 18(b).
The operators form a complete basis of orthogonal projectors since
One of the link operators acting on the qudit on the links is given by
where are constants and is gauge projector defined in figure 24(c). These operators arise by the parameter on spacelike links given by which is a central element of the dual of . They can also be seen in figure (11). This central element is given by
with the set forming the basis of the dual of .
The second link operator acting in the gauge sector is given by
where ’s are constants and is given by
is the character of the element in the IRR and is the number of elements with non-zero trace in the IRR . The parameters is given by
We could as well have defined the operator , but since is an element of the center of the algebra these two operators are the same, namely .
The operator in Eq.(10) is obtained through the parameter in the timelike plaquette. This is an element of the center of given by
These operators exhaust the operators acting only in the gauge sector. We now turn to those acting only in the matter sector.
4.2 The Matter Sector
There are two operators which act only in the matter sector. One of them is obtained by parametrizing the vertices by , an element of the module and the other by parametrizing the timelike links with the inner product . The operator parametrized by is given by
where are constants and is given by
where are elements of the module . For the definition of in Eq.(14) the element is given by
As the module only has a co-structure this operator is very similar to the coproduct map in the gauge sector. In fact for the module with symmetry group we can identify with the operator of the gauge sector for with and . If we label the elements of the group as we can then write as
where is the character of the element in the IRR of labelled by . There are such expressions corresponding to the IRR’s of .
The operator in Eq.(17) is a generator of and is defined by
We can also consider modules with other symmetry groups, especially non-Abelian groups, and in this case the expression for is different from the one given by Eq.(17). The symmetry groups of the module can also be thought of as global symmetry groups of the system.
We now consider the operators acting on both the gauge and matter sectors.
4.3 The Gauge + Matter Sector
There are two operators acting on both the gauge and matter sector. They are the operators coupling the two sectors. These operators are the vertex and link operators given in figures (22(a)) and (23(a)) respectively.
The vertex operator is given by
with being the representation of the gauge group on the matter field located on the vertex . The single qudit operators and , acting on the gauge fields located on the links, are given by Eq.(4).
The vertex operator is obtained by using the parameter in the transfer matrix given by
This is a parameter living on the timelike links of the dimensional manifold.
For particular choices of the parameter we obtain the set of orthogonal vertex operators which are projectors. These parameters are given by
for the different ’s in the set of IRR’s of . They result in the following set of vertex operators
This vertex operator is very similar to the one defined for the quantum double models [17, 18, 19] with the addition of the representation of the gauge group acting on the vertex part. Thus it can still be thought of as a gauge transformation just as in the case of the quantum double models.
The other operator acting on both the gauge and the matter sector is the link operator represented as a tensor network in figure (23(a)). In terms of operators this operator is given by
where the matrix implements the inner product between the vectors in the module .
This inner product can also be thought of to be represented by the following tensor network shown in figure (25),
where is a tensor such that , in other words, .
The matrices in this definition can be thought of as those performing basis transformations on the elements of the module . If the matrix is chosen to be identity, it is the same as choosing to be identity. For other choices of we can find the operators orthogonal to . This will soon become clearer when we illustrate using examples.
We thus have the operators forming the transfer matrix of a lattice theory with gauge and matter fields. To sum up these operators include the vertex, plaquette and link operators along with the single qudit operators acting in the gauge sector given by Eq.(8) and Eq.(10) and in the matter sector given by Eq.(14). We now proceed to study the algebra between these operators.
4.4 Algebra of the Operators
The remaining basic operators in the theory are given by , , and . Clearly and are projectors and commutes with the remaining operators as they act on different sectors. We have the following relations
Using these relations it is easy to see that the vertex and plaquette operators given by Eq.(19) and Eq.(5) commute. This computation is exactly similar to the computation used to prove the commutativity of these two operators in the case of the quantum double models. This is true because the plaquette operators in our case of theories with gauge and matter fields is left unchanged with respect to the case with pure gauge fields.
The link operators trivially commute with the plaquette operators as both are diagonal. This can be seen from their respective definitions given by Eq.(24) and Eq.(5). The only thing that we have to prove is the commutation between the vertex operator and the link operator in their common region of support.
Consider the action of the operators and on the gauge and matter degrees of freedom. The proof then goes as follows for their action on the common support, we distinguish two cases as the vertex operator action depends on the orientation of the lattice, the first case being the one when the vertex operator acts on the vertex at the left of the edge , this is
since the module map is a group homomorphism we note that:
thus, the coefficient on the right hand side of eq.(4.4) now is the same as the one in eq.(4.4), hence . Let us now consider the case when the vertex operator is acting at the right of the edge , i.e.
for the commutation to hold we require:
this means the representation map is unitary, equivalently
Moreover we only consider ’s which permute the basis elements of the matter module. Under this condition is real which makes the link operator hermitian. This also ensures that the vertex operator is hermitian as the gauge part of the vertex operator is the same as the one in the QDM of Kitaev. The plaquette operator is the same as those appearing in the QDM of Kitaev. Thus all the operators in the Hamiltonian are hermitian making the evolution unitary.
4.5 The Transfer Matrix
We are now in a position to write down the full transfer matrix of a lattice theory with gauge and matter fields as a product of these local operators. Thus we have
The operator is defined as a linear combination of orthogonal projectors. We write it as
where is given by Eq.(24) and is the operator orthogonal to . The form of the orthogonal operator depends on the module considered. In general there are several operators orthogonal to the operator . For the modules with symmetry group as we can write down a general form for these orthogonal operators. If we denote the inner product in the module as then we can write down the operator as
We can now write other orthogonal operators as
where is the shift operator generating given by
The transfer matrix gets its dependence on through the link operator . The inner product given by in turn depends on the matrix as shown by it’s tensor network representation in figure (25).
Having written down the general expression for the transfer matrix of a lattice theory with gauge and matter fields we will now consider specific examples which illustrate the formalism developed so far.
We will consider two examples of Hamiltonians having long-ranged entangled ground states derived from the construction we have illustrated. The first example is the simplest Hamiltonian with the gauge group being and the vector space carrying its representation being the two dimensional vector space . We will denote this model as . The second example is a slight modification with the vector space replaced by , a three dimensional vector space carrying the representation of the gauge group . We denote this model as . We consider each of them separately in what follows.
The ground state degeneracies in each of these cases is a topological invariant and can be computed numerically. There are no winding operators as in the toric code for the case but we do have a winding operator for the case. We will write down the ground states in both the cases and give their tensor network representations.
Both these examples have confined excitations apart from one deconfined excitation. We will briefly look at the vertex and gauge excitations in the case. The vertex excitations of were studied in detail in . Here we will just look at it’s deconfined excitation. We then present a third example, the model where we use an action of on such that one of the fluxes become deconfined even in the presence of the link operator .
The effect of confinement is due to the link operator . A systematic way to deconfine all the fluxes is by working with Hamiltonians which do not have the operators but just the vertex operator and the plaquette operator . We then see that we have all the deconfined excitations of the quantum double models along with the vertex excitations due to the presence of the matter fields. These models will comprise the fourth set of examples. This is the simplest and most straightforward way to deconfine all the fluxes in contrast with the case where a clever choice of input data and structure constant helped us deconfine the fluxes.
Finally we will show how to recover the quantum double Hamiltonians with only gauge fields by “switching off” the matter fields. These comprise the fifth set of examples. All the examples are constructed on the torus.
Before we write down the models we make a few comments about the ground state degeneracy of these models. The models we will construct are obtained from the transfer matrix which has the following form
which makes this operator a projector. Using the arguments of  we can show that the trace of this operator gives the ground state degeneracy. With a little more work it is possible to show that this is also a topological invariant. This requires the introduction of Pachner moves in the presence of matter fields. We reserve this discussion for another paper.
The trace of the transfer matrix can be computed numerically777We thank Kazuo Teramoto for these computations. and these results are used for the two examples to be discussed below.
The basis elements of the group algebra of are denoted by the elements of the set