Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Scalar perturbations to naked singularities of perfect fluid

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper proves that spherically symmetric self-similar naked singularities of the isothermal perfect-fluid Einstein–Euler system are unstable to C^{1,α} scalar perturbations, which generically produce a trapped surface before the…

desk verdict A solid conditional theorem with genuinely new fluid estimates; the advertised application to the known perfect-fluid naked singularities needs one more verification step. read the letter →

arxiv 2505.20766 v1 pith:DZA73YAD submitted 2025-05-27 gr-qc math.APmath.DG

Junbin Li , Xi-Ping Zhu This is my paper
classification gr-qcmath.APmath.DG MSC 83C0583C1583C7535L65
keywords nakedsingularitytrappedsurfaceweakcosmiccensorshipEinstein–Eulersystemperfectfluidscalarfieldperturbationself-similarcollapsedoublenullcoordinates
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 argues that the spherically symmetric, self-similar naked singularities of the Einstein–Euler system with isothermal perfect fluid are unstable: a tiny, smooth pulse of massless scalar field crossing the past null cone of the singularity forces a closed trapped surface to form before the singularity is reached. The mechanism is a blue-shift: along the singularity's past null cone the lapse function decays like a power of the affine distance, so the scalar wave's outgoing derivative $r\partial_u\phi$ stays large while the geometry contracts, and the Raychaudhuri equation then drives the outgoing null expansion negative. Because the fluid's sound speed is slower than light, the fluid variables remain well-behaved and self-similar in the relevant region, so the Euler part is a local problem. If correct, the result makes the known perfect-fluid naked singularities exceptional rather than generic, and gives a concrete toy-model confirmation of the instability side of weak cosmic censorship.

What carries the argument

The load-bearing object is the lapse function $\Omega$ of the double null foliation restricted to the past null cone $C_0$. Its power-law decay, $\Omega|_{C_0}\lesssim |u|^{\alpha_2}$, follows from the strong-curvature condition via the Raychaudhuri equation (1.4), or from self-similarity via $\mathrm{Ric}(u\partial_u,u\partial_u)=\mathrm{const}$. This blue-shift converts a fixed-size initial scalar pulse into a large outgoing derivative $r\partial_u\phi$ on nearby cones; the wave equation (2.9) shows $r\partial_u\phi$ is roughly conserved along $u$, and the Raychaudhuri inequality $\partial_u(\Omega^{-2}\partial_u r)\le -r\Omega^{-2}(\partial_u\phi)^2$ then makes the expansion negative. The fluid part is controlled by the fact that its acoustical characteristics $U_\pm$ travel slower than light, so the Euler equations are effectively local in the region where the trapped surface forms.

What would settle it

Compute (or numerically measure) the limit of $r^2\mathrm{Ric}(\partial_u,\partial_u)$ along the past null cone $C_0$ of the solutions constructed in [12,18]. If it tends to zero, or if the lapse decays slower than any power of $|u|$, the blue-shift amplification used in Theorem 4.1 fails and the constructed trapped surface would not form. Conversely, a direct numerical evolution of these backgrounds with a small scalar pulse could look for the predicted trapped surface and check whether its location scales with the pulse amplitude as the proof requires.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.2, is that for the double null characteristic problem with data on $C_0$ satisfying the stated bounds ($r^2\varrho$, $U_u$, and derivatives bounded), there exists a one-parameter family of smooth initial scalar data $\phi^t$ on $C_{u_0}$ with $r\partial_u\phi^t\to0$ in $C^\alpha$ such that, for every sufficiently small $t\ne0$, the maximal future development contains a closed trapped surface lying before the singularity $O$. Moreover the set of data producing a trapped surface contains an open set in $C^\alpha$, with the zero data (the exact naked-singularity solution) as a limit point, so the phenomenon is generic rather than a measure-zero accident. The paper proves this by a priori estimates of the coupled Einstein–scalar–Euler system in spherical symmetry: it establishes uniform bounds on geometry, scalar derivatives, and fluid variables in the region $u/|u|\ll1$, then integrates the Raychaudhuri equation with the amplified scalar term to force the expansion $h$ negative on a sphere.

Load-bearing premise

The whole mechanism rests on the background naked singularity being strong in the sense of (1.5) along its past null cone, so that $r^2\mathrm{Ric}(\partial_u,\partial_u)$ is bounded below by a positive constant and the lapse decays as a power of $|u|$; the paper cites [18] for this property rather than proving it.

