Edinburgh Research Explorer Localized states in global AdS space

We construct both local states and scattering states with finite energy in global AdS by inserting properly regularized operators in the CFT of arbitrary conformal dimension ( Δ ) at an instant of time. We give the state fixed angular momentum ð l Þ by integrating the result over a sphere with appropriate spherical harmonics. The energy of the states and their angular resolution are computed with CFT operator methods and are independent of having an AdS interpretation. In the semiclassical limit of large conformal dimension operators, these correspond to single particles localized within sub-AdS scales with width 1 = ﬃﬃﬃﬃ Δ p in AdS units, whose subsequent evolution is controlled by bulk geodesics. Our construction allows us to place a particle in any desired geodesic. For radial geodesics, we show that the amplitude to produce the desired state can be thought of as a regularized tunneling amplitude from the boundary to the radial turning point of the radial geodesic, while for other geodesics we argue that the insertion is at the outermost radial turning point of the corresponding geodesic.


I. INTRODUCTION
In the AdS=CFT correspondence dictionary, one is supposed to excite fields in the bulk by inserting local operators on the boundary [1]. The signals then travel from the boundary to the interior where interactions might happen some time later. For most of these operators however, the naive insertion of the operator is meaningless: they produce a non-normalizable state in the bulk and therefore inject an infinite amount of energy into AdS (see, for example, [2]). Moreover, these operators are usually irrelevant operators so that even renormalization in the CFT becomes problematic. These operators need to be regularized in some form to render the answers meaningful.
At least perturbatively, some of these issues are resolved by the HKLL construction [3,4]. This is a prescription where, essentially, one integrates over time in the boundary with some profile and arranges for the high frequency mode amplitudes to interfere between different times so that after a quench protocol they are not excited. It needs to be corrected order by order. The protocol, at least naively, has an explicit dependence on the background if one goes from say, vacuum AdS, to a black hole. It also has the disadvantage of not being local in time. In this sense, the construction complicates the naive intuition that one would like to have, for example, when preparing a scattering experiment of widely separated particles in the bulk and letting them fall to a common meeting place where the experiment would take place. This is a thought experiment that is used to test holography and locality in the bulk [5][6][7]. In many examples, this locality takes place in higher dimensions. Being able to probe physics of these extra dimensions is interesting, but large momentum in the extra dimensions translates to having dual operators with large conformal dimension Δ. To address these issues requires understanding the problem of non-normalizability of states in the CFT and the potential infinite injection of energy that might lead to unphysical results.
Large conformal dimension operators are also interesting for other reasons. They can be argued to be dual to particles in the bulk whose Compton wavelength is much smaller than the AdS radius. As such, one can imagine studying local physics with particles that are separated from each other by distance scales that are much smaller than the AdS radius, but still very long compared to their Compton wavelengths. Under such conditions a classical or semiclassical analysis could give a complete description of the physics for various setups, especially if the goal is to directly control the impact parameter of the collision to study physics.
The Mellin representation of four-point functions in conformal field theory has been argued to be a route to address these issues [8,9], in particular, the relation to eikonal physics in AdS [10,11]. Eikonal physics in flat space makes use of notions of impact parameters as related to different partial waves in scattering problems.
There is an alternative way to regulate the problem that has been described in papers by Takayanagi et al. [12][13][14]. One replaces the operator insertion O by a regulated version that has been evolved in Euclidean time an amount ϵ: Since the regulated operator is defined via a Euclidean evolution operator, it is not strictly local any longer. It should be thought to have some support on an ϵ dependent spatial section that goes to zero when ϵ → 0. The purpose of this paper is to explore the physics of such insertions further, focusing on global AdS which is more suitable both for scattering experiments and to study finite mass black hole dynamics.
The organization of this paper is as follows. In Sec. II, we introduce regularized CFT scalar primary operators whose insertion acting on the vacuum generates the primary and its descendants, with no angular momentum. We identify the descendants maximizing these amplitudes and study their Gaussian approximations in the limit of large conformal dimension. In Sec. III, we show these insertions can be interpreted as bulk semiclassical particles sitting at rest at the turning point of a radial geodesic. This provides a geometric interpretation of the CFT regulator ϵ and maps the width of the CFT Gaussian amplitudes to bulk localization properties of these excitations. Considering regularized operator insertions not integrated over the CFT sphere, we extend the bulk localization properties to the angular directions in Sec. III B. In Sec. IV, we extend our analysis to descendants with nonzero angular momentum. We show that the same bulk interpretation and localization properties hold for these states. We finish with a brief summary and discussion of our results in Sec. V.

