Pith. sign in

REVIEW 2 major objections 5 minor 32 references

In static, spherically symmetric, asymptotically flat black hole spacetimes, static spheres require negative radial pressure and come in paired unstable/stable forms, with the innermost radius bounded by the horizon and the degree of strong

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 ↗

T0 review · deepseek-v4-flash

2026-08-01 09:08 UTC pith:H6WICXKV

load-bearing objection Clean local results and a conditional bound, but the 'unique pair' claim outruns the proof. the 2 major comments →

arxiv 2607.20850 v1 pith:H6WICXKV submitted 2026-07-23 gr-qc

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

Yong Song This is my paper
classification gr-qc PACS 04.70.-s
keywords static spheresblack holesstrong energy conditionweak energy conditionradial pressuretimelike circular orbitsupper boundspherically symmetric spacetimes
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 paper proves that a static sphere — a spherical surface where a massive particle can hover at rest with zero angular momentum — can exist only where the radial pressure is negative (tension). It then shows that in any static, spherically symmetric, asymptotically flat black hole, non-degenerate static spheres occur in pairs: an inner unstable sphere and an outer stable one, with the inner one necessarily sitting in a region where the strong energy condition is violated. Assuming the weak energy condition everywhere and a uniform strong-energy-condition violation by a constant κ between the horizon and the innermost sphere, the paper derives a rigorous upper bound on that sphere's radius, expressed in terms of the horizon radius, the horizon density, and κ. The bound implies that in the extremal limit the innermost static sphere must merge with the horizon. These results connect local matter properties to the existence and location of static orbits, which could help test black hole models against observations.

Core claim

The central discovery is a set of analytic constraints on static spheres in static, spherically symmetric, asymptotically flat black hole spacetimes. By studying the radial function N(r)=μ−1−8πr²p, which vanishes exactly at static spheres, the author shows that any static sphere demands p<0 at that radius. The global behavior of N — non-positive at the horizon and approaching 0 from below at infinity — forces N to rise and then fall, which means non-degenerate static spheres must appear in pairs with opposite stability: the inner (unstable) one characterized by ρ+p+2p_T<0 and the outer (stable) one by ρ+p+2p_T>0, with a degenerate single sphere at equality. Assuming the weak energy condition

What carries the argument

The argument rests on the radial function N(r)=μ(r)−1−8πr²p(r)=−(2/r)[m(r)+4πr³p(r)], whose zeros locate static spheres. At a zero, N'(r_sp)=−8πr_sp(ρ+p+2p_T), linking stability to the SEC combination. For the bound, the paper introduces F(r)=rN(r) and derives the exact first-order equation F'+[4πr(ρ+p)/μ]F=−8πr²(ρ+p+2p_T), which is solved by an integrating factor; the WEC makes the coefficient non-negative, and the uniform κ bound on the source term yields the inequality via integration over [r_H, r_sp^-].

Load-bearing premise

The upper-bound theorem assumes the strong energy condition is violated by a fixed constant κ>0 throughout the entire interval between the horizon and the innermost static sphere; no physical mechanism guarantees such a uniform violation, and the bound depends inversely on κ.

What would settle it

Numerically or analytically solve the Einstein equations for a static, spherically symmetric, asymptotically flat black hole with a matter source satisfying the WEC, and locate the zeros of N(r)=μ−1−8πr²p; finding a single non-degenerate zero, or a zero where p≥0, would disprove the pairing/negative-pressure theorems. For the bound, construct a solution satisfying the uniform SEC-violation assumption but with r_sp^- exceeding the right-hand side of Eq. (4.9).

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

If this is right

  • Any static sphere in an asymptotically flat static black hole must be supported by negative radial pressure; a positive-pressure static sphere is impossible.
  • Non-degenerate static spheres always come as an inner unstable/outer stable pair; a single isolated static sphere cannot exist without being degenerate.
  • The inner sphere of a pair is a direct marker of strong-energy-condition violation, so observing or constructing such a sphere implies SEC-violating matter in that region.
  • The upper bound quantifies how the horizon 'deficit' and the strength κ of SEC violation constrain the innermost static sphere's radius; extremal horizons force it to coincide with the horizon.
  • The results give a local, analytic diagnostic that complements topological arguments and applies to hairy and modified-gravity black holes satisfying the stated energy conditions.

