Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

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

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

For static spherical black holes with monotone m(r)/r^3, every stable photon sphere obeys r < 6M.

T0 review reviewed 2026-08-05 challenge →

load-bearing objection 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. the 3 major comments →

arxiv 2508.19823 v2 pith:URKEUVCK submitted 2025-08-27 gr-qc

The existence and upper bound for stable photon spheres in static spherically symmetric black holes

Yong Song , Jiaqi Fu , Yiting Cen This is my paper
classification gr-qc
keywords stable photon spherephoton sphereblack holeupper boundweak energy conditiongeodesic stabilityAschenbach effectblack hole shadow
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

Core claim

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

What carries the argument

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

Load-bearing premise

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.

What would settle it

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.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • 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.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

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.

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 (3)
  1. [Eq. (3.15) and (3.17)] 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.
  2. [Eq. (3.13) and the derivation of (3.25)] 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.
  3. [Section IV, Eq. (4.1) and the existence claim] 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.
minor comments (4)
  1. [General] 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.
  2. [Eq. (2.10)] 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.
  3. [Eq. (3.15)] 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.
  4. [References] 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.

Circularity Check

1 steps flagged

One definitional restatement in the existence condition; the r_sps<6M bound itself is a genuine derivation under stated assumptions, not circular.

specific steps
  1. self definitional [Section IV, item (1); Eqs. (3.17)-(3.18) and (4.1)]
    "Stable photon spheres can exist outside the event horizon if the surrounding matter fields satisfy ρ+p_T > 1/(8πr_sps^2) at the SPS radius r_sps. This condition is necessary and sufficient for the positivity of the second derivative of the effective potential (V''_eff>0), which defines orbital stability."

    Equation (3.17) gives V''_eff(r_sps) = 2L^2/r^4 [8πr^2(ρ+p_T)-1], so the inequality (4.1) is exactly V''_eff > 0. Since a stable photon sphere is defined by V''_eff > 0, this 'existence condition' is a restatement of the stability definition, not an independent existence proof; it also presupposes r_sps already solves N(r_sps)=0. This does not affect the upper-bound derivation, which uses stability as an input.

full rationale

The main bound (3.25) is not circular. It follows from the stability inequality (3.23), which is derived from V''>0 together with WEC and trace condition, combined with (3.14) obtained from the explicitly stated monotonicity assumption d(m/r^3)/dr≤0. The paper does not fit parameters, rename empirical patterns, or rely on self-citations; the earlier results it cites are external. The monotonicity assumption is honestly flagged in the footnote to (3.13) as not guaranteed by the energy conditions, with an explicit admission that counterexamples could exist without it; that is an acknowledged scope limitation, not circularity. The only definitional reduction is the 'existence condition' (4.1), which is equivalent to V''_eff>0 by Eq. (3.17) and therefore restates the definition of stable photon sphere. I also flag as correctness risk, not circularity, that Eq. (3.15) as printed has an apparent sign inconsistency with the exact Reissner-Nordström effective potential, although Eq. (3.17) can be verified independently. Because the central upper bound is self-contained under its stated assumptions, the circularity score is low.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

The paper adds no new entities or free parameters. Its assumptions are standard energy conditions plus a global monotonicity condition on the mass function, which is the main extra premise. The only questionable step is the stability condition reduction, which is affected by a possible sign typo.

axioms (7)
  • domain assumption Static, spherically symmetric, asymptotically flat metric (Eq. 2.1)
    The paper restricts to this metric class; results do not apply to rotating or non-asymptotically-flat spacetimes.
  • domain assumption Weak energy condition: ρ≥0 and ρ+p≥0 (Eq. 3.8-3.9)
    Assumed for matter outside the horizon.
  • domain assumption Non-positive trace: T=-ρ+p+2p_T≤0 (Eq. 3.10)
    Used to derive (3.19) and hence (3.20); excludes stiff matter.
  • domain assumption Monotonic density: d(m/r^3)/dr≤0 (Eq. 3.13)
    Loaded-bearing for the bound; the paper notes counterexamples exist without it.
  • domain assumption dρ/dr≤0 (Eq. 3.12)
    Assumed but not used in the proof of the bound.
  • standard math Einstein equations G=8πT (Eq. 2.3-2.4)
    The field equations are used to express μ', δ', and the reduction to (3.15).
  • standard math Effective potential formalism for null geodesics (Eq. 3.1-3.6)
    The photon sphere and stability conditions are defined through Veff.

reviewed 2026-08-05 · how reviews work

0 comments
Cite this review

