The derivation of Ryu-Takayanagi (RT) put forward by Lewkowycz and Maldacena (LM) is essentially an extension of the (boundary) replica trick into the bulk. The basic idea of the replica trick is that entanglement entropy is generally hard to calculate, but Rényi entropies are comparatively easy. The latter are defined as
where is the reduced density matrix associated with the boundary subregion under consideration, whose bulk minimal surface we wish to use in RT. The procedure for obtaining the entanglement entropy is to make copies of the original manifold , and glue them together cyclically along the cuts formed by the region ; the resulting manifold is called the -fold cover, , and the copies of region carry entropy . The entanglement entropy associated to the region is then recovered in the limit as :
Note that in the first equality, the use of l’Hospital’s rule is justified since .
We’ve illustrated the -fold cover below for . Each blue sheet represents a copy of the original boundary manifold , which we’ve glued together along the cuts as follows: in the original Euclidean path integral, we had at each of the two boundary points of . Now, going to takes us to the second copy, to the third, to the fourth, and finally back to the first; that is, has a symmetry that takes .
The density matrix is defined via the usual Euclidean path integral:
where is the Euclidean action on and is the thermal partition function at inverse temperature , with time-evolution operator . Taking copies and computing the trace (i.e., integrating over the fields, with the aforementioned boundary conditions) then yields
where we’ve denoted the partition function on the -fold cover by , and the denominator ensures that the normalization is preserved. Substituting this into the above formula for the Rényi entropy, we have
which will prove more tractable in the manipulations to come.
So far we’ve dealt only with the boundary. Now we wish to move into the bulk. To do so requires finding the bulk solution whose boundary is . In general, there may be multiple such solutions; we’ll proceed with the dominant saddle point . We then move into the bulk through the differentiate dictionary, which equates the bulk (that is, the on-shell bulk action at large ) and boundary partition functions. Expanding the partition function on in the saddle-point approximation, we therefore have
where the ellipsis denotes both subleading saddles and corrections; we’ll drop these henceforth.
At this point we must address a subtlety lurking in the above, namely: all this -fold cover business assumes , and hence the limit obviously requires that we analytically continue to . But for non-integer , can generally not be written as a partition function with a local action. The reason is that for integer , the fixed points on the boundary of the orbifold are simply , from which we can extend locally into the bulk as usual; but for non-integer , we have no regular orbifold structure.
There are two options for proceeding. One is to first calculate for integer values and attempt to analytically continue the result, but this is generally hard. An easier alternative — and the key to the LM derivation — is to do the analytic continuation in the bulk instead. This relies on the observation that has a symmetry that cyclically permutes the replicas, and the assumption that this symmetry extends into the bulk to the dominant saddle . In other words, rather than considering the boundary orbifold , we instead consider the bulk orbifold , which is regular everywhere except at the fixed points of the symmetry.
It is important to note that . This can be seen in the illustration below. The left-most image is the original geometry, with a “bump” for illustration. In the middle image, we’ve cut the boundary , made copies, and glued them together to form the -fold cover , with bulk dual . The dotted lines illustrate the symmetry, by which we orbifold to create the right-most image. Now one can see that although the boundary orbifold is simply the original manifold (the endpoints are identified), the same is not true in the bulk due to the conical defect. Imagine folding a piece of paper into a cone; away from the tip, it’s still locally flat, but one can detect the presence of the conical singularity by performing a parallel transport around the axis of symmetry. In this sense, the conical defect has a global effect on the geometry, and this is what prevents us from identifying with .
These fixed points form a codimension 2 surface with a conical deficit of ; we shall denote this surface . As mentioned above, the fixed points on the boundary orbifold are simply , so this is where is anchored on the boundary. (Note that the surface is the analogue of the fixed point in the original Gibbons-Hawking analysis).
Before continuing, let’s pause to observe why this procedure allows us to circumvent the restriction on naïve analytic continuation mentioned above, namely that we could not express in terms of a local action. The boundary of is the boundary orbifold , which is simply the original manifold , with fixed points given by the boundary of the region . The symmetry therefore acts on the boundary of as , where is the angular coordinate around (that is, is simply the thermal time in the Euclidean path integral, which is of course periodic), and there is no obstruction to locally extending the coordinate into the bulk such that the symmetry acts on in the same way. The fixed points of the action of on give us as described above. The key is that, since we can locally extend the symmetry from the boundary of the original manifold, it’s no longer necessary to think of as the orbifold of some regular geometry, and thus we’re free to analytically continue away from integer .
The upshot of all this is that the symmetry allows us to write
simply because, by extending the symmetry in the above manner, we’re guaranteed that the contribution from the dominant saddle point of the -fold cover, , is simply times that from the orbifold, . This expression is useful because, in conjunction with the above expression for the partition function (dropping the higher order terms), we may write the Rényi entropy as
where is simply the original bulk dual of .
It now remains to analytically continue to non-integer , so that we can take the limit of this expression. In the process, we shall see that is precisely the minimal bulk surface associated with the original region , which therefore enables us to prove RT. There are a couple ways to find the analytic continuation of , but here we will follow the so-called squashed cone method.
To begin, we choose a set of local coordinates such that parametrizes the radial (minimal) distance to from the boundary, with angular coordinate :
where are indices in the plane orthogonal to , while are indices along . is the extrinsic curvature tensor of . The ellipsis denotes terms higher order in , which are subleading near (since there). This is called the squashed cone because the first term resembles the line element in polar coordinates (the “cone”; recall the familiar Euclidean black hole geometry), but the second term, with the index running over , breaks the U(1) symmetry (the “squashed”).
In these coordinates, one sees that the conical deficit at is as follows: rewriting the metric in terms of the proper distance , we have
hence we must identify
and thus, Taylor expanding around , the deficit angle is
However, we know from the general considerations above that the deficit angle must be for , and therefore (to leading order) we must have .
To find , one solves the bulk equations of motion with the unconventional IR boundary condition that the metric should resemble the form above near . (The boundary condition is “unconventional” because we normally impose a UV boundary condition as per AdS/CFT; in this case however, the boundary of is of course ). In the course of doing so, one finds that, in complex coordinates , the -component of the Einstein equation is
where is the trace of the extrinsic curvature. The first term is clearly divergent as , while the remaining terms are higher-order in (and hence less divergent in this limit).
Now, the stress tensor from the matter (i.e., bulk) sector should be finite—it’s regular at integer because is regular, and as per our discussion above, this well-behavedness should be preserved under . Hence, since the l.h.s. is finite, the divergence on the r.h.s. must vanish. This implies that we must have
in the limit. But this is precisely the condition for a minimal surface! And since this condition is satisfied when , we conclude that is indeed the minimal surface associated to the boundary region .
We now have all the ingredients in place to prove RT, but we must perform one final computation. Upon taking the limit of , we have
and thus we must calculate the variation of the action to leading order in . (In going to the second line, l’Hospital’s rule is justified since ). This will introduce boundary terms, which — as in the aforementioned Gibbons-Hawking result — turn out to be all-important.
We will not compute these boundary terms explicitly here; one can find the analysis in the LM paper. Rather, we will present the following simple heuristic argument offered by Dong. At there is no conical defect, and therefore the only contribution must be from boundary terms in the action. Since is non-singular, it gives no contribution, and hence we should excise a small region around , thereby introducing a boundary which is precisely the area of . Thus,
where, of course, fixing the constant of proportionality requires performing the explicit computation. Upon fixing this, and using the above fact that is precisely the minimal surface associated to the region , one indeed obtains RT.
If the above argument about excising seems sketchy, consider again the expression . The l.h.s. is the bulk dual of the entire -fold cover , and is therefore regular everywhere; in particular, it has no conical deficit. Thus, if we want this expression to hold, the r.h.s. cannot include any contribution from either.
Pingback: Islands behind the horizon | Ro's blog