Cosmological singularities encoded in IR boundary correlations

We study the dynamics near big crunch singularities produced in asymptotic AdS cosmologies using gauge/gravity duality. The dual description consists of a constant mass deformation of ABJM theory on de Sitter space and is well-defined and stable for small deformations. We identify the critical deformation where the theory becomes unstable at weak and at strong coupling. Using spacelike geodesics anchored on the boundary we compute two-point correlators of ABJM operators of large dimensions. Near the critical deformation a second saddle point contribution enters, in which the spacelike geodesics probe the high curvature region near the singularity. Its contribution strongly enhances the long-distance correlations. This has a natural interpretation in the weakly coupled boundary theory where the critical point corresponds to a massless limit.


Introduction
A longstanding goal of quantum gravity is to describe the physics near singularities such as the big bang or inside black holes. Gauge/gravity duality provides a powerful tool to apply to this problem since it allows us to describe singularities in toy model cosmologies that are asymptotically anti-de Sitter (AdS) in terms of a dual quantum field theory living on the conformal boundary. While these models are necessarily in AdS and therefore cannot describe a singularity in the beginning of our universe, they contain a Friedman-Lemaître-Robertson-Walker (FLRW) cosmology that evolves to a spacelike singularity. Thus, while JHEP05(2016)168 not identical to our universe, one can hope that learning about these cosmological singularities will also give some insight into conditions in the early universe.
The first examples of such 'AdS cosmologies' were constructed in [1,2]. These are solutions of N = 8, D = 4 supergravity involving only gravity and a single scalar field with m 2 = −2/R 2 AdS . In these scenarios smooth, spherically symmetric, asymptotically AdS initial data evolves into (or from) a singularity which extends all the way to infinity. The Lorentzian evolution exhibits an enhanced O (3,1) symmetry characteristic of open FLRW cosmologies. The dynamics of the system are governed by the scalar, which rolls down its (negative) potential, producing a big crunch singularity in finite time. Models of this type were further explored in [3][4][5][6] and other models of cosmologies in AdS were studied e.g., in [7][8][9][10][11].
For the AdS cosmologies in [1] it was shown that if one defines the dual ABJM theory [12] on the global AdS boundary the field theory also becomes singular when the bulk singularity reaches the boundary [2,3]. To evolve the field theory beyond this point requires an additional rule that specifies the transition of the field theory state across the singularity. No convincing rule has been put forward, however, and there is some evidence that this is in fact not possible. Specifically, detailed studies of the boundary evolution [2,3,13], as well as more general arguments based on holography [14], indicate that there can be no domain beyond the big crunch where the spacetime behaves classically again.
Thus, it is appropriate to adopt a boundary viewpoint in which the bulk singularities lie in the infinite future (or past). Such a framework was put forward in [15,16] where the AdS cosmologies of [1,2] were reinterpreted as being dual to a field theory on de Sitter spacetime. In this setup the bulk singularity corresponds to the dual field theory state in the asymptotic future (or past), leaving the boundary spacetime regular. Furthermore, the field theory is globally well-defined: even though the bulk scalar field turns on a (homogeneous) negative mass deformation in the dual, the conformal coupling to the de Sitter boundary geometry ensures the deformed theory is stable for sufficiently small deformations.
The dual description on de Sitter therefore provides an appealing setup to explore the quantum dynamics near cosmological singularities. At the same time it indicates there is an instability for large negative deformations. In particular, there is a critical deformation for which the negative mass deformation by a scalar operator, O, exactly cancels its positive conformal coupling, resulting in new massless excitations. For larger negative deformations the dual theory is unstable, just as one would expect for a tachyonic free theory. As we will review, at the critical point in a free theory the expectation value of O diverges and its two-point function develops a strong IR tail.
In this paper we identify the onset of this instability at strong coupling using gauge/gravity duality. Moreover, we find that observables in the dual field theory near criticality can exhibit clear and strong signatures of the bulk singularity. In particular, we show that, similar to the free theory, the two-point function of large dimension operators on the boundary at strong coupling is enhanced in the IR as one approaches the critical point, and we trace this feature to the presence of the bulk singularity.
The starting point for our analysis is the construction of an effective potential for the expectation value O at strong coupling. This effective potential is obtained using the JHEP05(2016)168 asymptotic behavior of the AdS cosmologies together with the bulk boundary conditions. The effective potential shows that there is a critical deformation at which the boundary theory at strong coupling becomes unstable. 1 To probe and explore the dynamics near the singularity, we compute the two-point function of boundary operators. In the large N limit, the leading contribution to the twopoint correlator of an operator, O ∆ , of high conformal dimension, ∆, is specified by the (regulated) length of spacelike bulk geodesics anchored on the boundary 2 [20,21]. For small deformations there is a unique bulk background. In this regime all bulk geodesics with endpoints on the boundary stay well away from the high curvature region near the singularity [22], and the resulting boundary two-point correlators do not appear to exhibit strong signatures that can be associated with the singularity.
However, larger deformations near the critical point admit a second background. Both backgrounds provide saddle point contributions to the boundary correlators in the geodesic approximation. The second saddle point describes the evolution of initial data consisting of a thin wall bubble with an interior region where the scalar field is large. As a consequence, the singularity develops rapidly in this background. As we will discuss this implies that there are bulk geodesics anchored on the boundary that come close to the singularity. Moreover, their contribution turns out to dominate the large distance behavior of the boundary two-point function, despite the fact that the saddle point is suppressed in the bulk state under consideration, which is specified by Euclidean initial conditions. In particular, the second saddle point amplifies correlations in the IR and leads to an IR divergence in the limit of the critical deformation. This limit is probed by spacelike geodesics with endpoints on the boundary that touch the singularity in the bulk. In fact, the IR correlator behaves not unlike the long-distance two-point function of a massless field in de Sitter space, which is precisely what one expects based on the free boundary theory where the critical point corresponds to a massless limit.

