Pith. Sign in

REVIEW

Isolated and dynamical horizons and their applications

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Abhay Ashtekar, Badri Krishnan

General Relativity and Quantum Cosmology · Submitted 13 Jul 2004 · 193 references

Pith's verdict: The standard reference for the isolated/dynamical horizon program: definitions and the balance laws are derived cleanly, and the soft spots are the ones the authors themselves flag.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDgr-qc/0407042 (version 3)
Pith ID3Y4E7J2U, Pith's permanent record of this paper and its review
CitationAbhay Ashtekar, Badri Krishnan. "Isolated and dynamical horizons and their applications." arXiv:gr-qc/0407042 (2004). https://pith.science/paper/3Y4E7J2U
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The review argues that black holes are best described by quasi-local horizons—isolated horizons in equilibrium and dynamical horizons while they grow—and that this framework yields exact black-hole mechanics and a quantitative area-balance.

The reading

The paper sets out to replace the event horizon, a global and teleological notion, with two quasi-local surfaces: an isolated horizon, a null surface whose intrinsic geometry is time independent, for a black hole in equilibrium, and a dynamical horizon, a space-like surface foliated by marginally trapped surfaces, for a black hole that is growing. It shows that the zeroth and first laws of black-hole mechanics survive on weakly isolated horizons, with surface gravity constant and with all quantities in $delta M = (kappa/8pi G)delta a + Omega,delta J$ defined at the horizon; the first law is exactly the condition that evolution along the chosen time-translation be Hamiltonian. On a dynamical horizon, the change in area radius between two cross-sections obeys an exact balance law, $(R_2-R_1)/2G = int T_{ab}hat{tau}^axi^b,d^3V + (1/16pi G)int N_R(|sigma|^2+2|zeta|^2),d^3V$, so horizon growth is accounted for by matter flux plus a non-negative gravitational flux. The review then applies this machinery to numerical relativity, hairy black holes, and the counting of horizon microstates in quantum geometry.

What carries the argument

The load-bearing object is the horizon itself, not the event horizon. An isolated horizon is defined intrinsically: $Delta$ is null and topologically $S^2timesmathbb{R}$, every null normal has $Theta_{(ell)}=0$, and the intrinsic metric and connection are Lie-dragged by $ell^a$; a dynamical horizon is instead a space-like $H$ foliated by marginally trapped surfaces with the ingoing expansion negative. The area balance law is the mechanism that turns this definition into physics: it uses only the constraints on $H$ and a preferred vector field $xi^a=N_Rell^a$, and its gravitational term $|sigma|^2+2|zeta|^2$ is manifestly non-negative, local, and zero in spherical symmetry. The same construction yields the horizon mass by choosing the effective surface gravity to match the Kerr function $kappa_{rm Kerr}(a_Delta,J_Delta)$, which makes the first law integrable.

Extended reading notes

Core claim

The central claim is that black-hole physics can be organized around quasi-local horizons without losing the standard laws. For equilibrium, a non-expanding horizon plus the condition that the rotation one-form $omega_a$ be time independent defines a weakly isolated horizon; the zeroth law follows because $dkappa=0$, and the first law is derived as the integrability condition for a Hamiltonian time evolution. For dynamics, a dynamical horizon is a space-like 3-manifold foliated by closed 2-surfaces with $Theta_{(ell)}=0$ and $Theta_{(n)}<0$; the scalar and vector constraints on this surface give the area balance law quoted above, which the authors read as an integral first law and a quantitative second law. The same framework supplies a horizon angular momentum $J_phi = -(1/8pi G)oint_S K_{ab}phi^ahat{r}^b,d^2V$ and a horizon mass $M = sqrt{R^4+4G^2J^2}/(2GR)$ that reduce to the Kerr expressions when the horizon settles down.

Load-bearing premise

The clean canonical mass and the strongest form of the first law rely on choosing the effective surface gravity to equal the Kerr function of horizon area and angular momentum, which presupposes that the four-dimensional Einstein–Maxwell uniqueness theorems pick out a preferred time-translation; the review itself shows that this fails in dilaton and Yang–Mills theories, where the mass must be defined branch by branch.

Editorial extensions

