Isolated and Dynamical Horizons and Their Applications
Abstract
Over the past three decades, black holes have played an important role in quantum gravity, mathematical physics, numerical relativity and gravitational wave phenomenology. However, conceptual settings and mathematical models used to discuss them have varied considerably from one area to another. Over the last five years a new, quasilocal framework was introduced to analyze diverse facets of black holes in a unified manner. In this framework, evolving black holes are modelled by dynamical horizons and black holes in equilibrium by isolated horizons. We review basic properties of these horizons and summarize applications to mathematical physics, numerical relativity, and quantum gravity. This paradigm has led to significant generalizations of several results in black hole physics. Specifically, it has introduced a more physical setting for black hole thermodynamics and for black hole entropy calculations in quantum gravity, suggested a phenomenological model for hairy black holes, provided novel techniques to extract physics from numerical simulations, and led to new laws governing the dynamics of black holes in exact general relativity.
Keywords
Black Hole Angular Momentum Event Horizon Apparent Horizon Trap Surface1 Introduction
Research inspired by black holes has dominated several areas of gravitational physics since the early seventies. The mathematical theory turned out to be extraordinarily rich and full of surprises. Laws of black hole mechanics brought out deep, unsuspected connections between classical general relativity, quantum physics, and statistical mechanics [35, 44, 45, 46]. In particular, they provided a concrete challenge to quantum gravity which became a driving force for progress in that area. On the classical front, black hole uniqueness theorems [69, 119] took the community by surprise. The subsequent analysis of the detailed properties of KerrNewman solutions [65] and perturbations thereof [66] constituted a large fraction of research in mathematical general relativity in the seventies and eighties. Just as the community had come to terms with the uniqueness results, it was surprised yet again by the discovery of hairy black holes [38, 49]. Research in this area continues to be an active branch of mathematical physics [181]. The situation has been similar in numerical relativity. Since its inception, much of the research in this area has been driven by problems related to black holes, particularly their formation through gravitational collapse [153], the associated critical phenomenon [67, 105], and the dynamics leading to their coalescence (see, e.g., [1, 126, 160, 58, 2, 138]). Finally, black holes now play a major role in relativistic astrophysics, providing mechanisms to fuel the most powerful engines in the cosmos. They are also among the most promising sources of gravitational waves, leading to new avenues to confront theory with experiments [78].

Dynamical situations
For fully dynamical black holes, apart from the ‘topological censorship’ results which restrict the horizon topology [110, 90], there has essentially been only one major result in exact general relativity. This is the celebrated area theorem proved by Hawking in the early seventies [111, 113]: If matter satisfies the null energy condition, the area of the black hole event horizon can never decrease. This theorem has been extremely influential because of its similarity with the second law of thermodynamics. However, it is a qualitative result; it does not provide an explicit formula for the amount by which the area increases in physical processes. Now, for a black hole of mass M, angular momentum J, area a, surface gravity κ, and angular velocity Ω, the first law of black hole mechanics,does relate the change in the horizon area to that in the energy and angular momentum, as the black hole makes a transition from one equilibrium state to a nearby one [35, 182]. This suggests that there may well be a fully dynamical version of Equation (1) which relates the change in the black hole area to the energy and angular momentum it absorbs in fully dynamical processes in which the black hole makes a transition from a given state to one which is far removed. Indeed, without such a formula, one would have no quantitative control on how black holes grow in exact general relativity. Note however that the event horizons can form and grow even in a flat region of spacetime (see Figure 4 and Section 2.2.2 for illustrations). During this phase, the area grows in spite of the fact that there is no flux of energy or angular momentum across the event horizon. Hence, in the standard framework where the surface of the black hole is represented by an event horizon, it is impossible to obtain the desired formula. Is there then a more appropriate notion that can replace event horizons?$$\delta M = {\kappa \over {8\pi G}}\delta a + \Omega \delta J,$$(1) 
Equilibrium situations
The zeroth and first laws of black hole mechanics refer to equilibrium situations and small departures therefrom. Therefore, in this context, it is natural to focus on isolated black holes. It was customary to represent them by stationary solutions of field equations, i.e, solutions which admit a timetranslational Killing vector field everywhere, not just in a small neighborhood of the black hole. While this simple idealization was natural as a starting point, it is overly restrictive. Physically, it should be sufficient to impose boundary conditions at the horizon which ensure only that the black hole itself is isolated. That is, it should suffice to demand only that the intrinsic geometry of the horizon be time independent, whereas the geometry outside may be dynamical and admit gravitational and other radiation. Indeed, we adopt a similar viewpoint in ordinary thermodynamics; while studying systems such as a classical gas in a box, one usually assumes that only the system under consideration is in equilibrium, not the whole world. In realistic situations, one is typically interested in the final stages of collapse where the black hole has formed and ‘settled down’ or in situations in which an already formed black hole is isolated for the duration of the experiment (see Figure 1). In such cases, there is likely to be gravitational radiation and nonstationary matter far away from the black hole. Thus, from a physical perspective, a framework which demands global stationarity is too restrictive.
Even if one were to ignore these conceptual considerations and focus just on results, the framework has certain unsatisfactory features. Consider the central result, the first law of Equation (1). Here, the angular momentum J and the mass M are defined at infinity while the angular velocity Ω and surface gravity κ are defined at the horizon. Because one has to go back and forth between the horizon and infinity, the physical meaning of the first law is not transparent^{1}. For instance, there may be matter rings around the black hole which contribute to the angular momentum and mass at infinity. Why is this contribution relevant to the first law of black hole mechanics? Shouldn’t only the angular momentum and mass of the black hole feature in the first law? Thus, one is led to ask: Is there a more suitable paradigm which can replace frameworks based on event horizons in stationary spacetimes?

Entropy calculations
The first and the second laws suggest that one should assign to a black hole an entropy which is proportional to its area. This poses a concrete challenge to candidate theories of quantum gravity: Account for this entropy from fundamental, statistical mechanical considerations. String theory has had a remarkable success in meeting this challenge in detail for a subclass of extremal, stationary black holes whose charge equals mass (the socalled BPS states) [120]. However, for realistic black holes the charge to mass ratio is less than 10^{−18}. It has not been possible to extend the detailed calculation to realistic cases where charge is negligible and matter rings may distort the black hole horizon. From a mathematical physics perspective, the entropy calculation should also encompass hairy black holes whose equilibrium states cannot be characterized just by specifying the mass, angular momentum and charges at infinity, as well as nonminimal gravitational couplings, in presence of which the entropy is no longer a function just of the horizon area. One may therefore ask if other avenues are available. A natural strategy is to consider the sector of general relativity containing an isolated black hole and carry out its quantization systematically. A prerequisite for such a program is the availability of a manageable action principle and/or Hamiltonian framework. Unfortunately, however, if one attempts to construct these within the classical frameworks traditionally used to describe black holes, one runs into two difficulties. First, because the event horizon is such a global notion, no action principle is known for the sector of general relativity containing geometries which admit an event horizon as an internal boundary. Second, if one restricts oneself to globally stationary solutions, the phase space has only a finite number of true degrees of freedom and is thus ‘too small’ to adequately incorporate all quantum fluctuations. Thus, again, we are led to ask: Is there a more satisfactory framework which can serve as the point of departure for a nonperturbative quantization to address this problem?

Global nature of event horizons
The future event horizon is defined as the future boundary of the causal past of future null infinity. While this definition neatly encodes the idea that an outside observer can not ‘look into’ a black hole, it is too global for many applications. First, since it refers to null infinity, it can not be used in spatially compact spacetimes. Surely, one should be able to analyze black hole dynamics also in these spacetimes. More importantly, the notion is teleological; it lets us speak of a black hole only after we have constructed the entire spacetime. Thus, for example, an event horizon may well be developing in the room you are now sitting in anticipation of a gravitational collapse that may occur in this region of our galaxy a million years from now. When astrophysicists say that they have discovered a black hole in the center of our galaxy, they are referring to something much more concrete and quasilocal than an event horizon. Is there a satisfactory notion that captures what they are referring to?
The teleological nature of event horizons is also an obstruction to extending black hole mechanics in certain physical situations. Consider for example, Figure 2 in which a spherical star of mass M undergoes a gravitational collapse. The singularity is hidden inside the null surface Δ_{1} at r = 2M which is foliated by a family of marginally trapped surfaces and would be a part of the event horizon if nothing further happens. Suppose instead, after a million years, a thin spherical shell of mass δM collapses. Then Δ_{1} would not be a part of the event horizon which would actually lie slightly outside Δ_{1} and coincide with the surface r = 2(M + δM) in the distant future. On physical grounds, it seems unreasonable to exclude Δ_{1} a priori from thermodynamical considerations. Surely one should be able to establish the standard laws of mechanics not only for the equilibrium portion of the event horizon but also for Δ_{1}.
Next, let us consider numerical simulations of binary black holes. Here the main task is to construct the spacetime containing evolving black holes. Thus, one needs to identify initial data containing black holes without the knowledge of the entire spacetime and evolve them step by step. The notion of a event horizon is clearly inadequate for this. One uses instead the notion of apparent horizons (see Section 2.2). One may then ask: Can we use apparent horizons instead of event horizons in other contexts as well? Unfortunately, it has not been possible to derive the laws of black hole mechanics using apparent horizons. Furthermore, as discussed in section 2, while apparent horizons are ‘local in time’ they are still global notions, tied too rigidly to the choice of a spacelike 3surface to be directly useful in all contexts. Is there a truly quasilocal notion which can be useful in all these contexts?

Disparate paradigms
In different communities within gravitational physics, the intended meaning of the term ‘black hole’ varies quite considerably. Thus, in a string theory seminar, the term ‘fundamental black holes’ without further qualification generally refers to the BPS states referred to above — a subclass of stationary, extremal black holes. In a mathematical physics talk on black holes, the fundamental objects of interest are stationary solutions to, say, the EinsteinHiggsYangMills equations for which the uniqueness theorem fails. The focus is on the ramifications of ‘hair’, which are completely ignored in string theory. In a numerical relativity lecture, both these classes of objects are considered to be so exotic that they are excluded from discussion without comment. The focus is primarily on the dynamics of apparent horizons in general relativity. In astrophysically interesting situations, the distortion of black holes by external matter rings, magnetic fields and other black holes is often nonnegligible [87, 98, 88]. While these illustrative notions seem so different, clearly there is a common conceptual core. Laws of black hole mechanics and the statistical mechanical derivation of entropy should go through for all black holes in equilibrium. Laws dictating the dynamics of apparent horizons should predict that the final equilibrium states are those represented by the stable stationary solutions of the theory. Is there a paradigm that can serve as an unified framework to establish such results in all these disparate situations?
These considerations led to the development of a new, quasilocal paradigm to describe black holes. This framework was inspired by certain seminal ideas introduced by Hayward [117, 118, 115, 116] in the midnineties and has been systematically developed over the past five years or so. Evolving black holes are modelled by dynamical horizons while those in equilibrium are modelled by isolated horizons. Both notions are quasilocal. In contrast to event horizons, neither notion requires the knowledge of spacetime as a whole or refers to asymptotic flatness. Furthermore, they are spacetime notions. Therefore, in contrast to apparent horizons, they are not tied to the choice of a partial Cauchy slice. This framework provides a new perspective encompassing all areas in which black holes feature: quantum gravity, mathematical physics, numerical relativity, and gravitational wave phenomenology. Thus, it brings out the underlying unity of the subject. More importantly, it has overcome some of the limitations of the older frameworks and also led to new results of direct physical interest.
The purpose of this article is to review these developments. The subject is still evolving. Many of the key issues are still open and new results are likely to emerge in the coming years. Nonetheless, as the Editors pointed out, there is now a core of results of general interest and, thanks to the innovative style of Living Reviews, we will be able to incorporate new results through periodic updates.

Black hole mechanics
Isolated horizons extract from the notion of Killing horizons, just those conditions which ensure that the horizon geometry is time independent; there may be matter and radiation even nearby [68]. Yet, it has been possible to extend the zeroth and first laws of black hole mechanics to isolated horizons [26, 75, 15]. Furthermore, this derivation brings out a conceptually important fact about the first law. Recall that, in presence of internal boundaries, time evolution need not be Hamiltonian (i.e., need not preserve the symplectic structure). If the inner boundary is an isolated horizon, a necessary and sufficient condition for evolution to be Hamiltonian turns out to be precisely the first law! Finally, while the first law has the same form as before (Equation (1)), all quantities which enter the statement of the law now refer to the horizon itself. This is the case even when nonAbelian gauge fields are included.
Dynamical horizons allow for the horizon geometry to be time dependent. This framework has led to a quantitative relation between the growth of the horizon area and the flux of energy and angular momentum across it [30, 31]. The processes can be in the nonlinear regime of exact general relativity, without any approximations. Thus, the second law is generalized and the generalization also represents an integral version of the first law (1), applicable also when the black hole makes a transition from one state to another, which may be far removed.

Quantum gravity
The entropy problem refers to equilibrium situations. The isolated horizon framework provides an action principle and a Hamiltonian theory which serves as a stepping stone to nonperturbative quantization. Using the quantum geometry framework, a detailed theory of the quantum horizon geometry has been developed. The horizon states are then counted to show that the statistical mechanical black hole entropy is indeed proportional to the area [10, 11, 84, 149, 25]. This derivation is applicable to ordinary, astrophysical black holes which may be distorted and far from extremality. It also encompasses cosmological horizons to which thermodynamical considerations are known to apply [99]. Finally, the arena for this derivation is the curved black hole geometry, rather than a system in flat spacetime which has the same number of states as the black hole [174, 145]. Therefore, this approach has a greater potential for analyzing physical processes associated with the black hole.
The dynamical horizon framework has raised some intriguing questions about the relation between black hole mechanics and thermodynamics in fully dynamical situations [56]. In particular, they provide seeds for further investigations of the notion of entropy in nonequilibrium situations.

Mathematical physics
The isolated horizon framework has led to a phenomenological model to understand properties of hairy black holes [21, 20]. In this model, the hairy black hole can be regarded as a bound state of an ordinary black hole and a soliton. A large number of facts about hairy black holes had accumulated through semianalytical and numerical studies. Their qualitative features are explained by the model.
The dynamical horizon framework also provides the groundwork for a new approach to Penrose inequalities which relate the area of crosssections of the event horizon A_{e} on a Cauchy surface with the ADM mass M_{adm} at infinity [157]: \(\sqrt {{A_e}/16\pi} \leq {M_{{\rm{ADM}}}}\). Relatively recently, the conjecture has been proved in time symmetric situations. The basic monotonicity formula of the dynamical horizon framework could provide a new avenue to extend the current proofs to nontimesymmetric situations. It may also lead to a stronger version of the conjecture where the ADM mass is replaced by the Bondi mass [31].

Numerical relativity
The framework has provided a number of tools to extract physics from numerical simulations in the nearhorizon, strong field regime. First, there exist expressions for mass and angular momentum of dynamical and isolated horizons which enable one to monitor dynamical processes occurring in the simulations [31] and extract properties of the final equilibrium state [15, 85]. These quantities can be calculated knowing only the horizon geometry and do not presuppose that the equilibrium state is a Kerr horizon. The computational resources required in these calculations are comparable to those employed by simulations using cruder techniques, but the results are now invariant and interpretation is free from ambiguities. Recent work [34] has shown that these methods are also numerically more accurate and robust than older ones.
Surprisingly, there are simple local criteria to decide whether the geometry of an isolated horizon is that of the Kerr horizon [142]. These criteria have already been implemented in numerical simulations. The isolated horizon framework also provides invariant, practical criteria to compare nearhorizon geometries of different simulations [12] and leads to a new approach to the problem of extracting waveforms in a gauge invariant fashion. Finally, the framework provides natural boundary conditions for the initial value problem for black holes in quasiequilibrium [72, 124, 81], and to interpret certain initial data sets [136]. Many of these ideas have already been implemented in some binary black hole codes [85, 34, 48] and the process is continuing.

Gravitational wave phenomenology
The isolated horizon framework has led to a notion of horizon multipole moments [24]. They provide a diffeomorphism invariant characterization of the isolated horizon geometry. They are distinct from the Hansen multipoles in stationary spacetimes [107] normally used in the analysis of equations of motion because they depend only on the isolated horizon geometry and do not require global stationarity. They represent source multipoles rather than Hansen’s field multipoles. In Kerr spacetime, while the mass and angular momenta agree in the two regimes, quadrupole moments do not; the difference becomes significant when a ∼ M, i.e., in the fully relativistic regime. In much of the literature on equations of motion of black holes, the distinction is glossed over largely because only field multipoles have been available in the literature. However, in applications to equations of motion, it is the source multipoles that are more relevant, whence the isolated horizon multipoles are likely to play a significant role.
The dynamical horizon framework enables one to calculate mass and angular momentum of the black hole as it evolves. In particular, one can now ask if the black hole can be first formed violating the Kerr bound a ≤ M but then eventually settle down in the Kerr regime. Preliminary considerations fail to rule out this possibility, although the issue is still open [31]. The issue can be explored both numerically and analytically. The possibility that the bound can indeed be violated initially has interesting astrophysical implications [89].
In this review, we will outline the basic ideas underlying dynamical and isolated horizon frameworks and summarize their applications listed above. The material is organized as follows. In Section 2 we recall the basic definitions, motivate the assumptions and summarize their implications. In Section 3 we discuss the area increase theorem for dynamical horizons and show how it naturally leads to an expression for the flux of gravitational energy crossing dynamical horizons. Section 4 is devoted to the laws of black hole mechanics. We outline the main ideas using both isolated and dynamical horizons. In the next three sections we review applications. Section 5 summarizes applications to numerical relativity, Section 6 to black holes with hair, and Section 7 to the quantum entropy calculation. Section 8 discusses open issues and directions for future work. Having read Section 2 , Sections 3 , 4 , 5 , 6 , and 7 are fairly self contained and the three applications can be read independently of each other.
2 Basic Notions
This section is divided into two parts. The first introduces isolated horizons, and the second dynamical horizons.
2.1 Isolated horizons
In this part, we provide the basic definitions and discuss geometrical properties of nonexpanding, weakly isolated, and isolated horizons which describe black holes which are in equilibrium in an increasingly stronger sense.
These horizons model black holes which are themselves in equilibrium, but in possibly dynamical spacetimes [13, 14, 26, 16]. For early references with similar ideas, see [156, 106]. A useful example is provided by the late stage of a gravitational collapse shown in Figure 1. In such physical situations, one expects the backscattered radiation falling into the black hole to become negligible at late times so that the ‘end portion’ of the event horizon (labelled by Δ in the figure) can be regarded as isolated to an excellent approximation. This expectation is borne out in numerical simulations where the backscattering effects typically become smaller than the numerical errors rather quickly after the formation of the black hole (see, e.g., [34, 48]).
2.1.1 Definitions
 1.
Δ is topologically S^{2} × ℝ and null;
 2.
any null normal ℓ^{ a } of Δ has vanishing expansion, Θ(ℓ) = 0; and
 3.
