Abstract

We revisit the minimal area condition of Ryu-Takayanagi in the holographic calculation of the entanglement entropy, in particular, the Legendre test and the Jacobi test. The necessary condition for the weak minimality is checked via Legendre test and its sufficient nature via Jacobi test. We show for AdS black hole with a strip type entangling region that it is this minimality condition that makes the hypersurface unable to cross the horizon, which is in agreement with that studied earlier by Engelhardt et al. and Hubeny using a different approach. Moreover, demanding the weak minimality condition on the entanglement entropy functional with the higher derivative term puts a constraint on the Gauss-Bonnet coupling; that is, there should be an upper bound on the value of the coupling, .

1. Introduction

The recent conjecture on the holographic formulation of the entanglement entropy by Ryu-Takayanagi (RT) [1, 2] has given a new direction to do explicit calculations in the field theory provided that it admits a dual gravitational description (in a recent development in [3], the authors have conjectured the existence of a geometric entropy in a theory of quantum gravity that includes it in the entanglement entropy) [47]. In order to compute the entanglement entropy of a given region, , with its complement in the field theory, it proposes with a fixed time slice to consider a codimension two-hypersurface, , in the bulk in such a way that its boundary coincides with the boundary of the region under study; that is, . Moreover, we need to consider the hypersurface that minimizes the area. In this case, the entanglement entropy is simply given by the area of the hypersurface divided by , where is Newton’s constant and it reads as

Recall that the area of a codimension two-hypersurface is given by where and are the embedding functions and the bulk geometry, respectively. Setting the first variation of such an area functional to zero gives the following equation which is essentially the equation of the hypersurface [8] and is further studied (some other interesting studies are reported in [9, 10]) in [1114]: where is the inverse of the induced metric, . and are the connections defined with respect to the induced metric on the hypersurface and the bulk geometry, respectively.

In order to find the entanglement entropy, we can solve for ’s in (3) for a given bulk geometry and substitute that into the area integral. However, it is not a priori clear that the solution of (3) will necessarily give us a minimum area. It can give a maximum, a minimum, or a point of inflection/saddle point. It is suggested in [15] that, by working with the Euclidean signature, the extremization of the area functional will automatically give a global minimum of the area functional. However, with the Minkowski signature, the extremization gives saddle points and one needs to opt for the solution that gives a minimum area.

In this paper, we want to study the (weak) minimal condition on the entanglement entropy functional with the Minkowski signature for generic that follows from (2) and study the consequences through some examples.

In order to check the minimality condition on the area or equivalently on the entanglement entropy functional, let us find the second variation of the area functional (2), which gives where the column vector and we have dropped the indices, for simplicity. Note that, in getting the result, we have dropped a total derivative term, which essentially will give a boundary term, and we assume that it is not going to contribute to the boundary, also a term proportional to the equation of motion. If we want the area to be a minimum then the determinant of the matrix should be positive. The Jacobi test talks about the positivity of the matrix and it corresponds to the sufficient condition for the weak minimum.

In calculus, the Legendre test says that and it gives a weak condition on the minimality of the function, in this case the area. Generically, it is very difficult to combine (3) and (5) so as to draw any useful conclusion. (However, it is certainly very interesting to find connection between (5) and the extrinsic curvature as proposed in the context of black holes in [16], if there is any.) Instead, in what follows, we will calculate the quantity (5) in different examples and check whether the area is (weak) minimum or not.

In this paper, we study the consequence of such weak minimality condition in different spacetime, such as AdS spacetime with and without the black holes, hyperscale violating geometries, and geometries with higher derivative terms. In the case of the black hole geometry, the minimal area condition of the RT conjecture gives us a very interesting consequence; that is, the spacelike hypersurfaces do not cross the horizon. This conclusion matches precisely as studied in [17], where the author did not find any solution to the embedding field, , of (3) inside the horizon and further studied in [12] at finite ‘t Hooft coupling and more generally in [16].

