{"id":"17973792-9c96-450d-a4cb-bae35ca52d65","arxiv_id":"gr-qc/0407042","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Isolated and dynamical horizons give a quasi-local replacement for event horizons that supports black hole mechanics, an explicit area-growth balance law, and entropy counting, without requiring global stationarity.","lead":"A review of the quasi-local framework in which black holes in equilibrium are modelled by isolated horizons and growing black holes by dynamical horizons, replacing the global event horizon. It collects the definitions, the area balance law, the generalized laws of black hole mechanics, and the applications to numerical relativity, hairy black holes, and loop-quantum-gravity entropy counting.","discovery_kind":"review","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The exact balance law (Eq. 25) is solid; the load-bearing soft spot is the physical reading of the |ζ|² term as gravitational flux, which the paper grounds in an unproven no-DH-in-stationary-vacuum conjecture (Section 3.3).","rationale":"The paper is a review; its central technical content (Eq. 25, Eq. 48, Eq. 56) is derived in front of the reader, and I find no error in the derivations I checked (Eq. 18→21→24→25, Eq. 42→45). The reader's weakest_assumption targets the canonical mass, which the paper explicitly acknowledges fails outside Einstein–Maxwell; that is a limitation of a secondary result, not of the central claim, since Eq. 25/48 do not require the canonical mass. The genuinely load-bearing soft spot is the interpretive status of the gravitational flux term, which the paper acknowledges as partially open. The paper is candid about its open items (DH uniqueness, Section 2.2.3; no-DH conjecture, Section 3.3; entropy count resting on one program, Section 7). I would keep ACCEPT with MODERATE confidence, noting that the 'new laws' language in abstract:s5 is stronger than the proven content.","tokens_in":53624,"tokens_out":9896,"duration_ms":178871,"concrete_test":"On a numerically evolved rotating dynamical horizon (e.g., from a binary black hole simulation), compute the |ζ|² contribution to Eq. 26 as the horizon approaches equilibrium. If it does not tend to zero as the horizon becomes null, the flux interpretation fails. Alternatively, attempt to construct a DH foliation in the Kerr spacetime; if one exists, the no-DH-in-stationary-vacuum conjecture is false and the flux reading is undermined.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central quantitative claim is Eq. 25, an exact identity obtained from the scalar and vector constraints on H. I checked the chain Eq. 18 → 21 → 24 → 25 (including the Gauss–Bonnet normalization I = 8π for S², which is what makes the (R₂−R₁)/2G prefactor come out right) and the angular-momentum balance Eq. 42 → 45; both are clean, and I have no objection to the derivations. The concern is with the interpretation. The paper reads the geometric term (1/16πG)∫N_R(|σ|² + 2|ζ|²) as the flux of gravitational energy and offers five viability criteria. Four are genuine independent checks (gauge invariance, positivity, locality, vanishing in spherical symmetry). The fifth, 'balance law', is not independent: the left side of Eq. 25 is by construction the difference of the Hawking mass, so the criterion is satisfied by the identity itself. More substantively, the paper admits (Section 3.3) that the criterion 'flux should vanish in stationary vacuum solutions' is unproven: 'a general proof is still lacking.' If stationary vacuum solutions did admit DHs, the |ζ|² term would assign positive gravitational flux to a non-radiating configuration. The paper notes the |ζ|² term 'can arise only because H is space-like rather than null' and 'cannot vanish in presence of rotation,' which makes the reading delicate. This is acknowledged, so it is not a new finding, but it is where the abstract's 'new laws governing the dynamics' (abstract:s5) is least secure. The reader's weakest_assumption (Kerr-uniqueness dependence of the canonical mass, Eq. 38) is a real limitation but is explicitly acknowledged in Sections 6.1.1–6.1.2 and does not threaten Eq. 25/48, which hold for any t^a of the form (47) without the canonical mass.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"This is a review article, in the Living Reviews format, of the quasi-local framework for black holes built on non-expanding, weakly isolated, and isolated horizons (NEH/WIH/IH) on the equilibrium side and on dynamical horizons (DH) on the evolving side. Section 2 gives the definitions and their geometric consequences (the pull-back connection D, the rotation one-form ω_a, surface gravity, free data (q̃_ab, ω̃_a), rest frames, and the three universality classes of horizon symmetry). Section 3 derives the area balance law, Eq. (25), from the scalar and vector constraints on H, and reads the geometric term (1/16πG)∫N_R(|σ|² + 2|ζ|²) as a gravitational energy flux, Eq. (26), subjecting it to five viability criteria. Section 4 develops the zeroth law, the Hamiltonian derivation of horizon angular momentum (Eq. 32) and horizon mass (Eqs. 38–41), the integral first law on DHs (Eq. 48), the canonical horizon mass (Eq. 55) and its Bondi-type balance (Eq. 56), and the matching of DH and NEH quantities at the transition to equilibrium. Sections 5–7 survey applications to numerical relativity (mass/angular momentum extraction, quasi-equilibrium initial data, horizon multipole moments, waveform extraction), to hairy black holes (the bound-state model, Eqs. 80–84), and to the quantum geometry entropy calculation. Section 8, on open issues, was not present in the copy available to me; my report covers Sections 1 through 7.2.","tokens_in":53983,"tokens_out":4810,"duration_ms":96606,"significance":"The review is a substantial and useful synthesis. Its strengths are real and worth naming. The derivations that are shown are exact identities from the constraint equations, not approximations: the chain Eq. (18) → (21) → (24) → (25) is checkable step by step, and the angular momentum balance Eq. (42) → (45) likewise. Assumptions are stated where they are used (dominant energy condition, S² × R topology, existence of a rotational Killing field on cross-sections, vacuum near the horizon in Section 5). The framework is explicitly cross-domain, and the applications are not decorative: the horizon mass formula (Eq. 60) is a working numerical tool that the authors report to be more accurate than the great-circle method; the hairy-black-hole model yields falsifiable predictions (the 2n unstable modes of Section 6.2.2, and the soliton-mass relations Eqs. 83–84, which the authors report as numerically verified in the spherically symmetric case); and the entropy calculation rests on a genuine boundary-condition-derived Chern–Simons surface term (Eq. 91) rather than on state counting in a dual flat-space system. The paper is also candid about what is not established, which is a virtue in a 7","major_comments":[{"comment":"The abstract's claim of 'new laws governing the dynamics of black holes in exact general relativity' (abstract:s5) rests on reading the geometric term of Eq. (25) as a gravitational energy flux, and the support offered for that reading is the list of five criteria in Section 3.3. Two of the five do less work than the presentation suggests. First, the 'balance law' criterion is not an independent test: the left side of Eq. (25) is by construction the difference of the Hawking mass between S₁ and S₂, so the criterion is satisfied by the identity itself and cannot discriminate between a correct and an incorrect reading of the right side. Second, the 'vanishing in stationary vacuum' criterion is stated by the authors as unproven ('a general proof is still lacking'), and the paper also notes that |ζ|² 'cannot vanish in presence of rotation'. Taken together, if a rotating stationary vacuum spacetime admitted a DH, Eq. (26) would assign positive gravitational flux to a non-radiating configuration. I do not ask for a proof of the conjecture here, but I do ask that the conditional status be stated where the claim is made (abstract and Section 1) rather than only in Section 3.3, and that the 'balance law' criterion be reclassified as a consistency check rather than counted among the independent viability tests. A concrete test that would settle the matter: exhibit a non-spherical DH in a stationary vacuum solution, or show that |ζ|² vanishes identically on any DH in such a solution.","section":"Section 3.3, Eq. (26) and the five viability criteria","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The horizon mass is fixed by choosing κ₀(a_Δ, J_Δ) = κ_Kerr(a_Δ, J_Δ) in Eq. (38), and the resulting functional form M(R) = √(R⁴ + 4G²J²)/(2GR) in Eq. (55) then follows. The text in Section 4.1.3 says 'this is not just a postulate. Rather, this result is derived using a systematic Hamiltonian framework', and Section 4.2.3 says the non-triviality lies in the existence of the balance equation (48). I think the paper is right about where the non-triviality lies, but the wording invites the reading that the functional form itself is derived. What is derived is (i) the existence of a Hamiltonian generating evolution along a permissible t^a, and (ii) the balance law Eq. (56); the functional form is a canonical choice licensed by the four-dimensional Einstein–Maxwell uniqueness theorems. The authors themselves show in Sections 6.1.1 and 6.1.2 that the choice fails once uniqueness fails, so the point is not new, but the derivation in Section 4 should be split explicitly into these two steps so that readers applying Eq. (60) in numerical work (Section 5.1) know exactly which input is a theorem and which is a convention.","section":"Sections 4.1.3 and 4.2.3, Eqs. (38)–(41) and (55)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The preferred-foliation condition div ω̃ = −Δ̃ ln|Ψ₂|^{1/3} is attributed to Pawlowski in the text but carries no bracketed citation; please supply the reference.","section":"Section 2.1.3, Eq. (10)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The sentence 'While special cases of this conjecture have been proved, a general proof is still lacking' should name which special cases, since the reader cannot otherwise judge how much of the conjecture is covered.","section":"Section 3.3","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Typographical: 'In his section, we will first summarize this development' should read 'In this section'.","section":"Section 5.2, opening paragraph","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Typographical: 'Account for the the thermodynamic, black hole entropy' has a doubled article.","section":"Section 7.1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The notation β_{n⃗₀}(R) = 2[κ_{n⃗₀}(R)]R in Eq. (78) uses square brackets whose meaning is not explained; please state whether they denote evaluation at the horizon radius of the static solution or something else.","section":"Section 6.2.1, Eq. (77)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The authors are right to flag that Eq. (64) does not reproduce the expected linear momentum of a boosted Kerr–Schild black hole, and the candour is welcome. A sentence on what additional structure (e.g., an approximate translational Killing field with a normalization condition analogous to that used for φ^a) would be needed to make the definition well posed would help the reader see the shape of the missing piece.","section":"Section 5.2.2, Remark on linear momentum","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The symbol ℓ^a denotes the null normal to an isolated horizon in Section 2.1 and the null normal ℓ^a = τ̂^a + r̂^a to the cross-sections of a dynamical horizon in Section 3; Figure 5 distinguishes the horizon normal as ℓ̄^a but the text of Section 3.2 does not. A one-line notational note at the start of Section 3 would prevent confusion.","section":"Section 3.2 and Figure 5","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The caption refers to 'the time-like surface r = 2M₀ (represented by the dashed line)', but the dashed line is not labelled in the figure itself; adding the label would make the caption self-contained.","section":"Figure 4 caption","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The uniqueness discussion is appropriately hedged, and the authors identify better control on uniqueness as the most important open issue. It would strengthen the section to state explicitly which of the results in Sections 3 and 5 survive if more than one SFOTH asymptotes to the event horizon, since the text asserts that all results of those sections apply to all DHs but does not spell out the consequence for the 'transient' case.","section":"Section 2.2.3","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"This is a careful and well-established review; my recommendation of minor revision reflects only the two framing points in the major comments, both of which are local wording and placement fixes rather than technical errors. The copy I was given is truncated at Section 7.2, so I could not assess Section 7.3 (rotating and distorted horizons) or Section 8 (open issues); if those sections contain material bearing on the flux interpretation or the horizon-mass convention, my assessment of the major comments may need revisiting. The paper is long for a journal article but the length is appropriate to the Living Reviews format and to the breadth of the applications surveyed."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"Short version: this is the reference review for the isolated/dynamical horizon program, and it does the job. Definitions are fixed, assumptions are named, and the load-bearing formulas are derived in front of you rather than cited. Read Sections 2–4 closely; treat the applications sections as a guided tour of the authors' own program, which is what they are. On the stress-test's main worry: the |ζ|² term is real but smaller than it sounds. The paper does not sell it as pure radiation flux. It says explicitly that the flux refers to a specific ξ(R) and measures the change in Hawking mass, and it says the stationary-vacuum criterion is unproven — 'a general proof is still lacking.' That is an acknowledged gap, not a hidden one, so it belongs in the ledger but not at the top of it. The 'balance law' viability criterion is indeed not independent of the identity; minor, and the other four carry the weight. The Kerr-uniqueness dependence of the canonical mass (Eq. 38) is definitional, as the reader says, and the authors say so; the substantive content is the balance law, which holds for any t^a of the form (47). Where it bites is Section 6, where uniqueness fails and mass becomes branch-by-branch — handled honestly there. One thing neither of you flagged: Section 7 is essentially one collaboration's program, presented with less critical distance than the classical sections. For a review spanning four communities, that asymmetry is worth knowing. Who it's for: anyone in numerical relativity who needs to compute mass and angular momentum from an apparent horizon, and anyone in quantum gravity who wants the classical boundary-value problem stated properly. It deserves referees, but expect them to ask for more separation between review and program in Sections 6–7.","headline":"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.","tokens_in":54690,"tokens_out":1559,"would_cite":true,"duration_ms":28202,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["04.70.-s","04.70.Bw","04.70.Dy","04.25.Dm"],"model":"selfhosted/deepseek-v4.1-flash","headline":"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.","keywords":["isolated horizons","dynamical horizons","black hole mechanics","quasi-local horizons","marginally trapped surfaces","numerical relativity","black hole entropy","hairy black holes"],"falsifier":"A concrete falsifier would be a smooth dynamical horizon in a non-stationary vacuum space-time for which the right-hand side of the area balance law does not equal $(R_2-R_1)/2G$, or a weakly isolated horizon on which the surface gravity is not constant; either would break the central quantitative and zeroth-law claims.","tokens_in":54938,"feed_emoji":"🕳️","tokens_out":5658,"duration_ms":92792,"temperature":0.7,"pith_summary":"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.","feed_headline":"Black hole growth obeys an exact local balance law","feed_subtitle":"Isolated and dynamical horizons replace global event horizons and make mass, spin and area flux local.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Derives the dynamical-horizon area increase law, the gravitational flux term, and the horizon mass balance used as the central quantitative result.","marker":"[30, 31]"},{"why":"Supplies the Hamiltonian phase-space treatment and the zeroth and first laws for weakly isolated horizons with an inner boundary.","marker":"[26, 15]"},{"why":"Introduces the trapping-horizon precursor that motivates the space-like dynamical-horizon definition.","marker":"[117]"},{"why":"Analyzes the uniqueness, free data, and allowed null-normal rescalings of weakly isolated and isolated horizons.","marker":"[16]"},{"why":"Implements horizon angular momentum and mass formulas in numerical simulations and compares them with older extraction methods.","marker":"[85, 34]"},{"why":"Defines the horizon multipole moments used to characterize distorted isolated horizons.","marker":"[24]"},{"why":"Proposes the bound-state model of hairy black holes and the horizon-mass relations that follow from it.","marker":"[21, 20]"},{"why":"Carries out the quantum-geometry entropy count using isolated-horizon boundary conditions and the Chern–Simons surface term.","marker":"[10, 11]"}],"fun_headline_variants":["Quasi-local horizons unify black hole laws without event horizons","Dynamical and isolated horizons give black hole mass a local definition","Area balance law on dynamical horizons yields the first and second laws","Horizon mass and spin reduce to Kerr once the hole settles down","Black hole thermodynamics and entropy rebuilt on quasi-local horizons"],"cache_read_input_tokens":0,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Quasi-local horizons unify black hole laws without event horizons","Dynamical and isolated horizons give black hole mass a local definition","Area balance law on dynamical horizons yields the first and second laws","Horizon mass and spin reduce to Kerr once the hole settles down","Black hole thermodynamics and entropy rebuilt on quasi-local horizons"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":1453,"prompt_tokens":905,"completion_tokens":548,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":475}},"tokens_in":905,"tokens_out":548,"duration_ms":10443,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":475,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T16:40:24.995485+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"A concrete falsifier would be a smooth dynamical horizon in a non-stationary vacuum space-time for which the right-hand side of the area balance law does not equal $(R_2-R_1)/2G$, or a weakly isolated horizon on which the surface gravity is not constant; either would break the central quantitative and zeroth-law claims.","supporting_citations":[{"cited_title":"General laws of black-hole dynamics","cited_arxiv_id":null,"evidence_quote":"Introduces the trapping-horizon precursor that motivates the space-like dynamical-horizon definition."},{"cited_title":"Geometry of Generic Isolated Horizons","cited_arxiv_id":"gr-qc/0111067","evidence_quote":"Analyzes the uniqueness, free data, and allowed null-normal rescalings of weakly isolated and isolated horizons."},{"cited_title":"Multipole Moments of Isolated Horizons","cited_arxiv_id":"gr-qc/0401114","evidence_quote":"Defines the horizon multipole moments used to characterize distorted isolated horizons."}],"review_version":1}