all equations of motion hold at Δ and the stress energy tensor T_{ ab } is such that \(  T_b^a{\ell ^b}\) is futurecausal for any future directed null normal ℓ^{ a }.
The motivation behind this definition can be summarized as follows. Condition 1 is imposed for definiteness; while most geometric results are insensitive to topology, the S^{2} × ℝ case is physically the most relevant one. Condition 3 is satisfied by all classical matter fields of direct physical interest. The key condition in the above definition is Condition 2 which is equivalent to requiring that every crosssection of Δ be marginally trapped. (Note incidentally that if Θ_{(ℓ)} vanishes for one null normal ℓ^{ a } to Δ, it vanishes for all.) Condition 2 is equivalent to requiring that the infinitesimal area element is Lie dragged by the null normal ℓ^{ a }. In particular, then, Condition 2 implies that the horizon area is ‘constant in time’. We will denote the area of any cross section of Δ by a_{Δ} and define the horizon radius as \({R_\Delta}:\sqrt {{a_\Delta}/4\pi}\).
The zeroth and first laws of black hole mechanics require an additional structure, which is provided by the concept of a weakly isolated horizon. To arrive at this concept, let us first introduce a derivative operator \({\mathcal D}\) on Δ. Because q_{ ab } is degenerate, there is an infinite number of (torsionfree) derivative operators which are compatible with it. However, on an NEH, the property \(\underleftarrow {{\nabla _{({a^\ell}b)}}} = 0\) implies that the spacetime connection Δ induces a unique (torsionfree) derivative operator \({\mathcal D}\) on Δ which is compatible with q_{ ab } [26, 136]. Weakly isolated horizons are characterized by the property that, in addition to the metric q_{ ab }, the connection component \({{\mathcal D}_a}{\ell ^b}\) is also ‘time independent’.
Two null normals ℓ^{ a } and \({{\tilde \ell}^a}\) to an NEH Δ are said to belong to the same equivalence class [ℓ] if \({{\tilde \ell}^a} = c{\ell ^a}\) for some positive constant c. Then, weakly isolated horizons are defined as follows:
It is easy to verify that every NEH admits null normals satisfying Equation (5), i.e., can be made a WIH with a suitable choice of [ℓ]. However the required equivalence class is not unique, whence an NEH admits distinct WIH structures [16].
Compared to conditions required of a Killing horizon, conditions in this definition are very weak. Nonetheless, it turns out that they are strong enough to capture the notion of a black hole in equilibrium in applications ranging from black hole mechanics to numerical relativity. (In fact, many of the basic notions such as the mass and angular momentum are welldefined already on NEHs although intermediate steps in derivations use a WIH structure.) This is quite surprising at first because the laws of black hole mechanics were traditionally proved for globally stationary black holes [182], and the definitions of mass and angular momentum of a black hole first used in numerical relativity implicitly assumed that the near horizon geometry is isometric to Kerr [5].
While an NEH can always be given a WIH structure simply by making a suitable choice of the null normal, not every WIH admits an IH structure. Thus, the passage from a WIH to an IH is a genuine restriction [16]. However, even for this stronger notion of isolation, conditions in the definition are local to Δ. Furthermore, the definition only uses quantities intrinsic to Δ; there are no restrictions on components of any fields transverse to Δ. (Even the full 4metric g_{ ab } need not be time independent on the horizon.) RobinsonTrautman solutions provide explicit examples of isolated horizons which do not admit a stationary Killing field even in an arbitrarily small neighborhood of the horizon [68]. In this sense, the conditions in this definition are also rather weak. One expects them to be met to an excellent degree of approximation in a wide variety of situations representing late stages of gravitational collapse and black hole mergers^{2}.
2.1.2 Examples
The class of spacetimes admitting NEHs, WIHs, and IHs is quite rich. First, it is trivial to verify that any Killing horizon which is topologically S^{2} × ℝ is also an isolated horizon. This in particular implies that the event horizons of all globally stationary black holes, such as the KerrNewman solutions (including a possible cosmological constant), are isolated horizons. (For more exotic examples, see [155].)
But there exist other nontrivial examples as well. These arise because the notion is quasilocal, referring only to fields defined intrinsically on the horizon. First, let us consider the subfamily of KastorTraschen solutions [125, 152] which are asymptotically de Sitter and admit event horizons. They are interpreted as containing multiple charged, dynamical black holes in presence of a positive cosmological constant. Since these solutions do not appear to admit any stationary Killing fields, no Killing horizons are known to exist. Nonetheless, the event horizons of individual black holes are WIHs. However, to our knowledge, no one has checked if they are IHs. A more striking example is provided by a subfamily of RobinsonTrautman solutions, analyzed by Chrusciel [68]. These spacetimes admit IHs whose intrinsic geometry is isomorphic to that of the Schwarzschild isolated horizons but in which there is radiation arbitrarily close to Δ.
2.1.3 Geometrical properties
2.1.3.1 Rescaling freedom in ℓ^{ a }
As we remarked in Section 2.1.1, there is a functional rescaling freedom in the choice of a null normal on an NEH and, while the choice of null normals is restricted by the weakly isolated horizon condition (5), considerable freedom still remains. That is, a given NEH Δ admits an infinite number of WIH structures (Δ, [ℓ]) [16].
On IHs, by contrast, the situation is dramatically different. Given an IH (Δ, [ℓ]), generically the Condition (6) in Definition 3 can not be satisfied by a distinct equivalence class of null normals [ℓ′]. Thus on a generic IH, the only freedom in the choice of the null normal is that of a rescaling by a positive constant [16]. This freedom mimics the properties of a Killing horizon since one can also rescale the Killing vector by an arbitrary constant. The triplet (\({q_{ab}},{{\mathcal D}_a},[{\ell ^a}]\)) is said to constitute the geometry of the isolated horizon.
2.1.3.2 Surface gravity
Thus, κ_{(ℓ)} is simply the acceleration of ℓ^{ a }. Note that the surface gravity is not an intrinsic property of a WIH (Δ, [ℓ]). Rather, it is a property of a null normal to Δ: κ_{(cℓ)} = cκ_{(ℓ)}. An isolated horizon with κ_{(ℓ)} = 0 is said to be an extremal isolated horizon. Note that while the value of surface gravity refers to a specific null normal, whether a given WIH is extremal or not is insensitive to the permissible rescaling of the normal.
2.1.3.3 Curvature tensors on Δ
Next, let us consider the Riccitensor components. On any NEH Δ we have: \({\Phi _{00}}: = {1 \over 2}{R_{ab}}{\ell ^a}{\ell ^b}: = 0,{\Phi _{01}}: = {1 \over 2}{R_{ab}}{\ell ^a}{m^b} = 0\). In the EinsteinMaxwell theory, one further has: On Δ, \(\Delta,{\Phi _{02}}: = {1 \over 2}{R_{ab}}{m^a}{m^b} = 0\) and \({\Phi _{20}}: = {1 \over 2}{R_{ab}}{{\bar m}^a}{{\bar m}^b} = 0\).
2.1.3.4 Free data on an isolated horizon
Given the geometry (\({q_{ab}},{\mathcal D},[\ell ]\)) of an IH, it is natural to ask for the minimum amount of information, i.e., the free data, required to construct it. This question has been answered in detail (also for WIHs) [16]. For simplicity, here we will summarize the results only for the nonextremal case. (For the extremal case, see [16, 143].)
Let S be a spherical cross section of Δ. The degenerate metric q_{ ab } naturally projects to a Riemannian metric \({q_{ab}}\) on S, and similarly the 1form ω_{ a } of Equation (7) projects to a 1form \({{\tilde w}_a}\) on S. If the vacuum equations hold on Δ, then given (\({{\tilde q}_{ab}},{{\tilde w}_a}\)) on S, there is, up to diffeomorphisms, a unique nonextremal isolated horizon geometry (\({q_{ab}},{\mathcal D},[\ell ]\)) such that \({{\tilde q}_{ab}}\) is the projection of q_{ ab }, \({{\tilde w}_a}\) is the projection of the ω_{ a } constructed from \({\mathcal D}\), and κ_{ ℓ } = ω_{ a }ℓ^{ a } ≠ 0. (If the vacuum equations do not hold, the additional data required is the projection on S of the spacetime Ricci tensor.)
The underlying reason behind this result can be sketched as follows. First, since q_{ ab } is degenerate along ℓ^{ a }, its nontrivial part is just its projection \({{\tilde q}_{ab}}\). Second, \({{\tilde q}_{ab}}\) fixes the connection on S; it is only the quantity \({S_{ab}}: = {{\mathcal D}_a}{n_b}\) that is not constrained by \({{\tilde q}_{ab}}\), where n_{ a } is a 1form on Δ orthogonal to S, normalized so that ℓ^{ a }n_{ a } = −1. It is easy to show that S_{ ab } is symmetric and the contraction of one of its indices with ℓ^{ a } gives ω_{ a }: ℓ^{ a }S_{ ab } = ω_{ a }. Furthermore, it turns out that if ω_{ a }ℓ^{ a } ≠ 0, the field equations completely determine the angular part of S_{ ab } in terms of \({{\tilde w}_a}\) and \({{\tilde q}_{ab}}\). Finally, recall that the surface gravity is not fixed on Δ because of the rescaling freedom in ℓ^{ a }; thus the ℓcomponent of ω_{ a } is not part of the free data. Putting all these facts together, we see that the pair (\({{\tilde q}_{ab}},{{\tilde w}_a}\)) enables us to reconstruct the isolated horizon geometry uniquely up to diffeomorphisms.
2.1.3.5 Rest frame of a nonexpanding horizon
As at null infinity, a preferred foliation of Δa can be thought of as providing a ‘rest frame’ for an isolated horizon. On the Schwarzschild horizon, for example, the 2spheres on which the EddingtonFinkelstein advanced time coordinate is constant — which are also integral manifolds of the rotational Killing fields — provide such a rest frame. For the Kerr metric, this foliation generalizes naturally. The question is whether a general prescription exists to select such a preferred foliation.
On any nonextremal NEH, the 1form ω_{ a } can be used to construct preferred foliations of Δ. Let us first examine the simpler, nonrotating case in which Im Ψ_{2} = 0. Then Equation (9) implies that ω_{ a } is curlfree and therefore hypersurface orthogonal. The 2surfaces orthogonal to ω_{ a } must be topologically S^{2} because, on any nonextremal horizon, ℓ^{ a }ω_{ a } ≠ 0. Thus, in the nonrotating case, every isolated horizon comes equipped with a preferred family of crosssections which defines the rest frame [26]. Note that the projection \({{\tilde w}_a}\) of ω_{ a } on any leaf of this foliation vanishes identically.
2.1.3.6 Symmetries of an isolated horizon

Type I: The pair (\({q_{ab}},{{\mathcal D}_a}\)) is spherically symmetric; G_{Δ} is four dimensional.

Type II: The pair (\({q_{ab}},{{\mathcal D}_a}\)) is axisymmetric; G_{Δ} is two dimensional.

Type III: Diffeomorphisms generated by ℓ^{ a } are the only symmetries of the pair (\({q_{ab}},{{\mathcal D}_a}\)); G_{Δ} is one dimensional.
In the asymptotically flat context, boundary conditions select a universal symmetry group at spatial infinity, e.g., the Poincaré group, because the spacetime metric approaches a fixed Minkowskian one. The situation is completely different in the strong field region near a black hole. Because the geometry at the horizon can vary from one spacetime to another, the symmetry group is not universal. However, the above result shows that the symmetry group can be one of only three universality classes.
2.2 Dynamical horizons
This section is divided into three parts. In the first, we discuss basic definitions, in the second we introduce an explicit example, and in the third we analyze the issue of uniqueness of dynamical horizons and their role in numerical relativity.
2.2.1 Definitions
To explain the evolution of ideas and provide points of comparison, we will introduce the notion of dynamical horizons following a chronological order. Readers who are not familiar with causal structures can go directly to Definition 5 of dynamical horizons (for which a more direct motivation can be found in [31]).
As discussed in Section 1, while the notion of an event horizon has proved to be very convenient in mathematical relativity, it is too global and teleological to be directly useful in a number of physical contexts ranging from quantum gravity to numerical relativity to astrophysics. This limitation was recognized early on (see, e.g., [113], page 319) and alternate notions were introduced to capture the intuitive idea of a black hole in a quasilocal manner. In particular, to make the concept ‘local in time’, Hawking [111, 113] introduced the notions of a trapped region and an apparent horizon, both of which are associated to a spacelike 3surface M representing ‘an instant of time’. Let us begin by recalling these ideas.
Hawking’s outer trapped surface S is a compact, spacelike 2dimensional submanifold in (\({\mathcal M},{g_{ab}}\)) such that the expansion Θ_{(ℓ)} of the outgoing null normal ℓ^{ a } to S is nonpositive. Hawking then defined the trapped region \({\mathcal T}(M)\) in a surface M as the set of all points in M through which there passes an outertrapped surface, lying entirely in M. Finally, Hawking’s apparent horizon \(\partial {\mathcal T}(M)\) is the boundary of a connected component of \({\mathcal T}(M)\). The idea then was to regard each apparent horizon as the instantaneous surface of a black hole. One can calculate the expansion Θ_{(ℓ)} of S knowing only the intrinsic 3metric q_{ ab } and the extrinsic curvature K_{ ab } of M. Hence, to find outer trapped surfaces and apparent horizons on M, one does not need to evolve (q_{ ab }, K_{ ab }) away from M even locally. In this sense the notion is local to M. However, this locality is achieved at the price of restricting S to lie in M. If we wiggle M even slightly, new outer trapped surfaces can appear and older ones may disappear. In this sense, the notion is still very global. Initially, it was hoped that the laws of black hole mechanics can be extended to these apparent horizons. However, this has not been possible because the notion is so sensitive to the choice of M.
To improve on this situation, in the early nineties Hayward proposed a novel modification of this framework [117]. The main idea is to free these notions from the complicated dependence on M. He began with Penrose’s notion of a trapped surface. A trapped surface S a la Penrose is a compact, spacelike 2dimensional submanifold of spacetime on which Θ_{(ℓ)}Θ_{(n)} > 0, where ℓ^{ a } and n^{ a } are the two null normals to S. We will focus on future trapped surfaces on which both expansions are negative. Hayward then defined a spacetime trapped region. A trapped region \({\mathcal T}\) a la Hayward is a subset of spacetime through each point of which there passes a trapped surface. Finally, Hayward’s trapping boundary \(\partial {\mathcal T}\) is a connected component of the boundary of an inextendible trapped region. Under certain assumptions (which appear to be natural intuitively but technically are quite strong), he was able to show that the trapping boundary is foliated by marginally trapped surfaces (MTSs), i.e., compact, spacelike 2dimensional submanifolds on which the expansion of one of the null normals, say ℓ^{ a }, vanishes and that of the other, say n^{ a }, is everywhere nonpositive. Furthermore, \({{\mathcal L}_n}{\Theta _{(\ell)}}\) is also everywhere of one sign. These general considerations led him to define a quasilocal analog of future event horizons as follows:
 1.
the expansion of one future directed null normal to the foliation, say ℓ^{ a }, vanishes, Θ_{(ℓ)} = 0;
 2.
the expansion of the other future directed null normal n^{ a } is negative, Θ_{(n)} < 0; and
 3.
the directional derivative of Θ_{(ℓ)} along n^{ a } is negative, \({\Theta _{(n)}} < 0\).
In this definition, Condition 2 captures the idea that \(\underline H\) is a future horizon (i.e., of black hole rather than white hole type), and Condition 3 encodes the idea that it is ‘outer’ since infinitesimal motions along the ‘inward’ normal n^{ a } makes the 2surface trapped. (Condition 3 also serves to distinguish black hole type horizons from certain cosmological ones [117] which are not ruled out by Condition 2). Using the Raychaudhuri equation, it is easy to show that \(\underline H\) is either spacelike or null, being null if and only if the shear σ_{ ab } of ℓ^{ a } as well as the matter flux T_{ ab }ℓ^{ a }ℓ^{ b } across H vanishes. Thus, when \(\underline H\) is null, it is a nonexpanding horizon introduced in Section 2.1. Intuitively, \(\underline H\) is spacelike in the dynamical region where gravitational radiation and matter fields are pouring into it and is null when it has reached equilibrium.
In truly dynamical situations, then, \(\underline H\) is expected to be spacelike. Furthermore, it turns out that most of the key results of physical interest [30, 31], such as the area increase law and generalization of black hole mechanics, do not require the condition on the sign of \({{\mathcal L}_n}{\Theta _{(\ell)}}\). It is therefore convenient to introduce a simpler and at the same time ‘tighter’ notion, that of a dynamical horizon, which is better suited to analyze how black holes grow in exact general relativity [30, 31]:
 1.
on each leaf S the expansion Θ_{(ℓ)} of one null normal ℓ^{a} vanishes; and
 2.
the expansion Θ_{(n)} of the other null normal n^{ a } is negative.
Note first that, like FOTHs, dynamical horizons are ‘spacetime notions’, defined quasilocally. They are not defined relative to a spacelike surface as was the case with Hawking’s apparent horizons nor do they make any reference to infinity as is the case with event horizons. In particular, they are welldefined also in the spatially compact context. Being quasilocal, they are not teleological. Next, let us spell out the relation between FOTHs and DHs. A spacelike FOTH is a DH on which the additional condition \({{\mathcal L}_n}{\Theta _{(\ell)}} < 0\) holds. Similarly, a DH satisfying \({{\mathcal L}_n}{\Theta _{(\ell)}} < 0\) is a spacelike FOTH. Thus, while neither definition implies the other, the two are closely related. The advantage of Definition 5 is that it refers only to the intrinsic structure of H, without any conditions on the evolution of fields in directions transverse to H. Therefore, it is easier to verify in numerical simulations. More importantly, as we will see, this feature makes it natural to analyze the structure of H using only the constraint (or initial value) equations on it. This analysis will lead to a wealth of information on black hole dynamics. Reciprocally, Definition 4 has the advantage that, since it permits \(\underline H\) to be spacelike or null, it is better suited to analyze the transition to equilibrium [31].
A DH which is also a FOTH will be referred to as a spacelike future outer horizon (SFOTH). To fully capture the physical notion of a dynamical black hole, one should require both sets of conditions, i.e., restrict oneself to SFOTHs. For, stationary black holes admit FOTHS and there exist spacetimes [166] which admit dynamical horizons but no trapped surfaces; neither can be regarded as containing a dynamical black hole. However, it is important to keep track of precisely which assumptions are needed to establish specific results. Most of the results reported in this review require only those conditions which are satisfied on DHs. This fact may well play a role in conceptual issues that arise while generalizing black hole thermodynamics to nonequilibrium situations^{3}.
2.2.2 Examples
Let us focus our attention on the metric 2spheres, which are all given by v = const. and r = const.. It is easy to verify that the expansion of the outgoing null normal ℓ^{ a } vanishes if and only if (v = const. and) r = 2GM(v). Thus, these are the only spherically symmetric marginally trapped surfaces MTSs. On each of them, the expansion Θ_{(n)} of the ingoing normal n^{ a } is negative. By inspection, the 3metric on the world tube r = 2GM(v) of these MTSs has signature (+, +, +) when \(\dot M(\nu)\) is nonzero and (0, +, +) if \(\dot M(\nu)\) is zero. Hence, in the left panel of Figure 4 the surface r = 2GM(v) is the DH H. In the right panel of Figure 4 the portion of this surface v ≤ v_{0} is the DH H, while the portion v ≤ v_{0} is a nonexpanding horizon. (The general issue of transition of a DH to equilibrium is briefly discussed in Section 5.) Finally, note that at these MTSs, \({{\mathcal L}_n}{\theta _{(\ell)}} =  2/{r^2} < 0\). Hence in both cases, the DH is an SFOTH. Furthermore, in the case depicted in the right panel of Figure 4 the entire surface r = 2GM(v) is a FOTH, part of which is dynamical and part null.
This simple example also illustrates some interesting features which are absent in the stationary situations. First, by making explicit choices of M(v), one can plot the event horizon using, say, Mathematica [189] and show that they originate in the flat spacetime region v < 0, in anticipation of the null fluid that is going to fall in after v = 0. The dynamical horizon, on the other hand, originates in the curved region of spacetime, where the metric is timedependent, and steadily expands until it reaches equilibrium. Finally, as Figures 4 illustrate, the dynamical and event horizons can be well separated. Recall that in the equilibrium situation depicted by the Schwarzschild spacetime, a spherically symmetric trapped surface passes through every point in the interior of the event horizon. In the dynamical situation depicted by the Vaidya spacetime, they all lie in the interior of the DH. However, in both cases, the event horizon is the boundary of \({J^ }({{\mathcal I}^ +})\). Thus, the numerous roles played by the event horizon in equilibrium situations get split in dynamical contexts, some taken up by the DH.
What is the situation in a more general gravitational collapse? As indicated in the beginning of this section, the geometric structure can be much more subtle. Consider 3manifolds τ which are foliated by marginally trapped compact 2surfaces S. We denote by ℓ^{ a } the normal whose expansion vanishes. If the expansion of the other null normal n^{ a } is negative, τ will be called a marginally trapped tube (MTT). If the tube τ is spacelike, it is a dynamical horizon. If it is timelike, it will be called timelike membrane. Since future directed causal curves can traverse timelike membranes in either direction, they are not good candidates to represent surfaces of black holes; therefore they are not referred to as horizons.
In Vaidya metrics, there is precisely one MTT to which all three rotational Killing fields are tangential and this is the DH H. In the OppenheimerVolkoff dust collapse, however, the situation is just the opposite; the unique MTT on which each MTS S is spherical is timelike [180, 47]. Thus we have a timelike membrane rather than a dynamical horizon. However, in this case the metric does not satisfy the smoothness conditions spelled out at the end of Section 1 and the global timelike character of τ is an artifact of the lack of this smoothness. In the general perfect fluid spherical collapse, if the solution is smooth, one can show analytically that the spherical MTT is spacelike at sufficiently late times, i.e., in a neighborhood of its intersection with the event horizon [102]. For the spherical scalar field collapse, numerical simulations show that, as in the Vaidya solutions, the spherical MTT is spacelike everywhere [102]. Finally, the geometry of the numerically evolved MTTs has been examined in two types of nonspherical situations: the axisymmetric collapse of a neutron star to a Kerr black hole and in the headon collision of two nonrotating black holes [48]. In both cases, in the initial phase the MTT is neither spacelike nor timelike all the way around its crosssections S. However, it quickly becomes spacelike and has a long spacelike portion which approaches the event horizon. This portion is then a dynamical horizon. There are no hard results on what would happen in general, physically interesting situations. The current expectation is that the MTT of a numerically evolved black hole spacetime which asymptotically approaches the event horizon will become spacelike rather soon after its formation. Therefore most of the ongoing detailed work focuses on this portion, although basic analytical results are available also on how the timelike membranes evolve (see Appendix A of [31]).
2.2.3 Uniqueness
Even in the simplest, Vaidya example discussed above, our explicit calculations were restricted to spherically symmetric marginally trapped surfaces. Indeed, already in the case of the Schwarzschild spacetime, very little is known analytically about nonspherically symmetric marginally trapped surfaces. It is then natural to ask if the Vaidya metric admits other, nonspherical dynamical horizons which also asymptote to the nonexpanding one. Indeed, even if we restrict ourselves to the 3manifold r = 2GM(v), can we find another foliation by nonspherical, marginally trapped surfaces which endows it with another dynamical horizon structure? These considerations illustrate that in general there are two uniqueness issues that must be addressed.
First, in a general spacetime (\({\mathcal M},{g_{ab}}\)), can a spacelike 3manifold H be foliated by two distinct families of marginally trapped surfaces, each endowing it with the structure of a dynamical horizon? Using the maximum principle, one can show that this is not possible [93]. Thus, if H admits a dynamical horizon structure, it is unique.
Second, we can ask the following question: How many DHs can a spacetime admit? Since a spacetime may contain several distinct black holes, there may well be several distinct DHs. The relevant question is if distinct DHs can exist within each connected component of the (spacetime) trapped region. On this issue there are several technically different uniqueness results [27]. It is simplest to summarize them in terms of SFOTHs. First, if two nonintersecting SFOTHs H and H′ become tangential to the same nonexpanding horizon at a finite time (see the right panel in Figure 4), then they coincide (or one is contained in the other). Physically, a more interesting possibility, associated with the late stages of collapse or mergers, is that H and H′ become asymptotic to the event horizon. Again, they must coincide in this case. At present, one can not rule out the existence of more than one SFOTHs which asymptote to the event horizon if they intersect each other repeatedly. However, even if this were to occur, the two horizon geometries would be nontrivially constrained. In particular, none of the marginally trapped surfaces on H can lie entirely to the past of H′.
A better control on uniqueness is perhaps the most important open issue in the basic framework for dynamical horizons and there is ongoing work to improve the existing results. Note however that all results of Sections 3 and 5, including the area increase law and the generalization of black hole mechanics, apply to all DHs (including the ‘transient ones’ which may not asymptote to the event horizon). This makes the framework much more useful in practice.
The existing results also provide some new insights for numerical relativity [27]. First, suppose that a MTT τ is generated by a foliation of a region of spacetime by partial Cauchy surfaces M_{ t } such that each MTS S_{ t } is the outermost MTS in M_{ t }. Then τ can not be a timelike membrane. Note however that this does not imply that τ is necessarily a dynamical horizon because τ may be partially timelike and partially spacelike on each of its marginally trapped surfaces S. The requirement that τ be spacelike — i.e., be a dynamical horizon — would restrict the choice of the foliation M_{ t } of spacetime and reduce the unruly freedom in the choice of gauge conditions that numerical simulations currently face. A second result of interest to numerical relativity is the following. Let a spacetime (\({\mathcal M},{g_{ab}}\)) admit a DH H which asymptotes to the event horizon. Let M_{0} be any partial Cauchy surface in (\({\mathcal M},{g_{ab}}\)) which intersects H in one of the marginally trapped surfaces, say S_{0}. Then, S_{0} is the outermost marginally trapped surface — i.e., apparent horizon in the numerical relativity terminology — on M_{0}.
3 Area Increase Law
As mentioned in the introduction, the dynamical horizon framework has led to a monotonicity formula governing the growth of black holes. In this section, we summarize this result. Our discussion is divided into three parts. The first spells out the strategy, the second presents a brief derivation of the basic formula, and the third is devoted to interpretational issues.
3.1 Preliminaries
The first law of black hole mechanics (1) tells us how the area of the black hole increases when it makes a transition from an initial equilibrium state to a nearby equilibrium state. The question we want to address is: Can one obtain an integral generalization to incorporate fully dynamical situations? Attractive as this possibility seems, one immediately encounters a serious conceptual and technical problem. For, the generalization requires, in particular, a precise notion of the flux of gravitational energy across the horizon. Already at null infinity, the expression of the gravitational energy flux is subtle: One needs the framework developed by Bondi, Sachs, Newman, Penrose, and others to introduce a viable, gauge invariant expression of this flux [54, 33, 185]. In the strong field regime, there is no satisfactory generalization of this framework and, beyond perturbation theory, no viable, gauge invariant notion of the flux of gravitational energy across a general surface.
Yet, there are at least two general considerations that suggest that something special may happen on DHs. Consider a stellar collapse leading to the formation of a black hole. At the end of the process, one has a black hole and, from general physical considerations, one expects that the energy in the final black hole should equal the total matter plus gravitational energy that fell across the horizon. Thus, at least the total integrated flux across the horizon should be well defined. Indeed, it should equal the depletion of the energy in the asymptotic region, i.e., the difference between the ADM energy and the energy radiated across future null infinity. The second consideration involves the Penrose inequality [157] introduced in Section 1. Heuristically, the inequality leads us to think of the radius of a marginally trapped surface as a measure of the mass in its interior, whence one is led to conclude that the change in the area is due to influx of energy. Since a DH is foliated by marginally trapped surfaces, it is tempting to hope that something special may happen, enabling one to define the flux of energy and angular momentum across it. This hope is borne out.
3.2 Area increase law
Specification of lapse N and shift N^{ a } is equivalent to the specification of a vector field \({\xi ^a} = N{{\hat \tau}^a} + {N^a}\) with respect to which energyflux across H is defined. The definition of a DH provides a preferred direction field, that along ℓ^{ a }. Hence it is natural set \({\xi ^a} = N{\ell ^a} \equiv N{{\hat \tau}^a} + N{{\hat \tau}^a}\). We will begin with this choice and defer the possibility of choosing more general vector fields until Section 4.2.

