Source author record

Harvey S. Reall

Harvey S. Reall appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

37works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

37 published item(s)

preprint2022arXiv

The second law of black hole mechanics in effective field theory

We investigate the second law of black hole mechanics in gravitational theories with higher derivative terms in the action. Wall has described a method for defining an entropy that satisfies the second law to linear order in perturbations around a stationary black hole. We show that this can be extended to define an entropy that satisfies the second law to quadratic order in perturbations, provided that one treats the higher derivative terms in the sense of effective field theory. We also address some outstanding issues with Wall's method, in particular, its gauge invariance and its relation to the Iyer-Wald entropy.

preprint2021arXiv

Effective field theory and classical equations of motion

Given a theory containing both heavy and light fields (the UV theory), a standard procedure is to integrate out the heavy field to obtain an effective field theory (EFT) for the light fields. Typically the EFT equations of motion consist of an expansion involving higher and higher derivatives of the fields, whose truncation at any finite order may not be well-posed. In this paper we address the question of how to make sense of the EFT equations of motion, and whether they provide a good approximation to the classical UV theory. We propose an approach to solving EFTs which leads to a well-posedness statement. For a particular choice of UV theory we rigorously derive the corresponding EFT and show that a large class of classical solutions to the UV theory are well approximated by EFT solutions. We also consider solutions of the UV theory which are not well approximated by EFT solutions and demonstrate that these are close, in an averaged sense, to solutions of a modified EFT.

preprint2020arXiv

Well-posed formulation of scalar-tensor effective field theory

Effective field theory provides a way of parameterizing strong-field deviations from General Relativity that might be observable in the gravitational waves emitted in a black hole merger. To perform numerical simulations of mergers in such theories it is necessary that the equations be written in a form that admits a well-posed initial value formulation. We study gravity coupled to a scalar field including the leading (4-derivative) effective field theory corrections. We introduce a new class of "modified harmonic" gauges and gauge-fixed equations of motion, such that, at weak coupling, the equations are strongly hyperbolic and therefore admit a well-posed initial value formulation.

preprint2019arXiv

The BTZ black hole violates strong cosmic censorship

We investigate the stability of the inner horizon of a rotating BTZ black hole. We show that linear perturbations arising from smooth initial data are arbitrarily differentiable at the inner horizon if the black hole is sufficiently close to extremality. This is demonstrated for scalar fields, for massive Chern-Simons fields, for Proca fields, and for massive spin-2 fields. Thus the strong cosmic censorship conjecture is violated by a near-extremal BTZ black hole in a large class of theories. However, we show that a weaker "rough" version of the conjecture is respected. We calculate the renormalized energy-momentum tensor of a scalar field in the Hartle-Hawking state in the BTZ geometry. We show that the result is finite at the inner horizon of a near-extremal black hole. Hence the backreaction of vacuum polarization does not enforce strong cosmic censorship.

preprint2016arXiv

Evanescent ergosurfaces and ambipolar hyperkähler metrics

A supersymmetric solution of 5d supergravity may admit an `evanescent ergosurface': a timelike hypersurface such that the canonical Killing vector field is timelike everywhere except on this hypersurface. The hyperkähler `base space' of such a solution is `ambipolar', changing signature from $(++++)$ to $(----)$ across a hypersurface. In this paper, we determine how the hyperkähler structure must degenerate at the hypersurface in order for the 5d solution to remain smooth. This leads us to a definition of an ambipolar hyperkähler manifold which generalizes the recently-defined notion of a `folded' hyperkähler manifold. We prove that such manifolds can be constructed from `initial' data prescribed on the hypersurface. We present an `initial value' construction of supersymmetric solutions of 5d supergravity, in which such solutions are determined by data prescribed on a timelike hypersurface, both for the generic case and for the case of an evanescent ergosurface.

preprint2016arXiv

Instability of supersymmetric microstate geometries

We investigate the classical stability of supersymmetric, asymptotically flat, microstate geometries with five non-compact dimensions. Such geometries admit an "evanescent ergosurface": a timelike hypersurface of infinite redshift. On such a surface, there are null geodesics with zero energy relative to infinity. These geodesics are stably trapped in the potential well near the ergosurface. We present a heuristic argument indicating that this feature is likely to lead to a nonlinear instability of these solutions. We argue that the precursor of such an instability can be seen in the behaviour of linear perturbations: nonlinear stability would require that all linear perturbations decay sufficiently rapidly but the stable trapping implies that some linear perturbation decay very slowly. We study this in detail for the most symmetric microstate geometries. By constructing quasinormal modes of these geometries we show that generic linear perturbations decay slower than any inverse power of time.