Where Pith is reading between the lines

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

  • If the pairing theorem is generic, then the absence of a stable outer static sphere in an observed black hole environment would suggest the inner one is degenerate or absent, providing an observational discriminant for exotic matter.
  • The bound could be inverted: a measured static-sphere radius gives a lower bound on the average SEC-violation strength κ over the region between the horizon and the sphere, which may constrain dark-energy or quantum-gravity models.
  • A similar pairing and bound might hold for static rings in stationary axisymmetric spacetimes, but that extension is not proven here and would require a new analysis.
  • Comparing the static-sphere bound with existing photon-sphere and ISCO bounds could yield combined inequalities on the matter content of black hole environments, a connection the paper does not make.

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

2 major / 5 minor

Summary. The paper studies static spheres in static, spherically symmetric, asymptotically flat black hole spacetimes. It introduces a radial function N(r)=μ-1-8πr²p, shows that static spheres correspond to zeros of N, derives that a static sphere requires negative radial pressure, and relates the sign of N' at the sphere to the SEC combination ρ+p+2p_T. It then claims that non-degenerate static spheres always appear as a unique pair (inner unstable, outer stable), with a single degenerate static sphere as the only alternative. Finally, assuming the WEC and a uniform SEC violation of strength κ between the horizon and the innermost static sphere, it derives the upper bound (4.9). The local derivations, including (3.10), (3.11), and the conditional bound (4.9), are largely sound; however, the global pairing claim is stronger than the proof actually supports.

Significance. The paper's conditional results are potentially useful: (3.10) is a clean necessary condition, (3.11) connects the stability of a static sphere with the sign of the SEC combination, and (4.9) is a compact inequality under explicit assumptions. The analysis is self-contained and follows from the Einstein equations and the geodesic effective potential, which is a strength. However, the headline pairing theorem needs correction: the global endpoint argument yields an even number of transverse zeros with alternating stability, not a unique pair. The upper-bound theorem is conditional on the ad hoc parameter κ and on the uniform-violation assumption, so it is not a universal constraint. With the pairing statement carefully restated, the remaining results stand.

major comments (2)
  1. [Sec. III, Eqs. (3.7)-(3.13); Fig. 1] The proof of the pairing theorem is insufficient. From N(r_H)≤0 and N(∞)=0^- one can only conclude that any transverse zero of N must be part of a sequence that rises from negative to zero and later returns to negative; hence the number of transverse zeros is even and the sign of N' at successive zeros alternates. Four, six, or more zeros are not excluded. Therefore the statements in the abstract, Sec. I, Sec. III, and Sec. V that non-degenerate static spheres 'must always appear in pairs: an inner unstable sphere and an outer stable one' and that the only alternative is 'a single degenerate static sphere' are not established. The valid conclusion is: if non-degenerate static spheres exist, they come in an even number, alternating in stability; the innermost is unstable and the outermost is stable. A single degenerate sphere corresponds to a tangency N=0, N'=0. The cited topological argu
  2. [Sec. IV, Eqs. (4.2)-(4.5)] The integration leading to Eq. (4.5) starts at the horizon, where μ=0 and P(r)=4πr(ρ+p)/μ is formally singular. The proof does not justify that the integrating factor exp(∫P) and the integrated quantities are well defined on the closed interval [r_H, r_sp^-]. This can be fixed using the assumed finiteness of δ'(r_H): from Eq. (2.4), δ' = -4πr(ρ+p)/μ, so P(r) = -r δ'(r) is finite at r_H. Please state this explicitly. Without it, Eq. (4.5) and the resulting bound are not rigorously established.
