---
title: Bondi–Sachs Gauge in General Relativity
url: https://www.emergentmind.com/topics/bondi-sachs-gauge
type: topic
---

# Bondi–Sachs Gauge in General Relativity

Bondi–Sachs gauge is the null-coordinate gauge underlying the Bondi–Sachs formalism of general relativity: it fixes much of the coordinate freedom by adapting coordinates to outgoing null hypersurfaces, choosing an areal radial coordinate, and imposing a determinant condition on the angular metric. In this gauge, the Einstein equations acquire a characteristic hierarchical structure, the radiative degrees of freedom are encoded directly in the angular metric, and the Bondi mass, Bondi news, and Bondi–Metzner–Sachs group emerge in a transparent way [1609.01731]. Later work extends the same geometric strategy to asymptotically de Sitter settings, generalized asymptotic symmetry analyses, and partial gauge fixings that include Bondi–Sachs and Newman–Unti gauges as special cases [1803.05564][2311.03130][2401.09540].

## 1. Definition and metric form

In the standard construction, one introduces coordinates
\[
x^a=(u,r,x^A),\qquad A=2,3,
\]
where \(u\) labels outgoing null hypersurfaces, \(r\) is an areal radial coordinate along the null rays, and \(x^A\) are angular coordinates on the transverse 2-surfaces [1609.01731]. The defining geometric conditions are that \(u=\mathrm{const}\) are null, the angular coordinates are constant along the null generators, and the angular metric has fixed determinant.

The corresponding Bondi–Sachs metric is
\[
g_{ab}dx^a dx^b
=
-\frac{V}{r}e^{2\beta}\,du^2
-2e^{2\beta}\,du\,dr
+r^2 h_{AB}(dx^A-U^Adu)(dx^B-U^Bdu),
\]
with metric functions \(\beta(u,r,x^A)\), \(V(u,r,x^A)\), \(U^A(u,r,x^B)\), and \(h_{AB}(u,r,x^C)\), together with
\[
g_{AB}=r^2 h_{AB},\qquad \det(h_{AB})=\mathfrak q(x^A),
\]
where \(\mathfrak q\) is the determinant of a fixed unit-sphere metric \(q_{AB}\) [1609.01731]. In the common \((\theta,\phi)\) parameterization, \(h_{AB}\) can be written in terms of two functions \(\gamma\) and \(\delta\), leaving two independent radiative degrees of freedom [1609.01731].

For the general non-axisymmetric parameterization used in asymptotically de Sitter analyses,
\[
h_{AB}=
\begin{pmatrix}
e^{2\gamma}\cosh 2\delta & \sinh 2\delta\,\sin\theta\\
\sinh 2\delta\,\sin\theta & e^{-2\gamma}\cosh 2\delta\,\sin^2\theta
\end{pmatrix},
\qquad
\det(h_{AB})=\sin^2\theta,
\]
with \(U^2=U\) and \(U^3=W\csc\theta\) [1803.05564]. In the axisymmetric special case, \(\delta=0\) and \(W=0\), and the metric simplifies accordingly [1803.05564].

## 2. Gauge conditions and residual coordinate freedom

The gauge conditions may be summarized as follows. First, null slicing:
\[
g^{ab}\partial_a u\,\partial_b u=0
\quad\Rightarrow\quad
g^{uu}=0.
\]
Second, the angular coordinates are constant along the null generators:
\[
k^a=-g^{ab}\partial_b u,\qquad
k^a\partial_a x^A=0
\quad\Rightarrow\quad
g^{uA}=0.
\]
Third, the areal-radius condition is imposed through
\[
\det[g_{AB}]=r^4\mathfrak q(x^A),
\qquad
g_{AB}=r^2 h_{AB},
\qquad
\det(h_{AB})=\mathfrak q(x^A),
\]
so that the surfaces of constant \((u,r)\) have area \(4\pi r^2\) [1609.01731]. From these conditions one obtains
\[
g_{rr}=0,\qquad g_{rA}=0,
\]
which are the standard Bondi–Sachs gauge equations [1609.01731].

