Entanglement Entropy for $TT$ deformed CFT in general dimensions

We consider deformation of a generic $d$ dimensional ($d\geq 2$) large-$N$ CFT on a sphere by a spin-0 operator which is bi-local in the components of the stress tensor. Such a deformation has been proposed to be holographically dual to an $AdS_{d+1}$ bulk with a hard radial cut-off. We compute the exact partition function and find the entanglement entropy from the field theory side in various dimensions and compare with the corresponding holographic results. We also compute renormalized entanglement entropy both in field theory and holography and find complete agreement between them.


Introduction
In the past couple of years there has been a growing interest in deformations of two dimensional quantum field theories (QFT) by a class of irrelevant operators which are bilinear in conserved currents [1]. Such deformations of a 2d QFT turn out to be solvable and if the undeformed theory to start with is integrable, then the deformations also preserve integrability. The deformed theory turns out to be perfectly well defined in spite of the fact that these deformations involve flowing up the renormalization group (RG). Among the known examples of such deformations, aspects of the so-called TT [1,2] deformation (where T andT are respectively the holomorphic and anti-holomorphic components of the stress tensor in two dimensions) are particularly well studied . Deformation of a 2d conformal field theory (CFT 2 ) in the infrared (IR) by TT breaks conformal invariance but preserves Lorentz invariance. The theory in the ultraviolet (UV) is non-local in the sense that the high energy behavior is not governed by a fixed point. A realization of a TT deformed QFT 2 as a theory of quantum gravity is discussed in [11,12].
The spectrum of a TT deformed 2d CFT turns out to be sensitive to the sign of the TT coupling. For one sign of the coupling, the so-called good sign, the spectrum of the deformed theory is real and the theory is unitary. At high energies, the theory exhibits Hagedorn density of states much like 2d Little String Theory [5]. However for the other sign of the coupling, the so-called wrong sign, the energies of the highly excited states become complex and the theory turns out to be non-unitary. For the wrong sign of the TT coupling, there has been a proposal for a holographic dual in the form of AdS 3 with a sharp cut-off [3]. This particular concept was further developed in [4,13,15,20]. A different holographic interpretation of a "single-trace" TT deformed CFT 2 (considering the theory on a symmetric product orbifold) appears in [5][6][7][8][9][10] for both sign of TT coupling. The holographic interpretation of JT deformed CFT 2 appears in [33,34].
Inspired by the two dimensional deformed setup, generalization of TT deformation to higher dimension has been proposed in [41,42] and further developed in [43]. In an attempt to understand holography with a hard radial cut-off in AdS d+1 with Dirichlet boundary condition on the cut-off surface, the authors of [41,42] constructed a dual effective field theory. This effective theory at long distances appears to be a large-N CFT d deformed by an irrelevant operator, X d , which is bilinear in the components of the stress tensor and transforms as a spin-0 operator under Lorentz transformation. This operator exactly reduces to the TT operator in two dimensions and can be thought of as a higher dimensional generalization of the TT operator.
The construction of the deformation operator X d in arbitrary dimensions on an arbitrary background have been elucidated in [42,43]. Of course the operator X d for d ≥ 3, in general, does not posses all the nice properties as the TT operator in two dimensions (see [44] for details). In particular, there is no reason to believe that it will satisfy the well known factorization property of the TT operator in two dimensions in a non-compact flat spacetime. However, restricting ourselves to the regime of large-N field theories, one can exploit large-N factorization property of multi-trace operators and study the deformation of a generic large-N CFT d at strong coupling by the operator X d .
In this paper, we study the deformation of a large-N CFT d on a sphere S d deformed by the operator X d . We work in regime where N is large and λ d (where λ d is coupling to the operator X d ) is small 1 such that N λ 2/d d is positive 2 and finite. We compute the nonperturbative (in N λ 2/d d ) partition function from the field theory side and show that there is an exact match with the one derived from holographic analysis [43]. We calculate the exact entanglement entropy between two co-dimension one hemispheres. Here, we find the entanglement entropy to be finite and independent of the UV cut-off. It's not surprising that the entanglement we calculate is free of UV divergence. In fact the field theory technique that we have adapted in this paper eliminates the non-universal polynomial terms in powers of R (radius of the sphere), in particular the 'area law' term. However, the universal terms namely the logarithmic and constant terms are always retained in the process.
A natural question that arises at this point is: does the entanglement entropy calcu-1 For finite λ d , one needs non-perturbative (in λ d ) realization of the deformation which, so far, is not well understood. 2 For negative values of the coupling λ d , the asymptotic density of states at high energies is super- where E is the energy). Surprisingly, the scaling matches with the density of states of D − (d − 1) branes in the semiclassical approximation [45]. For d = 2, this is related to the Hagedorn spectrum of LST [5][6][7][8][9].
lated from the field theory side agree with the entanglement entropy computed using Ryu-Takayanagi (RT) formula [46,47] in AdS d+1 with a hard radial cut-off ? The RT minimal surface picks up both the universal as well as the non-universal terms in the entanglement entropy. Of course the entanglement entropy calculated from the field theory side matches with the universal terms of the holographic entanglement entropy [46][47][48][49][50][51] 3 . A more appropriate comparison would be to first define the 'Renormalized Entanglement Entropy' (REE) following [52,53] for both field theory and holography. As shown in [52,53] area terms (both leading and sub-leading ones) are being naturally excluded from the structure of REE. We compute REE for our case both from field theory and holography and find a perfect agreement between them in various dimensions. Curiously, we also observe that REE interpolates between a zero value at high energies (R → 0, R is the radius of the entangling surface) and the CFT central charge at the IR fixed point (R → ∞) for even dimensions [46,47,50]. For odd dimensions it coincides with finite part of sphere partition function (independent of R) at IR fixed point. This nicely matches with our intuition based on already available results in the literature for two dimensions. The organization of this paper is the following. In section (2) we discuss T T deformation in general dimensions and introduce necessary ingredients to compute the sphere partition function. In section (3) we compute the entanglement entropy between two codimension-one hemispheres from field theory viewpoint. In section (4) we compute the entanglement entropy using RT formula in a AdS geometry with a finite radial cut-off and compare our results with the field theory ones. In section (5) we move on to compute REE and find perfect agreement between both field theory and holographic computations. Lastly, we conclude our paper with a discussion mentioning various future directions and also put some additional details into the appendix.

