{'fraction_non_alphanumeric': 0.03233174297025683, 'fraction_numerical': 0.010785707034818801, 'mean_word_length': 4.459268495428097, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 10, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Lessons on Eternal Traversable Wormholes in AdS

We attempt to construct eternal traversable wormholes connecting two asymptotically AdS regions by introducing a static coupling between their dual CFTs. We prove that there are no semiclassical traversable wormholes with Poincar\'e invariance in the boundary directions in higher than two spacetime dimensions. We critically examine the possibility of evading our result by coupling a large number of bulk fields. Static, traversable wormholes with less symmetry may be possible, and could be constructed using the ingredients we develop here.


Introduction and summary
Recent progress has shown that traversable wormholes are not confined to science fiction and may even exist in the real world [1][2][3][4][5]. This raises fascinating questions about the precise rules for such wormholes. Since traversable wormholes rely on violations of the Null Energy Condition (NEC), which is only possible quantum mechanically, one may expect that such wormholes are small, fragile, or short-lived, as seen in the examples that have been constructed so far.
To understand better what types of wormholes are possible, we attempt to construct static traversable wormholes in the controlled setting of asymptotically Anti-de Sitter spacetime, within a regime where the semiclassical approximation is valid. In the context of the AdS/CFT correspondence, a traversable wormhole should be dual to two conformal field theories (CFTs) which live on the two asymptotic boundaries of the spacetime. Traversable wormholes can be constructed by introducing an appropriate coupling between these two theories, CFT L and CFT R .
Bulk solutions that correspond to traversable wormholes require a violation of the NEC. This is possible in standard quantum field theory, e.g. through the Casimir effect, but a coupling between the two CFTs is unavoidable in our setting. In the decoupled system, no operator in CFT L can influence CFT R , which implies that no signal can be transmitted through the bulk. The existence of a traversable wormhole solution in the decoupled system would violate this "no-transmission principle" [6] which follows from basic postulates of the holographic dictionary.
Hence, we violate the NEC by introducing a double trace deformation that couples the two CFTs [7] and has the form hO L (x)O R (x). Our major assumption which makes the analysis tractable is that the solution preserves Poincaré invariance in the field theory directions. Assuming this symmetry, we can pick a gauge where the metric takes the form ds 2 = a(z) 2 η µν dx µ dx ν + dz 2 . (1.1) We look for solutions with two asymptotic regions, so that the 'scale factor' a(z) diverges at two locations while remaining nonzero in between. Furthermore, we assume that the bulk field providing the NEC violation preserves Weyl invariance. This allows us to compute explicitly the NEC violating stress-energy tensor by using a conformal map to flat spacetime. This is a crucial simplification: in general we need to solve the Einstein equation using the expectation value of the stress-energy tensor as a source. The stress-energy tensor should be computed by doing quantum field theory in the background metric defined by a(z). However, the expectation value of the stress-energy tensor T µν (z) depends nonlocally on the metric function a(z), rendering the problem apparently intractable. Weyl invariance allows us to package the non-local dependence of the stress-energy tensor on the metric in terms of a single parameter encoding the 'width' of the geometry.
Within these assumptions, we demonstrate a no-go result: the effect of the double trace deformation is too small to support a semiclassical wormhole. In order to establish this result, we consider various strategies for enhancing the NEC violation and show that they cannot work.
First, we argue that increasing the coupling does not help because the "quantum inequalities" [8] bound the amount of NEC violation. It is an interesting open problem to demonstrate a more general and more rigorous bound on NEC violation for a quantum field theory in a geometry with two asymptotically AdS regions when couplings between the boundaries are allowed.
Second, we try to add conventional matter in the bulk. We present the detailed analysis of an additional bulk scalar field with a quartic potential, as well as establishing a general result showing that adding any additional matter satisfying the NEC does not allow for a semiclassical wormhole with Poincaré invariance in the field theory directions. Our result is rigorously true when the NEC violating fields are Weyl invariant, allowing for an explicit calculation, but we suspect that adjusting the field content will not change the result.
Finally, we try to increase the number of species contributing to the NEC violation. Although this allows one to make the curvature small in Planck units, this strategy is problematic because a large number of species is believed to lower the UV cutoff as where N is the number of species and D is the number of spacetime dimensions in the bulk [9][10][11][12]. We show that although a large number of species can reduce the curvature of the wormhole, the radius of curvature is always at or below the UV cutoff. We discuss the possibility of violating the lore (1.2) by choosing appropriately the field content, making use of cancellations in the one-loop renormalization of Newton's constant. However, we argue that (1.2) can never be softened because it would imply the existence of traversable wormholes between two asymptotically AdS boundaries without a coupling between the two CFTs, in contradiction with the "no-transmission principle". This also agrees with non-perturbative arguments regarding the renormalization of Newton's constant. The failure to construct a controlled solution within our assumptions can be partially understood heuristically as follows. In the absence of the coupling between the two boundaries, the ground state is simply two unentangled CFTs in their ground state, and the corresponding geometry is simply two copies of vacuum AdS. Turning on the coupling hO L (x)O R (x) will lead to an amount of entanglement of order the coupling h-in other words, the entanglement is of order one if the coupling is perturbative. On the other hand, a controlled traversable wormhole should have a smooth geometry, leading to an entanglement of order N 2 . This heuristic argument, however, leaves open the possibility that the construction can succeed by going to strong coupling or increasing the number of fields that are coupled. Our more detailed arguments rule out these possibilities.
We have shown that there is no semiclassical solution with Poincaré invariance along the boundary directions and a Weyl invariant field in the non-local coupling. This suggests avenues for future constructions based on a less symmetric ansatz. One could try to import the recent construction of long-lived traversable wormholes in flat space [3] to the AdS setting. This construction makes use of magnetic fields, which break the transverse Poincaré invariance. More generally, we expect that a static traversable wormhole should look like an AdS-Schwarzschild black hole or black brane near the two asymptotic boundaries. These metrics do not preserve Poincaré invariance, which further motivates reducing the amount of symmetry. We could also consider NEC violating matter that is not conformally invariant but we do not expect our results to change dramatically.
We must note that many constructions of traversable wormholes in general relativity exist in the literature but they involve either exotic matter [13][14][15][16][17][18][19] or higher-derivative theories [20][21][22] which seem to lack a UV completion [23]. On the other hand, introducing a coupling between two CFTs should be perfectly physical in the context of AdS/CFT. This paper is organized as follows. In section 2, we present the computation of the stress-energy tensor generated by the non-local couping and we describe the potential wormhole solution. In section 3, we describe challenges in obtaining a semiclassical solution. In section 4, we argue that increasing the non-local coupling does not help. In section 5, we consider adding conventional matter but we prove a no-go theorem showing that this cannot lead to a semiclassical solution. In section 6, we consider using a large number of fields in the non-local coupling but we argue that the lowering of the UV cutoff always forbids the existence of a semiclassical solution. We conclude in section 7 with a discussion and some final remarks.

Poincaré wormholes
We look for traversable wormholes connecting two asymptotically AdS d+1 spacetimes. In order to make the problem analytically tractable, we assume Poincaré invariance in the boundary directions. Using this symmetry, we can pick a gauge such that the metric takes the form are boundary coordinates and z is the radial coordinate in the bulk. 1 This metric is foliated by flat R 1,d−1 slices and is similar to the Poincaré patch of AdS. The geometry is completely determined by one function, the conformal factor a(z).
For solutions with two asymptotically AdS boundaries, this means that a(z) should have two simple poles, say at z = ± L 2 , and be positive in the range − L 2 < z < L 2 .

Setup
We consider a theory of gravity with negative cosmological constant coupled to matter,

AdS
. In order to find traversable wormholes in such a theory, we need to violate the null energy condition (NEC) in the bulk. This is possible in the framework of semiclassical gravity, where the matter fields are treated quantum mechanically, but the geometry is kept classical. Following [1], we do this by introducing a non-local coupling between the two boundaries Here φ L,R (x) corresponds to a bulk field and the subindex L/R means that it is evaluated at the left/right boundary. In AdS/CFT, such a deformation is achieved by coupling together the two CFTs with a double trace operator.
In [1], the deformation (2.3) was activated for a short time on an eternal AdS black hole, i.e. a non-traversable wormhole. The resulting quantum stress-energy tensor made the wormhole traversable but only in a very small time window. Our work differs from [1] in two aspects. First, we start from the vacuum state, which consists of two unentangled copies of the same CFT. Second, we are interested in finding eternal traversable wormholes so we turn on the deformation for all times.
Finally, a word on the methodology is in order. Since our ansatz (2.1) is conformally flat, we compute the quantum stress-energy tensor in flat spacetime and map the result to our wormhole background by means of a Weyl transformation. For this to be possible, we require S matter to be Weyl invariant. A simple choice is a conformally coupled scalar field. The boundary conditions for the scalar field are chosen as follows. Near the two asymptotic boundaries the behavior is where which follow by performing a Weyl transformation to the flat space solution φ(z) ∼ α ± L 2 ± z + β ± near the boundaries. 2 We choose the boundary condition which, in the alternate quantization, implies that the dimension of the dual operator is given by ∆ − . 3 Upon a Weyl transformation, this condition corresponds to imposing Neumann boundary conditions on the plates in Minkowski space.

Minkowski configuration
We compute the stress-energy tensor by a Weyl transformation from Minkowski spacetime. In the following, we will specialize to 3 + 1 dimensions. The generalization to other dimensions is described in Appendix A. The configuration in flat space consists of two infinite plates located at z = −L/2 and z = L/2, respectively, and a massless scalar field living in the region between the plates. The non-local coupling then takes the form where x = (t, x 1 , x 2 ) denote the transverse coordinates. We will denote y = (x, z) the coordinate of a point between the plates. The stress-energy tensor generated by the nonlocal coupling can be computed by point splitting where δG(y, y) is the correction to the Feynman propagator due to the non-local coupling. As explained above, we are imposing Neumann boundary conditions on the plates. Note that imposing instead Dirichlet boundary conditions would make the deformation 2 This can also be derived from the formula ∆(d − ∆) = −m 2 2 AdS since the conformal coupling ξRφ 2 with ξ = d−1 4d gives an effective mass m 2 2 close to the boundaries. 3 In the standard quantization the dimension of the double trace term would be 2∆+ = d + 1 > d which would make the coupling irrelevant.
(2.7) vanish. The Feynman propagator with Neumann boundary conditions has a simple form in a mixed representation where we go to momentum space in the transverse directions The propagator with Neumann boundary conditions takes the form We will perform the computation in Euclidean signature where the propagator takes the form where |k| = ω 2 + k 2 1 + k 2 2 . The correction to the two-point function due to the non-local coupling (2.7) is given by Using the mixed representation, we can rewrite this as (2.13) From the above expression it can be seen that lim y →y η ρσ ∂ ρ ∂ σ δG(y, y ) = 0 . (2.14) Weyl invariance and transverse Lorentz symmetry imply that the stress-energy tensor has the form The parameter ρ can in principle depend on z, but the conservation of the stress-energy tensor requires ρ to be a constant. In order to determine this constant it suffices to compute only one of the components. For instance, we can compute The calculation further simplifies by going to the midpoint z = 0, which gives Hence, the full stress-energy tensor is given by (2.18)

Wormhole solution
The conformal mapping allows us to compute the expectation value of the stress-energy tensor in the conformally flat geometry (2.1). This is given by The superscript 'NL' is a reminder that this component of the stress-energy tensor is generated by the non-local coupling, but generically there can be other contributions.
An important issue here is that the above Weyl transformation is anomalous in even dimensions. The anomaly generates a higher-derivative term in T NL µν which prevents us from solving Einstein's equation. For the time being we will assume that the anomaly term is negligible, but we will come back to this issue in section 3.2. We can also go to odd spacetime dimensions where there is no anomaly.
We define λ to be the dimensionless parameter measuring the amount of negative energy generated by the non-local coupling. It is defined by so that λ ∼ hL up to a numerical factor of order one. The stress-energy tensor in the geometry (2.1) is then given by We will solve the semiclassical Einstein equations The zz component can be written as which can be thought as a particle in the potential (2.24) The other components can be obtained from the z-derivative of (2.23).
There is a diffeomorphism which allows us to set a(0) = 1. Furthermore, we focus on solutions with reflection symmetry so we have a (0) = 0 and can restrict the domain of integration to z ≥ 0. Evaluating (2.23) at z = 0 gives us the relation This allows us to eliminate λ in (2.23) and to determine the value for the range L Performing the integral gives This defines a one-parameter family of wormhole solutions. The potential (2.24) and a typical wormhole solution are shown in Figure 1.

Planckian curvature
The most important issue of our solutions is that they generically have large curvatures.
Combining the equations (2.26) and (2.28) implies that where p is the Planck length and ∼ means proportionality up to an order one numerical factor. Since the computation of the stress-energy tensor is valid only in the perturbative regime, λ 1, this leads to a wormhole with super-Planckian curvature. Hence, the wormhole solutions described in the previous section are outside the regime where semiclassical gravity can be trusted. In the following sections we will explore various potential ideas to try to resolve this issue, but we first discuss two more challenges.

Weyl anomaly
We have used a Weyl transformation from flat space to compute the stress-energy tensor in the geometry (2.1). For this to be possible, we used a Weyl invariant field in the non-local coupling. However, Weyl invariance can be anomalous at the quantum level. The anomaly is problematic in our setup because, as we will see below, it can be of the same order as the effect that we use to support the wormholes.
In four dimensions, there is always an anomaly. The stress-energy tensor on the conformally flat metric (2.1) is related to the stress-energy tensor in flat space by [24] T µν = 1 The anomalous piece is the second term and it is expressed in terms of four-derivative terms The rational numbers α and β can be extracted from the tables of [24]. For massless free fields, they are given by with n S conformally coupled scalars, n F Dirac fermions and n V vectors. The parameter ξ is the coupling to R which should be taken to be ξ = 1 6 because we want a Weyl invariant theory. From the above expression, we can see that α is strictly positive. In fact, the trace of (3.2) shows that α is the a-anomaly of the 4d theory which does not vanish for a unitary theory [25][26][27]. This implies that there is no way to make the anomaly vanish in four dimensions.
The main problem with the anomalous piece is that it contains four-derivative terms which prevent us from solving Einstein's equation. For a given field, the size of the anomaly is of the order of |T anomaly In the configuration with a single non-locally coupled field, the anomaly can be ignored in the regime L < AdS because we have λ 1. This condition is already necessary as will be derived later in (5.13). In the configuration where we have a large number of fields, discussed in section 6, the anomaly dominates over the cosmological constant term which prevents us from obtaining a semiclassical solution.
In odd dimensions, there is no Weyl anomaly: the Weyl transformation of the stressenergy tensor does not contain an anomalous piece. Thus, the stress-energy tensor in the wormhole spacetime (2.1) can be obtained from the stress-energy tensor in flat space by the classical formula Hence, when using a large number of fields, we will focus only on odd dimensions.

Casimir energy
There is another problem for building eternal traversable wormholes between asymptotically AdS regions. Negative energy can already be present in the wormhole geometry without the need to turn on a non-local coupling. Indeed, in the flat space configuration described in section 2.2, the Casimir effect [28] generates a stress-energy tensor of the form [24] T Casimir This negative energy is more important than the one generated by the non-local coupling, which is multiplied by λ 1. Hence, it seems that the non-local coupling is unnecessary! However, it should not be possible to build a semiclassical wormhole between two asymptotically AdS geometries without coupling the two dual CFTs. This would violate the "no-transmission principle" [6] because signals could be sent from one asymptotic boundary to the other without any coupling between the two CFTs. We note that the sign of the Casimir energy can be modified by changing the boundary conditions of the fields. However, having a positive Casimir energy is also a problem because it would overwhelm the non-local coupling.
The issue of Casimir energy should be present in any attempt to build eternal traversable wormholes. In the asymptotically AdS 2 version [2] (see also [29,30]), this is avoided because the Weyl anomaly precisely cancels the Casimir energy. As explained there, this is enforced by SL(2, R) invariance. In higher dimensions, the wormhole is less symmetric which makes such a cancellation unlikely. From the analysis of section 3.2, we see that this cancellation happens neither in four dimensions nor in odd dimensions where the Weyl anomaly vanishes. Thus, if our conformally flat wormholes are to be consistent, some mechanism has to ensure that the Casimir energy is negligible. For example, a supersymmetric spectrum with supersymmetric boundary conditions leads to a vanishing Casimir energy. This holds despite the fact that the wormhole geometry breaks supersymmetry 4 as can be seen by making a Weyl transformation from the flat space configuration.

Increasing the non-local coupling
We might hope that a solution with AdS large in Planck units can be obtained in the strong coupling regime λ 1. In fact, we will show that increasing the coupling cannot lead to a very large negative energy. This can be done by adapting the "quantum inequalities" [8]. The authors proved that for any state |ψ of a free massless scalar in Minkowski spacetime, there is a boundρ whereρ is the energy density averaged over a time interval of characteristic length t 0 , and f is a smearing function which determines the number c. This shows that the smeared energy cannot get "too negative". In their proof, the smearing function is a Lorentzian but the same argument can be repeated for a more general smearing function as long as its Fourier transform decays sufficiently fast. This is because the bound is proportional to the integral wheref (ω) is the Fourier transform of f . In particular, it is possible to obtain a bound when f being compactly supported. This follows from a Theorem by Ingham [31] which determines how fast the Fourier transform of a compactly supported function can decay. This theorem guarantees that there are compactly supported functions whose Fourier transform decays exponentially, e.g. as e −|ω| 1/2 , which is fast enough to make (4.3) converge. In our Minkowski configuration, we can consider a causal diamond centered at z = 0 which is as large as possible without touching the plates. Because the diamond is not in contact with the plates, the quantum state inside this causal diamond is that of a free massless scalar field. Hence, we expect that the quantum inequalities should be applicable if the smearing function is supported in this diamond. This is possible by taking a compactly supported function on a time interval of length L. The resulting bound is up to an order one numerical factor. Thus, the best we can achieve by increasing the coupling would lead to a wormhole with Planckian curvature  This shows that increasing the non-local coupling does not help in making the wormhole semiclassical.

Adding conventional matter
In the previous sections, we have shown that the negative energy generated by the non-local coupling is too small to support the wormhole. From (2.26), we can see that to have λ 1 we need a hierarchy of scales p L AdS . However, with only the non-local coupling and the cosmological constant we have L ∼ AdS as shown in (2.28). We can attempt to solve this problem by adding a new classical source in the Einstein equation. This will introduce a new scale which in principle could be used to separate L from AdS or remove the necessity of this hierarchy altogether. In this section, we prove a no-go theorem showing that this is not possible: adding matter that satisfies the null energy condition cannot make the wormhole semiclassical.

Scalar field
Before going to the general situation, we consider a bulk scalar field minimally coupled to gravity, described by the action We assume that the matter preserves Poincaré invariance in the transverse directions so that φ depends only on z. In our geometry (2.1), the matter stress-energy tensor is The scalar field does not violate the NEC at classical level because T m zz + T m tt = φ 2 ≥ 0. Its equation of motion is Einstein equation gives The term generated by the non-local coupling is the negative term proportional to λ in the first equation. We can explicitly see that this term is necessary by considering the expression a a 2 = 2Gλ In a wormhole solution, a /a 2 goes from 0 at the throat, to 1/ AdS at the boundary. Therefore, its derivative needs to be positive somewhere, implying that λ cannot be zero. More explicitly, integrating the equation between z = 0 and z = L/2 gives (5.7) We are in a regime where λ 1 which implies that we must have L AdS . We see that the scalar field does not modify the required hierarchy we pointed out at the beginning of the section. This is a special case of a more general statement (5.13) which will be described later. Note that this requirement guarantees that the Weyl anomaly is negligible, as discussed in section 3.2.
We solve numerically the coupled ODEs for a(z) and φ(z) using Mathematica. The solution is obtained by integrating the second order Einstein equation which leads to more stable numerics. 5 We consider a Higgs-like potential which is illustrated in Figure 2.
We look for solutions of φ that interpolate between the two minima of V at the two asymptotically AdS regions. These solutions are odd so we can restrict the range of integration to 0 ≤ z ≤ L 2 . We consider the following boundary conditions where φ L is the value corresponding to the minimum of the potential. 6 5 The two Einstein equations in (5.4) are not independent. We can obtain the second order differential equation by taking the derivative of first one and using the φ equation of motion to remove the φ terms. 6 The value of L is determined dynamically because it corresponds to location at which a(z) diverges.
For this reason, imposing the condition at the boundary is a bit tricky. In practice we impose a second boundary condition at the throat φ (0) = φ 0 . The correct value of φ 0 is determined through algorithmically to ensure that φ approaches the right value at z = L/2. From the numerical solutions, we can find the value of λ and AdS using . (5.10) An example of solution is given in Figure 2. In general we notice that λ can be made small only at the cost of making AdS small in Planck units. In Figure 3, we plot λ as a function of AdS for a large sample of parameters. We only keep solutions which leads to AdS > 1.
In all cases, even for AdS close to p we do not find solutions consistent with λ 1. This means that the addition of the bulk scalar field does not help in making the wormhole semiclassical.

No-go theorem
We will now show that any kind of conventional matter in the bulk does not help in making the wormhole semiclassical, assuming that the matter respects Poincaré invariance in the transverse directions. We can model the addition of bulk matter by the addition of a term f (a) in Einstein equation where m is a characteristic length scale of the additional matter. We show below that f (1) needs to be positive so m can be chosen so that f (1) = 1. We are also using conventions in which a(0) = 1. Evaluating the equation at z = 0 gives λ = L 4 G The Einstein equation can be rewritten (5.14) We require the asymptotically AdS boundary condition In other words, the cosmological constant should dominate close to the boundary z = L 2 . For the additional matter to be helpful, we would like to dominate close to the wormhole throat z = 0. We can define the transition point z * and the corresponding conformal factor a * ≡ a(z * ) by We assume that the additional matter dominates below z * while the cosmological constant dominates above z * . Hence, we have We also assume that a(z) is monotonically increasing close to z = 0. 7 In Figure 4 we show a schematic representation of the two regimes described above.
Null energy condition. We impose the null energy condition on the additional matter.
The zz-component can be directly read off from (5.11) We consider matter that respects the transverse Lorentz symmetry. This implies that the stress-energy tensor is diagonal and satisfies T m xx = T m yy = −T m tt . Its conservation then implies that The resulting stress-energy tensor is The null energy condition applied to the vector ∂ t + ∂ z implies In particular, this implies that f (1) > 0. Indeed, dividing (5.17) by a − 1 and taking the limit a → 1 implies that f (1) > 4 2 m / 2 AdS .
Contradiction. First, integrating the NEC gives Intuitively, this means that the fastest function of a which satisfies the NEC is a cosmological constant. Since our original problem was that the cosmological constant does not grow fast enough, no other conventional matter should help us in making the wormhole more semiclassical. More precisely, from (5.14) and (5.17), we see that Integrating the first equation implies that Next, we can obtain a bound on a * by integrating the second equation, This gives where the second inequality follows from (5.13). Then, equation (5.25) gives z * > O(1) m where O(1) is an order one number (which is bigger than ∼ 0.5 already for a * = 2). Using again (5.13), this implies z * L/2 , (5.28) which is a contradiction. This shows that adding conventional matter does not help in making the wormhole semiclassical.

Coupling a large number of fields
In the previous section we have shown quite generally that we cannot build a traversable wormhole with just a perturbative amount of negative energy, assuming Poincaré invariance in the boundary directions. Increasing the coupling or adding conventional matter do not help. Another strategy is to use a large number N of fields in the non-local coupling to enhance its effect. This approach was exploited in previous constructions of traversable wormholes [2,3,32]. For our wormholes, the estimate (3.1) gets replaced by where N is the number of fields and D = d + 1 is the number of spacetime dimensions in the bulk. Thus, it seems that by taking N large enough, we can obtain a large AdS radius while keeping λ 1. However, a large number of fields implies a lowering of the UV cutoff of the theory, which can be interpreted as the renormalization of Newton's constant. On general grounds [9][10][11][12], we expect that This implies that the solution cannot be made semiclassical

Renormalization of Newton's constant
The perturbative renormalization of Newton's constant can be computed from the one-loop effective action. We will use the heat kernel expansion which provides a canonical way to regulate the divergences [33]. In D dimensions, the effective Lagrangian at one-loop is where UV is a UV cutoff and a n (x) are the so-called Seeley-DeWitt coefficients which are obtained from the heat kernel expansion. The term a 0 (x) gives a renormalization of the cosmological constant and the term a 2 (x) gives the renormalization of Newton's constant.
Because of the Weyl anomaly discussed in section 3.2, we will focus on odd-dimensional theories. We want a Weyl invariant theory so we consider n S massless scalars with the conformal coupling ξ = D−2 4(D−1) and n F Dirac fermions. The computation is detailed in the Appendix B and gives (4π) D/2 a 2 (x) = 4 − D 12(D − 1) n S + 1 12 2 D/2 n F R . (6.5) In special cases of interest, this is We see that in 5d and 7d, we can make a 2 (x) vanish by choosing appropriately the field content. Note that this is possible because of the negative contribution from the conformally coupled scalars. In such cases, the perturbative lowering of the UV cutoff will be given by two-loop diagrams. This leads to a softer lowering of the UV cutoff, (6.2) becomes Assuming that no other effects lower the UV cutoff, we obtain From this analysis, it seems that taking large enough N allows for semiclassical wormholes. However, we argue in the next section that non-perturbatively, the UV cutoff is always lowered according to (6.2), preventing the possibility of having a semiclassical wormhole in this way. For related discussions on the renormalization of Newton's constant and the meaning of the negative contribution, we refer to [34][35][36][37][38][39].

Non-perturbative considerations
Non-perturbative arguments based on black hole physics suggest that the UV cutoff of a gravity theory with N species is always lowered according to (6.2). These arguments are based on the rate of black hole evaporation, or entropy bounds [9,10,12]. These arguments suggest that the one-loop cancellations in (6.6) are not sufficient to lower the cutoff at the non-perturbative level. Another consideration is the "no-transmission principle" which implies that a traversable wormhole between asymptotically AdS regions supported only by Casimir energy is inconsistent. Indeed, we should not be able to send signals from one asymptotic boundary to another if the two dual CFTs are decoupled [6].
For example, let us consider a theory in 5d with a large number of scalar and spinor fields such that n S = 16n F . This is chosen so that a 2 (x) = 0 so that according to the above computation, Newton's constant is not renormalized at one-loop. Assuming that the UV cutoff is not lowered by other effects, (6.8) would imply that we can have a semiclassical wormhole by taking the number of fields large enough.
If the above scenario is really possible, we could also construct a traversable wormhole without the non-local coupling, using only Casimir energy. For this to be true, we need to make sure that the Casimir energy is non-zero and negative. Let us consider the above setup with n S = 16n F but without a non-local coupling. We are free to change the boundary conditions of the fields because the computation of a 2 (x) is insensitive to them (up to boundary terms which are irrelevant here). In particular, we can choose the boundary conditions so that the n F spinors and the 4n F scalar fields are in a supersymmetric configuration in the flat space setup. As discussed in section 3.3, this implies that the Casimir energy of these fields will compensate. The remaining 12n F scalar fields can be chosen to have Dirichlet boundary conditions in flat space. The Casimir energy of 5d massless scalars between two plates with Dirichlet boundary conditions is computed in [28] and is indeed negative. Following the discussion in 3.3, this would give a traversable wormhole supported only by Casimir energy. More generally, we expect that it should always be possible to make the Casimir energy negative by choosing adequate boundary conditions. Thus, we obtain a configuration where a traversable wormhole connects two decoupled CFTs which is inconsistent because of the "no-transmission principle" of AdS/CFT. This strongly suggests, in agreement with the black hole arguments, that the non-perturbative UV cutoff is still lowered according to (6.2) despite the perturbative cancellations at one loop. The wormhole cannot be made semiclassical by using a large number of fields.

Discussion
In this paper we have investigated the possibility of constructing eternal traversable wormholes connecting two asymptotically AdS regions by coupling the two dual CFTs. We focused on gravity solutions preserving Poincaré invariance along the field theory directions and used a Weyl invariant field in the non-local coupling.
Under these assumptions, the stress-energy tensor can be computed analytically. Although it violates the null energy condition, it does not provide enough negative energy to support a semiclassical wormhole. As argued from the "quantum inequalities" [8], increasing the coupling does not help. We also proved a no-go theorem saying that adding conventional matter in the bulk cannot make the wormhole semiclassical. Another strategy is to use a large number of fields in the non-local coupling. This increases the negative energy but lowers the UV cutoff by a compensating amount, disallowing any semiclassical traversable wormholes. A one-loop computation suggests that this lowering of the UV cutoff, interpreted as a renormalization of Newton's constant, can be soften by adequately choosing the field content. However, non-perturbative arguments suggest that this cannot work [9,10,12]. In particular, this would lead to a traversable wormhole solely supported by Casimir energy, without a non-local coupling. This contradicts the "no-transmission principle" which follows from basic postulates of the AdS/CFT duality [6].
This argument suggests that any mechanism that enhances the effect of the non-local coupling should always make the Casimir energy negligible, as to prevent the possibility of a semiclassical wormhole without a non-local coupling. We expect this requirement to provide some guidance in the construction of eternal traversable wormholes in AdS/CFT. There are many avenues for future research. We can consider changing the conformal dimensions of the field, going away from the conformally coupled case. The effect becomes more difficult to compute but the numerics in [1] suggests that the negative energy can be increased in this way. We could also investigate situations with less symmetry. This would provide more room to produce the large hierarchy between the small quantum effect induced by the non-local coupling and the large semiclassical geometry. Adding rotation has been shown to enhance the effect of the non-local coupling [40]. Also, it should be possible to import in AdS/CFT the recent construction of long-lived traversable wormhole in Minkowski spacetime [3].
We can redo the computation done in section 2.3 and we obtain We are in the perturbative regime λ 1 so the wormhole cannot be semiclassical.

A.2 No-go theorem
The no-go theorem presented in the main text can be generalized to any dimension. In D dimensions, the Einstein equation takes the form The null energy condition is obtained as in the four dimensional case. We first compute the stress-energy tensor corresponding to the new term we added in the Einstein equation.
The zz component can be read off the Einstein equation The remainder of the proof is unchanged.

B Heat kernel expansion
We consider fluctuations of quantum fields around a given classical background. The effective action can be written S eff = S 0 + S 1-loop , (B.1) where S 0 is the action of the classical background. The effective action is computed by a Euclidean path integral e −S eff = e −S 0 Dφ e −φΛφ , where Λ is the operator of quadratic fluctuations. The heat kernel expansion [33] provides a way to regularize and compute the effective action. The term that renormalizes G N is and D µ = ∇ µ + ω µ is a suitable covariant derivative. We compute below a 2 (x) for fields of interest in d spacetime dimensions. These results can also be found in [41] except that the conformal coupling is not considered there.
Scalar. We consider a massless scalar field. The Lagrangian is L = (∂ϕ) 2 + ξRφ 2 . This gives E = −ξR. Hence, Fermion. We consider a Dirac spinor. The Lagrangian is L =ψγ µ D µ ψ. The fermionic fluctuation operator is thus γ µ D µ . This is a first order operator so we apply the heat kernel to its square. The identity (γ µ D µ ) 2 = g µν ∇ µ ∇ ν − 1 4 R implies that E = − 1 4 R. This gives Maxwell vector. The Lagrangian is L = − 1 2 F µν F µν = −D µ a ν D µ a ν + D ν a µ D µ a ν . We integrate the two terms by parts and swap the two derivatives in the second term to obtain L = a ν a ν − a ν R µν a µ − (D µ a µ ) 2 . (B.7) As usual, the last term is removed by adding a gauge-fixing term L g.f. = (D µ a µ ) 2 . This introduces two scalar ghosts which are minimally coupled. The contribution of these ghosts is two times the one written in (B.5) with ξ = 0 and an overall minus sign due to the opposite statistics. For the gauge field, we obtain E = −R µν . This gives