Quantum critical response: from conformal perturbation theory to holography

We discuss dynamical response functions near quantum critical points, allowing for both a finite temperature and detuning by a relevant operator. When the quantum critical point is described by a conformal field theory (CFT), conformal perturbation theory and the operator product expansion can be used to fix the first few leading terms at high frequencies. Knowledge of the high frequency response allows us then to derive non-perturbative sum rules. We show, via explicit computations, how holography recovers the general results of conformal field theory, and the associated sum rules, for any holographic field theory with a conformal UV completion — regardless of any possible new ordering and/or scaling physics in the IR. We numerically obtain holographic response functions at all frequencies, allowing us to probe the breakdown of the asymptotic high-frequency regime. Finally, we show that high frequency response functions in holographic Lifshitz theories are quite similar to their conformal counterparts, even though they are not strongly constrained by symmetry.


Introduction
A quantum critical point (QCP) is a zero-temperature continuous phase transition which arises as a coupling parameter is tuned through a critical value. Typically, one finds that at zero temperature (away from the QCP) there are two distinct 'conventional' gapped or gapless phases of matter, whereas at finite temperature there is a finite region of the phase diagram dominated strongly by critical fluctuations: see figure 1. A canonical example is the transverse field quantum Ising model in D = 1+1, 2+1 and 3+1 spacetime dimensions, where the QCP separates a paramagnet from a broken symmetry phase, the ferromagnet. The QCP is described at low energies by the D-dimensional Ising CFT [1]. Other examples involve fermions such as the Gross-Neveu model [1,2], and/or gauge fields (e.g. Banks-Zaks fixed points [3]). Proximity to a QCP is believed to be the origin of exotic response functions in many experimentally interesting condensed matter systems [4]. Even when the ground state is conventional, so long as it lies 'near' a QCP, both thermodynamic and dynamical response functions are significantly modified by quantum critical fluctuations. Because interesting quantum critical theories are strongly coupled and lack long-lived quasiparticle excitations, obtaining quantitative predictions for critical dynamical response functions, where both quantum and thermal fluctuations must be accounted for, has proven to be challenging. In this respect, quantum Monte Carlo studies have proven useful to obtain the response functions in imaginary time [5][6][7][8][9]. The precise analytic continuation to real frequencies of such data constitutes a difficult open problem. The results of this paper impose constraints on the response functions that will constrain the continuation procedure.
In the case of conformal field theories (CFTs), one can derive rigorous and general constraints on the dynamics at zero and finite temperature by using the operator product expansion (OPE). In addition, one can study the response functions in the neighborhood of the QCP by using conformal perturbation theory, where the expansion parameter is the detuning of the coupling parameter from its critical value. Another technique is the gauge-gravity duality [10], which relates certain large-N matrix quantum field theories to classical gravity theories in higher dimensional spacetimes. The power of this approach is that we are very easily able to access finite temperature and finite frequency response functions, directly in real time. Unfortunately, experimentally realized condensed matter systems do not have weakly coupled gravity duals, and some care is required in identifying which features of these holographic theories are relevant for broader field theories.

