Lifshitz entanglement entropy from holographic cMERA

Lifshitz entanglement entropy from holographic cMERA

Simon A. Gentle and Stefan Vandoren

Institute for Theoretical Physics and Centre for Extreme Matter and Emergent Phenomena,
Utrecht University, 3508TD Utrecht, The Netherlands

Instituut-Lorentz for Theoretical Physics,
Leiden University, 2333CA Leiden, The Netherlands

s.a.gentle@uu.nl
, s.j.g.vandoren@uu.nl
Abstract

We study entanglement entropy in free Lifshitz scalar field theories holographically by employing the metrics proposed by Nozaki, Ryu and Takayanagi in [1] obtained from a continuous multi-scale entanglement renormalisation ansatz (cMERA). In these geometries we compute the minimal surface areas governing the entanglement entropy as functions of the dynamical exponent and we exhibit a transition from an area law to a volume law analytically in the limit of large . We move on to explore the effects of a massive deformation, obtaining results for any in arbitrary dimension. We then trigger a renormalisation group flow between a Lifshitz theory and a conformal theory and observe a monotonic decrease in entanglement entropy along this flow. We focus on strip regions but also consider a disc in the undeformed theory.

1 Introduction

Lifshitz theories are characterised by a scaling symmetry under which space and time scale differently:

(1.1)

where is referred to as the dynamical exponent. Such theories govern quantum critical points in many condensed matter systems. As a simple example, consider the following theory of a free massless scalar in dimensions:

(1.2)

Little is known about entanglement entropy in such theories. For the special case of one can map the ground state to a Euclidean conformal field theory in dimensions and compute some subleading universal terms in the entanglement entropy [2, 3, 4, 5, 6, 7], see also [8, 9]. Other work on in can be found in [10, 11]. This will be useful for us to fix the overall normalization factor in the entanglement entropy obtained from cMERA for the case , as we discuss in Section 3.1.

The discretised theory with and arbitrary , including a mass term, was studied recently in [12, 13] and some partial results for were obtained in [12]. In [13] an analytical approach was also put forward based on the holographic cMERA technique [1] for Lifshitz scalar fields. In this paper, we follow up and elaborate on this discussion and extend it to higher dimensions, obtaining several new results.

Holography opens up a new way to compute entanglement entropy. The difficult direct field theory calculation is mapped to a geometric extremisation problem in the dual gravity theory via the Ryu-Takayangi (RT) prescription [14, 15]. In detail, first one computes the bulk metric that describes the field theory state of interest. The entanglement entropy of a given region is then equal to the area of the minimal area extremal surface, as measured by this metric, that ends on this region at the boundary.

However, the holographic dual of a Lifshitz theory has yet to be universally agreed upon. Whilst a dual spacetime, termed Lifshitz spacetime, was proposed in [16, 17] and has been studied intensively ever since (see [18] for a review), it is unclear whether the RT prescription should be applied to this spacetime. Indeed, a study of various perspectives on the holographic reconstruction of Lifshitz spacetime can be found in [19]. Other recent work suggests that Newton-Cartan geometry may provide a more natural bulk dual for a non-relativistic theory [20]. Regardless, holography typically computes the entanglement entropy for strongly-coupled field theories with large central charges, whereas here we focus on a very different setting.

In this paper we use a method inspired by holography that is applicable to free field theories. In particular, Nozaki-Ryu-Takayanagi (NRT) proposed in [1] that a metric emerges from a continuous version of the multi-scale entanglement renormalisation ansatz (cMERA)  [21]. For a given theory, expectation values of the appropriate disentangler operator determine various components of this metric. In some sense, the NRT proposal geometrises the entanglement entropy of free fields. Our goal is to compute entanglement entropies by applying the RT prescription to the cMERA metric for various Lifshitz theories. As we explain later, our results should be viewed as predictions for field theory calculations.

We begin in the following section with a brief review of cMERA and the definition of the cMERA metric. As a crucial consistency check we first compute entanglement entropy in the ground state of a relativisitic free massive scalar theory and compare with known results. We then turn to our three main calculations of Lifshitz entanglement entropy in Section 3. We consider the original Lifshitz theory (1.2) and two relevant deformations: a mass term and a relativistic term . We conclude with a discussion in Section 4.

2 cMERA and holographic entanglement entropy

The multi-scale entanglement renormalisation ansatz (MERA) is a variational approach based on the renormalisation group (RG) to construct (ground) states in quantum many body systems and study their entanglement properties [22, 23]. A continuum version was developed in [21], which we now summarise. We follow the notation of [1].

