Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

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.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-04 18:56 UTC pith:ARQBCAZY

load-bearing objection 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]. the 2 major comments →

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

Zeroth law of black hole thermodynamics for higher derivative Proca theories

Parthajit Biswas , Alokananda Kar , Anowar Shaikh This is my paper
classification hep-th
keywords zeroth lawblack hole thermodynamicsProca fieldhigher-derivative gravityeffective field theorysurface gravityKilling horizonboost weight
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

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.

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^{(

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

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.

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 this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

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.

Where Pith is reading between the lines

These are 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, 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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 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.

axioms (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.

pith-pipeline@v1.3.0-alltime-deepseek · 24069 in / 15282 out tokens · 171088 ms · 2026-08-04T18:56:27.637376+00:00 · methodology

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}
}
Share X Bluesky LinkedIn Reddit HN
read the original 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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

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

    hep-th 2026-07 conditional novelty 5.0

    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]

    Pith/arXiv 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 –

    Pith/arXiv 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]

    Pith/arXiv 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]

    Pith/arXiv 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]

    Pith/arXiv arXiv 2013

  9. [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]

    Pith/arXiv arXiv 2015

  10. [10]

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

    Pith/arXiv arXiv 2015

  11. [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]

    Pith/arXiv arXiv 2020

  12. [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]

    Pith/arXiv arXiv 2021

  13. [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]

    Pith/arXiv arXiv 2024

  14. [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]

    Pith/arXiv arXiv 2022

  15. [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]

    Pith/arXiv arXiv 2023

  16. [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]

    Pith/arXiv arXiv 2023

  17. [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]

    Pith/arXiv arXiv 2022

  18. [18]

    Davies and H

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

    Pith/arXiv arXiv 2023

  19. [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]

    Pith/arXiv arXiv 2024

  20. [20]

    Hollands, R

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

    Pith/arXiv arXiv 2024

  21. [21]

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

    Pith/arXiv arXiv 2024

  22. [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]

    Pith/arXiv arXiv 2025

  23. [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]

    Pith/arXiv arXiv 2024

  24. [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]

    Pith/arXiv arXiv 2022

  25. [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]

    Pith/arXiv arXiv 2024

  26. [26]

    Heisenberg, R

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

    Pith/arXiv arXiv 2016

  27. [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 –

    Pith/arXiv arXiv 2014

  28. [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]

    Pith/arXiv arXiv 2019

  29. [29]

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

    Pith/arXiv arXiv 2023

  30. [30]

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

    Pith/arXiv arXiv 1994

  31. [31]

    de Rham,Massive Gravity,Living Rev

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

    Pith/arXiv arXiv 2014

  32. [32]

    Banerjee and J

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

    Pith/arXiv arXiv

  33. [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]

    Pith/arXiv arXiv 2025

  34. [34]

    ¨Ozsoy and G

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

    Pith/arXiv arXiv 2024

  35. [35]

    de Rham and V

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

    Pith/arXiv arXiv 2020