minor comments (5)
  1. [Sec. V] The bound is described as 'model-independent' in the Discussion, but it depends on the assumed constant κ in (4.3), which is not determined by the theory. The abstract's conditional phrasing is more accurate; please reword the concluding discussion accordingly.
  2. [Ref. [7]] The DOI '10.1103/lj4b-j3tr' appears to be a placeholder; please supply the correct DOI.
  3. [Fig. 1] The figure is not included in the manuscript text; only the captions are present. Please ensure the figure is embedded.
  4. [General] There are multiple equation/notation formatting artifacts (e.g., 'r2 H' for 'r_H^2', missing spaces in 'ρ+p+ 2p T'). Please clean up the LaTeX rendering.
  5. [Sec. III, Eq. (3.11)] The derivation of (3.11) is described as 'straightforward but somewhat lengthy'; given its central role, an appendix with the algebra would improve verifiability.

Circularity Check

0 steps flagged

No significant circularity: derivations are self-contained from the Einstein equations; the upper bound is conditional on an explicit, unfitted κ assumption.

full rationale

The paper's derivation chain is self-contained. The radial function N(r) is defined from the metric variables, and N=0 is shown algebraically to be equivalent to the static-sphere condition (Eqs. 3.7-3.10), so the negative-pressure requirement is a consequence of the Einstein equations, not an input. Eq. (3.11) is derived from Eqs. (2.3), (2.15) and (3.7) and connects the sign of N'(r_sp) to the SEC combination; no fitted parameter is relabeled as a prediction. The global pairing argument uses only N(r_H)<=0 and N(infinity)=0^- and is a mathematical consequence (with a separate rigor caveat: it proves an even number of transverse zeros, so the wording 'an inner unstable and an outer stable one' overstates the count; this is a correctness issue, not circularity). The upper bound (4.9) is a conditional inequality: under the explicit assumptions WEC and uniform SEC violation by a constant kappa (Eq. 4.3), the integrating-factor identity gives A = integral Q e^I, and Q>=8*pi*kappa*r^2 yields the bound. The parameter kappa is an assumed premise, not fitted to the predicted r_sp^-, so the bound is neither definitionally forced nor statistically circular. Self-citations [13,14,22] appear only as background for earlier photon-sphere/ISCO results and metric parametrization; none is load-bearing for the present derivation. Therefore no circularity is found.

Axiom & Free-Parameter Ledger

1 free parameters · 4 axioms · 0 invented entities

The paper rests on standard GR and a domain-specific metric ansatz. The only genuinely tunable input is the SEC-violation strength κ, which is assumed rather than derived, making the headline bound conditional on a model parameter. No new entities are postulated.

free parameters (1)
  • κ (SEC-violation strength)
    Introduced in Eq. (4.3) as a uniform lower bound on -(ρ+p+2p_T); the resulting bound (4.9) scales as κ^{-1/3}, so without a physical value of κ the inequality is conditional.
axioms (4)
  • domain assumption Static, spherically symmetric, asymptotically flat metric (2.1) with regular event horizon (2.5)-(2.6)
    The entire analysis rests on this spacetime ansatz and horizon regularity.
  • domain assumption Asymptotic decay r³ρ→0 and r³p→0 (2.12)-(2.13)
    Used to establish N(∞)=0⁻ for the pairing argument.
  • domain assumption Weak Energy Condition (2.17)-(2.18)
    Used to guarantee P≥0 and e^I≥1 in the bound derivation and to characterize SEC restoration at the outer sphere.
  • ad hoc to paper Uniform SEC violation ρ+p+2p_T≤-κ<0 on [r_H,r_sp⁻] (4.3)
    This is the key assumption for the upper bound; it is not derived and is model-dependent.

pith-pipeline@v1.3.0-alltime-deepseek · 9296 in / 23516 out tokens · 204805 ms · 2026-08-01T09:08:33.157350+00:00 · methodology

0 comments
read the original abstract