Choose a quantum field theory in dimensions and introduce a length cut-off . Consider then a one-parameter family of states living in the Hilbert space of this theory. The dimensionless parameter keeps track of the current length scale, with and in the ultraviolet and infrared, respectively. Focus initially on a reference state that has no entanglement. Run up the RG scale and generate entanglement by acting with a unitary transformation based on a local operator . Next act with a scale transformation to introduce new degrees of freedom at shorter length scales. Repeat this process until the UV cut-off is reached. The final state we are interested in can then be written as

(2.1)

and the variational principle can then be applied to minimise the energy of this state. The variational parameters are encoded in the coefficients of the interactions in . Note that the states are manifestly translationally invariant if these coefficients are independent of .

2.1 Metrics from cMERA

The authors of [1] associate a metric in dimensions with a type of cMERA. In particular, they argue that a cMERA yielding a translationally invariant ground state should correspond to a metric of the form

(2.2)

The metric in the RG direction parametrised by is given by the Hilbert-Schmidt distance between cMERA states at nearby scales . It can be expressed in terms of the variance of the operator in the state :

(2.3)

This metric component effectively measures the density of disentanglers at the scale . The component cannot be determined from the field theory entanglement on a fixed-time slice and therefore plays no role in our discussion.

The explicit form of this metric can be calculated for the ground state of a free scalar theory [1], given the choice of disentangler proposed in [21]. It depends purely on the dispersion relation , with , and will be used throughout this paper:

(2.4)

The cMERA metric constructed in this way captures how the quantum degrees of freedom in the field theory are entangled with each other at different RG scales. It has the flavour of holography, but the precise connection with AdS/CFT is not understood since we are neither at large nor at strong coupling and no expression for is provided. For relativistic conformal field theories, the holographic cMERA approach gives the AdS metric [1]. And as we review below, applying the RT prescription to the cMERA metric for massive scalar fields yields the correct answers for the entanglement entropy when the correlation length is small. Based on this, we take a pragmatic approach and apply the holographic cMERA techniques to non-relativistic theories with Lifshitz scaling and with mass deformations corresponding to small correlation lengths. The method yields predictions for the Lifshitz entanglement entropy for general values of the dynamical exponent .

2.2 Consistency checks in relativistic theories

Before embarking on our main calculations, in this section we illustrate the consistency of this approach with a simple example: a free massive scalar field in dimensions. The action for this theory is (we absorb a factor in such that has dimension of inverse seconds)

(2.5)

and the dispersion relation is . Computing via (2.4), we should therefore associate the following metric with the ground state of this theory:

(2.6)

For this reduces to the metric on AdS in Poincaré coordinates with and , together with a simple rescaling of and . The AdS radius in this normalisation is , but one can rescale the overall metric to get any radius.

Our task now is to compute entanglement entropy from this metric using the RT prescription. We will focus on an interval in the -direction of width at . It is useful to define the dimensionless quantities

(2.7)

We want to compute entanglement entropy as a function of and . We require and to ensure that the cut-off is the smallest length scale in the theory. Furthermore, the regime means that the correlation length is larger than the subsystem size , whereas means that the correlation length is smaller than the subsystem size. The entanglement entropy is known to be different in these two regimes [24] — a result we now re-derive.

First we change coordinates:

(2.8)

The boundaries of the coordinate are fixed by the limits of the cMERA length scale :

(2.9)

We seek geodesics of this metric parametrised by that end at . The length of the shortest geodesic is proportional to the entanglement entropy. The steps to find the appropriate geodesics and compute their lengths are identical to those in [14, 15]; we adapt them to our setup and only present the results and a few intermediate steps.

Two types of geodesic are relevant for a non-zero mass. See Figure 1 for examples. The first type connects the endpoints and is smooth at the point of deepest extent in : and . The boundary condition for this type of geodesic relates to the interval width :

(2.10)

At fixed , the function on the right-hand side is real and non-zero for , in accordance with (2.9). It is positive within this range and has a single maximum. Thus, equation (2.10) cannot be satisfied for large , but may have two solutions for small . The second type of geodesic exists for all and consists of two disconnected straight sections that end at .

Figure 1: Types of geodesic for , . The blue and red curves are the two possible connected geodesics and the pair of green lines is the disconnected geodesic. All three geodesics end at and the dashed line is the IR cut-off .

We must be careful to identify the geodesic with the shortest length for a given . The lengths of the connected and disconnected geodesics are given respectively by

(2.11)
(2.12)

We demonstrate in Figure 2 that the disconnected geodesic is shorter than any connected geodesic above a critical value of . This value is slightly below that for which a connected geodesic no longer exists.

