{"id":"b824e0fd-82cf-4159-ae13-3b85166b4215","arxiv_id":"2608.03066","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A rigorous finite-window detector-response bound for massless scalar fields on Vaidya spacetimes, comparing the response to a frozen Schwarzschild thermal reference with explicit error terms.","lead":"This paper extends the Fredenhagen-Haag derivation of Hawking radiation to spherically symmetric Vaidya spacetimes, where the black hole mass changes over time, and proves a two-sided inequality bounding the detector response by a frozen thermal reference plus explicit error terms. A generalist reader may care because the result turns a qualitative argument into a quantitative tool, and it identifies exactly what must be assumed to obtain a thermal late-time limit.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The certified interval is sound, but the advertised Fredenhagen-Haag convergence rests on unproved decay of the outgoing-channel state term V_U and the localization bridge eta_U; these are hypotheses, not consequences of Hadamard regularity.","rationale":"I read the paper in good faith: the finite-window machinery is a genuine advance, and checks of the algebra in Lemma 8.1, Theorem 9.7, and Theorem 10.7 confirm the conditional argument. The weakest point is not an internal inconsistency but the gap between a finite certified interval and the late-time FH limit: the terms that must vanish under (149), especially V_U and eta_U, are exactly the terms that require a new state/scattering estimate. The reader's weakest_assumption already names Assumption 10.2 for the finite-window theorem and the decay of eta_U and V_U for late-time convergence, so I agree with that assessment. I do not see a reason to change the verdict: the paper is honest about the hypotheses, and the conditional theorem plus the explicit error functional are valuable. The main practical risk is overclaiming in the abstract's 'under the decay hypotheses' phrasing; the body and conclusions are appropriately hedged.","tokens_in":27407,"tokens_out":19467,"duration_ms":216178,"concrete_test":"For an explicit Schwarzschild-Vaidya-Schwarzschild sandwich with constant M_- in the past, a smooth compact transition, and constant M_+ in the future, take the future-Unruh state of Proposition 10.4 and a family h_U of detector packets translated to Bondi time U. Using the conformal radiation-field trace R_{M_+} of Proposition 9.4 and the known Unruh two-point function on the future Schwarzschild exterior, compute or asymptotically evaluate V_U(L(U)) = q_U(f_out,fr_U,L, f_out,fr_U,L) for L(U)->infinity, and similarly evaluate the bridge defect eta_U(L(U),mu(U)) for the chosen KPV cut-offs. If either quantity fails to tend to zero, the hypotheses (149) of Corollary 11.1 are not satisfied by the standard candidate state, so the late-time limit (151) is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The finite-window inequality (Theorem 10.7) is internally coherent as a conditional statement: granted Assumption 10.2, the interval (141) follows from the Duhamel comparison (Theorem 9.7), Lemma 8.1, and the retained defects. The load-bearing gap is whether the error E_U can be small in the advertised applications. Its dominant state-dependent part is V_U(L)=q_U(f_out,fr_U,L, f_out,fr_U,L) (Eq. 133), the self-energy of the frozen outgoing channel. Convergence claims Corollary 11.1 and Proposition 11.2 require V_U(L(U))->0. This decay is not delivered by the future-Unruh construction (Prop. 10.4), is not implied by Hadamard regularity, and is not a consequence of a passive detector spectrum; compactly switched detectors retain vacuum fluctuations, as the paper itself notes. The outgoing channel is the I^+ radiation part of the backward solution; in the stationary limit it is the reflected part of the past Boulware modes, so V_U is a genuine state-and-detector quantity. Similarly, the bridge defect eta_U (Eq. 126) requires a quantitative redshift/local-energy estimate that the paper concedes is not contained in [5], [4], or [9]. Without decay of eta_U and V_U, the right side of (141) is finite but not small, and the late-time generalization of Fredenhagen-Haag is not derived; it is reduced to unverified hypotheses. The finite-window theorem remains a rigorous reduction, which is why the correct verdict stays conditional rather than reject.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":27737,"tokens_out":5915,"duration_ms":63308,"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":[{"comment":"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.","section":"Corollary 11.1, Eq. (149)"},{"comment":"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.","section":"Assumption 10.2, Eq. (124)"},{"comment":"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.","section":"Proposition 10.5, Eq. (135)"}],"minor_comments":[{"comment":"The text contains an encoded apostrophe in 'Gronwall’s inequality'; this should be fixed in the source file.","section":"Section 6, Eq. (71)"},{"comment":"Several displayed expressions use 'Sup' in roman type where '\\sup' is intended; please correct the typography consistently.","section":"Definition 6.2 and Eq. (91)"},{"comment":"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":"Section 7.3, Eq. (87)"},{"comment":"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.","section":"Section 3.5, Assumption 3.9"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is unusually self-aware about its conditional nature, and the finite-window inequality is a solid contribution. My recommendation of major revision rather than rejection reflects the fact that the late-time generalization advertised in the title and abstract depends on hypotheses that are neither proved nor verified for a concrete state, even though they are clearly stated. A revised version that either proves the decay of η_U and V_U for a specific construction or repositions the late-time results as explicitly conditional open problems would be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the take. This is a careful, honest paper. The genuinely new thing is the finite-window certified interval: Theorem 10.7 with the explicit error functional (138). It doesn't just assert thermalization; it gives a two-sided bound with computable terms for the Duhamel error, stationary tail, Hadamard scaling defect, localization bridge, and outgoing channel. The uniform-in-ℓ Duhamel estimate (Theorem 9.7) and the exact peeling coefficient (Prop 9.5) are real, and I don't see them in the cited literature. The reduction to Fredenhagen-Haag in the stationary limit is clean, and the conventions are matched properly. Credit is also due for the paper's honesty: the conclusions openly flag the far-zone and backreaction gaps, and Section 11.5 correctly shows that a finite evaporating slab cannot determine a late-time response without a prescribed future extension.\n\nThe soft spots are exactly where the stress-test puts them. The advertised late-time convergence rests on the decay of the localization bridge η_U and the outgoing-channel state term V_U in (149). These are hypotheses, not consequences of Hadamard regularity. The future-Unruh construction in Prop 10.4 delivers a Hadamard state, but it does not deliver V_U→0; compactly switched detectors generally retain vacuum fluctuations, as the paper itself notes. Assumption 10.2 also imposes an extra infrared/energy-continuity condition on the state, which is automatic for compact support but not free for the noncompact inverse radiation tail and outgoing channel. I don't think this is fatal. The finite-window theorem is a rigorous reduction: every unproved decay is retained as an explicit error term. But a reader who wants a self-contained derivation of Hawking radiation in dynamical spacetimes will not find one. What is here is a clean, quantitative framework with honest hypotheses.\n\nIs the central argument sound? I think yes. Granted Assumption 10.2, the interval follows from positivity and the Duhamel comparison; there is no circularity because the thermal reference is the independent KPV horizon scaling theorem. The citation pattern is fair and well-targeted: Nicolas, Baskin-Wang, Coudray, and KPV are each used for what they actually supply.\n\nWho is this for: people working on mathematical QFT in curved spacetimes and rigorous black-hole radiation. It deserves a serious referee. I'd send it out. My main request in review would be for the authors either to make progress on the bridge and V_U decay or to present the late-time statement explicitly as a reduction to hypotheses rather than a derivation.","headline":"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.","tokens_in":28258,"tokens_out":2019,"would_cite":true,"duration_ms":23571,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","81T20","35L05"],"pacs":["04.70.Dy","04.62.+v"],"model":"deepseek-v4-flash","headline":"A two-sided inequality certifies that detector responses in Vaidya spacetimes track a frozen thermal reference up to explicit, finite error terms.","keywords":["Hawking radiation","Fredenhagen-Haag","Vaidya spacetime","Hadamard states","local thermal scaling","detector response","trapping horizon","scattering theory"],"falsifier":"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.","tokens_in":27098,"feed_emoji":"🕳️","tokens_out":7675,"duration_ms":74674,"temperature":0.7,"pith_summary":"This paper extends the Fredenhagen–Haag derivation of Hawking radiation from stationary Schwarzschild to a class of dynamical Vaidya spacetimes. Its central result is a two-sided inequality: for a massless scalar field on a regular detector–horizon window, the detector response lies within an explicit error interval around a frozen local thermal response. The error interval is assembled from a Duhamel comparison between the nonautonomous Vaidya evolution and a frozen Schwarzschild propagator, a null-peeling estimate, the universal horizon scaling kernel, and positivity; every term is retained, so the bound is valid at finite time. A sympathetic reader would care because it converts \"approximately thermal\" from a heuristic slogan into a certified, quantifiable statement for evaporating and accreting horizons.","feed_headline":"Dynamical Hawking radiation pinned inside a thermal error band","feed_subtitle":"A two-sided inequality bounds detector response in time-dependent Vaidya geometries by a frozen thermal reference plus explicit errors.","key_machinery":"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.","core_discovery":"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\n$$\\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),$$\nwhere $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.","pith_inferences":["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."],"forward_implications":["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)."],"supporting_citations":[{"why":"Supplies the original Fredenhagen–Haag stationary decomposition that the paper generalizes.","marker":"[1]"},{"why":"Provides the conformal scattering trace map on Schwarzschild, used as an isometry onto boundary energy spaces.","marker":"[5]"},{"why":"Supplies the radiation-field energy identity, with the explicit caveat that its range is not characterized, motivating the use of the isometric trace map.","marker":"[4]"},{"why":"Gives the exact Vaidya scattering theorem for the outgoing decreasing sandwich, used for global boundary scattering.","marker":"[7]"},{"why":"Supplies the universal horizon scaling limit and the KMS kernel at the trapping horizon, the local thermal reference.","marker":"[9]"},{"why":"Supplies the Schwarzschild Unruh state used to construct the future-Unruh state on eventually stationary models.","marker":"[6]"},{"why":"Provides the globally hyperbolic wave-equation framework, Green operators and energy estimates underlying the propagation estimates.","marker":"[13]"},{"why":"Establishes the equivalence of the Hadamard condition and the microlocal spectrum condition used throughout.","marker":"[14]"}],"fun_headline_variants":["Thermal error band bounds Hawking radiation in Vaidya","Two-sided bound certifies Hawking radiation response in Vaidya","Generalized Fredenhagen-Haag for Vaidya: two-sided detector bound","Explicit error terms tie Hawking detector response to thermal value"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Thermal error band bounds Hawking radiation in Vaidya","Two-sided bound certifies Hawking radiation response in Vaidya","Generalized Fredenhagen-Haag for Vaidya: two-sided detector bound","Explicit error terms tie Hawking detector response to thermal value"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000538,"raw_usage":{"total_tokens":2652,"prompt_tokens":1086,"completion_tokens":1566,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":702,"completion_tokens_details":{"reasoning_tokens":1489}},"tokens_in":702,"tokens_out":1566,"duration_ms":11823,"temperature":1.0,"reasoning_tokens":1489,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T00:59:32.173440+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"On the derivation of Hawking radiation associated with the formation of a black hole,","cited_arxiv_id":null,"evidence_quote":"Supplies the original Fredenhagen–Haag stationary decomposition that the paper generalizes."},{"cited_title":"Conformal scattering on the Schwarzschild metric","cited_arxiv_id":"1312.1386","evidence_quote":"Provides the conformal scattering trace map on Schwarzschild, used as an isometry onto boundary energy spaces."},{"cited_title":"Radiation fields on Schwarzschild spacetime","cited_arxiv_id":"1305.5273","evidence_quote":"Supplies the radiation-field energy identity, with the explicit caveat that its range is not characterized, motivating the use of the isometric trace map."},{"cited_title":"Conformal scattering of the wave equation in the Vaidya spacetime","cited_arxiv_id":"2405.08659","evidence_quote":"Gives the exact Vaidya scattering theorem for the outgoing decreasing sandwich, used for global boundary scattering."},{"cited_title":"Temperature and entropy–area relation of quantum matter near spherically symmetric outer trapping horizons,","cited_arxiv_id":null,"evidence_quote":"Supplies the universal horizon scaling limit and the KMS kernel at the trapping horizon, the local thermal reference."},{"cited_title":"Micro-local approach to the Hadamard condition in quantum field theory on curved space-time,","cited_arxiv_id":null,"evidence_quote":"Establishes the equivalence of the Hadamard condition and the microlocal spectrum condition used throughout."}],"review_version":1}