The determinant condition implies
\[
h^{AB}\partial_r h_{AB}=0,\qquad
h^{AB}\partial_u h_{AB}=0,
\]
so the radial and retarded-time derivatives of \(h_{AB}\) are trace-free with respect to \(h^{AB}\) [1609.01731]. This is the mechanism by which the angular metric carries only the two gravitational-wave polarizations.

These conditions do not exhaust the diffeomorphism freedom. At future null infinity, the residual diffeomorphisms preserving Bondi–Sachs gauge and its asymptotic structure form the BMS group. In inertial coordinates at \(\mathscr I^+\), the generators take the form
\[
\xi^a\partial_a\Big|_{\mathscr I^+}
=
\Big[\alpha(x^C)+\frac{u}{2}\eth_B f^B(x^C)\Big]\partial_u
+
f^A(x^C)\partial_A,
\]
where \(f^A\) is a conformal Killing vector of the unit 2-sphere and \(\alpha(x^A)\) generates supertranslations [1609.01731]. This suggests that Bondi–Sachs gauge is simultaneously a coordinate choice and the natural stage on which asymptotic symmetry acts.

A weaker framework, the partial Bondi gauge, keeps only
\[
g_{rr}=0,\qquad g_{rA}=0
\quad\Leftrightarrow\quad
g^{uu}=0,\qquad g^{uA}=0,
\]
while leaving the traces in the angular expansion free. In that setting, Bondi–Sachs and Newman–Unti gauges arise as distinct complete gauge fixings, the former by imposing the determinant condition and the latter by setting \(\beta=0\) [2401.09540].

## 3. Characteristic Einstein equations

A central feature of Bondi–Sachs gauge is that the Einstein equations decompose into a hierarchical characteristic system. In the vacuum metric formulation, the main equations are taken to be
\[
E^u{}_a=0,
\qquad
E_{AB}-\frac12 g_{AB}g^{CD}E_{CD}=0,
\]
while the remaining components become supplementary conditions propagated by the contracted Bianchi identities [1609.01731].

The hypersurface equations are radial equations solved sequentially along each null cone. For \(\beta\),
\[
\partial_r \beta
=
\frac{r}{16}h^{AC}h^{BD}(\partial_r h_{AB})(\partial_r h_{CD})
+
2\pi r\,T_{rr}.
\]
For \(U^A\),
\[
\partial_r\Big[r^4 e^{-2\beta}h_{AB}\partial_r U^B\Big]
=
2r^4\partial_r\Big(\frac1{r^2}D_A\beta\Big)
-r^2 h^{EF}D_E(\partial_r h_{AF})
+16\pi r^2 T_{rA}.
\]
For \(V\),
\[
\begin{aligned}
2e^{-2\beta}\partial_r V
=&\ \mathscr R
-2h^{AB}\Big(D_A D_B\beta + (D_A\beta)(D_B\beta)\Big)\\
&+\frac{e^{-2\beta}}{r^2}D_A\Big[\partial_r(r^4U^A)\Big]
-\frac12 r^4 e^{-4\beta}h_{AB}(\partial_r U^A)(\partial_r U^B)\\
&+8\pi\Big(h^{AB}T_{AB}-r^2 T^a{}_a\Big),
\end{aligned}
\]
with \(\mathscr R\) the Ricci scalar of \(h_{AB}\) [1609.01731].

The trace-free part of \(E_{AB}=0\) is the evolution equation for the angular metric, equivalently for the radiative variables. Operationally, the characteristic algorithm is
\[
h_{AB}\Rightarrow \beta\Rightarrow U^A\Rightarrow V,
\]
followed by radial determination of \(\partial_u h_{AB}\), which advances the solution in retarded time [1609.01731].

