Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Zeroth law of black hole thermodynamics for higher derivative Proca theories

T0 review · 2 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For stationary black holes in any higher-curvature effective field theory coupled to a Proca field, surface gravity is constant across the Killing horizon at every order in the EFT expansion.

desk verdict The Proca extension of the zeroth law is real and the first subleading order is solid, but the all-orders induction has a gap: it proves E^[n] vanishes at the horizon rather than the actual source E^[n+1]. read the letter →

arxiv 2509.09516 v1 pith:ARQBCAZY submitted 2025-09-11 hep-th

Parthajit Biswas , Alokananda Kar , Anowar Shaikh This is my paper · ORCID
classification hep-th
keywords zerothlawblackholethermodynamicsProcafieldhigher-derivativegravityeffectivetheorysurfaceKillinghorizonboostweight
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that surface gravity is constant across a Killing horizon in higher-derivative effective field theories of gravity coupled to a Proca field, to every order in the EFT expansion. Because surface gravity is temperature, this extends the zeroth law of black hole thermodynamics beyond pure gravity and gauge fields to massive vector fields without U(1) gauge invariance. The proof works order by order, splitting the equations into a universal homogeneous part and a theory-dependent source part, then using boost-weight arguments to show the source part vanishes at each order. The key subtlety is that in stationary Proca solutions the temporal component of the vector field takes the form A_v = r Z(rv,x), so only ∂_v carries positive boost weight, making the argument work. The paper also shows the proof extends to a restricted class of fully dynamical vector theories, but not to the general case with non-minimal curvature couplings.

What carries the argument

The machinery is the boost-weight argument in a horizon-adapted coordinate system, with the metric ds² = 2dv dr − r² F(C rv/2) dv² + 2r ω_i dv dx^i + h_ij dx^i dx^j. Under the residual scaling r → λr, v → v/λ, each tensor component carries a boost weight; positive-boost-weight quantities must contain an extra ∂_v derivative and therefore vanish at r = 0 because all functions depend on v through rv. The proof combines this with the universal homogeneous/source split of the equations of motion at each EFT order. The Proca-specific move is the structural statement that on a stationary solution the boost-weight +1 candidate A_v is forced to be r Z(rv,x), so it cannot supply the needed positive b

What would settle it

Construct or numerically find a stationary, smooth Einstein-Proca black hole solution, with or without higher-derivative corrections, where in the (v,r) horizon coordinates A_v approaches a nonzero constant as r → 0; that would directly contradict the structural claim A_v = r Z(rv,x). Alternatively, an explicit computation of E_τi at the horizon for any four-derivative Proca Lagrangian that yields a nonzero source term would falsify the claimed universal vanishing.

Watch

Extended reading notes

Core claim