Setup
Our starting point is the low energy limit of M-Theory compactified to AdS 4 × S 7 . The massless sector of the theory is N = 8 gauged supergravity in four dimensions, which involves the graviton, 28 SO(8) gauge bosons, and 70 real scalars. We consider a particular consistent truncation that includes only Einstein gravity coupled to a single scalar, φ, with potential [23], The construction of the effective potential is a generalization of the method introduced in [17] for duals defined on the global AdS boundary, which used the asymptotic behavior of static scalar soliton solutions. Static solitons are vacua of the theory for certain choices of boundary conditions on global AdS. The highly symmetric cosmological backgrounds of [1,2] are vacua of the theory for the asymptotic de Sitter boundary conditions we consider here. This is also born out by the fact that they can be obtained by analytic continuation of regular Euclidean instantons.
2 See e.g., [18,19] for attempts to probe the singularity inside AdS black holes using geodesics with endpoints on the boundary.

JHEP05(2016)168
where we have chosen the gauge coupling so that the AdS 4 solution at φ = 0 has radius one. The potential (2.1) has a maximum at φ = 0 and is unbounded below, but the scalar is within the Breitenlohner-Freedman bound [24] and with appropriate asymptotic boundary conditions the AdS vacuum is non-perturbatively stable [25]. We define the dual field theory on three-dimensional de Sitter space. Therefore, it is convenient to work in coordinates in which slices of AdS at constant radius, ρ, are three-dimensional de Sitter spaces. In these coordinates the AdS metric is: The scalar field equation of motion on this background implies that the scalar decays at large radius as where α and β may depend on the boundary coordinates. In order to specify the theory completely, one must fix boundary conditions. The scalar boundary conditions introduced in [24], for which global AdS is stable, correspond to either α = 0 or β = 0. These are a particular case of Dirichlet or Neumann boundary conditions respectively. However, there are other possible boundary conditions for which the theory is well-defined and some or all of the asymptotic AdS symmetries are preserved. Most generally, a choice of boundary conditions amounts to specifying both a relation β(α) for the asymptotic scalar profile, and a consistent set of falloff conditions on all metric components for which the conserved charges are well-defined [1,2,26]. In what follows, we adopt Neumann scalar boundary conditions where β is a nonzero constant together with a set of consistent boundary conditions on the metric.

Big bang/big crunch cosmologies in AdS
We now review some aspects of the AdS cosmologies introduced in [1,2]. Following [15], we interpret these cosmologies as solutions with β = constant boundary conditions in the coordinates (2.2). In this setup the dual field theory lives on three-dimensional de Sitter space and is globally well-defined.
The AdS cosmologies are obtained from initial data given by the analytic continuation of regular, O(4)-invariant, Euclidean instantons of the form The instantons are fully specified by A(ρ) and φ(ρ), whose dynamics are governed by the field equations derived from the Euclidean action: with V given in (2.1) and units where 8πG = 1. The Euclidean construction of initial conditions is appealing because it provides some information about the underlying state of the bulk which will be important when we study the singularity with boundary probes. We note that although the solutions are  Figure 1. The coefficients that characterize the asymptotic scalar field profile β i (α) (left) of the one-parameter family of O(4)-invariant, regular instantons, and the relation β i (φ 0 ) (right), where φ 0 is the value of the scalar at the origin. The fact that β tends to a finite value in the large α limit depends on the detailed form of the scalar potential (2.1) in the consistent truncation we consider.
instantons, and the equations of motion are identical to those for Coleman-de Luccia instantons [27], they should not be thought of as AdS vacuum decays. This is because the boundary conditions of the vacuum, β = α = 0, are incompatible with our boundary conditions β = constant. The field equations determine the asymptotic, near-boundary behavior of the fields: 3 Meanwhile, regularity at the origin requires A(0) = 0, A (0) = 1, and φ (0) = 0. Thus the set of regular instanton solutions can be labeled by the value of φ at the origin, φ(0) ≡ φ 0 . For each φ 0 , one can integrate the Einstein equations to find an instanton. Therefore, for each φ 0 one obtains a point in the (α, β) plane and a unique profile for the scale factor. Hence a 1 is determined by φ 0 or equivalently α. Repeating for all φ 0 yields a curve β i (α) where the subscript indicates that this is associated with instanton solutions. We plot this curve 4 in figure 1. The slice through the instanton at the equator of the S 3 in (2.4) defines time symmetric initial data for a Lorentzian solution. For any choice of boundary condition β(α), valid initial data are given by the fields on the equatorial slice of the instanton that corresponds to a point where the curve β i (α) intersects β(α). As can be seen from figure 1, for constant β boundary conditions neither existence nor uniqueness of an instanton is guaranteed. There is a minimal value β = β min , below which there are no regular solutions. Furthermore, below some critical value β = β c (the dashed line in figure 1) the solution is not unique; boundary conditions β ∈ (β min , β c ) admit two instantons. In this regime Euclidean initial conditions specify a bulk state that is a superposition of two classical backgrounds. For β → β c the second instanton becomes singular, with divergent φ 0 and α.
The Lorentzian evolution is obtained by two analytic continuations [1,2,27,28]: one of which covers the interior of a lightcone emanating form the origin, and one of which covers the exterior of this lightcone. The interior region inherits an SO(3, 1) symmetry from the instanton and hence evolves as an open FLRW universe. In the exterior region, spacetime is homogeneous on the radial de Sitter slices discussed above 5 (see figure 2). We write the Lorentzian metrics inside and outside the lightcone as: The scale factor and the scalar field in the exterior region of the Lorentzian solution do not transform under the analytic continuation from the Euclidean, so A(ρ) = a out (ρ). In particular, the scalar field remains everywhere bounded in this region, and the asymptotic expansions (2.6) and (2.7) remain valid. Hence the Lorentzian evolution given by analytic continuation obeys the constant β boundary conditions. Since both patches are obtained from the analytic continuation of a regular Euclidean geometry, one can use a single complex function to describe both regions. We define the scale factor, a, and the scalar, φ, to be equal to their corresponding values on the inside of the lightcone. The time coordinate t is complex, and its relation to the radial variable JHEP05(2016)168 In what follows, we often drop the "in/out" subscript and use the following notation for the general complex functions: (2.10) The Einstein and Klein-Gordon equations using these conventions can be written: where prime denotes the derivative with respect to t. The Euclidean regularity conditions translate to regularity across the lightcone: (2.14) While the scalar field outside the lightcone remains bounded, inside the lightcone φ rolls down the negative potential. This causes the scale factor a(t) to vanish in finite time t c , producing a big crunch singularity (cf. appendix A). The lightcone and the singularity within it reach the boundary of AdS in a finite global time [1,2]. The de Sitter slices however cover only the region outside the lightcone and thus are everywhere regular. This has important implications for the stability of the dual boundary system as we discuss below.
In appendix A (cf. (A.1)) we show that the scale factor in the interior region is bounded from above: Hence, its maximum, a max = a(t max ), is bounded by a max ≤ R with t max ≤ Rπ/2. The proper time between the a = a max surface and the singularity is given by t c − t max . Using steps identical to those leading to (2.15) in appendix A, it is straightforward to prove that this is also bounded: Thus, as we increase φ 0 , the proper distance between the surface where the scale factor is maximized and the singularity becomes exponentially small (see also figure 3 (left)). This will be important below when we probe the singularity with geodesics, which do not extend past the surface of maximal scale factor [22]. Finally, we point out a peculiar feature of the instanton solutions, which appears to be a property of this particular truncation of the supergravity theory; namely, the scalar field profiles, φ(ρ), for different φ 0 intersect each other. In particular profiles starting at a larger value of φ 0 describe smaller bubbles that are more localized around the origin (cf. figure 3 (right)). Other consistent truncations to a single scalar [23] do not exhibit this behavior, which appears to be a prerequisite for β i (α) to asymptote to a finite value, as seen in figure 1 (right). 3 Dual field theory The bulk system described by the Lorentzian continuation of the action (2.5) has a holographically dual description in terms of a deformation of ABJM theory [12] defined on three-dimensional de Sitter space [15]. The consistent truncation to a single bulk scalar with m 2 = −2 corresponds to a single operator in the dual theory of dimension ∆ satisfying the standard relation The scalar boundary conditions in the bulk determine the deformation of the dual field theory. Dirichlet boundary conditions keep the coefficient α in the expansion (2.7) fixed and the resulting deformation has ∆ = 2, while Neumann boundary conditions keep β fixed and deform the boundary theory by an operator with weight ∆ = 1. More general 'mixed' boundary conditions specified by a relation β(α) are also allowed [29,30]. The deformation of the dual corresponding to boundary conditions β = β(α) is given by [31][32][33] where α = O 1 . Hence, with our choice of Neumann boundary conditions β = constant, the boundary theory is simply a massive deformation of ABJM, where γ dS is the determinant of the metric on the boundary de Sitter space with unit radius.
In the next subsection we calculate the expectation value of the deformation operator, O 1 via holographic renormalization. We then move on to an analysis of ABJM in the weakly coupled limit in which it reduces to a theory of free scalars on de Sitter space. A free field theory should correspond to a Vasiliev-like, strongly coupled bulk geometry [34][35][36], so we do not expect to find an exact correspondence with the dynamics in the bulk in the supergravity regime. However, we find that the free theory captures several features of the bulk dynamics in qualitative terms. It therefore provides a framework in which we can interpret and understand some of the holographic signatures of the singularity in the JHEP05(2016)168 strongly coupled regime that we compute in section 5, and hence a starting point to explore the quantum dynamics of singularities.