JHEP07(2017)149
T ⇠ |h| 1 D quantum critical fan Figure 1. Schematic phase diagram of a theory with a (conformal) quantum critical point separating two phases at zero temperature. The non-thermal detuning parameter h must be set to zero at the critical point. At finite temperature T , when T |h| 1 D−∆ = |h| ν , there is a window in between the two phases where the system behaves qualitatively like the quantum critical point h = 0, detuned only by temperature. In this paper, we demonstrate that certain fingerprints in the dynamical response functions of the quantum critical point can extend throughout this entire phase diagram.
In this paper, we will discuss the asymptotics of a variety of response functions at high frequency [5,8,[11][12][13][14][15][16][17][18][19][20]. We will show that in holographic field theories, this asymptotics is universal and does not depend in any detailed fashion on the nature of the ground state. As a consequence, we will then derive non-perturbative sum rules which may be tested directly in experiments. In the special case when the QCP is a conformal field theory (CFT), we will also be able to compare our holographic calculation of the response functions with an independent computation using techniques of conformal field theory, and will find perfect agreement. We will also discuss the generalization of these calculations to a richer class of Lifshitz field theories, which are less sharply constrained by symmetry.

Main results
We study a quantum critical system in D spacetime dimensions deformed by a relevant operator O: where for simplicity we have chosen the coupling h to be x-independent. We briefly discuss the case of an inhomogeneous coupling in the conclusion 8. This formula is presented in real time; in Euclidean time, there is a relative minus sign for the second term. Now, let ∆ be the scaling dimension of O: where the 0 subscript means that the correlation function is evaluated at the QCP T = h = 0. The parameter h is commonly called the (non-thermal) detuning parameter; it drives the quantum phase transition. We also will study this detuned theory at finite temperature T . The dynamical critical exponent z of this QCP is defined as the 'dimension' of energy:

JHEP07(2017)149
CFT operator X A/B namely, a dilation of space x → λx is accompanied by a temporal dilation t → λ z t in order to be a symmetry. This implies that the excitations of this theory (generally there are no well-defined quasi-particles at the QCP) disperse as ω(q) ∼ q z . For simplicity, in much of this paper we will focus on the case z = 1, specializing to the case where the QCP is a conformal field theory, returning to the more general case z = 1 at the end of the paper. Let X be a local operator of scaling dimension ∆ X in this critical theory, and assume for now that ∆ X = (D/2) + n, where n is an integer, which is the generic case and ensures that both powers in the brackets do not differ by an integer (otherwise, additional logarithms can appear). We will show that, when z = 1, the generic asymptotic expansion of the dynamical response function X X at high frequency is: where · · · denotes an expectation value evaluated at non-zero values of h and T , in contrast to · · · 0 , which is evaluated directly in the quantum critical theory, at h = T = 0. Table 1 describes where to find the results for A/B in the main text. We emphasize that the first correction is analytic in the coupling h and independent of temperature. The expansion (1.3) holds when ω T, |h| 1/(D−∆) ( = k B = 1) and when the detuned system has a finite correlation length. It can fail in regions separated from the quantum critical "fan" by a phase transition, where potentially new gapless modes can arise. An example of this failure was shown in the broken symmetry (Goldstone) phase in the vicinity of the Wilson-Fisher O(N ) QCP at large N [20]. The leading order coefficient C X X is an operator normalization in the vacuum of the CFT. We compute the coefficients A and B exactly for arbitrary spacetime dimension D and dimension ∆ of the (relevant) operator, in three practical examples: O 0 O 0 , J x J x , and T xy T xy . Here O 0 is a scalar operator, J x is a spatial component of a conserved current, and T xy is an off-diagonal spatial component of the conserved stress-energy tensor. Remarkably, A and B will not depend on either h or T , and are properties of the pure CFT, and the choice of operator X . Furthermore, the ratio A/B is universal, depending only on ∆ and D.
When ∆ X and/or ∆ X − ∆ is an integer or half-integer, depending on the dimension D, logarithmic corrections to (1.3) appear. These special cases are important because conserved currents have such dimensions, and we will discuss them later in this paper.
The reason that O be a relevant operator is to ensure that the asymptotic expansion (1.3) is well-behaved; if O is irrelevant, the second term in (1.3) dominates. This is not surprising, as we are probing the UV physics (which is sensitive to the dynamics of irrelevant operators).

JHEP07(2017)149
One of the main purposes of the asymptotic expansion (1.3) is to verify when the following kind of sum rule holds: Clearly, this sum rule is automatically satisfied at the critical point, but it can also be satisfied off-criticality. When h = 0, we will see that such a sum rule will only hold if 2∆ X − D < ∆. When h = 0, an additional inequality ∆ < 2(D − ∆ X ) is also required. Eq. (1.3) is presented in real time. Our derivation of this result will occur in Euclidean time. It is usually straightforward to analytically continue back to real time. There can be subtleties for certain values of D and ∆, for certain operators X , and we will clarify the restrictions later.
We will present two derivations of (1.3): one using conformal perturbation theory applied to general CFTs (such an approached was succinctly presented for the conductivity in [20]), one using holography. We will show that these approaches exactly agree. A priori, as the conformal perturbation theory approach does not rely on the large-N matrix limit of holography, it may seem as though the holographic derivation is superfluous. However, we will argue that this is not the case: that conformal perturbation theory is completely controlled at finite h and finite T is not always clear, especially if the ground state of the detuned theory is not a conventional gapped phase. Our holographic computation reveals that, independent of the details of the ground state, the asymptotics of the response functions are given by (1.3), with all coefficients in the expansion determined completely by the UV CFT. We expect that -with some important exceptions in broken symmetry phases [20] -this is a robust result of our analysis, valid beyond the large-N limit.
For holographic models, we will also study the case z = 1, and find a simple generalization of (1.3). While we will prove the universality of (1.3) even beyond holography when z = 1, we cannot prove this universality for z = 1.
We also present the full frequency dependence of these response functions in multiple holographic models. In addition to verifying that the asymptotics (1.3) and the associated sum rules such as (1.4) hold, we will be able to probe frequency scales past which conformal perturbation theory fails, both at a finite temperature critical point, and in systems strongly detuned off-criticality.

Outline
The remainder of the paper is organized as follows. In section 2, we will describe the asymptotics of response functions using conformal perturbation theory. In section 3, we will describe a very general class of holographic theories with conformal UV completions, and compute all necessary CFT data required to compare with section 2. Section 4 contains a direct computation of high frequency holographic response functions, in which exact agreement with conformal perturbation theory is found. We numerically compute the full frequency response functions in section 5. We generalize our approach in section 6 to holographic theories with 'Lifshitz' field theory duals, where there are, as of yet, no other JHEP07(2017)149 approaches like conformal field theory which can be used. We discuss sum rules in section 7. We conclude the paper by discussing the possible breakdown of (1.3) in broken symmetry phases, and the generalization of (1.3) to QCPs deformed by disorder.

Conformal perturbation theory
In this section, we present a computation of the high-frequency asymptotic behavior of the three advertised two-point functions, O 0 O 0 , J x J x , T xy T xy , using conformal perturbation theory for generic spacetime dimension D. The computation of J x J x was recently presented by two of us [20]. We will present the computation of O 0 O 0 in detail -the computation of the latter two is extremely similar, and so we simply summarize the results.

Scalar two-point functions
We begin with the correlator O 0 O 0 of a scalar operator O 0 with dimension ∆ 0 . In the vacuum of a unitary CFT, one finds that in position space In this work, we are interested in momentum space correlation functions, which are readily computed (up to an overall δ function): If ∆ 0 − D 2 = 0, 1, 2, . . . is an integer, then we find an extra factor of log k in (2.2); henceforth in the main text, we will assume that ∆ 0 − D 2 is not an integer. We also note that C O 0 O 0 > 0, but depending on ∆ and D, C O 0 O 0 can take either sign.
We can now deform away from the exact critical point by turning on a finite temperature T or detuning h. (2.2) will now receive corrections due to h and T -the leading order corrections are written in (1.3). We first outline the argument for how the structure (1.3) arises, after which it will be relatively straightforward to do a direct computation to fix A and B. Suppose that we set T = 0, for simplicity, but detune our CFT by h, (1.1). We express the expectation value using a Euclidean path integral:

JHEP07(2017)149
Here O(0) is the zero momentum mode of O. The first term of (2.3) follows from (2.2). The power of Ω in the second term has been fixed by dimensional analysis; below we explicitly evaluate this term by evaluating the 3-point function O 0 O 0 O 0 . This 3-point function is fixed by the conformal Ward identities in momentum space up to an overall coefficient; alternatively, one can perform an analytic continuation from position to momentum space, although one must be careful with regularization [21]. Holography naturally produces the correct answer as we show below. There are further terms in (2.3) containing subleading integer powers of h/Ω D−∆ . However, the O 0 2-point correlation function will also contain terms non-analytic in h/Ω D−∆ . It will often be the case, in the pure CFT, that the operator product expansion (OPE) will take the form, here expressed in momentum-space: We have O 0 = 0, since the pure CFT has no dimensionful parameter. Hence, upon averaging this equation in a CFT, the B contribution to the OPE vanishes. However, once we detune with h at T = 0, we expect: with a coefficient that generally depends on the sign of h. The OPE (2.4) is a high energy property of the theory, and should be valid even at finite h, so long the frequency Ω is large enough: h Ω D−∆ . Hence, we expect that we may apply the expectation value to the local OPE and find an additional contribution to the two-point function, linear in O : In the context of classical critical phenomena, an analogous expansion for the short-distance spatial correlators of the order parameter have been found for thermal Wilson-Fisher fixed points in D = 3 [22], and subsequently more quantitatively in other theories using the OPE [23][24][25]. These classical results are a special case of (2.6) analytically continued to imaginary times at T = 0. In the context of the classical 3D Ising model, such an expansion was recently used together with conformal bootstrap results to make predictions for the correlators of various scalars near the critical temperature T c [25]. We also see that the coefficient B is nothing more than an OPE coefficient in the CFT, as found in [8,20]. Obviously, for generic ∆, the power of h in (2.5) is not an integer. Hence, the B term in this expansion cannot be captured at any finite order in the conformal perturbation theory expansion (2.3). Still, we will see that it is possible to compute the ratio A/B in terms of CFT data.
We claim that upon generalizing to finite temperature T , the essential arguments above follow through, despite the fact that when T > 0, O will be an analytic function of h near h = 0. Our holographic computation will confirm this insight in a broad variety of models.
The argument above contains essentially all of the physics of conformal perturbation theory. It remains to explicitly fix the coefficient A in terms of B. To do so, we carefully where p Ω. In a conformal field theory, this correlation function is completely fixed up to an overall prefactor [21,26]: where we have defined (for later convenience): Here K ν (x) is the modified Bessel function which exponentially decays as x → ∞. From (2.7), we see that p 1,2 p 3 . Hence, a good approximation to (2.9) should come from an asymptotic expansion of K d (p 3 x) in (2.9). Defining and using the asymptotic expansion we take the limit of (2.7) and simplify (2.9) to where we have defined . (2.13) The first term of (2.12) is completely regular as p → 0. The correlation function O 0 (Ω)O 0 (−Ω)O(0) 0 which appeared in conformal perturbation theory in (2.3) should be interpreted as this first contribution. Thus we obtain (2.14) The second term of (2.12) can be interpreted as follows. At a small momentum p, the OPE (2.4) generalizes to

JHEP07(2017)149
Upon contracting both sides of (2.15) with · · · O(p) CFT , we obtain a contribution which is non-analytic in p: Comparing (2.16) with (2.12) we conclude (2.18) As promised, we have fixed A and B completely in terms of the CFT data ∆ 0 , ∆, C OO and The assumption that ∆ − D/2 is not an integer is relaxed in appendix A. For the most part, (1.3) is qualitatively unchanged, with an interesting exception when ∆ = D/2.

Conductivity
The conductivity at finite (Euclidean) frequency is defined as where the spatial momentum has been set to zero. Note that the operator dimension ∆ J = D − 1 is fixed by symmetry. In a pure CFT, at zero temperature, we find (in position space) [27] with C JJ > 0 and This can be Fourier transformed, analogous to (2.2), to give and the transverse (Euclidean) projector In this paper, we will generically take µ = ν = x and k 0 = Ω, k = 0. Hence we find in a pure CFT.

JHEP07(2017)149
Actually, this argument was a bit fast. In even dimensions D = 4, 6, 8, . . ., the coefficient C JJ diverges due to a pole in the Γ function. Upon regularization, this implies a logarithm in the momentum space correlator, and so the conductivity: with Λ a UV cutoff scale andC . (2.27) Note thatC JJ > 0, and so in real time (setting iΩ = ω) we find that the dissipative real part of the conductivity is finite and independent of Λ: The dimension D = 2 is special. Indeed, one finds that the limit D → 2 is regular in (2.23): and hence in Euclidean time (at zero temperature) Now, we are ready to perturb the pure CFT by a finite T and h. Upon doing so, the asymptotics of σ(iΩ) at large Ω was recently computed in [20] using conformal perturbation theory. Conformal invariance demands [21]: so long as the x-component of all momenta vanishes, as in (2.7). Following the exact same procedure as the previous section, we find that (1.3) becomes . (2.33)

Viscosity
The viscosity at finite (Euclidean) frequency is defined as As with J µ , the stress tensor T µν has a protected operator dimension ∆ T = D. In a pure CFT, one finds in position space [27] T After a Fourier transform to momentum space: We now find that in all even dimensions D, there are logarithmic corrections to this correlation function. At finite T and h, we follow the same arguments as above to determine A and B. Conformal invariance demands [21]: so long as the momenta are of the form (2.7). Following an identical procedure to before we find the asymptotic expansion at large frequencies . Table 2. The four bulk fields of (3.1), and their dual operators in the CFT of interest. Our interest will be in the influence of O (and hence Φ) on the two-point correlators of T µν , J µ and O 0 .

Holography: bulk action
Now, we begin our holographic derivation of these results. The "minimal" holographic model which we will study has the following action (in Euclidean time): As usual, R is the Ricci scalar, F ab is the field strength of a bulk gauge field A µ , and C abcd is the Weyl curvature tensor (traceless part of the Riemann tensor). Bulk dimensions are denoted with ab · · · . We additionally have two scalar fields Φ and ψ, dual to O and O 0 respectively. The purpose of each bulk field is to source correlation functions of different operators in the boundary theory, as described in table 2. The functions V , Y , Z and W are all functions of the bulk scalar field Φ, dual to the operator O whose influence on the asymptotic behavior of correlation functions is the focus of this paper. We impose the following requirements: Table 3 explains how the details of this model will be related to the CFT data of the theory dual to (3.1). We will make these connections precise later in this section. Unless otherwise stated, in this paper we will assume that the only non-trivial background fields are the metric g µν and Φ. The field theory directions will be denoted with x µ , and the emergent bulk radial direction with r. We take r → 0 to be the asymptotically AdS region of the bulk spacetime, where an approximate solution to the equations of motion from (3.1) is 3)