II. REGULARIZED OPERATORS
Given a d-dimensional CFT on a cylinder, consider the insertion of a scalar primary operator at fixed time t on the CFT vacuum integrated over the sphere: As shown in [2], this insertion generates a set of states that includes the primary jO Δ i and its descendants jð∂ μ ∂ μ Þ k O Δ i which we call jΔ þ 2ki under the operator-state correspondence. The amplitudes to create each of these states are given by and were shown to be proportional to For large k, Stirling's approximation Γ½s ≃ expðs logðsÞ − sÞ allows us to estimate the amplitudes (4): Hence, the individual amplitudes are finite, but the state (2) will only be normalizable if the sum of the amplitudes squared is convergent. Otherwise, the vector (2) is outside the allowed Hilbert space of states of the field theory. The normalizability condition requires the terms in the series to decay faster than 1=k, implying 2Δ < d − 1. Since unitarity in the CFT requires Δ ≥ d 2 − 1, the window of normalizability is small. Since the amplitudes (4) to generate higher states grow polynomially, any small exponential correction will tame the divergence caused by the UV modes and render the norm of the state finite. This suggests to instead consider the operator Z dΩO Δ;ϵ ðθ; tÞj0i ð 7Þ whose amplitude satisfies It is easy to show that such an operator is given by where H is the Hamiltonian of the field theory (which in the state jΔ þ 2ki has energy Δ þ 2k). Thus, the cutoff ϵ responsible for taming the UV divergence in the amplitude can be reinterpreted as evolving the insertion of the operator in the field theory in imaginary time an amount ϵ. This regularization procedure has been considered in [12][13][14] for single trace operators. If one is interested in understanding the physics of these states in terms of some semiclassical bulk description, it is natural to ask, for a given ϵ, what the most populated state is. Using Stirling's approximation to evaluate the regularized amplitude A Δþ2k;ϵ , jA 2kþΔ;ϵ j 2 ≃ exp ½ð2Δ − dÞ logðkÞ − 2ϵð2k þ ΔÞ; ð10Þ its maximum can be determined as the saddle point in k, Since we neglected terms of order Δ=k and d=k when evaluating (10), consistency requires ϵ ≪ 1. To study the width of the amplitudes jA Δþ2k;ϵ j 2 around this maximum, the second derivative yields where σ is the standard deviation of the approximate Gaussian distribution describing jA Δþ2k;ϵ j 2 in this regime. One infers the relative uncertainty in k scales as This is small for operators of large dimension (Δ ≫ 1). Hence, in the regime of Δ ≫ 1 and ϵ ≪ 1, most of the probability is carried by states with k max with a narrow Gaussian distribution around it. If instead of parametrizing the amplitudes of these states using k, we use their energy; this is approximately given by where we used ϵ ≪ 1 in the last step, and the relative uncertainly in E scales like the one in k: The upshot is that the set of regularized operators (7) produces states of finite energy E ≃ Δ=ϵ and small fluctuations when Δ ≫ 1 and ϵ ≪ 1. These operators can be thought of as producing an initial condition for a state at fixed energy, like scattering states. We will develop this intuition further when we discuss its semiclassical dual AdS interpretation.

