{"id":"27d934a3-873c-4f36-9031-5551a841c97b","arxiv_id":"2508.19823","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For static spherical black holes with monotone m(r)/r^3, every stable photon sphere obeys r < 6M.","lead":"Stable photon spheres, circular light orbits around black holes, are shown to always lie inside 6 times the black hole mass, under a monotone density condition on surrounding matter. This gives a universal spatial constraint for hairy black holes and other solutions, with consequences for accretion disk anomalies and shadow observations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Monotonicity of m/r^3 is an unproven, nonlocal assumption; the proof's key step m' ≤ 3m/r fails without it, and the paper admits counterexamples.","rationale":"Read in good faith, the paper's main analytic result is the upper bound, and the logic from (3.18)-(3.25) is valid once (3.17) and (3.13) are accepted. I independently checked (3.17) against the Reissner-Nordström spacetime (Q=M, r=2M) and against the general formula V'' = μL^2/r^4 [6 + r^2 A''/A - 2(rA'/A)^2] at the circular-null condition; it is correct. The reader correctly identifies (3.13) as the least secure premise: it is not derived from the stated energy conditions and is admitted by the authors to be necessary. The printed Eq. (3.15) has a sign error that prevents a reader from reproducing (3.17); this is a correctness blemish but not fatal because (3.17) can be derived independently. The abstract's existence claim is overstated: Sec. IV's 'existence condition' only characterizes stability once a photon sphere is present. These issues justify a conditional acceptance pending corrections, but do not overturn the bound itself.","tokens_in":6387,"tokens_out":40869,"duration_ms":400115,"concrete_test":"Construct a static, spherically symmetric, asymptotically flat exterior with a horizon using the ansatz (2.1) and choose smooth μ(r), δ(r) such that d(m/r^3)/dr changes sign (e.g., a shell-like density bump), then compute ρ, p, p_T from (2.3), (2.4), (2.10) and enforce WEC and T≤0. Solve (3.7) for photon spheres and evaluate V'' from (3.6). If a configuration with r_sps ≥ 6M and V'' > 0 exists, the monotonicity assumption is essential and the bound is not universal; if no such solution can be found, attempt to prove (3.13) from WEC + T≤0 plus asymptotic flatness and horizon regularity. This directly tests the footnote's admitted counterexample.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central bound (3.25) is obtained by combining the stability inequality (3.23), m'(r_sps) > 2/3 - m(r_sps)/r_sps, with the inequality (3.14), m' ≤ 3m/r, which follows from the assumed monotonicity d(m/r^3)/dr ≤ 0 in (3.13). The energy conditions (3.8)-(3.10) do not imply (3.13): WEC and T≤0 are local, pointwise inequalities on ρ,p,p_T, while m(r)/r^3 is a cumulative average-density profile. The footnote to (3.13) explicitly concedes that without this assumption, counterexamples satisfying the energy conditions could violate r_sps < 6M. Thus the advertised universal bound is conditional on a nonderived global profile condition; its novelty ('holds for arbitrary positions,' 'independent of specific solutions') is exactly what is at stake. A secondary but real issue is that Eq. (3.15) as printed has the wrong overall sign: substituting the Reissner-Nordström values (Q=M, r=2M) gives V'' > 0 from (3.15), whereas the exact geodesic potential gives V'' < 0, in agreement with (3.17). This makes the printed derivation internally inconsistent, although (3.17) itself can be verified independently from V_eff = μ(L^2/r^2 - E^2/A) plus the circular-orbit condition. The existence statement in Sec. IV is also not a proof of existence: (4.1) is a condition on a radius that must already solve N=0; it does not establish that such a radius exists.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies stable photon spheres outside static, spherically symmetric, asymptotically flat black holes surrounded by matter. It derives the photon-sphere condition N(r_ph)=0 from the geodesic effective potential, and the stability condition V''_eff(r_sps)>0. After substituting the photon-sphere condition, the authors obtain the matter inequality ρ+p_T>1/(8π r_sps^2). Combining this with the weak energy condition, the nonpositive trace condition T≤0, and an assumed monotonic decrease of m(r)/r^3, they derive m'(r_sps)>2/3−m(r_sps)/r_sps and, using m'≤3m/r, the bound r_sps<6m(r_sps)≤6M. The paper also claims an 'existence condition' for stable photon spheres. The central result is therefore a conditional upper bound under an additional global density-profile assumption, not a bound from the local energy conditions alone.","tokens_in":6787,"tokens_out":8002,"duration_ms":84386,"significance":"If the conditional bound is correct, it is a useful addition to the literature on photon-sphere inequalities, complementing Hod's bound for the innermost photon sphere by constraining stable photon spheres at arbitrary positions within the class of density profiles satisfying d(m/r^3)/dr≤0. The derivation is compact and the final stability condition (3.17) is correct, as can be verified directly from the effective potential. The paper is honest enough to include a footnote conceding the monotonicity limitation, which is a point in its favor. However, the advertised 'universal' character is substantially weaker than stated, because the monotonicity condition is not derived from the energy conditions and the manuscript itself acknowledges possible counterexamples. The so-called existence result is only a stability condition evaluated at an assumed photon sphere, not a proof that such a radius exists. The paper does not provide machine-checked proofs or code, and the algebraic core, though checkable, contains a printed sign error that must be corrected.","major_comments":[{"comment":"There is a sign error in the printed expression for V''_eff. Directly substituting p=(3μ−1)/(8πr^2) and T=−ρ+p+2p_T into the printed (3.15) yields V''_eff = (2L^2/r^4)[1 − 8πr^2(ρ+p_T)], which is the negative of Eq. (3.17). In the vacuum limit (ρ=p_T=0, r=3M), the printed (3.15) would give V''>0 for the Schwarzschild photon sphere, contradicting the well-known instability. Eq. (3.17) itself is correct and can be obtained directly from V_eff=L^2μ/r^2−E^2/e^{−2δ} together with N=0, so the error appears to be a sign typo, but as printed the derivation is internally inconsistent and must be fixed.","section":"Eq. (3.15) and (3.17)"},{"comment":"The bound r_sps<6M depends critically on the monotonicity assumption d(m/r^3)/dr≤0, used only through m'≤3m/r in Eq. (3.14). This assumption is not a consequence of the weak energy condition and trace condition (3.8)–(3.10); it is a global, nonlocal restriction on the cumulative density profile. The footnote to (3.13) concedes that without it, counterexamples satisfying the energy conditions could violate r_sps<6M. The paper should either derive (3.13) from more fundamental assumptions—which the text does not do—or present the theorem explicitly as a conditional result, not as a universal bound. As it stands, the claim of a 'universal upper bound' overstates the logical status of the result.","section":"Eq. (3.13) and the derivation of (3.25)"},{"comment":"The paper calls ρ+p_T>1/(8πr_sps^2) an 'existence condition' for stable photon spheres. In fact, Eq. (4.1) is only the stability condition V''_eff>0 evaluated at a radius that is already assumed to satisfy the circular-orbit condition N(r_sps)=0. It does not prove that any such radius exists. To establish existence one must show that the system N(r)=0 and (4.1) has a solution under the stated matter assumptions, which the paper does not do. This is a load-bearing overstatement of one of the two main results; the text should be rephrased as a stability criterion for a given photon sphere, and the corresponding abstract/conclusion claims should be revised accordingly.","section":"Section IV, Eq. (4.1) and the existence claim"}],"minor_comments":[{"comment":"The abstract and introduction should say 'within the class of metrics satisfying the additional monotonicity assumption (3.13)' rather than implying a fully universal bound. The body already carries this caveat in a footnote, but the prominence of the claim elsewhere is disproportionate.","section":"General"},{"comment":"The pressure-gradient equation appears garbled: the term '2T μ' is ambiguous and the displayed expression lacks clear grouping. Since this equation is cited in the derivation of (3.15), it should be typeset correctly and consistently with the notation for p_T.","section":"Eq. (2.10)"},{"comment":"Even after correcting the sign, the lengthy expression is hard to verify. Consider moving this intermediate step to an appendix or showing the algebra that reduces it to (3.17), which would also help catch sign errors.","section":"Eq. (3.15)"},{"comment":"Reference [27] is cited to support monotonicity of ρ, but it is a general relativity textbook, not a derivation or specific astrophysical justification. A more targeted reference or a stated physical example would be appropriate.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The final stability condition (3.17) is correct, and the conditional bound r_sps<6M is plausible within the stated monotonicity class. However, the printed derivation contains a sign error that must be corrected, and the existence claim in Section IV is not what the paper actually proves. The authors should be asked to either prove or prominently qualify the monotonicity assumption, and to rephrase the 'existence condition' as a stability criterion. I do not see grounds for rejection, because the core result is defensible once these issues are fixed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is a genuinely useful addition to the photon-sphere-bounds literature. The core new result is the strict upper bound r_sps < 6M for stable photon spheres in static, spherically symmetric, asymptotically flat black holes with external matter, derived under the WEC, nonpositive trace T ≤ 0, and monotone decreasing m(r)/r^3. That bound is not in Hod's innermost-sphere work or in the outermost-sphere inequalities from Refs. [15–17], so it fills a real gap for the radii of stable spheres at arbitrary positions. The derivation is short, self-contained, and the final stability condition (3.17) checks out in the Schwarzschild limit. Credit where due: the paper states its assumptions clearly, including a footnote that explicitly concedes the monotonicity assumption is not implied by the energy conditions and that counterexamples could otherwise exist. That is honest and properly scoped.\n\nThe soft spots are real but manageable. The load-bearing assumption is (3.13), the monotonicity of m(r)/r^3, which is a global density-profile condition rather than a local energy condition. The authors acknowledge this, but the abstract's phrase \"universal upper bound\" overstates it—this is a conditional bound, not a consequence of WEC and trace condition alone. If the authors resubmit, they should either prove (3.13) from more basic assumptions for a useful class of matter models, or promote it to the title/abstract as an explicit hypothesis. The second issue is Eq. (3.15): as printed it gives the wrong sign in the vacuum/Reissner–Nordström limit, making the derivation internally inconsistent, although the final (3.17) is correct. That is a typographical or algebraic slip that needs correcting. The existence condition (4.1) is also more a restatement of V''>0 than a new existence theorem; it does not prove that a radius satisfying N=0 and (4.1) actually exists. The authors should soften the \"existence\" language.\n\nWho is this for? Anyone working on photon spheres, shadow bounds, or the Aschenbach effect in hairy black holes. It deserves a serious referee: the method is simple, the result is likely correct under the stated assumptions, and the flaws are fixable. I would send it to peer review, with a request to fix the sign error, rescope the existence claim, and make the monotonicity assumption prominent. For my own work, I'd cite it once the sign issue is corrected; right now I'd treat the bound as plausible but not fully verified from the printed derivation.","headline":"Clean universal r_sps < 6M bound for stable photon spheres under an explicit monotone-density assumption, with a sign typo in Eq. (3.15) and an overstated existence claim that are both fixable.","tokens_in":7246,"tokens_out":668,"would_cite":true,"duration_ms":8876,"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":"This paper proves that stable photon spheres around static, spherically symmetric, asymptotically flat black holes must satisfy r_sps < 6M, provided the surrounding matter obeys the weak energy condition, a nonpositive trace condition, and","keywords":["stable photon sphere","photon sphere","black hole","upper bound","weak energy condition","geodesic stability","Aschenbach effect","black hole shadow"],"falsifier":"Construct an explicit static, spherically symmetric, asymptotically flat solution that satisfies rho >= 0, |p| <= rho, T <= 0, and d(m/r^3)/dr <= 0, and check the two algebraic conditions at r = 6M: the photon-sphere equation N(r) = 0 and the stability inequality V''_eff(r) > 0. A configuration satisfying both would refute the strict bound; a closed-form metric with a stable photon sphere at exactly 6M would settle the question.","tokens_in":6304,"feed_emoji":"🕳️","tokens_out":11779,"duration_ms":110171,"temperature":0.7,"pith_summary":"This paper sets out to answer two open questions: when do stable photon spheres—circular light orbits that are local minima of the effective potential—exist outside a black hole horizon, and where can they sit? For static, spherically symmetric, asymptotically flat black holes surrounded by matter, the paper proves that a photon sphere at radius r is stable precisely when the matter satisfies rho + p_T > 1/(8 pi r^2). It then derives a universal bound, r_sps < 6M, under the weak energy condition, a nonpositive trace condition, and the assumption that the average density m(r)/r^3 decreases outward. Because the result is independent of the detailed metric, it applies broadly to hairy black holes and other external-matter configurations, and it gives observers concrete radii to look for effects tied to stable photon orbits.","feed_headline":"Stable photon rings must stay inside 6M","feed_subtitle":"Universal bound on stable light rings around static black holes, tightening where accretion and GW signals arise.","key_machinery":"The effective potential V_eff = -E^2 e^{2 delta} + L^2 mu/r^2 for null geodesics is the central object: photon spheres are stationary points of V_eff and stable photon spheres are strict local minima, V''_eff > 0. The paper's key identity reduces V''_eff at a photon sphere, using the photon-sphere condition N(r) = 3 mu - 1 - 8 pi r^2 p = 0, to V''_eff = (2L^2/r^4)[8 pi r^2 (rho + p_T) - 1], so stability is literally a matter inequality. The proof then combines this with the trace condition and the monotonic average-density assumption m'(r) <= 3m(r)/r to convert the matter inequality into a differential inequality for the mass function, m'(r_sps) > 2/3 - m(r_sps)/r_sps, whose solution is r_sp","core_discovery":"On the paper's own terms, the central discovery is that the question of where a stable photon sphere can live reduces to an inequality about matter. The stability condition V''_eff > 0 at a photon sphere, after using the null-geodesic equations, becomes rho + p_T > 1/(8 pi r_sps^2), a purely matter-side condition. If in addition the weak energy condition, the trace condition T <= 0, and monotone decrease of m/r^3 hold, the same inequality forces m'(r_sps) > 2/3 - m(r_sps)/r_sps; combined with m' <= 3m/r from monotonicity this gives r_sps < 6m(r_sps) <= 6M. The paper therefore establishes the first universal upper bound on stable photon spheres at arbitrary positions, complementing the known","pith_inferences":["The stability condition rho + p_T > 1/(8 pi r^2) is local and directly checkable from matter fields, suggesting a practical diagnostic: in numerical simulations of accretion flows, compute energy-momentum components at suspected photon rings to decide stability without integrating geodesics.","The bound's reliance on monotonic m/r^3 leaves open configurations with dense shells or inverted density profiles; the paper itself notes counterexamples can exist there, so the next natural question is which physically motivated accretion or halo profiles actually satisfy the monotonicity condition.","Because the derivation uses only spherical symmetry and the effective-potential criterion, analogous inequalities may hold for stable timelike circular orbits if the second-derivative condition is re-evaluated for timelike geodesics, though the paper does not address this."],"forward_implications":["The bound is model-independent: it holds for any static, spherically symmetric, asymptotically flat black hole with external matter, whatever the metric form, as long as the three stated conditions hold.","Stable photon spheres can exist only where the surrounding matter satisfies rho + p_T > 1/(8 pi r^2), so the matter content directly controls orbital stability.","The Aschenbach-effect velocity peaks from a stable photon sphere are confined to r < 6M, giving X-ray observations a concrete radius to search.","Gravitational-wave resonances from extreme mass-ratio inspirals near stable photon orbits are confined to r < 6M, relevant for future space-based interferometers.","This is the first universal upper bound for stable photon spheres at arbitrary locations, complementing the existing r_ph,in <= 3M bound for innermost photon spheres."],"supporting_citations":[{"why":"Proves the innermost photon-sphere bound r_ph,in <= 3M that this paper complements with a bound for stable spheres.","marker":"[5]"},{"why":"Establishes the alternating stability structure of photon spheres and the V''_eff > 0 criterion used to define a stable photon sphere.","marker":"[18, 19]"},{"why":"Shows multiple photon spheres can coexist for matter satisfying energy conditions, making the stable-sphere question non-vacuous.","marker":"[14]"},{"why":"Demonstrates that a stable photon sphere triggers the Aschenbach effect, giving the bound its observational relevance for accretion disks.","marker":"[20]"},{"why":"Supplies the standard nonpositive trace condition T <= 0 for external matter fields used as a condition in the proof.","marker":"[23]"},{"why":"Provides hairy black-hole configurations whose matter fields satisfy the energy and trace conditions, showing the intended scope.","marker":"[25]"}],"fun_headline_variants":["Stable photon spheres proven to live under 6M","Universal cap on stable photon rings: r < 6M","Stable light rings around black holes must be < 6M","New theorem: stable photon spheres max at 6M","Existence and bound: stable photon spheres < 6M"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The bound relies on the global assumption that m(r)/r^3 decreases monotonically outside the horizon; the energy conditions alone do not force this, and the paper's own footnote notes that without it counterexamples violating r_sps < 6M could exist.","fun_headline_variants_meta":{"raw":{"variants":["Stable photon spheres proven to live under 6M","Universal cap on stable photon rings: r < 6M","Stable light rings around black holes must be < 6M","New theorem: stable photon spheres max at 6M","Existence and bound: stable photon spheres < 6M"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000266,"raw_usage":{"total_tokens":1660,"prompt_tokens":791,"completion_tokens":869,"prompt_tokens_details":{"cached_tokens":640},"prompt_cache_hit_tokens":640,"prompt_cache_miss_tokens":151,"completion_tokens_details":{"reasoning_tokens":794}},"tokens_in":151,"tokens_out":869,"duration_ms":17711,"temperature":1.0,"reasoning_tokens":794,"cache_read_input_tokens":640,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T15:28:10.433795+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct an explicit static, spherically symmetric, asymptotically flat solution that satisfies rho >= 0, |p| <= rho, T <= 0, and d(m/r^3)/dr <= 0, and check the two algebraic conditions at r = 6M: the photon-sphere equation N(r) = 0 and the stability inequality V''_eff(r) > 0. A configuration satisfying both would refute the strict bound; a closed-form metric with a stable photon sphere at exactly 6M would settle the question.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Demonstrates that a stable photon sphere triggers the Aschenbach effect, giving the bound its observational relevance for accretion disks."},{"cited_title":"Bondi, Mon","cited_arxiv_id":null,"evidence_quote":"Supplies the standard nonpositive trace condition T <= 0 for external matter fields used as a condition in the proof."}],"review_version":1}