By studying different examples, we find that the second variation of the area functional can be written as where and is one of the coordinates on the hypersurface. The integral is over the world volume coordinates of the codimension two-hypersurface.

The weak minimality condition states that the second variation of the area functional with respect to becomes positive: and the Jacobi test says that the determinant of the matrix should be positive, . In this paper, we will be checking these conditions by studying several examples.

It is also very interesting to ask the minimal nature of the entanglement entropy functional even in the finite ‘t Hooft coupling limit. (A prescription is given in [18, 19] to construct the entanglement entropy functional in such cases.) In this context, it is argued in [18, 20] based on the strong subadditivity property that the first possible higher derivative correction of the entanglement entropy functional indeed obeys the minimality condition. For our purpose, we consider the following entanglement entropy functional, as also studied in [2123]: where denotes the Ricci scalar made out of the induced metric. We found the following constraint upon demanding the weak minimality of the entanglement entropy functional:

Note that we denote as the radius of the AdS spacetime. The constraint on the Gauss-Bonnet coupling, , does not coincide with the result obtained in [24, 25]. So it means that the hypersurface under study does not have either minimal or maximal entanglement entropy. The maximal entanglement entropy is ruled out; otherwise, the Gauss-Bonnet coupling can be as large as infinity. Through this study, there follows an important result; that is, theories without higher derivative terms do admit a minimal hypersurface but not with. (The caveat is that the weak minimality analysis is performed only to leading order in the coupling.) Hence, the nature of the hypersurface with the higher derivative term remains to be seen in the future.

2. Example: Strip Type

In this section, we will check the minimality of the area functional by doing some explicit calculation for the strip type entangling region. This will be performed by finding the embedding field that follows from (3). The strip on the field theory is defined as and . Moreover, the bulk geometry is assumed to take the following form:

With the following embedding fields , the induced metric is

In this case, the area takes the following form: , whose second variation gives the following column vector, , and the matrix, :

This means

In order to have a minimum area functional, should be positive and . Note that the determinant of the matrix is and , where the expressions for these quantities are

The meaning of the derivative is as follows: and . Generically, it is very difficult to draw any conclusion on the determinant of matrix . However, it is easy to show that the quantity is positive. This follows by considering the solution that follows, in fact as constructed in [12], , in which case and the expressions for are very cumbersome to write down explicitly. The quantity, , is determined by requiring that vanishes there.

Note that . In order to check the weak minimality condition on the area functional, we need to look at the condition , which is obeyed automatically. Now moving on to determine the sign of the determinant of the matrix , generically, it is very difficult to draw any conclusion. Nevertheless, we will check it on case-by-case basis.

AdS. To begin with, let us consider the AdS spacetime with radius and the boundary is at , in which case where we have considered . The quantity We know that the surface under study starts from the boundary and goes all the way to but does not go past , which means the above quantity is positive only close to , whereas close to UV, it becomes negative. This result suggests that the weak minimum is not a sufficient condition.

HSV. For hyperscale violating (HSV) solution in the convention of [26] with where is a constant, the positivity of is easy to observe whereas the is

It is easy to see again that, close to UV, the becomes negative and becomes positive close to for both positive and negative ’s.

Black Hole. Let us consider a black hole; for simplicity, we assume it asymptotes to AdS spacetime with the boundary to be at . In this coordinate system the horizon is located at . Moreover, is positive for all values of and it takes the following form:

It follows from (15) that as the hypersurface goes inside the black hole, the quantity, , becomes negative, whereas outside the horizon, it stays positive. So, we see that if the hypersurface stays outside the horizon, as suggested in [16, 17], then it follows naturally that there exists a (weak) minimality condition on the area functional.

In order to check the sign of the determinant of the matrix , let us take the following choice of the metric components: In this case, we get where is the turning point of the solution, which is the maximum reach of the hypersurface in the bulk.

Let us rescale and , so that and are dimensionless. For simplicity, we take , in which case Generically, is a function of two variables and . It is very easy to see that, close to UV, that is, for very small values of , the function becomes negative. It means that close to the boundary the determinant of matrix is not positive. So the weak minimality condition is not a sufficient condition.

