Weak Cosmic Censorship Conjecture

• Weak Cosmic Censorship Conjecture is a principle asserting that singularities formed in gravitational collapse remain hidden behind event horizons to ensure spacetime predictability.
• It is examined through various methods including particle absorption, scalar field scattering, and horizon function minima analyses in diverse black hole models.
• Thermodynamic formulations and conservation laws play a key role in testing the conjecture, with studies balancing flux changes against extremal conditions to preserve censorship.

The Weak Cosmic Censorship Conjecture (WCCC) is the Penrose hypothesis that singularities produced in gravitational collapse remain hidden behind event horizons and therefore cannot be seen by distant observers. In the stationary black-hole setting, it is tested operationally by asking whether a physical process can drive a black hole beyond the parameter range in which a horizon exists, leaving a naked singularity. The modern literature treats this question through particle absorption, scalar and charged-field scattering, variational identities, thermodynamic inequalities, and, in symmetry-reduced settings, full PDE proofs of collapse. Across these approaches, WCCC functions both as a statement about horizon stability and as a criterion for the predictability of classical spacetime evolution (Semiz et al., 2015, An et al., 2024).

1. Definition, extremality, and the horizon condition

In the form used across the cited works, WCCC asserts that singularities formed in gravitational collapse must be hidden inside black holes, so distant observers never see a naked singularity. Its physical role is to preserve classical predictability: if the horizon is destroyed, spacetime evolution is no longer shielded from a singular region and the usual deterministic interpretation of general relativity breaks down (Hod, 2013, Semiz et al., 2015).

For stationary black-hole families, the conjecture is usually reformulated as a question about extremality. In Kerr-Newman language, the black-hole condition is

$M^2 \ge Q^2 + a^2,\qquad a=\frac{J}{M},$

and violation of this inequality corresponds to loss of the horizon (Semiz et al., 2015). In a more general thermodynamic formulation, one compares the final mass to the extremal mass $M_{\rm ext}(Q_i)$ associated with the final conserved charges $Q_i$. The quantity

$$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$

organizes the censorship test: $X_\epsilon>0$ means the final state is subextremal, $X_\epsilon=0$ extremal, and $X_\epsilon<0$ potentially horizonless (Wu et al., 2024).

Extremality is also characterized geometrically. In many explicit solutions, the outer and inner horizons coincide, the Hawking temperature vanishes, and the horizon function develops a double root. This equivalence is used repeatedly in BTZ, Kerr-Sen, Kerr-Newman-(A)dS, Myers-Perry, and several nonlinear-electrodynamic backgrounds (Chen, 2018, Gwak, 2019, Gwak, 2021, 2207.13822).

2. Operational diagnostics: horizon functions, minima, and flux balances

A recurring diagnostic is the minimum of the metric function that determines horizon existence. In the rotating BTZ case, the metric is written with

$f(M,J,r)=-M+\frac{r^2}{l^2}+\frac{J^2}{4r^2},$

and horizon survival is tested by the sign of $f_{\min}=f(M,J,r_0)$, where $r_0$ satisfies $M_{\rm ext}(Q_i)$0. If $M_{\rm ext}(Q_i)$1, the geometry has two roots; if $M_{\rm ext}(Q_i)$2, one degenerate root; if $M_{\rm ext}(Q_i)$3, no horizon (Chen, 2018).

The same logic appears in other families with different horizon functions. Kerr-Sen uses the minimum of $M_{\rm ext}(Q_i)$4; Kerr-Newman-(A)dS uses the minimum of $M_{\rm ext}(Q_i)$5 in the Kerr-type near-extremal regime and the maximum in the near-Nariai de Sitter regime; Myers-Perry with arbitrary rotations uses the minimum of $M_{\rm ext}(Q_i)$6 in arbitrary dimension (Gwak, 2019, Gwak, 2021, 2207.13822). In each case, overspinning or overcharging would require the perturbed minimum to become positive.

Flux-based analyses couple this geometric criterion to conserved currents through the horizon. For scalar or charged scalar fields, one computes horizon energy, angular-momentum, and, when relevant, charge fluxes from the stress tensor and then identifies them with $M_{\rm ext}(Q_i)$7, $M_{\rm ext}(Q_i)$8, and $M_{\rm ext}(Q_i)$9. The crucial mode-dependent factor is typically