The same hierarchical structure persists in Einstein–scalar systems. In the zero-cosmological-constant Einstein–massless-scalar case, the equations again split into six main equations, one trivial equation, and three supplementary equations, yielding seven independent equations arranged as hypersurface equations for \(\beta,U,W,V\) and evolution equations for \(\gamma,\delta,\Psi\) [2402.04577]. In spherical symmetry with cosmological constant, a Bondi–Sachs-type null slicing also yields a first-order strongly hyperbolic formulation after passage to \(3+1\) variables, with lapse and shift as characteristic fields and a constraint-preserving initial boundary value problem constructed from the Bianchi identity [2301.05413].

## 4. Radiation, news, and mass loss

In an asymptotically flat Bondi frame,
\[
\lim_{r\to\infty}\beta=0,\qquad
\lim_{r\to\infty}U^A=0,\qquad
\lim_{r\to\infty}\frac Vr=1,\qquad
\lim_{r\to\infty}h_{AB}=q_{AB},
\]
and the angular metric admits the expansion
\[
h_{AB}=q_{AB}+\frac{c_{AB}}{r}+\frac{d_{AB}}{r^2}+\dots,
\]
with
\[
q^{AB}c_{AB}=0,\qquad
q^{AB}d_{AB}=\frac12 c^{AB}c_{AB}
\]
[1609.01731].

The hypersurface equations then determine the leading asymptotics:
\[
\beta
=
-\frac1{32}\frac{c^{AB}c_{AB}}{r^2}+O(r^{-3}),
\]
\[
U^A
=
-\frac{\eth_B c^{AB}}{2r^2}
+\frac1{r^3}\left(2L^A+\frac13 c^{AE}\eth^F c_{EF}\right)
+O(r^{-4}),
\]
\[
V=r-2M+O(r^{-1}),
\]
where \(L_A\) is the angular momentum aspect and \(M\) is the mass aspect [1609.01731].

The Bondi news tensor is
\[
N_{AB}=\frac12\partial_u c_{AB},
\]
and in dyad notation the news function is
\[
N=\partial_u \sigma_0,
\qquad
\sigma_0=\frac{1}{2\chi^2}q^A q^B c_{AB},
\]
so the real and imaginary parts of \(\sigma_0\) correspond to the \(+\) and \(\times\) polarizations [1609.01731]. The leading supplementary equation gives
\[
2\partial_u M = \eth_A\eth_B N^{AB} - N_{AB}N^{AB},
\]
which integrates to the Bondi mass-loss formula
\[
\frac{dm(u)}{du}
=
-\frac1{4\pi}\oint |N|^2\sin\theta\,d\theta\,d\phi,
\qquad
m(u)=\frac1{4\pi}\oint M\,\sin\theta\,d\theta\,d\phi
\]
[1609.01731].

In the Einstein–massless-scalar extension, the scalar field contributes an additional radiative channel. With
\[
\Psi=\frac{H}{r}+\frac{K}{r^2}+\frac{L}{r^3}+O(r^{-4}),
\]
the Bondi 4-momentum is defined using a modified mass aspect \(\mathcal M\), and the mass-loss formula becomes
\[
\frac{dm^0(u)}{du}
=
-\frac1{8\pi}\int_{S^2}\big(2c_u^2+2d_u^2+H_u^2\big)\,dS\le 0,
\]
so \(H_u^2\) is the scalar radiation flux term [2402.04577].

A conformally invariant reformulation of Bondi–Sachs energy-momentum avoids dependence on a Bondi system altogether. In that formulation, the mass aspect \(\mathfrak M\), the Bondi news \(\mathcal N\), and the space of asymptotic translations are defined directly on arbitrary cuts of \(\mathscr I\), with the Bondi–Sachs energy-momentum computed by integrating \(\mathfrak M\) against conformally normalized asymptotic translations [2104.13646]. This suggests that the standard Bondi gauge is a particularly convenient presentation of invariant structures rather than their only definition.

