Pith. sign in

REVIEW 1 major objections 4 minor 31 references

A Compact theorem on the compactness of ultra-compact objects with monotonically decreasing matter fields

T0 review · 1 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read A new theorem proves that horizonless ultra-compact objects with light rings and monotonically decreasing density or pressure have compactness parameter at least 1/3.

desk verdict Correct short proof of a new compactness bound, but the abstract quietly drops the dominant energy condition that the derivation needs; fix the abstract and this is a solid modest paper. read the letter →

arxiv 2502.02375 v1 pith:QI4E2VEM submitted 2025-02-04 gr-qc astro-ph.HEhep-th

Shahar Hod This is my paper · ORCID
classification gr-qcastro-ph.HEhep-th
keywords ultra-compactobjectslightringscompactnessparameterdominantenergyconditionmonotonicdensityradialpressureEinsteinfieldequationshorizonlessspacetimes
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 quantitative lower bound on how compact a horizonless ultra-compact object must be if it has light rings. It establishes that, under a monotonicity condition on the energy density or radial pressure and the dominant energy condition, the compactness parameter ${\cal C}=\max_r\{2m(r)/r\}$ is at least $1/3$. This matters because it turns the often-vague designation "ultra-compact" into a concrete inequality and generalizes previous bounds that required isotropy or non-negative trace. The proof is short and analytic, using only the Einstein field equations together with the light-ring condition $N(r_\gamma)=0$.

What carries the argument

The proof runs on the light-ring function $N(r)\equiv3\mu(r)-1-8\pi r^2 p(r)$, whose zeros locate null circular geodesics, together with the mass integral $m(r)=\int_0^r 4\pi x^2\rho(x)\,dx$. Monotonicity of $\rho$ or $p$ turns that integral into the lower bound $m(r_\gamma)\ge\frac{4\pi}{3}p(r_\gamma)r_\gamma^3$, and the dominant energy condition $\rho\ge p$ is what lets both branches reach the same inequality. Feeding this into $N(r_\gamma)=0$ forces $8\pi r_\gamma^2 p(r_\gamma)\le1$, then $\mu(r_\gamma)\le2/3$, then $m(r_\gamma)/r_\gamma\ge1/6$.

What would settle it

Numerically integrate the Einstein equations for an anisotropic, spherically symmetric, asymptotically flat star with monotonic density and $dp/dr\le0$, impose $0\le|p|,|p_T|\le\rho$, and search for a light ring via $N(r)=0$; a configuration with ${\cal C}<1/3$ would refute the theorem.

Watch

Extended reading notes

Core claim

The paper proves that any spatially regular, horizonless, spherically symmetric ultra-compact object that has a light ring and whose matter fields satisfy the dominant energy condition must obey $m(r_\gamma)/r_\gamma\ge1/6$ at the light-ring radius, and therefore the global compactness parameter satisfies ${\cal C}\equiv\max_r\{2m(r)/r\}\ge1/3$, provided the energy density or the radial pressure is monotonically decreasing. It thereby converts the qualitative notion of an ultra-compact object into a definite numerical bound, and the bound holds for anisotropic configurations, not only isotropic ones.

Load-bearing premise

The load-bearing premise is the dominant energy condition, $0\le|p|,|p_T|\le\rho$, specifically the radial part $\rho\ge p$ that both branches of the proof need to convert the mass integral into the pressure inequality.

Editorial extensions

If this is right

  • Every horizonless ultra-compact object in this class satisfies ${\cal C}\ge1/3$, so the term "ultra-compact" now has a quantitative meaning: at least one third as compact as a Schwarzschild black hole.
  • The bound is valid for anisotropic matter, unlike the earlier ${\cal C}\ge1/2$ bound for isotropic ultra-compact objects, so it covers a broader family of horizonless configurations.
  • The bound is independent of the sign of the energy-momentum trace $T$, so it applies to both $T\ge0$ and $T<0$ matter models.
  • If a neutron star with the typical compactness ${\cal C}\sim0.4$ is measured to have a light ring, it follows that its internal pressures cannot be isotropic.

