Pith. sign in

REVIEW 2 major objections 3 minor 28 references

Maximum force conjecture in curved spacetimes of stable self-gravitating matter configurations

T0 review · 2 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read Stable horizonless matter configurations satisfy $4\pi r^2 p(r)<c^4/G$.

desk verdict A clean, short proof that stable horizonless configurations satisfy 4πr²p < c⁴/G, but the 'stability ⇒ no light rings' premise is an assumption, not a consequence of the field equations. read the letter →

arxiv 2501.01497 v1 pith:N4VFRCCY submitted 2025-01-02 gr-qc astro-ph.HEhep-th

Shahar Hod This is my paper · ORCID
classification gr-qcastro-ph.HEhep-th
keywords maximumforceconjecturelightringsnullcirculargeodesicsdynamicalstabilityself-gravitatingconfigurationsdominantenergyconditionEinsteinequationshorizonlessspacetimes
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 proves a version of the maximum force conjecture for stable, horizonless, spherically symmetric self-gravitating matter configurations. It defines the radially dependent force function $\mathcal{F}\equiv 4\pi r^2 p(r)$ and shows that stability forces $\mathcal{F}$ to stay below $c^4/G$. The mechanism is geometric: if the pressure were large enough to produce a null circular geodesic, the innermost such orbit would be stable, and massless fields would pile up on it and drive a nonlinear instability. The proof uses only the Einstein-matter equations, asymptotic flatness, and the dominant energy condition, so the bound is independent of the equation of state.

What carries the argument

The load-bearing object is the light-ring indicator $R(r)\equiv 3\mu(r)-1-8\pi r^2p(r)$, which vanishes precisely at the radii of null circular geodesics in the spherically symmetric metric $ds^2=-e^{-2\delta}\mu\,dt^2+\mu^{-1}dr^2+r^2d\Omega^2$. Because $R(0)=R(\infty)=2$, any nontrivial light rings come in pairs, and the innermost one has $R'(r_{\mathrm{innermost}})<0$, which makes it a stable light ring. The stability of the matter configuration is translated into the requirement that no such ring exists, so $R(r)>0$ for all $r$. The identity $\mathcal{F}\equiv 4\pi r^2p(r)<\tfrac{1}{2}[3\mu(r)-1]$ then follows directly from $R(r)>0$, and with $\mu\le 1$ it yields $\mathcal{F}<c^4/G$.

What would settle it

A dynamically stable, horizonless, spherically symmetric equilibrium satisfying the dominant energy condition with $4\pi r^2 p(r)\ge c^4/G$ at any radius, or equivalently with $R(r)\le 0$ somewhere, would refute the claimed theorem.

Watch

Extended reading notes

Core claim

The paper's central claim is that every dynamically stable, horizonless, spherically symmetric solution of the Einstein-matter field equations obeying the dominant energy condition satisfies $\mathcal{F}(r)\equiv 4\pi r^2 p(r) < c^4/G$ at every radius. The sharper pointwise statement is $\mathcal{F}(r)<\tfrac{1}{2}[3\mu(r)-1]$, where $\mu(r)=1-2m(r)/r$ is the metric function that stays at or below unity under the dominant energy condition. Stability enters through the requirement that such configurations possess no null circular geodesics, because the innermost light ring of a horizonless spacetime, when present, is stable and therefore seeds nonlinear instability of massless fields. With the light-ring condition written as $R(r)=3\mu(r)-1-8\pi r^2 p(r)=0$, and with $R\to 2$ both at the center and at infinity, the absence of light rings forces $R(r)>0$ everywhere, which is exactly the bound on the force function.

Load-bearing premise

The argument requires that a dynamically stable self-gravitating configuration cannot contain a stable light ring, which assumes the nonlinear-instability theorems for massless fields on a fixed background apply to every matter model considered.

Editorial extensions

If this is right

  • Any spherically symmetric, horizonless equilibrium that satisfies the dominant energy condition and has $4\pi r^2 p(r)\ge c^4/G$ at some radius must be dynamically unstable.
  • The bound is universal in the matter model: no equation of state, composition, or microscopic physics enters, only the Einstein equations, regularity, asymptotic flatness, and the no-stable-light-ring condition.
  • The result proves the weak maximum force conjecture with coefficient $\eta=1$ for this class of spacetimes, while the strong value $\eta=1/4$ remains unproven.
  • The radius-dependent inequality $\mathcal{F}<\tfrac{1}{2}[3\mu(r)-1]$ is stronger than the $c^4/G$ bound wherever $\mu(r)<1$, so compactness itself tightens the allowed force.

