Imported Wald Entropy in Holographic Higher-Derivative Thermodynamics

In a diffeomorphism-invariant higher-derivative theory, the stationary black-hole entropy is generally not the area divided by $4G$. The appropriate classical quantity is the Wald Noether-charge entropy, evaluated for the specified covariant action and checked against the corrected charges and Euclidean free energy. It remains a saddle entropy: bulk entanglement and other quantum corrections enter separately.

Required background. Metric Counterterms and the Boundary Stress Tensor fixes boundary charges. Euclidean Actions, Boundary Terms, and Free-Energy Comparisons supplies the thermodynamic check. Noether-Charge Entropy and Higher-Curvature Terms supplies the theorem and its hypotheses.

Helpful background. Curvature Operator Bases and Field Redefinitions distinguishes invariant corrections from basis choices. Black-Hole Thermodynamics at the QFT Interface fixes the imported horizon laws.

First application. Evaluate the Wald correction from a curvature-squared term on a stationary AdS black hole and compare it with the corrected Euclidean free energy.

Noether charge on a stationary horizon

For a covariant Lagrangian density $\mathcal L(g,R,\psi)$ with no derivatives of the Riemann tensor, the entropy of a stationary bifurcate Killing horizon is

$$S_{\mathrm W} =-2\pi\int_{\mathcal H}d^{d-1}y\sqrt h\, \frac{\partial\mathcal L}{\partial R_{abcd}} \epsilon_{ab}\epsilon_{cd},$$

where $\epsilon_{ab}\epsilon^{ab}=-2$. For the Einstein term, this reduces to $A_{\mathcal H}/(4G)$. The construction follows from the Hamiltonian identity for the diffeomorphism generated by the horizon Killing field Wald 1993 and its covariant-phase-space refinement Iyer and Wald 1994, §§IV–VI.

The formula assumes a stationary horizon and a specified covariant representative of the action. Nonstationary slices, Chern–Simons terms, derivatives of curvature, and field-dependent gauge transformations require generalized treatments.

Curvature-squared application

Take

$$\mathcal L=\frac{1}{2\kappa^2} \left(R-2\Lambda+\lambda L^2R_{abcd}R^{abcd}\right).$$

Then

$$\frac{\partial\mathcal L}{\partial R_{abcd}} =\frac{1}{2\kappa^2} \left(g^{a[c}g^{d]b}+2\lambda L^2R^{abcd}\right),$$

so, to first order in $\lambda$,

$$S_{\mathrm W}=\frac{A_{\mathcal H}}{4G} -\frac{2\pi\lambda L^2}{\kappa^2} \int_{\mathcal H}\!d^{d-1}y\sqrt h\, R^{abcd}\epsilon_{ab}\epsilon_{cd}.$$

This displayed correction is only the explicit functional contribution. A consistent $O(\lambda)$ thermodynamic calculation must also include the correction to the solution, the relation between horizon parameters and fixed boundary sources, renormalized energy and charge, and the Euclidean action. Evaluating the functional on an uncorrected metric is sufficient only when perturbation theory or a field-redefinition argument shows why the omitted shifts enter at higher order.

First-law and Euclidean checks

For stationary charged and rotating solutions, the corrected quantities must satisfy

$$\delta E=T\,\delta S_{\mathrm W} +\sum_a\Omega_a\,\delta J_a+\Phi\,\delta Q$$

with couplings held fixed. If couplings such as $\Lambda$ or $\lambda$ are varied, their conjugate terms must be added. Independently,

$$I_E=\beta\left(E-\sum_a\Omega_aJ_a-\Phi Q\right)-S_{\mathrm W}$$

for a smooth stationary saddle in the corresponding ensemble. Agreement catches missed boundary terms and charge normalizations.

Field redefinitions can move curvature-squared operators between the bulk action and matter or boundary terms. Physical free energies and charges are invariant after all induced terms and parameter maps are included, even though the intermediate expression for $\partial\mathcal L/\partial R_{abcd}$ changes. The Jacobson–Kang–Myers ambiguities vanish or combine appropriately on a stationary bifurcation surface but matter for naive nonstationary extensions Jacobson, Kang, and Myers 1994.

Adversarial controls

Correct the functional but not the solution. Insert the unperturbed horizon into the new entropy functional, then compare with the derivative of the corrected free energy. A mismatch signals omitted geometry, charge, or source corrections.

Change field basis incompletely. Redefine the metric but retain the old boundary terms and parameter identification. A basis-dependent entropy results, falsifying the claimed observable comparison.

Use Wald entropy for a time-dependent cut. Without stationarity, different Noether-charge representatives can disagree. A generalized entropy prescription and appropriate dynamical conditions are needed.

Evidence ceiling

For a declared covariant higher-derivative action and stationary AdS black hole, the Wald functional plus corrected charges and boundary terms gives the classical entropy entering the first law. It does not include bulk entanglement entropy, determine a microscopic degeneracy, or provide a unique entropy functional on arbitrary nonstationary surfaces.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Iyer, Vivek, and Robert M. Wald. “Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy.” Physical Review D 50, 846–864 (1994). DOI; arXiv:gr-qc/9403028.
• Jacobson, Ted, Gungwon Kang, and Robert C. Myers. “On Black Hole Entropy.” Physical Review D 49, 6587–6598 (1994). DOI; arXiv:gr-qc/9312023.
• Wald, Robert M. “Black Hole Entropy Is the Noether Charge.” Physical Review D 48, R3427–R3431 (1993). DOI; arXiv:gr-qc/9307038.