A procedure for evolving hyperbolic systems of equations on compact computational domains with no boundary conditions was recently described in [arXiv:1905.08657]. In that proposal, the computational grid is expanded in spacelike directions with respect to the outermost characteristic and initial data is imposed on the expanded grid boundary. We discuss a related method that removes the need for imposing boundary conditions: the computational domain is excised along a direction spacelike with respect to the innermost going characteristic. We compare the two methods, and provide example evolutions from a code that implements the excision method: evolution of a massless self-gravitating scalar field in spherical symmetry.
We describe a simple implementation of black hole excision in 3+1 numerical relativity. We apply this technique to a Schwarzschild black hole with octant symmetry in Eddington-Finkelstein coordinates and show how one can obtain accurate, long-term stable numerical evolutions.
We use rigorous techniques from numerical analysis of hyperbolic equations in bounded domains to construct stable finite-difference schemes for Numerical Relativity, in particular for their use in black hole excision. As an application, we present 3D simulations of a scalar field propagating in a Schwarzschild black hole background.
Numerical relativity has faced the problem that standard 3+1 simulations of black hole spacetimes without singularity excision and with singularity avoiding lapse and vanishing shift fail after an evolution time of around 30-40M due to the so-called slice stretching. We discuss lapse and shift conditions for the non-excision case that effectively cure slice stretching and allow run times of 1000M and 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 coordinat…
We study the implications of adopting hyperbolic driver coordinate conditions motivated by geometrical considerations. In particular, conditions that minimize the rate of change of the metric variables. We analyze the properties of the resulting system of equations and their effect when implementing excision techniques. We find that commonly used coordinate conditions lead to a characteristic structure at the excision surface where some modes are not of outflow-type with respect to any excision boundary chosen inside the horizon. Thus, boundary conditions are required for these modes. Unfortun…
Recent demonstrations of unexcised black holes traversing across computational grids represent a significant advance in numerical relativity. Stable and accurate simulations of multiple orbits, and their radiated waves, result. This capability is critically undergirded by a careful choice of gauge. Here we present analytic considerations which suggest certain gauge choices, and numerically demonstrate their efficacy in evolving a single moving puncture black hole.
It is expected that the realization of a convergent and long-term stable numerical code for the simulation of a black hole inspiral collision will depend greatly upon the construction of stable algorithms capable of handling smooth and, most likely, time dependent boundaries. After deriving single grid, energy conserving discretizations for axisymmetric systems containing the axis of symmetry, we present a new excision method for moving black holes using multiple overlapping coordinate patches, such that each boundary is fixed with respect to at least one coordinate system. This multiple coord…
We present a multi-domain spectral method to compute initial data of binary systems in General Relativity. By utilizing adapted conformal coordinates, the vacuum region exterior to the gravitational sources is divided up into two subdomains within which the spectral expansion of the field quantities is carried out. If a component of the binary is a neutron star, a further subdomain covering the star's interior is added. As such, the method can be used to construct arbitrary initial data corresponding to binary black holes, binary neutron stars or mixed binaries. In particular, it is possible t…
We define and extensively test a set of boundary conditions that can be applied at black hole excision surfaces when the Hamiltonian and momentum constraints of general relativity are solved within the conformal thin-sandwich formalism. These boundary conditions have been designed to result in black holes that are in quasiequilibrium and are completely general in the sense that they can be applied with any conformal three-geometry and slicing condition. Furthermore, we show that they retain precisely the freedom to specify an arbitrary spin on each black hole. Interestingly, we have been unabl…
A paradigm deeply rooted in modern numerical relativity calculations prescribes the removal of those regions of the computational domain where a physical singularity may develop. We here challenge this paradigm by performing three-dimensional simulations of the collapse of uniformly rotating stars to black holes without excision. We show that this choice, combined with suitable gauge conditions and the use of minute numerical dissipation, improves dramatically the long-term stability of the evolutions. In turn, this allows for the calculation of the waveforms well beyond what previously possib…
The gauge polyvalence of a new numerical code is tested, both in harmonic-coordinate simulations (gauge-waves testbed) and in singularity-avoiding coordinates (simple Black-Hole simulations, either with or without shift). The code is built upon an adjusted first-order flux-conservative version of the Z4 formalism and a recently proposed family of robust finite-difference high-resolution algorithms. An outstanding result is the long-term evolution (up to 1000M) of a Black-Hole in normal coordinates (zero shift) without excision.
The need to smoothly cover a computational domain of interest generically requires the adoption of several grids. To solve the problem of interest under this grid-structure one must ensure the suitable transfer of information among the different grids involved. In this work we discuss a technique that allows one to construct finite difference schemes of arbitrary high order which are guaranteed to satisfy linear numerical and strict stability. The technique relies on the use of difference operators satisfying summation by parts and {\it penalty techniques} to transfer information between the g…
Computational methods are essential to provide waveforms from coalescing black holes, which are expected to produce strong signals for the gravitational wave observatories being developed. Although partial simulations of the coalescence have been reported, scientifically useful waveforms have so far not been delivered. The goal of the AppleswithApples (AwA) Alliance is to design, coordinate and document standardized code tests for comparing numerical relativity codes. The first round of AwA tests have now being completed and the results are being analyzed. These initial tests are based upon pe…
Progress in numerical relativity has been hindered for 30 years because of the difficulties of avoiding spacetime singularities in numerical evolution. We propose a scheme which excises a region inside an apparent horizon containing the singularity. Two major ingredients of the scheme are the use of a horizon-locking coordinate and a finite differencing which respects the causal structure of the spacetime. Encouraging results of the scheme in the spherical collapse case are given.
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 …
Bonazzola, Gourgoulhon, Grandclément, and Novak [Phys. Rev. D {\bf 70}, 104007 (2004)] proposed a new formulation for 3+1 numerical relativity. Einstein equations result, according to that formalism, in a coupled elliptic-hyperbolic system. We have carried out a preliminary analysis of the mathematical structure of that system, in particular focusing on the equations governing the evolution for the deviation of a conformal metric from a flat fiducial one. The choice of a Dirac's gauge for the spatial coordinates guarantees the mathematical characterization of that system as a (strongly) hyperb…
This article studies a numerical relativity approach to the initial value problem in Anti-de Sitter spacetime relevant for dual non-equilibrium evolution of strongly coupled non-Abelian plasma undergoing Bjorken expansion. In order to use initial conditions for the metric obtained in arXiv:0906.4423 we introduce new, ADM formalism-based scheme for numerical integration of Einstein's equations with negative cosmological constant. The key novel element of this approach is the choice of lapse function vanishing at fixed radial position, enabling, if needed, efficient horizon excision. Various phy…
One possibility for avoiding constraint violation in numerical relativity simulations adopting free-evolution schemes is to modify the continuum evolution equations so that constraint violations are damped away. Gundlach et. al. demonstrated that such a scheme damps low amplitude, high frequency constraint violating modes exponentially for the Z4 formulation of General Relativity. Here we analyze the effect of the damping scheme in numerical applications on a conformal decomposition of Z4. After reproducing the theoretically predicted damping rates of constraint violations in the linear regime…
While numerous numerical relativity simulations adopt a 1+log slicing condition, shock-avoiding slicing conditions form a viable and sometimes advantageous alternative. Despite both conditions satisfying similar equations, recent numerical experiments point to a qualitative difference in the behavior of the lapse in the vicinity of the black-hole puncture: for 1+log slicing, the lapse appears to decay approximately exponentially, while for shock-avoiding slices it performs approximately harmonic oscillation. Motivated by this observation, we consider dynamical coordinate transformations of the…
The choice of gauge in numerical relativity is crucial in avoiding coordinate and curvature singularities. In addition, the gauge can affect the well-posedness of the system. In this work, we consider the mean gauges, established with respect to the geometric mean metric $h = g \, (g^{-1}f)^{1/2}$ in bimetric relativity. We consider three gauge conditions widely used in numerical relativity and compute them with respect to the geometric mean: The 1+log gauge condition and the maximal slicing for the lapse function of $h$, and the $Γ$-driver gauge condition for the shift vector of $h$. In addit…
We report on a new 3D numerical code designed to solve the Einstein equations for general vacuum spacetimes. This code is based on the standard 3+1 approach using cartesian coordinates. We discuss the numerical techniques used in developing this code, and its performance on massively parallel and vector supercomputers. As a test case, we present evolutions for the first 3D black hole spacetimes. We identify a number of difficulties in evolving 3D black holes and suggest approaches to overcome them. We show how special treatment of the conformal factor can lead to more accurate evolution, and d…
The main problems of nonvacuum numerical relativity, compact binary mergers and stellar collapse, involve hydromagnetic instabilities and turbulent flows, so that kinetic energy at small scales have mean effects at large scale that drive the secular evolution. Notable among these effects is momentum transport. We investigate two models of this transport effect, a relativistic Navier-Stokes system and a turbulent mean stress model, that are similar to all of the prescriptions that have been attempted to date for treating subgrid effects on binary neutron star mergers and their aftermath. Our in…
A possible alternative route to a quantum theory of gravity is presented. The usual path is to quantize the gravitational field in order to introduce the statistical structure characteristic of quantum mechanics. The procedure followed here instead is to remove the statistical element of quantum theory by introducing final boundary conditions as well as initial. The relevant quantum formalism then becomes compatible with the non-statistical nature of general relativity and a viable theory can be constructed without difficulty. This approach also provides a simple method of avoiding the configu…
