Expansion operators in spherically symmetric loop quantum gravity

This paper demonstrates that in spherically symmetric loop quantum gravity, the quantized ingoing and outgoing null expansion operators are self-adjoint with a shared continuous spectrum but distinct isolated eigenvalues, offering new insights into singularity avoidance and the definition of quantum horizons.

The Gist

The Big Picture: Fixing the "Crunch"

Imagine the universe as a giant, stretchy fabric. In classical physics (Einstein's General Relativity), if you squeeze a star too hard, it collapses into a black hole. If you keep squeezing, the fabric gets crushed into a single, infinitely tiny point called a singularity. At this point, the math breaks down, and the laws of physics stop working. It's like trying to divide a pizza by zero—you just can't do it.

Loop Quantum Gravity (LQG) is a theory that suggests the fabric of space isn't smooth and continuous like a sheet of silk. Instead, it's made of tiny, discrete "pixels" or "threads" woven together, like a digital image or a chain-link fence.

This paper asks a specific question: If space is made of these tiny threads, what happens when we try to measure how fast a black hole is collapsing?

The Main Characters: The "Expansion" Meters

In physics, to understand a black hole, scientists look at null expansions. Think of these as "expansion meters" attached to a spherical balloon floating in space.

• Outgoing Expansion: Measures how fast light rays shooting out from the balloon are spreading apart.
• Ingoing Expansion: Measures how fast light rays shooting in are converging.

In a normal star, light spreads out. In a black hole, the "ingoing" light converges so fast that the "outgoing" light gets stuck. The point where the outgoing light stops spreading and starts getting squeezed is called the Apparent Horizon (the edge of the black hole).

In classical physics, at the very center of a black hole, these meters go haywire (they hit infinity). The authors of this paper wanted to build a quantum version of these meters to see if the "infinity" problem disappears when we use the "pixelated" space of LQG.

The Experiment: Building Quantum Meters

The authors took the equations for these expansion meters and translated them into the language of Loop Quantum Gravity.

1. The Graph: Imagine space as a network of dots (vertices) connected by lines (edges). This is the "graph" of the universe.
2. The Operators: They built mathematical tools (called operators) that act like rulers on this graph. Instead of measuring a smooth distance, these rulers count the "pixels" (quantum numbers) on the lines and dots.
3. The Result: They found that these quantum rulers are self-adjoint.
   • Analogy: In math, a "self-adjoint" operator is like a perfectly balanced scale. It guarantees that the measurement you get is a real, sensible number, not a confusing imaginary one. This means the theory is stable and makes physical sense.

The Discovery: A Band of Music and Isolated Notes

The most exciting part of the paper is what they found when they looked at the spectrum (the list of all possible values) these quantum meters can measure.

Imagine the possible values of the expansion not as a smooth ramp, but as a piano keyboard.

• The Continuous Band (The Keys): The meters can measure a continuous range of values, like a smooth slide from low to high notes. This range includes zero.
  • Why this matters: In classical physics, the "zero" point (the horizon) is a sharp, singular line. In this quantum model, zero is just a normal note you can play. It's part of the continuous music. This suggests that the "edge" of a black hole is fuzzy and well-defined, not a broken point.
• The Discrete Points (The Extra Notes): Outside of that smooth band, there are a few isolated notes (discrete eigenvalues).
  • Analogy: Imagine a piano where most keys play a smooth glissando, but there are a few special keys that ring out as distinct, isolated tones. These represent specific quantum states where the expansion behaves in a unique, "quantized" way.

The Twist: The "Outgoing" meter and the "Ingoing" meter have the same smooth band of notes, but their isolated "extra notes" are slightly different. However, if you look at the whole universe (all possible graphs), they end up matching perfectly.

The "No Singularity" Conclusion

Why does this matter?

In classical physics, the singularity is where the expansion meter reads infinity. It's a wall that stops the universe.

In this quantum model:

1. The meters are bounded. They can't go to infinity. They have a maximum limit, like a speedometer that caps out at 200 mph instead of going to infinity.
2. Because the meters never hit infinity, the "crunch" of the singularity is avoided. The fabric of space doesn't tear; it just gets very, very tight, but it remains made of those tiny threads.

The Metaphor:
Imagine trying to fold a piece of paper.

• Classical Physics: You keep folding it until it becomes a point so small it vanishes, and the paper ceases to exist.
• Loop Quantum Gravity (This Paper): The paper is actually made of Lego bricks. You can fold it until the bricks are stacked as tightly as possible, but you can never crush them into nothingness. There is always a "brick" there. The expansion meter just tells you how tight the bricks are packed, and it never breaks.

Summary for the Everyday Reader

This paper is a success story for Loop Quantum Gravity. The authors successfully built quantum versions of the tools used to measure black holes. They proved that:

1. These tools work mathematically (they are "self-adjoint").
2. They don't break down at the center of a black hole (no singularities).
3. The "edge" of a black hole (the horizon) can be defined in a quantum world, opening the door to understanding what happens inside a black hole without the laws of physics crashing.

It's a step toward proving that the universe is a sturdy, pixelated fabric that can survive even the most extreme squeezes, rather than a fragile sheet that tears apart.

Technical Summary

1. Problem Statement

In classical General Relativity (GR), the formation of singularities (e.g., inside black holes) is signaled by the divergence of null geodesic expansions. The concepts of apparent horizons and trapping horizons are defined by the vanishing of the outgoing null expansion ($\Theta_{out} = 0$) and the negativity of the ingoing expansion ($\Theta_{in} < 0$).

While Loop Quantum Gravity (LQG) has successfully quantized geometric observables like area and volume, the direct quantization of null expansions in a dynamical setting has remained challenging. Previous studies relied on "effective models" (semiclassical approximations) which depend on specific regularization choices and do not provide a fully quantum mechanical treatment. The authors aim to:

1. Construct well-defined quantum operators for the ingoing and outgoing null expansions ($\Theta_{in}, \Theta_{out}$) within the spherically symmetric model of LQG.
2. Analyze the spectral properties of these operators to understand the quantum nature of horizons and the potential avoidance of classical singularities.

2. Methodology

A. Classical Framework

The authors work within the spherically symmetric reduction of GR, where the spacetime is foliated by spatial slices $\Sigma_t \simeq I \times S^2$.

• Canonical Variables: The theory is reduced to two pairs of fields: $(E^x, K_x)$ and $(E^\phi, K_\phi)$, where $E$ represents densitized triads and $K$ represents extrinsic curvature components.
• Classical Expansions: The outgoing ($\Theta_{out}$) and ingoing ($\Theta_{in}$) expansions for a 2-sphere at radius $x$ are expressed entirely in terms of these reduced variables:
  $$\Theta_{out} = \frac{1}{\sqrt{|E^x||E^\phi|}} \partial_x(|E^x|) - 2 \frac{\text{sgn}(E^\phi)}{\sqrt{|E^x|}} K_\phi$$
  $$\Theta_{in} = -\frac{1}{\sqrt{|E^x||E^\phi|}} \partial_x(|E^x|) - 2 \frac{\text{sgn}(E^\phi)}{\sqrt{|E^x|}} K_\phi$$

B. Quantization Procedure

The authors employ the standard kinematical framework of LQG adapted to spherical symmetry:

1. Kinematical Hilbert Space ($\mathcal{H}_{kin}$): Constructed using cylindrical functions on graphs $g$ embedded in the radial line $I$. The basis states are labeled by edge labels $k_j \in \mathbb{Z}$ (associated with $K_x$) and vertex labels $\mu_j \in \mathbb{R}$ (associated with $K_\phi$).
2. Operator Construction:
   • Triad Operators ($\hat{E}^x, \hat{E}^\phi$): These act diagonally on the basis states. The authors adopt a symmetric prescription for $E^x$ at vertices (averaging adjacent edge labels) to ensure consistency with full LQG flux regularization.
   • Holonomy Regularization: The extrinsic curvature term $K_\phi$ is not a well-defined operator. It is regularized using the $\bar{\mu}$-scheme (physical length fixed by the area gap), replacing $K_\phi$ with a holonomy-like term: $P(K_\phi) \equiv \sin(\tilde{\rho} K_\phi)/\tilde{\rho}$.
   • Expansion Operators: The classical expressions are promoted to operators $\hat{\Theta}_{out}$ and $\hat{\Theta}_{in}$ by substituting the quantized variables. The derivative term $\partial_x |E^x|$ is regularized using holonomies of $K_x$ and commutators with $E^\phi$.

C. Spectral Analysis

The authors analyze the spectrum of the resulting operators using two methods:

1. Analytic Approach: Decomposing the Hilbert space into sectors based on fixed edge labels ($\vec{k}$). They derive finite-difference equations for the coefficients of the generalized eigenstates in the $\mu$-representation.
2. Numerical Approach: For sectors where analytic solutions are difficult (specifically where $\Delta \neq 0$, representing jumps in edge labels), they employ a truncated matrix method. They approximate the infinite-dimensional difference operator with a finite matrix $E_n$, diagonalize it, and study the convergence of eigenvalues as the matrix size $n$ increases.

3. Key Contributions and Results

A. Self-Adjointness

The authors prove that the expansion operators $\hat{\Theta}_{out}$ and $\hat{\Theta}_{in}$ are self-adjoint on the kinematical Hilbert space $\mathcal{H}_{kin}$.

• They demonstrate that the operators are symmetric and bounded on specific subspaces defined by fixed graph structures and edge labels.
• By applying the direct-sum theorem for self-adjoint operators, they establish that the full operators possess generalized eigenstates and a well-defined spectrum.

B. Spectral Structure

The spectrum of the expansion operators consists of two distinct parts:

1. Continuous Band: Both operators share a common continuous spectrum (essential spectrum).
   • Analytically derived as the interval $[-2(i\alpha_{eff}), 2(i\alpha_{eff})]$, where $\alpha_{eff}$ is a scaling factor involving the Planck area and Barbero-Immirzi parameter.
   • Numerical results confirm this band fills the interval $[-2, 2]$ (in normalized units).
   • This band corresponds to the "shift" part of the operator (acting on points where $\Delta = 0$).
2. Discrete Points:
   • In subspaces with fixed edge labels ($\vec{k}$), the operators exhibit discrete eigenvalues lying outside the continuous band.
   • Asymmetry: For a fixed graph and label assignment, the discrete spectrum of $\hat{\Theta}_{out}$ and $\hat{\Theta}_{in}$ can differ (e.g., $\hat{\Theta}_{out}$ may have discrete eigenvalues above the band, while $\hat{\Theta}_{in}$ has them below).
   • Global Coincidence: However, when considering the union of spectra over all possible graphs and label assignments (the full Hilbert space), the spectra of $\hat{\Theta}_{out}$ and $\hat{\Theta}_{in}$ coincide. This reflects the classical fact that ingoing and outgoing expansions are related by orientation flips.

C. Behavior at Zero (Horizon Condition)

• The value zero lies within the continuous spectrum of $\hat{\Theta}_{out}$.
• The corresponding eigenstate is non-normalizable (it behaves like a plane wave with bounded oscillatory amplitude).
• This implies that a "quantum horizon" (where $\Theta_{out}=0$) does not correspond to a single discrete quantum state but rather a continuum of states, suggesting a fuzzy or probabilistic nature of the horizon in the quantum regime.

D. Singularity Avoidance

• In classical GR, singularities are associated with the divergence of expansions (via the Raychaudhuri equation).
• The authors show that the expansion operators are bounded on almost all quantum states (specifically, they are bounded on the interior of edges where $\Delta=0$, which covers almost all points in the kinematical space).
• The boundedness of these operators suggests that the classical singularities (infinite expansion) are avoided in the quantum theory.

4. Significance

1. Foundation for Quantum Horizons: This work provides the first rigorous, fully quantum mechanical definition of expansion operators in LQG. It moves beyond effective semiclassical models to establish a solid operator-theoretic basis for defining quantum horizons.
2. Singularity Resolution: The demonstration that expansion operators are bounded offers strong evidence that the quantum geometry prevents the formation of classical singularities, a central goal of LQG.
3. Spectral Insights: The discovery of a mixed spectrum (continuous band + discrete points) reveals the complex structure of quantum spacetime near horizons. The fact that the spectra of ingoing and outgoing operators coincide globally, despite local differences, highlights the deep symmetry of the quantum gravitational phase space.
4. Methodological Advance: The successful application of the $\bar{\mu}$-scheme and truncated matrix methods to non-trivial difference equations in LQG provides a template for analyzing other complex geometric operators in the theory.

In conclusion, the paper establishes that null expansions in spherically symmetric LQG are well-defined, self-adjoint operators with a rich spectral structure. These results support the hypothesis that quantum gravity resolves classical singularities and provide a new framework for investigating the quantum nature of black hole horizons.