Explain why the ADM formalism is essential for numerical relativity.
Think about your answer, then reveal below.
Model answer: Numerical relativity requires solving the Einstein equations on a computer, which means evolving initial data forward in time step by step. The covariant form of the Einstein equations (G_μν = 8πG T_μν /c⁴) is not directly suitable for time evolution because it mixes space and time without a clear notion of 'initial data' and 'time stepping.' The ADM formalism provides the 3+1 decomposition needed: it identifies the initial data (γ_ij, K_ij on a spatial slice), the constraints the data must satisfy, and the evolution equations that advance the data in time. The lapse and shift provide the gauge freedom needed to choose computationally stable coordinate conditions. Modern numerical relativity codes (e.g., those used to predict LIGO waveforms for binary black hole mergers) are all based on the ADM decomposition or its refinements (BSSN formulation, generalized harmonic coordinates).
The first successful numerical simulation of binary black hole mergers (Pretorius, 2005; Campanelli et al., 2006; Baker et al., 2006) was a breakthrough that required decades of work on the ADM framework, stable gauge conditions, and computational infrastructure. These simulations now provide the gravitational wave templates used by LIGO/Virgo for signal detection and parameter estimation.