JHEP07(2017)149
bulk coupling CFT data Table 3. The couplings in the holographic model (3.1) are related to the CFT data of its dual theory. Here we have listed the qualitative connection between certain dimensionless numbers associated with (3.1) and CFT data of interest for our computation. One thing missing from this table is C OO -this is related to the normalization of the kinetic term for Φ in (3.1), which we have set to 1 2 as per usual.
With the normalizations in (3.4), h is exactly equal to the detuning parameter h as defined in (1.1), and O is identically the expectation value of the dual operator [10]. Exceptions arise when ∆ − D/2 is an integer, as the holographic renormalization procedure becomes more subtle [28]; these cases are discussed further in appendix A. Let us briefly comment on the logic behind the construction (3.1). The W , Z and Y terms are chosen to be the simplest diffeomorphism/gauge invariant couplings of Φ to ψ, A a and g ab respectively. In the last case, we further demand that Φ is not sourced by the AdS vacuum -this forbids couplings such as R 2 , R abcd R abcd , etc. The reason for this is that in a pure CFT, any relevant scalar operator O satisfies O = 0. Hence, we cannot linearly couple Φ to any geometric invariant which is non-vanishing on the background (3.3). Remarkably, we will see that the Y (Φ) coupling, which was introduced in [19] so that O = 0 at finite temperature, also is precisely the term in the bulk action which leads to A T T O = 0.
We will be computing two point functions holographically. Hence, it is important to understand the asymptotic behavior of ψ, A x and g xy -related to O 0 O 0 , σ and η respectively. One finds where h 0 , A 0 x and g 0 xy are the source operators for O 0 , J x and T xy respectively. A 0 x can be thought of as an external gauge field, and g 0 xy an external metric deformation in the boundary theory. In practice, we will compute two-point functions by solving appropriate JHEP07(2017)149 linearized equations and looking at the ratio of response to source: for example, Let us briefly note that for D = 2, the model we have introduced describes a CFT with a marginal J µ J µ deformation [29]. In this dimension, the expansion of the gauge field in (3.5) becomesÃ 0 x + Le 2 J x log r; the coefficientÃ 0 x is sensitive to the 'cutoff' in the logarithm, and this ambiguity is related to logarithmically running couplings associated with the marginal deformation. The asymptotic corrections to the conductivity which we will compute in this paper are regular in the D → 2 limit.