Reading between the lines

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

  • The abstract advertises the bound without naming the dominant energy condition; the proof needs $\rho\ge p$ in both branches, so the theorem as proven is narrower than the abstract's statement, and a matter model with pressure exceeding density could evade the bound.
  • The proof only uses the integral inequalities at steps (18) and (21), so pointwise monotonicity can likely be relaxed to an averaged monotonicity condition, namely that $\rho(x)\ge\rho(r_\gamma)$ and $p(x)\ge p(r_\gamma)$ hold on average over $0\le x\le r_\gamma$.
  • A similar integral-inequality strategy may yield analogous compactness bounds for charged or slowly rotating horizonless configurations, where the light-ring condition acquires additional terms.
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

1 major / 4 minor

Summary. This paper claims a lower bound on the compactness parameter C = max_r{2m(r)/r} for spherically symmetric, horizonless ultra-compact objects that possess a light ring. Assuming the dominant energy condition (12) and monotone decrease of either the energy density or the radial pressure, the author proves that the mass-radius ratio at a light-ring radius satisfies m(r_gamma)/r_gamma >= 1/6 and therefore C >= 1/3. The proof combines a previously established light-ring condition N(r_gamma)=0 (Eqs. (13)-(14)) with integral inequalities derived from monotonicity and the dominant energy condition. The final section discusses the result in the context of earlier bounds for isotropic ultra-compact objects.

Significance. The derivation is short and checkable, and the final bound is parameter-free and falsifiable. If the theorem is read with the dominant energy condition included, it is a genuine extension of earlier compactness bounds to anisotropic matter with monotone density or radial pressure. The main weakness is that the abstract and the summary state the result without the energy condition, making the advertised theorem broader than what is proven; this needs correction.

major comments (1)
  1. [Abstract; Section II, Eq. (12); Section IV] The abstract and the summary item (1) state the result for monotonically decreasing density or radial pressure without mentioning the dominant energy condition, which is introduced only in Section II, Eq. (12). This condition is not a technical convenience: Eqs. (19) and (21) use rho >= p pointwise to convert the mass bound into a bound involving p(r_gamma), and without it the theorem is false. For example, one may take a monotone decreasing density profile and prescribe, for an anisotropic fluid, a radial pressure at the light ring satisfying 8*pi*r_gamma^2*p(r_gamma) > 1 while p(r_gamma) > rho(r_gamma); the tangential pressure is then fixed by the TOV equation, so the configuration is a regular solution of the field equations with a light ring, and N=0 gives mu(r_gamma) > 2/3, hence m(r_gamma)/r_gamma < 1/6 and C < 1/3. The theorem statement in the abstract and in Section IV must therefore include the dominant energy condition (12).
minor comments (4)
  1. [Title and body text] There are several typographical spacing errors (e.g., 'objec ts' in the title, 'e xplicitly' and 'th e' in the body); please proofread the manuscript.
  2. [Eqs. (13)-(14)] The light-ring condition is quoted from Ref. [30] without derivation. Since the condition is a central input, a one-line derivation from the null geodesic equation or an explicit statement that it is used as a known theorem would improve self-containedness.
  3. [Footnote 29] The TOV equation is displayed but not used in the proof; if it is kept, the notation p_r versus p should be harmonized with Eq. (11).
  4. [References] Please verify that all arXiv identifiers correspond to the cited versions (e.g., Ref. [8] is a 2013 article but has a 2017 arXiv number; this may be intentional but should be checked).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the compactness bound is derived from the Einstein equations, the standard light-ring condition, monotonicity inequalities, and the dominant energy condition; the abstract's omission of DEC is a scope issue, not a circularity.

full rationale

Walking the derivation chain, the theorem is proved in Eqs. (26)-(27) from (i) the light-ring condition N(r_gamma)=0, Eqs. (13)-(14), taken from the author's prior work [30]; (ii) the Einstein field equations, Eqs. (9), (15)-(16); (iii) the monotonicity inequalities in Eqs. (17)-(18) or Eqs. (20)-(21); and (iv) the dominant energy condition, Eq. (12). None of these inputs contains the target bound C >= 1/3 or the intermediate inequality m(r_gamma)/r_gamma >= 1/6. The light-ring condition is a standard external result about null circular geodesics in spherically symmetric spacetimes; it is parameter-free and does not assume the compactness bound, so citing it, even from the same author, does not make the derivation circular. The monotonicity and DEC steps manipulate the definition of m(r) and do not import the conclusion. The abstract's failure to state the DEC narrows the advertised theorem, but this is a correctness and scope caveat, not a circularity. There are no fitted parameters, no uniqueness claims imported from the author, and no renaming of a known result. The analysis therefore finds no significant circularity.

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

