Conformally invariant averaged null energy condition from AdS/CFT

We study the compatibility of the AdS/CFT duality with the bulk and boundary causality, and derive a conformally invariant averaged null energy condition (CANEC) for quantum field theories in 3 and 5-dimensional curved boundaries. This is the generalization of the averaged null energy condition (ANEC) in Minkowski spacetime to curved boundaries, where null energy is averaged along the null line with appropriate weight for conformal invariance. For this purpose we take, as our guiding principle, the no-bulk-shortcut theorem of Gao and Wald, which essentially asserts that when going from one point to another on the boundary, one cannot take a “shortcut through the bulk”. We also discuss the relationship between bulk vs boundary causality and the weak cosmic censorship.


Introduction
Holography, or gauge/gravity correspondence [1][2][3] is probably the most mysterious yet profound duality we learned through string theory. Although two decades has passed from its discovery, many aspects remain to be understood better. One of the key questions which we would like to pursue is as follows; given the boundary theory, when and how the holographic bulk dual emerges. For studies along this line, see for examples [4,5]. Although all of the consistent boundary (conformal) quantum field theories could, in some sense, define their bulk dual, it is far from obvious whether the corresponding bulk theories would also support the Einstein gravity. 1 To deepen our understanding of AdS/CFT correspondence along the direction mentioned above, in this paper we focus on the causal structures of both bulk and boundary, and their relationships. Assuming that the bulk dynamics is dominated by the Einstein gravity, we would like to ask that in order for the bulk/boundary correspondence to work, how both of bulk and boundary causal structures need to be consistent. Suppose that the boundary geometry is given and corresponding bulk emerges. Let us consider any two JHEP03(2020)161 points in the boundary. If there is a shortcut causal curve through the bulk that connects these two boundary points, i.e., the bulk curve that can travel faster than the one on the boundary, then such a boundary cannot support the holographic bulk geometry. This is because propagator through the bulk carries information faster than the boundary one, resulting in mismatch between the bulk and boundary correlators. In other words, this implies that the fastest causal curve which connects two boundary points on an achronal null curve is the boundary null geodesic. This "no-bulk-shortcut" property was proven by Gao-Wald [8] (see also [9]) under the assumption that there is no causal pathology in the bulk, such as naked singularities or causality violating region.
Given these observations, it appears reasonable to promote the Gao-Wald's no-bulkshortcut property to one of the guiding principles. With these principles, we would like to understand which boundary metric can support the emergent bulk as Einstein gravity. Then our main question, which is twofold, is the following: (i) Given generic curved boundary metric, what kind of effects on the boundary theory does the no-bulk-shortcut property give rise to?
(ii) What kind of boundary field theory possibly admits a holographic bulk dual with bulk-shortcut?
The key to answering these questions (i) and (ii) is the averaged null energy condition (ANEC). In fact, concerning the first question (i), in flat Minkowski boundary case, Kelly and Wall [10] derived an ANEC in the boundary theory from the no-bulk-shortcut condition. Note that in the flat Minkowski background case, there is a completely field theoretic proof by [11,12]. Therefore we expect that by considering curved boundary metrics, we may also be able to obtain a similar type of non-local null energy inequality along an achronal null geodesic segment in a class of strongly coupled field theories by using the AdS/CFT duality. As for the second question (ii), for such a boundary theory, we expect that if the bulk allows a short-cut, then it manifestly contradicts with the boundary causality and therefore that AdS/CFT duality fails to hold on such a boundary.
In the Einstein gravity, ANEC is one of the most fascinating non-local null energy conditions because it is essential to prove the singularity theorem, topological censorship, and other important theorems in classical general relativity. In a conformally coupled free scalar field theory, however, ANEC can be violated in conformally flat spacetime [13] (see also ref. [14] for general curved spacetime). Recently, the violation of ANEC has also been shown in strongly coupled field theories in curved spacetime by using the AdS/CFT duality [15]. The key issue for both counter-examples of the ANEC is that local violation of the null energy condition at a point can be enhanced via conformal transformations. This is mainly due to the fact that ANEC is not conformally invariant. Therefore, ANEC can be violated in the conformally transformed spacetime. Given these, in order to generalize ANEC to curved background boundary quantum field theories, it is natural to ask whether there is a conformally invariant averaged null energy condition, since such quantity can restrict the extent of the local negative null energy.