If Λ > 0, the right side is positive definite whence the GaussBonnet invariant I is positive definite, and the topology of the crosssections S of the DH is necessarily that of S^{2}.
 If Λ = 0, then S is either spherical or toroidal. The toroidal case is exceptional: If it occurs, the matter and the gravitational energy flux across H vanishes (see Section 3.3), the metric \({{\tilde q}_{ab}}\) is flat, \({{\mathcal L}_n}{\Theta _{(\ell)}} = 0\) (so H can not be a FOTH), and \({{\mathcal L}_\ell}{\Theta _{(\ell)}} = 0\). In view of these highly restrictive conditions, toroidal DHs appear to be unrelated to the toroidal topology of crosssections of the event horizon discussed by Shapiro, Teukolsky, Winicour, and others [121, 167, 139]. In the generic spherical case, the area balance law (24) becomes$${1 \over {2G}}({R_2}  {R_1})\int\nolimits_{\Delta H} {{T_{ab}}{{\hat{\tau}}^a}\xi _{(R)}^b{d^3}V +} {1 \over {16\pi G}}\int\nolimits_{\Delta H} {{N_R}(\vert\sigma {\vert^2} + 2\vert\zeta {\vert^2}){d^3}V.}$$(25)

If Λ < 0, there is no control on the sign of the right hand side of Equation (24). Hence, a priori any topology is permissible. Stationary solutions with quite general topologies are known for black holes which are asymptotically locally antide Sitter. Event horizons of these solutions are the potential asymptotic states of these DHs in the distant future.
For simplicity, the remainder of our discussion of DHs will be focused on the zero cosmological constant case with 2sphere topology.
3.3 Energy flux due to gravitational waves
Let us interpret the various terms appearing in the area balance law (25).

Gauge invariance
Since one did not have to introduce any structure, such as coordinates or tetrads, which is auxiliary to the problem, the expression is obviously gauge invariant. This is to be contrasted with definitions involving pseudotensors or background fields.

Positivity
The energy flux (26) is manifestly nonnegative. In the case of the Bondi flux, positivity played a key role in the early development of the gravitational radiation theory. It was perhaps the most convincing evidence that gravitational waves are not coordinate artifacts but carry physical energy. It is quite surprising that a simple, manifestly nonnegative expression can exist in the strong field regime of DHs. One can of course apply our general strategy to any spacelike 3surface \({\bar H}\), foliated by 2spheres. However, if \({\bar H}\) is not a DH, the sign of the geometric terms in the integral over \(\Delta \bar H\) can not be controlled, not even when \({\bar H}\) lies in the black hole region and is foliated by trapped (rather than marginally trapped) surfaces \({\bar S}\). Thus, the positivity of \({\mathcal F}_{{\rm{grav}}}^{(R)}\) is a rather subtle property, not shared by 3surfaces which are foliated by nontrapped surfaces, nor those which are foliated by trapped surfaces; one needs a foliation precisely by marginally trapped surfaces. The property is delicately matched to the definition of DHs [31].

Locality
All fields used in Equation (26) are defined by the local geometrical structures on crosssections of H. This is a nontrivial property, shared also by the Bondiflux formula. However, it is not shared in other contexts. For example, the proof of the positive energy theorem by Witten [188] provides a positive definite energy density on Cauchy surfaces. But since it is obtained by solving an elliptic equation with appropriate boundary conditions at infinity, this energy density is a highly nonlocal function of geometry. Locality of \({\mathcal F}_{{\rm{grav}}}^{(R)}\) enables one to associate it with the energy of gravitational waves instantaneously falling across any cross section S.

Vanishing in spherical symmetry
The fourth criterion is that the flux should vanish in presence of spherical symmetry. Suppose H is spherically symmetric. Then one can show that each crosssection of S must be spherically symmetric. Now, since the only spherically symmetric vector field and tracefree, second rank tensor field on a 2sphere are the zero fields, σ_{ ab } = 0 and ζ^{ a } = 0.

Balance law
The BondiSachs energy flux also has the important property that there is a locally defined notion of the Bondi energy E(C) associated with any 2sphere crosssection C of future null infinity, and the difference E(C_{1}) − E(C_{2}) equals the BondiSachs flux through the portion of null infinity bounded by C_{2} and C_{1}. Does the expression (26) share this property? The answer is in the affirmative: As noted in the beginning of this section, the integrated flux is precisely the difference between the locally defined Hawking mass associated with the crosssection. In Section 5 we will extend these considerations to include angular momentum.
Taken together, the properties discussed above provide a strong support in favor of the interpretation of Equation (26) as the ξ_{(R)}energy flux carried by gravitational waves into the portion ΔH of the DH. Nonetheless, it is important to continue to think of new criteria and make sure that Equation (26) passes these tests. For instance, in physically reasonable, stationary, vacuum solutions to Einstein’s equations, one would expect that the flux should vanish. However, on DHs the area must increase. Thus, one is led to conjecture that these spacetimes do not admit DHs. While special cases of this conjecture have been proved, a general proof is still lacking. Situation is similar for nonspherical DHs in spherically symmetric spacetimes.

The presence of the shear term σ^{2} in the integrand of the flux formula (26) seems natural from one’s expectations based on perturbation theory at the event horizon of the Kerr family [108, 66]. But the term ζ^{2} is new and can arise only because H is spacelike rather than null: On a null surface, the analogous term vanishes identically. To bring out this point, one can consider a more general case and allow the crosssections S to lie on a horizon which is partially null and partially spacelike. Then, using a 2 + 2 formulation [117] one can show that flux on the null portion is given entirely by the term σ^{2} [28]. However, on the spacelike portion, the term ζ^{2} does not vanish in general. Indeed, on a DH, it cannot vanish in presence of rotation: The angular momentum is given by the integral of ζ_{ a }ϕ^{ a }, where ϕ^{ a } is the rotational symmetry.

The flux refers to a specific vector field \(\xi _{(R)}^a\) and measures the change in the Hawking mass associated with the crosssections. However, this is not a good measure of the mass in presence of angular momentum (see, e.g., [34] for numerical simulations). Generalization of the balance law to include angular momentum is discussed in Section 4.2.
4 Black Hole Mechanics
As mentioned in the introduction, the discovery of the laws of black hole mechanics has led to fundamental insights in both classical and quantum gravity. In this section we discuss how the standard framework tied to stationary spacetimes can be extended using WIHs and DHs.
4.1 Mechanics of weakly isolated horizons
The isolated horizon framework has not only extended black hole mechanics, but it has also led to a deeper insight into the ‘origin’ of the laws of black hole mechanics. In this section we will summarize these developments using WIHs. Along the way we shall also obtain formulas for the mass and angular momentum of a WIH. For simplicity, in the main part of the discussion, we will restrict ourselves to type II (i.e., axisymmetric) WIHs on which all matter fields vanish. Generalizations including various types of matter field can be found in [19, 26, 15, 75, 76, 77].
4.1.1 The zeroth law
The zeroth law of thermodynamics says that the temperature of a system in thermodynamic equilibrium is constant. Its counterpart for black hole mechanics says that surface gravity of a weakly isolated horizon is constant. This result is nontrivial because the horizon geometry is not assumed to be spherically symmetric; the result holds even when the horizon itself is highly distorted so long as it is in equilibrium. It is established as follows.
If electromagnetic fields are included, one can also show that the electric potential is constant on the horizon [26]. Finally, there is an interesting interplay between the zeroth law the action principle. Let us restrict ourselves to spacetimes which admit a non expanding horizon as inner boundary. Then the standard Palatini action principle is not well defined because the variation produces a nonvanishing surface term at the horizon. The necessary and sufficient condition for this surface term to vanish is precisely that the gravitational (and the electromagnetic) zeroth laws hold [26]. Consequently, the standard action principle is welldefined if inner boundaries are WIHs.
4.1.2 Phase space, symplectic structure, and angular momentum
In field theories, conserved quantities such as energy and angular momentum can be universally defined via a Hamiltonian framework: they are the numerical values of Hamiltonians generating canonical transformations corresponding to time translation and rotation symmetries. In absence of inner boundaries, it is this procedure that first led to the notion of the ADM energy and angular momentum at spatial infinity [7]. At null infinity, it can also be used to define fluxes of Bondi energy and angular momentum across regions of \({{\mathcal I}^ +}\) [33], and values of these quantities associated with any crosssection of \({{\mathcal I}^ +}\) [18, 185].
Two Hamiltonian frameworks are available. The first uses a covariant phase space which consists of the solutions to field equations which satisfy the required boundary conditions [26, 15]. Here the calculations are simplest if one uses a first order formalism for gravity, so that the basic gravitational variables are orthonormal tetrads and Lorentz connections. The second uses a canonical phase space consisting of initial data on a Cauchy slice M of \({\mathcal M}\) [55]. In the gravitational sector, this description is based on the standard ADM variables. Since the conceptual structure underlying the main calculation and the final results are the same, the details of the formalism are not important. For definiteness, in the main discussion, we will use the covariant phase space and indicate the technical modifications needed in the canonical picture at the end.
The phase space Γ is naturally endowed with a (pre)symplectic structure Ω — a closed 2form (whose degenerate directions correspond to infinitesimal gauge motions). Given any two vector fields (i.e., infinitesimal variations) δ_{1} and δ_{2} on Γ, the action Ω(δ_{1}, δ_{2}) of the symplectic 2form on them provides a function on Γ. A vector field X on Γ is said to be a Hamiltonian vector field (i.e., to generate an infinitesimal canonical transformation) if and only if \({{\mathcal L}_X}\Omega = 0\). Since the phase space is topologically trivial, it follows that this condition holds if and only if there is a function H on Γ such that Ω(δ, X) = δH for all vector fields δ. The function H is called a Hamiltonian and X its Hamiltonian vector field; alternatively, H is said to generate the infinitesimal canonical transformation X.
Since we are interested in energy and angular momentum, the infinitesimal canonical transformations X will correspond to time translations and rotations. As in any generally covariant theory, when the constraints are satisfied, values of Hamiltonians generating such diffeomorphisms can be expressed purely as surface terms. In the present case, the relevant surfaces are the sphere at infinity and the spherical section S = M ∩ Δ of the horizon. Thus the numerical values of Hamiltonians now consist of two terms: a term at infinity and a term at the horizon. The terms at infinity reproduce the ADM formulas for energy and angular momentum. The terms at the horizon define the energy and angular momentum of the WIH.

The Hamiltonian J ^{(φ)}
It follows from Equation (31) and (32) that the total Hamiltonian generating the rotation along φ^{ a } is the difference between the ADM and the horizon angular momenta (apart from a sign which is an artifact of conventions). Thus, it can be interpreted as the angular momentum of physical fields in the spacetime region \({\mathcal M}\) outside the black hole.

Relation to the Komar integral
If φ^{ a } happens to be a spacetime Killing field in a neighborhood of Δ, then J_{Δ} agrees with the Komar integral of φ^{ a } [15]. If φ^{ a } is a global, spacetime Killing field, then both \(J_{{\rm{ADM}}}^{(\phi)}\) as well as J_{Δ} agree with the Komar integral, whence the total Hamiltonian J^{(}^{Δ)} vanishes identically. Since the fields in the spacetime region \({\mathcal M}\) are all axisymmetric in this case, this is just what one would expect from the definition of J^{(φ)}.

J _{ Δ } for general axial fields φ ^{ a }
If the vector field φ^{ a } is tangential to crosssections of Δ, J^{(φ)} continues to the generator of the canonical transformation corresponding to rotations along φ^{ a }, even if its restriction \({{\tilde \varphi}^a}\) to Δ does not agree with the axial symmetry φ^{ a } of horizon geometries of our phase space fields. However, there is an infinity of such vector fields \({{\tilde \varphi}^a}\) and there is no physical reason to identify the surface term J_{Δ} arising from any one of them with the horizon angular momentum.

Inclusion of gauge fields
If nontrivial gauge fields are present at the horizon, Equation (32) is incomplete. The horizon angular momentum J_{Δ} is still an integral over S; however it now contains an additional term involving the Maxwell field. Thus J_{Δ} contains not only the ‘bare’ angular momentum but also a contribution from its electromagnetic hair (see [15] for details).

Canonical phase space
The conceptual part of the above discussion does not change if one uses the canonical phase space [55] in place of the covariant. However, now the generator of the canonical transformation corresponding to rotations has a volume term in addition to the two surface terms discussed above. However, on the constraint surface the volume term vanishes and the numerical value of the Hamiltonian reduces to the two surface terms discussed above.
4.1.3 Energy, mass, and the first law
However there is subtlety: Unlike in the angular momentum calculation where φ^{ a } is required to approach a fixed rotational vector ϕ^{ a } on A, the restriction of t^{ a } to Δ can not be a fixed vector field. For physical reasons, the constants and should be allowed to vary from one spacetime to another; they are to be functions on phase space. For instance, physically one expects to vanish on the Schwarzschild horizon but not on a generic Kerr horizon. In the terminology of numerical relativity, unlike ϕ^{ a }, the time translation t^{ a } must be a live vector field. As we shall see shortly, this generality is essential also for mathematical reasons: without it, evolution along t^{ a } will not be Hamiltonian!
At first sight, it may seem surprising that there exist choices of evolution vector fields t^{ a } for which no Hamiltonian exists. But in fact this phenomenon can also happen in the derivations of the ADM energy for asymptotically flat spacetimes in the absence of any black holes. Standard treatments usually consider only those t^{ a } that asymptote to the same unit time translation at infinity for all spacetimes included in the phase space. However, if we drop this requirement and choose a live t^{ a } which approaches different asymptotic timetranslations for different spacetimes, then in general there exists no Hamiltonian which generates diffeomorphisms along such a t^{ a }. Thus, the requirement that the evolution be Hamiltonian restricts permissible t^{ a }. This restriction can be traced back to the fact that there is a fixed fiducial flat metric at infinity. At the horizon, the situation is the opposite: The geometry is not fixed and this forces one to adapt t^{ a } to the spacetime under consideration, i.e., to make it live.

Relation to the ADM and Bondi energy
Under certain physically reasonable assumptions on the behavior of fields near future timelike infinity i^{+}, one can argue that, if the WIH extends all the way to i^{+}, then the difference M_{ADM} − M_{Δ} equals the energy radiated across future nullinfinity [14]. Thus, as one would expect physically, M_{Δ} is the mass that is left over after all the gravitational radiation has left the system.

Horizon angular momentum and mass
To obtain a welldefined action principle and Hamiltonian framework, it is essential to work with WIHs. However, the final expressions (32) and (40) of the horizon angular momentum and mass do not refer to the preferred null normals [ℓ] used in the transition from an NEH to a WIH. Therefore, the expressions can be used on any NEH. This fact is useful in the analysis of transition to equilibrium (Section 4.3) and numerical relativity (Section 5.1).

Generalizations of the first law
The derivation of the first law given here can be extended to allow the presence of matter fields at the horizon [26, 15]. If gauge fields are present, the expression of the angular momentum has an extra term and the first law (36) also acquires the familiar extra term ‘ΦδQ’, representing work done on the horizon in increasing its charge. Again, all quantities are defined locally on the horizon. The situation is similar in lower [23] and higher [133] spacetime dimensions. However, a key difference arises in the definition of the horizon mass. Since the uniqueness theorems for stationary black holes fail to extend beyond the EinsteinMaxwell theory in four spacetime dimensions, it is no longer possible to assign a canonical mass to the horizon. However, as we will see in Section 6, the ambiguity in the notion of the horizon mass can in fact be exploited to obtain new insights into the properties of black holes and solitons in these more general theories.
4.2 Mechanics of dynamical horizons
The variations δ in the first law (36) represent infinitesimal changes in equilibrium states of horizon geometries. In the derivation of Section 4.1, these variations relate nearby but distinct spacetimes in each of which the horizon is in equilibrium. Therefore Equation (36) is interpreted as the first law in a passive form. Physically, it is perhaps the active form of the first law that is of more direct interest where a physical process, such as the one depicted in the right panel of Figure 1 causes a transition from one equilibrium state to a nearby one. Such a law can be established in the dynamical horizon framework. In fact, one can consider fully nonequilibrium situations, allowing physical processes in a given spacetime in which there is a finite — rather than an infinitesimal — change in the state of the horizon. This leads to an integral version of the first law.
Our summary of the mechanics of DHs is divided in to three parts. In the first, we begin with some preliminaries on angular momentum. In the second, we extend the area balance law (25) by allowing more general lapse and shift functions, which leads to the integral version of the first law. In the third, we introduce the notion of horizon mass.
4.2.1 Angular momentum balance
Finally, for to be interpreted as ‘the’ angular momentum, ϕ^{ a } has to be a symmetry. An obvious possibility is that it be a Killing field of q_{ ab } on S. A more general scenario is discussed in Section 8.
4.2.2 Integral form of the first law
To obtain the area balance law, in Section 3.2 we restricted ourselves to vector fields \(\xi _{(R)}^a = {N_R}{\ell ^a}\), i.e., to lapse functions N_{ R } = ∂R and shifts \({N^a} = {N_R}{{\hat r}^a}\). We were then led to a conservation law for the Hawking mass. In the spherically symmetric context, the Hawking mass can be taken to be the physical mass of the horizon. However, as the Kerr spacetime already illustrates, in presence of rotation this interpretation is physically incorrect. Therefore, although Equation (25) continues to dictate the dynamics of the Hawking mass even in presence of rotation, a more general procedure is needed to obtain physically interesting conservation laws in this case. In the case of WIHs, the first law incorporating rotations required us to consider suitable linear combinations of ℓ^{ a } and the rotational symmetry field ϕ^{ a } on the horizon. In the same spirit, on DHs, one has to consider more general vector fields than \(\xi _{(R)}^a\), i.e., more general choices of lapses and shifts.
To summarize, Equation (48) represents an integral generalization of the first law of mechanics of weakly isolated horizons to dynamical situations in which the horizon is permitted to make a transition from a given state to one far away, not just nearby. The left side represents the flux \({\mathcal F}_{\Delta H}^t\) of the energy associated with the vector field t^{ a }, analogous to the flux of Bondi energy across a portion of null infinity. A natural question therefore arises: Can one integrate this flux to obtain an energy \(E_S^t\) which depends only on fields defined locally on the crosssection, as is possible at null infinity? As discussed in the next section, the answer is in the affirmative and the procedure leads to a canonical notion of horizon mass.
4.2.3 Horizon mass
In general relativity, the notion of energy always refers to a vector field. On DHs, the vector field is t^{ a }. Therefore, to obtain an unambiguous notion of horizon mass, we need to make a canonical choice of t^{ a } = N_{ r }ℓ^{ a } + Ωϕ^{ a }, i.e., of functions N_{ r } and Ω on H. As we saw in Section 4.1.3, on WIHs of 4dimensional EinsteinMaxwell theory, the pair (a_{Δ}, J_{Δ}) suffices to pick a canonical time translation field \(t_0^a\) on Δ. The associated horizon energy \(E_\Delta ^{{t_0}}\) is then interpreted as the mass M_{Δ}. This suggests that the pair (\(({a_S},J_S^\varphi)\)) be similarly used to make canonical choices \({N_{{r^0}}}\) and Ω^{0} on S. Thanks to the black hole uniqueness theorems of the 4dimensional EinsteinMaxwell theory, this strategy is again viable.
On weakly isolated as well as dynamical horizons, area a and angular momentum J arise as the fundamental quantities and mass is expressed in terms of them. The fact that the horizon mass is the same function of a and J in both dynamical and equilibrium situations is extremely convenient for applications to numerical relativity [34]. Conceptually, this simplicity is a direct consequence of the first law and the nontriviality lies in the existence of a balance equation (48), which makes it possible to integrate the first law.
4.3 Passage of dynamical horizons to equilibrium
In physical situations, such as a gravitational collapse or black hole mergers, one expects the dynamical horizon to approach equilibrium at late times and become isolated. Because of back scattering, generically the approach is only asymptotic. However, the back scattering is generally quite weak and in simulations, within numerical errors, equilibrium is reached at finite times. The passage to equilibrium can be studied in detail in Vaidya solutions discussed in Section 2.2.2. Moreover, in spherically symmetric examples such as these solutions, exact equilibrium can be reached at a finite time (see right panel of Figure 4). The question then arises: In these situations, do various notions introduced on dynamical horizons go over smoothly to those introduced on WIHs? This issue has been analyzed only in a preliminary fashion [56, 31]. In this section we will summarize the known results.
First, if the dynamical horizon is a FOTH, as the flux of matter and shear across H tends to zero, H becomes null and furthermore a nonexpanding horizon. By a suitable choice of null normals, it can be made weakly isolated. Conditions under which it would also become an isolated horizon are not wellunderstood. Fortunately, however, the final expressions of angular momentum and horizon mass refer only to that structure which is already available on nonexpanding horizons (although, as we saw in Section 4.1, the underlying Hamiltonian framework does require the horizon to be weakly isolated [26, 15]). Therefore, it is meaningful to ask if the angular momentum and mass defined on the DHs match with those defined on the nonexpanding horizons. In the case when the approach to equilibrium is only asymptotic, it is rather straightforward to show that the answer is in the affirmative.
In the case when the transition occurs at a finite time, the situation is somewhat subtle. First, we now have to deal with both regimes and the structures available in the two regimes are entirely different. Second, since the intrinsic metric becomes degenerate in the transition from the dynamical to isolated regimes, limits are rather delicate. In particular, the null vector field \({\ell ^a} = {{\hat \tau}^a} + {{\hat \tau}^a}\) on H diverges, while \({n^a} = {{\hat \tau}^a}  {{\hat \tau}^a}\) tends to zero at the boundary. A priori therefore, it is not at all clear that angular momentum and mass would join smoothly if the transition occurs at a finite time. However, a detailed analysis shows that the two sets of notions in fact agree.

