Pith. sign in

REVIEW 3 major objections 6 minor 28 references

Completing the Penrose Process without a Horizon

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For a broad class of horizonless rotating spacetimes, every smooth ergosurface component is a compact torus, and that torus confines negative-energy debris so a Penrose decay can complete without a horizon.

desk verdict A clean kinematic theorem that deserves a serious referee, but the explicit boson-star completion has a real verification gap in the unshipped numerics for the inner turnaround segment. read the letter →

arxiv 2608.08711 v1 pith:QYAPIJGN submitted 2026-08-09 gr-qc

Yang Huang , Shiyang Hu , Bin Chen , Minyong Guo This is my paper · ORCID
classification gr-qc
keywords PenroseprocessergoregionergosurfacetopologyhorizonlessspacetimesbosonstarnegativeKillingenergyextractionstationaryaxisymmetric
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 asks what can replace the event horizon in the Penrose process, the classic scheme for extracting rotational energy from a black hole by letting one decay product carry negative energy away. Its answer is that no absorbing surface is needed: in any regular, stationary, axisymmetric, asymptotically flat spacetime without horizons, and assuming the metric is orthogonally transitive with smooth ergosurface components, every smooth component of the spatial ergosurface is a compact torus. Future-directed geodesics carrying negative conserved Killing energy are blocked by a forbidden neighborhood of those tori and cannot reach infinity, so the compact ergoregion itself acts as the sink. The paper adds a sufficient exterior no-barrier condition and proves there is an open set of on-shell, four-momentum-conserving decays that simultaneously confine the negative-energy fragment and send an amplified partner to infinity; a rotating boson star realizes the full chain explicitly with about 2.14 percent extracted Killing energy.

What carries the argument

The central object is the spatial ergosurface $\Sigma=\partial\{g_{tt}>0\}$ on a spacelike slice. The key mechanism is two-step. First, topology: since $g_{tt}\to -1$ at infinity, each component is compact; since $g_{tt}<0$ on the regular axis, no component touches the axis; the free $U(1)$ axial action makes the component a principal bundle over $S^1$, hence a torus $T^2$. Second, dynamics: with the mass-shell function $V(E,L;m)=\frac{(E-\omega L)^2}{\alpha^2}-m^2-\frac{L^2}{g_{\phi\phi}}$, negative $E$ gives $V<0$ on the boundary and, by compactness, in a neighborhood of it, so a negative-energy future-directed geodesic cannot cross. The exterior no-barrier condition $E_2>\alpha_{\max} m_2+C_{\max}|L_2|$, or the equivalent impact-parameter form, then guarantees the amplified partner has positive radial kinetic term throughout the exterior domain.

What would settle it

Construct or find a regular solution satisfying the assumptions whose ergosurface has a smooth spherical component instead of a torus, or integrate a future-directed causal geodesic with conserved $E<0$ that crosses a smooth ergosurface component. In the paper's own boson-star data, a slightly different emission direction should still confine fragment 1; a single escaping negative-energy geodesic would refute the confinement claim.

Watch

Extended reading notes

Core claim

The paper establishes the kinematic completion of the Penrose process without a horizon. Under the stated assumptions — regular, stationary, axisymmetric, asymptotically flat, horizonless, orthogonally transitive, with smooth ergosurface components — every connected component of the spatial ergosurface is a compact, axis-free torus, independently of the field equations and matter content. A future-directed causal fragment with conserved negative Killing energy has $V<0$ on the ergosurface and therefore cannot reach it; compactness promotes this to a forbidden neighborhood, so the fragment is confined inside the compact ergoregion. The paper then derives a sufficient no-barrier condition and shows that the negative-energy cone and the escape window overlap in an open set of emission directions for a single decay. In the rotating boson-star example, fragment 1 carries $(E_1,L_1)\simeq(-0.0214,-0.194)$, remains confined, and fragment 2 escapes with $E_2\simeq 1.0214$, an efficiency of about 2.14 percent.

Load-bearing premise

