Pith. sign in

REVIEW 2 major objections 5 minor 20 references

Upper bound on the radius of the innermost stable circular orbit of black holes

T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read Every static, spherically symmetric, asymptotically flat black hole obeying the stated energy conditions has its innermost stable circular orbit at or inside $6M$.

desk verdict A plausible and likely correct universal ISCO bound, but two printed equations are wrong and the proof is not self-contained as written. read the letter →

arxiv 2505.02107 v2 pith:BOCUAB56 submitted 2025-05-04 gr-qc

Yiting Cen , Yong Song This is my paper · ORCID
classification gr-qc
keywords innermoststablecircularorbitISCOblackholesenergyconditionseffectivepotentialsphericalsymmetryADMmassaccretiondisk
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to prove a universal ceiling for the innermost stable circular orbit (ISCO) around any static, spherically symmetric, asymptotically flat black hole: its radius $r_{\mathrm{ISCO}}$ is at most $6M$, where $M$ is the total ADM mass. The argument does not assume a specific matter content or a vanishing $\delta(r)$, so it is meant to cover black holes with hair or surrounding fluid, not just vacuum Schwarzschild. If the proof holds, accretion-disk and gravitational-wave models gain a clean benchmark: any measured inner stable orbit beyond $6M$ would demand matter or geometry outside the theorem's assumptions. The Schwarzschild solution saturates the bound, and the authors check Reissner-Nordström, supergravity, and fluid-sphere examples for consistency.

What carries the argument

The load-bearing object is the characteristic equation $N(r)=A(r)+B(r)=0$ that locates the ISCO, obtained from the effective potential $V_{\mathrm{eff}}$ of timelike geodesics by imposing $V_{\mathrm{eff}}=0$, $V'_{\mathrm{eff}}=0$, and $V''_{\mathrm{eff}}=0$. $A(r)$ collects the matter terms assembled from the Einstein equations and the pressure gradient, while $B(r)=-2+(5-3\mu)\mu$ depends only on the metric function $\mu(r)=1-2m(r)/r$. The energy conditions are engineered so that $A(r)\ge 0$ outside the horizon; the ISCO condition then forces $B(r)\le 0$, and that inequality translates directly into $r\le 6m(r)$, giving the universal bound once $m(r)\to M$.

What would settle it

Compute the ISCO for any static, spherically symmetric, asymptotically flat black-hole solution whose exterior matter satisfies $\rho\ge 0$, $\rho\ge |p|$, $T\le 0$, $p_T\ge 0$, and $p+p_T\ge 0$, and find $r_{\mathrm{ISCO}}>6M$; the theorem says no such solution exists. Observationally, an accretion-disk inner-edge measurement that robustly exceeds $6GM/c^2$ for a nearly nonspinning, nominally spherical black hole would contradict the theorem's energy conditions.

Watch

Extended reading notes

Core claim

The central claim is that every static, spherically symmetric, asymptotically flat black hole whose external matter satisfies the weak energy condition, the trace condition $T\le 0$, and the tangential-pressure conditions $p_T\ge 0$ and $p+p_T\ge 0$ has $r_{\mathrm{ISCO}}\le 6M$. The proof writes the ISCO condition as $N(r)=A(r)+B(r)=0$, shows $A(r)\ge 0$ from the energy conditions, and then shows $B(r)\le 0$ is equivalent to $-2+(5-3\mu)\mu\le 0$, which gives $r\le 6m(r)$ and hence $r_{\mathrm{ISCO}}\le 6M$. The authors stress that $\delta(r)$ is not set to zero, so hairy configurations are included, and that the energy conditions are sufficient rather than necessary.

Load-bearing premise

The load-bearing premise is that the matter outside the horizon obeys $p_T\ge 0$, $p+p_T\ge 0$, the weak energy condition, and $T\le 0$; if any of these fails, the inequality $A(r)\ge 0$ can break and the proof no longer yields $r_{\mathrm{ISCO}}\le 6M$.

Editorial extensions