preprint2015arXiv

Graviton time delay and a speed limit for small black holes in Einstein-Gauss-Bonnet theory

Camanho, Edelstein, Maldacena and Zhiboedov have shown that gravitons can experience a negative Shapiro time delay, i.e. a time advance, in Einstein-Gauss-Bonnet theory. They studied gravitons propagating in singular "shock-wave" geometries. We study this effect for gravitons propagating in smooth black hole spacetimes. For a small enough black hole, we find that gravitons of appropriate polarisation, and small impact parameter, can experience time advance. Such gravitons can also exhibit a deflection angle less than $π$, characteristic of a repulsive short-distance gravitational interaction. We discuss problems with the suggestion that the time advance can be used to build a "time machine". In particular, we argue that a small black hole cannot be boosted to a speed arbitrarily close to the speed of light, as would be required in such a construction.

preprint2015arXiv

Twisting algebraically special solutions in five dimensions

We determine the general form of the solutions of the five-dimensional vacuum Einstein equations with cosmological constant for which (i) the Weyl tensor is everywhere type II or more special in the null alignment classification of Coley et al., and (ii) the $3 \times 3$ matrix encoding the expansion, shear and twist of the aligned null direction has rank 2. The dependence of the solution on 2 coordinates is determined explicitly, so the Einstein equation reduces to PDEs in the 3 remaining coordinates, just as for four-dimensional algebraically special solutions. The solutions fall into several families. One of these consists of warped products of four-dimensional algebraically special solutions. The others are new.

preprint2015arXiv

Uniqueness of the Kerr-de Sitter spacetime as an algebraically special solution in five dimensions

We determine the most general solution of the five-dimensional vacuum Einstein equation, allowing for a cosmological constant, with (i) a Weyl tensor that is type II or more special in the classification of Coley et al., (ii) a non-degenerate "optical matrix" encoding the expansion, rotation and shear of the aligned null direction. The solution is specified by three parameters. It is locally isometric to the 5d Kerr-de Sitter solution, or related to this solution by analytic continuation or taking a limit. This is in contrast with four dimensions, where there exist infinitely many solutions with properties (i) and (ii).

preprint2014arXiv

Algebraically special solutions in AdS/CFT

We investigate the AdS/CFT interpretation of the class of algebraically special solutions of Einstein gravity with a negative cosmological constant. Such solutions describe a CFT living in a 2+1 dimensional time-dependent geometry that, generically, has no isometries. The algebraically special condition implies that the expectation value of the CFT energy-momentum tensor is a local function of the boundary metric. When such a spacetime is slowly varying, the fluid/gravity approximation is valid and one can read off the values of certain higher order transport coefficients. To do this, we introduce a formalism for studying conformal, relativistic fluids in 2+1 dimensions that reduces everything to the manipulation of scalar quantities.

preprint2014arXiv

Causality and Hyperbolicity of Lovelock Theories

In Lovelock theories, gravity can travel faster or slower than light. The causal structure is determined by the characteristic hypersurfaces. We generalise a recent result of Izumi to prove that any Killing horizon is a characteristic hypersurface for all gravitational degrees of freedom of a Lovelock theory. Hence gravitational signals cannot escape from the region inside such a horizon. We investigate the hyperbolicity of Lovelock theories by determining the characteristic hypersurfaces for various backgrounds. First we consider Ricci flat type N spacetimes. We show that characteristic hypersurfaces are generically all non-null and that Lovelock theories are hyperbolic in any such spacetime. Next we consider static, maximally symmetric black hole solutions of Lovelock theories. Again, characteristic surfaces are generically non-null. For some small black holes, hyperbolicity is violated near the horizon. This implies that the stability of such black holes is not a well-posed problem.

preprint2014arXiv

Shock Formation in Lovelock Theories

We argue that Lovelock theories of gravity suffer from shock formation, unlike General Relativity. We consider the propagation of (i) a discontinuity in curvature, and (ii) weak, high frequency, gravitational waves. Such disturbances propagate along characteristic hypersurfaces of a "background" spacetime and their amplitude is governed by a transport equation. In GR the transport equation is linear. In Lovelock theories, it is nonlinear and its solutions can blow up, corresponding to the formation of a shock. We show that this effect is absent in some simple cases e.g. a flat background spacetime, and demonstrate its presence for a plane wave background. We comment on weak cosmic censorship, the evolution of shocks, and the nonlinear stability of Minkowski spacetime, in Lovelock theories.

