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’.

We study a Randall-Sundrum cosmological scenario consisting of a domain wall in anti-de Sitter space with a strongly coupled large N conformal field theory living on the wall. The AdS/CFT correspondence allows a fully quantum mechanical treatment of this CFT, in contrast with the usual treatment of matter fields in inflationary cosmology. The conformal anomaly of the CFT provides an effective tension which leads to a de Sitter geometry for the domain wall. This is the analogue of Starobinsky's four dimensional model of anomaly driven inflation. Studying this model in a Euclidean setting gives a natural choice of boundary conditions at the horizon. We calculate the graviton correlator using the Hartle-Hawking "No Boundary" proposal and analytically continue to Lorentzian signature. We find that the CFT strongly suppresses metric perturbations on all but the largest angular scales. This is true independently of how the de Sitter geometry arises, i.e., it is also true for four dimensional Einstein gravity. Since generic matter would be expected to behave like a CFT on small scales, our results suggest that tensor perturbations on small scales are far smaller than predicted by all previous calculations, which have neglected the effects of matter on tensor perturbations.

Perturbation theory for gravity in dimensions greater than two requires higher derivatives in the free action. Higher derivatives seem to lead to ghosts, states with negative norm. We consider a fourth order scalar field theory and show that the problem with ghosts arises because in the canonical treatment, φ and 2φ are regarded as two independent variables. Instead, we base quantum theory on a path integral, evaluated in Euclidean space and then Wick rotated to Lorentzian space. The path integral requires that quantum states be specified by the values of φ and φ ,τ . To calculate probabilities for observations, one has to trace out over φ ,τ on the final surface. Hence one loses unitarity, but one can never produce a negative norm state or get a negative probability. It is shown that transition probabilities tend toward those of the second order theory, as the coefficient of the fourth order term in the action tends to zero. Hence unitarity is restored at the low energies that now occur in the universe.

46 pages, 24 figures, revtex4We analyze the origin of the quasiclassical realm from the no-boundary proposal for the universe's quantum state in a class of minisuperspace models. The models assume homogeneous, isotropic, closed spacetime geometries, a single scalar field moving in a quadratic potential, and a fundamental cosmological constant. The allowed classical histories and their probabilities are calculated to leading semiclassical order. We find that for the most realistic range of parameters analyzed a minimum amount of scalar field is required, if there is any at all, in order for the universe to behave classically at late times. If the classical late time histories are extended back, they may be singular or bounce at a finite radius. The ensemble of classical histories is time symmetric although individual histories are generally not. The no-boundary proposal selects inflationary histories, but the measure on the classical solutions it provides is heavily biased towards small amounts of inflation. However, the probability for a large number of efoldings is enhanced by the volume factor needed to obtain the probability for what we observe in our past light cone, given our present age. Our results emphasize that it is the quantum state of the universe that determines whether or not it exhibits a quasiclassical realm and what histories are possible or probable within that realm

We consider N = 8 gauged supergravity in D = 4 and D = 5. We show one can weaken the boundary conditions on the metric and on all scalars with+1 while preserving the asymptotic anti-de Sitter (AdS) symmetries. Each scalar admits a one-parameter family of AdS-invariant boundary conditions for which the metric falls off slower than usual. The generators of the asymptotic symmetries are finite, but generically acquire a contribution from the scalars. For a large class of boundary conditions we numerically find a one-parameter family of black holes with scalar hair. These solutions exist above a certain critical mass and are disconnected from the SchwarschildAdS black hole, which is a solution for all boundary conditions. We show the Schwarschild-AdS black hole has larger entropy than a hairy black hole of the same mass. The hairy black holes lift to inhomogeneous black brane solutions in ten or eleven dimensions. We briefly discuss how generalized AdS-invariant boundary conditions can be incorporated in the AdS/CFT correspondence.