Showing 1–50 of 67 results for author: Hilditch, D

Semiclassical evolution of a dynamically formed spherical black hole with an inner horizon

Authors: Valentin Boyanov, David Hilditch, Artur Semião

Abstract: In this work we obtain a numerical self-consistent spherical solution of the semiclassical Einstein equations representing the evaporation of a trapped region which initially has both an outer and an inner horizon. The classical matter source used is a static electromagnetic field, allowing for an approximately Reissner-Nordström black hole as the initial configuration, where the charge sets the i… ▽ More In this work we obtain a numerical self-consistent spherical solution of the semiclassical Einstein equations representing the evaporation of a trapped region which initially has both an outer and an inner horizon. The classical matter source used is a static electromagnetic field, allowing for an approximately Reissner-Nordström black hole as the initial configuration, where the charge sets the initial scale of the inner horizon. The semiclassical contribution is that of a quantum scalar field in the "in" vacuum state of gravitational collapse, as encoded by the renormalised stress-energy tensor in the spherical Polyakov approximation. We analyse the rate of shrinking of the trapped region, both from Hawking evaporation of the outer apparent horizon, as well as from an outward motion of the inner horizon. We also observe that a long-lived anti-trapped region forms below the inner horizon and slowly expands outward. A black-to-white-hole transition is thus obtained from purely semiclassical dynamics. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: 24 pages, 9 figures

Strong hyperboloidal compactification for the spherical DF-GHG formulation of GR

Authors: Christian Peterson, David Hilditch

Abstract: The use of compactified hyperboloidal coordinates for metric formulations of the Einstein field Equations introduces formally singular terms in the equations of motion whose numerical treatment requires care. In this paper we study a particular choice of constraint addition, choice of gauge and reduction fields in order to minimize the number of these terms in a spherically symmetric reduction of… ▽ More The use of compactified hyperboloidal coordinates for metric formulations of the Einstein field Equations introduces formally singular terms in the equations of motion whose numerical treatment requires care. In this paper we study a particular choice of constraint addition, choice of gauge and reduction fields in order to minimize the number of these terms in a spherically symmetric reduction of the Dual-Foliation Generalized Harmonic Gauge formulation of General Relativity. We proceed to the numerical implementation of a more aggressive compactification, as compared to our previous work. With the present setup there is a direct analogy with conformal compactification used in other approaches to the use of hyperboloidal coordinates. We present numerical results of constraints violating and satisfying perturbations on top of a Schwarzschild black hole. For small perturbations we recover the expected physics from linear theory, corresponding to quasi normal mode ringing and tail decay for a scalar field, both extracted directly at future null infinity from our numerical data. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Comments: 10 pages, 4 figures

Pseudospectral implementation of the Einstein-Maxwell system

Authors: Jorge Expósito Patiño, Hannes R. Rüter, David Hilditch

Abstract: Electromagnetism plays an important role in a variety of applications in gravity that we wish to investigate. To that end, in this work, we present an implementation of the Maxwell equations within the adaptive-mesh pseudospectral numerical relativity code bamps. We present a thorough analysis of the evolution equations as a first order symmetric hyperbolic system of PDEs, including the constructi… ▽ More Electromagnetism plays an important role in a variety of applications in gravity that we wish to investigate. To that end, in this work, we present an implementation of the Maxwell equations within the adaptive-mesh pseudospectral numerical relativity code bamps. We present a thorough analysis of the evolution equations as a first order symmetric hyperbolic system of PDEs, including the construction of the characteristic variables for use in our penalty boundary communication scheme, and radiation controlling, constraint preserving outer boundary conditions which, in the language of Kreiss-Agranovich-Métivier, are shown to be boundary-stable. After presenting a formulation of the Maxwell constraints that we may solve for initial data, we move on to present a suite of numerical tests. Our simulations, both within the Cowling approximation, and in full non-linear evolution, demonstrate rapid convergence of error with resolution, as well as consistency with known quasinormal decay rates on the Kerr background. Finally we present evolutions of the electrovacuum equations of motion with strong data, a good representation of typical critical collapse runs. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Comments: 16 pages, 9 figures

An asymptotic systems approach for the good-bad-ugly model with application to general relativity

Authors: Miguel Duarte, Justin C. Feng, Edgar Gasperín, David Hilditch

Abstract: We employ an adapted version of Hörmander's asymptotic systems method to show heuristically that the standard good-bad-ugly model admits formal polyhomogeneous asymptotic solutions near null infinity. In a related earlier approach, our heuristics were unable to capture potential leading order logarithmic terms appearing in the asymptotic solution of the good equation (the standard wave equation).… ▽ More We employ an adapted version of Hörmander's asymptotic systems method to show heuristically that the standard good-bad-ugly model admits formal polyhomogeneous asymptotic solutions near null infinity. In a related earlier approach, our heuristics were unable to capture potential leading order logarithmic terms appearing in the asymptotic solution of the good equation (the standard wave equation). Presently, we work with an improved method which overcomes this shortcoming, allowing the faithful treatment of a larger class of initial data in which such logarithmic terms are manifest. We then generalize this method to encompass models that include stratified null forms as sources and whose wave operators are built from an asymptotically flat metric. We then apply this result to the Einstein field equations in generalized harmonic gauge and compute the leading decay in~$R^{-1}$ of the Weyl scalars, where~$R$ is a suitably defined radial coordinate. We detect an obstruction to peeling, a decay statement on the Weyl scalars~$Ψ_n$ that is ensured by smoothness of null infinity. The leading order obstruction appears in~$Ψ_2$ and, in agreement with the literature, can only be suppressed by a careful choice of initial △ Less

Submitted 21 March, 2025; originally announced March 2025.

Comments: 17 pages, 1 figure

Hyperbolic extensions of constrained PDEs

Authors: Fernando Abalos, Oscar Reula, David Hilditch

Abstract: Systems of PDEs comprised of a combination of constraints and evolution equations are ubiquitous in physics. For both theoretical and practical reasons, such as numerical integration, it is desirable to have a systematic understanding of the well-posedness of the Cauchy problem for these systems. Presently we review the use of hyperbolic reductions, in which the evolution equations are singled out… ▽ More Systems of PDEs comprised of a combination of constraints and evolution equations are ubiquitous in physics. For both theoretical and practical reasons, such as numerical integration, it is desirable to have a systematic understanding of the well-posedness of the Cauchy problem for these systems. Presently we review the use of hyperbolic reductions, in which the evolution equations are singled out for consideration. We then examine in greater detail the extensions, in which constraints are evolved as auxiliary variables alongside the original variables. Assuming a particular structure of the original system, we give sufficient conditions for strong-hyperbolicity of an extension. This theory is then applied to the examples of electromagnetism and a toy for magnetohydrodynamics. △ Less

Submitted 23 October, 2024; originally announced October 2024.

Comments: Contribution submitted to Frontiers in Physics special issue "Quasi-Normal Modes, Non-Selfadjoint Operators and Pseudospectrum: an Interdisciplinary Approach"

Spherical Evolution of the Generalized Harmonic Gauge Formulation of General Relativity on Compactified Hyperboloidal Slices

Authors: Christian Peterson, Shalabh Gautam, Alex Vañó-Viñuales, David Hilditch

Abstract: We report on the successful numerical evolution of the compactified hyperboloidal initial value problem in general relativity using generalized harmonic gauge. We work in spherical symmetry, using a massless scalar field to drive dynamics. Our treatment is based on the dual-foliation approach, proceeding either by using a height function or by solving the eikonal equation to map between frames. Bo… ▽ More We report on the successful numerical evolution of the compactified hyperboloidal initial value problem in general relativity using generalized harmonic gauge. We work in spherical symmetry, using a massless scalar field to drive dynamics. Our treatment is based on the dual-foliation approach, proceeding either by using a height function or by solving the eikonal equation to map between frames. Both are tested here with a naive implementation and with hyperboloidal layers. We present a broad suite of numerical evolutions, including pure gauge perturbations, constraint violating and satisfying data with and without scalar field matter. We present calculations of spacetimes with a regular center. For black hole spacetimes we use excision to remove part of the black hole interior. We demonstrate both pointwise and norm convergence at the expected rate of our discretization. We present evolutions in which the scalar field collapses to form a black hole. Evolving nonlinear scalar field perturbations of the Schwarzschild spacetime, we recover the expected quasinormal frequencies and tail decay rates from linear theory. △ Less

Submitted 4 September, 2024; originally announced September 2024.

Comments: 21 pages, 10 figures

Solving the Einstein Equations Numerically

Authors: David Hilditch

Abstract: There are many complementary approaches to the construction of solutions to the field equations of general relativity. Among these, numerical approximation offers the only possibility to compute a variety of dynamical spacetimes, and so has come to play an important role for theory and experiment alike. Presently we give a brief introduction to this, the science of numerical relativity. We discuss… ▽ More There are many complementary approaches to the construction of solutions to the field equations of general relativity. Among these, numerical approximation offers the only possibility to compute a variety of dynamical spacetimes, and so has come to play an important role for theory and experiment alike. Presently we give a brief introduction to this, the science of numerical relativity. We discuss the freedom in formulating general relativity as an initial (boundary) value problem. We touch on the fundamental concepts of well-posedness and gauge freedom and review the standard computational methods employed in the field. We discuss the physical interpretation of numerical spacetime data and end with an overview of a number of 3d codes that are either in use or under active development. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: 36 pages, 2 figures. Invited chapter for the edited book "New Frontiers in GRMHD Simulations" (Eds. C. Bambi, Y. Mizuno, S. Shashank and F. Yuan, Springer Singapore, expected in 2024)