preprint2013arXiv

Algebraically special perturbations of the Schwarzschild solution in higher dimensions

We study algebraically special perturbations of a generalized Schwarzschild solution in any number of dimensions. There are two motivations. First, to learn whether there exist interesting higher-dimensional algebraically special solutions beyond the known ones. Second, algebraically special perturbations present an obstruction to the unique reconstruction of general metric perturbations from gauge-invariant variables analogous to the Teukolsky scalars and it is desirable to know the extent of this non-uniqueness. In four dimensions, our results generalize those of Couch and Newman, who found infinite families of time-dependent algebraically special perturbations. In higher dimensions, we find that the only regular algebraically special perturbations are those corresponding to deformations within the Myers-Perry family. Our results are relevant for several inequivalent definitions of "algebraically special".

preprint2013arXiv

On algebraically special vacuum spacetimes in five dimensions

Vacuum solutions admitting a hypersurface-orthogonal repeated principal null direction are an important class of 4d algebraically special spacetimes. We investigate the 5d analogues of such solutions: vacuum spacetimes admitting a hypersurface-orthogonal multiple Weyl aligned null direction (WAND). Such spacetimes fall into 4 families determined by the rank of the 3X3 matrix that defines the expansion and shear of the multiple WAND. The rank 3 and rank 0 cases have been studied previously. We investigate the 2 remaining families. We show how to define coordinates which lead to a considerable simplification of the Einstein equation with cosmological constant. The rank 2 case gives warped product and Kaluza-Klein versions of the 4d Robinson-Trautman solutions as well as some new solutions. The rank 1 case gives product, or analytically continued Schwarzschild, spacetimes.

preprint2013arXiv

What happens at the horizon(s) of an extreme black hole?

A massless scalar field exhibits an instability at the event horizon of an extreme black hole. We study numerically the nonlinear evolution of this instability for spherically symmetric perturbations of an extreme Reissner-Nordstrom (RN) black hole. We find that generically the endpoint of the instability is a non-extreme RN solution. However, there exist fine-tuned initial perturbations for which the instability never decays. In this case, the perturbed spacetime describes a time-dependent extreme black hole. Such solutions settle down to extreme RN outside, but not on, the event horizon. The event horizon remains smooth but certain observers who cross it at late time experience large gradients there. Our results indicate that these dynamical extreme black holes admit a C^1 extension across an inner (Cauchy) horizon.

preprint2012arXiv

Gravitational instability of an extreme Kerr black hole

Aretakis has proved the existence of an instability of a massless scalar field at the horizon of an extreme Kerr or Reissner-Nordstrom black hole: for generic initial data, a transverse derivative of the scalar field at the horizon does not decay, and higher transverse derivatives blow up. We show that a similar instability occurs for linearized gravitational, and electromagnetic, perturbations of an extreme Kerr black hole. We show also that the massless scalar field instability occurs for extreme black hole solutions of a large class of theories in various spacetime dimensions.

preprint2012arXiv

NR/HEP: roadmap for the future

Physics in curved spacetime describes a multitude of phenomena, ranging from astrophysics to high energy physics. The last few years have witnessed further progress on several fronts, including the accurate numerical evolution of the gravitational field equations, which now allows highly nonlinear phenomena to be tamed. Numerical relativity simulations, originally developed to understand strong field astrophysical processes, could prove extremely useful to understand high-energy physics processes like trans-Planckian scattering and gauge-gravity dualities. We present a concise and comprehensive overview of the state-of-the-art and important open problems in the field(s), along with guidelines for the next years. This writeup is a summary of the "NR/HEP Workshop" held in Madeira, Portugal from August 31st to September 3rd 2011.

preprint2012arXiv

On a five-dimensional version of the Goldberg-Sachs theorem

Previous work has found a higher-dimensional generalization of the "geodesic part" of the Goldberg-Sachs theorem. We investigate the generalization of the "shear-free part" of the theorem. A spacetime is defined to be algebraically special if it admits a multiple Weyl Aligned Null Direction (WAND). The algebraically special property restricts the form of the "optical matrix" that defines the expansion, rotation and shear of the multiple WAND. After working out some general constraints that hold in arbitrary dimensions, we determine necessary algebraic conditions on the optical matrix of a multiple WAND in a five-dimensional Einstein spacetime. We prove that one can choose an orthonormal basis to bring the 3 x 3 optical matrix to one of three canonical forms, each involving two parameters, and we discuss the existence of an "optical structure" within these classes. Examples of solutions corresponding to each form are given. We give an example which demonstrates that our necessary algebraic conditions are not sufficient for a null vector field to be a multiple WAND, in contrast with the 4d result.