Reading between the lines

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

  • A practical corollary the paper leaves implicit is that $4\pi r^2p(r)<c^4/G$ can be used as a fast necessary condition for dynamical stability of candidate static, spherically symmetric equilibria before running nonlinear evolutions.
  • The proof's reliance on spherical symmetry and the dominant energy condition leaves open whether rotating or anisotropic configurations satisfy an analogous bound; that would require a separate argument, not supplied here.
  • Because the argument says nothing about degenerate light rings with $R=R'=0$, the theorem does not exclude a stable configuration carrying a degenerate closed null geodesic; such cases are a possible loophole.
  • If future work bounds $\mu(r)$ from below as well as above, the pointwise inequality $\mathcal{F}<\tfrac{1}{2}[3\mu(r)-1]$ could be converted into an absolute upper bound tighter than $c^4/G$.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper proves, for spherically symmetric, asymptotically flat, horizonless self-gravitating matter configurations satisfying the dominant energy condition, that the force function F(r)=4πr²p(r) is bounded above by c⁴/G, assuming the configuration is dynamically stable. The derivation expresses light-ring radii as zeros of R(r)=3µ-1−8πr²p(r) via the Einstein equations, recalls that the innermost light ring of a horizonless spacetime, when present, is stable, and invokes published results that stable light rings trigger nonlinear instabilities to massless fields. The paper concludes that stable configurations have no light rings, hence R(r)>0 everywhere, and the bound follows from µ(r)≤1.

Significance. If the stability premise is accepted in full generality, the paper provides a clean, parameter-free derivation of a maximum-force-type inequality from the Einstein-matter field equations. The local algebraic steps are transparent, the sign conventions are correct, and the result is genuinely independent of the equation of state. The main liability is the breadth of the cited instability theorems: the scope of the final bound is exactly the scope of those theorems, so the paper's value depends on whether the premise that stable configurations have no light rings is proved for all matter models considered.

major comments (2)
  1. [Section III, after Eq. (23)] The inference that dynamically stable configurations have no null circular geodesics is the central bridge from the light-ring instability theorems to the conclusion R(r)>0 in Eq. (24). The manuscript cites Refs. [11,12] for nonlinear instability in the presence of stable light rings, but those references establish the instability for particular matter-field models (massless scalar fields on specific background spacetimes), and the text does not demonstrate that their hypotheses cover every matter configuration satisfying the dominant energy condition. Nor does the paper state explicitly that "dynamical stability" means stability against all perturbations, including the massless test fields used in [11,12]. This is load-bearing because Eq. (26) would not follow if a stable configuration could retain a stable light ring while suppressing massless-field growth. The authors should either quote the precise theorem being applied, verify its hypotheses, or restrict the claim to the class of matter models covered by the cited results.
  2. [Footnote 28 and Eqs. (22)-(24)] The argument leading to Eq. (22) assumes a non-degenerate innermost light ring with R'(r_innermost)<0. Footnote 28 explicitly notes the existence of degenerate light rings with R=R'=0, which are not covered by Eq. (22). Since the proof of Eq. (24) requires ruling out all light rings, including degenerate ones, the conclusion (26) is not established for the degenerate class. The paper should either prove that degenerate light rings cannot occur under its assumptions, or explicitly exclude this case from the statement of the theorem.
minor comments (3)
  1. [Abstract and Eq. (26)] The abstract states the bound as F ≤ c⁴/G, while the summary section and Eq. (26) state F < c⁴/G. The strict inequality in Eq. (25) supports the strict version, so the abstract should be corrected for consistency.
  2. [Title] The title contains a typo: "stab le" should be "stable"; similar spacing artifacts appear in the TeX source (e.g., "configurations").
  3. [Section III, after Eq. (16)] The text refers to {E,L} as "physical parameters" characterizing geodesic motion; they are the conserved energy and angular momentum per unit rest mass (or affine parameter), and their interpretation as distinct physical parameters could be stated more precisely.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the bound follows from externally cited stability theorems and elementary Einstein-equation algebra, not from its own conclusion.

full rationale