Pith. "Pith review of The existence and upper bound for stable photon spheres in static spherically symmetric black holes." pith.science (2026). https://pith.science/paper/URKEUVCK

@misc{pith2026250819823,
  author       = {Pith},
  title        = {Pith review of: The existence and upper bound for stable photon spheres in static spherically symmetric black holes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/URKEUVCK}},
  note         = {Machine review of arXiv:2508.19823}
}
Share X Bluesky LinkedIn Reddit HN
abstract

In this work, we establish the existence conditions and a universal upper bound on the radius of stable photon spheres (SPS) outside the event horizons of static, spherically symmetric, asymptotically flat black holes surrounded by matter fields. We prove that stable photon spheres exist if the external matter satisfies specific conditions. Furthermore, under the additional assumption of a monotonically decreasing mass-radius ratio $m(r)/r^3$ outside the horizon, we derive a strict upper bound on the radius $r_{\mathrm{sps}}$ of any stable photon sphere: $r_{\mathrm{sps}}<6M$, where $M$ is the asymptotic mass of the black hole. This bound is independent of specific black hole solutions and broadly applies to hairy black holes and other configurations with external matter fields meeting the stated energy conditions. Our results resolve fundamental questions regarding the existence and spatial constraints on stable photon orbits, with implications for gravitational lensing, accretion disk dynamics (e.g., the Aschenbach effect), and black hole shadow observations.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Static spheres in black hole spacetimes: pairing, energy conditions, and an upper bound on the innermost radius

    gr-qc 2026-07 conditional novelty 6.0

    Static spheres around black holes come in unstable/stable pairs, need negative radial pressure, and their innermost radius obeys a new upper bound tied to strong-energy-condition violation.

Reference graph

Works this paper leans on