Simulations of gravitational collapse in null coordinates: II. Critical collapse of an axisymmetric scalar field

Authors: Carsten Gundlach, Thomas W. Baumgarte, David Hilditch

Abstract: We present the first numerical simulations in null coordinates of the collapse of nonspherical regular initial data to a black hole. We restrict to twist-free axisymmetry, and re-investigate the critical collapse of a non-spherical massless scalar field. We find that the Choptuik solution governing scalar field critical collapse in spherical symmetry persists when fine-tuning moderately non-spheri… ▽ More We present the first numerical simulations in null coordinates of the collapse of nonspherical regular initial data to a black hole. We restrict to twist-free axisymmetry, and re-investigate the critical collapse of a non-spherical massless scalar field. We find that the Choptuik solution governing scalar field critical collapse in spherical symmetry persists when fine-tuning moderately non-spherical initial data to the threshold of black hole formation. The non-sphericity evolves as an almost-linear perturbation until the end of the self-similar phase, and becomes dominant only in the final collapse to a black hole. We compare with numerical results of Choptuik et al, Baumgarte, and Marouda et al, and conclude that they have been able to evolve somewhat more non-spherical solutions. Future work with larger deviations from spherical symmetry, and in particular vacuum collapse, will require a different choice of radial coordinate that allows the null generators to reconverge locally. △ Less

Submitted 24 June, 2024; v1 submitted 24 April, 2024; originally announced April 2024.

Journal ref: Phys. Rev. D 110, 024019 (2024)

Simulations of gravitational collapse in null coordinates: I. Formulation and weak-field tests in generalised Bondi gauges

Authors: Carsten Gundlach, David Hilditch, Thomas W. Baumgarte

Abstract: We present a code for numerical simulations of the collapse of regular initial data to a black hole in null coordinates. We restrict to twist-free axisymmetry with scalar field matter. Our coordinates are $(u,x,y,\varphi)$, where the retarded time $u$ labels outgoing null cones emerging from a regular central worldline, the angles $(θ,\varphi)$ label the null generators of each null cone, and the… ▽ More We present a code for numerical simulations of the collapse of regular initial data to a black hole in null coordinates. We restrict to twist-free axisymmetry with scalar field matter. Our coordinates are $(u,x,y,\varphi)$, where the retarded time $u$ labels outgoing null cones emerging from a regular central worldline, the angles $(θ,\varphi)$ label the null generators of each null cone, and the radial coordinate $x$ labels points along these generators. We focus on a class of generalised Bondi radial coordinates $x$ with the twin properties that $x=0$ is the central world line and that the numerical domain $(u\ge0$, $0\le x\le x_\text{max})$ is a subset of the domain of dependence of the initial data on $(u=0$, $0\le x\le x_\text{max}$). In critical collapse, an appropriate choice of these coordinates can be made to zoom in on the accumulation point of scale echos of the critical solution, without the need for explicit mesh refinement. We introduce a novel numerical scheme that in effect reduces the angular resolution at small radius, such that the time step $Δu$ for an explicit numerical scheme is limited by the radial resolution $Δx$, rather than $Δx(Δθ)^2$. We present convergence tests in the weak-field regime, where we have exact solutions to the linearised scalar and gravitational-wave equations. △ Less

Submitted 24 June, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Journal ref: Phys. Rev. D 110, 024018 (2024)

Twist-free axisymmetric critical collapse of a complex scalar field

Authors: Krinio Marouda, Daniela Cors, Hannes R. Rüter, Florian Atteneder, David Hilditch

Abstract: Critical phenomena in gravitational collapse are characterized by the emergence of surprising structure in solution space, namely the appearance of universal power-laws and periodicities near the threshold of collapse, and a universal discretely self-similar solution at the threshold itself. The seminal work of M. Choptuik spurred a comprehensive investigation of extreme spherical spacetimes in nu… ▽ More Critical phenomena in gravitational collapse are characterized by the emergence of surprising structure in solution space, namely the appearance of universal power-laws and periodicities near the threshold of collapse, and a universal discretely self-similar solution at the threshold itself. The seminal work of M. Choptuik spurred a comprehensive investigation of extreme spherical spacetimes in numerical relativity, with analogous results for numerous matter models. Recent research suggests that the generalization to less symmetric scenarios is subtle. In twist-free axisymmetric vacuum collapse for instance, numerical evidence suggests a breakdown of universality of solutions at the threshold of collapse. In this study, we explore gravitational collapse involving a massless complex scalar field minimally coupled to general relativity. We employ the pseudospectral code BAMPS to investigate a neighborhood of the spherically symmetric critical solution in phase space, focusing on aspherical departures from it. First, working in explicit spherical symmetry, we find strong evidence that the spacetime metric of the spherical critical solution of the complex scalar field agrees with that of the Choptuik solution. We then examine universality of the behavior of solutions near the threshold of collapse as the departure from spherical symmetry increases, comparing with recent investigations of the real scalar field. We present a series of well-tuned numerical results and document shifts of the power-law exponent and periods as a function of the degree of asphericity of the initial data. At sufficiently high asphericities we find that the center of collapse bifurcates, on the symmetry axis, but away from the origin. Finally we look for and evaluate evidence that in the highly aspherical setting the collapse is driven by gravitational waves. △ Less

Submitted 17 October, 2024; v1 submitted 9 February, 2024; originally announced February 2024.

Comments: 22 pages, 10 figures

Boson star head-on collisions with constraint-violating and constraint-satisfying initial data

Authors: Florian Atteneder, Hannes R. Rüter, Daniela Cors, Roxana Rosca-Mead, David Hilditch, Bernd Brügmann

Abstract: Simulations of binary collisions involving compact objects require initial data that satisfy the constraint equations of general relativity. For binary boson star simulations it is common practice to use a superposition of two isolated star solutions to construct an approximate solution to the constraint equations. Such superposed data is simple to set up compared to solving these equations explic… ▽ More Simulations of binary collisions involving compact objects require initial data that satisfy the constraint equations of general relativity. For binary boson star simulations it is common practice to use a superposition of two isolated star solutions to construct an approximate solution to the constraint equations. Such superposed data is simple to set up compared to solving these equations explicitly, but also introduces extra constraint violations in the time evolution. In this work we investigate how physical observables depend on the quality of initial data in the case of head-on boson star collisions. In particular we compare results obtained from data prepared using four different methods: the standard method to superpose isolated stars, a heuristic improvement to this superposition technique and two versions of this data where excess constraint violations were removed through a conformal thin-sandwich solver. We find that differences in the time evolutions are dominated by differences in the way the two superposition methods differ, whereas additionally constraint solving the superposed data has smaller impact. The numerical experiments are conducted using the pseudo-spectral code bamps. Our work demonstrates that bamps is a code suited for generating high accuracy numerical waveforms for boson star collisions due to the exponential convergence in the polynomial resolution of the numerical approximation. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Report number: Phys. Rev. D 109, 044058

Formulation Improvements for Critical Collapse Simulations

Authors: Daniela Cors, Sarah Renkhoff, Hannes R. Rüter, David Hilditch, Bernd Brügmann

Abstract: The precise tuning required to observe critical phenomena in gravitational collapse poses a challenge for most numerical codes. First, threshold estimation searches may be obstructed by the appearance of coordinate singularities, indicating the need for a better gauge choice. Second, the constraint violations to which simulations are susceptible may be too large and force searches to terminate pre… ▽ More The precise tuning required to observe critical phenomena in gravitational collapse poses a challenge for most numerical codes. First, threshold estimation searches may be obstructed by the appearance of coordinate singularities, indicating the need for a better gauge choice. Second, the constraint violations to which simulations are susceptible may be too large and force searches to terminate prematurely. This is a particularly serious issue for first order formulations. We want our adaptive pseudospectral code bamps to be a robust tool for the study of critical phenomena so, having encountered both of these difficulties in work on the vacuum setting, we turn here to investigate these issues in the classic context of a spherically symmetric massless scalar field. We suggest two general improvements. We propose a necessary condition for a gauge choice to respect discrete self-similarity (DSS). The condition is not restricted to spherical symmetry and could be verified with any 3+1 formulation. After evaluating common gauge choices against this condition, we suggest a DSS-compatible gauge source function in generalized harmonic gauge (GHG). To control constraint violations, we modify the constraint damping parameters of GHG, adapting them to collapse spacetimes. This allows us to improve our tuning of the critical amplitude for several families of initial data, even going from 6 up to 11 digits. This is the most precise tuning achieved with the first order GHG formulation to date. Consequently, we are able to reproduce the well known critical phenomena as well as competing formulations and methods, clearly observing up to 3 echoes. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: 19 pages, 10 figures

Journal ref: Phys. Rev. D 108, 124035 (2023)

Numerical convergence of model Cauchy-characteristic extraction and matching

Authors: Thanasis Giannakopoulos, Nigel T. Bishop, David Hilditch, Denis Pollney, Miguel Zilhão

