Double Semion Phase in an Exactly Solvable Quantum Dimer Model on the Kagome Lattice

Double Semion Phase in an Exactly Solvable Quantum Dimer Model
on the Kagome Lattice

Oliver Buerschaper Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, Canada, N2L 2Y5    Siddhardh C. Morampudi    Frank Pollmann Max-Planck-Institut für Physik komplexer Systeme, Nöthnitzer Straße 38, 01187 Dresden, Germany
Abstract

Quantum dimer models typically arise in various low energy theories like those of frustrated antiferromagnets. We introduce a quantum dimer model on the kagome lattice which stabilizes an alternative  topological order, namely the so-called “double semion” order. For a particular set of parameters, the model is exactly solvable, allowing us to access the ground state as well as the excited states. We show that the double semion phase is stable over a wide range of parameters using numerical exact diagonalization. Furthermore, we propose a simple microscopic spin Hamiltonian for which the low-energy physics is described by the derived quantum dimer model.

\pdfstringdefDisableCommands

I Introduction

Topologically ordered phases of matter currently attract a lot of attention as they represent a fundamentally new form of matter, which cannot be classified by symmetry breaking and also exhibit very unusual properties.Wen (1990) One of their most interesting properties is the existence of emergent anyonic quasi-particle excitations which obey fractional statistics, i.e. they are neither bosons nor fermions.Leinaas and Myrheim (1977); Wilczek (1982) Proposals to use these anyons as a building block for a robust topological quantum computer have pushed forward interest in topologically ordered phases.Kitaev (2003); Nayak et al. (2008) There exists a wide variety of such phases whose understanding comes from their low energy theories which are topological field theories. These phases are characterized by the statistics of the anyonic quasi-particles which is often summarized in the - and -matrices.Keski-Vakkuri and Wen (1993)

An important question is where to find physical systems that stabilize such phases. The most successful approaches so far are based on fractional quantum Hall systems which have been shown to realize various types of topological order at different filling fractions.Laughlin (1983); Wen and Niu (1990); Nayak et al. (2008) Another fertile ground for the realization of topologically ordered states are frustrated magnets. In such systems, the geometry of the lattice prohibits a simultaneous minimization of all the interactions between the spins, leaving some of them frustrated. This frustration can then destabilize conventional orderings, opening the possibility to form disordered liquid-like ground states. For example, it is currently debated whether the spin- Heisenberg model on the kagome lattice forms a topologically ordered “spin liquid”.Yan et al. (2011); Jiang et al. (2012); Depenbrock et al. (2012)

In the context of frustrated systems, so-called quantum dimer models (QDM) play an important role as effective low-energy descriptions.Rokhsar and Kivelson (1988); Misguich et al. (2003); Poilblanc et al. (2010) These QDMs were originally proposed in the context of resonating valence-bond (RVB) states in the theory of high-temperature superconductors.Anderson (1987) Rokhsar and Kivelson later constructed a simple QDM Hamiltonian which can be fine tuned to a particular point (RK point) for which the ground state is known exactly.Rokhsar and Kivelson (1988) This state forms a disordered liquid like state which is, depending on the lattice, either gapless or gapped. In particular, it has been shown that the ground state for the QDM on the square lattice at the RK point is a gapless  liquid, while the same model on the triangular lattice forms a gapped topologically ordered  liquid.Moessner and Sondhi (2001) The topological order found in the QDM on the triangular lattice is the same as the one found in the toric code (TC) model (i.e. the two models have the same quasi-particle excitations and thus the same - and -matrices).Kitaev (2003) Misguich et al. derived a different type of QDM on the kagome lattice which consists of commuting terms and thus can be solved exactly for the ground state and all excited states.Misguich et al. (2002) This QDM can be exactly mapped to the TC model on the honeycomb lattice.

In this paper, we demonstrate how to construct an exactly solvable QDM that realizes a different type of topological order, namely the so-called double semion (DSem) phase first proposed in Ref. Freedman et al., 2004. It was later generalized to “string-net” models which realize various other kinds of topological order via condensation of extended objects.Levin and Wen (2005) The DSem phase can also be understood as a  gauge theory twisted by a nontrivial 3-cocycle.Dijkgraaf and Witten (1990); Buerschaper (2013) The main idea of our approach is to convert the known loop-gas representation of the DSem phaseFreedman et al. (2004) on the honeycomb lattice into a QDM on the kagome lattice. Starting from the exactly solvable point, we can prove that a stable DSem phase is formed by numerically obtaining the braiding statistics using exact diagonalization of small clusters. Our model thus presents an approach to realize more exotic types of topological order in frustrated spin systems.

