@phdthesis{Vu2022,
  author    = {Vu, Nils Leif},
  title     = {A task-based parallel elliptic solver for numerical relativity with discontinuous Galerkin methods},
  doi       = {10.25932/publishup-56226},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-562265},
  school      = {Universit{\"a}t Potsdam},
  pages     = {172},
  year      = {2022},
  abstract  = {Elliptic partial differential equations are ubiquitous in physics. In numerical relativity---the study of computational solutions to the Einstein field equations of general relativity---elliptic equations govern the initial data that seed every simulation of merging black holes and neutron stars. In the quest to produce detailed numerical simulations of these most cataclysmic astrophysical events in our Universe, numerical relativists resort to the vast computing power offered by current and future supercomputers. To leverage these computational resources, numerical codes for the time evolution of general-relativistic initial value problems are being developed with a renewed focus on parallelization and computational efficiency. Their capability to solve elliptic problems for accurate initial data must keep pace with the increasing detail of the simulations, but elliptic problems are traditionally hard to parallelize effectively. In this thesis, I develop new numerical methods to solve elliptic partial differential equations on computing clusters, with a focus on initial data for orbiting black holes and neutron stars. I develop a discontinuous Galerkin scheme for a wide range of elliptic equations, and a stack of task-based parallel algorithms for their iterative solution. The resulting multigrid-Schwarz preconditioned Newton-Krylov elliptic solver proves capable of parallelizing over 200 million degrees of freedom to at least a few thousand cores, and already solves initial data for a black hole binary about ten times faster than the numerical relativity code SpEC. I also demonstrate the applicability of the new elliptic solver across physical disciplines, simulating the thermal noise in thin mirror coatings of interferometric gravitational-wave detectors to unprecedented accuracy. The elliptic solver is implemented in the new open-source SpECTRE numerical relativity code, and set up to support simulations of astrophysical scenarios for the emerging era of gravitational-wave and multimessenger astronomy.},
  language  = {en}
}
@phdthesis{Ohme2012,
  author    = {Ohme, Frank},
  title     = {Bridging the gap between post-Newtonian theory and numerical relativity in gravitational-wave data analysis},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-60346},
  school      = {Universit{\"a}t Potsdam},
  year      = {2012},
  abstract  = {One of the most exciting predictions of Einstein's theory of gravitation that have not yet been proven experimentally by a direct detection are gravitational waves. These are tiny distortions of the spacetime itself, and a world-wide effort to directly measure them for the first time with a network of large-scale laser interferometers is currently ongoing and expected to provide positive results within this decade. One potential source of measurable gravitational waves is the inspiral and merger of two compact objects, such as binary black holes. Successfully finding their signature in the noise-dominated data of the detectors crucially relies on accurate predictions of what we are looking for. In this thesis, we present a detailed study of how the most complete waveform templates can be constructed by combining the results from (A) analytical expansions within the post-Newtonian framework and (B) numerical simulations of the full relativistic dynamics. We analyze various strategies to construct complete hybrid waveforms that consist of a post-Newtonian inspiral part matched to numerical-relativity data. We elaborate on exsisting approaches for nonspinning systems by extending the accessible parameter space and introducing an alternative scheme based in the Fourier domain. Our methods can now be readily applied to multiple spherical-harmonic modes and precessing systems. In addition to that, we analyze in detail the accuracy of hybrid waveforms with the goal to quantify how numerous sources of error in the approximation techniques affect the application of such templates in real gravitational-wave searches. This is of major importance for the future construction of improved models, but also for the correct interpretation of gravitational-wave observations that are made utilizing any complete waveform family. In particular, we comprehensively discuss how long the numerical-relativity contribution to the signal has to be in order to make the resulting hybrids accurate enough, and for currently feasible simulation lengths we assess the physics one can potentially do with template-based searches.},
  language  = {en}
}
@article{MoestaAnderssonMetzgeretal.2015,
  author    = {Moesta, Philip and Andersson, Lars and Metzger, Jan and Szilagyi, Bela and Winicour, Jeffrey},
  title     = {The merger of small and large black holes},
  series = {Classical and quantum gravit},
  volume    = {32},
  journal   = {Classical and quantum gravit},
  number    = {23},
  publisher = {IOP Publ. Ltd.},
  address   = {Bristol},
  issn      = {0264-9381},
  doi       = {10.1088/0264-9381/32/23/235003},
  pages     = {20},
  year      = {2015},
  abstract  = {We present simulations of binary black-hole mergers in which, after the common outer horizon has formed, the marginally outer trapped surfaces (MOTSs) corresponding to the individual black holes continue to approach and eventually penetrate each other. This has very interesting consequences according to recent results in the theory of MOTSs. Uniqueness and stability theorems imply that two MOTSs which touch with a common outer normal must be identical. This suggests a possible dramatic consequence of the collision between a small and large black hole. If the penetration were to continue to completion, then the two MOTSs would have to coalesce, by some combination of the small one growing and the big one shrinking. Here we explore the relationship between theory and numerical simulations, in which a small black hole has halfway penetrated a large one.},
  language  = {en}
}
@phdthesis{Koppitz2004,
  author    = {Koppitz, Michael},
  title     = {Numerical studies of Black Hole initial data},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-0001245},
  school      = {Universit{\"a}t Potsdam},
  year      = {2004},
  abstract  = {Diese Doktorarbeit behandelt neue Methoden der numerischen Evolution von Systemen mit bin{\"a}ren Schwarzen L{\"o}chern. Wir analysieren und vergleichen Evolutionen von verschiedenen physikalisch motivierten Anfangsdaten und zeigen Resultate der ersten Evolution von so genannten 'Thin Sandwich' Daten, die von der Gruppe in Meudon entwickelt wurden. Zum ersten Mal wurden zwei verschiedene Anfangsdaten anhand von dreidimensionalen Evolutionen verglichen: die Puncture-Daten und die Thin-Sandwich Daten. Diese zwei Datentypen wurden im Hinblick auf die physikalischen Eigenschaften w{\"a}hrend der Evolution verglichen. Die Evolutionen zeigen, dass die Meudon Daten im Vergleich zu Puncture Daten wesentlich mehr Zeit ben{\"o}tigen bevor sie kollidieren. Dies deutet auf eine bessere Absch{\"a}tzung der Parameter hin. Die Kollisionszeiten der numerischen Evolutionen sind konsistent mit unabh{\"a}ngigen Sch{\"a}tzungen basierend auf Post-Newtonschen N{\"a}herungen die vorhersagen, dass die Schwarzen L{\"o}cher ca. 60\% eines Orbits rotieren bevor sie kollidieren.},
  language  = {en}
}
@phdthesis{Kellermann2011,
  author    = {Kellermann, Thorsten},
  title     = {Accurate numerical relativity simulations of non-vacuumspace-times in two dimensions and applications to critical collapse},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-59578},
  school      = {Universit{\"a}t Potsdam},
  year      = {2011},
  abstract  = {This Thesis puts its focus on the physics of neutron stars and its description with methods of numerical relativity. In the first step, a new numerical framework the Whisky2D code will be developed, which solves the relativistic equations of hydrodynamics in axisymmetry. Therefore we consider an improved formulation of the conserved form of these equations. The second part will use the new code to investigate the critical behaviour of two colliding neutron stars. Considering the analogy to phase transitions in statistical physics, we will investigate the evolution of the entropy of the neutron stars during the whole process. A better understanding of the evolution of thermodynamical quantities, like the entropy in critical process, should provide deeper understanding of thermodynamics in relativity. More specifically, we have written the Whisky2D code, which solves the general-relativistic hydrodynamics equations in a flux-conservative form and in cylindrical coordinates. This of course brings in 1/r singular terms, where r is the radial cylindrical coordinate, which must be dealt with appropriately. In the above-referenced works, the flux operator is expanded and the 1/r terms, not containing derivatives, are moved to the right-hand-side of the equation (the source term), so that the left hand side assumes a form identical to the one of the three-dimensional (3D) Cartesian formulation. We call this the standard formulation. Another possibility is not to split the flux operator and to redefine the conserved variables, via a multiplication by r. We call this the new formulation. The new equations are solved with the same methods as in the Cartesian case. From a mathematical point of view, one would not expect differences between the two ways of writing the differential operator, but, of course, a difference is present at the numerical level. Our tests show that the new formulation yields results with a global truncation error which is one or more orders of magnitude smaller than those of alternative and commonly used formulations. The second part of the Thesis uses the new code for investigations of critical phenomena in general relativity. In particular, we consider the head-on-collision of two neutron stars in a region of the parameter space where two final states a new stable neutron star or a black hole, lay close to each other. In 1993, Choptuik considered one-parameter families of solutions, S[P], of the Einstein-Klein-Gordon equations for a massless scalar field in spherical symmetry, such that for every P > P⋆, S[P] contains a black hole and for every P < P⋆, S[P] is a solution not containing singularities. He studied numerically the behavior of S[P] as P → P⋆ and found that the critical solution, S[P⋆], is universal, in the sense that it is approached by all nearly-critical solutions regardless of the particular family of initial data considered. All these phenomena have the common property that, as P approaches P⋆, S[P] approaches a universal solution S[P⋆] and that all the physical quantities of S[P] depend only on |P - P⋆|. The first study of critical phenomena concerning the head-on collision of NSs was carried out by Jin and Suen in 2007. In particular, they considered a series of families of equal-mass NSs, modeled with an ideal-gas EOS, boosted towards each other and varied the mass of the stars, their separation, velocity and the polytropic index in the EOS. In this way they could observe a critical phenomenon of type I near the threshold of black-hole formation, with the putative solution being a nonlinearly oscillating star. In a successive work, they performed similar simulations but considering the head-on collision of Gaussian distributions of matter. Also in this case they found the appearance of type-I critical behaviour, but also performed a perturbative analysis of the initial distributions of matter and of the merged object. Because of the considerable difference found in the eigenfrequencies in the two cases, they concluded that the critical solution does not represent a system near equilibrium and in particular not a perturbed Tolmann-Oppenheimer-Volkoff (TOV) solution. In this Thesis we study the dynamics of the head-on collision of two equal-mass NSs using a setup which is as similar as possible to the one considered above. While we confirm that the merged object exhibits a type-I critical behaviour, we also argue against the conclusion that the critical solution cannot be described in terms of equilibrium solution. Indeed, we show that, in analogy with what is found in, the critical solution is effectively a perturbed unstable solution of the TOV equations. Our analysis also considers fine-structure of the scaling relation of type-I critical phenomena and we show that it exhibits oscillations in a similar way to the one studied in the context of scalar-field critical collapse.},
  language  = {en}
}
@article{GiegSchianchiDietrichetal.2022,
  author    = {Gieg, Henrique and Schianchi, Federico and Dietrich, Tim and Ujevic, Maximiliano},
  title     = {Incorporating a Radiative Hydrodynamics Scheme in the Numerical-Relativity Code BAM},
  series = {Universe : open access journal},
  volume    = {8},
  journal   = {Universe : open access journal},
  number    = {7},
  publisher = {MDPI},
  address   = {Basel},
  issn      = {2218-1997},
  doi       = {10.3390/universe8070370},
  pages     = {25},
  year      = {2022},
  abstract  = {To study binary neutron star systems and to interpret observational data such as gravitational-wave and kilonova signals, one needs an accurate description of the processes that take place during the final stages of the coalescence, for example, through numerical-relativity simulations. In this work, we present an updated version of the numerical-relativity code BAM in order to incorporate nuclear-theory-based equations of state and a simple description of neutrino interactions through a neutrino leakage scheme. Different test simulations, for stars undergoing a neutrino-induced gravitational collapse and for binary neutron stars systems, validate our new implementation. For the binary neutron stars systems, we show that we can evolve stably and accurately distinct microphysical models employing the different equations of state: SFHo, DD2, and the hyperonic BHB Lambda phi. Overall, our test simulations have good agreement with those reported in the literature.},
  language  = {en}
}
@article{EmmaSchianchiPannaraleetal.2022,
  author    = {Emma, Mattia and Schianchi, Federico and Pannarale, Francesco and Sagun, Violetta and Dietrich, Tim},
  title     = {Numerical simulations of dark matter admixed neutron star binaries},
  series = {Particles},
  volume    = {5},
  journal   = {Particles},
  number    = {3},
  publisher = {MDPI},
  address   = {Basel},
  issn      = {2571-712X},
  doi       = {10.3390/particles5030024},
  pages     = {273 -- 286},
  year      = {2022},
  abstract  = {Multi-messenger observations of compact binary mergers provide a new way to constrain the nature of dark matter that may accumulate in and around neutron stars. In this article, we extend the infrastructure of our numerical-relativity code BAM to enable the simulation of neutron stars that contain an additional mirror dark matter component. We perform single star tests to verify our code and the first binary neutron star simulations of this kind. We find that the presence of dark matter reduces the lifetime of the merger remnant and favors a prompt collapse to a black hole. Furthermore, we find differences in the merger time for systems with the same total mass and mass ratio, but different amounts of dark matter. Finally, we find that electromagnetic signals produced by the merger of binary neutron stars admixed with dark matter are very unlikely to be as bright as their dark matter-free counterparts. Given the increased sensitivity of multi-messenger facilities, our analysis gives a new perspective on how to probe the presence of dark matter.},
  language  = {en}
}
@phdthesis{Chirvasa2010,
  author    = {Chirvasa, Mihaela},
  title     = {Finite difference methods for 1st Order in time, 2nd order in space, hyperbolic systems used in numerical relativity},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-42135},
  school      = {Universit{\"a}t Potsdam},
  year      = {2010},
  abstract  = {This thesis is concerned with the development of numerical methods using finite difference techniques for the discretization of initial value problems (IVPs) and initial boundary value problems (IBVPs) of certain hyperbolic systems which are first order in time and second order in space. This type of system appears in some formulations of Einstein equations, such as ADM, BSSN, NOR, and the generalized harmonic formulation. For IVP, the stability method proposed in [14] is extended from second and fourth order centered schemes, to 2n-order accuracy, including also the case when some first order derivatives are approximated with off-centered finite difference operators (FDO) and dissipation is added to the right-hand sides of the equations. For the model problem of the wave equation, special attention is paid to the analysis of Courant limits and numerical speeds. Although off-centered FDOs have larger truncation errors than centered FDOs, it is shown that in certain situations, off-centering by just one point can be beneficial for the overall accuracy of the numerical scheme. The wave equation is also analyzed in respect to its initial boundary value problem. All three types of boundaries - outflow, inflow and completely inflow that can appear in this case, are investigated. Using the ghost-point method, 2n-accurate (n = 1, 4) numerical prescriptions are prescribed for each type of boundary. The inflow boundary is also approached using the SAT-SBP method. In the end of the thesis, a 1-D variant of BSSN formulation is derived and some of its IBVPs are considered. The boundary procedures, based on the ghost-point method, are intended to preserve the interior 2n-accuracy. Numerical tests show that this is the case if sufficient dissipation is added to the rhs of the equations.},
  language  = {en}
}