Fixing CFT data
Our ultimate goal is to compare a holographic computation of two-point functions to the general expansion obtained using conformal field theory. First, however, we will fix four CFT coefficients in the holographic model presented above: As we are computing CFT data, we may assume in this section that the background metric is given exactly by (3.3). Though we will compute two-point correlators analogously to (3.6), we will compute three-point correlators by directly evaluating the on-shell bulk action.
Although these are rather technical exercises, we will see a beautiful physical correspondence between holographic Witten diagrams and the I(a, b, c, d) integrals over Bessel functions, defined in (2.9) and found in [21] to be a consequence of conformal invariance alone.

C OO
In D spacetime dimensions in a Euclidean AdS background (3.3), the equation of motion for the field Φ(r)e iΩt , dual to operator O(Ω), is: which becomes Further nonlinear terms in this equation of motion are not relevant for the present computation. The regular solution in the bulk (which vanishes as r → ∞) is given by More precisely, using (2.11) and the definition of Z in (2.10), we find . (3.11) This derivation assumes that (as noted previously) ∆ − D 2 is not an integer; see appendix A for the changes to this derivation for this special case.
It is easiest to compute three-point correlators in holography by directly evaluating the classical bulk action on-shell (see e.g. [30,31]): We are denoting here j O 0 and j O as coefficients in the asymptotic expansion , we know that the boundary-bulk propagators for Φ and ψ are nothing more than the solutions to their free (in the bulk) equations of motion. Hence, from (2.11) and (3.9): Hence, Comparing with (2.8), we conclude that .
This computation proceeds similarly to before, but is a bit more technically involved. In this subsection and in the next, we assume that all momenta are in the t direction, which simplifies many tensorial manipulations. The A x propagator in the bulk is where j Ax is the boundary source for the dual current operator J x , and we have defined, for later convenience,K (3.17) follows from the bulk Maxwell equations in pure AdS: Now, we need to evaluate the ΦA x A x contribution to the bulk action, just as before. This is Now, suppose we integrate by parts to remove derivatives from A x (p 1 ): The second line of the above equation vanishes by (3.19). Now, we combine (3.21) with an equivalent equation where we integrate by parts to remove derivatives from A x (p 2 ), leading to: We now integrate by parts to remove all derivatives from A x : where we have employed (3.8) in the second step. Using the derivative identities Hence, we find and therefore holography gives (for transverse momenta): Comparing with (2.30), we find complete agreement in the functional form, and fix the coefficient . (3.28)

A T T O
The computation of A T T O proceeds using similar tricks to the computation of A JJO . However, due to the fact that the relevant correction to the bulk action is much higher derivative, this computation is much more technically challenging. We leave the details of this computation to appendices B and C, and here only quote the main result: . (3.29) 4 Holography: high frequency asymptotics In this section, we reproduce (1.3) directly from holography. The derivation presented in section 2 does not rely on any "matrix large N " limit, so it is natural to question what we can learn from the holographic derivation. The key advantage of our holographic formulation is that we will be able to derive the full asymptotic behavior of (1.3) nonperturbatively in h. Even if the true ground state of the theory at finite h and T is far from a CFT, the existence of a UV CFT is sufficient to impose (1.3). Holography geometrizes this intuition in a very natural way -we will see that (1.3) is universally independent of the low-energy details of the theory in these holographic models.

Scalar two-point functions
As in section 2, we begin by studying O 0 (Ω)O 0 (−Ω) . To do so, we must perturb the field ψ by a source at frequency Ω and compute the response, using (3.5) and (3.6). We will begin by assuming that ψ = 0 identically on the background geometry. In this case, ψ is the only field which will be perturbed in linear response, as there is no linear in ψ term in (3.1). We will relax this assumption at the end of the derivation. We also assume that ∆ − D/2 is not an integer: this assumption is relaxed in appendix A. For now, we must solve the differential equation which leads to In general, the solution of this equation for all Ω requires knowledge of the full bulk geometry. However, if we restrict ourselves to studying asymptotic behavior at large Ω, a great simplification occurs. To see this, it is helpful to rescale the radial coordinate to We claim that the function ψ(R) is essentially non-vanishing when R ∼ 1. To see why, note that (4.2) becomes If this equation is only non-trivial when R ∼ 1, then perturbation theory about Ω = ∞ should be well-defined. Making use of the expansion for Φ (3.4), the right hand side of (4.4) becomes and so as Ω → ∞, we may neglect the scalar corrections to the equations of motion. The Ω → ∞ limit is given by the r → 0 limit (keeping R fixed), and so we may approximate the metric at leading order by (3.3). The left hand side of (4.4) is hence 4.6) Corrections due to the deviation of the IR geometry from pure AdS (both from finite T and finite h) are subleading for the same reason that W (Φ) corrections are subleading. Indeed, comparing (4.5) and (4.6), we see that perturbation theory about Ω = ∞ is well-controlled. Changing variables to The regular solution to equation, conveniently normalized so that χ(0) = 1, is We begin by assuming that b > 0, which means that the O(R 0 ) term in χ describes the source, and the O(R 2b ) term in χ describes the response. We will discuss the case of b < 0 in appendix D. At large but finite Ω, we must correct (4.9). The dominant contribution comes from the scalar field corrections in (4.5), and so (4.9) becomes Since Ω is large, the right hand side is perturbatively small and we may correct the leading order solution (4.10) perturbatively. Keeping the boundary conditions χ(0) = 1 and χ(∞) = 0 fixed, the perturbative correction to (4.10) is unique, and it is straightforward to extract O 0 O 0 . The perturbative computation of the finite Ω corrections to this correlator proceed in a few simple mathematical steps. First, we construct the Green's function G(R; R 0 ) for this differential equation: Employing Bessel function identities including (3.24) and [32] and our boundary conditions that G(0; R 0 ) = G(∞; R 0 ) = 0, we find: Using this Green's function, we can readily construct the solution to the differential equation

