Abstract
In previous works, we have developed an approach to fix the leading behaviors of the pure AdS\(_3\) and BTZ black hole from the entanglement entropies of the free CFT\(_2\) and finite temperature CFT\(_2\), respectively. We exclusively use holographic principle only and make no restriction about the bulk geometry, not only the kinematics but also the dynamics. In order to verify the universality and correctness of our method, in this paper, we apply it to the \(T\bar{T}\) deformed CFT\(_2\), which breaks the conformal symmetry. In terms of the physical arguments of the \(T\bar{T}\) deformed CFT\(_2\), the derived metric is a deformed BTZ black hole. The requirement that the CFT\(_2\) lives on a conformally flat boundary leads to \(r_{c}^{2}=\ 6R_{AdS}^{4}/(\pi c\mu )\) naturally, in perfect agreement with previous conjectures in literature. The energy spectum and propagation speed calculated with this deformed BTZ metric are the same as these derived from \(T\bar{T}\) deformed CFT\(_2\). We furthermore fix the dual geometry of highly excited states with our approach. The result contains the descriptions for the conical defect and BTZ black hole.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and summary
The \(T\bar{T}\) deformed CFT\(_{2}\), discovered by the remarkable works [1,2,3], attracts increasing attention recently. It is a solvable example of quantum field theory. A conformal field theory (CFT), which is conformally invariant at different fixed points along the RG flow, can be deformed by relevant, irrelevant and marginal deformations. The irrelevant deformation only affects the physics in the UV region but not the IR region. \(T\bar{T}\) deformation supports a class of solvable irrelevant deformations of CFT\(_{2}\) by turning on the \(T\bar{T}\) term. The integrability implies the theory contains an infinite element of conserved charges. The class of \(T\bar{T}\) deformed CFT\(_{2}\) is characterized by a length squared parameter \(\mu \ge 0\) as \(dS^\mu /d\mu = \int d^2 x (T\bar{T})_\mu \), where \((T\bar{T})_\mu =\frac{1}{8}\left( T^{\alpha \beta }T_{\alpha \beta }-\left( T_{\alpha }^{\alpha }\right) ^{2}\right) _\mu \) is defined in terms of the stress tensor of the deformed theory. As \(\mu \rightarrow 0\), the simplest example is
It is clear that \(T\bar{T}\) deformation is Lorentz invariant and breaks the conformal symmetry. McGough, Mezei, and Verlinde [4] proposed that the \(T\bar{T}\) deformed CFT\(_{2}\) is no longer located on the asymptotic boundary of AdS\(_{3}\) but lives at the finite radial position \(r_{c}\)Footnote 1,
where \(R_{AdS}\) is the radius of AdS\(_{3}\) and \(c=\frac{3R_{AdS}}{2G}\) is the central charge of the CFT\(_{2}\). Based on this picture, a new way to extend and study the AdS/CFT correspondence emerges. In a recent work [5], Chen and collaborators calculated the entanglement entropy of the \(T\bar{T}\) deformed CFT\(_{2}\) by the replica trick. They found that for a finite size system, there is no leading correction. But for a finite temperature system, they obtained
It is curious why there is no correction to the finite size system. Without a correction, how do we tell the CFT lives at a finite radial distance for a finite size system by the entanglement entropy? We speculate the reason is that the entanglement entropy is defined for spacelike intervals only, which is not consistent with the Lorentz covariance. Since the finite size and finite temperature systems have the same cylindrical topology under exchanging \(t\leftrightarrow x\), we are inspired to speculate that there exists a temporal entanglement entropy for a temporal interval (indicating entangling between the big bang and big crunch?), and the finite size system receives a correction in this temporal entanglement entropy. Unfortunately, up to now, there is no well-defined temporal entanglement entropy. We are thus led to believe, once a temporal entanglement entropy is correctly introduced, one would find the results as shown in Table (1):
In the same paper, Chen etc. verified the holographic method (RT formula [6]) by calculating the geodesic length in the BTZ background. To match the entanglement entropy of the \(T\bar{T}\) deformed CFT\(_{2}\), they found two endpoints of the geodesics must be fixed on the finite cut-off \(r_{c}\). The relevant paper [7] calculated entanglement entropy of the \(T\bar{T}\) deformed CFT\(_{2}\) between two antipodal points on a sphere. More recent works on the holographic studies of the \(T\bar{T}\) deformed CFT\(_{2}\) can be found in the Refs. [8,9,10,11,12,13,14,15,16,17,18,19].
In previous works, we have developed a method to fix the leading behaviors of the dual geometries from the entanglement entropies of the CFT\(_{2}\) without using AdS/CFT or imposing any constraints on the bulk geometry. It must be understood that neither kinematics nor dynamics (Einstein equation) can be used in the derivation, especially the latter one. Out of the general geometries, gravity is those respecting the Einstein equation. Therefore, using the Einstein equation in any place makes the derivations circular. On the other hand, it is easy to understand that the symmetry argument is a necessary but not a sufficient condition to determine the dual geometry of a CFT. Furthermore, obviously, the SO(2, 2) symmetry argument is no help for the \(T\bar{T}\) deformed CFT\(_{2}\) considered in this paper, since this particular CFT breaks the SO(2, 2) symmetry. Under these considerations, we successfully derived the asymptotic AdS\(_{3}\) from the infinitely long system of CFT\(_{2}\) [20], and 3D BTZ black hole from the finite temperature system of CFT\(_{2}\) [21], both with time direction included as it should be.
One of the distinct ingredients of our approach is to use Synge’s world function [22] to extract the spacetime metric from given geodesic lengths:
where \(x^{i}=\left( x,y\right) \), and \(L\left( x,x^{\prime }\right) \) is the length of the geodesic connecting two points \(x^{i}\) and \(x^{i'}\) in the unknown bulk geometry. It turns out that, in order to determine the function form of the bulk geodesic length \(L\left( x,x^{\prime }\right) \), we need to use the entanglement entropies in UV and IR (mass gap) regions. These entanglement entropies can fix the behaviors along the boundary directions x, t where the CFT lives, and the holographic direction y which is created by the energy cut-off of the CFT. In order to verify the universality and correctness of our method, we apply it to the \(T\bar{T}\) deformed CFT\(_{2}\) at finite temperature to fix the leading behaviors of its dual geometry in this paper. The fixed metric turns out to be a deformed BTZ metric in the planar coordinate, where “deformed” refers to a prefactor of \(dx^{2}\) in contrast to the standard BTZ metric:
where \(\beta _H \equiv T^{-1}=\frac{\beta }{2\pi }\). It should be emphasized that x and t in Eq. (5) are the physical (proper) arguments of the \(T\bar{T}\) deformed CFT\(_{2}\). Though after a redefinition \(\tilde{x}=(1-\frac{\pi \mu c}{12\beta _{H}^{2}}+\cdots )x\), the metric (6) is the standard BTZ, \(\tilde{x}\) is the physical argument of the original undeformed CFT. The advantage of the metric (5) is that, once requiring the CFT lives on the flat boundary of the dual geometry, we immediately deduce that the geometry covers \(y_{c}\le y\le \beta _{H}\), with \(y_{c}^{2}=\frac{\pi \mu c}{6}\). After transforming \(y_{c}\) to the global coordinate, we get \(r_{c}^{2}=\frac{6R_{AdS}^{4}}{\pi c\mu }\), which is in perfect agreement with Eq. (2). In [4], in order to check the duality, quantities such as energy spectrum, thermodynamic properties and propagation speeds were calculated based on the standard BTZ metric (6), and they were compared with the results from the \(T\bar{T}\) deformed CFT\(_{2}\) to determine the value of \(r_{c}\). Nevertheless, using the deformed metric (5), in addition to determining \(r_{c}^{2}=\frac{6R_{AdS}^{4}}{\pi c\mu }\) immediately, we straightforwardly calculate the energy spectrum and propagation speeds, which are the same as those from the \(T\bar{T}\) deformed CFT\(_{2}\). It is important to note that all these conclusions cannot be obtained without the metric component \(g_{tt}\).
As a further check, we next apply our approach to the highly excited states of CFT\(_{2}\) with large c and sparse spectrum of low dimensional operators. Using the entanglement entropies of such states of a finite size system, given in [23,24,25], we fix the dual geometry
where \(\beta _{\Psi }=(\frac{12\triangle _{h}}{c}-1)^{-1/2}\). When \(\triangle _{h}<\frac{c}{12}\), the metric represents a conical defect in the center of the global AdS\(_{3}\). On the other hand, when \(\triangle _{h}>\frac{c}{12}\), the inserted operator is heavy enough to produce a BTZ black hole at temperature \(T=\beta _{\Psi }^{-1}\).
In literature, there is an alternative method to extract the bulk geometries from geodesics, namely, kinematic space. It shows that the geodesics of \(\mathrm {AdS}_{3}\) can be viewed as points in the kinematic space by calculating the Crofton form from the entanglement entropy. The Crofton form is defined as the second derivatives with respect to two different points of the entanglement entropy (not taking the limits afterwards!). Then the points-grouped one-dimensional object, say point curve (codimension-1 locus), in the kinematic space corresponds to a set of geodesics which intersect with each other at a single point of \(\mathrm {AdS}_{3}\). Therefore, geodesic length between any two points in the bulk of \(\mathrm {AdS}_{3}\) equals the integral of Crofton form over the area between two corresponding point curves in the kinematic space [26]. The advantage of kinematic space is that the correspondence between Crofton’s formula and field theory is clear. Then, it is possible to obtain the OPE blocks from the local operators in the AdS by Radon transformation [27, 28]. However, it is not easy and straightforward to fix the leading behaviors of the spacetime metric of previously unknown bulk geometry. One of the main differences and advantages of our approach is to impose the limit \(x\rightarrow x'\) after taking the derivatives, which enables us to get the metric immediately from the geodesics, as shown in Eq. (4).
The reminder of this paper is outlined as follows. In Sect. 2, we show how to fix the leading behaviors of the deformed BTZ spacetime from the entanglement entropies of the \(T\bar{T}\) deformed CFT\(_{2}\), and calculate the energy spectrum and propagation speeds with the deformed metric. In Sect. 3, we address the highly excited states of CFT\(_{2}\) and fix the leading behaviors of its dual geometry from the entanglement entropy. Section 4 is for conclusion.
2 The dual geometry of the \(T\bar{T}\) deformed CFT\(_2\)
To the leading order correction, the UV entanglement entropy of \(T\bar{T}\) deformed CFT\(_{2}\) at finite temperature was calculated in [5],
where \(\beta _{H}\equiv T^{-1}=\frac{\beta }{2\pi }\) and a is a UV cut-off. As \(\mu /\beta _{H}^{2}\rightarrow 0\), it reduces to the entanglement entropy of the undeformed CFT\(_{2}\) at finite temperature:
Since the correction is a function of \(\triangle x/\beta _{H}\) and \(\mu /\beta _{H}^{2}\), it is tempting to check if it can be captured by an effective correction to \(\triangle x\). This step is consistent with the fact that irrelevant deformations only affect the physics in the UV region. Therefore, we set
where \(F\left( \mu ,\triangle x\right) \) is a correction to \(\triangle x\). It is remarkable to notice for small \(F(\mu ,\Delta x)\), the Taylor expansion is
Therefore, comparing with Eq. (8), we can get
So, the UV entanglement entropy of \(T\bar{T}\) deformed CFT\(_{2}\) can be written as:
The time-dependent entanglement entropy of the undeformed CFT\(_{2}\) at finite temperature is:
As \(\triangle t=0\), it reduces to Eq. (9). For the \(T\bar{T}\) deformation, we only need to replace \(\triangle x\) by \(\triangle x\left( 1-\frac{\pi \mu c}{12\beta _{H}^{2}}+\cdots \right) \) to get the \(T\bar{T}\) deformed one
Setting \(R\equiv \frac{2G_{N}^{\left( 3\right) }c}{3}\) and identifying this entanglement entropy with the length of the geodesic anchored on the boundary in the dual geometry, one has
From the holographic principle, the energy cut-off a generates a holographic dimension y, say \(a^{2}\rightarrow yy^{\prime }\left( 1+\cdots \right) \). In order to apply Eq. (4) to get the metric, this ending on boundary geodesic length Eq. (16) is obviously not sufficient and we need to push the endpoints into the bulk, with dependence on the holographic dimension y, to describe bulk geodesic connecting arbitrary endpoints (t, x, y) and \((t',x',y')\). On the other hand, as shown by Eq. (8), when \(\beta _{H}\rightarrow \infty \), the entanglement entropy becomes the free CFT\(_2\) one, whose dual geometry is the pure AdS\(_{3}\) in Poincare patch, as we derived in [20] by our approach. The geodesic length of pure AdS\(_{3}\) in Poincare patch connecting (t, x, y) and \((t',x',y')\) is
To meet these two requirements (16) and (17) under different limits, we only have one possibility to generalize the boundary anchored expression (16) to the general bulk geodesic length:
where \(f\left( x,x^{\prime },\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \) and \(g\left( x,x',\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \) are arbitrary regular functions to keep the generalization universal. The next steps are determining the behaviors of \(f\left( x,x',\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \) and \(g\left( x,x',\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \), and then we can apply Eq. (4) to get the metric.
Step 1: When \(\beta _{H}\gg y=y^{\prime }=a\) (geodesics anchored on the boundary), \(L_{\mathrm {bulk}}\) in Eq. (18) must reduce to \(L_{\mathrm {boundary}}\), given by equation (16),
So as \(\beta _{H}\gg y\) and \(y^{\prime }\), we have
where \(\varrho _{i}\), \(\rho _{i}\), \(\bar{\varrho }_{i}\) and \(\bar{\rho }_{i}\) are regular and bounded functions.
Step 2: As \(\beta _{H}\rightarrow \infty \), or \(\mu /\beta _{H}^{2}\ll 1\) and \(\beta _{H}\gg \triangle x\), \(\triangle t\), y and \(y^{\prime }\), the general expression (18) must match the pure AdS\(_{3}\) background (17). From step 1, we know the leading term of f and g is the unit. So, we have
where we only keep the leading order. When keeping the higher orders, we suppose to get the metric of asymptotic AdS by using equation (4). Or equivalently speaking, since \(f\left( x,x^{\prime },\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \) and \(g\left( x,x^{\prime },\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \) lead to the coefficients of \(dt^{2}\) and \(dx^{2}\), to be an asymptotic AdS, the regular functions \(f\left( x,x^{\prime },\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \) and \(g\left( x,x^{\prime },\frac{\mu }{\beta _{H}^{2}};y,y^{\prime };t,t'\right) \) can only depend on y and \(y'\). Thus the general expression of the bulk geodesic length takes the form
where
and
given by the last two terms of (22).
Since the correction \(\frac{\triangle x}{\beta _{H}}\left( 1-\frac{\mu c}{12\beta _{H}^{2}}+\cdots \right) \) appears in the \(\cosh \)-function only, it does not affect determining the behaviors of functions \(f\left( \frac{y}{\beta _{H}},\frac{y^{\prime }}{\beta _{H}}\right) \) and \(g\left( \frac{y}{\beta _{H}},\frac{y^{\prime }}{\beta _{H}}\right) \), we are free to set \(\mu =0\) in the following steps and the derivations are same as what were done in our previous work [21] for the case of finite temperature CFT. After fixing \(f\left( \frac{y}{\beta _{H}},\frac{y^{\prime }}{\beta _{H}}\right) \) and \(g\left( \frac{y}{\beta _{H}},\frac{y^{\prime }}{\beta _{H}}\right) \), we restore \(\mu \not =0\).
Step 3: When two endpoints of a geodesic coincide, the geodesic length vanishes exactly. Plugging \(x=x^{\prime }\), \(y=y^{\prime }\) and \(t=t^{\prime }\) into Eq. (24), we get
Step 4: In Ref. [29], T. Takayanagi proposed a new holographic dual of the boundary conformal field theory (BCFT). It presents that the phase transitions of entanglement entropy relate to the topological change of the RT surface in the bulk. Based on this realization, the boundary of BCFT will extend into the bulk and play a role in the end-of-the-world (ETW) brane [30]. The brane’s tension corresponds to the boundary entropy of BCFT, and the RT surface which is anchored between the ETW in the bulk and the BCFT on the boundary relates to the entanglement entropy of BCFT. The region enclosed by ETW brane in the bulk and BCFT on the boundary is asymptotically AdS. Therefore, the dual RT surfaces of BCFT can be simply calculated between one point in the bulk and another point on the boundary in the AdS background without placing any new configuration, such as virtual branes which modify the bulk geometry [29]. We are going to use this conclusion in this step, since our method only depends on the RT surfaces and aims to fix the leading behaviors of bulk geometry.
We now consider the length of the segment in Fig. 1 as \(\Delta x\rightarrow \infty \). There are three ways to calculate it. The left picture is given in [31, 32] from boundary conformal field theory (BCFT),
On the other hand, by using Eq. (24), we have two other ways to calculate it. The first way is to straightforwardly substitute \(y=a\), \(y'=\beta _{H}\), \(\Delta x/2\rightarrow \infty \) into (24) to get
It is easy to understand that this length is one half of that connecting \(y=y^{\prime }=a\), \(\Delta x\rightarrow \infty \). So the second way is
These three lengths (28), (29) and (30) ought to be identical. We thus obtain \(f\left( \frac{a}{\beta _{H}},\frac{\beta _{H}}{\beta _{H}}\right) ^{2}=f\left( \frac{a}{\beta _{H}},\frac{a}{\beta _{H}}\right) =1\). The derivation of this constraint does not require \(\beta _{H}\gg a\). As long as \(\beta _{H}\) is the upper bound of y, the derivation is justified. Since a is a varying cut-off not beyond \(\beta _{H}\), satisfying \(0<a/\beta _{H}\le 1,\) we can safely replace \(\frac{a}{\beta _{H}}\) by \(\frac{y}{\beta _{H}}\) to get:
Step 5: An important lesson we learned from the free CFT\(_{2}\) case in [20] is that, in order to completely determine the dual geometry, we need to know the geodesic length between a and \(\beta _{H}\) with \(\triangle x=0\), i.e. the vertical geodesic. To be consistent, this particular geodesic length must be provided by the CFT\(_{2}\) entanglement entropy. In the free CFT\(_{2}\), the IR entanglement entropy precisely fits the requirement.
Remarkably, we know that the finite temperature CFT\(_{2}\) and the finite size CFT\(_{2}\) have the same geometry \({\mathbb R}\times {\mathbf{S}}^1\). We can either interpret it as a CFT on a compact spatial interval of size \(L_S\), or view it as a thermal CFT on the real line with the Euclidean time along the circle with the period \(\beta = L_S\), as explained in [31, 33] in detail. So these two CFTs are basically the same scenario and have the same bulk dual. We are allowed to use the results from both CFTs to construct the dual bulk geometry with the identification
Therefore, the geodesic length between a and \(\beta _{H}=\frac{\beta }{2\pi }\) in the finite temperature system can be obtained from the geodesic length connects a and \(\frac{L}{2\pi }\) in the finite size system,
Noting that \(\frac{L_{S}}{2\pi }\) is the radius of the finite size system with the circumference \(L_{S}\), therefore, this geodesic goes from boundary to the center of the circle, as illustrated in Fig. 2.
We know that the entanglement entropy of a finite size system isFootnote 2
The maximal entanglement entropy is achieved by splitting the circle into two equal regions, \(\Delta x=L_{S}/2\). The corresponding geodesic is nothing but a diameter
It is then easy to get what we need
We now map \(L_{S}\rightarrow \beta \) to get the geodesic length between a and \(\beta _{H}=\frac{\beta }{2\pi }\) in the finite temperature system:
which agrees with that obtained through holographic duality in [34]. Therefore, from the general expression (24), as \(x=x^{\prime }\), \(t=t^{\prime }\), \(y=a\) and \(y^{\prime }=\beta _{H}\) , we have
We thus obtain
For convenience, we summarize all the constraints we have obtained for the general expression (24) of bulk geodesic length:
From Eqs. (31) and (43), we get
Since a is a varying quantity, y or \(y'=\beta _{H}\) must be a zero of \(g(y/\beta _{H},y'/\beta _{H})\) . Moreover, g must be symmetric for y and \(y'\). So, the function form must be
On the other hand, from Eqs. (41) and (27), one gets
It then easy to fix \(n=2\) and \(\kappa =1/2\) and
Similarly, from Eq. (31), we get
where m, \(\delta >0\) are some numbers. The story is not over yet. In order to match Eq. (40), there must be \(\sigma _{1}=\theta _{1}\). When applying Eq. (4) to calculate the metric, noting a limit \(\Delta x,\Delta y,\Delta t\rightarrow 0\) is going to be imposed after making the derivatives, it is easy to see that terms proportional to \(\left( \frac{\Delta y}{\beta _{H}}\right) ^{2}\) only contribute to \(g_{yy}\), but not to \(g_{xx}\) and \(g_{tt}\). So, looking at Eqs. (24), (47) and (48), without altering the fixed metric, equivalently, we are free to pack all the corrections into \(g(y,y')\) and simply set \(f(y,y')=1\). Finally, we substitute \(f(y,y')\) and \(g(y,y')\) into Eq. (24) to get the bulk geodesic length,
Using (4), we obtain the deformed BTZ metric,
Note the coordinate x and t here are the physical arguments of the \(T\bar{T}\) deformed CFT\(_{2}\). In contrast, in the Refs. [4, 5], the authors started with the standard BTZ metric, and then the boundary coordinates in their works are the physical arguments of the undeformed CFT. To have the deformed CFT living on a conformally flat boundary, from this deformed BTZ metric (50), there ought to be
So the boundary of the dual geometry is located at \(y^2_{c}=\frac{\pi c\mu }{6}+\cdots \), which is finite. Transforming the planar coordinate to the global one by \(y=R_{AdS}^{2}/r\), we get
which completely agrees with (2) as conjectured in Ref. [4]. One of the advantages of the deformed metric (50) is that it naturally indicates that the dual geometry is a finite region \(y_{c}\le y \le \beta _{H}\). For simplicity, we rewrite the metric by using Eq. (52) as
It is worth noting that, in a recent development of \(T\bar{T}\) deformed CFT [35], the authors obtained a remarkable all-orders result for the entanglement entropy in the Poincare disk at finite \(\mu \). That nonperturbative result might be of help to fix the identification in (51) nonperturbatively, and eliminate the higher order corrections in \((y/\beta )\) of the metric component \(g_{yy}\) in Eq. (53). The tricky part is that that nonperturbative result obtained in [35] from the field theory side is \(d S^\mu _{EE}/ d\left( \Delta x\right) \), but not the entanglement entropy itself. When we integrate it to obtain \(S_{EE}^{\mu }\left( \Delta x\right) \), the integration constant contains information about the holographic direction y and we must be very careful to explore its role. We wish to study this question in future work.
To study the propagation speed, let us consider the induced metric at some point \(y=y_{*}\):
where we define
The right and left propagation speeds of the wave are given by
Considering an observer sitting at \(y_{c}^{2}=\frac{\mu \pi c}{6}\) (or \(r_{c}^{2}=\frac{6R_{AdS}^{4}}{\pi c\mu }\)), when \(0<y_{*}^{2}< y_{c}^{2}=\frac{\mu \pi c}{6}+\cdots \), the speed is less than the speed of light (subluminal). When \(y_{*}^{2}>y_{c}^{2}=\frac{\mu \pi c}{6}+\cdots .\), the speed is superluminal, which again agrees with the results of \(T\bar{T}\) deformed CFT [4]. More discussions can be found in [36, 37].
As a further check, we compute the proper energy by using the deformed BTZ metric Eq. (50). Transforming the planar coordinate to the global one, setting \(R_{AdS}=1\) for simplicity, we then have
with
Since we already determined the boundary of the geometry at \(r_c\), when calculating the quasi-local gravitational energy, we should integrate along \(r=r_c\). Using \(\frac{3}{2Gc}=R_{AdS}=1\), the proper energy [38,39,40] is
where \(L=\int d\phi \sqrt{g_{\phi \phi }}\,|_{r=r_c}\) is the proper size on the boundary, and the non-vanishing components are
This energy completely agrees with the energy spectrum of \(T\bar{T}\) deformed CFT\(_2\), given in [4, 40].
3 The dual geometry of the highly excited states in CFT\(_{2}\)
For a highly excited state of CFT\(_{2}\),
where \(\triangle _{h}\sim \mathcal {O}\left( c\right) \) is the conformal dimension of a heavy primary operator \(\mathcal {O}_{h}\), usually it is very difficult to calculate the entanglement entropy. Using the replica trick, the entanglement entropy can be calculated by a four point function, which consists of two heavy operators exciting the states and two light twist operators. This four point function can be expanded in conformal blocks with OPE. The problem is that generically the closed form of the conformal blocks is unknown. However, it is believed that, in order to have a gravity dual, a CFT should have a large central charge and a sparse spectrum of light operators. Remarkably, for such CFTs, the conformal block expansion is well approximated by the identity block and the entanglement entropy of a finite size system is [23,24,25]
with \(\beta _{\Psi }=\left( \sqrt{\frac{12\triangle _{h}}{c}-1}\right) ^{-1}\). This entanglement entropy is identical to that of a finite temperature system with \(T=\beta _{\Psi }^{-1}\). As three dimensional gravity has no propagation, the excited states of the dual CFT\(_{2}\) only leads to local defects and global topologies in the bulk. This is why the entanglement entropies of finite size system, finite temperature system and their excited states take the same form, and their dual metrics are connected by simple transformations. It is then easy to understand that we really only need to consider a single representative of CFTs with distinct topologies.
So, we can safely use the same procedure which we have used in [21] to fix the leading behaviors of the dual geometries of CFT\(_2\) at finite temperature to get the geodesic length:
and the metric
Setting \(R_{AdS}=1\) for simplicity, the metric in globe coordinate system is
When \(\triangle _{h}<\frac{c}{12}\), \(\beta _{\Psi }\) is imaginary, it is a finite size system with rescaled length. The dual geometry describes a conical defect placed in the center of the global AdS. The defect is caused by the back-reaction of a massive particle. When \(\triangle _{h}>\frac{c}{12}\), the primary state \(\left| \psi _{h}\right\rangle \) approximates to a thermal state and the dual excited state in AdS is heavy enough to form a black hole. These conclusions are in consistent with the holographic calculations [24, 25].
4 Conclusion
In this paper, we fixed the leading behaviors of the deformed BTZ black hole metric from the entanglement entropy of \(T\bar{T}\) deformed CFT\(_{2}\). The metric shows explicitly that the dual region \(\frac{6R_{AdS}^{4}}{c\mu }\ge r^{2}\ge r_{H}^{2}\) is finite in the bulk. We used the deformed BTZ metric to calculate the propagation speed and energy spectrum. Both results match perfectly with those calculated in the \(T\bar{T}\) deformed CFT\(_{2}\), and no identification is necessary. We then showed how to get the dual geometry of highly excited states of CFT\(_{2}\). The metric describes a conical defect located in the center of the global AdS for \(\triangle _{h}<\frac{c}{12}\), or covers a BTZ black hole at temperature as .
Finally, we wish to clarify two significant reasons that why our derivations may look heavy:
-
1.
The advantages of our method is to also cover the time-like direction, i.e. the full spacetime metric, naturally. It is very difficult because we only know the information of the lower dimensional theories.
-
2.
Our purpose is not only to figure out the linear order but also the singularity and event horizon of BTZ spacetime. The behaviors of black hole’s singularity and event horizon can not be extracted by the leading term of the spacetime metric directly. This is why we use more results of entanglement entropies, and aim to fix more accurate leading behaviors of bulk geometries.
Moreover, in this paper, our aim is not to explain how bulk geometry is emerged from entanglement entropies, or to derive the bulk dynamics (Einstein’s equation) from the boundary theory, but only to show that the entanglement entropies of \(\mathrm {CFT}_{2}\) are enough to fix the leading behaviors of the bulk spacetime geometries.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The results of this paper are based on the theoretical derivation. We do not use any data in the calculations.]
References
A.B. Zamolodchikov, Expectation value of composite field T anti-T in two-dimensional quantum field theory (2014). arXiv:hep-th/0401146
A. Cavaglia, S. Negro, I.M. Szecsenyi, R. Tateo, \(T \bar{T}\)-deformed 2D quantum field theories. JHEP 1610, 112 (2016). https://doi.org/10.1007/JHEP10(2016)112. arXiv:1608.05534 [hep-th]
F.A. Smirno, A.B. Zamolodchikov, On space of integrable quantum field theories. Nucl. Phys. B 915, 363 (2017). https://doi.org/10.1016/j.nuclphysb.2016.12.014. arXiv:1608.05499 [hep-th]
L. McGough, M. Mezei, H. Verlinde, Moving the CFT into the bulk with \( T\overline{T} \). JHEP 1804, 010 (2018). https://doi.org/10.1007/JHEP04(2018)010. arXiv:1611.03470 [hep-th]
B. Chen, L. Chen, P.X. Hao, Entanglement entropy in \(T\overline{T}\)-Deformed CFT (2018). arXiv:1807.08293 [hep-th]
S. Ryu, T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT. Phys. Rev. Lett. 96, 181602 (2006). https://doi.org/10.1103/PhysRevLett.96.181602. arXiv:hep-th/0603001
W. Donnelly, V. Shyam, Entanglement entropy and \(T \overline{T}\) deformation. Phys. Rev. Lett. 121, 131602 (2018). https://doi.org/10.1103/PhysRevLett.121.131602. arXiv:1806.07444 [hep-th]
S. Dubovsky, R. Flauger, V. Gorbenko, Solving the simplest theory of quantum gravity. JHEP 1209, 133 (2012). https://doi.org/10.1007/JHEP09(2012)133. arXiv:1205.6805 [hep-th]
M. Caselle, D. Fioravanti, F. Gliozzi, R. Tateo, Quantisation of the effective string with TBA. JHEP 1307, 071 (2013). https://doi.org/10.1007/JHEP07(2013)071. arXiv:1305.1278 [hep-th]
A. Giveon, N. Itzhaki, D. Kutasov, A solvable irrelevant deformation of AdS\(_{3}\)/CFT\(_{2}\). JHEP 1712, 155 (2017). https://doi.org/10.1007/JHEP12(2017)155. arXiv:1707.05800 [hep-th]
A. Giveon, N. Itzhaki, D. Kutasov, \( \rm T\mathit{\overline{\rm T}} \) and LST. JHEP 1707, 122 (2017). https://doi.org/10.1007/JHEP07(2017)122. arXiv:1701.05576 [hep-th]
S. Chakraborty, A. Giveon, N. Itzhaki, D. Kutasov, Entanglement beyond AdS. Nucl. Phys. B 935, 290 (2018). https://doi.org/10.1016/j.nuclphysb.2018.08.011. arXiv:1805.06286 [hep-th]
V. Shyam, Background independent holographic dual to \(T\bar{T}\) deformed CFT with large central charge in 2 dimensions. JHEP 1710, 108 (2017). https://doi.org/10.1007/JHEP10(2017)108. arXiv:1707.08118 [hep-th]
M. Guica, An integrable Lorentz-breaking deformation of two-dimensional CFTs. Sci. Post Phys. 5, 048 (2018). https://doi.org/10.21468/SciPostPhys.5.5.048. arXiv:1710.08415 [hep-th]
G. Giribet, \(T\bar{T}\)-deformations, AdS/CFT and correlation functions. JHEP 1802, 114 (2018). https://doi.org/10.1007/JHEP02(2018)114. arXiv:1711.02716 [hep-th]
S. Dubovsky, V. Gorbenko, G. Hernndez-Chifflet, \( T\overline{T} \) partition function from topological gravity. JHEP 1809, 158 (2018). https://doi.org/10.1007/JHEP09(2018)158. arXiv:1805.07386 [hep-th]
W. Cottrell, A. Hashimoto, Comments on \(T \bar{T}\) double trace deformations and boundary conditions (2018). arXiv:1801.09708 [hep-th]
G. Bonelli, N. Doroud, M. Zhu, \(T \bar{T}\)-deformations in closed form. JHEP 1806, 149 (2018). https://doi.org/10.1007/JHEP06(2018)149. arXiv:1804.10967 [hep-th]
A. Akhavan, M. Alishahiha, A. Naseh, H. Zolfi, Complexity and behind the horizon cut off (2018). arXiv:1810.12015 [hep-th]
P. Wang, H. Wu, H. Yang, AdS\(_3\) metric from UV/IR entanglement entropies of CFT\(_2\) (2017). arXiv:1710.08448 [hep-th]
P. Wang, H. Wu, H. Yang, Derive three dimensional geometries from entanglement entropies of CFT\(_2\) (2018). arXiv:1809.01355 [hep-th]
J. Synge, Relativity: The general theory (North-Holland, Amsterdam, 1960)
A.L. Fitzpatrick, J. Kaplan, M.T. Walters, Universality of long-distance AdS physics from the CFT bootstrap. JHEP 1408, 145 (2014). https://doi.org/10.1007/JHEP08(2014)145. arXiv:1403.6829 [hep-th]
C.T. Asplund, A. Bernamonti, F. Galli, T. Hartman, Holographic entanglement entropy from 2d CFT: heavy states and local quenches. JHEP 1502, 171 (2015). https://doi.org/10.1007/JHEP02(2015)171. arXiv:1410.1392 [hep-th]
P. Caputa, J. Simón, A. Štikonas, T. Takayanagi, Quantum entanglement of localized excited states at finite temperature. JHEP 1501, 102 (2015). https://doi.org/10.1007/JHEP01(2015)102. arXiv:1410.2287 [hep-th]
B. Czech, L. Lamprou, S. McCandlish, J. Sully, Integral geometry and holography. JHEP 10, 175 (2015). https://doi.org/10.1007/JHEP10(2015)175. arXiv:1505.05515 [hep-th]
B. Czech, L. Lamprou, S. McCandlish, B. Mosk, J. Sully, A stereoscopic look into the bulk. JHEP 07, 129 (2016). https://doi.org/10.1007/JHEP07(2016)129. arXiv:1604.03110 [hep-th]
J. de Boer, F.M. Haehl, M.P. Heller, R.C. Myers, Entanglement, holography and causal diamonds. JHEP 08, 162 (2016). https://doi.org/10.1007/JHEP08(2016)162. arXiv:1606.03307 [hep-th]
T. Takayanagi, Holographic dual of BCFT. Phys. Rev. Lett. 107, 101602 (2011). https://doi.org/10.1103/PhysRevLett.107.101602. arXiv:1105.5165 [hep-th]
J. Sully, M. Van Raamsdonk, D. Wakeham, BCFT entanglement entropy at large central charge and the black hole interior (2020). arXiv:2004.13088 [hep-th]
P. Calabrese, J.L. Cardy, Entanglement entropy and quantum field theory. J. Stat. Mech. 0406, P06002 (2004). https://doi.org/10.1088/1742-5468/2004/06/P06002. arXiv:hep-th/0405152
P. Calabrese, J. Cardy, Entanglement entropy and conformal field theory. J. Phys. A 42, 504005 (2009). https://doi.org/10.1088/1751-8113/42/50/504005. arXiv:0905.4013 [cond-mat.stat-mech]
M. Rangamani, T. Takayanagi, Lect. Notes Phys. 931, 1–246 (2017). https://doi.org/10.1007/978-3-319-52573-0. arXiv:1609.01287 [hep-th]
K. Umemoto, T. Takayanagi, Entanglement of purification through holographic duality. Nat. Phys. 14(6), 573 (2018). https://doi.org/10.1038/s41567-018-0075-2. arXiv:1708.09393 [hep-th]
A. Lewkowycz, J. Liu, E. Silverstein, G. Torroba, \( T\overline{T} \) and EE, with implications for (A)dS subregion encodings. JHEP 04, 152 (2020). https://doi.org/10.1007/JHEP04(2020)152. arXiv:1909.13808 [hep-th]
D. Brattan, J. Camps, R. Loganayagam, M. Rangamani, CFT dual of the AdS Dirichlet problem: fluid/gravity on cut-off surfaces. JHEP 1112, 090 (2011). https://doi.org/10.1007/JHEP12(2011)090. arXiv:1106.2577 [hep-th]
D. Marolf, M. Rangamani, Causality and the AdS Dirichlet problem. JHEP 1204, 035 (2012). https://doi.org/10.1007/JHEP04(2012)035. arXiv:1201.1233 [hep-th]
J.D. Brown, J.W. York, Jr., Quasilocal energy and conserved charges derived from the gravitational action. Phys. Rev. D 47, 1407 (1993). https://doi.org/10.1103/PhysRevD.47.1407. arXiv:gr-qc/9209012
V. Balasubramanian, P. Kraus, A stress tensor for anti-de sitter gravity. Commun. Math. Phys. 208, 413 (1999). https://doi.org/10.1007/s002200050764. arXiv:hep-th/9902121
P. Kraus, J. Liu, D. Marolf, Cutoff AdS\(_{3}\) versus the \( T\overline{T} \) deformation,” JHEP 1807, 027 (2018). https://doi.org/10.1007/JHEP07(2018)027. arXiv:1801.02714 [hep-th]
Acknowledgements
We are deeply indebt to Bo Ning for many illuminating discussions and suggestions. We are also very grateful to Qingyu Gan, Sung-Soo Kim, Zhao-Long Wang and Shuxuan Ying for very helpful discussions and suggestions. This work is supported in part by the NSFC (Grant No. 11875196, 11375121 and 11005016).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Wang, P., Wu, H. & Yang, H. Fix the dual geometries of \(T\bar{T}\) deformed CFT\(_2\) and highly excited states of CFT\(_2\). Eur. Phys. J. C 80, 1117 (2020). https://doi.org/10.1140/epjc/s10052-020-08680-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08680-7