Figure 2: Ratio of the connected geodesic length to the disconnected geodesic length for as a function of . The red, green and blue dots correspond to the curves plotted in Figure 1 for and the black dot marks the critical value of for this . The region to the left of the vertical dashed line is unphysical since therein.

In the massless case (i.e. setting from the beginning in (2.6)) the connected geodesic is always the shortest. We can find its length explicitly as a function of :

(2.13)

In the last equation, we made an expansion in small . The first term is the dominant term and leads to the area law, which in dimensions is logarithmic in . The entanglement entropy is proportional to the length of the geodesic and the proportionality factor is known to be related to the central charge [25]:

(2.14)

with for a real scalar field.

Given that we have fixed the overall normalisation, we can return to the massive case and perform another consistency check for the case when the correlation length is smaller than the size of the interval. This translates into large , for which the disconnected bulk curve (2.12) is the shortest. Expanding for small and using the same normalisation factor as before, we find the following leading term:

(2.15)

where we recall that the correlation length is defined by . This result for the entanglement entropy matches perfectly with the universal result of Cardy and Calabrese in [24] applied to the case of one interval with two boundary points.

This concludes the consistency checks on the holographic cMERA techniques applied to free relativistic scalar field theories. The generalisation to higher dimensions can also be done, but we include it in the general analysis of Lifshitz theories with arbitrary dynamical exponent . When we set we recover the relativistic results.

3 Lifshitz entanglement entropy

We now apply the holographic cMERA technique to compute entanglement entropy in free Lifshitz scalar field theories. This possibility was in fact already pointed out in [1] but not worked out. In fact, in that reference, the case treated in the previous section was also not worked out in detail. The case of was recently also considered in [13] which we review and extend below.

As suggested in [1], all we need is the dispersion relation and the rest is computational. In this section we perform all the calculations and provide results for arbitrary and , treat the massive case as well, and compute the RG flow of the entanglement entropy from theories to .

3.1 Massless Lifshitz scalar

First we consider the simple theory given in (1.2) with . This has dispersion relation According to the prescription given in the previous section, we should associate the following metric with its ground state:

(3.1)

We wish to compute the entanglement entropy of an interval in this state, and for this we calculate the length of the geodesics in this metric. Remarkably, the result is a simple rescaling of the massless relativistic result (2.13):

(3.2)

This can be seen immediately at the level of the metric. Suppose we scale out the factor in front of the metric. Then up to this overall rescaling, this is the metric provided we replace the cutoff in (3.1). (Physically, we are not changing the cutoff for the Lifshitz theory, it is just a trick to get the answer. Equivalently, one can also rescale .) It is then clear that the length of geodesics on the slice is just a rescaling by of that obtained from (2.6) at . This observation was already made in [13], but there the result was only given for large , which does not permit taking large values of .

Here, we also obtain a sensible large limit. In a discrete model of a continuum local theory, entanglement entropy is dominated by contributions from nearest neighbors across the boundary of the entangling region. As is increased, more and more lattice sites are involved and we expect the full interval to contribute at infinite . This is indeed what we find:

(3.3)

i.e. it becomes extensive with the region size, so we recover a volume law in the large limit. This agrees with the observations and results of [12]. It has to be noted though that this limit is unnatural in the continuum limit where also the cutoff is sent to zero.

The entanglement entropy follows from by a multiplicative factor. In AdS/CFT, this factor comes from translating Newton’s constant into the central charge of the theory, which in 1+1 dimensions gives a multiplicative factor of , leading to for relativistic CFTs. The cMERA approach, however, does not fix the overall normalization. The best we can do is to replace the central charge by an overall multiplicative constant , independent of but which can depend on the dynamical exponent . For a relativistic scalar field, we have . In general, we call the Lifshitz central charge. Then we obtain the following entanglement entropy formula for general values of :

(3.4)

There might still be a non-universal additive constant independent of , just like the coefficient that is cutoff-dependent. We will leave it out of the discussion here.

The expansion around small values of gives small deviations from the volume law,

(3.5)

whereas expanding around the area law gives deviations from the area law,

(3.6)

In [13], the assumption was made that is independent of . Recent numerical work, however, shows that this assumption should be relaxed, as the work of [10, 11, 26] showed that for , one has , such that the entanglement entropy for starts like to leading order. This would imply that does depend on . Clearly, this issue needs to be better understood, either from further numerical work, or perhaps analytically, by computing from the replica trick or from Lifshitz scale anomaly coefficients. We leave this for further study, and leave the coefficient undetermined in this paper. More conveniently, we will focus on just the length or area of the minimal surfaces, which do not involve this factor .