JHEP07(2017)149
which is: Keeping in mind our holographic application, we need only extract the O(R ∆ 0 ) contribution to ψ, or equivalently the O(R 2b ) contribution to χ. We now assume that a + 2 > 2b for simplicity -the opposite case is studied in appendix D. In this case, the leading order term as R → 0 of the perturbation to χ is O(R 2b ): We now employ (4.18), using to write down the leading order corrections to (4.12): where C O 0 O 0 is the holographic normalization of the operator O 0 , defined analogously to C OO in (3.11). Hence, our explicit non-perturbative calculation gives It is simple to compare to the predictions of conformal perturbation theory. Combining (2.14), (2.17), (3.11) and (3.16) and simplifying, we indeed obtain (4.21).

Subleading orders in the expansion
In the above derivation, we assumed that the geometry was AdS. In fact, the metric is not quite AdS in the presence of a background ψ field: away from r = 0, there will be deformations of the form subleading corrections are small as r → 0 (or for R ∼ 1 as Ω → ∞), and so they will lead to perturbative corrections to O 0 O 0 of the form The last most term in (4.23), which leads to Ω −D corrections to the correlation function, can likely be interpreted as corrections to T µν . Schematically, one finds [8] O The logic for such terms follows analogously to the appearance of the B-term in (1.3)the stress tensor will appear in the O 0 O 0 OPE, and so terms proportional to pressure and energy density will appear in the asymptotic expansion of generic correlation functions. For instance, this was noted for the conductivity [8,13] and shear viscosity [11][12][13]17].
There are other types of corrections that can arise, which are rather straightforward. In all cases, the asymptotic expansion of the correlation function in powers of 1/Ω is cleanly organized by the behavior of the bulk fields near the AdS boundary. The perturbative derivation that we described earlier straightforwardly accounts for all such corrections.

Conductivity
Next, we compute the asymptotics of σ(Ω) at large Ω. The structure of the computation is very similar to the computation of the asymptotics of O 0 (Ω)O 0 (−Ω) . We compute within linear response the fluctuations of the gauge field A x and employ the asymptotic expansion (3.5) to compute J x /ΩA 0 x . Since our background is uncharged, if we turn on a source for A x , no other bulk fields will become excited (this is a consequence of the fact that A x is a spin 1 mode under the spatial SO(D − 1) isotropy). The equations of motion then reduce to Upon the variable change (4.3), and keeping only finite Ω corrections from the scalar field Φ (for the same reasons as we mentioned in the previous section), we find that the leading order corrections to (4.25) at large but finite Ω can be found by perturbatively solving We see that this differential equation is extremely similar to the one studied in the previous subsection, upon replacing χ with A x and setting (for the remainder of this section) b = D 2 − 1. (4.28)

JHEP07(2017)149
The zeroth-order solution at Ω = ∞ is given by (4.10), and the Green's function for the left hand side of (4.26) is given by (4.15). The only difference is that the source, which we must integrate over to recover the subleading behavior of A x , is a bit more complicated. Again, we begin by assuming that a(R) = cR a . (4.29) The coefficient is chosen to simplify the equations in the remainder of the paragraph. The boundary conditions on A x are A x (0) = 1, A x (∞) = 0. At first order in c, we find Now, using we may simplify the integral in square brackets in (4.30) to As in the subsection above after (4.18), let us assume that a is large enough that the following integration by parts manipulations are acceptable: Hence, we find (for a single power a) Keeping in mind that the true source is (4.27), we conclude that Hence,

Viscosity
The computation of the viscosity proceeds similarly to the previous two subsections. The SO(D − 1) isotropy of the background implies that g xy will not couple to any other modes. We hence write the perturbation to the metric as δ(ds 2 ) = 2 L 2 r 2 h xy dxdy, (4.37) and find the differential equation governing h xy . We do this computation in appendix B, and here quote the leading order answer (at finite Ω): After the variable change (4.3), we obtain We now proceed similarly to the previous subsection. When Ω → ∞, Y vanishes and (4.39) is solved by (4.10) with Since Y (Φ) will be a sum of two power laws in R, to first order in perturbation theory we can determine h xy by solving (4.39) after replacing Y (Φ) with L 2 a(R), with a(R) as defined in (4.29). At first order in c, assuming convergence of integrals, we find

Holography: full frequency response
A natural advantage that holography provides to quantum field theories is the capability of directly exploring the real time response functions at all frequencies. In this section, we investigate the holographic linear response to scalar deformations of the CFT. Following [19], we account for the thermal expectation values O T ∼ T ∆ that generally arise in CFTs. Using this model, we can solve the equations of motion for the dynamical fields at all frequencies and calculate the response functions studied in the previous sections.

A minimal model
We will study holographic models of the form (3.1), for simple choices of W , V , Z and Y . Essentially, we will truncate the asymptotic expansions of these Φ-dependent functions at lowest non-trivial order: Using these simple couplings, we will study the finite temperature response both for ω T and ω T .
Assuming that κ → 0, we may solve for the background geometry without considering fluctuations of the matter content: A µ , Φ or ψ. We will focus on the planar AdS-Schwarzchild black hole solution 1 to the resulting equations of motion, whose real-time JHEP07(2017)149 metric reads [10]: where f (u) = 1 − u D and T is the Hawking temperature of the black hole, as well as the temperature of the dual field theory. The coordinate u is dimensionless: u = 0 corresponds to the AdS boundary, while u = 1 corresponds to the black hole horizon. In the asymptotically AdS regime (u → 0), the coordinate u is a simple rescaling of the coordinate r in (3.3): u = 4πT r/D. We now study the perturbative fluctuations of the matter fields Φ, A µ and ψ about this background solution. Varying (3.1) with respect to Φ, we obtain: Because the black hole background (5.2) is translation invariant in the boundary directions, C abcd C abcd depends only on u, and thus we may look for a solution of the form Φ(u). The resulting ordinary differential equation is ) This equation can be solved using standard Green's function techniques analogous to the previous section. We find where Φ 0 and Φ 1 are integration constants, 2 F 1 (z 1 , z 2 ; z 3 ; z 4 ) denotes the standard hypergeometric function, and g ∆ (u) and h ∆ (u) are dimensionless functions given by 2 This representation of the solution is only valid for ∆ < 2D. In particular, the integral defining g∆(u) in (5.6) diverges for ∆ ≥ 2D. Further, the two independent solutions presented in (5.5) are actually identical for ∆ = D/2. Of course, the coefficients of g∆(u) and h∆(u) also diverge for this particular value of ∆. However, we note that the conductivity is still a smooth function of ∆ at this special value and so where results are presented for ∆ = D/2, we have added a small positive number to the scaling dimension: JHEP07(2017)149 Note that g ∆ (0) = h ∆ (0) = 0. Hence, at the AdS boundary, the asymptotic behavior of Φ(u) is Φ 0 and Φ 1 encode the source h and response O respectively, as we discussed previously in (3.5). However, since we are using the dimensionless radial coordinate u here, it is important to note that there will be additional powers of T relating the physical source and response with the coefficients Φ 0,1 : The integration constant Φ 1 is fixed by demanding regularity at the black hole horizon: Note that g ∆ (1) and h ∆ (1) are finite and can be determined numerically. Some sample plots of Φ(u), upon setting h = 0, are given in figure 2.
Due to the C 2 coupling in this holographic model, the scalar field Φ spontaneously acquires an expectation value upon subjecting the CFT to a finite temperature T : O T ∼ Φ 1 T ∆ . At finite detuning h, O picks up a simple linear correction in h, as can be seen from (5.9). This is an artifact of the 'probe' limit where we have neglected the backreaction of Φ on the metric. Despite this limitation, this holographic system is a useful way of modeling the finite temperature response of a CFT at all frequencies.