JHEP03(2020)161
Motivated by the questions raised above, in this paper we shall study relationships between the bulk and boundary causal structures in the context of holography. Concerning the question (i), we consider 4 (and 5)-dimensional asymptotically AdS vacuum spacetime in which the conformal boundary is a static spatially compact universe, and derive a new conformally invariant averaged null energy condition (CANEC) along an achronal null geodesic segment in a class of strongly coupled field theories by using the AdS/CFT duality. As a special case, when the conformal boundary is a flat spacetime, our CANEC reduces to the usual ANEC, thus being consistent with the result of Kelly and Wall [10]. Our CANEC is written only in terms of quantities in the boundary such as Jacobi fields [16] associated with boundary null geodesics. We shall also consider 6-dimensional asymptotically AdS vacuum bulk spacetime of which conformal boundary is a 5-dimensional deformed static Einstein universe whose compact spatial sections are not symmetric but deformed sphere. Also in this case, we show that the no-bulk-shortcut property leads to CANEC in 5-dimensional boundaries. Because of its conformal invariance, CANEC introduced in this paper would be more useful than ANEC to put restrictions on the behavior of boundary stress-energy tensors.
As for the question (ii), we briefly discuss that if CANEC is violated on a given boundary theory, then the corresponding bulk must admit a bulk-shortcut, giving rise to inconsistency between the bulk and the boundary causality. In this way, our boundary CANEC can be used as one of the criteria for having a consistent, healthy arena for AdS/CFT duality.
In the next section we explain basic formulas we use in the subsequent sections. In section 3, using no-bulk-shortcut property, we derive, holographically, CANEC for 3dimensional boundary, which is static Einstein universe with constant curvature. Then in section 4, we generalize the previous results to the deformed compact boundary. We also show the conformal invariance of CANEC. In section 5, we consider 5-dimensional deformed compact boundary and derive CANEC holographically. Section 6 summarizes our results. In appendix, we briefly discuss 4-dimensional deformed boundary universe, which admits conformal anomalies.

Preliminaries
We consider d + 1-dimensional asymptotically AdS d+1 spacetime (M, g ab ) with d-dimensional conformal timelike boundary ∂M . We first provide our geometric conditions, including more detailed statement of the no-bulk-shortcut property, and then recall the formulas for a renormalized boundary stress energy tensor.

No bulk-shortcut property
Let us consider an arbitrary pair of two points p and q on the conformal boundary ∂M connected by a null geodesic γ that is lying entirely in the boundary ∂M and is achronal with respect to the boundary metric. If there is a timelike curve through the bulk M that connects the boundary two points p and q, then the entire spacetime M ∪ ∂M is said to admit a bulk-shortcut.

JHEP03(2020)161
When there is no such a bulk-shortcut, the null geodesic curve segment γ from p to q is called the fastest causal curve from p to q in the entire geometry. Within the Einstein gravity, it has been shown by Gao and Wald in ref. [8] that this is indeed the case for spacetimes satisfying some physically reasonable conditions, including the null energy condition, or more generally ANEC for the matter fields in the bulk. It was shown recently that the lack of this property can be connected with the violation of the weak cosmic censorship [15]. In the rest of this paper, when a spacetime under consideration does not admit any bulk-shortcut, we refer to such a spacetime as possessing the no-bulkshortcut property.
If an asymptotically AdS spacetime does not possess the no-bulk-shortcut property, then while a boundary field theory correlator must have its support on and inside the boundary lightcone (e.g., the one emanating from a boundary point p with the other boundary point q on it), the corresponding bulk correlator would involve some correlation between p and some other boundary point which is strictly to the past of q with respect to the boundary metric. Thus it gives rise to a causality violation from the boundary field theory viewpoint. Therefore, in that case, one would not be able to construct a consistent holographic model. In view of this, it is reasonable to regard the no-bulk-shortcut property as one of the guiding principles for a sensible choice of geometry (M, g ab ) for which the AdS/CFT duality works properly.
In addition, we also impose the following conditions,

The bulk spacetime satisfies the Einstein equations
where l is the length of the negative cosmological constant, κ 2 is the gravitational constant, and T ab is the stress-energy tensor in the bulk.
Physically the second condition implies that all the matter fields do not extend to spatial infinity and there is no matter radiation reaching the null infinity, ∂M . The second condition may be replaced with the condition that bulk matter fields decay sufficiently quickly toward the boundary.

