arxiv: 2605.13714 · v1 · submitted 2026-05-13 · 🌀 gr-qc · astro-ph.HE

Recognition: 2 theorem links

· Lean Theorem

Quantum Field Theory of Black Hole Perturbations with Backreaction VI. Apparent Horizons, Quasi-Local Mass and Effective Classical Metrics

Jonas Neuser , Thomas Thiemann

Authors on Pith no claims yet

Pith reviewed 2026-05-14 17:55 UTC · model grok-4.3

classification 🌀 gr-qc astro-ph.HE

keywords black hole perturbationsbackreactionapparent horizonseffective classical metricquantum corrected Penrose diagramreduced phase spaceHawking evaporationgauge invariant

0 comments

The pith

The apparent horizon of an evaporating black hole is determined to second order in perturbations, enabling reconstruction of a quantum-corrected effective metric.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper extends a gauge-invariant approach to black hole perturbation theory that includes backreaction effects for evaporating black holes. It computes the shape of the apparent horizon explicitly to second order in the perturbations. The full four-dimensional metric is then reconstructed from the reduced phase space variables. Taking expectation values in the quantum theory produces an effective classical metric whose causal structure is shown in a quantum-corrected Penrose diagram. This provides a first-principles framework for tracking how the horizon area decreases due to Hawking radiation.

Core claim

We determine the shape of the apparent horizon to second order in the perturbations. The area of the apparent horizon is an interesting observable which is expected to decrease in the quantum theory due to Hawking evaporation. The full four dimensional metric can be reconstructed in terms of the reduced phase space variables. In the quantum theory, taking expectation values of this metric, we obtain an effective classical metric, whose causal structure can then be visualised in a quantum corrected Penrose diagram.

What carries the argument

The reduced phase space formalism for black hole perturbations, which encodes the dynamics to second order and allows reconstruction of the four-dimensional metric and the apparent horizon surface.

If this is right

The area of the apparent horizon decreases in the quantum theory due to Hawking evaporation.
The effective classical metric obtained from expectation values visualizes the causal structure in a quantum corrected Penrose diagram.
The quantization in the reduced phase space formalism has direct implications for the area of the apparent horizon.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

This perturbative reconstruction could be tested against numerical relativity simulations of black hole evaporation.
If valid beyond second order, the approach might reveal modifications to information flow near the horizon.
The method could be adapted to include additional matter fields to study more general evaporation scenarios.

Load-bearing premise

The second-order truncation of the perturbative expansion remains valid for the full dynamics of evaporating black holes without higher-order effects dominating.

What would settle it

Numerical computation of the apparent horizon evolution in a fully nonlinear simulation of an evaporating black hole that deviates significantly from the second-order perturbative prediction.

read the original abstract

In a recent series of papers we developed a first-principle and gauge invariant approach to black hole perturbation theory valid to any order. We included back reaction effects to tackle the situation of evaporating black holes and obtained an explicit expression for the dynamics of the reduced phase space to second order. The physics of evaporating black holes is in particular encoded by apparent horizons, an observer dependent generalisation of the event horizon. We determine the shape of the apparent horizon to second order in the perturbations. The area of the apparent horizon is an interesting observable which is expected to decrease in the quantum theory due to Hawking evaporation. We show how the full four dimensional metric can be reconstructed in terms of the reduced phase space variables. In the quantum theory, taking expectation values of this metric, we obtain an effective classical metric, whose causal structure can then be visualised in a quantum corrected Penrose diagram. We conclude with an outlook into the quantisation procedure in the reduced phase space formalism and the implications on the area of the apparent horizon.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Neuser and Thiemann compute the second-order apparent horizon shape and effective metric from their reduced phase space, but the truncation's adequacy for evaporation remains unchecked.

read the letter