The angular momentum and the mass M defined in the two regimes agree on the boundary between H and Δ.

The vector field \(t_0^a\) defined on H and used in the definition of mass matches with a preferred vector field \(t_0^a\) used to define mass on Δ.
This agreement provides an independent support in favor of the strategy used to introduce the notion of mass in the two regimes.
5 Applications in Numerical Relativity
By their very nature, numerical simulations of spacetimes are invariably tied to choices of coordinates, gauge conditions, dynamical variables, etc. Therefore, it is nontrivial to extract from them gauge invariant physics, especially in the strong curvature regions. Traditionally, the analytical infrastructure available for this purpose has been based on properties of the Kerr solution and its perturbations. However, a priori it is not clear if this intuition is reliable in the fully dynamical, strong curvature regime. On the numerical side, a number of significant advances have occurred in this area over the past few years. In particular, efficient algorithms have been introduced to find apparent horizons (see, e.g., [6, 168, 177]), black hole excision techniques have been successfully implemented [73, 3], and the stability of numerical codes has steadily improved [64]. To take full advantage of these ongoing improvements, one must correspondingly ‘upgrade’ the analytical infrastructure so that one can extract physics more reliably and with greater accuracy.
These considerations provided stimulus for a significant body of research at the interface of numerical relativity and the dynamical and isolated horizon frameworks. In this section, we will review the most important of these developments. Section 5.1 summarizes calculations of mass and angular momentum of black holes. Section 5.2 discusses applications to problems involving initial data. Specifically, we discuss the issue of constructing the ‘quasiequilibrium initial data’ and the calculation of the gravitational binding energy for a binary black hole problem. Section 5.3 describes how one can calculate the source multipole moments for black holes, and Section 5.4 presents a ‘practical’ approach for extracting gauge invariant waveforms. Throughout this section we assume that vacuum equations hold near horizons.
5.1 Numerical computation of black hole mass and angular momentum
As we saw in Section 4, the mechanics of IHs and DHs provides expressions of angular momentum and mass of the horizon. These expressions involve geometric quantities defined intrinsically on the IH Δ and DH H. Numerical simulations, on the other hand, deal with the 3metric \({{\bar q}_{ab}}\) and extrinsic curvature \({{\bar K}_{ab}}\) on (partial) Cauchy surfaces M. Therefore, the first task is to recast the formulas in terms of this Cauchy data.
5.1.1 Comparison with other methods

The procedure does not presuppose that the horizon geometry is precisely that of the Kerr horizon.

It is coordinate independent.

It only requires data that is intrinsic to the apparent horizon.
None of the commonly used alternatives share all three of these features.
Before the availability of the IH and DH frameworks, standard procedures of calculating angular momentum were based on properties of the Kerr geometry. The motivation comes from the common belief, based on blackhole uniqueness theorems, that a black hole created in a violent event radiates away all its higher multipole moments and as it settles down, its near horizon geometry can be approximated by that of the Kerr solution. The strategy then is to identify the geometry of S with that of a suitable member of the Kerr family and read off the corresponding angular momentum and mass parameters.
The very considerations that lead one to this strategy also show that it is not suitable in the dynamical regime where the horizon may be distorted and not wellapproximated by any Kerr horizon. For horizons which have very nearly reached equilibrium, the strategy is physically well motivated. However, even in this case, one has to find a way to match the horizon of the numerical simulation with that of a specific member in the Kerr family. This is nontrivial because the coordinate system used in the given simulation will, generically, not bear any relation to any of the standard coordinate systems used to describe the Kerr solution. Thus, one cannot just look at, say, a metric component to extract mass and angular momentum.
A semiheuristic but mostcommonly used procedure is the great circle method. It is based on an observation of the properties of the Kerr horizon made by Smarr [169] using KerrSchild coordinates. Let L_{e} be the length of the equator and Lp the length of a polar meridian on the Kerr horizon, where the equator is the coordinate great circle of maximum proper length and a polar meridian is a great circle of minimum proper length. Define a distortion parameter δ as δ = (L_{e} − L_{p})/L_{e}. The knowledge of δ, together with one other quantity such as the area, L_{e}, or L_{p}, is sufficient to find the parameters m and a of the Kerr geometry. However, difficulties arise when one wishes to use these ideas to calculate M and a for a general apparent horizon S. For, notions such as great circles, equator or polar meridian are all highly coordinate dependent. Indeed, if we represent the standard twometric on the Kerr horizon in different coordinates, the great circles in one coordinate system will not agree with great circles in the other system. Therefore, already for the Kerr horizon, two coordinate systems will lead to different answers for M and a! In certain specific situations where one has a good intuition about the coordinate system being used and the physical situation being modelled, this method can be useful as a quick way of estimating angular momentum. However, it has the conceptual drawback that it is not derived from a wellfounded, general principle and the practical drawback that it suffers from too many ambiguities. Therefore it is inadequate as a general method.
Problems associated with coordinate dependence can be satisfactorily resolved on axisymmetric horizons, even when the coordinate system used in the numerical code is not adapted to the axial symmetry. The idea is to use the orbits of the Killing vector as analogs of the lines of latitude on a metric twosphere. The analog of the equator is then the orbit of the Killing vector which has maximum proper length. This defines L_{e} in an invariant way. The north and south poles are the points where the Killing vector vanishes, and the analog of Lp is the length of a geodesic joining these two points. (Because of axial symmetry, all geodesics joining the poles will have the same length). This geodesic is necessarily perpendicular to the Killing vector. Hence one just needs to find the length of a curve joining the north and south poles which is everywhere perpendicular to the Killing orbits. With L_{e} and L_{p} defined in this coordinate invariant way, one can follow the same procedure as in the great circle method to calculate the mass and angular momentum. This procedure has been named [85] the generalized great circle method.
How does the generalized great circle method compare to that based on IHs and DHs? Since one must find the Killing vector, the first step is the same in the two cases. In the IH and DH method, one is then left simply with an integration of a component of the extrinsic curvature on the horizon. In the generalized great circle method, by contrast, one has to determine the orbit of the Killing vector with maximum length and also to calculate the length of a curve joining the poles which is everywhere orthogonal to the Killing orbits. Numerically, this requires more work and the numerical errors are at least as large as those in the IHDH method. Thus, even if one ignores conceptual considerations involving the fundamental meaning of conserved quantities, and furthermore restricts oneself to the nondynamical regime, the practical simplicity of the great circle method is lost when it is made coordinate invariant. To summarize, conceptually, Equations (59) and (60) provide the fundamental definitions of angular momentum and mass, while the great circle method provides a quick way of estimating these quantities in suitable situations. By comparing with Equations (59) and (60), one can calculate errors and sharpen intuition on the reliability of the great circle method.
A completely different approach to finding the mass and angular momentum of a black hole in a numerical solution is to use the concept of a Killing horizon. Assume the existence of Killing vectors in the neighborhood of the horizon so that mass and angular momentum are defined as the appropriate Komar integrals. This method is coordinate independent and does not assume, at least for angular momentum, that the near horizon geometry is isometric with the Kerr geometry. But it has two disadvantages. First, since the Komar integral can involve derivatives of the Killing field away from the horizon, one has to find the Killing fields in a neighborhood of the horizon. Second, existence of such a stationary Killing vector is a strong assumption; it will not be satisfied in the dynamical regime. Even when the Killing field exists, computationally it is much more expensive to find it in a neighborhood of the horizon rather than the horizon itself. Finally, it is not a priori clear how the stationary Killing vector is to be normalized if it is only known in a neighborhood of the horizon. In a precise sense, the isolated horizon framework extracts just the minimum amount of information from a Killing horizon in order to carry out the Hamiltonian analysis and define conserved quantities by bypassing these obstacles.
5.2 Initial data
In order to accurately calculate the gravitational waveforms for, say, the coalescence of binary black holes, one must begin with astrophysically relevant initial data. While there has been some progress on the construction of such data, the general problem is yet to be solved (see, e.g., [70] for a recent review). However, there has been notable progress in the case of black holes which are in quasiequilibrium. Physically, this situation arises when the black holes are sufficiently far apart for their orbits to be quasiperiodic. In his section, we will first summarize this development [72, 124] and then review an approach to the calculation of the binding energy in the initial data. The discussion is based on the IH framework.
5.2.1 Boundary conditions at the inner boundary
Consider the problem of constructing initial data (\({\bar q_{ab}},{\bar K_{ab}}\)) on M, representing a binary black hole system. This problem has two distinct aspects. The first has to do with the inner boundaries. A natural avenue to handle the singularities is to ‘excise’ the region contained in each black hole (see, e.g., [3, 73]). However, this procedure creates inner boundaries on M and one must specify suitable boundary conditions there. The boundary conditions should be appropriate for the elliptic system of constraint equations, and they should also capture the idea that the excised region represents black holes which have certain physical parameters and which are in quasiequilibrium at the ‘instant’ represented by M. The second aspect of the problem is the choice of the free data in the bulk. To be of physical interest, not only must the free data satisfy the appropriate boundary conditions, but the values in the bulk must also have certain properties. For example, we might want the black holes to move in approximately circular orbits around each other, and require that there be only a minimal amount of spurious gravitational radiation in the initial data. The black holes would then remain approximately isolated for a sufficiently long time, and orbit around each other before finally coalescing.
While a fully satisfactory method of prescribing such initial data is still lacking, there has been significant progress in recent years. When the black holes are far apart and moving on approximately circular orbits, one might expect the trajectory of the black holes to lie along an approximate helical Killing vector [53, 91, 103, 104, 4]. Using concepts from the helical Killing vector approximation and working in the conformal thinsandwich decomposition of the initial data [192], Cook has introduced the ‘quasiequilibrium’ boundary conditions which require that each of the black holes be in instantaneous equilibrium [72]; see also [190, 74] for a similar approach. The relation between these quasiequilibrium boundary conditions and the isolated horizon formalism has also been recently studied [124].
In this section, we consider only the first aspect mentioned above, namely the inner boundaries. Physically, the quasiequilibrium approximation ought to be valid for time intervals much smaller than other dynamical time scales in the problem, and the framework assumes only that the approximation holds infinitesimally ‘off M’. So, in this section, the type II NEH Δ will be an infinitesimal world tube of apparent horizons. We assume that there is an axial symmetry vector ϕ^{ a } on the horizon, although, as discussed in Section 8, this assumption can be weakened.
Up to this point, the considerations are general in the sense that they are not tied to a particular method of solving the initial value problem. However, for the quasiequilibrium problem, it is the conformal thinsandwich method [192, 70] that appears to be best suited. This approach is based on the conformal method [144, 191] where we write the 3metric as \({{\bar q}_{ab}} = {\psi ^4}{{\hat q}_{ab}}\). The free data consists of the conformal 3metric \({{\hat q}_{ab}}\), its time derivative \({{\mathcal L}_t}{{\hat q}_{ab}}\), the lapse a, and the trace of the extrinsic curvature \({\bar K}\). Given this free data, the remaining quantities, namely the conformal factor and the shift, are determined by elliptic equations provided appropriate boundary conditions are specified for them on the horizon^{6}. It turns out [124] that the horizon conditions (63) are welltailored for this purpose. While the issue of existence and uniqueness of solutions using these boundary conditions has not been proven, it is often the case that numerical calculations are convergent and the resulting solutions are well behaved. Thus, these conditions might therefore be sufficient from a practical point of view.
In the above discussion, the free data consisted of (\({{\hat q}_{ab}},{{\mathcal L}_t}{{\hat q}_{ab}},\alpha,\bar K\)) and one solved elliptic equations for (ψ, β^{ a }). However, it is common to consider an enlarged initial value problem by taking \({{\mathcal L}_t}\bar K\) as part of the free data (usually set to zero) and solving an elliptic equation for α. We now need to prescribe an additional boundary condition for a. It turns out that this can be done by using WIHs, i.e., by bringing in surface gravity, which did not play any role so far. From the definition of surface gravity in Equations (7, 8), it is clear that the expression for κ will involve a time derivative; in particular, it turns out to involve the time derivative of a. It can be shown that by choosing \({{\mathcal L}_t}\alpha\) on S (e.g., by taking \({{\mathcal L}_t}\alpha = 0\)) and requiring surface gravity to be constant on S and equal to κ_{Kerr}, one obtains a suitable boundary condition for a. (The freedom to choose freely the function \({{\mathcal L}_t}\alpha\) mirrors the fact that fixing surface gravity does not uniquely fix the rescaling freedom of the null normal.) Note that κ is required to be constant only on S, not on Δ. To ask it to be constant on Δ would require \({{\mathcal L}_t}\kappa = 0\), which in turn would restrict the second time derivative; this necessarily involves the evolution equations, and they are not part of the initial data scheme.
One may imagine using the yet stronger notion of an IH, to completely fix the value of the lapse at the horizon. But this requires solving an elliptic equation on the horizon and the relevant elliptic operator has a large kernel [16, 72]. Nonetheless, the class of initial data on which its inverse exists is infinite dimensional so that the method may be useful in practice. However, this condition would genuinely restrict the permissible initial data sets. In this sense, while the degree of isolation implied by the IH boundary condition is likely to be met in the asymptotic future, for quasiequilibrium initial data it is too strong in general. It is the WIH boundary conditions that appear to be welltailored for this application.
Finally, using methods introduced by Dain [80], a variation of the above procedure was recently introduced to establish the existence and uniqueness of solutions and to ensure that the conformal factor ψ is everywhere positive [81]. One again imposes Equation (63). However, in place of Dirichlet boundary conditions (62) on the shift, one now imposes Neumanntype conditions on certain components of β^{ a }. This method is expected to be applicable all initial data constructions relying on the conformal method. Furthermore, the result might also be of practical use in numerical constructions to ensure that the codes converge to a well behaved solution.
5.2.2 Binding energy
For initial data representing a binary black hole system, the quantity Eb = M_{adm} − M_{1} − M_{2} is called the effective binding energy, where M_{adm} is the ADM mass, and M_{1,2} are the individual masses of the two black holes. Heuristically, even in vacuum general relativity, one would expect Eb to have several components. First there is the analog of the Newtonian potential energy and the spinspin interaction, both of which may be interpreted as contributing to the binding energy. But Eb also contains contributions from kinetic energy due to momentum and orbital angular momentum of black holes, and energy in the gravitational radiation in the initial data. It is only when these are negligible that Eb is a good measure of the physical binding energy.
The first calculation of binding energy was made by Brill and Lindquist in such a context. They considered two nonspinning black holes initially at rest [63]. For large separations, they found that, in a certain mathematical sense, the leading contribution to binding energy comes just from the usual Newtonian gravitational potential. More recently, Dain [79] has extended this calculation to the case of black holes with spin and has shown that the spinspin interaction energy is correctly incorporated in the same sense.
In numerical relativity, the notion of binding energy has been used to locate sequences of quasicircular orbits. The underlying heuristic idea is to minimize Eb with respect to the proper separation between the holes, keeping the physical parameters of the black holes fixed. The value of the separation which minimizes Eb provides an estimate of sizes of stable ‘circular’ orbits [71, 39, 159]. One finds that these orbits do not exist if the orbital angular momentum is smaller than a critical value (which depends on other parameters) and uses this fact to approximately locate the ‘innermost stable circular orbit’ (ISCO). In another application, the binding energy has been used to compare different initial data sets which are meant to describe the same physical system. If the initial data sets have the same values of the black hole masses, angular momenta, linear momenta, orbital angular momenta, and relative separation, then any differences in Eb should be due only to the different radiation content. Therefore, minimization of Eb corresponds to minimization of the amount of radiation in the initial data [158].
In all these applications, it is important that the physical parameters of the black holes are calculated accurately. To illustrate the potential problems, let us return to the original BrillLindquist calculation [63]. The topology of the spatial slice is ℝ^{3} with two points (called ‘punctures’) removed. These punctures do not represent curvature singularities. Rather, each of them represents a spatial infinity of an asymptotically flat region which is hidden behind an apparent horizon. This is a generalization of the familiar EinsteinRosen bridge in the maximally extended Schwarzschild solution. The black hole masses Mi and M2 are taken to be the ADM masses of the corresponding hidden asymptotic regions. (Similarly, in [79], the angular momentum of each hole is defined to be the ADM angular momentum at the corresponding puncture.) Comparison between Eb and the Newtonian binding energy requires us to define the distance between the holes. This is taken to be the distance between the punctures in a fiducial flat background metric; the physical distance between the two punctures is infinite since they represent asymptotic ends of the spatial 3manifold. Therefore, the sense in which one recovers the Newtonian binding energy as the leading term is physically rather obscure.
Let us reexamine the procedure with an eye to extending it to a more general context. Let us begin with the definition of masses of individual holes which are taken to be the ADM masses in the respective asymptotic regions. How do we know that these are the physically appropriate quantities for calculating the potential energy? Furthermore, there exist initial data sets (e.g., Misner data [150, 151]) in which each black hole does not have separate asymptotic regions; there are only two common asymptotic regions connected by two wormholes. For these cases, the use of ADM quantities is clearly inadequate. The same limitations apply to the assignment of angular momentum.
A natural way to resolve these conceptual issues is to let the horizons, rather than the punctures, represent black holes. Thus, in the spirit of the IH and DH frameworks, it is more appropriate to calculate the mass and angular momentum using expressions (60, 59) which involve the geometry of the two apparent horizons. (This requires the apparent horizons to be axisymmetric, but this limitation could be overcome following the procedure suggested in Section 8.) Similarly, the physical distance between the black holes should be the smallest proper distance between the two apparent horizons. To test the viability of this approach, one can repeat the original BrillLindquist calculation in the limit when the black holes are far apart [136]. One first approximately locates the apparent horizon, finds the proper distance d between them, and then calculates the horizon masses (and thereby E_{b}) as a power series in 1/d. The leadingorder term does turn out to be the usual Newtonian gravitational potential energy but the higher order terms are now different from [63]. Similarly, it would be interesting to repeat this for the case of spinning black holes and recover the leading order term of [79] within this more physical paradigm using, say, the BowenYork initial data. This result would reenforce the physical ideas and the approach can then be used as a well defined method for calculating binding energy in more general situations.
5.2.2.1 Remark
5.3 Black hole multipole moments
Let us begin by considering the notion of source and field multipole moments in Newtonian gravity and in flat space electrodynamics. Field multipoles appear in the asymptotic expansions of the fields at infinity while the source multipoles are defined in terms of the mass or charge distribution of the source. These two sets of multipole moments are related to each other via field equations. The same is true in linearized general relativity [165]. Also, the well known quadrupole formula relates the rate of change of the quadrupole moment to the energy flux at infinity due to gravitational waves.
The situation in exact, nonlinear general relativity is not so simple. Using the geometric structure of the gravitational field near spatial infinity, the field multipoles for stationary spacetimes were studied by Geroch, Hansen, Beig, Simon, and others [97, 107, 43, 41, 40, 42]. They found that, just as in electrodynamics, the gravitational field has two sets of multipoles: The mass multipoles M_{ n } and the angular momentum multipoles J_{ n }. The knowledge of these multipole moments suffices to determine the spacetime geometry in a neighborhood of spatial infinity [41, 40, 42]. Thus, at least in the context of stationary spacetimes, the field multipole moments are well understood. However, in problems involving equations of motion, it is the source multipoles that are of more direct interest. It is natural to ask if these can be defined for black holes.
The answer is affirmative for black holes in equilibrium, which can be represented by isolated horizons. For simplicity, we will consider only type II (i.e., axisymmetric), nonextremal isolated horizons in vacuum. The source multipoles are two sets M_{ n } and J_{ n } of numbers which provide a diffeomorphism invariant characterization of the horizon geometry.

The angular momentum monopole vanishes, J_{0} = 0. (This is because we are considering only smooth fields. When ω_{ a } has a wire singularity similar to the Dirac monopole in electrodynamics, i.e., when the horizon has NUT charge, then J_{0} would be nonzero.)

The mass dipole vanishes, M_{1} = 0. This tells us that we are in the rest frame of the horizon.

For a type I (i.e., spherically symmetric) isolated horizon, Im[Ψ_{2}] = 0 and Re[Ψ_{2}] is constant. This implies that M_{0} is the only nonzero multipole moment.