Abstract: Gravitational waves provide a powerful enhancement to our understanding of fundamental physics. To make the most of their detection we need to accurately model the entire process of their emission and propagation toward interferometers. Cauchy-characteristic extraction and matching are methods to compute gravitational waves at null infinity, a mathematical idealization of detector location, from n… ▽ More Gravitational waves provide a powerful enhancement to our understanding of fundamental physics. To make the most of their detection we need to accurately model the entire process of their emission and propagation toward interferometers. Cauchy-characteristic extraction and matching are methods to compute gravitational waves at null infinity, a mathematical idealization of detector location, from numerical relativity simulations. Both methods can in principle contribute to modeling by providing highly accurate gravitational waveforms. An underappreciated subtlety in realizing this potential is posed by the (mere) weak hyperbolicity of the particular PDE systems solved in the characteristic formulation of the Einstein field equations. This shortcoming results from the popular choice of Bondi-like coordinates. So motivated, we construct toy models that capture that PDE structure and study Cauchy-characteristic extraction and matching with them. Where possible we provide energy estimates for their solutions and perform careful numerical norm convergence tests to demonstrate the effect of weak hyperbolicity on Cauchy-characteristic extraction and matching. Our findings strongly indicate that, as currently formulated, Cauchy-characteristic matching for the Einstein field equations would provide solutions that are, at best, convergent at an order lower than expected for the numerical method, and may be unstable. In contrast, under certain conditions, the extraction method can provide properly convergent solutions. Establishing however that these conditions hold for the aforementioned characteristic formulations is still an open problem. △ Less

Submitted 20 November, 2023; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: 20 pages, 11 figures, 2 tables, data and code can be found at http://dx.doi.org/10.5281/zenodo.7981429 and https://github.com/ThanasisGiannakopoulos/model_CCE_CCM_public, updated to match published version

Critical phenomena in the collapse of gravitational waves

Authors: Thomas W. Baumgarte, Bernd Brügmann, Daniela Cors, Carsten Gundlach, David Hilditch, Anton Khirnov, Tomáš Ledvinka, Sarah Renkhoff, Isabel Suárez Fernández

Abstract: Fine-tuning generic but smooth spherically-symmetric initial data for general relativity to the threshold of dynamical black hole formation creates arbitrarily large curvatures, mediated by a universal self-similar solution that acts as an intermediate attractor. For vacuum gravitational waves, however, these critical phenomena have been elusive. We present, for the first time, excellent agreement… ▽ More Fine-tuning generic but smooth spherically-symmetric initial data for general relativity to the threshold of dynamical black hole formation creates arbitrarily large curvatures, mediated by a universal self-similar solution that acts as an intermediate attractor. For vacuum gravitational waves, however, these critical phenomena have been elusive. We present, for the first time, excellent agreement among three independent numerical simulations of this collapse. Surprisingly, we find no universality, and observe approximate self-similarity for some families of initial data but not for others. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 6 pages, 3 figures

Journal ref: Phys. Rev. Lett. 131, 181401 (2023)

Trapped surface formation for the Einstein-Scalar system

Authors: Peng Zhao, David Hilditch, Juan A. Valiente Kroon

Abstract: We consider the formation of trapped surfaces in the evolution of the Einstein-scalar field system without symmetries. To this end, we follow An's strategy to analyse the formation of trapped surfaces in vacuum and for the Einstein-Maxwell system. Accordingly, we set up a characteristic initial value problem (CIVP) for the Einstein-Scalar system with initial data given on two intersectin… ▽ More We consider the formation of trapped surfaces in the evolution of the Einstein-scalar field system without symmetries. To this end, we follow An's strategy to analyse the formation of trapped surfaces in vacuum and for the Einstein-Maxwell system. Accordingly, we set up a characteristic initial value problem (CIVP) for the Einstein-Scalar system with initial data given on two intersecting null hypersurfaces such that on the incoming slince the data is Minkowskian whereas on the outgoing side no symmetries are assumed. We obtain a scale-critical semi-global existence result by assigning a signature for decay rates to both the geometric quantities and the scalar field. The analysis makes use of a gauge due to J. Stewart and an adjustment of the Geroch-Held-Penrose (GHP) formalism, the T-weight formalism, which renders the connection between the Newman-Penrose (NP) quantities and the PDE analysis systematic and transparent. △ Less

Submitted 4 April, 2023; originally announced April 2023.

3D Evolution of a Good-Bad-Ugly-F Model on Compactified Hyperboloidal Slices

Authors: Christian Peterson, Shalabh Gautam, Inês Rainho, Alex Vañó-Viñuales, David Hilditch

Abstract: The Good-Bad-Ugly-F model is a system of semi-linear wave equations that mimics the asymptotic form of the Einstein field equations in generalized harmonic gauge with specific constraint damping and suitable gauge source functions. These constraint additions and gauge source functions eliminate logarithmic divergences appearing at the leading order in the asymptotic expansion of the metric compone… ▽ More The Good-Bad-Ugly-F model is a system of semi-linear wave equations that mimics the asymptotic form of the Einstein field equations in generalized harmonic gauge with specific constraint damping and suitable gauge source functions. These constraint additions and gauge source functions eliminate logarithmic divergences appearing at the leading order in the asymptotic expansion of the metric components. In this work, as a step towards using compactified hyperboloidal slices in numerical relativity, we evolve this model numerically in spherical symmetry, axisymmetry and full 3d on such hyperboloidal slices. Promising numerical results are found in all cases. Our results show that nonlinear systems of wave equations with the asymptotics of the Einstein field equations in the above form can be reliably captured within hyperboloidal numerical evolution without assuming symmetry. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: 10 pages, 4 figures

Critical phenomena in the collapse of quadrupolar and hexadecapolar gravitational waves

Authors: Thomas W. Baumgarte, Carsten Gundlach, David Hilditch

Abstract: We report on numerical simulations of critical phenomena near the threshold of black hole formation in the collapse of axisymmetric gravitational waves in vacuum. We discuss several new features of our numerical treatment, and then compare results obtained from families of quadrupolar and hexadecapolar initial data. Specifically, we construct (nonlinear) initial data from quadrupolar and hexadecap… ▽ More We report on numerical simulations of critical phenomena near the threshold of black hole formation in the collapse of axisymmetric gravitational waves in vacuum. We discuss several new features of our numerical treatment, and then compare results obtained from families of quadrupolar and hexadecapolar initial data. Specifically, we construct (nonlinear) initial data from quadrupolar and hexadecapolar, time-symmetric wavelike solutions to the linearized Einstein equations (often referred to as Teukolsky waves), and evolve these using a shock-avoiding slicing condition. While our degree of fine-tuning to the onset of black-hole formation is rather modest, we identify several features of the threshold solutions formed for the two families. Both threshold solutions appear to display an at least approximate discrete self-similarity with an accumulation event at the center, and the characteristics of the threshold solution for the quadrupolar data are consistent with those found previously by other authors. The hexadecapolar threshold solution appears to be distinct from the quadrupolar one, providing further support to the notion that there is no universal critical solution for the collapse of vacuum gravitational waves. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 17 pages, 14 figures

Journal ref: Phys. Rev. D 107, 084012 (2023)

Adaptive hp-Refinement for Spectral Elements in Numerical Relativity

Authors: Sarah Renkhoff, Daniela Cors, David Hilditch, Bernd Brügmann

Abstract: When a numerical simulation has to handle a physics problem with a wide range of time-dependent length scales, dynamically adaptive discretizations can be the method of choice. We present a major upgrade to the numerical relativity code bamps in the form of fully adaptive, physics-agnostic hp-refinement. We describe the foundations of mesh refinement in the context of spectral element methods, the… ▽ More When a numerical simulation has to handle a physics problem with a wide range of time-dependent length scales, dynamically adaptive discretizations can be the method of choice. We present a major upgrade to the numerical relativity code bamps in the form of fully adaptive, physics-agnostic hp-refinement. We describe the foundations of mesh refinement in the context of spectral element methods, the precise algorithm used to perform refinement in bamps, as well as several indicator functions used to drive it. Finally, we test the performance, scaling, and the accuracy of the code in treating several 1d and 2d example problems, showing clear improvements over static mesh configurations. In particular, we consider a simple non-linear wave equation, the evolution of a real scalar field minimally coupled to gravity, as well as nonlinear gravitational waves. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: 19 pages, 17 figures

Normal modes of Proca fields in AdS spacetime

Authors: Tiago V. Fernandes, David Hilditch, José P. S. Lemos, Vítor Cardoso

Abstract: A normal mode analysis for Proca fields in the anti-de Sitter (AdS) spacetime is given. It is found that the equations for the Proca field can be decoupled analytically. This is performed by changing the basis of the vector spherical harmonics (VSH) decomposition. The normal modes and the normal mode frequencies of the Proca equation in the AdS spacetime are then analytically determined. It is als… ▽ More A normal mode analysis for Proca fields in the anti-de Sitter (AdS) spacetime is given. It is found that the equations for the Proca field can be decoupled analytically. This is performed by changing the basis of the vector spherical harmonics (VSH) decomposition. The normal modes and the normal mode frequencies of the Proca equation in the AdS spacetime are then analytically determined. It is also shown that the Maxwell field can be recovered by taking the massless limit of the Proca field with care so that the nonphysical gauge modes are eliminated. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Comments: 6 pages

Journal ref: Gen. Relativ. Gravit. 55, 5 (2023)

Curvature and dynamical spacetimes: can we peer into the quantum regime?

