Black Hole Entropy Beyond the Wald Term in Nonminimally Coupled Gravity: A Covariant Phase Space Decomposition
Pith reviewed 2026-05-22 05:13 UTC · model grok-4.3
The pith
In nonminimally coupled gravity, black hole entropy includes terms beyond the Wald entropy when matter fields cannot extend smoothly to the bifurcation surface.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For regular bifurcate Killing horizons the Iyer-Wald construction recovers the Wald entropy, but when matter fields fail to extend smoothly to the bifurcation surface the horizon surface charge variation contains additional finite pieces. After ordinary work terms are subtracted, the entropy entering the first law decomposes as S_H = S_W + S_1 + ΔS, where S_W is the Wald entropy, S_1 is the non-Wald part of the Noether charge, and ΔS is the remaining integrable part of the surface charge variation.
What carries the argument
The decomposition of the horizon surface charge variation in the covariant phase space formalism, after subtracting work terms, into the Wald entropy plus the non-Wald Noether contribution S_1 and the remaining integrable term ΔS.
If this is right
- For the regular Kalb-Ramond branch the entropy reduces exactly to the Wald term.
- Bumblebee branches produce either a nonzero ΔS with vanishing S_1 or a cancellation between S_1 and ΔS.
- Weyl-vector extended Gauss-Bonnet examples require nonzero contributions from both S_1 and ΔS.
- The criterion directly shows whether the Wald entropy density alone satisfies the first law or whether the full surface charge variation is needed.
Where Pith is reading between the lines
- The same decomposition can be applied to other diffeomorphism-invariant theories with nonminimal couplings to test whether extra terms appear.
- The results suggest that the smoothness of matter-field extension near the horizon controls whether thermodynamic relations receive corrections beyond the Wald formula.
- Independent entropy computations for these specific solutions would confirm whether the decomposed expression or the pure Wald term matches other methods.
Load-bearing premise
The horizon is a regular bifurcate Killing horizon and the covariant phase space formalism applies without further restrictions on the matter-field extension or the choice of representative for the surface charge variation.
What would settle it
Perform an independent calculation of the entropy for a bumblebee black hole solution, for example via the Euclidean action or by direct integration of the first law, and check whether the result equals only the Wald term or requires the additional S_1 and ΔS contributions.
read the original abstract
We study the entropy of static, spherically symmetric black holes in diffeomorphism-invariant theories with nonminimal matter--curvature couplings, using the covariant phase space formalism. For regular bifurcate Killing horizons, the Iyer--Wald construction gives the standard Wald entropy. If a matter field cannot be smoothly extended to the regular bifurcation surface, however, the horizon surface charge variation can contain finite contributions that are not included in the Wald entropy density. In the representative obtained by directly varying the action, and after ordinary work terms are subtracted, we decompose the entropy entering the first law of black hole thermodynamics as \(S_{\mathrm H}=S_{\mathrm W}+S_1+\Delta S\). Here \(S_{\mathrm W}\) is the Wald entropy, \(S_1\) is the non-Wald part of the Noether charge, and \(\Delta S\) is the remaining integrable part of the horizon surface charge variation. Applying this criterion to Kalb--Ramond, bumblebee, and extended Gauss--Bonnet black holes, we find that the regular Kalb--Ramond branch has \(S_{\mathrm H}=S_{\mathrm W}\), the bumblebee branches yield either \(S_1=0\) with \(\Delta S\neq0\) or a cancellation between \(S_1\) and \(\Delta S\), and the Weyl-vector extended Gauss--Bonnet examples require both corrections. This gives a direct test of whether the Wald entropy density is sufficient, or whether the full horizon surface charge variation has to be used.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper applies the covariant phase space formalism to static spherically symmetric black holes in diffeomorphism-invariant theories with nonminimal matter-curvature couplings. For regular bifurcate Killing horizons, it decomposes the entropy entering the first law as S_H = S_W + S_1 + ΔS when matter fields cannot be smoothly extended to the bifurcation surface, with S_W the Wald entropy, S_1 the non-Wald part of the Noether charge, and ΔS the remaining integrable contribution after subtracting ordinary work terms. The decomposition is evaluated on Kalb-Ramond, bumblebee, and extended Gauss-Bonnet examples, yielding S_H = S_W for the regular Kalb-Ramond branch, either S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee branches, and both corrections required for the Weyl-vector extended Gauss-Bonnet cases.
Significance. If the decomposition is robust, the work supplies a practical criterion for deciding when the Wald entropy density suffices and when the full horizon surface charge variation must be retained. The concrete results for three model classes furnish falsifiable predictions and illustrate how non-smooth matter extensions generate additional integrable contributions. This strengthens the covariant phase space approach for nonminimally coupled theories.
major comments (2)
- [Abstract] Abstract (paragraph beginning 'In the representative obtained by directly varying the action'): the decomposition is performed in one specific representative of the surface charge. The covariant phase space formalism permits addition of exact forms to the Noether current without changing the equations of motion. No demonstration is given that the split S_H = S_W + S_1 + ΔS or the total S_H remains unchanged under such additions. Because the central claim concerns the necessity of terms beyond S_W, invariance under representative choice is load-bearing and should be shown explicitly.
- [Applications to models] Applications section (Kalb-Ramond, bumblebee, and extended Gauss-Bonnet examples): the reported outcomes (S_H = S_W for regular Kalb-Ramond; S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee; both corrections for Weyl-vector Gauss-Bonnet) rest on the chosen representative and on the assumed regularity of the bifurcate horizon. Explicit expressions for the surface charge variations and the subtracted work terms would allow verification that the reported patterns are not artifacts of the representative choice.
minor comments (1)
- [Notation] The abstract introduces S_1 and ΔS without an equation number; a numbered display of the decomposition S_H = S_W + S_1 + ΔS in the main text would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful and constructive report. The two major comments correctly identify that the manuscript presents the entropy decomposition in a specific representative of the Noether current and that the applications would benefit from more explicit intermediate expressions. We address both points below and will revise the manuscript to strengthen the presentation.
read point-by-point responses
-
Referee: [Abstract] Abstract (paragraph beginning 'In the representative obtained by directly varying the action'): the decomposition is performed in one specific representative of the surface charge. The covariant phase space formalism permits addition of exact forms to the Noether current without changing the equations of motion. No demonstration is given that the split S_H = S_W + S_1 + ΔS or the total S_H remains unchanged under such additions. Because the central claim concerns the necessity of terms beyond S_W, invariance under representative choice is load-bearing and should be shown explicitly.
Authors: We agree that an explicit demonstration of invariance is needed. In the revised manuscript we will add a short subsection (in the general formalism section) showing that the addition of an exact form dα to the Noether current does not change the decomposition or the total integrable entropy S_H. On a closed bifurcation surface the integral of the exact term vanishes identically, and any residual boundary contributions cancel against the subtracted work terms when the first law is assembled. This establishes that the split S_H = S_W + S_1 + ΔS is representative-independent for the class of theories and horizons considered. revision: yes
-
Referee: [Applications to models] Applications section (Kalb-Ramond, bumblebee, and extended Gauss-Bonnet examples): the reported outcomes (S_H = S_W for regular Kalb-Ramond; S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee; both corrections for Weyl-vector Gauss-Bonnet) rest on the chosen representative and on the assumed regularity of the bifurcate horizon. Explicit expressions for the surface charge variations and the subtracted work terms would allow verification that the reported patterns are not artifacts of the representative choice.
Authors: We accept that the applications section would be more transparent with the intermediate expressions. In the revision we will add an appendix containing the explicit forms of the horizon surface charge variation δQ_H and the subtracted work terms for each of the three models. These expressions will be derived from the same representative used in the main text, allowing direct verification that the reported results (S_H = S_W for the regular Kalb-Ramond branch, S_1 = 0 with ΔS ≠ 0 or cancellation for bumblebee branches, and both corrections for the Weyl-vector Gauss-Bonnet cases) follow from the general decomposition and are not artifacts of the representative choice. The regularity assumption for the bifurcate horizon is the standard one employed in the Iyer-Wald construction. revision: yes
Circularity Check
No significant circularity; derivation applies standard formalism to specific representative
full rationale
The paper applies the covariant phase space formalism and Iyer-Wald procedure to decompose the horizon surface charge variation for regular bifurcate Killing horizons in nonminimally coupled theories. The split S_H = S_W + S_1 + ΔS is obtained after subtracting work terms from the representative chosen by direct action variation; this partitioning does not reduce any claimed result to a fitted parameter, self-defined quantity, or load-bearing self-citation by construction. The central claim is tested on concrete examples (Kalb-Ramond, bumblebee, extended Gauss-Bonnet) where the presence or absence of extra terms is exhibited explicitly. No equation equates the final entropy expression to its inputs tautologically, and the construction remains self-contained against external benchmarks in the literature.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The horizon is a regular bifurcate Killing horizon to which the Iyer-Wald construction applies.
- domain assumption The covariant phase space formalism yields a well-defined horizon surface charge variation after ordinary work terms are subtracted.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
SH = SW + S1 + ΔS ... after ordinary work terms are subtracted, we decompose the entropy entering the first law
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
For regular bifurcate Killing horizons, the Iyer–Wald construction gives the standard Wald entropy
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
the family admits a Killing horizon generatorξ a = (∂t)a
-
[2]
(18) is integrable on the chosen solution family
the entropy one form obtained from the equality be- tweenδH (∞) ξ and the horizon variation in Eq. (18) is integrable on the chosen solution family. Then SH =S W +S 1 + ∆S,(52) with the three terms defined in Eqs. (24), (26), and (33). For the restricted variation bδ, the remainders are bRX , bRW , with bδ∆S= 2π κ bRX + bRW . The departure from the Wald e...
-
[3]
if H H Waξa = 0 and bRX + bRW = 0, thenS 1 = 0, ∆S= 0, andS H =S W
-
[4]
if H H Waξa = 0 but bRX +bRW ̸= 0, then the correc- tion is entirely in the remaining part of− H H ξ·Θ on the restricted slice
-
[5]
if H H Waξa ̸= 0 but bRX +bRW = 0, then the correc- tion is entirely in the non-Wald part of the horizon Noether charge
-
[6]
if H H Waξa ̸= 0 and bRX + bRW ̸= 0, then bothS 1 and ∆Smust be kept inS H. IV. ILLUSTRATIVE MODELS We now apply the preceding decomposition to several static, spherically symmetric black hole solutions. The examples are chosen to separate the different sources in Eq. (52): a regular nonminimally coupled tensor back- ground for which the additional terms ...
-
[7]
J. D. Bekenstein, Black holes and entropy, Phys. Rev. D 7, 2333 (1973)
work page 1973
-
[8]
J. M. Bardeen, B. Carter, and S. W. Hawking, The Four laws of black hole mechanics, Commun. Math. Phys.31, 161 (1973)
work page 1973
-
[9]
S. W. Hawking, Particle Creation by Black Holes, Com- mun. Math. Phys.43, 199 (1975), [Erratum: Com- mun.Math.Phys. 46, 206 (1976)]
work page 1975
-
[10]
Entropy of Lovelock Black Holes
T. Jacobson and R. C. Myers, Black hole entropy and higher curvature interactions, Phys. Rev. Lett.70, 3684 (1993), arXiv:hep-th/9305016
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[11]
Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy
V. Iyer and R. M. Wald, Some properties of Noether charge and a proposal for dynamical black hole entropy, Phys. Rev. D50, 846 (1994), arXiv:gr-qc/9403028
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[12]
Increase of Black Hole Entropy in Higher Curvature Gravity
T. Jacobson, G. Kang, and R. C. Myers, Increase of black hole entropy in higher curvature gravity, Phys. Rev. D 52, 3518 (1995), arXiv:gr-qc/9503020
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[13]
C. Crnkovic and E. Witten, Covariant description of canonical formalism in geometrical theories, inThree Hundred Years of Gravitation, edited by S. W. Hawking and W. Israel (Cambridge University Press, Cambridge,
-
[14]
G. J. Zuckerman, Action principles and global geometry, inMathematical Aspects of String Theory, edited by S.-T. Yau (World Scientific, Singapore, 1987) pp. 259–284
work page 1987
- [15]
-
[16]
An introduction to the mechanics of black holes
G. Compere, An introduction to the mechanics of black holes, in2nd Modave Summer School in Theoretical Physics(2006) arXiv:gr-qc/0611129
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[17]
R. M. Wald, Black hole entropy is the Noether charge, Phys. Rev. D48, R3427 (1993), arXiv:gr-qc/9307038
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[18]
V. Iyer and R. M. Wald, A Comparison of Noether charge and Euclidean methods for computing the entropy of stationary black holes, Phys. Rev. D52, 4430 (1995), arXiv:gr-qc/9503052
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[19]
T. Jacobson, G. Kang, and R. C. Myers, On black hole entropy, Phys. Rev. D49, 6587 (1994), arXiv:gr- qc/9312023
-
[20]
Black Hole Entropy and Viscosity Bound in Horndeski Gravity
X.-H. Feng, H.-S. Liu, H. L¨ u, and C. N. Pope, Black Hole Entropy and Viscosity Bound in Horndeski Gravity, JHEP11(11), 176, arXiv:1509.07142 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[21]
Thermodynamics of Charged Black Holes in Einstein-Horndeski-Maxwell Theory
X.-H. Feng, H.-S. Liu, H. L¨ u, and C. N. Pope, Thermo- dynamics of Charged Black Holes in Einstein-Horndeski- Maxwell Theory, Phys. Rev. D93, 044030 (2016), arXiv:1512.02659 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[22]
M. Minamitsuji and K.-i. Maeda, Black hole thermody- namics in Horndeski theories, Phys. Rev. D108, 084061 (2023), arXiv:2308.01082 [gr-qc]
-
[23]
Black holes in vector-tensor theories and their thermodynamics
Z.-Y. Fan, Black holes in vector-tensor theories and their thermodynamics, Eur. Phys. J. C78, 65 (2018), arXiv:1709.04392 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[24]
M. Minamitsuji and K.-i. Maeda, Black hole thermody- namics in generalized Proca theories, Phys. Rev. D110, 024047 (2024), arXiv:2403.08986 [gr-qc]
-
[25]
An, Notes on thermodynamics of Schwarzschild- like bumblebee black hole, Phys
Y.-S. An, Notes on thermodynamics of Schwarzschild- like bumblebee black hole, Phys. Dark Univ.45, 101520 (2024), arXiv:2401.15430 [gr-qc]
- [26]
-
[27]
Comp` ere,Advanced Lectures on General Relativity, Lecture Notes in Physics, Vol
G. Comp` ere,Advanced Lectures on General Relativity, Lecture Notes in Physics, Vol. 952 (Springer, Cham, Cham, Switzerland, 2019)
work page 2019
-
[28]
S. G. Avery and B. U. W. Schwab, Noether’s second the- orem and Ward identities for gauge symmetries, JHEP 02(02), 031, arXiv:1510.07038 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[29]
Introduction to Classical Gauge Field Theory and to Batalin-Vilkovisky Quantization
G. Barnich and F. Del Monte, Introduction to Classical Gauge Field Theory and to Batalin-Vilkovisky Quanti- zation (2018), arXiv:1810.00442 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[30]
Local BRST cohomology in gauge theories
G. Barnich, F. Brandt, and M. Henneaux, Local BRST cohomology in gauge theories, Phys. Rept.338, 439 (2000), arXiv:hep-th/0002245
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[31]
I. Racz and R. M. Wald, Extension of space-times with Killing horizon, Class. Quant. Grav.9, 2643 (1992)
work page 1992
-
[32]
P. T. Chrusciel, J. Lopes Costa, and M. Heusler, Station- ary Black Holes: Uniqueness and Beyond, Living Rev. Rel.15, 7 (2012), arXiv:1205.6112 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[33]
H. K. Kunduri and J. Lucietti, Classification of near- horizon geometries of extremal black holes, Living Rev. Rel.16, 8 (2013), arXiv:1306.2517 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[34]
M. Kalb and P. Ramond, Classical direct interstring ac- tion, Phys. Rev. D9, 2273 (1974)
work page 1974
-
[35]
Lorentz violation with an antisymmetric tensor
B. Altschul, Q. G. Bailey, and V. A. Kostelecky, Lorentz violation with an antisymmetric tensor, Phys. Rev. D81, 065028 (2010), arXiv:0912.4852 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[36]
C. A. Hernaski, Spontaneous Breaking of Lorentz Sym- metry with an antisymmetric tensor, Phys. Rev. D94, 105004 (2016), arXiv:1608.00829 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[37]
K. Yang, Y.-Z. Chen, Z.-Q. Duan, and J.-Y. Zhao, Static and spherically symmetric black holes in gravity with a background Kalb-Ramond field, Phys. Rev. D108, 124004 (2023), arXiv:2308.06613 [gr-qc]
-
[38]
Z.-Q. Duan, J.-Y. Zhao, and K. Yang, Electrically charged black holes in gravity with a background Kalb–Ramond field, Eur. Phys. J. C84, 798 (2024), arXiv:2310.13555 [gr-qc]
- [39]
- [40]
-
[41]
Y. Xiao and A. Zhang, Validity of the background subtraction method for black hole thermodynamics in matter-coupled gravity theories, Phys. Rev. D113, 044047 (2026), arXiv:2511.07209 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[42]
V. A. Kostelecky and S. Samuel, Spontaneous Breaking of Lorentz Symmetry in String Theory, Phys. Rev. D39, 683 (1989)
work page 1989
-
[43]
Spontaneous Lorentz Violation, Nambu-Goldstone Modes, and Gravity
R. Bluhm and V. A. Kostelecky, Spontaneous Lorentz violation, Nambu-Goldstone modes, and gravity, Phys. 13 Rev. D71, 065008 (2005), arXiv:hep-th/0412320
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[44]
Q. G. Bailey and V. A. Kostelecky, Signals for Lorentz violation in post-Newtonian gravity, Phys. Rev. D74, 045001 (2006), arXiv:gr-qc/0603030
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[45]
V. A. Kostelecky, Gravity, Lorentz violation, and the standard model, Phys. Rev. D69, 105009 (2004), arXiv:hep-th/0312310
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[46]
An exact Schwarzschild-like solution in a bumblebee gravity model
R. Casana, A. Cavalcante, F. P. Poulis, and E. B. Santos, Exact Schwarzschild-like solution in a bumble- bee gravity model, Phys. Rev. D97, 104001 (2018), arXiv:1711.02273 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [47]
- [48]
- [49]
-
[50]
Full Classification of Static Spherical Vacuum Solutions to Bumblebee Gravity with General VEVs
J. Zhu and H. Li, Full classification of static spherical vac- uum solutions to bumblebee gravity with general VEVs, Phys. Lett. B876, 140396 (2026), arXiv:2511.03231 [gr- qc]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[51]
Extended Gauss-Bonnet gravities in Weyl geometry
J. Beltran Jimenez and T. S. Koivisto, Extended Gauss- Bonnet gravities in Weyl geometry, Class. Quant. Grav. 31, 135002 (2014), arXiv:1402.1846 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[52]
S. Bahamonde and M. Ba˜ nados, An exact five dimen- sional Weyl-geometry Gauss-Bonnet black hole, Phys. Lett. B869, 139869 (2025), arXiv:2504.02230 [gr-qc]
-
[53]
Lovelock, The Einstein tensor and its generalizations, J
D. Lovelock, The Einstein tensor and its generalizations, J. Math. Phys.12, 498 (1971)
work page 1971
-
[54]
C. Charmousis, P. G. S. Fernandes, and M. Hassaine, Proca theory of four-dimensional regularized Gauss- Bonnet gravity and black holes with primary hair, Phys. Rev. D111, 124008 (2025), arXiv:2504.13084 [gr-qc]
- [55]
- [56]
- [57]
-
[58]
Explicit and covariant formula for thermodynamic volume in extended black hole thermodynamics
Y. Xiao, Y.-X. Liu, Y. Tian, and H. Zhang, Explicit and universal formula for thermodynamic volume in extended black hole thermodynamics (2025), arXiv:2512.01916 [gr- qc]
work page internal anchor Pith review Pith/arXiv arXiv 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.