Editorial extensions

If this is right

  • If Theorem 1.2 is correct, the known self-similar perfect-fluid naked singularities are not stable end states: arbitrarily small smooth scalar perturbations form a horizon, so weak cosmic censorship holds in this toy model.
  • The mechanism does not require continuous self-similarity of the background -- only boundedness of $r^2\varrho$, $U_u$, and derivatives -- so the instability applies to any spherically symmetric naked singularity satisfying those bounds, not just the explicitly constructed ones.
  • Because the set of trapped-surface-producing data is open and has zero data as a limit point, the instability is generic in $C^\alpha$: a whole neighborhood of the naked-singularity data leads to trapped-surface formation.
  • The fluid's slower-than-light sound speed makes the Euler part local, so the same blue-shift argument should transfer to other matter models with subluminal sound speed whenever the singularity is strong in the sense of (1.5).

Reading between the lines

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

  • A natural next step, not taken in the paper, is to show that the trapped surface grows into a genuine apparent horizon emerging from the singularity; the monotonic structure of the Raychaudhuri argument suggests this should hold under the same hypotheses.
  • One could test the predicted scaling numerically: for a pulse of amplitude $t$, the first trapped surface should appear at a scale $|u_1|$ related to $t$ through the relation (4.4), giving a sharp, falsifiable signature of the mechanism.
  • The spherical-symmetry restriction and the use of an external scalar field leave open the original non-spherically symmetric Einstein–Euler instability; if the present open-set genericity carries over, the fully gravitational instability would follow, but the Birkhoff obstruction and nonspherical fluid coupling are nontrivial.
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 / 5 minor

Summary. The paper studies the spherically symmetric Einstein equations with an isothermal perfect fluid (p = κϱ) and a massless scalar field, treating the fluid as the background and the scalar field as an added perturbation. The claim is that the continuously self-similar naked singularity solutions of the Einstein–Euler system constructed numerically by Ori–Piran and rigorously by Guo–Hazic–Jang are unstable: arbitrarily small scalar-field data on the outgoing characteristic cone produce a closed trapped surface before the singularity, and the unstable data form an open set with the zero data as a limit point (Theorem 1.1, made precise in Theorem 1.2). The proof is conditional on quantitative bounds on the incoming null cone C0 (the B-bounds on r²ϱ, U_u, and first derivatives); from these it derives the power-law blue shift Ω0(u) ≲ |u|^β, proves a priori estimates for the coupled fluid–scalar system in a small rectangle (Theorems 3.1 and 3.2), and then uses the Raychaudhuri equation to force the outgoing expansion negative, producing the trapped surface. A genericity statement is obtained by constructing explicit C^α-small data satisfying an integral lower bound.

Significance. If the conditional Theorem 1.2 is accepted, the result is significant: it extends Christodoulou's trapped-surface instability mechanism beyond the Einstein–scalar field model to a fluid model with sound speed less than light, and the fluid characteristic bootstrap estimates (Theorems 3.1 and 3.2) are the main technical new work. The theorem is robust in that it does not rely on self-similarity beyond the blue-shift bound, and the construction of the C^α-small scalar data and the open-set statement are explicit and quantitative. The paper also contains detailed, essentially self-contained bootstrap proofs rather than a purely formal mechanism. The main weakness is that the advertised application to the [12,18] solutions is not fully verified: the key blue-shift bound is derived from assumed B-bounds, and the paper does not prove that the [12,18] solutions satisfy those bounds. No circularity was found: the B-bounds imply the blue shift, not vice versa.

