REVIEW 4 major objections 5 minor 17 references
The paper argues that in any diffeomorphism-invariant gravity theory with scalar or vector matter, light rays focus when convergence is measured by Wall entropy, not area, and that higher-spin theories must satisfy a focusing condition to b
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 →
A conference summary presenting the generalized focusing theorem and Wall entropy for diffeomorphism-invariant gravity theories, with a proposed condition for higher-spin fields.
T0 review reviewed 2026-08-05 challenge →
load-bearing objection A clean, honest proceedings summary of the author's own program with Wall; no new results, so judge it as a review, not a research paper. the 4 major comments →
Generalised focusing theorem and dynamical horizon entropy in diffeomorphism-invariant theories
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The central claim is that in any diffeomorphism-invariant theory of gravity coupled to scalar or vector matter, the off-shell null-null component of the gravitational equation of motion, evaluated on a linearly perturbed Killing horizon, reduces to 2πE_ab k^a k^b = -∂vΘ + O(ε²), with Θ = ∂vς + DiJ^i. This defines a generalized expansion Θ whose evolution is controlled by the stress tensor: ∂vΘ = -2πT_ab k^a k^b ≤ 0 under the null energy condition. The density ς integrates to the Wall entropy S_Wall = ∫_C ς dA, which satisfies the physical-process first law (κ/2π ΔS_Wall = ΔM - Ω_H ΔJ) and the second law ∂vS_Wall ≥ 0. When higher-spin fields are present, an extra indefinite term L_ξ P_2 appea
What carries the argument
The load-bearing object is the generalized linear Raychaudhuri equation (GLRE): 2πE_ab k^a k^b = -∂vΘ + O(ε²) on a linearly perturbed Killing horizon, where Θ = ∂vς + DiJ^i is the generalized expansion built from the Wall entropy density-current (ς, J^i). This identity converts the off-shell gravitational equations into a statement about how the entropy density evolves along the horizon, and it is what makes the focusing theorem and the entropy laws follow.
Load-bearing premise
The paper assumes that every diffeomorphism-invariant gravity theory has a unique 'entropy density' whose rate of change along a perturbed horizon exactly captures the null-null field equations; it cites earlier work for this rather than proving it here.
What would settle it
Take a specific diffeomorphism-invariant Lagrangian beyond Einstein gravity (e.g., with a chosen higher-curvature term), perturb a Killing horizon with a scalar source, and check whether the order-ε null-null equation has a residual term not expressible as -∂v(∂vς + DiJ^i) with a locally constructed (ς, J). If such a residual exists for any such theory, the universal GLRE is false.
If this is right
- If the GLRE holds universally, gravity remains 'attractive' in all diffeomorphism-invariant theories with scalar or vector matter: under the null energy condition, the generalized expansion Θ never increases along a perturbed Killing horizon.
- Wall entropy is a viable dynamical horizon entropy: it satisfies the physical-process first law and the second law ∂vS_Wall ≥ 0 for perturbations of a Killing horizon, making it a candidate entropy for non-stationary horizons.
- Wall entropy interpolates between known entropies: it reduces to Bekenstein-Hawking entropy in general relativity and to Wald entropy for stationary horizons, and matches holographic entanglement entropy for f(Riemann) theories, unifying these notions through the generalized focusing theorem.
- For higher-spin theories, the higher-spin focusing condition (L_ξ P_2 = 0, often achievable by gauge-fixing away boost-weight ≥ 2 components near the horizon) becomes a necessary consistency requirement; theories violating it cannot support a well-defined focusing theorem or entropy.
- The results motivate an 'entropic geometry' picture: the Riemannian metric's role in focusing is replaced by the entropy density-current (ς, J), suggesting that horizon thermodynamics is encoded in an effective entropic geometry.
Where Pith is reading between the lines
- If the linear-order GLRE extends to higher orders in perturbation theory, a fully nonlinear generalized Raychaudhuri equation may yield a nonperturbative focusing theorem, strengthening singularity and area theorems beyond general relativity; the paper lists this as future work.
- The higher-spin focusing condition offers a practical test: one could scan known higher-spin gravity models (e.g., various 3d higher-spin black holes) to see which satisfy L_ξ P_2 = 0; those that do not would be disfavoured as physical theories even if they pass other consistency checks.
- The apparent-horizon identification S_HWZ = S_Wall[A_gen] suggests that the generalized expansion Θ defines a preferred 'generalized apparent horizon' in any diffeomorphism-invariant theory, which could serve as a quasi-local horizon definition in modified gravity.
- If the conjectured full equivalence between Wall entropy and holographic entanglement entropy holds, the generalized focusing theorem would imply a version of entanglement-driven focusing, strengthening the connection between spacetime geometry and quantum entanglement.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper, based on a GR24-Amaldi16 talk, summarises recent work by the author and A. Wall on a generalised light-ray focusing theorem and a dynamical horizon entropy in diffeomorphism-invariant theories (DIT). It states that on a linearly perturbed Killing horizon the null-null component of the gravitational equation of motion takes the form 2π E_ab k^a k^b = −∂_v Θ + O(ε²), with Θ = ∂_v ς + D_i J^i (Eqs. (5)–(6)), and that this yields a generalised focusing theorem ∂_v Θ = −2π T_ab k^a k^b ≤ 0 under the null energy condition (Eq. (7)). The integral of ς over a cross-section defines the Wall entropy (Eq. (8)), for which a physical process first law and a second law are claimed (Eqs. (9)–(10)). For higher-spin fields an extra indefinite term L_ξ P_2 appears (Eq. (11)), and the paper proposes the higher-spin focusing condition L_ξ P_2 = 0 as a physical consistency constraint. No derivations are provided in the text; the results are attributed to references [1,2,4].
Significance. If the underlying results are correct, this programme gives a unified, Lagrangian-independent formulation of light-ray focusing and horizon entropy, extending the Raychaudhuri equation and the second law to higher-curvature theories and providing a potential consistency criterion for higher-spin theories. The paper also connects Wall entropy to Wald, Dong, and Holland-Wald-Zhang entropies, which would be valuable. However, the manuscript as submitted is a very condensed proceedings summary: the central identities are asserted, not demonstrated, and the text does not specify the exact hypotheses under which they hold. The significance is therefore conditional on the correctness and uniqueness results obtained elsewhere, chiefly in the author's own prior work. The paper would be a useful contribution as a review or research announcement, but it is not self-contained as a research paper.
major comments (4)
- [Sec. 3, Eq. (5)] The GLRE, 2π E_ab k^a k^b = −∂_v Θ + O(ε²), is the central structural identity of the paper, but it is stated without derivation and with no specification of the allowed dependence of L on ∇^k R_{abcd}, ∇^k ϕ, ∇^k V, or the precise meaning of 'linear perturbation' beyond ε. Since Eqs. (7)–(10) all rest on this identity, the manuscript needs either a proof/outline of the derivation or an explicit theorem statement with hypotheses and a pointer to where the proof appears. Without this, a reader cannot distinguish a genuine generalisation from a definitional choice.
- [Sec. 4(c), Eq. (8)] The claim that the Wall entropy density-current (ς, J^i) is 'unique and does not suffer from Jacobson-Kang-Myers ambiguities' is load-bearing for the first and second laws, but it is only asserted with citations [1,4,9,10]. A JKM-type shift (ς, J^i) → (ς + ∂_i β^i, J^i − ∂_v β^i) would preserve Eq. (5) formally, and its effect on ∫_C ς dA must be shown to vanish on every horizon cross-section. The paper gives no argument, theorem statement, or boundary condition. This should be stated precisely, even if the proof is delegated to a reference.
- [Sec. 3, Eq. (7)] Eq. (7) drops the O(ε²) remainder that appears in Eq. (5) and is written as an equality. The theorem is therefore only a leading-order statement for linearly perturbed Killing horizons. The text's wording, 'the generalised expansion Θ never increases', and the subsequent second law in Eq. (10) do not carry the caveat that finite-ε violations are not excluded. The paper should either state the theorem with the explicit remainder and its order, or justify why the remainder cannot affect the monotonicity claim.
- [Sec. 5, Eq. (11)] The higher-spin focusing condition L_ξ P_2 = 0 is introduced as 'a physical consistency constraint', but P_2 is never defined, and the condition is not derived from any independent principle. The paper should clarify whether this is a conjecture, a consequence of gauge symmetry in specific theories, or a theorem with known sufficient conditions. The example in Eqs. (12)–(13) is too terse to verify that L_ξ P_2 indeed vanishes; for instance, the definition of the Gaussian null coordinates and the expression for φ in those coordinates are not given.
minor comments (5)
- [Sec. 3, Eq. (6)] The quantities D_i, J^i, and the index i are not defined. State explicitly that D_i is the covariant derivative on the codimension-2 cross-section and J^i is a spatial vector on it.
- [Sec. 4, Eq. (8)] The volume form dA on the cross-section C is not defined. It should be stated as the induced area element associated with the background horizon metric.
- [Sec. 4, Eq. (9)] The definition of the charges M and J and the role of the background Killing field ξ^a are implicit. Please define them, at least in a sentence, and clarify the boundary terms needed for the first-law integration.
- [General] The paper alternates between 'we prove' and 'we summarise' without clarifying which results are new in this manuscript and which are restated from [1,2,4]. A sentence distinguishing the contribution of this paper from the cited works would help.
- [References] Ref. [16] is listed as 'in preparation'; if cited for a specific claim (SHWZ[H] = SWall[Agen]), the statement should be clearly marked as contingent on unpublished work.
Circularity Check
No significant circularity: the paper is a proceedings review whose load-bearing identities are cited to prior published work; the focusing inequality is a direct corollary of the stated GLRE plus NEC, not a redefinition within this text.
full rationale
The paper does not derive Eq. (5) or the uniqueness of (ς,J^i) in the text; it explicitly presents them as results of Wall & Yan [1], Yan [2], and Wall [4]. In a review article, citing the original derivations is standard practice and does not itself constitute circularity. The generalized focusing theorem (7) follows from the asserted GLRE (5) by substituting E_ab=T_ab and imposing NEC; no fitted parameter is renamed as a prediction, and no output is used as an input. The uniqueness claim for Wall entropy is load-bearing, but it is backed by published, parameter-free prior work (even though co-authored by the present author), which counts as independent support under the review rules. The main weakness is that the text omits the proofs of (5) and of the uniqueness theorem, so the reader must consult [1,4]; that is a completeness/reference issue, not circularity. No specific equation in this manuscript reduces by construction to its own input, so no circular step is exhibited.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption The Lagrangian is an arbitrary function of the metric, Riemann tensor, and bosonic matter fields, as in Eq. (4).
- domain assumption The background spacetime contains a Killing horizon H, and perturbations are linear in order ε.
- domain assumption External matter satisfies the null energy condition T_ab k^a k^b ≥ 0.
- ad hoc to paper The higher-spin focusing condition L_ξ P2 = 0 is imposed as a physical consistency constraint.
Cite this review
Pith. "Pith review of Generalised focusing theorem and dynamical horizon entropy in diffeomorphism-invariant theories." pith.science (2026). https://pith.science/paper/JVNMRFNC
@misc{pith2026250900628,
author = {Pith},
title = {Pith review of: Generalised focusing theorem and dynamical horizon entropy in diffeomorphism-invariant theories},
year = {2026},
howpublished = {\url{https://pith.science/paper/JVNMRFNC}},
note = {Machine review of arXiv:2509.00628}
}
read the original abstract
I summarise recent progress on light-ray focusing and horizon thermodynamics in general diffeomorphism-invariant theories of gravity coupled to bosonic matter. In pure gravity and with scalar or vector fields, the null-null gravitational equation of motion on a linearly perturbed Killing horizon generalises the Raychaudhuri equation, defining a generalised expansion that never increases under the null energy condition. This proves a generalised focusing theorem and defines an increasing horizon entropy (Wall entropy). When higher-spin fields are present, the generalised focusing theorem persists subject to a "higher-spin focusing condition", which I propose as a physical consistency constraint on higher-spin theories.
Reference graph
Works this paper leans on
-
[1]
Wall A C and Yan Z 2024 Phys. Rev. D 110 084005 (Preprint 2402.05411)
Pith/arXiv arXiv 2024
-
[2]
Yan Z 2024 ( Preprint 2412.07107)
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[3]
Raychaudhuri A 1955 Phys. Rev. 98(4) 1123–1126 URL https://link.aps.org/doi/10.1103/ PhysRev.98.1123
work page 1955
-
[4]
Wall A C 2015 Int. J. Mod. Phys. D 24 1544014 (Preprint 1504.08040)
Pith/arXiv arXiv 2015
-
[5]
Bhattacharya J, Bhattacharyya S, Dinda A and Kundu N 2020 JHEP 06 017 (Preprint 1912.11030)
work page internal anchor Pith review Pith/arXiv arXiv 2020
-
[6]
Bhattacharyya S, Dhivakar P, Dinda A, Kundu N, Patra M and Roy S 2021 JHEP 09 169 (Preprint 2105.06455)
Pith/arXiv arXiv 2021
-
[7]
Biswas P, Dhivakar P and Kundu N 2022 JHEP 12 036 (Preprint 2206.04538)
work page internal anchor Pith review Pith/arXiv arXiv 2022
-
[8]
Deo I, Dhivakar P and Kundu N 2023 JHEP 11 114 (Preprint 2306.12491)
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[9]
Iyer V and Wald R M 1994 Phys. Rev. D 50 846–864 (Preprint gr-qc/9403028)
Pith/arXiv arXiv 1994
-
[10]
Jacobson T, Kang G and Myers R C 1994 Phys. Rev. D 49 6587–6598 (Preprint gr-qc/9312023)
Pith/arXiv arXiv 1994
-
[11]
Wald R M 1993 Phys. Rev. D 48 R3427–R3431 (Preprint gr-qc/9307038)
Pith/arXiv arXiv 1993
-
[12]
Hollands S, Kov´ acs A D and Reall H S 2022 JHEP 08 258 (Preprint 2205.15341)
Pith/arXiv arXiv 2022
-
[13]
Dong X 2014 JHEP 01 044 (Preprint 1310.5713)
Pith/arXiv arXiv 2014
-
[14]
Hollands S, Wald R M and Zhang V G 2024 Phys. Rev. D 110 024070 (Preprint 2402.00818)
Pith/arXiv arXiv 2024
-
[15]
Visser M R and Yan Z 2024 JHEP 10 029 (Preprint 2403.07140)
Pith/arXiv arXiv 2024
-
[16]
Hollands S, Visser M R, Wald R M, Yan Z and Zhang V G in preparation
-
[17]
Gutperle M and Kraus P 2011 JHEP 05 022 (Preprint 1103.4304)
Pith/arXiv arXiv 2011
This paper was first reviewed by deepseek-v4-flash on August 5, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.