T T deformation in general dimensions: Sphere partition functions
In what follows, we will be computing the sphere partition function in a T T 4 deformed CFT living on a sphere in d ≥ 2 dimensions. On our way, we will consider necessary ingredients to evaluate the partition function and introduce methods to to extract the exact entanglement entropy. We will also give a very brief review of constructing the deformation operator X d following [41,42]. In a later section, we will be presenting the explicit results in various dimensions.

General outline
Let us consider a d dimensional generic Lorentz invariant QFT living on a sphere of radius R. We would like to calculate the exact partition function, Z S d , of such a general setup. Let us consider the metric, γ ab on the sphere, to be of the following form: In 2d, an exact match between the result from field theory and holography is demonstrated in [20]. 4 From now on we will call the bi-local operator X d as the T T operator or X d interchangeably.
where θ i ∈ (0, π) for i = 1, 2 . . . , d−1 and θ d ∈ (0, 2π). The change of the partition function due to an infinitesimal deformation of the metric is given by, where T ab are the components of the stress tensor of QFT. Equation (2.2) holds for any variation of the background metric. Thus the response of the partition function due to a variation in the radius of the sphere is given by Since we are interested in computing the entanglement entropy between two codimensionone hemispheres, we introduce below the metric on the replicated sphere (also known in the literature as the n-sheeted sphere): where θ i ∈ (0, π) for i = 1, 2 . . . , d − 1, θ d ∈ (0, 2π) and n is a positive integer. In our notation the coordinate θ d is normal to the two hemispherical caps whose entanglement we want to compute. We denote the metric on the replicated sphere by γ n ab and the replicated partition function by Z n S d . Note that (2.2) holds for any QFT on an arbitrary manifold. Thus the variation of the partition function on the replicated sphere is given by where · · · n denotes the expectation on the replicated sphere. The response of the partition function due to change in the replica index around n = 1 is given by To get to the right hand side of the above equation we have used the symmetries on a sphere which dictate, where the proportionality function ω(R) depends on the the radius of the sphere (R), and this function needs to be determined.
The entanglement entropy, S d,EE is obtained by analytically continuing in n and taking the limit n → 1: . (2.10) Thus from (2.3), (2.6) and (2.10) one can conclude that Thus, this procedure gives us a simple but elegant way of extracting the entropy from the sphere partition function.

