Pith. Sign in

REVIEW

Quasi-Local Gravitational Energy

General Relativity and Quantum Cosmology · Submitted 26 Mar 1993 · 1 reference

Pith's verdict: The functional is explicit and the flat-space fix is right; the 'dynamically preferred' label leans on two in-press self-citations and the twist term is never exercised by a single worked example.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 13, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDgr-qc/9303030 (version 1)
Pith IDPM7DM4WB, Pith's permanent record of this paper and its review
CitationSean A. Hayward. "Quasi-Local Gravitational Energy." arXiv:gr-qc/9303030 (1993). https://pith.science/paper/PM7DM4WB
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

Hayward proposes a single formula for the gravitational energy of any closed spatial two-surface, built from the Hamiltonian of a null-foliation ('2+2') formulation of general relativity, and shows it vanishes in flat spacetime, reproduces$

The reading

General relativity has no agreed local density of gravitational energy: the only broadly accepted totals are the asymptotic masses measured at infinity, Bondi's at null infinity and ADM's at spatial infinity. Hayward asks what a finite region weighs, taking the region to be a compact orientable spatial two-surface, and proposes to read the answer off the Hamiltonian of a '2+2' formulation of Einstein's equations, in which null surfaces are propagated off the two-surface in two independent null directions. The resulting energy depends only on the data a surface actually carries: its induced area element, its two null second fundamental forms (expansion and shear in each null direction), and its twist, the commutator of the null normals. If the construction holds up, one expression does the work of several: it gives the Schwarzschild mass on a sphere of symmetry, reduces to the Hawking mass when shear and twist vanish, tends to the Bondi mass at null infinity and the ADM mass at spatial infinity along a foliation labelled by area radius, and returns the irreducible mass on a static black-hole horizon. The author also states plainly what the argument does not yet settle, namely the coefficient of the twist term, which is fixed by appeal to a separate paper rather than by the criteria used for the other terms.

What carries the argument

The load-bearing object is the Hamiltonian 2-form of the '2+2' (dual-null) formulation, $8pi H = -mu(R + theta tilde{theta} - tfrac{1}{2}sigma_{ab}tilde{sigma}^{ab} - 2omega_aomega^a)$, obtained from the Einstein-Hilbert Lagrangian rewritten in a basis of two null evolution vectors plus two tangent vectors to the surface, up to a total divergence. Two geometric identities do the bookkeeping: the contracted Gauss equation $R + theta tilde{theta} - tfrac{1}{2}sigma_{ab}tilde{sigma}^{ab} = h^a{}_c h^b{}_d R_{abcd}$, which turns the integrand into a curvature contraction and makes the flat-space vanishing immediate, and Gauss-Bonnet, $int_S mu R = 8pi(1-g)$, which separates the topological genus from the dynamical content. The single length scale needed to convert the integrated Hamiltonian into energy units is supplied by the area, which is why $sqrt{A/16pi}$ appears and why the Schwarzschild normalisation comes out right.

Extended reading notes

Core claim

The paper defines the quasi-local energy of a compact orientable spatial two-surface $S$ as $$E = -frac{sqrt{A}}{16pi}int_S H = frac{1}{8pi}sqrt{frac{A}{16pi}}int_S mu left(R + $\theta$ tilde{$\theta$} - tfrac{1}{2}sigma_{ab}tilde{$\sigma$}^{ab} - 2omega_a omega^aright),$$ where $H$ is the Hamiltonian 2-form of the '2+2' formulation, $A$ is the area of $S$, $mu$ its area 2-form, $R$ the Ricci scalar of the induced metric, $theta,tilde{theta}$ the two null expansions, $sigma_{ab},tilde{sigma}_{ab}$ the two shears, and $omega_a$ the twist. The claim is that this is a dynamically preferred quantity rather than an ad hoc guess, because varying the full Hamiltonian returns the Einstein equations adapted to null foliations of two-surfaces. The supporting checks are that $E$ vanishes on every surface in flat spacetime (the shear term is exactly the correction that removes the known negative flat-space values of the Hawking and Geroch masses), that it equals the Hawking mass when shear and twist vanish, that it evaluates to $m$ for Schwarzschild, $m - tfrac{1}{2}e^2 r^{-1}$ for Reissner-Nordström, $tfrac{4}{3}pi r^3 rho$ for Robertson-Walker, zero for plane waves and negative for the Khan-Penrose colliding plane wave, and that on a static horizon it satisfies $16pi E^2 = A$, making it the irreducible mass.

Load-bearing premise

The coefficient of the twist term, $-2omega_a omega^a$, is not fixed by any of the paper's stated criteria: section 7 concedes that flat-space vanishing plus the Schwarzschild and Bondi/ADM limits determine the coefficients of $R$, $theta tilde{theta}$ and $sigma_{ab}tilde{sigma}^{ab}$ but leave the twist coefficient open, justified only by reference to a separate in-press paper on black-hole dynamics.

Editorial extensions

