{"id":"af5d68e6-d51d-4d4d-917f-74b8a20c6186","arxiv_id":"1908.02921","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"A wandering null geodesic, defined by infinitely many conjugate points, is proposed as the general-relativistic generalization of the photon sphere for black hole shadows.","lead":"This paper proposes a new causal definition of black hole shadows using null geodesics that repeatedly develop conjugate points, instead of the photon sphere. It argues that the key to a shadow is the accumulation of light rays around these wandering geodesics, which would carry shadow theory into dynamical black hole spacetimes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed general implication from a wandering null geodesic to a shadow is unproven: total wandering geodesics are only shown to exist in Schwarzschild, and Section IV supplies no quantitative link from conjugate-point counts to brightness.","rationale":"The manuscript introduces a genuinely new causal notion and proves a modest theorem (Theorem 1) about conformally flat regions, which is fine. It also correctly identifies the Schwarzschild photon sphere as an example of a totally wandering geodesic with repeated conjugate points. The problem is the advertised central claim, that a wandering null geodesic implies shadow-producing accumulation in general asymptotically flat spacetimes. For that claim the paper needs both a nonempty wandering set outside the Schwarzschild example and a quantitative relation between repeated conjugate points and observed brightness. The first is openly deferred and is complicated by the paper's own statement that totally wandering geodesics require eternal black holes; the second is only a heuristic discussion of a number function N(p). The reader's rejection is therefore appropriate, but the specific Section IV counterexample in the reader's report is not correct: in Minkowski, ψ[∂I^-(q_f)] is the entire Cauchy surface because every timelike flow line crosses the past light cone once. The topological step may still be under-justified, but it should not be attacked through the Minkowski example. The stress-test therefore agrees with the rejection while partially disagreeing with the stated weakest assumption; the verdict stays REJECT.","tokens_in":17364,"tokens_out":19433,"duration_ms":231942,"concrete_test":"Test the existence premise directly: in a non-stationary asymptotically flat spacetime with a black hole formed by collapse (for example the Vaidya or a numerical collapse solution), integrate the null geodesic deviation equation along a large sample of complete null rays and count conjugate points in both affine directions. If no ray has an unbounded number of conjugate points, the totally wandering set is empty in exactly the dynamical regime for which the paper proposes a generalization, and the abstract's implication has no object to act on.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central assertion requires two things: existence of a complete null geodesic with unbounded conjugate points in the relevant spacetimes, and a proof that such a geodesic forces accumulation of neighboring rays into a shadow. Existence is not established. The paper verifies the Schwarzschild photon sphere, then explicitly defers the general existence theorem to Ref. [58] and states that a totally wandering null geodesic requires an eternal black hole; for the dynamical, formed-black-hole cases that motivate the paper, Section III gives only a perturbative scale below which truncated wandering geodesics are absent, not a proof that any wandering geodesic appears. The accumulation step in Section IV is also qualitative: the number function N(p) is asserted to be smooth and to have wide range near p_w, and \"brighter\" is inferred without any map from N(p) to surface brightness or angular density. The reader's specific topological counterexample should be corrected: in Minkowski spacetime, the image of ∂I^-(q_f) under the standard timelike flow is the whole Cauchy surface, not a sphere, because each vertical worldline meets the past light cone once. The valid objection is not that A is spherical, but that neither premise (i) nor the N(p)-to-brightness link is supplied.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a causal, coordinate-free replacement for the notion of a photon sphere in general black hole spacetimes. It defines a 'wandering null geodesic' as a complete null geodesic with infinitely many conjugate points, a 'totally wandering null geodesic' as one that is wandering in both temporal directions, and a 'wandering set' as the set of such geodesics. A 'truncated wandering null geodesic' is introduced to discuss the formation of the structure in dynamical collapses. The central claim is that the physical essence of a black hole shadow is not the stationary cycling of photon orbits but the accumulation of null geodesics near a wandering null geodesic, and that the existence of a wandering null geodesic implies such accumulation somewhere in an asymptotically flat spacetime. Section III gives a theorem on the absence of truncated wandering geodesics in globally conformally flat regions and a perturbative Weyl-focusing estimate of the scale below which they do not form. Section IV attempts to show, via a congruence argument, that a totally wandering null geodesic produces an accumulation of light rays and hence a shadow.","tokens_in":17669,"tokens_out":10302,"duration_ms":117297,"significance":"The conceptual framework is interesting and could be valuable for discussing black hole shadows in non-stationary spacetimes, where the standard photon sphere is undefined. The paper is careful to reproduce the Schwarzschild photon-sphere limit, and Theorem 1 is a clean, checkable statement. The perturbative Weyl-focusing estimate provides a concrete scale, and the paper is transparent about several limitations. However, the central implication from a wandering null geodesic to an observable accumulation is not established: the topological step in Section IV is unsupported, the existence of wandering geodesics is assumed rather than proved, and the link from conjugate-point counts to brightness is purely qualitative. As it stands, the paper is best described as a research proposal rather than a proof of the claimed general phenomenon.","major_comments":[{"comment":"The assertion that A = ψ[∂I^-(q_f)] is \"a closed and open subset in the topology of C, so that A is C\" is not derived from the hypotheses and is not a general topological fact. The image of a closed achronal C^1 submanifold under a timelike flow is homeomorphic to the submanifold, but homeomorphism does not make the image either open or closed in the Cauchy surface. In Minkowski spacetime with a vertical timelike flow the image happens to be all of C because the light cone is a graph over the Cauchy surface, but that is a special case, not a general theorem. The subsequent conclusion that every timelike source worldline intersects ∂I^-(q_f) precisely once, and hence that every complete past null geodesic crosses infinitely many source worldlines, rests on this unsupported clopen conclusion and therefore collapses.","section":"Section IV"},{"comment":"The paper's central implication is conditional on the existence of a totally wandering null geodesic, but no existence theorem is proved. Section IV begins \"We suppose a situation that there is at least one totally wandering null geodesic through pw,\" and Section V explicitly defers the existence theorem to Ref. [58], which is listed as \"our forthcoming task\" and is not available to the reader. The perturbative analysis in Section III.A only bounds a scale below which truncated wandering geodesics are absent; it does not show that any wandering geodesic appears. Moreover, the final paragraph of Section IV argues that \"not all null geodesics... can be totally wandering\" implies \"there must be a totally wandering null geodesic λrw,\" which is a non-sequitur: non-emptiness of the wandering set cannot be inferred from the fact that a large congruence contains some non-wandering geodesics. Thus the claimed relevance to general black hole shadows is not established.","section":"Sections IV and V; Ref. [58]"},{"comment":"The step from the number function N(p) to observable brightness is asserted rather than derived. The text says \"the closer O' approaches pw, the wider the range of N(p) becomes and the brighter the light rays are,\" but no map from N(p) to surface brightness or angular density is supplied. Similarly, the claim that each null geodesic of the sub-congruence c[O'] \"will cross an infinite (numerous) number of orbits for the luminous sources\" is not justified by the topological condition that C\\ψ[c[O']] is not dense; a complete null geodesic can intersect a non-dense set only in a limited portion of its affine parameter, for instance a single worldline. The paper's own caveat that these considerations \"may be far from astrophysical generality\" does not repair the logical gap between conjugate-point counts and image brightness.","section":"Section IV"}],"minor_comments":[{"comment":"Reference [58] is given as \"our forthcoming task\"; this is not a usable citation and should be replaced by a real reference or removed along with the passages that rely on it.","section":"References"},{"comment":"There is a typo in the text: \"vanishing Wyle curvature\" should read \"vanishing Weyl curvature.\"","section":"Section III.A"},{"comment":"The statement that \"the conjugate point is sufficient for a null geodesic to stay a chronal region\" is imprecise; a conjugate point causes a geodesic to fail to be a maximum of Lorentzian length, and the relation to remaining in a chronal region should be stated more carefully.","section":"Section II"},{"comment":"The regularity of the achronal boundary is referred to inconsistently as C^1 and C^1-; the notation should be unified, and the smoothness assumptions on the number function N(p) near the totally wandering geodesic should be stated explicitly.","section":"Section IV"}],"recommendation":"reject","confidential_remarks":"The manuscript is not self-contained as a research paper: the central existence theorem is relegated to an unavailable \"forthcoming task,\" and the topological argument in Section IV that is used to obtain the main physical conclusion appears invalid. The conceptual proposal has some merit, and if the author can supply rigorous proofs of the existence of wandering geodesics and of the accumulation claim, a substantially revised version could be reconsidered. As it stands, the paper does not meet the standard for publication in a research journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nWorth a look if you care about the conceptual foundations of black hole shadows in nonstationary spacetimes. The core proposal—replace the photon sphere with complete null geodesics that carry infinitely many conjugate points, the 'wandering' and 'totally wandering' geodesics—is genuinely new relative to the photon-surface and photon-region literature. The Schwarzschild check works: the r=3M null orbit is totally wandering, and Theorem 1 (no truncated wandering geodesic inside a globally conformally flat region) is a clean, if modest, statement.\n\nThe paper is honest about being exploratory. It explicitly defers the general existence theorem to future work, notes that totally wandering geodesics require an eternal black hole, and says that concrete calculations and numerical analysis are not yet available. Those are real limitations, but they are flagged rather than hidden.\n\nThe soft spot is the accumulation argument in Section IV. The topological step that A = psi[∂I^-(q_f)] is closed and open in C, hence all of C, is asserted without proof, and I do not see why it should hold. The reader's Minkowski counterexample is actually mistaken: under the standard timelike flow, the past light cone's image is the whole Cauchy surface, not a sphere. But that only removes a bad example; it does not supply the missing argument. The paper also moves from \"N(p) has a wide range near p_w\" to \"brighter\" with no model of surface brightness or angular density. The conclusion that a wandering geodesic implies accumulation somewhere is plausible for sufficiently old black holes, but it is not a theorem.\n\nThere is also only a perturbative exclusion scale in Section III, not a positive existence result, for the dynamical black holes that motivate the paper. So the central claim is ring-fenced rather than proven.\n\nWho should read this: people working on dynamical shadows, photon surfaces, or causal structure. It does not give a new observable or a concrete calculation, but it offers a vocabulary worth considering. I would send it to a serious referee—the idea deserves a careful technical read, even though my own recommendation would be revise-heavy, with the missing proofs or a much more cautious conclusion.","headline":"A genuinely new causal redefinition of photon-sphere concepts, but the central implication from wandering null geodesics to observable shadows is asserted rather than proven.","tokens_in":18135,"tokens_out":2194,"would_cite":false,"duration_ms":26057,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C75"],"pacs":["04.20.-q","04.70.-s"],"model":"deepseek-v4-flash","headline":"Black hole shadows are produced by the accumulation of light rays around wandering null geodesics, not by stationary photon orbits.","keywords":["black hole shadows","photon sphere","wandering null geodesics","conjugate points","Weyl focusing","causal structure","asymptotically flat spacetimes","dynamical black holes"],"falsifier":"Take a past-directed light cone in Minkowski spacetime and compute the projection of $\\partial I^-(q_f)$ onto a spatial slice: it is a sphere of finite radius, not the whole slice, so the open-and-closed premise already fails in the simplest globally hyperbolic spacetime; repeating this computation in a numerical collapse and finding a proper subset there would break the claim that asymptotic flatness forces an accumulation somewhere.","tokens_in":17138,"feed_emoji":"🕳️","tokens_out":10393,"duration_ms":109609,"temperature":0.7,"pith_summary":"The paper argues that the black hole shadow—the dark region silhouetted against light behind a black hole—does not need an eternal photon sphere or stationary circular photon orbits. Its proposal is to define the shadow-producing structure by causality alone: a 'wandering null geodesic,' a complete light ray that repeatedly develops conjugate points, and the 'wandering set' of such rays that wander in both time directions. In Schwarzschild spacetime these rays are exactly the unstable circular orbits on the photon sphere, so the new concept reduces to the old one where the old one exists. If the argument is right, shadows become well defined for dynamical, merging, and newly formed black holes, where the photon-sphere concept is unavailable, and asymptotic flatness alone forces at least one such wandering ray to exist.","feed_headline":"Shadows are light-ray pileups, not looping photon orbits","feed_subtitle":"A causal definition based on repeated light-focusing points extends shadow theory to dynamical black holes.","key_machinery":"The load-bearing object is the wandering null geodesic, a complete null geodesic with an unlimited number of conjugate points; its totally wandering version, with repeated conjugate points toward both past and future, is what replaces the photon sphere in general spacetimes. Conjugate points are detected through the null geodesic deviation and Raychaudhuri equations, where the Weyl curvature acts as an effective focusing source; the paper isolates Weyl focusing by a conformal transformation and derives an affine-length scale, roughly $1/\\sqrt{C_1}$ with $C_1$ a bound on Weyl curvature, below which no truncated wandering geodesic can form. The shadow-relevance argument is carried by a singular null congruence and a number function $N(p)$ counting conjugate points along each past-directed ray, with the oldest conjugate point $q_f$ defining the causal boundary $\\partial I^-(q_f)$. The paper then uses the projection of this boundary along timelike source worldlines onto a spatial slice to conclude that complete past rays cross infinitely many light sources, producing the accumulation that appears as a shadow.","core_discovery":"The paper's central claim is that the essence of a black hole shadow is not stationary cycling of photon orbits but the accumulation of null geodesics near a ray that repeatedly acquires conjugate points. It defines a wandering null geodesic as a complete, inextendible null geodesic with unlimited conjugate points, and a totally wandering null geodesic as one with unlimited conjugate points in both future and past directions; the set of these is the wandering set, the proposed general replacement for the photon sphere. Using the geodesic deviation equation and Weyl focusing, it argues that such wandering rays exist in general asymptotically flat black-hole spacetimes, and that a truncated version can be used to discuss when a shadow structure forms during collapse. The paper also contends that near a totally wandering ray the number of conjugate points on nearby rays becomes unbounded and rapidly varying, which is the causal mechanism for the brightness contrast seen as a shadow, and that this structure is invariant under conformal transformations.","pith_inferences":["Editorial inference: the conjugate-point count $N(p)$ along simulated past rays could be used as a numerical diagnostic for locating the wandering set in dynamical spacetimes without solving for photon spheres.","Editorial inference: observed or simulated shadow brightness profiles might be compared with $N(p)$ to estimate how many windings light rays make, offering an observational probe of the wandering structure.","Editorial inference: since the same accumulation underlies strong-deflection lensing, the wandering-set idea could connect shadow formation to deflection-angle divergences in time-dependent spacetimes.","Editorial inference: the conformal-invariance result suggests that shadow observations probe conformal structure, which could separate spacetimes that share horizon topology but differ by a conformal factor."],"forward_implications":["Shadow theory no longer needs stationarity, so dynamical, merging, and collapsing black holes can have a well-defined shadow locus defined by conjugate-point accumulation.","In any asymptotically flat spacetime with enough light sources, the existence of at least one totally wandering null geodesic implies a brightness contrast—the shadow—will appear somewhere in the observer's sky.","Because conjugate points are conformally invariant, the wandering set survives conformal rescalings that can change event-horizon topology, giving a causal way to optically distinguish such spacetimes.","The absence of truncated wandering geodesics in globally conformally flat collapse means homogeneous spherical collapse suppresses shadow-structure formation until Weyl curvature grows.","The arguments apply to sufficiently old black holes and not to young ones, so the predicted contrast depends on the black hole's age and curvature scale rather than on stationarity."],"supporting_citations":[{"why":"Supplies the null geodesic congruence, expansion, shear, and conjugate-point machinery on which the definition of wandering null geodesics rests.","marker":"[44]"},{"why":"Supplies the global causal structure facts: null geodesic generators of boundaries, achronal boundaries, and global hyperbolicity used throughout.","marker":"[14]"},{"why":"Provides the causal boundary construction used to explain why wandering is defined through conjugate points rather than endpoints at timelike infinity.","marker":"[57]"},{"why":"Provides the fold-catastrophe analysis used to argue that photon-orbit accumulation is structurally stable under perturbations.","marker":"[37]"},{"why":"Supplies the distinction between Weyl and Ricci focusing used to separate the curvature mechanisms in the existence analysis.","marker":"[59]"},{"why":"Provides the homogeneous collapsing-star spacetime used to illustrate the absence of truncated wandering null geodesics in conformally flat collapse.","marker":"[60]"},{"why":"Is the deferred future work from which the paper takes the existence of totally wandering null geodesics; removing it would leave the central existence claim unsupported.","marker":"[58]"}],"fun_headline_variants":["Shadows arise from light-ray pileups, not photon orbits","Wandering light rays, not looping orbits, create shadows","Causal shadow theory: light accumulates, not cycles","Defining black hole shadows via ray accumulation","A causal twist: shadows from repeated light focusing"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument leans on the premise that the boundary traced by the oldest conjugate points projects onto the whole spatial slice of spacetime rather than only part of it; if that projection is only partial, the conclusion that every past light ray crosses infinitely many light-source worldlines does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Shadows arise from light-ray pileups, not photon orbits","Wandering light rays, not looping orbits, create shadows","Causal shadow theory: light accumulates, not cycles","Defining black hole shadows via ray accumulation","A causal twist: shadows from repeated light focusing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000344,"raw_usage":{"total_tokens":1856,"prompt_tokens":875,"completion_tokens":981,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":491,"completion_tokens_details":{"reasoning_tokens":905}},"tokens_in":491,"tokens_out":981,"duration_ms":7936,"temperature":1.0,"reasoning_tokens":905,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:30:37.493882+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a past-directed light cone in Minkowski spacetime and compute the projection of $\\partial I^-(q_f)$ onto a spatial slice: it is a sphere of finite radius, not the whole slice, so the open-and-closed premise already fails in the simplest globally hyperbolic spacetime; repeating this computation in a numerical collapse and finding a proper subset there would break the claim that asymptotic flatness forces an accumulation somewhere.","supporting_citations":[{"cited_title":"The fingerprints of black holes—shadows and their degeneracies","cited_arxiv_id":null,"evidence_quote":"Supplies the null geodesic congruence, expansion, shear, and conjugate-point machinery on which the definition of wandering null geodesics rests."},{"cited_title":"Black hole fusion in the extreme mass ratio limit","cited_arxiv_id":null,"evidence_quote":"Supplies the global causal structure facts: null geodesic generators of boundaries, achronal boundaries, and global hyperbolicity used throughout."},{"cited_title":"Spinors and space-time, vol","cited_arxiv_id":null,"evidence_quote":"Provides the causal boundary construction used to explain why wandering is defined through conjugate points rather than endpoints at timelike infinity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the fold-catastrophe analysis used to argue that photon-orbit accumulation is structurally stable under perturbations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the distinction between Weyl and Ricci focusing used to separate the curvature mechanisms in the existence analysis."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the homogeneous collapsing-star spacetime used to illustrate the absence of truncated wandering null geodesics in conformally flat collapse."},{"cited_title":"Geroch, E","cited_arxiv_id":null,"evidence_quote":"Is the deferred future work from which the paper takes the existence of totally wandering null geodesics; removing it would leave the central existence claim unsupported."}],"review_version":1}