{"id":"591e49e2-1da1-4c9c-98f7-0dd2064079b4","arxiv_id":"2509.06244","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A shadow can form without a photon sphere if the effective potential for null geodesics is finite and contains a region that traps or scatters light.","lead":"This paper argues that a dark shadow around a compact object can form even without a photon sphere, as long as the effective potential for light has a finite upper bound and can trap or scatter photons. The authors present this as a unifying condition for black holes, naked singularities, and other exotic compact objects in EHT observations.","discovery_kind":"unclear","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposed necessary condition (finite effective potential, Eq. 9) is falsified by Schwarzschild: Veff diverges at r=0 yet a shadow exists, contradicting the central necessity claim.","rationale":"The concern is load-bearing because the central theorem is that the finite-upper-bound/trapped-scattered condition is both necessary and sufficient. Necessity is disproved by the most standard shadow spacetime, Schwarzschild: the potential fails the paper's own finiteness condition, yet a shadow exists. This is not a subtle interpretation issue; the paper's text explicitly requires Veff(r)<∞ for all r<rph. The reader's verdict already flagged this point, though the reader's weakest_assumption also included the equatorial-plane reduction; I focus on the finiteness contradiction because it is analytic, internal, and decisive. If the authors were to revise by weakening Eq. (9) to 'finite upper bound only,' the necessity claim in the abstract could survive for Schwarzschild, but then the main-text derivation is inconsistent with the abstract. Alternatively, if they restrict to spacetimes with no singularity, they lose the naked-singularity cases they explicitly cite. No independent computational verification or parameter-free derivation is provided to counterbalance this. Hence the rejection stands.","tokens_in":7389,"tokens_out":13004,"duration_ms":141076,"concrete_test":"Compute Veff for Schwarzschild null geodesics from Eq. (7) using gtt=-(1-2M/r), grr=(1-2M/r)^{-1}, gϕϕ=r^2, gtϕ=0, and the null condition. One obtains Veff(r) = -E^2/2 + (L^2/(2r^2))(1-2M/r). Evaluate as r→0: Veff→-∞, so Eq. (9) fails for every L while the Bardeen shadow boundary b_crit=3√3 M is well defined. If one instead restricts the domain to r>2M, the divergence is hidden, but then the claimed '∀(r<rph)' condition is silently revised, and naked-singularity shadows with singular potentials remain excluded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim—'necessary and sufficient conditions'—requires, per Sec. II, that the effective potential 'remain finite and continuous throughout the region' and satisfy Veff(r)<∞ for all r<rph (Eq. 9). For the Schwarzschild metric, Eq. (7) gives Veff = -E^2/2 + (L^2/2r^2)(1-2M/r), which diverges to -∞ as r→0. Since 0 is well below r_ph=3M, Eq. (9) is violated. Yet Schwarzschild possesses the standard Bardeen shadow with critical impact parameter 3√3 M. The paper even cites refs. [24,25] as examples where 'the singularity itself casts a shadow'—those naked-singularity spacetimes likewise have a singular potential, so the finiteness condition excludes the very cases the paper claims to include. The abstract's milder condition (finite upper bound, not global finiteness) would not rule out Schwarzschild, but the main-text condition (9) does; thus the paper does not even state a single consistent criterion. This is an internal falsification, not a matter of interpretive disagreement.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to establish necessary and sufficient conditions for the formation of a black-hole shadow in general axisymmetric, stationary, rotating spacetimes. The proposed condition is that the effective potential of null geodesics has a positive finite upper bound and contains a region where photons are trapped or scattered; the authors argue that this generalizes the standard photon-sphere/photon-shell criterion and applies to naked singularities and other horizonless compact objects. The main text gives a generic metric, an effective-potential definition, a critical-impact-parameter formula, and a qualitative discussion of potential shapes, but it does not present a formal derivation or a worked non-Kerr rotating example.","tokens_in":7700,"tokens_out":8161,"duration_ms":90752,"significance":"If correct and properly formalized, a model-independent shadow-formation criterion would be useful for interpreting EHT images and for organizing known results on exotic compact objects. The paper does identify a legitimate conceptual point: a photon sphere is not synonymous with a shadow, and cases exist where a shadow is produced without one. However, as written the contribution is qualitative and incomplete: the central claim is not proved, the main condition is partly circular, and the axisymmetric extension is asserted rather than demonstrated. The paper's value is primarily pedagogical, not a new rigorous result.","major_comments":[{"comment":"The central 'necessary and sufficient' claim is not proved. No mathematical definition of the shadow or of the apparent boundary is given, and the only quantitative boundary criterion, Eq. (11), is stated for circular photon orbits. The bullet condition 'includes a region where photons are either trapped or scattered' essentially restates the existence of a capture region, which is close to the definition of a shadow; without a derivation of the threshold impact parameter and the observer-screen projection, the sufficiency claim is circular. The necessity claim in Sec. III is likewise unsupported.","section":"Sec. II and Sec. III"},{"comment":"For a stationary axisymmetric spacetime, the shadow boundary on the observer's sky at finite inclination is determined by non-equatorial spherical photon orbits, not only by equatorial circular orbits. The paper explicitly restricts to separability, at least in the equatorial plane, and then uses Eq. (11) to define the critical boundary. This does not provide a derivation of the shadow boundary for the general axisymmetric rotating case claimed in the title and Sec. II. The equatorial-plane reduction must be stated as a limitation of the result, not as the basis for a general necessary-and-sufficient condition.","section":"Eq. (11) and surrounding text"},{"comment":"The main-text condition differs from the abstract condition in a way that matters. The abstract requires a 'positive finite upper bound', while Sec. II and Eq. (9) require Veff(r)<∞ for all r<r_ph and say the potential 'must remain finite and continuous throughout the region'. These are not equivalent: a potential can be finite at every regular radius while having a negatively divergent limit at the singularity, as in Schwarzschild. The paper invokes naked-singularity shadows from refs. [24,25] without showing that they satisfy Eq. (9). The necessary condition is therefore ambiguously and inconsistently stated.","section":"Sec. II, bullet list and Eq. (9)"},{"comment":"No worked axisymmetric non-Kerr example is presented. The text claims the framework 'extends beyond conventional solutions', but the only concrete examples mentioned are spherically symmetric static geometries from refs. [3,24,25]. A claim of necessary and sufficient conditions for rotating spacetimes requires either a proof from the geodesic equation or at least one nontrivial rotating example in which the condition is verified and the shadow boundary is computed. In the present form, the demonstration is a qualitative discussion rather than a derivation.","section":"Sec. II, general framework"}],"minor_comments":[{"comment":"Eq. (7) defines Veff without the gθθ(dθ/dλ)^2 term that appears in Eq. (5). If this is meant as the equatorial-plane reduction, that should be stated explicitly before Eqs. (8)-(9) are used.","section":"Eq. (7)"},{"comment":"The phrase 'were P µ is the four-momentum' should read 'where P µ is the four-momentum'.","section":"After Eq. (3)"},{"comment":"The PACS numbers line is blank, and reference [23] appears incomplete; the general bibliography formatting is inconsistent.","section":"PACS/references"},{"comment":"The axes of Fig. 1 are unlabeled, and panel (c), labeled 'anti-photon sphere', is not defined in the text and no explicit example of such a potential is given.","section":"Fig. 1"},{"comment":"The closing caveat that the results 'may not generalize to all non-Kerr scenarios' is in tension with the abstract's general claim. The assumptions and limitations should be stated at the outset and reflected in the conclusions.","section":"Sec. III"}],"recommendation":"reject","confidential_remarks":"The manuscript is a short qualitative remark rather than a proof of the claimed necessary-and-sufficient conditions. It leans heavily on prior work by the same authors and does not contain a new calculational result that would support the generality advertised in the title and abstract. I would recommend rejection unless the authors can supply a precise theorem with proof and at least one nontrivial axisymmetric example."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is not a research result. The central claim that a shadow forms iff the effective potential has a positive finite upper bound and contains trapped/scattered photons is close to a restatement of what a shadow is, and the stricter condition in Eq. (9) is wrong for the Schwarzschild metric, which the paper itself uses as the standard example. The paper does not state a single consistent criterion.\n\nWhat is genuinely useful: the paper correctly notes that shadows can exist without a photon sphere, citing [24,25], and it reminds the reader that the shadow boundary and the photon ring are not the same thing. Figure 1 is a decent qualitative summary. The prose is readable. That is about it.\n\nThe soft spots are load-bearing. Eq. (9) requires Veff(r)<∞ for all r<rph. In Schwarzschild, using their own Eq. (7), Veff ~ -L^2 M / r^3 → -∞ as r→0, yet the Bardeen shadow exists with bcrit = 3√3M. So the proposed necessary condition excludes the simplest black hole. The abstract's milder condition (finite upper bound) would not exclude Schwarzschild, but it is not the condition defended in the text. This internal contradiction alone sinks the paper's main claim.\n\nThe 'sufficient' half is also circular. 'A region where photons are trapped or scattered' is essentially the definition of a shadow boundary. The paper never defines a critical impact parameter independently of the trapping region, so it does not prove necessity or sufficiency; it restates the phenomenon.\n\nThe claimed extension to rotating, axisymmetric spacetimes is not demonstrated. Eq. (11) is the standard expression for the critical impact parameter; no new derivation, no worked example. The paper acknowledges separability assumptions, but says nothing about non-equatorial photon orbits that matter for finite inclinations.\n\nThe paper also assumes finiteness of the effective potential ('we assume ... that the effective potential for null geodesics remains finite'), which is exactly the property it needs to establish. That is not a theorem; it is an assumption.\n\nWho is this for? Anyone who wants a short qualitative overview of why shadows need not imply photon spheres could read the introduction and Figure 1. But as a research contribution claiming necessary and sufficient conditions, it does not hold up. If the authors reframed it as a pedagogical note and removed the 'theorem' language, it could be acceptable after major revision. As submitted, I would not send it to peer review. A serious referee would immediately hit the Schwarzschild counterexample.","headline":"The paper's 'necessary and sufficient' shadow condition is a definition dressed as a theorem, and its main-text finiteness condition is falsified by Schwarzschild.","tokens_in":8126,"tokens_out":3603,"would_cite":false,"duration_ms":37220,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A compact-object shadow can form without a photon sphere whenever the null-geodesic effective potential has a positive finite upper bound that traps or scatters light.","keywords":["black hole shadow","photon sphere","effective potential","null geodesics","naked singularities","compact objects","Event Horizon Telescope"],"falsifier":"Ray-trace null geodesics in a rotating spacetime that satisfies the finite-positive-upper-bound condition but has no photon sphere, and observe the screen at a large inclination angle; if a clear shadow exists and its edge deviates from Eq. (11) computed from equatorial orbits, the equatorial-reduction claim is falsified.","tokens_in":7348,"feed_emoji":"🕳️","tokens_out":7666,"duration_ms":76743,"temperature":0.7,"pith_summary":"The paper argues that the usual requirement for a black hole shadow—a photon sphere, a shell of unstable photon orbits—is too narrow. The true condition, it claims, is that the effective potential for radial null geodesics stays finite with a positive upper bound and contains a region that either traps or scatters photons. That condition holds for Kerr black holes as a special case, but it also covers naked singularities, regular black holes, wormholes, and other horizonless compact objects, including cases with no photon sphere at all. The authors give this as a necessary and sufficient condition for axisymmetric, stationary, rotating spacetimes, and they distinguish the shadow's dark edge from the bright photon ring that often accompanies it.","feed_headline":"Shadows can appear with no photon sphere","feed_subtitle":"A finite light-trapping barrier is enough; the result widens which compact objects the EHT could be seeing.","key_machinery":"The effective potential Veff(r) for null geodesics, Eq. (7), reduced to a function of radius on the equatorial plane via conservation of energy E and angular momentum Lz. The paper's shadow criterion is that this potential must have a positive finite upper bound and include a trapping or scattering region; the photon sphere appears only as the special case where Veff' = 0 and Veff'' < 0. The apparent shadow boundary is then given by the critical impact parameter bcrit = Lz/E, through Eq. (11).","core_discovery":"For a general axisymmetric, stationary, rotating spacetime whose null geodesic motion separates at least in the equatorial plane, the paper claims that a distant observer sees a shadow if and only if the radial effective potential Veff(r) is finite and continuous, has a positive finite upper bound, and includes a region where photons are trapped or scattered. The Kerr photon shell is only a particular realization of this condition: it corresponds to unstable circular orbits, Veff' = 0 and Veff'' < 0, sitting at the potential's maximum. When that maximum exists without unstable circular orbits, shadows still form, though the brightness depression may lack a sharp ring. The shadow boundary is","pith_inferences":["Inference: the 'sufficient' direction of the claim likely depends on how the shadow edge is defined; a gradual brightness depression without a sharp intensity drop may not give a unique boundary even when the effective-potential condition holds.","Inference: the equatorial-plane reduction could be tested numerically by ray-tracing null geodesics in a rotating naked-singularity metric with no photon sphere at finite observer inclination; any mismatch between the true screen boundary and Eq. (11) would mark the separability approximation's limit.","Inference: the same finite-barrier logic should apply to gravitational-wave lensing or X-ray reverberation mapping, where the trapping/scattering region would imprint a characteristic dimming independent of a photon ring."],"forward_implications":["If the condition is correct, the absence of a detected photon ring does not imply the absence of a shadow: a finite potential barrier that scatters photons can still create a dark silhouette.","Shadows of horizonless compact objects, including naked singularities without photon spheres, become viable targets for EHT and next-generation imaging tests of cosmic censorship.","The distinction between the shadow edge and the bright photon ring gives observers two independent diagnostics: one tells whether light is captured or scattered, the other whether unstable photon orbits exist.","In rotating spacetimes, spin-induced asymmetry in the shadow boundary is governed by the same finite-barrier condition, so high-spin horizonless objects could cast shadows mimicking Kerr black holes without an event horizon."],"supporting_citations":[{"why":"Defines the apparent boundary (critical curve) used throughout the paper.","marker":"[1]"},{"why":"Review of shadows across black holes, naked singularities, wormholes, and other compact objects, providing the classification the paper generalizes.","marker":"[3]"},{"why":"Prior demonstration that shadows form due to a photon sphere; the condition the new framework claims to supersede.","marker":"[20]"},{"why":"Argument that most naked singularities have inner turning points for timelike geodesics, used to narrow which horizonless models survive current EHT constraints.","marker":"[22]"},{"why":"Direct precursor showing a shadow can be cast without a photon sphere, seeding the paper's central claim.","marker":"[24]"},{"why":"Follow-up study of shadows in spacetimes without photon spheres, supporting the generalized condition.","marker":"[25]"},{"why":"Computed shadows for two naked-singularity spacetimes used as examples of the new condition.","marker":"[23]"}],"fun_headline_variants":["No photon sphere? Still a shadow","Finite light barrier enough for a shadow","Shadow rule extends beyond Kerr black holes","Shadow without photon sphere: broader condition","New condition for shadows: no photon sphere"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The result assumes that a rotating spacetime's shadow edge is set by circular photon orbits in the equatorial plane, so any photon orbits that leave that plane would have to behave equivalently or be ignored for the condition to hold exactly.","fun_headline_variants_meta":{"raw":{"variants":["No photon sphere? Still a shadow","Finite light barrier enough for a shadow","Shadow rule extends beyond Kerr black holes","Shadow without photon sphere: broader condition","New condition for shadows: no photon sphere"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00095,"raw_usage":{"total_tokens":3861,"prompt_tokens":688,"completion_tokens":3173,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":432,"completion_tokens_details":{"reasoning_tokens":3124}},"tokens_in":432,"tokens_out":3173,"duration_ms":27207,"temperature":1.0,"reasoning_tokens":3124,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T23:50:29.088070+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Ray-trace null geodesics in a rotating spacetime that satisfies the finite-positive-upper-bound condition but has no photon sphere, and observe the screen at a large inclination angle; if a clear shadow exists and its edge deviates from Eq. (11) computed from equatorial orbits, the equatorial-reduction claim is falsified.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the apparent boundary (critical curve) used throughout the paper."},{"cited_title":"Vagnozzi, R","cited_arxiv_id":null,"evidence_quote":"Review of shadows across black holes, naked singularities, wormholes, and other compact objects, providing the classification the paper generalizes."},{"cited_title":"Shaikh, P","cited_arxiv_id":null,"evidence_quote":"Prior demonstration that shadows form due to a photon sphere; the condition the new framework claims to supersede."},{"cited_title":"Cosmic Censorship in Sgr A* and M87*: Observationally Excluding Naked Singularities","cited_arxiv_id":"2406.05181","evidence_quote":"Argument that most naked singularities have inner turning points for timelike geodesics, used to narrow which horizonless models survive current EHT constraints."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Direct precursor showing a shadow can be cast without a photon sphere, seeding the paper's central claim."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Follow-up study of shadows in spacetimes without photon spheres, supporting the generalized condition."},{"cited_title":"Bambhaniya and P","cited_arxiv_id":null,"evidence_quote":"Computed shadows for two naked-singularity spacetimes used as examples of the new condition."}],"review_version":1}