If this is right

  • A single functional unifies the null-infinity and spatial-infinity limits: $M_B = \lim_{r\to\infty} E$ along an area-radius foliation and $M_{\mathrm{ADM}} = \lim_{\rho\to\infty} E$, so the Bondi and ADM masses become two limits of one quasi-local quantity rather than unrelated definitions.
  • The long-standing failure of the Hawking mass to vanish on generic surfaces in flat spacetime is repaired by a specific shear term dictated by the Gauss equation, with no free parameter introduced for that purpose.
  • On a Killing horizon the twist and internal shear vanish, so $16\pi E^2 = A$ holds exactly, giving the irreducible mass of a static black hole directly from the quasi-local definition.
  • Quasi-local energy is not monotonic and need not be positive: it is zero for plane waves, unbounded and negative at the singularity of a colliding plane wave, and negative inside the inner horizon of a charged black hole, so the definition tracks non-linear gravitational interaction rather than a conserved charge.
  • For a disconnected surface $S = S_1 \cup S_2$ the energy satisfies $E > E_1 + E_2$, giving a positive binding energy and making coalescence energetically favourable.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The definition supplies a ready-made diagnostic for numerical relativity: tracking $E$ across a foliation of surfaces during a black-hole merger would test whether the binding-energy inequality is realised dynamically, since the paper only establishes it algebraically for disjoint surfaces.
  • Because $E$ is built from the same data that characterise trapped surfaces, it sits naturally alongside horizon-finding algorithms: the marginal-trapping condition $\theta\tilde{\theta}=0$ turns the energy formula into a relation between $E$, the shear and the twist on the apparent horizon, which is a checkable identity in any numerical simulation.
  • The twist coefficient is the one place where the construction could be repaired or broken without touching the rest, so a natural extension is to test boost invariance of $E$ on a surface carrying both shear and twist; that is a purely algebraic computation in the '2+2' variables.
  • The paper's remark that $E$ controls the signature and trapping of singularities in spherical symmetry, and its two-dimensional dilaton analogue, hints at a broader use of the same Hamiltonian as a censorship diagnostic rather than only as a mass.
Original abstract

A dynamically preferred quasi-local definition of gravitational energy is given in terms of the Hamiltonian of a `2+2' formulation of general relativity. The energy is well-defined for any compact orientable spatial 2-surface, and depends on the fundamental forms only. The energy is zero for any surface in flat spacetime, and reduces to the Hawking mass in the absence of shear and twist. For asymptotically flat spacetimes, the energy tends to the Bondi mass at null infinity and the \ADM mass at spatial infinity, taking the limit along a foliation parametrised by area radius. The energy is calculated for the Schwarzschild, Reissner-Nordstr\"om and Robertson-Walker solutions, and for plane waves and colliding plane waves. Energy inequalities are discussed, and for static black holes the irreducible mass is obtained on the horizon. Criteria for an adequate definition of quasi-local energy are discussed.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,544 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.21 · human participants 0.01 · controlled comparison 0.04 · randomized assignment 0.01 · states quantitative result 0.34 · compares with prior results 0.85 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

A dynamically preferred quasi-local definition of gravitational energy is given in terms of the Hamiltonian of a `2+2' formulation of general relativity. The energy is well-defined for any compact orientable spatial 2-surface, and depends on the fundamental forms only. The energy is zero for any surface in flat spacetime, and reduces to the Hawking mass in the absence of shear and twist. For asymptotically flat spacetimes, the energy tends to the Bondi mass at null infinity and the \ADM mass at spatial infinity, taking the limit along a foliation parametrised by area radius. The energy is calculated for the Schwarzschild, Reissner-Nordstr\"om and Robertson-Walker solutions, and for plane waves and colliding plane waves. Energy inequalities are discussed, and for static black holes the irreducible mass is obtained on the horizon. Criteria for an adequate definition of quasi-local energy are discussed.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A dynamically preferred quasi-local definition of gravitational energy is given in terms of the Hamiltonian of a `2+2' formulation of general relativity. contribution 0.98 0.91 0.63 asserted 1.00
s1 The energy is well-defined for any compact orientable spatial 2-surface, and depends on the fundamental forms only. result 0.57 0.80 0.13 asserted 1.00
s2 The energy is zero for any surface in flat spacetime, and reduces to the Hawking mass in the absence of shear and twist. result 0.99 0.76 0.17 asserted 1.00
s3 For asymptotically flat spacetimes, the energy tends to the Bondi mass at null infinity and the \ADM mass at spatial infinity, taking the limit along a foliation parametrised by area radius. result 0.98 0.81 0.18 asserted 1.00
s4 The energy is calculated for the Schwarzschild, Reissner-Nordstr\"om and Robertson-Walker solutions, and for plane waves and colliding plane waves. result 0.48 0.90 0.07 asserted 1.00
s5 Energy inequalities are discussed, and for static black holes the irreducible mass is obtained on the horizon. result 0.89 0.80 0.11 asserted 0.96
s6 Criteria for an adequate definition of quasi-local energy are discussed. contribution 0.48 0.63 0.06 unclear 0.76

What kind of paper the classifier reports this is: theoretical result 0.87 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

32 arXiv papers cite this in 45 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 33 sentences without a confident label

Uses its method or tool 3 papers
Compares with it 1 paper
  • Now focusing on the first term on the RHS of ([ref]), we identify it as the variation of the energy associated with the null surface $S_t$ under the virtual displacement $δλ_(k)$, i.e [equation] Performing an indefinite integration over $λ_(k)$ allows us to have an expression for the energy associated with the $2$-surface $S_t$, [equation] Before proceeding ahead, we note that the expression of the energy as obtained in ([ref]) is reminiscent of the Hawking-Hayward energy definition [ref] .

    Covariant approach to the thermodynamic structure of a generic null surface · $R_abl^ak^b$, favourable candidate for thermodynamic interpretation: a covariant approach · 0.97

Cites it as background 8 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.