The deforming operator X d
As discussed in the introduction, the main motivation in constructing the higher dimensional generalization of the TT operator comes from understanding holography in AdS d+1 with a hard radial cut-off [41,42]. As it turns out, for the holographic duality with cut-off AdS to make sense, the dual effective field theory (EFT) must be deformed by an operator X d . The operator X d turns out out to be bi-local in the components of the stress tensor, has spin-0 and has mass dimension 2d. We restrict ourselves in the limit of large-N and small λ d (with λ d ≥ 0) such that the quantity N λ 2/d d is finite. In this limit the operator X d takes the form, For the sake of completeness, we present below the structure of the operators X d in general dimensions. In this paper we closely follow the conventions used in [42,43] and the reader is directed to these works for a more comprehensive understanding.
Using the holographic (Brown-York) stress-tensors and deformation of the classical bulk gravity action in AdS d+1 with hard radial cut-off, the authors of [42] have derived the EFT deforming operator X d given by 5 (2.13) Here α d is a dimensionless parameter which characterizes the degrees of freedom of the undeformed CFT. Evidently when d = 2, one recovers the results of [20]. One should also note that the tensor C ab is non vanishing only for d ≥ 3. In this paper, we would explicitly consider the cases d = 2, 3, 4, 5, 6. For being complete, let us write the explicit expressions for C ab below for various dimensions following [42,43] (2.14) Here G ab is the Einstein tensor and R abcd are the Riemann curvature of the background manifold where the field theory lives. Note that the the operator X d in (2.13) results from replacing a particular bulk observable by their boundary counterpart. The end product gives an EFT operator that can be viewed as an obvious generalization of TT operator to higher dimensions. For the deformed EFT of our interest, which resides on a d dimensional sphere of radius R, one can solve ω d (R) defined in (2.7) from the following equation

On Holographic dictionary
As we will compare our field theoretic result for S d,EE with the results from holography, we give here a simple sketch of the dictionary . As mentioned earlier the holographic dual to this deformed theory in d dimensions is a AdS d+1 spacetime with a finite cut-off along the radial direction. The metric of AdS d+1 is shown below, where L is the AdS radius and γ ab is a d dimensional Euclidean metric on the cut-off surface.
For the computation of the entanglement entropy, it is always better to work in Euclidean signature. The hard radial cut-off is placed at r = r c . We consider the bulk gravity theory to be described by the Einstein-Hilbert action. The bulk action with suitable surface and counter terms is shown below, whereR is the bulk curvature. K ab = h c a h d b ∇ cnd is the extrinsic curvature defined on the cut-off surface r = r c with the induced metric h ab = g ab −n anb . Also in our notation, g ab is the bulk metric shown in (2.16),n a is the unit normal and K = h ab ∇ anb is trace of the extrinsic curvature. Note that we have written all normalizations in the form of the Planck length ( P ) to maintain uniformity throughout the manuscript. For convenience, The counterterm action on the other hand is given by [54,55], (2.20) where R ab is the Ricci curvature tensors of the cut-off surface and we define R = R ab h ab . The constants used in the action, c 2 = 1 and non-vanishing only for d > 2, c 3 = 1 and non-vanishing only for d > 4 and so on. For a more detailed exposition to the structure of these counter terms, the reader could refer to [42,54,55].
Given the action (2.17) one can now compute the bulk Brown-York stress tensor (T BY ab ) following [56]. The field theory stress tensor (on the Boundary) is related to the bulk one in the following way, For simplicity henceforth we will set r c = 1 throughout the calculation. Also to establish the dictionary, one can express all the field theory parameters in terms of parameters of gravitational theory. This gives rise to, We will use these relations frequently to make comparison with holographic results. Let is illustrate briefly the machinery we have built upto now, notice that using the recipe mentioned before for the construction of X d and the dictionary (2.22), X 2 takes the following form (C ab = 0 for d = 2), Here we denote the two dimensional central charge by c, related to bulk the quantities via holographic dictionary as [57], (2.24) Using this we recover the result of [20] for 2-dimensions, complete with the usual anomaly term, Expansion parameter: As mentioned in the beginning we are studying the this deformation for a generic large N CFT. We are working in the limit where N is very large, λ finite. This enables us to define the following expansion parameter. For d > 2 we have, (2.26) Let us remind that α d counts the number of degrees of freedom in the undeformed CFT and is evidently proportional to N , the rank of the gauge group 7 . Although our result will be valid for any values of t d , nonetheless to make comparison with known results of undeformed CFT we will frequently expand our result in the limit R √ t d . For two dimensions, the corresponding expanding parameter will be, (2.27) Again we can expand our results in 2d in the limit R √ t 2 to recover the results of CFT [20]. We will illustrate these ideas with specific calculations shortly in the next section.