Purely analytical proof with no free parameters or invented entities. It relies on a cited light-ring theorem, the dominant energy condition, and the stated monotonicity assumptions.

assumptions (4)
  • domain assumption Null circular geodesic condition N(rγ)=0 with N = 3μ - 1 - 8πr^2p
    Taken from Ref [30], a prior theorem by the same author. Used in Eq. (13)-(14) and central to the proof.
  • domain assumption Dominant energy condition 0 <= |p|, |pT| <= ρ
    Stated in Eq. (12). Required to derive m(rγ) >= p(rγ)(4π/3)rγ^3 in both monotonicity branches.
  • domain assumption Monotonic decrease of density or radial pressure
    Defines the theorem's domain. Used to lower-bound the mass integral in Eqs. (18) and (21).
  • domain assumption Spherical symmetry, asymptotic flatness, spatial regularity
    Metric ansatz (4) and boundary conditions (5)-(8).

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Compact theorem on the compactness of ultra-compact objects with monotonically decreasing matter fields." pith.science (2026). https://pith.science/paper/QI4E2VEM

@misc{pith2026250202375,
  author       = {Pith},
  title        = {Pith review of: A Compact theorem on the compactness of ultra-compact objects with monotonically decreasing matter fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QI4E2VEM}},
  note         = {Machine review of arXiv:2502.02375}
}
abstract

Self-gravitating horizonless ultra-compact objects that possess light rings have attracted the attention of physicists and mathematicians in recent years. In the present compact paper we raise the following physically interesting question: Is there a lower bound on the global compactness parameters ${\cal C}\equiv\text{max}_r\{2m(r)/r\}$ of spherically symmetric ultra-compact objects? Using the non-linearly coupled Einstein-matter field equations we explicitly prove that spatially regular ultra-compact objects with monotonically decreasing density functions (or monotonically decreasing radial pressure functions) are characterized by the lower bound ${\cal C}\geq1/3$ on their dimensionless compactness parameters.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 23 canonical work pages

  1. [1]

    J. M. Bardeen, W. H. Press and S. A. Teukolsky, Astrophys. J. 178, 347 (1972)

    work page 1972

  2. [2]

    Chandrasekhar, The Mathematical Theory of Black Holes , (Oxford University Press, New York, 1983)

    S. Chandrasekhar, The Mathematical Theory of Black Holes , (Oxford University Press, New York, 1983)

    1983

  3. [3]

    S. L. Shapiro and S. A. Teukolsky, Black Holes, White Dwarfs and Neutron Stars: The Physics of C ompact Objects, 1st ed. (Wiley-Interscience, 1983)

    work page 1983

  4. [4]

    See [5–7] and references therein for recent studies of th e physical and mathematical properties of curved spacetime s that contain closed light rings

    work page

  5. [5]

    Lu and H

    H. Lu and H. D. Lyu, Phys. Rev. D 101, 044059 (2020)

    work page 2020

  6. [6]

    Extremal black holes have external light rings

    S. Hod, Phys. Rev. D 107, 024028 (2023) [arXiv:2211.15983]

    work page Pith review arXiv 2023

  7. [7]

    The existence of null circular geodesics outside extremal spherically symmetric asymptotically flat hairy black holes

    Y. Peng, The Euro. Phys. Jour. C 83, 339 (2023) [arXiv:2211.14463]

    work page Pith review arXiv 2023

  8. [8]

    Hod, Phys

    S. Hod, Phys. Lett. B 727, 345 (2013) [arXiv:1701.06587]

    arXiv 2013