Authors: Vitor Cardoso, David Hilditch, Krinio Marouda, José Natário, Ulrich Sperhake

Abstract: Stationary compact astrophysical objects such as black holes and neutron stars behave as classical systems from the gravitational point of view. Their (observable) curvature is everywhere "small". Here we investigate whether mergers of such objects, or other strongly dynamical spacetimes such as collapsing configurations, may probe the strong-curvature regime of General Relativity. Our results ind… ▽ More Stationary compact astrophysical objects such as black holes and neutron stars behave as classical systems from the gravitational point of view. Their (observable) curvature is everywhere "small". Here we investigate whether mergers of such objects, or other strongly dynamical spacetimes such as collapsing configurations, may probe the strong-curvature regime of General Relativity. Our results indicate that dynamical black hole spacetimes always result in a modest increase $\sim 3$ in the Kretschmann scalar, relative to the stationary state. Our results show that the Kretschmann scalar can dynamically increase by orders of magnitude, during the gravitational collapse of scalar fields, and that the (normalized) peak curvature does not correspond to that of the critical solution. Nevertheless, without fine tuning of initial data, this increase lies far below that needed to render quantum-gravity corrections important. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: 8 pages, 5 figures

The good-bad-ugly system near spatial infinity on flat spacetime

Authors: Miguel Duarte, Justin Feng, Edgar Gasperin, David Hilditch

Abstract: A system of equations that serves as a model for the Einstein field equation in generalised harmonic gauge called the good-bad-ugly system is studied in the region close to null and spatial infinity in Minkowski spacetime. This analysis is performed using H. Friedrich's cylinder construction at spatial infinity and defining suitable conformally rescaled fields. The results are translated to the ph… ▽ More A system of equations that serves as a model for the Einstein field equation in generalised harmonic gauge called the good-bad-ugly system is studied in the region close to null and spatial infinity in Minkowski spacetime. This analysis is performed using H. Friedrich's cylinder construction at spatial infinity and defining suitable conformally rescaled fields. The results are translated to the physical set up to investigate the relation between the polyhomogeneous expansions arising from the analysis of linear fields using the $i^0$-cylinder framework and those obtained through a heuristic method based on Hörmander's asymptotic system. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Comments: 22 pages, 2 figures

Shock-avoiding slicing conditions: tests and calibrations

Authors: Thomas W. Baumgarte, David Hilditch

Abstract: While the 1+log slicing condition has been extremely successful in numerous numerical relativity simulations, it is also known to develop "gauge-shocks" in some examples. Alternative "shock-avoiding" slicing conditions suggested by Alcubierre prevent these pathologies in those examples, but have not yet been explored and tested very broadly. In this paper we compare the performance of shock-avoidi… ▽ More While the 1+log slicing condition has been extremely successful in numerous numerical relativity simulations, it is also known to develop "gauge-shocks" in some examples. Alternative "shock-avoiding" slicing conditions suggested by Alcubierre prevent these pathologies in those examples, but have not yet been explored and tested very broadly. In this paper we compare the performance of shock-avoiding slicing conditions with those of 1+log slicing for a number of "text-book" problems, including black holes and relativistic stars. While, in some simulations, the shock-avoiding slicing conditions feature some unusual properties and lead to more "gauge-dynamics" than the 1+log slicing condition, we find that they perform quite similarly in terms of stability and accuracy, and hence provide a very viable alternative to 1+log slicing. △ Less

Submitted 13 July, 2022; originally announced July 2022.

Comments: 10 pages, 11 figures

Regularizing Dual-Frame Generalized Harmonic Gauge at Null Infinity

Authors: Miguel Duarte, Edgar Gasperín, Justin C. Feng, David Hilditch

Abstract: The dual-frame formalism leads to an approach to extend numerical relativity simulations in generalized harmonic gauge (GHG) all the way to null infinity. A major setback is that without care, even simple choices of initial data give rise to logarithmically divergent terms that would result in irregular variables and equations on the compactified domain, which would in turn prevent accurate numeri… ▽ More The dual-frame formalism leads to an approach to extend numerical relativity simulations in generalized harmonic gauge (GHG) all the way to null infinity. A major setback is that without care, even simple choices of initial data give rise to logarithmically divergent terms that would result in irregular variables and equations on the compactified domain, which would in turn prevent accurate numerical approximation. It has been shown, however, that a suitable choice of gauge and constraint addition can be used to prevent their appearance. Presently we give a first order symmetric hyperbolic reduction of general relativity in GHG on compactified hyperboloidal slices that exploits this knowledge and eradicates these log-terms at leading orders. Because of their effect on the asymptotic solution space, specific formally singular terms are systematically chosen to remain. Such formally singular terms have been successfully treated numerically in toy models and result in a formulation with the desirable property that unphysical radiation content near infinity is suppressed. △ Less

Submitted 27 June, 2022; originally announced June 2022.

Comments: 20 pages

Peeling in Generalized Harmonic Gauge

Authors: Miguel Duarte, Justin C. Feng, Edgar Gasperin, David Hilditch

Abstract: It is shown that a large class of systems of non-linear wave equations, based on the good-bad-ugly model, admit formal solutions with polyhomogeneous expansions near null infinity. A particular set of variables is introduced which allows us to write the Einstein field equations in generalized harmonic gauge as a good-bad-ugly system and the functional form of the first few orders in such an expans… ▽ More It is shown that a large class of systems of non-linear wave equations, based on the good-bad-ugly model, admit formal solutions with polyhomogeneous expansions near null infinity. A particular set of variables is introduced which allows us to write the Einstein field equations in generalized harmonic gauge as a good-bad-ugly system and the functional form of the first few orders in such an expansion is found by applying the aforementioned result. Exploiting these formal expansions of the metric components, the peeling property of the Weyl tensor is revisited. The question addressed is whether or not the use of generalized harmonic gauge, by itself, causes a violation of peeling. Working in harmonic gauge, it is found that log-terms that prevent the Weyl tensor from peeling do appear. The impact of gauge source functions and constraint additions on the peeling property is then considered. Finally, the special interplay between gauge and constraint addition, as well as its influence on the asymptotic system and the decay of each of the metric components, is exploited to find a particular gauge which suppresses this specific type of log-term to arbitrarily high order. △ Less

Submitted 19 May, 2022; originally announced May 2022.

Comments: 18 pages

Evolution of Brill waves with an adaptive pseudospectral method

Authors: Isabel Suárez Fernández, Sarah Renkhoff, Daniela Cors, Bernd Bruegmann, David Hilditch

Abstract: As a first application of the new adaptive mesh functionality of the the pseudospectral numerical relativity code bamps, we evolve twist-free, axisymmetric gravitational waves close to the threshold of collapse. We consider six different one-parameter families of Brill wave initial data; two centered and four off-centered families. Of these the latter have not been treated before. Within each fami… ▽ More As a first application of the new adaptive mesh functionality of the the pseudospectral numerical relativity code bamps, we evolve twist-free, axisymmetric gravitational waves close to the threshold of collapse. We consider six different one-parameter families of Brill wave initial data; two centered and four off-centered families. Of these the latter have not been treated before. Within each family we tune the parameter towards the threshold of black hole formation. The results for centered data agree with earlier work. Our key results are first, that close to the threshold of collapse the global peak in the curvature appears on the symmetry axis but away from the origin, indicating that in the limit they will collapse around disjoint centers. This is confirmed in three of the six families by explicitly finding apparent horizons around these large curvature peaks. Second, we find evidence neither for strict discrete-self-similarity nor for universal power-law scaling of curvature quantities. Finally, as in Ledvinka & Khirnov's recent study, we find approximately universal strong curvature features. These features appear multiple times within individual spacetimes close to the threshold and are furthermore present within all six families. △ Less

Submitted 9 May, 2022; originally announced May 2022.

Comments: 11 pages, 7 figures

Quasinormal modes of Proca fields in a Schwarzschild-AdS spacetime

Authors: Tiago V. Fernandes, David Hilditch, José P. S. Lemos, Vitor Cardoso

Abstract: We present new results concerning the Proca massive vector field in a Schwarzschild-AdS black hole geometry. We provide a first principles analysis of Proca vector fields in this geometry using both the vector spherical harmonic (VSH) separation method and the Frolov-Krtouš-Kubizňák-Santos (FKKS) method that separates the relevant equations in spinning geometries. The analysis in the VSH method sh… ▽ More We present new results concerning the Proca massive vector field in a Schwarzschild-AdS black hole geometry. We provide a first principles analysis of Proca vector fields in this geometry using both the vector spherical harmonic (VSH) separation method and the Frolov-Krtouš-Kubizňák-Santos (FKKS) method that separates the relevant equations in spinning geometries. The analysis in the VSH method shows, on one hand, that it is arduous to separate the scalar-type from the vector-type polarizations of the electric sector of the Proca field, and on the other hand, it displays clearly the electric and the magnetic mode sectors. The analysis in the FKKS method is performed by taking the nonrotating limit of the Kerr-AdS spacetime, and shows that the ansatz decouples the polarizations in the electric mode sector even in the nonrotating limit. On the other hand, it captures only two of the three possible polarizations, the magnetic mode sector is missing. The reason for the absence of this polarization is related to the degeneracy of the principal tensor in static spherical symmetric spacetimes. The degrees of freedom and quasinormal modes in both separation methods of the Proca field are found. The frequencies of the quasinormal modes are also computed. For the electric mode sector in the VSH method the frequencies are found through an extension, which substitutes number coefficients by matrix coefficients, of the Horowitz-Hubeny numerical procedure, whereas for the magnetic mode sector in the VSH method and the electric sector of the FKKS method it is shown that a direct use of the procedure can be made. The values of the quasinormal mode frequencies obtained for each method are compared and showed to be in good agreement with each other. This further supports the analytical approaches presented here for the behavior of the Proca field in a Schwarzschild-AdS black hole background. △ Less