This paper is organized as follows. We start by deriving the exactly solvable QDM in Sec. II and show that its ground state has DSem topological order. Next, we explore the stability of the phase in Sec. III by perturbing the model away from its exactly solvable point. We then examine possible realizations of the DSem phase in a frustrated spin system in Sec. IV. We finally conclude with a brief summary and outlook in Sec. V.

Ii Exactly Solvable Models

First we briefly review the TC and DSem models on the honeycomb lattice which realize the two distinct types of  topological order.Kitaev (2003); Freedman et al. (2004) We then construct two corresponding, exactly solvable QDMs by mapping the charge-free subspace of spins on the honeycomb lattice to dimer coverings of the kagome lattice via an intermediate arrow representation. The first QDM coincides exactly with the one derived earlier.Misguich et al. (2002) The second QDM is new and realizes the type of  topological order found in the DSem phase.

ii.1 Toric Code and Double Semion Models on the Honeycomb Lattice

\includegraphics

[width=]figures/Loop_space

Figure 1: a) Terms in the Hamiltonians (1) on the honeycomb lattice. b) Mapping from arrows to dimers. Arrows live on edges of the honeycomb lattice and hence the sites of the kagome lattice.
\includegraphics

[scale=0.24]figures/loop_arrow_dimer

Figure 2: a) Mapping from spin space on the honeycomb lattice to a reference arrow configuration and finally to a corresponding reference dimer covering on the kagome lattice. b) Flipping spins on the honeycomb lattice corresponds to flipping all inner arrows around a hexagon and hence to a local dimer resonance.

The models are defined by the following Hamiltonians which acts on spins () living on the edges (Fig. 1a) of a honeycomb lattice

(1)

where for both models

(2)

and the phase factors  are given by

(3)

Here is the set of edges around a vertex , the set of inner edges and is the set of outer edges around a hexagon . The common  eigenspace of all vertex terms  is usually called the charge-free subspace . If we imagine an edge of the honeycomb lattice in spin state  to represent a short string then a basis of  is given by spin configurations whose strings form closed loops. Conversely, a spin configuration with some open string lies in . We denote the projector onto  by .

We can easily see that the plaquette terms (, ) and the vertex term () commute since the plaquette terms only flip a pair of spins at each vertex. As sums of commuting terms the Hamiltonians are thus exactly solvable. On a sphere, the ground state of the TC model is the common  eigenstate of all and terms and reads

(4)

where is a configuration with closed loops. In other words, the ground state is an equal weight superposition of closed loop configurations. Similarly, the ground state of the DSem model is the common eigenstate of all and terms and is given by

(5)

where is the number of loops in a configuration  with closed loops.

When placed on a torus (assumed henceforth), both models show a four-fold degeneracy and the degenerate ground states can be classified into different topological sectors distinguished by the number of large loops around the two directions of the torus modulo two. There are four anyonic excitations in each system, but their statistics are fundamentally different. The excitations in the TC model consist of three particles with trivial self-statistics (identity particle, charge 1 electric defect, -flux magnetic defect) and a fermion (bound state of charge and flux). In contrast, the DSem model has two semions of opposite chirality and two bosons (identity particle and a -flux defect which is a bound state of the semions). We note that the excitations are deconfined and can only be created in pairs. For a more detailed description see Refs. Kitaev, 2003; Freedman et al., 2004; Levin and Wen, 2005.

ii.2 Intermediate Arrow Representation

In the following we will assign arrows to the edges of the honeycomb lattice. This arrow representation was introduced earlier in Refs. Elser and Zeng, 1993; Misguich et al., 2002, together with an additional vertex rule (explained below). Here we will relax this vertex rule in order to represent the complete Hilbert space of spins by arrows.

An arrow configuration is said to obey the vertex rule at vertex  if the number of incoming arrows at  is even. If an arrow configuration obeys the vertex rule everywhere we say it belongs to the charge-free arrow configurations , and to  otherwise. Now fix a random arrow configuration  in . Given some arrow configuration , each arrow represents a local spin in an eigenstate of . We define the arrow to represent  if it is aligned with the corresponding arrow in , and  otherwise. This clearly defines a local one-to-one identification of the complete Hilbert spaces of arrows and spins. The reference arrow configuration  itself represents the polarized spin state . The action of  is defined by a flip in the arrow representation and thus translates to the usual in the spin representation, for any .