Scalar two-point functions
In this section we will construct the full frequency response for the minimal model (3.1) and show that the analysis done in section 4.1 accurately predicts the high-frequency behavior of the scalar two point function O 0 O 0 . Given the explicit model introduced in section 5.1, the equation of motion for ψ is As before, ψ is only dependent on u; the resulting ordinary differential equation reads Because this equation is homogeneous, one of the two boundary conditions we impose is 'arbitrary': the observable quantity we are extracting is the ratio of O 0 /h 0 , as in (3.6), and this is unaffected under rescaling: ψ → λψ. The boundary conditions to (5.11) require some care [10]. Near the horizon, ψ(u) acquires a log-oscillatory divergence: this is a consequence of the fact that we require that matter must be 'infalling' into the black hole. In order to regulate the divergence, we will introduce another field ψ(u) = f (u) b Ψ(u) with b = −iω/4πT , and enforce regularity on Ψ(u) via the following mixed boundary condition: Numerically, we solve this equation of motion by 'shooting' any solution obeying (5.12) from the black hole horizon to the asymptotic boundary, and obtain O 0 O 0 from the resulting asymptotic behavior. We know from (3.5) that ψ(u) = ψ 0 u D−∆ + ψ 1 u ∆ + · · · as u → 0. Hence, we use regression on points sampled near the boundary to compute ψ 0 and ψ 1 . Using (3.4) and (3.6), which are valid for arbitrary asymptotically AdS geometries, we numerically obtain the scalar two point function, which is plotted in figure 3.

Conductivity
In this section we calculate the full frequency-dependent conductivity for the model of section 5.1, and confirm the high-frequency analysis done in section 4. The computation proceeds similarly as in the previous section. In the u coordinate, the conductivity is given by solving the equation of motion for A x , assuming implicit frequency dependence of the form e −iωt : where Z(u) ≡ Z(Φ(u)). Just as in the previous subsection, we must solve (5.13) with an appropriate infalling boundary condition. As before, we write A x (u) = f (u) b F (u); the JHEP07(2017)149 regularity condition for F (u) at the horizon is We employ the same shooting method in order to construct our solution, and hence extract σ(ω). We extract σ(ω) through the asymptotic behavior via (3.5). Assuming A x ∼ A 0 + · · · + A 1 u D−2 , and D odd, the conductivity is given by When D is even, the presence of logarithms in the asymptotic expansion of A x (u) complicates the story. Let us simply note the proper prescription for this case. Given the asymptotic expansion [33] A x (u) = A 0 1 + 8b 2 u 2 log(Λu) + A 1 u 2 + · · · (5.16) one finds Note that the logarithm in (5.16) is analogous to the logarithm that arose in (2.26), within conformal field theory. It will not affect the real part of σ(ω). Let us note in passing that we may compute the DC conductivity σ(ω = 0) analytically via the 'membrane paradigm' [34,35]:    5 show σ(ω) in D = 3 and D = 4, respectively, for varying coupling constants α W α Z . This is analogous to changing the CFT data C JJO . Not surprisingly, we find that the non-trivial structure in the conductivity becomes enhanced as this coupling strength increases.

Figures 4 and
As we noted after (1.4), there exist sum rules which tightly constrain the real part of the conductivity whenever h = 0, so long as ∆ > D − 2. In particular, when such a sum rule is satisfied, it implies that if the conductivity is enhanced at high ω, it must be suppressed at low ω, or vice versa. Figure 6 shows the dependence of the real part of σ(ω) on the dimension of the operator O in D = 3 and D = 4. We clearly observe that the conductivity is more affected by relevant operators of smaller dimension. When the sum rules are violated, we observe dramatic enhancement of the conductivity at all frequencies.
In D = 4, we note that an operator of dimension ∆ = 1, leads to a constant shift in the real part of the conductivity at high frequency, which is cleanly observed in the figures 5 and 6. Figure 7 compares the analytic predictions for the asymptotic approach of σ(ω) to its CFT value from section 4 to our numerical calculation. We find excellent agreement. We observe that the figure numerically confirms that when the scalar deformation is critical JHEP07(2017)149  (Φ 0 = 0) the high-frequency conductivity is proportional to Ω D−3−∆ , while when the scalar is tuned away from the critical point (Φ 0 = 0) the high-frequency conductivity is proportional to Ω ∆−3 .

Reissner-Nordström model
So far, the background geometry has been completely thermal. As a consequence, we have not checked the validity of our asymptotic results when O depends nonlinearly on non-thermal detuning parameters.
To perform such a check, we now consider the real time action