If this is right

  • Horizon growth acquires a local accounting: the area increase between two cross-sections is fixed by matter energy flux plus a positive gravitational term, so the second law becomes quantitative rather than merely monotonic.
  • Numerical relativity can compute black-hole mass and spin from apparent-horizon data alone, without fitting the horizon to a Kerr solution or choosing a coordinate-dependent equator.
  • The first law becomes a consistency condition for Hamiltonian evolution with an inner boundary, and the action principle is well defined when that boundary is a weakly isolated horizon.
  • Colored or hairy black holes can be modeled as bound states of an ordinary black hole and a soliton, with branch-by-branch horizon masses that explain stability and mass relations.
  • Quantum-geometry entropy calculations can be tied to realistic, distorted, non-extremal horizons through boundary conditions that reduce the horizon degrees of freedom to a Chern–Simons theory.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the balance law holds generally, it gives numerical relativists a local energy check: the integrated matter flux and the shear/twist term should match the measured horizon-radius change, providing an independent test of horizon finders and gauge choices.
  • The framework suggests treating a dynamical horizon as a sequence of constrained equilibrium states; that does not by itself define non-equilibrium entropy, but it gives a concrete bookkeeping scheme in which deviations from the first law measure irreversibility.
  • The failure of a universal horizon mass when uniqueness fails implies that horizon mass is theory-dependent; comparing it with ADM mass could serve as a diagnostic of hair and of energy stored in solitonic degrees of freedom.
  • The monotonic area result may offer a route to Penrose-type inequalities beyond time symmetry, since it converts horizon growth into a flux statement rather than a global mass comparison.
Original 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, quasi-local framework was introduced to analyze diverse facets of black holes in a unified manner. In this framework, evolving black holes are modeled 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.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,565 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.07 · states limitation 0.06 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.04 · compares with prior results 0.29 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

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, quasi-local framework was introduced to analyze diverse facets of black holes in a unified manner. In this framework, evolving black holes are modeled 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.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Over the past three decades, black holes have played an important role in quantum gravity, mathematical physics, numerical relativity and gravitational wave phenomenology. background 1.00 0.03 0.02 asserted 1.00
s1 However, conceptual settings and mathematical models used to discuss them have varied considerably from one area to another. background 0.52 0.05 0.02 asserted 1.00
s2 Over the last five years a new, quasi-local framework was introduced to analyze diverse facets of black holes in a unified manner. background 0.74 0.10 0.08 asserted 1.00
s3 In this framework, evolving black holes are modeled by dynamical horizons and black holes in equilibrium by isolated horizons. method 0.75 0.11 0.15 asserted 1.00
s4 We review basic properties of these horizons and summarize applications to mathematical physics, numerical relativity and quantum gravity. contribution 0.99 0.66 0.13 asserted 0.79
s5 This paradigm has led to significant generalizations of several results in black hole physics. interpretation 0.48 0.26 0.34 asserted 1.00
s6 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. contribution 0.57 0.35 0.45 asserted 0.92