## 5. Cosmological constant and asymptotically de Sitter variants

With a nonzero cosmological constant, the Bondi–Sachs metric keeps the same structural gauge conditions—null hypersurfaces, luminosity radius, unit-determinant angular metric, and \(g_{rr}=g_{rA}=0\)—but the asymptotic behavior changes [1704.06015][1105.3258]. In the \(\Lambda\neq 0\) four-dimensional metric used by Xie and Zhang,
\[
g = -\big(V r^{-1} e^{2B} - r^2 h_{AB} U^A U^B\big)\,du^2 - 2 e^{2B}\,du\,dr - 2 r^2 h_{AB} U^B\,du\,dx^A + r^2 h_{AB}\,dx^A dx^B,
\]
the leading term in \(V\) is
\[
V=-\frac{\Lambda}{3}r^3+\cdots,
\]
and additional asymptotic functions \(B,X,Y\) enter nontrivially [1704.06015]. Under their natural boundary condition—Sommerfeld radiation condition together with \(\Lambda\)-independence of \(B,c,d,a,b\)—the Weyl scalars satisfy the usual peeling hierarchy
\[
\Psi_k=O(r^{k-5}),\qquad k=0,\dots,4,
\]
even though the asymptotics are not the asymptotically flat ones [1704.06015].

In asymptotically de Sitter spacetime, He, Jing, and Cao formulate Bondi–Sachs coordinates \((u,r,x^A)\) by solving the eikonal equation
\[
g^{ab}\nabla_a u\,\nabla_b u=0
\]
on the perturbed de Sitter background, with
\[
u = -\frac{1}{H}\ln(HR + e^{-Ht}) + O(\epsilon),
\qquad
r=e^{Ht}R+O(\epsilon),
\qquad
\Lambda=3H^2
\]
[1803.05564]. The outgoing boundary condition is modified to
\[
\gamma=\Lambda f(u,\theta,\phi)+\frac{c(u,\theta,\phi)}{r}+\cdots,
\qquad
\delta=\Lambda \tilde f(u,\theta,\phi)+\frac{\tilde c(u,\theta,\phi)}{r}+\cdots,
\]
with
\[
c=3\dot f,\qquad \tilde c=3\dot{\tilde f},
\]
so the radiative \(1/r\) coefficients are derivatives of the leading \(\Lambda\)-dependent pieces [1803.05564]. Matching to transverse-traceless perturbations yields
\[
f=\frac{\epsilon A}{6},\qquad c=\frac{\epsilon \dot A}{2},
\qquad
\tilde f=\frac{\epsilon B}{6},\qquad \tilde c=\frac{\epsilon \dot B}{2},
\]
where \(A\) and \(B\) are explicit combinations of derivatives of the mass and pressure quadrupoles [1803.05564]. The same paper estimates that \(\Lambda\)-effects on gravitational-wave detection become important only when
\[
r\gtrsim \frac{\omega}{\Lambda},
\]
which for observationally relevant frequencies is far beyond realistic distance scales [1803.05564].

A separate \(\Lambda\neq 0\) application is the Bondi–Sachs rocket family, where accelerated pure-radiation solutions retain Bondi–Sachs gauge and exhibit Bondi mass loss balanced by emitted pure radiation in special cases, with no gravitational radiation because the shear vanishes [1105.3258].

## 6. Modern generalizations and limitations

