Abstract
We study bulk entanglement entropy in even spacetime dimensions using the heat kernel method, which captures the universal piece of entanglement entropy, a logarithmically divergent term in even dimensions. In four dimensions, we perform explicit calculations for various shapes of boundary subregions. In particular, for a cusp subregion with an arbitrary opening angle, we find that the bulk entanglement entropy always encodes the same universal information about the boundary theories as the leading entanglement entropy in the large N limit, up to a fixed proportional constant. By smoothly deforming a circle in the boundary, we find that to leading order of the deformations, the bulk entanglement entropy shares the same shape dependence as the leading entanglement entropy and hence the same physical information can be extracted from both cases. This establishes an interesting local/nonlocal relation for holographic \(\mathrm {CFT}_3\). However, the result does not hold for higher dimensional holographic theories.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Entanglement entropy measures how closely entangled a given wave function is in a quantum mechanical system. It plays an important role in our exploration for a better understanding of quantum systems. In the past two decades, holographic description of entanglement entropy in gauge/gravity duality attracted a lot of attentions since the pioneer work [1, 2]. The exciting development in this area gives people confidence that this quantity may provide a bridge to connect several different research areas: quantum gravities, quantum field theories and quantum information theories. In particular, recent progress in black hole evaporation [3,4,5] shows that entanglement entropy might be the correct quantity to characterize evaporation of black holes since it follows the Page curve and hence resolves the information loss paradox argued by Hawking [6,7,8].
It was first proposed in [1, 2] that for a boundary subregion A, holographic entanglement entropy is given by one quarter of the area of the minimal area surface \(\Sigma \), which is anchored on the boundary and is homologous to A (\(\partial \Sigma =\partial A\))
Without confusion, we always omit the subscript A for \(\Sigma \) and S since we will only study the entanglement entropy for a single subregion in the boundary. This is referred to as RT formula in the literature. It looks very similar to that of Bekenstein–Hawking entropy of black holes. For the latter case, the entropy formula can be discovered by introducing a thermodynamic interpretation for Euclidean gravity solutions, which have a U(1) isometry [9]. The partition function for the gravity systems can be evaluated as a Euclidean functional
where \(I_{grav}\) and \(I_{matt}\) denotes the Euclidean action of gravity sector and matter sector, respectively. In the saddle point approximation, the Euclidean gravitational action can be considered as
and the entropy is derived as
where \(\beta _H=1/2\pi T\), T is the temperature of black holes. Application of the above relations to stationary solutions with a U(1) isometry indeed leads to the entropy formula.
In [10], the approach was successfully generalised to gravity solutions, which in general do not have a U(1) isometry. The basic idea is to perform replica trick in the boundary and extend it to the bulk: the original gravity solution \(\mathcal {M}\) with the boundary subregion A is replicated to \(\mathcal {M}_n\), which is defined by taking n copies of the original manifold, cutting them apart at A and gluing them together in a cyclic order. The entanglement entropy is evaluated as
where \(\hat{\mathcal {M}}_n\) stands for the orbifold geometry \(\mathcal {M}_n/Z_n\) and the second equality follows from the relation \(I[\mathcal {M}_n]=n\, I[\hat{\mathcal {M}}_n]\) because of \(Z_n\) symmetry of the replica geometry \(\mathcal {M}_n\). Then a careful examination of the Euclidean action in the orbifold geometry leads to the RT formula [10]. Derivation of holographic entanglement entropy for higher derivative gravities was studied by several different authors using the same approach [11,12,13,14,15,16]. Proof of the formula for some special cases can be found in [17,18,19]. The covariant version of the formula [2] was proved in [20].
In this paper, we are interested in studying bulk entanglement entropy at one-loop order (we do not consider the backreaction effects from bulk quantum fluctuations, which changes holographic entanglement entropy at order unity as well). It is only a part of the one-loop corrections to holographic entanglement entropy, as was early discussed in [21, 22]. The topic was analyzed extensively in \(\mathrm {AdS}_3/\mathrm {CFT}_2\) correspondence [23,24,25,26]. Quantum corrections to holographic mutual information was studied in [27, 28].
In this paper, we will study bulk entanglement entropy in higher \(D\ge 4\) dimensions by using heat kernel method. The method is a powerful tool to capture short distance divergences of one loop effective action in a fixed background. It is particularly useful for even spacetime dimensions, in which case the universal piece of entanglement entropy is a logarithmically divergent term, see for example [29, 30]. However, in odd dimensions, the universal piece of entanglement entropy is a constant and hence cannot be extracted using the heat kernel method (in this case, bulk entanglement entropy for free scalar fields across hemispheres was studied in [31] using a different approach).
We perform explicit calculations in the \(D=4\) dimension for several different shapes of boundary subregions. In particular, for a cusp subregion with an arbitrary opening angle, we find that the bulk entanglement entropy always encodes the same universal information about the boundary theories as the leading entanglement entropy in the large N limit, up to a fixed constant proportional to the central charges of the boundary. Furthermore, by studying a smoothly deformed circle in the boundary, we find that the bulk entanglement entropy, which is non-geometric, shares the same shape dependence with the leading, geometric RT formula. However, the universal piece of bulk entanglement just captures some local information about the O(1) degrees of freedoms (d.o.fs) in the boundary whereas the term in the leading entanglement entropy is a constant, encoding nonlocal information about the \(O(N^2)\) d.o.fs in the boundary. Hence, our result establishes a local/nonlocal relation for the shape dependence of entanglement entropy for holographic \(\mathrm {CFT}_3\). We extend our discussions to the \(D=6\) dimension. However, we find that the result in general does not hold any longer for higher dimensions.
The remaining of this paper is organized as follows. In Sect. 2, we apply the heat kernel method to massless scalar fields and discuss bulk entanglement entropy in diverse dimensions. We also briefly review the derivations for integrals of curvature invariants in the orbifold geometry. In Sect. 3, we perform the one-loop calculations explicitly in the \(D=4\) dimension. In Sect. 4, we extend the calculations to the \(D=6\) dimension. We conclude in Sect. 5.
2 Heat kernel expansion and bulk entanglement
Extending (5) to include the contribution of quantum fluctuations in a fixed background, the bulk entanglement entropy is given by
where \(I_{eff}[\mathcal {M}_n]\) stands for the one-loop effective action in the replica geometry for various quantum fluctuations. In this section, we will adopt heat kernel method to evaluate \(I_{eff}\) as well as the bulk entanglement entropy. For convenience, we will work in Euclidean signature throughout this paper.
2.1 Heat kernel coefficients
Without loss of generality, we consider a bulk massless scalar field in general dimensions
The one-loop effective action is formally given by
In DeWitt-Schwinger proper time representation
where the heat kernel \(\mathrm {Tr}\big ( e^{-s\Box } \big )\) can be expanded as
The expansion coefficients \(a_\ell \)’s can be expressed as geometric invariants in the background manifold. We present some lower lying examples
The higher order coefficients \(a_i\) (\(i\ge 3\)) have much lengthy expressions, see for example [32] and the references therein. Notice that the ith order coefficient \(a_i\) involves integrals of ith order curvature polynomials as well as derivatives of curvatures with the same length dimensions. For other types of massless fields, such as photons and gravitons, the coefficients \(a_i\)’s are simply changed by constant factors associated to each curvature invariants in the integrals. As a consequence, our discussions are easily generalised to all massless fields. For massive fields, more terms should be included associated to the mass. Yet, generalisation to this case is straightforward as well and will not change our main results in this paper.
According to the heat kernel expansion (10), one has to relevant orders
where at the \([{\frac{D}{2}}]\)-th order, there will be a logarithmically divergent term to the effective action in even spacetime dimensions. In this case, the coefficient \(a_{[D/2]}\) is independent of the cut-off and hence contains universal information about the underlying theories. One finds
where \(\Lambda \) is an infrad cut-off and the dots outside the square bracket stands for regular terms. However, in odd dimensions, the \(a_{[D/2]}\) term just gives a least divergent term \(\sim a_{[D/2]}/\epsilon \) to the effective action. In this case, the physical information is encoded in the constant term, which however cannot be extracted using the above method (the constant term of bulk entanglement entropy across hemispheres was derived in [31] by using full heat kernel in AdS space).
To proceed, we need evaluate the heat kernel coefficients in the replica geometry \(\mathcal {M}_n\) (or its orbifold \(\hat{\mathcal {M}}_n=\mathcal {M}_n/Z_n\)) and derive their derivative with respect to the replica parameter \((\partial _n a_\ell )_{n=1}\). This is similar to the derivations of holographic entanglement entropy [11,12,13,14,15,16], see also [33,34,35,36]. The major result is each of the coefficients \(a_\ell \) can be expressed as a regular part \(a_\ell ^{reg}\) and a singular part \(a_{\ell ,n}\)
The regular part is expressed as integrals in the smooth region of \(\hat{\mathcal {M}}_n\) and hence \(a_\ell ^{reg}\) is independent of n. These terms will not contribute to the bulk entanglement entropy \(S_q\). On the other hand, the singular part \(a_{\ell ,n}\) is evaluated in the cone region of the orbifold geometry and depends on n nontrivially. Its derivative \(\partial _n a_{\ell ,n}\) in the \(n\rightarrow 1\) limit is derived as surface integrals evaluated at the minimal surface \(\Sigma \) in the original geometry. Explicitly speaking, if we let \(a_\ell =\int d^D x\sqrt{G}\,L(G,R,\nabla R,\ldots )\), one has
Compared to (6), one finds (we set \(D=d+2\))
where explicit results about the surface density \({\mathfrak {a}}\) will be presented in the next subsection. Here we would like to point out that the first coefficient \(a_0\) does not have a singular part. As a consequence, the leading order contribution to the bulk entanglement entropy is determined by \(a_1\)
where \(\lambda \) is a constant depending on the cut-off. This is the well-known area law for entanglement entropy. Combined with the RT formula, the above divergence can be absorbed by renormalzing the Newton constant as
Likewise, subleading order divergences associated to \(a_k\) with \(k<[D/2]\) can be absorbed by higher order coupling constants in the gravity (counter term) action. For the sake of convenience, we will not repeat this step in the remaining of this paper any longer. Instead, we focus on computing the coefficient \(a_{[D/2]}\), which contains universal information about the boundary theories. We introduce
Without confusion, \(s_q\) will be briefly referred to as bulk entanglement through the remaining of this paper. However, it should be emphasized that \(s_q\) diverges in the asymptotic AdS boundary since it will be determined as surface integrals of certain geometric quantities evaluated on the minimal area surface. The divergence structure is similar to that of the leading entanglement entropy in the boundary. Since it is interesting to compare the physical information extracted from both cases, we may set
where \(c_{eff}\) is referred to as the effective central charge for the boundary theories. One has for smooth entangling surfaces
where R denotes a characteristic length scale of the boundary subregion (it should not be confused with the Ricci scalar) and \(\delta \) is the UV cutoff at asymptotic AdS boundary. Universal information about the boundary theories is essentially contained in the above constant pieces. However, for singular subregions, as will be shown in Sect. 3.4, one has instead
where \(\Omega \) stands for the opening angle of the cone in the boundary subregion. In this case, the constant terms are regulator dependent. Instead, the physical information is encoded in the functions \(a(\Omega ),b(\Omega )\).
2.2 Integrals of curvature invariants in the orbifold geometry
To calculate \((\partial _n a_\ell )_{n=1}\), let us briefly review the derivation of integrals of curvature invariants in the orbifold geometry \(\hat{\mathcal {M}}_n\). More details can be found in the literature [11,12,13,14,15,16].
Close to a codimension\(-2\) spacelike hypersurface \(\Sigma \) (not necessarily minimal), the metric of the orbifold geometry \(\hat{\mathcal {M}}_n\) looks like a product form \(\mathcal {C}_n\times \Sigma \). In the adapted coordinates, one has
where \(K_{aij}\) are the extrinsic curvatures of \(\Sigma \) and \(Q_{abij}\equiv \partial _a K_{bij}\). We will express the two dimensional cone \(\mathcal {C}_n\) in three types of coordinates: the Cartesian coordinates \((x^1,x^2)\), the cylindrical coordinates \((\rho ,\tau )\) and the complex coordinates \((z,{\bar{z}})\). One has
where \(x^1=\rho \cos \tau ,x^2=\rho \sin \tau , z=\rho e^{i\tau },\bar{z}=\rho e^{-i\tau }\). The function \(\phi \) is given by \(\phi =-\epsilon \log {\rho }=-{\textstyle {\frac{\scriptstyle \epsilon }{\scriptstyle 2} } }\log {(z\bar{z})}\), where \(\epsilon =1-1/n\). For the above metric, the Riemann tensor to leading order can be computed as
where \({\hat{r}}_{abcd},\mathcal {R}_{ijkl}\) stand for the Riemann tensor associated to \({\hat{g}}_{ab}\) and \(\gamma _{ij}\) respectively. More results about curvatures and their covariant derivatives in the orbifold geometry can be found in the literature [11,12,13,14,15,16]. For self-consistency, we collect some relevant results in our Appendix A.
For simplicity, let us first consider the general higher order Riemannian gravities
This case was studied very carefully in [13]. One has
where \(\int _\Sigma =\int d^dy\,\sqrt{\gamma }\) and \(q_\alpha \) is a constant, counting the total number of \(Q_{zzij},Q_{\bar{z}\bar{z}ij}\) and pairs of K in each term of the derivative \({\frac{\partial ^2 L}{\partial R_{izjz} \partial R_{k\bar{z}l \bar{z}}}}\), which is expanded according to (25). Notice that the second term in the square bracket, should be evaluated in the original geometry, namely taking the limit \(n\rightarrow 1\) in the final.
The above result can also be transformed into a covariant form. The first term gives rise to the usual Wald-Iyer entropy [37, 38]
The second term, referred to as anomaly in [13], can be written as
where
where \(\epsilon _{ab}\) is the usual Levi–Civita tensor.
Application of above results to some simple cases is give by [13]
where
Moreover, for the most general gravitational action \(I=\int _\mathcal {M} d^Dx\,\sqrt{g}\,L(g_{\mu \nu },R,\nabla R,\ldots )\), there will be more singular terms emerging in the covariant derivatives of Riemann curvatures. In this case, one must consider all the terms involving \(\partial _z\partial _{{\bar{z}}}\phi \) as well as \(\partial _z \phi \partial _{{\bar{z}}}\phi \). As a matter of fact, the metric expansion around the bulk surface \(\Sigma \) should be considered more carefully, including all the relevant subleading order termsFootnote 1
where
It was established in [16] that holographic entanglement entropy can be formally evaluated as
where \(\beta _\alpha \) is a constant. In the above result, the first term is referred to as the generalised Wald entropy whilst the second term gives the general anomaly terms [16].
As an example, for six derivative gravities \(I=\int _\mathcal {M} d^Dx\,\sqrt{g}\,L(g_{\mu \nu },R,\nabla R)\), the generalised Wald entropy was derived explicitly as [16]
where we have introduced a underline on the l.h.s to distinguish it from the pure Riemannian case. However, derivation of the anomaly terms is much more involved and should be studied in a case-by-case basis. Nevertheless, one may gain an intuitive idea about it from a simple trick: expanding the action in terms of pairs \(\partial _z\phi \partial _{{\bar{z}}}\phi \)
then according to (35), the anomaly term is given by
Evaluation of the anomaly terms for several special cases can be found in [16]. We will adopt the results therein for six derivative gravities to our \(D=6\) dimensional calculations.
3 Application to \(D=4\) dimension
Now let us calculate the bulk entanglement entropy in the \(D=4\) dimension, where the relevant heat kernel coefficient is \(a_2\). Using (31), we deduce
Here it is worth emphasizing that the total derivative term \(\Box R\) in \(a_2\) does not contribute to \(\big ( \partial _n a_{2,n}\big )_{n=1}\), as shown in [39]. The result can be even more simplified by using Gauss-Codazzi identity
where \(R_\Sigma \) is the scalar curvature of the bulk surface \(\Sigma \). One has
where the last term in the square bracket vanishes for minimal area surfaces. Moreover, for vacuum solutions to Einstein’s gravity (including Schwarzschild black holes), curvatures take particularly simple forms
where \(\ell _{AdS}\) is AdS radius. This greatly simplifies our calculations in the \(D=4\) dimension. One finds
It implies that to compute the bulk entanglement entropy, we just need evaluate the scalar curvature of the RT surface in four dimension. Of course, the same result can be obtained by constructing the adapted coordinates for the RT surface and extracting the extrinsic curvatures explicitly, see Sect. 4.2 for more details. The simplest way to test this is checking the Gauss-Codazzi identity, which implies for RT surfaces in AdS vacuum
3.1 Hemispheres
Consider a hemisphere in \(AdS_D\) vacuum. For later purpose, we keep our discussions as general as possible and will return to the \(D=4\) dimension when necessary. The readers should not be confused. In the boundary, the entangling surface is a \((d-1)\)-dimensional sphere
where R denotes the radius of the sphere. Under the boundary spherical coordinates \((r,\Omega _{d-1})\), the bulk metric reads
where \(d\Omega _{d-1}^2\) is the metric of a unit sphere \({\mathbf {S}}_{d-1}\). According to the RT formula, the bulk minimal surface is derived as [1]
which describes a hemisphere. The induced metric on \(\Sigma \) reads
In fact, this describes a uniform d-dimensional hyperbolic space with curvature radius \(\ell _{AdS}\). To see this, we introduce a new coordinate \(\theta \): \(r=R\sin \theta ,\xi =R\cos \theta \) and the hyperbolic coordinate u as: \(\sinh {u}\equiv \tan \theta \). The induced metric becomes
It might be a surprise that the hemisphere coincides with the event horizon of a hyperbolic black hole with radius \(\ell _{AdS}\). In fact, it has vanishing extrinsic curvatures \(K_{aij}=0\) as well. The physical meaning of this was clarified in [17]: for conformal field theories (not necessarily holographic ones) defined in a spherical ball-shaped region with radius R, the vacuum state can be unitarily transformed into a thermal bath in a hyperbolic space with curvature radius R. Hence, the entanglement entropy across a spherical entangling surface \({\mathbf {S}}_{d-1}\) is equal to the thermal entropy on the hyperbolic space \({\mathbf {H}}_{d-1}\). For holographic CFTs, the latter is given by the entropy of a \((d+2)\)-dimensional AdS-hyperbolic black holes with temperature \(T_0=1/2\pi R\)
where \(R=\ell _{AdS}\).
The area of the hemisphere is given by
where \(\Omega _{{\mathbf {H}}_d}\) is the area of a unit hyperbolic plane \({\mathbf {H}}_d\). The induced scalar curvature turns out to be a constant
Return to the \(D=4\) dimension, the leading entanglement reads
Evaluating (43) yields
which leads to
This simple example clearly shows that \(s_q\) shares the same divergence structure as the leading entanglement entropy in the boundary. Furthermore, the relation (55) inspires us that the universal information encoded in the bulk entanglement may have a simple relation to that in the leading entanglement entropy. This will be said more precisely when we study the entanglement entropy for deformed spheres in Sect. 4.
3.2 Finite temperature corrections
Finite temperature states of the boundary is dual to AdS black holes, described by
where \(\xi _h\) denotes the location of event horizon and \((r,\phi )\) are the boundary polar coordinates. The temperature of the black hole is given by \(T=3/4\pi \xi _h\).
In this case, the bulk minimal surface will be deformed away from the hemisphere because of temperature corrections. Nevertheless, it still respects the boundary symmetry and is characterized by a function \(\xi =\xi (r)\). The induced metric of \(\Sigma \) becomes
so that the area functional is given by
Variation of the functional leads to
where \(f_\xi \equiv df/d\xi \). We would like to analytically solve the equation for a large thermal scale \(\beta =1/T\) with \(\beta /R>>1\) and then extract the leading thermal corrections to the bulk entanglement entropy. By straightforward calculations, we obtain
The hemisphere in AdS vacuum is deformed by a leading order correction \(\sim R^3/\beta ^3\). The area of the minimal surface becomes
which indeed receives an extra contribution proportional to \(R^3/\beta ^3\). Likewise, the scalar curvature of \(\Sigma \) is corrected at the same order
Substituting these results into (43) and (19), we arrive at
It is also interesting to compare it to the leading entanglement
It is intriguing to notice that in both cases, the universal term decreases as the temperature increases. We may expect that the bulk entanglement entropy signals quantum/thermal phase transitions as the leading entanglement entropy [40,41,42,43,44]. This may deserve further investigations.
3.3 Strips
We move to consider a striped subregion, preserving \((d-1)\)-dimensional translational invariance
Holographic entanglement entropy for this case has been widely studied in the literature, see for example [1]. In AdS vaccum, the bulk minimal surface is given by \(\xi =\xi (y^1)\)
where \(\xi _*\) is the turning point of the minimal surface. Solving the above equation gives
The induced metric on \(\Sigma \) is given by
Evaluating the area of \(\Sigma \) yields
In the \(D=4\) dimension, it gives
On the other hand, the scalar curvature of the induced metric (68) is given by
Substituting the result into (43) and (19), we deduce
Again \(s_q\) has a linear relation to \(\mathcal {S}\) and hence the two share the same divergence structure in this case.
3.4 Singular shapes
Next, we consider singular shapes of entangling surfaces. We choose a cusp subregion in the boundary with opening angle \(\Omega \), which is specified as
We shall introduce a large distance cutoff for the subregion \(r_{max}=R\). The leading entanglement entropy for this case was extensively studied in [45,46,47]. Following these papers, we parameterized the bulk surface as \(\xi =\xi (r,\theta )=r \varphi (\theta )\). The separation of variables is due to scaling symmetries of AdS vacuum (and there is no other scale in the problem). The function \(\varphi (\theta )\) satisfies \({\dot{\varphi }}(0)=0,\varphi (\pm \Omega /2)=0\), where \({\dot{\varphi }}\equiv d\varphi /d\theta \).
The induced metric on the surface is given by
Evaluation of the area functional yields
where \(\varphi _0\equiv \varphi (0)\) stands for the maximum value of the function. Here the angular cutoff \(\varepsilon \) is defined such that \(\xi =\delta ,\varphi (\Omega /2-\varepsilon )=\delta /r\). Variation of the area functional determines the minimal surface as [45]
To compute the area of the minimal surface, it is more convenient to introduce a variable \(\mu =\sqrt{1/\varphi ^2-1/\varphi _0^2}\). One has [46, 47]
where dots stands for constant terms, which are now regulator dependent. Instead, physical information about the boundary theories is encoded in the function \(a(\Omega )\), given by [46, 47]
This is an implicit function of the opening angle \(\Omega \) through the dependence of \(\varphi _0\) on \(\Omega \). One has
Full numerical solution of the function \(a(\Omega )\) was presented in [46, 47] and we reproduce it in the left panel of Fig. 1. Moreover, careful examination of the function for both the small opening angle \(\Omega \rightarrow 0\) and the smooth limit \(\Omega \rightarrow \pi \), one finds to leading order [46, 47]
It was established in [46, 47] that some universal information about the boundary theories can be read off from the above asymptotic expansions.
Return to the bulk entanglement entropy. We deduce the scalar curvature of the RT surface \(\Sigma \) as
where in the second line we have adopted the relation (76). Using these results and evaluation of the bulk entanglement entropy yields
where
The subscript of the function \(Y_\Omega (\mu ) \) reminds us that it depends on the opening angle \(\Omega \) implicitly. Note that the right hand side of the equation (82) diverges in the short distance limit \(\delta \rightarrow 0\) because of \(Y_\Omega (\mu )\rightarrow 29\) as \(\mu \rightarrow \infty \). To isolate this divergence, we treat (82) as
where again the dots stands for constant terms which are regulator dependent. The function \(b(\Omega )\) is defined as
It is interesting to notice that the result (84) takes a similar form to (77) for the leading order entanglement entropy. Full numerical solution of the function \(b(\Omega )\) is shown in the right panel of Fig. 1. At first sight, we find that it behaves very similar to the function \(a(\Omega )\). In addition, examination of the function for a small opening angle as well as the smooth limit tells us that in both cases, their ratio is a constant
This motives us to study the function \(b(\Omega )\) more carefully. As a matter of fact, we can analytically show that the ratio is valid for an arbitrary opening angle \(\Omega \), despite that the integrand function in (85) looks quite different from that in (78). The proof is straightforward by making use of a mathematical identity
where
This strongly implies that the same information about holographic \(\mathrm {CFT}_3\) can be read off from both the bulk entanglement entropy and the leading entanglement entropy of singular shapes, except for a constant ratio. It is remarkable that the result does not depend on the opening angle of the cone in the boundary.
4 Shape dependence of bulk entanglement
Having studied the bulk entanglement entropy for various shapes of boundary subregions, we would like to further investigate its shape dependence to see whether the same physical information can be extracted in this case as that in the leading entanglement entropy. We first consider the \(D=4\) dimension and then extend the discussions to the \(D=6\) dimension.
4.1 Deformed circle in the \(D=4\) dimension
Consider a generally smooth entangling surface in the boundary, obtained by slightly deforming a circle
where \({\hat{\epsilon }}\) is a small parameter. We have properly chosen the expansion coefficients \(a_\ell ,b_\ell \) so that the Fourier modes are normalized to unity.
As shown in [48], the bulk minimal surface in this case becomes a deformed hemisphere and the lowest order correction to the leading entanglement entropy appears at \(\hat{\epsilon }^2\). We shall briefly review these results in the following and then calculate the bulk entanglement entropy. We will show that the lowest order correction to the bulk entanglement appears at \(\hat{\epsilon }^2\) as well.
For later convenience, we introduce new coordinates \((\rho ,\theta )\), under which the bulk metric reads
where
where \(\theta \in [0,\pi /2]\) and \(\theta =\pi /2\) corresponds to the asymptotic AdS boundary. Notice that the constant \(\rho \) slices describe bulk hemispheres. Hence, a deformed hemisphere can be parameterized as
where the higher order terms \(O(\hat{\epsilon }^2)\) do not contribute to the leading entanglement entropy [48] as well as the bulk entanglement at \(\hat{\epsilon }^2\) order, as will be shown later.
The induced metric of the bulk surface is given by
where \(\rho _\theta \equiv \partial _\theta \rho ,\rho _\phi =\partial _\phi \rho \). The deformations \(\rho _1(\theta ,\phi )\) can be solved analytically by minimizing the area functional
where the angular cutoff \(\varepsilon \) is related to the short distance cutoff \(\delta \) at the asymptotic boundary as \(\delta =R \cos (\pi /2-\varepsilon )\). Then straightforward calculations lead to [48, 49]
Evaluation of the area functional gives
To compute the bulk entanglement, we deduce the scalar curvature for the deformed hemisphere
It is clear that the lowest order corrections appears at \(\epsilon ^2\). We obtain
It is interesting to observe that the universal piece of bulk entanglement shares the same shape dependence with that of the leading entanglement entropy in the boundary, except for a constant factor \({\frac{3}{40\pi }}\). This is highly non-trivial since in the boundary, this piece in the leading entanglement entropy is a constant, encoding nonlocal information about the underlying theories while the universal term of bulk entanglement just contains local information about O(1) degrees of freedoms in the boundary. This local/nonlocal relation implies that for holographic \(\mathrm {CFT}_3\), the same physical information can be extracted from the entanglement entropy at either the leading order \(O(N^2)\) or the subleading order O(1) (this is said in the sense that interactions between the O(1) and \(O(N^2)\) degrees of freedoms is ignored since we have not included backreaction effects of bulk fluctuations ).
Last but not least, we realize that the particular value of the ratio \({\frac{3}{40\pi }}\) is the same as (86) for the entanglement entropy of singular shapes. This is easily explained for the smooth limit \(\Omega \rightarrow \pi \). It was shown in [50] that the universal term of the leading entanglement entropy (77) for singular shapes can be derived from that for the smoothly deformed spheres (96). It is clear that this will also be the case for the bulk entanglement due to (98) and hence the coincidence of the ratio \({\frac{3}{40\pi }}\) is not a surprise.
4.2 Deformed spheres in the \(D=6\) dimension
Inspired by the interesting results in four dimension, we would like to investigate the shape dependence of bulk entanglement in higher dimensions to see whether the local/nonlocal relation is still valid. We focus on the \(D=6\) dimension in this subsection. The relevant heat kernel coefficient is \(a_3\), given by [32]
where der stands for derivative terms of curvatures, given by
However, since total derivative terms do not contribute to \((\partial _n a_{3,n})_{n=1}\) [39], we can do an integration by parts and drop all these terms. This simplifies der as
The coefficient \(a_3\) can be reorganized as
where
where the first term involves third order curvature polynomials whilst the second term contains first order derivatives of curvatures. Since the contributions of the above two terms are highly different, we shall deal with them separately.
According to (27), the cubic Riemannian term \(a_3^{(1)}\) can be evaluated as
where the shorthand notations on the r.h.s are specified in (28) and (29). We quote them as follows
where \(E^{\mu \nu \rho \sigma }=\partial L/\partial R_{\mu \nu \rho \sigma }\). To proceed, we need derive the tensor \(E^{\mu \nu \rho \sigma }=\partial L/\partial R_{\mu \nu \rho \sigma }\) for each of the cubic curvature polynomials as well as the second order derives \({\frac{\partial ^2 L}{\partial R_{izjz}\partial R_{k\bar{z}\ell \bar{z}}}}\). The calculations are straightforward but a bit lengthy. We refer the readers to Appendix B for details. The results for general cases are quite involved but will be greatly simplified for minimal area surfaces in AdS vacuum. Here we just present the final result
The second term \(a_3^{(2)}\) in (103), as a gravitational action, its contribution to holographic entanglement entropy was studied carefully in [16] for general coupling constants
In our case (103), \(\lambda _1=-1/280,\lambda _2=1/840,\lambda _3=-1/1680\). One has
where the generalised Wald entropy term is given by (36). For this particular action (107), one has [16]
However, this term will vanish for RT surfaces in AdS vacuum, where the Riemann curvature takes a particularly simple form
Derivation of the anomaly terms is much more involved and the results have lengthy expressions as well, see the Appendix A of [16]. Fortunately, in this subsection, we focus on deformed hemispheres, which just has small extrinsic curvatures \(K\sim {\hat{\epsilon }}\). We have known that in this case, the lowest order correction of the smooth deformations to the universal terms of entanglement entropy appears at the quadratic order \(O(K^2)\). Thus, we can drop all the higher order terms presented in [16]. We find
For \(\nabla _\sigma R_{\mu \nu }\nabla ^\sigma R^{\mu \nu }\),
and for \(\nabla _\sigma R_{\mu \nu \alpha \beta }\nabla ^\sigma R^{\mu \nu \alpha \beta }\),
However, here we have not considered the relation between \(Q_{abij},P_{abcij}\) and the extrinsic curvatures. By comparing the Riemann tensor in the metric expansion (33) with that for pure AdS, one finds [16]
Using these relations, we find that remarkably all the terms in (112) are of quartic order \(O(K^4)\) and hence are irrelevant for our discussions. Finally, the anomaly terms for the derivative action (107) greatly simplify to
Combing all the results together, we deduce
To proceed, we need construct the adapted coordinates around the deformed hemispheres \(\rho _\Sigma =1+\epsilon \rho _1(\Omega _d)\) and read off the extrinsic curvatures. This is achieved by constructing geodesics emanating from the surface [49]. We denote the affine parameter of the geodesics by s and \(s=0\) at the surface. We set \(\partial _s\cdot \partial _t=\sin \tau \) and the starting point on the surface is \(\omega _d=(\theta ,\omega _{d-1})\). The geodesics can be constructed by solving the geodesic equation in a power series of s and hence covering a small neighborhood of the surface using the new coordinates \((\tau ,s,\omega _d)\). We present the linear in s peace as
where \(\partial _{\omega _d}={\tilde{g}}^{ij}\partial _j\), where \({\tilde{g}}_{ij}\) is the metric of unit \({\mathbf {S}}_d\). Finally, we change the variables to \(z=s e^{i\tau },\bar{z}=s e^{-i\tau }\). The extrinsic curvatures can be read off straightforwardly from the construction for each dimension. We find that the results, valid to general dimensions, can be expressed compactly as
where
4.2.1 Explicit calculations
After preparing so much, we are ready to perform explicit calculations for the bulk entanglement entropy for deformed hemispheres. In the boundary, the entangling surface is described by [49]
where \(\Omega _{d-1}\) are the angular coordinates on \({\mathbf {S}}_{d-1}\) and \(Y_{\ell ,m_1\,\cdots ,m_{d-2}}(\Omega _{d-1})\) are hyperspherical harmonicsFootnote 2. We follow [49] and normalize the hyperspherical harmonics as
As in the four dimensional case, the deformed hemisphere can be most easily solved under the \((\rho ,\theta )\) coordinates, where the bulk metric reads
The deformed hemispheres can be parameterized as
where again the higher order terms \(O(\hat{\epsilon }^2)\) do not contribute to entanglement entropy at \(\hat{\epsilon }^2\) order. It follows that the deformation \(\rho _1(\theta ,\Omega _{d-1})\) can be solved analytically by minimizing the area functional
where \(\rho _\theta \equiv \partial _\theta \rho ,\rho _\Omega =\sqrt{{\tilde{g}}^{ij}}\partial _j\rho \), where \({\tilde{g}}_{ij}\) is the metric of unit \({\mathbf {S}}_{d-1}\). Again the angular cutoff \(\varepsilon \) is related to the short distance cutoff \(\delta \) at the asymptotic boundary as \(\delta =R \cos (\pi /2-\varepsilon )\).
In the \(D=6\) dimension, one finds [49]
where
Evaluation of the area functional yields
To proceed, we present explicit formulas for the three dimensional hyperspherical harmonics [51]
where \(Y_{m_1,m_2}(\phi _2,\phi _3)\) is the usual spherical harmonics and \(P_{\mu ,1/2}^\nu (\cos \phi _1)\) is a hyper-Legendre function, given by
where
and \(N_{\ell m_1}\) is a normalization constant so that
According to (116), the key elements to derive the one-loop bulk entanglement entropy are surface integrals of extrinsic curvatures and their spatial derivatives evaluated on the minimal surface. By straightforward calculations, we find
Again as in the four dimensional case, this term depends on the shape of entangling surface in the same manner as the leading entanglement entropy. However, for the derivative terms of extrinsic curvatures, the situation turns out to be much more complicated. To clarify this, we may set
where the dependence on the shape of entangling surface is encoded in the functional relation \(q_{\ell ,m_1,m_2}\). However, it is of great difficult to calculate this term for general eigenvalues analytically. Nevertheless, we can check some special cases to see whether it is a same constant for general eigenvalues. This is enough for our purpose. We present some low lying examples as follows
It is clear that \(q_{\ell ,m_1,m_2}\) is no longer a same constant for general eigenvalues. Mathematically this is not hard to explain since the spatial derivatives of the hyperspherical harmonics generally mixes different Fourier modes of the entangling surface. It implies that in the \(D=6\) dimension, the bulk entanglement entropy at \(O(\hat{\epsilon }^2)\) order depends on the shape of entangling surface more strongly than the area of the RT surface. It may encode more universal information about the boundary theories at this order. We expect that in general this will also be the case for higher dimensions, since more higher order derivative terms of Riemann curvatures will appear in the heat kernel coefficient \(a_{[D/2]}\) and hence more spatial derivative terms of extrinsic curvatures appear in the bulk entanglement entropy.
5 Conclusions
In this paper, we adopt the heat kernel method to study bulk entanglement entropy in diverse dimensions. A shortcoming of the method is it does not capture the cut-off independence piece of bulk entanglement entropy in odd dimensions. As a consequence, we focus on even dimensions in this paper.
We perform explicit calculations in the \(D=4\) dimension for several different shapes of subregions in the boundary. In particular, for a cusp subregion, we find that the bulk entanglement entropy encodes the same universal information about the boundary theories as the leading entanglement entropy, up to a fixed proportional constant. Furthermore, we study the shape dependence of bulk entanglement by considering a smoothly deformed circle. We find that at leading order of the deformations, the universal piece of bulk entanglement entropy shares the same shape dependence with that of the leading entanglement entropy in the boundary. This is interesting since the former just captures local information about O(1) degrees of freedoms in the boundary whilst the latter encodes nonlocal information about \(O(N^2)\) degrees of freedoms. The result establishes a local/nonlocal relation for shape dependence of entanglement entropy for holographic \(\mathrm {CFT}_3\).
To see whether the same results hold for higher dimensions, we extend our investigations to the \(D=6\) dimension. We find that the answer is no. The reason is in \(D\ge 6\) dimensions, the heat kernel coefficient \(a_{[D/2]}\), which captures the physical information about the underlying theories, contains covariant derivatives of Riemann curvatures. As a consequence, the bulk entanglement entropy will depend on spatial derivatives of extrinsic curvatures along the RT surfaces and hence depends on the shape of boundary subregions more strongly. This implies that in general the nice result in the \(D=4\) dimension is not valid to general \(D\ge 6\) even dimensions.
It is also interesting to extend our studies to odd spacetime dimensions. We leave this as a research direction in the near future.
Data Availability Statement
The manuscript has associated data in a data repository. [Authors’ comment: All data generated or analysed during this study are included in this published article [and its supplementary information files.]
Notes
Here we have ignored the so-called splitting problems discussed in [16], since it does not effect our main results in this paper. We refer the interested readers to that paper for details.
They are eigenfunctions of the Laplacian on \({\mathbf {S}}_{d-1}\): \(\Delta Y_{\ell ,m_1\,\ldots ,m_{d-2}}(\Omega _{d-1})=-\ell (\ell +d-2)Y_{\ell ,m_1\,\ldots ,m_{d-2}}(\Omega _{d-1}).\) (121)
References
S. Ryu, T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT. Phys. Rev. Lett. 96, 181602 (2006). arXiv:hep-th/0603001
V.E. Hubeny, M. Rangamani, T. Takayanagi, A covariant holographic entanglement entropy proposal. JHEP 07, 062 (2007). arXiv:0705.0016 [hep-th]
G. Penington, Entanglement wedge reconstruction and the information paradox. JHEP 09, 002 (2020). arXiv:1905.08255 [hep-th]
A. Almheiri, N. Engelhardt, D. Marolf, H. Maxfield, The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole. JHEP 12, 063 (2019). arXiv:1905.08762 [hep-th]
A. Almheiri, R. Mahajan, J. Maldacena, Y. Zhao, The Page curve of Hawking radiation from semiclassical geometry. JHEP 03, 149 (2020). arXiv:1908.10996 [hep-th]
S.W. Hawking, Black hole explosions. Nature 248, 30–31 (1974)
S.W. Hawking, Particle creation by black holes. Commun. Math. Phys. 43, 199–220 (1975) [Erratum: Commun. Math. Phys. 46, 206 (1976)]
S.W. Hawking, Breakdown of predictability in gravitational collapse. Phys. Rev. D 14, 2460–2473 (1976)
G.W. Gibbons, S.W. Hawking, Action integrals and partition functions in quantum gravity. Phys. Rev. D 15, 2752–2756 (1977)
A. Lewkowycz, J. Maldacena, Generalized gravitational entropy. JHEP 08, 090 (2013). arXiv:1304.4926 [hep-th]
B. Chen, Jj Zhang, Note on generalized gravitational entropy in Lovelock gravity. JHEP 07, 185 (2013). arXiv:1305.6767 [hep-th]
A. Bhattacharyya, A. Kaviraj, A. Sinha, Entanglement entropy in higher derivative holography. JHEP 08, 012 (2013). arXiv:1305.6694 [hep-th]
X. Dong, Holographic entanglement entropy for general higher derivative gravity. JHEP 01, 044 (2014). arXiv:1310.5713 [hep-th]
J. Camps, Generalized entropy and higher derivative Gravity. JHEP 03, 070 (2014). arXiv:1310.6659 [hep-th]
A. Bhattacharyya, M. Sharma, On entanglement entropy functionals in higher derivative gravity theories. JHEP 10, 130 (2014). arXiv:1405.3511 [hep-th]
R.X. Miao, Wz Guo, Holographic entanglement entropy for the most general higher derivative gravity. JHEP 08, 031 (2015). arXiv:1411.5579 [hep-th]
H. Casini, M. Huerta, R.C. Myers, Towards a derivation of holographic entanglement entropy. JHEP 05, 036 (2011). arXiv:1102.0440 [hep-th]
T. Hartman, Entanglement entropy at large central charge. arXiv:1303.6955 [hep-th]
T. Faulkner, The entanglement Renyi entropies of disjoint intervals in AdS/CFT. arXiv:1303.7221 [hep-th]
X. Dong, A. Lewkowycz, M. Rangamani, Deriving covariant holographic entanglement. JHEP 11, 028 (2016). arXiv:1607.07506 [hep-th]
T. Faulkner, A. Lewkowycz, J. Maldacena, Quantum corrections to holographic entanglement entropy. JHEP 11, 074 (2013). arXiv:1307.2892 [hep-th]
N. Engelhardt, A.C. Wall, Quantum extremal surfaces: holographic entanglement entropy beyond the classical regime. JHEP 01, 073 (2015). arXiv:1408.3203 [hep-th]
T. Barrella, X. Dong, S.A. Hartnoll, V.L. Martin, Holographic entanglement beyond classical gravity. JHEP 09, 109 (2013). arXiv:1306.4682 [hep-th]
A. Belin, N. Iqbal, J. Kruthoff, Bulk entanglement entropy for photons and gravitons in AdS\(_3\). SciPost Phys. 8(5), 075 (2020). arXiv:1912.00024 [hep-th]
C.A. Agón, S.F. Lokhande, J.F. Pedraza, Local quenches, bulk entanglement entropy and a unitary Page curve. JHEP 08, 152 (2020). arXiv:2004.15010 [hep-th]
B. Chen, P.X. Hao, W. Song, Rényi mutual information in holographic warped CFTs. JHEP 10, 037 (2019). arXiv:1904.01876 [hep-th]
C. Agón, T. Faulkner, Quantum corrections to holographic mutual information. JHEP 08, 118 (2016). arXiv:1511.07462 [hep-th]
B. Chen, Z.Y. Fan, W.M. Li, C.Y. Zhang, Holographic mutual information of two disjoint spheres. JHEP 04, 113 (2018). arXiv:1712.05131 [hep-th]
S. Ryu, T. Takayanagi, Aspects of holographic entanglement entropy. JHEP 08, 045 (2006). arXiv:hep-th/0605073
T. Nishioka, S. Ryu, T. Takayanagi, Holographic entanglement entropy: an overview. J. Phys. A 42, 504008 (2009). arXiv:0905.0932 [hep-th]
S. Sugishita, Entanglement entropy for free scalar fields in AdS. JHEP 09, 128 (2016). arXiv:1608.00305 [hep-th]
D.V. Vassilevich, Heat kernel expansion: user’s manual. Phys. Rep. 388, 279–360 (2003). arXiv:hep-th/0306138
S.N. Solodukhin, The conical singularity and quantum corrections to entropy of black hole. Phys. Rev. D 51, 609–617 (1995). arXiv:hep-th/9407001
D.V. Fursaev, S.N. Solodukhin, On the description of the Riemannian geometry in the presence of conical defects. Phys. Rev. D 52, 2133–2143 (1995). arXiv:hep-th/9501127
S.N. Solodukhin, Entanglement entropy of black holes. Living Rev. Relativ. 14, 8 (2011). arXiv:1104.3712 [hep-th]
D.V. Fursaev, A. Patrushev, S.N. Solodukhin, Distributional geometry of squashed cones. Phys. Rev. D 88(4), 044054 (2013). arXiv:1306.4000 [hep-th]
R.M. Wald, Black hole entropy is the Noether charge. Phys. Rev. D 48(8), 3427–3431 (1993). arXiv:gr-qc/9307038
V. Iyer, R.M. Wald, Some properties of Noether charge and a proposal for dynamical black hole entropy. Phys. Rev. D 50, 846–864 (1994). arXiv:gr-qc/9403028
X. Dong, R.X. Miao, Generalized gravitational entropy from total derivative action. JHEP 12, 100 (2015). arXiv:1510.04273 [hep-th]
T. Albash, C.V. Johnson, Holographic studies of entanglement entropy in superconductors. JHEP 05, 079 (2012). arXiv:1202.2605 [hep-th]
R.G. Cai, S. He, L. Li, Y.L. Zhang, Holographic entanglement entropy in insulator/superconductor transition. JHEP 07, 088 (2012). arXiv:1203.6620 [hep-th]
X.M. Kuang, E. Papantonopoulos, B. Wang, Entanglement entropy as a probe of the proximity effect in holographic superconductors. JHEP 05, 130 (2014). arXiv:1401.5720 [hep-th]
Y. Ling, P. Liu, C. Niu, J.P. Wu, Z.Y. Xian, Holographic entanglement entropy close to quantum phase transitions. JHEP 04, 114 (2016). arXiv:1502.03661 [hep-th]
Y. Ling, P. Liu, J.P. Wu, Characterization of quantum phase transition using holographic entanglement entropy. Phys. Rev. D 93(12), 126004 (2016). arXiv:1604.04857 [hep-th]
T. Hirata, T. Takayanagi, AdS/CFT and strong subadditivity of entanglement entropy. JHEP 02, 042 (2007). arXiv:hep-th/0608213
P. Bueno, R.C. Myers, W. Witczak-Krempa, Universality of corner entanglement in conformal field theories. Phys. Rev. Lett. 115, 021602 (2015). arXiv:1505.04804 [hep-th]
P. Bueno, R.C. Myers, Corner contributions to holographic entanglement entropy. JHEP 08, 068 (2015). arXiv:1505.07842 [hep-th]
A. Allais, M. Mezei, Some results on the shape dependence of entanglement and Rényi entropies. Phys. Rev. D 91(4), 046002 (2015). arXiv:1407.7249 [hep-th]
M. Mezei, Entanglement entropy across a deformed sphere. Phys. Rev. D 91(4), 045038 (2015). arXiv:1411.7011 [hep-th]
P. Bueno, R.C. Myers, Universal entanglement for higher dimensional cones. JHEP 12, 168 (2015). arXiv:1508.00587 [hep-th]
L.M.B.C. Campos, M.J.S. Silva, On hyperspherical associated Legendre functions: the extension of spherical harmonics to N dimensions. arXiv:2005.09603v1 [math-ph]
Acknowledgements
I thank Miao Rong-Xin for valuable discussions. Z.Y. Fan was supported in part by the National Natural Science Foundations of China with Grant No. 11805041 and No. 11873025.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Curvatures for orbifold geometry
Let us calculate curvatures for a product metric as
where
We are interested in evaluating the curvature tensors at a given codimension\(-2\) hypersurface \(\Sigma \) along y directions. One has the metric expansion
where \(K_{aij}\) are extrinsic curvatures of \(\Sigma \). Notice that under the above coordinates, \(K_{aij}={\frac{1}{2}} \partial _a G_{ij}\) and \(Q_{abij}\equiv \partial _a K_{bij}\). We use the metric \({\hat{g}}^{ab}\) and \({\hat{g}}_{ab}\) to raise and lower indices \(a,b,\ldots \) for curvature tensors, for example \(K^a_{ij}={\hat{g}}^{ab}K_{bij}\). The inverse metric \(G^{ij}\) is given by
where \(K_a^{ij}=-{\frac{1}{2}} \partial _a G^{ij}\), where the minus sign emerges owing to the requirement \(G^{ik}G_{kj}=\delta ^i_{\,\,\,j}\). However, we are interested in deriving Riemann curvatures on the surface \(\Sigma \). In many cases, we can take the approximation \(G^{ij}(x,y)=\gamma ^{ij}(y)\) but it is not always true. We need keep in mind that all the relevant terms around the surface \(\Sigma \) should be included when necessary. Without confusion, we will raise and lower the indices \(i,j,\ldots \) by using the induced metric \(\gamma _{ij}\) on the surface \(\Sigma \).
The Christoffel connection and the Riemann tensor can be calculated from their standard definitions. One has
where
The Ricci tensor and scalar can be derived as
and
Note that the above relation is nothing else but an equivalent expression for Gauss-Codazzi identity. The Riemann tensor in the cone directions up to linear order in \(\epsilon \) is given by
where \(\phi =-\epsilon \log {\rho }\) (without introducing a cut-off away from the cone \(\rho =0\)). This implies that \(r_{ab}=-{\hat{g}}_{ab}\hat{\nabla }^2 \phi \) and \(r=-2e^{-2\phi }\hat{\nabla }^2\phi \), where \(\hat{\nabla }^2\) is defined with respect to the two dimensional metric \({\hat{g}}\). For later convenience, the metric \({\hat{g}}\) will be expressed frequently in three types of coordinates: the Cartesian coordinates \((x^1,x^2)\), the cylindrical coordinates \((\rho ,\tau )\) and the complex coordinates \((z,{\bar{z}})\), which are defined as
One has
To exclude contributions from the conical singularity of the orbifold geometry \(\hat{\mathcal {M}}_n\), the function \(\phi \) should be properly regularized, for example we may set \(\phi =-{\textstyle {\frac{\scriptstyle \epsilon }{\scriptstyle 2} } }\log {(\rho ^2+a^2)}\) and take the limit \(a\rightarrow 0\) in the final. For example, \(\partial _z \phi =-\epsilon /2z,\partial _{{\bar{z}}}\phi =-\epsilon /2{\bar{z}}\) and \(\partial _z\partial _{\bar{z}}\phi =\pi \,\epsilon \,\delta ^2(x)\). These relations determine the singular terms in the Riemann curvatures
as well as those in the Ricci tensors
In the above, the first two equalities imply that the trace of the extrinsic curvatures should vanish for Einstein’s gravity. This proves the RT formula. Finally, for Ricci scalar
These results are sufficient to derive holographic entanglement entropy for general Riemannian gravities [13].
As a simple application, we take \(\Sigma \) as a bifurcate event horizon, which has vanishing extrinsic curvatures \(K_{aij}=0\). In this case, all the singular contributions to the curvature tensors come from the conical two dimensions. The results can be expressed compactly as
where \(\bar{R}\) stands for the curvatures in the smooth region of \(\hat{\mathcal {M}}_n\); \(n^\mu _i\) are two normal vectors of \(\Sigma \) (here the normal vectors are normalized to unity). \(\varepsilon _{\mu \nu }=n_\mu ^1 n_\nu ^2-n_\mu ^2 n_\nu ^1\) is binormal vector of \(\Sigma \) and \(n_{\mu \nu }=\Sigma _{i=1}^2 n_\mu ^i n_\nu ^i\). Some useful relations are \(n_\mu n^\mu =2=n_{\mu \nu }n^{\mu \nu }\) and
In the \(n\rightarrow 1\) limit, the normal vectors in the complex coordinates are given by
This leads to \(\varepsilon _{z\bar{z}}=i /2\) and
These results are particularly useful to transform the entropy formula for higher derivative gravities into covariant forms.
Appendix B: Derivation details about (106)
We list our results for each term in (103) as follows
It is straightforward to evaluate the Wald entropy terms
For RT surfaces in AdS vacuum, the results can be even more simplified. We shall not list them here.
For the anomaly terms, after straightforward but lengthy derivations, we obtain
The results can be greatly simplified by using the fact that \(\Sigma \) is extremal and hence \(K_a=0\). Moreover, the spacetime is pure AdS so that \(R^a_{\,\,\,\,a}=-2(D-1)\ell ^{-2}_{AdS},R^{ab}_{\quad ab}=-2\ell ^{-2}_{AdS}\). It follows that
Combing all the results above, one finally arrives at (106).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Fan, ZY. Bulk entanglement and its shape dependence. Eur. Phys. J. C 81, 580 (2021). https://doi.org/10.1140/epjc/s10052-021-09331-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09331-1