In this work, we investigate the existence, relation to the energy conditions, and radial bounds of static spheres in general static, spherically symmetric, asymptotically flat black hole spacetimes. By analyzing the global behavior of a radial function constructed from the mass and radial pressure functions, we prove that a static sphere necessarily requires a negative radial pressure (tension). Furthermore, we show that non-degenerate static spheres must always appear in pairs: an inner unstable sphere and an outer stable one. Assuming the Weak Energy Condition (WEC) always holds, the inner static sphere is characterized by a violation of the strong energy condition (SEC) inequality $\rho+p+2p_T<0$, where $\rho$, $p$, and $p_T$ denote the energy density, radial pressure, and tangential pressure, respectively; the SEC inequality is restored ($\rho+p+2p_T> 0$) at the outer sphere; the degenerate marginal case satisfies $\rho+p+2p_T=0$. In addition, focusing on the innermost static sphere and assuming that the WEC holds while the SEC is uniformly violated between the event horizon and this sphere, we derive a rigorous upper bound on its radius, \[ r^-_{\mathrm{sp}}\le \left[r_H^3+\frac{3r_H\bigl(1-8\pi r^2_H\rho(r_H)\bigr)}{8\pi\kappa}\right]^{1/3}, \] where $r_H$ is the horizon radius, $\rho(r_H)$ the energy density at the horizon, and $\kappa$ characterizes the strength of the SEC violation. These results establish a direct, analytic link between the energy conditions and the existence of static spheres, and provide a quantitative constraint on the matter environment of black holes possessing such orbits. The findings have potential applications in testing black hole solutions in general relativity and modified theories of gravity, as well as in interpreting related astronomical observations.

Figures

Figures reproduced from arXiv: 2607.20850 by Yong Song.

Figure 1
Figure 1. Figure 1: ). Therefore, we arrive at one of our central conclusions: For a static, spherically symmetric, asymptotically flat black hole spacetime, the existence of static spheres generally requires a violation of the strong energy condition in some finite region outside the event horizon. In the generic (non-degenerate) case, static spheres must appear in pairs—one unstable (inner) and one stable (outer). Denoting … view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

