Pith. Sign in

REVIEW

Second order gauge invariant gravitational perturbations of a Kerr black hole

General Relativity and Quantum Cosmology · Submitted 5 Nov 1998 · 45 references

Pith's verdict: A real construction — the tetrad-invariant piece checks out and the second-order Kerr wave equation is genuinely new — but the gauge-vector integrability is assumed, not shown, and the paper says so.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 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 →

· 3 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/9811019 (version 2)
Pith IDKDMKTUMP, Pith's permanent record of this paper and its review
CitationC.O.Lousto (AEI, M.Campanelli, Potsdam). "Second order gauge invariant gravitational perturbations of a Kerr black hole." arXiv:gr-qc/9811019 (1998). https://pith.science/paper/KDMKTUMP
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

The paper builds a second-order gravitational waveform around a rotating black hole that does not change when coordinates or the null frame are changed, and shows it obeys the same Teukolsky wave equation as the first-order field with a new

The reading

First-order gravitational perturbations of a Kerr black hole are described by the Weyl scalar $psi_4$, which is already gauge invariant at that order, so a computed waveform does not depend on which coordinates were used. At second order that protection is gone: $psi_4^{(2)}$ shifts under both infinitesimal coordinate changes and rotations of the null tetrad, which makes a second-order perturbative waveform hard to compare with a full numerical simulation. The authors set out to repair this by explicitly constructing a corrected field $psi_I$ — the second-order piece of $psi_4$ plus quadratic corrections built from first-order quantities — that is invariant under both kinds of transformation and that reduces to the ordinary second-order $psi_4$ in an asymptotically flat gauge far from the source. They then argue that $psi_I$ satisfies a single wave equation with the same Teukolsky operator as at first order and a source term assembled entirely from first-order data. If that holds, second-order perturbation theory around a spinning hole becomes a practical, gauge-independent benchmark for numerical relativity in the regime where the merged remnant rotates rapidly.

What carries the argument

The load-bearing object is the corrected waveform of Eq. (41), $psi_I = psi_4^{(2)} + Q - Q_{AF} + psi_4^{(1)},_{mu}(xi^mu_{ORG} - xi^mu)$, where $Q$ is the quadratic tetrad-correcting term and $Q_{AF}$ is its counterpart evaluated in the outgoing radiation gauge. The tetrad part of the correction works because $psi_3^{(1)}$ shifts by $3a,psi_2^{(0)}$ under a null rotation of type I, which lets the rotation parameter be solved for and replaced; the coordinate part works because the first-order gauge vector can be recovered from variations of the tetrad-invariant $psi_2^{(1)}$ (giving $xi^r$ and $xi^vartheta$) and from variations of the metric and extrinsic curvature (giving the derivatives of $xi^t$ and $xi^phi$). The payoff is that the same Teukolsky operator $hat{T}$, written explicitly in Boyer-Lindquist coordinates and the Kinnersley tetrad, acts on the second-order invariant field, so an existing first-order evolution code can be reused with an added source term.

Extended reading notes

Core claim

The central claim is an existence proof by construction: for second-order perturbations about a Kerr black hole there exists a waveform $psi_I$ that is invariant under first-order coordinate (gauge) transformations and under tetrad rotations, and that coincides with the second-order $psi_4$ in an asymptotically flat gauge at the radiation zone. The construction proceeds in two stages. First, $psi_4^{(2)}$ is corrected by a quadratic term involving the first-order tetrad components and the first-order Weyl scalars, $2psi_4^{(1)}(l^r_{(1)}/l^r_{(0)} + m^vartheta_{(1)}/m^vartheta_{(0)}) - (2/3)(psi_3^{(1)})^2/psi_2^{(0)}$, which cancels the tetrad dependence, with a further subtraction in the outgoing radiation gauge so that the added piece does not survive at large $r$. Second, the residual coordinate dependence, which is linear in the first-order gauge vector $xi^mu$, is cancelled by adding $psi_4^{(1)}$ times the difference between the gauge vector in the outgoing radiation gauge and the actual one. The resulting $psi_I$ obeys $hat{T}psi_I = S_I$, where $hat{T}$ is exactly the operator governing first-order perturbations and $S_I$ is a source assembled from first-order perturbations and their derivatives. The authors also lay out how to impose initial data for $psi_I$, how to extract radiated energy, linear momentum and angular momentum from it, and how to fix the two residual integration constants by an a posteriori gauge choice.

Load-bearing premise

The construction assumes that the time and azimuthal components of the first-order gauge vector can be recovered by integrating their derivatives in Eqs. (45)-(46) with consistent integrability conditions, and that the outgoing-radiation-gauge reference vectors exist so that the difference between the two is well defined — the paper states in Sec. IV.C that these components are 'assumed a priori' and tied to the existence of the outgoing radiation gauge proved in Ref. [32].

Editorial extensions

If this is right

  • A second-order radiation field can be computed without committing to a coordinate system, so its waveform and energy flux can be compared directly with the covariant $psi_4$ produced by full numerical integrations of Einstein's equations.
  • Because the wave operator is unchanged from first order, the (2+1)-dimensional time-domain Teukolsky evolution code already used for first-order perturbations can be extended to second order by adding a source term built from the first-order solution.
  • The ratio of second-order to first-order radiated energy supplies the otherwise missing error estimate for the close-limit approximation, giving a systematic measure of how small the perturbative parameter must be for the approximation to hold.
  • The formalism reduces to the nonrotating case and is intended to reproduce the known second-order Schwarzschild close-limit results, while also giving access to higher multipoles such as $ell = 4$.
  • Radiated energy, linear momentum and angular momentum at future null infinity can all be computed from $psi_I$ using the standard Bondi and Landau-Lifshitz expressions, since $psi_I$ equals $psi_4^{(2)}$ in an asymptotically flat gauge.

