Some remarks on the horizon in the dust cloud collapse

This paper examines the collapse of an isolated dust cloud using expansion functions to demonstrate that an apparent horizon exists and covers the gravitational singularity in regions far from it, though the method's applicability is limited near the singularity where quantum effects become significant.

The Gist

Imagine a giant, fluffy cloud of dust floating in space. It's not just sitting there; it's slowly collapsing under its own weight, like a deflating balloon that's getting heavier and heavier. This is the story of a dust cloud collapse, and the paper you're asking about is a detective story about what happens when this cloud gets squeezed down to nothing.

The authors are trying to answer a very big question: Does a "black hole" (or a point of no return) form before the cloud gets crushed into a tiny, infinite point called a "singularity"?

Here is the story of their investigation, broken down into simple concepts.

1. The Setup: The Deflating Balloon

Think of the dust cloud as a series of nested Russian dolls. Each layer is a shell of dust. As gravity pulls everything inward, these shells shrink.

• The Math: The scientists use a specific map (called the LTB metric) to track how fast each shell shrinks.
• The Goal: They want to know if, at some point, the cloud gets so dense that light can't escape it. If light can't escape, you have a Black Hole.

2. The "Horizon" Detective Work

In physics, there are two ways to spot a black hole:

1. The Event Horizon: The point of no return. Once you cross it, you can never come back.
2. The Apparent Horizon: This is what the authors focus on. Think of this as a "traffic light" for light beams.
   • Imagine shining a flashlight outward from the center of the cloud.
   • If the beam spreads out, you are safe.
   • If the beam gets squashed and starts moving inward (even though you pointed it out), you are in a Trapped Region.
   • The Apparent Horizon is the exact moment the flashlight beam stops spreading and starts getting squeezed back. It's the "Do Not Cross" line.

The authors used a clever mathematical trick (expansion functions) to calculate exactly when and where this "traffic light" turns red.

3. The Big Reveal: The Curtain Comes Down

The paper's main finding is surprisingly reassuring for the laws of physics:

• Far away from the center: As the cloud collapses, the "Apparent Horizon" forms before the cloud reaches the center.
• The Metaphor: Imagine a stage play. The actors (the dust) are running toward the center of the stage. Just before they hit the center, a giant black curtain (the horizon) drops down from the ceiling, hiding them from the audience.
• The Result: The "singularity" (the infinite point where physics breaks down) is covered up. It is hidden inside the black hole. The universe is "safe" because we can't see the singularity directly.

4. The "Glitch" in the Matrix (The Singularity)

However, the authors add a very important warning.

• The Limit: Their "curtain" logic works perfectly when the cloud is big and gravity is strong but manageable.
• The Problem: As the cloud gets squeezed down to the size of a single atom (or smaller), we enter the Quantum Realm.
• The Analogy: Imagine trying to use a map of a city to navigate a single grain of sand. The map (General Relativity) works great for the city, but it breaks down on the grain of sand.
• The Warning: Near the very center, where the cloud becomes infinitely small, the math might stop working. Quantum effects (the weird rules of tiny particles) might take over. The authors suspect that in this tiny zone, the "curtain" might not drop the way they calculated, or the rules might change entirely.

5. Stitching the Universe Together

To make sure their math was right, the authors had to "stitch" two different worlds together:

• Inside: The messy, collapsing dust cloud.
• Outside: The empty, calm space around it (described by the Schwarzschild metric, the standard math for black holes).
• The Seam: They used "matching conditions" to ensure the fabric of space didn't rip when they sewed the inside to the outside. They found that the mass of the dust cloud perfectly matched the mass of the black hole that formed outside.

The Bottom Line

What does this mean for us?

1. Good News: For most of the collapse, the universe behaves nicely. A black hole forms, and the scary "singularity" is safely hidden behind a horizon. We don't have to worry about "naked singularities" (ugly points in space visible to everyone) forming in this specific scenario.
2. The Mystery: The story gets fuzzy at the very end. When the dust is crushed to the tiniest possible size, our current laws of physics might need an upgrade (Quantum Gravity) to tell us what really happens.

In short: The paper says, "We checked the math, and yes, a black hole forms and hides the singularity, unless we get so close to the center that we need a new rulebook for the universe."

Technical Summary

1. Problem Statement

The paper addresses the dynamics of the gravitational collapse of an isolated, spherically symmetric cloud of dust. Specifically, it investigates the existence and formation of an apparent horizon and the trapped region during this collapse.

The central tension in the field is whether such a collapse inevitably leads to a black hole (where the singularity is hidden behind a horizon) or a naked singularity (where the singularity is visible to outside observers). While previous studies (e.g., by Joshi et al.) have suggested naked singularities are possible in inhomogeneous dust collapse, this paper re-examines the conditions for horizon formation using expansion functions of null geodesics, focusing on the validity of these conditions in the context of General Relativity (GR) versus the expected breakdown of GR near the singularity due to quantum effects.

2. Methodology

The authors employ a rigorous geometric approach based on the Lemaître-Tolman-Bondi (LTB) metric for the interior of the collapsing cloud and the Schwarzschild metric for the exterior vacuum.