32 extracted references · 29 linked inside Pith

  1. [1]

    L. G. Collodel, B. Kleihaus and J. Kunz, Phys. Rev. Lett.120, no.20, 201103 (2018) doi:10.1103/PhysRevLett.120.201103 [arXiv:1711.05191 [gr-qc]]

    Pith/arXiv arXiv 2018

  2. [2]

    L. G. Collodel, D. D. Doneva and S. S. Yazadjiev, Astrophys. J.910, no.1, 52 (2021) doi:10.3847/1538-4357/abe305 [arXiv:2101.05073 [astro-ph.HE]]

    Pith/arXiv arXiv 2021

  3. [3]

    M. C. Teodoro, L. G. Collodel, D. Doneva, J. Kunz, P. Nedkova and S. Yazadjiev, Phys. Rev. D104, no.12, 124047 (2021) doi:10.1103/PhysRevD.104.124047 [arXiv:2108.08640 [gr-qc]]

    Pith/arXiv arXiv 2021

  4. [4]

    Y . P. Zhang, Y . B. Zeng, Y . Q. Wang, S. W. Wei and Y . X. Liu, Phys. Rev. D105, no.4, 044021 (2022) doi:10.1103/PhysRevD.105.044021 [arXiv:2107.04848 [gr-qc]]

    Pith/arXiv arXiv 2022

  5. [5]

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

    Pith/arXiv arXiv 2020

  6. [6]

    S. W. Wei, Y . P. Zhang, Y . X. Liu and R. B. Mann, Phys. Rev. Res.5, no.4, 043050 (2023) doi:10.1103/PhysRevResearch.5.043050 [arXiv:2303.06814 [gr-qc]]

    Pith/arXiv arXiv 2023

  7. [7]

    P. K. Yerra, S. Mukherji and C. Bhamidipati, Phys. Rev. D111, no.12, 12 (2025) doi:10.1103/lj4b-j3tr [arXiv:2411.01261 [gr-qc]]

    Pith/arXiv arXiv 2025

  8. [8]

    Z. H. Zhao and Y . Q. Wang, [arXiv:2601.18122 [gr-qc]]

    Pith/arXiv arXiv

  9. [9]

    F. J. Dyson, Science131, no.3414, 1667-1668 (1960) doi:10.1126/science.131.3414.1667 8

    arXiv 1960

  10. [10]

    Pugliese, H

    D. Pugliese, H. Quevedo and R. Ruffini, Phys. Rev. D83(2011), 024021 doi:10.1103/PhysRevD.83.024021 [arXiv:1012.5411 [astro- ph.HE]]

    Pith/arXiv arXiv 2011

  11. [11]

    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

  12. [12]

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

    Pith/arXiv arXiv 2020

  13. [13]

    Y . Song, J. Fu and Y . Cen, Eur. Phys. J. C86(2026) no.4, 413 doi:10.1140/epjc/s10052-026-15623-1 [arXiv:2601.01451 [gr-qc]]

    Pith/arXiv arXiv 2026

  14. [14]

    Y . Song, J. Fu and Y . Cen, Eur. Phys. J. C85, no.9, 981 (2025) doi:10.1140/epjc/s10052-025-14727-4 [arXiv:2508.19823 [gr-qc]]

    Pith/arXiv arXiv 2025

  15. [15]

    Peng, Phys

    Y . Peng, Phys. Lett. B790(2019), 396-399 doi:10.1016/j.physletb.2019.01.049 [arXiv:1812.04257 [gr-qc]]

    Pith/arXiv arXiv 2019

  16. [16]

    Liu and Y

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

    Pith/arXiv arXiv 2024

  17. [17]

    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

  18. [18]

    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

  19. [19]

    Ma and H

    L. Ma and H. Lu, Phys. Lett. B807(2020), 135535 doi:10.1016/j.physletb.2020.135535 [arXiv:1912.05569 [gr-qc]]

    arXiv 2020

  20. [20]

    Hod, Phys

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

    Pith/arXiv arXiv 2020

  21. [21]

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

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

    Pith/arXiv arXiv 2023

  22. [22]

    Cen and Y

    Y . Cen and Y . Song, Phys. Lett. B866, 139545 (2025) doi:10.1016/j.physletb.2025.139545 [arXiv:2505.02107 [gr-qc]]

    arXiv 2025

  23. [23]

    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

  24. [24]

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

    Pith/arXiv arXiv

  25. [25]

    G. Guo, Y . Lu, P. Wang, H. Wu and H. Yang, Phys. Rev. D107, no.12, 124037 (2023) doi:10.1103/PhysRevD.107.124037 [arXiv:2212.12901 [gr-qc]]

    Pith/arXiv arXiv 2023

  26. [26]

    M. A. Abramowicz and P. C. Fragile, Living Rev. Rel.16(2013), 1 doi:10.12942/lrr-2013-1 [arXiv:1104.5499 [astro-ph.HE]]

    Pith/arXiv arXiv 2013

  27. [27]

    Berti, V

    E. Berti, V . Cardoso and A. O. Starinets, Class. Quant. Grav.26, 163001 (2009) doi:10.1088/0264-9381/26/16/163001 [arXiv:0905.2975 [gr-qc]]

    Pith/arXiv arXiv 2009

  28. [28]

    Cardoso, A

    V . Cardoso, A. S. Miranda, E. Berti, H. Witek and V . T. Zanchin, Phys. Rev. D79, no.6, 064016 (2009) doi:10.1103/PhysRevD.79.064016 [arXiv:0812.1806 [hep-th]]

    Pith/arXiv arXiv 2009

  29. [29]

    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

  30. [30]

    Akiyamaet al.[Event Horizon Telescope], Astrophys

    K. Akiyamaet al.[Event Horizon Telescope], Astrophys. J. Lett.930, no.2, L12 (2022) doi:10.3847/2041-8213/ac6674 [arXiv:2311.08680 [astro-ph.HE]]

    Pith/arXiv arXiv 2022

  31. [31]

    Falcke, F

    H. Falcke, F. Melia and E. Agol, Astrophys. J. Lett.528, L13 (2000) doi:10.1086/312423 [arXiv:astro-ph/9912263 [astro-ph]]

    Pith/arXiv arXiv 2000

  32. [32]

    Perlick, Living Rev

    V . Perlick, Living Rev. Relativ. 7, 9 (2004) doi:10.12942/lrr-2004-9 [arXiv:1010.3416 [gr-qc]]

    Pith/arXiv arXiv 2004