If this is right

  • Schwarzschild black holes saturate the bound: their ISCO sits exactly at $6M$, making vacuum spacetime the extremal case.
  • Reissner-Nordström black holes, supergravity black holes, and fluid-sphere models that meet the stated energy conditions all obey $r_{\mathrm{ISCO}}\le 6M$.
  • Because $\delta(r)$ is not assumed to vanish, the bound covers hairy black holes as well as spacetimes with external matter outside the horizon.
  • A measured accretion-disk inner edge beyond $6M$, for an independently known mass and near-spherical symmetry, would indicate matter or geometry outside the theorem's assumptions.
  • The boundary analysis also shows at least one ISCO exists between the horizon and infinity under these energy conditions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same $N(r)=A(r)+B(r)$ decomposition may yield a bound for horizonless static ultracompact objects once the horizon boundary condition is replaced by a regular center; whether $A(r)\ge 0$ survives there is a testable extension the paper leaves open.
  • If the trace condition $T\le 0$ is the controlling assumption, semiclassical vacuum models with positive trace could systematically push $r_{\mathrm{ISCO}}$ above $6M$, matching the paper's own caveat about negative-pressure quantum models.
  • Combining this ceiling with the known photon-sphere bounds in the same spacetimes would give a two-sided account of circular-orbit geometry, potentially sharpening predictions for black-hole images and accretion signatures.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper claims a universal upper bound r_ISCO <= 6M for the innermost stable circular orbit of massive particles in static, spherically symmetric, asymptotically flat black hole spacetimes with external matter. The metric is written in terms of two free functions mu(r) and delta(r), and the authors use the effective-potential method to obtain a characteristic equation for the ISCO. Under the weak energy condition, the nonpositive trace condition T <= 0, and the tangential-pressure conditions p_T >= 0, p_T >= |p|, they argue that at the ISCO one has A(r) >= 0 and hence B(r) <= 0, which implies r_ISCO <= 6m(r) <= 6M, where M is the ADM mass. The Schwarzschild solution saturates the bound, and the authors state that Reissner-Nordström, supergravity, and fluid-sphere models consistent with the imposed conditions also satisfy the bound. The final sections discuss the sufficiency of the energy conditions and possible observational implications.

Significance. If the corrected derivation goes through, the result is a clean, parameter-free universal bound that extends Hod's photon-sphere bounds to massive-particle ISCOs. The paper is honest about the energy conditions being sufficient rather than necessary, and it checks external benchmarks (Schwarzschild saturation, Reissner-Nordström consistency), with no fitted parameters and no circular reasoning. The two algebraic errors identified below are load-bearing in the printed proof, but they are local and appear repairable; the final characteristic relation and the A+B decomposition pass independent checks in the Schwarzschild and Reissner-Nordström limits.

major comments (2)
  1. [Sec. III, Eq. (3.8)] Eq. (3.8) is not the circular-orbit angular momentum. For Schwarzschild (delta = 0, mu = 1 - 2M/r) the printed expression gives L^2 = -r^2(1 + 2M/r), which is negative for all r. The correct relation obtained from V_eff = 0 and V'_eff = 0 is L^2 = r^2(mu' - 2 mu delta') / (2 mu + 2 r mu delta' - r mu'). Because Eq. (3.10) is stated to follow from Eqs. (3.7), (3.8), and (3.9), the derivation as printed does not establish the characteristic equation. This is load-bearing: Eq. (3.10), the subsequent decomposition into A(r) and B(r), and the inequalities in Eq. (3.21) all feed into the proof of A(r) >= 0 and B(r) <= 0. I verified that with the corrected L^2 the Schwarzschild and Reissner-Nordström limits reproduce the expected ISCO locations, so the error appears to be typographical, but the authors must correct Eq. (3.8) and re-exhibit the substitution leading to Eq. (3.10).
  2. [Sec. II, Eq. (2.15)] Eq. (2.15) is inconsistent with the conservation equation T^mu_r;mu = 0. An independent derivation gives p' = [-8 pi r^2 p(rho+p) - rho - p + mu rho - 3 mu p + 4 mu p_T] / (2 r mu), which reduces to the standard Tolman-Oppenheimer-Volkoff equation when p = p_T. The printed formula has incorrect signs and terms; for Reissner-Nordström it predicts p' = rho(1 - 4 mu)/(r mu) instead of the correct p' = 4 rho/r. Since the paper states that Eq. (2.15) is substituted into Eq. (3.10) to obtain Eqs. (3.11)-(3.13), this is a second load-bearing algebraic error. The final A(r) and B(r) are consistent with the corrected pressure gradient, so the proof is repairable, but the manuscript must be revised with the correct expression and the substitution redone explicitly.
