{"id":"5bd2e631-1cec-4ba4-b6d6-c53fb8771f83","arxiv_id":"2506.21747","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Near-horizon supertranslation charges in Lovelock gravity are nested curvature invariants weighted by a supertranslation function, and in four dimensions they reduce to the Jackiw-Teitelboim action.","lead":"The paper derives the conserved charges associated with infinite-dimensional symmetries near black hole horizons in higher-curvature gravity, valid in any spacetime dimension. It shows these charges generalize the Wald entropy formula and, in four dimensions, organize into the action of the Jackiw-Teitelboim model, a popular toy model for quantum gravity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The charge formula (8) and the vanishing central extension (12) are asserted, not derived; for p≥2 the covariant phase-space integrand can contain terms in D_iD_jΦ and h_i that are absent from (8), so the centrally-free algebra is not established.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing point: the charges and the vanishing central term rely on an unproved phase-space computation for higher-curvature Lovelock terms. My stress-test sharpens this into a specific missing piece: the Noether integrand can contain derivative-of-Φ and h_i-dependent terms that Eq. (8) omits, and the assertion K=0 in Eq. (12) is the most delicate step in the paper. The limiting checks in Eqs. (9)-(10), (17)-(19) test only constant Φ (entropy) and therefore cannot rule out these terms. I do not see an internal contradiction in the text, so this is a gap in evidence rather than a demonstrated error. The conditional verdict is appropriate: the paper should be accepted only if the phase-space computation, or an independent check such as the D=5 Gauss-Bonnet case, verifies (8) and K=0. Hence I leave the reader's verdict unchanged.","tokens_in":5749,"tokens_out":26779,"duration_ms":328785,"concrete_test":"Test the D=5 Einstein-Gauss-Bonnet case: insert the action (1) with p=1,2 into the Barnich-Brandt/Iyer-Wald covariant phase-space formalism, using the full metric (2)-(4) and vector (5) with arbitrary Φ(x) and a generic two-dimensional horizon metric. Compute the surface-charge integrand at ρ=0 and the central term K(χ1,χ2) in (11) by computer algebra (e.g. xAct). If the integrand differs from (8), or if K≠0, the central claim fails; if it reduces exactly to (8) with K=0, the concern is settled in the paper's favor.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim requires two unproved inputs: the surface-charge expression (8) and the vanishing central term (12). Both are stated in Sections II and III ('The result . . . reads' and 'it can be shown explicitly') without displaying the symplectic current, the Iyer-Wald boundary term, or the integrability analysis. In the covariant phase-space formalism, the charge integrand is built from the Lagrangian's Riemann-derivative tensor contracted with ∇_a χ_b and the horizon binormal. For the vector (5), ∇_a χ_b has components at ρ=0 beyond the κΦ term, including pieces involving D_iD_jΦ and h_i; a priori these can pair with the Lovelock curvature polynomials for p≥2 and produce contributions to Q[χ] that are not present in (8). Some may vanish by antisymmetry or boundary conditions, but the paper gives no argument that all do. If they do not, (8) is incomplete and the bracket (11) need not close with K=0, invalidating the advertised algebra (13)-(14). This is a gap in the derivation of the paper's own formula, not a dispute with consensus.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper claims that in Lovelock gravity, the near-horizon supertranslation charge takes the closed-form expression (8) for arbitrary spacetime dimension and arbitrary curvature order, and that the charge algebra is Diff(H)⋉C^∞(H) with zero central extension (12). The Φ=1 case is said to reproduce the Wald entropy formula, and the D=5 Einstein-Gauss-Bonnet and Nariai checks are given. In D=4 the charge is claimed to reduce to the Jackiw-Teitelboim action (20), with similar statements for extremal horizons (Eqs. (15)-(16)). The paper is written as a brief note extending the authors' earlier Einstein-gravity horizon-symmetry analysis to higher-curvature Lovelock theory.","tokens_in":5962,"tokens_out":8372,"duration_ms":99103,"significance":"If the central formula (8) and the centrally-free algebra (12) are correct, this is a valuable extension of near-horizon symmetry methods: it shows that the supertranslation charge is a nested topological invariant built from the intrinsic horizon curvature, thereby generalizing Wald entropy in a very natural way. The paper's consistency checks are meaningful: Φ=1 gives Wald entropy, the D=5 Gauss-Bonnet entropy and the Nariai entropy are reproduced, and the D=4 reduction to JT gravity is structurally appealing. However, the main claims are asserted rather than derived, so the significance is conditional on supplying the missing phase-space calculation.","major_comments":[{"comment":"The central charge formula (8) is stated as 'The result for Lovelock gravity reads' without showing the covariant phase-space computation. To make the claim load-bearing, the authors need to display the Iyer-Wald symplectic current ω(g; δg, L_χ g), the boundary term, and the integrability analysis. In particular, for p≥2 the Killing vector (5) contains terms involving h_i and ∂_i Φ, so the phase-space integrand can a priori contain D_iD_j Φ and h_i contributions that are not captured by (8). The paper gives no argument that such terms vanish or combine into (8), so the advertised formula is not yet established.","section":"Section II, Eq. (8)"},{"comment":"The vanishing central extension K=0 is asserted with the phrase 'it can be shown explicitly', but no computation is presented. Since the algebra (13)-(14) is one of the two principal results, the authors should exhibit at least the bracket {Q[χ_1],Q[χ_2]} obtained from (11), show how the central term drops out using (8), and state the corresponding argument for the extremal case. Without this, the Diff(H)⋉C^∞(H) algebra is not established.","section":"Section III, Eq. (12)"},{"comment":"The extremal charge formula (16) is introduced without derivation, and the same phase-space issues as for (8) apply. The Nariai check (19) is a useful consistency test, but it does not substitute for a derivation of (16) or for an explanation of why the extremal vector (15) does not generate additional terms beyond the displayed integrand.","section":"Section IV, Eq. (16)"}],"minor_comments":[{"comment":"Equation (7) states δ_ξ h_i = L_ξ h_i − 2κ ∂_i Φ for pure diffeomorphisms ξ=Y^i ∂_i on H. This cannot be correct, since the transformation of h_i under a diffeomorphism on H should be the Lie derivative only; the term involving Φ belongs to supertranslations and should not appear here.","section":"Section II, Eq. (7)"},{"comment":"The notation \\hat g^{(0)i}_j and \\hat g^{(0)ij} in (5) should be clarified: presumably these are the inverse of the leading induced metric \\hat g^{(0)}_{ij}. Also, 'with \\hat g = det(\\hat g^{(0)}_{ij})' should be stated consistently in one place.","section":"Section II, Eq. (5)"},{"comment":"The factor ℏ appears for the first time in (17) without explanation. If units with ℏ=1 are used elsewhere, the relation should be stated explicitly so that the coefficient in (17) is unambiguous.","section":"Section IV, Eq. (17)"},{"comment":"In the D=4 JT reduction, the authors define G=1/(64πα_2) and Λ=−α_1/(4α_2), but do not explain how the overall prefactor 2κ in (8) is absorbed. A brief line stating the κ dependence (or whether κ is normalized) would avoid confusion.","section":"Section V, Eq. (20)"}],"recommendation":"major_revision","confidential_remarks":"The authors have a plausible and physically well-motivated result, and the limiting checks are encouraging. The core problem is that the two most important claims—Eq. (8) and K=0—are asserted without the actual phase-space derivation. I would support publication after the authors supply an appendix (or a longer derivation) showing the symplectic-current computation and the vanishing central term; the present text is too condensed for the advertised generality."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a clean, useful extension of the horizon-symmetry program to Lovelock gravity. The new stuff is the explicit all-order supertranslation charge, Eq. (8), the extremal formula (16), and the D=4 JT action identification. The limiting checks are good: Phi=1 gives the Wald entropy, and the D=5 Einstein-Gauss-Bonnet and Nariai cases come out right. That gives me real confidence the formula is correct.\n\nThe soft spot is that the derivation is not shown. The paper says \"The result reads\" for (8) and \"it can be shown explicitly\" for K=0. The stress-test concern is legitimate: in the covariant phase-space formalism, the charge integrand for an arbitrary Lovelock Lagrangian will have contributions built from the Riemann-derivative tensor, ∇_a χ_b, and the horizon binormal. For the vector (5), ∇_a χ_b has pieces at ρ=0 involving D_i D_j Φ and h_i. For p≥2, these can a priori pair with the intrinsic Lovelock polynomials and produce extra terms not in (8). The paper gives no argument that they all vanish. So the advertised centrally-free algebra (13)-(14) is not established for higher-curvature terms; it's asserted.\n\nA smaller issue: the paper cites [11,12] as exceptions but does not explain how its own result differs from Liu-Mao [12], so the novelty is underspecified.\n\nTo be clear: these are gaps in evidence, not known errors. The formula is plausible and the checks support it. But for a paper whose whole point is the charge formula and the algebra, skipping the computation is a real hole.\n\nIt's a good reading-group paper—short, with a sharp question (does the phase-space computation actually produce (8) without extra terms?). I'd send it to a serious referee, with a request that the authors supply the derivation or at least a detailed sketch. The topic matters to the soft-hair and JT communities, and the D=4 observation is worth highlighting even if the general proof is still pending.","headline":"Plausible and useful Lovelock extension of horizon supertranslations, but the central derivation is skipped and the advertised centrally-free algebra is asserted rather than proven.","tokens_in":6540,"tokens_out":5073,"would_cite":true,"duration_ms":55882,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Lovelock gravity's near-horizon supertranslation charge is an explicit sum of nested intrinsic curvature invariants in every dimension and at every curvature order, reducing to Wald entropy at the zero mode and to the Jackiw-Teitelboim…","keywords":["near-horizon symmetries","BMS supertranslations","Lovelock gravity","higher-curvature corrections","Wald entropy","Jackiw-Teitelboim gravity","horizon Noether charges","covariant phase space"],"falsifier":"Compute the Noether charge and its bracket directly in five-dimensional Einstein-Gauss-Bonnet gravity with a full covariant phase-space analysis that includes all boundary terms, and check whether Eq. (8) is reproduced exactly and whether the central term K remains zero; a mismatch would show that the near-horizon ansatz needs modification at higher curvature order.","tokens_in":5518,"feed_emoji":"🕳️","tokens_out":5596,"duration_ms":59080,"temperature":0.7,"pith_summary":"Near a black hole horizon there is an infinite-dimensional symmetry algebra, the horizon version of BMS supertranslations, whose charges are conserved and physically meaningful. This paper extends the computation of those charges from Einstein gravity to Lovelock gravity, the most general higher-curvature theory with second-order field equations, in arbitrary spacetime dimension and including curvature terms of any order. The central result is an explicit formula for the supertranslation charge at the horizon, expressed as a sum over Lovelock couplings of nested intrinsic curvature tensors weighted by the supertranslation function. The zero mode of the charge reproduces the Wald entropy formula, and the charge algebra is the semidirect product of the diffeomorphisms of the horizon with the smooth functions on it, with no central extension. This matters because it shows the horizon-symmetry framework is not special to Einstein gravity and supplies a concrete bridge between higher-curvature corrections, black hole entropy, and two-dimensional dilaton gravity.","feed_headline":"Near-horizon charges computed for any Lovelock gravity","feed_subtitle":"The supertranslation charge reproduces Wald entropy and becomes the JT action in four dimensions.","key_machinery":"The load-bearing object is the near-horizon metric ansatz ds² = −2κρ dv² + 2 dv dρ + 2ρ h_i dx^i dv + ĝ_ij dx^i dx^j together with the asymptotic Killing vector χ = Φ(x)∂v − ρ ĝ^(0)ij ∂_j Φ ∂_i + ... , both taken from the Einstein-gravity analysis and used to define the boundary conditions at the horizon. The charge formula (8) is derived by covariant phase space methods; its nested Kronecker-delta contractions of the intrinsic Riemann tensor on the horizon are precisely the Lagrangian densities of the Lovelock hierarchy, so each higher-curvature term contributes its own topological-invariant density weighted by the supertranslation function.","core_discovery":"The paper's central claim is that in Lovelock gravity the Noether charge associated with the near-horizon supertranslation vector field is exactly a sum over the Lovelock order p of the p-th intrinsic curvature invariant on the horizon cross-section, contracted with the generalized Kronecker delta and multiplied by the supertranslation function. For non-extremal horizons the charge is proportional to the surface gravity, and its Φ=1 mode equals the Wald entropy; for extremal horizons the supertranslation charge vanishes but a superdilation charge remains, whose Φ=1 mode is again the entropy up to a factor. The algebra of these charges is the semidirect product Diff(H) ⋉ C^∞(H) with vanishing central extension, both for extremal and non-extremal cases. In four dimensions, retaining the quadratic Lanczos term, the charge reduces exactly to the Jackiw-Teitelboim action evaluated on the spacelike horizon sections, with the supertranslation function playing the role of the JT dilaton.","pith_inferences":["Since the charge formula is built from intrinsic curvature of the horizon cross-section, a natural test is whether non-Lovelock higher-curvature theories (for example those with R² terms yielding fourth-order equations) spoil the central-extension-free algebra or require additional boundary terms in the charge.","The appearance of the JT action in D=4 suggests a symmetry-based route from near-horizon supertranslations to the dilaton-gravity sector of the horizon, possibly connecting to low-dimensional holographic models; the authors leave the physical interpretation open.","The vanishing central extension may depend on the chosen near-horizon falloffs; relaxing the O(ρ) conditions on h_i could produce a central charge, analogous to the Virasoro central charge in three-dimensional anti-de Sitter gravity.","The extremal superdilation charge might be probed in explicit extremal black hole solutions beyond the Nariai example, and its dependence on higher-curvature couplings could serve as a check of the formula's robustness."],"forward_implications":["The zero mode of the near-horizon supertranslation charge reproduces the Wald entropy formula for Lovelock theory, unifying all higher-curvature corrections to black hole entropy in a single charge expression.","Higher-curvature Lovelock terms do not introduce central extensions in the near-horizon charge algebra; the algebra remains Diff(H) ⋉ C^∞(H) at every curvature order.","In D=4, retaining the Euler-density term, the supertranslation charge becomes the Jackiw-Teitelboim action on the horizon cross-section, with the Newton constant and cosmological constant determined by the Lovelock couplings.","Extremal horizons have zero supertranslation charge but a non-vanishing superdilation charge, whose Φ=1 mode is again the black hole entropy, providing a universal near-horizon symmetry description across extremality.","The D=5 examples, including the Einstein-Gauss-Bonnet black hole and the Nariai horizon, reproduce known entropy formulas, confirming the charge formula in concrete settings."],"supporting_citations":[{"why":"Supplies the near-horizon asymptotic Killing vector and the supertranslation/superrotation symmetry structure that this paper extends to Lovelock gravity.","marker":"[6]"},{"why":"Provides the charge algebra and the extremal-horizon treatment on which the present analysis builds.","marker":"[7]"},{"why":"Identifies the zero-mode Noether charge with black hole entropy, the relation the paper generalizes to higher curvature.","marker":"[10]"},{"why":"Gives the entropy formula for Lovelock theories that the charge formula must reproduce, checked in the D=5 examples.","marker":"[13]"},{"why":"Supplies the covariant phase space method used to compute the charges and the algebra of charges.","marker":"[14]"},{"why":"Provides the Noether charge prescription for stationary black holes that supports the charge evaluation.","marker":"[15]"},{"why":"Offers the D=5 Einstein-Gauss-Bonnet black hole solution used to verify the entropy formula.","marker":"[16]"}],"fun_headline_variants":["Supertranslation charge: from Wald entropy to JT action","Lovelock horizon charges unify Wald and JT","Near-horizon BMS charges: from Wald to JT","Any Lovelock gravity: horizon charges match Wald","Supertranslation charge probes any curvature order"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The calculation assumes that the near-horizon metric ansatz and the asymptotic Killing vector used in Einstein gravity remain the complete, integrable symmetry structure in Lovelock theory, with no extra boundary terms entering the covariant phase space charges.","fun_headline_variants_meta":{"raw":{"variants":["Supertranslation charge: from Wald entropy to JT action","Lovelock horizon charges unify Wald and JT","Near-horizon BMS charges: from Wald to JT","Any Lovelock gravity: horizon charges match Wald","Supertranslation charge probes any curvature order"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000806,"raw_usage":{"total_tokens":3495,"prompt_tokens":858,"completion_tokens":2637,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":474,"completion_tokens_details":{"reasoning_tokens":2560}},"tokens_in":474,"tokens_out":2637,"duration_ms":24352,"temperature":1.0,"reasoning_tokens":2560,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T22:20:19.259801+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Noether charge and its bracket directly in five-dimensional Einstein-Gauss-Bonnet gravity with a full covariant phase-space analysis that includes all boundary terms, and check whether Eq. (8) is reproduced exactly and whether the central term K remains zero; a mismatch would show that the near-horizon ansatz needs modification at higher curvature order.","supporting_citations":[],"review_version":1}