pith. sign in

arxiv: 2605.16629 · v1 · pith:TFYDIWPVnew · submitted 2026-05-15 · 🌀 gr-qc

Classical Dressing of Timelike Naked Singularities

Pablo Le\'on , G. Alencar , Manuel Gonzalez-Espinoza , Francisco Tello-Ortiz This is my paper

Pith reviewed 2026-05-20 15:51 UTC · model grok-4.3

classification 🌀 gr-qc
keywords timelike naked singularityanisotropic fluidevent horizongeneral relativityspherical symmetrynegative massdensity profilehorizon formation
0
0 comments X

The pith

Non-negative localized matter can cloak timelike naked singularities by forming a unique outer event horizon.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper asks whether a timelike naked singularity of the negative-mass Schwarzschild type can be hidden from causal access by surrounding it with static anisotropic matter. Solving Einstein's equations for arbitrary radial density profiles shows that horizon formation is controlled by the auxiliary function Phi(r) = 2m(r) - r. When the density is non-negative, sufficiently localized, and its integrated mass exceeds the negative bare mass, a single outer horizon appears that cloaks the singularity. Non-monotonic profiles instead produce multiple horizons. The results give sufficient conditions under which matter can causally dress the singularity in classical general relativity.

Core claim

Working within a spherically symmetric framework, we solve Einstein's equations for a general density profile rho(r) and show that the horizon structure is governed by the auxiliary function Phi(r)=2m(r)-r, whose zeros determine the existence and multiplicity of horizons. We derive sufficient conditions for the formation of a unique outer event horizon in terms of the total added mass, the localization of the matter profile, and the monotonic behavior of the effective compactness function 8 pi r^2 rho(r). In particular, non-negative and sufficiently localized density profiles can cloak the timelike singularity when the cumulative matter contribution overcomes the negative bare mass, whereas非

What carries the argument

The auxiliary function Phi(r) = 2m(r) - r whose zeros fix the locations and number of horizons.

If this is right

  • Non-negative localized profiles produce a unique outer horizon that cloaks the singularity.
  • Non-monotonic profiles generically create multi-horizon configurations.
  • Power-law, logarithmic, and T-duality-inspired profiles all illustrate the cloaking when the mass condition holds.
  • The radial distribution of matter directly controls whether the singularity remains causally accessible.

Where Pith is reading between the lines

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

  • Similar matter dressing might operate in less symmetric settings if the same mass-overcoming condition can be met dynamically.
  • Numerical evolution of matter around a negative-mass seed would test whether the static cloaking persists under small perturbations.
  • The framework connects to broader questions of how classical matter can enforce causal hiding of singularities without invoking quantum effects.

Load-bearing premise

The spacetime stays static and spherically symmetric while the anisotropic fluid density profile can be chosen independently of the metric functions.

What would settle it

A concrete density profile whose total integrated mass exceeds the negative bare mass yet Phi(r) never crosses zero, leaving the singularity causally accessible.

Figures

Figures reproduced from arXiv: 2605.16629 by Francisco Tello-Ortiz, G. Alencar, Manuel Gonzalez-Espinoza, Pablo Le\'on.

