10
$\begingroup$

The most recent episode of Sean Carroll's podcast is an interview with Kip Thorne, in which it is stated that until somewhat recently it was unclear that it would ever be possible to simulate the Einstein equations for interesting situations that might actually occur, rather than quite simple ones.

This indicates that there were significant advances in areas other than hardware since that point, because if that were the only barrier, people at the time would have predicted that we would eventually be able to run such simulations.

What barriers (other than hardware) were there to this task, and what advances overcame them?

$\endgroup$
  • $\begingroup$ I'm not an expert on this kind of thing, but I think there are at least three things that make this kind of thing hard. (1) Solving any wave equation accurately in 3+1 dimensions is very computationally expensive if there are no symmetries to help you. (2) For GR, there is no fixed background of spacetime, so a lot of canned methods probably won't work. (3) You can get singularities, and the computations will behave badly near them. You can also have Cauchy horizons, beyond which the field equations lose their ability to predict anything. $\endgroup$ – Ben Crowell Nov 26 '18 at 20:06
  • 2
    $\begingroup$ The breakthrough came in 2005. See en.wikipedia.org/wiki/Numerical_relativity and arxiv.org/abs/1411.3997. A major impetus to the theoretical effort was LIGO. $\endgroup$ – G. Smith Nov 26 '18 at 20:12
  • $\begingroup$ @G.Smith Thanks! Feel free to post that comment as an answer as it perfectly answers the question. $\endgroup$ – Davis Yoshida Nov 27 '18 at 14:27
  • 1
    $\begingroup$ OK, I've summarized these two sources, since SE frowns on answers that are just links to references. If you like my summary, please accept it as the answer. Thanks! $\endgroup$ – G. Smith Nov 28 '18 at 4:08
11
$\begingroup$

Numerical relativity begin in the mid-1960s and had a major breakthrough in 2005. The LIGO gravitational wave observatory had started collecting data in 2002, so there was a strong impetus to be able to match theoretical simulations of merging black holes to observations. This paid off in 2016 when LIGO made its first detection.

Einstein's equations are ten coupled, non-linear, second-order partial differential equations in four dimensions... a formidable computational challenge!

The first problem was hardware limitations. As late as 1995, physicists could not even numerically solve the equations for the simple, analytically-known, spherically symmetric Schwarzschild metric, due to the complications of dealing with the singularity. The supercomputers of that time did not have sufficient memory and computational power to perform accurate calculations of 3D spacetimes.

In a situation without any spatial symmetry, the number of 3D grid points in the discretized equations are enormous if you want to have decent resolution. But within a few years, progress was made on head-on collisions of black holes, exploiting the cylindrical symmetry. Eventually hardware reached the point where it was no longer the bottleneck, even in situations where symmetry could not be exploited. But a long series of other computational challenges had to be overcome.

The first was formulating the equations in a way that made them a well-posed initial boundary-value problem with satisfactory numerical stability. The Arnowitt-Deser-Misner (ADM) "3+1" formalism had been around since 1959. This is a Hamiltonian approach in which spacetime is foliated into a spacelike 3D slices, each with its own internal 3D metric and extrinsic curvature, which evolve in time. It reduces the Einstein equations to twelve coupled first-order-in-time evolution equations (six for the 3-metric, six for the extrinsic curvature), plus four constraint equations. This formalism was suitable for numerically evolving an initial spacetime slice forward in time, but keeping numerical errors from building up was problematic because the equations were only "weakly hyperbolic".

The Baumgarte-Shapiro-Shibata-Nakamura (BSSN) formalism, developed between 1987 and 1999 overcame this problem by reformulating the ADM equations to make them "strongly hyperbolic", a condition which makes for much better numerical stability.

Next, since general relativity is a gauge theory, another challenge was the question of which of various possible gauges was best for doing calculations. It turned out to be highly non-trivial to find gauge conditions that ensure numerically stable evolutions, but eventually a family of gauges called generalized harmonic gauge (GHG) proved suitable.

The question of formulating appropriate data for initial conditions was a difficult one. Not only did the initial data need to be physically correct -- for example, to describe two orbiting black holes, each with spin -- but it also needed to satisfy the four constraint equations.

Dealing with spatial boundary conditions at infinity were another roadblock. Far from the two black holes, spacetime must take the form of outgoing gravitational radiation. The numerical solution must ensure that there is no gravitational radiation coming in from infinity.

Mesh refinement turned out to be necessary to handle the various distance scales that black holes have, all the way from their horizon to the wave zone. And this mesh refinement had to be implemented in a way that could be parallelized on multiple processors.

Extracting physical results, such as gravitational wave waveforms, in a gauge-invariant manner from the numerical simulation was non-trivial.

Dealing with the singularity of each hole, and of the merged hole, was a major problem. Two different techniques were developed. In the "excision" technique, proposed in the late 1990's, a region around the singularity, but inside the horizon, is simply not evolved, since nothing happening inside the hole can affect the outside.

The second technique, called the "puncture method", divided the solution into an analytical part containing the singularity, and a numerically-constructed part that was singularity-free. But at first, the puncture containing the singularity remained at fixed coordinates even as the holes moved, resulting in the coordinate system getting stretched and warped to the point that numerical instabilities arose.

The breakthrough of 2005 was allowing the punctures to move through the coordinate system to control the numerical instabilities. After that point, spacetimes for merging black holes could be accurately simulated.

Forty years of hard work had brought the field of numerical relativity to maturity!

This post was based on two sources: "Numerical relativity" (https://en.wikipedia.org/wiki/Numerical_relativity) and "The numerical relativity breakthrough for binary black holes" (https://arxiv.org/abs/1411.3997).

$\endgroup$
  • $\begingroup$ Awesome answer. Wish I could give more than +1. Do you know if any of these new methods are available in open source packages? If so that might be a good thing to add $\endgroup$ – Dale Nov 28 '18 at 4:17
  • 1
    $\begingroup$ I don’t have experience with any such packages so I don’t want my answer to suggest one. However, a quick search turned up this: einsteintoolkit.org $\endgroup$ – G. Smith Nov 28 '18 at 4:26
  • $\begingroup$ Since you said that you wish you could give me more than +1... you can also “accept” one answer, which puts a nice green check mark next to it. This is mostly intended for when there are multiole answers, but I think it is also allowed even when there is only one, $\endgroup$ – G. Smith Nov 28 '18 at 4:31
  • $\begingroup$ My understanding is that only the questioner, @Davis Yoshida can do that. I do hope he does $\endgroup$ – Dale Nov 28 '18 at 4:35
  • $\begingroup$ Oh, sorry. I wasn’t paying attention. I was assuming you had asked the question. Anyway, thanks for liking my answer! $\endgroup$ – G. Smith Nov 28 '18 at 4:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.