If we choose a different reference arrow configuration  in  our original definition of  changes to for every lattice edge whose arrow in  is not aligned with the one in . Since the definition of  is not affected we can write this as locally. Thus changing the reference arrow configuration corresponds to a local unitary circuit  of depth . Note that any such  consists of loops of  on the lattice.

With this definition in place, the Hamiltonians (1) are equally valid for both the spin and the arrow representation. While their action on spins is clear, let us briefly sketch how they act on an arrow configuration . The term  yields an eigenvalue  whenever obeys the vertex rule at , and  otherwise.111Indeed, obeys the vertex rule and represents by definition. An arrow configuration  obeys the vertex rule iff it can be obtained from  by flipping an even number of arrows. This means that the definition of the arrow representation identifies the subspaces  and . The term  flips all (inner) arrows around a hexagon . In the DSem model the term  adds an additional phase factor  for each outer arrow in  which is not aligned with the one in . If is charge-free it is easy to see that the number of these misaligned arrows is always even, so the action of  on charge-free arrow configurations is Hermitian. Clearly, the ground states of both models on a sphere are superpositions of all charge-free arrow configurations with weights .

If we choose a different reference arrow configuration  our Hamiltonians (1) change to , where is the above local unitary circuit. It is immediate that commutes with all  and , hence the Hamiltonian of the TC model is independent of the choice of reference arrow configuration. For the DSem model on the other hand the Hamiltonian depends on this choice, namely through which introduces the nontrivial phase factors . This is actually not too surprising: while respects the decomposition of the arrow Hilbert space it may permute charge-free arrow configurations arbitrarily.

ii.3 Dimer Representation and Qdms

Finally we study dimer coverings of the kagome lattice which is obtained as the medial lattice of the honeycomb lattice considered so far. A basis of this Hilbert space  is given by dimer coverings with the property that there is exactly one hard-core dimer around every vertex. In contrast to RVB states, these basis states are assumed to be orthogonal.

Now we map charge-free arrow configurations on the honeycomb lattice to these dimer coverings in the usual way Elser and Zeng (1993); Misguich et al. (2002) (see Fig. 1b). Note that this induces a bijection between charge-free spin configurations  on the honeycomb lattice and dimer coverings  of the kagome lattice. This mapping depends on the choice of a reference dimer covering  (which we identify with the reference arrow configuration above).

If we restrict the Hilbert space to charge-free states the Hamiltonians of the TC and DSem model have a natural action on dimer coverings. It is instructive to study this in more detail. In both cases the arrow flips of the term  translate into 32 dimer resonance moves around the hexagon .Zeng and Elser (1995) Each such dimer resonance move corresponds to a loop  around  with edges (), and and denote the two ways in which  dimers can be placed along that loop.Misguich et al. (2002) In the DSem model the term  adds an additional phase factor to each dimer resonance move. We can now rewrite (1) as

(6)

where

(7)

collects all resonance moves involving the same number of dimers.

3 \includegraphics[scale=0.3]figures/loops0
4 \includegraphics[scale=0.3]figures/loops1_1 \includegraphics[scale=0.3]figures/loops1_2 \includegraphics[scale=0.3]figures/loops1_3
4 \includegraphics[scale=0.3]figures/loops4a_1 \includegraphics[scale=0.3]figures/loops4a_2
\includegraphics[scale=0.3]figures/loops4b_1 \includegraphics[scale=0.3]figures/loops4b_2
\includegraphics[scale=0.3]figures/loops4c_1 \includegraphics[scale=0.3]figures/loops4c_2
4 \includegraphics[scale=0.3]figures/loops5a_1 \includegraphics[scale=0.3]figures/loops5a_2
\includegraphics[scale=0.3]figures/loops5b_1 \includegraphics[scale=0.3]figures/loops5b_2
\includegraphics[scale=0.3]figures/loops5c_1 \includegraphics[scale=0.3]figures/loops5c_2
5 \includegraphics[scale=0.3]figures/loops2_1 \includegraphics[scale=0.3]figures/loops2_2 \includegraphics[scale=0.3]figures/loops2_3
5 \includegraphics[scale=0.3]figures/loops6a_1 \includegraphics[scale=0.3]figures/loops6a_2
\includegraphics[scale=0.3]figures/loops6b_1 \includegraphics[scale=0.3]figures/loops6b_2
\includegraphics[scale=0.3]figures/loops6c_1 \includegraphics[scale=0.3]figures/loops6c_2
5 \includegraphics[scale=0.3]figures/loops7a_1 \includegraphics[scale=0.3]figures/loops7a_2
\includegraphics[scale=0.3]figures/loops7b_1 \includegraphics[scale=0.3]figures/loops7b_2
\includegraphics[scale=0.3]figures/loops7c_1 \includegraphics[scale=0.3]figures/loops7c_2
6 \includegraphics[scale=0.3]figures/loops3
Table 1: Dimer resonance moves of the canonical Hamiltonian realizing the DSem universality class. For each loop  the resonant dimer coverings  and  are shown in red and blue respectively. The phase factors  depend on the hexagons , …, which form an enlarged unit cell on the kagome lattice (see Fig. 3b).