$Q_i$0

or its multi-spin analogue $Q_i$1, which controls both absorption and superradiance (Gwak, 2019, Gwak, 2021, 2207.13822). Near extremality, many papers abandon direct entropy-variation arguments because $Q_i$2 makes $Q_i$3 divergent or ill-defined, and instead work directly with the minimum of the exact horizon function (Chen, 2018).

3. Gedanken experiments with particles and fields

The classical literature is structured around attempts to overcharge or overspin a black hole by sending in matter with large charge or angular momentum relative to its energy. Wald’s original extremal-particle argument established that particles capable of destroying an extremal Kerr-Newman black hole are not captured, while Hubeny-type analyses later suggested that slightly subextremal black holes might admit dangerous first-order windows if self-force and backreaction are neglected (Hod, 2013, Wu et al., 2024).

A large class of more recent field-scattering calculations concludes that standard extremal and near-extremal black holes remain protected. For BTZ black holes, minimally coupled scalar-field scattering recovers the first law in the non-extremal case and shows that extremal and near-extremal holes cannot be overspun when the minimum of $Q_i$4 is tracked directly (Chen, 2018). For Kerr-Sen black holes, charged scalar fluxes lead to first-order changes $Q_i$5 that make the minimum of $Q_i$6 more negative, so neither extremal nor near-extremal configurations can be over-spun or over-charged at first order (Gwak, 2019). For Kerr-Newman-(A)dS, charged massive scalar scattering gives a leading correction to the minimum of $Q_i$7 proportional to $Q_i$8, so extremal and near-extremal Kerr-type black holes retain a horizon for any scalar-field boundary condition (Gwak, 2021). For Myers-Perry black holes with arbitrary rotations in arbitrary dimensions, separability of the massless Klein-Gordon equation allows a parallel flux analysis, and the perturbed minimum of the horizon function remains nonpositive in both extremal and near-extremal regimes (2207.13822).

These analyses are closely tied to black-hole thermodynamics. In several cases the first law is recovered from the flux calculation rather than imposed a priori, while the area or entropy variation is nonnegative for non-extremal scattering processes (Chen, 2018, Gwak, 2019, 2207.13822).

At the same time, the literature contains explicit first-order or test-field claims of vulnerability in nonstandard settings. A semiclassical analysis argued that slightly sub-extremal black holes may still be driven past extremality by suitably tailored scalar waves when backreaction and self-force are neglected, even though single- or few-particle attacks are invalidated by spontaneous emission, identified there as the Zel’dovich-Unruh effect (Semiz et al., 2015).

4. Theorem-level results and exact censorship-preserving mechanisms

Beyond gedanken experiments, part of the literature establishes WCCC in theorem form. A general test-field proof shows that extremal black holes in several families cannot be destroyed by test fields satisfying the null energy condition at the event horizon and suitable boundary conditions at infinity, provided the interaction preserves the black-hole family. The key inequality is

$Q_i$9

which is compared with the extremal first-law identity

$$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$0

This framework is verified explicitly for BTZ, quintessence Reissner-Nordström-AdS, Gauss-Bonnet-AdS, Born-Infeld-AdS, charged toroidal, string-theoretic, and five-dimensional gauged supergravity black holes, among others (Gonçalves et al., 2020).

At the PDE level, weak cosmic censorship has been proved for the spherically symmetric Einstein-Maxwell-charged scalar field system. Under spherical symmetry and for generic asymptotically flat initial data, the maximal future development has singularities concealed inside black-hole regions. The charged case requires new techniques because the real-scalar monotonicity structure is lost; the proof introduces a reduced mass ratio, modified scale-critical BV area estimates with renormalized quantities, and a $$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$1 extension criterion based on the Doppler exponent. The exceptional data leading to non-censorship form a set of complex codimension $$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$2 (An et al., 2024).

There are also exact censorship-preserving mechanisms in finite-body thought experiments. For a charged shell lowered adiabatically into a nonextremal Reissner-Nordström black hole, the apparent route to overcharging fails because a new, larger horizon forms before the shell reaches the old one. The new horizon appears at

$$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$3

which satisfies $$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$4, so the singularity never becomes visible from infinity (Hod, 2013).