Boundary stress-energy tensor
For later convenience, we adopt the following d + 1-dimensional coordinates in the bulk, where z = 0 corresponds to the conformal boundary withĝ µν (z = 0, x) being the boundary metric. Since any conformal transformation does not change the causal structure, we consider the conformally transformed metricĝ ab dx a dx b below so that the boundary metric becomes regular.

JHEP03(2020)161
In general, the metricĝ µν can be expanded aŝ where the logarithmic term appears only for d = even, i.e. even boundary dimensions, and g (2k+1)µν = 0 for any integer k satisfying 0 ≤ 2k + 1 < d [17]. The coordinate system (z, x µ ) in which the metric takes the form of (2.2) with the expansion (2.3) is called the Fefferman-Graham coordinate system. For a given g (0)µν metric, the subleading terms g (2)µν and g (4)µν (d > 4) are given as [17] 2 whereR µν andR are the Ricci tensor and the Ricci scalar of the conformal boundary metric g (0)µν , respectively. All the subleading coefficients g (n)µν with n < d are determined from the boundary metric g (0)µν and the coefficient g (d)µν corresponds to the renormalized stress energy tensor on the boundary, where X µν represents the gravitational conformal anomaly, which vanishes for the odddimensional boundaries. In the following sections, for simplicity, we shall restrict our attention to such odd-dimensional boundaries. We briefly discuss the even-dimensional (d = 4) boundary case in appendix A.

d = boundary spacetimes with constant spatial curvature
In this section, we start by considering d = 3 static boundary spacetimes with a constant spatial curvature. Such a boundary spacetime is naturally derived from typical asymptotically AdS spacetimes. For example, the boundary spacetime of the asymptotically global AdS spacetime is the static Einstein universe with positive spatial curvature, for which we derive a null energy inequality from the no-bulk-shortcut property. For the case with negatively curved spatial section, on the other hand, the no-bulk-shortcut condition appears to be always satisfied, as far as analyzing a certain bulk region near the boundary where the Fefferman-Graham expansion works. JHEP03(2020)161

Static compact universe
First, we start with 3-dimensional Einstein static universe with constant positive spatial curvature, as our conformal boundary metric g (0)µν . The metric is written by where 0 ≤ ρ ≤ π, ϕ the angular coordinate with 0 ≤ ϕ ≤ 2π, and U , V are null coordinates. Consider the boundary null geodesic segment γ along U = 0, ϕ = 0 with the tangent vector l µ = (∂ V ) µ from a boundary point p : (z, U, V ) = (0, 0, 0) at the, say, south pole to a point q : (0, 0, V 0 ) = (0, 0, √ 2π) at the corresponding north pole. This null geodesic segment is achronal on the boundary, and the null-null component of the Ricci tensor becomeŝ Let us consider the bulk causal curves near the boundary null geodesic γ, which connect two boundary points p and r with r being on the null line V = V 0 (which is a null geodesic with the tangent ∂ U ) through the point q (see, figure 1). We denote one of such bulk causal curves by ξ. Now if r is in the future of q, then the coordinate value of U at r is positive, and ξ is just like the path a in figure 1. On the other hand, if r is to the past of q, then U at r is negative and ξ is like the path b in figure 1, being a part of the broken null curve from p to q through r. 3 In this case, p and q are also joined by a timelike curve, according to Proposition 4. 5. 9 in ref. [16], and therefore the no-bulk-shortcut condition is not satisfied.
In order to see in more detail what should happen under the no-bulk-shortcut condition, let us examine the causal curve ξ which gives the minimum of U at r. The tangent vector K is generally expanded as where is an arbitrary small parameter and λ (0 ≤ λ ≤ √ 2π) is the parameter of the causal curve. Since p and r are boundary points, z must satisfy By the fact that ξ is the non-spacelike curve,ĝ ab K a K b ≤ 0. Using eq. (2.4) and (3.1)-(3.3), we obtain up to O( 2 ) as JHEP03(2020)161 In the latter case (ii), the broken null curve from p to q through r implies that there is a timelike curve (red broken curve) from p to q.
where a dot means the derivative with respect to λ and the equality holds only if K is a null vector. By integrating eq. (3.5), U ( √ 2π) must satisfy where the second equation is the boundary condition (3.4). So, if there were z 1 (λ) with a negative value I, then there were a bulk null curve with a negative U ( √ 2π) (note that the equality holds only if K is null). This would contradict the no-bulk-shortcut condition.
Applying the variational principle with respect to z 1 to I, one finds the equation of motion for z 1 asz