minor comments (5)
  1. [Throughout] There are several typographical errors, including 'or bit' in the title, 'asumption', 'he characteristic', and 'rigorously' in Sec. IV; these should be corrected in revision.
  2. [Sec. III, Eq. (3.6)] The quantity V_eff is defined as \dot r^2, not as a potential in the usual sense; the paper should state this explicitly and explain why circular orbits are characterized by V_eff = 0, V'_eff = 0, and why the ISCO boundary is V''_eff = 0.
  3. [Sec. II, Eq. (2.15)] The trace T = -rho + p + 2 p_T is used in Eq. (2.15) before it is formally introduced in Sec. III; define T in Sec. II or immediately before its first use.
  4. [Sec. III, Eq. (3.20)] The limit N(r -> infinity) ~ 8 pi r^2 [2(p+p_T)+rho] assumes fall-off of p and p_T as r -> infinity, but only the fall-off of rho is stated in Eq. (2.10); the required asymptotic conditions on the pressures should be stated explicitly.
  5. [Abstract and Sec. IV] The abstract lists 'fluid sphere models' as examples, but the theorem's horizon boundary conditions (2.7), (2.12), and (3.19) apply to black holes; please clarify how non-black-hole fluid spheres are covered, for instance through the exterior Schwarzschild solution.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reasoning found: bound is derived from field equations and stated energy conditions with no fitted parameters or load-bearing self-citations.

full rationale

The paper's central claim, r_ISCO <= 6M, is derived by an explicit effective-potential calculation from the general static, spherically symmetric, asymptotically flat metric (2.1). The characteristic ISCO equation (3.10) is obtained by substituting the field equations (2.3)-(2.6) and the circular-orbit conditions (3.7)-(3.8) into V_eff'' = 0, and the subsequent analysis uses only the stated energy conditions (3.14)-(3.18) plus the horizon and asymptotic boundary conditions. No parameter is fitted to the target quantity; the bound is not defined in terms of r_ISCO; and the Schwarzschild and Reissner-Nordstrom checks are independent external benchmarks rather than inputs. The cited literature is motivational (e.g., Hod's photon-sphere bound) and is not used as a load-bearing substitute for the derivation. The authors explicitly flag the sufficient-but-not-necessary character of p_T >= 0 and p + p_T >= 0, which further indicates that the assumptions are stated as inputs rather than smuggled conclusions. The reviewer-flagged issue with Eq. (3.8), if real, is a potential algebraic or typographical correctness problem in the printed derivation, not a circularity: it would mean the characteristic equation is not established by the text, but it would not mean that the claimed result is equivalent to its own inputs by construction. Therefore, under the circularity-specific criteria, the paper exhibits no self-definitional, fitted-input, self-citation, imported-uniqueness, ansatz-smuggling, or renaming circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters are fitted and no new entities are introduced. The theorem rests on background general relativity plus specific, explicitly stated energy conditions. The energy conditions are the main domain assumptions and are flagged by the authors as sufficient rather than necessary.

assumptions (3)
  • standard math Einstein field equations and the geodesic effective potential in static spherical symmetry
    Used to write the metric equations (2.3)-(2.6) and the circular orbit equations (3.5)-(3.9).
  • domain assumption Asymptotic flatness and horizon regularity: mu -> 1, delta -> 0 at infinity; mu(r_H)=0, mu'(r_H) >= 0, delta finite at the horizon; r^3 rho -> 0
    Needed for the boundary values N(r_H) <= 0 and N(infinity) >= 0 and for identifying M as the ADM mass.
  • domain assumption Energy conditions: rho >= 0, rho + p >= 0, T <= 0, p_T >= 0, p_T >= |p|
    Used directly in the case-by-case proof that A(r) >= 0. These conditions are sufficient, not necessary, and exclude many matter models such as isotropic fluids with p > rho/3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Upper bound on the radius of the innermost stable circular orbit of black holes." pith.science (2026). https://pith.science/paper/BOCUAB56

@misc{pith2026250502107,
  author       = {Pith},
  title        = {Pith review of: Upper bound on the radius of the innermost stable circular orbit of black holes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BOCUAB56}},
  note         = {Machine review of arXiv:2505.02107}
}
abstract