The central claim is that for stationary black hole solutions of any diffeomorphism-invariant higher-curvature theory coupled to a Proca field, the surface gravity κ is uniform over a Killing horizon, ∂_i κ = 0, even when the horizon is not of bifurcate type. The proof is inductive in the effective field-theory parameter α. At each order, the τi component of the metric equations plus the τ component of the Proca equations split into a universal homogeneous piece and a theory-dependent source piece; boost-weight arguments show the source pieces vanish on the horizon, the homogeneous vector equation forces A_τ^{(n+1)} = 0 at the horizon, and then the homogeneous metric equation yields ∂_i X^{(

Load-bearing premise

The argument depends on the field component A_v vanishing linearly with r near the horizon; if stationary Proca solutions allowed A_v to stay nonzero at the horizon, the source terms would not vanish and the proof would collapse.

Editorial extensions

If this is right

  • Stationary Einstein-Proca black holes have a uniform surface gravity, hence a uniform temperature, across any Killing horizon, not just bifurcate ones, in the presence of arbitrary higher-curvature corrections.
  • The constancy holds to all orders in the EFT expansion, and the proof does not require writing down the higher-curvature terms explicitly.
  • The same argument works for the restricted generalized vector theory with a (∇·C)^2 term but no R_μν C^μ C^ν coupling; with the curvature coupling present, the paper cannot derive the required horizon condition C_τ = 0.
  • The zeroth law therefore acts as a practical diagnostic: it can filter which higher-derivative vector couplings are compatible with universal horizon thermodynamics.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable extension the authors leave implicit is to evaluate the horizon-limit source term E_τi for an explicit four-derivative Proca Lagrangian; the proof predicts it vanishes identically, which a direct computation can verify order by order.
  • The failure for general fully dynamical vector fields with R_μν C^μ C^ν coupling suggests that those theories may not admit a consistent thermodynamic temperature assignment; exploring ghost-free combinations that cancel Ostrogradsky modes is a natural next step.
  • The same inductive boost-weight strategy could plausibly extend to massive spin-2 or higher-spin EFTs, but the existence of extra positive-boost-weight fields would need a structural result analogous to A_v = r Z(rv,x).
  • Because the key structural claim is argued by coordinate inspection, a numerical or analytic scan of stationary Proca solutions near the horizon could test whether A_v always vanishes linearly in r; if it does not, the proof's induction would break at the first step.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper claims to prove the zeroth law of black hole thermodynamics—constancy of surface gravity across a Killing horizon, not assumed to be of bifurcate type—for stationary black holes in arbitrary higher-derivative effective field theories of gravity coupled to a Proca field. The proof is perturbative in the EFT parameter α. In the near-horizon coordinates (2.9), the τi metric equation and the τ vector equation are analyzed order by order. At each order the EOM is decomposed into a universal homogeneous part and a theory-dependent source term; the source is argued to vanish by boost-weight arguments adapted to the Proca field, with the new step being A_τ|ρ=0=0 at each order from a sum-of-squares argument. The induction concludes ∂_i X^{(n+1)}|ρ=0=0 in Eq. (3.61). Section 4 considers a more general vector field with all D components dynamical and proves the law for a restricted subclass (Case I), while showing that the general case is not amenable to the same argument.

Significance. If valid, this is a meaningful generalization of the zeroth-law proofs in [24,25] to non-gauge vector fields, filling a gap for Proca fields in higher-derivative EFT. The proof avoids explicit computation of the higher-order terms and relies only on boost-weight structure; the leading-order and first-subleading-order computations are explicit and the overall strategy is clear. The paper is also commendably honest in Section 4, where it identifies a class of vector theories for which the argument fails and does not overclaim. The main risks are the rigor of the boost-weight argument in the presence of A_r and the notation/scope of the induction step around Eqs. (3.56)–(3.58). These appear fixable, but as written they leave gaps in the central claim.

major comments (2)
  1. [§3.3, Eqs. (3.51)–(3.58)] The source terms are defined as E^{[n+1]}[g^{[n]},A^{[n]}] in Eq. (3.51), but the transformation and vanishing argument in Eqs. (3.56)–(3.58) are applied to E^{[n]}, not to E^{[n+1]}. The extra α^{n+1}E^{(n+1)} piece of the source is not separately shown to vanish. Moreover, Eq. (3.57) uses exp(C^{(0)}/2 τ), whereas the coordinate transformation (3.54) and metric (3.55) are defined with C^{[n]}; since C^{[n]}=C^{(0)}+O(α), this can affect the α^{n+1} coefficient. The induction as written therefore does not prove that the source part of the (n+1)-order EOM vanishes. Please correct the notation and either apply the boost-weight argument to the full E^{[n+1]} or explain separately why E^{(n+1)}[g^{[n]},A^{[n]}] vanishes at the horizon.
  2. [§3.2, Eqs. (3.29)–(3.32) and footnote 2] The claim that after using A_τ=ρψ only ∂_v carries positive boost weight is not established for terms involving A_r. Equation (3.29) gives A_r = (C/2) v A_ρ(Crv/2,x), an explicit v times a function of rv. Footnote 2 checks only ∂_v^2 A_r. In general, a term with m factors of A_r and q factors of ∂_r has boost weight −(m+q), so a +1-weight term requires m+q+1 factors of ∂_v; the counting of explicit v/r factors then makes the term vanish at r=0. This counting is not provided. Since the arbitrary-order induction in §3.3 relies on the same assertion, the proof is incomplete without a general lemma. Please state and prove such a lemma.
minor comments (4)
  1. [§3.2, Eq. (3.40)] The text says “multiply (3.30)”, but the object to be multiplied is the vector EOM component from Eq. (3.38), not Eq. (3.30).
  2. [§3.2, Eq. (3.38) and Appendix A.2] The notation (m^{(0)})^2 and m^{(1)} suggests that the Proca mass is expanded in α, but the mass term is treated as leading order in the action (2.2). If m is not expanded, use m^2 throughout.
  3. [§3.2, Eqs. (3.22) and (3.33)] The first term on the right-hand side should be −(α/2) ∂_iX^{(1)}, not α∂_iX^{(1)}, since R_{τi}=-1/2∂_iX at the horizon (Eq. 3.13). The final conclusion ∂_iX^{(1)}=0 is unaffected, but the displayed equation is incorrect as written.
  4. [§3.3, Eq. (3.57)] Independently of the E^{[n]} vs E^{[n+1]} issue, the exponential factor must use C^{[n]}, not C^{(0)}, to match the coordinate transformation (3.54). The current formula is only correct at n=0.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the zeroth law is derived by induction from the equations of motion, not assumed or fitted.

full rationale

The paper's central claim is ∂_i X^{(n+1)}|_{ρ=0}=0 at each EFT order, obtained by an induction whose base case (leading-order Einstein-Proca) is solved directly from E^{(0)}_{τi} and E^{(0)}_τ without assuming the result. The induction step isolates a homogeneous part linear in (g^{(n+1)},A^{(n+1)}) and a source part built from lower-order data; the appendices compute the relevant horizon components. The boost-weight framework and the universal homogeneous structure are imported from [24] (one coauthor, P. Biswas, overlaps), but they are used as a method and a linearization fact, not as an unverified premise that already contains the Proca result; the specifically Proca input, \tilde A_v=rZ(rv,x), is derived from the previously established A_τ|ρ=0=0 condition rather than assumed. The source-vanishing claim rests on a boost-weight argument whose presentation has a small gap—Eqs. (3.56)-(3.58) explicitly transform E^{[n]} while the source in (3.51) is E^{[n+1]}, and footnote 2 only sketches the A_r terms—but this is a completeness/rigor issue, not circularity: at no point is ∂_iκ=0 plugged back in to force itself, no parameter is fitted and renamed a prediction, and no uniqueness/ansatz is smuggled through self-citation. The authors also honestly flag the cases (Section 4, Case II) where the argument fails. The derivation is therefore self-contained in the sense relevant to circularity analysis.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof rests on imported gauge choices and the boost weight framework from self-cited prior work, plus a compactness/positivity assumption used to force A_τ to vanish on the horizon. There are no free parameters and no invented entities.

assumptions (5)
  • domain assumption A stationary Killing horizon with Killing vector ∂_τ admits the Gaussian-type coordinate system (2.9) with horizon at ρ=0.
    Standard near-horizon gauge used throughout; cited to [12,24] at the start of section 2.
  • domain assumption The EFT expansion is a valid perturbative scheme: the action is organized by derivative count with α as the expansion parameter, and solutions admit the formal expansions (2.8), (3.3).
    Section 2 establishes the framework; the proof is manifestly perturbative and a nonperturbative proof is left open in section 5.
  • domain assumption Boost weight classification: any covariant tensor of positive boost weight, evaluated on a stationary configuration that depends on coordinates through the product rv, vanishes on the horizon r=0; the Proca component A_v on a stationary solution takes the form r Z(rv,x) and therefore carries its boo
    Core technical input from [10-12,24], summarized in appendix B and used to kill source terms at all orders (Eqs. 3.30-3.32, 3.51-3.58).
  • domain assumption The horizon cross-section C is a compact manifold without boundary and h^ij is positive definite, so the integral of a sum of negative definite squares vanishes only if each square vanishes.
    Used in Eqs. (3.18), (3.40), (4.7) to conclude A_τ vanishes on the horizon.
  • ad hoc to paper The homogeneous part of the equation of motion at order n+1 has the universal structure (3.47)-(3.48) as asserted by reference to appendix D of [24].
    Load-bearing for the induction; not rederived in this text; the companion paper shares an author.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Zeroth law of black hole thermodynamics for higher derivative Proca theories." pith.science (2026). https://pith.science/paper/ARQBCAZY

@misc{pith2026250909516,
  author       = {Pith},
  title        = {Pith review of: Zeroth law of black hole thermodynamics for higher derivative Proca theories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ARQBCAZY}},
  note         = {Machine review of arXiv:2509.09516}
}
abstract

We prove the constancy of surface gravity across a Killing horizon (not necessarily of bifurcate type) in arbitrary higher curvature theories of gravity coupled to Proca fields $-$ vector fields lacking $U(1)$ gauge invariance $-$ thus generalizing the zeroth law to this broader class of theories. This is achieved within the framework of effective field theory, where higher curvature contributions are treated perturbatively around the leading two derivative theory. The result holds to arbitrary order in the effective field theory expansion. The proof is based on boost-weight arguments; implementing these arguments in the presence of a Proca field introduces subtleties beyond those encountered in the pure-gravity case, which we address here.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A comparison of two constructions for dynamical corrections to Wald entropy

    hep-th 2026-07 conditional novelty 5.0 of 10

    For small perturbations, the dynamical entropy S_dyn and Wall's entropy S_Wall satisfy S_dyn = (1-v∂_v)S_Wall, and this paper gives a local algorithm that reconstructs S_Wall from S_dyn once a bifurcation-surface cond...

Reference graph

Works this paper leans on

35 extracted references · 32 linked inside Pith · cited by 1 Pith paper

  1. [1]

    J. D. Bekenstein,Black holes and entropy,Phys. Rev. D7(1973) 2333

    1973

  2. [2]

    J. M. Bardeen, B. Carter and S. W. Hawking,The Four laws of black hole mechanics,Commun. Math. Phys.31(1973) 161

    1973

  3. [3]

    S. W. Hawking,Particle Creation by Black Holes,Commun. Math. Phys.43(1975) 199

    1975

  4. [4]

    R. M. Wald,Black hole entropy is the Noether charge,Phys. Rev. D48(1993) R3427 [gr-qc/9307038]

    arXiv 1993

  5. [5]

    Iyer and R

    V. Iyer and R. M. Wald,Some properties of Noether charge and a proposal for dynamical black hole entropy,Phys. Rev. D50(1994) 846 [gr-qc/9403028]. – 23 –

    arXiv 1994

  6. [6]

    Jacobson, G

    T. Jacobson, G. Kang and R. C. Myers,On black hole entropy,Phys. Rev. D49(1994) 6587 [gr-qc/9312023]

    arXiv 1994

  7. [7]

    Jacobson and R

    T. Jacobson and R. C. Myers,Black hole entropy and higher curvature interactions,Phys. Rev. Lett. 70(1993) 3684 [hep-th/9305016]

    arXiv 1993

  8. [8]

    Sarkar and A

    S. Sarkar and A. C. Wall,Generalized second law at linear order for actions that are functions of Lovelock densities,Phys. Rev. D88(2013) 044017 [1306.1623]

    arXiv 2013

Show all 35 references
  1. [9]

    Bhattacharjee, S

    S. Bhattacharjee, S. Sarkar and A. C. Wall,Holographic entropy increases in quadratic curvature gravity,Phys. Rev. D92(2015) 064006 [1504.04706]

    2015 arXiv

  2. [10]

    A. C. Wall,A Second Law for Higher Curvature Gravity,Int. J. Mod. Phys. D24(2015) 1544014 [1504.08040]

    2015 arXiv

  3. [11]

    Bhattacharya, S

    J. Bhattacharya, S. Bhattacharyya, A. Dinda and N. Kundu,An entropy current for dynamical black holes in four-derivative theories of gravity,JHEP06(2020) 017 [1912.11030]

    2020 arXiv

  4. [12]

    Bhattacharyya, P

    S. Bhattacharyya, P. Dhivakar, A. Dinda, N. Kundu, M. Patra and S. Roy,An entropy current and the second law in higher derivative theories of gravity,JHEP09(2021) 169 [2105.06455]

    2021 arXiv

  5. [13]

    A. C. Wall and Z. Yan,Linearized second law for higher curvature gravity and nonminimally coupled vector fields,Phys. Rev. D110(2024) 084005 [2402.05411]

    2024 arXiv

  6. [14]

    Biswas, P

    P. Biswas, P. Dhivakar and N. Kundu,Non-minimal coupling of scalar and gauge fields with gravity: an entropy current and linearized second law,JHEP12(2022) 036 [2206.04538]

    2022 arXiv

  7. [15]

    Bhattacharyya, P

    S. Bhattacharyya, P. Jethwani, M. Patra and S. Roy,Reparametrization symmetry of local entropy production on a dynamical horizon,Phys. Rev. D108(2023) 104032 [2204.08447]

    2023 arXiv

  8. [16]

    Chandranathan, S

    A. Chandranathan, S. Bhattacharyya, M. Patra and S. Roy,Entropy current and fluid-gravity duality in Gauss-Bonnet theory,JHEP09(2023) 070 [2208.07856]

    2023 arXiv

  9. [17]

    Hollands, A

    S. Hollands, A. D. Kov´ acs and H. S. Reall,The second law of black hole mechanics in effective field theory,JHEP08(2022) 258 [2205.15341]

    2022 arXiv

  10. [18]

    Davies and H

    I. Davies and H. S. Reall,Dynamical Black Hole Entropy in Effective Field Theory,JHEP05(2023) 006 [2212.09777]

    2023 arXiv

  11. [19]

    Davies and H

    I. Davies and H. S. Reall,Nonperturbative Second Law of Black Hole Mechanics in Effective Field Theory,Phys. Rev. Lett.132(2024) 171402 [2312.07659]

    2024 arXiv

  12. [20]

    Hollands, R

    S. Hollands, R. M. Wald and V. G. Zhang,Entropy of dynamical black holes,Phys. Rev. D110 (2024) 024070 [2402.00818]

    2024 arXiv

  13. [21]

    M. R. Visser and Z. Yan,Properties of dynamical black hole entropy,JHEP10(2024) 029 [2403.07140]

    2024 arXiv

  14. [22]

    Bhattacharyya, P

    S. Bhattacharyya, P. Biswas and N. Kundu,A classical Bousso bound for higher derivative corrections to general relativity,JHEP02(2025) 047 [2403.16658]

    2025 arXiv

  15. [23]

    A. Kar, P. Dhivakar, S. Roy, B. Panda and A. Shaikh,Iyer-Wald ambiguities and gauge covariance of Entropy current in Higher derivative theories of gravity,JHEP07(2024) 016 [2403.04749]

    2024 arXiv

  16. [24]

    Bhattacharyya, P

    S. Bhattacharyya, P. Biswas, A. Dinda and N. Kundu,The zeroth law of black hole thermodynamics in arbitrary higher derivative theories of gravity,JHEP10(2022) 013 [2205.01648]

    2022 arXiv

  17. [25]

    Davies,Zeroth and second laws of black hole mechanics in Einstein-Maxwell-scalar effective field theory,Phys

    I. Davies,Zeroth and second laws of black hole mechanics in Einstein-Maxwell-scalar effective field theory,Phys. Rev. D109(2024) 084051 [2401.13075]

    2024 arXiv

  18. [26]

    Heisenberg, R

    L. Heisenberg, R. Kase and S. Tsujikawa,Beyond generalized Proca theories,Phys. Lett. B760 (2016) 617 [1605.05565]

    2016 arXiv

  19. [27]

    Heisenberg,Generalization of the Proca Action,JCAP05(2014) 015 [1402.7026]

    L. Heisenberg,Generalization of the Proca Action,JCAP05(2014) 015 [1402.7026]. – 24 –

    2014 arXiv

  20. [28]

    de Rham, S

    C. de Rham, S. Melville, A. J. Tolley and S.-Y. Zhou,Positivity Bounds for Massive Spin-1 and Spin-2 Fields,JHEP03(2019) 182 [1804.10624]

    2019 arXiv

  21. [29]

    V. M. Pozsgay,Consistency of scalar and vector effective field theories, Ph.D. thesis, 2023. 2308.05172. 10.25560/106409

    2023 arXiv

  22. [30]

    J. F. Donoghue,General relativity as an effective field theory: The leading quantum corrections, Phys. Rev. D50(1994) 3874 [gr-qc/9405057]

    1994 arXiv

  23. [31]

    de Rham,Massive Gravity,Living Rev

    C. de Rham,Massive Gravity,Living Rev. Rel.17(2014) 7 [1401.4173]

    2014 arXiv

  24. [32]

    Banerjee and J

    N. Banerjee and J. Singh,Massless limit of massive self-interacting vector fields,2505.22119

    arXiv

  25. [33]

    De Felice and A

    A. De Felice and A. Hell,On the cosmological degrees of freedom of Proca field with non-minimal coupling to gravity,JHEP07(2025) 228 [2503.07454]

    2025 arXiv

  26. [34]

    ¨Ozsoy and G

    O. ¨Ozsoy and G. Tasinato,Vector dark matter, inflation, and non-minimal couplings with gravity, JCAP06(2024) 003 [2310.03862]

    2024 arXiv

  27. [35]

    de Rham and V

    C. de Rham and V. Pozsgay,New class of Proca interactions,Phys. Rev. D102(2020) 083508 [2003.13773]. – 25 –

    2020 arXiv

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.