If the horizon is symmetric under reflections as in the Kerr solution (i.e., Ψ_{2} ↦ Ψ_{2}* when ζ ↦ −ζ), then M_{ n } vanishes for odd n while J_{ n } vanishes for even n.
There is a oneone correspondence between the multipole moments {J_{ n }, M_{ n }} and the geometry of the horizon: Given the horizon area a_{Δ} and multipoles {J_{ n }, M_{ n }}, assuming the multipoles satisfy a convergence condition for large n, we can reconstruct a nonextremal isolated horizon geometry (Δ, q_{ ab }, \({{\mathcal D}_a}\)), uniquely up to diffeomorphisms, such that the area of Δ is a_{Δ} and its multipole moments are the given {J_{ n }, M_{ n }}. In vacuum, stationary spacetimes, the multipole moments also suffice to determine the spacetime geometry in the vicinity of the horizon. Thus, we see that the horizon multipole moments have the expected properties. In the extremal case, because of a surprising uniqueness result [143], the M_{ n }, J_{ n } are universal — the same as those on the extremal Kerr IH and the ‘true multipoles’ which can distinguish one extremal IH from another are constructed using different fields in place of Ψ_{2} [24]. Finally, note that there is no apriori reason for these source multipoles to agree with the field multipoles at infinity; there could be matter fields or radiation outside the horizon which contribute to the field multipoles at infinity. The two sets of quantities need not agree even for stationary, vacuum spacetimes because of contributions from the gravitational field in the exterior region. For the Kerr spacetime, the source and field moments are indeed different for n ≥ 2. However, the difference is small for low n [24].
See [24] for further discussion and for the inclusion of electromagnetic fields, and [48] for the numerical implementation of these results.
5.4 Waveform extraction
The prospect of receiving gravitational waves offers exciting opportunities for astrophysics and for testing the dynamical, strong field regime of general relativity (see, e.g., [78]). Black holes are among the most promising sources both for terrestrial and spacebased observatories. Extracting gravitational waveform resulting from, say, gravitational collapse [153] or black hole mergers [138] is one of the important goals of numerical relativity. The eventual aim is to provide waveforms which, in conjunction with gravitational wave detectors, can be used to study the astrophysics of these gravitational wave sources. In this section, we summarize a method of waveform extraction based on the isolated horizon formalism.
The theory of gravitational radiation in exact general relativity is based on structures defined at future null infinity \({{\mathcal I}^ +}\). In particular, associated with every crosssection of \({{\mathcal I}^ +}\) — which represents a retarded ‘instant of time’ — there is a well defined notion of mass, introduced by Bondi [54], which decreases as gravitational radiation flows across \({{\mathcal I}^ +}\). On the other hand, except for those based on conformal methods, most simulations only deal with a finite portion of spacetime and thus have no direct access to \({{\mathcal I}^ +}\). Instead, one usually uses scalars such as the Weyl tensor component Ψ_{4} to define the radiation waveform. However, Ψ_{4} depends on the choice of a null tetrad as well as coordinates. While a natural tetrad is available for the perturbation theory on Kerr back ground, this is not true in general. In this section we will sketch an approach to solve both these problems using the isolated horizon framework: One can construct an approximate analog of \({{\mathcal I}^ +}\) for a suitable, finite portion of spacetime, and introduce a geometrically defined null tetrad and coordinates to extract gauge invariant, radiative information from simulations.
Our procedure is analogous to the one used at null infinity to construct the Bonditype coordinates starting from \({{\mathcal I}^ +}\). Let us assume that (Δ, [ℓ]) is an IH and consider its preferred foliation (i.e., the “rest frame” of the horizon) defined in Section 2.1.3. Using terminology from null infinity, we will refer to the leaves of the foliation as the good cuts of A. Pick a null normal ℓ^{ a } from the [ℓ^{ a }]; this can be done, e.g., by choosing a specific value for surface gravity. Let n_{ a } be the unique 1form satisfying ℓ^{ a }n_{ a } = −1 and which is orthogonal to the good cuts. Let (v, θ, φ) be coordinates on Δ such that v is an affine parameter along ℓ^{ a }, and the good cuts are given by surfaces of constant v. Here θ and φ are coordinates on the good cut satisfying \({{\mathcal L}_\ell}\theta = 0\) and \({{\mathcal L}_\ell}\phi = 0\). Next, consider past null geodesics emanating from the good cuts with −n^{ a } as their initial tangent vector. Let the null geodesics be affinely parameterized and let the affine parameter be called r and set r = r_{0} on Δ. Lie drag the coordinates (v, θ, φ) along null geodesics. This leads to a set of coordinates (r, v, θ, φ) in a neighborhood of the horizon. The only arbitrariness in this coordinate system is in the choice of (θ, φ) on one good cut and the choice of a number r_{0}. Using vacuum Einstein’s equations, one can obtain a systematic expansion of the metric in inverse powers of (r − r_{0}) [12].
Numerically, it might be possible to adapt existing event horizon finders to locate the outgoing past null cone of a crosssection of the horizon. This is because event horizon trackers also track null surfaces backward in time [82, 83]; the event horizon is the ingoing past null surface starting from sufficiently close to future timelike infinity while here we are interested in the outgoing past directed null surface starting from an apparent horizon.
In the Schwarzschild solution, it can be shown analytically that this coordinate system covers an entire asymptotic region. In the Kerr spacetime, the domain of validity is not explicitly known, but in a numerical implementation, this procedure does not encounter geodesic crossing in the region of interest to the simulation [82]. In general spacetimes, the extraction of wave forms requires the construction to go through only along the past light cones of good cuts which lie in the distant future, whence problems with geodesiccrossing are unlikely to prevent one from covering a sufficiently large region with these coordinates. This invariantly defined structure provides a new approach to extract waveforms. First, the null tetrad presented above can be used to calculate Ψ_{2}. There is only a phase factor ambiguity (which is a function independent of v and r) inherited from the ambiguity in the choice of m^{ a } on the fiducial good cut. Second, the past null cone of a good cut at a sufficiently late time can be used as an approximate null infinity. This should enable one to calculate dynamical quantities such as the analogs of the Bondi mass and the rate of energy loss from the black hole, now on the ‘approximate’ \({{\mathcal I}^ +}\). However, a detailed framework to extract the approximate expressions for fluxes of energy and Bondi mass, with sufficient control on the errors, is yet to be developed. This is a very interesting analytical problem since its solution would provide numerical relativists with an algorithm to extract waveforms and fluxes of energy in gravitational waves in an invariant and physically reliable manner. Finally, the invariant coordinates and tetrads also enable one to compare late time results of distinct numerical simulations.
6 Applications in Mathematical Physics
For simplicity, in Section 4 we restricted our review of the laws of black hole mechanics to the EinsteinMaxwell theory. However, there is a large body of literature on black holes in more general theories with dilatonic, YangMills, Higgs, Proca, and Skyrme fields. These fields are not expected to be physically significant in the macroscopic, astrophysical world. However, they are of considerable interest from a mathematical physics perspective because their inclusion brings about qualitative, structural changes in the theory. The most dramatic of these is that the uniqueness theorems that play a central role in the EinsteinMaxwell theory are no longer valid. Consequently, the structure of these ‘colored’ or ‘hairy’ blackholes is much more complicated than those in the EinsteinMaxwell theory, and most of the work in this area has been carried out through a combination of analytic and numerical methods. By now a very large body of facts about stationary black holes with hair has accumulated. A major challenge is to unify this knowledge through a few, general principles.
The isolated horizon framework has provided surprising insights into the properties of hairy black holes in equilibrium [19, 77, 75, 26, 21, 76]. While the zeroth and first laws go through in a straightforward manner, the notion of the horizon mass now becomes much more subtle and its properties have interesting consequences. The framework also suggests a new phenomenological model of colored black holes as bound states of ordinary, uncolored black holes and solitons. This model successfully explains the qualitative behavior of these black holes, including their stability and instability, and provides unexpected quantitative relations between colored black holes and their solitonic analogs.
In these theories, matter fields are minimally coupled to gravity. If one allows nonminimal couplings, the first law itself is modified in a striking fashion: Entropy is no longer given by the horizon area but depends also on the matter fields. For globally stationary spacetimes admitting bifurcate Killing horizons, this result was first established by Jacobson, Kang, and Myers [123], and by Iyer and Wald [183, 184] for a general class of theories. For scalar fields nonminimally coupled to gravity, it has been generalized in the setting of Type II WIHs [22]. While the procedure does involve certain technical subtleties, the overall strategy is identical to that summarized in Section 4.1. Therefore we will not review this issue in detail.
This section is divided into two parts. In the first, we discuss the mechanics of weakly isolated horizons in presence of dilatons and YangMills fields. In the second, we discuss three applications. This entire discussion is in the framework of isolated horizons because the effects of these fields on black hole dynamics remain largely unexplored.
6.1 Beyond EinsteinMaxwell theory
Our primary purpose in this section is to illustrate the differences from the EinsteinMaxwell theory. These stem from ‘internal charges’ and other ‘quantum numbers’ that are unrelated to angular momentum. Therefore, for simplicity, we will restrict ourselves to nonrotating weakly isolated horizons. Extension to include angular momentum is rather straightforward.
6.1.1 Dilatonic couplings
6.1.2 YangMills fields
In the EinsteinMaxwell theory, with and without the dilaton, one can not construct a quantity with the dimensions of mass from the fundamental constants in the theory. The situation is different for EinsteinYangMills theory because the coupling constant g has dimensions (LM)^{−1/2}. The existence of such a dimensionful quantity has interesting consequences.
For simplicity, we will restrict ourselves to SU(2) YangMills fields, but results based on the isolated horizon framework go through for general compact groups [26]. Let us begin with a summary of the known static solutions. First, the ReissnerNordström family constitutes a continuous 2parameter set of static solutions of the EinsteinYangMills theory, labelled by (\({a_\Delta},Q_\Delta ^{{\rm{YM}}}\)). In addition, there is a 1parameter family of ‘embedded Abelian solutions’ with (a fixed) magnetic charge \(P_\Delta ^0\), labelled by (\({a_\Delta},P_\Delta ^0\)). Finally, there are families of ‘genuinely nonAbelian solutions’. For these, the analog of the Israel theorem for EinsteinMaxwell theory fails to hold [127, 128, 129]; the theory admits static solutions which need not be spherically symmetric. In particular, an infinite family of solutions labelled by two integers (n_{1}, n_{2}) is known to exist. All static, spherically symmetric solutions are known and they correspond to the infinite subfamily (n_{1}, n_{2} = 0), labelled by a single integer. However, the two parameter family is obtained using a specific ansatz, and other static solutions also exist. Although the available information on the static sector is quite rich, in contrast to the EinsteinMaxwelldilaton system, one is still rather far from having complete control.
A more significant difference from the Abelian case is that, because the uniqueness theorem fails, one can not use the static solutions to introduce a canonical function κ_{0} on the entire phase space, whence as in the dilatonic case, there is no longer a canonical horizon mass M_{Δ} function on the entire phase space. In the next Section 6.2 we will see that it is nonetheless possible to introduce an extremely useful notion of the horizon mass for each static sequence.
6.2 Structure of colored, static black holes
We will briefly summarize research in three areas in which the isolated horizon framework has been used to illuminate the structure of static, colored black holes and associated solitons^{7}.
6.2.1 Horizon mass
Let us begin with EinsteinYangMills theory considered in the last Section 6.1. As we saw, the ADM mass fails to be a good measure of the horizon mass for colored black holes. The failure of black hole uniqueness theorems also prevents the isolated horizon framework from providing a canonical notion of horizon mass on the full phase space. However, one can repeat the strategy used for dilatonic black holes to define horizon mass unambiguously for the static solutions [77, 26].
6.2.2 Phenomenological model of colored black holes
Isolated horizon considerations suggested the following simple heuristic model of colored black holes [21]: A colored black hole with quantum numbers \({\vec n}\) should be thought of as ‘bound states’ of a ordinary (colorless) black hole and a soliton with color quantum numbers \({\vec n}\), where \({\vec n}\) can be more general than considered so far. Thus the idea is that an uncolored black hole is ‘bare’ and becomes ‘colored’ when ‘dressed’ by the soliton.

For any fixed value of R_{Δ} and of all quantum numbers except n, the horizon mass and surface gravity decrease monotonically with n.

For fixed values of all quantum numbers \({\vec n}\), the horizon mass \(M_\Delta ^{(\vec n)}({R_\Delta})\) is nonnegative, vanishing if and only if R_{Δ} vanishes, and increases monotonically with \({R_\Delta}.{\beta _{(\vec n)}}\) is positive and bounded above by 1.

For fixed \({\vec n}\), the binding energy decreases as the horizon area increases.
The predictions for fixed \({\vec n}\) have recently been verified beyond spherical symmetry: for the distorted, axially symmetric EinsteinYangMills solutions in [132] and for the distorted ‘dipole’ solutions in EinsteinYangMillsHiggs solutions in [109]. Taken together, the predictions of this model can account for all the qualitative features of the plots of the horizon mass and surface gravity as functions of the horizon radius and quantum numbers. More importantly, they have interesting implications on the stability properties of colored black holes.
 1.
All the colored black holes on the nth branch have the same number (namely, 2n) of unstable modes as the nth soliton. (The detailed features of these unstable modes can differ especially because they are subject to different boundary conditions in the two cases.)
 2.
For a given n, colored black holes with larger horizon area are less unstable. For a given horizon area, colored black holes with higher value of n are more unstable.
 3.The ‘available energy’ for the process is given byPart of it is absorbed by the black hole so that its horizon area increases and the rest is radiated away to infinity. Note that \(E_{{\rm{available}}}^{(n)}\) can be computed knowing just the initial configuration.$$E_{{\rm{available}}}^{(n)} = M_{{\rm{sol}}}^{(n)}  \vert E_{{\rm{binding}}}^{{\rm{initial}}}\vert.$$(82)
 4.
In the process the horizon area necessarily increases. Therefore, the energy radiated to infinity is strictly less than \(E_{{\rm{available}}}^{(n)}\).
Expectation 1 of the model is known to be correct [172]. Prediction 2 has been shown to be correct in the n = 1, colored black holes in the sense that the frequency of all unstable modes is a decreasing function of the area, whence the characteristic decay time grows with area [181, 51]. To our knowledge a detailed analysis of instability, needed to test Predictions 3 and 4 are yet to be made.
Finally, the notion of horizon mass and the associated stability analysis has also provided an ‘explanation’ of the following fact which, at first sight, seems puzzling. Consider the ‘embedded Abelian black holes’ which are solutions to EinsteinYangMills equations with a specific magnetic charge \(P_\Delta ^0\). They are isometric to a family of magnetically charged ReissnerNordström solutions and the isometry maps the Maxwell field strength to the YangMills field strength. The only difference is in the form of the connection; while the YangMills potential is supported on a trivial SU(2) bundle, the Maxwell potential requires a nontrivial U(1) bundle. Therefore, it comes as an initial surprise that the solution is stable in the EinsteinMaxwell theory but unstable in the EinsteinYangMills theory [52, 61]. It turns out that this difference is naturally explained by the WIH framework. Since the solutions are isometric, their ADM mass is the same. However, since the horizon mass arises from Hamiltonian considerations, it is theory dependent: It is lower in the EinsteinYangMills theory than in the EinsteinMaxwell theory! Thus, from the EinsteinYangMills perspective, part of the ADM mass is carried by the soliton and there is positive \(E_{{\rm{available}}}^{YM}\) which can be radiated away to infinity. In the EinsteinMaxwell theory, \(E_{{\rm{available}}}^{{\rm{EM}}}\) is zero. The stability analysis sketched above therefore implies that the solution should be unstable in the EinsteinYangMills theory but stable in the EinsteinMaxwell theory. This is another striking example of the usefulness of the notion of the horizon mass.
6.2.3 More general theories
7 Applications in Quantum Gravity
As discussed in the introduction, laws of black hole mechanics, discovered in the early seventies, provided a concrete challenge to candidate quantum theories of gravity: Account for the thermodynamic, black hole entropy through a detailed, statistical mechanical counting of appropriate microstates. Indeed, this is essentially the only concrete quantitative hint we have had about the nature of quantum spacetime geometry. The isolated horizon framework has been used to address this issue systematically and has led to the only available detailed calculations within a fullfledged approach to quantum gravity that encompass realistic black holes (which carry no or negligible gauge charges and may be distorted). As we will discuss in Section 8, what we know about dynamical horizons does suggest that there should be interesting generalizations of these results also to nonequilibrium situations. But so far there has been no work along these lines.
7.1 Preliminaries
The relation (87) is striking and deep because it brings together the three pillars of fundamental physics — general relativity, quantum theory, and statistical mechanics. However, the argument itself is a rather hodgepodge mixture of classical and semiclassical ideas, reminiscent of the Bohr theory of atom. A natural question then is: What is the analog of the more fundamental, PauliSchrödinger theory of the hydrogen atom? More precisely, what is the statistical mechanical origin of black hole entropy? To answer this question, one has to isolate the microscopic degrees of freedom responsible for this entropy. For a classical ideal gas, these are given by the positions and momenta of all molecules; for a magnet, by the states of each individual spin at lattice sites. How do we represent the analogous microscopic degrees of freedom for a black hole? They can not be described in terms of quantum states of physical gravitons because we are dealing with black holes in equilibrium. In the approach based on weakly isolated horizons, they are captured in the quantum states of the horizon geometry. Just as one would expect from Bekenstein’s thought experiments, these degrees of freedom can interact with the exterior curved geometry, and the resulting notion of black hole entropy is tied to observers in the exterior regions.

What is the origin of the ‘elementary cells’ and why is each endowed with an area \(\ell _{{\rm{P}}1}^2\)

What is the origin of the microstates carried by each elementary cell and why are there precisely two microstates?

What does all this have to do with a black hole? Why doesn’t it apply to any 2surface, including a 2sphere in Minkowski spacetime?
An understanding of geometry of quantum WIHs provides a detailed framework which, in particular, answers these questions. The precise picture, as usual, is much more involved than that envisaged by Wheeler. Eigenvalues of area operator turn out to be discrete in quantum geometry and one can justify dividing the horizon 2sphere into elementary cells. However, there are many permissible area eigenvalues and cells need not all carry the same area. To identify horizon surface states that are responsible for entropy, one has to crucially use the WIH boundary conditions. However, the number of surface states assigned to each cell is not restricted to two. Nonetheless, Wheeler’s picture turns out to be qualitatively correct.
7.2 Quantum horizon geometry
For simplicity of presentation, in this section we will restrict ourselves to type I WIHs, i.e., the ones for which the only nonzero multipole moment is the mass monopole. The extension to include type II horizons with rotations and distortion will be briefly summarized in the next Section 7.3. Details can be found in [10, 11, 20, 8, 24].
The point of departure is the classical Hamiltonian formulation for spacetimes \({\mathcal M}\) with a type I WIH Δ as an internal boundary, with fixed area a_{0} and charges \(Q_0^\alpha\), where α runs over the number of distinct charges (Maxwell, YangMills, dilaton, …) allowed in the theory. As we noted in Section 4.1, the phase space Γ can be constructed in a number of ways, which lead to equivalent Hamiltonian frameworks and first laws. However, so far, the only known way to carry out a background independent, nonperturbative quantization is through connection variables [32].
As in Figure 6 let us begin with a partial Cauchy surface M whose internal boundary in \({\mathcal M}\) is a 2sphere crosssection S of Δ and whose asymptotic boundary is a 2sphere at spatial infinity. The configuration variable is an SU(2) connection \(A_a^i\) on M, where i takes values in the 3dimensional Liealgebra su(2) of SU(2). Just as the standard derivative operator acts on tensor fields and enables one to parallel transport vectors, the derivative operator constructed from acts on fields with internal indices and enables one to parallel transport spinors. The conjugate momentum is represented by a vector field \(P_i^a\) with density weight 1 which also takes values in su(2); it is the analog of the YangMills electric field. (In absence of a background metric, momenta always carry a density weight 1.) \(P_i^a\) can be regarded as a (density weighted) triad or a ‘squareroot’ of the intrinsic metric \({{\tilde q}_{ab}}\) on S: \({(8\pi G\gamma)^2}P_i^aP_j^b{\delta _{ij}} = \tilde q{{\tilde q}^{ab}}\), where is the Cartan Killing metric on su(2), \({\tilde q}\) is the determinant of and γ is a positive real number, called the BarberoImmirzi parameter. This parameter arises because there is a freedom in adding to Palatini action a multiple of the term which is ‘dual’ to the standard one, which does not affect the equations of motion but changes the definition of momenta. This multiple is γ. The presence of γ represents an ambiguity in quantization of geometry, analogous to the θambiguity in QCD. Just as the classical YangMills theory is insensitive to the value of θ but the quantum YangMills theory has inequivalent θsectors, classical relativity is insensitive to the value of γ but the quantum geometries based on different values of γ are (unitarily) inequivalent [94] (for details, see, e.g., [32]).
Recall next that, because of the horizon internal boundary, the symplectic structure now has an additional surface term. In the classical theory, since all fields are smooth, values of fields on the horizon are completely determined by their values in the bulk. However, a key point about field theories is that their quantum states depend on fields which are arbitrarily discontinuous. Therefore, in quantum theory, a decoupling occurs between fields in the surface and those in the bulk, and independent surface degrees of freedom emerge. These describe the geometry of the quantum horizon and are responsible for entropy.
We will conclude by summarizing the nature of geometry of the quantum horizon that results. Given any state satisfying Equation (93), the curvature F of W vanishes everywhere except at the points at which the polymer excitations in the bulk puncture S. The holonomy around each puncture is nontrivial. Consequently, the intrinsic geometry of the quantum horizon is flat except at the punctures. At each puncture, there is a deficit angle, whose value is determined by the holonomy of W around that puncture. Each deficit angle is quantized and these angles add up to 4π as in a discretized model of a 2sphere geometry. Thus, the quantum geometry of a WIH is quite different from its smooth classical geometry.
7.3 Entropy
Let us now summarize the ideas behind counting of surface microstates that leads to the expression of entropy. To incorporate dynamics in this canonical approach, we have to first construct physical states by imposing quantum Einstein equations (i.e., quantum constraints). While the procedure is technically quite involved, the result is simple to state: What matters is only the number of punctures and not their locations. To calculate entropy, then, one constructs a microcanonical ensemble as follows. Fix the number n of punctures and allow only those (nonzero) spinlabels j_{ I } and charge labels \(q_I^\alpha\) on the polymer excitations which endow the horizon with a total area in an interval (a_{0} − ϵ, a_{0} + ϵ) and charges in an interval \((Q_0^\alpha  {\epsilon ^\alpha},Q_0^\alpha + {\epsilon ^\alpha})\). (Here I = 1, 2, …, n and ϵ and ϵ^{ α } are suitably small. Their precise values will not affect the leading contribution to entropy.) We denote by \({\mathcal H}_n^{{\rm{BH}}}\) the subspace of \({\mathcal H} = {{\mathcal H}_V} \otimes {{\mathcal H}_S}\) in which the volume states Ψ_{ V } are chosen with the above restrictions on j_{ I } and \(q_I^\alpha\), and the total state Ψ satisfies the quantum horizon boundary condition as well as quantum Einstein equations. Then the desired microcanonical ensemble consists of states in \({{\mathcal H}^{{\rm{BH}}}} = {\otimes _n}{\mathcal H}_n^{{\rm{BH}}}\). Note that, because there is no contribution to the symplectic structure from matter terms, surface states in \({{\mathcal H}^{{\rm{BH}}}}\) refer only to the gravitational sector.
The next step is to calculate the entropy of this quantum, microcanonical ensemble. Note first that what matters are only the surface states. For, the ‘bulkpart’ describes, e.g., states of gravitational radiation and matter fields far away from Δ and are irrelevant for the entropy S_{Δ} of the WIH. Heuristically, the idea then is to ‘trace over’ the bulk states, construct a density matrix ρ_{BH} describing a maximumentropy mixture of surface states and calculate tr ρ_{BH} ln ρ_{BH}. As is usual in entropy calculations, this translates to the evaluation of the dimension \({\mathcal N}\) of a welldefined subspace of the surface Hilbert space, namely the linear span of those surface states which occur in ℌ^{BH}. Entropy S_{Δ} is given by ln \({\mathcal N}\).
One adopts a ‘phenomenological’ viewpoint to fix this ambiguity. In the infinite dimensional space of geometries admitting Δ as their inner boundary, one can fix one spacetime, say the Schwarzschild spacetime with mass M_{0} ≫ M_{Pl}, (or, the de Sitter spacetime with the cosmological constant \({\Lambda _0} \ll 1/\ell _{{\rm{P}}1}^2\), or, …). For agreement with semiclassical considerations in these cases, the leading contribution to entropy should be given by the HawkingBekenstein formula (87). This can happen only in the sector γ= γ_{0}. The quantum theory is now completely determined through this single constraint. We can go ahead and calculate the entropy of any other type I WIH in this theory. The result is again S_{Δ} = S_{BH}. Furthermore, in this γsector, the statistical mechanical temperature of any type I WIH is given by Hawking’s semiclassical value κℏ/(2π) [29, 135]. Thus, we can do one thought experiment — observe the temperature of one large black hole from far away — to eliminate the BarberoImmirzi ambiguity and fix the theory. This theory then predicts the correct entropy and temperature for all WIHs with a_{0} ≫ ℓ^{2}, irrespective of other parameters such as the values of the electric or dilatonic charges or the cosmological constant. An added bonus comes from the fact that the isolated horizon framework naturally incorporates not only black hole horizons but also the cosmological ones for which thermodynamical considerations are also known to apply [99]. The quantum entropy calculation is able to handle both these horizons in a single stroke, again for the same value γ= γ_{0} of the BarberoImmirzi parameter. In this sense, the prediction is robust.
Next, one can consider type II horizons which can be distorted and rotating. In this case, all the (gravitational, electromagnetic, and scalar field) multipoles are required as macroscopic parameters to fix the system of interest. Therefore, now the appropriate ensemble is determined by fixing all these multipoles to lie in a small range around given values. This ensemble can be constructed by first introducing multipole moment operators and then restricting the quantum states to lie in the subspace of the Hilbert space spanned by their eigenvectors with eigenvalues in the given intervals. Again recent work shows that the state counting yields the HawkingBekenstein formula (87) for minimally coupled matter and its modification (96) for nonminimally coupled scalar field, for the same value γ = γ_{0} of the BarberoImmirzi parameter [8, 25].
To summarize, the isolated horizon framework serves as a natural point of departure for a statistical mechanical calculation of black hole entropy based on quantum geometry. How does this detailed analysis compare with the ‘It from Bit’ scenario [187] with which we began? First, the quantum horizon boundary conditions play a key role in the construction of a consistent quantum theory of the horizon geometry. Thus, unlike in the ‘It from Bit’ scenario, the calculation pertains only to those 2spheres S which are crosssections of a WIH. One can indeed divide the horizon into elementary cells as envisaged by Wheeler: Each cell contains a single puncture. However, the area of these cells is not fixed but is dictated by the jlabel at the puncture. Furthermore, there are not just 2 but rather 2j +1 states associated with each cell. Thus, the complete theory is much more subtle than that envisaged in the ‘It from Bit’ scenario.
8 Outlook
In the last six sections, we summarized the isolated and dynamical horizon frameworks and their applications. These provide a quasilocal and more physical paradigm for describing black holes both in the equilibrium and dynamical regimes. One of the most pleasing aspects of the paradigm is that it provides a unified approach to a variety of problems involving black holes, ranging from entropy calculations in quantum gravity, to analytical issues related to numerical simulations, to properties of hairy black holes, to laws of black hole mechanics. More importantly, as summarized in Section 1, these frameworks enable one to significantly extend the known results based on Killing and event horizons, and provide brand new laws in the dynamical regime.

