Universal crossovers between entanglement entropy and thermal entropy
We postulate the existence of universal crossover functions connecting the universal parts of the entanglement entropy to the low temperature thermal entropy in gapless quantum many-body systems. These scaling functions encode the intuition that the same low energy degrees of freedom which control low temperature thermal physics are also responsible for the long range entanglement in the quantum ground state. We demonstrate the correctness of the proposed scaling form and determine the scaling function for certain classes of gapless systems whose low energy physics is described by a conformal field theory. We also use our crossover formalism to argue that local systems which are “natural” can violate the boundary law at most logarithmically. In particular, we show that several non-Fermi liquid phases of matter have entanglement entropy that is at most of order for a region of linear size thereby confirming various earlier suggestions in the literature. We also briefly apply our crossover formalism to the study of fluctuations in conserved quantities and discuss some subtleties that occur in systems that spontaneously break a continuous symmetry.
Recently, an exchange of ideas between quantum information science and many-body physics has led to an improved understanding of the “corner” of Hilbert space in which ground states of local Hamiltonians reside. One of the most important tools for investigating the properties of many-body ground states is entanglement entropy, defined as the von Neumann entropy of the reduced density matrix of a spatial subsystem. The ubiquitous presence of a boundary law for the entanglement entropy, as reviewed in Ref. Eisert et al., 2010; Amico et al., 2008, has provided a rough guide to the entanglement properties of quantum ground states. This rough intuition led to a new class of quantum states generically called tensor network states Refs. Verstraete et al., 2008; Gu et al., 2008; Vidal, 2008 as well as new insights into the classification and identification of many-body phases and phase transitions in Refs. Kitaev and Preskill, 2006; Levin and Wen, 2006; Chen et al., 2011; Fidkowski and Kitaev, 2011; Pfeifer et al., 2009.
In this paper we show that by considering the relationship between thermal and entanglement entropy we can place significant constraints on ground state entanglement structure for “natural” systems. One of our main motivations is to characterize the possible violations of the boundary law for entanglement entropy at zero temperature. There have been many constructions of anomalously entangled ground states in the quantum information community e.g. Ref. Vitagliano et al., 2010, but what do these have to do with ordinary quantum systems relevant for laboratory studies? There are also motivations from the study of mutual information in quantum systems at finite temperature in Refs. Wolf et al., 2008; Melko et al., 2010. Interesting critical phenomena are visible in the mutual information, and a first step toward understanding these numerical results is a more complete understanding of the temperature dependence of the von Neumann entropy of a single region.
Our basic assumption that connects thermodynamics with entanglement is that the same low energy degrees of freedom are responsible for both long range entanglement and low temperature thermal physics. To give a concrete example, in one dimensional relativistic critical systems, while the high energy physics contributes an area law term to the entanglement entropy, only the low energy modes contribute to the entanglement and low energy thermal properties as discussed in Refs. Holzhey et al. (1994); Calabrese and Cardy (2004); Korepin (2004). Indeed, there is a universal crossover function that interpolates between the zero temperature entanglement entropy and the finite temperature thermal entropy of a given subregion (consisting of a single interval). We study and generalize this crossover phenomenon in variety of critical systems in different dimensions.
In more detail, we will make the following assumptions throughout this paper. We always study gapless systems since it is obvious (though not rigorous) that generic gapped phases obey a boundary law. Our primary assumption is that there exists a universal crossover function that relates thermal and entanglement entropy. This crossover function is only defined up to boundary law terms coming from high energy physics. We also assume that the system does not possess extensive ground state degeneracy and that the Hamiltonian is not fine tuned (beyond the tuning necessary to reach criticality). We will mostly consider translation invariant states, but we do discuss disordered states in Sec. VI. In short, we want to consider sensible gapless ground states of local Hamiltonians, but in an effort to be precise, we give the above assumptions as sufficient criteria for “sensibleness”. Finally, let us note that the renormalization group perspective on entanglement structure permeates our entire discussion.
We study the von Neumann entropy of a real space region of linear size in spatial dimensions as a function of temperature, , and region geometry. Recall that at zero temperature most gapless quantum systems in dimensions satisfy a boundary law for the entanglement entropy with the coefficient of this term non-universal (see Ref. Eisert et al., 2010). However, there are gapless systems that violate the boundary law for entanglement entropy including free fermions with a Fermi surfaceWolf (2006); Gioev and Klich (2006); Swingle (2010a), Landau Fermi liquids Swingle (2010b), and Weyl fermions in a magnetic field at weak and strong coupling Swingle (2010c). These examples have an entanglement entropy .
It is of enormous interest to generalize this result to understand the entanglement structure of non-Fermi liquid ground states of matter. Many such states share with the Fermi liquid the crucial feature that there are gapless excitations that reside at a surface in momentum space. However unlike in a Fermi liquid there is no description of these excitations in terms of a Landau quasiparticle picture. Such states were suggested to also violate the area law for the entanglement entropy based on a heuristic argument that views that gapless momentum space surface as a collection of effective one dimensional systems Swingle (2010a). If the area law is indeed violated can the violation be stronger than in a Fermi liquid?
An example of a non-Fermi liquid state with a gapless surface in momentum space was studied numerically in Ref. Zhang et al. (2011). The second Renyi entropy of a wavefunction (obtained by Gutzwiller projecting a free Fermi sea) for a gapless quantum spin liquid phase of an insulating spin system in two dimensions was calculated using Monte Carlo methods. The second Renyi entropy was shown to obey a behavior consistent with . Given the current limitations on system size it is hard to distinguish this from a power law violation of the area law. It is therefore important to have a general understanding of how seriously the area law can be violated in such a spin liquid state.
The quantum spin liquid phase discussed above is expected to be described by a low energy effective theory with a Fermi surface of emergent fermionic spin- particles (spinons) coupled to an emergent gauge field. Similar effective field theories describe Bose metals, some quantum critical points in metals, and other exotic gapless systems. In all these cases the violation of the boundary law is suggested by heuristic arguments. Based on the analogy with Fermi liquids we might guess that the violation is logarithmicSwingle (2010a). It is clearly important to have a firm argument for the correctness of this guess. Providing such an argument is one of the purposes of this paper. What about other non-fermi liquid states where the effective theory is not yet understood? We will address a class of such states that have a critical Fermi surface with appropriate scaling properties Senthil (2008) to discuss the scaling constraints on their entanglement structure. In all these cases we argue that the is the fastest possible parametric scaling with in dimensions.
Besides the von Neumann entropy, we also investigate the scaling behavior of fluctuations in conserved quantities as in Refs. Wolf, 2006; Swingle, 2010a; Song et al., 2011. Here the structure is slightly richer, but the basic conclusions are very similar. In phases with unbroken symmetry, the fluctuations in the conserved quantity generating the symmetry scale no faster than at zero temperature, again under the assumption that the same low energy modes responsible for thermal fluctuations also give rise to these zero temperature fluctuations.
This paper is organized as follows. We begin with a discussion of the crossover behavior in the simplest conformally invariant case in dimensions. Next we discuss the case of codimension one critical manifolds relevant for Fermi liquids, and then we discuss the general structure including higher codimension critical manifolds. Finally, we turn to a discussion of fluctuations in conserved quantities. We conclude with a discussion of possible violations of our scaling formalism.
Ii Scaling formalism: introduction
ii.1 Conformal symmetry
Consider a local quantum system with Hamiltonian at finite temperature so that the entire system is in the mixed state . As we recover the ground state up to corrections exponential in the gap to the first excited state. We will be exclusively interested in systems where is either in a gapless phase or at a critical point. Thus we will always have some notion of scaling symmetry although we will often not have the full power of the conformal group.
Consider now a region of linear size inside a larger many-body system. The complement of region is denoted . The reduced density matrix of is
and the von Neumann entropy of this reduced density matrix is
We will also be interested in generalizations of the von Neumann entropy called Renyi entropies labeled by a parameter :
The limit of is simply , the von Neumann entropy of .
Let us initially consider the special case of a conformal field theory in spatial dimensions. Two simple limits exist. As (a non-universal velocity is suppressed) the von Neumann entropy recovers the usual entanglement entropy of the ground state. We know from earlier studies that the entanglement entropy may contain a mixture of universal and cutoff dependent terms, see Refs. Metlitski et al., 2009; Casini and Huerta, 2009; Ryu and Takayanagi, 2006 for representative calculations. For example, the boundary law term, going as is non-universal, but there are universal logarithmic terms in dimensions. In dimensions the universal logarithmic term is replaced by a constant term. On the other hand, as we recover the usual thermal entropy going as .
Using our basic assumption we write the entropy of region as
where stands for the aforementioned addition or subtraction of non-universal terms involving the momentum cutoff . Let us now determine the properties of and the exponent . For the moment we suppress the region dependence writing as . First, as we must recover the extensive thermal entropy and hence . This further implies that to obtain the correct temperature dependence of the entropy. In the opposite limit as the only possibility for a non-zero and finite contribution is or . The possibility of the logarithm is allowed since the appearing in the logarithm can be replaced by at the expense of a non-universal term.
We conclude that our scaling assumption is consistent with either a universal constant term or a universal logarithm in the entanglement entropy of a conformal field theory at zero temperature. Indeed, both these possibilities are realized, the logarithmic term obtains for odd and the constant for even. This is also an appropriate time to mention the possibility of shape dependence, for example, the fact that sharp corners produce logarithmic corrections is completely consistent with our scaling framework (see Refs. Casini and Huerta, 2007, 2009). It is important to note that the constant term in odd dimensions is only meaningful in the absence of corners. Other types of universal terms like () or () are not allowed unless they violate our assumptions and are unrelated to the thermal physics. Of course, this conclusion is very natural from the renormalization group point of view.
We briefly elaborate on this point and discuss the structure of high energy contributions in more detail. Locality demands that all high energy contributions be proportional to integrals of local geometric data over the boundary. Consider an entangling surface in dimensions. We may use coordinates () in terms of which the surface is and the induced metric is (we only consider flat space here, the generalization is straightforward). In addition to the intrinsic geometry of the surface we also have extrinsic geometry related to the embedding of the surface into flat space. For example, a cylinder has extrinsic curvature but no intrinsic curvature where as a sphere has both. The extrinsic geometry is controlled by the extrinsic curvature which is given in terms of the normal vector and the projector onto the surface as . Now an important constraint for global pure states is the requirement that , and since we consider here only high energy contributions that are independent of the low energy physics, we may still demand this symmetry at finite temperature for the terms of interest. Since the only difference between the boundary of and is the direction of the normal we conclude that only even powers of can appear. Thus only even powers of the extrinsic curvature and hence only even powers of derivatives can appear (the same is true for intrinsic terms). Roughly speaking, we must form fully contracted invariants involving the normal vector and the gradient, but requiring the normal vector to appear with only even powers forces the same for gradients due to rotation invariance. This explains the general even/odd structure of universal terms via a simple scaling argument e.g. Ref. Swingle, 2010b.
Let denote the length scale of interesting along the RG flow. The infinitesimal contribution to the entanglement entropy from degrees of freedom at scale is of the form described above:
where we have used the appropriate logarithmic measure for . The presence of only even corrections comes from our argument above. Performing this integral from the UV to the IR gives the desired structure. More generally, one should cut this integral off at where, roughly speaking, the von Neumann entropy becomes thermal in nature.
Returning to our main development, the simplest example of such a crossover function occurs in conformal field theories where the single interval case is dictated by conformal invariance. The result is
and we see immediately that this form is consistent with our general scaling hypothesis. The high energy cutoff can be shifted by a boundary law respecting term, but the thermal physics and long range entanglement is independent of the precise choice of (again up to a non-universal dimensionful conversion factor).
ii.2 Conformal field theories in : Holographic calculation
We have already mentioned one concrete example of such a crossover function in dimensional conformal field theory. In general the computation of such a crossover function is a highly non-trivial task for interacting conformal field theories in spatial dimensions . However, one set of examples where a computation is possible is provided by holography. For an introduction to this set of ideas, see Ref. McGreevy, 2009. For our purposes it suffices to mention three facts. First, certain strongly interacting conformal theories living in flat space are dual to theories of gravity in a curved higher dimensional space known as Anti-de Sitter (AdS) space . The UV of the conformal field theory lives at the boundary of the gravitational spacetime. Second, there is a simple prescription to compute the entropy in such theories, at least in a special limit. Briefly, we must compute the “area” (in Planck units) of a minimal “surface” in the extended gravitational geometry that terminates in the UV on the boundary of the region of interest. Third, finite temperature effects are dual to placing a black hole in the gravitational spacetime.
Putting all these facts together permits a geometric calculation of the entropy of the field theory that is precisely of the form we assumed. We will now give the details of this calculation. Consider first the case of CFT. and are the CFT directions while is the emergent scale coordinate ( is the UV boundary). The gravitational geometry in this case is the AdS black hole with metric
where . We study minimal curves terminating in an interval of length at finite temperature. The minimal length is given by
Minimizing this length with respect to gives an equation of motion which may immediately be integrated to yield a conserved quantity
where is the maximum depth achieved by the curve. Solving this for gives
We may now rewrite the length as
while the parameter is determined from
is a UV cutoff.
Changing variables to allows us to rewrite the integral for as
where we have safely put and . Performing the integral we obtain
We may now solve for in terms of
Returning now to the length we find
Doing this integral gives
To compute the entropy we append the factor and use the relation to obtain
We may now determine in terms of the temperature. Zooming in near the horizon and writing we have
Changing variables to the near horizon metric is brought into the form
Demanding periodicity in imaginary time gives or . Plugging this into our entropy formula reproduces the usual crossover function
Let us now consider regions in higher dimensional conformal field theories. For a dimensional CFT the relevant metric is the AdS black hole
We consider strip-like regions in the field theory of cross-section and width ( has units of length). The minimal surface area is
As before, we may immediately integrate the equation of motion to yield the conserved quantity
has the same meaning as before. Solving for we find
Putting these facts together gives two integrals
We may set in the integral for which gives a cutoff independent relation . Of course, when we have .
For the area integral we write
We have essentially subtracted off the UV sensitive boundary law term so that the integral in parenthesis converges as . The dependence is now trivial to extract and we find
But this is of the required cross-over form: a universal cross-over function plus a boundary law respecting piece sensitive to UV physics.
We may put this function into the precise form considered above by scaling the variables appropriately. In (27) set and to obtain
with some constant. This is an implicit equation for the scaling function that can easily be shown to have the properties claimed above. In particular, it shows relativistic length-energy scaling. Plugging this scaling form into (28) shows that has the form
One comment is necessary, the overall factor differs from the obtained above simply because we are here working in a limit where is bigger than all other scales. Repeating our general analysis above predicts since we must have . Similarly, we have to compensate the vanishing powers of .
ii.3 Non-relativistic scale invariance
In this section we discuss critical theories with dynamical exponent . The dynamical exponent controls the relative scaling of space and time leading to the invariant form where again we suppress a non-universal dimensionful parameter. The thermal entropy of such a theory scales as as follows simply from the requirement of dimensionlessness and extensivity. Let us again introduce a universal scaling function following the assumptions above. We write the entropy as
and use the limit to establish that and . The rest of the analysis for the non-relativistic case is unchanged and again we are permitted at most universal constant or logarithmic terms in the entanglement entropy.
One can also perform a holographic computation in this setting using so called Lifshitz geometries. In fact, the spatial part of the metric is unchanged at zero temperature, hence the structure of the entanglement entropy is identical. For example, even space dimensions have subleading constants while odd space dimensions have subleading logs. These zero temperature solutions may also be generalized into finite temperature black holes solutions, at least for certain values of . Ref. Balasubramanian and McGreevy, 2009 contains a nice example of such a Lifshitz black hole with and metric
where . As claimed, the only difference between this metric and the relativistic examples above is in the dependence of the term and the different power of appearing in . The same manipulations establish a nearly identical crossover structure to the relativistic case except that the argument of all scaling functions is instead of . As always, a dimensionful constant has been suppressed.
Iii Scaling formalism: codimension
Now we turn to the case where the low energy degrees of freedom reside on a codimension subspace in momentum space. By contrast, the scale invariant theories in the previous section had low energy degrees of freedom only a single point in momentum space (or finite set of isolated points). Examples of systems with a codimension gapless surface includes Fermi liquids with a dimensional Fermi surface in dimensions, Bose metals, spinon Fermi surfaces, and much more. Later we will consider the case of a general codimension gapless manifold.
iii.1 Review of Fermi liquids
The low energy physics of a Fermi liquid is, for many purposes, effectively one dimensional (an exception to this rule is provided by zero sound which requires the full Fermi surface to participate). Thus Fermi liquids violate the boundary law for entanglement entropy because one dimensional gapless systems violate the boundary law. The anomalous term has been found to be universal in the sense that it depends only on the geometry of the interacting Fermi surface and not on any Landau parameters. Remarkably, this term also controls the finite temperature entropy to leading order in . The universal part of the entanglement entropy and the low temperature thermal entropy are connected by a universal scaling function which can be calculated using one dimensional conformal field theory.
We work in for concreteness. Consider a real space region of linear size in a Fermi liquid with spherical Fermi sea . The entanglement entropy for this region scales as with the boundary law violating term universal and the subleading term non-universal. The precise value of the boundary law violating term is expressed in terms of the geometry of the real space boundary and the Fermi surface as
where and are unit normals to and . The intuition behind this formula is simply that the Fermi surface in a box of size is equivalent to roughly gapless modes that each contribute to the entanglement entropy. This formula is known as the Widom formula because of its relation to a conjecture of Widom in signal processing. The Widom formula has not yet been rigorously proven, but it has been checked numerically and can be obtained simply from the one dimensional point of view. To generalize to finite temperature we must replace the zero temperature one dimensional entanglement entropy by the general result at finite temperature given by
Fermi liquids are described by many nearly free chiral fermions with and . The marginal forward scattering interactions do not change the number of low energy modes, and hence the mode counting picture still works quantitatively. However, we will only require a much more crude scaling assumption for our results.
Following this one dimensional result a higher dimensional Fermi liquid also possesses a universal crossover between the low temperature thermal entropy and the universal part of the entanglement entropy. This scaling function depends only on the geometry of the real space region and on the shape of the Fermi surface . For a spherical Fermi surface and spherical real space region of radius this universal crossover function is given by
iii.2 Non-Fermi liquids
We now consider the entanglement structure of non-Fermi liquid states. We will restrict attention to the class of such states that have a codimension gapless surface in momentum space, a critical Fermi surface, but where there is no Landau quasiparticle description of the excitations. A general scaling formalism has been developed for these states in Ref. Senthil, 2008. Of primary importance to us is the scaling of the thermal entropy. Our considerations will apply to any non-Fermi liquid falling into the general scaling formalism of Ref. Senthil, 2008 irrespective of the detailed low energy theory. However, to be concrete let us consider a Fermi surface coupled to a gauge field in .
Recently there has been a controlled calculation of the properties of this system in terms of the gauge field dynamical critical exponent and the number of fermion flavors in Ref. Mross et al., 2010 following important earlier work in Refs. Lee, 2009; Metlitski and Sachdev, 2010. The expansion parameters are and with a controlled limit possible as with fixed. This system was found to possess a critical Fermi surface. Following the intuition for Fermi liquids, this system will violate the boundary law for entanglement entropy because of the presence of many gapless one dimensional degrees of freedom. However, this situation is not a trivial generalization of the Fermi liquid case because the system lacks a quasiparticle description.
Thermodynamic quantities can be understood roughly in terms of many one dimensional gapless degrees of freedom on the Fermi surface with a dynamical critical exponent . The thermodynamic entropy is predicted to be ( just measures the size of the Fermi surface). Additionally, the low energy theory is such that only antipodal patches of the critical Fermi surface couple strongly to each other. With our current knowledge, we cannot formulate the patch theory as a truly one dimensional theory, nevertheless thermodynamic quantities are correctly captured. Furthermore, although the Fermi surface curvature must be kept in all existing formulations, this curvature enjoys a non-renormalization property which makes it into a kind of gauge variable: dispersing perpendicular to the patch normal is roughly like changing patches. However, we reiterate that our results depend only on the thermodynamic entropy being given by .
As usual, we write the von Neumann entropy as
where is the fermion dynamical critical exponent and is an exponent to be determined. just measures the size of the Fermi surface. It does not enter into the scaling argument in a non-trivial way. Now from thermodynamics we know that for we must have . The dependence requires that as , and the dependence forces us to choose . As we must have in order to cancel the diverging dependence. More generally, we must have with as before. In particular, powers of log are not allowed because these would produce divergent terms that are supposed to be finite and universal. This demonstrates that these non-Fermi liquid states may violate the boundary law at most logarithmically.
Let us also make some more detailed speculations. The critical Fermi surface actually corresponds to a marginal Fermi liquid, so for this theory with flavors we suspect that the boundary law violating term has the usual Fermi liquid form
At finite we expect modifications of the prefactor due to dependent corrections. However, it is likely that the geometric dependence of the integral remains unchanged. Indeed, the different patches in the critical Fermi surface decouple much more strongly than they do in a Fermi liquid. We also note this geometrical form has recently been verified in a holographic setup with log violations of the boundary law. Depending on how precisely the critical Fermi surface is effectively one dimensional, a more structured crossover function of the form
may be expected. The function would play the role of in the Fermi liquid case. This detailed geometric form may be too strong a requirement in general, but the general scaling form in the previous paragraph is certainly reasonable.
Similar scaling arguments can be made for the Renyi entropy . We know that the Renyi entropy at finite temperature has a specific relationship to the thermal entropy because of the simple scaling with of the finite temperature free energy. The complete result is
where is the thermal entropy. This dependence of the Renyi entropy actually holds for all and in the case of a Fermi liquid. It would interesting to determine if this is also true for the theory. Because the Renyi entropy is potentially much easier to calculate numerically and analytically we believe it is a useful target for future work.
Iv Scaling formalism: general codimension
As a simple example of what we have in mind, consider a free fermion system tuned so that the “Fermi manifold” is of codimension in the dimensional momentum space. is the generic case, a Fermi line in and a Fermi surface in . in and in correspond to Dirac points. The interesting case of in is the problem of Fermi lines where the zero energy locus is one dimensional in the three dimensional momentum space. The codimension is a useful parameter because it tells us the effective space dimension of the local excitations in momentum space. For example, the Fermi surface case always indicating that the excitations are effectively moving in one dimension (radially). Similarly, the case in corresponds to modes that move in two effective dimensions since there is no dispersion along the Fermi line. Just as we could calculate the entropy of Fermi surfaces by integrating over the contributions of one dimensional degrees of freedom, we can obtain the entropy of these higher codimension systems by integrating over the contributions of dimension degrees of freedom. We now make this explicit with a scaling argument.
Suppose that there exists a universal scaling function connecting the entanglement entropy to the thermal entropy for these codimension free Fermi systems. If we assume a generic bandstructure then the dispersion may be linearized near the Fermi manifold yielding a dynamical exponent . Thus we write the von Neumann entropy of region as
where the factor of accounts for the size of the Fermi manifold. The thermal entropy of such a system scales as and hence as usual we require as . This also fixes . Requiring regularity in the limit as , we see that as where . Thus we discover that such systems may have a universal term proportional to with either a constant or logarithmic prefactor. We emphasize that this is precisely what one expects from integrating a dimensional contribution over the Fermi manifold. In particular, we expect a constant prefactor for even and a logarithmic prefactor for odd because the dimensional system has and hence resembles a relativistic scale invariant theory of the type we considered in Sec. II. These statements may be checked in the free fermion case because the entanglement entropy can be computed exactly, however, we defer a full discussion of this case to a future publication.
We conclude this section by noting that our conclusion is unmodified even if we have an interacting theory with a codimension gapless manifold and with general . The scaling function has the form
with which is obtained by matching to the thermal entropy . Although we do not rigorously prove that the thermal entropy is always of this form, such a form does follow from a very general scaling analysis in momentum space and we know of no exceptions. We still predict a universal term, constant or logarithmic, proportional to at zero temperature. For an example of such a transition, see Ref. Senthil and Shankar, 2009 which considered a quantum critical point between a line nodal metal and a paired superconductor.
V Fluctuations of conserved quantities
In this section we give a brief description of our scaling formalism as applied to an interesting observable: the fluctuations of a conserved charge. These considerations are motivated by the direct experimental accessibility of such fluctuations as well as by a desire to illustrate the general nature of our arguments. As the primary example, consider a conserved number operator that may be written as a sum of local densities . This operator commutes with the Hamiltonian and we may label energy eigenstates with different values of . Hence itself need have no fluctuations in the ground state. However, we can consider the restricted operator which need not commute with the Hamiltonian and may have fluctuations. An interesting measure of the correlations between and its environment is thus the quadratic fluctuations in
We expect in a gapped phase of matter that these fluctuations satisfy a boundary law . Gapless phases in higher dimensions also appear to satisfy a boundary law so long as the symmetry generated by is unbroken. As usual, one dimension is an exception where it is known that although the prefactor is not as universal as for the entanglement entropy i.e. it depends on the Luttinger parameter. It has also been shown that Fermi liquids violate the boundary law for fluctuations in higher dimensions with .
Because the discussion is so similar to the case of the entropy, we will not give any of the details here. However, a few points are worth mentioning. First, what we study is now the crossover between the zero temperature number fluctuations and the finite temperature number fluctuations as controlled by the thermodynamic compressibility. Indeed, precisely such a crossover argument was used in Ref. Swingle, 2010a to argue that the number fluctuations in a Fermi liquid are modified by Fermi liquid parameters (unlike the entanglement entropy). As before, we are allowed to subtract off any boundary law contribution since they can be generated by high energy degrees of freedom. For relativistic scale invariant systems the finite temperature fluctuations go like and we again find that only constant or logarithmic universal terms are allowed at . More generally, we conclude that is the most severe violation of the boundary law that is possible without breaking a symmetry e.g. in critical Fermi surface systems that remain compressible (see Ref. Senthil, 2008). If the symmetry is broken then we expect as follows from a mean-field wave function for a superfluid of the form .
For conformal field theories these statements may be straightforwardly checked using the fact that the conserved current has dimension . To compute the charge fluctuations we must compute
The contact terms are necessary to cancel a naive short distance volume scaling in the fluctuations. Such a volume scaling from UV modes is unphysical because UV fluctuations are local and hence can only change the charge in region by appearing near the boundary. Let us take to be a sphere of radius . We can do the integral over by changing variables to and integrating over in polar coordinates. The limits of integration are from to where is the angle between and . Let us specialize to for simplicity. The fluctuations now go like
where we have discarded the aforementioned UV divergent volume piece. remains non-zero for all unless , and it can be shown that the leading singularity is
i.e. the boundary law. If we further expand the integral in powers of we also find a sub-leading term giving rise to a logarithmic correction in agreement with our scaling result.
We wish to mention one final subtle point that arises in phases with broken symmetry and which is not properly captured in our thermodynamic treatment. Thus consider a superfluid phase where the particle number symmetry is broken. Besides the usual sounds modes that possess an energy scaling as ( is system size), there is also a zero mode with energy levels scaling like . This zero mode plays an important role in finite size systems, like quantum Monte Carlo simulations, where it is responsible for insuring that although the symmetry is broken, the many-body state has a definite particle number. In other words, it is related to the fact that the many-body ground state in a finite size system is a properly a cat state unless the symmetry is broken explicitly. This zero mode is not easily visible in thermodynamics but it does affect the entanglement entropy and number fluctuations in an important way.
Let us ignore the sound modes and ask for a state that capture the dynamics of the zero mode. Such a cat state has the form
where is a state of definite phase on site . We wish to trace out part of the system and compute the entropy of the remainder, but this problem has to be regulated because ambiguities are encountered in this procedure. Consider a simpler system consisting states per site with a symmetry relating them and where the many body state is of the form . If we now trace out part of the system we find a reduced density matrix for region of the form
Perfect correlation with the environment has rendered the reduced density matrix completely diagonal. The entropy is now trivially . To connect this model to the superfluid, we need only estimate the effective value of . We do this by counting the effective number of orthogonal states in . Now the many-body coherent state of the form
has an overlap with a neighboring state of the form
Expanding in small , the first real term is and hence states greater than are effectively orthogonal. Hence we may take to give an entropy contribution of the form . We also see that this mean-field cat state captures the extensive in subsystem size number fluctuation while maintaining the ground state with definite particle number.
We can also pin the order parameter to remove the anomalous contribution to the entanglement. For the superfluid, there is now no anomalous entropy although there are still extensive number fluctuations. On the other hand, in an anti-ferromagnet we may pin the Neel field to point in a particular direction. If we take as a mean field state
then we see immediately that there is no anomalous entanglement and the fluctuations of are not extensive (they are zero). However, the fluctuations of and are still extensive. These simple considerations have been considerably developed in Ref. Song et al., 2011. A careful treatment including the interactions between the zero mode and the sound modes is also expected soon in Ref. Metlitski et al., . They find that the coefficient of the logarithm is somewhat modified from the simple minded argument above.
Vi Potential violations
Before concluding, let us point out some potential ways that one might violate the scaling forms we have developed. A nice example is provided by a certain degenerate spin chain. By fine tuning the strength of the nearest neighbor couplings as a function of position along the chain, Ref. Vitagliano et al. (2010) showed that it was possible to find a ground state with entanglement entropy that scaled as the length of the interval. This was arranged by adjusting the couplings so that a real space RG procedure always coupled the boundary spin inside the region with a spin outside the boundary i.e. no spins formed singlets within the interval. This required exponentially decaying couplings and is clearly not generic.
Another route is provided by large ground state degeneracy provided we use the completely mixed state. Recently such systems have received a lot of attention due to results showing non-Fermi liquid behavior in certain holographic systems. However, we emphasize that nothing is special about the holographic setting, it is but one example. A simple condensed matter example with “ground state degeneracy” is provided by the spin incoherent Luttinger liquid. This system is a Luttinger liquid where the spin energy scale is much less than the charge energy scale. At temperatures above the spin energy scale, the spin incoherent state emerges where the spin degrees of freedom are totally disordered. Such a state has an extensive temperature independent entropy, but it also cannot be a true ground state. To force the state to zero temperature, we must fine tune an infinite number of relevant operators (the entire spin Hamiltonian) to zero. We call this an IR incomplete theory since it cannot be smoothly connected to zero temperature. More generally, we can imagine intermediate scale RG fixed points that control the physics over a wide range of energies but which cannot be interpreted as ground states due to an infinite fine tuning. We know one possibility is that such a state may have extensive entropy, but perhaps there are other possibilities where the entanglement entropy scales like for .
Another setting where violations might occur is in random systems. In one dimension we know that even at infinite randomness fixed points the boundary law for the average entanglement entropy is violated is no worse than in the conformal case. However, we do not know if infinite randomness fixed points would violate the boundary law in higher dimensions. We expect any finite random fixed point will not, and we suspect that infinite randomness fixed points would not either, but we do not give a definite argument at this time. We also note that there are considerable subtleties in these systems e.g. typical versus average values. Since the entanglement entropy of a region has a probability distribution , it would be interesting to determine if the distribution was a function of only or something more complicated. In any event, there are many open issues at such random fixed points, the thermodynamics does not obey the simple forms we have considered here, and so we do not have much else to say about these issues at this time.
Let us also briefly mention long range interactions. If these interactions are due to massless fields with a non-singular action within the physical description e.g. fluctuating gauge fields or other critical bosonic modes, then a proper renormalization group description is possible and the entanglement entropy should have no additional anomalous structure. Similarly, so long as the long range forces present in the system have such an interpretation, even if they must be introduced as auxillary fields, we might expect no new anomalies to appear. On the other hand, consider the “1d chain” where, in addition to nearest neighbor hoppings, every site can hop to every other site with the same strength. Calling such a system one dimensional is a perversion, but it is an extreme form of long range interactions. Clearly such a system can be expected to violate the one dimensional boundary law more than logarithmically. The task that emerges is thus to understand where the crossover point is, as a function of the interaction range, to conventional one dimensional behavior. One quite interesting situation where these considerations are directly applicable is momentum space entanglement where the region is some subset of momentum space instead of position space. This topic, which has already received some preliminary attention, deserves its own exposition which we will present elsewhere.
Finally, we note that from the general codimension section our formalism can in some sense encompass states that violate the boundary law more seriously than logarithmically provided that is effectively less than . For example, roughly describes a state with gapless excitations everywhere in some region of finite measure in momentum space. This is a lot like the situation with ground state degeneracy. Nevertheless, as we have already said, we know of no example of a sensible ground state with .
We have argued that entanglement entropy and thermal entropy may be connected via a universal crossover function in gapless phases and at critical points. One major consequence of this assumption is that local quantum systems cannot violate the boundary law more than logarithmically. However, we hasten to add that should our assumptions be violated, we have no objection. In particular, possible loopholes escaping our conclusion include fine tuning in the Hamiltonian, systems with many degenerate ground states, and systems with long range interactions. Models showing these characteristics may indeed be physically realistic in special cases, nevertheless, we argue that conventional gapless systems, even those with critical Fermi surfaces, will not violate the boundary law more than logarithmically. Actually calculating the entanglement entropy in a model of a critical Fermi surface, perhaps in a expansion, and studying in more detail the entanglement properties for are projects we leave for the future.
Many conventional quantum critical points that describe symmetry breaking transitions, like the XY critical point, fall into the category of conformal field theories discussed in Sec. II. However, it was recently shown in Ref. Swingle and Senthil, 2011 that “deconfined” quantum critical points have a different entanglement structure due to proximate topologically ordered phases. For example, Ref. Swingle and Senthil, 2011 discussed the XY critical point in dimensions which has the same correlation length exponent as the XY transition but a different anomalous dimension for the order parameter. This arises because the order parameter is actually composite and it is the “fractional” bosons that undergo the XY transition. However, an important difference is that the bosons are coupled to a gauge field and hence not all operators in the XY theory of the s are gauge invariant. Furthermore, there must always exist somewhere in the high energy spectrum gapped vortices. This is all to say that while the thermal entropy of XY and XY are identical, they have different crossover functions and different entanglement properties at zero temperature.
A potentially profitable generalization of our work here would be to include in the scaling formalism the effect of relevant operators that move away from the critical point. Similarly, it would be interesting to study the scaling structure of the full Renyi entropy in more detail. Scale invariance fixes the high temperature Renyi dependence, but the zero temperature entanglement structure as a function of Renyi parameter could be rather rich. Perhaps our scaling approach could shed some light on this structure. The generalization to multiple regions is also open and is especially relevant to studies of mutual information.
It would also be quite interesting to develop a variational class of density matrices that encode the kind of crossover behavior we described here. Since the mutual information always obeys a boundary law at finite temperature Wolf et al. (2008), such states could in principle look like a density matrix generalization of tensor network states, although presumably the bond dimension would have to grow as the temperature was lowered to account for systems that violate the boundary law at zero temperature. Perhaps the new branching MERA approachEvenbly and Vidal (2011) could help? One could compute some of these crossover functions in field theory to see what sort of universal information is easily accessible. We have already done the analogous calculations in holographic theories, but there it was already known that the entanglement entropy contains relatively little information due to the large limit.
- J. Eisert, M. Cramer, and M. B. Plenio, Rev. Mod. Phys. 82, 277 (2010).
- L. Amico, R. Fazio, A. Osterloh, and V. Vedral, Rev. Mod. Phys. 80, 517 (2008), URL http://link.aps.org/doi/10.1103/RevModPhys.80.517.
- F. Verstraete, J. Cirac, and V. Murg, Adv. Phys. 57, 143 (2008).
- Z.-C. Gu, M. Levin, and X.-G. Wen, Phys. Rev. B 78, 205116 (2008).
- G. Vidal, Phys. Rev. Lett. 101, 110501 (2008).
- A. Kitaev and J. Preskill, Phys. Rev. Lett. 96, 110404 (2006).
- M. Levin and X.-G. Wen, Phys. Rev. Lett. 96, 110405 (2006).
- X. Chen, Z.-C. Gu, and X.-G. Wen, Phys. Rev. B 83, 035107 (2011).
- L. Fidkowski and A. Kitaev, Phys. Rev. B 83, 075103 (2011).
- R. N. C. Pfeifer, G. Evenbly, and G. Vidal, Phys. Rev. A 79, 040301 (2009).
- G. Vitagliano, A. Riera, and J. I. Latorre, New Journal of Physics 12, 113049 (2010), eprint 1003.1292.
- M. M. Wolf, F. Verstraete, M. B. Hastings, and J. I. Cirac, Phys. Rev. Lett. 100, 070502 (2008).
- R. G. Melko, A. B. Kallin, and M. B. Hastings, Phys. Rev. B 82, 100409 (2010).
- C. Holzhey, F. Larsen, and F. Wilczek, Nuc. Phys. B 424, 443 (1994).
- P. Calabrese and J. Cardy, J. Stat. Mech. 04, 06002 (2004).
- V. E. Korepin, Phys. Rev. Lett. 92, 096402 (2004), URL http://link.aps.org/doi/10.1103/PhysRevLett.92.096402.
- M. Wolf, Phys. Rev. Lett. 96, 010404 (2006).
- D. Gioev and I. Klich, Phys. Rev. Lett. 96, 100503 (2006).
- B. Swingle, Phys. Rev. Lett. 105, 050502 (2010a).
- B. Swingle (2010b), eprint arXiv:1002.4635.
- B. Swingle (2010c), eprint arXiv:1003.2434.
- Y. Zhang, T. Grover, and A. Vishwanath, Phys. Rev. Lett. 107, 067202 (2011), URL http://link.aps.org/doi/10.1103/PhysRevLett.107.067202.
- T. Senthil, Phys. Rev. B 78, 035103 (2008), URL http://link.aps.org/doi/10.1103/PhysRevB.78.035103.
- B. Swingle, ArXiv e-prints (2010a), eprint 1007.4825.
- H. F. Song, S. Rachel, C. Flindt, I. Klich, N. Laflorencie, and K. Le Hur, ArXiv e-prints (2011), eprint 1109.1001.
- M. A. Metlitski, C. A. Fuertes, and S. Sachdev, Phys. Rev. B 80, 115122 (2009), URL http://link.aps.org/doi/10.1103/PhysRevB.80.115122.
- H. Casini and M. Huerta, Journal of Physics A: Mathematical and Theoretical 42, 504007 (2009).
- S. Ryu and T. Takayanagi, Phys. Rev. Lett. 96, 181602 (2006), URL http://link.aps.org/doi/10.1103/PhysRevLett.96.181602.
- H. Casini and M. Huerta, Nuclear Physics B 764, 183 (2007), eprint arXiv:hep-th/0606256.
- B. Swingle, ArXiv e-prints (2010b), eprint 1010.4038.
- J. McGreevy, ArXiv e-prints (2009), eprint 0909.0518.
- K. Balasubramanian and J. McGreevy, Phys. Rev. D 80, 104039 (2009), eprint 0909.0263.
- D. F. Mross, J. McGreevy, H. Liu, and T. Senthil, Phys. Rev. B 82, 045121 (2010), URL http://link.aps.org/doi/10.1103/PhysRevB.82.045121.
- S.-S. Lee, Phys. Rev. B 80, 165102 (2009), URL http://link.aps.org/doi/10.1103/PhysRevB.80.165102.
- M. A. Metlitski and S. Sachdev, Phys. Rev. B 82, 075127 (2010), URL http://link.aps.org/doi/10.1103/PhysRevB.82.075127.
- T. Senthil and R. Shankar, Phys. Rev. Lett. 102, 046406 (2009), URL http://link.aps.org/doi/10.1103/PhysRevLett.102.046406.
- H. F. Song, N. Laflorencie, S. Rachel, and K. Le Hur, Phys. Rev. B 83, 224410 (2011), URL http://link.aps.org/doi/10.1103/PhysRevB.83.224410.
- M. Metlitski, T. Grover, and X.-L. Qi, to appear (????).
- B. Swingle and T. Senthil, ArXiv e-prints (2011), eprint 1109.3185.
- G. Evenbly and G. Vidal, Journal of Statistical Physics 145, 891 (2011), eprint 1106.1082.