Holographic renormalization
To extract the one-point function of the dual operator O 1 , as well as the renormalized value of the on-shell action, holographic renormalization must be carried out [37][38][39]. To do so it is convenient to work in Euclidean signature, where the line element takes the form (2.4), and the boundary is a three-sphere. The Euclidean action (2.5), including the Gibbons-Hawking term, is given by where γ ρ ij denotes the induced metric on a slice of constant ρ, and K is the extrinsic curvature (in the coordinates (2.4), K = 3A /A). In order for the action to be finite we introduce a cut-off, ρ cut . Using the asymptotic expansions (2.6) and (2.7) for the scale factor and scalar, one can extract the divergences of the on-shell action, A covariant counterterm action removing the divergences reads in agreement with [39].
In the standard quantization scheme, the source for the dual operator of dimension ∆ = 2 is identified with the leading term of the expansion of the scalar field, in this case α. In order to analyze the deformation by an operator of dimension ∆ = 1, we perform a Legendre transform by introducing the term [30,40], where π r denotes the renormalized canonical momentum: This leads to the one-point function For future convenience, it is important to know the value of the renormalized on-shell action, S ren , given by the sum of (3.3), (3.5), (3.6). Using the equations of motion and the asymptotic expansions, one can simplify this to: (3.9) The value of the on-shell action can easily be calculated for empty AdS, for which A(ρ) = sinh ρ and φ = 0. In this case one finds S ren = π 2 .

Free theory on de Sitter space
We now return to Lorentzian signature and consider a conformally coupled massive scalar field ϕ with the action where in the second line we use the fact that the Ricci scalar R = 6 and the conformal coupling is given by ξ = 1/8. The bulk instanton geometries with fixed β correspond to deforming the conformal case by adding a mass [15], β = m 2 /2. Since canonically normalized scalars in 3 spacetime dimensions have dimension 1/2, the deformation operator is: A massive field on de Sitter space is a well-defined, local QFT for any β > −3/8. Its two-point function G = G(Z) is a function only of the de Sitter invariant Z, which is defined as an invariant element of the embedding space: The embedding coordinates X µ , µ = 0, 1, . . . , d specify de Sitter space of unit radius by the equation (3.12) The two-point function is a solution to the equation of motion, with the correct (properly normalized) short-distance divergence. In three dimensions, the solution can be written in terms of elementary functions, (3.14) Its behavior for a range of masses is illustrated in figure 4. In the small distance limit, Z → 1 − , the two-point function exhibits the correct singular behavior In the case of a massless, conformally coupled scalar, β = 0, the two-point function truncates to the single term written in (3.15).  Figure 4. The two-point function for a free, massive, conformally coupled scalar field in de Sitter space, as a function of the de Sitter invariant Z, for various values of the mass. As the masssquared approaches the critical value β f r c = m 2 /2 = −3/8, where the scalar becomes massless, the two-point function develops a strong IR tail. In particular, it tends to a constant which diverges in the massless limit, with a subleading logarithmic decay.