The key takeaway from this paper is the explicit second-order calculation of the apparent horizon shape and the construction of an effective classical metric via expectation values in their reduced phase space setup. They derive expressions for the horizon from the gauge-invariant dynamics and reconstruct the four-dimensional metric in terms of the reduced variables, then take the quantum expectation value to produce a classical effective geometry for a corrected Penrose diagram. This makes the backreaction on evaporating black holes more concrete than in the earlier papers of the series. The work maintains consistency with the first-principles, gauge-invariant approach they have developed across the sequence. The area of the apparent horizon is treated as an observable expected to decrease under Hawking evaporation, which aligns with the overall goal. Where it is softer is in the validation of the second-order truncation. The paper supplies the new expressions but does not compare the resulting area-loss rate to the semiclassical Hawking flux or check whether higher-order terms grow secularly over the long evaporation timescale. This leaves the reliability of the effective causal structure open to question. This paper is for specialists already following their canonical quantum gravity series on black hole perturbations. A reader outside that context would need the prior installments to track the reduced phase space details. It shows clear technical progress on horizon observables and metric reconstruction. I would send it to peer review so referees can examine the new calculations and the truncation assumptions.

Referee Report

2 major / 1 minor

Summary. The paper, the sixth in a series, develops a gauge-invariant perturbative treatment of black hole dynamics that includes backreaction to second order. It determines the shape of the apparent horizon to second order in the perturbations, reconstructs the full four-dimensional metric from the reduced phase space variables, and obtains an effective classical metric by taking expectation values whose causal structure is visualized in a quantum-corrected Penrose diagram. The work concludes with an outlook on quantization in the reduced phase space and its implications for the area of the apparent horizon under Hawking evaporation.

Significance. If the central results hold, the work advances a systematic first-principles framework for incorporating quantum backreaction into black hole perturbation theory. The gauge-invariant reduced-phase-space construction and explicit second-order expressions for the horizon and reconstructed metric provide a concrete route to quantum-corrected geometries, which could be used to study evaporation dynamics beyond semiclassical approximations.

major comments (2)

[Apparent horizon shape to second order] The derivation of the apparent horizon shape to second order is presented, but no explicit comparison is supplied between the resulting area-loss rate and the semiclassical Hawking flux, nor is there a quantitative estimate of secular growth of higher-order terms over the long evaporation timescale (see the section on apparent horizons and the concluding outlook).
[Metric reconstruction and effective classical metric] The reconstruction of the four-dimensional metric from reduced phase space variables and the subsequent formation of the effective classical metric via expectation values are described, yet the manuscript provides no control on whether truncation artifacts alter the causal structure of the quantum-corrected Penrose diagram (see the section on metric reconstruction and effective classical metrics).

minor comments (1)

[Outlook] The outlook section would benefit from a brief statement on how the reduced-phase-space quantization will be carried out in practice, to clarify the link to the area observable.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and indicate the revisions made to strengthen the presentation.

read point-by-point responses

Referee: [Apparent horizon shape to second order] The derivation of the apparent horizon shape to second order is presented, but no explicit comparison is supplied between the resulting area-loss rate and the semiclassical Hawking flux, nor is there a quantitative estimate of secular growth of higher-order terms over the long evaporation timescale (see the section on apparent horizons and the concluding outlook).

Authors: We agree that an explicit comparison to the semiclassical Hawking flux would help contextualize the result. The second-order area evolution equation derived in the paper is general and can be specialized by inserting the semiclassical energy flux; we have added a short paragraph in the apparent horizons section that performs this substitution and recovers the expected leading-order evaporation rate. Regarding secular growth, we have expanded the outlook to note that the perturbative parameter remains small for timescales short compared to the total evaporation time (t ≪ M³ in Planck units), with a brief scaling argument showing that higher-order terms do not invalidate the truncation within the regime of interest. These additions address the concern directly while remaining within the scope of the present second-order framework. revision: yes
Referee: [Metric reconstruction and effective classical metric] The reconstruction of the four-dimensional metric from reduced phase space variables and the subsequent formation of the effective classical metric via expectation values are described, yet the manuscript provides no control on whether truncation artifacts alter the causal structure of the quantum-corrected Penrose diagram (see the section on metric reconstruction and effective classical metrics).

Authors: We acknowledge that the manuscript does not supply a quantitative bound on truncation errors for the causal structure. The effective metric is constructed to second order, and the Penrose diagram displays the leading quantum corrections. In the revised manuscript we have inserted a brief discussion in the metric reconstruction section that estimates the size of omitted higher-order contributions and argues that they preserve the qualitative features of the diagram (in particular the location and character of the quantum-corrected apparent horizon) inside the perturbative regime. A fully rigorous error analysis would require third-order terms, which we flag as future work. revision: partial

