Violation of Entanglement-Area Law in Bosonic Systems with Bose surfaces: Possible Application to Bose Metals
We show the violation of the entanglement-area law for bosonic systems with Bose surfaces. For bosonic systems with gapless factorized energy dispersions on a Cartesian lattice in -dimension, e.g., the exciton Bose liquid in two dimension, we explicitly show that a belt subsystem with width preserving translational symmetry along Cartesian axes has leading entanglement entropy . Using this result, the strong subadditivity inequality, and lattice symmetries, we bound the entanglement entropy of a rectangular subsystem from below and above showing a logarithmic violation of the area law. For subsystems with a single flat boundary we also bound the entanglement entropy from below showing a logarithmic violation, and argue that the entanglement entropy of subsystems with arbitrary smooth boundaries are similarly bounded.
Introduction—Entanglement is perhaps one of the most counter-intuitive aspects of quantum mechanics, and provides the sharpest distinction between quantum and classical descriptions of nature. It has been playing a growingly important role in characterization of phases and phase transitions in condensed matter physics. The most widely used measure of entanglement is the entanglement entropy (EE), which is the von Neumann entropy associated with the reduced density matrix of a subsystem, obtained by tracing out degrees of freedom outside it. For extended quantum systems, it is generally believed that ground states of all gapped local Hamiltonians, as well as a large number of gapless systems, follow the so called area law, which states that the EE is proportional to the surface area of the subsystem Eisert et al. (2010).
Violations of the area law, usually in a logarithmic fashion, do exist in various systems. They are found to be associated with quantum criticality in many one dimensional (1D) systems Calabrese and Cardy (2004). However such violations are very rare above 1D; the only well-established examples in higher dimensions are free fermion ground states with Fermi surfaces, where it is found that the area law is enhanced by a logarithmic factor Wolf (2006); Gioev and Klich (2006); Swingle (2010). Recently, this result has been extended to Fermi liquid phases, and it was shown that Fermi liquid interactions do not alter the leading scaling behavior of the EE Ding et al. (2012). Besides, it has also been used as a diagnostic of the presence of Fermi surface(s), even for non-Fermi liquid phases Huijse et al. (2012); Zhang et al. (2011).
In contrast to fermionic systems, thus far there are no known quantum critical (or gapless) free bosonic systems that violate the area law above 1D Eisert et al. (2010); Barthel et al. (2006); Cramer et al. (2006). The fundamental difference lies in the fact that gapless excitations normally live near a single point (usually the origin of momentum space) in such bosonic systems, while in Fermi liquids they live around an (extended) Fermi surface. In this work we show through explicit examples that logarithmic violation of the area law is possible in purely bosonic models above 1D. The models we use are motivated by the following considerations. Traditionally it was believed that bosons either condense (and become a superfluid) or localize (and insulate) at . Recently it has been argued that, under certain circumstances, they can form so-called Bose metals with “Bose surfaces,” along which gapless excitations live Paramekanti et al. (2002); Lee and Lee (2005); Motrunich (2005); Motrunich and Fisher (2007); Sheng et al. (2008, 2009); Tay and Motrunich (2010, 2011); Mishmash et al. (2011); Chua et al. (2011); Biswas et al. (2011); Baskaran et al. (shed); Lai and Motrunich (2011). These Bose surfaces resemble Fermi surfaces in intriguing ways, and may lead to violation of the area law. In this Letter we examine the EE of the so-called exciton Bose liquid (EBL) Paramekanti et al. (2002); Tay and Motrunich (2010, 2011) and show that it does indeed lead to such a violation. The low-energy theory of the EBL is that of free bosons with an energy dispersion which vanishes linearly on a locus of points in -space. In our view this model plays the same “idealized” role for Bose surface systems as the free fermion model does for Fermi surface systems bos ().
Motivated by the long-wavelength description of the EBL in 2D, we study similar bosonic phases with gapless factorized energy dispersions in Cartesian systems in D. We find that a belt subsystem preserving translational symmetry along Cartesian axes explicitly shows a logarithmic violation of the area law, , with and being the edge length of the whole Cartesian system and the width of the belt subsystem, respectively. Using lattice symmetries along with the strong sub-additivity inequality Araki and Lieb (1970); Lieb and Ruskai (1973a); Lieb (1973); Wehrl (1978); Lieb and Ruskai (1973b); Nielsen and Petz (shed); Casini (2004); Ryu and Takayanagi (2006); Headrick and Takayanagi (2007); Hirata and Takayanagi (2007); Fursaev (2008); Hubeny and Rangamani (2008), we then find a lower bound on the EE of subsystems with a single flat boundary which also shows a logarithmic violation of the area law and argue that the EE of subsystems with arbitrarily smooth boundaries are similarly bounded.
where is the EBL “phase stiffness” Tay and Motrunich (2011), can be identified as the coarse-grain field dual to the boson phase in the bosonization of the 2D ring exchange model in Ref. Paramekanti et al. (2002), and is the parton-density fluctuation. The energy dispersion for the bosons, , vanishes linearly on the and axes which together form a Bose surface.
A lattice realization of this theory is provided by a 2D bosonic harmonic oscillator system on an square lattice with factorized energy dispersion
where and are periodic functions of and which each vanishing linearly as and . [The simplest example is and with lattice constant .]
The oscillator Hamiltonian has the form
where and are the displacement and momentum of oscillator , respectively, and the elements of the matrix are determined by the inverse Fourier transform of the square of the energy dispersion (2). In the models studied here always describes short-ranged oscillator coupling. Translational symmetry implies is a Toeplitz matrix; i.e., its elements depend only on the displacement between oscillators and , . The factorized dispersion further implies that iteslf is factorized with where the () matrix depends only on the - (-) component of the displacement between oscillators.
Standard techniques can, at least in principle, be used to find the EE of a given subsystem in the ground state of the Hamiltonian (3) Plenio et al. (2005); Unanyan and Fleischhauer (2005); Cramer et al. (2006); Unanyan et al. (2007). As pointed out in Ref. Unanyan and Fleischhauer (2005), the particular factorized form of given above can give rise to a violation of the area law if and are both interaction matrices for 1D gapless harmonic chains (as is the case for the EBL dispersion). One technical issue is that for the EE to be well defined the matrix must be positive definite, with no zero eigenvalues. The zero modes on the Bose surface must therefore be regularized. One natural way to do this is to apply antiperiodic boundary conditions to the lattice of oscillators. Doing so regularizes the zero modes without introducing a new length scale (other than the system size). If we adopt this approach, the matrix satisfies the condition and, for the dispersion (2), the lowest eigenvalue of is of order reg ().
Consider the EE of a block of oscillators with two flat edges separated by distance and parallel to a particular Cartesian axis (e.g., the axis, see Fig. 1). We refer to such a block as a belt subsystem and denote it (the complementary subsystem of oscillators outside the block is denoted ). Following a procedure introduced by Cramer et al. Cramer et al. (2007) we perform a partial Fourier transform along the -axis, , . This transformation does not mix degrees of freedom in with those in and thus leaves the EE of the belt subsystem unchanged. After this transformation the Hamiltonian is
where (for antiperiodic boundary conditions) , with .
The Hamiltonian (4) describes decoupled 1D chains with dispersions with fixed and nonzero. Each chain then has for and so is conformally invariant at long wavelengths. We therefore expect all chains to contribute to the EE in the limit Holzhey et al. (1994); Keating and Mezzadri (2004); Korepin (2004); Calabrese and Cardy (2004). If the zero modes are regularized using antiperiodic boundary conditions then the matrix is an antiperiodic function of with antiperiod [For the case , for and corresponding to oscillators coupled by nearest-neighbor springs]. For this regularization scheme, if is held fixed and taken to the EE will diverge (as seen explicitly in the numerical work of Ref. Skrøvseth (2005)). We therefore consider the limit keeping the ratio fixed. In this limit we indeed expect the leading contribution to the EE of each chain to be for large enough regardless of the ratio. Numerical studies of the gapless harmonic 1D chain with nearest neighbor coupling and antiperiodic boundary conditions confirm this expectation Skrøvseth (2005).
The 1D chains described by Hamiltonian (4) are critical. They each violate the 1D area law logarithmically and contribute to the EE of the belt subsystem . The total EE of is thus
which violates the 2D area law (here indicates the leading contribution in the scaling limit described above). This violation occurs because the number of critical chains contributing to is extensive in . This in turn is a direct consequence of the existence of a Bose surface and should be contrasted with the case of critical Bose systems with dispersions vanishing at a single point in space considered in Ref. Cramer et al. (2007) for which the number of critical chains is not extensive in and the area law holds. Note that the simplest case with and can be realized in Hamiltonian (3) with only first and second neighbor couplings.
The result (5) can be generalized straightforwardly to belt subsystems in [see, e.g., Fig. 2 for the 3D version of the partition]. The EE in D for a system with dispersion where each vanishes linearly as is
Bounds for EE of rectangular subsystems in D—A rectangular subsystem on a 2D square lattice can be viewed as the intersection of two perpendicular belt subsystems and , (see Fig. 2). The region has length and width . We can put an upper bound on the EE of this rectangular subsystem using the strong subadditivity inequality Araki and Lieb (1970); Lieb and Ruskai (1973a); Lieb (1973); Wehrl (1978); Lieb and Ruskai (1973b); Nielsen and Petz (shed); Casini (2004); Ryu and Takayanagi (2006); Headrick and Takayanagi (2007); Hirata and Takayanagi (2007); Fursaev (2008); Hubeny and Rangamani (2008),
To obtain a lower bound, we consider and , where . By translational symmetry, the EE of any subsystem with the same shape, size, and orientation as is equal to . We can therefore clone () copies of and pile them along the -direction (-direction) to cover the whole area of subsystem , each of which has the same EE, and a similar relation for . By the strong subadditivity inequality we have and a similar relation with . The EE of a rectangular subsystem can then be bounded below as
For a concrete example, let us consider a partition of the 2D system into four () equally-sized square subsystems. The belt subsystems and now are each half of the whole system (see Fig. 2) and we are interested in placing upper- and lower- bounds on . In this partitioning, , and we obtain a better upper bound than Eq. (Violation of Entanglement-Area Law in Bosonic Systems with Bose surfaces: Possible Application to Bose Metals) because . The EE (where EP indicates an equally partitioned region) is bounded as
For , the above argument is straightforwardly generalized to show that the EE of the equally-partitioned subsystem ( equally-sized subsystems) in -dimension, can be bounded as
Now consider a non-rectangular subsystem with at least one boundary parallel to a Cartesian axis, Fig. 3. We can still use lattice symmetries and the strong subadditivity inequality to obtain a lower bound on the EE. Taking the EBL as an explicit example, which has lattice translation and mirror symmetries, first we clone the original subsystem and use mirror symmetry to flip the cloned subsystem about a Cartesian axis. We then overlap the clone with the original to form a new subsystem with two parallel flat edges, see Fig. 3. Next, we make copies of the new subsystem and tile them along a Cartesian axis to form the belt subsystem, Fig. 3. Finally, focusing on the belt subsystem, we can adopt the result (5) to show a logarithmic lower bound on the EE.
We have not found a rigorous way to establish a violation of the area law for subsystems with general smooth boundary. However, we consider it likely that such a violation does occur. A general subsystem can be “arbitrarily” sliced into a left region () and a right region () by a cut parallel to a Cartesian axis as shown in Fig. 3. Since and both have a flat boundary parallel to a Cartesian axis, the arguments given above imply that and will both show logarithmic enhancements to the area law. The only way that the EE of the full subsystem would not have a similar enhancement would be if the leading logarithmic enhancements of and were each entirely due to entanglement of oscillators in with those in . Given that the division of the general subsystem into and is arbitrary we view such a cancellation as implausible. Rather, we believe the logarithmic enhancement is due to long range correlations in the system. We thus expect that a subsystem with general smooth boundary shows a logarithmic violation of the entropic area law. Such arguments can be straightforwardly generalized to .
Arbitrary Bose Surface—The arguments presented here are not unique to the factorized EBL dispersion. We expect similar logarithmic enhancement of the area law for systems with generic Bose surfaces. For example, a system of harmonic oscillators with dispersion
has a closed Bose surface for . To compute the EE of a belt subsystem of width one can again follow Ref. Cramer et al. (2007) and Fourier transform along the direction parallel to the boundary of , say the -direction, to obtain decoupled chains with dispersions given by Eq. (11) for fixed values of .
As illustrated in Fig. 4, for those values of which correspond to lines that intersect the Bose surface, the resulting 1D dispersion is critical and generically has two gapless points where the dispersion vanishes linearly. We therefore expect each such chain to contribute to the EE of which will then be where is a geometric factor associated with the size of the Fermi surface along the axis. The strong subadditivity arguments given above then imply a logarithmic enhancement to the area law for rectangular and more general subsystems. As also noted above, the essential ingredient for this enhancement is the extended Bose surface which gives rise to an extensive number of critical chains contributing to after a partial Fourier transform.
Conclusions—In this work we show that the entanglement entropy of Bose metals has a logarithmic violation of the area law. We explicitly study bosonic systems with gapless factorized energy dispersions, such as the exciton Bose liquid in 2D. We explicitly give the entanglement entropy of the belt subsystems in dimension which shows logarithmic enhancement. We bound the entanglement entropy of the subsystems with at least a single flat boundary in a way that shows the logarithmic violation and argue that subsystems with arbitrarily smooth boundary are similarly bounded. The implication of this work is that entropic area law violation is perhaps more common than thought. It is not a unique identifier of the presence of Fermi surface in fermionic systems, as it can also be associated with Bose metals.
HHL and KY acknowledge the support from the National Science Foundation through Grant No. DMR-1004545. NEB acknowledges support from US DOE Grant No. DE-FG02-97ER45639.
- J. Eisert, M. Cramer, and M. B. Plenio, Rev. Mod. Phys. 82, 277 (2010).
- P. Calabrese and J. Cardy, Journal of Statistical Mechanics: Theory and Experiment 2004, P06002 (2004).
- M. 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 (2010).
- W. Ding, A. Seidel, and K. Yang, Phys. Rev. X 2, 011012 (2012).
- L. Huijse, S. Sachdev, and B. Swingle, Phys. Rev. B 85, 035121 (2012).
- Y. Zhang, T. Grover, and A. Vishwanath, Phys. Rev. Lett. 107, 067202 (2011).
- T. Barthel, M.-C. Chung, and U. Schollwöck, Phys. Rev. A 74, 022329 (2006).
- M. Cramer, J. Eisert, M. B. Plenio, and J. Dreißig, Phys. Rev. A 73, 012309 (2006).
- A. Paramekanti, L. Balents, and M. P. A. Fisher, Phys. Rev. B 66, 054526 (2002).
- S.-S. Lee and P. A. Lee, Phys. Rev. Lett. 95, 036403 (2005).
- O. I. Motrunich, Phys. Rev. B 72, 045105 (2005).
- O. I. Motrunich and M. P. A. Fisher, Phys. Rev. B 75, 235116 (2007).
- D. N. Sheng, O. I. Motrunich, S. Trebst, E. Gull, and M. P. A. Fisher, Phys. Rev. B 78, 054520 (2008).
- D. N. Sheng, O. I. Motrunich, and M. P. A. Fisher, Phys. Rev. B 79, 205112 (2009).
- T. Tay and O. I. Motrunich, Phys. Rev. Lett. 105, 187202 (2010).
- T. Tay and O. I. Motrunich, Phys. Rev. B 83, 235122 (2011).
- R. V. Mishmash, M. S. Block, R. K. Kaul, D. N. Sheng, O. I. Motrunich, and M. P. A. Fisher, Phys. Rev. B 84, 245127 (2011).
- V. Chua, H. Yao, and G. A. Fiete, Phys. Rev. B 83, 180412 (2011).
- R. R. Biswas, L. Fu, C. R. Laumann, and S. Sachdev, Phys. Rev. B 83, 245131 (2011).
- G. Baskaran, G. Santhosh, and R. Shankar, arXiv:0908.1614v3 (unpublished).
- H.-H. Lai and O. I. Motrunich, Phys. Rev. B 84, 085141 (2011).
- Zhang et al. Zhang et al. (2011) have numerically observed an area-law violation for the Renyi entropy in a Gutzwiller projected Fermi sea—a strongly-correlated state which may describe a non-Fermi liquid of fermionic spinons. This insulating state can be expressed entirely in terms of bosonic spin degrees of freedom and so its low-energy excitations could in principle be thought of as arising from a Bose surface. In our view the area-law violation observed in Zhang et al. (2011) is most naturally thought of as a nontrivial signature of a spinon “pseudo-Fermi” surface, and so its origin is qualitatively different from the “free-boson” area-law violation studied here.
- H. Araki and E. H. Lieb, Commun. Math. Phys. 18, 160 (1970).
- E. H. Lieb and M. B. Ruskai, J. Math. Phys. 14, 1938 (1973a).
- E. H. Lieb, Advances in Mathematics 11, 267 (1973).
- A. Wehrl, Rev. Mod. Phys. 50, 221 (1978).
- E. H. Lieb and M. B. Ruskai, Phys. Rev. Lett. 30, 434 (1973b).
- M. A. Nielsen and D. Petz, arXiv:0408130 (unpublished).
- H. Casini, Classical and Quantum Gravity 21, 2351 (2004).
- S. Ryu and T. Takayanagi, Journal of High Energy Physics 2006, 045 (2006).
- M. Headrick and T. Takayanagi, Phys. Rev. D 76, 106013 (2007).
- T. Hirata and T. Takayanagi, Journal of High Energy Physics 2007, 042 (2007).
- D. V. Fursaev, Phys. Rev. D 77, 124002 (2008).
- V. E. Hubeny and M. Rangamani, Journal of High Energy Physics 2008, 006 (2008).
- M. B. Plenio, J. Eisert, J. Dreißig, and M. Cramer, Phys. Rev. Lett. 94, 060503 (2005).
- R. G. Unanyan and M. Fleischhauer, Phys. Rev. Lett. 95, 260604 (2005).
- R. G. Unanyan, M. Fleischhauer, and D. Bruß, Phys. Rev. A 75, 040302 (2007).
- The zero modes can also be regularized by introducing a gap at each point on the Bose surface. For example, for the EBL one could work with periodic boundary conditions and the modified dispersion .
- M. Cramer, J. Eisert, and M. B. Plenio, Phys. Rev. Lett. 98, 220603 (2007).
- C. Holzhey, F. Larsen, and F. Wilczek, Nuclear Physics B 424, 443 (1994).
- J. Keating and F. Mezzadri, Communications in Mathematical Physics 252, 543 (2004).
- V. E. Korepin, Phys. Rev. Lett. 92, 096402 (2004).
- S. O. Skrøvseth, Phys. Rev. A 72, 062305 (2005).
- In the regime considered here, with and fixed ratios and , the logarithmic factor enhancing the area law can be expressed as either , , or . Here we choose to use and to clarify where the bound came from and the relevant Cartesian axis.