What kind of paper the classifier reports this is: review 1.00 · evidence from literature 0.94.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Left panel: A typical gravitational collapse. The portion ∆ of the event horizon at late times is isolated. Physically, one would expect the first law to apply to ∆ even though the entire space-time is not stationary because of the presence of gravitational radiation in the exterior region. Right panel: Space-time diagram of a black hole which is initially in equilibrium, absorbs a finite amount of radiation, and again settles down to equilibrium. Portions ∆1 and ∆2 of the horizon are isolated. One would expect the first law to hold on both portions although the space-time is not…
Figure 2. A spherical star of mass M undergoes collapse. Much later, a spherical shell of mass δM falls into the resulting black hole. While ∆1 and ∆2 are both isolated horizons, only ∆2 is part of the event horizon. 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…
Figure 3. Set-up of the general characteristic initial value formulation. The Weyl tensor component Ψ0 on the null surface ∆ is part of the free data which vanishes if ∆ is an IH. But there exist other non-trivial examples as well. These arise because the notion is quasi-local, referring only to fields defined intrinsically on the horizon. First, let us consider the sub-family of Kastor–Traschen 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…
Figure 4. Penrose diagrams of Schwarzschild–Vaidya metrics for which the mass function M(v) vanishes for v ≤ 0 [137]. The space-time metric is flat in the past of v = 0 (i.e., in the shaded region). In the left panel, as v tends to infinity, M˙ vanishes and M tends to a constant value M0. The space-like dynamical horizon H, the null event horizon E, and the time-like surface r = 2M0 (represented by the dashed line) all meet tangentially at i +. In the right panel, for v ≥ v0 we have M˙ = 0. Space-time in the future of v = v0 is isometric with a portion of the Schwarzschild space-time. The…
Figure 5. H is a dynamical horizon, foliated by marginally trapped surfaces S. τb a is the unit time-like normal to H and rb a the unit space-like normal within H to the foliations. Although H is space-like, motions along rb a can be regarded as ‘time evolution with respect to observers at infinity’. In this respect, one can think of H as a hyperboloid in Minkowski space and S as the intersection of the hyperboloid with space-like planes. In the figure, H joins on to a weakly isolated horizon ∆ with null normal ¯ℓ a at a cross-section S0. 3.2 Area increase law The qualitative result that the…
Figure 6. The region of space-time M under consideration has an internal boundary ∆ and is bounded by two Cauchy surfaces M1 and M2 and the time-like cylinder τ∞ at infinity. M is a Cauchy surface in M whose intersection with ∆ is a spherical cross-section S and the intersection with τ∞ is S∞, the sphere at infinity. 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…
Figure 7. The world tube of apparent horizons and a Cauchy surface M intersect in a 2-sphere S. T a is the unit time-like normal to M and Ra is the unit space-like normal to S within M. Now consider the dynamical regime, i.e., assume that, in a small neighborhood of S, the world tube of marginally trapped surfaces is a DH H. The angular momentum formula (46) on DHs involves the Cauchy data on H. However, it is easy to show [31] that it equals the expression (58) involving Cauchy data on M. Thus, Equation (58) is in fact applicable in both the isolated and dynamical regimes. The availability of
Figure 8. Bondi-like coordinates in a neighborhood of ∆. Our procedure is analogous to the one used at null infinity to construct the Bondi-type coor￾dinates starting from 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 ∆. Pick a null normal ℓ a from the [ℓ a ]; this can be done, e.g., by choosing a specific value for surface gravity. Let na be the unique 1-form satisfying ℓ ana = −1 and which i
Figure 9. The ADM mass as a function of the horizon radius R∆ of static spherically symmetric solutions to the Einstein–Yang–Mills system (in units provided by the Yang–Mills coupling con￾stant). Numerical plots for the colorless (n = 0) and families of colored black holes (n = 1, 2) are shown. (Note that the y-axis begins at M = 0.7 rather than at M = 0.) For simplicity, we will restrict ourselves to SU(2) Yang–Mills fields, but results based on the isolated horizon framework go through for general compact groups [26]. Let us begin with a sum￾mary of the known static solutions. First, the…
Figure 10. An initially static colored black hole with horizon ∆in is slightly perturbed and decays to a Schwarzschild-like isolated horizon ∆fin, with radiation going out to future null infinity I +. examination of energetics reveals that this is not the case for colored black holes, so instability should prevail. Furthermore, one can make a few predictions about the nature of instability. We summarize these for the simplest case of spherically symmetric, static black holes for which there is a single quantum number n: 1. All the colored black holes on the nth branch have the same number…
Figure 11. The ADM mass as a function of the horizon radius R∆ in theories with a built-in non-gravitational length scale. The schematic plot shows crossing of families labelled by n = 1 and n = 2 at R∆ = Rinter ∆ . In this case, the notion of the horizon mass acquires further subtleties. If, as in the Einstein– Yang–Mills theory considered earlier, families of static solutions carrying distinct quantum numbers do not cross, there is a well-defined notion of horizon mass for each static solution, although, as the example of ‘embedded Abelian solutions’ shows, in general its value is theory…
Figure 12. Quantum horizon. Polymer excitations in the bulk puncture the horizon, endowing it with quantized area. Intrinsically, the horizon is flat except at punctures where it acquires a quantized deficit angle. These angles add up to endow the horizon with a 2-sphere topology. the points at which the polymer excitations in the bulk puncture S. The holonomy around each puncture is non-trivial. 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…

Figures reproduced from arXiv:gr-qc/0407042 by the authors.

References
How later papers used it

239 later papers cite it