JHEP05(2016)168
The massless limit. The limit β → −3/8 corresponds to the minimally coupled massless field as indicated by (3.10). This is a subtle case due to the fact that on the sphere, the defining equation has no solutions as its left hand side integrates to zero, while the right hand side does not. This problem manifests itself in various ways, such as the two-point function either breaking de Sitter invariance, not satisfying the equations of motion, or having unphysical divergences at finite separations, [41]. In particular, the naive limit lim β→−3/8 G β is illdefined: one finds, Various proposals to resolve this have been discussed in the literature. One suggestion is that the vacuum is only invariant under a subgroup of the full de Sitter symmetry group [41]. A related possibility is to remove the zero-mode, which violates unitarity and is therefore considered unphysical [42,43]. Additionally, one might restrict to considering only derivatives of the field in which divergences are absent; these can be used to describe all observable quantities. All of these amount to removing the divergent term in (3.17). Finally, it has been pointed out that the absence of a de Sitter invariant vacuum is a property of the free theory only, and is not an obstacle in interacting theories [44].
Long range behavior. We are particularly interested in the long range behavior of the two-point function. To examine this limit we first consider −3/8 < β < 1/8 and Eq. (3.18) shows that as β approaches the critical value, β f r c = −3/8, where the scalar becomes massless, the two-point function develops a strong IR tail. Taking the naive limit β → −3/8 using (3.17) we find The naive massless correlator therefore tends to a constant which diverges in the massless limit, plus a slowly decaying logarithmic tail. We note that the constants in the second term of the above expression depend on the order of limits, and are furthermore irrelevant since one can always add an arbitrary constant to the fundamental solution of (3.16). On the other hand, the divergent first term and the logarithmic term in (3.19) are physical signatures of the two-point function approaching the massless limit.
One-point function. Since the bulk theory exhibits a non-trivial value of the one-point function, α = O 1 = 0, we would like to examine the one-point function of ϕ 2 in the free theory as a function of β. One can compute this by taking the zero-separation limit of the two-point function, ϕ(x)ϕ(x ) . Since the two-point function is defined on the sphere, where IR divergences are absent, a natural procedure is to subtract the universal UV divergence (3.15). This leads to the following definition of ϕ 2 where ϕϕ 0 denotes the conformally coupled two-point function with β = 0. This subtraction amounts to taking the constant part of the expansion (3.15), given by: Notice that despite being a free theory, the one-point function is non-vanishing. This is because the subtraction scheme (3.20) is β independent. In this way, the universal UV divergence is subtracted without modifying the IR. The resulting non-zero one-point function is equal to that obtained from the generating functional for a free theory on the sphere [45,46]. As β approaches the critical deformation, β → −3/8, the one-point function diverges. This behavior as a function of β is illustrated in figure 5 and closely resembles the behavior found at strong coupling using holography (cf. figure 1 (left)).
Two-point function. In section 5 we study the strongly coupled ABJM theory by calculating the two-point functions of operators with ∆ 1 via the geodesic approximation. As a point of comparison, we can model a two-point function of an operator O ∆ of large dimension, ∆, in the free massive theory by considering O N/2 =: ϕ N :. As is the case for the flat space theory, Wick's theorem is applicable and the two-point function reads where G is the propagator given by (3.14).

Phase transition at strong coupling
The free boundary theory is unstable for large negative deformations β < β f r c = −3/8, for which the boundary scalar ϕ has a negative effective mass. The divergence of the onepoint function, α, at the critical deformation β → β f r c is a clear sign of the onset of this instability (cf. figure 5). In this section we identify and explore this phase transition at strong coupling in the boundary theory using holography.
We first construct an effective potential for the expectation value O 1 in the dual field theory from the asymptotic behavior of the instantons encapsulated in the curve β i (α), together with our choice of bulk boundary conditions. The construction of the effective potential for a dual field theory on de Sitter space is a generalization of the results of [17], where effective potentials for dual theories defined on the global AdS boundary were calculated using the asymptotic behavior of static scalar soliton solutions. Static solitons can be vacua of the theory for mixed boundary conditions, β(α), in global AdS [17]; similarly the instantons discussed in section 2 can be vacua for the theory with non-trivial boundary conditions on the de Sitter boundary.
Specifically, we consider the following function of α = O 1 , where β i (α) is shown in figure 1 (left) for strong coupling, and figure 5 for the free theory. In the second term of (4.1) β(α) refers to the boundary conditions on the de Sitter boundary and with our choice of Neumann boundary conditions β(α) = β. We now argue that the function (4.1) is equal to the standard effective potential. In a QFT the quantum effective action solves the quantum equation of motion, which in our notation reads δΓ 0 where Γ 0 is the quantum effective action of the undeformed theory, and α is the vacuum one-point function in the presence of the source β. The quantum effective action of the deformed theory, Γ β , is then given by The relation between the quantum effective action and the effective potential in the case of constant α is Γ β = −V ol dS V eff . Using (4.1) implies Γ 0 = −V ol dS β i dα, and we see that (4.2) is satisfied for the stationary solutions, β = β i . Therefore (4.1) plays the role of an effective potential for α. In particular, its extrema are in one-to-one correspondence with the regular instantons that obey the boundary conditions β(α). The effective potential (4.1) is shown for strong coupling in figure 6 (left). For small deformations V eff has a stable minimum which indicates that the strongly coupled boundary theory remains stable just like the free theory. By contrast, for large negative deformations β < β min we see V eff has no extrema at all, and the boundary theory is clearly unstable. Finally there is an interval β min < β ≤ β c in which our analysis of the effective potential indicates the theory is metastable. In this regime V eff has two extrema which correspond to two different instanton solutions. 6 The 'second' instanton, with the larger value of α, corresponds to a maximum of the effective potential and is presumably unstable. The first instanton describes a perturbatively stable vacuum state.
A genuine effective potential in a stable QFT is convex. Clearly this is not the case for β ≤ β c in figure 6 (left). The reason is that we consider a state where the one-point function, O 1 , is defined to be position-independent in a regime where the vacuum is at best metastable. In this regime one expects there to be a spatially varying state in the QFT with a lower value of the effective potential. For β min < β < β c such states correspond to instanton solutions in the dual field theory that tunnel away from the perturbatively stable minimum. Hence our interpretation of (4.1) as a genuine effective potential for O 1 allows us to conclude that for β min < β < β c the field theory becomes non-perturbatively unstable.