JHEP07(2017)149
with Z and V given in (5.1). Compared to (3.1), we have removed the ψ field as well as the ΦC 2 coupling. As before, let us imagine that the backreaction of Φ on the other matter fields can be ignored, but let us now deform the CFT by a finite temperature T and a finite charge density ρ. The dual geometry to such a theory is known analytically for any density [10], and is called the AdS-Reissner-Nordström black hole: and r + and ξ are related to the charge density ρ and temperature T of the black hole: The dimensionless radial coordinate u is once again chosen in such a way that the "outer" black hole horizon is located at u = 1 and the asymptotic AdS boundary is located at u → 0. The black hole horizon is extremal when T = 0: this occurs at precisely ξ 2 = D D−2 , and so we will restrict our attention to ξ 2 < D D−2 . Around this background geometry, we can compute Φ(u), whose equation of motion is given by When ξ = 0, we will need to solve this equation numerically to determine Φ(u). Due to the presence of the finite charge density, the equations of motion for A x become more complicated within linear response [10]. In particular, they couple to fluctuations in the metric components g tx and g rx . Using standard techniques, we are able to reduce the equations of motion to a 'massive' equation of motion for A x : This equation is identical to that in [10], up to the dependence on Z(Φ), and it can be evaluated numerically. Imposing infalling boundary conditions requires writing A x (u) = f (u) b F (u) as before; the boundary condition at the black hole horizon imposing regularity is  3) for the high frequency corrections to σ(ω), and a full numerical computation. It is important to keep in mind that in this more generic geometry, the conductivity is not given by the CFT result even when h = T = 0. Indeed, due to the presence of a finite charge density ρ, and hence chemical potential µ, the conductivity takes the following form: (5.26) The coefficients A and B are given in (2.32) and (4.36). The coefficient A is related to the four-point correlation function JJJJ in the CFT, which is non-vanishing in our holographic model due to graviton exchange in the bulk. The A term is in fact the counterpart of the higher order correction (h/ω D−∆ ) 2 , where the role of O is played by the charge density J t , and the chemical potential µ plays the role of h. In (5.26), we see that if h = 0, it is necessary to deform this field theory at finite charge density by a relevant operator of dimension ∆ < 2 in order for the expansion (1.3) to hold. In figure 9 we plot Re(σ(ω)) as a function of α W α Z , corresponding to increasing C JJO . Unlike before, in this field theory at finite charge density we observe non-trivial structure even when α W α Z = 0, when the scalar operator O is decoupled. This is a consequence of the fact that finite µ already corresponds to a non-trivial deformation of the CFT. Upon setting α W α Z > 0, we observe additional structure emerge in figure 9, associated with the coupling to the operator O.
In figure 9, one may notice the presence of "missing" spectral weight. This spectral weight has in fact shifted into a δ-function at ω = 0: 'hydrodynamics' constrains the low frequency conductivity to be [10] σ(ω → 0) = ρ 2 + P πδ(ω) + i ω + · · · . Here is the energy density and P is the pressure. A uniform and static electric field can impart momentum into a system at finite charge density at a fixed rate via the Lorentz force: this is the origin of this δ function. This δ function must be taken into account when evaluating sum rules, and upon doing so, the sum rules for the conductivity are restored.

Lifshitz holography
In this section, we will now extend our analysis to holographic quantum critical systems with dynamic critical exponent z = 1. This means that there is an emergent scale invariance of the low energy effective theory, but time and space scale separately. Under a rescaling λ: x → λx, t → λ z t. (6.1) Because time and space are no longer related through Lorentz transformations, in this section we will not talk about the spacetime dimension D, but instead the spatial dimension d = D − 1, as is more conventional in condensed matter.
As argued in [20], the high frequency behavior of correlation functions in such Lifshitz theories will share many features with CFTs. For simplicity, we will only talk about the conductivity in this section. In particular, the asymptotic expansion of the conductivity will be modified from (1.3) to We now present a holographic Lifshitz theory where this result can be shown explicitly, and a relationship between A and B can be obtained.

Bulk model
We first begin by outlining the holographic model which we study. The bulk action is given by with S bg the action for the metric and the other bulk fields which support the Lifshitz geometry, and the remaining term describing a fluctuating gauge field. We take Z(Φ) to be given by (3.2b), as before. Specific forms of S bg can be found in [36], for example, but they will not be relevant for our purpose. We will take our background to be uncharged under F ab , the bulk field under which we will compute the conductivity. The quadratic terms in Φ in S bg are given by Note that the mass of Φ 2 is distinct from that in (3.2d), once z = 1.
The background metric of the Lifshitz theory is given by [36] ds 2 = L 2 r 2 dr 2 − dt 2 r 2(z−1) + dx 2 . (6.5) The isometries of this metric map on to the Lifshitz symmetries of the dual field theory, and as a consequence the correlation functions of the dual theory are necessarily Lifshitz invariant. As Lifshitz invariance is a much weaker requirement than conformal invariance [37][38][39], it is not clear that holographic models can capture the dynamics of generic Lifshitz theories. Nonetheless, we will be able to demonstrate a generalization of (1.3) in at least one class of interacting Lifshitz theories, and although our specific results for A and B are not generic, we expect that the qualitative features of this model are more robust.
One can also study more complicated bulk models than (6.3), as the symmetries of Lifshitz theories are far less constraining [40]. In order to compute the conductivity, we must note changes to the holographic dictionary in a Lifshitz background. Following the discussion of holographic renormalization in [10], one finds: (6.6b)

Asymptotics of the conductivity
The equations of motion for the gauge field in the background (6.5) are Let us now define the variable R ≡ Ω z r z .
The cubic contribution to the bulk action becomes Using (6.10) and (6.16), along with (3.24) we obtain (suppressing the δ-function for momenta, and the integrals in the boundary directions) Changing variables to ρ = r z /z, we obtain (p 2 ρ). (6.19) Analogously to (3.27), we obtain We now attempt to follow the arguments of conformal perturbation theory. We expect to find that the conductivity takes an analogous form to (1.3):

JHEP07(2017)149
where d is the number of spatial dimensions. This is a highly non-trivial constraint on the conductivity, which is a scaling function of 2 variables: ω/T and h/T . At z = 1, (7.1) was derived under certain conditions for CFTs, which we review below [8,13,20,41]. We will also analyze its validity for Lifshitz theories z = 1. The asymptotic expansion (6.2) allows us to understand precisely when (7.1) will hold. We need the first subleading term in an asymptotic expansion of σ(ω) to decay faster than ω −1 as ω → ∞. If this is the case, then we may evaluate the integral of (7.1) via contour integration, choosing a semicircular contour in the upper half plane and using analyticity of σ(ω) to show that no poles or branch cuts may be enclosed by the contour (see e.g. [8,11,20]). From (6.2), we conclude that the sum rule is valid when a result first shown in [20]. The first inequality (the lower bound on ∆) comes from demanding that the A term decay faster than ω −1 ; the second inequality (the upper bound on ∆) comes from demanding the same of the B term. Hence, exactly at the critical point (h = 0), we find the somewhat weaker bound that ∆ > d − 2 + z, which agrees with the result for d = 2 CFTs [8], i.e. ∆ > 1.
For general d and z, the analogue of (7.1) for the scalar 2- where Im( O 0 (ω)O 0 (−ω) ) is the usual spectral function. The generalization of (1.3) to z = 1 is In this paper, we have demonstrated this asymptotic expansion carefully for CFTs (with z = 1), but we expect that it also holds true for a large class of systems with z = 1 (including the Lifshitz holographic models described above). If 2∆ 0 > d + z, then the subtraction in (7.3) is not badly behaved near ω = 0, where we expect that at any finite T or h, any divergences in O 0 O 0 will be resolved. From (7.4), we conclude that (7.3) holds so long as using similar logic to the previous paragraph. As with the conductivity, the upper bound on ∆ is only needed if h = 0. We note that (7.2) is a special case of (7.5), when ∆ 0 = d + z − 1, consistent with the fact that in a Lifshitz theory the operator dimension of J x is d + z − 1 (measured in units of inverse length). We now turn to sum rules for the shear viscosity. These were studied in certain critical phases (CFTs without a relevant singlet O) in [11][12][13]. Here we generalize to quantum critical points with general z, and also to theories detuned by a relevant operator O. We JHEP07(2017)149