The derivation is self-contained in the relevant sense. The paper defines the force function F = 4πr²p(r), derives the null-circular-geodesic condition R(r)=0 with R = 3μ - 1 - 8πr²p directly from the Einstein equations, and uses the boundary values R(0)=R(∞)=2 to convert the absence of light rings into the inequality R(r)>0, hence F < c⁴/G. The two load-bearing stability inputs—that the innermost light ring of a horizonless spacetime, if present, is stable, and that stable light rings trigger nonlinear instability—are cited to external works [7,11,12], not to the present paper. The self-citations [8,9] are used only for supporting identities and for a degenerate exceptional case; the main inequality does not reduce to those citations. No parameter is fitted, and no quantity is defined in terms of the quantity it is meant to predict. The concern that the cited instability theorems may not apply universally to all matter models satisfying the dominant energy condition, and the footnote-28 exclusion of degenerate light rings, are correctness and scope risks, not circularity. The final bound is a derived consequence of the assumptions, not an input restated as an output.

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

No free parameters appear anywhere in the derivation; the bound is parameter-free given the axioms. The physical content is carried by two external theorems: the stability of the innermost light ring [7-9] and the nonlinear instability triggered by stable light rings [11,12]. The Einstein-matter equations are used to derive the light-ring condition (17)-(18) and the sign relation (21); the final inequality is an elementary rearrangement. The paper's own necessary-condition premise, that stable configurations have no light rings, is the fragile link and is listed as axiom 5.

assumptions (6)
  • domain assumption The spacetime is static, spherically symmetric and asymptotically flat (metric ansatz (3) with boundary conditions (6)-(7)).
    Restricts the result to the spherically symmetric sector; whether the bound survives for generic rotating or non-static stable configurations is not addressed by the paper.
  • domain assumption The matter obeys the dominant energy condition 0 ≤ |p| ≤ ρ (Eq. (11)).
    Used to derive μ ≤ 1 (Eq. (12)), which turns the no-light-ring inequality into the final bound F < c⁴/G. Exotic matter violating the dominant energy condition is outside the theorem.
  • domain assumption The configuration is horizonless, μ(r) > 0 for all r (Eq. (8)).
    The statement is limited to horizonless configurations; black holes are explicitly excluded from the analysis.
  • domain assumption The innermost light ring, if one exists, is stable: R(r_innermost) = 0 with R'(r_innermost) < 0, hence V''_r > 0 (Eqs. (21)-(22)), taken from Refs. [7-9].
    Borrowed theorem. The paper's own Footnote 28 notes that degenerate light rings with R = R' = 0 may admit an odd number of light rings; that case is not covered by the argument.
  • domain assumption A dynamically stable configuration cannot contain stable light rings: the contrapositive of the nonlinear-instability theorems of Refs. [11,12] for massless fields is applied as a necessary condition for stability.
    The load-bearing premise. The paper states it as a conclusion ('one therefore concludes', Section III), but it assumes the stability of the full matter+metric system implies the absence of stable light rings for massless test fields, and that the instability theorems apply to all matter models considered.
  • standard math Eq. (21), V''_r(rγ) = −(E²e^{2δ}/μrγ) R'(rγ), quoted from Refs. [8,9], is taken as standard.
    I verified the sign structure: for Schwarzschild (R' > 0 at r = 3M) it gives V''_r < 0, the known unstable photon sphere, consistent with the formula.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Maximum force conjecture in curved spacetimes of stable self-gravitating matter configurations." pith.science (2026). https://pith.science/paper/N4VFRCCY

@misc{pith2026250101497,
  author       = {Pith},
  title        = {Pith review of: Maximum force conjecture in curved spacetimes of stable self-gravitating matter configurations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N4VFRCCY}},
  note         = {Machine review of arXiv:2501.01497}
}
abstract