Entanglement entropy from field theory
Now with all ingredients in place, we proceed to compute the entanglement entropy from the field theory side using the formula (2.11). To do that, as explained earlier, we need to first compute the sphere partition function of the field theory on a sphere of arbitrary R. Substituting (2.13) in (2.15) one can solve for the ω d (R). This will lead us to a quadratic equation in ω d (R) leading to two solutions. Following [20], we will choose the negative sign in the solution as that will reproduce the known CFT results in λ d → 0 limit (in even dimension it will give the well known CFT anomaly results). At the end of this section we have made some further comment on the other branch of solution, namely the positive branch of ω d (R).
It is clear now that solving the differential equation (2.9) with the negative branch of ω d (R) one can calculate log Z S d . To solve the differential equation (2.9) we have used the boundary condition log Z S d = 0 at R = 0 [20]. Once we know log Z S d , equation (2.11) enables us to compute exact S d,EE . Below we quote the results for various dimensions. Again for the expressions of log Z S d and consequently of S d,EE for general d please refer to the appendix (A).
As an warmup exercise, let us first derive the results of [20] in our convention. Equation (2.15) and (2.23) gives Here the central charge c is related to the bulk quantities via (2.24). The sphere partition function in this case takes the form, For example in N = 4 SYM with SU (N ) gauge group in 4d we have α4 = N 2 7/2 π . In d = 3 for ABJM theory, α3 = N 6(2π 2 ) 1/3 where N is the rank of the gauge group in ABJM [43].
Then from (2.11), we can operate the differential operator on the above equation to get the entanglement entropy for the desired region, A pertinent check is to recover the CFT 2 result back from this expression. As we explained earlier, our expansion parameter is t 2 = cλ 2 . On expanding the above result in the limit R √ t we get the well known result of entanglement entropy of a CFT 2 : Simply following the two dimensional case, we will see that under expansion with right parameters, we will always get back the known CFT d results in all d ≥ 2 [58] as well.
Case 2: d = 3 In three dimensions, the deformation operator takes the form, (3.5) Plugging this in (2.15) results in getting one of the solutions as, where we use the parameter t 3 = α 3 λ 2/3 3 . The sphere partition function takes the form Quite straightforwardly, the entanglement entropy in this case is given by Expanding the entanglement entropy for R √ t one recovers the results for a CFT 3 entanglement: As expected there are no logarithmic terms in the expression [59][60][61]. We will come back to the expression of entanglement entropy in 3 dimensions, in the next section, where we compare the field theory results to those obtained from holography.

Case 3: d = 4
We move on to the most interesting case: four dimensional field theory. The deformation operator is given by, (3.10) Solving (2.15) with the X 4 from the above equation gives where t 4 = α 4 √ λ 4 . The sphere partition function can be calculated in the following form (3.12) Following usual procedure, the field theory entanglement entropy takes the following form: To arrive at CFT 4 results, we expand S 4,EE small t 4 , which spells out, Once again we recover the universal logarithmic term in the entanglement entropy of a CFT 4 with the exact coefficients attached.

