arXiv subjects

Jonathan Thornburg

Publications and source records attributed to Jonathan Thornburg.

At least 19 recordsLinked to original sources

arXiv2026

Time-domain evolution of Lorenz-gauge metric perturbations: taming the $\ell=m=1$ gauge instability

Calculating the spacetime metric perturbation (MP) sourced by a small "particle" of mass $μM$ (with $0 < μ\ll 1$) moving in a Schwarzschild or Kerr "background" black hole spacetime of mass $M$ is a longstanding research area in general relativity. This calculation also has an important astrophysical motivation as a major step in calculating the gravitational waves emitted by an extreme-mass-ratio inspiral system. Here I consider the specific problem of the time-domain calculation of the $\mathcal{O}(μ)$ Lorenz-gauge MP $h_{ab}$ sourced by the particle. Decomposing the Schwarzschild-background MP into $e^{imϕ}$ modes, Dolan and Barack [Phys. Rev. D 87, 084066 (2013), arXiv:1211.4586] found that the $m=1$ time-domain Lorenz-gauge MP generically contains an \emph{unstable gauge mode} which grows linearly with time. Here I demonstrate a method for computing a Lorenz-gauge time-domain evolution which is mostly free of this gauge mode. This method computes an "orthogonalized" MP $h_{ab}^\text{ortho}$ as a linear combination of the sourced MP and a homogeneous MP $h_{ab}^\text{hom}$ (evolved in parallel with the sourced MP). The linear combination is updated "occasionally" to make $h_{ab}^\text{ortho}$ orthogonal to $h_{ab}^\text{hom}$ with respect to a chosen inner product on MPs. I show that, for a Schwarzschild-circular-orbit test case, the resulting $h_{ab}^\text{ortho}$ satisfies the $\mathcal{O}(μ)$ Einstein equations and Lorenz gauge conditions, remains bounded as $t \to \infty$, and at late (finite) times contains only a small component of the unstable gauge mode. These results hold both with the particle modelled via MP jump conditions and with particle modelled by a "effective source". My numerical code for obtaining all of these results is included with this paper, and will be deposited in the Black Hole Perturbation Toolkit.

gr-qc↗

arXiv2019

Excitation of Kerr quasinormal modes in extreme--mass-ratio inspirals

If a small compact object orbits a black hole, it is known that it can excite the black hole's quasinormal modes (QNMs), leading to high-frequency oscillations ("wiggles") in the radiated field at $\mathcal{J}^+$, and in the radiation-reaction self-force acting on the object after its orbit passes through periapsis. Here we survey the phenomenology of these wiggles across a range of black hole spins and equatorial orbits. In both the scalar-field and gravitational cases we find that wiggles are a generic feature across a wide range of parameter space, and that they are observable in field perturbations at fixed spatial positions, in the self-force, and in radiated fields at $\mathcal{J}^+$. For a given charge or mass of the small body, the QNM excitations have the highest amplitudes for systems with a highly spinning central black hole, a prograde orbit with high eccentricity, and an orbital periapsis close to the light ring. The QNM amplitudes depend smoothly on the orbital parameters, with only very small amplitude changes when the orbit's (discrete) frequency spectrum is tuned to match QNM frequencies. The association of wiggles with QNM excitations suggest that they represent a situation where the \emph{nonlocal} nature of the self-force is particularly apparent, with the wiggles arising as result of QNM excitation by the compact object near periapsis, and then encountered later in the orbit. Astrophysically, the effects of wiggles at $\mathcal{J}^+$ might allow direct observation of Kerr QNMs in extreme-mass-ratio inspiral (EMRI) binary black hole systems, potentially enabling new tests of general relativity.

gr-qc↗

arXiv2017

Scalar self-force for highly eccentric equatorial orbits in Kerr spacetime