Reading between the lines

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

  • The construction amounts to a machine that converts any first-order gauge into an asymptotically flat one, which suggests that the outgoing radiation gauge may be the most economical setting for the actual numerical evolution, rather than evolving in an arbitrary gauge and correcting afterwards.
  • The method is presented for Kerr but the authors note it should carry over to any Petrov type D (or even type II) background, so the same template might be reused for second-order perturbations of nonrotating neutron stars or of cosmological backgrounds.
  • The non-uniqueness of the quadratic correction — one can always add products of first-order invariants — means that different implementations will produce waveforms differing at high order in $1/r$; a useful cross-check would be to verify that two such choices give the same radiated energy at infinity.
  • Because the correction requires integrating $xi^t$ and $xi^phi$ from their derivatives, the resulting waveform is nonlocal in the first-order data even though the evolution equation is local; this asymmetry between the equation and the observable is worth watching in any implementation.
Original abstract

We investigate higher than the first order gravitational perturbations in the Newman-Penrose formalism. Equations for the Weyl scalar $\psi_4,$ representing outgoing gravitational radiation, can be uncoupled into a single wave equation to any perturbative order. For second order perturbations about a Kerr black hole, we prove the existence of a first and second order gauge (coordinates) and tetrad invariant waveform, $\psi_I$, by explicit construction. This waveform is formed by the second order piece of $\psi_4$ plus a term, quadratic in first order perturbations, chosen to make $\psi_I$ totally invariant and to have the appropriate behavior in an asymptotically flat gauge. $\psi_I$ fulfills a single wave equation of the form ${\cal T}\psi_I=S,$ where ${\cal T}$ is the same wave operator as for first order perturbations and $S$ is a source term build up out of (known to this level) first order perturbations. We discuss the issues of imposition of initial data to this equation, computation of the energy and momentum radiated and wave extraction for direct comparison with full numerical approaches to solve Einstein equations.

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,128 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

We investigate higher than the first order gravitational perturbations in the Newman-Penrose formalism. Equations for the Weyl scalar $\psi_4,$ representing outgoing gravitational radiation, can be uncoupled into a single wave equation to any perturbative order. For second order perturbations about a Kerr black hole, we prove the existence of a first and second order gauge (coordinates) and tetrad invariant waveform, $\psi_I$, by explicit construction. This waveform is formed by the second order piece of $\psi_4$ plus a term, quadratic in first order perturbations, chosen to make $\psi_I$ totally invariant and to have the appropriate behavior in an asymptotically flat gauge. $\psi_I$ fulfills a single wave equation of the form ${\cal T}\psi_I=S,$ where ${\cal T}$ is the same wave operator as for first order perturbations and $S$ is a source term build up out of (known to this level) first order perturbations. We discuss the issues of imposition of initial data to this equation, computation of the energy and momentum radiated and wave extraction for direct comparison with full numerical approaches to solve Einstein equations.

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 We investigate higher than the first order gravitational perturbations in the Newman-Penrose formalism. contribution 0.82 0.90 0.03 asserted 0.88
s1 Equations for the Weyl scalar $\psi_4,$ representing outgoing gravitational radiation, can be uncoupled into a single wave equation to any perturbative order. background 0.80 0.38 0.09 asserted 0.91
s2 For second order perturbations about a Kerr black hole, we prove the existence of a first and second order gauge (coordinates) and tetrad invariant waveform, $\psi_I$, by explicit construction. result 0.60 0.96 0.73 asserted 1.00
s3 This waveform is formed by the second order piece of $\psi_4$ plus a term, quadratic in first order perturbations, chosen to make $\psi_I$ totally invariant and to have the appropriate behavior in an asymptotically flat gauge. method 0.67 0.91 0.24 asserted 1.00
s4 $\psi_I$ fulfills a single wave equation of the form ${\cal T}\psi_I=S,$ where ${\cal T}$ is the same wave operator as for first order perturbations and $S$ is a source term build up out of (known to this level) first order perturbations. result 0.83 0.88 0.32 asserted 1.00
s5 We discuss the issues of imposition of initial data to this equation, computation of the energy and momentum radiated and wave extraction for direct comparison with full numerical approaches to solve Einstein equations. contribution 0.63 0.59 0.06 unclear 0.52

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

What was examined, and what was not

sources read
  • arXiv listing abstract v2
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 later papers used it

88 later papers cite it

Evidence: substantial. 59 of the citing papers share no author with it, and 17 of those carry a confident label from Pith's citation classifier.

Pith read 11 of the 182 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 4 of 43 papers with this label · 3 by the same authors

By the same authors

How the literature uses it

83 arXiv papers cite this in 177 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 · 86 sentences without a confident label

Contests it 1 paper
Builds on it 1 paper
Uses its method or tool 42 papers
Compares with it 6 papers
Cites it as support 2 papers
Cites it as background 18 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.