Recent work generalizes Bondi–Sachs gauge by relaxing how fully the radial coordinate and boundary metric are fixed. In the partial Bondi gauge, one retains only
\[
g_{rr}=0,\qquad g_{rA}=0,
\]
with metric
\[
ds^2
=
e^{2\beta}\frac{V}{r}du^2
-2e^{2\beta}du\,dr
+\gamma_{AB}(dx^A-U^Adu)(dx^B-U^Bdu),
\]
and
\[
\gamma_{AB}=r^2 q_{AB}+r C_{AB}+D_{AB}+\frac{1}{r}E_{AB}+O(r^{-2}),
\]
leaving the traces \(C,D,\dots\) free [2401.09540]. Bondi–Sachs gauge is then recovered by the determinant condition, which fixes
\[
C=0,\qquad 2D=[CC],\qquad E=[CD],\dots
\]
whereas Newman–Unti gauge is obtained by setting \(\beta=0\), leaving \(C\) free [2401.09540].

In asymptotically flat vacuum near \(\mathscr I^+\), a different generalization allows arbitrary induced 2-metric \(h_{AB}\) on the celestial sphere and studies the fully nonlinear action of the Weyl–BMS group on the leading Bondi-gauge metric functions
\[
h_{AB},\qquad C_{AB},\qquad m,\qquad N_A,
\]
with Bondi news
\[
N_{AB}=\dot C_{AB}
\]
[2311.03130]. In that framework, supertranslations act by
\[
\bar C_{AB}(u,\theta)=C_{AB}(u+\beta,\theta)-2D_A D_B\beta + h_{AB}D^2\beta,
\]
while Weyl-like transformations rescale \(h_{AB}\) and shift \(C_{AB}\) inhomogeneously [2311.03130]. This suggests that Bondi–Sachs gauge is not a single rigid choice but a family of null gauges supporting progressively larger asymptotic symmetry groups.

At the same time, PDE analyses show a limitation of Bondi-like gauges. In linearized studies of the Einstein equations in Bondi-like coordinates, the principal symbol decomposes into gauge, constraint, and physical blocks, and the gauge block is only weakly hyperbolic. Giannakopoulos et al. argue that Bondi-like gauges therefore lead, under quite general conditions, to weakly hyperbolic free-evolution systems, rendering the characteristic initial boundary value problem ill-posed in the simplest norms one would like to employ [2111.14794]. This does not negate the geometric utility of Bondi–Sachs gauge, but it sharply distinguishes geometric transparency from PDE well-posedness.

A complementary development is the Special Double Null gauge, designed to treat \(\mathscr I^+\) and \(\mathscr I^-\) democratically with null holographic directions rather than a spacelike areal radius. That framework is presented explicitly as complementary to Bondi and Ashtekar–Hansen gauges rather than a replacement for Bondi–Sachs gauge [2112.11440].

## 7. Broader significance

Bondi–Sachs gauge provided the first convincing evidence that gravitational radiation is a nonlinear effect of general relativity and that the emission of gravitational waves from an isolated system is accompanied by mass loss from the system [1609.01731]. It also revealed the asymptotic symmetry group at null infinity to be larger than the Poincaré group, namely the BMS group [1609.01731].

The same gauge continues to organize several distinct research programs. In characteristic numerical relativity, it underlies worldtube–null-cone evolution and clean wave extraction at \(\mathscr I^+\) [1609.01731]. In asymptotic symmetry, it is the natural arena for BMS, generalized BMS, and Weyl–BMS analyses [2311.03130]. In asymptotically de Sitter and anti–de Sitter studies, it remains the reference null gauge from which modified boundary conditions, source multipole identifications, and constraint-preserving boundary conditions are formulated [1803.05564][2301.05413]. In conformal treatments, it serves as the benchmark gauge whose standard notions—mass aspect, news, and translations—can be reconstructed in a gauge-independent form on arbitrary cuts of null infinity [2104.13646].

Taken together, these developments show that Bondi–Sachs gauge is both a classical coordinate gauge and a durable geometric framework: it isolates radiative and Coulombic data, organizes the Einstein equations into a characteristic hierarchy, and anchors the modern understanding of null infinity, asymptotic symmetries, and gravitational radiation [1609.01731][2401.09540].

Source: https://www.emergentmind.com/topics/bondi-sachs-gauge