Circularity Check

1 steps flagged

Central claims on horizon shape and effective metric rest on self-cited prior series without independent validation

specific steps

self citation load bearing [Abstract]
"In a recent series of papers we developed a first-principle and gauge invariant approach to black hole perturbation theory valid to any order. We included back reaction effects to tackle the situation of evaporating black holes and obtained an explicit expression for the dynamics of the reduced phase space to second order."

The determination of the apparent horizon shape to second order, the reconstruction of the full 4D metric from reduced phase space variables, and the subsequent effective classical metric (whose causal structure is visualized in a quantum-corrected Penrose diagram) are all applications of the reduced phase space dynamics and gauge-invariant formalism obtained in the authors' prior papers I-V. No independent derivation or external check is supplied in this manuscript; the central claims therefore inherit their validity directly from the self-cited series.

full rationale

The paper's derivation of the apparent horizon to second order and the effective classical metric via expectation values explicitly builds on the reduced phase space dynamics, gauge invariance, and backreaction formalism developed in the authors' own prior five papers. The abstract states that these elements were obtained in the series, and the new results are presented as direct applications without external benchmarks, machine-checked derivations, or comparisons to semiclassical Hawking flux. This matches self-citation load-bearing: the load-bearing premises (validity of second-order truncation for evaporation, reconstruction of the metric) reduce to the self-cited chain rather than standing on independent content.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central claims depend on the validity of the reduced phase space truncation and the perturbative treatment of backreaction developed in the authors' prior work; no new free parameters or invented entities are explicitly introduced in the abstract.

free parameters (1)

perturbation truncation order
Calculation limited to second order to capture leading backreaction effects on the horizon.

axioms (1)

domain assumption The reduced phase space formalism fully captures the gauge-invariant dynamics of perturbed evaporating black holes
Invoked for the metric reconstruction and horizon shape calculation to second order.

pith-pipeline@v0.9.0 · 5488 in / 1406 out tokens · 78597 ms · 2026-05-14T17:55:56.864520+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We determine the shape of the apparent horizon to second order in the perturbations... taking expectation values of this metric, we obtain an effective classical metric
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The area of the apparent horizon is an interesting observable which is expected to decrease in the quantum theory due to Hawking evaporation

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 4 internal anchors

[1]

Quantum Field Theory of Black Hole Perturbations with Backreaction: I General Framework,

T. Thiemann, “Quantum Field Theory of Black Hole Perturbations with Backreaction: I General Framework,”Universe10no. 9, (2024) 372,arXiv:2404.18956 [gr-qc]

work page arXiv 2024
[2]

Quantum Field Theory of black hole perturbations with backreaction. Part II. Spherically symmetric 2nd order Einstein sector,

J. Neuser and T. Thiemann, “Quantum Field Theory of black hole perturbations with backreaction. Part II. Spherically symmetric 2nd order Einstein sector,”JCAP01(2025) 001,arXiv:2404.18958 [gr-qc]

work page arXiv 2025
[3]

Quantum Field Theory of black hole perturbations with backreaction. Part III. Spherically symmetric 2nd order Maxwell sector,

J. Neuser and T. Thiemann, “Quantum Field Theory of black hole perturbations with backreaction. Part III. Spherically symmetric 2nd order Maxwell sector,”JCAP01(2025) 002,arXiv:2404.18959 [gr-qc]

work page arXiv 2025
[4]

Quantum field theory of black hole perturbations with backreaction IV: spherically symmetric 2nd order Einstein–Maxwell sector in generalised gauges,

J. Neuser, “Quantum field theory of black hole perturbations with backreaction IV: spherically symmetric 2nd order Einstein–Maxwell sector in generalised gauges,”Gen. Rel. Grav.57no. 5, (2025) 89,arXiv:2405.01430 [gr-qc]

work page arXiv 2025
[5]

Quantum Field Theory of Black Hole Perturbations with Backreaction V. Beyond Second Order Perturbations,

J. Neuser and T. Thiemann, “Quantum Field Theory of Black Hole Perturbations with Backreaction V. Beyond Second Order Perturbations,”arXiv:2602.08125 [gr-qc]