Conclusion
In this paper, we have demonstrated the universal nature of the high frequency response of conformal quantum critical systems (1.3), both at finite temperature and when deformed by relevant operators. Holographic methods have demonstrated that, for certain large-N matrix theories, these results remain correct even when the ground state is far from a CFT. As a consequence, we find non-perturbative sum rules which place constraints on the low frequency conductivity, regardless of the ultimate fate of the ground state. Our results are directly testable in quantum Monte Carlo simulations, and in experiments in cold atomic gases, where proposals for measuring the optical conductivity have been made [44].
One interesting generalization of (1.3) will occur when the critical theory is deformed not by a spatially homogeneous coupling h, but by a random inhomogeneous coupling h(x). We expect this randomness to modify the form of the asymptotic expansion (1.3); such an analysis could be performed in large-N vector models or in holography. This generalization would be relevant for recent numerical simulations that yielded the dynamical conductivity across the disorder-tuned superconductor-insulator transition [9].
It is known that in vector large-N models, interacting Goldstone bosons in a superfluid ground state lead to logarithmic corrections to (1.3) [20]. The likely reason why this effect is missing in holography is that in these vector large-N models, there are O(N ) Goldstone bosons, whereas holographic superfluids have only one Goldstone boson. We anticipate that the study of quantum corrections in the bulk, along the lines of [45], may reveal the breakdown of (1.3) in a holographic superfluid as well. It would be interesting to understand whether the logarithmic corrections to (1.3) are controlled universally by thermodynamic properties of the superfluid: the calculation of [20] suggests that the coefficient of this logarithm is proportional to the superfluid density.
We have also been able to extend the holographic results for z = 1 QCPs to z = 1. The flavor of the expansion is extremely similar for these theories in holography, and again we expect that key aspects of this expansion remain true for other Lifshitz QCPs. It would be interesting to find non-holographic models where this expansion can be reliably computed.

JHEP07(2017)149
A Two-point functions when ∆ − D/2 is an integer In this appendix, we consider the asymptotics of the correlation function O 0 (−Ω)O 0 (Ω) when ∆ − D/2 is a non-negative integer.
The most interesting case is ∆ = D/2. The first thing to note is that the momentum space two-point function of O has logarithms: These logarithms appear for all ∆ − D/2 = n = 1, 2, . . . as well, multiplied by an extra factor of p 2n . There are two ways to understand the presence of these logarithms. Firstly, such a logarithm is necessary for the two-point function in position space to be non-local. Secondly, the emergence of the scale µ breaks conformal invariance, and is related to conformal anomalies of the dual field theory [28]. We will see below how µ appears in the asymptotics of two-point functions away from criticality.

A.1.1 Conformal perturbation theory
As in the main text, we start by revisiting conformal perturbation theory. The object that we must study is (A.2) Since the integral is dominated by regions where Ωx ∼ 1, we can approximate this integral by withC andĈ complicated constants, and µ an arbitrary scale. The presence of µ in the answer indicates the running of the couplings, as previously noted. Our main result (1.3) becomes modified to

JHEP07(2017)149
Following the discussion in the main text we find:

A.1.2 Holography
We now turn to the holographic computation. The first thing we must revisit is the holographic renormalization prescription for Φ. Following [46], we obtain with µ an RG-induced scale and γ e the Euler-Mascheroni constant. The specific definition of µ above will prove useful. We compute C OO as in section 3. Comparing (A.6) and (A.7) to (A.1) directly gives The computation of A O 0 O 0 O then follows very similarly to section 3.1.2; we find 3 (A.9) The computation of the two-point function O 0 (Ω)O 0 (−Ω) then follows very closely the computation of section 4.1. Employing the notation introduced there, we find that we must solve a differential equation analogous to (4.12): The computation proceeds in an analogous fashion, and we find that the leading correction to χ is, similarly to (4.18):

A.2 ∆ > D/2
The case ∆ > D/2 is much more similar to the case studied in the main text, and so we give a qualitative treatment, beginning with holography. Let us define The asymptotic behavior of Φ is [28] Φ(r → 0) = r D 2 L D−1 2 h r n 1 + · · · +c 2n r 2n log(µr) + c 2n r n O . (A.14) The coefficients c 2n andc 2n are dimensionless numbers; their precise values are not important for this discussion. The crucial thing we notice is that h is the leading order term, and has no logarithmic corrections. So while there might be further logarithmic corrections (at higher orders in h), the qualitative form of (4.12), and hence (1.3), remains correct. A similar result can be found using conformal perturbation theory. The leading order correction to the CFT two-point function is proportional to h/Ω D−∆ , with no logarithmic corrections.

B Evaluating C abcd C abcd
In this appendix we derive the equations of motion for h xy (t, r). As in the computations of O 0 O 0 and σ(Ω), we may (to leading order) set the background metric g to that of pure AdS. For the Weyl correction to the action, it is easiest to first evaluate the action in terms of h xy . As the Weyl tensor vanishes for pure AdS space, we need only compute it to first order in h. Up to the action of symmetries, the non-vanishing components of C abcd JHEP07(2017)149 at this order in h are: In the above equations, z stands for a generic spatial direction which is not x or y. Hence, we find The relevant contributions to the equations of motion are

C Computing A T T O
In this appendix, we assume that all momenta p 1,2,3 point in the t direction. Starting with (B.2), and slightly rearranging, the bulk action which we must evaluate to determine A T T O is given by In this appendix, we will denote with g −1 = r 2 /L 2 a generic diagonal element of the AdS metric (3.3); √ g = (L/r) D+1 is unchanged. We will also use an Einstein summation convention on lowered Greek indices, with no factors of the AdS metric included. We now perform a series of integration by parts manipulations, with the end goal to remove all derivatives from h xy . We begin by analyzing the second term in more detail.

D Generalization of holographic asymptotic integrals
In this appendix, we discuss some of the possibilities which we neglected in the main text in our derivation of (4.36). The notation of this appendix follows the discussion around (4.18).