Let us recall that . It means that when we are inside the horizon and when we are outside the horizon. If the turning point is inside the horizon, then . This means that . Similarly, for outside the horizon, , which means that . In summary, For simplicity, we will restrict to stay from for outside the horizon which means , whereas, for inside the horizon, we will take which means .

The quantity is plotted inside the horizon for AdS black hole in -dimensional spacetime in Figure 1. It is easy to notice that this quantity is always negative inside the horizon of the AdS black hole.

Both the quantities, , and the determinant of the matrix, , become negative. This simply means that there does not exist any hypersurface inside the horizon that minimizes the area functional. Recall that, according to Ryu-Takayanagi conjecture, we need to find the area of the hypersurface that minimizes the area functional in the computation of the entanglement entropy. So, we can interpret the absence of the minimal area hypersurface inside the horizon as the nonpenetration of such hypersurface into the horizon. This conclusion is in perfect agreement with that reached in [16, 17].

Outside the Horizon. Let us look at the behavior of the quantities and outside the horizon. It is easy to see that the quantity is always positive outside the horizon, which follows simply from (15). The information about the other quantity, namely, the determinant of the matrix , can be obtained numerically, which is plotted in Figure 2.

It is clear from Figure 2 that the determinant of the matrix becomes negative close to UV, which suggests that the Jacobi condition for the sufficient nature of the weak minimality condition does not hold.

Confining Solution. Let us study the weak minimality condition on the area functional in the case for which the background solution shows confining behavior. To generate such a confining background, the easiest method is to start with the uncharged black hole solution and perform a double Wick rotation. In the end, the solution that asymptotes to with unit AdS radius reads as The coordinate is now periodic with periodicity , whose explicit form is not important for us. The IR is at and the UV is at . We can proceed further by studying two cases, depending on the fields that we are exciting.

Case 1. The induced metric on the codimension two-hypersurface takes the following form:
In this case, the area of the induced geometry for the strip times a shrinking circle type entangling region, , becomes
The solution to the equation of motion takes the following form: where the constant of integration is determined as follows: . This means that . The second variation of the area functional can be written as follows: where we have dropped a boundary term using the boundary conditions and . The quantities are
Once again we can introduce the function as is done in the introduction and finally we are interested in the quantity . Using the solution for results in

It is easy to see the positivity of , because the radial coordinate stays from . Hence, the weak minimality of the area functional for this case is checked.

Case 2. In this case, we consider that the embedding field as studied in [27], that is, the field, , which is excited is a function of the compact coordinate . In the plane, it will be a cigar. In this case, the induced geometry reads as

The area functional reads as

The equation of motion that follows gives the following solution: where the constant of integration, , is found by demanding that the quantity, , vanishes in the limit . It sets . Finding the second variational of the area functional using the boundary conditions and gives For our purpose, the precise form of the quantity is not important as we are interested in finding only the form of and its sign. In the present case, it reads as Using the solution as written above, it is easy to conclude that

It is interesting to note that the quantity, , in both cases, and , gives a minimum to the area functional.

As an aside, the existence of two valid configurations means that there can be a phase transition induced quantum mechanically depending on the energy of these two configurations, which is studied in detail in [27]. But for our purposes we see that both are becoming minima to the area functional, which we set out to find.

2.1. Sphere

Let us consider another example, where the entangling region, , is of the sphere type. In this context, we assume that the bulk geometry is Using the Ryu-Takayanagi prescription, the geometry of the codimension two-hypersurface takes the following form: where . The area functional reads as where is the volume form associated with the unit -dimensional sphere, . The equation of motion that follows takes the following form: where . Upon considering the background geometry as AdS spacetime with radius , , the solution that follows takes the following form: , where is a constant of integration.

Let us find the second variation of the area functional as written in (39) for AdS spacetime: where In getting the above-mentioned second variation of the area functional, we have used the equation of motion obeyed by . Computing the following quantity:

In getting the second equality, we have used the geometry of AdS spacetime. Note that both and are real and positive; hence the above quantity, , is positive.

Let us determine the sign associated with the determinant of matrix . In this case, Using the following hypersurface: close to UV, we find that the quantity, , close to UV becomes negative and large, which means that the determinant of the matrix is negative. Note that the constant can be identified with the size of the sphere, .

3. With Higher Derivative

In the presence of the higher derivative term in the entanglement entropy functional, it is not a priori clear that the entanglement entropy functional will be a minimum, automatically. Moreover, we cannot apply (5) in the determination of the Legendre test. However, it is suggested in [18, 20] that for a very specific type of entanglement entropy functional one can get a minimal entanglement entropy functional. In the present case, we will determine the consequence of the imposition of the minimal nature of the entanglement entropy functional for the AdS spacetime only, which depends crucially on the value of the coupling, , as defined later. The precise form of the entanglement entropy functional with the higher derivative term can be considered as described by the Jacobson-Myers functional [28]. In fact, for our purpose, we will consider the structure as studied in [2123] where is the coupling constant and defined (This follows by comparing with the action used in [23].) as . Let us evaluate the entanglement entropy for the strip type entangling region as discussed earlier. Using the structure of the induced metric as written down in (11) gives [12] where . This for the AdS spacetime (Such solutions and the associated phase transitions with the black hole solutions are studied in great detail in, for example, [2934].) with the boundary at and with the AdS radius becomes

The equation of motion that follows takes the following form:

The second variation of the entanglement entropy functional can be expressed as where the column vector and the matrix are

The various expressions are

Now, we can demand the Legendre condition as stated earlier and, at the end, we are interested in determining under what condition the quantity is positive. Using the real valued solution that follows from (48) to the leading order in the coupling gives where we have used the relationship between the sizes of the AdS spacetime, and . The size is defined in the infinite ‘t Hooft coupling limit and is related to , where obeys the following relation: ; see, for example, [23, 29]. Demanding that the quantity is positive gives the following restriction on the coupling:

Using the couplings used in [23], we can rewrite (where here is the same as in [23].) the coupling , in which case

The inclusion of the finite ‘t Hooft coupling correction to the entanglement entropy functional does not automatically make the entanglement entropy functional a minimum (it is suggested in [18] that when the extra piece other than the area of the codimension two-surface term in the entanglement entropy functional has the form of , where is the induced scalar curvature of the codimension two-surface, then one expects to have a minimum in the entanglement entropy functional).

Demanding the minimal condition on the entanglement entropy functional puts a restriction on the coupling as written in (53) and (54). Hence, we can interpret that the minimality condition essentially says that the coupling has an upper bound which is positive. Moreover, the Jacobi test in the present case does not give anything interesting to leading linear order in , as the terms , , and in the are quadratic order in .

4. Discussion

It is suggested in [20] that the strong subadditivity property (The strong subadditivity property, , is proven in the holographic case but without the higher derivative term in [35]. It is certainly interesting to ask whether the entanglement entropy functional as suggested, generically, in [18, 19] do automatically respect the strong subadditivity property and the hypersurface under study becomes a minimal surface. Moreover, we need to find the precise connection between the strong subadditivity and the minimal hypersurface.) should be obeyed by the entanglement entropy functional (45), and the integration is done over a hypersurface which minimizes the entanglement entropy functional. We noticed that such minimality of the entanglement entropy functional does not happen for all values of the couplings, ; however, it does happen only when we put a serious restriction on the coupling as in (54). Hence, the imposition of the minimization condition on the entanglement entropy functional with the higher derivative term as suggested in [20] puts a restriction on the coupling .

In -dimensional AdS spacetime, it is suggested in [36] using the positivity of the energy fluxes and the causality that the Gauss-Bonnet (GB) coupling stays in a small window and can become a small negative number to a small positive number, which in our notation becomes . From the study of the minimality of the entanglement entropy functional, we find, for , that the coupling should have an upper bound; that is, . It is not known how to fix the lower bound.