major comments (2)
  1. [§1.3 and proof of Theorem 1.2 after (3.20)] The bridge from Theorem 1.2 to Theorem 1.1 is not rigorously supplied. Theorem 1.2 assumes the B-bounds on C0, and the proof derives the power-law blue shift Ω0(u) ≤ cβ|u|^β from the lower bound on r²ϱ|U_L|² in (3.20); the entire trapped-surface mechanism in Theorem 4.1 uses this exponent β. For the naked singularity solutions of [12,18], however, the paper does not verify the B-bounds; it appeals to self-similarity and cites [18] for the Tipler condition (1.5), while [12] is used only as an existence result. Since [18] is a numerical study and the B-bounds are quantitative statements on the past null cone, Theorem 1.1 as stated is stronger than what is proved. The authors should add a lemma verifying (1.8) and the derivative bounds on C0 for the [12] solutions, or state Theorem 1.1 as a conditional result depending on those bounds.
  2. [End of Section 3; proof of Theorem 1.2] The local existence step is only sketched. The estimates in Theorems 3.1 and 3.2 are a priori estimates for a regular solution, and the text says that a regular solution can be constructed by a standard argument with a reference to [12]. Since the theorem concludes about the maximal future development of the coupled Einstein–scalar–Euler system, the characteristic initial value problem used should be stated explicitly, including the function spaces and the treatment of the singular endpoint O of C0. This is likely routine, but as written the existence statement is a gap in the proof of Theorem 1.2, not merely a presentation issue.
minor comments (5)
  1. [Abstract and Remark 1.2] The abstract refers to C^{1,α} perturbations of the scalar field, while Theorem 1.2 states convergence of r∂_uφ^t in C^α topology; please align the terminology and explain how the spacetime perturbation is C^{1,α}.
  2. [Section 3] The notation 'C ε' in the bootstrap assumptions appears to mean C^ε but is typeset ambiguously; please use a consistent notation such as C^\varepsilon and define it explicitly.
  3. [Theorem 1.2] There is a grammatical typo in 'there is an B ⩾ 1'; it should read 'a B ⩾ 1'.
  4. [Proof of Theorem 4.1] The constant in 'c1 = min{4c2, 2^6}' is unclear; it should state explicitly how c1 is chosen relative to the constant c appearing in the preceding wave-equation estimate.
  5. [Section 1.2] The derivation of (1.7) from self-similarity should state which facts about [12,18] are assumed (invariance of C0 under the homothetic Killing field, constancy of r²ϱ and U_u) and which are proved, since [18] is numerical and the rigorous verification is part of the gap noted in the major comments.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the trapped-surface result is a conditional theorem derived from explicit background bounds and an explicit scalar-data construction; the blue-shift bound (1.9)/(3.20) is derived, not assumed.

full rationale

The derivation chain is not circular. Theorem 1.2 assumes concrete B-bounds on r^2ϱ, U_u and derivatives on C0; Section 1.3 and equation (3.20) then derive the quantitative blue-shift bound Ω0(u) ≤ cβ |u|^β, and the proof of Theorem 1.2 uses this only as an upper bound to choose the exponent α < 2β/(2β+3). The scalar perturbations are explicitly constructed as rLφ^t = t u^α (cut off near u=0), and condition (4.3) is a lower bound on the initial data that makes the Raychaudhuri integration in Theorem 4.1 produce h<0; this is a sufficient-condition argument, not a fitted prediction. The estimates for the coupled fluid-scalar system (Theorems 3.1 and 3.2) are proved inside the paper; the self-citations [13,15] describe the strategy but are not needed as unproved inputs. The only dependence on external work is the citation of [18] (and [12]) to identify that the known self-similar perfect-fluid naked singularities satisfy the strong-curvature/self-similarity assumptions; this is a support gap for the bridge from Theorem 1.2 to Theorem 1.1, not a circular reduction, because the cited condition is not the target conclusion and the cited work is not by the present authors. The theorem remains conditional: if the B-bounds fail for some background, the proof does not apply, but that is an applicability limitation, not circularity.

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

The load-bearing inputs are: (1) existence and structure of the background naked singularity solutions ([12], [18]), including their strong-curvature property, which supplies the blue-shift rate; (2) local well-posedness of the coupled system in double null gauge ([12]), invoked to turn the a priori estimates into an actual solution; (3) the causal-structure assumption that acoustic characteristics meet the past boundary. No free parameters are fitted, and no new physical entities (particles, forces, dimensions) are postulated. The result does not reduce to its inputs: the trapped-surface conclusion is derived from the stated data bounds by the estimates proved in Section 3.