preprint2012arXiv

Peeling of the Weyl tensor and gravitational radiation in higher dimensions

The peeling behaviour of the Weyl tensor near null infinity is determined for an asymptotically flat higher dimensional spacetime. The result is qualitatively different from the peeling property in 4d. To leading order, the Weyl tensor is type N. The first subleading term is type II. The next term is algebraically general in 6 or more dimensions but in 5 dimensions another type N term appears before the algebraically general term. The Bondi energy flux is written in terms of "Newman-Penrose" Weyl components.

preprint2012arXiv

Stable non-uniform black strings below the critical dimension

The higher-dimensional vacuum Einstein equation admits translationally non-uniform black string solutions. It has been argued that infinitesimally non-uniform black strings should be unstable in 13 or fewer dimensions and otherwise stable. We construct numerically non-uniform black string solutions in 11, 12, 13, 14 and 15 dimensions. Their stability is investigated using local Penrose inequalities. Weakly non-uniform solutions behave as expected. However, in 12 and 13 dimensions, strongly non-uniform solutions appear to be stable and can have greater horizon area than a uniform string of the same mass. In 14 and 15 dimensions all non-uniform black strings appear to be stable.

preprint2011arXiv

Black hole instabilities and local Penrose inequalities

Various higher-dimensional black holes have been shown to be unstable by studying linearized gravitational perturbations. A simpler method for demonstrating instability is to find initial data that describes a small perturbation of the black hole and violates a Penrose inequality. An easy way to construct initial data is by conformal rescaling of the unperturbed black hole initial data. For a compactified black string, we construct initial data which violates the inequality almost exactly where the Gregory-Laflamme instability appears. We then use the method to confirm the existence of the "ultraspinning" instability of Myers-Perry black holes. Finally we study black rings. We show that "fat" black rings are unstable. We find no evidence of any rotationally symmetric instability of "thin" black rings.

preprint2011arXiv

Perturbations of near-horizon geometries and instabilities of Myers-Perry black holes

It is shown that the equations governing linearized gravitational (or electromagnetic) perturbations of the near-horizon geometry of any known extreme vacuum black hole (allowing for a cosmological constant) can be Kaluza-Klein reduced to give the equation of motion of a charged scalar field in AdS_2 with an electric field. One can define an effective Breitenlohner-Freedman bound for such a field. We conjecture that if a perturbation preserves certain symmetries then a violation of this bound should imply an instability of the full black hole solution. Evidence in favour of this conjecture is provided by the extreme Kerr solution and extreme cohomogeneity-1 Myers-Perry solution. In the latter case, we predict an instability in seven or more dimensions and, in 5d, we present results for operator conformal weights assuming the existence of a CFT dual. We sketch a proof of our conjecture for scalar field perturbations.

preprint2010arXiv

A scalar field condensation instability of rotating anti-de Sitter black holes

Near-extreme Reissner-Nordstrom-anti-de Sitter black holes are unstable against the condensation of an uncharged scalar field with mass close to the Breitenlohner-Freedman bound. It is shown that a similar instability afflicts near-extreme large rotating AdS black holes, and near-extreme hyperbolic Schwarzschild-AdS black holes. The resulting nonlinear hairy black hole solutions are determined numerically. Some stability results for (possibly charged) scalar fields in black hole backgrounds are proved. For most of the extreme black holes we consider, these demonstrate stability if the ``effective mass" respects the near-horizon BF bound. Small spherical Reissner-Nordstrom-AdS black holes are an interesting exception to this result.

preprint2010arXiv

An instability of higher-dimensional rotating black holes

We present the first example of a linearized gravitational instability of an asymptotically flat vacuum black hole. We study perturbations of a Myers-Perry black hole with equal angular momenta in an odd number of dimensions. We find no evidence of any instability in five or seven dimensions, but in nine dimensions, for sufficiently rapid rotation, we find perturbations that grow exponentially in time. The onset of instability is associated with the appearance of time-independent perturbations which generically break all but one of the rotational symmetries. This is interpreted as evidence for the existence of a new 70-parameter family of black hole solutions with only a single rotational symmetry. We also present results for the Gregory-Laflamme instability of rotating black strings, demonstrating that rotation makes black strings more unstable.

preprint2010arXiv

Generalization of the Geroch-Held-Penrose formalism to higher dimensions

