Universal Bounds on Horizons, Photon Spheres, and Shadows: The Role of Energy Conditions in Spherically Symmetric Black Holes

This paper establishes that in asymptotically flat, spherically symmetric spacetimes satisfying the weak energy condition, the Schwarzschild solution sets the absolute upper bound for event horizon, photon sphere, and shadow radii, while also deriving specific bounds for extremal black holes and proving that the strong energy condition cannot be violated outside the event horizon.

The Gist

Imagine the universe is a giant, stretchy trampoline. When you place a heavy bowling ball (a black hole) in the center, it creates a deep dip. This dip is the "gravity well."

This paper is like a set of rules written by a physicist named Vitalii Vertogradov. He wants to know: How big can the "dip" get? How wide is the area where light gets trapped? And how big is the dark shadow the black hole casts?

Here is the simple breakdown of his findings, using some everyday analogies.

1. The "Perfect" Black Hole (The Schwarzschild Standard)

First, imagine a "naked" black hole. It has no extra stuff around it—no dust, no strange energy fields, just pure gravity. In physics, this is called the Schwarzschild black hole.

Think of this as the standard size of a black hole. If you have a black hole with a mass of 10 suns, this is the "baseline" size of its event horizon (the point of no return), its photon sphere (where light orbits), and its shadow.

2. The Rule of "Good" Matter (The Weak Energy Condition)

Now, imagine you start adding stuff to this black hole. Maybe you throw in some gas, some dust, or some exotic fields.

The paper focuses on a specific rule called the Weak Energy Condition. In simple terms, this rule says: "Matter must have positive energy." You can't have "negative energy" or "anti-mass" floating around in normal space.

The Big Discovery:
Vertogradov proves that if you add any "normal" matter (satisfying this rule) to a black hole, the black hole actually gets smaller.

• The Analogy: Imagine the black hole is a sponge soaking up water. If you add "normal" matter, it's like squeezing the sponge. The event horizon (the edge of the hole), the photon sphere (the ring of light), and the shadow all shrink compared to the "naked" version.
• The Conclusion: The "naked" Schwarzschild black hole is the maximum size possible. Any extra "good" matter makes the observable features smaller.

3. The "Bad" Matter Exception

What if you add "weird" matter that breaks the rules (violates the Weak Energy Condition)? This is like adding "negative gravity" or "anti-sponge" material.

• The Result: If you find a black hole shadow that is larger than the standard Schwarzschild size, it's a smoking gun. It proves that there is "weird" matter around it that violates the laws of normal energy.
• Real-world check: The author checks this against three famous theoretical black holes (Kiselev, Hayward, and Hairy).
  • The "Hairy" one (which has weird energy) gets a bigger shadow.
  • The "Hayward" one (which has normal energy) gets a smaller shadow.
  • This confirms the rule: Normal stuff shrinks the shadow; weird stuff expands it.

4. The "Double-Door" Black Holes (Extremal Black Holes)

Some black holes have two "doors" (horizons): an outer one and an inner one. Sometimes, these two doors get so close they merge into one. This is called an Extremal Black Hole.

The author asks: How big is this merged door?

He finds that the answer depends on how the black hole's gravity "fades away" as you get far away from it (the asymptotic structure).

• Scenario A (The Standard Fade): If the gravity fades away in a "smooth" mathematical way (like a standard curve), the merged door is at least as big as the standard Schwarzschild size.
  • Analogy: It's like a door that can't get smaller than a standard doorway.
• Scenario B (The Weird Fade): If the gravity fades away in a very specific, "rough" way (lacking certain mathematical terms), the merged door can be smaller than the standard size.
  • Analogy: It's like a door that can shrink down to a mouse hole.

Why does this matter? It tells us that the "shape" of the universe far away from the black hole dictates how small the black hole's core can get.

5. The Pressure at the Edge

Finally, the paper looks at the "pressure" of the stuff right at the edge of the black hole.

• The Finding: Even if the stuff inside the black hole is weird and breaks the rules (to avoid a singularity), the stuff right at the edge (the horizon) must have positive or zero pressure.
• The Analogy: Imagine a balloon. The inside might be chaotic, but the rubber skin (the horizon) must be tight or neutral; it can't be "sucking" inward with negative pressure. This means the "weird" physics is hidden deep inside, and the outside world looks normal.

Summary for the Everyday Reader

1. The Maximum Size: The "naked" black hole is the biggest it can possibly be. Adding normal matter makes it look smaller.
2. The Shadow Test: If astronomers see a black hole shadow that is bigger than expected for its mass, they know there is "exotic" or "forbidden" energy nearby.
3. The Core Size: For black holes with two horizons that merge, their size depends on the mathematical "texture" of the universe far away.
4. The Boundary: The edge of a black hole is always "normal" (positive pressure), even if the center is weird.

In a nutshell: This paper gives us a ruler to measure black holes. If a black hole looks "too big," we know the laws of physics are being bent. If it looks "normal" or "small," it's behaving exactly as our best theories predict.

Technical Summary

1. Problem Statement

The paper addresses the need for model-independent constraints on the geometric properties of static, spherically symmetric, asymptotically flat black holes. While numerous exact solutions to the Einstein field equations exist (involving scalar fields, electromagnetic fields, regular black holes, etc.), analyzing their specific properties often requires complex numerical methods.

The central problem is to determine how energy conditions (specifically the Weak Energy Condition, WEC) restrict the fundamental scales of black holes:

1. The radius of the event horizon ($r_h$).
2. The radius of the photon sphere ($r_{ph}$).
3. The radius of the black hole shadow ($b$).
4. The radius of the extremal horizon ($r_e$) for black holes with two horizons.

