{"id":"47430527-b380-4fa9-8f88-73f9f936ecd6","arxiv_id":"2509.09516","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The zeroth law of black hole thermodynamics holds to all perturbative orders for higher curvature Einstein-Proca effective field theories.","lead":"The authors prove that surface gravity, and hence temperature, is constant across a Killing horizon for higher derivative gravity theories coupled to Proca fields, to all orders in an effective field theory expansion. This extends recent zeroth law proofs from pure gravity and scalar or gauge fields to massive vector fields, a case with a subtlety the paper resolves.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proca source vanishing via boost weight is not fully established: A_r carries explicit v (Eq. 3.29) and the induction transforms E^[n] rather than E^[n+1] (Eqs. 3.56-3.58).","rationale":"The reader's weakest_assumption identifies the same load-bearing point: the boost-weight argument in the presence of a Proca field, specifically whether A_v = rZ is sufficient to guarantee that all positive-boost-weight source terms vanish. I agree this is the key logical hinge. The paper's treatment of A_v is credible and the sum-of-squares argument for A_τ=0 at each order is a genuine independent support. However, the full Proca configuration is not boost-invariant because A_r contains an explicit v factor (Eq. 3.29), and the paper does not show in detail that all higher-derivative combinations involving A_r still vanish at the horizon. The mismatch between E^{[n]} and E^{[n+1]} in Eqs. (3.56)-(3.58) is a presentation error that obscures whether the new source at order n+1 is actually being controlled. These are addressable gaps rather than demonstrated counterexamples, so the CONDITIONAL verdict is appropriate and no change is needed. A targeted computation of the source terms from the explicit L^(1) would settle the issue directly.","tokens_in":24325,"tokens_out":31460,"duration_ms":358905,"concrete_test":"Compute, for the explicit leading higher-derivative Lagrangian L^(1) in Eq. (2.4) (the four terms with coefficients a1..a4), the source contributions to E^{(1)}_τ and E^{(1)}_{τ i} evaluated on a generic stationary Einstein-Proca solution in the near-horizon coordinates (3.27)/(3.29), imposing only the already-proven leading-order conditions X^(0)=C+ρF and A_τ^(0)=ρψ (so A_v=rZ, A_r=(C/2)v A_ρ(rv,x)). If any term is nonzero at ρ=0, the first subleading-order induction fails; if all four terms vanish, repeat for the four-derivative example (2.5)-(2.6). This isolates the boost-weight claim from the rest of the argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The induction at arbitrary order rests on the claim (Sec. 3.2, Eq. (3.31), used again in Sec. 3.3) that after the coordinate transformation (3.25)/(3.54), the source terms \\tilde E^{[n+1]}_v and \\tilde E^{[n+1]}_{vi} vanish at r=0 because the only positive-boost-weight objects are ∂_v and factors of r. The Proca field is shown to satisfy \\tilde A_v = r Z(rv,x), which is harmless. But stationarity does not make the full Proca configuration boost-invariant: Eq. (3.29) gives \\tilde A_r = (C/2) v A_ρ(Crv/2,x), an explicit v times a function of rv, with boost weight -1. The paper never proves that every higher-derivative term built from A_r and its derivatives (e.g. ∂_v^2 A_r is O(r) and vanishes, while ∂_r A_r ~ v^2 does not) leaves the +1 boost-weight components of E^{[n+1]}_v and E^{[n+1]}_{vi} vanishing at r=0; footnote 2 only sketches one case. Moreover, Eqs. (3.56)-(3.58) transform E^{[n]}, not the actual source E^{[n+1]}[g^[n],A^[n]] defined in (3.51), and use C^(0) instead of C^[n]. If the omitted α^{n+1}E^{(n+1)} piece contributes a nonzero horizon value, the A_τ sum-of-squares step (3.59)-(3.60) becomes inhomogeneous and ∂_i X^{(n+1)}=0 fails.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":24799,"tokens_out":23111,"duration_ms":248588,"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":[{"comment":"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.","section":"§3.3, Eqs. (3.51)–(3.58)"},{"comment":"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.","section":"§3.2, Eqs. (3.29)–(3.32) and footnote 2"}],"minor_comments":[{"comment":"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).","section":"§3.2, Eq. (3.40)"},{"comment":"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.","section":"§3.2, Eq. (3.38) and Appendix A.2"},{"comment":"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.","section":"§3.2, Eqs. (3.22) and (3.33)"},{"comment":"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.","section":"§3.3, Eq. (3.57)"}],"recommendation":"major_revision","confidential_remarks":"The central result is likely correct and fits the journal's scope, but the induction step contains a concrete scope error (E^{[n]} vs E^{[n+1]} in the source) and a C^{(0)} vs C^{[n]} typo that affect the α^{n+1} order. The boost-weight argument for A_r needs to be made into an explicit counting lemma. These are fixable within the manuscript's framework, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it extends the zeroth law for higher-derivative gravities to Proca fields, where the lack of gauge invariance makes the boost-weight argument subtler than in the pure-gravity or scalar/gauge cases. The subtlety is real—A_v carries positive boost weight in the naive counting—and the resolution (A_v ~ r Z on stationary horizons) is sensible. The leading-order and first-subleading-order computations are explicit, internally consistent, and convincing. The paper also honestly explores a broader class of non-gauge vector theories in Section 4, showing that the zeroth law can fail when non-minimal curvature couplings are present. That diagnostic discussion is a useful addition, not padding.\n\nThe soft spot is in the all-orders induction of Section 3.3. The sources at order n+1 are E^[n+1][g^[n], A^[n]], but when the paper applies the boost-weight argument it transforms and analyzes E^[n], not E^[n+1]. Those differ by the explicit α^{n+1}E^(n+1) term evaluated on the lower-order fields. The paper concludes “the source terms vanish” from showing E^[n] vanishes, which does not follow unless one also shows E^(n+1)[g^[0], A^[0]] vanishes at the horizon. I suspect the same boost-weight argument can be applied to that term, and for n=0 the paper does exactly this, but as written the induction is missing that step. A referee should ask for that to be spelled out.\n\nThere is also a minor typo in Eq. (3.57), which uses C^(0) instead of C^[n] in the coordinate transformation prefactor. That is cosmetic—the prefactor is nonzero and does not affect the vanishing. The deeper structural claim about A_r is handled only in a footnote. A_r carries explicit v and ∂_v A_r does not vanish at r=0; the paper argues that reaching boost weight +1 requires either r or a factor of ∂_v on a function of rv, both of which vanish. I think that can be made rigorous, but it needs a more careful statement than the current footnote.\n\nWho gets value: anyone working on black hole thermodynamics in EFTs, especially on how matter sectors interact with the boost-weight framework. The paper deserves a serious referee. The core result is likely correct, but the induction should be rewritten cleanly and the Proca structural claim proven in more detail. I would accept it for peer review with requests for revision.\n\nReading group: maybe. Would cite: yes, if the gap is closed in a revised version. Serious thinker: yes.","headline":"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].","tokens_in":25235,"tokens_out":9342,"would_cite":true,"duration_ms":101492,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["zeroth law","black hole thermodynamics","Proca field","higher-derivative gravity","effective field theory","surface gravity","Killing horizon","boost weight"],"falsifier":"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.","tokens_in":24237,"feed_emoji":"🕳️","tokens_out":4889,"duration_ms":57818,"temperature":0.7,"pith_summary":"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.","feed_headline":"Black hole temperature stays uniform even with Proca fields","feed_subtitle":"Proca fields lack gauge symmetry, which threatened the boost-weight proof; the paper closes the gap at every order.","key_machinery":"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","core_discovery":"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^{(","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Zeroth law holds for black holes with Proca fields","Proca fields can't break black hole temperature constancy","Surface gravity uniform even with non-gauge vector fields","Black hole temperature proof extends to higher-derivative Proca"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Zeroth law holds for black holes with Proca fields","Proca fields can't break black hole temperature constancy","Surface gravity uniform even with non-gauge vector fields","Black hole temperature proof extends to higher-derivative Proca"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000147,"raw_usage":{"total_tokens":973,"prompt_tokens":648,"completion_tokens":325,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":392,"completion_tokens_details":{"reasoning_tokens":258}},"tokens_in":392,"tokens_out":325,"duration_ms":3702,"temperature":1.0,"reasoning_tokens":258,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T18:56:27.637376+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}