Isolated horizons
This is the best understood part of the new paradigm. Nonetheless, several important issues still remain. We will illustrate these with a few examples:
Black hole mechanics
Throughout, we assumed that the spacetime metric is C^{ k } (with k ≥ 3) and the topology of Δ is S^{2} × R. These assumptions rule out, by fiat, the presence of a NUT charge. To incorporate a nonzero NUT charge in black hole mechanics, one must either allow Δ to be topologically S^{3}, or allow for ‘wire singularities’ in the rotation 1form ω_{ a } on Δ. The zeroth law goes through in these more general situations. What about the first law? Arguments based on Euclidean methods [114, 146, 147] show that entropy is no longer given by the horizon area but there is also contribution due to ‘Misner strings’. However, to our knowledge, a systematic derivation in the Lorentzian regime is not yet available. Such a derivation would provide a better understanding of the physical origin of the extra terms. The covariant phase space methods used in the isolated horizon framework should be applicable in this case.

Application to numerical relativity
We saw in Section 5.4 that, in the IH framework, one can introduce an approximate analog of future null infinity \({{\mathcal I}^ +}\) and invariant coordinate systems and tetrads in its neighborhood. With this structure, it is feasible to extract waveforms and energy fluxes in a reliable manner within the standard 3 + 1 Cauchy evolution of numerical relativity, without having to do a Cauchy characteristic matching or use conformal field equations. The challenge here is to develop, on the approximate \({{\mathcal I}^ +}\), the analog of the basics of the Bondi framework [54, 33, 185] at null infinity.

Colored black holes
As discussed in Section 6, black hole uniqueness theorems of the EinsteinMaxwell theory fail once nonAbelian fields are included. For example, there are black hole solutions to the EinsteinYangMills equations with nontrivial YangMills fields whose only nonzero charge at infinity is the ADM mass. Thus, from the perspective of infinity, they are indistinguishable from the Schwarzschild solution. However, their horizon properties are quite different from those of the Schwarzschild horizon. This example suggests that perhaps the uniqueness theorems fail because of the insistence on evaluating charges at infinity. Corichi, Nucamendi, and Sudarsky [75] have conjectured that the uniqueness theorems could be restored if they are formulated in terms of all the relevant horizon charges. This is a fascinating idea and it has been pursued numerically. However, care is needed because the list of all relevant charges may not be obvious a priori. For example, in the case of static but not necessarily spherical YangMills black holes, the conjecture seemed to fail [132] until one realized that, in addition to the standard YangMills charges at the horizon, one must also include a topological, ‘winding charge’ in the list [9]. Once this charge is included, uniqueness is restored not only in the static sector of the EinsteinYangMills theory, but also when Higgs fields [109] and dilatons [131] are included. The existence of these seminumerical proofs suggests that it should be possible to establish uniqueness completely analytically. A second set of problems involves the surprising relations, e.g., between the soliton masses and horizon properties of colored black holes, obtained using isolated horizons. Extensions of these results to situations with nonzero angular momentum should be possible and may well provide yet new insights.

Quantum black holes
In the approach based on isolated horizons, the microscopic degrees of freedom responsible for the statistical mechanical entropy of black holes are directly related to the quantum geometry of horizons. Therefore, their relation to the curved spacetime geometry is clearer than in, say, the string theory calculations based on Dbranes. Therefore, one can now attempt to calculate the Hawking radiation directly in the physical spacetime as a process in which quanta of area are converted to quanta of matter. However, such a calculation is yet to be undertaken. A direct approach requires quantum field theory (of matter fields) on a quantum geometry state which is approximated by the classical black hole spacetime. Elements of this theory are now in place. The concrete open problem is the calculation of the absorption crosssection for quantum matter fields propagating on this ‘background state’. If this can be shown to equal the classical absorption crosssection to the leading order, it would follow [29] that the spectrum of the outgoing particles would be thermal at the Hawking temperature. Another, perhaps more fruitful, avenue is to introduce an effective model whose Hamiltonian captures the process by which quanta of horizon area are converted to quanta of matter. Both these approaches are geared to large black holes which can be regarded as being in equilibrium for the process under consideration, i.e., when \({a_\Delta} \gg \ell _{{\rm{P}}1}^2\). However, this approximation would fail in the Planck regime whence the approaches can not address issues related to ‘information loss’. Using ideas first developed in the context of quantum cosmology, effects of the quantum nature of geometry on the black hole singularity have recently been analyzed [17]. As in the earlier analysis of the bigbang singularity, it is found that the black hole singularity is resolved, but the classical spacetime dissolves in the Planck regime. Therefore, the familiar Penrose diagrams are no longer faithful representations of the physical situation. Suppose that, evolving through what was singularity in the classical theory, the quantum state becomes semiclassical again on the ‘other side’. Then, the indications are that information would not be lost: It would be recovered on full \({{\mathcal I}^ +}\), although observers restricted to lie in the part of spacetime which is completely determined by the data on \({{\mathcal I}^ }\) would see an approximate Hawking radiation. If on the other hand the evolved state on the ‘other side’ never becomes semiclassical, information would not be recovered on the available \({{\mathcal I}^ +}\). An outstanding open issue is which of this possibility is actually realized.


Dynamical horizons
The DH framework is less developed and the number of open issues is correspondingly higher. At least for the classical applications of the framework, these problems are more important.
Free data and multipoles
Since H is spacelike, to find the fields (q_{ ab }, K_{ ab }) which constitute the DH geometry, one has to solve just the initial value equations, subject to the condition that H admits a foliation by marginally trapped surfaces. A general solution of this problem would provide the ‘free data’ on DHs. In the case when the marginally trapped surfaces are round spheres, this problem has been analyzed by Bartnik and Isenberg [37]. As noted in Section 2.2, in this case there are no DHs in absence of matter sources. In presence of matter, one can freely specify the trace K of the extrinsic curvature and the (radial component of the) momentum density \({T_{ab}}{{\hat \tau}^a}{{\hat r}^b}\), and determine the geometry by solving a nonlinear ordinary differential equation whose solutions always exist locally. It would be interesting to analyze the necessary and sufficient conditions on the free data which guarantee that global solutions exist and the DH approaches the Schwarzschild horizon asymptotically. From the point of view of numerical relativity, a more pressing challenge is to solve the constraint equations in the vacuum case, assuming only that the marginally trapped surfaces are axisymmetric. Using the free data, as in the case of isolated horizons [24], one could define multipoles. Since Ψ_{2} is again defined unambiguously, a natural starting point is to use it as the key geometrical object as in the IH case. However, just as the Bondi mass aspect acquires shear terms in presence of gravitational radiation [54], it is likely that, in the transition from isolated to dynamical horizons, Ψ_{2} would have to be supplemented with terms involving, e.g., σ_{ ab } (and perhaps also ζ^{ a }). For instance, by adding a suitable combination of such terms, one may be able to relate the rate of change of the mass quadrupole moment with the flux of energy across H.

Geometric analysis
The dynamical horizon framework provides new inputs for the proof of Penrose inequalities which, when applied to time symmetric data (i.e., when the extrinsic curvature vanishes), say that the total (ADM) mass of spacetime must be greater than half the radius of the apparent horizon on any Cauchy slice. This conjecture was recently proved by Bray [59], and by Huisken and Ilmamen [122]. Recently, for the nontime symmetric case, BenDov has constructed an example where the apparent horizon does not satisfy this inequality [47]. This is not a contradiction with the original Penrose inequality which referred to the area of crosssections of the event horizon, however it does show that extending the results beyond timesymmetry would be quite nontrivial. The ‘flows’ which led to the area law in Section 3 and balance equations in Section 4.2.2 may be potentially useful for this purpose. This approach could lead to an inequality relating the area of certain marginally trapped surfaces (the ones connected to future time like infinity via a dynamical horizon) to the future limit of the Bondi mass. The framework also suggests a program which could shed much light on what John Wheeler called ‘the issue of the final state’: what are the final equilibrium states of a dynamical black hole and how, in detail, is this equilibrium reached? From a mathematical perspective an important step in addressing this issue is to analyze the nonlinear stability of Kerr black holes. Consider, then, a neighborhood of the initial data of the Kerr solution in an appropriate Sobolev space. One would expect the spacetime resulting from evolution of this data to admit a dynamical horizon which, in the distant future, tends to an isolated horizon with geometry that is isomorphic to that of a Kerr horizon. Can one establish that this is what happens? Can one estimate the ‘rate’ with which the Kerr geometry is approached in the asymptotic future? One avenue is to first establish that the solution admits a KerrSchild type foliation, each leaf of which admits an apparent horizon, then show that the world tube of these apparent horizons is a DH, and finally study the decay rates of fields along this DH.

Angular momentum
As we saw in Section 5, most of the current work on IHs and DHs assumes the presence of an axial symmetry φ^{ a } on the horizon. A natural question arises: Can one weaken this requirement to incorporate situations in which there is only an approximate — rather than an exact — symmetry of the horizon geometry? The answer is in the affirmative in the following sense. Recall first that the NewmanPenrose component Ψ_{2} is gauge invariant on IHs and DHs. Let \(F = {\vert{\Psi _2}\vert}^2\). (While any geometric field could be used here, F is the most natural candidate because, for IHs, Ψ_{2} encodes the horizon geometry.) If the horizon geometry admits a symmetry, the orbits of the symmetry field φ^{ a } are the level surfaces of F. More generally, let us suppose that the level surfaces of F provide a foliation of each good cut S (minus two points) of the horizon. Then, using the procedure of section 2.1 of [24], one can introduce on S a vector field \(\phi _0^a\), tangential to the foliation, which has the property that it agrees with the symmetry vector field φ^{ a } whenever the horizon geometry admits a symmetry. The procedure fails if the metric on S is at of a round sphere but should work generically. One can then use \(\phi _0^a\) to define angular momentum. On IHs this angular momentum is conserved; on DHs it satisfies the balance law of Section 4.2.2; and in terms of the initial data, angular momentum \({J^{({\phi _0})}}\) has the familiar form (59). IS this proposal viable for numerical simulations? In cases ready analyzed, it would be interesting to construct \(\phi _0^a\) d compare it with the symmetry vector field obtained via Killing transport. A better test would be provided by nonaxisymmetric Brill waves. A second issue associated with angular momentum is ether the Kerr inequality J ≤ GM^{2} can be violated in the early stages of black hole formation or merger, particularly in a nonaxisymmetric context. Equations that must hold on DHs provide no obvious obstruction [31]. Note that such an occurrence is not incompatible with the DH finally settling down to a Kerr horizon. For, there is likely to be radiation trapped between the DH and the ‘peak’ of the effective gravitational potential that could fall into the DH as time elapses, reducing its angular momentum and increasing its mass. The issue of whether a black hole can violate the Kerr inequality when it is first formed is of considerable interest to astrophysics [89]. Again, numerical simulations involving, say, Brill waves would shed considerable light on this possibility.

Black hole thermodynamics
The fact that an integral version of the first law is valid even for nonequilibrium processes, during which the horizon makes a transition from a given state to one which is far removed, has interesting thermodynamic ramifications. In nonequilibrium thermodynamical processes, in general the system does not have time to come to equilibrium, whence there is no canonical notion of its temperature. Therefore, while one can still interpret the difference E_{2} − E_{1} − (work) as the heat ΔQ absorbed by the system, in general there is no longer a clean split ΔQ = TΔS of this term into a temperature part and a change in entropy part. If the process is such that the system remains close to equilibrium throughout the process, i.e., can be thought of as making continuous transitions between a series of equilibrium states, then the difference can be expressed as ∫ TdS, where the temperature T varies slowly during the transition. The situation on dynamical horizons is analogous. It is only when the horizon geometry is changing slowly that the effective surface gravity \({\bar \kappa}\) of Section 4.2.2 would be a good measure of temperature, and the horizon area a good measure of entropy (see Section 5.3 of [31]). These restricted situations are nonetheless very interesting. Can the black hole entropy derivations based on counting of microstates, such as those of [10], be extended to such DHs? In the case of event horizons one would not expect such a procedure to be meaningful because, as we saw in Equation 2.2.2, an event horizon can be formed and grow in a flat space region in anticipation of a future gravitational collapse. It is difficult to imagine how a quasilocal counting of microstates can account for this phenomenon.

Perhaps the most surprising aspect of the current status of the theory of black holes is that so little is known about their properties in the fully dynamical and nonlinear regime of general relativity. Indeed, we do not even have a fully satisfactory definition of a dynamical black hole. Traditionally, one uses event horizons. But as we discussed in detail, they have several undesirable features. First, they are defined only in spacetimes where one can unambiguously identify infinity. Even in these restricted contexts, event horizons are teleological, can form in a flat region of spacetime and grow even though there is no flux of energy of any kind across them. When astronomers tell us that there is a black hole in the center of Milky Way, they are certainly not referring to event horizons.
Numerical simulations [48, 102] suggest that the outermost marginally trapped worldtubes become dynamical horizons soon after they are formed. As we saw, dynamical horizons have a number of attractive properties that overcome the limitations of event horizons: they are defined quasilocally, can not be formed in flat spacetime, and their growth is dictated by balance laws with direct physical interpretation. Physically, then, dynamical horizons satisfying the additional physical condition \({{\mathcal L}_n}{\Theta _{(\ell)}} < 0\) (i.e., SFOTHs) appear to be good candidates to represent the surface of a black hole. But so far, our understanding of their uniqueness is rather limited. If a canonical dynamical horizon could be singled out by imposing physically reasonable conditions, one could use it as the physical representation of an evolving black hole.
A plausibility argument for the existence of a canonical dynamical horizon was given by Hayward. Note first that on physical grounds it seems natural to associate a black hole with a connected, trapped region \({\mathcal T}\) in spacetime (see Section 2.2.1). Hayward [117] sketched a proof that, under seemingly natural but technically strong conditions, the dynamical portion of its boundary, \(\partial {\mathcal T}\), would be a dynamical horizon H. This H could serve as the canonical representation of the surface of an evolving black hole. However, it is not clear whether Hayward’s assumptions are not too strong. To illustrate the concern, let us consider a single black hole. Then, Hayward’s argument implies that there are no trapped surfaces outside H. On the other hand there has been a general expectation in the community that, given any point in the interior of the event horizon, there passes a (marginally) trapped surface through it (see, e.g., [86]). This would imply that the boundary of the trapped region is the event horizon which, being null, can not qualify as a dynamical horizon. However, to our knowledge, this result has not been firmly established. But it is clear that this expectation contradicts the conclusion based on Hayward’s arguments. Which of these two expectations is correct? It is surprising that such a basic issue is still unresolved. The primary reason is that very little is known about trapped and marginally trapped surfaces which fail to be spherical symmetric. Because of this, we do not know the boundary of the trapped region even in the Vaidya solution.
If it should turn out that the second expectation is correct, one would conclude that Hayward’s assumptions on the properties of the boundary of the trapped region are not met in physically interesting situations. However, this would not rule out the possibility of singling out a canonical dynamical horizon through some other conditions (as, e.g., in the Vaidya solution). But since this dynamical horizon would not be the boundary of the trapped region, one would be led to conclude that in the dynamical and fully nonlinear regime, one has to give up the idea that there is a single 3manifold that can be interpreted as the black hole surface without further qualifications. For certain questions and in certain situations, the dynamical horizon may be the appropriate concept, while for other questions and in different situations, the boundary of the trapped region (which may be the event horizon) may be more appropriate.
Footnotes
 1.