JHEP03(2020)161
which gives the minimum 4 of I, and the solution is where the amplitude is set equal to unit without loss of generality. Substituting this into the r.h.s. of eq. (3.6), we find that I = 0, implying that the bulk null causal curve obeying eq. (3.9) ends on the boundary point q at the same moment with the null geodesic γ, up to O( 2 ). At third order in , imposing that ξ is the non-spacelike curve, one obtains Integration of the inequality from λ = 0 to λ = √ 2π yields where we used the integration by part under the boundary condition z 2 (0) = z 2 ( √ 2π) = 0 and eq. (3.8). For the odd-dimensional case, g (3)µν corresponds to the renormalized stressenergy tensor on the boundary by eq. (2.6). Therefore the inequality (3.11) reduces to the null energy inequality which restricts the extent of the negative value of the null energy T µν l µ l ν . As shown later, the weight function z 3 1 = sin λ √ 2 3 corresponds to the cube of the Jacobi field η of the null geodesic congruence of the null geodesic γ. We will show in next section that in order that (3.12) is conformally invariant, it is crucial to include this weight function.

d = 3 hyperbolic universe
Next, we consider d = 3 static boundary spacetime with a negative spatial constant curvature. Our conformal boundary metric g (0)µν is given by As in the positive constant curvature case, we consider the bulk causal curve ξ with tangent vector (3.3), and we obtain

JHEP03(2020)161
at O( 2 ). Hence U at point r is strictly positive unless z 1 ≡ 0 at O( 2 ). Since z 1 = 0, one can see that contribution at the next order O( 3 ), which is analogous to eq. (3.10) vanishes, independently of the subleading behavior of g (3)µν l µ l ν . This is consistent with the no-bulk-shortcut property, and implies that one cannot derive the null energy inequality which restricts the extent of the negative value of the null energy T µν l µ l ν . Actually, one can see this fact from 4-dimensional hyperbolic AdS black hole solution [19], which is dual to the thermal state of the boundary theory in the background spacetime (3.13). In this case, the mass can be negative, and accordingly g (3)µν l µ l ν can become a negative constant. This fact leads us to speculate that the averaged null energy condition can be derived from the no-bulk-shortcut property for spatially compact universe with positive (or zero) spatial curvature only. 5 4 Conformally invariant averaged null energy condition in d = 3 deformed compact universe In this section we extend the results in the previous section to a more general class of d = 3 dimensional boundary spacetimes. In particular, we consider 3-dimensional spatially compact universe with non-constant spatial curvature, and write down conformally invariant averaged null energy condition (CANEC) in terms of the Jacobi field of the null geodesic congruence of the null geodesic γ. We assume that the conformal boundary metric is static and circularly symmetric.

Conformally invariant averaged null energy condition
We consider the following conformal boundary metric g (0)µν , where ψ and µ (µ ≥ 0) are functions of ρ (0 ≤ ρ ≤ π). As in the previous section, µ vanishes at both the south pole ρ = 0 and the north pole ρ = π. This is more general than the metric (3.1). Let us consider a future-directed null geodesic γ along U = 0 and ϕ = 0 from the south pole point, p, to the north pole point, q along the boundary. As easily checked, is the tangent vector of the boundary null geodesic, which is achronal between p and q, satisfying l ν ∇ ν l µ = 0. Let us denote the values of the affine parameter λ at p, q, by λ − , λ + , respectively, and also denote the value of coordinate V at q by V 0 . The Raychaudhuri equation of the null geodesic congruences with tangent vector l along the 3-dimensional boundary is

JHEP03(2020)161
where θ is the expansion of the null geodesics. By defining θ := (dη/dλ)/η, eq. (4.3) is reduced to The function η, which is called the Jacobi field [16], represents separation of points between the two adjacent null geodesics on the boundary. This vanishes at both the south and north poles, which are conjugate to each other, i.e. they are focal points. Note that this Jacobi field is defined on the boundary only. Following the procedure in the previous section, we consider the bulk causal curves ξ near the null geodesic γ which connects two boundary points p and r. Here, r is a point on the V = V 0 null geodesic line along ∂ U through q. The tangent vector K is written where z and K U can be expanded as eq. (3.3) as a series in the small parameter .
At O( 2 ), the inequalityĝ ab K a K b ≤ 0 reduces to Integrating the above inequality from λ = λ − to λ = λ + , we obtain Therefore, U (λ + ) ≥ 0 up to O( 2 ), where equality holds only for the null curve.

