REVIEW
On generalized gravitational entropy, squashed cones and holography
High Energy Physics - Theory · Submitted 27 Aug 2013 · 40 references
Pith's verdict: A careful technical computation that reproduces known universal terms via the FPS squashed cone plus LM, but the Wald-entropy shortcut rests on a fitted regulator whose 'theory independence' defense is weaker than the paper claims.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Wald's entropy formula, evaluated in a bulk geometry built from a regularized squashed cone, reproduces the universal anomaly coefficients of entanglement entropy in higher-derivative gravity, provided the cone's regulator is chosen as a特定e
The reading
What carries the argument
The load-bearing device is the squashed-cone boundary metric, in which the transverse sphere or circle is written as $(f_0 + r^n d^{1-n} cos tau)^2 dOmega^2$ and the $r$-$tau$ part as $f(r,b)dr^2 + r^2 dtau^2$. The factor $r^n$ in front of the extrinsic-curvature deformation is what keeps the boundary Ricci scalar finite as $n to 1$; without it the curvature diverges like $(n-1)/r$. Feeding this metric into the Fefferman-Graham expansion, the coefficient $g_{(2)ij} = -(tilde L^2/2)(R^{(0)}_{ij} - g_{(0)ij}R^{(0)}/6)$ controls the $1/rho$ term of the on-shell action, and hence the logarithmic entropy. A second device is the order of limits: send $r to 0$ first and only then $n to 1$, so that $r^{n}$ suppresses the $cos tau$ terms that would otherwise break time-translation symmetry. This is what makes the surface look like a bifurcate horizon and lets Wald's formula apply.
Extended reading notes
Core claim
The authors take the regularized squashed-cone boundary metrics of Fursaev, Patrushev and Solodukhin, extend them into the bulk with a Fefferman-Graham expansion, and evaluate the generalized gravitational entropy. In a general four-derivative theory, in quasi-topological gravity, and in $alpha'^3$ type IIB supergravity, the universal logarithmic terms come out with the expected anomaly coefficients $a$ and $c$ for spherical and cylindrical entangling surfaces; the $C^4$ correction, as expected, leaves them untouched. The central claim is that Wald's entropy functional, evaluated on the codimension-two surface $r=0=tau$ in this Fefferman-Graham metric, gives the same universal terms — even though Wald entropy in pure anti-de Sitter space is known to give the wrong answer. The reason offered is that the regularized cone metric mimics the Iyer-Wald construction for dynamical horizons: taking $r to 0$ before $n to 1$ makes the extrinsic curvatures of the entangling surface vanish, removing the very terms by which the Wald and Jacobson-Myers functionals differ.
Load-bearing premise
The regulator $b$ in the squashed-cone metric is not derived but chosen by hand, as a specific power of $(n-1)$ that depends on the shape of the entangling surface but not on the gravity theory, and the authors state in their Discussion that a justification for this choice still has to be found.
Editorial extensions
If this is right
- The universal $a$ and $c$ anomaly coefficients of a four-dimensional CFT are recovered from the generalized gravitational entropy in any of the higher-derivative bulk theories considered, so the holographic entropy rule is not an artifact of Einstein gravity.
- Wald's Noether-charge formula, applied in the right background rather than in pure anti-de Sitter space, becomes a practical route to entanglement entropy in an arbitrary higher-derivative theory, bypassing the need to guess a Jacobson-Myers-type entropy functional.
- The entangling-surface equation in Gauss-Bonnet gravity follows from the Lewkowycz-Maldacena procedure without the small-extrinsic-curvature assumption used in earlier work, once the $r^n$ regularization and the $r to 0$-then-$n to 1$ ordering are adopted.
- The same intermediate expressions yield $partial_n S_n|_{n=1} propto c_T$ for both spherical and cylindrical surfaces, extending a known universality of Renyi entropy near $n=1$ to the cylindrical case where holographic results were not previously available.
Reading between the lines
- If the regulator $b$ could be derived from a global regularity condition on the bulk — for instance by demanding the full ten-dimensional or stringy completion be smooth — the Wald computation would turn from a consistency check into a genuine prediction for theories where no independent entropy functional is known.
- The parallel between the Fefferman-Graham metric and the Iyer-Wald boost-invariant reconstruction suggests that entanglement entropy in higher-derivative gravity may literally be a Noether charge of an approximate Killing field, which would put black-hole and entanglement entropy on the same footing rather than merely analogous ones.
- Because the $C^4$ correction drops out of the universal terms, the construction predicts that $1/lambda$ corrections in $mathcal{N}=4$ super Yang-Mills do not shift the $a$ and $c$ anomalies; a field-theory computation of the anomalous coefficients at finite 't Hooft coupling would test this directly.
- The failure of the method away from $n=1$ — the authors note that general Renyi entropies would depend on the detailed form of $f(r,b)$ away from $r=0$ — hints that the regularization is only asymptotically meaningful, and that a proper treatment needs global information such as the temperature of the dual hyperbolic black hole.
Original abstract
We consider generalized gravitational entropy in various higher derivative theories of gravity dual to four dimensional CFTs using the recently proposed regularization of squashed cones. We derive the universal terms in the entanglement entropy for spherical and cylindrical surfaces. This is achieved by constructing the Fefferman-Graham expansion for the leading order metrics for the bulk geometry and evaluating the generalized gravitational entropy. We further show that the Wald entropy evaluated in the bulk geometry constructed for the regularized squashed cones leads to the correct universal parts of the entanglement entropy for both spherical and cylindrical entangling surfaces. We comment on the relation with the Iyer-Wald formula for dynamical horizons relating entropy to a Noether charge. Finally we show how to derive the entangling surface equation in Gauss-Bonnet holography.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We consider generalized gravitational entropy in various higher derivative theories of gravity dual to four dimensional CFTs using the recently proposed regularization of squashed cones. We derive the universal terms in the entanglement entropy for spherical and cylindrical surfaces. This is achieved by constructing the Fefferman-Graham expansion for the leading order metrics for the bulk geometry and evaluating the generalized gravitational entropy. We further show that the Wald entropy evaluated in the bulk geometry constructed for the regularized squashed cones leads to the correct universal parts of the entanglement entropy for both spherical and cylindrical entangling surfaces. We comment on the relation with the Iyer-Wald formula for dynamical horizons relating entropy to a Noether charge. Finally we show how to derive the entangling surface equation in Gauss-Bonnet holography.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We consider generalized gravitational entropy in various higher derivative theories of gravity dual to four dimensional CFTs using the recently proposed regularization of squashed cones. | contribution 0.84 | 0.86 | 0.07 | asserted 0.84 |
| s1 | We derive the universal terms in the entanglement entropy for spherical and cylindrical surfaces. | result 0.91 | 0.96 | 0.28 | asserted 1.00 |
| s2 | This is achieved by constructing the Fefferman-Graham expansion for the leading order metrics for the bulk geometry and evaluating the generalized gravitational entropy. | method 1.00 | 0.94 | 0.07 | asserted 0.99 |
| s3 | We further show that the Wald entropy evaluated in the bulk geometry constructed for the regularized squashed cones leads to the correct universal parts of the entanglement entropy for both spherical and cylindrical entangling surfaces. | result 0.99 | 0.95 | 0.48 | asserted 1.00 |
| s4 | We comment on the relation with the Iyer-Wald formula for dynamical horizons relating entropy to a Noether charge. | interpretation 0.90 | 0.48 | 0.04 | unclear 0.83 |
| s5 | Finally we show how to derive the entangling surface equation in Gauss-Bonnet holography. | contribution 0.60 | 0.93 | 0.09 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
46 later papers cite it
1 paper by the same authors is listed below: 1 used its method or tool.
Uses its method or tool 1 of 8 papers with this label · 1 by the same authors
By the same authors
-
Followed the procedure given in this paper for R^2 theory.
On entanglement entropy functionals in higher derivative gravity theories (2014) (same authors) · 1.00 · paraphrased: the licence does not allow quoting
How the literature uses it
46 arXiv papers cite this in 83 sentences
Papers citing it · 56 sentences without a confident label
Uses its method or tool 8 papers
-
Nevertheless to compute the entanglement entropy for the present case, based on the results of [ref] , the authors of [ref] have considered the following entropy functional to be minimized to compute the entanglement entropy S_EE=1/4G_N∫dx√(g_ind){1-1/m^2[(R_μνn^μ_in^ν_i- 1/2K_i^2)-3/4R]}, where $i=1,2$ denotes two transverse directions to a co-dimension two hypersurface in the bulk, $n_i^μ$ are two unit mutually orthogonal normal vectors on the co-dimension two hypersurface and $K^(i)$ is trace of the two extrinsic curvature tensors defined by K_μν^(i)=π^σ_ μ π^ρ_ ν∇_ρ(n_i)_σ, with π^σ_ μ=ϵ^σ_ μ+ξ∑_i=1,2(n_i)^σ(n_i)_μ , where $ξ=-1$ for space-like and $ξ=1$ for time-like vectors.
Entanglement Entropy for Logarithmic Conformal Field Theory · Three dimensional log-gravity · 0.96
-
Wald entropy of the charged black hole in Einstein-Gauss-Bonnet gravity can be obtained from equations ([ref]),([ref]),([ref]) and ([ref]) and is given as: [equation] Holographic entanglement entropy for the action ([ref]) was calculated in [ref] and is given below: [equation] where $h$ is the determinant of the following induced metric on constant $t,r=a$ surface: [equation] Now we are going to simplify equation ([ref]) using Gauss-Codazzi equation [ref] , [equation] From equations ([ref]) and ([ref]) entanglement entropy in Einstein-Gauss-Bonnet gravity simplifies to the following form (which is the gravitational contribution the generalised entropy): [equation] and matter contribution to the entanglement entropy is [ref] [Matter contributions to the entanglement entropy is same as [ref] up to some point which can be obtained using equations ([ref]), ([ref]), ([ref]), ([ref]) and ([ref
Page Curves of Reissner-Nordstr\"om Black Hole in HD Gravity · Page Curves of Charged Black Hole in Einstein-Gauss-Bonnet Gravity · 0.83
-
Here we will use the gravitational entropy proposed by Dong [ref] and Camps [ref] , which motivated to describe the gravitational dual of the entanglement entropy of CFT in the AdS/CFT setup (see also [ref] ).
Cutoff Scale of Quadratic Gravity from Quantum Focusing Conjecture · Gravitational Entropy · 0.80
Compares with it 1 paper
-
These results for the universal terms agree with those calculated in Ref. [ref] for the two quasi-topological theories.
On entanglement entropy functionals in higher derivative gravity theories · Universal terms · 0.99
Cites it as support 1 paper
-
In Ref. [ref] it was shown that this entropy functional leads to the expected universal terms in the entanglement entropy for cylindrical and spherical entangling surfaces, so the FPS functional passes this basic first test.
On entanglement entropy functionals in higher derivative gravity theories · Introduction · 0.98
Cites it as background 14 papers
-
There were attempts to extend this calculation to find the entangling surface equation in higher curvature theories in [ref] and the corresponding entropy functionals were argued to be different from the Wald entropy [ref] .
Entropy functionals and c-theorems from the second law · Introduction · 0.90
-
Entanglement entropy for a CFT dual to an asymptotically locally AdS solution in NMG model has been recently studied in [ref] .
Entanglement Entropy for Logarithmic Conformal Field Theory · Three dimensional log-gravity · 0.88
-
This question has been discussed recently in [ref] .
Free-kick condition for entanglement entropy in higher curvature gravity · Holographic entanglement entropy for NMG · 0.92
What it cites · 55 sentences without a confident label
Contests 3 papers
-
Recall that the Wald entropy functional in AdS spacetime was not the correct one [ref] .
Holographic Entanglement Entropy in Lovelock Gravities · Connection with Ryu-Takayanagi · contest 0.77
-
Recall that the Wald entropy functional in AdS spacetime was not the correct one [ref] .
On Holographic Entanglement Entropy and Higher Curvature Gravity · Connection with Ryu-Takayanagi · contest 0.77
-
We will explain that a modification to the order of limits needs to be done to the use of the LM method in [ref] for deriving the surface equation.
Entanglement entropy in higher derivative holography · Introduction · contest 0.80
Uses the method or tool of 4 papers
-
Then we computed the generalized gravitational entropy as proposed in [ref] .
Generalized gravitational entropy · Discussion · 1.00
-
We considered the Fefferman-Graham metric with the regularized metrics in [ref] as the boundary metric.
Distributional Geometry of Squashed Cones · Discussion · 0.94
-
In order to proceed, we could assume the following as in [ref] that $O() ∼αr/ϵ$ where $α≪1$, then the $ij$, $ir$ components go to zero.
Entanglement entropy in higher derivative holography · Equation for the entangling surface · 0.91
Compares with 5 papers
-
We will find that the Fefferman-Graham metric, for the cases where the boundary metrics are given by the regularized metrics proposed in [ref] , has some similarities with the Iyer-Wald construction.
Distributional Geometry of Squashed Cones · Introduction · 0.88
-
The key point in eq.([ref]) as compared to earlier regularizations e.g., [ref] is the introduction of a regulator in the extrinsic curvature terms.
Generalized gravitational entropy · Generalized Gravitational Entropy · 0.80
-
In particular it coincided with what arises from the Jacobson-Myers (JM) entropy functional [ref] which differs from the Wald entropy functional [ref] in terms quadratic in the extrinsic curvature [ref] .
Holographic Entanglement Entropy in Lovelock Gravities · Introduction · 0.98
Cites as background 11 papers
-
Recently Lewkowycz and Maldacena (LM) [ref] have proposed a derivation of the Ryu-Takayangi (RT) prescription [ref] for computing entanglement entropy (EE) [ref] in holography [ref] .
Holographic Entanglement Entropy: An Overview · Introduction · 0.99
-
Recently Lewkowycz and Maldacena (LM) [ref] have proposed a derivation of the Ryu-Takayangi (RT) prescription [ref] for computing entanglement entropy (EE) [ref] in holography [ref] .
Generalized gravitational entropy · Introduction · 0.99
-
Recently Lewkowycz and Maldacena (LM) [ref] have proposed a derivation of the Ryu-Takayangi (RT) prescription [ref] for computing entanglement entropy (EE) [ref] in holography [ref] .
Entanglement entropy in free quantum field theory · Introduction · 0.99
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.