Case 4: d = 5
The deformation operator in five dimensions, as discussed earlier, starts having contributions from the C ab tensor, leading to the form, (3.14) Usual procedure to calculate ω 5 (R) yields Using this expression one can calculate the sphere partition function, and hence the entanglement entropy. The expressions are given respectively by We can go to the CFT limit by expanding in t 5 to get, The six dimensional deformation operator here takes the form, As in the other cases, the ω 6 (R) is calculated as, The sphere partition function reads as, And, again we arrive at the expression for the entanglement entropy by operating with the right differential operator, Expanding for small t 6 we recover the CFT result; Now once we have quoted all the results obtained in this section, some important comments are in order. Let us discuss them one by one as follows, • The exact entanglement entropy calculated in this section is free of power law terms (positive powers of R), in particular it does not capture the well known 'area law'. The polynomial terms (for d ≥ 3) in entanglement entropy are not universal and depends on the choice of the renormalization scheme. So, by appropriate choice of counter terms, one can get rid of these non-universal pieces in the entanglement entropy. This analysis is studied in considerable detail in [62][63][64]. In our calculation, the trace of the stress tensor (2.13) assumes a particular choice of renormalization scheme so that only finite terms show up. This is reflected in our result of finite partition function and hence works similarly for the entanglement entropy.
To recover non-universal terms in the entanglement entropy in our setup, one needs to reconstruct the operator X d with a different choice of counter terms S ct in the bulk acton. This will bring back scheme dependent non-universal pieces in the deformation operator X d , which in turn will show up as the power law terms in the entanglement entropy. In the section next to the current one, we will perform holographic calculation of entanglement entropy which, not surprisingly, will contain non-universal terms along with the universal pieces computed from field theory.
• Secondly, we would like to mention the fact that solving (2.15) gives two different solutions of ω d (R). We choose the negative branch because in the limit λ d → 0 we recover the well known trace anomaly of a CFT in various dimensions. But, it is likely that the other branch, namely the positive branch is related to the nonperturbative states of the deformed theory. These states decouple from the original undeformed CFT in the limit λ d → 0. In the case of d = 2, this has been investigated in the context of modular invariance of the partition function on a torus [24] (also see [37]). Possibly, this would also give rise to non-perturbative ambiguities in d ≥ 3 as discussed in [24,37] in the case of d = 2.

Entanglement entropy: A holographic setup
In this section we compute the holographic entanglement entropy using the Ryu-Takayanagi prescription [46,47]. We are interested in calculating the entanglement entropy between two codimension-one hemispheres. The entangling surface in this setup would be a codimensiontwo sphere. From the holographic side one needs to compute the minimal area hypersurface in AdS d+1 whose boundary coincides with the entangling surface S d−1 residing on the cutoff surface of AdS d+1 . To facilitate the computation we start with global AdS d+1 with the metric Then using the RT formula we get the desired entanglement entropy as, where Now the test here is to compare the holographic results explicitly with the field theory result for all these cases. Take for example the case of d = 2. Given the dictionary 4 π L P = c 3 and cλ 2 = 3πL 2 , one finds an exact match from both sides. This has already been established in [20] even at subleading level.
In d = 3, things turn out to be more interesting. The dictionary here can be constructed from (2.22), which reads L = √ 6 t 3 and λ 3 = 1 4 2 P L. Using the dictionary, the holographic result expressed in terms of field theory variables takes the form, Comparing the above result with (3.8), we can observe that although the leading results match perfectly, results from field theory captures another extra term −4π 2 t 3 R λ 3 . Remarkably enough, this particular term is precisely the area term in three dimensions, albeit with an opposite sign.
Let us explain a bit more about this area term and universal pieces in entanglement entropy for the convenience of the reader. If we can assume the presence of a UV cut-off r c as some finite length cut-off of the dual field theory, then the leading contribution in entropy can always be written as [50] S d, where A d−2 = Ω d−2 R d−2 is the 'area' of the equator dividing the two halves of the (d − 1) dimensional sphere placed at the cut-off surface. The form of the universal contribution to the entanglement entropy, on the other hand, depends on whether we are working in odd or even dimension. Quoting well known results, the structure of the universal terms can be written as, Here a d is the parameter identified in [50,65] that characterizes monotonicity in holographic RG flows and in our notations has a form, (4.7) These universal terms are certainly the most interesting ones to be calculated in entanglement entropy computations. Now coming back to our three dimensional case, and using the proper dictionary, we can see that the extra term −4π 2 t 3 R λ 3 is exactly −2πa 3 as explained above. This gives us a hint that the extra terms appear in the field theory calculation to cancel out the area term smoothly.
Let us also consider the case of d = 4 to illustrate this phenomenon further. In this case, using the appropriate holographic dictionary, one can check that the entropy calculated from RT formula in terms of field theory variables becomes, One can again compare this with the exact field theory result and see the arcsinh term matches perfectly with all prefactors in place. However, there is one extra term in field theory computation again, having a form − 8π 2 R 2 t 4 λ 4 , which is explicitly the area term in four dimensions as explained before 8 , again with the opposite sign. One can check that the trends persist in all other dimensions too, i.e. the universal terms in both field theory and RT calculation gives exact agreement under the dictionary we propose, albeit with the extra area-like term which appears with a negative sign.

