{"id":"de7b1aca-b6d8-49af-85ff-e9cdba8942e8","arxiv_id":"2509.00628","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A conference summary presenting the generalized focusing theorem and Wall entropy for diffeomorphism-invariant gravity theories, with a proposed condition for higher-spin fields.","lead":"This paper summarizes recent results on how light-ray focusing and horizon entropy behave in general theories of gravity with higher-curvature corrections. It explains how a generalized expansion can be defined on perturbed black hole horizons, and proposes a consistency condition for higher-spin fields.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Focusing theorem and Wall entropy rest on unproven uniqueness of (ς,J^i) and the GLRE identity (5); the review delegates all support to [1,4].","rationale":"The reader identified as the weakest assumption the assertion that the GLRE takes the form (5) and that the Wall entropy density-current is uniquely defined. My stress-test reaches the same conclusion: the paper's central theorem and its thermodynamic consequences are load-bearing consequences of Eq. (5) and the uniqueness of (ς,J^i), neither of which is proved in this proceedings summary. The paper is explicitly a review of [1,2], so the absence of derivations is not fraudulent; it simply means the claims cannot be verified from the text alone. Thus the reader's verdict of UNVERDICTED is appropriate, and I would not change it. The concern is not an identified error but a missing proof of a critical step; the concrete test would settle whether the concern lands by checking a specific theory and the ambiguity structure.","tokens_in":4655,"tokens_out":7903,"duration_ms":103319,"concrete_test":"For F(R)=R+αR² gravity, independently re-derive the linearized off-shell identity on a perturbed Schwarzschild Killing horizon in Gaussian null coordinates: compute 2πE_ab k^a k^b from the linearized field equations and compare with -∂_v(∂_vς + D_iJ^i) + O(ε²) using the entropy density-current defined in Wall-Yan [1]. Then apply a JKM improvement generated by a local covariant boundary term and check whether the modified pair also satisfies the identity with a different integrated entropy. If the identity fails beyond O(ε²), or if a JKM-improved pair preserves the identity but changes ∫ς, the claimed uniqueness (Sec. 4(c)) and hence the well-defined Wall entropy are falsified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that a generalised expansion Θ exists with ∂_vΘ = -2πT_ab k^a k^b on a perturbed Killing horizon, and that its integral defines a well-defined Wall entropy—depends on two assertions that this paper states but does not prove. First, Eq. (5) is a nontrivial off-shell identity: for any DIT with Lagrangian (4), 2πE_ab k^a k^b = -∂_vΘ + O(ε²). If additional same-order terms survive, the 'generalised Raychaudhuri equation' fails and the inequality (7) does not follow. Second, the paper claims (Sec. 4(c)) that the entropy density-current (ς,J^i) is unique and free of Jacobson-Kang-Myers ambiguities. This uniqueness is essential: a JKM-type shift (ς,J^i) → (ς+∂_iβ^i, J^i-∂_vβ^i) would leave Eq. (5) unchanged if β^i is a local covariant expression, but would alter the integrated entropy ∫_C ς dA unless the boundary term vanishes exactly on every horizon cross-section. The paper provides no argument ruling this out, only citations to [1,4]. Additionally, Eq. (7) drops the O(ε²) remainder, so the literal statement 'Θ never increases' is only a leading-order statement; finite-ε violations are not excluded, and the outlook admits this by aiming for a non-perturbative theorem. The most load-bearing weakness is thus the unproved identity (5) and the claim of uniqueness that makes the entropy well-defined.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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].","tokens_in":5059,"tokens_out":3703,"duration_ms":47007,"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":[{"comment":"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.","section":"Sec. 3, Eq. (5)"},{"comment":"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.","section":"Sec. 4(c), Eq. (8)"},{"comment":"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.","section":"Sec. 3, Eq. (7)"},{"comment":"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.","section":"Sec. 5, Eq. (11)"}],"minor_comments":[{"comment":"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.","section":"Sec. 3, Eq. (6)"},{"comment":"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.","section":"Sec. 4, Eq. (8)"},{"comment":"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.","section":"Sec. 4, Eq. (9)"},{"comment":"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.","section":"General"},{"comment":"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.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"This is a proceedings-style summary that leans almost entirely on the author's own prior papers [1,2] and [4]. The core equations are presented as theorems of those works, but the manuscript does not state the precise hypotheses or proof structure, making it difficult for a reader to assess correctness independently. For a journal that publishes short review/announcement pieces, this may be acceptable after revision; for a standard research paper, the lack of any derivation is a substantive gap. I recommend major revision to either include the necessary mathematical statements or explicitly reframe the paper as a review with appropriate caveats."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a conference proceedings review of the author's own recent work with Wall, not a new research preprint. The paper says as much in the introduction. If you pick it up expecting a self-contained proof of the generalized focusing theorem or Wall entropy, you'll be disappointed: the central equations (5), (7), and (10) are stated without derivation, with the proofs deferred to [1,2,4]. But that's not a fatal flaw—it's a review. The author is transparent about what is prior work and what is new (the higher-spin focusing condition is from [2], and the outlook is speculative).\n\nWhat the paper does well: it gives a clear, compact overview of why the geometric Raychaudhuri equation fails in higher-curvature theories, what the generalized expansion Θ is supposed to do, and how Wall entropy arises as a codimension-2 integral. The structure is logical, and the higher-spin discussion ties the focusing condition to gauge symmetry in a concrete example. For a reader new to this program, it's a useful entry point.\n\nThe soft spots are mostly the flip side of being a review. The uniqueness claim for (ς,J^i) (Sec. 4(c)) is asserted with citations but not argued. The stress-test note is right that a JKM-type shift would leave Eq. (5) invariant but change the integrated entropy unless boundary terms vanish; the paper gives no argument here. That said, this is a known issue that the underlying papers presumably address—I would not judge this proceedings article for not reproducing the proof. Also, Eq. (7) drops the O(ε²) remainder, so the focusing theorem is explicitly leading-order; the author acknowledges this in the outlook. The citation pattern is heavily self-referential, but that's appropriate for a summary of the author's own work. The claims are plausible and important if true, but this text alone does not establish them.\n\nWho is this for? Someone who wants a quick overview of the Wall-Yan program and a pointer to the primary literature. It deserves a serious referee if submitted to a proceedings volume—the referee should check the summary is accurate and the attribution is correct, not demand new derivations. I would not cite this in my own work when I can cite [1] and [2] directly, but I'd be happy to pass it to a student as a starting point.","headline":"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.","tokens_in":5409,"tokens_out":1358,"would_cite":false,"duration_ms":18638,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.-s","04.20.-q"],"model":"deepseek-v4-flash","headline":"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","keywords":["generalized focusing theorem","Wall entropy","Raychaudhuri equation","diffeomorphism-invariant theories","null energy condition","Killing horizon","higher-spin focusing condition","black hole thermodynamics"],"falsifier":"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.","tokens_in":4581,"feed_emoji":"🕳️","tokens_out":8592,"duration_ms":86719,"temperature":0.7,"pith_summary":"This paper reviews a recent result: in any diffeomorphism-invariant theory of gravity coupled to scalar or vector fields, light rays still focus under the null energy condition, provided their convergence is measured not by geometric area but by a generalized expansion built from an entropy density-current. On a linearly perturbed Killing horizon, the null-null gravitational equation of motion becomes a generalized Raychaudhuri equation whose right-hand side is controlled by the matter stress tensor, giving ∂vΘ ≤ 0. The paper defines the resulting 'Wall entropy' as the integral of that density and shows it satisfies a physical-process first law and a second law, reducing to Bekenstein-Hawking and Wald entropy in the appropriate limits. For higher-spin fields, an extra indefinite term appears; the paper proposes requiring it to vanish as a physical consistency condition, tying light-ray focusing to the viability of higher-spin theories.","feed_headline":"Modified gravity still focuses light, via Wall entropy","feed_subtitle":"When area fails, an entropy-based expansion keeps light rays converging and obeys a second law.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Establishes the generalised linear Raychaudhuri equation for pure gravity and scalar/vector matter, the core identity this review builds on.","marker":"[1]"},{"why":"Derives the indefinite term L_ξ P_2 for higher-spin fields and formulates the higher-spin focusing condition.","marker":"[2]"},{"why":"Original Raychaudhuri equation whose geometric focusing theorem is generalised here.","marker":"[3]"},{"why":"Defines the Wall entropy density-current (ς, J) and argues for its uniqueness and absence of Jacobson-Kang-Myers ambiguities.","marker":"[4]"},{"why":"Noether charge formalism used to relate horizon entropy to conserved charges and underpin the first-law derivation.","marker":"[9]"},{"why":"Wald entropy, the stationary-horizon limit to which Wall entropy reduces.","marker":"[11]"},{"why":"Shows covariance and independence from Gaussian null coordinates, supporting the geometric well-definedness of the entropy density.","marker":"[12]"}],"fun_headline_variants":["Wall entropy replaces area in generalized focusing theorem","Generalized focusing theorem makes Wall entropy increase","Higher-spin fields require entropy-based focusing to be physical","When area fails, Wall entropy ensures light-ray focusing","Diffeomorphism-invariant gravity: Wall entropy takes over"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Wall entropy replaces area in generalized focusing theorem","Generalized focusing theorem makes Wall entropy increase","Higher-spin fields require entropy-based focusing to be physical","When area fails, Wall entropy ensures light-ray focusing","Diffeomorphism-invariant gravity: Wall entropy takes over"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000454,"raw_usage":{"total_tokens":2091,"prompt_tokens":686,"completion_tokens":1405,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":430,"completion_tokens_details":{"reasoning_tokens":1341}},"tokens_in":430,"tokens_out":1405,"duration_ms":16908,"temperature":1.0,"reasoning_tokens":1341,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T13:22:31.382275+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Gravitational focusing and horizon entropy for higher-spin fields","cited_arxiv_id":"2412.07107","evidence_quote":"Derives the indefinite term L_ξ P_2 for higher-spin fields and formulates the higher-spin focusing condition."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Original Raychaudhuri equation whose geometric focusing theorem is generalised here."}],"review_version":1}