5. Thermodynamic formulations and constraints on gravitational theories

Thermodynamic structure is not merely auxiliary; in several works it is the organizing principle of the censorship test. In Kerr-Sen, Kerr-Newman-(A)dS, and Myers-Perry scattering problems, the absorbed fluxes satisfy the first law in the form

$$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$5

or its multi-spin extension, and near-extremal temperature variations are positive, so the process moves the black hole away from $$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$6 rather than toward it (Gwak, 2019, Gwak, 2021, 2207.13822).

An important feature of the recent literature is that WCCC and the second law need not coincide in extended thermodynamic phase space. For Born-Infeld-AdS black holes and for torus-like AdS black holes absorbing charged particles, the first law and WCCC remain valid in both normal and extended phase spaces, but the second law can fail in the extended phase space while the shift of the horizon-determining metric function keeps the same sign as in the normal phase space (Zeng et al., 2019, Han et al., 2019). In static Einstein-Born-Infeld black holes analyzed with the Sorce-Wald method, the second-order inequality prevents overcharging even though a first-order Hubeny-type analysis would suggest vulnerability (He et al., 2019).

WCCC has also been recast as a constraint on modified gravity. In higher-order gravitational theories, a first-order Sorce-Wald analysis yields a destruction condition for extremal black holes,

$$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$7

where $$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$8 is the extremal Wald entropy viewed as a function of horizon radius. Applied to quadratic and cubic gravities, this gives explicit coupling constraints such as

$$X_\epsilon \equiv M(T_\epsilon,Q_i)+\Delta M-M_{\rm ext}(Q_i+\Delta Q_i)$$9

in the quadratic theory and

$X_\epsilon>0$0

in the cubic theory (Jiang et al., 2021). A complementary thermodynamic analysis of second-order gedanken experiments identifies

$X_\epsilon>0$1

as the decisive near-extremal response coefficient, with

$X_\epsilon>0$2

In that framework, $X_\epsilon>0$3 preserves WCCC, and $X_\epsilon>0$4 is proved explicitly positive for static spherically symmetric black holes (Wu et al., 2024).

6. Contested regimes, nonstandard backgrounds, and observability

The most controversial part of the literature concerns nonstandard backgrounds and approximations that omit full second-order backreaction. Rotating short-hair black holes exhibit parameter-dependent outcomes: in second-order test-particle and scalar-field analyses, extremal configurations can be disrupted for

$X_\epsilon>0$5

while $X_\epsilon>0$6 preserves the horizon; near-extremal short-hair black holes can be disrupted by test particles for $X_\epsilon>0$7, whereas near-extremal scalar-field scattering leaves the horizon intact (Zhao et al., 2024). In hairy Kerr black holes generated by gravitational decoupling, overspinning windows depend strongly on the hair parameters $X_\epsilon>0$8, and both test-particle and scalar-field arguments indicate that more hair enlarges the dangerous regime within the first-order framework used there (Zhao et al., 2024). Dark-matter-halo black holes display yet another split: test particles preserve WCCC for extremal and near-extremal configurations, while scalar fields can destroy the horizon of an extremal halo black hole in a finite frequency window, though not of a near-extremal one (Tang et al., 2023).

These results coexist with more universal no-destruction statements for static spherically symmetric hairy black holes in Einstein gravity. Extending the Sorce-Wald method without using explicit metric or matter expressions, one can show that nearly extremal static hairy black holes satisfying the null energy condition cannot be destroyed under second-order perturbations, even when the perturbing matter is not spherically symmetric (Sang et al., 2022).

The status of WCCC is therefore strongly method-dependent. Test-particle and test-field calculations can produce apparent violations in special geometries, but many such claims are explicitly limited by neglected self-force, radiative, and nonlinear backreaction effects (Semiz et al., 2015, Zhao et al., 2024, Zhao et al., 2024).

Finally, even if naked singularities were produced in some collapse scenarios, observation need not separate them cleanly from black-hole formation. In a Lemaître-Tolman-Bondi dust model, the radiation emitted by collapse to a black hole and by collapse to a naked singularity is qualitatively similar, leading to the conclusion that observational tests of WCCC may be very difficult, even in principle (Kong et al., 2013).