• Metric Setup:
  • Interior (LTB): Described by $ds^2 = -dt^2 + (R')^2 dr^2 + R^2(d\theta^2 + \sin^2\theta d\phi^2)$, where $R(t,r)$ is the area radius and $F(r)$ is the mass function.
  • Exterior (Schwarzschild): Described in Lemaitre coordinates ($\tau, \rho$) to avoid coordinate singularities at the event horizon ($r_s = 2M$) during the matching process.
• Expansion Functions:
  • The authors define a codimension-two hypersurface $\Sigma$ embedded in spacetime.
  • They introduce a pair of future-pointing null vectors, $l^\mu$ (outward) and $n^\mu$ (inward), which are cross-normalized ($l \cdot n = -1$).
  • They calculate the expansion scalars $\theta_l$ and $\theta_n$ using the induced metric $q_{\mu\nu}$.
  • Definitions:
    • Trapped Region: Defined where both expansions are strictly negative ($\theta_l < 0$ and $\theta_n < 0$).
    • Apparent Horizon: Defined as the boundary where the outward expansion vanishes ($\theta_l = 0$) while the inward expansion remains negative ($\theta_n < 0$).
• Matching Conditions:
  • The authors utilize the Israel-Darmois matching conditions to stitch the LTB interior to the Schwarzschild exterior at the boundary shell $r = r_b$.
  • This requires the continuity of the first fundamental form (induced metric) and the second fundamental form (extrinsic curvature).

3. Key Contributions and Derivations

A. Derivation of Expansion Scalars

By solving the system of equations for the null vectors under spherical symmetry, the authors derive explicit expressions for the expansions in terms of the area radius $R$ and mass function $F$:

• $\theta_l = \frac{\sqrt{2}(\sqrt{R} - \sqrt{F})}{\sqrt{\beta}R^{3/2}}$
• $\theta_n = -\frac{\sqrt{2}\beta(\sqrt{R} + \sqrt{F})}{R^{3/2}}$
  (Where $\beta$ is an auxiliary function related to the parametrization of the null vectors).

B. Identification of the Trapped Region

From the derived expansions, the authors establish:

1. $\theta_n$ is always negative for collapsing dust ($\dot{R} < 0$), satisfying the inward condition.
2. The condition $\theta_l = 0$ (Apparent Horizon) implies $R = F$.
3. The condition $\theta_l < 0$ (Trapped Region) implies $R \leq F$.

C. Matching and Dynamics

Using the Israel-Darmois conditions:

• Continuity of the metric and extrinsic curvature leads to the identification of the boundary mass: $F(r_b) = 2M$, where $M$ is the total Schwarzschild mass.
• The dynamics of the boundary radius $R(t, r_b)$ are governed by $\dot{R} = -\sqrt{2M/R}$, confirming the standard free-fall collapse solution.
• The solution for the radius is $R(t, r_b) = (\frac{3}{2})^{2/3} M^{1/3} (c(r_b) - \sqrt{2}t)^{2/3}$.

4. Results

1. Formation of the Horizon: The analysis demonstrates that as the collapse proceeds, the physical radius $R(t, r)$ decreases. Initially, if $R > F$ (no horizon), the evolution inevitably leads to a state where $R \leq F$.
2. Covered Singularity: Once the condition $R \leq F$ is met, an apparent horizon forms, and the region inside becomes a trapped region. Consequently, the gravitational singularity formed at $R=0$ is covered by the horizon, resulting in a black hole configuration.
3. Limitations of the Method: The authors explicitly state that their derivation holds strictly within the regime of Classical General Relativity.
   • Far from the singularity, the expansion function method robustly predicts a horizon.
   • Near the singularity: The applicability of this method is questionable. As the system approaches the Planck scale (where $F$ is very small), quantum gravitational effects are expected to become dominant. In this regime, the classical definition of the horizon via expansion functions may fail, potentially allowing for scenarios (like naked singularities) that classical GR forbids.

5. Significance and Conclusion

• Reinforcement of Cosmic Censorship (Classically): The paper provides a clear, geometric proof using expansion functions that for a standard dust collapse, the apparent horizon forms before the singularity, supporting the idea that singularities are hidden (Cosmic Censorship Hypothesis) in the classical limit.
• Clarification of Previous Contradictions: The authors address the existence of "naked singularity" solutions in literature (e.g., Joshi et al.). They argue that those analyses rely heavily on the geometry at the singularity where classical GR breaks down.
• Call for Quantum Gravity: The primary significance of the paper is its caveat: while classical GR predicts a black hole, the behavior at the singularity requires a theory of Quantum Gravity. The expansion function method used here is insufficient to determine the final fate of the singularity if quantum effects prevent the formation of a horizon at the Planck scale.

Summary: The paper confirms that in classical General Relativity, an isolated dust cloud collapse inevitably forms an apparent horizon ($R=F$) covering the singularity. However, it cautions that this conclusion may not hold in the immediate vicinity of the singularity where quantum effects become essential, suggesting that the "naked singularity" debate remains open pending a quantum-gravitational analysis.