Evidence: substantial. 221 of the citing papers share no author with it, and 30 of those carry a confident label from Pith's citation classifier.

Pith read 40 of the 370 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 9 of 23 papers with this label
How the literature uses it

217 arXiv papers cite this in 343 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 181 sentences without a confident label

Builds on it 3 papers
  • In developing the field theoretical description of the boundary spinors, we will also develop further the covariant Hamiltonian formalism [ref] for complex Ashtekar variables in the presence of inner null boundaries, thereby generalising the isolated horizon framework [ref] to generic lightlike boundaries.

    New boundary variables for classical and quantum gravity on a null surface · Introduction: Why spinors? · 0.96

  • We begin by forming the projector onto the 2-surface, [equation] which if we adopt [ref] the convenient normalization convention [equation] becomes [equation] By construction, $h^μν$ projects the null vector normals to zero, [equation] Evidently in either formulation, the projector $h^μν$ is invariant under reciprocal rescalings of $ℓ^ν$ and $n^ν$ according to [equation] A rescaling of $ℓ^ν$ and $n^ν$ with constant $κ$ has been considered previously by Ashtekar, Beetle, and Lewandowski [ref] , Ashtekar and Krishnan [ref] , and Krishnan [ref] , but here we allow $κ=κ(x)$ to be a general nonconstant scalar function of the spacetime coordinate $x$.

    Covariance Group for Null Geodesic Expansion Calculations, and its Application to the Apparent Horizon · Introduction · 0.96

  • We begin by forming the projector onto the 2-surface, [equation] which if we adopt [ref] the convenient normalization convention [equation] becomes [equation] By construction, $h^μν$ projects the null vector normals to zero, [equation] Evidently the projector $h^μν$ is invariant under reciprocal rescalings of $ℓ^ν$ and $n^ν$ according to [equation] A rescaling of $ℓ^ν$ and $n^ν$ with constant $κ$ has been considered previously by Ashtekar, Beetle, and Lewandowski [ref] , Ashtekar and Krishnan [ref] , and Krishnan [ref] , but here we allow $κ=κ(x)$ to be a general nonconstant scalar function of the spacetime coordinate $x$.

    Are Astrophysical "Black" Holes Leaky? · Theory of trapped surfaces and apparent horizons · 0.93

Uses its method or tool 23 papers
Compares with it 3 papers
  • suggesting a surface gravity identical to the one mentioned in [ref] for a dynamical horizon in spherical symmetry.

    Dynamical surface gravity · Surface Gravity in dynamic, spherically symmetric spacetimes · 0.93

  • This is of course in contrast e.g. to the IH formalism [ref] , where the IH boundary conditions imply that the boundary theory is generically described in terms of a Chern-Simons theory.

    Holst-MacDowell-Mansouri action for (extended) supergravity with boundaries and super Chern-Simons theory · Holst-MacDowell-Mansouri action of $𝒩=1$ SUGRA · 0.98

  • (These objects are similar to but more general than “dynamical horizons” [ref] .) We further proved that any past or future holographic screen satisfies a nontrivial area theorem: the area of the leaves increases monotonically along the screen.

    Black hole entropy and the Bekenstein bound · Cosmological area theorem and Second Law · 0.87

Cites it as support 3 papers
  • As detailed in Section ([ref]), the breakdown of asymptotic flatness in dynamic FLRW backgrounds [ref] , the potential for quantum backreaction via the "Memory Burden" [ref] , the modification of Hawking flux by higher-curvature corrections [ref] , and the resolution of singularities into stable, Planck-mass relics [ref] all point toward a common conclusion: light PBHs may not evaporate as cleanly or completely as standard Hawking theory predicts.

    Primordial Black Holes: A Review of Formation and Evolution · Theoretical Pitfalls · 1.00

  • This suggests that a better correspondence with the zeroth and the first laws of thermodynamics would result if one assumes that only the horizon is isolated –i.e., ensuring that the BH itself is a closed system– while allowing for radiative processes outside [ref] .

    Thermodynamics of dynamical black holes beyond perturbation theory · Limitations of BCH-type frameworks · 0.97

  • Various authors have been successful in deriving dynamical laws for locally defined horizons such as dynamical and trapping horizons [ref] .

    Black holes and black hole thermodynamics without event horizons · Event horizons · 0.99

Cites it as background 96 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.