Submitted 10 February, 2022; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 15 pages, 4 tables, 1 appendix with 2 figures

Journal ref: Phys. Rev. D 105, 044017 (2022)

Gauge structure of the Einstein field equations in Bondi-like coordinates

Authors: Thanasis Giannakopoulos, Nigel T. Bishop, David Hilditch, Denis Pollney, Miguel Zilhao

Abstract: The characteristic initial (boundary) value problem has numerous applications in general relativity (GR) involving numerical studies, and is often formulated using Bondi-like coordinates. Recently it was shown that several prototype formulations of this type are only weakly hyperbolic. Presently we examine the root cause of this result. In a linear analysis we identify the gauge, constraint and ph… ▽ More The characteristic initial (boundary) value problem has numerous applications in general relativity (GR) involving numerical studies, and is often formulated using Bondi-like coordinates. Recently it was shown that several prototype formulations of this type are only weakly hyperbolic. Presently we examine the root cause of this result. In a linear analysis we identify the gauge, constraint and physical blocks in the principal part of the Einstein field equations in such a gauge, and show that the subsystem related to the gauge variables is only weakly hyperbolic. Weak hyperbolicity of the full system follows as a consequence in many cases. We demonstrate this explicitly in specific examples, and thus argue that Bondi-like gauges result in weakly hyperbolic free evolution systems under quite general conditions. Consequently the characteristic initial (boundary) value problem of GR in these gauges is rendered ill-posed in the simplest norms one would like to employ. The possibility of finding good alternative norms, in which well-posedness is achieved, is discussed. So motivated, we present numerical convergence tests with an implementation of full GR which demonstrate the effect of weak hyperbolicity in practice. △ Less

Submitted 2 May, 2022; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 23 pages, 3 figures, ancillary files, data and more supplemental material at 10.5281/zenodo.5618007, updated to match published version

Journal ref: Phys. Rev. D 105, 084055 (2022)

Comparison of linear Brill and Teukolsky waves

Authors: Isabel Suárez Fernández, Thomas W. Baumgarte, David Hilditch