The author seeks to establish whether the Schwarzschild solution (vacuum case) represents a universal upper or lower bound for these quantities when matter satisfying standard energy conditions is present.

2. Methodology

The author employs a rigorous analytical approach using the general metric for static, spherically symmetric, asymptotically flat spacetimes:
$$ds^2 = -f(r)dt^2 + f(r)^{-1}dr^2 + r^2 d\Omega^2$$
where the lapse function is defined as $f(r) = 1 - \frac{2M(r)}{r}$.

Key methodological steps include:

• Energy Condition Formulation: The Weak Energy Condition (WEC) is defined as $\rho \geq 0$, which translates to $M'(r) \geq 0$. The Dominant Energy Condition (DEC) is also utilized for extremal cases ($\rho \geq |P|$).
• Perturbative Analysis: For photon spheres and shadows, the metric is expressed as a deformation of the Schwarzschild metric: $f(r) = (1 - \frac{2M_0}{r})e^{\alpha g(r)}$. The author expands the photon sphere radius and shadow radius in powers of a small parameter $\alpha$ to determine the sign of the correction.
• Asymptotic Expansion Analysis: For extremal black holes, the behavior of the metric function $f(r)$ at infinity is analyzed. The author distinguishes between cases where $f(r)$ is fully analytic (admitting a Taylor series in $1/r$) versus cases with non-analytic remainders or specific decay rates (e.g., presence or absence of a $1/r^2$ term).
• Extremal Limit Analysis: The properties of matter near the horizon are investigated by taking the limit where the inner and outer horizons merge ($r_+ \to r_-$), analyzing the second derivative of the metric function $f''(r)$.

3. Key Contributions and Results

A. Bounds on Event Horizon, Photon Sphere, and Shadow

The paper proves that for any matter distribution satisfying the Weak Energy Condition (WEC):

• Event Horizon: The radius of the event horizon is maximal in the Schwarzschild case. Any additional matter satisfying WEC reduces the horizon radius relative to the vacuum Schwarzschild radius ($r_h \leq 2M_0$).
• Photon Sphere: The radius of the photon sphere is bounded by the Schwarzschild value:
  $$r_{ph} \leq 3M_0$$
• Black Hole Shadow: The shadow radius is similarly bounded:
  $$b \leq 3\sqrt{3}M_0$$
• Implication: If an observed black hole shadow is larger than the Schwarzschild prediction for a given mass, it necessarily implies the violation of the Weak Energy Condition (presence of exotic matter).

B. Pressure at the Horizon

A significant finding regarding the thermodynamics and matter content is that for asymptotically flat black holes with two horizons:

• The radial pressure $P$ at the outer event horizon must be non-negative ($P \geq 0$) in the extremal limit.
• Consequently, the Strong Energy Condition (SEC) cannot be violated outside the event horizon. While regular black hole models often require SEC violation to avoid singularities, this violation is strictly confined to the interior region ($r < r_h$).

C. Bounds on Extremal Horizon Radius

The paper establishes universal bounds on the extremal horizon radius ($r_e$) based on the asymptotic structure of the metric function $f(r)$:

1. Case 1: Analytic Expansion with $1/r^2$ terms present.
   If the asymptotic expansion of $f(r)$ contains terms of order $1/r^2$ (or higher powers) and satisfies WEC/DEC, the extremal horizon radius is bounded from below by the ADM mass:
   $$r_e \geq M_0$$
   (This bound is saturated by the extremal Reissner-Nordström black hole).

2. Case 2: Analytic Expansion lacking $1/r^2$ terms.
   If the asymptotic expansion contains only the Schwarzschild $1/r$ term and all higher-order corrections are encoded in a positive, non-analytic tail (decaying slower than $1/r^2$), the bound reverses:
   $$r_e \leq M_0$$

D. Verification via Examples

The theoretical bounds are verified against specific models:

• Kiselev Black Hole: Confirms that when WEC is satisfied ($N \geq 0$), $r_{ph}$ and $b$ decrease. The extremal radius behavior switches at $\omega = 1/3$ (corresponding to the presence/absence of the $1/r^2$ term).
• Hayward Regular Black Hole: Satisfies WEC everywhere; results confirm $r_{ph} < 3M$ and $r_e \geq M$.
• Hairy Schwarzschild: Violates WEC ($\rho < 0$); results confirm an increase in shadow and photon sphere radii, consistent with the theorem's converse.

4. Significance and Implications

• Observational Tests: The derived bounds provide a direct test for General Relativity using Event Horizon Telescope (EHT) data. An observed shadow significantly larger than $3\sqrt{3}M$ would signal new physics or exotic matter violating the WEC.
• Model Independence: The results apply to any spherically symmetric solution, regardless of the specific matter field (scalar, vector, etc.), provided the energy conditions hold. This reduces the need for case-by-case numerical analysis.
• Regular Black Holes: The findings clarify the constraints on regular black hole models, specifically that while they may violate SEC internally to avoid singularities, they must satisfy standard energy conditions (specifically non-negative pressure) at the horizon to maintain asymptotic flatness.
• Thermodynamics: The bounds on $r_e$ translate into constraints on black hole entropy and thermodynamics in the extremal limit, potentially aiding in distinguishing between microscopic models of black hole entropy.

In conclusion, the paper establishes that the Schwarzschild black hole represents the "maximal" configuration for observable geometric features (horizon, photon sphere, shadow) under standard energy conditions, while the location of extremal horizons is critically dependent on the specific asymptotic decay of the metric.