LISA, the Laser Interferometer Space Antenna, will usher in a new era in gravitational-wave astronomy. As the first anticipated space-based gravitational-wave detector, it will expand our view to the millihertz gravitational-wave sky, where a spectacular variety of interesting new sources abound: from millions of ultra-compact binaries in our Galaxy, to mergers of massive black holes at cosmological distances; from the beginnings of inspirals that will venture into the ground-based detectors' view to the death spiral of compact objects into massive black holes, and many sources in between. Central to realising LISA's discovery potential are waveform models, the theoretical and phenomenological predictions of the pattern of gravitational waves that these sources emit. This white paper is presented on behalf of the Waveform Working Group for the LISA Consortium. It provides a review of the current state of waveform models for LISA sources, and describes the significant challenges that must yet be overcome.

In this paper, which is of programmatic rather than quantitative nature, we aim to further delineate and sharpen the future potential of the LISA mission in the area of fundamental physics. Given the very broad range of topics that might be relevant to LISA,we present here a sample of what we view as particularly promising fundamental physics directions. We organize these directions through a “science-first” approach that allows us to classify how LISA data can inform theoretical physics in a variety of areas. For each of these theoretical physics classes, we identify the sources that are currently expected to provide the principal contribution to our knowledge, and the areas that need further development. The classification presented here should not be thought of as cast in stone, but rather as a fluid framework that is amenable to change with the flow of new insights in theoretical physics.

The grand challenges of contemporary fundamental physics dark matter, dark energy, vacuum energy, inflation and early universe cosmology, singularities and the hierarchy problem all involve gravity as a key component. And of all gravitational phenomena, black holes stand out in their elegant simplicity, while harbouring some of the most remarkable predictions of General Relativity: event horizons, singularities and ergoregions. The hitherto invisible landscape of the gravitational Universe is being unveiled before our eyes: the historical direct detection of gravitational waves by the LIGO-Virgo collaboration marks the dawn of a new era of scientific exploration. Gravitational-wave astronomy will allow us to test models of black hole formation, growth and evolution, as well as models of gravitational-wave generation and propagation. It will provide evidence for event horizons and ergoregions, test the theory of General Relativity itself, and may reveal the existence of new fundamental fields. The synthesis of these results has the potential to radically reshape our understanding of the cosmos and of the laws of Nature. The purpose of this work is to present a concise, yet comprehensive overview of the state of the art in the relevant fields of research, summarize important open problems, and lay out a roadmap for future progress. This write-up is an initiative taken within the framework of the European Action on 'Black holes, Gravitational waves and Fundamental Physics'.

In theories with derivative (self-)interactions, the propagation of perturbations on nontrivial field configurations is determined by effective metrics. Generalized scalar-tensor theories belong in this class and this implies that the matter fields and gravitational perturbations do not necessarily experience the same causal structure. Motivated by this, we explore the causal structure of black holes as perceived by scalar fields in the Horndeski class. We consider linearized perturbations on a fixed background metric that describes a generic black hole. The effective metric that determines the propagation of these perturbations does not generally coincide with the background metric (to which matter fields couple minimally). Assuming that the metric and the scalar respect stationarity and that the surface gravity of the horizon is constant, we prove that Killing horizons of the background metric are always Killing horizons of the effective metric as well. Hence, scalar perturbations cannot escape the region that matter fields perceive as the interior of the black hole. This result does not depend on asymptotics but only on local considerations and does not make any reference to no-hair theorems. We then demonstrate that, when one relaxes the stationarity assumption for the scalar, solutions where the horizons of the effective and the background metrics do not match can be found in the decoupling limit.

Black holes in Lorentz-violating theories have been claimed to violate the second law of thermodynamics by perpetual motion energy extraction. We revisit this question for a Penrose splitting process in a spherically symmetric setting with two species of particles that move on radial geodesics that extend to infinity. We show that energy extraction by this process cannot happen in any theory in which gravity is attractive, in the sense of a geometric inequality that we describe. This inequality is satisfied by all known Einstein-aether and Hořava black hole solutions.

A linear coupling between a scalar field and the Gauss–Bonnet invariant is the only known interaction term between a scalar and the metric that: respects shift symmetry; does not lead to higher order equations; inevitably introduces black hole hair in asymptotically flat, 4-dimensional spacetimes. Here we focus on the simplest theory that includes such a term and we explore the dynamical formation of scalar hair. In particular, we work in the decoupling limit that neglects the backreaction of the scalar onto the metric and evolve the scalar configuration numerically in the background of a Schwarzschild black hole and a collapsing dust star described by the Oppenheimer–Snyder solution. For all types of initial data that we consider, the scalar relaxes at late times to the known, static, analytic configuration that is associated with a hairy, spherically symmetric black hole. This suggests that the corresponding black hole solutions are indeed endpoints of collapse.

Scalar fields coupled to the Gauss-Bonnet invariant evade the known no-hair theorems and have nontrivial configurations around black holes. We focus on a scalar field that couples linearly to the Gauss-Bonnet invariant and hence exhibits shift symmetry. We study its dynamical evolution and the formation of scalar hair in a Schwarzschild background. We show that the evolution eventually settles to the known static hairy solutions in the appropriate limit.