Entanglement Island versus Massless Gravity

Entanglement islands play an essential role in the recent breakthrough in addressing the black hole information paradox. Inspired by double holography, it is conjectured that the entanglement islands can exist only in massive gravity. There are many pieces of evidence but also debates for this conjecture. This paper recovers the massless entanglement island in wedge holography with negative DGP gravity on the brane. However, the spectrum of negative DGP gravity includes a massive ghost, implying the model is unstable. Our work supports the view that there is no entanglement island in a well-defined braneworld model of massless gravity if one divides the radiation and black hole regions by minimizing entanglement entropy. However, such a partition results in a zero radiation region containing no information. Whether there are other physical non-trivial partitions of the radiation region is an open question and deserves further study.

Introduction -The black hole information problem [1] presents a sharp contradiction between general relativity and quantum mechanics, whose resolution may open a window for their unification.Recently, a significant breakthrough in solving this problem has been achieved, where the entanglement island plays an essential role [2][3][4].See [5] for a review on this topic.So far, the discussions focus on either Jackiw-Teitelboim gravity in 1+1 dimensions without gravitons or double holography [6,7] in higher dimensions with only massive gravitons on the branes [8,9].In one novel doubly holographic model called wedge holography [10], there is massless gravity on the brane [11] but no entanglement island [12][13][14][15][16]. Inspired by the above facts, [13,14] conjectures that the entanglement island can exist only in massive gravity theories.They give a proof that the island is inconsistent with gravitational Gauss's law for long-range gravity [13].There are debates on this problem; see [17,18] for example.See also the general physical picture of islands [5], which works for long-range gravity naturally.
It is crucial whether the island mechanism can apply to massless gravity.First, gravity in the real world is massless.Gravitational wave experiments impose a strict upper bound on the gravity mass [19].Second, massive gravity suffers severe theoretical problems.Although it can be made ghost-free [20], it includes superluminal solutions and thus is non-causal [21].Therefore the significance of recent breakthroughs is discounted if it works only for massive gravity.This paper shows that the massless island can exist in wedge holography with negative Dvali-Gabadadze-Porrati (DGP) gravity [22].However, negative DGP gravity yields a massive ghost on the brane [23], which is not a well-defined theory.
Wedge holography meets DGP gravity -The action of wedge holography with DGP gravity (DGP wedge holography) on the brane is given by where we have set 16πG N = 1 and AdS radius L = 1, W is the wedge space in bulk, Q = Q 1 ∪ Q 2 denote two end-of-the-world branes, K is the extrinsic curvature, R Q is the DGP term (Ricci scalar) on the brane, T a and λ a with a = 1, 2 are parameters.See Fig. 1 and Fig. 2 for the geometry.As shown in Fig. 2, wedge holography can be derived from the zero-volume limit M → 0 of AdS/BCFT [10].Here dotted lines denote the zero-tension branes.
The left bulk region (−ρ 1 ≤ r ≤ 0 − ) is dual to the edge mode of BCFT on the left boundary Σ − .And similar for the right bulk region.Strong support for this partial duality comes from boundary entropy and boundary central charges [7,24].To have massless gravity on the brane [11], we impose Neumann boundary condition (NBC) on both branes There is an exact solution [24] provided that h ij is the metric of Einstein manifold cosh 2 (ρa) .Substituting (3) into the action (1) and integrating r, we get an effective action on each brane where G a eff N denotes the effective Newton's constant Let us make some comments.1.For the special class of solution (3), the induced metric h ij on the two spatiallyseparated branes constantly fluctuates together.It is a typical characteristic of standing waves and cannot spread signals instantaneously.Recall the standing waves between two parallel plates in the real world, i.e., ϕ(x) = cos(nπx/L)e −iωt .The oscillations on the two plates are the same for even integer n (ϕ(0) = ϕ(L)) and are opposite for odd integer n (ϕ(0) = −ϕ(L)).Everything goes well for the standing wave in the real world.Our case (3) is the same: just the zero modes of the standing wave in a wedge space.In fact, if one instantly changes the metric on the left brane, the metric on the right brane will not be affected until the gravitational waves propagate from bulk. 2. As shown in (4), there is Einstein gravity (zero modes) on the brane.There are also massive modes [25], which generally make the metric fluctuations on the two branes different.The key point is that, unlike Karch-Randall braneworld [6], wedge holography includes massless gravitons on the branes.At low energy, the massive modes decouple and only the massless mode can be excited.As a result, Einstein gravity behaves as a low-energy effective theory on the brane.3. Inspired by [7,10], we divide the bulk into two parts by a zero-tension brane at r = 0. See Fig. 2.Then, we take the region −ρ 1 ≤ r ≤ 0 to calculate Newton's constant on Q 1 .This partial region is dual to the edge mode in AdS/BCFT.4. We require G a eff N > 0 so that the dual CFT has positive central charges [24]. 5. Following [10,24], one can check that DGP wedge holography yields the correct universal terms of entanglement/Rényi entropy, Weyl anomaly, two point functions of stress tensor.This is a strong support for DGP wedge holography.6. Imposing null energy condition on the brane, one can prove the holographic ctheorem.See the appendix for details.
Massless island -Let us discuss the Page curve for the eternal two-side black hole, which is dual to the thermofield double state of CFTs [26].In the usual double holography, the black hole in the AdS brane is coupled to an asymptotic non-gravitational bath on the AdS boundary.In this paper, we consider gravitational bath in wedge holography.Let us first study the island phase (blue curve of Fig. 1).For wedge holography without DGP terms, [12] finds that the island region disappears outside the horizon.Below, we show how to recover islands by employing negative DGP gravity.
Let us focus on the black string in bulk where there is an AdS-Schwarzschild black hole with f (z) = 1 − z d−1 on each brane, î runs from 1 to d − 2.
One chooses the black hole on the weak-gravity brane as the bath approximately [12].From (1), [27] derives the holographic entanglement entropy for wedge holography with DGP terms where Γ labels RT surface, ∂Γ = Γ ∩ Q is the intersection of the RT surface and branes.[27] also provides nontrivial tests for the entropy formula (7).Substituting the embedding functions t = constant, z = z(r) into ( 6) and ( 7), we get the area functional S/(4π) where I denotes the island phase, V = dy d−2 is the horizontal volume, z ′ = ∂ r z(r) and z a = z[(−) a ρ a ] are boundary values of z on the two branes.Let us first discuss the case without DGP terms, i.e., λ a = 0.Then, by using 0 ≤ z ≤ 1 and f (z) ≥ 0 outside the horizon, we get A I ≥ V ρ2 −ρ1 dr cosh d−2 (r) = A BH , which means that the black hole horizon has the minimal area A BH and is the RT surface in the island phase.Another way to see this is as follows.Without DGP terms, the RT surface must end orthogonally on both branes.Otherwise, it cannot be a minimal area surface.This orthogonal condition is so strong that no extremal surfaces except the horizon can satisfy [12].When the RT surface (blue curve of Fig. 1) coincides with the horizon (dotted line of Fig. 1), both the radiation and island regions vanish, yielding zero entanglement entropy of radiation [12,15].We stress that the entanglement island and radiation region disappear at the same time.Naturally, a zero radiation region has no information loss and, thus, no need for an entanglement island.However, physically, we are more interested in a non-trivial radiation region.
Let us go on to discuss the effects of DGP terms.The bulk term of (8) decreases with z and becomes minimal on the horizon z = 1 [12], while the boundary term of ( 8) increases with z a for negative λ a .Due to the competition of these two terms, the area (8) could minimize outside the horizon if at least one of λ a is negative.There is another way to understand this.Note that the RT surface is no longer perpendicular to the brane when there is a DGP term [27].As a result, the no-go theorem of [12] becomes invalid.Let us explain more.For a well-defined action principle, one must impose suitable boundary conditions so that the variation of ( 8) vanishes on the boundary.We can impose either Dirichlet boundary condition (DBC) δz a = 0 or NBC where the repeated index 'a' does not sum.In the island phase, we choose NBC (9) since it can give a smaller area than DBC by changing the endpoint z a on the branes.Note that z ′ a = 0 means that the RT surface is perpendicular to the brane.From (9), it is clear that z ′ a is non-zero due to the DGP parameter λ a .This avoids the strong orthogonal condition of [12] and allows a nontrivial island outside the horizon.To see this clearly, let us turn the logic around.We can solve a class of extremal surfaces outside the horizon using the Euler-Langrangian equation derived from (8).For any such extremal surface, we can determine z a , z ′ a on the branes r a = (−) a ρ a and then derive λ a from NBC (9).Now return to our problem.For the parameters fixed above, the RT surface with the minimal area ( 8) is just the input extremal surface outside the horizon, which satisfies both the Euler-Langrangian equation and NBC.By choosing suitable parameters, we can ensure the input extremal surface is minimal instead of maximal [25].Thus the massless island indeed exists in wedge holography with suitable DGP terms.Without loss of generality, we take (ρ 1 = 0.5, ρ 2 = 1.1, λ 1 = 0, λ 2 ≈ −0.243) and d = 4, V = 1 as an example, which gives Since the left brane has a smaller effective Newton's constant, it corresponds to the weak gravity region and can be taken as the gravitational bath.By minimizing the area functional (8), we determine numerically the RT surface, which has a smaller area than that of black holes where we focus on half of the two-side black hole.This RT surface (also called island surface) starts at z 1 ≈ 0.970 on the left brane and ends at z 2 ≈ 0.625 on the right brane.So the radiation region (red line of Fig. 1) locates at z ≥ z 1 ≈ 0.970 on the left brane.
Universality of no-island phase -Let us go on to study the RT surface in the no-island phase, also called Hartman-Maldacena (HM) surface (orange curve of Fig. 1).The HM surface starts at z = z 1 on the left bath brane, ends on the horizon at the start t = 0, and then passes the horizon at t > 0. Let us first study the case at t = 0.By adjusting the endpoint on the horizon, we derive the HM surface with minimal area which is smaller than A I (11).Here N denotes the noisland phase.Thus the no-island phase dominates at the beginning.At t > 0, the HM surface passes through the horizon, and it is convenient to use the infalling Eddington-Finkelstein coordinate dv = dt − dz f (z) .Assuming the embedding function v = v(z), r = r(z), we obtain the area functional and the time of CFTs on the left bath brane , where z max ≥ 1 is the turning point of the two-side black hole, which obeys v ′ (z max ) = −∞ and t(z max ) = 0 [28].Note that we have set λ 1 = 0 as in the above example.For simplicity, we label t 1 by t in this paper.By numerical analysis, we find that r approaches zero for large times.Thus we have , which is the same as the volume conjecture of holographic complexity [29,30] for AdS-Schwarzschild black hole in d spacetime dimensions.This raises the question if there is a deep relation between entanglement entropy and complexity.Following [28], we get lim which shows that area of HM surface increases linearly over time at late times.Note that this late-time behavior is independent of the parameters (ρ a , λ a ) as long as the radiation region is non-zero.The HM surface vanishes for a zero radiation region, and the entanglement entropy of radiation remains zero during the time evolution [15].By numerical calculations, we derive the general time dependence of A N and draw the Page curve in Fig. 3, where A and t are half that of a two-side black hole.At early times, the no-island phase (orange line) dominates, and the entanglement entropy increases with time.After the Page time, the island phase (blue line) dominates, and the entanglement entropy becomes a constant.So the Page curve of eternal black hole is recovered.Some comments are in order.1.As discussed above, to have a nontrivial island outside the horizon, at least one of λ a is negative.The negative DGP gravity, however, leads to a massive ghost [23].We will discuss briefly the ghost problem below.2. The ghost problem can be resolved if one imposes DBC instead of NBC on the brane (like one imposes DBC on the AdS boundary in AdS/BCFT with a non-gravitational bath).Although DBC fixes the induced metric on the brane, it allows dynamical gravity from the fluctuations of extrinsic curvatures [31].For DBC, the negative DGP term plays the role of counter terms, as in AdS/CFT.One can check the ghost mode disappears in the mass spectrum with DBC.Unfortunately, although DBC removes the massive ghost, it also removes the massless graviton.See discussions below.Thus, one cannot simultaneously have the island and massless graviton in a ghost-free braneworld model.3. The entanglement entropy in this paper is renormalized and finite since the branes are located at finite places instead of asymptotic infinity.4. Due to the similarity to wedge holography, the massless island also exists in cone holography with negative DGP gravity [32,33], which suffers the same ghost problem.
The ghost problem -Now, we show the spectrum of negative DGP gravity includes a massive ghost.For simplicity, we focus on the parameters (λ 1 = 0, λ 2 < 0), which is the case discussed above.Consider the perturbation around the background metric (3) where h (1) ij denotes the metric perturbation, and the brane locations are unchanged at the linear perturbation.Imposing the transverse traceless gauge for h (1) ij (y) and separating variables of Einstein equations, we get [23] cosh where m denotes the mass of gravitons on the brane.Solving ( 16), we obtain where x = − tanh r, P  18) The above boundary conditions fix the mass spectrum and the ratio c 1 /c 2 for each Kaluza-Klein (KK) mode.The orthogonal relation of KK modes implies the inner product [23] up to a normalization of H m (r).We remark that the inner product (19) becomes the sum of the reciprocal of Newton's constant (5) for the massless mode with m 2 = 0, H m (r) = 1.For negative λ 2 , the inner product (19) could become negative for some modes.Take the parameters (ρ 1 = 0.5, ρ 2 = 1.1, λ 1 = 0, λ 2 ≈ −0.243, d = 4) as an example, we find a ghost with negative inner product where we have chosen the normalization H m (ρ 2 ) = 1.The above ghost is also a tachyon with negative m 2 .One can prove there is always a ghost mode for λ 1 = 0, λ 2 < 0.
The fastest way to see this is by applying the spectrum identity [23] m To satisfy (21) for negative λ 2 , at least one inner product of KK mode should be negative.Note that the spectrum identity becomes divergent in the limit λ 2 → 0, implying a phase transition of the spectrum.That is reasonable because DGP gravity brings an additional mode on the brane, which changes the spectrum discontinuously.Now let us discuss what happens if we impose Dirichlet boundary condition (DBC) on the second brane One can impose either NBC H ′ m (−ρ 1 ) = 0 or DBC H m (−ρ 1 ) = 0 on the first brane Q 1 .For the above boundary conditions, the inner product becomes which is always positive, suggesting no ghost modes for DBC.Unfortunately, DBC removes the massless mode, too.From EOM ( 16), we solve H m (r) = 1 for the massless mode with m 2 = 0. Clearly, H m (r) = 1 disobeys the DBC (22).
Conclusion and open question -This paper shows that entanglement islands can exist in long-range gravity in a braneworld model with negative DGP gravity.However, negative DGP gravity suffers the ghost problem, which is not well-defined.On the other hand, the positive DGP gravity is ghost-free but has no entanglement island.Our results support the view there is no entanglement island in a well-defined theory of massless gravity if one divides the radiation and black hole regions by minimizing entanglement entropy.According to [15], one always gets a zero radiation region with zero entanglement entropy in such a partition.As expected, a zero radiation region results in a vanishing island.However, we are more interested in a non-zero radiation region.It raises the question of whether other non-trivial partitions of the radiation region exist.Naturally, one can consider the radiation region observed by an observer [34], which is generally non-zero.Whether this scheme works is an open question and deserves further study.
Aacknowledgments -We thank T. Takayanagi, X. Dong, Y. Pang, H.J. Wang and D.q.Li for valuable comments.This work is supported by the National Natural Science Foundation of China (No.12275366 and No.11905297).