Generalizing it to arbitrary -dimensional spacetime, it is found in [24, 25, 3739] that the coupling, in our notation, should stay in the following range: It is interesting to note that, in the large limit, , both (54) and (55) give the same upper bound, namely, .

The disagreement on the range of the GB coupling suggests that the hypersurface under study does not necessarily minimize the entanglement entropy. (Let us note that the constraint on the coupling follows (from (54)) by doing an analysis only to leading order in the coupling.) Hence, it remains an open question to know the precise nature of the hypersurface with higher derivative term in the entanglement entropy.

5. Conclusion

The Ryu-Takayanagi (RT) conjecture gives an interesting proposal to calculate the entanglement entropy using a gravitational description. For a fixed time slice, the RT conjecture states that the entanglement entropy functional is described by the area of a codimension two-hypersurface. Moreover, the codimension two-hypersurface should be determined in such a way that it minimizes the entanglement entropy functional. In this paper, we have studied the consequences of the minimality condition on the entanglement entropy functional, especially by performing the Legendre test and the Jacobi test. We have checked, for the strip type entangling region, by studying various examples like thermal AdS solution, confining solution, hyperscale violating solution, and the black holes in the AdS spacetime that it obeys necessarily the (weak) minimality condition but not the sufficient condition.

For our purpose, the outside of the black hole is described by the radial coordinate that stays from the boundary to the horizon, , whereas the inside is described by . Let us recall from the second variation of the area functional equation (13) that it is the sign of the quantity, , that determines whether the area functional is a minimum or a maximum. It is easy to notice, using the property of as mentioned in Section 2 and from (15), that as long as we stay outside of the horizon, it gives a minimum. Once we are inside the horizon, it gives a maximum. So, we may interpret that it is the horizon that acts as a surface which separates the minimum area functional from the maximum. Hence, we can say that it is the RT conjecture that leads naturally to the following conclusion: we better stay outside of the horizon if we want a minimum area. This finally allows us to conclude that the minimality of the area functional does not allow the codimension two-hypersurface to enter into the black hole horizon. The same conclusion is reached (In this case there does not exist any real valued solution of the embedding field, , inside the horizon.) in [17] and more generally in [16].

In a recent study in [16], it is argued that regions with negative extrinsic curvature cannot be accessed by any hypersurfaces irrespective of whether it is of spacelike, timelike, or null type. Let us recall that the imposition of the (weak) minimality condition gives us (5), which is negative inside the horizon. A priori, it is not clear whether there exists any relationship (One way to look at is as follows: the number of free indices that appear in (5) is four whereas, in the definition of the extrinsic curvature as in [16], it can be of maximum three, for a hypersurface of codimension bigger than unity.) between the extrinsic curvature studied in [16] and (5). However, we do expect that there should exist some kind of relation between these quantities because of the similarity in their behavior. In particular, for the black hole geometry, the quantity, , as written in (15) shows

The extrinsic curvature shows precisely the similar type of behavior as reported in [16]. The connections between these two quantities are worth studying, which we leave for future studies.

Moving onto the calculation of the entanglement entropy with higher derivative term, it is argued in [20] that the hypersurface should be minimal when the entanglement entropy functional is described by (45). Upon applying such a minimality condition, it imposes an important restriction on the Gauss-Bonnet coupling, . This is given in (53) and (54), which essentially gives an upper bound on the coupling. The bound so obtained does not match precisely that derived in [24, 25] using the positivity of the energy fluxes and the causality constraint. Hence, it is highly plausible that theories with higher derivative term in the entanglement entropy functional do not have hypersurfaces that are either minimal or maximal in nature. So, the question about its nature remains to be seen in future studies.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors are pleased to thank the Almighty for giving them enough energy to do this work. Shesansu Sekhar Pal would like to thank the computer center, IoP, Bhubaneswar.