If a small "particle" of mass $μM$ (with $μ\ll 1$) orbits a black hole of mass $M$, the leading-order radiation-reaction effect is an $\mathcal{O}(μ^2)$ "self-force" acting on the particle, with a corresponding $\mathcal{O}(μ)$ "self-acceleration" of the particle away from a geodesic. Such "extreme--mass-ratio inspiral" systems are likely to be important gravitational-wave sources for future space-based gravitational-wave detectors. Here we consider the "toy model" problem of computing the self-force for a scalar-field particle on a bound eccentric orbit in Kerr spacetime. We use the Barack-Golbourn-Vega-Detweiler effective-source regularization with a 4th order puncture field, followed by an $e^{imϕ}$ ("m-mode") Fourier decomposition and a separate time-domain numerical evolution in $2+1$ dimensions for each $m$. We introduce a finite worldtube that surrounds the particle worldline and define our evolution equations in a piecewise manner so that the effective source is only used within the worldtube. Viewed as a spatial region, the worldtube moves to follow the particle's orbital motion. We use slices of constant Boyer-Lindquist time in the region of the particle's motion, deformed to be asymptotically hyperboloidal and compactified near the horizon and $\mathcal{J}^+$. We present numerical results for a number of test cases with orbital eccentricities as high as $0.98$. In some cases we find large oscillations ("wiggles") in the self-force shortly after periastron passage.

gr-qc↗

arXiv2012

Generic effective source for scalar self-force calculations

A leading approach to the modelling of extreme mass ratio inspirals involves the treatment of the smaller mass as a point particle and the computation of a regularized self-force acting on that particle. In turn, this computation requires knowledge of the regularized retarded field generated by the particle. A direct calculation of this regularized field may be achieved by replacing the point particle with an effective source and solving directly a wave equation for the regularized field. This has the advantage that all quantities are finite and require no further regularization. In this work, we present a method for computing an effective source which is finite and continuous everywhere, and which is valid for a scalar point particle in arbitrary geodesic motion in an arbitrary background spacetime. We explain in detail various technical and practical considerations that underlie its use in several numerical self-force calculations. We consider as examples the cases of a particle in a circular orbit about Schwarzschild and Kerr black holes, and also the case of a particle following a generic time-like geodesic about a highly spinning Kerr black hole. We provide numerical C code for computing an effective source for various orbital configurations about Schwarzschild and Kerr black holes.

gr-qc↗

arXiv2011

The Effect of Massive Perturbers on Extreme Mass-Ratio Inspiral Waveforms

Extreme mass ratio inspirals, in which a stellar-mass object merges with a supermassive black hole, are prime sources for space-based gravitational wave detectors because they will facilitate tests of strong gravity and probe the spacetime around rotating compact objects. In the last few years of such inspirals, the total phase is in the millions of radians and details of the waveforms are sensitive to small perturbations. We show that one potentially detectable perturbation is the presence of a second supermassive black hole within a few tenths of a parsec. The acceleration produced by the perturber on the extreme mass-ratio system produces a steady drift that causes the waveform to deviate systematically from that of an isolated system. If the perturber is a few tenths of a parsec from the extreme-mass ratio system (plausible in as many as a few percent of cases) higher derivatives of motion might also be detectable. In that case, the mass and distance of the perturber can be derived independently, which would allow a new probe of merger dynamics.

astro-ph.GA↗

arXiv2011

Gravitational Waves Notes, Issue #5 : "The Capra research programme for capture of small compact objects by massive black holes"

