New bounds for the area of MOTS and generalized ultra-massive spacetimes
Pith reviewed 2026-05-10 04:43 UTC · model grok-4.3
The pith
Closed marginally trapped surfaces have area bounds fixed by an Einstein-tensor component and an instability constant, realized in generalized ultra-massive spacetimes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Bounds for the area of general closed marginally trapped surfaces (MTSs) are presented. They do not require any stability condition, and are determined by a constant that depends on a particular component of the Einstein tensor on the surface and another constant that governs the (in)stability of the MTS. When stability is imposed, the area bounds are refined. These bounds are realized in spacetimes exhibiting interesting generic properties: they possess marginally trapped tubes foliated by marginally trapped topological spheres containing a distinguished round sphere with constant Gaussian curvature that saturates the area bound. This distinguished surface separates two distinct regions of
What carries the argument
Marginally trapped tube foliated by MTS spheres, with a distinguished round sphere of constant Gaussian curvature that saturates the area bound and separates a dynamical horizon from a timelike membrane.
If this is right
- The universal bound 4π/Λ is recovered for positive cosmological constant and spatially stable surfaces.
- Generalized ultra-massive spacetimes without event horizons exist for non-positive cosmological constant when the energy-momentum content is sufficiently strong.
- In these spacetimes the entire exterior region undergoes unavoidable collapse.
- The construction supplies concrete area constraints relevant to binary mergers and accreting compact objects.
Where Pith is reading between the lines
- Numerical simulations of gravitational collapse could be checked against the explicit area bound to verify consistency with the Einstein equations.
- The same foliation structure might appear in effective descriptions of compact-object mergers where apparent horizons form and evolve.
- Astrophysical signatures of collapse without a surrounding event horizon could be compared with the predicted behavior of generalized ultra-massive spacetimes.
Load-bearing premise
The spacetime obeys the Einstein equations with an energy-momentum tensor strong enough to support the bounds when the cosmological constant is non-positive, and closed marginally trapped surfaces exist with the stated foliation properties.
What would settle it
Discovery of a closed marginally trapped surface whose area exceeds the explicit bound constructed from the Einstein-tensor component and the instability constant, inside a spacetime satisfying the Einstein equations and the foliation assumptions.
read the original abstract
Bounds for the area of general closed marginally trapped surfaces (MTSs) are presented. They do not require any stability condition, and are determined by a constant that depends on a particular component of the Einstein tensor on the surface and another constant that governs the (in)stability of the MTS. When stability is imposed, the area bounds are refined. These bounds are realized in spacetimes exhibiting interesting generic properties: they possess marginally trapped tubes foliated by marginally trapped topological spheres containing a distinguished round sphere $\bar S$ with constant Gaussian curvature that saturates the area bound. This distinguished surface separates two distinct regions of the marginally trapped tubes: a dynamical horizon and a timelike membrane. The particular case where there is a positive cosmological constant leads to the well-known universal bound $4\pi/ \Lambda$ for spatially stable MTSs, and to the recently introduced `ultra-massive spacetimes'. These spacetimes are more extreme than black holes, as there is no event horizon and the entire exterior region undergoes unavoidable collapse. In this paper similar behaviour is found for non-positive $\Lambda$ if the energy-momentum content is powerful enough. The results may have implications for binary mergers and on accreting very compact objects.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives new upper bounds on the area of general closed marginally trapped surfaces (MTSs) in spacetimes satisfying the Einstein equations. These bounds are controlled by a constant extracted from a particular component of the Einstein tensor evaluated on the surface together with a second constant that encodes the (in)stability of the MTS; no stability assumption is required for the basic bound. When stability is imposed the bounds tighten. The bounds are saturated by a distinguished round sphere of constant Gaussian curvature that lies on a marginally trapped tube separating a dynamical horizon from a timelike membrane. For positive cosmological constant the construction recovers the known 4π/Λ bound and the ultra-massive spacetimes; for non-positive Λ the same structure is claimed to exist provided the energy-momentum tensor is “powerful enough.”
Significance. If the derivations hold, the work supplies a unified geometric framework for area bounds on MTSs that extends previous results to non-positive cosmological constants and introduces the notion of generalized ultra-massive spacetimes. The explicit realization of a round sphere saturating the bound and the associated dynamical-horizon/timelike-membrane decomposition could be useful for analyzing gravitational collapse, binary mergers, and accretion onto compact objects.
major comments (2)
- [Abstract and non-positive-Λ discussion] The generalization to Λ ≤ 0 rests on the unquantified assumption that the energy-momentum content is “powerful enough.” This assumption is load-bearing: without an explicit inequality controlling the relevant Einstein-tensor component (or an equivalent lower bound on the matter fields), the resulting area estimate is not guaranteed to be finite or independent of foliation details. The existence of the separating dynamical horizon / timelike membrane structure likewise depends on this control. (Abstract; the section introducing the non-positive-Λ case and the statement of the main theorem.)
- [Definition of instability constant and main inequality] The instability constant appears as a free parameter in the bound. It is not clear whether this constant is determined by the geometry or must be chosen a posteriori; if the latter, the bound is not fully determined by the Einstein tensor alone and the claim of a “new bound” requires clarification on how the constant is fixed or bounded. (The paragraph defining the instability constant and the statement of the area inequality.)
minor comments (2)
- [Abstract] Notation for the distinguished round sphere (denoted S-bar) and the marginally trapped tube should be introduced once and used consistently; the current abstract mixes “MOTS,” “MTS,” and “marginally trapped surfaces” without a clear global convention.
- [Abstract] The phrase “powerful enough” should be replaced by a precise inequality (or a reference to a standard energy condition) already in the abstract so that the scope of the result is immediately clear to readers.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive major comments. We address each point below and indicate the revisions we will make to strengthen the manuscript.
read point-by-point responses
-
Referee: [Abstract and non-positive-Λ discussion] The generalization to Λ ≤ 0 rests on the unquantified assumption that the energy-momentum content is “powerful enough.” This assumption is load-bearing: without an explicit inequality controlling the relevant Einstein-tensor component (or an equivalent lower bound on the matter fields), the resulting area estimate is not guaranteed to be finite or independent of foliation details. The existence of the separating dynamical horizon / timelike membrane structure likewise depends on this control. (Abstract; the section introducing the non-positive-Λ case and the statement of the main theorem.)
Authors: We agree that the informal phrase 'powerful enough' must be replaced by an explicit condition. The strong energy condition together with the Einstein equations already implies a lower bound on the relevant contraction of the Einstein tensor with the null normal, but this implication is not stated sharply enough in the current text. In the revised version we will add, both in the abstract and in the statement of the main theorem for Λ ≤ 0, the explicit inequality G_{ab}ℓ^a ℓ^b ≥ κ (with κ a positive constant depending on |Λ| and the stability parameter). Under this inequality the area bound is manifestly finite and independent of the choice of marginally trapped tube foliation, and the existence of the dynamical-horizon/timelike-membrane decomposition follows from the standard maximum-principle argument already used for positive Λ. We will also insert a short paragraph deriving the inequality from the strong energy condition. revision: yes
-
Referee: [Definition of instability constant and main inequality] The instability constant appears as a free parameter in the bound. It is not clear whether this constant is determined by the geometry or must be chosen a posteriori; if the latter, the bound is not fully determined by the Einstein tensor alone and the claim of a “new bound” requires clarification on how the constant is fixed or bounded. (The paragraph defining the instability constant and the statement of the area inequality.)
Authors: The instability constant is fixed by the geometry. It is defined as the smallest number C such that the stability operator L associated with the marginally trapped surface satisfies Lf + C f ≥ 0 for all positive test functions f (equivalently, C is an upper bound on the principal eigenvalue of -L). Because the stability operator is constructed from the second fundamental form, the mean curvature, and the Einstein tensor via the Einstein equations, C is completely determined by the intrinsic and extrinsic geometry of the surface; it is not chosen a posteriori. The basic area bound holds for any C satisfying this geometric inequality, while the sharpened bound uses the actual principal eigenvalue. To remove any ambiguity we will add, immediately after the definition, a remark stating that C is bounded above by an explicit expression involving the Einstein-tensor component already appearing in the bound, thereby making the dependence on the Einstein tensor fully transparent. revision: partial
Circularity Check
No circularity: area bounds derived directly from Einstein equations and MTS geometry
full rationale
The paper presents a mathematical derivation of area bounds for closed marginally trapped surfaces using the Einstein tensor component on the surface, an instability constant, and the Einstein equations as inputs. The bounds are obtained via standard GR inequalities on the surface without any parameter fitting, self-referential definitions, or load-bearing self-citations that reduce the result to prior unverified claims by the same author. For Lambda > 0 the result recovers the known 4 pi / Lambda bound as a special case; for Lambda <= 0 the 'powerful enough' energy-momentum assumption is an explicit external hypothesis rather than a derived or circular element. The distinguished round sphere and dynamical horizon structure follow from the same geometric setup. The derivation chain is self-contained against the stated assumptions and does not collapse to its inputs by construction.
Axiom & Free-Parameter Ledger
free parameters (1)
- instability constant
axioms (2)
- domain assumption Einstein field equations hold in the spacetime
- domain assumption Existence of closed marginally trapped surfaces with the described tube foliation
invented entities (1)
-
ultra-massive spacetimes
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Andersson L, Mars M, Metzger J and Simon W, The time evolution of marginally trapped surfacesClass. Quantum Grav.26(2009) 085018
work page 2009
-
[2]
Andersson L, Mars M and Simon W 2005 Local existence of dynamical and trapping horizonsPhys. Rev. Lett95111102
work page 2005
-
[3]
Andersson L, Mars M and Simon W 2008 Stability of marginally outer trapped surfaces and existence of marginally outer trapped tubes,Adv. Theor. Math. Phys. 12853
work page 2008
-
[4]
Ashtekar A and Krishnan B 2025, Quasi-local black hole horizons: recent advances Living Rev. Relativ.288
work page 2025
-
[5]
Ashtekar A and Galloway G J 2005 Some uniqueness results for dynamical horizons Adv. Theor. Math. Phys.91
work page 2005
-
[6]
Bekenstein JD 1973 Black holes and entropy.Phys. Rev. D72333–2346
work page 1973
-
[7]
Bekenstein JD 1974 Generalized second law of thermodynamics in black hole physics. Phys. Rev. D93292–3300
work page 1974
-
[8]
Bengtsson I and Senovilla J M M, Region with trapped surfaces in spherical symme- try, its core, and their boundariesPhys. Rev. D83(2011) 044012
work page 2011
-
[9]
Booth I, Black hole boundariesCan. J. Phys.83(2005) 1073–1099
work page 2005
-
[10]
Booth I, Brits L, Gonzalez J A and Van Den Broeck C, Marginally trapped tubes and dynamical horizons,Class. Quantum Grav.23(2006) 413 12
work page 2006
-
[11]
Bousso R and Engelhardt N, New Area Law in General Relativity,Phys. Rev. Lett. 115(2015) 081301
work page 2015
-
[12]
Bousso R and Engelhardt N, Proof of a new area law in general relativity,Phys. Rev. Lett.92(2015) 044031
work page 2015
-
[13]
2023 Remarks on the size of apparent horizons.Lett
Galloway, G.J. 2023 Remarks on the size of apparent horizons.Lett. Math. Phys. 113118
work page 2023
-
[14]
Galloway G J and Mendes A, 2018 Rigidity of marginally outer trapped 2-spheres, Comm. Anal. Geom.2663–83
work page 2018
-
[15]
Hawking SW 1975 Particle creation by black holes.Commun. Math. Phys.43199– 220
work page 1975
-
[16]
S. W. Hawking and G. F. R. Ellis.The Large Scale Structure of Spacetime. Cambridge University Press, 1973
work page 1973
-
[17]
Hayward S A 1994 General laws of black-hole dynamicsPhys. Rev. D,496467
work page 1994
-
[18]
Hayward S A, Shiromizu T and Nakao K-i, A cosmological constant limits the size of black holesPhys. Rev. D491994 5080–85
-
[19]
Jaramillo J L, Reiris M and Dain S 2011 Black hole area-angular momentum inequal- ity in non-vacuum spacetimesPhys.Rev. D84121503(R)
work page 2011
-
[20]
Mars, M. Stability of marginally outer trapped surfaces and applications, inRecent Trends in Lorentzian Geometry, S´ anchez, M., Ortega, M, and Romero, A. eds., (2012) 111-138 (Springer Proceedings in Mathematics & Statistics, vol 26. Springer, New York, NY)
work page 2012
-
[21]
Mars M and Senovilla J M M , Trapped surfaces and symmetries,Class. Quantum Grav.20(2003) L293
work page 2003
-
[22]
Newman R P A C, Topology and stability of marginal 2-surfaces,Class. Quantum Grav.4(1987) 277
work page 1987
-
[23]
Penrose R 1965 Gravitational collapse and space-time singularitiesPhys. Rev. Lett. 14, 57
work page 1965
-
[24]
Pook-Kolb D, Booth I and Hennigar R A, Ultimate fate of apparent horizons during a binary black hole merger. II. The vanishing of apparent horizons, ⁄tieacce♪tlowercasePhys. Rev. D 104(2021) 084084
work page 2021
-
[25]
Senovilla J M M, Singularity theorems and their consequences,Gen. Rel. Grav.30 (1998) 701–748
work page 1998
-
[26]
Quantum Grav.24(2007) 3091–3124 13
Senovilla J M M Classification of spacelike surfaces in spacetimeClass. Quantum Grav.24(2007) 3091–3124 13
work page 2007
-
[27]
Senovilla J M M, Trapped surfaces.Int. J. Mod. Phys. D20(2011) 2139–2168
work page 2011
-
[28]
Relativity and Gravitation. 100 years after Einstein in Prague
Senovilla J M M, On the stability operator for MOTS and the ’core’ of Black Holes, in Proceedings of the Conference “Relativity and Gravitation. 100 years after Einstein in Prague”,Springer Proc. Phys.157(2014) 215 (arXiv:1210.3731)
- [29]
-
[30]
Senovilla J M M, Ultra-massive spacetimes, Portugalia Math.80(2023) no.1/2, pp.133-155, DOI 10.4171/PM/2095
-
[31]
Senovilla J M M, Beyond black holes: Universal properties of ’ultra-massive’ space- times, Class. Quantum Grav.40(2023) 145002
work page 2023
-
[32]
Senovilla J M M and Garfinkle D, The 1965 Penrose singularity theorem,Class. Quantum Grav.32(2015) 124008
work page 1965
-
[33]
Shiromizu T, Izumi K, Lee K and Soligon D, Maximum size of black holes in our accelerating Universe, Phys. Rev. D106(2022) 084014
work page 2022
-
[34]
Simon W 2012 Bounds on area and charge for marginally trapped surfaces with cosmological constantClass. Quantum Grav29062001
work page 2012
-
[35]
Woolgar E, Bounded area theorems for higher-genus black holesClass. Quantum Grav.16(1999) 3005 14
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.