assumptions (4)
  • domain assumption Local well-posedness of smooth solutions of the spherically symmetric Einstein-scalar-Euler system in double null coordinates (without the scalar field this is [12]).
    Invoked at the end of Section 3 to pass from the a priori estimates to an actual regular solution: 'a regular solution of the system (1.1) in double null coordinates in this region can be constructed by standard argument'.
  • domain assumption The background naked singularity solutions of [12, 18] are strong curvature singularities: the condition (1.5) holds along radial null geodesics, equivalently r²Ric(∂u,∂u) on C_0 is bounded below by a positive constant.
    This is the input behind the quantitative blue-shift bound (1.9) in Section 1.3; for the general theorem it is replaced by explicit bounds on the C_0 fluid data (the B-bound of Theorem 1.2), but the advertised application to [12, 18] relies on the check in [18].
  • domain assumption In the maximal development, inextendible causal curves from the region (u,u) ∈ [0,δ] × [u0,u1] hit the past boundary C_{u0} ∪ C_0, so the acoustic characteristics γ± are well defined.
    Used in the fluid estimates of Section 3 (paragraph 'The existence of such a point can be argued...'), justified by global hyperbolicity of the maximal development.
  • domain assumption On C_0, the Hawking mass is non-negative and no spherical section is trapped, so 0 ≤ h₀ ≤ 1.
    Stated in Theorem 1.2 and used to control h₀ in the bootstrap and in the trapped surface criterion; Remark 1.1 notes the proof tolerates a bounded negative 2m/r.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Scalar perturbations to naked singularities of perfect fluid." pith.science (2026). https://pith.science/paper/DZA73YAD

@misc{pith2026250520766,
  author       = {Pith},
  title        = {Pith review of: Scalar perturbations to naked singularities of perfect fluid},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DZA73YAD}},
  note         = {Machine review of arXiv:2505.20766}
}
abstract

In this paper, we study the instability of naked singularities arising in the Einstein equations coupled with isothermal perfect fluid. We show that the spherically symmetric self-similar naked singularities of this system, are unstable to trapped surface formation, under $C^{1,\alpha}$ perturbations of an external massless scalar field. We viewed this as a toy model in studying the instability of these naked singularities under gravitational perturbations in the original Einstein--Euler system which is non-spherically symmetric.

Figures

Figures reproduced from arXiv: 2505.20766 by the authors.

