{"id":"d4ffdcfb-fe00-4040-a269-6e1bd0cdce57","arxiv_id":"2501.11142","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The global-energy-conservation argument for black hole evaporation cannot be extended to realistic, non-stationary, non-asymptotically-flat black holes because no adequate notion of approximate Killing fields currently exists.","lead":"A philosophy of physics paper argues that the usual argument that black holes evaporate, which relies on global energy conservation, does not actually apply to real black holes because the symmetries needed for such conservation do not exist in realistic spacetimes. It examines attempts to fix this with approximate symmetries and finds them lacking, so the evaporation conclusion is not justified by this family of arguments.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's negative claim about approximate Killing fields is not established: a slowly evaporating Vaidya spacetime admits a natural timelike ε-Killing field with controlled error, so de-idealization may be available.","rationale":"The reader's identified weakest assumption is the normative de-idealization standard. That is a real fragility, but the author explicitly acknowledges it and frames the conclusion as conditional on it. The more dangerous soft spot is the categorical claim, stated in the abstract and Introduction, that there is no suitable notion of approximate Killing fields which can do the required work. The paper argues against extant proposals, but it does not consider a direct definition via the Killing-equation residual with an intrinsic tensor norm. Such a definition is background-independent and immediately gives a controlled smallness parameter for slowly evolving black holes, as the Vaidya example illustrates. If that example works, the central argument fails on its own terms, regardless of the normative standard. This is a correctness risk in the technical core of the paper, not merely a disagreement about philosophical standards. The author's hedge—no proof of negative existential—does not protect the abstract's stronger framing. The proposed test would settle whether the simple ε-Killing construction actually yields a de-idealization; until then, the paper should be accepted only conditionally, with the conclusion narrowed to 'extant proposals fail' unless the ε-Killing challenge is addressed.","tokens_in":34877,"tokens_out":12246,"duration_ms":131794,"concrete_test":"Take the Vaidya metric with m'(u) = -C/m(u)^2. Compute the Killing residual H = £_{∂_u} g (only H_uu = -2m'/r) and its norm in an orthonormal frame adapted to the exterior. Check that for r near 2m, ||H||/||Riem|| ≤ const × ℏ/m, and that the Komar-type charge associated with ∂_u changes by O(ℏ/m) over one dynamical time. Then verify whether this ε-Killing field can be extended over the whole exterior with controlled error accumulation. If it can, a suitable notion of approximate Killing field exists and the paper's negative claim is false; if the error diverges or no conserved charge emerges, the paper survives.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The most load-bearing premise is the paper's survey-based negative claim that no suitable notion of approximate Killing fields exists (§5.4). This is not a theorem, and the author concedes no negative existential proof is given. Yet the central conclusion—that quasi-stationarity and asymptotic flatness cannot be de-idealized—requires that no such notion can do the work. The survey misses a simple, physically motivated definition: a vector field ξ is an ε-Killing field if the Killing-equation residual £_ξ g is small in an intrinsic norm relative to a natural curvature scale. In a slowly evaporating Vaidya spacetime, ξ = ∂_u is timelike outside the horizon, and £_ξ g has only one nonzero component, -2m'(u)/r. For Hawking evaporation m'(u) ~ -ℏ/m(u)^2, the residual at the horizon is ~ℏ/m^3, i.e., a fraction ~ℏ/m of the curvature scale. This supplies exactly the kind of controlled, dimensionless smallness parameter the paper claims is missing. If this definition works, the quasi-stationary approximation can be de-idealized without a fixed background metric, and the paper's central conclusion fails even for readers who accept the de-idealization norm.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper examines a family of arguments for black hole evaporation that infer mass loss from Hawking radiation via global energy conservation. It argues that such arguments rely on stationarity, through quasi-stationarity, or on asymptotic flatness, and that both are idealizations that cannot be de-idealized because no suitable notion of approximate Killing fields is available. The paper therefore concludes that, on a prominent de-idealization norm, these arguments do not currently justify the claim that realistic black holes evaporate, while quarantining the worry from other uses of asymptotic flatness in general relativity.","tokens_in":35065,"tokens_out":5481,"duration_ms":58181,"significance":"If the conclusion were established, the paper would make an important contribution to philosophy of physics by showing that a central black-hole inference rests on non-de-idealizable idealizations. The paper is careful and well structured: it distinguishes approximation from idealization, explicitly concedes the absence of a negative existential proof, and offers a useful quarantine argument showing that gravitational lensing and accretion do not inherit the problem. However, the omission of residual-based approximate Killing fields means the central negative claim is currently too strong; the paper's conditional and hedged claims are the defensible ones.","major_comments":[{"comment":"The paper's central negative claim—that there is no suitable notion of approximate Killing fields that can do the work required—is not established, because the survey in §5.4 omits the obvious residual-based definition. For a vector field ξ, define it as an ε-Killing field when ‖£_ξ g‖ ≤ ε in a dimensionless norm normalized by the local curvature scale. In the Vaidya metric (Eq. (11)), ξ = ∂_u is timelike outside the horizon, and £_ξ g = −2m'(u)/r du², so at the horizon the residual is of order ℏ/m³ while the curvature scale is of order 1/m²; the dimensionless error is ~ℏ/m. This gives exactly the controlled, physically meaningful smallness parameter that the paper claims is missing, and it avoids the compactness and asymptotic-flatness assumptions criticized as Problems 2 and 3. Because the argument in §5.4 rules out this definition only by not considering it, the conclusion that quasi-stationarity cannot be de-idealized does not follow.","section":"§5.4; Eq. (11)"},{"comment":"The concluding formulation 'we are still left with the naïve dilemma' overstates the preceding argument. The author explicitly concedes in §5.4 that no negative existential proof has been given and in §7 that the conclusion is conditional on a stringent de-idealization norm. What the paper actually establishes is that the surveyed proposals fail and that, under one prominent normative standard, justification is currently lacking. The manuscript should be revised so that the abstract and introduction state this weaker, conditional conclusion rather than claiming that no suitable notion exists.","section":"§7"},{"comment":"The load-bearing normative premise—that de-idealization is required for justified inference from an idealization—is introduced with citations but not defended against more permissive alternatives. The author concedes in §7 that this is a highly stringent standard and that no more permissive account currently exists. Since the central conclusion is false under any account that permits inference without de-idealization, the paper should either provide a direct defense of the standard or explicitly present the conclusion as conditional on it. The current text does acknowledge the conditional in §7, but the abstract and introduction do not carry this caveat.","section":"§5.3 and §7"}],"minor_comments":[{"comment":"Figure 1 is referenced in the text but does not appear in the manuscript; either include the figure or remove the reference.","section":"§5.2"},{"comment":"The ADM integral would benefit from a one-sentence clarification at first use that the surface element is evaluated at spatial infinity and that the indices are spatial; the text explains this later, but an early clarification would improve readability.","section":"Eq. (23)"},{"comment":"The citation to Ashtekar et al. (2016, 2–3) for discontinuities in the energy term as Λ → 0 is somewhat broad; a more specific reference to the particular result or equation would aid verification.","section":"§6.4"},{"comment":"There is an inconsistent spelling between 'Abramovicz' in §5.1 and 'Abramowicz' in the reference list; the spelling should be standardized to match the published names.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid contribution to the philosophy of physics literature and is likely to interest the journal's readership. The main issue is that the central negative claim about approximate Killing fields is presented more strongly than the argument supports, and the Vaidya counterexample should be addressed in revision. The author's explicit hedging suggests that a revised, conditional version of the conclusion would be defensible."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is worth reading. It's the first to bring Norton's idealization/de-idealization distinction to bear on the global-energy arguments for black hole evaporation, and it does that with care. The three-problem taxonomy for approximate Killing fields (closest does not mean close, no timelike guarantee, overly strong assumptions) is a real contribution, and the quarantine section showing that asymptotically flat metrics remain fine for lensing, perihelion precession, and accretion is a responsible boundary-drawing move. The author is also admirably honest: §5.4 explicitly disclaims any proof of a negative existential, and the conclusion is a burden-of-proof claim about current justification, not a denial of evaporation. That restraint is genuine.\n\nNow the soft spots. The load-bearing premise is the de-idealization norm itself, introduced in §5.3 and defended only briefly. If a more permissive account of idealization is right, the conclusion doesn't follow. The author concedes this in §7, so it's not hidden, but it is still the hinge of the paper.\n\nMore seriously, the stress-test's Vaidya example lands harder than the reader's report suggests. The simple ε-Killing field ξ = ∂_u has Killing residual -2m'(u)/r, which at the horizon is ~ℏ/m^3, a fraction ~ℏ/m of the curvature scale. That is precisely the controlled, dimensionless smallness parameter the paper claims is missing. There is a technical wrinkle—the residual has only a uu component, and du is null, so the standard metric norm vanishes unless you use a positive-definite frame norm or an auxiliary foliation—but that doesn't rescue the paper's broad survey claim. The extant procedures may indeed fail, but the paper does not rule out the possibility that a simple covariant definition works, and its own hedge in §5.4 leaves that door wide open. The abstract's language about \"significant challenges\" and \"undermining\" is stronger than the body's carefully hedged conclusion.\n\nWho benefits? Philosophers of physics working on idealization, semiclassical gravity, or energy in GR. Physicists will find the framing clear but may reasonably think the missing de-idealization is just a technical exercise.\n\nRecommendation: send it to referees. It deserves serious engagement, but the author should be asked to (1) address the Vaidya-style ε-Killing definition head-on, and (2) reframe the abstract and conclusion to match the actual burden-of-proof claim. With those revisions, this is a solid contribution.","headline":"A genuinely useful philosophical paper on why the global-energy argument for black hole evaporation lacks a de-idealization story, but its central negative claim about approximate Killing fields is softer than the abstract suggests and may face a simple Vaidya counterexample.","tokens_in":35596,"tokens_out":6628,"would_cite":true,"duration_ms":69463,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A family of arguments that black holes evaporate because Hawking radiation carries away globally conserved energy does not yet justify evaporation of realistic black holes, because the required symmetries are idealizations with no…","keywords":["black holes","black hole evaporation","global conservation of energy","de-idealization","idealization","approximation","symmetries","approximate Killing fields"],"falsifier":"A concrete inverse test: construct a family of slowly evaporating black hole spacetimes (for example Vaidya or scalar-field back-reaction models with a positive cosmological constant) and exhibit an explicit vector field whose deviation from Killing's equation is bounded by a parameter that vanishes as the evaporation rate goes to zero, together with a demonstration that a mass quantity derived from that field approaches the ADM mass in the same limit; such a construction would provide exactly the de-idealization the paper says is missing.","tokens_in":34640,"feed_emoji":"🕳️","tokens_out":6539,"duration_ms":58841,"temperature":0.7,"pith_summary":"The paper targets the widespread inference that Hawking radiation makes black holes evaporate. Many derivations of that conclusion rely on global conservation of energy, which in general relativity exists only when spacetime has a global or asymptotic symmetry: a time-like Killing field in stationary spacetimes, or flatness at infinity in asymptotically flat ones. Realistic evaporating black holes are neither stationary nor located in an asymptotically flat universe, so the usual move is to treat them as quasi-stationary or as approximately asymptotically flat. The paper argues that these idealizations cannot be de-idealized, because no existing notion of approximate Killing fields supplies a physical measure of closeness to symmetry. The precise conclusion is not that black holes fail to evaporate, but that this family of arguments currently gives no justification that realistic black holes evaporate.","feed_headline":"Black hole evaporation arguments don't yet apply to real black holes","feed_subtitle":"If correct, physicists lack a current justification that realistic black holes evaporate.","key_machinery":"The central object is the Killing vector field, the generator of an isometry of spacetime, together with its proposed substitute, the approximate Killing field. A global time-like Killing field underwrites global conservation of energy; an asymptotic time-like Killing field at spatial infinity underwrites the conserved ADM mass. The paper's argument turns on showing that approximate Killing fields cannot play the de-idealization role: they are defined as solutions to generalized equations or extremal conditions, but no procedure provides a canonical measure of how close a given vector field is to a true Killing field, no available construction guarantees the approximate field is time-like, and the known constructions require assumptions (compactness, asymptotic flatness) that fail for realistic evaporating black holes. Quasi-stationarity and asymptotic flatness are the two idealizations whose de-idealization would have to run through approximate Killing fields, and that is precisely where the paper locates the gap.","core_discovery":"The paper's central claim is that the conservation-law route from Hawking radiation to black hole evaporation is hostage to two idealizations—quasi-stationarity and asymptotic flatness—and that neither can be de-idealized in the sense required to transfer conclusions from idealized models to real black holes. Quasi-stationarity requires regarding a time-dependent evaporating black hole as a sequence of stationary solutions, but stationary solutions are precisely the ones that cannot change; the idealization is contradictory unless understood as a limit of processes that never reach it. Asymptotic flatness fails for the actual universe, which is better modeled by asymptotically de Sitter spacetime with a positive cosmological constant, and the lambda-to-zero limit is discontinuous. Attempts to rescue either idealization by appealing to approximate Killing fields fail, the paper argues, because extant constructions (solving generalized Killing equations, extremizing error terms, or using almost-Killing equations) give no physical meaning to 'closeness' to a Killing field, offer no guarantee of a time-like approximate Killing field, and often rely on unrealistic assumptions such as compactness or asymptotic flatness. The upshot is that arguments for black hole evaporation built on global conservation of energy remain unjustified for realistic black holes, pending a workable de-idealization procedure.","pith_inferences":["An extension the paper does not pursue: one can test its challenge directly by searching for a norm on the deviation tensor from Killing's equation, normalized by curvature scales, and asking whether slowly evaporating black hole spacetimes admit vector fields with arbitrarily small norm as the evaporation rate decreases.","The paper's standard suggests a broader methodological lesson: in any theory where symmetries generate conserved quantities and realistic systems lack those symmetries, the burden is on the modeler to exhibit approximate symmetry in a metric sense, not merely to assert it.","If a more permissive account of idealization is developed, the evaporation conclusion might be reinstated without a literal de-idealization; that would not refute the paper's analysis, but would bypass its normative premise."],"forward_implications":["If the paper is right, physicists who cite global conservation of energy to conclude that Hawking radiation shrinks a realistic black hole are drawing a conclusion that their idealizations do not support.","The failure of de-idealization is local, not global: the paper explicitly quarantines the argument from standard uses of asymptotically flat metrics, such as gravitational lensing and perihelion precession, whose predictions can be recovered in more realistic spacetimes without the limit property.","Arguments from local quantities, such as vacuum-polarization treatments of the expected stress-energy tensor near the horizon, are not touched by this critique and may offer a more promising route to evaporation.","The paper also flags that quasi-local definitions of energy, such as the Brown-York approach, may inherit the same de-idealization problem, since they too require Killing or approximate Killing fields.","The conclusion is conditional: a future rigorous de-idealization procedure, or a more permissive theory of idealization, would revive the justification."],"supporting_citations":[{"why":"Supplies the de-idealization standard: an idealization is justified by a procedure that removes its distortions to describe realistic systems.","marker":"(McMullin 1985)"},{"why":"Provides the distinction between approximation and idealization that the paper uses to argue that properties of idealized systems need not transfer to targets.","marker":"(Norton 2012)"},{"why":"Contributes the sound principle that an effect is not genuine if it disappears when the idealizations are removed.","marker":"(Earman 2004)"},{"why":"Adds the stability principle: conclusions from a model are justified only if they remain approximately true when the modelling assumptions only approximately hold.","marker":"(Fletcher 2020)"},{"why":"The original derivation of particle creation from black holes, explicitly relying on quasi-stationarity and global conservation reasoning.","marker":"(Hawking 1975)"},{"why":"A modern defense of black hole evaporation that appeals to ADM mass and approximate isolation in a nearly Minkowski region, a key target of the critique.","marker":"(Wallace 2018)"},{"why":"A textbook statement that energy conservation in an asymptotically flat spacetime lets us conclude the black hole shrinks, directly using ADM mass.","marker":"(Carroll 2019)"},{"why":"Shows discontinuities in the limit of vanishing cosmological constant, blocking a naive de-idealization from asymptotically de Sitter to asymptotically flat spacetimes.","marker":"(Ashtekar et al 2016)"},{"why":"One of the earliest constructions of approximate Killing fields; the paper cites it as admitting that the best approximation need not be close to a Killing field.","marker":"(Matzner 1968)"},{"why":"An approximate Killing vector construction on 2-spheres that extremizes an error term without supplying a physical notion of closeness, exemplifying the general problem.","marker":"(Cook & Whiting 2007)"}],"fun_headline_variants":["Black hole evaporation arguments fail for real black holes","Conservation-law case for evaporation rests on broken idealizations","Killing-field de-idealization can't justify realistic evaporation","Real black hole evaporation lacks a sound conservation-law basis"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the normative premise that an idealization justifies claims about a real system only if a de-idealization procedure shows how the idealized properties approximately survive when the idealization is removed; if a more permissive account of idealization is correct, the conclusion that evaporation arguments are unjustified does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Black hole evaporation arguments fail for real black holes","Conservation-law case for evaporation rests on broken idealizations","Killing-field de-idealization can't justify realistic evaporation","Real black hole evaporation lacks a sound conservation-law basis"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000212,"raw_usage":{"total_tokens":1422,"prompt_tokens":952,"completion_tokens":470,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":568,"completion_tokens_details":{"reasoning_tokens":405}},"tokens_in":568,"tokens_out":470,"duration_ms":5024,"temperature":1.0,"reasoning_tokens":405,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T18:35:49.422512+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete inverse test: construct a family of slowly evaporating black hole spacetimes (for example Vaidya or scalar-field back-reaction models with a positive cosmological constant) and exhibit an explicit vector field whose deviation from Killing's equation is bounded by a parameter that vanishes as the evaporation rate goes to zero, together with a demonstration that a mass quantity derived from that field approaches the ADM mass in the same limit; such a construction would provide exactly the de-idealization the paper says is missing.","supporting_citations":[],"review_version":1}