We now generalise our treatment to higher dimensions. We make the replacement with and also the change of coordinates in (3.1):

(3.7)

Our region of interest is now the strip at . Translational invariance of the metric and strip in the additional spatial directions simplifies the problem dramatically: we seek extremal surfaces of this metric parametrised by that fill the other directions and end at . The area of the smallest surface is proportional to the entanglement entropy.

We find the following expressions for the width of the strip and the area of the surface extending to , respectively:

(3.8)
(3.9)

where we have defined and regulated the infinite volume of the remaining directions with . Note that these results are again related to those of the relativistic case with a rescaling by : we scale and multiply .

We deduce from these results that the entanglement entropy follows an area law for finite . The equation (3.8) relating and has a unique solution for given and . We can invert this asymptotically at large and find the following expansion for the area:

(3.10)

The first term represents the area term, and the second term is finite and independent of the cutoff. (See also, for example, [15] for the case using AdS/CFT and the RT formula.) The entanglement entropy is proportional to , with a proportionality factor that is not universal for . In the cMERA approach, this normalisation inherits from that of the disentangler operator and is usually fixed by comparing with known field theory results for the entanglement entropy. Because of the non-universality, we leave this overall factor undetermined.

In the large limit, we again obtain a volume law instead of an area law. We can invert (3.8) asymptotically at large , finding

(3.11)

We substitute this into the area expression (3.9) and find

(3.12)

which is indeed proportional to the regulated volume of the strip.

3.2 Disc geometry

In this section we depart briefly from the strip to consider a region of finite size: the disc. We study the same state of theory (1.2) but simply write the appropriate cMERA metric in different coordinates:

(3.13)

The following function describes a surface lying on the constant time slice that ends at on a disc of radius :

(3.14)

This surface is smooth at , independent of , minimises the area functional and has area

(3.15)

The area diverges as the cut-off is taken much smaller than the disc radius. For finite , this divergence is proportional to the area of the disc:

(3.16)

The lowest subleading divergence is logarithmic when is odd; in particular, we recover (3.2) for since the interval width satisfies . For even , the small expansion contains a constant term which is universal. All these results are straightforward generalisations and rescalings of the case described in, for example, [15].

In the large limit we again obtain a volume law:

(3.17)

Here is the -dimensional ball whose boundary is the -dimensional sphere of radius .

From now on we focus exclusively on strip regions.

3.3 Massive deformation

We now deform the theory (1.2) by adding the mass term . The dispersion relation is modified to , leading to a cMERA metric

(3.18)

The dimensionless parameters that characterise the mass deformation and the region size can be chosen

(3.19)

respectively. They reduce to (2.7) in the relativistic limit. We have written them in terms of the correlation length , generalising the one from the relativistic case. We want to compute entanglement entropy as a function of , , and . Again we require and to ensure that the cut-off is the smallest length scale in the theory. As in the relativistic case, the correlation length maybe larger or smaller than the interval length or strip width , corresponding to the regimes or respectively.

Just like the relativistic case covered in Section 2.2, there is a competition between two types of extremal surface: connected and disconnected. We analyse this case in a similar fashion. We begin with a change of coordinates:

(3.20)

For a connected surface extending to , the width of the strip and the area of the surface can be written

(3.21)
(3.22)

respectively, where it is convenient to parametrise the bulk depth via

(3.23)

We can evaluate these integrals exactly for various values of and ; more generally, they are straightforward to evaluate numerically. Equation (3.21) relates and . We find that it may have zero, one or two solutions depending on the value of , just like the relativistic case. We observe an area law divergence in that degenerates to a logarithmic divergence for .

For example, we have obtained analytical expressions for , :

(3.24)
(3.25)

where the satisfy

(3.26)

It is clear from the first term in (3.25) that the length diverges like as . Note that the correct formulae (2.10) and (2.11) are recovered for . In addition, analytical expressions can be obtained for , but these are lengthy and not very illuminating.

The disconnected surface exists for all . Its area is in fact independent of and can be evaluated in closed form:

(3.27)

This result is again proportional to the area of the region. For we find a simple expression that diverges logarithmically as :

(3.28)

We must now identify which surface has the least area for a given region size . For fixed , and we find that the disconnected surface has minimal area above a critical value of . This value is slightly below that for which a connected surface no longer exists. We observe the same qualitative behaviour as presented in Figure 2 for the relativistic case regardless of and . Besides yielding analytical solutions, the point does not appear to be special in this calculation.

For any given it is straightforward to numerically find the critical value of at which the two types of surface have equal area. In this way we can construct the phase diagram of a given theory. Our results in for various values of are plotted in Figure 3. Note that the -intercepts of the phase boundaries follow a roughly linear relationship: .