Geroch, Held and Penrose invented a formalism for studying spacetimes admitting one or two preferred null directions. This approach is very useful for studying algebraically special spacetimes and their perturbations. In the present paper, the formalism is generalized to higher-dimensional spacetimes. This new formalism leads to equations that are considerably simpler than those of the higher-dimensional Newman-Penrose formalism employed previously. The dynamics of p-form test fields is analyzed using the new formalism and some results concerning algebraically special p-form fields are proved.

preprint2010arXiv

Perturbations of higher-dimensional spacetimes

We discuss linearized gravitational perturbations of higher dimensional spacetimes. For algebraically special spacetimes (e.g. Myers-Perry black holes), we show that there exist local gauge invariant quantities linear in the metric perturbation. These are the higher dimensional generalizations of the 4d Newman-Penrose scalars that (in an algebraically special vacuum spacetime) satisfy decoupled equations of motion. We show that decoupling occurs in more than four dimensions if, and only if, the spacetime admits a null geodesic congruence with vanishing expansion, rotation and shear. Decoupling of electromagnetic perturbations occurs under the same conditions. Although these conditions are not satisfied in black hole spacetimes, they are satisfied in the near-horizon geometry of an extreme black hole.

preprint2009arXiv

Charged Randall-Sundrum black holes and N=4 super Yang-Mills in AdS(2)xS(2)

We obtain some exact results for black holes in the Randall-Sundrum model with a single brane. We consider an extreme black hole charged with respect to a Maxwell field on the brane. The near-horizon geometry is determined. The induced metric on the brane and the black hole entropy are compared with the predictions of 4d General Relativity. There is good agreement for large black holes, with calculable subleading corrections. As a separate application, the bulk solution provides a gravitational dual for (strongly coupled, large N) N=4 SYM in AdS(2)xS(2) for arbitrary relative size of AdS(2) and S(2).

preprint2008arXiv

Black Holes in Higher Dimensions

We review black hole solutions of higher-dimensional vacuum gravity, and of higher-dimensional supergravity theories. The discussion of vacuum gravity is pedagogical, with detailed reviews of Myers-Perry solutions, black rings, and solution-generating techniques. We discuss black hole solutions of maximal supergravity theories, including black holes in anti-de Sitter space. General results and open problems are discussed throughout.

preprint2007arXiv

Do supersymmetric anti-de Sitter black rings exist?

We determine the most general near-horizon geometry of a supersymmetric, asymptotically anti-de Sitter, black hole solution of five-dimensional minimal gauged supergravity that admits two rotational symmetries. The near-horizon geometry is that of the supersymmetric, topologically spherical, black hole solution of Chong et al. This proves that regular supersymmetric anti-de Sitter black rings with two rotational symmetries do not exist in minimal supergravity. However, we do find a solution corresponding to the near-horizon geometry of a supersymmetric black ring held in equilibrium by a conical singularity, which suggests that nonsupersymmetric anti-de Sitter black rings may exist but cannot be "balanced" in the supersymmetric limit.

preprint2006arXiv

Higher dimensional black holes and supersymmetry

It has recently been shown that the uniqueness theorem for stationary black holes cannot be extended to five dimensions. However, uniqueness is an important assumption of the string theory black hole entropy calculations. This paper partially justifies this assumption by proving two uniqueness theorems for supersymmetric black holes in five dimensions. Some remarks concerning general properties of non-supersymmetric higher dimensional black holes are made. It is conjectured that there exist new families of stationary higher dimensional black hole solutions with fewer symmetries than any known solution.

preprint2003arXiv

All supersymmetric solutions of minimal supergravity in six dimensions

A general form for all supersymmetric solutions of minimal supergravity in six dimensions is obtained. Examples of new supersymmetric solutions are presented. It is proven that the only maximally supersymmetric solutions are flat space, AdS_3 x S^3 and a plane wave. As an application of the general solution, it is shown that any supersymmetric solution with a compact horizon must have near-horizon geometry R^{1,1} x T^4, R^{1,1} x K3 or identified AdS_3 x S^3.

preprint1998arXiv

Inflation, Singular Instantons and Eleven Dimensional Cosmology

We investigate cosmological solutions of eleven dimensional supergravity compactified on a squashed seven manifold. The effective action for the four dimensional theory contains scalar fields describing the size and squashing of the compactifying space. The potential for these fields consists of a sum of exponential terms. At early times only one such term is expected to dominate. The condition for an exponential potential to admit inflationary solutions is derived and it is shown that inflation is not possible in our model. The criterion for an exponential potential to admit a Hawking-Turok instanton is also derived. It is shown that the instanton remains singular in eleven dimensions.