Abstract
There appears a universal logarithmic term of entanglement entropy, i.e., −a(Ω) log(H/δ), for 3d CFTs when the entangling surface has a sharp corner. a(Ω) is a function of the corner opening angle and behaves as a(
2 and a(Ω → 0) ≃ κ/Ω, respectively. Recently, it is conjectured that σ/CT = π 2 /24, where CT is central charge in the stress tensor correlator, is universal for general CFTs in three dimensions. In this paper, by applying the general higher curvature gravity, we give a holographic proof of this conjecture. We also clarify some interesting problems. Firstly, we find that, in contrast to σ/CT , κ/CT is not universal. Secondly, the lower bound aE(Ω)/CT associated to Einstein gravity can be violated by higher curvature gravity. Last but not least, we find that there are similar universal laws for CFTs in higher dimensions. We give some holographic tests of these new conjectures. *
Introduction
The entanglement entropy (EE) of 3d CFTs takes the form S = B H/δ − a(Ω) log(H/δ) + O(1)
where δ is a short-distance cutoff, B is a constant and H denotes the size of the entangling surface. The first term of eq. (1) is the 'area law' contribution to EE and the second logarithmic term appears only if the entangling surface has a sharp corner. For pure state, we have a(Ω) = a(2π − Ω) due to the fact S(V ) = S(V ). Besides, strong subadditivity and Lorentz invariance impose
a(Ω) characterizes the CFTs and behaves as
in the smooth and singular limits, respectively. Recently, it is conjectured that
is a universal law for all CFTs in three dimensions [1] . Here C T is the central charge defined in the vacuum two-point function
with I µν,λρ a dimensionless tensor fixed by symmetry. This conjecture has been tested in [1, 2] by studying some higher curvature holographic models, free scalars and fermions, and Wilson-Fisher fixed points of the O(N ) models with N = 1, 2, 3 for π 2 corners. For recent developments, please refer to [3, 4] . Let us briefly review the holographic models studied in [1, 2] . Consider the following action
where X 4 = R µνρσ R µνρσ − 4R µνρ R µν + R 2 is the 4d Euler density. Since we are interested of the vacuum of the CFTs, we require the holographic model (6) has a pure AdS 4 solution. This imposes one constraint on the parameters λ. Ignoring the total derivatives and K a K a , [1, 2] find that the holographic entanglement entropy of the model (6) is equivalent to that of Einstein gravity
up to a overall factor α = 1 − 24λ 1 − 6λ 2 + 432λ 3,0 + 24λ 1,1 − 6912λ 4,0 − 576λ 2,1 + O(λ 2 ).
As a result, we have a(Ω) = αa E (Ω) where a E denotes the function for Einstein gravity. Now let us discuss the central charge C T eq. (5) . There is a standard holographic calculation of C T for Einstein gravity and one finds
whereL is the radius of AdS 4 . The situation is a little more complicated for higher curvature gravity. That is because, in addition to the usual massless spin-two gravition, massive modes and ghost modes with M ∼ 1/(λL 2 ) also appear in higher curvature gravity. To suppress these modes, it is natural to work in the perturbative framework with λ ≪ 1. Consider the metric fluctuations in the AdS 4 background together with the gauge∇ µ h µν = 0 and g µν h µν = 0, we can derive the linearized Einstein equations as
Similarly, we can derive the linearized E.O.M for the holographic model (6)
Clearly, the second term of the above equation is suppressed near the physical pole, i.e. [¯ +
2
L 2 ]h µν ∼ 0. Comparing eq.(11) with eq.(10), we notice that the effective Newton constant of the holographic model (6) is G ef f = G/α. From eq.(9), we get C T = αC T,E . Recall that we have a(Ω) = αa E (Ω) from eq. (7) . We finally obtain
which agrees with the conjecture (4). Let us comment on the above holographic results of [1, 2] . Firstly, the holographic model (6) is a combination of Einstein gravity, curvature-squared gravity and f (Lovelock) gravity. Although it looks quite general, it is actually very special. As we know, in general, the extremal entropy surface of higher curvature gravity is no longer a minimal area surface. However, the bulk entangling surface of model (6) is still a minimal area surface. As a result, we have not only σ/C T (4) but also a(Ω)/C T (12) universal. This is, however, not the case for free scalars and fermions. Thus, it is necessary to study more general higher curvature gravity models.
Secondly, [1, 2] have used the entropy formula proposed in [5] for f (Lovelock) gravity. This entropy formula obeys the second law of thermodynamics for linearized perturbations of Killing horizons. However, it conflicts with the entropy formula proposed by [6] at order K 4 (K is the extrinsic curvature). Note that the entropy formula of [6] also satisfies the linearized second law of theormodynamics [7] . Thus, it is necessary to check whether the holographic results of [1, 2] change if one use the entropy formula of [6] instead of [5] .
We fill the above gaps in this paper. By studying the most general higher curvature gravity, we give a holographic proof of the conjecture (4) [1] . It seems impossible to find such a holographic proof because of the current limitations in understanding the holographic entanglement entropy for higher curvature gravity. Let us summarize the difficulties below.
Firstly, although there are some important progresses [6, 8, 9] , due to the 'splitting problem' [10, 11] , the exact entropy formula for higher curvature gravity is still unknown.
Secondly, we do not know where the entangling surface is located for higher curvature gravity. In other words, we do not know on which surface to apply the entropy formula. There are two methods to determine the location of the entangling surface in the bulk. The first one is the so-called 'boundary condition method': one require that equations of motion are regular on the entangling surface [12] . This method can yield the correct entangling surfaces for Einstein gravity and Lovelock gravity [6, 12, 13] . However, so far it is not clear whether this approach can give reasonable results for general higher curvature gravity. The second method is the so-called 'cosmic brane method'. One takes the variation of the entropy functional and identifies the entangling surface with the extremal entropy surface. However, there are more than one extremal entropy surfaces in higher curvature gravity. One need extra conditions to fix the arbitrariness [14] .
Thirdly, there are infinite parameters in general higher curvature gravity. If we study them case by case, then it is impossible to give a general proof.
Our resolutions to the above difficulties are as follows. Let us discuss them one by one. Firstly, we do not need the exact entropy formula of higher curvature gravity for the proof of the conjecture (4). Take into account the 'splitting problem', the correct entropy formula in AdS 4 differs from the one proposed in [6] by some higher extrinsic curvature terms K 2m with m ≥ 2. It turns out that these higher extrinsic curvature terms do not affect either σ or C T . Secondly, as argued in [1, 2] , it is natural to work in the perturbative framework in order to suppress the massive modes and ghost modes. In the perturbative framework, the extremal entropy surface is unique and well-defined. It is sightly deformed away from the minimal surface and can yield correct universal terms of EE for evendimensional CFTs. Thirdly, we use the 'background field approach' developed for the holographic Weyl anomaly and entanglement entropy [15] . We expand the action around a background curvature. It turns out that only the first few terms in the expansions contribute to the universal terms of entanglement entropy. Thus, we only need to deal with finite rather than infinite terms.
In addition to the holographic proof of the conjecture (4) [1] , we also clarify some interesting problems discussed in [1, 2] . Firstly, we find that, in contrast to σ/C T , κ/C T is not a universal ratio. In other words, the behaviour of logarithmic terms of EE is not universal in the singular limit. Secondly, we notice that the lower bound a E (Ω)/C T associated to Einstein gravity can be violated by general higher curvature gravity.
By studying the holographic models, we find that there are similar universal laws for CFTs in higher dimensions. For simplicity, we focus on the singularities from the higher-dimensional cones. The corresponding bulk metric takes the form
where dΩ 
Based on holographic results, we conjecture that
are universal ratios for general CFTs. Here C T are the central charges defined in eq. (5), 'E' denotes Einstein gravity and c d are universal constants which only depend on the dimensions. The paper is organized as follows. In Sect.2, we study the central charge C T for CFTs dual to general higher curvature gravity. In Sect.3, we briefly review the holographic entanglement entropy and derive a formal entropy formula for general higher curvature gravity in AdS. In Sect.4, we give a holographic proof of the conjecture of [1] . In Sect.5, we find similar univeral laws for CFTs in higher dimensions. Finally, we conclude in Sect.6.
Note added: While we were finishing this paper, the work [16] appeared in arXiv and it seems to have some overlaps in the universal ratios for CFTs in higher dimensions. It should be mentioned that [1, 2] have also anticipated the generalizations of the universal ratios to higher dimensions. Later they derive a nice formula of the universal ratios in general dimensions in [17] .
The holographic central charges
In this section, we discuss the central charge C T for CFTs dual to general higher derivative gravity f (R µνσρ ). We obtain a very simple expression for C T and find that C T is the coefficient of the Weylsquared term in the Weyl anomaly. For examples, C T is the 'c' charge relevant to the C 2 term in the 4d Weyl anomaly
And C T is the 'B 3 ' charge relevant to the C C term in the 6d Weyl anomaly
where I 3 ∼ C ijkl C ijkl + .... We use the 'background field approach' introduced in [15] . This method together with [18, 19] are very useful tools to derive the holographic Weyl anomaly and universal terms of EE [11, 15] . Firstly, we define a 'background-curvature' (we set the AdS radiusH = 1 below) (18) and denote the difference between the curvature and the 'background-curvature' bȳ
Then we expand the action around this 'background-curvature' and get [15] 
where f 0 = f (R µνσρ ) = f (R µνσρ )| AdS is the Lagrangian for pure AdS, c n i are some constants determined by the action. We require that the higher derivative gravity has an asymptotic AdS solution. This would impose a condition c [15] . Using this condition, we can rewrite the action (20) as
Following [1, 2] , we consider small metric fluctuations in the AdS background. Imposing the transverse traceless gauge∇ µ h µν = 0 and g µν h µν = 0, we can derive the linearized equations of motion for higher curvature gravity (21) as
2 + 4c
where α d is given by
1 .
Remarkably, α d only depends on two parameters of the general higher curvature gravity (20) . Note that the second term of eq. (22) (10), we find that the effective Newton constant of the general higher curvature gravity (20) is G ef f = G/α d . Note that the central charge C T,E for CFTs dual to Einstein gravity is
Thus we get
Let us comment the above results. Firstly, with the help of the expansions (22) we get a very simple and general expression of α d (23) for higher curvature gravity. It agrees with eq.(8) for the holographic model (6) . It is much simpler and thus enables us to discuss the higher curvature gravity generally rather than to study them case by case.
Secondly, thanks to the simplicity of α d (23), the physical meaning of C T (25) becomes clear. It is the central charge related to the Weyl-squared term in the Weyl anomaly. For example, C T is proportional to the c charge in the 4d Weyl anomaly
Here c = π
1 ) ∼ C T [15] . As another example, C T is proportional to the B 3 charge in the 6d Weyl anomaly
where
terms in the action (21) do not affect the linearized E.O.M. As a result, α d and thus C T are independent of such terms. To prove the conjecture σ/C T = π 2 /24 for 3d CFTs, we need to prove that the entropy from the O(R 3 ) terms does not contribute to σ.
The holographic entanglement entropy
In this section, we derive a formal entropy formula for the general higher curvature gravity. We utilize this formula to prove the conjecture eq.(4) in the next section. Now let us briefly review the derivations of the holographic entanglement entropy for higher curvature gravity [6] . We start with the regularized conical metric in a coordinate system adapted to a neighborhood of the conical singularity [6] :
Here x a ∈ {z,z} denotes orthogonal directions to the conical singularity, and y i denotes parallel directions. The regularized warp factor is
Using the replica trick, one can derive the entropy as
where I reg is the gravitational action got from the regularized metric (28). There are two kinds of terms relevant to the entropy. The first kind is
It contributes to Wald entropy. The second kind is
This is the would-be logarithmic term and it contributes to the anomaly-like entropy [6] . Applying eqs.(30,31,32), one can derive the holographic entanglement entropy (HEE) for general higher curvature gravity f (R µνσρ ) [6] 
Here β come from the formula (32), and (
) β are the coefficients in the expansions
[6] proposes to regularize Q zzij as e 2A Q zzij . Later it is found that this ansatz yields inconsistent results for the universal terms of EE for 6d CFTs [11] . To resolve this inconsistency, [11] proposes the following regularizations
How to split M into M 0 and M 1 (M denotes T and Q) is the so-called the splitting problem. It appears because one cannot distinguish r 2 and r 2n in the expansions of the conical metric. It is expected that the splitting problem can be fixed by using E.O.M. This is indeed the case for Einstein gravity [10, 11] . However, it is a highly non-trivial problem to fix the splittings for general higher curvature gravity. Without resolution to this problem, we cannot apply the formula (33) to derive the entropy.
To be consistent with Wald entropy on entangling surface with rotational symmetry, T 0 and Q 0 must be functions of the extrinsic curvatures, i.e., T 0 ∼ K 2 and Q 0 ∼ K 2 [10, 11] (This is indeed the case for the splittings obtained from Einstein equations.) As a result, the correct entropy may differ from the original one proposed by [6] by some O(K 4 ) terms. It turns out that these O(K 4 ) terms do not contribute to the universal terms of EE for 4d CFTs on smooth entangling surfaces [15] . Although the story is a little different for universal terms of EE on singular entangling surfaces, the O(K 4 ) terms are still less important if we focus on the near smooth region. As we shall prove in the next section, the coefficient σ defined in the smooth limit eq.(3) is indeed independent of these O(K 4 ) terms.
Take into account the splittings, the Riemann tensors near the the conical singularity z → 0 take the form
where P are the numbers of (z,z) appearing in (µνσρ), (K 2 ) µνσρ denotes some extrinsic curvature squared terms, R µνσρ | A=0 are the Riemann tensors without regularization. If we allow more general splittings for the conical metrics, i.e., we expand T, U, Q of (28) in infinite powers of e −2A . Then the Riemann tensors (36) can be generalized as
For pure AdS, it can be further simplifed as
Now we are ready to derive the entropy for general higher curvature gravity (21) . For pure AdS, using eqs.(33,38), we obtain
where (K 2m ) denote all the possible higher extrinsic curvature terms of order O(K 2m ) and λ m are some constants related the higher curvature gravity. Note that eq.(39) works in the Euclidean signature, which differs from its Lorentzian form by a minus sign.
A holographic proof of the conjecture
In this section, we firstly briefly review the corner contributions to holographic entanglement entropy for Einstein gravity, and then give a holographic proof of the conjecture eq.(4). We focus on pure AdS 4 and work in the perturbative framework for higher curvature gravity.
Einstein gravity
In this subsection, we review the corner contributions to holographic entanglement entropy for Einstein gravity [20, 2] . Let us start with the Euclidean AdS 4 in Poincare coordinates
whereL is the radius of AdS 4 and we set it to 1 below. The holographic entanglement entropy for Einstein gravity is given by [21, 22] 
where Σ is the bulk minimal surface which is homologous to the entangling surface on the boundary. Let us take t E = 0, θ ∈ [−Ω/2, Ω/2] to denote the entangling surface on the boundary. It has a sharp corner for Ω = π. The bulk minimal surface can be parametrized as z = z(ρ, θ). Take into account the scaling symmetry of AdS, we can simplify the ansatz to z = ρh(θ). With this ansatz, the entanglement entropy (41) becomes
where H is the size of the entangling surface on the boundary, δ is the cutoff for z, h 0 = h(0) and the angular cut-off ǫ is defined at z = δ, i.e., ρ h(Ω/2 − ǫ) = δ. Note that there is no explicit θ dependence in eq.(42), thus the corresponding 'Hamiltonian' is a conserved quantity. We get
where we have used h ′ 0 = 0 from symmetry. Using eq.(43), we can rewrite eq.(42) as
with y = 1/h 2 − 1/h 2 0 . Let us focus on the universal logarithmic divergence of EE. From eq.(44), it is easy to observe that the logarithmic divergence comes from the integral dρ. To get the coefficient of the logarithmic divergence, we need to extract the finite part from the integral dy. Take into account the boundary behaves (y → ∞)
we can derive the logarithmic divergence of EE as
where a(Ω) is given by
And the opening angle Ω can be obtained from
For small opening angle (Ω → 0), we find
For the near-smooth case (Ω → π), we have
From the above equations, we get
which agrees with the conjecture (4). In addition to eq.(53), we also have
which seems to be another universal law from the holographic study of [2] . However, as we shall show in the next section, this is not the case for general higher curvature gravity.
General higher curvature gravity
In this subsection, we investigate the corner contribution to EE for CFTs dual to higher curvature gravity. Let us start with the holographic entanglement entropy for the general higher curvature gravity f (R µνσρ ) in AdS 4 (39)
where Σ denotes the extremal entropy surface, f 0 , c
2 , λ m are the parameters of the higher curvature gravity, and (K 2m ) denote all the possible higher extrinsic curvature terms of order O(K 2m ). Note that eq.(55) works in the Lorentzian signature which differs from its Euclidean expression (39) by a minus sign. Following [1, 2] , we work in the perturbative framework with (c
2 , λ m ≪ 1) in order to suppress the massive modes and ghost modes in higher gravity gravity.
Let us firstly discuss the squared extrinsic curvature terms O(K 2 ) in eq.(55). Because trK = 0 on the extremal area surface, the minimal surface will also extremize the entropy functional √ γ(trK)
2n
(n ≥ 1). Thus, we can drop such terms in eq.(55) in the perturbative framework. Using the GaussCodazzi equations in AdS 4 , we can rewrite √ γT rK 2 as
where R is the intrinsic curvature, and we have dropped (trK) 2 and a total derivative √ γR in the above equation. Take into account eq.(56) and (trK) 2 ∼ 0, eq.(55) becomes
Let us go on to study the higher extrinsic curvature terms O(K 2m ) with m ≥ 2. Since λ m ≪ 1, we focus on the leading order of λ m below. It turns out that, at order O(λ m ), all the possible terms of (K 2m ) are either zero or equivalent to T rK 2m up to some overall factor. Note that there are only two eigenvalues k ± for the extrinsic curvature K i j in AdS 4 . Then, similar to (T rK = k + + k − = 0), the trace of odd powers of the extrinsic curvature
vanishes on extremal area surfaces. As a result, we can drop all the terms including the trace of odd powers of the extrinsic curvature. That is because there are at leat two 'odd-trace' terms in (K 2m ), and similar to (T rK) 2 , such terms neither change the action or E.O.M at the leading order of O(λ m ). Now let us discuss the terms including only the trace of even powers of the extrinsic curvature, i.e., For the action, we have
For E.O.M, it is equivalently to consider the variation of the action
Now it is clear that n i=1 T rK 2mi and 2 n−1 T rK 2m yield the same action and E.O.M at the first order of O(λ m ). Thus, we can label all the possible terms of (K 2m ) by one term T rK 2m . Then the entropy eq.(57) becomes
where we have rescaled λ m = (− 
Recall that
1 )C T,E eq.(25) for general higher curvature gravity, we get
Thus, to prove the conjecture (4), we need and only need to prove that the higher extrinsic curvature terms T rK 2m do not contribute to σ. To proceed, let us derive the exact expression of the entropy eq.(61)
Similar to the case of Einstein gravity, there is no explicit θ dependence in eq.(64). Thus we can derive a first integral
where
] is a very complicated function given by eq.(127) in the appendix. Let us solve eq.(65) perturbatively. After some algebra, we get
Using eq.(66), we can express the opening angle Ω in the function of h 0
where Ω E (h 0 ) is the function eq.(48) for Einstein gravity, and it behaves as Ω E (h 0 ) ∼ π − π h0 for large h 0 . In the smooth limit h 0 → ∞, we can derive Ω m as
where we have substituted y = 1/h 2 − 1/h 2 0 . And ω m are some finite numbers given by 
where a E ∼ 1/h 2 0 is given by eq.(47), and a m (h 0 ) can be derived as
in the smooth limit h 0 → ∞. Hereā m are some finite numbers: 
Similar to Ω m (69), a K,m ∼ 1/h 2m 0 (m ≥ 2) are subleading terms. Thus, the higher extrinsic curvature terms can be ignored if we focus on the leading terms of Ω(h 0 ) and a(h 0 ). It should be mentioned that the equivalence between √ γT rK 2 and −2 √ γ impliesā 1 = 1, which is consistent with eq.(73). As another check of our results, we have calculated Ω(h 0 ) and a(h 0 ) numerically and got perfect agreements with the exact results eqs.(68-73) for large h 0 . Now we are ready to derive σ for the general higher curvature gravity. Recall that σ is defined by a(Ω) in the smooth limit:
From eqs.(68,69,71,72), we get
Thus we have
at least up to order O(λ m ). Recall that the central charge is given by
We obtain
Now we finish the proof of the conjecture (4).
One may wonder what happens if we take into account the higher orders terms O(λ m ) n in our perturbative approach. It turns out that these higher order terms decrease quickly as 
where we have subtracted the divergent parts in L. To see why L ∼ 1 h0 , it is helpful to note that
In the appendix, we calculate the O(λ m ) 2 terms exactly and find that they indeed obey the power law eqs.(79,80). We have also checked some O(λ m ) 3 terms, which satisfy the power law eqs.(79,80) too. Thus, similar to the smooth case, the higher extrinsic curvature terms (K 2m ) with m ≥ 2 can be ignored in the smooth limit. σ is irrelevant with these terms to arbitrary order O(λ n m ). To sum up, we give a holographic proof of the conjecture (4) for the CFTs dual to the general higher curvature gravity. We work in the perturbative framework with λ m ≪ 1 in order to suppress the massive modes and to have a well-defined extremal entropy surface for higher curvature gravity.
Discussions
In this subsection, we discuss some interesting questions raised by [1, 2] . Firstly, we show that the lower bound a E (Ω)/C T associated to Einstein gravity can be violated by higher curvature gravity. Secondly, we find that, in contrast to σ/C T , κ/C T is not universal. In general, κ depends on infinite parameters of the higher curvature gravity. Thus, it is not a good candidate for the central charge. Let us discuss the above two problems one by one below.
For the first problem, we set λ m = 0 with m ≥ 3 for simplicity. This means that we focus on the higher curvature gravity including at most the cubic curvature terms. Using eqs. (68-73) , we obtain
Now it is clear that
CT with positiveλ 2 = λ 2 /α 3 is smaller than
CT,E near Ω ∼ π 1 . Thus, the lower bound a E (Ω)/C T associated to Einstein gravity can indeed be violated by higher curvature gravity. Now let us go on to discuss the second problem. Recall that κ is defined in the small angle limit of a(Ω):
Following the approach of last subsection, we can express the opening angle Ω as eq.(68)
with Ω m (h 0 → 0) given by 
Here we have substituted r 0 = 1/h 0 andω m are some finite numbers given bŷ 
Remarkably, all the higher curvature terms contribute to the leading term of Ω in the singular limit. Similarly, we can derive a(h 0 ) as eq. (71) a(h 0 ) = (− f 0 6 + 4c 
1 We notice thatλ 2 is proportional to t 4 , which is the parameter of three point functions for the stress tensor. We have a constraint −4 ≤ t 4 ≤ 4 from the positivity of energy [25] . Thus,λ 2 ∼ t 4 can indeed be positive.
+O(
where r 0 = 1/h 0 andâ m are some finite numbers: 
Thus, κ depends on all the parameters of the higher curvature gravity. As a result, κ/C T is not a universal ratio:
The holographic models studied by [1, 2] imply that κ/C T seems to be a universal ratio. However, as we have shown here, this is not the case for general holographic models. Our results explain the field theoretical mismatch of the ratio κ/C T between free scalar (4.17945) and free fermion (3.8005) [2] .
Eq.(94) shows that κ CT crucially depends on the parameters of the holographic models, or equivalently, the details of CFTs. Thus, there is no reason to expect κ CT to be the same for scalars and fermions.
New conjectures for CFTs in higher dimensions
In this section, we investigate the universal contributions to EE from high-dimensional cones. On the gravity side, we focus on the following AdS metric
where θ ∈ [0, Ω] with Ω ≤ π and dΩ 2 d−3 is the metric of unit (d − 3)-sphere. According to [23, 24] , the universal terms of EE are logarithmic terms −a d (Ω) log(H/δ) and squared logarithmic terms −a d (Ω) log 2 (H/δ) in odd dimensions and even dimensions, respectively. Similar to the 3d CFTs, we have a d (Ω) = a d (π − Ω) and the following asymptotic behaviors
By studying the holographic models, we find that
is a universal ratio. Here C T are the central charges defined in the two point function eq. (5) and E denotes Einstein gravity.
CFTs in even dimensions

4d CFTs
In this subsection, we study the universal terms of EE from sharp corners for 4d CFTs. For simplicity, we firstly consider gravity theories with at most squared curvatures and then generalize our discussions to general higher curvature gravity.
From eq.(39), we get the entropy for curvature-squared gravity as
As argued in [1, 2] , we can drop (trK) 2 near the minimal surface. Take into account the scaling symmetry of AdS, we can parameterize the extremal entropy surface as z = ρ h(θ). Now the entropy functional becomes
where k ± , k 0 are the eigenvalues of the extrinsic curvature K i j :
Now let us consider the case d = 4. Firstly, we derive E.O.M of h(θ) from the entropy functional (99). Then we change the variable y = sin(θ) = y(h). Finally, we solve E.O.M of y(h) perturbatively. After some tedious calculations, we obtain
where y 0 is a constant that can be fixed by using the fact that y(h) has an extrema at h = h 0 . Remarkably, the solution (103) is independent of the parameter c 
According to [23] , the universal squared logarithmic term can only come from the (1/h) term in the integrand (104). Substituting eq.(104) into entropy functional (99), we get the universal term of EE as
Now let us generalize our above discussions to general higher curvature gravity. It turns out that the general holographic models give the same result as eq.(105). The reasons are as follows. Near the boundary h → 0, the asymptotic solution y(h) takes the form
Thus, we have h
′ ∼ 1/h and h ′′ ∼ 1/h into the eigenvalues of the extrinsic curvature (100), we find that
Thus, the entropy functional for higher extrinsic curvature terms (K 2m ) behaves
where '...' denotes higher order terms. Now it is clear only the terms (K 2m ) with m ≤ (d − 2)/2 contribute to the squared logarithmic terms. That is because only the 1/h terms in the integrand are related to the universal term of EE [23] . For d = 4, we get m ≤ 1. Thus, besides T rK 2 , there is no need to consider other higher extrinsic curvature terms for 4d CFTs.
Using eq.(105) together with
1 )C T,E for d = 4, we find that
is a universal ratio for all the CFTs dual to higher curvature gravity. Note that we have not only σ 4 /C T but also a 4 (Ω)/C T universal for 4d CFTs.
6d CFTs
Now let us study the universal terms of EE from sharp corners for 6d CFTs. As discussed below eq. (108), to derive a 6 (Ω), we only need to consider three extrinsic curvature terms, i.e., T rK 2 , T rK 
For simplicity, we have set − 
Let us go on to discuss the effects from T rK 4 and (trK 2 ) 2 . From the experience of 3d and 4d CFTs, it is expected that T rK 4 and (trK 2 ) 2 do not change σ 6 . Instead, they only modify the subleading terms of a 6 (Ω) in the smooth limit Ω → π/2. As we shall show below, this is indeed the case. Adding λ 2(1) trK 4 + λ 2(2) (trK 2 ) 2 to the the entropy functional (98) and following the above approach, we find that trK 4 and (trK 2 ) 2 only modify a 6 (Ω) at the subleading order
Thus, the coefficient of (Ω − π 2 ) 2 , i.e., σ 6 (112), remains the same. Now from eq.(112) and C T = (1 − 8λ)C T,E , it is clear that
is indeed a universal ratio for the CFTs dual to general higher curvature gravity.
CFTs in odd dimensions
Now let us study the universal term of EE from sharp corners for CFTs in odd dimensions. In contrast to 3d and even-dimensional cases, it is difficult to derive the exact formula of σ d for odd-dimensional CFTs. We leave the discussions of odd-dimensional CFTs to future work. Below we proceed as far as we can. For simplicity, we take 5d CFTs as an example. Let us start with the entropy functional (39) with d = 5, −f 0 /10 = 1 and λ = −2c
1 .
where
with k given by eq.(100), and (K 2m ) denote all the possible higher extrinsic curvature terms. Following the approach of sect.5.1.1, we can derive the asymptotic solution
Remarkably, the higher extrinsic curvature terms (K 2m ) with m ≥ 2 do not affect the asymptotic solution up to order O(h 4 ). That is because (K 2m ) ∼ h 2m are subleading terms near the boundary. This is a sign that these higher extrinsic curvature terms are irrelevant to σ 5 .
Substituting the above solution into the integrand of the entropy functional (123), we find sin 2 (θ)
To derive the universal term of EE −a 5 (Ω) log(H/δ), we need to extract the finite part of the above integrand. We obtain
Unlike the 3d case, it is difficult to derive an analytical solution of h(θ) and thus a 5 due to the appearance of sin(θ) in the entropy functional (123). We leave the careful numerical study of this problem to future work [26] .
Conclusions
By applying the general higher curvature gravity, we give a holographic proof of the conjecture [1] for 3d CFTs. We find that, similar to the smooth case, the cubic and higher terms in the expansions of the action (20) around the 'background-curvature' are less important, i.e., they do not change either σ or C T . Besides, we have clarified some interesting problems. Firstly, we find that, unlike σ/C T , κ/C T is not a universal ratio. On the contrary, it crucially depends on the details of the CFTs. Secondly, we find that the lower bound a E (Ω)/C T associated to Einstein gravity can be violated by higher curvature gravity. Last but not least, we find that there are similar universal laws in the smooth limit for CFTs in higher dimensions. We give a holographic proof of the universal laws for 4d and 6d CFTs which are dual to the general higher curvature gravity and check the higher even-dimensional cases by studying curvature-squared gravity. As for the odd-dimensional CFTs (d > 3), it is difficult to derive the analytical results. However there are hints that the higher extrinsic curvature terms do not affect σ. Therefore it is expected that, similar to the 3d CFTs, σ d /C T,d are also universal ratios for the CFTs in higher odd-dimensional space-times. We leave the careful numerical study of this problem to future work [26] . Based on the holographic results, we can trust these new conjectures in higher dimensions at least for strongly coupled CFTs. It is interesting to test whether these universal laws are obeyed by weakly coupled CFTs. It is also interesting to find a field theoretical proof of these universal ratios. Finally, we want to mention that, for simplicity, we focus on the CFTs dual to the general higher curvature gravity f (R ijkl ) in this paper. It is expected that our discussions can be naturally generalized to the cases of most general higher derivative gravity f (R ijkl , ∇ m R ijkl , ...). Now work is in progress in this direction.
A Some formula T rK 2mi ≥ trK 2m , with 

{'paper_id': '13049278', 'title': 'A holographic proof of the universality of corner entanglement for CFTs', 's2_url': 'https://api.semanticscholar.org/CorpusID:13049278', 'source': 'S2ORC'}