GW Notes was born from the need for a journal where the distinct communities involved in gravitation wave research might gather. While these three communities - astrophysics, general relativity and data analysis - have made significant collaborative progress over recent years, we believe that it is indispensable to future advancement that they draw closer, and that they speak a common idiom. In this 6th GW Note (since we started numbering with #0), we present the work of Jonathan Thornburg, who has been fully-refereed, on the Capra research programme for capture of small compact objects by massive black holes.

astro-ph.CO↗

arXiv2011

The Capra Research Program for Modelling Extreme Mass Ratio Inspirals

Suppose a small compact object (black hole or neutron star) of mass $m$ orbits a large black hole of mass $M \gg m$. This system emits gravitational waves (GWs) that have a radiation-reaction effect on the particle's motion. EMRIs (extreme--mass-ratio inspirals) of this type will be important GW sources for LISA; LISA's data analysis will require highly accurate EMRI GW templates. In this article I outline the "Capra" research program to try to model EMRIs and calculate their GWs \textit{ab initio}, assuming only that $m \ll M$ and that the Einstein equations hold. Here we treat the EMRI spacetime as a perturbation of the large black hole's "background" (Schwarzschild or Kerr) spacetime and use the methods of black-hole perturbation theory, expanding in the small parameter $m/M$. The small body's motion can be described either as the result of a radiation-reaction "self-force" acting in the background spacetime or as geodesic motion in a perturbed spacetime. Several different lines of reasoning lead to the (same) basic $Ø(m/M)$ "MiSaTaQuWa" equations of motion for the particle. Surprisingly, for a nonlinear field theory such as general relativity, modelling the small body as a point particle works well. The particle's own field is singular along the particle worldline so it's difficult to formulate a meaningful "perturbation" theory or equations of motion there. I discuss "mode-sum" and "puncture-function" regularization schemes that resolve this difficulty and allow practical self-force calculations, and I outline an important recent calculation of this type. Most Capra research to date has used 1st order perturbation theory. To obtain the very high accuracies needed to fully exploit LISA's observations of the strongest EMRIs, 2nd order perturbation theory will probably be needed.

gr-qc↗

arXiv2010

Highly accurate and efficient self-force computations using time-domain methods: Error estimates, validation, and optimization

If a small "particle" of mass $μM$ (with $μ\ll 1$) orbits a Schwarzschild or Kerr black hole of mass $M$, the particle is subject to an $Ø(μ)$ radiation-reaction "self-force". Here I argue that it's valuable to compute this self-force highly accurately (relative error of $\ltsim 10^{-6}$) and efficiently, and I describe techniques for doing this and for obtaining and validating error estimates for the computation. I use an adaptive-mesh-refinement (AMR) time-domain numerical integration of the perturbation equations in the Barack-Ori mode-sum regularization formalism; this is efficient, yet allows easy generalization to arbitrary particle orbits. I focus on the model problem of a scalar particle in a circular geodesic orbit in Schwarzschild spacetime. The mode-sum formalism gives the self-force as an infinite sum of regularized spherical-harmonic modes $\sum_{\ell=0}^\infty F_{\ell,\reg}$, with $F_{\ell,\reg}$ (and an "internal" error estimate) computed numerically for $\ell \ltsim 30$ and estimated for larger~$\ell$ by fitting an asymptotic "tail" series. Here I validate the internal error estimates for the individual $F_{\ell,\reg}$ using a large set of numerical self-force computations of widely-varying accuracies. I present numerical evidence that the actual numerical errors in $F_{\ell,\reg}$ for different~$\ell$ are at most weakly correlated, so the usual statistical error estimates are valid for computing the self-force. I show that the tail fit is numerically ill-conditioned, but this can be mostly alleviated by renormalizing the basis functions to have similar magnitudes. Using AMR, fixed mesh refinement, and extended-precision floating-point arithmetic, I obtain the (contravariant) radial component of the self-force for a particle in a circular geodesic orbit of areal radius $r = 10M$ to within $1$~ppm relative error.

gr-qc↗

arXiv2010

Adaptive Mesh Refinement for Characteristic Grids

I consider techniques for Berger-Oliger adaptive mesh refinement (AMR) when numerically solving partial differential equations with wave-like solutions, using characteristic (double-null) grids. Such AMR algorithms are naturally recursive, and the best-known past Berger-Oliger characteristic AMR algorithm, that of Pretorius & Lehner (J. Comp. Phys. 198 (2004), 10), recurses on individual "diamond" characteristic grid cells. This leads to the use of fine-grained memory management, with individual grid cells kept in 2-dimensional linked lists at each refinement level. This complicates the implementation and adds overhead in both space and time. Here I describe a Berger-Oliger characteristic AMR algorithm which instead recurses on null \emph{slices}. This algorithm is very similar to the usual Cauchy Berger-Oliger algorithm, and uses relatively coarse-grained memory management, allowing entire null slices to be stored in contiguous arrays in memory. The algorithm is very efficient in both space and time. I describe discretizations yielding both 2nd and 4th order global accuracy. My code implementing the algorithm described here is included in the electronic supplementary materials accompanying this paper, and is freely available to other researchers under the terms of the GNU general public license.

gr-qc↗

arXiv2007

Recoil Velocities from Equal-Mass Binary-Black-Hole Mergers

The final evolution of a binary black-hole system gives rise to a recoil velocity if an asymmetry is present in the emitted gravitational radiation. Measurements of this effect for non-spinning binaries with unequal masses have pointed out that kick velocities $\sim~175$ km/s can be reached for a mass ratio $\simeq 0.36$. However, a larger recoil can be obtained for equal-mass binaries if the asymmetry is provided by the spins. Using two independent methods we show that the merger of such binaries yields velocities as large as $\sim 440$ km/s for black holes having unequal spins that are antialigned and parallel to the orbital angular momentum.

gr-qc↗

arXiv2007

Are moving punctures equivalent to moving black holes?

When simulating the inspiral and coalescence of a binary black-hole system, special care needs to be taken in handling the singularities. Two main techniques are used in numerical-relativity simulations: A first and more traditional one ``excises'' a spatial neighbourhood of the singularity from the numerical grid on each spacelike hypersurface. A second and more recent one, instead, begins with a ``puncture'' solution and then evolves the full 3-metric, including the singular point. In the continuum limit, excision is justified by the light-cone structure of the Einstein equations and, in practice, can give accurate numerical solutions when suitable discretizations are used. However, because the field variables are non-differentiable at the puncture, there is no proof that the moving-punctures technique is correct, particularly in the discrete case. To investigate this question we use both techniques to evolve a binary system of equal-mass non-spinning black holes. We compare the evolution of two curvature 4-scalars with proper time along the invariantly-defined worldline midway between the two black holes, using Richardson extrapolation to reduce the influence of finite-difference truncation errors. We find that the excision and moving-punctures evolutions produce the same invariants along that worldline, and thus the same spacetimes throughout that worldline's causal past. This provides convincing evidence that moving-punctures are indeed equivalent to moving black holes.

gr-qc↗

arXiv2007

An explicit harmonic code for black-hole evolution using excision

We describe an explicit in time, finite-difference code designed to simulate black holes by using the excision method. The code is based upon the harmonic formulation of the Einstein equations and incorporates several features regarding the well-posedness and numerical stability of the initial-boundary problem for the quasilinear wave equation. After a discussion of the equations solved and of the techniques employed, we present a series of testbeds carried out to validate the code. Such tests range from the evolution of isolated black holes to the head-on collision of two black holes and then to a binary black hole inspiral and merger. Besides assessing the accuracy of the code, the inspiral and merger test has revealed that individual apparent horizons can touch and even intersect. This novel feature in the dynamics of the marginally trapped surfaces is unexpected but consistent with theorems on the properties of apparent horizons.

gr-qc↗

arXiv2006

Numerical relativity with characteristic evolution, using six angular patches

The characteristic approach to numerical relativity is a useful tool in evolving gravitational systems. In the past this has been implemented using two patches of stereographic angular coordinates. In other applications, a six-patch angular coordinate system has proved effective. Here we investigate the use of a six-patch system in characteristic numerical relativity, by comparing an existing two-patch implementation (using second-order finite differencing throughout) with a new six-patch implementation (using either second- or fourth-order finite differencing for the angular derivatives). We compare these different codes by monitoring the Einstein constraint equations, numerically evaluated independently from the evolution. We find that, compared to the (second-order) two-patch code at equivalent resolutions, the errors of the second-order six-patch code are smaller by a factor of about 2, and the errors of the fourth-order six-patch code are smaller by a factor of nearly 50.

gr-qc↗

arXiv2006

Event and Apparent Horizon Finders for 3+1 Numerical Relativity

Event and apparent horizons are key diagnostics for the presence and properties of black holes. In this article I review numerical algorithms and codes for finding event and apparent horizons in numerically-computed spacetimes, focusing on calculations done using the 3+1 ADM formalism. There are 3 basic algorithms for finding event horizons, based respectively on integrating null geodesics \emph{forwards} in time, integrating null geodesics \emph{backwards} in time, and integrating null \emph{surfaces} backwards in time. The last of these is generally the most efficient and accurate. There are a large number of apparent-horizon finding algorithms, with differing trade-offs between speed, robustness, accuracy, and ease of programming. In axisymmetry, shooting algorithms work well and are fairly easy to program. In slices with no continuous symmetries, Nakamura et al.'s algorithm and elliptic-PDE algorithms are fast and accurate, but require good initial guesses to converge. In many cases Schnetter's "pretracking" algorithm can greatly improve an elliptic-PDE algorithm's robustness. Flow algorithms are generally quite slow, but can be very robust in their convergence.

gr-qc↗

arXiv2005

Accurate Evolution of Orbiting Binary Black Holes

We present a detailed analysis of binary black hole evolutions in the last orbit, and demonstrate consistent and convergent results for the trajectories of the individual bodies. The gauge choice can significantly affect the overall accuracy of the evolution. It is possible to reconcile certain gauge dependent discrepancies by examining the convergence limit. We illustrate these results using an initial data set recently evolved by Bruegmann (Phys. Rev. Lett. 92, 211101). For our highest resolution and most accurate gauge, we estimate the duration of this data set's last orbit to be approximately $59 M_{ADM}$.

gr-qc↗

arXiv2005

Dynamical evolution of quasi-circular binary black hole data

We study the fully nonlinear dynamical evolution of binary black hole data, whose orbital parameters are specified via the effective potential method for determining quasi-circular orbits. The cases studied range from the Cook-Baumgarte innermost stable circular orbit (ISCO) to significantly beyond that separation. In all cases we find the black holes to coalesce (as determined by the appearance of a common apparent horizon) in less than half an orbital period. The results of the numerical simulations indicate that the initial holes are not actually in quasi-circular orbits, but that they are in fact nearly plunging together. The dynamics of the final horizon are studied to determine physical parameters of the final black hole, such as its spin, mass, and oscillation frequency, revealing information about the inspiral process. We show that considerable resolution is required to extract accurate physical information from the final black hole formed in the merger process, and that the quasi-normal modes of the final hole are strongly excited in the merger process. For the ISCO case, by comparing physical measurements of the final black hole formed to the initial data, we estimate that less than 3% of the total energy is radiated in the merger process.

gr-qc↗

arXiv2004

Black Hole Excision with Multiple Grid Patches

When using black hole excision to numerically evolve a black hole spacetime with no continuous symmetries, most 3+1 finite differencing codes use a Cartesian grid. It's difficult to do excision on such a grid, because the natural $r = \text{constant}$ excision surface must be approximated either by a very different shape such as a contained cube, or by an irregular and non-smooth "LEGO(tm) sphere" which may introduce numerical instabilities into the evolution. In this paper I describe an alternate scheme, which uses multiple $\{r \times (\text{angular coordinates}) \}$ grid patches, each patch using a different (nonsingular) choice of angular coordinates. This allows excision on a smooth $r = \text{constant}$ 2-sphere. I discuss the key design choices in such a multiple-patch scheme, including the choice of ghost-zone versus internal-boundary treatment of the interpatch boundaries, the number and shape of the patches, the details of how the ghost zones are "synchronized" by interpolation from neighboring patches, the tensor basis for the Einstein equations in each patch, and the handling of non-tensor field variables such as the BSSN $\tildeΓ^i$. I present sample numerical results from a prototype implementation of this scheme. This code simulates the time evolution of the (asymptotically flat) spacetime around a single (excised) black hole, using 4th-order finite differencing in space and time. Using Kerr initial data with $J/m^2 = 0.6$, I present evolutions to $t \gtsim 1500m$. The lifetime of these evolutions appears to be limited only by outer boundary instabilities, not by any excision instabilities or by any problems inherent to the multiple-patch scheme.

gr-qc↗

arXiv2003

A Fast Apparent-Horizon Finder for 3-Dimensional Cartesian Grids in Numerical Relativity

In 3+1 numerical simulations of dynamic black hole spacetimes, it's useful to be able to find the apparent horizon(s) (AH) in each slice of a time evolution. A number of AH finders are available, but they often take many minutes to run, so they're too slow to be practically usable at each time step. Here I present a new AH finder,_AHFinderDirect_, which is very fast and accurate: at typical resolutions it takes only a few seconds to find an AH to $\sim 10^{-5} m$ accuracy on a GHz-class processor. I assume that an AH to be searched for is a Strahlkörper (star-shaped region) with respect to some local origin, and so parameterize the AH shape by $r = h(angle)$ for some single-valued function $h: S^2 \to \Re^+$. The AH equation then becomes a nonlinear elliptic PDE in $h$ on $S^2$, whose coefficients are algebraic functions of $g_{ij}$, $K_{ij}$, and the Cartesian-coordinate spatial derivatives of $g_{ij}$. I discretize $S^2$ using 6 angular patches (one each in the neighborhood of the $\pm x$, $\pm y$, and $\pm z$ axes) to avoid coordinate singularities, and finite difference the AH equation in the angular coordinates using 4th order finite differencing. I solve the resulting system of nonlinear algebraic equations (for $h$ at the angular grid points) by Newton's method, using a "symbolic differentiation" technique to compute the Jacobian matrix._AHFinderDirect_ is implemented as a thorn in the_Cactus_ computational toolkit, and is freely available by anonymous CVS checkout.

gr-qc↗