Abstract: Motivated by studies of critical phenomena in the gravitational collapse of vacuum gravitational waves we compare, at the linear level, two common approaches to constructing gravitational-wave initial data. Specifically, we construct analytical, linear Brill wave initial data and compare these with Teukolsky waves in an attempt to understand the different numerical behavior observed in dynamical (… ▽ More Motivated by studies of critical phenomena in the gravitational collapse of vacuum gravitational waves we compare, at the linear level, two common approaches to constructing gravitational-wave initial data. Specifically, we construct analytical, linear Brill wave initial data and compare these with Teukolsky waves in an attempt to understand the different numerical behavior observed in dynamical (nonlinear) evolutions of these two different sets of data. In general, the Brill waves indeed feature higher multipole moments than the quadrupolar Teukolsky waves, which might have provided an explanation for the differences observed in the dynamical evolution of the two types of waves. However, we also find that, for a common choice of the Brill-wave seed function, all higher-order moments vanish identically, rendering the (linear) Brill initial data surprisingly similar to the Teukolsky data for a similarly common choice of its seed function. △ Less

Submitted 8 November, 2021; originally announced November 2021.

Comments: 10 pages, 4 figures

The conformal Einstein field equations and the local extension of future null infinity

Authors: Peng Zhao, David Hilditch, Juan A. Valiente Kroon

Abstract: We make use of an improved existence result for the characteristic initial value problem for the conformal Einstein equations to show that given initial data on two null hypersurfaces $\mathcal{N}_\star$ and $\mathcal{N}'_\star$ such that the conformal factor (but not its gradient) vanishes on a section of $\mathcal{N}_\star$ one recovers a portion of null infinity. This result combined with the t… ▽ More We make use of an improved existence result for the characteristic initial value problem for the conformal Einstein equations to show that given initial data on two null hypersurfaces $\mathcal{N}_\star$ and $\mathcal{N}'_\star$ such that the conformal factor (but not its gradient) vanishes on a section of $\mathcal{N}_\star$ one recovers a portion of null infinity. This result combined with the theory of the hyperboloidal initial value problem for the conformal Einstein field equations allows to show the semi-global stability of the Minkowski spacetime from characteristic initial data. △ Less

Submitted 30 April, 2021; originally announced April 2021.

Comments: 23 pages, 5 figures

An Implementation of DF-GHG with Application to Spherical Black Hole Excision

Authors: Maitraya K Bhattacharyya, David Hilditch, K Rajesh Nayak, Sarah Renkhoff, Hannes R. Rüter, Bernd Bruegmann

Abstract: We present an implementation of the dual foliation generalized harmonic gauge (DF-GHG) formulation within the pseudospectral code bamps. The formalism promises to give greater freedom in the choice of coordinates that can be used in numerical relativity. As a specific application we focus here on the treatment of black holes in spherical symmetry. Existing approaches to black hole excision in nume… ▽ More We present an implementation of the dual foliation generalized harmonic gauge (DF-GHG) formulation within the pseudospectral code bamps. The formalism promises to give greater freedom in the choice of coordinates that can be used in numerical relativity. As a specific application we focus here on the treatment of black holes in spherical symmetry. Existing approaches to black hole excision in numerical relativity are susceptible to failure if the boundary fails to remain outflow. We present a method, called DF-excision, to avoid this failure. Our approach relies on carefully choosing coordinates in which the coordinate lightspeeds are under strict control. These coordinates are then combined with the DF-GHG formulation. After performing a set of validation tests in a simple setting, we study the accretion of large pulses of scalar field matter on to a spherical black hole. We compare the results of DF-excision with a naive setup. DF-excision proves reliable even when the previous approach fails. △ Less

Submitted 28 January, 2021; originally announced January 2021.

Comments: 18 pages, 7 figures

Journal ref: Phys. Rev. D 103, 064072 (2021)

High Order Asymptotic Expansions of a Good-Bad-Ugly Wave Equation

Authors: Miguel Duarte, Justin Feng, Edgar Gasperin, David Hilditch

Abstract: A heuristic method to find asymptotic solutions to a system of non-linear wave equations near null infinity is proposed. The non-linearities in this model, dubbed good-bad-ugly, are known to mimic the ones present in the Einstein field equations (EFE) and we expect to be able to exploit this method to derive an asymptotic expansion for the metric in General Relativity (GR) close to null infinity t… ▽ More A heuristic method to find asymptotic solutions to a system of non-linear wave equations near null infinity is proposed. The non-linearities in this model, dubbed good-bad-ugly, are known to mimic the ones present in the Einstein field equations (EFE) and we expect to be able to exploit this method to derive an asymptotic expansion for the metric in General Relativity (GR) close to null infinity that goes beyond first order as performed by Lindblad and Rodnianski for the leading asymptotics. For the good-bad-ugly model, we derive formal expansions in which terms proportional to the logarithm of the radial coordinate appear at every order in the bad field, from the second order onward in the ugly field but never in the good field. The model is generalized to wave operators built from an asymptotically flat metric and it is shown that it admits polyhomogeneous asymptotic solutions. Finally we define stratified null forms, a generalization of standard null forms, which capture the behavior of different types of field, and demonstrate that the addition of such terms to the original system bears no qualitative influence on the type of asymptotic solutions found. △ Less

Submitted 18 January, 2021; originally announced January 2021.

Comments: 15 pages, 1 figure

Summation by Parts and Truncation Error Matching on Hyperboloidal Slices

Authors: Shalabh Gautam, Alex Vañó-Viñuales, David Hilditch, Sukanta Bose

Abstract: We examine stability of summation by parts (SBP) numerical schemes that use hyperboloidal slices to include future null infinity in the computational domain. This inclusion serves to mitigate outer boundary effects and, in the future, will help reduce systematic errors in gravitational waveform extraction. We also study a setup with truncation error matching. Our SBP-Stable scheme guarantees energ… ▽ More We examine stability of summation by parts (SBP) numerical schemes that use hyperboloidal slices to include future null infinity in the computational domain. This inclusion serves to mitigate outer boundary effects and, in the future, will help reduce systematic errors in gravitational waveform extraction. We also study a setup with truncation error matching. Our SBP-Stable scheme guarantees energy-balance for a class of linear wave equations at the semidiscrete level. We develop also specialized dissipation operators. The whole construction is made at second order accuracy in spherical symmetry, but could be straightforwardly generalized to higher order or spectral accuracy without symmetry. In a practical implementation we evolve first a scalar field obeying the linear wave equation and observe, as expected, long term stability and norm convergence. We obtain similar results with a potential term. To examine the limitations of the approach we consider a massive field, whose equations of motion do not regularize, and whose dynamics near null infinity, which involve excited incoming pulses that can not be resolved by the code, is very different to that in the massless setting. We still observe excellent energy conservation, but convergence is not satisfactory. Overall our results suggest that compactified hyperboloidal slices are likely to be provably effective whenever the asymptotic solution space is close to that of the wave equation. △ Less

Submitted 13 January, 2021; originally announced January 2021.

Comments: 26 pages, 9 figures

Report number: LIGO preprint number: LIGO-DCC-P2000514

Journal ref: Phys. Rev. D 103, 084045 (2021)

A semi-linear wave model for critical collapse

Authors: Isabel Suárez Fernández, Rodrigo Vicente, David Hilditch

Abstract: In spherical symmetry compelling numerical evidence suggests that in general relativity solutions near the threshold of black hole formation exhibit critical behavior. One aspect of this is that threshold solutions themselves are self-similar and are, in a certain sense, unique. To an extent yet to be fully understood, the same phenomena persist beyond spherical symmetry. It is therefore desirable… ▽ More In spherical symmetry compelling numerical evidence suggests that in general relativity solutions near the threshold of black hole formation exhibit critical behavior. One aspect of this is that threshold solutions themselves are self-similar and are, in a certain sense, unique. To an extent yet to be fully understood, the same phenomena persist beyond spherical symmetry. It is therefore desirable to construct models that exhibit such symmetry at the threshold of blow-up. Starting with deformations of the wave equation, we discuss models which have discretely self-similar threshold solutions. We study threshold solutions in the past light cone of the blow-up point. In spherical symmetry there is a sense in which a unique critical solution exists. Spherical numerical evolutions are also presented for more general models, and exhibit similar behavior. Away from spherical symmetry threshold solutions attain more freedom. Different topologies of blow-up are possible, and even locally the critical solution needs reinterpretation as a parameterized family. △ Less

Submitted 27 July, 2020; originally announced July 2020.

Comments: 18 pages, 9 figures

Journal ref: Phys. Rev. D 103, 044016 (2021)

Hyperbolicity of General Relativity in Bondi-like gauges

Authors: Thanasis Giannakopoulos, David Hilditch, Miguel Zilhao

Abstract: Bondi-like (single-null) characteristic formulations of general relativity are used for numerical work in both asymptotically flat and anti-de Sitter spacetimes. Well-posedness of the resulting systems of partial differential equations, however, remains an open question. The answer to this question affects accuracy, and potentially the reliability of conclusions drawn from numerical studies based… ▽ More Bondi-like (single-null) characteristic formulations of general relativity are used for numerical work in both asymptotically flat and anti-de Sitter spacetimes. Well-posedness of the resulting systems of partial differential equations, however, remains an open question. The answer to this question affects accuracy, and potentially the reliability of conclusions drawn from numerical studies based on such formulations. A numerical approximation can converge to the continuum limit only for well-posed systems; for the initial value problem in the $L^2$ norm this is characterized by strong hyperbolicity. We find that, due to a shared pathological structure, the systems arising from the aforementioned formulations are however only weakly hyperbolic. We present numerical tests for toy models that demonstrate the consequence of this shortcoming in practice for the characteristic initial boundary value problem. Working with alternative norms in which our model problems may be well-posed we show that convergence may be recovered. Finally we examine well-posedness of a model for Cauchy-Characteristic-Matching in which model symmetric and weakly hyperbolic systems communicate through an interface, with the latter playing the role of GR in Bondi gauge on characteristic slices. We find that, due to the incompatibility of the norms associated with the two systems, the composite problem does not naturally admit energy estimates. △ Less

Submitted 8 October, 2020; v1 submitted 13 July, 2020; originally announced July 2020.

Comments: 19 pages, 7 figures, updated to match published version

Journal ref: Phys. Rev. D 102, 064035 (2020)

Improved existence for the characteristic initial value problem with the conformal Einstein field equations

Authors: David Hilditch, Juan A. Valiente Kroon, Peng Zhao

Abstract: We adapt Luk's analysis of the characteristic initial value problem in General Relativity to the asymptotic characteristic problem for the conformal Einstein field equations to demonstrate the local existence of solutions in a neighbourhood of the set on which the data are given. In particular, we obtain existence of solutions along a narrow rectangle along null infinity which, in turn, correspond… ▽ More We adapt Luk's analysis of the characteristic initial value problem in General Relativity to the asymptotic characteristic problem for the conformal Einstein field equations to demonstrate the local existence of solutions in a neighbourhood of the set on which the data are given. In particular, we obtain existence of solutions along a narrow rectangle along null infinity which, in turn, corresponds to an infinite domain in the asymptotic region of the physical spacetime. This result generalises work by Kánnár on the local existence of solutions to the characteristic initial value problem by means of Rendall's reduction strategy. In analysing the conformal Einstein equations we make use of the Newman-Penrose formalism and a gauge due to J. Stewart. △ Less

Submitted 23 June, 2020; originally announced June 2020.

Comments: 44 pages, 3 figures. arXiv admin note: text overlap with arXiv:1911.00047

Analytical and numerical treatment of perturbed black holes in horizon-penetrating coordinates

Authors: Maitraya K Bhattacharyya, David Hilditch, K Rajesh Nayak, Hannes R. Rüter, Bernd Bruegmann

Abstract: The deviations of non-linear perturbations of black holes from the linear case are important in the context of ringdown signals with large signal-to-noise ratio. To facilitate a comparison between the two we derive several results of linear perturbation theory in coordinates which may be adopted in numerical work. Specifically, our results are derived in Kerr-Schild coordinates adjusted by a gener… ▽ More The deviations of non-linear perturbations of black holes from the linear case are important in the context of ringdown signals with large signal-to-noise ratio. To facilitate a comparison between the two we derive several results of linear perturbation theory in coordinates which may be adopted in numerical work. Specifically, our results are derived in Kerr-Schild coordinates adjusted by a general height function. In the first part of the paper we address the questions: for an initial configuration of a massless scalar field, what is the amplitude of the excited quasinormal mode (QNM) for any observer outside outside the event horizon, and furthermore what is the resulting tail contribution? This is done by constructing the full Green's function for the problem with exact solutions of the confluent Heun equation satisfying appropriate boundary conditions. In the second part of the paper, we detail new developments to our pseudospectral numerical relativity code bamps to handle scalar fields. In the linear regime we employ precisely the Kerr-Schild coordinates treated by our previous analysis. In particular, we evolve pure QNM type initial data along with several other types of initial data and report on the presence of overtone modes in the signal. △ Less

Submitted 14 July, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 25 pages, 7 figures

Journal ref: Phys. Rev. D 102, 024039 (2020)

Revisiting the characteristic initial value problem for the vacuum Einstein field equations

Authors: David Hilditch, Juan A. Valiente Kroon, Peng Zhao

Abstract: Using the Newman-Penrose formalism we study the characteristic initial value problem in vacuum General Relativity. We work in a gauge suggested by Stewart, and following the strategy taken in the work of Luk, demonstrate local existence of solutions in a neighbourhood of the set on which data are given. These data are given on intersecting null hypersurfaces. Existence near their intersection is a… ▽ More Using the Newman-Penrose formalism we study the characteristic initial value problem in vacuum General Relativity. We work in a gauge suggested by Stewart, and following the strategy taken in the work of Luk, demonstrate local existence of solutions in a neighbourhood of the set on which data are given. These data are given on intersecting null hypersurfaces. Existence near their intersection is achieved by combining the observation that the field equations are symmetric hyperbolic in this gauge with the results of Rendall. To obtain existence all the way along the null-hypersurfaces themselves, a bootstrap argument involving the Newman-Penrose variables is performed. △ Less

Submitted 31 October, 2019; originally announced November 2019.

Comments: 58 pages, 4 figures

The Hyperboloidal Numerical Evolution of a Good-Bad-Ugly Wave Equation

Authors: Edgar Gasperin, Shalabh Gautam, David Hilditch, Alex Vañó-Viñuales

Abstract: One method for the numerical treatment of future null-infinity is to decouple coordinates from the tensor basis and choose each in a careful manner. This dual-frame approach is hampered by logarithmically divergent terms that appear in a naive choice of evolved variables. Here we consider a system of wave equations that satisfy the weak-null condition and serve as a model system with similar nonli… ▽ More One method for the numerical treatment of future null-infinity is to decouple coordinates from the tensor basis and choose each in a careful manner. This dual-frame approach is hampered by logarithmically divergent terms that appear in a naive choice of evolved variables. Here we consider a system of wave equations that satisfy the weak-null condition and serve as a model system with similar nonlinearities to those present in the Einstein field equations in generalized harmonic gauge. We show that these equations can be explicitly regularized by a nonlinear change of variables. Working in spherical symmetry, a numerical implementation of this model using compactified hyperboloidal slices is then presented. Clean convergence is found for the regularized system. Although more complicated, it is expected that general relativity can be treated similarly. △ Less

Submitted 25 September, 2019; originally announced September 2019.

Comments: 11 pages, 5 figures

Conformally flat slices of asymptotically flat spacetimes

Authors: Miguel Duarte, David Hilditch

Abstract: For mathematical convenience initial data sets in numerical relativity are often taken to be conformally flat. Employing the dual-foliation formalism, we investigate the physical consequences of this assumption. Working within a large class of asymptotically flat spacetimes we show that the ADM linear momentum is governed by the leading Lorentz part of a boost even in the presence of supertranslat… ▽ More For mathematical convenience initial data sets in numerical relativity are often taken to be conformally flat. Employing the dual-foliation formalism, we investigate the physical consequences of this assumption. Working within a large class of asymptotically flat spacetimes we show that the ADM linear momentum is governed by the leading Lorentz part of a boost even in the presence of supertranslation-like terms. Following up, we find that in spacetimes that are asymptotically flat, and admit spatial slices with vanishing linear momentum that are sufficiently close to conformal flatness, any boosted slice can not be conformally flat. Consequently there are no conformally flat boosted slices of the Schwarzschild spacetime. This confirms the previously anticipated explanation for the presence of junk-radiation in Brandt-Bruegmann puncture data. △ Less

Submitted 13 September, 2019; originally announced September 2019.

Comments: 11 pages, 1 figure

Critical phenomena in the gravitational collapse of electromagnetic waves

Authors: Thomas W. Baumgarte, Carsten Gundlach, David Hilditch

Abstract: We numerically investigate the threshold of black-hole formation in the gravitational collapse of electromagnetic waves in axisymmetry. We find approximate power-law scaling $ρ_{\rm max}\sim (η_*-η)^{-2γ}$ of the maximum density in the time evolution of near-subcritical data with $γ\simeq 0.145$, where $η$ is the amplitude of the initial data. We directly observe approximate discrete self-similari… ▽ More We numerically investigate the threshold of black-hole formation in the gravitational collapse of electromagnetic waves in axisymmetry. We find approximate power-law scaling $ρ_{\rm max}\sim (η_*-η)^{-2γ}$ of the maximum density in the time evolution of near-subcritical data with $γ\simeq 0.145$, where $η$ is the amplitude of the initial data. We directly observe approximate discrete self-similarity in near-critical time evolutions with a log-scale echoing period of $Δ\simeq 0.55$. The critical solution is approximately the same for two families of initial data, providing some evidence of universality. Neither the discrete self-similarity nor the universality, however, are exact. We speculate that the absence of an exactly discrete self-similarity might be caused by the interplay of electromagnetic and gravitational wave degrees of freedom, or by the presence of higher-order angular multipoles, or both, and discuss implications of our findings for the critical collapse of vacuum gravitational waves. △ Less

Submitted 22 October, 2019; v1 submitted 2 September, 2019; originally announced September 2019.

Comments: 5 pages, 3 figures; version accepted for publication in PRL

Journal ref: Phys. Rev. Lett. 123, 171103 (2019)

Critical phenomena in gravitational collapse with two competing massless matter fields

Authors: Carsten Gundlach, Thomas W. Baumgarte, David Hilditch

Abstract: In the gravitational collapse of matter beyond spherical symmetry, gravitational waves are necessarily present. On the other hand, gravitational waves can collapse to a black hole even without matter. One might therefore wonder whether the interaction and competition between the matter fields and gravitational waves affects critical phenomena at the threshold of black hole formation. As a toy mode… ▽ More In the gravitational collapse of matter beyond spherical symmetry, gravitational waves are necessarily present. On the other hand, gravitational waves can collapse to a black hole even without matter. One might therefore wonder whether the interaction and competition between the matter fields and gravitational waves affects critical phenomena at the threshold of black hole formation. As a toy model for this, we study type II critical collapse with two matter fields in spherical symmetry, namely a scalar field and a Yang-Mills field. On their own, both display discrete self-similarity (DSS) in type II critical collapse, and we can take either one of them as a toy model for gravitational waves. To our surprise, in numerical time evolutions we find that, for sufficiently good fine-tuning, the scalar field always dominates on sufficiently small scales. We explain our results by the conjectured existence of a "quasi-discretely self-similar" (QSS) solution shared by the two fields, equal to the known Yang-Mills critical solution at infinitely large scales and the known scalar field critical solution (the Choptuik solution) at infinitely small scales, with a gradual transition from one field to the other. This QSS solution itself has only one unstable mode, and so acts as the critical solution for any mixture of scalar field and Yang-Mills initial data. △ Less

Submitted 17 October, 2019; v1 submitted 16 August, 2019; originally announced August 2019.

Comments: Section on the numerical method expanded

Journal ref: Phys. Rev. D 100, 104010 (2019)

The Weak Null Condition in Free-evolution Schemes for Numerical Relativity: Dual Foliation GHG with Constraint Damping

Authors: Edgar Gasperin, David Hilditch

Abstract: All strategies for the treatment of future null-infinity in numerical relativity involve some form of regularization of the field equations. In a recent proposal that relies on the dual foliation formalism this is achieved by the use of an asymptotically Minkowskian generalized harmonic tensor basis. For the scheme to work however, derivatives of certain coordinate light-speeds must decay fast eno… ▽ More All strategies for the treatment of future null-infinity in numerical relativity involve some form of regularization of the field equations. In a recent proposal that relies on the dual foliation formalism this is achieved by the use of an asymptotically Minkowskian generalized harmonic tensor basis. For the scheme to work however, derivatives of certain coordinate light-speeds must decay fast enough. Presently, we generalize the method of asymptotic expansions for nonlinear wave equations to treat first order symmetric hyperbolic systems. We then use this heuristic tool to extract the expected rates of decay of the metric near null-infinity in a free-evolution setting. We show, within the asymptotic expansion, that by carefully modifying the non-principal part of the field equations by the addition of constraints, we are able to obtain optimal decay rates even when the constraints are violated. The light-speed condition can hence be satisfied, which paves the way for the explicit numerical treatment of future null-infinity. We then study the behavior of the Trautman-Bondi mass under the decay results predicted by the asymptotic expansion. Naively the mass seems to be unbounded, but we see first that the divergent terms can be replaced with a combination of the constraints and the Einstein field equations, and second that the Bondi mass loss formula is recovered within the framework. Both of the latter results hold in the presence of small constraint violations. △ Less

Submitted 16 December, 2018; originally announced December 2018.

Comments: 18 pages, 1 figure

Hyperbolicity of Divergence Cleaning and Vector Potential Formulations of GRMHD

Authors: David Hilditch, Andreas Schoepe

Abstract: We examine hyperbolicity of general relativistic magnetohydrodynamics with divergence cleaning, a flux-balance law form of the model not covered by our earlier analysis. The calculations rely again on a dual-frame approach, which allows us to effectively exploit the structure present in the principal part. We find, in contrast to the standard flux-balance law form of the equations, that this formu… ▽ More We examine hyperbolicity of general relativistic magnetohydrodynamics with divergence cleaning, a flux-balance law form of the model not covered by our earlier analysis. The calculations rely again on a dual-frame approach, which allows us to effectively exploit the structure present in the principal part. We find, in contrast to the standard flux-balance law form of the equations, that this formulation is strongly hyperbolic, and thus admits a well-posed initial value problem. Formulations involving the vector potential as an evolved quantity are then considered. Carefully reducing to first order, we find that such formulations can also be made strongly hyperbolic. Despite the unwieldy form of the characteristic variables we therefore conclude that of the free-evolution formulations of general relativistic magnetohydrodynamics presently used in numerical relativity, the divergence cleaning and vector potential formulations are preferred. △ Less

Submitted 1 May, 2020; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 8 pages. Matches published version

Journal ref: Phys. Rev. D 99, 104034 (2019)

Revisiting Hyperbolicity of Relativistic Fluids

Authors: Andreas Schoepe, David Hilditch, Marcus Bugner

Abstract: Motivated by the desire for highly accurate numerical computations of compact binary spacetimes in the era of gravitational wave astronomy, we reexamine hyperbolicity and well-posedness of the initial value problem for popular models of general relativistic fluids. Our analysis relies heavily on the dual-frame formalism, which allows us to work in the Lagrangian frame, where computation is relativ… ▽ More Motivated by the desire for highly accurate numerical computations of compact binary spacetimes in the era of gravitational wave astronomy, we reexamine hyperbolicity and well-posedness of the initial value problem for popular models of general relativistic fluids. Our analysis relies heavily on the dual-frame formalism, which allows us to work in the Lagrangian frame, where computation is relatively easy, before transforming to the desired Eulerian form. This general strategy allows for the construction of compact expressions for the characteristic variables in a highly economical manner. General relativistic hydrodynamics (GRHD), ideal magnetohydrodynamics (GRMHD) and resistive magnetohydrodynamics (RGRMHD) are considered in turn. In the first case we obtain a simplified form of earlier expressions. In the second we show that the flux-balance law formulation used in typical numerical applications is only weakly hyperbolic and thus does not have a well-posed initial value problem. Newtonian ideal MHD is found to suffer from the same problem when written in flux-balance law form. An alternative formulation, closely related to that of Anile and Pennisi, is instead shown to be strongly hyperbolic. In the final case we find that the standard forms of RGRMHD, relying upon a particular choice of `generalized Ohm's law', are only weakly hyperbolic. The latter problem may be rectified by adjusting the choice of Ohm's law, but we do not do so here. Along the way weak hyperbolicity of the field equations for dust and charged dust is also observed. More sophisticated systems, such as multi-fluid and elastic models are also expected to be amenable to our treatment. △ Less

Submitted 31 July, 2018; v1 submitted 28 December, 2017; originally announced December 2017.

Comments: 28 pages, 1 figure, published version

Journal ref: Phys. Rev. D 97, 123009 (2018)

Hyperbolic Relaxation Method for Elliptic Equations

Authors: Hannes R. Rüter, David Hilditch, Marcus Bugner, Bernd Brügmann

Abstract: We show how the basic idea of parabolic Jacobi relaxation can be modified to obtain a new class of hyperbolic relaxation schemes that are suitable for the solution of elliptic equations. Some of the analytic and numerical properties of hyperbolic relaxation are examined. We describe its implementation as a first order system in a pseudospectral evolution code, demonstrating that certain elliptic e… ▽ More We show how the basic idea of parabolic Jacobi relaxation can be modified to obtain a new class of hyperbolic relaxation schemes that are suitable for the solution of elliptic equations. Some of the analytic and numerical properties of hyperbolic relaxation are examined. We describe its implementation as a first order system in a pseudospectral evolution code, demonstrating that certain elliptic equations can be solved within a framework for hyperbolic evolution systems. Applications include various initial data problems in numerical general relativity. In particular we generate initial data for the evolution of a massless scalar field, a single neutron star, and binary neutron star systems. △ Less

Submitted 14 November, 2017; v1 submitted 24 August, 2017; originally announced August 2017.

Comments: 17 pages, 12 figures; v2: corrected author metadata; v3: minor correction in shift characteristics Eq. (83)

MSC Class: 35-04 (Primary) 65-04; 83-08 (Secondary) ACM Class: G.1.0; G.1.8; G.1.10

Journal ref: Phys. Rev. D 98, 084044 (2018)

Evolutions of centered Brill waves with a pseudospectral method

Authors: David Hilditch, Andreas Weyhausen, Bernd Bruegmann

Abstract: The pseudospectral code bamps is used to evolve axisymmetric gravitational waves. We consider a one-parameter family of Brill wave initial data, taking the seed function and strength parameter of Holz et. al. A careful comparison is made to earlier work. Our results are mostly in agreement with the literature, but we do find that some amplitudes reported elsewhere as subcritical evolve to form app… ▽ More The pseudospectral code bamps is used to evolve axisymmetric gravitational waves. We consider a one-parameter family of Brill wave initial data, taking the seed function and strength parameter of Holz et. al. A careful comparison is made to earlier work. Our results are mostly in agreement with the literature, but we do find that some amplitudes reported elsewhere as subcritical evolve to form apparent horizons. Related to this point we find that by altering the slicing condition, the position of the peak of the Kretschmann scalar in these supercritical data can be controlled so that it appears away from the symmetry axis before the method fails, demonstrating that such behavior is at least partially a coordinate effect. We are able to tune the strength parameter to an interval of range $1-A_\star/A\simeq10^{-6}$ around the onset of apparent horizon formation. In this regime we find that large spikes appear in the Kretschmann scalar on the symmetry axis but away from the origin. From the supercritical side disjoint apparent horizons form around these spikes. On the subcritical side, down to this range, evidence of power-law scaling of the Kretschmann scalar is not conclusive, but the data can be fitted as a power-law with periodic wiggle. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Comments: 11 pages, 5 figures

Journal ref: Phys. Rev. D 96, 104051 (2017)

The evolution of hyperboloidal data with the dual foliation formalism: Mathematical analysis and wave equation tests

Authors: David Hilditch, Enno Harms, Marcus Bugner, Hannes Rueter, Bernd Bruegmann

Abstract: A long-standing problem in numerical relativity is the satisfactory treatment of future null-infinity. We propose an approach for the evolution of hyperboloidal initial data in which the outer boundary of the computational domain is placed at infinity. The main idea is to apply the `dual foliation' formalism in combination with hyperboloidal coordinates and the generalized harmonic gauge formulati… ▽ More A long-standing problem in numerical relativity is the satisfactory treatment of future null-infinity. We propose an approach for the evolution of hyperboloidal initial data in which the outer boundary of the computational domain is placed at infinity. The main idea is to apply the `dual foliation' formalism in combination with hyperboloidal coordinates and the generalized harmonic gauge formulation. The strength of the present approach is that, following the ideas of Zenginoglu, a hyperboloidal layer can be naturally attached to a central region using standard coordinates of numerical relativity applications. Employing a generalization of the standard hyperboloidal slices, developed by Calabrese et. al., we find that all formally singular terms take a trivial limit as we head to null-infinity. A byproduct is a numerical approach for hyperboloidal evolution of nonlinear wave equations violating the null-condition. The height-function method, used often for fixed background spacetimes, is generalized in such a way that the slices can be dynamically `waggled' to maintain the desired outgoing coordinate lightspeed precisely. This is achieved by dynamically solving the eikonal equation. As a first numerical test of the new approach we solve the 3D flat space scalar wave equation. The simulations, performed with the pseudospectral bamps code, show that outgoing waves are cleanly absorbed at null-infinity and that errors converge away rapidly as resolution is increased. △ Less

Submitted 28 September, 2016; originally announced September 2016.

Comments: 29 pages, 5 figures, 2 tables

The initial boundary value problem for free-evolution formulations of General Relativity

Authors: David Hilditch, Milton Ruiz

Abstract: We consider the initial boundary value problem for free-evolution formulations of general relativity coupled to a parametrized family of coordinate conditions that includes both the moving puncture and harmonic gauges. We concentrate primarily on boundaries that are geometrically determined by the outermost normal observer to spacelike slices of the foliation. We present high-order-derivative boun… ▽ More We consider the initial boundary value problem for free-evolution formulations of general relativity coupled to a parametrized family of coordinate conditions that includes both the moving puncture and harmonic gauges. We concentrate primarily on boundaries that are geometrically determined by the outermost normal observer to spacelike slices of the foliation. We present high-order-derivative boundary conditions for the gauge, constraint violating and gravitational wave degrees of freedom of the formulation. Second order derivative boundary conditions are presented in terms of the conformal variables used in numerical relativity simulations. Using Kreiss-Agranovich-Metivier theory we demonstrate, in the frozen coefficient approximation, that with sufficiently high order derivative boundary conditions the initial boundary value problem can be rendered boundary stable. The precise number of derivatives required depends on the gauge. For a choice of the gauge condition that renders the system strongly hyperbolic of constant multiplicity, well-posedness of the initial boundary value problem follows in this approximation. Taking into account the theory of pseudo-differential operators, it is expected that the nonlinear problem is also well-posed locally in time. △ Less

Submitted 2 January, 2018; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: 21 pages, 2 figures, replaced with the published version

Journal ref: Class. Quant. Grav. 35 (2018) no.1, 015006

Dual Foliation Formulations of General Relativity

Authors: David Hilditch

Abstract: A dual foliation treatment of General Relativity is presented. The basic idea of the construction is to consider two foliations of a spacetime by spacelike hypersurfaces and relate the two geometries. The treatment is expected to be useful in various situations, and in particular whenever one would like to compare objects represented in different coordinates. Potential examples include the constru… ▽ More A dual foliation treatment of General Relativity is presented. The basic idea of the construction is to consider two foliations of a spacetime by spacelike hypersurfaces and relate the two geometries. The treatment is expected to be useful in various situations, and in particular whenever one would like to compare objects represented in different coordinates. Potential examples include the construction of initial data and the study of trapped tubes. It is common for studies in mathematical relativity to employ a double-null gauge. In such studies local well-posedness is treated by referring back, for example, to the generalized harmonic formulation, global properties of solutions being treated in a separate formalism. As a first application of the dual foliation formulation we find that one can in fact obtain local well-posedness in the double-null coordinates directly, which should allow their use in numerical relativity with standard methods. With due care it is expected that practically any coordinates can be used with this approach. △ Less

Submitted 7 September, 2015; originally announced September 2015.

Comments: 14 pages

A Pseudospectral Method for Gravitational Wave Collapse

Authors: David Hilditch, Andreas Weyhausen, Bernd Bruegmann

Abstract: We present a new pseudospectral code, bamps, for numerical relativity written with the evolution of collapsing gravitational waves in mind. We employ the first order generalized harmonic gauge formulation. The relevant theory is reviewed and the numerical method is critically examined and specialized for the task at hand. In particular we investigate formulation parameters, gauge and constraint pr… ▽ More We present a new pseudospectral code, bamps, for numerical relativity written with the evolution of collapsing gravitational waves in mind. We employ the first order generalized harmonic gauge formulation. The relevant theory is reviewed and the numerical method is critically examined and specialized for the task at hand. In particular we investigate formulation parameters, gauge and constraint preserving boundary conditions well-suited to non-vanishing gauge source functions. Different types of axisymmetric twist-free moment of time symmetry gravitational wave initial data are discussed. A treatment of the axisymmetric apparent horizon condition is presented with careful attention to regularity on axis. Our apparent horizon finder is then evaluated in a number of test cases. Moving on to evolutions, we investigate modifications to the generalized harmonic gauge constraint damping scheme to improve conservation in the strong field regime. We demonstrate strong-scaling of our pseudospectral penalty code. We employ the Cartoon method to efficiently evolve axisymmetric data in our 3+1 dimensional code. We perform test evolutions of Schwarzschild perturbed by gravitational waves and by gauge pulses, both to demonstrate the use of our blackhole excision scheme and for comparison with earlier results. Finally numerical evolutions of supercritical Brill waves are presented to demonstrate durability of the excision scheme for the dynamical formation of a blackhole. △ Less

Submitted 21 April, 2015; v1 submitted 18 April, 2015; originally announced April 2015.

Comments: 32 pages, 13 figures, fixed broken refs

Journal ref: Phys. Rev. D 93, 063006 (2016)