In this work, we investigate a universal upper bound on the radius of the innermost stable circular orbit (ISCOs) for massive particles in static, spherically symmetric, and asymptotically flat black hole spacetimes. By analyzing the spacetime metrics with external matter fields, we derive the characteristic equation for ISCO via the effective potential method. By imposing appropriate energy conditions for the matter fields, we rigorously demonstrate that the ISCO radius is bounded by $r_{\mathrm{ISCO}}\le 6M$, where $M$ is the total ADM mass of the black hole. The Schwarzschild black hole saturates this bound ($r_{\mathrm{ISCO}}=6M$), and the Reissner-Nordstr\"om black hole, supergravity black holes, fluid sphere models, which satisfy the imposed energy conditions, also obey $r_{\mathrm{ISCO}}\le 6M$. The universality of this upper limit provides a theoretical benchmark for observational astrophysics: deviations from $6M$ in accretion disk observations or gravitational wave signals could indicate the presence of exotic matter fields. This work highlights the interplay between black hole geometry and external matter fields, paving the way for future studies in compact object dynamics.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 2 canonical work pages

  1. [1]

    Akiyama et al

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

    doi:10.3847/2041-8213/ab0ec7 2019

  2. [2]

    Hod, Phys

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

    arXiv 2013

  3. [3]

    Hod, Phys

    S. Hod, Phys. Rev. D 97, no.8, 084018 (2018) doi:10.1103/PhysRevD.97.084018 [ar Xiv:1810.03618 [gr-qc]]

    arXiv 2018

  4. [4]

    Hod, Phys

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

    arXiv 2020

  5. [5]

    Peng, Eur

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

    arXiv 2020

  6. [6]

    Hod, JHEP 12, 178 (2023) doi:10.1007/JHEP12(2023)178 [arXiv:2311.17 462 [gr-qc]]

    S. Hod, JHEP 12, 178 (2023) doi:10.1007/JHEP12(2023)178 [arXiv:2311.17 462 [gr-qc]]

    doi:10.1007/jhep12(2023)178 2023

  7. [7]

    Liu and Y

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

    arXiv 2024

  8. [8]

    Teo, Gen

    E. Teo, Gen. Rel. Grav. 53, no.1, 10 (2021) doi:10.1007/s10714-020-02782-z [arXiv: 2007.04022 [gr-qc]]

    arXiv 2021

Show all 20 references
  1. [9]

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

    1984

  2. [10]

    Mohaupt, Class

    T. Mohaupt, Class. Quant. Grav. 17, 3429-3482 (2000) doi:10.1088/0264-9381/17/17/303 [arX iv:hep-th/0004098 [hep-th]]

    2000 arXiv

  3. [11]

    R. C. Tolman, Phys. Rev. 55, 364-373 (1939) doi:10.1103/PhysRev.55.364

    1939 doi

  4. [12]

    H. A. Buchdahl, Phys. Rev. 116, 1027 (1959) doi:10.1103/PhysRev.116.1027

    1959 doi

  5. [13]

    B. V . Ivanov, Phys. Rev. D 65, 104001 (2002) doi:10.1103/PhysRevD.65.104001 [arXiv:g r-qc/0203070 [gr-qc]]

    2002

  6. [14]

    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]]

    1996 arXiv

  7. [15]

    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]]

    1999 arXiv

  8. [16]

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

    arXiv

  9. [17]

    Martin-Moruno and M

    P . Martin-Moruno and M. Visser, JHEP 09, 050 (2013) doi:10.1007/JHEP09(2013)050 [arXiv:1306.20 76 [gr-qc]]. 6

    2013 doi

  10. [18]

    J. M. Bardeen, W. H. Press and S. A. Teukolsky, Astrophys . J. 178, 347 (1972) doi:10.1086/151796

    1972 doi

  11. [19]

    Bambi, Rev

    C. Bambi, Rev. Mod. Phys. 89, no.2, 025001 (2017) doi:10.1103/RevModPhys.89.025001 [ arXiv:1509.03884 [gr-qc]]

    2017 arXiv

  12. [20]

    Kobialko, I

    K. Kobialko, I. Bogush and D. Gal’tsov, Phys. Rev. D 106, no.8, 084032 (2022) doi:10.1103/PhysRevD.106.084032 [a rXiv:2208.02690 [gr-qc]]

    2022 arXiv

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.