The proof assumes each boundary of the ergoregion is a smooth surface where $g_{tt}$ crosses zero with nonzero gradient, and that the metric is orthogonally transitive; if the gradient vanishes, components can pinch or merge and the torus and confinement conclusions need not hold.

Editorial extensions

If this is right

  • For any member of the spacetime class, a single local two-body decay can be globally completed: the negative-energy product is confined and the partner escapes with $E_2>E_0$, provided the compatibility inequalities hold.
  • Since the torus classification is independent of the field equations, it applies to boson stars, gravastars, and other exotic compact objects with ergoregions, not only to black holes.
  • Under equatorial reflection symmetry, escape is guaranteed once the amplified fragment enters the exterior channel on an outward branch, because strict positivity of the mass-shell function forbids further radial turning points.
  • The explicit rotating boson star supplies a concrete realization with numerically verified four-momentum conservation and an energy-extraction efficiency of about 2.14 percent.
  • No absorbing or reflecting inner boundary is imposed; confinement is a kinematic consequence of the smooth compact ergosurface.

Reading between the lines

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

  • Editorial inference: If confined negative-energy geodesics correspond to actual field modes, the same torus barrier would be expected to feed the known ergoregion instability of horizonless compact objects, potentially giving a single geometric explanation for both energy extraction and instability.
  • Editorial inference: The theorem is stated in four dimensions; the $U(1)$-bundle argument would need re-examination in higher dimensions, where ergosurface components could in principle be nontrivial bundles over other bases.
  • Editorial inference: The no-barrier condition is sufficient and checkable from the background alone, so a numerical scan of boson-star families could map the region of decay data where the complete process operates; the paper exhibits only one point, chosen for transparent turning-point geometry.
  • Editorial inference: Because the confined fragment carries negative Killing energy, backreaction should gradually reduce the central object's angular momentum; computing that self-consistent evolution is the natural next step and is explicitly left open by the paper.
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

3 major / 6 minor

Summary. This paper studies whether the Penrose process can be completed in horizonless, regular, stationary, axisymmetric, asymptotically flat spacetimes. It proves, under orthogonal transitivity and a regular-value condition on the ergosurface, that each smooth connected component of the spatial ergosurface is a compact torus. It then shows that a future-directed geodesic carrying negative conserved Killing energy cannot reach such a boundary and is therefore confined in the corresponding compact ergoregion. The paper derives a sufficient exterior no-barrier condition and proves that a nonempty open set of on-shell, future-directed, four-momentum-conserving two-body splittings produces both a negative-energy fragment and an amplified partner satisfying the no-barrier condition; under equatorial reflection symmetry the amplified partner escapes to infinity. A rotating boson star is presented as an explicit numerical realization of the complete process.

Significance. The torus classification is a clean, field-equation-independent geometric result, and the confinement argument offers a conceptually useful replacement for horizon absorption at the test-particle level. The no-barrier condition and the openness argument upgrade a local energy-amplification statement to a global one, which is a genuine step beyond earlier horizonless Penrose-process discussions. The paper is appropriately candid about its limitations: it explicitly states that it does not establish self-consistent extraction of energy and angular momentum and that backreaction may modify the ergoregion. I found no circularity in the derivations. The principal weakness is that the explicit boson-star realization depends on numerical data and integrations that are not shipped, so the global completion claim is not independently checkable as written.

