AdS Maps and Diagrams of Bi-local Holography arxiv: v2 [hep-th] 8 Nov 2018

Transcription

1 Prepared for submission to JHEP BROWN-HET-1769 KIAS-P18094 AdS Maps and Diagrams of Bi-local Holography arxiv: v [hep-th 8 Nov 018 Robert de Mello Koch a,b, Antal Jevicki c, Kenta Suzuki c,d, Junggi Yoon e a School of Physics and Telecommunication Engineering, South China Normal University, Guangzhou , China. b National Institute for Theoretical Physics, School of Physics and Centre for Theoretical Physics, University of the Witwatersrand, Wits, 050, South Africa. c Department of Physics, Brown University, 18 Hope Street, Providence, RI 091, U.S.A. d Centre de Physique Théorique, École Polytechnique, CNRS, F-9118 Palaiseau, France. e School of Physics, Korea Institute for Advanced Study 85 Hoegiro Dongdaemun-gu, Seoul 0455, Republic of Korea. robert@neo.phys.wits.ac.za, antal jevicki@brown.edu, kenta.suzuki@polytechnique.edu, junggiyoon@kias.re.kr Abstract: We present in detail the basic ingredients contained in bi-local holography, representing a constructive scheme for reconstructing AdS bulk theories in Vectorial/AdS duality. Explicit Mapping to bulk AdS and higher spin fields is seen to be given by a double Fourier transform. All order interactions are explicitly specified through the collective action. This generates bulk Feynman (Witten) diagrams (at tree and loop level). We give details of the four-point case evaluation. It is noted that the bi-local construction goes beyond the assumptions in various discussions of non-locality.

2 Contents 1 Introduction 1 Overview of Bi-local Holography 3 Bi-local Map to AdS Momentum Map 7 3. Vertices in Momentum Space 1 4 Bi-local Witten Diagrams Bi-local Propagator Bi-local Three-point Function Bi-local s-channel Contribution 17 5 Conclusion 3 A Fourier Transform of Spinning Correlators 4 B Checks for the Bi-local Map 6 B.1 Realization of SO(, ) Generators 6 B. Coordinate Map 6 B.3 Transformation of Casimir and Laplacian 6 C Conformal Block Expansions 7 D Conformal Partial Wave Expansion 8 D.1 CPW Basis 8 D. Identity 30 1 Introduction The approach to Holography based on collective fields represents one constructive scheme to understand the appearance of emergent space-time degrees of freedom and of specifying their bulk interactions [1 4. Collective (gauge invariant) fields with their intrinsic nonlocality and the feature of remaining closed under large N Schwinger-Dyson (SD) equations provide a natural framework for bulk reconstruction. Vector type theories, leading to AdS Higher Spin (HS) Duality [5 8 are interesting and possibly the simplest class of theories where this construction can be explicitly implemented. The space of collective fields is in 1

3 this case given by bi-locals whose nonlinear dynamics and equations of motion are completely specified by the SD equations generating the 1/N expansion. This is summarized by the corresponding collective action (and Hamiltonian). It was proposed and in subsequent studies established that the bi-local space contains precisely the sufficient degrees of freedom to allow a representation of bulk fields and their dynamics in AdS space-time [1 4. The notable feature is that the identification of (physical) bulk fields is one-to-one and given by a momentum-space map through a double Fourier transform. This was explicitly constructed in the canonical (Hamiltonian) framework in both light-cone [ and time-like [3 quantization. Interesting features dealing with 1/N were discussed at both tree and loop level [9, 10. This framework, for reconstruction of bulk space-time and field interactions based on the dynamics of bi-local fields is termed bi-local holography. At present, it represents the only one-to-one construction for understanding the emergence of AdS degrees of freedom and construction of their bulk interactions from large N CFT. With the previous studies [, 3 being in the canonical (single time) framework (of collective theory), it is the purpose of this work to establish the more general, covariant action formulation and map. In the lower, one-dimensional case (d = 1) this has recently been extensively used in the investigations and large N solution of SYK type models [ While the complete bulk gravitational theory is not yet established, the bi-local construction and map greatly illuminate the emergent space-time and degrees of freedom of this theory. So in the present work we consider the higher dimensional cases of vector models in d > 1 at both UV and IR critical points (with clear dualities to Higher Spin Gravities in AdS [15 0) in more detail. For this we give a Map that establishes a transformation to AdS space-time, while the nonlinear collective action generates interaction vertices to all orders. Their structure is based on a bi-local star product, with an extended dipole picture [1 analogous to the case of SFT [. As such the bi-local theory provides a nonlinear bulk description of Higher Spins to all orders. This allows construction and evaluation of Feynman (Witten) diagrams which we will exemplify with detailed consideration of general 4-point boundary amplitudes. The content of the paper goes as follows. We will first discuss the covariant Map from bi-locals to AdS HS fields. This Map will be constructed in general in Section 3 and in detail for the example of AdS 3. It follows the earlier momentum-space Fourier analysis and applies to any case of vectorial/ads HS duality. This will also be true for the structure of bi-local interactions and the associated Feynman diagrams. We will discuss this in Section 4 presenting the details of the 4-point case. It is interesting to compare this with the work and evaluations of [3 and questions of Non-locality [4, 5. Overview of Bi-local Holography Bi-local holography provides a scheme of constructing various higher spin type bulk AdS theories from large N vector type CFT s. It is based on the collective field approach to the

4 1/N expansion where one exactly represents the path integral ˆ Z = Dφ i e S[φ, (.1) in terms of a new bi-local set of invariant variables Φ ˆ Z = DΦ µ(φ) e NScol[Φ. (.) Here we have rescaled Φ to exhibit an overall N which then plays the role of a coupling constant. In this way, the bi-local method systematically describes the large N physics (in vector type models) by an action [1 S col [Φ = S[Φ 1 Tr log Φ, (.3) where the trace term comes from a Jacobian factor due to the change of path-integral variables from the fundamental fields φ i (i = 1,, N) to the bi-local collective field Φ(x 1, x ) = 1 N N φ i (x 1 )φ i (x ). (.4) i=1 The first term S[Φ 1 represents the original action of the vector model written in terms of Φ. The saddle-point solution Φ 0 of the collective action (.3) represents the two-point function of the fundamental fields Φ 0 (x 1, x ) = 1 N N φi (x 1 )φ i (x ). (.6) i=1 Expanding the collective action around the saddle-point solution as follows Φ(x 1, x ) = Φ 0 (x 1, x ) + x 1 1 N Φ(x 1, x ), (.7) with x 1 x 1 x, we find the quadratic action S () = 1 The bi-local Laplacian is given by ˆ 4 d d x k Φ(x 1, x ) L bi Φ(x 3, x 4 ). (.8) k=1 bi = x 1 x 34 [ Φ 1 0 (x 1, x 3 )Φ 1 0 (x, x 4 ) + λ δd (x 1 )δ d (x 13 )δ d (x 14 ). (.9) 1 For the d-dimensional O(N) vector model, we have S[Φ = 1 ˆ [ ( ) d d x xφ(x, x ) + λ x =x Φ (x, x). (.5) 3

5 We will be following the critical theories at λ UV = 0, λ IR. The bi-local generator of the conformal group is given by L AB = L 1 AB + L AB. (.10) For the Euclidean d-dimensional conformal field theory, the two Casimir operators of the SO(1, d+1) conformal symmetry, whose generators are denoted by L AB (A, B = 1, 0,, d), are defined by C 1 L ABL AB, (.11) C 4 1 C 4 1 C (.1) with C 4 = 1 L A B L B C L C D L D A. (.13) The eigenvalues of these operators acting on a primary with conformal dimension and spin s are given in [6. The bi-local Laplacian (for the free theory) is related to the Casimir operators as [4 bi 1 4 x 1 4 x 1 x = C C + d 3d + 4 C. (.14) 4 The second equality can be shown by explicit evaluation. One considers the eigenvalue problem of the bi-local Laplacian bi ψ c,s (x 1, x ) = λ c,s ψ c,s (x 1, x ). (.15) where we label the eigenfunction and its eigenvalue by c and s, with the dimension related to c via d +c. The eigenfunction ψ c,s, which is called a conformal partial wave function [7, is given by a particular set of conformal spinning three point functions ψ c,s (x 1, c 0 ; x, c 0 ; x 3, c, s, ε) (Z 1,3 ε) s x 1 0 x 3 x 31 (.16) where ε µ denotes a null polarization vector and Z µ 1,3 is a unit vector defined by Z µ 1,3 x 13 x 3 x 1 ( x µ ) 13 x 13 xµ 3 x 3. (.17) Also note that 0 d + c 0 d is the conformal dimension of the d-dimensional free scalar field. The eigenvalues of the bi-local Laplacian bi are given by [ ( λ c,s = 1 d ) ( s + d ) [ ( 4 d ( s + ) d ). (.18) Note that we use Hermitian SO(1, d + 1) generators. Hence, the eigenvalue of the quadratic Casimir C has opposite sign with respect to that in [6. 4

6 We discuss the properties of the conformal partial wave functions ψ c,s (x 1, c 0 ; x, c 0 ; x 3, c, s, ε) in Appendix D.1. The main feature of the bi-local reconstruction of the bulk AdS fields is that there exists a map between η ( x 1 Φ) and the bulk higher spin fields H ˆ η(x i 1, x i ) = M(x i 1, x i x i, z, S) H(x i, z, S), ˆAdS H(x i, z, S) = M 1 (x i, z, S x i 1, x i ) η(x i 1, x i ), (.19) Bi local where x i and z are the AdS coordinates and S denotes the spin degrees of freedom. This bulk AdS field H(AdS d+1, S d 1 ) contains physical HS fields whose meaning will be illuminated in Section 3. We therefore have a one-to-one identification of the AdS d+1 bulk from the bi-local field. Under the transformation, the collective Laplacian turns into its corresponding AdS form and one can consider the collective action as an action of bulk AdS higher spin theory. The sequence of interacting vertices follows from this action. One expands the action around the saddle-point as in (.7), which leads to the 1/N expansion of the collective action as ˆ d d x 1 d d x d d x 3 d d x 4 Φ(x 1, x )K(x 1, x ; x 3, x 4 )Φ(x 3, x 4 ) S[η = 1 + n=3 1 ( 1) n ( ) N n 1 n Tr Φ 1 0 η Φ 1 0 η, (.0) where in the interaction term (second term), the n th term in the sum contains n η fields. Recall that η(x 1, x ) x 1 Φ(x 1, x ). The star product is defined by (A B)(x 1, x ) dd x 3 A(x 1, x 3 )B(x 3, x ). The quadratic kernel is the bi-local Laplacian K = bi, given by equation (.14). On the other hand, vertices are constructed using the inverse of the classical solution Φ 1 0, which are represented by a dashed line. For example, the cubic and quartic vertices are diagrammatically presented by x 1 x V 3 (x 1, x ; x 3, x 4 ; x 5, x 6 ) x 6 3 (.1) x 3 x 5 x 4 x 1 x x 3 x 8 V 4 (x 1, x ; x 3, x 4 ; x 5, x 6 ; x 7, x 8 ) 4 (.) x 7 x 4 x 6 x 5 We will work out concrete forms of these vertices and their transforms to AdS space to exemplify their locality properties. They will also be the main ingredients for writing and evaluating Witten diagrams in Section 4. For the d = 1 case relevant to the SYK model these vertices generate the diagrammatics of [8. 5

7 3 Bi-local Map to AdS The basis of the map comes from group theory and concerns the action of the conformal group. On the bi-local Φ(x 1, x ) we have the kinematic action of two copies of SO(1, d + 1) L AB = L 1 AB + L AB, (3.1) and on the higher spin fields H(AdS d+1, S d 1 ) there is a nontrivial realization (spinning particle in AdS) of SO(1, d + 1) M =,s,p µ ψ AdS (AdS d+1, S d 1, s, p µ )ψ bi (x 1, x, s, p µ ). (3.) Under the bi-local map, the mapping between the bi-local field and the AdS higher spin field is simply given by a change of momenta (point transformation) in momentum space. Namely, defining the Fourier transform to momentum space by ˆ η(k 1, i k) i dx i 1dx i e ix 1 k 1 e ix k η(x i 1, x i ), ˆ H(p i, p z, Θ) dx i dzds e ip x e ipzz e iθs H(x i, z, S), (3.3) the bi-local map transforms between the two fields η(k i 1, k i ) H(p i, p z, Θ). (3.4) To understand this identification, we first need to establish the physical degrees of freedom of the bulk AdS theory. Higher spin fields h µ1 µ s (x) (µ j = 0, 1,, d) in AdS d+1 can be represented in embedding space by H A1 A s (X) = x µ 1,A1 x µ 1,As h µ1 µ s (x), (3.5) s where X A (A = 1, 0, 1,, d) are the coordinates of the embedding space of AdS d+1. Introducing an extra set of coordinates Y A to generate the spin degrees of freedom, we have H(X; Y ) s H A1 A s (X) Y A1 Y As. (3.6) The phase space is spanned by X A, P A, Y A, K A, (3.7) (where P A and K A are the conjugate momentum of X A and Y A, respectively). On this space one has four (first class) constraints which can be summarized as [4, 17 T 1 = X A P A + Y A K A + 1 = 0, (massless condition) (3.8) T = X A K A = 0, (transversality condition) (3.9) T 3 = K A K A = 0, (traceless condition) (3.10) T 4 = P A K A = 0, (de Donder gauge) (3.11) 6

8 together with two gauge conditions T 1 = X A X A + 1 = 0, (AdS Space) (3.1) T = X A Y A = 0. (3.13) By solving the constraints, the phase space is reduced to (x µ, p µ ; y µ, k µ ) (µ = 0, 1,, d). In the reduced phase space, the remaining first class constraints can be written as T 3 = δ µν k µ k ν z, (3.14) T 4 = z δ µν k µ p ν + z(δ µν k µ k ν )y. (3.15) Note that T 3 and T 4 can be considered as constraints for the higher spin field φ(x; y) in the Poincare coordinates of AdS d+1 space φ(x; y) s φ µ1 µ s (x) y µ1 y µs. (3.16) Solving T 3 and T 4 leads to a reduced phase space for AdS d+1 S d 1 with coordinates (x µ, p µ ; Ω, p Ω ). This is the physical space, to which we will refer as the spinning AdS space. On this phase space there is no gauge redundancy, and the action of the group SO(1, d + 1) is nontrivial. Our correspondence corresponds to this (physical) description of AdS higher spin bulk fields. The transformation between bi-local and spinning AdS spaces is simplified with the Poincare parametrization of AdS. One has that the relationship between bi-local and spinning AdS spaces is simply given as a change of co-ordinates in momentum space. This change of momenta, and the explicit form of the map can be determined through comparison of the actions of the conformal group on the two spaces: bi-local and Spinning AdS. We will present a demonstration of this in the following section. 3.1 Momentum Map Let us give the discussion for deducing the momentum map in the example of the d = and AdS 3 S 1 case. By solving the remaining constraints T 3 and T 4 [4, the realization of SO(1, 3) on the reduced space can be established to be L AdS + = ip, L AdS 0 = ipx + i pz z, L AdS = ipx + ixzp z iz p + i (pθ ) 4p + L AdS + = i p, L AdS 0 = i p x + i pz z, L AdS = i p x + i xzp z iz p + i (pθ ) 4 p 4p p + (p z ) zp θ, p 4p p + (p z ) zp θ, (3.17) p 7

9 where p 1 (p0 ip 1 ) and p 1 (p0 + ip 1 ). Note that θ and p θ corresponds to the coordinate for S 1 and its conjugate, respectively. For the bi-local space, the SO(1, 3) generators read L bi + = ik 1 + ik, L bi 0 = k 1 k, k 1 k ( ) ( ) L bi = ik 1 ik. (3.18) k 1 k For the bi-local CFT, we use the notation k i 1 (k0 i ik1 i ), k i 1 (k0 i + ik1 i ) and k dif k 1 k, k dif k 1 k. One can search for the momentum space map by requiring that the bi-local realization (of generators) as differential operator maps into the AdS 3 S 1 space realization. This has been done in the previous light-cone and canonical quantizations for AdS 4, and the covariant d = 1 example of AdS. Generally this is an exceedingly complicated exercise. We will describe a much simpler route, which will allow us to deduce the momentum space transformation relatively easily through comparison of momentum space wave functions. One then proceeds to verify the consistency of the transformation by comparison of all the symmetry generators. For the derivation of the bi-local map, it is actually convenient to consider the Lorentzian signature case. Therefore, until (3.4) (and also Appendix A), we consider Lorentzian signature while in the rest of the paper we focus on the Euclidean case. This Lorentzian version of the bi-local map (3.39) (3.41) can be analytically continued to the Euclidean version (3.44) (3.47). In Appendix B, we also confirm that this bi-local map for the Euclidean case transforms the SO(1, 3) generators for AdS into bi-local generators. Let us consider the Casimir operators for Lorentzian SO(, ) generators in Appendix B.1 with L = 1 4 ( C = (L + L ), C 4 = (L L ) (3.19) z ) 4p + p p 1 ( z + p θ, L = z ) 4p + p p 4 z p θ. (3.0) Here we define p ± = 1 (p0 p 1 ) for Lorentzian case. The Laplacian squared is given by 3 AdS 3 S 1 = C C = 4L L. (3.) To see that this formula makes sense, recall that from CFT we expect L = 1 4 ( + s), L = 1 4 ( s), (3.3) 3 In this section, we neglect the ordering term which is linear in C. This corresponds to take, s 1 for the eigenvalues (.18) and we have λ,s 1 4 ( s ). (3.1) 8

10 so that the eigenvalues of the Laplacian squared are [ 1 ( + s ) as expected. Using the explicit forms given above, one finds the Laplacian as By changing z i p z AdS3 S 1 = 1 [ (z 4p+ p p z and p θ i θ, we have [ AdS3 S 1 = 1 φ θ ) p θ. (3.4), (3.5) where we define ( ) pz φ arcsin. (3.6) 4p+ p Then, it is easy to see that eigenfunctions ψ,s = e ±(i φ+isθ) (3.7) lead to the eigenvalues ( + s )/ as expected. For the bi-local (Lorentzian) CFT, the bi-local forms of the Casimir operators are given by ( L = ) ( k 1 + k k+, L = ) k 1 k, (3.8) 1+ k 1 k + k where we use the notation k i± 1 (k0 i k1 i ) for the Lorentzian case. The Laplacian bi = 4L L becomes ( bi = ) ( ) k1+k +k 1 k, (3.9) k 1+ k 1 k + k From the Fourier transformation of the spinning three-point functions (A.14), we have the bi-local wave functions where k dif± k 1± k ± and s F (k dif)f + (kdif) = ei ψ( k 1, k ) = δ( k 1 + k p)f (k dif+ )F (k dif ), (3.30) (arcsin k dif+ p + arcsin k dif p ) i e (arcsin k dif+ +arcsin k dif ) p + p k1+ k + k 1 k. (3.31) Therefore, one can confirm that ψ( k 1, k ) is indeed the bi-local wave function with the expected eigenvalue. bi F (k dif+ )F (k dif ) = 1 ( + s )F (k dif+ )F (k dif ). (3.3) 9

11 By comparing with the AdS wave function in (3.7), we conclude that θ = 1 arcsin k dif+ p + φ = 1 arcsin k dif+ p + 1 arcsin k dif p, (3.33) + 1 arcsin k dif p. (3.34) In order to write down the map for p z, it is useful to define k + k tan α +, tan α, (3.35) k 1+ k 1 Note that we have the following identity: ( tan arcsin k ) dif± = p ± This leads to where n ± Z. Choosing n ± = 0, the map for φ gives k dif± k 1± k ± = cot α ±. (3.36) arcsin k dif± p ± = π α ± + πn ±, (3.37) p z = p + p sin φ = p + p cos(α + + α ) = k 1+ k1 + k + k. (3.38) In summary, we have the Lorentzian version of the momentum map from (k 1± ; k ± ) to (p ±, p z, θ) and its inverse map is given by k 1± = p ± p ± = k 1± + k ±, (3.39) p z = k 1+ k1 + k + k, (3.40) k+ k θ = arctan + arctan, (3.41) k1+ k1 [ 1 + sin(φ ± θ), k ± = p [ ± 1 sin(φ ± θ). (3.4) For the Euclidean bi-local map, we perform a Wick rotation to Euclidean signature k +, k, p +, p e iπ k, e iπ k, e iπ p, e iπ p, (3.43) and quickly obtain the Euclidean version of the momentum map from (k 1, k 1 ; k, k ) to (p, p, p z, θ) p = k 1 + k, (3.44) p = k 1 + k, (3.45) p z = i k 1 k1 i k k, (3.46) k k θ = arctan + arctan, (3.47) k1 k1 10

12 and its inverse map, given by k 1 = p [1 + sin(φ + θ), k = p [1 sin(φ + θ), (3.48) k 1 = p [1 + sin(φ θ), k = p [1 sin(φ θ). (3.49) By Wick rotation, one can also repeat the analogous derivation for the Euclidean bi-local map. From the SO(1, 3) generators for higher spin fields in (3.17), the Casimir operators are written as L = 1 4 This leads to the Laplacian squared ( AdS 3 S 1 = 4L L = z p z + 4p p + ip θ ), L = 1 4 ( z p z + 4p p ip θ ). (3.50) [ 1 ( z p z + 4p p ) 1 + p θ = 1 ( ) φ θ. (3.51) where φ is defined by Wick rotation in (3.43) of (3.6) ( ) iφ = sinh 1 pz. (3.5) 4p p One can express the Casimir operators in terms of φ and θ L = 1 4 ( ) 1 ( ) φ + θ, L = φ θ, (3.53) 4 and, it is easy to see that ψ,s = e i φ+isθ is the eigenfunction of L and L corresponding to eigenvalue 1 4 ( + s) and 1 4 ( s), respectively. As in the Lorentzian case, one can express θ and φ in terms of k dif, k dif, p and p by comparing the wave functions. θ = 1 arcsin k dif p φ = 1 arcsin k dif p 1 arcsin k dif p, (3.54) + 1 arcsin k dif p. (3.55) This also leads to the Euclidean bi-local map in (3.44) (3.47). As usual in Euclidean CFT, holomorphic and anti-holomorphic momenta can be considered as independent complex variables. In the physical space where they are conjugate to each other, the bi-local map in (3.46) and (3.47) implies that p z and θ (and their conjugates in (B.4) and (B.5)) are pure imaginary. Note that the bi-local map is not necessarily a canonical transformation in general. Nevertheless, demanding that the two phase spaces are related by a canonical transformation, this momentum map induces a coordinate map, which is explicitly given in Appendix B. Then, the bi-local map consisting of the momentum and coordinate map indeed transforms SO(1, 3) generators for higher spin field to bi-local ones and vice versa. 11

13 In fact, one can also derive the bi-local map for momentum and coordinates by equating the two realization of SO(1, 3) generators. The bi-local map which we present in (3.44) (3.47) and (B.) (B.5) is a solution of these equations of the generators. Through the bi-local map found above, the quadratic collective action for d = is mapped to AdS 3 as S () = 1 4 ˆ d 3 xdθ ( g H AdS3 + ( θ + i) )( AdS3 + ( θ i) ) H. (3.56) Hence, the AdS Laplacian reads L AdS = ( )( ) AdS m 1(s) AdS m (s), (3.57) where m 1 (s) represents the physical mass which corresponds to the scaling dimension 1 = s + d, while m (s) represents un-physical mass corresponding to = s + d. 3. Vertices in Momentum Space Start from the cubic term in the action S (3) = 1 ( ) 6 N Tr Φ 1 0 η Φ 1 0 η Φ 1 0 η. (3.58) where we redefined the fluctuations as η(x 1, x 1) = x 1 x 1 Φ(x 1, x 1). (3.59) Writing the interaction in terms of the Φ fields, one finds the cubic term is [ S (3) = 1 3 ˆ 6 d x i d x i x i x i Φ(x i, x i) Φ 1 0 N (x 1, x )Φ 1 0 (x, x 3 )Φ 1 0 (x 3, x 1 ). i=1 (3.60) Now Fourier transforming the fluctuations the cubic term reduces to Φ(x i, x i) = ˆ d k i (π) d k i (π) eik ix i +ik i x i Φ(ki, k i), (3.61) S (3) = b 3 6 N = b 3 6 N [ 3 ˆ d k i d k i (π) 4 [ 3 ˆ d k i d k i (π) 4 i=1 i=1 k i k i Φ(ki, k i) k i k i L bi i (k i, k i) Φ(ki, k i) δ (k 1 + k )δ (k + k 3 )δ (k 3 + k 1 ) δ (k 1 + k )δ (k + k 3 )δ (k 3 + k 1 ), (3.6) 1

14 L bi i where is the bi-local Laplacian of the i-th leg acting on the delta functions. Now mapping this cubic term to AdS 3 S 1, we obtain [ 3 ˆ S (3) = b 3 dp 0 6 i dp 1 i dpz i dθ i N (π) 4 J ( p i, p z i, θ i ) H( p i, p z i, θ i ) L AdS 3 S 1 i ( p i, p z i, θ i ) δ 6 ( ), i=1 (3.63) where the bi-local Laplacian is transformed into the AdS 3 S 1 Laplacian with a Jacobian J. Here, we identified Φ(k i, k i ) = H( p i, p z i, θ i) and δ 6 ( ) represents the transformed results from δ (k 1 + k )δ (k + k 3)δ (k 3 + k 1). Two of these delta functions can be written as δ ( p 1 + p + p 3 ) and the remaining four are to be determined. Let us now evaluate the δ 6 ( ). The best way to evaluate the transformation is to use the holomorphic and anti-holomorphic coordinates. Then, the six delta functions are written as δ (k 1 + k )δ (k + k 3 )δ (k 3 + k 1 ) (3.64) = 6 δ(k 1 + k )δ( k 1 + k )δ(k + k 3)δ( k + k 3)δ(k 3 + k 1)δ( k 3 + k 1). Since the anti-holomorphic sector is just a copy of the holomorphic sector, we focus on the former (holomorphic) 3 δ(k 1 + k )δ(k + k 3)δ(k 3 + k 1) = 1 δ(k 1 + k 1 + k + k + k 3 + k 3) δ(k 1 + k 1 k + k + k 3 k 3) δ(k 1 k 1 + k + k k 3 + k 3). (3.65) Then, this part is transformed as (holomorphic) 1 ( δ(p 1 + p + p 3 ) δ (p 1 + sin(φ + θ ) ) ( + p 3 1 sin(φ3 + θ 3 ) )) ( ( δ p 1 1 sin(φ1 + θ 1 ) ) ( + p sin(φ3 + θ 3 ) )). (3.66) We can obtain a similar result for the anti-holomorphic sector using the momentum bi-local map. Now we further proceed to the quadratic coupling term S (4) = 1 ( ) 8N Tr Φ 1 0 η Φ 1 0 η Φ 1 0 η Φ 1 0 η. (3.67) Again by redefining the fluctuation as (3.59) and Fourier transforming as (3.61), we rewrite the quartic term as [ 4 ˆ S (4) = 3b 4 d k i d k i N (π) 4 Φ(ki, k i) bi L i (k i, k i) δ (k 1+k )δ (k +k 3 )δ (k 3+k 4 )δ (k 4+k 1 ). i=1 (3.68) 13

15 The transformation to AdS 3 S 1 now leads to S (4) = b 4 N 4 i=1 [ ˆ dp 0 i dp 1 i dpz i dθ i (π) 4 J ( p i, p z i, θ i ) H( p i, p z i, θ i ) L AdS 3 S 1 i ( p i, p z i, θ i ) The evaluation of δ 8 ( ) is identical to the cubic case, and this gives δ 8 ( ). (3.69) (holomorphic) 1 δ(p 1 + p + p 3 + p 4 ) ( δ (p 1 + sin(φ + θ ) ) ( + p 3 1 sin(φ3 + θ 3 ) )) ( δ (p sin(φ3 + θ 3 ) ) ( + p 4 1 sin(φ4 + θ 4 ) )) ( ( δ p sin(φ4 + θ 4 ) ) ( + p 1 1 sin(φ1 + θ 1 ) )). (3.70) There is a similar result for the anti-holomorphic sector. In general we see that in momentum space the vertices consist of delta function forms with insertions on external legs. Since the Map to AdS space, in momentum space, is just a change of variables, this property persists. In any case there are no inverse Laplacians in the vertices, a problem that plaged other constructions as discussed in [4. 4 Bi-local Witten Diagrams The bi-local field Φ was observed to transform (through the momentum space map after Fourier transformation) into the physical AdS higher spin field. On the CFT side, the bilocal field also represents the generating function of higher spin currents for the free theory as [ J s (x, ɛ) = Ds Φ(x 1, x ), (4.1) x 1 =x =x with ɛ representing a polarization vector and (see for example [9, 30) D s k=0 ( 1) k k!(s k)!γ(k 1 + d )Γ(s k 1 + d ) (ɛ x 1 ) s k (ɛ x ) k. (4.) Consequently, all correlation functions of higher spin currents J s1 (x 1, ɛ 1 )J s (x, ɛ ) J sn (x n, ɛ n ) (4.3) follow from correlators of bi-local fields Φ(x 1, x 1)Φ(x, x ) Φ(x n, x n). (4.4) With this in mind, it is useful to explore the conformal block decomposition of the bi-local field theory. Indeed, the language of conformal blocks allows efficient and maximal use of the underlying conformal invariance. For recent progress in this direction see for example [

16 4.1 Bi-local Propagator We start with the evaluation of the propagator of bi-local fluctuations represented by η G(x 1, x ; x 3, x 4 ) η(x 1, x )η(x 3, x 4 ). (4.5) We follow the (λ = 0) case, noting the fact that the discussion of the IR fixed point case is essentially the same (with only a boundary condition change for the lowest mode). A recent on-shell discussion of IR bi-local states is given in[36. For the propagator we consider the linearized collective field equation, which is the Schwinger-Dyson equation for the two point function of the bi-local fluctuation η at large N 1 G(x 1, x ; x 3, x 4 ) = δ(x 13 )δ(x 4 ) + δ(x 14 )δ(x 3 ). (4.6) This equation is easily solved,with the propagator expressed as G(x 1, x ; x 3, x 4 ) = Φ 0 (x 1, x 3 )Φ 0 (x, x 4 ) + Φ 0 (x 1, x 4 )Φ 0 (x, x 3 ), (4.7) which is diagrammatically represented by (4.11). We denote the classical solution 4 Φ 0 by a thick line as (the second equality is for d = 3) Φ 0 (x 1, x ) = x 1 x = 1 1 4π x 1. (4.8) In addition, the inverse 5 Φ 1 0 of the classical solution, which corresponds to a differential operator, is represented by a dashed line Φ 1 0 (x 1, x ) = 1δ d (x 1 ) = δ d (x 1 ) = x 1 x (4.9) From the above definitions, the contraction of a single thick line and a single dash line is easily evaluated Φ 1 0 (x 1, x 3 ) Φ 0 (x 3, x ) = 1Φ 0 (x 1, x ) = x 1 x 3 x = δ d (x 1 ) (4.10) The bi-local propagator of the η field is given by G(x 1, x ; x 3, x 4 ) x 1 x x 3 x 4 x 1 x x 3 x 4 + x 1 x x 3 x 4 (4.11) This is the bilocal representation of the propagator. Another representation of the propagator can be given in terms of conformal partial wave functions ψ c,s (x 1, c 0 ; x, c 0 ; y, c, s, ε) in (.16) which we explain in detail in Appendix D.1 G(x 1, x ; x 3, x 4 ) η(x 1, x )η(x 3, x 4 ) = ˆ d d y ρ s(c) ψ c,s(x 1, c 0 ; x, c 0 ; y, c, s, ɛ )ψ c,s (x 3, c 0 ; x 4, c 0 ; y, c, s, ɛ) (4.1) c,s 4 1 This corresponds to the two point function of the free O(N) scalar field. i.e., N i φi(x1)φi(x). 5 Φ 1 0 (x1, x) is the inverse of Φ0(x1, x) as a matrix in (x1, x) space. 15

17 where the Plancherel weight ρ s (c) is defined by ρ s (c) Γ( d + s) Γ(d/ 1 + c) (π) d s! Γ(c) [(d/ + s 1) c. (4.13) Note that c,s is composed of a summation over the even spins s and a contour integral along the imaginary axis, with a deformation for d 3 (see (D.10) for more details). One can easily see that the RHS of (4.6) becomes the completeness relation of the conformal partial wave functions in (D.8), which proves (4.6). The propagator has a physical pole at c = s d 1. The pole at c = s + d+1 is unphysical. It is clear that 1 G(x 1, x ; x 3, x 4 ) = = c,s ˆ 1 d d y λ c,sρ s (c) x 1 4 ψ c,s (x 1, c 0 ; x, c 0 ; y, c, s, ɛ )ψ c,s (x 3, c 0 ; x 4, c 0 ; y, c, s, ɛ) =δ(x 13 )δ(x 4 ) + δ(x 14 )δ(x 3 ). (4.14) Finally, note that the propagator G also satisfies the following equation, which is useful to simplify the diagrammatics = 1G(x 1, x ; x 3, x 4 ) = δ(x 13 )Φ 0 (x 4 ) + δ(x 14 )Φ 0 (x 3 ). (4.15) 4. Bi-local Three-point Function In this subsection, we consider the bi-local 3-point function η(x 1, x 1)η(x, x )η(x 3, x 3). (4.16) Acting with the differential operator in (4.) on each leg of this bi-local 3-point function and setting x i = x i, we can obtain any higher spin current 3-point function. From the large N expansion of the collective action, the cubic vertex can be read off as follows V 3 (x 1, x 1; x, x ; x 3, x 3) = 1 N 1 Φ 1 0 (x 3, x 1 )Φ 1 0 (x 1, x )Φ 1 0 (x, x 3 ). (4.17) The bi-local 3-point function can be computed from the bi-local Witten diagram rules to find η(x 1, x 1)η(x, x )η(x 3, x 3) ˆ = d d y a d d y ad d y b d d y b dd y c d d y c V 3 (y a, y a; y b, y b ; y c, y c) G(x 1, x 1; y a, y a)g(x, x ; y b, y b )G(x 3, x 3; y c, y c). (4.18) 16

18 Therefore, the bi-local three-point function is now represented as η(x 1, x 1)η(x, x )η(x 3, x 3) x 1 x 1 x 1 x 1 = x 3 3 x = x 3 x + (7 permutations) (4.19) x 3 x x 3 x where we used (4.15), which gives the permutation terms in each x i x i with a symmetry factor 1. Hence, the three point function of the bi-local fluctuation is given by η(x 1, x 1)η(x, x )η(x 3, x 3) = 1 1 (4π) 3 N x 1 x 0 x x 3 0 x 3 x 1 + (7 permutations). (4.0) Bi-local s-channel Contribution Now we evaluate the s-channel contribution, which is given by A s ( ) η(x 1, x 1)η(x, x )η(x 3, x 3)η(x 4, x 4) s ˆ [ 6 = dy i dy i V 3 (y 1, y 1; y, y ; y 3, y 3)V 3 (y 4, y 4; y 5, y 5; y 6, y 6) i=1 G(y 3, y 3; y 4, y 4)G(x 1, x 1; y 1, y 1)G(x, x ; y, y )G(x 3, x 3; y 5, y 5)G(x 4, x 4; y 6, y 6) (4.1) and similarly for A t ( ) and A u ( ). From the diagrammatic rules (i.e., (4.14) and (4.15)), the s-channel contribution is given by x 1 x 3 x 1 x 3 s = 3 3 (4.) x x x 4 x 4 and it can be written as A s (134) η(x 1, x 1)η(x, x )η(x 3, x 3)η(x 4, x 4) s = (Â + ˆB) (4.3) where Â, ˆB and Ĉ are defined in Figure 1. Similarly the t-channel contribution is given by 17

19 Â = B = Ĉ = Figure 1: Reduced Diagrams. Each channel is reduced as s = (Â + ˆB), t = (Â + Ĉ) and u = ( ˆB + Ĉ). x 1 x 3 x 1 3 x 3 t = (4.4) x 3 x 4 x x 4 A t (134) η(x 1, x 1)η(x, x )η(x 3, x 3)η(x 4, x 4) t = (Â + Ĉ) (4.5) and the u-channel contribution is x 1 x 3 u = x 1 x (4.6) x x x 4 x 4 A u (134) η(x 1, x 1)η(x, x )η(x 3, x 3)η(x 4, x 4) u = ( ˆB + Ĉ). (4.7) The quartic contribution associated with the four vertex V 4 (x 1, x 1; x, x ; x 3, x 3; x 4, x 4) = 1 N Φ 1 0 (x 3, x 1 )Φ 1 0 (x 1, x )Φ 1 0 (x, x 3 )Φ 1 0 (x, x 3 ) (4.8) from Figure gives A 4 (134) η(x 1, x 1)η(x, x )η(x 3, x 3)η(x 4, x 4) 4 = 3(Â + ˆB + Ĉ). (4.9) We will now evaluate the same s, t, u channel diagrams using the conformal partial wave basis. We will consider the four point amplitude of four scalars, even though the evaluation 18

20 4 Figure : 4-point contact diagram, which is reduced to 3Â 3 ˆB 3Ĉ symmetry of the vertex. due to the cyclic of the general case is almost identical in the bilocal approach i.e., we consider the four point amplitude of O(x) lim x x η(x, x ) = 1 N N i=1 : φ i (x)φ i (x) :. (4.30) Note that with this definition the two point function of the scalar operator O(x) is given by O(x 1 )O(x ) = 1 8π 1 x Υ O x (4.31) By setting y i = y i (i = 1,, 3, 4) in (4.3), one obtains the s-channel correlation function of the four scalar O operators A s (134) η(x 1, x 1)η(x, x )η(x 3, x 3)η(x 4, x 4) s x i x i = 16 N 1 Υ O x 1 0 x34 0 G(x 1, x ; x 3, x 4 ). (4.3) At coincident points Â, ˆB, Ĉ becomes 4A, 4B, 4C. To evaluate the s-channel contribution, use the integral representation of the conformal block given in [3, 6 (see also [37) ( ) ˆ x 1 s x 34 s Ĉ x1 x 34 s d d x 1 x 34 x x x 1 d +c s x x d +c s x x 3 d c s x x 4 d c s 1 [ = K x 1 d +c s x 34 d c,s G c s d +c,s(u, v) + K c,sg d c,s(u, v) (4.33) where the conformal cross ratios are given by u x 1 x 34 x 13 x 4, v x 14 x 3 x. (4.34) 13 x 4 19

21 Ĉ s (x) is a Gegenbauer polynomial 6 defined in [38 and the coefficient K c,s is given by K c,s = π1+ d 4 d c s Γ( c)γ( d c + s)γ( d + c + s) [. (4.36) (c + s + d d )Γ( c) Γ( d c+s )Γ( d +c+s ) We follow the conventions of 7 [39 for the conformal block G h,s (u, v). Using this integral representation, one can write the s-channel contribution in (4.3) in terms of the conformal blocks. Therefore, we have (specializing for d = 3) A s (134) = 16 N = 1 Υ O x 1 x 34 G(x 1, x ; x 3, x 4 ) 1 3 x 1 x 34 N Υ O 5 +s ρ s (c) (π) 3 K c,s G 3 λ +c,s(u, v), (4.38) c,s c,s and λ c,s = 1 [c (s 1 [c 4 ) (s + 3 ). (4.39) Also, because ρ s (c) and λ h,s (c) in (4.3) are even functions of c, the contribution of the conformal block and its shadow in (4.33) to the s-channel is identical. By closing the contour in (4.38) (see the contour defined in (D.10)) in the region Re(c) > 0, the s-channel A s (134) contribution picks up the following three types of simple poles. Simple poles at c = s 1 ( s = 0,, 4, )8 from the factor ρs(c) λ c,s K c,s Simple poles at c = s + n + 5 ρ s(c) λ c,s K c,s (n = 0, 1,, and s = 0,, 4, ) from the factor Simple poles at c = s k + 1 block G h,s (u, v) (k = 1,,, s and s = 0,, 4, ) from the conformal The first two types of simple poles can easily be seen in the expression for ρs(c) λ c,s K c,s. On the other hand, the third type of simple poles in the conformal block G h,s (u, v) comes from null states. 6 The relation to the usual Gegenbauer polynomial C s(x) is given by ( ) ( ) X Y s! X Y Ĉ s = X Y s ( d C s = (Xµ1 X µs trace)(y µ1 Y µs trace). (4.35) 1)s X Y X s Y s 7 Here is the comparison between different conventions G [39 h,s (u, v) = 4h (d ) s G [40 ( ) s ( d )s h,s (u, v) = Γ(s + d ))Γ( d ) s Γ(d s)γ(s + d ) G[6 h,s (u, v). (4.37) 8 For s = 0, this comes from the deformation of the contour, or equivalently from additional residue contributions. See (D.10). 0

22 In Appendix D., we show that the contributions from the second and the third types of poles cancel exactly. The remaining contribution to the s-channel comes from the first type of simple poles at c = s 1 corresponding to single-trace operators. This leads to A s (134) = 1 3 x 1 x 34 N Υ O s Res c=s 1 5 +s (π) 3 ρ s (c) K c,s G 3 λ c,s +c,s(u, v) = Υ O x 1 x 34 c sg s+1,s (u, v) (4.40) s agreeing with the s-channel OPE expressions (for A + B). Here we define A, B and C as follows 4 A Â N = Υ O x i x i (x 1 x 34 ) u 0, (4.41) 0 B ˆB 4 N = Υ ( O u ) 0 x, (4.4) i x i (x 1 x 34 ) 0 v ( C Ĉ u ) 0 = x u 0. (4.43) i x i v 4 N Υ O (x 1 x 34 ) 0 Note that we include a normalization factor Υ O. A summary is given in the Appendix C. The t-channel diagram is evaluated in the same way with an exchange x x 4 which gives A t (134) = Υ O x 1 x 34 s c sug s+1,s ( 1 u, v u ) (4.44) agreeing with the t-channel OPE expressions (for A + C). Likewise, the u-channel contribution is Υ O A u (134) = x 1 x 34 c u s v G s+1,s(v, u) (4.45) which is consistent with the u-channel OPE expressions (for B +C). The exchange x x 3 and x x 4 leads to a transformation of (A, B, C) among each other and, by using this transformation, we have s (x x 3 ) : (A, B, C) (A, C, B) (4.46) (x x 4 ) : (A, B, C) (C, B, A) (4.47) (A + B) + (A + B) 3 + (A + B) 4 = 4(A + B + C). (4.48) Note that the s-channel contribution A s (134) in (C.4) is (A + B). Hence, the sum of the s-, t- and u-channel contributions can be written as follows A s (134) + A t (134) + A u (134) = 4(A + B + C). (4.49) 1

23 A q (134) = Figure 3: Contact Diagrams To conclude our s, t, u channel exchange evaluations, we note that the only contributions come from physical intermediate states (associated with single trace operators, and physical states of higher spin AdS fields). For comparison in analogous evaluations of [41, there seem to appear contributions associated with additional double trace states [4. Next to complete the evaluation of the four point function of the scalar operator O in the free O(N) vector model, we turn to evaluation of the quartic contact diagram contribution. As in the exchange diagrams, one can simplify the contribution of the contact diagrams in Figure 3 to obtain A q (134) = 3(A + B + C). (4.50) Finally, by summing up the contributions of the exchange and contact diagrams, we have O(x 1 )O(x )O(x 3 )O(x 4 ) conn = A s (134) + A t (134) + A u (134) + A q (134) = (A + B + C). (4.51) Let us summarize the main features of the above Feynman diagram scheme. First, we comment on the feature that (for the free case) exchange and contact diagrams give essentially the same contribution. It is interesting to state the mechanism behind this since it relates to questions of non-locality. The vertices in the bi-local construction can be explicitely seen to be associated with derivative couplings and a bi-local star product. In the exchange diagrams (of the free theory ) we see that the derivatives in the 3-vertices cancel out the bi-local Laplacians of the propagator, effectively resulting in a contact type contribution. It is for this reason that the two type of contributions give similar results. In the bi-local basis neither the quartic, nor the higher contact vertices contain inverse Laplacian type terms. There is another aspect (of the free theory) that illuminates this issue. It was observed that the Mellin amplitude in this case degenarates, instead of 1/s, 1/t, /1/u type exchange terms one finds xδ(x) type terms which relates to the cancellation noted above. The amplitude is essentially 0, which again agrees with the bi-local S-matrix finding [43. Concerning extensions of the diagram scheme to the IR fixed point it will be given by the same collective vertices, the difference being in the propagator, where the lowest mode wavefunction has to be taken to adjust to the different boundary conditions. Next, as we have also stressed the evaluation of loops is feasible, since the fact that the formalism is based on

24 physical higher spin degrees of freedom avoids the need for ghost fields etc.. This was already seen in a previous evaluation of free energy [10. It will be nevertheless interesting to compare the loop diagrams given by the present approach with the recent AdS evaluations of [44. 5 Conclusion We have in this paper developed the details of the covariant bi-local holographic reconstruction of bulk AdS applicable to cases of vectorial AdS duality. Different theories are distinguished by different bi-local propagators, while the all order interaction vertices are universally specified by the collective field action. The following two key ingredients of the construction have been elaborated in detail. First is the correspondence (Map) between the bi-local space and AdS space with higher spins. This map is seen (as in our previous Hamiltonian constructions) to be one-to-one, with the bi-local space faithfully representing the physical content of the emergent bulk fields. Even more (in the cases d = 1, ) it was a purely momentum space Map, corresponding to a change of momentum space coordinates. In this and other respects, the bi-local space reconstruction differs from schemes such as kinetic space, the later featuring maps [45 from (d + d) dimensions to (d + 1) representing a projection. Moreover, a comparison of Laplacians between the two schemes would indicate that the later might not have a satisfactory 1/N basis. In the bi-local construction, the reconstruction is fully nonlinear, with all order interactions which turn into bulk AdS space interactions through the one-to-one Map. As such they produce Feynman (Witten) diagrams applicable at tree and loop levels. We have presented in detail the evaluations of 3 and 4-point cases, the latter resulting in the familiar conformal block expansion [46. This in our s, t and u channel Feynman exchanges was seen to receive contributions only from single traces, representing physical states (in the example presented). For the example of free vector theory,a particular simplification is noted, where the derivative couplings in the vertices cancel out the Laplacians in the propagators, with a result being of contact type. It is not the case for the nontrivial IR fixed point theory, where one obtains genuine exchange and contact type contributions. Finally, we mention that other theories which are not necessarily based on vector fields (such as matrix and tensor models) offer sectors governed by bi-local holography. This is the case also of the recent interesting example of fishnet theories [47, which can be seen to correspond to a simple deformation of the present case. A notable challenge is still de Sitter space-time, which might be reachable through bi-local holography. For a recent, interesting discussion see [48. Acknowledgments One of us (AJ) would like to acknowledge conversations with Sacha Zhiboedov which trigered some of the evaluations presented. We would also like to thank Sumit Das for his continuing interest and discussions on the present topic. The work of RdMK is supported by the South African Research Chairs Initiative of the Department of Science and Technology and 3

25 National Research Foundation as well as funds received from the National Institute for Theoretical Physics (NITheP). The work of AJ and KS is supported by the Department of Energy under contract DE-SC The work of KS is also supported by the Galkin Fellowship Award at Brown University, and received funding from the European Research Council (ERC) under the European Union s Horizon 00 research and innovation programme under grant agreement No JY gratefully acknowledges support from International Centre for Theoretical Sciences (ICTS), Tata Institute of Fundamental Research, Bengaluru. RdMK and JY thank the Yukawa Institute for Theoretical Physics at Kyoto University, where this work was completed during the workshop YITP-T New Frontiers in String Theory 018. JY also thanks Asia Pacific Center for Theoretical Physics (APCTP) for the hospitality and partial support within the program Holography and Geometry of Quantum Entanglement. KS and JY would like to thank the Nordic Institute for Theoretical Physics (Nordita) for the hospitality and partial support during the completion of this work, within the program Bounding Transport and Chaos in Condensed Matter and Holography. A Fourier Transform of Spinning Correlators From [49, the -dimensional spinning conformal correlators are given by with ψ,s ( x 1, x ; x 3 ; ɛ) Z µ x 13 x 3 x 1 (Z µ ɛ µ ) s x 3 x 1 x 3 x, (A.1) x 1 x ( x µ ) 13 x 13 xµ 3 x 3. (A.) In this Appendix, we consider the Fourier transform of these spinning conformal correlators in the Lorentzian signature. The arbitrary polarization ɛ µ can be removed using the Thomas operator defined as follows D µ = ɛ ν ν µ 1 ɛ µ ν ν. (A.3) The form of the Thomas operator ensures that the tensor that we obtain after the ɛ µ have been removed by differentiation, is traceless. As usual in d-cft, it will prove convenient to use complex coordinates. Expressed in terms of complex coordinates, the Thomas operator becomes D + = ɛ + +, D = ɛ, (A.4) and (ɛ Z) for the two possible (holomorphic or anti-holomorphic) polarizations becomes Z + = x 13 x 3 x 1 x 1 x 3 x 13, Z = x 13 x 3 x 1 x + 1 x + 3 x+ 13. (A.5) Therefore, we have Z µ ɛ µ = 1 ( x 13 x 3 ɛ + x 1 x 1 x + ɛ x + ) 1 13 x 3 x +. (A.6) 13 x+ 3 4

26 Now, the Fourier transform of the spinning conformal correlators for the holomorphic polarization are written as ˆ ψ,s ( x 1, x ; p) η + η 0 e i p x dx + 3 dx 3 e ip +x + 3 e ip x 3 where we defined ( x x 1 + x η + (x + 3 ) (η + ) ) +s, η x 1 x ( η (x 3 ) (η ) ) s, (A.7). (A.8) The integrals in (A.7) are given by the integral representation of modified Bessel functions as ψ,s ( x 1, x ; p) p + ν+ p ν Γ(ν )Γ(ν + 1 ) η+ η 1 0 e i p x K ν +(ip + η + ) K ν (ip η ) (A.9) where we defined ν + + s 1, ν s 1. (A.10) We further Fourier transform from x 1, x to k 1, k : ˆ ψ,s ( k 1, k ; p) d x 1 d x e i k 1 x 1 e i k x ψ,s ( x 1, x ; p). (A.11) Changing the integration variables to x and η as in (A.8), then the x integral leads to the momentum conservation delta function δ ( k 1 + k p). The remaining η integrals can be directly performed by for example using formula of [50 as ˆ dη η µ e ikη K ν (ipη) ( µ + ν + 1 ) ( µ + ν + 1 = µ (ip) µ 1 Γ Γ ) F 1 ( µ + ν + 1, 1 + µ ν, 1 ; k ) p. (A.1) There is a one possibility that this result becomes simpler. Namely when µ = 0 ( 0 = 1/), we have ˆ dη e ikη K ν (ipη) = 1 1 k p cos [ν arcsin( k p ). (A.13) Hence for 0 = 1/, we obtain the Fourier transform of the spinning correlators as ψ,s ( k 1, k ; p) δ ( k 1 + k p) p + ν+ p ν Γ( h+s h s )Γ( ) ((p + ) (k + ) ) 1 ((p ) (k ) ) 1 [ ( ) [ ( ) cos ν + k+ arcsin cos ν k arcsin. (A.14) p + p 5

27 B Checks for the Bi-local Map B.1 Realization of SO(, ) Generators L AdS + = ip +, ( L AdS 0 = i p + x ) pz z, L AdS L AdS = i (p + (x + ) + x + zp z + z p + (pθ ) + 4p + + = ip, ( L AdS 0 = i p x + 1 ) pz z, L AdS B. Coordinate Map = i (p (x ) + x zp z + z p + + (pθ ) 4p Using the inverse momentum map in (3.48) and (3.49), we have 4p+ p (p z ) p + zp θ), 4p+ p (p z ) p zp θ), (B.1) x = k 1u 1 + k u p x = k 1 ū 1 + k ū p z = i ξ k1 k1 k k ξ p k1 k1 k k ξ p (B.) (B.3) (B.4) where ξ is defined by p θ = k 1 k (u 1 u ) + k1 k (ū ū 1 ) ξ u 1 u + ū1 ū k1 k k1 + k k1 k k1 + k (B.5) (B.6) B.3 Transformation of Casimir and Laplacian For AdS 3 S 1, we use momentum-space coordinates (p, p, φ, θ). The mapping to bi-local momentum-space is given by p = k 1 + k, φ = 1 arcsin k dif p + 1 arcsin k dif p, p = k 1 + k, θ = 1 arcsin k dif p 1 arcsin k dif p, (B.7) where we defined k k 1 k, k a 1 (k0 a ika), 1 p 1 (p0 ip 1 ), while ( ) φ sinh 1 pz. (B.8) p p 6

28 We have L AdS 3 S 1 = 1 4 ( φ + ), L AdS θ 3 S 1 = 1 ( 4 φ ). (B.9) θ Therefore, the Laplacian AdS 3 S 1 = 4L L is given by AdS3 S 1 = 1 ( ) φ θ. (B.10) For bi-local CFT, we label momentum-space by (k 1, k 1, k, k ). The inverse map of (B.7) is given by k 1 = p [ 1 + sin(φ + θ), k1 = p [ 1 + sin(φ θ), k = p [ 1 sin(φ + θ), k = p [ 1 sin(φ θ). (B.11) We have L bi = [ p k dif k dif, L bi = [ p k dif k dif. (B.1) From the mapping (B.7), one can rewrite the derivatives with respect to k, k as derivatives of φ and θ, by employing the chain rule. Therefore, we obtain L bi 1 ( 4 φ + ) = L AdS θ 3 S, L 1 bi 1 ( 4 θ ) = L AdS φ 3 S 1. (B.13) This guarantees that the Laplacian is also correctly transformed from the bi-local CFT to AdS 3 S 1. C Conformal Block Expansions The four point correlation function of spin zero scalars is given by O(x 1 )O(x )O(x 3 )O(x 4 ) conn = A + B + C Υ O = (y1 c y 34 ) 0 s G s+d,s (u, v) + s 0, even s c s is the OPE coefficient for single trace operators c n,sg s+n+,s (u, v) (C.1) c s 1 s+3 [( 1 ) s N s!s s and c n,s is the OPE coefficient of double-trace operator [51, 5 given by (C.) c n,s 1 ( 1) n 4( 1 ) n+ s [(s + n)!( 1 ) n N n!(n + s )![( s!) (s + 3 ) n(n) n (s + n + 1) s (s + n + 1 ). (C.3) n 7

29 The contributions from each of the three channels is [ ( A s (134) = u 0 u ) 0 Υ O + = v A t (134) = A u (134) = 8 N Υ O (x 1 x 34 ) 0 8 N Υ O (x 1 x 34 ) 0 8 N Υ O (x 1 x 34 ) 0 x 1 x 34 c sg s+1,s (u, v), s [ ( ) u 0 u 0 Υ O + = v x 1 x 34 c sug s+1,s ( 1 u, v u ), s [ (u ) ( ) 0 u 0 Υ + O = v v x 1 x 34 c u s v G s+1,s(v, u). s (C.4) (C.5) (C.6) D Conformal Partial Wave Expansion D.1 CPW Basis Let us consider the conformal partial wave functions constructed from two free O(N) scalar fields of dimension 0 d d + c 0 and spin-s symmetric-traceless operator of conformal dimension = d + c, which up to normalization are given by ψ µ 1 µ s c,s (x 1, c 0 ; x, c 0 ; x 3, c 0, s) 1 N N i=1 φ i (x 1 )φ i (x )O µ 1 µ s = d +c(x 3) (D.1) One can package the conformal partial wave function with a null polarization vector ε µ ψ c,s (x 1, c 0 ; x, c 0 ; x 3, c, s, ε) ε µ1 ε µ ε µs ψ µ 1 µ s c (x 1, c 0 ; x, c 0 ; x 3, c, s) (Z 1,3 ε) s x 1 0 x 3 x 31 (D.) where Z µ 1,3 is a unit vector defined by Z µ 1,3 x 13 x 3 x 1 ( x µ ) 13 x 13 xµ 3 x 3 ( Z µ 1,3 Z 1,3µ = 1 ). (D.3) In [53, 54, the conformal partial wave function ψ c,s (x 1, x ; x 3 ) ψ c,s (x 1, c 0 ; x, c 0 ; x 3, c, s, ε) 1 (π) d 3d +c+s+c 0 N c0,s(c) x 1 0 x 3 x 31 (Z 1,3 ε) s ( d + c, 0 d + c 0) (D.4) has been studied, and its normalization constant N (c) was determined to be N c0,s(c) [ Γ( d 4 + c + s + c 0)Γ( d 4 c + s + c 0)[Γ( d 4 + c + s 1 ) Γ( d 4 + c + s c 0)Γ( d 4 c + s c 0)[Γ( d 4 c + s ). (D.5) Note that for the free O(N) scalar field we have c 0 1. The tensor product of two principal series of representations can be decomposed into principal series representations in 8

30 any dimension, and for fixed pure imaginary c (principal series) the conformal partial wave functions ψ(x 1, c; x, c; x 3, c) with c ir form a complete basis [53, 54. For our purpose we need an analytic continuation of this completeness relation from pure imaginary c to the real value c 0 = 1 for the free O(N) scalar field. As c is analytically continued to c 0 = 1, poles from the normalization factor N c0,s(c) might cross the contour c ( i, i ) in the completeness relation 9 provided that [54 d + s + c 0 < 0 (D.7) For s, the contour integral does not pick up any pole in the analytic continuation. However, for s = 0 the contour can cross a pole. In particular, for d = 3 we have the extra contribution of = 1, which corresponds to the pole at c = ± 1. This leads to the completeness relation for the conformal partial wave constructed from the O(N) free scalar field ˆ d d y λ c,sρ s (c) x 34 4 ψ c,s (x 1, c 0 ; x, c 0 ; y, c, s, ɛ )ψ c,s (x 3, c 0 ; x 4, c 0 ; y, c, s, ɛ) c,s = 1 δd (x 13 )δ d (x 4 ) + 1 δd (x 14 )δ d (x 3 ) (D.8) where the Plancherel weight ρ s (c) is defined by ρ s (c) Γ( d + s) (π) d s! Γ(d/ 1 + c) Γ(c) [(d/ + s 1) c (D.9) First of all, note that one can think of the summation over c and s in (D.8) as the vertical contour integral (in c space) along the pure imaginary axis together with two residues at c = ± 1 for s = 0, or equivalently as the deformed contour C to include the pole at c = 1 and to exclude the other pole at c = 1 only for the s = 0 case s,ν [ˆ i i dc πi + Res Res c= 1 c= 1 s=0 + s=1 ˆ i i [ˆ dc πi = C dc + πi s=0 s=1 ˆ i i dc πi (D.10) The deformed contour C is a common prescription for the extra contribution coming from the analytic continuation [38. But, as pointed out in [38, one can also think of these contributions as the contribution of finite numbers of discrete representations for s = 0 which are called Born terms in the literature[55. Without these discrete contributions, the contour integral for s = 0 in the s-channel would pick up a simple pole at c = 1 which corresponds to the massless representation 9 This divergence comes from N c,s( c)n c,s(c) = Γ( d 4 + c + s + c)γ( d 4 c + s + c) Γ( d 4 + c + s c)γ( d 4 c + s c) (D.6) 9