REVIEW 3 major objections 4 minor 19 references
A generalization of the Fredenhagen-Haag derivation of Hawking radiation for a class of Vaidya space-times
T0 review · 3 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read A two-sided inequality certifies that detector responses in Vaidya spacetimes track a frozen thermal reference up to explicit, finite error terms.
desk verdict Serious conditional result: the finite-window error-controlled detector bound is a real advance, but the late-time Fredenhagen-Haag limit is a reduction to unproved decay hypotheses, not a derivation. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by four objects working together: (i) the frozen Schwarzschild propagator $U_U(t,s)$ on Sobolev energy spaces, compared with the Vaidya evolution through the exact Duhamel identity (105); (ii) the exact linear null-peeling coefficient $\lambda_{U,L}=\exp(-\int \kappa_{\mathrm{lin}}(v)\,dv)$ with a quadratic remainder bound for the ray map; (iii) the universal horizon scaling kernel $\Lambda_*$, whose Fourier density is $E/(1-e^{-\beta_*E})$ with $\beta_*=2\pi/\kappa_*$; and (iv) the positive-form comparison lemma, which converts a norm bound on the remainder into a two-sided response interval. The redshift-localisation bridge defect $\eta_U$ and the finite Hadamard scaling defect $h_U$ are deliberately retained as exact nonnegative terms rather than estimated away.
What would settle it
A concrete check: for a Vaidya sandwich in class $V_S$, evaluate all terms in $E_U(L,\mu)$ and compute $F_g[h_U]$ directly from the exact scattering data; if the response falls outside the interval (141) at any finite $L,\mu$ satisfying the hypotheses, Theorem 10.7 is false. Alternatively, construct a Hadamard state for which Assumption 10.2 fails on the outgoing channel—e.g. with non-decaying infrared radiation—and show that $V_U(L)$ diverges while $F_g[h_U]$ remains finite, breaking the certified bound.
Extended reading notes
Core claim
On its own terms, the paper proves Theorem 10.7: under Assumption 10.2 and the quantitative propagation estimates of Theorem 9.7, the response $F_g[h_U]$ of a massless scalar detector in a controlled Vaidya spacetime satisfies $$\max\{0,F_{\mathrm{th}}[p_U]-E_U(L,\mu)\}\le F_g[h_U]\le F_{\mathrm{th}}[p_U]+E_U(L,\mu),$$ where $F_{\mathrm{th}}$ is the frozen local thermal reference supplied by the universal horizon scaling limit and $E_U(L,\mu)$ is the explicit positive error functional of Eq. (138). The error sums the Duhamel/PDE variation, the Schwarzschild radiation tail, the redshift-localisation bridge defect, the finite Hadamard scaling defect, the outgoing-channel contribution, and positivity cross-terms. Consequently, at finite parameters the detector response is certified to be within a computable interval around the local thermal response, and the interval collapses to the Fredenhagen–Haag response in the stationary limit and under the decay hypotheses of Corollary 11.1.
Load-bearing premise
The load-bearing premise is Assumption 10.2: the state's pullback quadratic form is bounded by a fixed Sobolev-energy norm on the error subspace that includes the outgoing channel; this is an infrared/energy-continuity condition not implied by Hadamard regularity.
Editorial extensions
If this is right
- If Theorem 10.7 is correct, then for asymptotically stationary accretion with $m(u)\to M_+>0$ and the decay hypotheses (149), the detector response converges to the Fredenhagen–Haag response of the limiting Schwarzschild geometry, greybody factors included.
- For evaporation–accretion turnaround profiles, the same late-time limit holds once detector windows lie after the turnaround; the transient evaporation phase influences only the finite-window error terms.
- A finite evaporating slab does not determine a unique late-time detector response: different globally hyperbolic future completions with different final masses give different limiting Planck factors, so future extension data are indispensable.
- For asymptotic evaporation with $m(u)\to 0$, the mass-rescaled conformal formulation yields a scale-covariant finite-window estimate for scale-following detectors, but the integrated rescaled perturbation diverges, so no ordinary short-range scattering limit exists at $u=+\infty$.
- All angular momenta are included with control uniform in $\ell$, because the angular potential cancels in the coefficient difference (99).
Reading between the lines
- The paper's separation of a universal local scaling step from a quantitative propagation step suggests a template for other dynamical spacetimes with outer trapping horizons: once a local scaling theorem is available, the remaining task is to estimate the propagation bridge, and the same error-functional format can be reused.
- Because every term in $E_U$ is explicit, one could test the thermal-certification claim numerically for model mass profiles: evaluating the interval and a direct computation of $F_g[h_U]$ for a Vaidya sandwich would either confirm the bound or expose a missing term, making the inequality a concrete diagnostic in numerical relativity.
- The finite-slab non-uniqueness result implies that attempts to assign an evolving Hawking temperature using only local horizon data are underdetermined; a late-time flux statement is inherently global, which may inform discussions of black-hole evaporation endpoints.
- For asymptotic evaporation, the long-range obstruction suggests that scale-following detectors are the natural observables; a fixed-radius detector would require a separate far-zone estimate, which the paper explicitly leaves for future work.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a quantitative, finite-window extension of the Fredenhagen–Haag derivation of Hawking radiation for massless scalar fields on spherically symmetric Vaidya spacetimes. Using the Kurpicz–Pinamonti–Verch horizon scaling theorem as the universal thermal input, it constructs globally hyperbolic developments for finite detector–horizon windows, proves a Duhamel-type propagator comparison between the nonautonomous Vaidya evolution and a frozen Schwarzschild evolution, calculates the exact linear null-peeling coefficient and its quadratic remainder, and combines these with positivity into the two-sided detector-response inequality of Theorem 10.7, Eq. (141). The paper also constructs a future-Unruh Hadamard state on an eventually stationary model, proves that a finite evaporating slab does not determine a late-time response without a specified future extension, and gives a scale-covariant finite-window estimate for asymptotically evaporating profiles. The late-time convergence statements in Sections 11.3–11.4 are explicitly conditional on decay of the localization bridge defect, the outgoing-channel state term, and uniformity of finite-Hadamard scaling defects.
Significance. If the finite-window inequality is accepted, this is a genuinely useful contribution: it converts the qualitative Fredenhagen–Haag mechanism into a certified interval with an explicit error functional, while correctly separating the local horizon-scaling input from the global propagation problem. The paper is unusually honest about the distinction between finite-window bounds and late-time limits, and it does not claim more than the theorem statements support. The main strengths are the explicit Duhamel comparison uniform in angular momentum, the exact peeling calculation, the careful treatment of the outgoing channel as a separate state-dependent term, and the clear identification of Assumption 10.2 and Eq. (149) as additional hypotheses rather than consequences of Hadamard regularity. The conditional nature of the late-time convergence is the principal weakness; the advertised generalization of the Fredenhagen–Haag derivation is fully achieved only for the finite-window certified bound, while the late-time limit is reduced to unproved decay hypotheses.
major comments (3)
- [Corollary 11.1, Eq. (149)] The late-time convergence to the Fredenhagen–Haag response rests on the decay of the localization-bridge defect η_U and the outgoing-channel state term V_U. Proposition 10.4 explicitly states that the future-Unruh construction does not by itself prove V_U(L)→0, and Definition 10.3 concedes that neither [5], [4] nor [9] contains the quantitative redshift/local-energy estimate needed for η_U→0. These two terms are load-bearing in the error functional (138): without their decay, the right-hand side of (141) is finite but not small, and the statement that the detector response converges to the Fredenhagen–Haag form is a reduction to unverified hypotheses rather than a derivation. Please either prove these decays for a concrete state and detector family, or explicitly restate Corollary 11.1 and Proposition 11.2 as conditional results whose hypotheses are open problems; as written, the late-time part of the title's claim is too strong.
- [Assumption 10.2, Eq. (124)] The central finite-window inequality (141) relies on Assumption 10.2, which controls the state's Cauchy-data quadratic form on a linear span containing the noncompact inverse radiation tail and the frozen outgoing channel. As the paper notes, this is an infrared/energy-continuity condition that is not implied by Hadamard regularity and is not covered by the compact-support estimate of Proposition 10.1. Because Assumption 10.2 is also used to make V_U(L) finite, the certified interval for a general Hadamard Vaidya state is a conditional reduction. I would like to see at least one concrete verification of (124) for a specific state—for example, the future-Unruh state of Proposition 10.4—or an explicit characterization of the class of states satisfying the assumption with uniform control of C_{ω,U} for late-time families.
- [Proposition 10.5, Eq. (135)] The finite Hadamard scaling defect h_U(L,μ) is shown to vanish in the iterated limit λ↓0 followed by μ↓0, but the late-time corollaries need uniform decay for a U-dependent family of test profiles. Proposition 10.5 itself states that uniform convergence is not automatic and must be assumed or proved via uniform bounds on the Hadamard coefficients and the scaled test family. This is another load-bearing point for Corollary 11.1: the error functional (138) contains h_U, and the proof of (150) requires h_U(L(U),μ(U))→0 uniformly in U. Please state the precise additional uniform Hadamard-coefficient bounds or detector-profile conditions needed for this uniform decay, or weaken the late-time conclusions accordingly.
minor comments (4)
- [Section 6, Eq. (71)] The text contains an encoded apostrophe in 'Gronwall’s inequality'; this should be fixed in the source file.
- [Definition 6.2 and Eq. (91)] Several displayed expressions use 'Sup' in roman type where '\sup' is intended; please correct the typography consistently.
- [Section 7.3, Eq. (87)] The statement that the restriction of the limiting kernel to either connected side is KMS at β∗ would benefit from a sentence clarifying that this is the KMS condition for the quasifree state generated by the limiting two-point function, and that the extension to the Weyl algebra is cited from [9] rather than proved here.
- [Section 3.5, Assumption 3.9] The distinction between Assumption 3.9 as a condition on the completed geometry and the finite-window Proposition 3.7 is clear and helpful; consider adding a forward reference to this distinction in the abstract or introduction, since it is central to interpreting the scope of the results.
Circularity Check
No significant circularity: the thermal reference is supplied by an independent scaling theorem, the propagation estimates are proved from the PDE, and the late-time limits are explicitly conditional on stated hypotheses rather than imported conclusions.
full rationale
The derivation chain is self-contained where it claims to be and explicitly conditional where it is not. The local thermal reference F_th,U[p_U] is taken from the Kurpicz--Pinamonti--Verch horizon scaling theorem [9], an external result, and the paper's own Proposition 10.5 quantifies the finite-scale defect h_U relative to that independent theorem. The finite-window detector bound (Theorem 10.7) is an inequality whose proof uses the Duhamel comparison (Theorem 9.7), the positive-form lemma (Lemma 8.1), and exact algebraic decompositions; the error E_U is explicitly retained and finite under Assumption 10.2. No fitted parameter is later renamed as a prediction, and no quantity in the final interval is defined in terms of the detector response F_g itself. The late-time convergence corollaries state sufficient conditions, including V_U -> 0 and eta_U -> 0, and the paper repeatedly acknowledges that these decay statements are not consequences of Hadamard regularity and are not supplied by the cited works [4], [5], or [9]. That is an honest statement of unproved hypotheses, not a circular reduction. There is also no load-bearing self-citation: the author does not rely on his own prior work to justify any central premise. The paper's principal claim is a certified finite-window interval, and the proof of that interval does not presuppose the thermal conclusion it bounds.
Assumptions & free parameters
free parameters (3)
- window length L(U)
- transverse concentration mu(U)
- reference length ell_0 =
arbitrary
assumptions (10)
- domain assumption KPV horizon scaling theorem: the scaling limit of Hadamard two-point functions at an outer trapping horizon is universal and KMS with beta = 2 pi / kappa (Theorem 4.1 of [9]).
- domain assumption Hadamard two-point structure and Radzikowski spectrum condition (Eq. 54-56).
- ad hoc to paper Assumption 3.9: a common globally hyperbolic domain with an asymptotically flat end exists for global statements.
- ad hoc to paper Assumption 10.2: state control q_U(z,z) <= C_{omega,U} ||z||^2 on the error subspace.
- ad hoc to paper Decay of the localization bridge eta_U and finite-scaling defect h_U, with uniform constants (Eq. 149).
- domain assumption Coudray conformal scattering theorem for the outgoing decreasing Vaidya sandwich (Theorem 9.1, [7]).
- domain assumption Nicolas isometric Schwarzschild radiation trace map (Proposition 9.4, [5]).
- domain assumption Dappiaggi-Moretti-Pinamonti construction of the Schwarzschild Unruh state (Proposition 10.4, [6]).
- standard math Well-posedness, finite propagation, and Green operators for normally hyperbolic operators on globally hyperbolic spacetimes ([13]).
- ad hoc to paper Uniform boundedness of the stability factor G_U(L) and weighted radiation norms for late-time slabs.
Cite this review
Pith. "Pith review of A generalization of the Fredenhagen-Haag derivation of Hawking radiation for a class of Vaidya space-times." pith.science (2026). https://pith.science/paper/GJAAARZ6
@misc{pith2026260803066,
author = {Pith},
title = {Pith review of: A generalization of the Fredenhagen-Haag derivation of Hawking radiation for a class of Vaidya space-times},
year = {2026},
howpublished = {\url{https://pith.science/paper/GJAAARZ6}},
note = {Machine review of arXiv:2608.03066}
}
abstract
We develop a quantitative Fredenhagen--Haag like approach for describing Hawking radiation using massless scalar fields on controlled spherically symmetric Vaidya space-times. The local thermal character of the system is supplied by the universal scaling limit of Hadamard two-point functions at an outer trapping horizon \cite{KurpiczPinamontiVerch2021}. On regular detector--horizon windows, we construct globally hyperbolic developments and compare the nonautonomous Vaidya evolution with a frozen Schwarzschild propagator on Sobolev energy spaces. We derive an explicit Duhamel estimate that is uniform in angular momentum, calculate the exact linear null-peeling coefficient, and bound the quadratic remainder of the ray map. Combining these estimates with positivity gives a two-sided detector-response inequality relative to the local thermal reference. Its error terms quantify operator variation, stationary scattering tails, finite Hadamard scaling, horizon localisation, and the outgoing channel. The inequality is valid at finite parameters because each of these contributions is retained. Under the decay hypotheses, the detector response converges to the corresponding Fredenhagen--Haag form for asymptotically stationary accretion and for evaporation--accretion turnaround profiles. We also construct a Hadamard state by Cauchy transport from an eventually stationary Unruh covariance and show that a finite evaporating slab does not determine a late-time response without a prescribed future extension. For asymptotic evaporation with $m(u)>0$ at every finite time and $m(u)\to0$, a mass-rescaled conformal formulation yields a scale-covariant finite-window estimate for scale-following detectors.
Figures
Figures from the paper (1 more)
Reference graph
Works this paper leans on
-
[5]
Conformal scattering on the Schwarzschild metric
J.-P. Nicolas, “Conformal scattering on the Schwarzschild metric,”Ann. Inst. Fourier66 (2016), 1175–1216. arXiv:1312.1386
work page Pith review arXiv 2016
-
[4]
Radiation fields on Schwarzschild spacetime
D. Baskin and F. Wang, “Radiation fields on Schwarzschild spacetime,”Commun. Math. Phys.331(2014), 477–506. arXiv:1305.5273
work page Pith review arXiv 2014
-
[9]
F. Kurpicz, N. Pinamonti and R. Verch, “Temperature and entropy–area relation of quantum matter near spherically symmetric outer trapping horizons,”Lett. Math. Phys. 111(2021), 110. doi:10.1007/s11005-021-01445-7
-
[1]
On the derivation of Hawking radiation associated with the formation of a black hole,
K. Fredenhagen and R. Haag, “On the derivation of Hawking radiation associated with the formation of a black hole,”Commun. Math. Phys.127(1990), 273–284. doi:10.1007/BF02096757
-
[2]
Classical and quantum scattering theory for linear scalar fields on the Schwarzschild metric. I,
J. Dimock and B. S. Kay, “Classical and quantum scattering theory for linear scalar fields on the Schwarzschild metric. I,”Ann. Phys.175(1987), 366–426. doi:10.1016/0003- 4916(87)90214-4
doi:10.1016/0003- 1987
-
[3]
Lectures on black holes and linear waves,
M. Dafermos and I. Rodnianski, “Lectures on black holes and linear waves,” inEvolution Equations, Clay Mathematics Proceedings, vol. 17, American Mathematical Society, 2013, pp. 97–205. arXiv:0811.0354. 34
arXiv 2013
-
[6]
Rigorous construction and Hadamard property of the Unruh state in Schwarzschild spacetime,
C. Dappiaggi, V. Moretti and N. Pinamonti, “Rigorous construction and Hadamard property of the Unruh state in Schwarzschild spacetime,”Adv. Theor. Math. Phys.15 (2011), 355–447. arXiv:0907.1034
arXiv 2011
-
[7]
Conformal scattering of the wave equation in the Vaidya spacetime
A. Coudray, “Conformal scattering of the wave equation in the Vaidya spacetime,” Rev. Math. Phys., online publication (2025), 2550035. doi:10.1142/S0129055X25500357; arXiv:2405.08659
work page Pith review arXiv 2025
Show all 19 references
-
[8]
Double-null formulation of the general Vaidya metric,
C. Chirenti and A. Saa, “Double-null formulation of the general Vaidya metric,”Class. Quantum Grav.29(2012), 135003. doi:10.1088/0264-9381/29/13/135003
2012 doi
-
[10]
Conserved energy flux for the spherically symmetric system and the back reaction problem in the black hole evaporation,
H. Kodama, “Conserved energy flux for the spherically symmetric system and the back reaction problem in the black hole evaporation,”Prog. Theor. Phys.63(1980), 1217–1228. doi:10.1143/PTP.63.1217
1980 doi
-
[11]
Unified first law of black-hole dynamics and relativistic thermodynamics,
S. A. Hayward, “Unified first law of black-hole dynamics and relativistic thermodynamics,” Class. Quantum Grav.15(1998), 3147–3162. doi:10.1088/0264-9381/15/10/017
1998 doi
-
[12]
Hadamard states on spherically symmetric characteristic surfaces, the semi-classical Einstein equations and the Hawking effect,
D. W. Janssen and R. Verch, “Hadamard states on spherically symmetric characteristic surfaces, the semi-classical Einstein equations and the Hawking effect,”Class. Quantum Grav.40(2023), 045002. doi:10.1088/1361-6382/acb039
2023 doi
-
[13]
C. Bär, N. Ginoux and F. Pfäffle,Wave Equations on Lorentzian Manifolds and Quanti- zation, ESI Lectures in Mathematics and Physics, European Mathematical Society, 2007. arXiv:0806.1036
2007 arXiv
-
[14]
Micro-local approach to the Hadamard condition in quantum field theory on curved space-time,
M. J. Radzikowski, “Micro-local approach to the Hadamard condition in quantum field theory on curved space-time,”Commun. Math. Phys.179(1996), 529–553
1996
-
[15]
Models of evaporating black holes. I,
W. A. Hiscock, “Models of evaporating black holes. I,”Phys. Rev. D23(1981), 2813–2822. doi:10.1103/PhysRevD.23.2813
1981 doi
-
[16]
Models of evaporating black holes. II. Effects of the outgoing created radiation,
W. A. Hiscock, “Models of evaporating black holes. II. Effects of the outgoing created radiation,”Phys. Rev. D23(1981), 2823–2827. doi:10.1103/PhysRevD.23.2823
1981 doi
-
[17]
On the nature of naked singularities in Vaidya spacetimes,
I. H. Dwivedi and P. S. Joshi, “On the nature of naked singularities in Vaidya spacetimes,” Class. Quantum Grav.6(1989), 1599–1606. doi:10.1088/0264-9381/6/11/013
1989 doi
-
[18]
Globally hyperbolic evaporating black hole and the information loss issue,
J. V. O. Pêgas, A. G. S. Landulfo, G. E. A. Matsas and D. A. T. Vanzella, “Globally hyperbolic evaporating black hole and the information loss issue,”Class. Quantum Grav. 42(2025), 065009. doi:10.1088/1361-6382/adb534
2025 doi
-
[19]
Minimal conditions for the existence of a Hawking-like flux,
C. Barceló, S. Liberati, S. Sonego and M. Visser, “Minimal conditions for the existence of a Hawking-like flux,”Phys. Rev. D83(2011), 041501. doi:10.1103/PhysRevD.83.041501. 35
2011 doi
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.