Comments on renormalized entanglement entropy
From our experiences with entanglement entropy in last two sections for the deformed theory, one would like to find an observable on both sides of the duality without any subtlety, and there seems to be one such observable that does the job for us. Following [52,53] we compute the Renormalized Entanglement Entropy (S d,REE ) both from the field theory and holographic side. REE is defined as follows, for even d, Advantage of this quantity as described in [52,53] that it efficiently subtracts out the UVdivergent (if any) part from EE. So for our case it will automatically be free of the area terms (both leading and subleading), which is important following our discussion in the last section. Also it removes all the IR divergences from the computed quantity. As we have seen from the previous sections that the way we have formulated the field theory computation, the S d,EE coming from it does not include the area terms. Hence REE seems to be a reasonable quantity which we can use to make comparison between holography and field theory results. Below we quote the result for REE computed in different dimensions using (5.1).
Again to emphasize, we have computed REE for both the field theory and holography using the results of the Section (3) and Section (4). We find prefect agreement between the expressions in all the cases. This also serves as a nice consistency check of our computations. Now from the expressions written above, we can easily see in the UV limit (R → 0) 9 , And similarly, in the IR limit (R → ∞), where a d is defined in (4.7) in terms of gravitational parameters. For even dimensions, it coincides with coefficients of the Euler anomaly terms of CFT at IR [46][47][48][49][50][51]. For odd dimensions it is equal to the finite part of the free energy on sphere (independent of R and cut-off) [50,51,[59][60][61]. Note that originally (in [52,53]) REE is defined for local field theories with two fixed points. But here we extend this idea to a situation where the theory is UV fixed but flows to a IR-CFT fixed point. The energies of the highly excited states of the undeformed CFT becomes complex upon deformation [3,41]. Hence we don't expect these states to add to the real degrees of freedom of the deformed theory. So the absence of any real degrees of freedom at high energy is being captured by the equation (5.2), i.e REE being zero at R → 0 limit making it UV finite 10 . At low energy (R → ∞) it 9 We do not mention here the constant of proportionality without any loss of generality. 10 However in the full theory with all the non-perturbative effects taken into account, it could be likely that our expressions for small values of R will receive corrections. Commenting on the type of non-perturbative corrections is beyond the scope of this paper. For related discussion in d = 2 see [24]. coincides with usual CFT result. Also (5.2) and (5.3) are showing that degrees of freedom are increasing as the theory flows down the RG. This matches with our intuitive notion explained above. It will be an interesting future problem to investigate the exact nature of the flow in terms of entanglement entropy.

Conclusions and discussions
Let us start with a summary of the paper. In this work, inspired by recent developments in integrable deformations of CFTs and relevant holographic setups, we have calculated the exact entanglement entropy in d-dimensional CFTs deformed by an irrelevant operator quadratic in components of the stress tensor. This reaffirms and extends the work in [20] to higher dimensional cases, where we could find the exact entanglement entropy both from the field theory partition function on a d-sphere and dual bulk calculation of RT surfaces in AdS d+1 with a hard cutoff along the radial direction. Our calculation also solidifies the holographic dual proposal of [41,42] to higher dimensional theories, where we build up definitions of the deformation operators following [41,42]. Exactly as in the 2d case, we find the entanglement entropy is finite and the bulk-boundary computations can be compared under proper holographic dictionary.
Our calculation is based upon the symmetries of the entangling region in higher dimensions and uses the simplest possible case to test the correspondence. To be precise, the method to generalize this to other entangling surfaces is not clear, even in the two dimensional case. It would be fascinating to uncover this mystery as a future study. Specifically, it is well know that for even dimensions (d > 2) two different kind of anomaly terms appear in the trace of stress tensor. Universal term of the entanglement entropy for spherical entangling surface (for the CFT) picks out the Euler anomaly term. But when evaluated for the cylindrical surface the universal term it picks out the other anomaly term -Weyl anomaly [49]. So it will be interesting to see similar kind of effects for our case.
The field theory techniques we have adapted in this paper, only extracts the universal terms in the field theory computation, added with an area like-term with a negative sign. We explicitly matched these universal terms with the result coming from the RT surface calculation under our proposed holographic dictionary in d = 2, 3, 4, 5, 6. We then go ahead to define the REE [52,53] for our case, and find that REE in all dimensions can be exactly matched both from field theory and holographic perspective, solidifying our proposal even further.
As in the case of two dimensions, we can explicitly see the entanglement vanishes in the limit R → 0 in all dimensions and coincide with usual CFT results at R → ∞. This matches nicely with our intuition about the observable. Rather excitingly, this agreement between universal terms in field theory and holographic result in this case provides us with a playing ground for the Surface/State correspondence proposed in [66] where the authors generalize the notion of holographic duality making it insensitive to the existence of the boundary of spacetime. In this conjecture, it has been argued that any codimension-two convex surface inside AdS d+1 spacetime can be associated with a quantum state and the entanglement entropy associated with this region (w.r.t to the rest of the spacetime) can be computed using RT formula. In that sense, our results can be thought of as one concrete example of this conjecture. However one certainly needs to be cautious here and more investigations are needed along these lines.
Going forward with this, one can extend the study in various directions, since the arena of T T deformations in higher dimensions is much unexplored at this point. A straightforward generalization is that of calculating the conical entropy following [20] which eventually leads to the Renyi entropy, which can also provide an independent check of the results obtained in the current work. We hope to report about this soon [67].
An obvious generalization of the particular deformation we investigated in this paper would be to understand the T T deformation in a massive QFT at least perturbatively. Also, it will be interesting to understand the exact nature of renormalization group using the techniques of REE along the lines of [53,[62][63][64][68][69][70][71][72].
One could in principle consider the effect of T T deformation on the transport coefficients. An obvious avenue to proceed would be to study the changes in KSS bound [73] on viscosity over entropy density. It would be interesting to check if the violation of the KSS bound in the presence of anisotropy could be restored upon turning on a T T deformation.
Throughout this paper we have explored the the deformation of a generic large-N CFT by the T T operator for small positive coupling λ d . It would be nice to have a concrete understanding of the deformation for the other sign of λ d . Also, we have only included the negative branch of ω d in our calculation. Inspired from the analysis of [24] in d = 2, it is tempting to conjecture that the positive branch of ω d is related to the non-perturbative states in the deformed theory. It would be worth investigating whether the other branch of ω d gives rise to something sensible and exciting at the same time. This may eventually lead to non-perturbative understanding of the deformed theory. Understanding of the deformed theory beyond the planer limit (at finite N ) would be very exciting as well.
Last but not the least, our calculation is evidently exhibiting that in general dimensions in the high energy limit the theory, it becomes devoid of any real degrees of freedom. The entanglement entropy is vanishing at high energy limit and grows towards the IR fixed point. This reminds us of the recent construction of quantum circuits in the context of circuit complexity [74] where one starts with direct product state and gradually incorporates entanglement into it (in 2d this is similar to the cMERA [75] construction). It will be interesting to compute the complexity along the lines of [76] to see the effect of this deformation and connect it to the physics of RG flow. We sincerely hope to come back and explore these avenues in the near future. by Project 11647601 supported by NSFC. ArB would like to thank the ICTP HECAP for warm hospitality during the course of this project.