JHEP03(2020)161
where the equality holds for the bulk null curve. From the no-bulk-shortcut property, U (λ + ) should be non-negative, and hence we derive the following inequality for the renormalized stress-energy tensor (2.6) with vanishing X µν . Note that eq. (4.10) is equivalent to eq. (4.4) in the boundary theory. Therefore the above inequality is described in terms of the Jacobi field η as It is worth noting that the final inequality (4.14) is written in terms of only boundary quantities, independent of the bulk quantities.

Conformal invariance
We show that the inequality (4.14) is invariant under the conformal transformation of the boundary metric. Under the conformal transformation, the Ricci tensor, the null vector, the affine parameter, and the Jacobi field are transformed asR where∇ µ is the covariant derivative with respect tog µν andl is the tangent vector of the null geodesic on the conformal metric with the affine parameterλ. The transformation of the affine parameter can be understood from l µ ∇ µ = d dλ , and the one of the Jacobi field can be understood since it represents the separation distance of adjacent null geodesics, which will be multiplied by Ω, under the metric rescaling (4.15).
The l.h.s. of eq. (4.4) is rewritten in terms of the quantities on the conformal metric as On the other hand, the r.h.s. of eq. (4.4) is rewritten in terms of the quantities on the conformal metric asR

JHEP03(2020)161
where we used the fact thatl µ is null vector andl µ∇ µl ν = 0. Therefore, starting from (4.4), after conformal transformation, we obtain Note that the renormalized stress-energy tensor (2.6) transforms under the conformal transformation as 6 T µν = Ω −1 T µν (4.20) for d = 3 [17]. Combining this fact with the transformation eq. (4.16), one finds the inequality (4.14) is conformally invariant. The achronal averaged null energy condition [20] in curved spacetime is clearly not conformally invariant. Therefore, as shown in [15], for choosing a suitable conformal factor, it can be always violated, provided that the null energy condition is locally violated on the boundary theory. In the framework of the conformal boundary theory, all physical quantities should be described in a conformally invariant way. In this sense, eq. (4.14), the conformally invariant averaged null energy condition (CANEC), is expected to be more useful than the averaged null energy condition to put restrictions on the boundary stressenergy tensors. 7

d = dimensional spatially compact universe
In this section, we shall restrict our attention to d = 5 static spatially compact boundary spacetime. In this case, the renormalized stress-energy tensor (2.6) is determined by the g (5)µν term, which is at O( 5 ) and sub-dominant compared with the g (4)µν term at O( 4 ) in the expansion (2.3). Therefore the g (4)µν term determines whether or not the bulkshortcut property is satisfied in the bulk. We will show below that, up to O( 4 ), U (λ + ) at the north pole for a bulk causal curve near the boundary null geodesic cannot be negative even when the boundary spacetime is largely deformed from the static Einstein compact universe. This implies that bulk-shortcut property is satisfied as long as the boundary CANEC, which is determined holographically by the g (5)µν term at O( 5 ), is satisfied.

General formulas
Let us consider, as conformal boundary metric g (0)µν , static spatially compact spacetime with the metric in double null coordinates where h mn dx m dx n are the metric of the three-dimensional unit sphere and the null coordinates are given by U = t − ρ, V = t + ρ. 8 We assume that the south and north poles are 6 Since our boundary is odd-dimensional, there is no conformal anomaly. 7 For static 3-dimensional boundaries there are other constaints on the behavior of the boundary stressenergy tensors [21,22]. 8 In this section, we use slightly different notation compared with section 3 and section 4. There is a factor √ 2 difference for U, V, t, r relationship and our conformal boundary metric (5.1) is scaled by overall factor 2.
Following the procedure in section 3, we consider a future-directed boundary null geodesic γ along U = 0 and x m = 0 from the south pole point p to the north pole point q with the tangent vector l = e −ψ ∂ V . As before, the values of the affine parameter at p, q, are denoted by λ − , λ + , respectively, and the value of the null coordinate V at q is denoted by V 0 . This null geodesic segment is achronal on the boundary, due to the spherical symmetry.
Let us consider the bulk causal curves ξ near the null geodesic γ which connects p and a point r on the null line with tangent vector ∂ U through q. From the spherical symmetry, it is sufficient to examine ξ with the tangent vector K K U and z are expanded as a series in as Then, the conditionĝ ab K a K b ≤ 0 can be expanded as The last term is originated from the Taylor expansion for the metric g (2)µν near U = 0, and u 2 = u 2 (λ) is given by All metric functions should be evaluated at U = 0 in the above formula.
Integrating the above inequality from λ − to λ + , we obtain