major comments (3)
  1. [Supplemental Material, Sec. VI] The escape of fragment 2 in the explicit boson-star example is not established by the analytic no-barrier theorem. Equation (17) and Eq. (S43) guarantee V2 > 0 only on D_ext = {r >= r*}, but the reported radial turning point is at r2,turn ≈ 0.012 < r*, i.e., in the region where the theorem has not been verified. The claim that the fragment turns around and then enters D_ext on an outward branch is supported only by a numerical integration that is not shipped. Because the complete process is the paper's central explicit claim, please provide the numerical data and code for the background, the geodesic integration, and the residual checks, or extend the no-barrier certificate (with the caveat that D must remain bounded away from the axis) to the inner segment [r2,turn, r*].
  2. [Supplemental Material, Secs. III-IV] The statement that the incident particle with (m0, E0, L0) = (1, 1, 0) reaches x* from the asymptotically flat region is supported only by an unshipped numerical integration, and the background metric itself is described as "obtained numerically" without a data release. The explicit realization therefore rests on three unverifiable numerical layers: the background, the incident trajectory, and the fragment-2 turnaround. Please either release these data in a reproducible form or clearly mark the realization as conditional on numerical results that the reader cannot audit.
  3. [Supplemental Material, Sec. I] The torus classification is conditional on the regular-value condition ∇_S gtt ≠ 0 on each ergosurface component, and the paper explicitly acknowledges that failure of this condition can invalidate the classification. However, for the explicit boson-star example the manuscript does not report a check of this condition (for example, the minimum of |∇_S gtt| on the numerical ergosurface). Since the example is meant to realize the theorem, this check should be reported.
minor comments (6)
  1. [Affiliations] In the affiliations, "Chin a" should be "China" in two places.
  2. [Eq. (14)] The notation V1|Σ is slightly ambiguous; it would be clearer to write "V1 evaluated at gtt = 0" or "V1 on the ergosurface."
  3. [Supplemental Material, Sec. VI] The values αmax = 1 and Cmax = 0.370343 should be accompanied by the computational domain and the numerical method used to obtain these suprema.
  4. [Fig. 1] The label "m0 falls" in Fig. 1(a) is confusing because m0 decays at x*; consider relabeling it as "m0 (incident path)".
  5. [Supplemental Material, Sec. I] The "elementary flatness" expansion near the axis is standard, but a citation or a one-line derivation of gtt|A < 0 would help readers.
  6. [Main text, Introduction] The term "regular" is used to exclude singularities and horizons but is not defined; please define it explicitly in the main text.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central topology, confinement, and no-barrier results are derived directly from the stated geometric assumptions and mass-shell identities; the boson-star numbers are an illustration, not a fitted prediction.

full rationale

The paper's central claims are self-contained derivations, not reductions to their own inputs. The torus classification follows from the regular-value condition, compactness from asymptotic flatness, and axis avoidance from the regular-axis expansion; none of those steps presupposes the conclusion. Confinement of a negative-energy fragment is obtained by evaluating the mass-shell function at the ergosurface, where gtt=0 and future-directedness force V<0; this is an algebraic consequence of the definitions, not an imported uniqueness result. The exterior no-barrier condition is a sufficient bound derived from the future-directed branch of the mass-shell relation, and its compatibility with negative-energy production is shown by strict continuous inequalities, producing an open set of directions rather than a fitted point. The explicit boson-star example chooses masses and an emission direction for illustrative transparency and then checks the same inequalities; no parameter is fitted to a target prediction and later renamed as one. The only notable caveat is that the explicit realization imports a numerical boson-star background from prior work and relies on two geodesic integrations that are not shipped in the text, so the full numerical trajectory is not independently checkable; that is a reproducibility and verification gap, not circularity. Cited prior work with overlapping authorship is used only to supply the known numerical solution, not to justify the main theorem or to exclude alternatives, so it is not load-bearing.

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

The general theorems are proven from the stated geometric assumptions. The explicit boson star example introduces several chosen parameters (frequency, fragment masses, emission angle) that are not fitted to the general derivation. No new physical entities are introduced.

free parameters (5)
  • boson star scalar frequency ω_s = 0.65
    Chosen to produce a numerical boson star solution with a compact toroidal ergoregion; not derived in the paper.
  • incident mass m0 = 1
    Sets the mass scale for the explicit example; the general theorems do not depend on its value.
  • fragment mass m1 = 0.01
    Chosen to approximate the small-mass limit and satisfy the compatibility inequalities in the explicit example.
  • fragment mass m2 = 0.0757599
    Chosen so that m1+m2<m0 and the negative-energy and no-barrier margins are positive in the example.
  • emission angle χ_* = approximately 0.057π
    Chosen to set the radial momentum p^r_1=0 for a transparent turning-point demonstration; not required by the mechanism.