Appendix: holographic c-theorem
Let us proves the holographic c-theorem on the brane with DGP terms, which provides another support for DGP wedge holography.Note that the holographic ctheorem on the brane is actually the holographic gtheorem in AdS/BCFT [7].Following [7], we focus on an AdS spacetime in bulk.Performing coordinate transformations ẑ = z/ cosh(r), x = z tanh(r), we rewrite AdS metric (6) with f (z) = 1 into the Poincare form where matter fields live on the branes x = (−1) a F (ẑ). Then the NBC (2) becomes with T ij M the matter stress tensor.We impose the null energy condition T ij M N i N j ≥ 0 on the brane, where Multiplying the LHS of ( 26) by a positive factor 1 + F ′ (ẑ) 2 ; − sinh 2 (ρ a ) sinh(ρ a ), (28) which is equal to the inverse of the effective Newton's constant (5).In the above derivations, we have use the formula cosh d−2 (r)dr = (1 + x 2 ) d−3 2 dx = x 2 F 1 1 2 , 3−d 2 ; 3 2 ; −x 2 , where x = sinh(r).Recall that the A-type central charge of dual CFTs is proportional to 1/G a eff N , so the c-function ( 27) reduces to A-type central charge at the UV fixed point.Now we finish the proof of holographic c-theorem on the brane with DGP gravity.Note that λ a is arbitrary in the above proof.We further require that the c-function ( 27) is positive at least at one point of F ′ (ẑ).Equivalently, the effective Newton's constant ( 28) is positive at least for one ρ a .It leads to a lower bound of λ a .For instance, we have λ a ≳ −0.300, for d=4.

FIG. 1 .
FIG.1.Geometry of wedge holography and its interpretation in black hole information paradox.Q1 denotes the bath brane with weak gravity, and Q2 is the AdS brane with intense gravity.The red and purple lines denote the radiation R and island I on branes.The dotted line, blue, and orange lines indicate the horizon, RT surfaces in the island and no-island phase at t = 0, respectively.

FIG. 2 .
FIG. 2. Wedge holography from AdS/BCFT.Here BCFT lives on manifold M with two boundaries Σ − and Σ + .The dotted lines denote the zero-tension branes.The left bulk region (−ρ1 ≤ r ≤ 0 − ) is dual to the edge mode of BCFT on the left boundary Σ − .And similar for the right bulk region (0 + ≤ r ≤ ρ2).By taking the limit M → 0, we obtain wedge holography from AdS/BCFT.

FIG. 3 .
FIG. 3. Page curve for DGP wedge holography.The orange and blue curves denote the area of HM surface and island surface, respectively.The entanglement entropy firstly increases with time (orange line) and then becomes a constant (blue line), which recovers the Page curve of eternal black holes.