III. THE ADS DUAL INTERPRETATION
Our analysis so far generates s-wave states due to the integration over the CFT (d-1)-sphere in (7), but it otherwise applies to any scalar primary operator of conformal dimension Δ. When the latter is single trace, the standard AdS=CFT dictionary maps it to a scalar bulk field of mass m [1], in units of the AdS radius. The excitations generated by this bulk field are expected to be described by an AdS point particle of the same mass m in some appropriate semiclassical regime. What we discuss in this section is the validity of this expectation, allowing us to provide a geometrical interpretation for the CFT cutoff ϵ in the process. 1 Inserting the operator (7) at t ¼ 0 should provide an initial condition for a bulk particle in global AdS, the latter describing the dual of the CFT vacuum j0i. This particle should initially be at rest. This is because all CFT amplitudes are simultaneously real. Hence, the CFT state is consistent with an initial configuration having time reversal symmetry. The latter can only happen classically for a point particle if the initial velocity vanishes. Due to the s-wave nature of the CFT state, the bulk particle must follow a radial infalling geodesic as time evolves.
Hence, the bulk description involves where we already used the global AdS parametrization and chose the gauge _ τ ¼ 1. The energy of the bulk particle is conserved: Evaluating it at the turning point and matching to the CFT energy (14), one infers where we already used (16). The expression for ρ ⋆ gives a physical solution whenever ϵ > 0. When ϵ is not necessarily small, the terms not scaling as 1=ϵ must be kept to provide a more accurate description of the physics. Indeed, once the particle is inserted in some location, it will follow a full radial geodesic associated to that initial condition. The three terms in the energy (21) correspond 1 Our formulas below can be applied to small objects like D-branes wrapped on extra dimensions, but acting like point particles in AdS, and to bound states of many single particles that can effectively behave like a heavier effective particle in AdS.
to the kinetic energy of the particle when it crosses the origin (the 1=ϵ term), the rest energy of the particle at the origin (the mass m ≃ Δ − d=2) and the zero point energy for a point particle at the center of global AdS (the d=2 term) [15]. This last term is quantum and should be ignored in a leading semiclassical treatment. If ϵ ≪ 1, all nonscaling terms can be ignored.
Equation (22) provides a reinterpretation of the cutoff ϵ as a radial position of the bulk excitation at the turning point. In the small ϵ limit, ρ ⋆ ∼ logð1=ϵÞ. This is consistent with the radial direction being related to the scale size in the dual theory [16]. Indeed, the parameter ϵ carries units of time because it multiplies the Hamiltonian in the regulator.
Turning on a small ϵ is equivalent to having a small scale present. The precise matching between scale and radial direction depends on coordinate choices. This is entirely consistent with the results of Takayanagi et al. [12][13][14].
For this classical interpretation to hold, the quantum fluctuations of the CFT state must be well within the bulk particle's Compton wavelength λ c . Using (22), one can translate the fluctuations in the CFT energy (15) into fluctuations in the radial position of the particle at the turning point leading to the conclusion Hence, in the limit of Δ ≫ 1, the bulk particle is not only well localized within a radial region that is much smaller than the AdS scale, which is set to 1 in our analysis, but also within a parametrically larger region than λ c , so that it can be considered at rest; i.e., a particle localized within a region of the size of the Compton wavelength would not be at rest due to the uncertainty principle. The uncertainty δρ ⋆ ≃ 1= ffiffiffiffi m p in (24) is compatible with the physics explaining the three terms in the energy (21). A nonrelativistic particle at rest at the origin of AdS has a frequency of oscillation that is independent of the mass of the particle. Locally, the physics is that of a harmonic oscillator, where the frequency of oscillation is ω ¼ 1. Applying the virial theorem to the ground state, one infers mðδxÞ 2 ≃ 1. This reproduces the scaling δx ≃ 1= ffiffiffiffi m p in (24) and provides further evidence for the idea that the bulk particle is at rest at the point of insertion. After insertion, the particle will follow an infalling radial geodesic closely. Changing the radial localization properties of the bulk particle as an initial condition would require changing the details of the regulator. This is beyond the scope of the present paper.
To sum up, operators (7) create particles of mass m ∼ Δ at location ρ ⋆ , which are initially at rest. Their CFT time evolution corresponds to the bulk particles falling towards the origin of AdS along radial geodesics. This is how the action of the CFT time evolution gets mapped into classical motion in AdS in this semiclassical approximation. As such, this construction provides a natural candidate for preparing scattering states of finite energy that are well localized on regions smaller than the AdS radius and focusing towards the origin of AdS.
Additional intuition for this interpretation can be obtained from the CFT probability amplitude itself in (10) evaluated at its maximum (11). Its dominant contribution can be written in terms of the turning point ρ ⋆ , using (22), as The quantity ρ ⋆ is the spacelike geodesic length from the turning point to the origin. It can be thought of as the negative of a regularized spatial geodesic length from ρ ⋆ to the AdS boundary at a fixed time ð_ τ ¼ 0Þ so that This observation suggests the amplitude itself may be interpretable in terms of a tunneling computation. We will see that this intuition is accurate when ϵ is small.