For the TC model, all phase factors  are trivial and (6) reduces to the QDM Hamiltonian in Ref. Misguich et al., 2002. For the DSem model, the phase factors  depend on the reference dimer covering  and it seems that this may influence the form of the Hamiltonian dramatically. For example, a random  typically leads to a Hamiltonian without any lattice symmetries. Yet, we showed in Sec. II.2 that any two of these Hamiltonians are equivalent to each other up to a local unitary circuit  of depth 1. Since cannot change the universality class of the models we can define a particularly simple, canonical Hamiltonian for the DSem universality class by choosing a reference dimer covering  which is invariant under rotations by  and translations by two unit cells of the kagome lattice (see Fig. 3b). The resulting phase factors  are then given in Tab. 1.

Like the corresponding models in the spin space, these models in the dimer space are also exactly solvable. Their ground states have a correlation length of exactly one lattice spacing and show topological order. We can also construct their anyonic excitations by acting with string operators as indicated in Ref. von Keyserlingk et al., 2013 (appropriately redefined in the dimer space).

\includegraphics

[width=]figures/cluster_ED_72

Figure 3: a) 72-site cluster on a torus used in the exact diagonalization study. Red circles indicate dimers while blue and green circles on opposite sides of the cluster indicate dimers identified by periodic boundary conditions. b) Reference dimer covering with a -rotation symmetry.

Iii Stability of the Phase

We now explore the stability of the DSem dimer model defined in (6). Clearly, the term  only has trivial phase factors and is not ergodic in the space of dimer coverings. In contrast, the term  exhibits a rich structure of non-trivial phase factors as seen in Tab. 1. We also note that the  term is ergodic in the dimer space. This ergodicity has already been seen in the TC dimer model.Hao et al. (2014) A very similar argument can be made for the DSem dimer model and this suggests that the  term is enough to realize the DSem phase. To verify this, we interpolate between the exactly solvable model (6) and  via

(8)

where . We consider the above model on a 72-site cluster placed on a torus (see Fig. 3a). We use exact diagonalization (ED) in the space of dimer coverings and obtain four topologically degenerate ground states and indicate the spectrum in Fig. 4. The ground state gap obtained from ED does not seem to close indicating that we do not pass any phase transition during the interpolation. This suggests that both Hamiltonians are in the same phase. To confirm this, we obtain the modular - and -matrices characterizing the braiding statistics of the quasi-particle excitations.

\includegraphics

[width=]figures/spectrum_h4

Figure 4: Energy spectrum of the Hamiltonian (8). We observe a topologically degenerate ground state sector with a finite gap to all excitations. This gap does not close when tuning the system from the exactly solvable point to .

The - and -matrices encode the exchange statistics and mutual statistics of the excitations respectively. In order to obtain them, we first find the minimally entangled states (MES) of the system. These are ground states which minimize the entanglement on non-trivial bipartitions of the torus. We then obtain our matrices from the action of a -rotation on the MES :Zhang et al. (2012); Cincio et al. (2013)

(9)

where is a diagonal matrix containing the arbitrary phases that can come with each . We then obtain the - and -matrices individually from the matrix .Morampudi et al. (2014) We find the following modular matrices for :

(10)
(11)

This again strongly indicates that is in the DSem phase even though the model is not exactly solvable any more.

Iv Spin Model

\includegraphics

[width=]figures/ruby

Figure 5: Spins lives on the sites of a modified ruby lattice obtained as the medial lattice of the kagome. Filled circles denote up-spins and empty circles denote down-spins. Two of many degenerate configurations are shown here.

While the quantum dimer model discussed above is usually motivated by resonating-valence bond states (which are potentially realized in the spin-1/2 Heisenberg model on the kagome lattice Misguich et al. (2003)), we introduce here a different route. In particular, we consider an XXZ model on a modified ruby lattice Hu et al. (2011); Wu et al. (2012) in the strongly anisotropic limit (see Fig. 5). For this model, we show that the low-energy physics is well described by the TC version of our quantum dimer model. The XXZ Hamiltonian is given by

(12)