Gibbons and Schiller have raised the physically interesting conjecture that forces in general relativity are bounded from above by the mathematically compact relation ${\cal F}\leq c^4/4G$. In the present compact paper we explicitly prove, using the non-linearly coupled Einstein-matter field equations, that the force function ${\cal F}\equiv 4\pi r^2 p(r)$ in {\it stable} self-gravitating horizonless matter configurations is characterized by the upper bound ${\cal F}\leq c^4/G$ [here $p(r)$ is the radial pressure inside the self-gravitating matter configuration].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 19 canonical work pages

  1. [1]

    G. W. Gibbons, Foundations of Physics 32, 1891 (2002)

    work page 2002

  2. [2]

    Motion Mountain — A Hike Beyond Space and Ti me Along the Concepts of Modern Physics

    C. Schiller,“Motion Mountain — A Hike Beyond Space and Ti me Along the Concepts of Modern Physics” (http://www.motionmountain.net, 1997-2004), section 7: Maximum force — a simple principle encompassing general relativity

    work page 1997

  3. [3]

    Schiller, Phys

    C. Schiller, Phys. Rev. D 104, 124079 (2021)

    work page 2021

  4. [4]

    Y. C. Ong, Phys. Lett. B 785, 217 (2018)

    work page 2018

  5. [5]

    Schiller, Int

    C. Schiller, Int. Jour. Theor. Phys. 44, 1629 (2005)

    work page 2005

  6. [6]

    We shall henceforth use gravitational units with G = c = 1, in which case the radially-dependent force function (2) is dimensionless

    work page

  7. [7]

    P. V. P. Cunha, E. Berti, and C. A. R. Herdeiro, Phys. Rev. L ett. 119, 251102 (2017)

    work page 2017

  8. [8]

    Hod, Phys

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

    arXiv 2018

Show all 28 references
  1. [9]

    Hod, Phys

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

    2014 arXiv

  2. [10]

    Note that closed light rings in curved spacetimes are co nsidered to be stable (attractive) if massless fields tend to pile up on them

  3. [11]

    P. V. P. Cunha, C. Herdeiro, E. Radu, N. Sanchis-Gual, Ph ys. Rev. Lett. 130, 061401 (2023)

    2023

  4. [12]

    Keir, Class

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

    2016

  5. [13]

    Hod, Phys

    S. Hod, Phys. Rev. D 84, 124030 (2011) [arXiv:1112.3286]; S. Hod, Phys. Rev. D 84, 104024 (2011) [arXiv:1201.0068]; S. Hod, Phys Lett. B 727, 345 (2013) [arXiv:1701.06587]

    2011 arXiv

  6. [14]

    As discussed in [11, 12], this physically interesting a ssertion is based on the fact that massless fields in curved sp acetimes tend to pile up and grow non-linearly around stable null circ ular geodesics

  7. [15]

    Jowsey and M

    A. Jowsey and M. Visser, Universe 7, 403 (2021) [arXiv:2102.01831]

    2021 arXiv

  8. [16]

    In particular, it has been shown in [15] that a constant density star is characterized by the dimensionless relatio n Fmax = 2

    It is interesting to note that it has been demonstrated i n the physically important work [15] that perfect fluid config urations may violate the strong version of the maximum force conjectu re. In particular, it has been shown in [15] that a constant density star is characteriz...

  9. [17]

    As nicely emphasized in [15], it i s important to specify precisely which forces are considere d

    It is worth noting that it has been shown in [15] that the e quatorial force function Feq ≡ 2π ∫ Rs 0 √ grrpt(r)rdr of perfect fluid configurations may diverge (here Rs and pt are respectively the radius of the perfect fluid matter config uration and its tangential pressure). As n...

  10. [18]

    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

  11. [19]

    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)

    1983

  12. [20]

    Hod, Phys

    S. Hod, Phys. Rev. D 80, 064004 (2009) [arXiv:0909.0314]; S. Hod, Phys. Lett. B 718, 1552 (2013) [arXiv:1210.2486]; S. Hod, Phys. Lett. B 751, 177 (2015) [arXiv:1707.06246]; S. Hod, Class. Quant. Grav . 33, 114001 (2016) [arXiv:1705.08905]

    2009 arXiv

  13. [21]

    Here ( t, r, θ, φ ) are the familiar Schwarzschild coordinates of the curved s pacetime

  14. [22]

    A. E. Mayo and J. D. Bekenstein, Phys. Rev. D 54, 5059 (1996)

    1996

  15. [23]

    The prime symbol ′ is used here to denote a spatial derivative of the metric func tion with respect to the radial coordinate r of the curved spacetime

  16. [24]

    Bondi, Mon

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

    1992

  17. [25]

    See [13] and references therein

  18. [26]

    Note that the radial properties (15), which characteri ze the closed light rings of the curved spacetime (3), corres pond to ˙r2 = ( ˙r2)′ = 0 [18]

  19. [27]

    is used here to denote a derivative with respect to an affine par ameter

    The dot symbol . is used here to denote a derivative with respect to an affine par ameter

  20. [28]

    As discussed in [8], these special spacetimes may have an odd number of closed light rings

    See [8] for the interesting case of horizonless curved s pacetimes with degenerate closed null circular geodesics w hich are characterized by the functional relations R = R′ = 0. As discussed in [8], these special spacetimes may have an odd number of closed light rings

Pith tools

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