JHEP05(2016)168
Figure 6 (right) shows the effective potential for the operator ϕ 2 in the theory of a free, massive, conformally coupled scalar in de Sitter space discussed in section 3.2. This effective potential is constructed by inverting (3.21), substituting it in (4.1) for β i (α), and integrating. The mass deformation away from the conformal point is given by the deformation parameter β = m 2 /2. A comparison between both panels of figure 6 shows that the transition to the unstable regime for large (negative) deformations occurs in a qualitatively similar manner. On the other hand, the critical value of β c at which the instability sets in is more negative at strong coupling. Also, strong coupling allows for a narrow metastable regime which is absent in the free theory.
The most important feature of this analysis, which we will use below, is that both regimes exhibit a critical deformation, β c , at which the theory becomes unstable. In the free theory this transition corresponds to the case of a massless, minimally coupled scalar in de Sitter. In the next section we show that the near critical regime allows us to probe the high curvature region near the singularity with boundary observables.

Holographic signatures of the singularity
In the large N limit of the field theory, the leading contribution to the two-point correlator of an operator O of high conformal dimension ∆ in the dual strongly coupled ABJM theory on the de Sitter boundary is given in terms of the length of spacelike bulk geodesics connecting the two points: [20] where |ψ is the state of the boundary theory, L reg (x, x ) is the regulated length of the geodesics connecting boundary points x and x , and w i are the relative weights of the contributions of different saddle point geometries. We work in a state where the weights, w i , are related to the Euclidean on-shell action evaluated on the bulk backgrounds. The calculation of the geodesics and their lengths is presented in full detail in appendices B and C, here we summarise the key points and discuss the resulting correlator. Geodesics in AdS cosmologies of this kind have also been recently studied in [6], and many of the results in the appendices have overlap with this work.

Bulk geodesics
The de Sitter symmetry of the boundary implies the correlator can only depend on the de Sitter invariant distance between x and x , given in eqs. (3.11) and (3.12). We therefore restrict attention to geodesics connecting boundary points at equal times, τ B . For subhorizon boundary separations, equal time geodesics are symmetric around a turning point that is located outside the lightcone emanating from the origin at τ = 0 (cf. figure 2). Such geodesics do not probe the recollapsing FLRW patch of the bulk. The antipodal geodesic with τ B = 0 has a boundary separation equal to the de Sitter horizon. The time-symmetry of the initial data implies this geodesic passes through the tip of the lightcone bounding the interior region. Larger, super-horizon boundary separations can be covered by considering

JHEP05(2016)168
antipodal bulk geodesics with increasing τ B . These are symmetric around a turning point, t turn , at the center (χ = 0) of a spatial slice inside the lightcone.
This one-parameter set of highly symmetric geodesics covering all boundary separations depends on a single integration constant E, which is defined in eq. (B.10) and related to the scale factor at the turning point in the bulk as follows, Geodesics connecting sub-horizon boundary separations turn around outside the interior FLRW patch at a value ρ turn = −it turn and hence correspond to negative values of E. The E → 0 − limit corresponds to the short distance limit in which the geodesics only probe the asymptotic AdS geometry, while the E → −∞ limit corresponds to the antipodal geodesic that passes through the tip of the lightcone emanating from the origin. Geodesics connecting super-horizon boundary separations have positive E > E m > 1, where the E → E m limit corresponds to the limit in which the turning point t turn → t max . Recall that t max is the time at which the FLRW scale factor is maximized. This is the limit in which the geodesics come closest to the singularity in the interior cosmological patch.
Larger positive values of E correspond to geodesics turning around at smaller values of the scale factor a and stay further away from the singularity. There are no geodesics anchored on the boundary that enter the region inside the cosmological patch beyond a max [22]. The relation between E and the boundary separation Z is given by (cf. section C.1), Since we want to probe the region of the bulk near the singularity, we are particularly interested in the t turn → t max limit. Expanding (5.3) around t max − t turn we get, in terms of the de Sitter invariant distance D, where a max ≡ a (t)| t=tmax . This shows that as we increase D the geodesics 'pile up' near the surface a(t) = a max . We therefore expect the clearest signals of the singularity in the large distance limit of the boundary correlator, in line with the usual UV/IR correspondence of AdS/CFT. The length of the geodesics is given by (cf. (C.3)): where we have introduced a cut-off, ρ cut = it cut , which we specify in more detail below. Expanding (5.5) in the near boundary regime leads to (C.16): where α is given by the asymptotic expansion of the scalar field (2.7), and the cut-off 1/ ≡ a out (ρ cut ). As usual we regulate the length by introducing a cut-off at a fixed large value of the conformal factor, and subtracting the universal contribution. This yields: where we use the expansion of the scale factor (2.6) in the second line. Using this scheme, the correlators (5.1) exhibit the correct, universal short distance behavior: 7 in agreement with the weak field behavior (3.15). The regulated length as a function of the boundary separation is shown in figure 7 in three different backgrounds. One sees that L reg increases more slowly with the boundary separation in backgrounds with larger φ 0 , the value of the scalar field on the lightcone emanating from the origin. This is because the singularity tends more and more to a lightlike singularity as φ 0 increases. This has the effect that for large values of φ 0 the bulk geodesics in the interior region also become more light-like, so their length grows more slowly. Since our regularization scheme (5.7) is universal, this leads to a smaller regulated length L reg in the large distance regime for increasing φ 0 .