27 extracted references · 9 canonical work pages · cited by 1 Pith paper · 7 internal anchors

  1. [1]

    K. S. Virbhadra and G. F. R. Ellis, Phys. Rev. D62(2000), 084003 doi:10.1103/PhysRevD.62.084003 [arXiv:astro-ph/9904193 [astro- ph]]

    Pith/arXiv arXiv 2000

  2. [2]

    I. Z. Stefanov, S. S. Yazadjiev and G. G. Gyulchev, Phys. Rev. Lett.104(2010), 251103 doi:10.1103/PhysRevLett.104.251103 [arXiv:1003.1609 [gr-qc]]

    Pith/arXiv arXiv 2010

  3. [3]

    Cardoso, E

    V . Cardoso, E. Franzin and P. Pani, Phys. Rev. Lett.116(2016) no.17, 171101 [erratum: Phys. Rev. Lett.117(2016) no.8, 089902] doi:10.1103/PhysRevLett.116.171101 [arXiv:1602.07309 [gr-qc]]

    Pith/arXiv arXiv 2016

  4. [4]

    Akiyamaet al.[Event Horizon Telescope], Astrophys

    K. Akiyamaet al.[Event Horizon Telescope], Astrophys. J. Lett.875, L1 (2019) doi:10.3847/2041-8213/ab0ec7 [arXiv:1906.11238 [astro-ph.GA]]

    Pith/arXiv arXiv 2019

  5. [5]

    Hod, Phys

    S. Hod, Phys. Lett. B727, 345-348 (2013) doi:10.1016/j.physletb.2013.10.047 [arXiv:1701.06587 [gr-qc]]

    Pith/arXiv arXiv 2013

  6. [6]

    Cvetic, G

    M. Cvetic, G. W. Gibbons and C. N. Pope, Phys. Rev. D94(2016) no.10, 106005 doi:10.1103/PhysRevD.94.106005 [arXiv:1608.02202 [gr-qc]]

    Pith/arXiv arXiv 2016

  7. [7]

    Hod, Phys

    S. Hod, Phys. Rev. D84(2011), 104024 doi:10.1103/PhysRevD.84.104024 [arXiv:1201.0068 [gr-qc]]

    Pith/arXiv arXiv 2011

  8. [8]

    Lower bound on the radii of black-hole photonspheres

    S. Hod, Phys. Rev. D101, no.8, 084033 (2020) doi:10.1103/PhysRevD.101.084033 [arXiv:2012.03962 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  9. [9]

    Upper bounds on the compactness at the innermost light ring of anisotropic horizonless spheres

    Y . Peng, Eur. Phys. J. C80, no.8, 755 (2020) doi:10.1140/epjc/s10052-020-8358-z [arXiv:2006.02618 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  10. [10]

    Lower bound on the radii of light rings in traceless black-hole spacetimes

    S. Hod, JHEP12, 178 (2023) doi:10.1007/JHEP12(2023)178 [arXiv:2311.17462 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  11. [11]

    Upper bound on the radius of the innermost photonsphere in the regular compact star spacetime

    G. Liu and Y . Peng, Eur. Phys. J. C84, no.7, 685 (2024) doi:10.1140/epjc/s10052-024-13053-5 [arXiv:2402.15517 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  12. [12]

    Di Filippo and L

    F. Di Filippo and L. Rezzolla, Phys. Rev. D111, no.2, 2 (2025) doi:10.1103/PhysRevD.111.L021504 [arXiv:2407.13832 [gr-qc]]

    Pith/arXiv arXiv 2025

  13. [13]

    H. C. D. Lima, Junior., L. C. B. Crispino, P. V . P. Cunha and C. A. R. Herdeiro, Phys. Rev. D103, no.8, 084040 (2021) doi:10.1103/PhysRevD.103.084040 [arXiv:2102.07034 [gr-qc]]. 6

    Pith/arXiv arXiv 2021

  14. [14]

    H. S. Liu, Z. F. Mai, Y . Z. Li and H. L ¨u, Sci. China Phys. Mech. Astron.63(2020), 240411 doi:10.1007/s11433-019-1446-1 [arXiv:1907.10876 [hep-th]]

    Pith/arXiv arXiv 2020

  15. [15]

    Lu and H

    H. Lu and H. D. Lyu, Phys. Rev. D101(2020) no.4, 044059 doi:10.1103/PhysRevD.101.044059 [arXiv:1911.02019 [gr-qc]]

    Pith/arXiv arXiv 2020

  16. [16]

    X. H. Feng and H. Lu, Eur. Phys. J. C80(2020) no.6, 551 doi:10.1140/epjc/s10052-020-8119-z [arXiv:1911.12368 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  17. [17]

    R. Q. Yang and H. Lu, Eur. Phys. J. C80(2020) no.10, 949 doi:10.1140/epjc/s10052-020-08521-7 [arXiv:2001.00027 [gr-qc]]

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  18. [18]

    P. V . P. Cunha and C. A. R. Herdeiro, Phys. Rev. Lett.124(2020) no.18, 181101 doi:10.1103/PhysRevLett.124.181101 [arXiv:2003.06445 [gr-qc]]

    Pith/arXiv arXiv 2020

  19. [19]

    S. W. Wei, Phys. Rev. D102(2020) no.6, 064039 doi:10.1103/PhysRevD.102.064039 [arXiv:2006.02112 [gr-qc]]

    Pith/arXiv arXiv 2020

  20. [20]

    S. W. Wei and Y . X. Liu, Phys. Dark Univ.43(2024), 101409 doi:10.1016/j.dark.2023.101409 [arXiv:2308.11883 [gr-qc]]

    work page arXiv 2024

  21. [21]

    M. S. V olkov and D. V . Gal’tsov, Phys. Rept.319, 1-83 (1999) doi:10.1016/S0370-1573(99)00010-1 [arXiv:hep-th/9810070 [hep-th]]

    Pith/arXiv arXiv 1999

  22. [22]

    M. S. V olkov, doi:10.1142/97898132266090184 [arXiv:1601.08230 [gr-qc]]

    Pith/arXiv arXiv

  23. [23]

    Bondi, Mon

    H. Bondi, Mon. Not. Roy. Astr. Soc.259, 365 (1992)

    work page 1992

  24. [24]

    J. D. Bekenstein, Phys. Rev. D88, 125005 (2013) doi:10.1103/PhysRevD.88.125005 [arXiv:1310.6203 [quant-ph]]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  25. [25]

    Nunez, H

    D. Nunez, H. Quevedo and D. Sudarsky, Phys. Rev. Lett.76, 571-574 (1996) doi:10.1103/PhysRevLett.76.571 [arXiv:gr-qc/9601020 [gr-qc]]

    Pith/arXiv arXiv 1996

  26. [26]

    P. H. Chavanis, Phys. Rev. D92, no.10, 103004 (2015) doi:10.1103/PhysRevD.92.103004 [arXiv:1412.0743 [gr-qc]]

    Pith/arXiv arXiv 2015

  27. [27]

    R. M. Wald, Chicago Univ. Pr., 1984, doi:10.7208/chicago/9780226870373.001.0001

    arXiv 1984

This paper was first reviewed by deepseek-v4-flash on August 5, 2026.