Show all 31 references
  1. [9]

    P. V. P. Cunha, and C. A. R. Herdeiro, Phys. Rev. Lett. 124, 181101 (2020)

    2020

  2. [10]

    Hod, Phys

    S. Hod, Phys. Lett. B 739, 383 (2014) [arXiv:1412.3808]

    2014 arXiv

  3. [11]

    Keir, Class

    J. Keir, Class. Quant. Grav. 33, 135009 (2016)

    2016

  4. [12]

    Maggio, P

    E. Maggio, P. Pani, and V. Ferrari, Phys. Rev. D 96, 104047 (2017)

    2017

  5. [13]

    Hod, Jour

    S. Hod, Jour. of High Energy Phys. 06, 132 (2017) [arXiv:1704.05856]; S. Hod, Phys. Lett. B 770, 186 (2017); S. Hod, Phys. Lett. B 774, 582 (2017) [arXiv:1708.09399]

    2017 arXiv

  6. [14]

    P. V. P. Cunha, E. Berti, and C. A. R. Herdeiro, Phys. Rev. Lett. 119, 251102 (2017) [arXiv:1708.04211]

    2017 arXiv

  7. [15]

    Hod, Phys

    S. Hod, Phys. Lett. B 776, 1 (2018) [arXiv:1710.00836]

    2018 arXiv

  8. [16]

    Novotn´ y, J

    J. Novotn´ y, J. Hlad ´ ık, and Z. Stuchl ´ ık, Phys. Rev. D95, 043009 (2017)

    2017

  9. [17]

    Hod, Phys

    S. Hod, Phys. Rev. D 97, 084018 (2018) [arXiv:1810.03618]

    2018 arXiv

  10. [18]

    We use natural units in which G = c = 1

  11. [19]

    Note that spherically symmetric black holes are charac terized by the dimensionless compactness relation 2 m(rH)/r H = 1, where {rH, m (rH)} are respectively the radius of the black-hole horizon and th e gravitational mass contained within the horizon. 5

  12. [20]

    Bondi, Mon

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

    1992

  13. [21]

    The trace of the energy-momentum tensor is given by the r elation T = − ρ+pr+2pT, where the spatially dependent functions {ρ, p r, p T} are respectively the energy density, the radial pressure, a nd the tangential pressure of the self-gravitating matter configurations [20]

  14. [22]

    Note that the bound (3) is valid for both possible signs o f the trace of the energy-momentum tensor that characterize s the self-gravitating matter fields

  15. [23]

    It is worth noting that the stronger lower bound C ≥ 7/ 12 on the compactness parameter (1) has been derived in [17] f or isotropic ultra-compact objects which are characterized b y negative ( T < 0) energy-momentum traces

  16. [24]

    Kumar and P

    J. Kumar and P. Bharti, New Astronomy Reviews 95, 101662 (2022)

    2022

  17. [25]

    (27) below], is valid for bot h possible signs of the energy-momentum trace T that characterizes the self-gravitating matter fields

    It is worth emphasizing that the new lower bound, to be ex plicitly derived below [see Eq. (27) below], is valid for bot h possible signs of the energy-momentum trace T that characterizes the self-gravitating matter fields

  18. [26]

    A. E. Mayo and J. D. Bekenstein, Phys. Rev. D 54, 5059 (1996); N. E. Mavromatos, arXiv:gr-qc/9606008

    1996 arXiv

  19. [27]

    Hod, Phys

    S. Hod, Phys. Rev. D 84, 104024 (2011) [arXiv:1201.0068]

    2011 arXiv

  20. [28]

    Hod, Phys

    S. Hod, Phys. Lett. B 657, 255 (2007) [arXiv:0711.4541]; S. Hod, Class. Quant. Grav. 24, 6019 (2007) [arXiv:0712.1988]; S. Hod, Phys. Lett. B 661, 175 (2008) [arXiv:0803.0608]

    2007 arXiv

  21. [29]

    It is worth emphasizing the fact that our theorem for the co mpactness of ultra-compact objects with monotonically decreasing matt er fields does not use the TOV equation

    Note that the tangential pressure pT appears in the Tolman–Oppenheimer–Volkoff (TOV) equation dp/dr = [ (3µ − 1 − 8πr 2p)(ρ + p) + 2 µ (− ρ − 3p + 2pT ) ] / (2µr ). It is worth emphasizing the fact that our theorem for the co mpactness of ultra-compact objects with monotonicall...

  22. [30]

    Hod, Phys

    S. Hod, Phys. Rev. D 84, 124030 (2011) [arXiv:1112.3286]

    2011 arXiv

  23. [31]

    see W. C. Chen and J. Piekarewicz, Phys. Rev. Lett. 115, 161101 (2015) and references therein

    2015

Pith tools

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