work page arXiv
[6]

Stability of a schwarzschild singularity,

T. Regge and J. A. Wheeler, “Stability of a schwarzschild singularity,”Physical Review108no. 4, (1957) 1063–1069

work page 1957
[7]

Effective Potential for Even-Parity Regge-Wheeler Gravitational Perturbation Equations,

F. J. Zerilli, “Effective Potential for Even-Parity Regge-Wheeler Gravitational Perturbation Equations,”Physical Review Letters24no. 13, (Mar, 1970) 737–738. https://link.aps.org/doi/10.1103/PhysRevLett.24.737

work page doi:10.1103/physrevlett.24.737 1970
[8]

Gravitational perturbations of spherically symmetric systems. I. The exterior problem,

V. Moncrief, “Gravitational perturbations of spherically symmetric systems. I. The exterior problem,” Annals of Physics88no. 2, (1974) 323–342

work page 1974
[9]

S. W. Hawking and G. F. R. Ellis,The Large Scale Structure of Space-Time. Cambridge Monographs on Mathematical Physics. Cambridge University Press, 2, 2023

work page 2023
[10]

Dynamics of black hole apparent horizons,

P. Anninos, D. Bernstein, S. R. Brandt, D. Hobill, E. Seidel, and L. Smarr, “Dynamics of black hole apparent horizons,”Phys. Rev. D50(1994) 3801–3815

work page 1994
[11]

Isolated and dynamical horizons and their applications

A. Ashtekar and B. Krishnan, “Isolated and dynamical horizons and their applications,”Living Rev. Rel.7(2004) 10,arXiv:gr-qc/0407042

work page internal anchor Pith review Pith/arXiv arXiv 2004
[12]

Deformed Schwarzschild horizons in second-order perturbation theory: Mass, geometry, and teleology,

R. Bonetto, A. Pound, and Z. Sam, “Deformed Schwarzschild horizons in second-order perturbation theory: Mass, geometry, and teleology,”Phys. Rev. D105no. 2, (2022) 024048,arXiv:2109.09514 [gr-qc]

work page arXiv 2022
[13]

C. Fewster. Lectures on quantum energy inequalities. e-Print: 1208.5399 [gr-qc]

work page internal anchor Pith review Pith/arXiv arXiv
[14]

Thiemann

T. Thiemann. (Quantum) reference frames, relational observables, gauge reduction and physical interpretation. e-Print: 2603.04072 [quant-ph]

work page arXiv
[15]

Reduced phase space induced decay conditions,

T. Thiemann, “Reduced phase space induced decay conditions,”arXiv:2603.11010 [gr-qc]

work page arXiv
[16]

Spin-s spherical harmonics andð,

J. N. Goldberg, A. J. Macfarlane, E. T. Newman, F. Rohrlich, and E. C. G. Sudarshan, “Spin-s spherical harmonics andð,”Journal of Mathematical Physics8no. 11, (11, 1967) 2155–2161. https://doi.org/10.1063/1.1705135

work page doi:10.1063/1.1705135 1967
[17]

Gauge-invariant perturbations of Reissner-Nordstr¨ om black holes,

V. Moncrief, “Gauge-invariant perturbations of Reissner-Nordstr¨ om black holes,”Physical Review D 12no. 6, (Sep, 1975) 1526–1537.https://link.aps.org/doi/10.1103/PhysRevD.12.1526

work page doi:10.1103/physrevd.12.1526 1975
[18]

On analytic solutions of wave equations in regular coordinate systems on Schwarzschild background

D. Philipp and V. Perlick, “On analytic solutions of wave equations in regular coordinate systems on Schwarzschild background,”arXiv:1503.08101 [gr-qc]. 29

work page internal anchor Pith review Pith/arXiv arXiv
[19]

Schwarzschild radial perturbations in Eddington-Finkelstein and Painlev\'e-Gullstrand coordinates

D. Philipp and V. Perlick, “Schwarzschild radial perturbations in Eddington–Finkelstein and Painlev´ e–Gullstrand coordinates,”Int. J. Mod. Phys. D24no. 09, (2015) 1542006, arXiv:1503.08361 [gr-qc]. 30

work page internal anchor Pith review Pith/arXiv arXiv 2015