where runs over nearest-neighboring sites of the modified ruby lattice, are the coupling parameters, and the operators are the usual spin-1/2 operators. Clearly, the Hamiltonian conserves the total magnetization . In the following, we study the limit of and consider the case of 1/4 magnetization (which can be reached by tuning the external magnetic field ). We find an extensive ground state degeneracy for : All configurations that have exactly three up-spins and one down-spin per crossed square are ground states. As the sites of the ruby lattice correspond to the bonds of the kagome lattice, the ground state manifold maps exactly on the dimer manifold. The degeneracy is then lifted by quantum fluctuations for any finite . In the limit , we obtain perturbatively an effective model acting on the dimer manifold,

(13)

up to 4th order in perturbation theory. Here, with defined in Eq. (7) with phase factors for all . In the previous section, we observed that the term was sufficient to realize the topologically ordered phase. Thus we might expect that the effective Hamiltonian might stabilize a TC phase for some parameter regime.

By exact diagonalization of Hamiltonian Eq. (13), we first calculate the topological entanglement entropyKitaev and Preskill (2006); Levin and Wen (2006) (TEE) of the two models on the 72 site cluster as a function of . The TEE is a length-independent, universal correction to the area law for the entanglement entropy , where is the length of the boundary of the subsystem and a non-universal constant. As the TC phase is an abelian phase with four quasiparticles, it is characterized by . For , we find a unique ground state and . This is because the term dominates and creates a trivial ground state in which the spins resonate around hexagons. For , we find four ground states that are approximately degenerate and , indicating the presence of a topological phase. We attribute the deviation from to the strong finite size which prevent us from attaining the exact value on this small cluster. Additionally, we calculate the modular matrices which turn out to be a more robust indicator of the topological phase. For the parameter we find that

(14)
(15)

The and matrices obtained correspond to the TC topological order. This provides numerical indications that the considered XXZ model does exhibit a TC code phase for a range of parameters in the limit of .

We note that by choosing particular phases in the off-diagonal part of Hamiltonian Eq. (12), it is possible to also realize the DSem phase in a similar manner. Though the Hamiltonian will be considerably more complex, there is a hope that it might be realized in a cold atom setting. This and the study of the full XXZ model will be subject to a future work.

V Conclusions

In this paper, we constructed an exactly solvable QDM on the kagome lattice which realizes the DSem phase. Our derivation employs local unitary circuits of constant depth to identify the spin space of the DSem model on the honeycomb lattice with the space of dimer coverings of the kagome lattice via an intermediate arrow representation. While the QDM Hamiltonian depends on the choice of a reference dimer covering, we showed that we can always restrict to a canonical Hamiltonian which respects a maximal number of symmetries of the kagome lattice, namely, rotations by  and translations by two unit cells. This weak breaking of translation symmetry, which appears inevitably in our construction, may very well turn out to be a general feature of spin models in the DSem phase. We would also like to emphasize that not only the ground states but in fact all excitations of our QDM can be obtained exactly. Our results can thus be viewed as a natural generalization of Ref. Misguich et al., 2002 to a unified implementation of the two distinct types of topological order within exactly solvable QDMs.

Furthermore, we explored the stability of our QDM using numerical exact diagonalization. We established that a considerably reduced QDM away from the exactly solvable point still lies in the DSem phase as evidenced by its modular - and -matrices which characterize the statistics of the excitations. We finally constructed a spin model which realizes the TC phase and indicated possible extensions to also realize the DSem phase.

This work can be immediately generalized to all lattices consisting of corner-sharing triangles and beyond, for example, to the star lattice222We start from a honeycomb lattice and clone each edge into two new ones  and . For the spin representation this adds an additional term per original edge. This local procedure clearly does not change the universality class of the DSem model, but allows as to exploit an arrow representation.. Other extensions of this work include possible generalizations to other string-net models, in particular to those realizing non-Abelian phases. This could possibly lead to concrete realizations of proposals such as universal quantum computation.

Acknowledgements.
We thank Roderich Moessner, Cécile Repellin and in particular Kirill Shtengel for useful discussions. This research was supported in part by Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supported by the Government of Canada through Industry Canada and by the Province of Ontario through the Ministry of Research and Innovation. OB gladly acknowledges support by the visitor program of the Max-Planck-Institut für Physik komplexer Systeme. While completing this work we learned about a similar, independent result by Qi, Gu and Yao who also realized the DSem universality class in various QDMs.Qi et al. (2014) We also learned about independent work by Iqbal, Poilblanc and Schuch who introduced semionic RVB states.Iqbal et al. (2014)

References

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
27185
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description