assumptions (5)
  • domain assumption Orthogonal transitivity of the metric, so it can be written in the form of Eq. (1).
    The torus theorem and the potential analysis use this metric form; not every stationary axisymmetric spacetime is orthogonally transitive.
  • domain assumption Regularity and nondegeneracy of the rotation axis, lim D/ρ^2 > 0.
    Used to show g_tt<0 on the axis, so the ergosurface misses the axis.
  • domain assumption The ergosurface components are smooth embedded manifolds with ∇_S g_tt ≠ 0 (regular value condition).
    The paper relies on this for the regular value theorem and the forbidden neighborhood argument; it notes that topology-changing pinch-offs occur when the condition fails.
  • domain assumption The exterior domain D is bounded away from the axis and extends to an asymptotically flat end, with finite α_max and C_max.
    Used to make the no-barrier condition finite and sufficient.
  • domain assumption The spacetime admits a splitting point inside the ergoregion where the compatibility inequalities (e.g., Eq. (22) in the small-mass limit) hold.
    The general existence theorem is conditional on such a point; the paper proves existence by example in a rotating boson star.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Completing the Penrose Process without a Horizon." pith.science (2026). https://pith.science/paper/QYAPIJGN

@misc{pith2026260808711,
  author       = {Pith},
  title        = {Pith review of: Completing the Penrose Process without a Horizon},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QYAPIJGN}},
  note         = {Machine review of arXiv:2608.08711}
}
read the original abstract

In its standard black-hole realization, the Penrose process uses an event horizon to remove a negative-energy fragment. We show that, at the kinematic level, horizon absorption can instead be replaced by confinement within a compact ergoregion, without imposing an absorbing or reflecting inner boundary. For a broad class of regular, stationary, axisymmetric, asymptotically flat horizonless spacetimes, we prove that every smooth connected component of the spatial ergosurface is a compact torus, independently of the field equations and matter content. Future-directed geodesics with negative Killing energy encounter a forbidden neighborhood of each such boundary component and are therefore confined. We derive an exterior no-barrier condition and identify an open set of on-shell, future-directed, four-momentum-conserving splittings producing both a confined negative-energy fragment and an amplified partner. Under equatorial reflection symmetry, once the latter enters the exterior channel on an outward branch, it necessarily reaches infinity. A rotating boson star explicitly realizes the complete process without a horizon.

Figures

Figures reproduced from arXiv: 2608.08711 by the authors.

Figure 1
Figure 1. (b) confine fragment 1 within the ergoregion. Frag￾ment 2 is initially directed inward, reaches an inner ra￾dial turning point, and then enters the exterior no-barrier channel on its outward branch. No further radial turning point occurs, and it reaches infinity with ∆E = E2 − E0 = −E1 = 0.0214, η = ∆E E0 ≃ 2.14%. (26) This explicitly realizes negative-energy confinement and amplified escape from the same local spli… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 14 canonical work pages

  1. [1]

    Penrose, Gravitational collapse: The role of general relativity, Riv

    R. Penrose, Gravitational collapse: The role of general relativity, Riv. Nuovo Cim. 1, 252 (1969)

    1969

  2. [2]

    Penrose and R

    R. Penrose and R. M. Floyd, Extraction of rotational energy from a black hole, Nature 229, 177 (1971)

    work page 1971

  3. [3]

    R. M. Wald, Energy Limits on the Penrose Process, Astrophys. J. 191, 231 (1974)

    work page 1974

  4. [4]

    J. D. Schnittman, The Collisional Pen- rose Process, Gen. Rel. Grav. 50, 77 (2018) , arXiv:1910.02800 [astro-ph.HE]

    arXiv 2018

  5. [5]

    Stuchlik, M

    Z. Stuchlik, M. Kolos, and A. Tursunov, Penrose Process: Its Variants and Astrophysical Applications, Universe 7, 416 (2021)

    work page 2021

  6. [6]

    Ruffini, M

    R. Ruffini, M. Prakapenia, H. Quevedo, and S. Zhang, Single versus the Repetitive Penrose Process in a Kerr Black Hole, Phys. Rev. Lett. 134, 081403 (2025) , arXiv:2405.08229 [gr-qc]

    arXiv 2025

  7. [7]

    Vicente, V

    R. Vicente, V. Cardoso, and J. C. Lopes, Pen- rose process, superradiance, and ergoregion instabilities, Phys. Rev. D 97, 084032 (2018) , arXiv:1803.08060 [gr-qc]

    arXiv 2018

  8. [8]

    J. L. Friedman, Ergosphere instability, Commun. Math. Phys. 63, 243 (1978)

    work page 1978