The situation is even more puzzling in the EinsteinYangMills theory where the right side of Equation (1) acquires an additional term, VδQ. In treatments based on stationary spacetimes, not only the YangMills charge Q, but also the potential V (the analog of Ω and κ, is evaluated at infinity [175].
 2.
 3.
Indeed, the situation is similar for black holes in equilibrium. While it is physically reasonable to restrict oneself to IHs, most results require only the WIH boundary conditions. The distinction can be important in certain applications, e.g., in finding boundary conditions on the quasiequilibrium initial data at inner horizons.
 4.
Note that we could replace \({{\bar T}_{ab}}\) with T_{ ab } because \({g_{ab}}{{\hat \tau}^a}{\varphi ^b} = 0\) Thus the cosmological constant plays no role in this section.
 5.
This formula has a different sign from that given in [85] due to a difference in the sign convention in the definition of the extrinsic curvature.
 6.
Cook’s boundary condition on the conformal factor ψ (Equation (82) in [72]) is equivalent to κ_{(ℓ)} = 0 which (in the corotating case, or more generally, when the 2metric on S is axisymmetric) reduces to \({{\mathcal L}_t}\psi = 0\) on S. The Yo et al. boundary condition on (Equation (48) of [190]) is equivalent to \({\Theta _{(\ell)}} = 0\) on S, where, however, the evolution vector field \({{\bar t}^a}\) is obtained by a superposition of two KerrSchild data.
 7.
We are grateful to Alejandro Corichi for correspondence on the recent results in this area.
Notes
Acknowledgements
We are grateful to John Baez, Chris Beetle, Alejandro Corichi, Sergio Dain, Olaf Dreyer, Jonathan Engle, Stephen Fairhurst, Greg Galloway, Sean Hayward, Jose Luis Jaramillo, Jerzy Lewandowski, Kirill Krasnov, Tomasz Pawlowski, Erik Schnetter, Deirdre Shoemaker, Daniel Sudarsky, Chris van den Broeck, and Jacek Wisniewski for collaboration on several of the results summarized in this review. We have also benefited from stimulating discussions with numerous colleagues, especially among them Marcus Ansorg, Ivan Booth, Bobby Beig, Piotr Bizoń, Piotr Chruściel, Peter Diener, Sam Finn, Éanna Flanagan, Jim Hartle, Ian Hawke, Gary Horowitz, Gerhard Huisken, Jim Isenberg, Pablo Laguna, Luis Lehner, Richard Matzner, Jorge Pullin, Oscar Reula, Bernd Schmidt, Walter Simon, Ken Smith, Josh Willis, and Jeff Winicour. This work was supported in part by the National Science Foundation grants PHY0090091, the National Science Foundation Cooperative Agreement PHY0114375, the AlbertEinsteinInstitut, the ErwinSchrödingerInstitut, the Kavli Institute of Theoretical Physics, the Alexander von Humboldt Foundation, and the Eberly research funds of Penn State.
References
 [1]Abrahams, A.M., Rezzolla, L., Rupright, M.E., Anderson, A., Anninos, P., Baumgarte, T.W., Bishop, N.T., Brandt, S.R., Browne, J.C., Camarda, K., Choptuik, M.W., Cook, G.B., Evans, C.R., Finn, L.S., Fox, G., Gómez, R., Haupt, T., Huq, M.F., Kidder, L.E., Klasky, S., Laguna, P., Landry, W., Lehner, L., Lenaghan, J., Marsa, R.L., Massnó, J., Matzner, R.A., Mitra, S., Papadopoulos, P., Parashar, M., Saied, F., Saylor, P.E., Scheel, M.A., Seidel, E., Shapiro, S.L., Shoemaker, D.M., Smarr, L.L., Szilágyi, B., Teukolsky, S.A., van Putten, M.H.P.M., Walker, P., Winicour, J., and York Jr, J.W. (The Binary Black Hole Grand Challenge Alliance), “Gravitational wave extraction and outer boundary conditions by perturbative matching”, Phys. Rev. Lett., 80, 1812–1815, (1998). For a related online version see: A.M. Abrahams, et al., (September, 1997), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9709082ADSCrossRefGoogle Scholar
 [2]Alcubierre, M., Benger, W., Brügmann, B., Lanfermann, G., Nerger, L., Seidel, E., and Takahashi, R., “3D Grazing Collision of Two Black Holes”, Phys. Rev. Lett., 87, 2711031–4, (2001). For a related online version see: M. Alcubierre, et al., (December, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0012079ADSMathSciNetCrossRefGoogle Scholar
 [3]Alcubierre, M., Brögmann, B., Pollney, D., Seidel, E., and Takahashi, R., “Black hole excision for dynamic black holes”, Phys. Rev. D, 64, 0615011–5, (2001). For a related online version see: M. Alcubierre, et al., (April, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0104020 5ADSCrossRefGoogle Scholar
 [4]Andrade, Z., Beetle, C., Blinov, A., Bromley, B., Burko, L.M., Cranor, M., Owen, R., and Price, R.H., “Periodic standingwave approximation: Overview and threedimensional scalar models”, Phys. Rev. D, 70, 0640011–14, (2003).ADSGoogle Scholar
 [5]Anninos, P., Bernstein, D., Brandt, S., Hobill, D., Seidel, E., and Smarr, L.L., “Dynamics of Black Hole Apparent Horizons”, Phys. Rev. D, 50, 3801–3819, (1994).ADSMathSciNetCrossRefGoogle Scholar
 [6]Anninos, P., Camarda, K., Libson, J., Massó, J., Seidel, E., and Suen, W.M., “Finding apparent horizons in dynamic 3D numerical spacetimes”, Phys. Rev. D, 58, 240031–12, (1998). For a related online version see: P. Anninos, et al., (September, 1996), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9609059ADSMathSciNetGoogle Scholar
 [7]Arnowitt, R., Deser, S., and Misner, C.W., “The dynamics of general relativity”, in Witten, L., ed., Gravitation: An introduction to current research, 227–265, (Wiley, New York, U.S.A., 1962).Google Scholar
 [8]Ashtekar, A., “Black Hole Entropy: Inclusion of Distortion and Angular Momentum”, (2003), [Online Presentation]: cited on 22 November 2004, http://www.phys.psu.edu/events/index.html?event_id=517.
 [9]Ashtekar, A., Personal communication to Corichi, A., Kleihaus, B., and Kunz, J., (2002).Google Scholar
 [10]Ashtekar, A., Baez, J., Corichi, A., and Krasnov, K., “Quantum geometry and black hole entropy”, Phys. Rev. Lett., 80, 904–907, (1998). For a related online version see: A. Ashtekar, et al., (1997), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9710007.ADSMathSciNetMATHCrossRefGoogle Scholar
 [11]Ashtekar, A., Baez, J., and Krasnov, K., “Quantum Geometry of Isolated Horizons and Black Hole Entropy”, Adv. Theor. Math. Phys., 4, 1–94, (2000). For a related online version see: A. Ashtekar, et al., (2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0005126.MathSciNetMATHCrossRefGoogle Scholar
 [12]Ashtekar, A., Beetle, C., Dreyer, O., Fairhurst, S., Krishnan, B., Lewandowski, J., and Wisniewski, J., “Generic isolated horizons and their applications”, Phys. Rev. Lett., 85, 3564–3567, (2000). For a related online version see: A. Ashtekar, et al., (2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0006006.ADSMathSciNetCrossRefGoogle Scholar
 [13]Ashtekar, A., Beetle, C., and Fairhurst, S., “Isolated Horizons: A Generalization of Black Hole Mechanics”, Class. Quantum Grav., 16, L1–L7, (1999). For a related online version see: A. Ashtekar, et al., (1998), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9812065.ADSMathSciNetMATHCrossRefGoogle Scholar
 [14]Ashtekar, A., Beetle, C., and Fairhurst, S., “Mechanics of isolated horizons”, Class. Quantum Grav., 17, 253–298, (2000). For a related online version see: A. Ashtekar, et al., (1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9907068.ADSMathSciNetMATHCrossRefGoogle Scholar
 [15]Ashtekar, A., Beetle, C., and Lewandowski, J., “Mechanics of rotating isolated horizons”, Phys. Rev. D, 64, 0440161–17, (2001). For a related online version see: A. Ashtekar, et al., (2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0103026.ADSMathSciNetCrossRefGoogle Scholar
 [16]Ashtekar, A., Beetle, C., and Lewandowski, J., “Geometry of generic isolated horizons”, Class. Quantum Grav., 19, 1195–1225, (2002). For a related online version see: A. Ashtekar, et al., (2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0111067.ADSMathSciNetMATHCrossRefGoogle Scholar
 [17]Ashtekar, A., and Bojowald, M., in preparation.Google Scholar
 [18]Ashtekar, A., Bombelli, L., and Reula, O.A., “Covariant phase space of asymptotically flat gravitational fields”, in Francaviglia, M., and Holm, D., eds., Mechanics, Analysis and Geometry: 200 Years after Lagrange, 417–450, NorthHolland Delta Series, (North Holland, Amsterdam, Netherlands; New York, U.S.A., 1990).Google Scholar
 [19]Ashtekar, A., and Corichi, A., “Laws governing isolated horizons: Inclusion of dilaton coupling”, Class. Quantum Grav., 17, 1317–1332, (2000). For a related online version see: A. Ashtekar, et al., (October, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9910068.ADSMathSciNetMATHCrossRefGoogle Scholar
 [20]Ashtekar, A., and Corichi, A., “Nonminimal couplings, quantum geometry and black hole entropy”, Class. Quantum Grav., 20, 4473–4484, (2003).ADSMathSciNetMATHCrossRefGoogle Scholar
 [21]Ashtekar, A., Corichi, A., and Sudarsky, D., “Hairy black holes, horizon mass and solitons”, Class. Quantum Grav., 18, 919–940, (2001). For a related online version see: A. Ashtekar, et al., (November, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0011081.ADSMathSciNetMATHCrossRefGoogle Scholar
 [22]Ashtekar, A., Corichi, A., and Sudarsky, D., “NonMinimally Coupled Scalar Fields and Isolated Horizons”, Class. Quantum Grav., 20, 3513–3425, (2003).MathSciNetMATHGoogle Scholar
 [23]Ashtekar, A., Dreyer, O., and Wisniewski, J., “Isolated Horizons in 2+1 Gravity”, Adv. Theor. Math. Phys., 6, 507–555, (2002). For a related online version see: A. Ashtekar, et al., (June, 2002), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0206024.MathSciNetMATHCrossRefGoogle Scholar
 [24]Ashtekar, A., Engle, J., Pawlowski, T., and van den Broeck, C., “Multipole moments of isolated horizons”, Class. Quantum Grav., 21, 2549–2570, (2004). For a related online version see: A. Ashtekar, et al., (January, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0401114.ADSMathSciNetMATHCrossRefGoogle Scholar
 [25]Ashtekar, A., Engle, J., and Van den Broek, C., “Quantum geometry of isolated horizons and black hole entropy: Inclusion of distortion and rotation”, (December, 2004), [Online Los Alamos Archive Preprint]: cited on 13 December 2004, http://arXiv.org/abs/grqc/0412003.
 [26]Ashtekar, A., Fairhurst, S., and Krishnan, B., “Isolated horizons: Hamiltonian evolution and the first law”, Phys. Rev. D, 62, 1040251–29, (2000). For a related online version see: A. Ashtekar, et al., (2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0005083.ADSMathSciNetCrossRefGoogle Scholar
 [27]Ashtekar, A., and Galloway, G., in preparation, (2004).Google Scholar
 [28]Ashtekar, A., Hayward, S.A., and Krishnan, B., in preparation.Google Scholar
 [29]Ashtekar, A., and Krasnov, K., “Quantum Geometry and Black Holes”, in Iyer, B., and Bhawal, B., eds., Black Holes, Gravitational Radiation and the Universe: Essays in Honor of C.V. Vishveshwara, volume 100 of Fundamental Theories of Physics, 149–170, (Kluwer, Dordrecht, Netherlands; Boston, U.S.A., 1999). For a related online version see: A. Ashtekar, et al., (April, 1998), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9804039.CrossRefGoogle Scholar
 [30]Ashtekar, A., and Krishnan, B., “Dynamical Horizons: Energy, Angular Momentum, Fluxes, and Balance Laws”, Phys. Rev. Lett., 89, 2611011–4, (2002). For a related online version see: A. Ashtekar, et al., (2002), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0207080.ADSMathSciNetMATHCrossRefGoogle Scholar
 [31]Ashtekar, A., and Krishnan, B., “Dynamical horizons and their properties”, Phys. Rev. D, 68, 1040301–25, (2003). For a related online version see: A. Ashtekar, et al., (2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0308033.ADSMathSciNetCrossRefGoogle Scholar
 [32]Ashtekar, A., and Lewandowski, J., “Background independent quantum gravity: A status report”, Class. Quantum Grav., 21, R53–R152, (2004). For a related online version see: A. Ashtekar, et al., (April, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0404018.ADSMathSciNetMATHCrossRefGoogle Scholar
 [33]Ashtekar, A., and Streubel, M., “Symplective geometry of radiative fields at null infinity”, Proc. R. Soc. London, Ser. A, 376, 585–607, (1981).ADSMathSciNetCrossRefGoogle Scholar
 [34]Baiotti, L., Hawke, I., Montero, P.J., Löffler, F., Rezzolla, L., Stergioulas, N., Font, J.A., and Seidel, E., “Threedimensional relativistic simulations of rotating neutron star collapse to a black hole”, (March, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0403029.
 [35]Bardeen, J.M., Carter, B., and Hawking, S.W., “The four laws of black hole mechanics”, Commun. Math. Phys., 31, 161–170, (1973).ADSMathSciNetMATHCrossRefGoogle Scholar
 [36]Barreira, M., Carfora, M., and Rovelli, C., “Physics with nonperturbative quantum gravity: Radiation from a quantum black hole”, Gen. Relativ. Gravit., 28, 1293–1299, (1996).ADSMathSciNetMATHCrossRefGoogle Scholar
 [37]Bartnik, R., and Isenberg, J.A., “Summary of spherically symmetric dynamical horizons”, Personal communication to A. Ashtekar.Google Scholar
 [38]Bartnik, R., and McKinnon, J., “Particlelike solutions of the EinsteinYangMills Equations”, Phys. Rev. Lett., 61, 141–144, (1988).ADSMathSciNetCrossRefGoogle Scholar
 [39]Baumgarte, T.W., “Innermost stable circular orbit of binary black holes”, Phys. Rev. D, 62, 0240181–8, (July, 2000). For a related online version see: T.W. Baumgarte, (April, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0004050.ADSMathSciNetCrossRefGoogle Scholar
 [40]Beig, R., “The multipole expansion in general relativity”, Acta Phys. Austriaca, 53, 249–270, (1981).MathSciNetGoogle Scholar
 [41]Beig, R., and Simon, W., “Proof of a multipole conjecture due to Geroch”, Commun. Math. Phys., 78, 1163–1171, (1980).MathSciNetMATHCrossRefGoogle Scholar
 [42]Beig, R., and Simon, W., “On the multipole expansion of stationary spacetimes”, Proc. R. Soc. London, Ser. A, 376, 333–341, (1981).ADSMathSciNetMATHCrossRefGoogle Scholar
 [43]Beig, R., and Simon, W., “The multipole structure of stationary spacetimes”, J. Math. Phys., 24, 1163–1171, (1983).ADSMathSciNetMATHCrossRefGoogle Scholar
 [44]Bekenstein, J.D., “Black Holes and Entropy”, Phys. Rev. D, 7, 2333–2346, (1973).ADSMathSciNetCrossRefGoogle Scholar
 [45]Bekenstein, J.D., “Generalized second law of thermodynamics in blackhole physics”, Phys. Rev. D, 9, 3292–3300, (1974).ADSCrossRefGoogle Scholar
 [46]Bekenstein, J.D., and Meisels, A., “Einstein A and B coefficients for a black hole”, Phys. Rev. D, 15, 2775–2781, (1977).ADSCrossRefGoogle Scholar
 [47]BenDov, I., “The Penrose inequality and apparent horizons”, (August, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0408066.
 [48]Beyer, F., Krishnan, B., and Schnetter, E., in preparation.Google Scholar
 [49]Bizoń, P., “Colored Black Holes”, Phys. Rev. Lett., 64, 2844–2847, (1990).ADSMathSciNetMATHCrossRefGoogle Scholar
 [50]Bizoń, P., and Chmaj, T., “Gravitating skyrmions”, Phys. Lett. B, 297, 55–62, (1992).ADSCrossRefGoogle Scholar
 [51]Bizoń, P., and Chmaj, T., “Remark on formation of colored black holes via finetuning”, Phys. Rev. D, 61, 0675011–2, (2000). For a related online version see: P. Bizoń, et al., (June, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9906070.ADSCrossRefGoogle Scholar
 [52]Bizoń, P., and Wald, R.M., “The n=1 colored black hole is unstable”, Phys. Lett. B, 267, 173–174, (1991).ADSMathSciNetCrossRefGoogle Scholar
 [53]Blackburn, J.K., and Detweiler, S., “Close blackhole binary systems”, Phys. Rev. D, 46, 2318–2333, (1992).ADSMathSciNetCrossRefGoogle Scholar
 [54]Bondi, H., van der Burg, M.G.J., and Metzner, A.W.K., “Gravitational waves in general relativity VII: Waves from axisymmetric isolated systems”, Proc. R. Soc. London, Ser. A, 269, 21, (1962).ADSMathSciNetMATHCrossRefGoogle Scholar
 [55]Booth, I., “Metricbased Hamiltonians, null boundaries, and isolated horizons”, Class. Quantum Grav., 18, 4239–4264, (2001). For a related online version see: I. Booth, (May, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0105009.ADSMathSciNetMATHCrossRefGoogle Scholar
 [56]Booth, I., and Fairhurst, S., “The First Law for Slowly Evolving Horizons”, Phys. Rev. Lett., 92, 0111021–4, (2004). For a related online version see: I. Booth, et al., (2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0307087.ADSCrossRefGoogle Scholar
 [57]Bowen, J.M., and York Jr, J.W., “Timeasymmetric initial data for black holes and blackhole collisions”, Phys. Rev. D, 21, 2047–2056, (1980).ADSCrossRefGoogle Scholar
 [58]Brandt, S.R., Correll, R.R., Gómez, R., Huq, M.F., Laguna, P., Lehner, L., Marronetti, P., Matzner, R., Neilsen, D., Pullin, J., Schnetter, E., Shoemaker, D.M., and Winicour, J., “Grazing collision of black holes via the excision of singularities”, Phys. Rev. Lett., 85, 5496–5499, (2000). For a related online version see: S.R. Brandt, et al., (September, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0009047.ADSMathSciNetCrossRefGoogle Scholar
 [59]Bray, H., “Proof of the Riemannian Penrose inequality using the positive mass theorem”, J. Differ. Geom., 59, 177, (2001).MathSciNetMATHGoogle Scholar
 [60]Breitenlohner, P., Forgnacs, P., and Maison, D., “On static spherically symmetric solutions of the EinsteinYangMills equations”, Commun. Math. Phys., 163, 141–172, (1994).ADSMathSciNetMATHCrossRefGoogle Scholar
 [61]Breitenlohner, P., Forgacs, P., and Maison, D., “Gravitating monopole solutions II”, Nucl. Phys. B, 442, 126–156, (1995).ADSMathSciNetMATHCrossRefGoogle Scholar
 [62]Bretón, N., “BornInfeld black hole in the isolated horizon framework”, Phys. Rev. D, 67, 1240041–4, (2003). For a related online version see: N. Bretonn, (January, 2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/hepth/0301254.ADSMathSciNetCrossRefGoogle Scholar
 [63]Brill, D.R., and Lindquist, R.W., “Interaction Energy in Geometrostatics”, Phys. Rev., 131, 471–476, (1963).ADSMathSciNetMATHCrossRefGoogle Scholar
 [64]Bruögmann, B., Tichy, W., and Jansen, N., “Numerical Simulation of Orbiting Black Holes”, Phys. Rev. Lett., 92, 211101, (2004). For a related online version see: B. Brügmann, et al., (December, 2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0312112.ADSCrossRefGoogle Scholar
 [65]Carter, B., “Black hole equilibrium states”, in DeWitt, C., and DeWitt, B.S., eds., Black Holes: Based on lectures given at the 23rd session of the Summer School of Les Houches, 1972, 57–214, (Gordon and Breach, New York, U.S.A., 1973).Google Scholar
 [66]Chandrasekhar, S., The Mathematical Theory of Black Holes, volume 69 of The International Series of Monographs on Physics, (Clarendon Press, Oxford, U.K., 1983).MATHGoogle Scholar
 [67]Choptuik, M.W., “Universality and scaling in gravitational collapse of a massless scalar field”, Phys. Rev. Lett., 70, 9–12, (1993).ADSCrossRefGoogle Scholar
 [68]Chruściel, P.T., “On the global structure of RobinsonTrautman spacetime”, Proc. R. Soc. London, Ser. A, 436, 299–316, (1992).ADSMATHCrossRefGoogle Scholar
 [69]Chruściel, P.T., “No Hair Theorems Folklore, Conjectures, Results”, in Beem, J.K., and Duggal, K.L., eds., Differential Geometry and Mathematical Physics: AMSCMS Special Session on Geometric Methods in Mathematical Physics, August 15–19, 1993, Vancouver, British Columbia, Canada, volume 170 of Contemporary Mathematics, 23–49, (American Mathematical Society, Providence, U.S.A., 1994).CrossRefGoogle Scholar
 [70]Cook, G.B., “Initial Data for Numerical Relativity”, Living Rev. Relativity, 2, (2000), [Online Journal Article]: cited on 22 November 2004, http://www.livingreviews.org/lrr20005.
 [71]Cook, G.B., “Threedimensional initial data for the collision of two black holes II: Quasicircular orbits for equal mass black holes”, Phys. Rev. D, 50, 5025–5032, (October, 1994). For a related online version see: G.B. Cook, (April, 1994), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9404043.ADSMathSciNetCrossRefGoogle Scholar
 [72]Cook, G.B., “Corotating and irrotational binary black holes in quasicircular orbits”, Phys. Rev. D, 65, 0840031–13, (2002). For a related online version see: G.B. Cook, (August, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0108076.ADSCrossRefGoogle Scholar
 [73]Cook, G.B., Huq, M.F., Klasky, S.A., Scheel, M.A., Abrahams, A.M., Anderson, A., Anninos, P., Baumgarte, T.W., Bishop, N.T., Brandt, S.R., Browne, J.C., Camarda, K., Choptuik, M.W., Evans, C.R., Finn, L.F., Fox, G.C., Gómez, R., Haupt, T., Kidder, L.E., Laguna, P., Landry, W., Lehner, L., Lenaghan, J., Marsa, R.L., Massó, J., Matzner, R.A., Mitra, S., Papadopoulos, P., Parashar, M., Rezzolla, L., Rupright, M.E., Saied, F., Saylor, P.E., Seidel, E., Shapiro, S.L., Shoemaker, D.M., Smarr, L.L., Suen, W.M., Szilágyi, B., Teukolsky, S.A., van Putten, M.H.P.M., Walker, P., Winicour, J., and York Jr, J.W. (Binary Black Hole Grand Challenge Alliance), “Boosted ThreeDimensional BlackHole Evolutions with Singularity Excision”, Phys. Rev. Lett., 80, 2512–2516, (1998). For a related online version see: G.B. Cook, et al., (November, 1997), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9711078. Binary Black Hole Grand Challenge Alliance.ADSCrossRefGoogle Scholar
 [74]Cook, G.B., and Pfeiffer, H.P., “Excision boundary conditions for blackhole initial data”, Phys. Rev. D, 70, 1040161–24, (2004).ADSMathSciNetCrossRefGoogle Scholar
 [75]Corichi, A., Nucamendi, U., and Sudarsky, D., “EinsteinYangMills isolated horizons: Phase space, mechanics, hair, and conjectures”, Phys. Rev. D, 62, 0440461–19, (2000). For a related online version see: A. Corichi, et al., (February, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0002078.ADSMathSciNetCrossRefGoogle Scholar
 [76]Corichi, A., Nucamendi, U., and Sudarsky, D., “Mass formula for EinsteinYangMills solitons”, Phys. Rev. D, 64, 1075011–4, (2001). For a related online version see: A. Corichi, et al., (June, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0106084.ADSMathSciNetCrossRefGoogle Scholar
 [77]Corichi, A., and Sudarsky, D., “Mass of colored black holes”, Phys. Rev. D, 61, 1015011–4, (2000). For a related online version see: A. Corichi, et al., (December, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9912032.ADSMathSciNetCrossRefGoogle Scholar
 [78]Cutler, C., and Thorne, K.S., “An Overview of GravitationalWave Sources”, in Bishop, N.T., and Maharaj, S.D., eds., General Relativity and Gravitation: Proceedings of the 16th International Conference on General Relativity and Gravitation, Durban, South Africa, 15–21 July 2001, 72–111, (World Scientific, Singapore; River Edge, U.S.A., 2002). For a related online version see: C. Cutler, et al., (April, 2002), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0204090.CrossRefGoogle Scholar
 [79]Dain, S., “Black hole interaction energy”, Phys. Rev. D, 66, 0840191–8, (2002). For a related online version see: S. Dain, (July, 2002), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0207090.ADSMathSciNetCrossRefGoogle Scholar
 [80]Dain, S., “Trapped surfaces as boundaries for the constraint equations”, Class. Quantum Grav., 21, 555–574, (2004). For a related online version see: S. Dain, (August, 2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0308009.ADSMathSciNetMATHCrossRefGoogle Scholar
 [81]Dain, S., Jaramillo, J.L., and Krishnan, B.Google Scholar
 [82]Diener, P., personal communication to B. Krishnan.Google Scholar
 [83]Diener, P., “A new general purpose event horizon finder for 3D numerical spacetimes”, Class. Quantum Grav., 20, 4901–4918, (2003). For a related online version see: P. Diener, (2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0305039.ADSMathSciNetMATHCrossRefGoogle Scholar
 [84]Domagala, M., and Lewandowski, J., “Blackhole entropy from quantum geometry”, Class. Quantum Grav., 21, 5233–5243, (2004). For a related online version see: M. Domagala, et al., (2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0407051.ADSMathSciNetMATHCrossRefGoogle Scholar
 [85]Dreyer, O., Krishnan, B., Schnetter, E., and Shoemaker, D.M., “Introduction to isolated horizons in numerical relativity”, Phys. Rev. D, 67, 0240181–14, (2003). For a related online version see: O. Dreyer, et al., (June, 2002), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0206008.ADSMathSciNetCrossRefGoogle Scholar
 [86]Eardley, D.M., “Black Hole Boundary Conditions and Coordinate Conditions”, Phys. Rev. D, 57, 2299–2304, (1998). For a related online version see: D.M. Eardley, (1997), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9703027.ADSMathSciNetCrossRefGoogle Scholar
 [87]Ernst, F.J., “Black holes in a magnetic universe”, J. Math. Phys., 17, 54–56, (1976).ADSMathSciNetCrossRefGoogle Scholar
 [88]Fairhurst, S., and Krishnan, B., “Distorted black holes with charge”, Int. J. Mod. Phys. D, 10, 691–710, (2001). For a related online version see: S. Fairhurst, et al., (October, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0010088.ADSMathSciNetMATHCrossRefGoogle Scholar
 [89]Finn, L.S., Personal communication to A. Ashtekar.Google Scholar
 [90]Friedman, J.L., Schleich, K., and Witt, D.M., “Topological censorship”, Phys. Rev. Lett., 71, 1486–1489, (1993). For a related online version see: J.L. Friedman, et al., (May, 1993), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9305017. Erratum: Phys. Rev. Lett. 75 (1995) 1872.ADSMathSciNetMATHCrossRefGoogle Scholar
 [91]Friedman, J.L., Uryu, K., and Shibata, M., “Thermodynamics of binary black holes and neutron stars”, Phys. Rev. D, 65, 0640351–20, (2002). For a related online version see: J.L. Friedman, et al., (June, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0108070.ADSMathSciNetCrossRefGoogle Scholar
 [92]Friedrich, H., “On the regular and asymptotic characteristic initial value problem for Einstein’s field equations”, Proc. R. Soc. London, Ser. A, 375, 169–184, (1981).ADSMathSciNetMATHCrossRefGoogle Scholar
 [93]Galloway, G.J., personal communication to A. Ashtekar, (2004).Google Scholar
 [94]Gambini, R., Obregon, O., and Pullin, J., “YangMills analogs of the Immirzi ambiguity”, Phys. Rev. D, 59, 0475051–4, (1999). For a related online version see: R. Gambini, et al., (2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9801055.ADSMathSciNetGoogle Scholar
 [95]Garfinkle, D., Horowitz, G.T., and Strominger, A., “Charged black holes in string theory”, Phys. Rev. D, 43, 3140–3143, (1991).ADSMathSciNetCrossRefGoogle Scholar
 [96]Garfinkle, D., Horowitz, G.T., and Strominger, A., “Erratum: Charged black holes in string theory”, Phys. Rev. D, 45, 3888, (1992).ADSMathSciNetCrossRefGoogle Scholar
 [97]Geroch, R., “Multipole moments II. Curved space”, J. Math. Phys., 11, 2580–2588, (1970).ADSMathSciNetMATHCrossRefGoogle Scholar
 [98]Geroch, R., and Hartle, J.B., “Distorted Black Holes”, J. Math. Phys., 23, 680, (1982).ADSMathSciNetCrossRefGoogle Scholar
 [99]Gibbons, G.W., and Hawking, S.W., “Cosmological event horizons, thermodynamics, and particle creation”, Phys. Rev. D, 15, 2738–2751, (1977).ADSMathSciNetCrossRefGoogle Scholar
 [100]Gibbons, G.W., Kallosh, R.E., and Kol, B., “Moduli, Scalar Charges, and the First Law of Black Hole Thermodynamics”, Phys. Rev. Lett., 77, 4992–4995, (1996).ADSCrossRefGoogle Scholar
 [101]Gibbons, G.W., and Maeda, K., “Black holes and membranes in higherdimensional theories with dilaton fields”, Nucl. Phys. B, 298, 741–775, (1998).ADSMathSciNetCrossRefGoogle Scholar
 [102]Gonzalez, J., and van den Broeck, C., in preparation.Google Scholar
 [103]Gourgoulhon, E., Grandclément, P., and Bonazzola, S., “Binary black holes in circular orbits. I. A global spacetime approach”, Phys. Rev. D, 65, 0440201–19, (2002). For a related online version see: E. Gourgoulhon, et al., (June, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0106015.ADSMathSciNetCrossRefGoogle Scholar
 [104]Grandclément, P., Gourgoulhon, E., and Bonazzola, S., “Binary black holes in circular orbits. II. Numerical methods and first results”, Phys. Rev. D, 65, 0440211–18, (2002). For a related online version see: P. Grandclément, et al., (June, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0106016.ADSMathSciNetCrossRefGoogle Scholar
 [105]Gundlach, C., “Critical phenomena in gravitational collapse”, Adv. Theor. Math. Phys., 2, 1–49, (1998). For a related online version see: C. Gundlach, (December, 1997), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9712084.MathSciNetMATHCrossRefGoogle Scholar
 [106]Hájíček, P., “Stationary electrovacuum spacetimes with bifurcate horizons”, J. Math. Phys., 16, 518–522, (1975).MathSciNetCrossRefGoogle Scholar
 [107]Hansen, R., “Multipole moments in stationary spacetimes”, J. Math. Phys., 15, 46–52, (1974).ADSMATHCrossRefGoogle Scholar
 [108]Hartle, J.B., and Hawking, S.W., “Energy and Angular Momentum Flow in to a Black Hole”, Commun. Math. Phys., 27, 283–290, (1972).ADSMathSciNetCrossRefGoogle Scholar
 [109]Hartmann, B., Kleihaus, B., and Kunz, J., “Axially symmetric monopoles and black holes in EinsteinYangMillsHiggs theory”, Phys. Rev. D, 65, 0240271–22, (2002). For a related online version see: B. Hartmann, et al., (2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/hepth/0108129.ADSMathSciNetGoogle Scholar
 [110]Hawking, S.W., “Black Holes in General Relativity”, Commun. Math. Phys., 25, 152, (1972).ADSMathSciNetCrossRefGoogle Scholar
 [111]Hawking, S.W., “The event horizon”, in DeWitt, C., and DeWitt, B.S., eds., Black Holes: Based on lectures given at the 23rd session of the Summer School of Les Houches, 1972, 1–56, (Gordon and Breach, New York, U.S.A., 1973).Google Scholar
 [112]Hawking, S.W., “Particle Creation by Black Holes”, Commun. Math. Phys., 43, 199, (1975).ADSMathSciNetCrossRefGoogle Scholar
 [113]Hawking, S.W., and Ellis, G.F.R., The Large Scale Structure of SpaceTime, Cambridge Monographs on Mathematical Physics, (Cambridge University Press, Cambridge, U.K., 1973).MATHCrossRefGoogle Scholar
 [114]Hawking, S.W., and Hunter, C.J., “Gravitational entropy and global structure”, Phys. Rev. D, 59, 0440251–10, (1999). For a related online version see: S.W. Hawking, et al., (1998), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/hepth/9808085.ADSMathSciNetGoogle Scholar
 [115]Hayward, S., “Energy and entropy conservation for dynamical black holes”, Phys. Rev. D, 70, 1040271–13, (2004). For a related online version see: S. Hayward, (August, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0408008.ADSMathSciNetGoogle Scholar
 [116]Hayward, S.A., “Energy conservation for dynamical black holes”, (April, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0404077.
 [117]Hayward, S.A., “General laws of blackhole dynamics”, Phys. Rev. D, 49, 6467–6474, (1994). For a related online version see: S.A. Hayward, (1993), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9303006.ADSMathSciNetCrossRefGoogle Scholar
 [118]Hayward, S.A., “SpinCoefficient Form of the New Laws of BlackHole Dynamics”, Class. Quantum Grav., 11, 3025–3036, (1994). For a related online version see: S.A. Hayward, (1994), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9406033.ADSMathSciNetMATHCrossRefGoogle Scholar
 [119]Heusler, M., Black Hole Uniqueness Theorems, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1996).MATHCrossRefGoogle Scholar
 [120]Horowitz, G.T., “Quantum States of Black Holes”, in Wald, R.M., ed., Black Holes and Relativistic Stars, 241–266, (University of Chicago Press, Chicago, U.S.A., 1998).Google Scholar
 [121]Hughes, S.A., Keeton II, C.R., Walker, P., Walsh, K.T., Shapiro, S.L., and Teukolsky, S.A., “Finding black holes in numerical spacetimes”, Phys. Rev. D, 49, 4004–4015, (1994).ADSCrossRefGoogle Scholar
 [122]Huisken, G., and Ilmanen, T., “The inverse mean curvature flow and the Riemannian Penrose inequality”, J. Differ. Geom., 59, 353, (2001).MathSciNetMATHGoogle Scholar
 [123]Jacobson, T., Kang, G., and Myers, R.C., “On black hole entropy”, Phys. Rev. D, 49, 6587–6598, (1994).ADSMathSciNetCrossRefGoogle Scholar
 [124]Jaramillo, J.L., Gourgoulhon, E., and Mena Marugán, G.A., “Inner boundary conditions for black hole Initial Data derived from Isolated Horizons”, (2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0407063.
 [125]Kastor, D., and Traschen, J., “Cosmological multiblackhole solutions”, Phys. Rev. D, 47, 5370–5375, (1993).ADSMathSciNetCrossRefGoogle Scholar
 [126]Khanna, G., Baker, J., Gleiser, R.J., Laguna, P., Nicasio, C.O., Nollert, H.P., Price, R.H., and Pullin, J., “Inspiraling Black Holes: The Close Limit”, Phys. Rev. Lett., 83, 3581–3584, (1999). For a related online version see: G. Khanna, et al., (May, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9905081.ADSMathSciNetMATHCrossRefGoogle Scholar
 [127]Kleihaus, B., and Kunz, J., “Static BlackHole Solutions with Axial Symmetry”, Phys. Rev. Lett., 79, 1595–1598, (1997).ADSMathSciNetMATHCrossRefGoogle Scholar
 [128]Kleihaus, B., and Kunz, J., “Static axially symmetric EinsteinYangMillsDilaton solutions: 1. Regular solutions”, Phys. Rev. D, 57, 843–856, (1998).ADSMathSciNetMATHGoogle Scholar
 [129]Kleihaus, B., and Kunz, J., “Static axially symmetric EinsteinYangMillsDilaton solutions: 2. Black hole solutions”, Phys. Rev. D, 57, 6138–6157, (1998).ADSMathSciNetCrossRefGoogle Scholar
 [130]Kleihaus, B., and Kunz, J., “NonAbelian black holes with magnetic dipole hair”, Phys. Lett. B, 494, 130–134, (2000). For a related online version see: B. Kleihaus, et al., (2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/hepth/0008034.ADSMathSciNetMATHCrossRefGoogle Scholar
 [131]Kleihaus, B., Kunz, J., and NavarroLnerida, F., “Rotating dilaton black holes with hair”, Phys. Rev. D, 69, 0640281–30, (2004). For a related online version see: B. Kleihaus, et al., (June, 2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0306058.ADSMathSciNetGoogle Scholar
 [132]Kleihaus, B., Kunz, J., Sood, A., and Wirschins, M., “Horizon properties of EinsteinYangMills black hole”, Phys. Rev. D, 65, 0615021–4, (2002).ADSMathSciNetCrossRefGoogle Scholar
 [133]Korzynski, N., Lewandowski, J., and Pawlowski, T., “Mechanics of isolated horizons in higher dimensions”, in preparation.Google Scholar
 [134]Krasnov, K., “Geometrical entropy from loop quantum gravity”, Phys. Rev. D, 55, 3505–3513, (1997).ADSMathSciNetCrossRefGoogle Scholar
 [135]Krasnov, K., “On statistical mechanics of Schwarzschild black holes”, Gen. Relativ. Gravit., 30, 53–68, (1998).ADSMathSciNetMATHCrossRefGoogle Scholar
 [136]Krishnan, B., Isolated Horizons in Numerical Relativity, PhD Thesis, (The Pennsylvania State University, University Park, U.S.A., 2002). For a related online version see: B. Krishnan, (2002), [Online Thesis]: cited on 22 November 2004, http://etda.libraries.psu.edu/theses/approved/WorldWideIndex/ETD177/.Google Scholar
 [137]Kuroda, Y., “Naked Singularities in the Vaidya Spacetimee”, Prog. Theor. Phys., 72, 63–72, (1984).ADSMathSciNetMATHCrossRefGoogle Scholar
 [138]Lehner, L., “Numerical Relativity: A review”, Class. Quantum Grav., 18, R25–R86, (2001). For a related online version see: L. Lehner, (June, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0106072.ADSMathSciNetMATHCrossRefGoogle Scholar
 [139]Lehner, L., Bishop, N.T., Gómez, R., Szilágyi, B., and Winicour, J., “Exact solutions for the intrinsic geometry of black hole coalescence”, Phys. Rev. D, 60, 0440051–10, (1999). For a related online version see: L. Lehner, et al., (September, 1998), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9809034.ADSMathSciNetCrossRefGoogle Scholar
 [140]Lewandowski, J., “Spacetimes admitting isolated horizons”, Class. Quantum Grav., 17, L53–L59, (2000). For a related online version see: J. Lewandowski, (July, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9907058.ADSMathSciNetMATHCrossRefGoogle Scholar
 [141]Lewandowski, J., and Pawlowski, T., “Quasilocal rotating black holes in higher dimension: geometry”, (October, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0410146.
 [142]Lewandowski, J., and Pawlowski, T., “Geometric characterizations of the Kerr isolated horizon”, Int. J. Mod. Phys. D, 11, 739–746, (2001). For a related online version see: J. Lewandowski, et al., (December, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0101008.ADSMathSciNetMATHCrossRefGoogle Scholar
 [143]Lewandowski, J., and Pawlowski, T., “Extremal isolated horizons: a local uniqueness theorem”, Class. Quantum Grav., 20, 587–606, (2003). For a related online version see: J. Lewandowski, et al., (August, 2002), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0208032.ADSMathSciNetMATHCrossRefGoogle Scholar
 [144]Lichnerowicz, A., “L’integration des équations de la gravitation relativiste et le probléme des n corps”, J. Math. Pures Appl., 23, 37–63, (1944).MathSciNetMATHGoogle Scholar
 [145]Maldacena, J., and Strominger, A., “Statistical entropy of fourdimensional extremal black holes”, Phys. Rev. Lett., 77, 428–429, (1996). For a related online version see: J. Maldacena, et al., (March, 1996), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/hepth/9603060.ADSCrossRefGoogle Scholar
 [146]Mann, R.B., “Misner string entropy”, Phys. Rev. D, 60, 1040471–5, (1999). For a related online version see: R.B. Mann, (March, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/hepth/9903229.ADSMathSciNetGoogle Scholar
 [147]Mann, R.B., and Garfinkle, D., “Generalized entropy and Noether charge”, Class. Quantum Grav., 17, 3317–3324, (2000). For a related online version see: R.B. Mann, et al., (2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0004056.ADSMathSciNetMATHCrossRefGoogle Scholar
 [148]Masoodul Alam, A.K.M., “Uniqueness of a static charged dilaton black hole”, Class. Quantum Grav., 10, 2649–2656, (1993).ADSMathSciNetMATHCrossRefGoogle Scholar
 [149]Meissner, K.A., “Blackhole entropy in loop quantum gravity”, Class. Quantum Grav., 21, 5245–5252, (2004). For a related online version see: K.A. Meissner, (July, 2004), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0407052.ADSMathSciNetMATHCrossRefGoogle Scholar
 [150]Misner, C.W., “Wormhole Initial Conditions”, Phys. Rev., 118, 1110–1111, (1959).ADSMATHCrossRefGoogle Scholar
 [151]Misner, C.W., “The method of images in geometrostatics”, Ann. Phys. (N.Y.), 24, 102–117, (1963).ADSMathSciNetMATHCrossRefGoogle Scholar
 [152]Nakao, K., Shiromizu, T., and Hayward, S.A., “Horizons of the KastorTraschen multiblackhole cosmos”, Phys. Rev. D, 52, 796–808, (1995).ADSMathSciNetCrossRefGoogle Scholar
 [153]New, K.C.B., “Gravitational Waves from Gravitational Collapse”, Living Rev. Relativity, 6, (2003), [Online Journal Article]: cited on 22 November 2004, http://www.livingreviews.org/lrr20032.
 [154]Núñez, D., Quevedo, H., and Sudarsky, D., “Black Holes have no Short Hair”, Phys. Rev. Lett., 76, 571–574, (1996). For a related online version see: D. Núñez, et al., (January, 1996), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9601020.ADSMathSciNetMATHCrossRefGoogle Scholar
 [155]Pawlowski, T., Lewandowski, J., and Jezierski, J., “Spacetimes foliated by Killing horizons”, Class. Quantum Grav., 21, 1237–1252, (2004). For a related online version see: T. Pawlowski, et al., (June, 2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0306107.ADSMathSciNetMATHCrossRefGoogle Scholar
 [156]Pejerski, D.W., and Newman, E.T., “Trapped surface and the development of singularities”, J. Math. Phys., 9, 1929–1937, (1971).ADSCrossRefGoogle Scholar
 [157]Penrose, R., “Naked singularities”, Ann. N.Y. Acad. Sci., 224, 125–134, (1973).ADSMATHCrossRefGoogle Scholar
 [158]Pfeiffer, H.P., Cook, G.B., and Teukolsky, S.A., “Comparing initialdata sets for binary black holes”, Phys. Rev. D, 66, 0240471–17, (2002). For a related online version see: H.P. Pfeiffer, et al., (June, 2002), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0203085.ADSMathSciNetCrossRefGoogle Scholar
 [159]Pfeiffer, H.P., Teukolsky, S.A., and Cook, G.B., “Quasicircular orbits for spinning binary black holes”, Phys. Rev. D, 62, 1040181–11, (2000). For a related online version see: H.P. Pfeiffer, et al., (June, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0006084.ADSMathSciNetCrossRefGoogle Scholar
 [160]Pullin, J., “The close limit of colliding black holes: An update”, Prog. Theor. Phys. Suppl., 136, 107–120, (1999). For a related online version see: J. Pullin, (September, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9909021.ADSMathSciNetMATHCrossRefGoogle Scholar
 [161]Rendall, A.D., “Reduction of the characteristic initial value problem to the Cauchy problem and its applications to the Einstein equations”, Proc. R. Soc. London, Ser. A, 427, 221–239, (1990).ADSMathSciNetMATHCrossRefGoogle Scholar
 [162]Rovelli, C., “Loop Quantum Gravity”, Living Rev. Relativity, 1, (1998), [Online Journal Article]: cited on 22 November 2004, http://www.livingreviews.org/lrr19981.
 [163]Rovelli, C., “Black hole entropy from loop quantum gravity”, Phys. Rev. Lett., 14, 3288–3291, (1996).ADSMathSciNetMATHCrossRefGoogle Scholar
 [164]Rovelli, C., “Loop quantum gravity and black hole physics”, Helv. Phys. Acta, 69, 582–611, (1996).ADSMATHGoogle Scholar
 [165]Sachs, R.K., and Bergmann, P.G., “Structure of particles in linearized gravitational theory”, Phys. Rev., 112, 674–680, (1958).ADSMathSciNetMATHCrossRefGoogle Scholar
 [166]Senovilla, J.M.M., “On the existence of horizons in spacetimes with vanishing curvature invariants”, J. High Energy Phys., 11, 046, (2003). For a related online version see: J.M.M. Senovilla, (November, 2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/hepth/0311172.ADSMathSciNetCrossRefGoogle Scholar
 [167]Shapiro, S.L., and Teukolsky, S.A., “Collisions of relativistic clusters and the formation of black holes”, Phys. Rev. D, 45, 2739–2750, (1992).ADSMathSciNetMATHCrossRefGoogle Scholar
 [168]Shoemaker, D.M., Huq, M.F., and Matzner, R.A., “Generic tracking of multiple apparent horizons with level flow”, Phys. Rev. D, 62, 1240051–12, (2000). For a related online version see: D.M. Shoemaker, et al., (April, 2000), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0004062.ADSMathSciNetCrossRefGoogle Scholar
 [169]Smarr, L.L., “Surface Geometry of Charged Rotating Black Holes”, Phys. Rev. D, 7, 289–295, (1973).ADSCrossRefGoogle Scholar
 [170]Smolin, L., “Linking topological quantum field theory and nonperturbative quantum gravity”, J. Math. Phys., 36, 6417–6455, (1995).ADSMathSciNetMATHCrossRefGoogle Scholar
 [171]Smoller, J.A., Wasserman, A.G., and Yau, S.T., “Existence of black hole solutions for the Einstein / YangMills equations”, Commun. Math. Phys., 154, 377, (1993).ADSMathSciNetMATHCrossRefGoogle Scholar
 [172]Straumann, N., and Zhou, Z.H., “Instability of a colored black hole solution”, Phys. Lett. B, 243, 33, (1990).ADSMathSciNetCrossRefGoogle Scholar
 [173]Straumann, N., and Zhou, Z.H., “Instability of the BartnikMcKinnon solution to the EinsteinYangMills equations”, Phys. Lett. B, 237, 353, (1990).ADSMathSciNetCrossRefGoogle Scholar
 [174]Strominger, A., and Vafa, C., “Microscopic origin of the BekensteinHawking entropy”, Phys. Lett. B, 379, 99–104, (1996). For a related online version see: A. Strominger, et al., (January, 1996), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/hepth/9601029.ADSMathSciNetCrossRefGoogle Scholar
 [175]Sudarsky, D., and Wald, R.M., “Extrema of mass, stationarity and staticity, and solutions to the EinsteinYangMills equations”, Phys. Rev. D, 46, 1453–1474, (1992).ADSMathSciNetCrossRefGoogle Scholar
 [176]Thiemann, T., “Introduction to modern canonical quantum general relativity”, (October, 2001), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0110034.
 [177]Thornburg, J., “A fast apparent horizon finder for 3dimensional Cartesian grids in numerical relativity”, Class. Quantum Grav., 21, 743–766, (2004). For a related online version see: J. Thornburg, (June, 2003), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/0306056.ADSMathSciNetMATHCrossRefGoogle Scholar
 [178]Torii, T., and Maeda, K., “Black holes with nonAbelian hair and their thermodynamical properties”, Phys. Rev. D, 48, 1643–1651, (1993).ADSCrossRefGoogle Scholar
 [179]Vaidya, P.C., “The gravitational field of a radiating star”, Proc. Indian Acad. Sci., Sect. A, 33, 264, (1951).ADSMathSciNetMATHGoogle Scholar
 [180]van den Broeck, C., personal communication to A. Ashtekar.Google Scholar
 [181]Volkov, M.S., and Gal’tsov, D.V., “Gravitating nonAbelian solitons and black holes with YangMills fields”, Phys. Rep., 319, 1, (1999).ADSMathSciNetCrossRefGoogle Scholar
 [182]Wald, R.M., “The Thermodynamics of Black Holes”, Living Rev. Relativity, 4, (July, 2001), [Online Journal Article]: cited on 22 November 2004, http://www.livingreviews.org/lrr20016.
 [183]Wald, R.M., “Black hole entropy is the Noether charge”, Phys. Rev. D, 48, R3427–R3431, (1993).ADSMathSciNetMATHCrossRefGoogle Scholar
 [184]Wald, R.M., and Iyer, V., “Some properties of the Noether charge and a proposal for dynamical black hole entropy”, Phys. Rev. D, 50, 846–864, (1994).ADSMathSciNetGoogle Scholar
 [185]Wald, R.M., and Zoupas, A., “General definition of “conserved quantities” in general relativity and other theories of gravity”, Phys. Rev. D, 61, 0840271–16, (2000). For a related online version see: R.M. Wald, et al., (November, 1999), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9911095.ADSMathSciNetMATHCrossRefGoogle Scholar
 [186]Waugh, B., and Lake, K., “Doublenull coordibates for the Vaidya spacetime”, Phys. Rev. D, 34, 2978–2984, (1986).ADSMathSciNetCrossRefGoogle Scholar
 [187]Wheeler, J.A., “It from Bit”, in Keldysh, L.V., and Feinberg, V.Y., eds., Sakharov Memorial Lectures on Physics: Proceedings of the First International Sakharov Conferenference on Physics, Volume 2, (Nova Science, New York, U.S.A., 1992).Google Scholar
 [188]Witten, E., “A new proof of the positive energy theorem”, Commun. Math. Phys., 80, 381–402, (1981).ADSMathSciNetMATHCrossRefGoogle Scholar
 [189]Wolfram Research, Inc., “Mathematica: The Way the World Calculates”, (2004), [Online HTML document]: cited on 22 November 2004, http://www.wolfram.com/products/mathematica/index.html.
 [190]Yo, H.J., Cook, J.N., Shapiro, S.L., and Baumgarte, T.W., “Quasiequilibrium binary black hole initial data for dynamical evolutions”, Phys. Rev. D, 70, 0840331–14, (2004).ADSMathSciNetGoogle Scholar
 [191]York Jr, J.W., “Kinematics and Dynamics of General Relativity”, in Small, L.L., ed., Sources of Gravitational Radiation: Proceedings of the Battelle Seattle Workshop, July 24–August 4, 1978, 83–126, (Cambridge University Press, Cambridge, U.K.; New York, U.S.A., 1979).Google Scholar
 [192]York Jr, J.W., “Conformal ‘thinsandwich’ data for the initialvalue problem of general relativity”, Phys. Rev. Lett., 82, 1350–1353, (1999). For a related online version see: J.W. York Jr, (October, 1998), [Online Los Alamos Archive Preprint]: cited on 22 November 2004, http://arXiv.org/abs/grqc/9810051.ADSMathSciNetMATHCrossRefGoogle Scholar