A. A tunneling calculation
To check whether the suggested tunneling interpretation is accurate, one must check whether the amplitude (34) agrees with the (properly regularized) semiclassical Euclidean AdS particle action and whether the Euclidean time evolution appearing in the regularization (9) matches the bulk Euclidean time between the boundary and the turning point ρ ⋆ , which sets the initial condition for the bulk interpretation in Sec. III.
To prepare the state of a massive particle at rest located at ρ ⋆ via a path integral, consider the Euclidean action principle Because of the initial condition, the energy of this particle equals (20). Choosing the gauge _ τ ¼ 1, the Euclidean time that it takes to get to the boundary ρ ∞ equals Since our semiclassical considerations many times require ρ ⋆ ≫ 1, this Euclidean time yields Thus, the second of our requirements for a proper tunneling interpretation is fulfilled. Let us compute the on-shell Euclidean action for a point particle starting at ρ ⋆ and reaching the boundary at τ, as in (31). Since this action is proportional to the geodesic length connecting these points, it will diverge. 2 To regulate it, we cut it off at ρ ∞ , subtract the length of the spacelike geodesic from the AdS origin till ρ ∞ at constant τ ¼ 0 and take the limit ρ ∞ afterwards: Taking the limit yields Hence, the amplitude (34) equals Both checks together provide strong evidence for the tunneling interpretation of the CFT amplitudes (34). Before closing this discussion, notice the exact calculation of the Euclidean time integral (30) yields This result is required for the evaluation of the two-point function, which in the current Euclidean setup must behave like hOðθ; þτÞOðθ; −τÞi ∼ ðsinh τÞ −2Δ : According to the standard AdS=CFT dictionary, the twopoint function should equal expð−S ec Þ, where the full Euclidean action corresponds now to the Euclidean geodesic connecting the two boundary points in the correlator. Observing that S ec ¼ 2mL ⋆ ¼ 2m log sinh τ, we recover the required behavior, after using (35), except for the substitution m → Δ ∼ m þ d=2. As discussed previously, the d=2 correction is a zero point energy [15], which should arise in the semiclassical computation from a one loop correction to the effective action.