Figure 3: Phase diagram for . The curves correspond to (blue), (red), (green) and (yellow). To the left of each curve the shortest geodesic is connected, whereas to the right the shortest geodesic is disconnected. The dashed lines mark the boundaries of the physical region and . The black dots are extracted directly at .

For large values of the disconnected curve is always the shortest. This is the limit in which the correlation length is smaller than the length of the interval: . For this was the regime in which the result of Cardy and Calabrese holds: c.f. (2.15). For , the result obtained in (3.28) generalises the Cardy-Calabrese result, and we obtain

(3.29)

where we have used the same normalisation factor as before that relates the length of the geodesic to the entanglement entropy for a real scalar field.

3.4 RG flow to an IR CFT

In this section we begin with a massless free scalar field in dimensions and turn on an irrelevant Lifshitz coupling:

(3.30)

Our goal is to compute the entanglement entropy along the entire renormalisation group flow from the UV Lifshitz theory to the IR CFT. For sublattice entanglement entropy, such a study was carried out in [13], where it was found that the entanglement entropy decreases along the renormalisation group flow, for any starting value of . This provides evidence for a generalisation of the c-theorem for entanglement entropy in the relativistic case [27], applicable to flows between two Lifshitz fixed points. Our analysis below will give further support for this.

The dispersion relation is given by . After a change of coordinates, this results in a cMERA metric of the following form:

(3.31)

The function interpolates between the two limits of the flow as the dimensionless parameter is varied:

(3.32)

We seek geodesics of the form extending to that end at .

For example, for we find that the interval width and the geodesic length can be written respectively as

(3.33)
(3.34)

where we have again defined . Note that the expression for increases monotonically with (at fixed ) so can be inverted uniquely. It is straightforward to check that these results have the correct limits: (3.2) for large and (2.13) for small . These are the UV and IR limits, respectively. We plot the geodesic length as a function of or in Figure 4. We see that the length decreases monotonically along this RG flow from UV to IR, as expected. (We have checked that qualitatively similar results can be obtained numerically for other values of .)

Figure 4: Entanglement entropy for a flow between a CFT in the IR and Lifshitz theory in the UV. Left: Length as a function of for (bottom to top). These curves interpolate monotonically between the correct IR (left) and UV (right) limits. Right: Length as a function of for (bottom to top, solid). The dashed lines correspond to the IR (black) and UV (red) limits.

4 Discussion

An approach was put forward in [1] to geometrise entanglement entropy based on cMERA techniques [21]. It is similar in spirit to AdS/CFT but is applicable to free fields, i.e. weak coupling and small . We have illustrated in this paper that this approach leads to concrete predictions for the entanglement entropy of free scalar fields. In the relativistic case, it reproduces well-known analytical field theory results, as we showed in our analysis.111Actually, there is one analytical result that we have not managed to obtain. It was shown in [28, 29] that the entanglement entropy for a free massive scalar field in 1+1 dimensions in the regime contains a term proportional to . It is unclear to us how such a term would appear in the holographic cMERA approach. In the Lifshitz case, it leads to new predictions, generalising and extending the observations made in [13]. The overall normalisation for the entanglement entropy is however not fixed from the metrics introduced by [1]; rather, it depends on the choice and normalisation of the disentangler operator. In AdS/CFT this normalisation is fixed by the dictionary that relates Newton’s coupling constant to the central charge or number of colours.

In the massless case, our results for free Lifshitz scalars are obtained from a simple rescaling of the relativistic case, but this is not true in the massive case. In the latter case, we generalised the Calabrese-Cardy result to Lifshitz scalar fields with values of the dynamical exponent . It would be interesting to repeat our analysis for fermions.

Clearly, it would be important to better understand the validity of the holographic cMERA approach. From this point of view, our results are merely predictions rather than solid results. It would be nice to reproduce some of our predictions for Lifshitz entanglement based solely on field theoretic techniques. For free Lifshitz scalar fields, one imagines this should not be so difficult by attempting the replica method, but the presence of longer range interactions for large complicates this. In low dimensions, numerical and lattice methods can also be used, as was illustrated in [12, 13]. We leave this topic for future study.

Acknowledgements

It is our pleasure to thank Temple He, Javier Magán, Ali Mollabashi, Aurelio Romero-Bermúdez, Philippe Sabella-Garnier and William Witczak-Krempa for useful and enjoyable discussions and correspondence. This work was supported in part by the Delta-Institute for Theoretical Physics (D-ITP) that is funded by the Dutch Ministry of Education, Culture and Science (OCW).

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 ...
60144
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