Show all 28 references
  1. [9]

    Moschidis, A Proof of Friedman’s Er- gosphere Instability for Scalar Waves, Commun

    G. Moschidis, A Proof of Friedman’s Er- gosphere Instability for Scalar Waves, Commun. Math. Phys. 358, 437 (2018) , arXiv:1608.02035 [math.AP]

    2018 arXiv

  2. [10]

    Cardoso, P

    V. Cardoso, P. Pani, M. Cadoni, and M. Cavaglia, Ergoregion instability of ultracompact astro- physical objects, Phys. Rev. D 77, 124044 (2008) , arXiv:0709.0532 [gr-qc]

    2008 arXiv

  3. [11]

    C. B. M. H. Chirenti and L. Rezzolla, On the ergoregion instability in rotating gravastars, Phys. Rev. D 78, 084011 (2008) , arXiv:0808.4080 [gr-qc]

    2008 arXiv

  4. [12]

    Maggio, P

    E. Maggio, P. Pani, and V. Ferrari, Exotic Com- pact Objects and How to Quench their Ergore- gion Instability, Phys. Rev. D 96, 104047 (2017) , arXiv:1703.03696 [gr-qc]

    2017 arXiv

  5. [13]

    (15) Let D be a connected exterior domain containing the splitting point, bounded away from the rotation axis, and extending to an asymptotically flat end

    gives E2 ≥ωL2 +α √ m2 2 + L2 2 gφφ . (15) Let D be a connected exterior domain containing the splitting point, bounded away from the rotation axis, and extending to an asymptotically flat end. Regularity and asymptotic flatness make αmax ≡ sup D α, Cmax ≡ sup D ( |ω| + α √gφφ ) ...

  6. [14]

    Applying the argument to every boundary component, a fragment with conserved E1 < 0 cannot leave the corresponding compact ergoregion

    to a for- bidden neighborhood of the entire component. Applying the argument to every boundary component, a fragment with conserved E1 < 0 cannot leave the corresponding compact ergoregion. Ergosurface confinement therefore replaces horizon absorption at the kinematic level. Es...

  7. [15]

    Sun and Y.-Q

    S.-X. Sun and Y.-Q. Wang, Chains of Rotating mini- Boson Stars, (2023), arXiv:2312.16921 [gr-qc]

    2023 arXiv

  8. [16]

    Zhang, S.-X

    R. Zhang, S.-X. Sun, L.-X. Huang, and Y.-Q. Wang, Rotating multistate Proca stars, Phys. Rev. D 111, 024076 (2025) , arXiv:2312.15755 [gr-qc]

    2025 arXiv

  9. [17]

    Kleihaus, J

    B. Kleihaus, J. Kunz, M. List, and I. Schaffer, Ro- tating Boson Stars and Q-Balls. II. Negative Par- ity and Ergoregions, Phys. Rev. D 77, 064025 (2008) , arXiv:0712.3742 [gr-qc]

    2008 arXiv

  10. [18]

    Herdeiro and E

    C. Herdeiro and E. Radu, Ergosurfaces for Kerr black holes with scalar hair, Phys. Rev. D 89, 124018 (2014) , arXiv:1406.1225 [gr-qc]

    2014 arXiv

  11. [19]

    Siemonsen, Ergoregion instability in bosonic stars: Scalar mode structure, universality, and weakly nonlinear effects, Phys

    N. Siemonsen, Ergoregion instability in bosonic stars: Scalar mode structure, universality, and weakly nonlinear effects, Phys. Rev. D 112, 124031 (2025) , arXiv:2510.07468 [gr-qc]

    2025

  12. [20]

    Siemonsen, Weakly Turbulent Satura- tion of the Nonlinear Scalar Ergoregion In- stability, Phys

    N. Siemonsen, Weakly Turbulent Satura- tion of the Nonlinear Scalar Ergoregion In- stability, Phys. Rev. Lett. 136, 171401 (2026) , arXiv:2510.07467 [gr-qc]

    2026 arXiv

  13. [21]

    (22) Thus Eq

    reduces to s> A, which is automatic inside the ergoregion, while the second be- comes Cmax |sℓ0 −η ·ζ|<s (A +s). (22) Thus Eq. (

  14. [22]

    is a simple sufficient condition for the local negative-energy cone to overlap the exterior no-barrier window. If it holds strictly, continuity gives a nonempty open set of sufficiently small positive fragment masses and nearby emission directions for which E1 < 0, E2 =E0 −E1>E 0,...

  15. [23]

    Huang, D.-J

    Y. Huang, D.-J. Liu, and H. Zhang, Lensing and light rings of parity-odd rotating boson stars, Sci. China Phys. Mech. Astron. 68, 280411 (2025) , arXiv:2410.20867 [gr-qc]

    2025 arXiv

  16. [24]

    Liang, C

    C. Liang, C. Herdeiro, and E. Radu, Two asymp- totically flat spinning black holes balanced by their self-interacting, synchronised scalar hair, (2026), arXiv:2605.20374 [gr-qc]

    2026 arXiv

  17. [25]

    Completing the Penrose Process without a Horizon

    C. Herdeiro and E. Radu, Construction and physical properties of Kerr black holes with scalar hair, Class. Quant. Grav. 32, 144001 (2015) , arXiv:1501.04319 [gr-qc] . 6 Supplemental Material for “Completing the Penrose Process without a Horizon” I. GEOMETRIC ASSUMPTIONS AND ER...

    2015 arXiv

  18. [26]

    Choose an orthonormal spatial triad {eµ,q µ 1,q µ 2 } in the incident-particle rest space, with eµ = ζµ s , qA ·u0 = 0, qA ·e = 0, qA ·qB =δAB

    and make the openness of the compatible emission directions explicit. Choose an orthonormal spatial triad {eµ,q µ 1,q µ 2 } in the incident-particle rest space, with eµ = ζµ s , qA ·u0 = 0, qA ·e = 0, qA ·qB =δAB. (S6) Every unit emission direction can be written as nµ(χ,β ) =...

  19. [27]

    7 The relevant projections are ζ ·n =s cosχ, η ·n = η ·ζ s cosχ +η ·q(β) sinχ

    (S7) This parametrization automatically satisfies n2 = 1 and n ·u0 = 0. 7 The relevant projections are ζ ·n =s cosχ, η ·n = η ·ζ s cosχ +η ·q(β) sinχ. (S8) Define F−(χ,β ) = ks cosχ −Aε1, Fesc(χ,β ) = Aε2 +ks cosχ −αmaxm2 −Cmax ⏐ ⏐ ⏐ ⏐ε2ℓ0 −k [ η ·ζ s cosχ +η ·q(β) sinχ ] ⏐ ⏐ ⏐ ...

  20. [28]

    are pµ 1 = (0.497180219768636, 0, 0, 0.05551652011001657), pµ 2 = (19.238323347227055, −1.4343200042234983, 0, 4.695686109534503). (S24) The largest four-momentum-conservation residual is max µ |pµ 0 −pµ 1 −pµ 2 | = 9.25 × 10−12, (S25) while the mass-shell residuals are |p2 1 ...

Pith tools

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