B. Angular localization
Our discussion so far focused on the radial localization properties of our state (7). If, instead of integrating over the sphere, we would have considered a regulated local operator insertion generating an excited state on the vacuum at t ¼ 0, we could study its localization properties in the angular direction. Using the CFT two-point function on the cylinder, the inner product of the regulated states (37) is exactly given by (see for example [2]) where δθ ¼ θ 1 − θ 2 is the relative angle between the two insertions. Notice, in particular, that when ϵ ∼ δθ ≪ 1 we can approximate this as where in the last step we considered δθ ≪ ϵ. The first exponential matches the tunneling amplitude (25), suggesting that this state remains localized at the same ρ ⋆ as in (22). The second exponential describes the localization in the angle θ. Indeed, it is a Gaussian of size δθ ∼ ϵ ffiffi ffi Δ p , which is indeed much smaller than ϵ in the large Δ limit.
These observations suggest that operators O Δ;ϵ ðθ; tÞ create localized states in both the radial and the angular directions that are controlled by the cutoff, and that they should all have the same energy E. To check the angular localization, consider the fluctuation in the proper angular distance ðδx ⊥ Þ in AdS at the insertion point ðρ ⋆ ; θÞ after using the small ϵ approximation in (22). This is of the same order of magnitude as the one computed in (24) for δρ ⋆ . Hence, the bulk description can again be interpreted as a particle that is initially at rest, modulo uncertainty principle considerations. To check this interpretation of a particle at rest, notice that since the angular distribution is effectively Gaussian [see (39)], the particle should be considered as a minimal uncertainty packet. It follows that the uncertainty in the conjugate variable to δx ⊥ is This uncertainty corresponds to an uncertainty in the velocity transverse to the radial direction given by This, together with our previous radial localization discussion, shows the particle is nonrelativistic at large mass m in all directions of motion at the insertion point ðρ ⋆ ; θÞ.

