{"id":"a8b1c74a-51d0-45a2-a5e2-00f731663b70","arxiv_id":"1908.05522","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In pure Lovelock gravity, the large-surface limit of the variation of Brown-York quasi-local energy equals the variation of the ADM mass, giving an explicit new mass formula.","lead":"This paper shows that the usual mass and quasi-local energy definitions of Einstein gravity do not simply copy over to pure Lovelock gravity, a higher-curvature theory, and it gives a new perturbative formula for the ADM mass that works in that setting. A reliable mass definition matters for black hole thermodynamics and for testing higher-curvature gravity in dimensions above four.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed vanishing large-surface limit of the background-subtracted quasi-local energy is not established: the first-order expansion misses a potentially finite quadratic term.","rationale":"The reader identified the background-embedding assumption as the weakest point, but the more load-bearing issue is the derivation of Eq. (3.19), which is the paper's central motivation for restricting to perturbative energies. The expansion in (3.21) only tracks the first-order term; for m≥2 that term vanishes, but the first nonvanishing term in \\hat B-\\hat B_0 is quadratic in the metric deviation and, for the spherically symmetric solution, survives integration over the large sphere. If this concern lands, the abstract statement that the large-surface limit vanishes for m≥2 is incorrect, and the paper's interpretation of which energy quantities are well-defined must be revised. The perturbative formula (3.27) and its spherical-symmetry application may still be correct because they only require the variation, so the paper should not be rejected outright; it needs a corrected treatment of the non-perturbative limit. The concrete test using the exact m=2 spherical black hole settles the issue directly, since it does not depend on the disputed embedding assumption.","tokens_in":19875,"tokens_out":39323,"duration_ms":352710,"concrete_test":"Evaluate the exact background-subtracted quasi-local energy (3.15) for the static spherically symmetric pure Lovelock black hole (4.1)-(4.6) in the m=2 case, using the explicit \\hat B from (3.11)-(3.12), at a large cutoff radius R. Plot or compute M_B(R) for R growing with F=\\alpha R^{-\\beta}; if the limit is nonzero (proportional to \\alpha^2) rather than zero, then Eq. (3.19) is refuted. The same computation should be repeated for a representative m>2 case to check for divergence.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 3.3 concludes in Eq. (3.19) that the background-subtracted quasi-local energy vanishes at infinity for m≥2, based on the first-order expansion (3.21): the coefficient of the linear term, \\bar P evaluated on flat space, vanishes. This truncation is not sufficient. The variation relation (3.23) has coefficient \\bar P built from the physical metric, so integrating the variation from the flat background to a solution produces contributions of higher order in the metric perturbation. For the static spherically symmetric metric (4.1) with m=2, a direct expansion of \\hat B from (3.11)-(3.12) using (4.2) gives \\hat B-\\hat B_0 = O(F^2/r^3), because the order-F terms cancel between the extrinsic-curvature and \\hat R factors. Multiplying by \\sqrt{\\sigma}\\sim r^{D-2} and using the pure-Lovelock falloff F\\sim r^{-\\beta}, \\beta=(D-2m-1)/m, yields r^{D-5}F^2, which under (4.6) is a nonzero constant as r\\to\\infty for m=2, not zero. For m>2 the analogous quadratic contribution scales as r^{(D-2m-1)(m-2)/m} and diverges. Thus Eq. (3.22) does not follow from the stated expansion; the central claim that only perturbative energies are well-defined for asymptotically flat pure Lovelock gravity is not established, even though the perturbative ADM formula (3.27) may survive.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies how the standard ADM mass and Brown-York quasi-local energy generalize to pure Lovelock gravity. It derives a non-integrable perturbative ADM mass formula (2.16), proposes a background-subtracted Brown-York type quasi-local energy (3.15), and argues that its large-surface limit vanishes for asymptotically flat pure Lovelock gravity with m ≥ 2. The main positive result is the perturbative formula (3.26)-(3.27), which expresses the variation of the quasi-local energy as an integral over the codimension-two surface and whose large-surface limit coincides with the variation of the ADM mass. The author applies this formula to static spherically symmetric solutions, recovering known black hole masses, and also treats asymptotically AdS spacetimes, where the mass becomes integrable and proportional to the Einstein value for all m.","tokens_in":20195,"tokens_out":33887,"duration_ms":325394,"significance":"If the central claims hold, the paper provides a practical new formula for computing ADM masses in pure Lovelock gravity and sharpens the statement that only perturbative energy variations are well defined for asymptotically flat m ≥ 2. The paper is explicit and cross-checks its formulas against the Einstein gravity limit m = 1, the known spherically symmetric black hole masses, and the Chakraborty-Dadhich quasi-local energy. These checks are genuine strengths. However, the paper's main conceptual conclusion about the vanishing of the non-perturbative quasi-local energy rests on an asymptotic expansion whose higher-order terms are not controlled; this weakens the stated significance until the gap is closed. The perturbative ADM formula (3.27) may survive independently of that conclusion, and the spherical application is an useful demonstration.","major_comments":[{"comment":"The vanishing large-surface limit of the background-subtracted quasi-local energy is not established by the given argument. Equation (3.21) expands \\hat B_(m) only to first order in the metric perturbation and concludes in (3.22) that the integral vanishes because \\bar P_(m)|_(0) is zero on flat space. A first-order expansion is insufficient here: after multiplication by \\sqrt{\\sigma} ~ r^{D-2}, the next-order contribution can be finite or divergent under the pure Lovelock falloff (2.19). For the static spherically symmetric metric (4.1) with m = 2, the quadratic term in \\hat B - \\hat B_0 is of order F^2/r^3, so the integral scales as r^{D-5}F^2; with F ~ r^{-\\beta}, \\beta = (D-5)/2, this is a non-zero constant as r \\to \\infty, and for m > 2 the analogous contribution grows. Thus Eq. (3.22) does not follow from the stated expansion, and the paper's central claim that the non-perturbative quasi-local energy vanishes for m ≥ 2 is not proven. The perturbative formula (3.27) may still be correct, but the motivation for restricting to variations needs either a second-order computation showing the offending terms cancel, or a non-perturbative proof of the limit.","section":"Section 3.3, Eqs. (3.19)-(3.22)"},{"comment":"The Hamiltonian decomposition of the total action with a timelike boundary is introduced as a proposal rather than derived. The quasi-local energy (3.15) and hence the perturbative formula (3.23) are built on this decomposition, so the status of the assumption is load-bearing. If (3.10) is meant as a definition of the physical Hamiltonian, the paper should state this explicitly and verify that the resulting charge is independent of the choices made; if it is meant to be derived from the action variation (3.3), the derivation should be supplied. As it stands, the central ADM-mass formula inherits the uncertainty of this proposed decomposition.","section":"Section 3.2, Eq. (3.10)"},{"comment":"The background subtraction prescription assumes that the codimension-two surface B can be embedded in the flat reference spacetime with the same lapse and induced metric as in the physical spacetime. The paper itself notes in the Summary that this embedding is not possible in general. Since the quasi-local energy (3.15) is the central object of the paper, the precise class of surfaces for which the definition is valid should be stated. In particular, for surfaces that are not approximately round and large, the subtraction is not well defined by this prescription, and the error introduced by an approximate embedding should be controlled or at least discussed.","section":"Section 3.3, after Eq. (3.14)"}],"minor_comments":[{"comment":"The sentence 'Obtaining a non-perturbative expression for M_ADM_(m) in pure Lovelock gravity of order m ≤ 2 cannot be done in general' appears to contain a typo: the non-integrable case is m ≥ 2, not m ≤ 2, because \\bar P_(1) is metric-independent. Please correct this.","section":"Section 2.2, text after Eq. (2.16)"},{"comment":"The definition of the projection ~\\delta reads '~δa b = ~δa b − nanb', which is circular as typeset. It should presumably be ~\\delta^a_b = \\delta^a_b - n^a n_b. Please fix the notation.","section":"Section 1.2, Eq. (1.4)"},{"comment":"The term K_(m) appearing in the proposed Hamiltonian decomposition is not defined. Since it is said to contain terms proportional to the extrinsic curvature of the Cauchy slice, a brief definition or reference would help the reader.","section":"Section 3.2, Eq. (3.10)"},{"comment":"The exponent is written as β = D − (2m + 1)/m, which is ambiguous. The intended expression is β = (D − 2m − 1)/m, as used in Eq. (4.4). Please add parentheses.","section":"Section 2.3, Eq. (2.19)"},{"comment":"The phrase that the perturbative quasi-local energy 'correctly approaches' the ADM mass is stronger than what is proven: by Eqs. (2.16) and (3.23), both sides are the same boundary integrand by construction, so the equality is a consistency relation rather than an independent check. The wording should be softened accordingly.","section":"Abstract and Introduction"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of JHEP and the references are appropriate. The main technical concern is the unproven large-surface vanishing claim (3.19)-(3.22); if the author can close the second-order gap or provide a non-perturbative argument, the paper would be acceptable, since the perturbative ADM formula (3.27) is a useful and well cross-checked result. The proposed Hamiltonian decomposition in Section 3.2 also deserves more justification, as the central quasi-local energy definition depends on it. I do not see grounds for rejection, only for a substantive revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nTwo things you should know. The paper has a genuinely useful new formula for ADM mass variations in pure Lovelock gravity—equation (3.27)—which checks against spherical black holes. But its main negative claim, that the background-subtracted Brown-York energy vanishes in the large-surface limit for m≥2, is not proven and is probably wrong as written.\n\nWhat is new and good: the derivation of the non-integrable mass (2.16), the translation to the surface integral involving \\hat E δ \\hat K, the clean spherical black hole checks, and the AdS section that recovers the Einstein-proportional result. The author is also honest about the embedding assumption in the background subtraction.\n\nThe soft spot is the argument for (3.19)/(3.22). The paper expands \\hat B to first order in the perturbation, sees the first-order coefficient vanish because \\bar P|_0=0, and concludes the integral vanishes. That inference is invalid: the difference \\hat B - \\hat B_0 has quadratic and higher terms. With the paper's own spherical fall-off F ~ r^{-β}, the quadratic contribution scales as r^{D-5} F^2, which is O(1) for m=2 and diverges for m>2. So the large-surface limit of the non-perturbative energy is not zero, and the central claim that only perturbative energies are well-defined is not established. The perturbative formula (3.27) may still be correct—it comes from the Hamiltonian boundary term, not from the vanishing-limit argument—but the paper's framing needs revision.\n\nSecondary issues: eq (3.10) is proposed rather than derived, and eq (3.23) is nearly an identity since both sides are the same boundary integrand. Neither is fatal, but both deserve a referee's attention.\n\nWho this is for: people working on higher-curvature gravity, Lovelock black holes, or conserved charges. The explicit mass formula is citable and will be used. But a referee should ask for a careful redo of section 3.3. I would send it to review, expecting revision.","headline":"Useful perturbative ADM mass formula in pure Lovelock gravity, but the paper's claim that the absolute quasi-local energy vanishes at infinity is not proven and is likely wrong.","tokens_in":20713,"tokens_out":5829,"would_cite":true,"duration_ms":54452,"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":"In pure Lovelock gravity (m ≥ 2) the background-subtracted quasi-local energy vanishes at spatial infinity, so only its variation is well defined; the variation's large-surface limit equals the ADM mass variation.","keywords":["pure Lovelock gravity","quasi-local energy","ADM mass","Brown-York energy","background subtraction","asymptotically flat spacetime","asymptotically AdS","higher-curvature gravity"],"falsifier":"Take a non-spherically-symmetric asymptotically flat static solution of pure Lovelock gravity of order $m \\ge 2$ in $D \\ge 2m+3$ dimensions and compute the large-surface limit of the background-subtracted Brown-York energy (3.15); the paper's central claim predicts this limit is exactly zero for any solution satisfying the fall-off (2.19), so a nonzero result would falsify it. Independently, compute $\\delta M^{(m)}_{\\mathrm{ADM}}$ from the Hamiltonian formula (2.16) and from the surface formula (3.27) for a metric whose non-integrable term is nonzero; the two must agree for the central identity to hold.","tokens_in":19657,"feed_emoji":"⚛️","tokens_out":16623,"duration_ms":135337,"temperature":0.7,"pith_summary":"The paper asks how the standard energy notions of general relativity—the ADM mass (total mass measured at spatial infinity) and the Brown-York quasi-local energy (the boundary-integral energy defined from the gravitational action)—extend to pure Lovelock gravity, a higher-curvature theory whose field equations stay second order in the metric. For pure Lovelock order $m \\ge 2$ in asymptotically flat spacetimes, it argues that the absolute quasi-local energy defined by background subtraction has a large-surface limit of exactly zero, so only variations of the energy survive as well-defined quantities. The main discovery is that the variation of the quasi-local energy approaches the variation of the ADM mass as the boundary surface recedes to infinity, yielding a new boundary formula for the ADM mass. This matters because it supplies the mass-type charge needed for pure Lovelock black holes and the first law, and it clarifies why earlier approaches produced only proportional or non-integrable expressions.","feed_headline":"Only variations of quasi-local energy survive in pure Lovelock","feed_subtitle":"A surface variation formula recovers the ADM mass even where absolute quasi-local energy washes out.","key_machinery":"The workhorse is the generalized Gibbons-Hawking surface term (the boundary counterterm that makes the variational principle well-posed) for the codimension-two surface, together with the projected equation-of-motion tensor $\\hat E^i{}_{j(m)}$ built from generalized Kronecker-delta contractions with surface Riemann tensors. The key identity, obtained by varying the surface term with the induced surface metric held fixed, is $2\\bar P^{ab}{}_{cd(m)} n_a D_c \\delta\\gamma^d{}_b = -4m\\,\\hat E^i{}_{j(m-1)}\\,\\delta\\hat K^j{}_i$; this converts the Hamiltonian boundary term into an integral over the variation of the extrinsic curvature $\\delta\\hat K^j{}_i$. What keeps the perturbation finite while the absolute background-subtracted energy collapses to zero is that $\\hat E^i{}_{j(m-1)}$ in the limiting integral is not evaluated on the flat background. The asymptotic fall-off exponent $\\beta = (D - 2m - 1)/m$ is engineered so that the decay of $\\bar P^{ab}{}_{cd(m)}$ cancels the volume factor $r^{D-2}$ and the derivative $D_c\\delta\\gamma \\sim r^{-\\beta-1}$, making the boundary integral finite.","core_discovery":"Working in dimensions $D > 2m+1$, the paper generalizes the Hamiltonian-surface derivation of the ADM mass to pure Lovelock gravity and finds that for asymptotically flat spacetimes the ADM mass is non-integrable: its variation $\\delta M^{(m)}_{\\mathrm{ADM}}$ is finite under the pure-Lovelock fall-off $\\tilde\\gamma_{ab} = O(r^{-\\beta})$ with $\\beta = (D - (2m+1))/m$, but it cannot be integrated to a function of the metric parameters because $\\bar P^{ab}{}_{cd(m)}$ itself varies. The background-subtracted Brown-York energy is then shown to vanish in the large-surface limit for every $m \\ge 2$, so the paper turns to the perturbative quantity $\\delta M^{(m)}_B = \\frac{m}{4\\pi}\\int_B \\sqrt{\\sigma}\\,\\hat E^i{}_{j(m-1)}\\,\\delta\\hat K^j{}_i$ and proves its large-surface limit equals $\\delta M^{(m)}_{\\mathrm{ADM}}$. For spherical symmetry this integrates to $M^{(m)}_{\\mathrm{ADM}} = \\frac{1}{16\\pi}\\Omega_{D-2}\\,a(m)\\lim_{r\\to\\infty} r^{m\\beta} F(r)^m$, which for pure Lovelock black holes gives $M \\propto \\alpha^m$, matching earlier integral-charge calculations. In asymptotically AdS spacetimes the obstruction disappears: the mass is integrable and proportional to the Einstein mass for all $m$, and the background-subtracted quasi-local energy has the correct ADM limit.","pith_inferences":["A testable consequence of the vanishing limit is that black hole thermodynamics in asymptotically flat pure Lovelock gravity must be formulated through variational quantities: the mass appearing in the first law is an integration parameter, not an absolute charge.","The surface formula has the structure of a symplectic charge pairing a background equation-of-motion tensor with the variation of extrinsic curvature; the same pairing should yield angular momentum and other charges when the extrinsic-curvature variation is replaced by a rotational perturbation, and checking a first law would test the construction beyond the mass.","Counterterm renormalization, already developed for AdS Lovelock, could be applied to the same spherically symmetric black holes in flat space; comparing the counterterm energy with the integrated mass formula would show whether the failure of absolute charges is specific to background subtraction or intrinsic to pure Lovelock.","The obstruction to absolute charges is similar in spirit to the degeneracy seen in special Lovelock vacua, suggesting that only perturbations may be well defined quite generally in higher-curvature gravity; testing conformal-mass type definitions on these flat solutions would separate the two mechanisms."],"forward_implications":["For $m \\ge 2$ in asymptotically flat spacetimes, the background-subtracted quasi-local energy has a zero large-surface limit, so only the perturbative variation $\\delta M^{(m)}_B$ is well defined as a charge.","The limit identity $\\delta M^{(m)}_{\\mathrm{ADM}} = \\lim_{B\\to\\infty} \\frac{m}{4\\pi}\\int_B \\sqrt{\\sigma}\\,\\hat E^i{}_{j(m-1)}\\,\\delta\\hat K^j{}_i$ provides a practical boundary formula for the ADM mass, demonstrated on spherically symmetric static black holes and matching earlier integral-charge results.","For static spherically symmetric metrics the perturbative mass integrates to $M^{(m)}_{\\mathrm{ADM}} = \\frac{1}{16\\pi}\\Omega_{D-2}\\,a(m)\\lim_{r\\to\\infty} r^{m\\beta}F(r)^m$, and for the pure Lovelock black hole $F(r)=\\alpha r^{-\\beta}$ this yields $M^{(m)}_{\\mathrm{ADM}}\\propto \\alpha^m$.","In asymptotically AdS spacetimes the ADM mass is integrable and proportional to the Einstein value for every $m$, and the background-subtracted quasi-local energy has the correct ADM limit.","The alternative quasi-local energy built from vacuum-subtracted extrinsic curvatures agrees with the ADM mass in AdS, but in flat space its large-surface limit equals $m$ times the ADM mass for spherically symmetric metrics and differs from the ADM variation for generic metrics."],"supporting_citations":[{"why":"Supplies the Hamiltonian surface-integral method for the ADM mass that the paper adapts to pure Lovelock gravity.","marker":"[3]"},{"why":"Defines the boundary stress-energy tensor and the background-subtraction quasi-local energy that the paper generalizes.","marker":"[7]"},{"why":"Establishes the Einstein-gravity result that the quasi-local energy approaches the ADM mass at large surfaces, the statement generalized here.","marker":"[8]"},{"why":"First constructed the Lovelock surface term, providing the boundary term on which the quasi-local formulation relies.","marker":"[23]"},{"why":"Gives the metric-formulation derivation of the generalized surface term used to build the boundary action and Hamiltonian.","marker":"[25]"},{"why":"Provides an earlier integral-charge formula for spherically symmetric higher-derivative black holes that the new mass formula reproduces.","marker":"[13]"},{"why":"Introduces an alternative quasi-local energy whose large-surface limits the paper computes and compares with the ADM mass.","marker":"[28]"},{"why":"Derives the ADM mass for Lovelock gravity in AdS, giving the comparison that the paper's AdS section extends.","marker":"[15]"}],"fun_headline_variants":["Pure Lovelock ADM mass from variation, not absolute energy","Quasi-local energy fails; variation recovers ADM mass in Lovelock","New ADM mass formula for Lovelock from surface variation","Lovelock black holes: variation gives ADM mass, flat non-integrable","ADM mass integrable in AdS Lovelock, non-integrable in flat"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The background-subtraction prescription assumes the boundary surface can be embedded in the reference flat (or AdS) spacetime with the same lapse and induced metric as in the physical spacetime, and the paper itself notes that this embedding is not possible in general.","fun_headline_variants_meta":{"raw":{"variants":["Pure Lovelock ADM mass from variation, not absolute energy","Quasi-local energy fails; variation recovers ADM mass in Lovelock","New ADM mass formula for Lovelock from surface variation","Lovelock black holes: variation gives ADM mass, flat non-integrable","ADM mass integrable in AdS Lovelock, non-integrable in flat"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000401,"raw_usage":{"total_tokens":2122,"prompt_tokens":1003,"completion_tokens":1119,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":619,"completion_tokens_details":{"reasoning_tokens":1015}},"tokens_in":619,"tokens_out":1119,"duration_ms":9778,"temperature":1.0,"reasoning_tokens":1015,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:11:36.349958+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a non-spherically-symmetric asymptotically flat static solution of pure Lovelock gravity of order $m \\ge 2$ in $D \\ge 2m+3$ dimensions and compute the large-surface limit of the background-subtracted Brown-York energy (3.15); the paper's central claim predicts this limit is exactly zero for any solution satisfying the fall-off (2.19), so a nonzero result would falsify it. Independently, compute $\\delta M^{(m)}_{\\mathrm{ADM}}$ from the Hamiltonian formula (2.16) and from the surface formula (3.27) for a metric whose non-integrable term is nonzero; the two must agree for the central identity to hold.","supporting_citations":[{"cited_title":"Regge and C","cited_arxiv_id":null,"evidence_quote":"Supplies the Hamiltonian surface-integral method for the ADM mass that the paper adapts to pure Lovelock gravity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the boundary stress-energy tensor and the background-subtraction quasi-local energy that the paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"First constructed the Lovelock surface term, providing the boundary term on which the quasi-local formulation relies."},{"cited_title":"Brown-York quasilocal energy in Lanczos-Lovelock gravity and black hole horizons","cited_arxiv_id":"1509.02156","evidence_quote":"Introduces an alternative quasi-local energy whose large-surface limits the paper computes and compares with the ADM mass."},{"cited_title":"Mass and Free Energy of Lovelock Black Holes","cited_arxiv_id":"1106.2764","evidence_quote":"Derives the ADM mass for Lovelock gravity in AdS, giving the comparison that the paper's AdS section extends."}],"review_version":1}