Figure 1
Figure 1. Figure 1: FIG. 1: This panel shows all cases for the function Φ( [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
read the original abstract

We investigate whether a timelike naked singularity of negative-mass Schwarzschild type can be causally dressed by a static anisotropic matter distribution in classical general relativity. Working within a spherically symmetric framework, we solve Einstein's equations for a general density profile \(\rho(r)\) and show that the horizon structure is governed by the auxiliary function \(\Phi(r)=2m(r)-r\), whose zeros determine the existence and multiplicity of horizons. We derive sufficient conditions for the formation of a unique outer event horizon in terms of the total added mass, the localization of the matter profile, and the monotonic behavior of the effective compactness function \(8\pi r^2\rho(r)\). In particular, non-negative and sufficiently localized density profiles can cloak the timelike singularity when the cumulative matter contribution overcomes the negative bare mass, whereas non-monotonic profiles generically lead to multi-horizon geometries. We illustrate the formalism with discontinuous and smooth power-law profiles, logarithmic branches, and T-duality-inspired limiting configurations. These results provide a sufficient-condition framework for horizon formation around timelike naked singularities and clarify how the radial organization of matter controls causal accessibility in static general relativity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The manuscript investigates whether a timelike naked singularity of negative-mass Schwarzschild type can be causally dressed by a static anisotropic matter distribution in classical general relativity. Working in spherical symmetry, it solves Einstein's equations for a general density profile ρ(r), introduces the auxiliary function Φ(r)=2m(r)−r whose zeros determine horizons, and derives sufficient conditions for a unique outer event horizon in terms of the total added mass, localization of the matter profile, and monotonic behavior of the effective compactness function 8πr²ρ(r). Non-negative and sufficiently localized profiles are shown to cloak the singularity when the cumulative mass overcomes the negative bare mass, while non-monotonic profiles generically produce multi-horizon geometries. The formalism is illustrated with discontinuous and smooth power-law profiles, logarithmic branches, and T-duality-inspired configurations.

Significance. If the derivations hold, the paper supplies a concrete sufficient-condition framework for horizon formation around timelike naked singularities, clarifying the role of radial matter organization in controlling causal accessibility within static general relativity. The explicit construction with arbitrary ρ(r), the direct determination of m(r) from the density via Einstein's equations, and the provision of multiple illustrative profiles constitute clear strengths. The internal consistency of subsequently choosing anisotropic pressures to satisfy the remaining field equations further supports the approach.

major comments (1)
  1. [Derivation of sufficient conditions] Section deriving sufficient conditions from zeros of Φ(r): the claim that monotonicity of 8πr²ρ(r) together with localization and total added mass exceeding the bare negative value guarantees a single outer zero relies on intermediate-value behavior, but the precise inequalities (including the support radius relative to the would-be horizon) are not stated explicitly enough to permit immediate verification for arbitrary profiles.
minor comments (3)
  1. The notation distinguishing the bare mass from the total added mass should be introduced with a dedicated equation at the outset to avoid ambiguity when discussing the cumulative matter contribution.
  2. [Illustrations with example profiles] Figure captions for the example profiles (power-law, logarithmic) should list the specific parameter values chosen to satisfy the sufficient conditions, including the integrated mass relative to the bare value.
  3. A brief reference to prior literature on anisotropic fluid sources in spherical symmetry would help situate the choice of pressure functions after m(r) is fixed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive feedback. We address the major comment below and agree that additional explicit statements will improve verifiability.

read point-by-point responses

  1. Referee: [Derivation of sufficient conditions] Section deriving sufficient conditions from zeros of Φ(r): the claim that monotonicity of 8πr²ρ(r) together with localization and total added mass exceeding the bare negative value guarantees a single outer zero relies on intermediate-value behavior, but the precise inequalities (including the support radius relative to the would-be horizon) are not stated explicitly enough to permit immediate verification for arbitrary profiles.

    Authors: We thank the referee for this observation. The derivation in the manuscript applies the intermediate-value theorem to Φ(r) under the stated assumptions on total mass, localization, and monotonicity of 8πr²ρ(r), but we agree that the supporting inequalities can be stated more sharply. In the revised manuscript we will add explicit conditions: the matter support radius R must satisfy R < r_0 where r_0 is the unique positive root of 2M = r_0 with M the total mass (bare plus integrated density), together with the requirement that d(8πr²ρ)/dr ≥ 0 on the support to control the sign of Φ'(r) and preclude additional zeros. These additions will allow direct verification for arbitrary profiles meeting the hypotheses. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained; no circularity detected

full rationale

The paper prescribes an arbitrary non-negative density profile ρ(r) as input, integrates it via the standard spherical mass function m(r) to obtain the auxiliary Φ(r) = 2m(r) − r, and then applies the intermediate-value theorem plus support and monotonicity conditions to guarantee a single outer root. This chain is a direct mathematical consequence of the Einstein equations in spherical symmetry and does not reduce any claimed prediction back to a fitted parameter, self-citation, or redefinition of the input. No load-bearing step relies on prior work by the same authors or on an ansatz smuggled through citation; the horizon-location criterion follows immediately from the definitions once ρ(r) is given. The construction is therefore internally consistent and externally falsifiable by direct integration.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on the assumptions of classical general relativity, spherical symmetry, and the ability to prescribe a static anisotropic density profile independently.

free parameters (1)
  • total added mass
    Must be chosen large enough to overcome the negative bare mass; appears as a free parameter in the sufficient conditions.
axioms (2)
  • domain assumption The spacetime is static and spherically symmetric.
    Invoked to reduce Einstein's equations to an ordinary differential equation for the mass function m(r).
  • domain assumption Matter is described by a static anisotropic fluid with prescribed density rho(r).
    Allows the authors to treat rho(r) as an input function whose properties control horizon formation.

pith-pipeline@v0.9.0 · 5737 in / 1329 out tokens · 60484 ms · 2026-05-20T15:51:25.721138+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · 6 internal anchors

  1. [1]

    the total added mass is finite, ∆M= 4π Z ∞ 0 ρ(s)s2ds <∞; (30)

    work page

  2. [2]

    the effective mass is positive, Meff =−|M|+ ∆M >0; (31)

    work page

  3. [3]

    (The local compactness-lifting condition) the func- tion H(r)≡8πr 2ρ(r) (32) has a single maximum and satisfies H(r)→0, r→ ∞; (33)

    work page

  4. [4]

    In this sense, horizon formation emerges from a competition between the negative bare core and the cu- mulative growth of the exterior matter layer

    there existsR >0such that 8π Z R 0 ρ(s)s2ds≥R+ 2|M|.(34) Geometrically, condition (33) measures whether the local accumulation of positive matter is sufficient to overcome the causal deficit induced by the negative-mass naked sin- gularity. In this sense, horizon formation emerges from a competition between the negative bare core and the cu- mulative grow...

    work page

  5. [5]

    the compactness condition 8π Z R 0 ρ(s)s2ds≥R+ 2|M|(41) is not satisfied for anyR >0; 2.∆M≤ |M|, then the dressing may fail to generate an outer event hori- zon. More precisely: •insufficient compactness preventsΦ(r)from reach- ing non-negative values; •insufficient total added mass leaves the asymptotic mass non-positive and prevents a standard asymp- to...

    work page

  6. [6]

    S. W. Hawking, G. F. R. Ellis, The Large Scale Structure of Space-Time, Cambridge University Press, 1973

    work page 1973

  7. [7]

    R. M. Wald, General Relativity, University of Chicago Press, 1984

    work page 1984

  8. [8]

    Penrose, Gravitational collapse and space-time singu- larities, Phys

    R. Penrose, Gravitational collapse and space-time singu- larities, Phys. Rev. Lett. 14 (1965) 57–59.doi:10.1103/ PhysRevLett.14.57

    work page 1965

  9. [9]

    D. M. Eardley, L. Smarr, Time function in numerical relativity. Marginally bound dust collapse, Phys. Rev. D 19 (1979) 2239–2259.doi:10.1103/PhysRevD.19.2239

    work page doi:10.1103/physrevd.19.2239 1979

  10. [10]

    P. S. Joshi, Gravitational collapse and spacetime singu- larities, Cambridge University Press (2007)

    work page 2007

  11. [11]

    P. S. Joshi, D. Malafarina, Recent developments in gravi- tational collapse and spacetime singularities, Int. J. Mod. Phys. D 20 (2011) 2641

    work page 2011

  12. [12]

    Gundlach, D

    C. Gundlach, D. Hilditch, J. M. Mart´ ın-Garc´ ıa, Critical Phenomena in Gravitational Collapse (7 2025).arXiv: 2507.07636

    work page arXiv 2025

  13. [13]

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

    R. Penrose, Gravitational collapse: The role of general relativity, Riv. Nuovo Cim. 1 (1969) 252–276.doi:10. 1023/A:1016578408204

    work page 1969

  14. [14]

    Christodoulou, Violation of cosmic censorship in the gravitational collapse of a dust cloud, Commun

    D. Christodoulou, Violation of cosmic censorship in the gravitational collapse of a dust cloud, Commun. Math. Phys. 93 (1984) 171–195.doi:10.1007/BF01223743

    work page doi:10.1007/bf01223743 1984

  15. [15]

    The instability of naked singularities in the gravitational collapse of a scalar field

    D. Christodoulou, The Instability of Naked Singularities in the Gravitational Collapse of a Scalar Field, Annals Math. 149 (1) (1999) 183.arXiv:math/9901147,doi: 10.2307/121023

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2307/121023 1999

  16. [16]

    J. M. Bardeen, Non-singular general-relativistic gravita- tional collapse, Proc. GR5 (1968)

    work page 1968

  17. [17]

    S. A. Hayward, Formation and evaporation of non- singular black holes, Phys. Rev. Lett. 96 (2006) 031103

    work page 2006

  18. [18]

    Dymnikova, Vacuum nonsingular black hole, General Relativity and Gravitation 24 (3) (1992) 235–242.doi: 10.1007/BF00760226

    I. Dymnikova, Vacuum nonsingular black hole, General Relativity and Gravitation 24 (3) (1992) 235–242.doi: 10.1007/BF00760226

    work page doi:10.1007/bf00760226 1992

  19. [19]

    P. O. Mazur, E. Mottola, Gravitational vacuum conden- sate stars, Proceedings of the National Academy of Sci- ences 101 (26) (2004) 9545–9550.arXiv:gr-qc/0407075, doi:10.1073/pnas.0402717101

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1073/pnas.0402717101 2004

  20. [20]

    Stable gravastars - an alternative to black holes?

    M. Visser, D. L. Wiltshire, Stable gravastars – an al- ternative to black holes?, Classical and Quantum Grav- ity 21 (4) (2004) 1135–1152.arXiv:gr-qc/0310107, doi:10.1088/0264-9381/21/4/027

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/0264-9381/21/4/027 2004

  21. [21]

    Quantum dress for a naked singularity

    M. Casals, A. Fabbri, C. Mart´ ınez, J. Zanelli, Quantum dress for a naked singularity, Phys. Lett. B 760 (2016) 244–248.arXiv:1605.06078,doi:10.1016/j.physletb. 2016.06.044

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.physletb 2016

  22. [22]

    R. J. Gleiser, G. Dotti, Instability of the negative mass Schwarzschild naked singularity, Class. Quant. Grav. 23 (2006) 5063–5078.arXiv:gr-qc/0604021,doi:10.1088/ 0264-9381/23/15/021

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  23. [23]

    Galactic Dark Matter in the Phantom Field

    M.-H. Li, K.-C. Yang, Galactic Dark Matter in the Phan- tom Field, Phys. Rev. D 86 (2012) 123015.arXiv: 1204.3178,doi:10.1103/PhysRevD.86.123015

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.86.123015 2012

  24. [24]

    Masset, R

    P. Nicolini, E. Spallucci, M. F. Wondrak, Quantum Cor- rected Black Holes from String T-Duality, Phys. Lett. B 797 (2019) 134888.arXiv:1902.11242,doi:10.1016/j. physletb.2019.134888

    work page doi:10.1016/j 2019