Figure 1
Figure 1. Theorem 1.1. The spherically symmetric and continuously self-similar naked singularity solutions as constructed in [12, 18], as a solution of the whole system (1.1), are unstable to trapped surface formation under C 1,α (α depends on the particular naked singularity solution) perturbations of scalar field ϕ. The precise version is Theorem 1.2, presented in the Section 1.3. Although the naked singularities constructe… view at source ↗
Figure 2
Figure 2. endowed with a parameter u = −r, ϕ ≡ 0 and there is an B ⩾ 1 such that on C0 , r 2 ϱ,(r 2 ϱ) −1 , |Uu|, |(Uu) −1 |, |r 3 ∂uϱ|, |r∂uUu| ⩽ B. We also assume the Hawking mass m [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Interior instability of naked singularities of a scalar field

    gr-qc 2025-08 conditional novelty 8.0 of 10

    Nonlinear interior perturbations below a regularity threshold make k-self-similar scalar-field naked singularities collapse into trapped surfaces and black holes.

Reference graph

Works this paper leans on

23 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [18]

    A. Ori, T. Piran,Naked singularities and other features of self-similar general- relativistic gravitational collapse, Phys. Rev. D 42, 1068, 1990

    work page 1990

  2. [12]

    Y. Guo, M. Hadzic, M., J. Jang,Naked Singularities in the Einstein-Euler System, Ann. PDE 9, 4 (2023)

    2023

  3. [1]

    An,Naked Singularity Censoring with Anisotropic Apparent Horizon, arXiv:2401.02003

    X. An,Naked Singularity Censoring with Anisotropic Apparent Horizon, arXiv:2401.02003

    arXiv

  4. [2]

    X. An, H. K. Tan,A Proof of Weak Cosmic Censorship Conjecture for the Spherically Symmetric Einstein-Maxwell-Charged Scalar Field System, arXiv:2402.16250

    arXiv

  5. [3]

    Choptuik,Universality and scaling in gravitational collapse of a massless scalar field, Phys

    M.W. Choptuik,Universality and scaling in gravitational collapse of a massless scalar field, Phys. Rev. Lett., 70, 9–12, (1993). SCALAR PERTURBATIONS TO NAKED SINGULARITIES OF PERFECT FLUID 25

    work page 1993

  6. [4]

    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, 171–195 (1984)

    work page 1984

  7. [5]

    Christodoulou,The formation of black holes and singularities in spherically sym- metric gravitational collapse, Communications on Pure and Applied Mathematics 44, no

    D. Christodoulou,The formation of black holes and singularities in spherically sym- metric gravitational collapse, Communications on Pure and Applied Mathematics 44, no. 3 (1991): 339-373

    work page 1991

  8. [6]

    Christodoulou,Bounded variation solutions of the spherically symmetric einstein- scalar field equations, Communications on Pure and Applied Mathematics 46, no

    D. Christodoulou,Bounded variation solutions of the spherically symmetric einstein- scalar field equations, Communications on Pure and Applied Mathematics 46, no. 8 (1993): 1131-1220

    work page 1993

Show all 23 references
  1. [7]

    Christodoulou,Examples of Naked Singularity Formation in the Gravitational Collapse of a Scalar Field, Annals of Mathematics, (1994) 140(3), 607–653

    D. Christodoulou,Examples of Naked Singularity Formation in the Gravitational Collapse of a Scalar Field, Annals of Mathematics, (1994) 140(3), 607–653

    1994

  2. [8]

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

    D. Christodoulou,The instability of naked singularities in the gravitational collapse of a scalar field, Ann. of Math. 149, 183-217 (1999)

    1999

  3. [9]

    Christodoulou,On the global initial value problem and the issue of singularities, Class

    D. Christodoulou,On the global initial value problem and the issue of singularities, Class. Quantum Grav. (1999) 16 A23

    1999

  4. [10]

    Christodoulou,The Formation of Black Holes in General Relativity, Monographs in Mathematics, European Mathematical Soc

    D. Christodoulou,The Formation of Black Holes in General Relativity, Monographs in Mathematics, European Mathematical Soc. 2009

    2009

  5. [11]

    Clarke, A

    C.J.S. Clarke, A. Kr´ olak,Conditions for the occurence of strong curvature singulari- ties, Journal of Geometry and Physics, Volume 2, Issue 2, 127–142, 1985

    1985

  6. [13]

    Li, and J

    J. Li, and J. LiuInstability of spherical naked singularities of a scalar field under gravitational perturbations, Journal of Differential Geometry, 120(1): 97-197, 2022

    2022

  7. [14]

    Li and X

    J. Li and X. P. Zhu, in preparation

  8. [15]

    Liu and J

    J. Liu and J. Li,A robust proof of the instability of naked singularities of a scalar field in spherical symmetry, Comm. Math. Phys. 363 (2018), no. 2, 561–578

    2018

  9. [16]

    R. P. Newman,Strengths of naked singularities in Tolman-Bondi spacetimes, Classical and Quantum Gravity, 3, 527-539, 1986

    1986

  10. [17]

    R. P. Newman,Cosmic Censorship and the Strengths of Singularities. In: Bergmann, P.G., De Sabbata, V. (eds) Topological Properties and Global Structure of Space- Time. NATO ASI Series. Springer, Boston, MA, 1986

    1986

  11. [19]

    Penrose,Gravitational collapse: the role of general relativity, Noovo Cimento 1, 252 - 276 (1969)

    R. Penrose,Gravitational collapse: the role of general relativity, Noovo Cimento 1, 252 - 276 (1969)

    1969

  12. [20]

    Rodnianski, Y

    I. Rodnianski, Y. Shlapentokh-Rothman,Naked singularities for the Einstein vacuum equations: The exterior solution, Ann. Math., 198 (2023), 1, 231-391

    2023

  13. [21]

    Singh,High regularity waves on self-similar naked singularity interiors: decay and the role of blue-shift, arXiv: 2402.00062

    J. Singh,High regularity waves on self-similar naked singularity interiors: decay and the role of blue-shift, arXiv: 2402.00062

    arXiv

  14. [22]

    T. P. Singh, P. S. Joshi,The final fate of spherical inhomogeneous dust collapse, Class. Quantum Grav. 13 559, 1996

    1996

  15. [23]

    F. J. Tipler,Singularities in conformally flat spacetimes, Physics Letters A, 64, 1, 8–10, 1977 Department of Mathematics, Sun Yat-sen University, Guangzhou, China Email address:lijunbin@mail.sysu.edu.cn Department of Mathematics, Sun Yat-sen University, Guangzhou, China Email...

    1977

Pith tools

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