Holographic two-point functions
We now use our results for L reg (D) to evaluate the boundary two-point function (5.1). We have seen that for a given boundary separation there is a unique geodesic in each bulk background that connects the two boundary points. But there may be more than one background that contributes to the boundary correlator! Each instanton background provides a saddle point contribution in the holographic calculation of the boundary correlator (5.1). The bulk boundary conditions, β, determine the dual theory and therefore all instantons with a given β contribute to the correlator. This is in contrast to previous geodesic probes of singularities (e.g., [10,18]), where multiple geodesics in a single background contribute to the correlator. Figure 1 shows that for β > β c there is only one background, so the relative weighting factor in (5.1) is irrelevant in this regime. However, boundary conditions β min ≤ β ≤ β c admit two regular backgrounds and the question arises what are their relative weights in the gravitational path integral that leads to (5.1). This is where our Euclidean initial conditions enter; they correspond to starting the bulk in the vacuum state for β = 0 boundary conditions, and provide a natural relative weighing given by w i ∝ exp(−S E ), where S E are the renormalized Euclidean actions of the instantons (3.9). To summarize, we adopt the following relative weighting,

JHEP05(2016)168
where the sum runs over backgrounds with β i (α) = β. We plot the renormalized Euclidean actions (3.9) of the instantons in figure 8, as a function of φ 0 . This shows that for boundary conditions that admit two instantons, the saddle point with the largest value of φ 0 is always sub-dominant relative to the small φ 0 saddle point.
Substituting the weights (5.9) along with our results for the regulated lengths, summarised in figure 7, into (5.1) yields the two point correlation function for boundary operators with ∆ 1. The results are shown in figure 9 for an operator with ∆ = 5 for a range of different deformations β.
We are especially interested in the IR behavior of the correlator. This can be obtained analytically by expanding ( ∆ + subleading terms for Z → −∞ , (5.11) where C(β) represents the constant terms in (5.10). We derive an approximate analytic expression for C(β) in (C.23). 8 Substituting this in (5.11) yields for the large distance correlator, Thus, in the near critical regime where two saddle points contribute to the boundary correlator, the large α instanton, which has the smallest amplitude, nevertheless dominates the correlator in the IR. By contrast, it follows from (5.8) and the relative weighting (5.9) that the large α instanton provides a sub-dominant contribution to the short distance correlator. Its contribution at large distances leads to a strong enhancement of the correlations,

JHEP05(2016)168
a feature which we interpret as a clear signature of the singularity. Evidence for this interpretation comes form the fact that the geodesics come very close to the singularity in the large α backgrounds (cf. (2.16)). In fact, in the limit β → β c the large α instantons become singular, with φ 0 → ∞ and hence a max → 0, corresponding in the Lorentzian to a light-like singularity emanating from the origin. In the next section we explore the large distance behavior of the two-point function in the β ∼ β c regime in more detail and in particular compare this with the two-point function in the free theory computed in section 3.

Comparison of weak and strong coupling
We now compare the two-point function in the mass deformed ABJM theory computed holographically at strong coupling, with the two-point function of a high dimension operator in the theory of a free, massive scalar in de Sitter space. Both theories have a critical deformation, β c , at which the theory undergoes a phase transition and becomes unstable. Moreover in both cases the expectation value of the deformation operator, O 1 diverges at the critical deformation. It is therefore interesting to compare the behavior of the two-point functions in the neighbourhood of β c . Since this is a comparison between very different regimes of the theory, we only expect a qualitatively similar behavior at best.
We concentrate on the physically interesting IR regime. The large distance correlator at strong coupling is shown in figure 9 and given in (5.12). The leading behavior at large distance in the free theory is given by the leading (second) term of (3.18), raised to the power 2∆ according to (3.22): 2π sin π 2 √ 1 − 8β 2∆ + subleading terms for Z → −∞ .
(6.1) We now compare this to the strongly coupled results first for small β -the 'near AdS' limit -and then in the β ∼ β c regime near the onset of the instability.
The AdS limit. In the limit φ 0 1 the bulk system can be solved perturbatively in β, Plugging these expressions into (5.12) and expanding in small β gives where the subscript 's.c.' refers to the strong coupling regime of the ABJM theory. On the other hand a small β expansion of the free correlator (6.1) yields: + subleading terms for Z → −∞ .

JHEP05(2016)168
The leading term in both cases is that of a conformally coupled field, as it should be in the near AdS limit. The first order in β corrections have the same Z dependence, but they enter at different orders in β for weak versus strong coupling.
The β → β c limit. The critical deformation in the free theory is given by β f r c = −3/8. At this value the free scalar becomes massless and the two-point function develops a strong IR tail. In particular, (3.19) raised to the 2∆ gives: In the strongly coupled theory, the critical deformation occurs at β = β c ≈ −2.12. We have seen that the two-point function changes discontinuously when β → β + c , due to the sudden appearance of a second saddle point. However we can also approach the transition point from below. In this way the transition is smooth and we can meaningfully expand the correlator in the small parameter (β c − β) > 0 and see how the IR tail emerges.
In the absence of an analytic approach to calculate the dependence of the various constants in (5.12) on β, we turn to numerical fits. We fit a 1 and a max in the regime φ 0 1 corresponding to |β − β c | 1, which is the asymptotic tail of the functions in figure 1. We find: where the sub-dominant saddle point, with the larger value of a max , contributes only in the subleading terms. This reveals again a remarkable qualitatively similar behavior to the free field correlator (6.5) near the critical deformation. Note that the difference in the ∆ dependence of (6.5) and (6.7) is not surprising, as under RG flow the dimensions of operators typically vary.
It is furthermore interesting to notice that the expansion in exp (−1/(β c − β)) in (6.7) is reminiscent of an instanton expansion around the massless theory. This is especially suggestive when taken with the observation of section 4 that the boundary theory at strong coupling is non-perturbatively unstable in the regime β β c . It would be interesting to explore this in more detail.

JHEP05(2016)168 7 Conclusions
We have applied gauge/gravity duality to study the dynamics near cosmological singularities produced in scalar field driven cosmologies with asymptotic AdS 4 boundary conditions. The dual description of these AdS cosmologies consists of a mass deformation of ABJM theory defined on de Sitter space. This dual theory is well-defined and stable for sufficiently small deformations.
We have identified a critical deformation where the theory becomes unstable. It is exactly in this near critical regime that the bulk singularity can be probed by boundary observables. Specifically, close to the critical point, spacelike geodesics with endpoints anchored at large boundary separation explore the high curvature region near the singularity. We have seen this strongly enhances IR correlations in the two-point function of a high dimension operator at strong coupling. At the critical point itself, spacelike geodesics with endpoints far apart on the boundary nearly touch the singularity in the bulk, leading to an IR divergence of the boundary correlator. This lends further support to the general picture that holographic signatures of bulk singularities appear to be encoded in the long-wavelength features of boundary observables.
This IR behavior of the two-point function at strong coupling has a natural interpretation in the dual, where in the free theory, the deformation operator at the critical point casuses a boundary scalar to become massless. The strong IR tail of the two-point function of a massless field in de Sitter is very similar to what we find at strong coupling. It would be very interesting to study whether and how the regulation of the correlator of a massless field in de Sitter is connected to the boundary conditions at the bulk singularity.
For deformations somewhat larger than the critical deformation there is a second bulk background that contributes to the boundary two-point function in the geodesic approximation. This is reminiscent of the situation for black holes in AdS [47]. There and elsewhere it has been argued that in AdS/CFT one should sum over bulk geometries in the Euclidean theory and include the thermal AdS saddle point e.g., to restore unitarity. Since we view the Euclidean path integral as defining our initial wave function, we are naturally led to sum over both saddle points, which then implies we must include both contributions in our Lorentzian computation of the correlator. As in the case of black holes, the contribution of the sub-dominant saddle point becomes relevant only in the large distance regime of the correlator. This is a fascinating first step towards a holographic understanding of the quantum nature of bulk singularity in terms of a superposition of two classical geometries.

JHEP05(2016)168
A Quantifying the crunch This appendix contains a few brief results which elucidate some features of our bulk solutions producing a big crunch. The crunch refers to the fact that, in the interior of the lightcone emanating from the origin, at a finite time t c , the scale factor vanishes, a(t c ) = 0 (figure 2). This does not automatically imply that the spacetime becomes singular, e.g., in empty AdS, a(t) = sin t, the vanishing of the scale factor at t c = π is merely a coordinate singularity. We will show that for any non-trivial scalar profile (φ(ρ) = const.), there is a true singularity at finite t c , i.e., only the empty AdS example avoids the presence of a singularity.
The regularity conditions (2.14) imply that the scale factor grows for some range 0 < t < t max , attaining its maximum a max at some time t max . However there is an upper bound on the scale factor given by the AdS solution, To find the bound (A.1) we first subtract twice (2.12) from (2.11): When t < t max we have, by definition, a (t) > 0 and (2.13) implies: Therefore: d dt Thus, the left hand side of (A.3) decreases monotonically with t for t < t max , and is therefore bounded by its value at t = 0, where we have used the fact that φ (t = 0) = 0 (2.14). The expression (A.6) integrates to (A.1) for t < t max . Similarly, one can show that the value of the scalar field must grow monotonically inside the lightcone. Indeed, if φ has a maximum at some t 0 > 0, then φ (t 0 ) = 0 and φ (t 0 ) ≤ 0. The Klein-Gordon equation (2.13) then implies V (φ(t 0 )) ≥ 0, which for our potential (2.1) can only be satisfied by saturation at φ(t 0 ) = 0.
Finally, we argue that if the singularity at t c is a coordinate singularity, then the only regular background geometry is empty AdS. Note that if φ (t c ) remains finite, then equation (2.11) implies that a (t c ) = −1. From (A.1), we see that this cannot be satisfied for non trivial scalar profiles (i.e., it is only satisfied by pure AdS). Hence the only non-trivial solution requires φ (t c ) = ∞, which indicates a singularity.

JHEP05(2016)168 B Geodesics in homogeneous isotropic AdS cosmologies
In this appendix we present the full computation of geodesics in crunching AdS spacetimes. As mentioned in section 5 the geodesic lengths only depend on the de Sitter invariant boundary separation. Thus, we break the calculation of geodesics into two sections: first, in section B.1 we compute the geodesics with sub-horizon boundary separation which never enter the lightcone containing the crunching FLRW cosmology. Then, in section B.2 we compute antipodal geodesics which cover all super-horizon boundary separations.

B.1 Sub-horizon boundary separation
Without loss of generality we can take the boundary separation to be purely in the θ direction and set ϕ =φ =φ = 0. Then, the non-trivial geodesic equations outside the lightcone are:ρ = a out (ρ)a out (ρ) cosh 2 τθ 2 −τ 2 where dot denotes derivative with respect to an affine parameter. First, looking at the θ and τ equations and using the chain rule,θ =τ ∂ τ θ +τ 2 ∂ 2 τ θ, we can write the differential equation for θ(τ ): This part of the geodesic motion is universal for any spacetime that can be written with de Sitter radial slices. The solution is: where we have fixed one integration constant by making the arbitrary choice of initial conditions: the geodesic begins on the boundary at τ = τ B when θ = 0. When K < 0, geodesics turn back toward the boundary before reaching the lightcone. In this case, the parametrization (B.3) only covers the geodesic up to the turning point, because τ is not monotonic. The turning point, τ turn , is given by the value of τ at which the parametrization fails: Plugging this back into (B.3), we see that the half-way point in the geodesic occurs at:

JHEP05(2016)168
The radial equation contains all information about the potential through its dependence on a out (ρ). We write the differential equation for ρ(τ ), and use (B.3) to get: To solve this equation we define a new function ζ = ζ(ρ) and a new variable τ = τ (σ) according to After these substitutions, the equation (B.6) simplifies to .

(B.9)
The solution is: where ζ 0 and E are integration constants. By utilizing (B.7) we may express σ in terms of the original radial variable, ρ, as

JHEP05(2016)168
Therefore, the turning point is given by: We see that if E > 0 there is no turning point and the geodesics reaches the light cone.
For finite E < 0 the geodesics turn outside the light cone. Symmetric geodesics with equal boundary times satisfy the condition σ(τ turn ) = σ(ρ turn ). Using (B.8) and (B.12) and the turning points in the ρ and τ directions, (B.15) and (B.4), we find the following relation between K, τ B and E, dr a out (r) 1 + Ea 2 out (r) . (B.16)

B.2 Super-horizon boundary separation
To find the regulated length as a function of boundary distance for super-horizon separations, we only need to consider antipodal geodesics. In the limit E → ±∞ the geodesic becomes the antipodal geodesic at the throat of de Sitter space with constant τ = τ B = 0. This geodesic never enters the lightcone and has a boundary separation equal to the de Sitter horizon, D = π from (3.12). As we increase τ B from 0, antipodal geodesics cover all super-horizon boundary separations. and on the inside are given by: .

(B.18)
Here, E out and E in are a prori unrelated integration constants. We have fixed one integration constant in (B.17) by enforcing τ (ρ = ∞) = τ B . For the inner solution, (B.18), the limits of integration were chosen in such a way that χ(t turn ) = 0; since we are considering antipodal geodesics, this selects only symmetric (equal boundary time) geodesics. The turning time, t turn is given by: so t turn is a solution of

JHEP05(2016)168
Continuity requires that X in (t = 0) = X out (ρ = 0) and implies that −iA = B, or equivalently To enforce smoothness across the lightcone we additionally reiqure: which implies E out = −E in . By making the convenient choice z 0 = i∞, and defining E = E out , the geodesic solutions can be now written as (B.29) The matching condition simplifies considerably to , and a (t turn ) = 1 E . (B.30)

C Geodesic lengths
In this section we calculate the regulated lengths of the geodesic solutions found in appendix B. Our goal is to use the lengths in the relation (5.1) in order to gain some insight into the boundary QFT. We start by simply writing the lengths of geodesics for both the case of sub-and super-horizon separation treated in section B. For geodesics that never enter the light cone containing the crunching FLRW cosmology we have: and for antipodal geodesics we have: where ρ cut is a near-boundary cut-off. These two cases can be unified using the information (2.10), and the conventions defined in section B.2: E = E out = −E in , a(t) = a in (t), and −a(t) = ia out (it). Upon substitution we find: where the t cut-off is related to the one above by t cut = iρ cut . Here, as always, t turn is given by:

JHEP05(2016)168
For E > 1 the turning point occurs inside of the lightcone and t turn matches (B.20). For E < 0 the solution to (C.4) becomes purely imaginary and in such a case the turning occurs outside of the lightcone at positive ρ turn = ±it turn , in agreement with (B.15).

C.1 The de Sitter invariant distance
The reader may be concerned with the fact that we have thus far only obtained expressions for the length in terms of an integration constant, E, whereas we know that the length is a function of the de Sitter invariant distance between boundary points. For 3-dimensional de Sitter space in the following coordinates, ds 2 = −dτ 2 + cosh 2 τ (dθ 2 + sin 2 θdϕ 2 ) , (C.5) the invariant Z (3.11) is: Z = − sinh(τ 1 ) sinh(τ 2 ) + cosh(τ 1 ) cosh(τ 2 ) cos(∆θ) (C.6) where we assume ∆ϕ = 0, and have set the de Sitter radius to 1. A relation between the integration constant, E, and the de Sitter distance D or Z (related by (3.12)) can be obtained. Substituting the angular distance on the boundary, given by equation (B.5), into (C.6) and choosing equal boundary times, yields Using the relation between integration constants, (B.16), obtained by selecting only symmetric geodesics, we substitute K(τ b , E) into (C.7). The result is especially simple in terms of the geodesic distance D: dr a out (r) 1 + Ea 2 out (r) . (C.8) The dependence on τ B cancels, and we find that boundary separation is a function of E alone for symmetric geodesics. In case of antipodal geodesics the formulae simplify even more. With K = ∞ equation (C.7) reads Z = − cosh(2τ B ) .  In this sense one could treat t turn as an integration constant and eliminate E entirely.

C.2 Limiting behavior
While the precise form of the dependence of the geodesic length, L, on the boundary separation, D or Z, is model-dependent, the behavior is universal in certain limits. In particular, for very small boundary separations D → 0 or Z → 1 − , geodesics only probe the near-boundary geometry, ρ turn 1, and hence their length should approach the length of geodesics in pure AdS.
As explained in section 5.1, the divergent geodesic lengths are regulated with respect to a cut-off in the conformal factor to the boundary metric, a out (ρ). As the turning point, ρ turn , approaches infinity, the value of the scale factor at the turning point, a turn = a out (ρ turn ) diverges. In the near boundary limit, we expand (C.8) in a turn : (C.17) Another interesting limit occurs for large boundary separations: D → ∞, Z → −∞. In this limit geodesics turn on the inside of the lightcone and the turning point t turn approaches the time t max where the scale factor reaches its maximum value, a max = a(t max ). At this point a (t max ) = 0 and a max ≡ a (t max ) < 0. Expanding the integral in (C.10) around t = t max , one can find the leading term in a relation between D and t turn at large D, D = log (−2Z)+O(Z 0 ) = −1 −a max a max log(t max −t turn ) 2 +O (t max −t turn ) 0 . (C.18)

JHEP05(2016)168
Similarly for the length (C.3) becomes: L reg = − a max −a max log(t max − t turn ) 2 + O (t max − t turn ) 0 , (C. 19) which leads to In this case, finite terms depend on the specific dynamics and cannot be extracted exactly. However, we are able to estimate the constant contribution to (C.21). First, we note that there is a universal behavior of the length for the antipodal geodesic with horizon separation: as noted in section B.2 the antipodal geodesic at τ B = 0 corresponds to the limit E → −∞. In this limit the length integral (C.1) simplifies to: because ρ turn (E → ∞) = 0. Thus, after the subtraction (C.17), we see that the regulated length at the horizon is given by − log(a 2 1 ). We then approximate the constant term in (C.21) by approximating the super-horizon dependence to be purely linear in D with a slope given by a max : Numerics show this approximation is accurate at the sub-percent level for φ 0 10.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.