{"id":"7f3154c3-c0ac-4e90-b4d8-7a1a5df23cd6","arxiv_id":"1908.07504","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs a general prescription for quasi-local conserved charges in GR and proposes the zero-mode BMS charge in Newman-Unti gauge as a quasi-local energy candidate.","lead":"This paper proposes a new way to define energy-like conserved quantities for a region enclosed by a closed surface in general relativity, extending the Wald-Zoupas construction from null infinity into the bulk spacetime. The proposed zero-mode BMS charge is put forward as a candidate quasi-local energy, and it reproduces Bondi mass, Misner-Sharp energy, and irreducible mass in simple examples.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Reference term existence is only shown for shear-free slices in Minkowski; without it, charges are not defined for generic B.","rationale":"The reader identified the reference-term existence as a structural premise, but ranked the Newman-Unti gauge preference first. I agree with the conditional verdict, but I regard the reference-term existence as the more load-bearing concern: even if the companion paper [31] supplies the promised physical justification for Newman-Unti gauge, the charge would still be undefined for generic surfaces unless (31)–(33) admit solutions. The paper is honest about this gap, and its examples deliberately avoid the difficulty by working with round, shear-free surfaces. A concrete check on a generic shear would settle the matter, so the conditional verdict should stand. I do not see an internal inconsistency that would justify rejection, and I credit the explicit limitation statements in §3.5 and §4.5.","tokens_in":20215,"tokens_out":37329,"duration_ms":475024,"concrete_test":"Take a non-round two-surface B in a Newman-Unti coordinate system with nonvanishing asymptotic shear at v=0, for instance a linearized gravitational-wave spacetime with angular dependence, or a slice r=R(θ,φ) in a spacetime with C_AB≠0. Determine whether a Newman-Unti foliation of Minkowski can satisfy Eq. (31) with that C_AB, and then whether Eqs. (32)–(33) admit a smooth reference hypersurface (3)^B. If (31) fails for a generic C_AB, for example because Minkowski's shear is constrained to the supertranslation orbit while the original C_AB is not, then the reference term does not exist and the charge (12) is undefined for that B.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction is well-defined only if the reference term K0 of §4.3 exists and is unique for the surface B at hand. The only existence argument is §4.5, and it assumes the reference spacetime is Minkowski and that B lies on a null slice with vanishing asymptotic shear, C_AB|v=0=0. For a generic closed spacelike two-surface in an asymptotically flat spacetime with nonzero shear or news, Eqs. (31)–(33) are a nontrivial system: (31) requires a Newman-Unti foliation of Minkowski whose shear matches the original spacetime's C_AB at v=0, and (32)–(33) determine a reference hypersurface (3)^B. No proof is given that these equations admit a solution, and §3.5 explicitly disclaims general existence and uniqueness. Without such a solution, B_X in (12) is not defined, so H_X[ξ] is not a quasi-local charge on B. The checked examples all sit in the special regime where B is round and C_AB=0, e.g. the spherically symmetric computations of §5.5. The advertised properties therefore do not yet establish a well-defined quasi-local energy for the generic surfaces that motivate the paper.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a general covariant-phase-space prescription for constructing quasi-local conserved charges on an arbitrary closed spacelike two-surface B. The construction modifies Wald and Zoupas by replacing the stationarity condition on the symplectic potential with an integral condition that the potential integrates to zero over B for variations respecting boundary conditions on an auxiliary hypersurface (3)B, and it fixes the remaining reference-term ambiguity through consistency, linearity, orthogonality, and zero-point conditions. For Einstein-Hilbert gravity with canonical boundary conditions, the resulting charge is given by Eq. (22); with the reference term (35) it evaluates to Eq. (38). Applied to BMS generators in Newman-Unti gauge, the charge becomes Eq. (42). The paper then argues that the zero mode of this BMS charge is a promising quasi-local energy: it vanishes in Minkowski spacetime, reproduces the Wald-Zoupas BMS charge at null infinity, equals the Misner-Sharp energy on round spheres in the spherically symmetric case, and equals the irreducible mass at the outer horizon of a Reissner-Nordstrom black hole (for the gravitational part of the charge).","tokens_in":20349,"tokens_out":5298,"duration_ms":57495,"significance":"If the construction is made fully well-defined, it would be a useful contribution to the quasi-local energy literature: the derivation from the covariant phase space to Eqs. (38) and (42) is coherent, the asymptotic matching with the Wald-Zoupas charges is explicit, and the spherical and Reissner-Nordstrom checks are concrete. The paper is also commendably honest about its limitations: it states in Section 3.5 that existence and uniqueness of the reference term have not been investigated in general, it acknowledges that the BMS charge is gauge dependent in the bulk, and it flags the gauge dependence of the electromagnetic contribution in the Reissner-Nordstrom check. The consistency and linearity conditions introduced in Section 3 are an interesting structural improvement over previous bulk extensions of the Wald-Zoupas framework. The central claims, however, currently rest on two load-bearing points that are not fully established in the manuscript: the existence of the reference term for generic surfaces, and the physical preference for Newman-Unti gauge, which is deferred to an unpublished companion paper.","major_comments":[{"comment":"The reference term K0, which is needed to define B_X in Eq. (12) and hence the charge at a generic surface B, is proven to exist only in the special case where the reference spacetime is Minkowski and the slice has vanishing asymptotic shear C_AB|v=0=0. The conditions (31)-(33) that determine the reference hypersurface for a generic B form a nontrivial system, and the manuscript explicitly disclaims general existence and uniqueness in Section 3.5. Since the spherical and Reissner-Nordstrom checks in Section 5.5 all lie in the regime C_AB=0, the advertised quasi-local charge is not yet shown to be defined for the generic surfaces that motivate the paper.","section":"§4.5 and §3.5"},{"comment":"The BMS charge is gauge dependent in the bulk, as the paper acknowledges: 'We do not solve the issue of gauge dependence of the BMS charge.' The preferred status of the Newman-Unti gauge extension is asserted to follow from gravitational memory only in the companion paper [31], which is listed as 'to appear' and is not available for inspection. Since the zero-mode charge is presented as a quasi-local energy, the physical interpretation depends on this unpublished premise; as the manuscript stands, the charge is one of many gauge-dependent quantities rather than a uniquely defined quasi-local BMS charge.","section":"§5.1 and §1"},{"comment":"The Reissner-Nordstrom check is performed only for the gravitational part of the charge; the gauge-field contribution is discarded because it is gauge dependent. The full covariant phase space charge for the Einstein-Maxwell system is not gauge invariant, so the statement that the zero-mode charge equals the irreducible mass at the outer horizon is a statement about a truncated gravitational charge, not about the charge defined by the proposed general framework. The horizon property (iii) is therefore not yet a test of the full construction.","section":"§5.5 and §6(ii)"}],"minor_comments":[{"comment":"There are several typographical errors, including 'assocoiated', 'arbitary', and 'Minkowksi', which should be corrected.","section":"Throughout"},{"comment":"The statement that every BMS vector field in Minkowski space is a linear combination of the supertranslation vectors ζ and isometries k is asserted rather than derived; a short coordinate argument would make the vanishing check self-contained.","section":"§5.3"},{"comment":"The assertion that the terms containing I^A ω_A + L_l f vanish asymptotically is stated without an explicit expansion; providing the expansion would help the reader verify the match with Eq. (45).","section":"§5.4"},{"comment":"Reference [31] is cited as 'to appear' with no preprint identifier; since the gauge-preference argument is load-bearing, a public version or a summary of its argument in an appendix would be needed for the present claims to be fully verifiable.","section":"Reference [31]"},{"comment":"The construction in Step 1 sets up the foliation near past null infinity and also requires B to lie in Σ0; the interaction between these requirements and the possible breakdown of Newman-Unti coordinates at caustics in the bulk deserves a more explicit discussion, building on the domain-of-applicability remarks in Section 5.1.","section":"§4.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is promising but the two central gaps are precisely the existence of the reference term for generic surfaces and the unpublished companion-paper justification of Newman-Unti gauge. I would not reject, but the revision should either establish existence and uniqueness in a wider class of surfaces or narrow the main claims to the cases where the construction is proven; similarly, the quasi-local energy claim should either be made conditional on the companion paper or the memory argument should be summarized. The Reissner-Nordstrom check should also be presented as a check of the gravitational sector only, with the gauge-field issue clearly separated from the central construction."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a serious, clearly written proposal for a quasi-local energy from a modified Wald-Zoupas construction, applied to BMS generators in Newman-Unti gauge. It deserves peer review, but the central claim of a general prescription outruns what is proven.\n\nWhat's new: the bulk modification of Wald-Zoupas with the consistency, linearity, orthogonality, and zero-point conditions, plus the explicit reference term built from a Minkowski embedding with matched asymptotic shear. The charge formulas (38) and (42) are new. The algebra checks are explicit and reproducible: spherical symmetry gives Misner-Sharp, the RN horizon gives irreducible mass, and the null-infinity limit gives the Bondi mass.\n\nWhat it does well: the derivation is coherent, the paper is honest about its own gaps, and the spherical/RN computations are clean. It cites the relevant literature and does not oversell the result.\n\nWhere the soft spots are: the biggest one is existence and uniqueness of the reference term. It is proven only for a Minkowski reference and a null slice with vanishing asymptotic shear. For generic B with nonzero shear or news, equations (31)-(33) are an unproven system. The paper explicitly disclaims this in §3.5 and §4.5, so the advertised 'general' prescription is really a proposal with a known gap. Second, the BMS charge is gauge dependent in the bulk; the preference for Newman-Unti gauge is deferred to an unpublished companion paper. Third, the Reissner-Nordstrom 'irreducible mass' result excludes the gauge-field contribution, which is acknowledged to be gauge dependent. Also, some advertised properties—vanishing in Minkowski, matching Wald-Zoupas at null infinity—are partly built in by the zero-point and matching conditions, so the independent evidence is mostly the spherical computations.\n\nThe stress-test concern is right. The generic existence problem is load-bearing: without a reference term for generic surfaces, H_X is not defined. The paper knows this, but it makes the current version a conditional proposal rather than a working general framework.\n\nBottom line: if you work on quasi-local charges, read it. It deserves a serious referee, and the unresolved issues are the right targets for revision. I wouldn't cite it as an established result until the companion paper appears and the existence question is addressed.","headline":"Serious, clearly written Wald-Zoupas extension for quasi-local BMS charges, but the general prescription outruns the proof: reference-term existence is only shown in a special case and the Newman-Unti preference is deferred to a companion paper.","tokens_in":20940,"tokens_out":2973,"would_cite":false,"duration_ms":28595,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C40","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"A new prescription for quasi-local conserved charges in general relativity produces a BMS zero-mode charge that vanishes in Minkowski spacetime, becomes the Bondi mass at null infinity, and equals known masses in symmetric and horizon…","keywords":["quasi-local energy","BMS charges","Newman-Unti gauge","conserved charges","Einstein-Hilbert action","Misner-Sharp energy","covariant phase space","Reissner-Nordström black hole"],"falsifier":"Evaluate the zero-mode BMS charge on the outer horizon of a Kerr black hole using the known Newman-Unti form of the Kerr metric: if the result is not the irreducible mass, the proposed quasi-local energy fails for rotating black holes.","tokens_in":19881,"feed_emoji":"🕳️","tokens_out":7649,"duration_ms":74384,"temperature":0.7,"pith_summary":"The paper proposes a general method for assigning conserved charges to closed spacelike two-surfaces in general relativity, the type of quantity called quasi-local energy. It adapts the standard null-infinity correction-term construction so that it works in the bulk of a spacetime, then applies the method to BMS symmetry generators in Newman-Unti gauge. The resulting zero-mode charge, if the construction holds, gives a well-defined quasi-local energy: it vanishes in Minkowski spacetime, tends to the Bondi mass at null infinity, equals the Misner-Sharp energy on round spheres, and equals the irreducible mass at the outer horizon of a Reissner-Nordström black hole. These are the pragmatic criteria that make the candidate worth taking seriously, especially because several existing quasi-local energies fail at least one of them, most notably by not vanishing in flat spacetime.","feed_headline":"New quasi-local energy matches Bondi and horizon masses","feed_subtitle":"A corrected Noether-charge prescription in Newman-Unti gauge yields a BMS zero-mode charge that behaves as energy.","key_machinery":"The load-bearing object is the boundary reference term $K_0$, constrained by four conditions: consistency (independence of the auxiliary hypersurface), linearity in the symmetry generator, orthogonality (the three-form $V$ has the ingoing null direction $n$ in its kernel), and a zero point (vanish on a reference solution). The reference term is built by a four-step embedding: choose a Newman-Unti foliation, the coordinate system in which $v$ labels a null foliation and $r$ is an affine parameter of the null generators, whose asymptotic shear matches the physical one at past null infinity; isometrically embed $B$ into the reference spacetime; construct the reference hypersurface by matching $C\\theta(n)$ and $C^{-1}\\mathcal{L}_h C$; and pull back the reference extrinsic curvature. This yields the identity $K-K_0 = -(\\kappa-\\hat\\kappa+\\theta(l)-\\hat\\theta(l))V$, which converts the Noether charge integral into the explicit charge formula (38), and for BMS generators in Newman-Unti gauge into (42). The machinery turns the problem of defining quasi-local energy into the problem of finding meaningful boundary conditions and a preferred bulk extension of the symmetry generators.","core_discovery":"The central claim is that conserved charges can be defined at any closed spacelike two-surface $B$ by choosing a correction term in the covariant phase space Hamiltonian equation whose defining condition is not stationarity but vanishing of its integral over $B$ for variations preserving chosen boundary conditions on an auxiliary hypersurface. With canonical boundary conditions and a reference term constructed by isometrically embedding $B$ into a reference spacetime along a matched Newman-Unti foliation, the Einstein-Hilbert charge takes the explicit form (38); for BMS generators in Newman-Unti gauge it simplifies to (42). The zero mode $f=1$ of that charge is put forward as a quasi-local energy because it vanishes in Minkowski spacetime, asymptotes to the Bondi mass at null infinity, equals the Misner-Sharp energy on round spheres in spherically symmetric spacetimes, and equals the irreducible mass at the outer Reissner-Nordström horizon. The paper is explicit that the BMS charge is gauge-dependent in the bulk and that the physical preference for Newman-Unti gauge is argued in a companion paper.","pith_inferences":["If the irreducible-mass result extends to Kerr, as the paper suggests but does not check, the same zero-mode charge would provide a rotating black hole energy that the angular momentum BMS charges complement; evaluating it in the known Newman-Unti form of Kerr would settle the test.","The paper's reliance on Newman-Unti gauge suggests a physical principle: bulk gravitational memory selects the preferred BMS extension, so charges built from any other gauge extension would be physically disfavored rather than merely different.","A natural stress test is to compute the charge on a surface that crosses a gravitational wave region and compare its rate of change with the flux of the correction term; the construction predicts the flux is exactly the change in quasi-local energy."],"forward_implications":["The zero-mode BMS charge gives a candidate quasi-local energy for any closed spacelike two-surface covered by Newman-Unti coordinates, including regions inside the exterior of sufficiently weak matter around a black hole.","At null infinity the charge reduces to the standard BMS charge, so the construction recovers the Bondi mass as the quasi-local energy of a cut.","In spherically symmetric spacetimes the charge equals the Misner-Sharp energy on round spheres, tying the new definition to an established surface mass.","On the outer Reissner-Nordström horizon the gravitational part equals the irreducible mass, so black hole entropy bounds based on energy would see the expected horizon value.","Because the prescription is formulated for diffeomorphism-covariant theories, the same correction-term logic can define quasi-local charges for other gravitational theories and other asymptotic fall-off conditions."],"supporting_citations":[{"why":"Supplies the null-infinity correction-term construction that the paper adapts to the bulk.","marker":"[9]"},{"why":"Defines Newman-Unti coordinates and the BMS generators in that gauge, on which the explicit charges are evaluated.","marker":"[30]"},{"why":"The companion paper that the argument relies on for why Newman-Unti BMS generators are physically preferred.","marker":"[31]"},{"why":"Provides the quasi-local energy candidate whose failure to vanish in Minkowski spacetime motivates the reference-term conditions.","marker":"[7]"},{"why":"Defines the Misner-Sharp energy used as the spherical-symmetry comparison for the zero-mode charge.","marker":"[4]"},{"why":"Provides the asymptotic BMS charge form that the null-infinity limit of the charge reproduces.","marker":"[47]"},{"why":"Gives the Hamiltonian-with-boundary framework from which the charge expression is derived.","marker":"[32]"},{"why":"Supplies the Noether charge and symplectic potential for the Einstein-Hilbert Lagrangian used in the explicit charges.","marker":"[41]"},{"why":"Gives the list of pragmatic criteria that the quasi-local energy candidate is measured against.","marker":"[1]"}],"fun_headline_variants":["BMS zero-mode charge: a unified quasi-local energy","One BMS charge ties Bondi, horizon, and sphere masses","BMS charge zero-mode defines quasi-local energy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction is only physically meaningful if BMS generators in Newman-Unti gauge are the preferred bulk extension of BMS symmetries; the paper states that the justification is provided in a separate companion paper and that the charges remain gauge-dependent in the bulk.","fun_headline_variants_meta":{"raw":{"variants":["BMS zero-mode charge: a unified quasi-local energy","One BMS charge ties Bondi, horizon, and sphere masses","BMS charge zero-mode defines quasi-local energy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001744,"raw_usage":{"total_tokens":6817,"prompt_tokens":800,"completion_tokens":6017,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":416,"completion_tokens_details":{"reasoning_tokens":5964}},"tokens_in":416,"tokens_out":6017,"duration_ms":43225,"temperature":1.0,"reasoning_tokens":5964,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:14:53.934729+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the zero-mode BMS charge on the outer horizon of a Kerr black hole using the known Newman-Unti form of the Kerr metric: if the result is not the irreducible mass, the proposed quasi-local energy fails for rotating black holes.","supporting_citations":[{"cited_title":"Bart, Gravitational memory in the bulk , to appear","cited_arxiv_id":null,"evidence_quote":"The companion paper that the argument relies on for why Newman-Unti BMS generators are physically preferred."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Misner-Sharp energy used as the spherical-symmetry comparison for the zero-mode charge."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the list of pragmatic criteria that the quasi-local energy candidate is measured against."}],"review_version":1}