IV. ADDING ANGULAR MOMENTUM
To describe more general states not being at rest at the bulk insertion point, we can simply consider operators O Δ ðθ; tÞ acting on the vacuum. These generate all possible descendants of the primary state O Δ , not just those at vanishing angular momentum l ¼ 0. Indeed, if we insert one of these operators in the Euclidean plane, the Taylor series generates a series for all derivatives of O Δ . This is a generating function for all of the descendants of the primary O Δ under the operator state correspondence, which includes the descendants with nonzero angular momentum. When mapping to the cylinder for radial quantization, other quantum numbers, like the angular momentum, can be fixed by integrating the insertion of O Δ ðθ; tÞ in the cylinder with different nonconstant angular profiles on the sphere. We expect this procedure to prepare CFT states in any partial wave starting at t ¼ 0, with an amount of energy controlled by ϵ once the operator is properly regularized, whose bulk description is specified by infalling bulk particles starting at rest in the radial direction with some fixed angular momentum in the angular directions. These would then fall to the AdS origin where a putative scattering event could take place.
To compute the amplitudes of these states with a fixed angular momentum, one proceeds similarly to (3). One starts with O Δ ðΩ; tÞj0i but this time one projects the state into a fixed angular momentum by integrating with a nonconstant spherical harmonic Y l into a different partial wave using Y l ðΩÞ, one of the spherical harmonics at momentum l. To get a semiclassical state, one chooses a spherical harmonic that is a highest weight state (e.g., Y ll in a two-dimensional sphere), which can be thought of as having a classical angular momentum l on a single plane. The standard AdS=CFT dictionary [17,18] suggests to derive the CFT wave function (44) as where Φðρ; t; ΩÞ is the scalar bulk field dual to the scalar primary CFT operator O Δ . This approach was already followed in Appendix B of [12] and extended to an arbitrary number of dimensions in [19]. We reproduce it here in any number of CFT dimensions. The basic idea is to use the properly normalized classical solution to the wave equation in global AdS [17,18,20] Φðt; η; ΩÞ ¼ 1 with normalization Notice the radial coordinate ρ in (18) is related to η above by sec 2 η ¼ cosh 2 ρ. Plugging (46) into (45) (and having normalized the descendant state jΔ þ 2k þ li), the amplitude reduces to The proportionality comes from the spherical integral over the spherical harmonic and the hypergeometric function is evaluated at 1 because η → π=2 when we reach the boundary at ρ → ∞, which is the reason why the divergent cosh 2Δ ρ prescription gets stripped off by the vanishing cos 2Δ η from (46). Evaluating the hypergeometric function and using identities of gamma functions, the amplitude yields This reproduces (4) when l ¼ 0 and extends it for nons-wave modes. For large k, the amplitudes (49) still grow polynomially in k, like in our l ¼ 0 analysis in (5). Regulating the operators as in (9), we obtain the regulated amplitudes To develop the bulk interpretation of these operators, let us analyse the localization properties of these amplitudes in regimes compatible with a semiclassical description. Using Stirling's approximation, Since l is fixed, the amplitude is maximized for k max , satisfying If l is small, one recovers the previous answer (11). If l ≫ Δ=ϵ, one can ignore the first term and then is half the value for l ¼ 0. To evaluate the relative uncertainty in k, we compute the second derivative on k max : This also has an approximate Gaussian distribution and leads to a relative uncertainty in k scaling like for both regimes of angular momentum; i.e., no matter how l scales, the large conformal dimension limit (Δ ≫ 1) still controls the localization of the amplitude. Following our analysis in Sec. III, one expects states jΔ þ 2k max þ li to be captured by classical geodesics describing AdS point particles of mass m ∼ Δ, angular momentum l, and energy E ¼ Δ þ 2k max þ l, in the semiclassical regime Δ ≫ 1 and ϵ ≪ 1. Due to the highest weight nature of the state selected by the Y l ðΩÞ projection in (44), the semiclassical motion is exactly on a plane determined by the angular momentum. For example, if we consider Y ll ðθ; ϕÞ in the two-dimensional sphere, the uncertainty in L 2 x þ L 2 y is minimized. Moreover, it is much smaller than L z . In the classical limit of very large angular momentum we just ignore L x , L y and consider an orbit on the plane orthogonal toẑ that passes through the origin. Basically, this reduces the mechanics problem to 2 þ 1 dimensions, so all the semiclassical physics will take place in a global AdS 3 geometry. In the gauge _ τ ¼ 1, the action is given by Conservation of energy and angular momentum yields Plugging the angular velocity, into the energy conservation, one can derive wherel ¼ l=m andÊ ¼ E=m.
The insertion of the operator should correspond to the bulk particle sitting at the turning point of the orbit in the radial direction ð_ ρ ¼ 0Þ. Due to the presence of the angular momentum, there are two such turning points: These are the aphelion and the perihelion of the orbit. The proper matching requires us to pick the aphelion, i.e., the farthest point from the origin. This satisfies our infalling intuition and agrees with the vanishing angular momentum analysis in Sec. III. Equation (60) relates the radial location of the turning point with the CFT cutoff ϵ for a given angular momentum l. In the regime l ≪ k max , one recovers (22)  localization properties discussed in Sec. III follow. Consider the regime l ≫ k max . Since the energy satisfieŝ it follows that the aphelion turning point can be approximated by Since the fluctuations in the energy δE at fixed l are still controlled by 2δk, we can use the CFT relative uncertainty (55) to derive the fluctuations in the turning point location of the bulk particle: In the large ρ ⋆ limit, cosh ρ ⋆ ≃ sinh ρ ⋆ and δρ ⋆ ≃ δk= k max ≃ Δ −1=2 , as in (24). Hence, despite the different location of the turning point (62) compared to our analysis in Sec. III due to the large angular momentum l, radial fluctuations still satisfy (24). Hence, the same conclusions regarding the bulk localization and the interpretation of these states as scattering states follow. When ϵ is large, orbits tend to be close to circular. Indeed, the orbit is exactly circular ifÊ ¼ jlj þ 1, which corresponds to the condition for the descendant of the scalar field to have the minimum energy at angular momentum l, i.e., E ¼ l þ Δ. For this value, one gets cosh . Orbits are approximately circular if 2k max =m is very small compared tol. This usually occurs if ϵ is large.
One might also be interested in placing a local operator in a small region that produces an initial configuration at a specific angle, with a corresponding angular momentum l, so that instead of a smeared particle in the angular directions as would be appropriate for a specific scattering state in some partial wave, one gets instead a good classical initial geometric condition for some particular geodesic. This can be done by using the line integral where fðθ − θ 0 Þ is a function of compact support on a small region and approximately Gaussian with an ϵ dependent width δθ so that δθl ≫ 1, and the line element is aligned in the classical direction that we want to specify for the particle velocity that is represented by the angular momentum. This way the integral will produce an uncertainty in the angular momentum that is small, δl=l ≪ 1, as well as a small uncertainty in the initial condition δθ. Similarly to the radial geodesics for local operator insertions, one would also produce a small uncertainty in the transverse angles to the angular momentum, as derived from the two-point function (39).