d = 5 CANEC
Let us now turn to the case of deformed static Einstein universe as our 5-dimensional boundary. We consider the function ψ and f of the metric (5. The function is plotted in figure 2 for various values of δ. When δ = 0, the function reduces to f = sin ρ, and the metric (5.1) becomes the static Einstein universe. As δ increases, the compact spatial sections are more and more deformed to approach "dumbbell" like shape.
In this case, the first term in eq. (5.13) becomes where f (n) is the n-th derivative of the function with respect to ρ, and we set λ − = 0. To derive the above equation, we used dλ = dV = 2dρ, therefore ρ = π corresponds to λ + = 2π. We also used for the bulk null curve ξ in the second equality. To derive the last equality, we used integration by part under the condition (5.9). Substituting eq. (5.22) into eq. (5.13) and noting 1 16 and g (4)µν l µ l ν = 1 In this paper, we have pursued the question of what is a sensible causal interaction between the bulk and conformal boundary in the context of the AdS/CFT duality, by regarding the Gao-Wald's no-bulk-shortcut property as our guiding principle for the appropriate choice of the boundary metric. In section 3 we have considered 3-dimensional conformal boundary whose spatial section is either positively or negatively curved. For the positive curvature case, by examining holographic bulk causal curves close to a certain boundary null geodesic, we have derived the conformally invariant averaged null energy condition (CANEC) which can be used to put a certain restriction on the extent of the negative value of the null energy for a strongly coupled field theory. For the negatively curved case, the no-bulk-shortcut property is automatically satisfied for the bulk causal curves near the boundary null geodesic, and hence, we cannot derive the null energy inequality. In section 4, we have generalized the CANEC obtained in section 3 to the case of a deformed compact boundary. Then we have shown the conformal invariance of the CANEC. In section 5, we have considered a 5-dimensional deformed static Einstein universe as our boundary geometry, and obtained CANEC for the 5-dimensional boundary.
In all of the examples we have studied in this paper, the no-bulk-shortcut property implies that CANEC holds on the boundary. This, in turn, implies that if the boundary CANEC is violated, then there must exist a bulk-shortcut, hence giving rise to a mismatch between the bulk and boundary correlators. Therefore we expect that a boundary field theory violating CANEC cannot have a consistent holographic bulk dual.
Our results are based on the Fefferman-Graham expansion from the given boundary geometry and also on the holographic stress-energy formulas of ref. [17]. As one of the future directions, it would be quite interesting to examine whether there are some concrete examples violating no-bulk-shortcut property in d = 5. In section 5, we have assumed that the boundary spacetime is restricted to a class of the static spacetime. If this assumption is relaxed, it is non-trivial whether the no-bulk-shortcut property is satisfied at O( 4 ), due to the existence of the higher curvature terms (2.5). Another issue left open for future work is the even-dimensional boundary case, which involves conformal anomalies and as a result, things are more complicated. It would be interesting to see whether, and how, the presence of conformal anomalies could affect the causality aspects of bulk and boundary duality.
Finally we discuss what type of boundary metrics can admit the Einstein gravity as the holographic bulk dual. From the bulk viewpoint, given boundary metric as an "initial condition", one can solve the bulk Einstein equations as radial z evolution. From this perspective, one might think that any boundary metric can be acceptable in the AdS/CFT context. However, although all of our boundary metrics examined in this paper lead to CANEC under the no-shortcut property, it is still unclear if there is an example of boundary metric which does not allow the bulk no-shortcut property to hold whatever the boundary stress tensor we have chosen. For example, if there is a boundary metric which leads to the violation of the bulk no-shortcut property at O( 4 ) for d = 5 case due to the existence of the higher curvature terms (2.5), the dual bulk must then form a naked singularity visible from the boundary, hence violating the weak cosmic censorship, according to the JHEP03(2020)161 result of [15]. This is independent of wherther CANEC holds or not, because CANEC for d = 5 case is determined at subleading order, O( 5 ). It would be interesting to investigate the weak cosmic censorship in more detail, from the causal consistency viewpoint of the AdS/CFT duality.