V. CONCLUSIONS
In this work we have constructed regularized CFT scalar primary operators O Δ;ϵ ðθ; tÞ ¼ expð−ϵHÞO Δ ðθ; tÞ expðþϵHÞ ð65Þ whose insertions acting on the CFT vacuum generate the primary state and its generic descendants through the operator-state correspondence. The CFT regulator ϵ makes the sum of the amplitudes of these states finite, so that the state O Δ;ϵ ðθ; tÞj0i is normalizable.
Working in the limit of large conformal dimension (Δ ≫ 1), these amplitudes are well approximated by Gaussian distributions with sharp widths. We have shown, in this same limit, that these states correspond to semiclassical bulk particles sitting at rest at the turning point of the relevant geodesic associated with the given state. This perspective provides a geometrical interpretation for the CFT regulator ϵ in terms of the turning point location of the geodesic. CFT Gaussian fluctuations controlling the amplitude distribution of the state are then mapped into bulk localization properties. We find these bulk particles are well localized within the AdS radius and the Compton wavelength λ c of the particle for generic descendants [see (24) and the discussion below (63)]. We have argued that projecting operators (65) with different kernels Z dΩO Δ;ϵ ðθ; tÞj0i; Z dΩY l ðΩÞO Δ;ϵ ðΩ; tÞj0i; Z dθ 0 expðilθ 0 Þfðθ − θ 0 ÞO Δ;ϵ ðθ 0 ; tÞj0i ð 66Þ corresponds to choosing different bulk geodesics accounting for the different symmetries of the states and their localization properties. Furthermore, for descendants carrying no angular momentum, we have also shown that their amplitudes are compatible with a Euclidean bulk tunneling interpretation from the boundary to the turning point that also accounts for the CFT Euclidean time evolution appearing in the regulator (65). It is natural to assume that the same will be true in the presence of angular momentum and we are currently trying to understand this issue.
There are some natural extensions of our work. First, one could consider the insertion of similarly regularized operators in less symmetric CFT states. These could either correspond to smooth holographic gravity duals or to black holes. In the latter case, the insertion of such regularized operators has been considered in the context of holographic quenches and the evolution of entanglement and scrambling at finite temperature, for example, in the works [21][22][23][24]. It would be particularly interesting to study the localization properties of the holographic bulk particle at finite temperature in the large angular momentum regime since one expects a large effective potential arising in this case.
Second, the interpretation of our insertions as scattering states raises the possibility of using their holographic description to provide potentially interesting relations to the bootstrap program. In principle, we could study the scattering from a heavy object at different impact parameters holographically by the study of geodesics on the relevant gravity duals, where we could attempt to learn about anomalous dimensions of double trace operators and complement the work [25,26] for operators of higher dimension.
Another natural question to ask is how localized the operators O ϵ ðθ; tÞ are on the boundary. After all, they are nonlocal. The natural place to ask this question is in terms of entanglement wedge reconstruction. We can ask what the smallest region of the boundary at fixed t is where such an operator can be localized within the local algebra of operators of the region. The natural answer should be that if the particle is created inside the entanglement wedge of that region, then a close approximation to the operator should be possible in the corresponding boundary [27]. Because global AdS is static and stationary, this requires solving for Ryu-Takayanagi surfaces [28] at fixed t. For disk shaped regions centered at θ 0 , these will look like a spherical dome (see, for example, the arguments in [29]). The minimal disk shaped region will occur, by symmetry, when the disk is centered at θ 0 ¼ θ, and whenever the corresponding ρ Ã is barely inside the dome. For small ϵ we can ignore global AdS and instead work in the local Poincaré coordinates on the boundary. The rotational symmetry of the Euclidean coordinates between the τ direction and the local δθ direction shows that the corresponding region is of size δθ ≃ ϵ, as the domes are foliated by geodesics in AdS.