Bounds on the photon sphere radius for spherically symmetric black holes in n-dimensional Einstein gravity

This paper derives dimension-dependent upper and lower bounds on the photon sphere radius for static, spherically symmetric, asymptotically flat black holes in $n$-dimensional Einstein gravity, generalizing known four-dimensional results to higher dimensions under specific energy conditions.

The Gist

Imagine a black hole not just as a cosmic vacuum cleaner, but as a stage where light itself performs a dangerous dance. In the space just outside the black hole, there is a specific zone called the photon sphere. Think of this as a "tightrope" made of pure light. If a photon (a particle of light) steps onto this tightrope, it can circle the black hole in a perfect circle. However, it's an unstable circle; a tiny nudge sends the light either spiraling into the black hole's mouth or escaping into the deep universe.

This paper is a mathematical investigation into the size of that tightrope. The authors, working in a universe with more than the usual three dimensions of space (they call it $n$-dimensions), wanted to find the limits of how big or small this photon sphere can be.

Here is the breakdown of their findings using simple analogies:

1. The Setting: A Higher-Dimensional Universe

Usually, we think of space as having three dimensions (up/down, left/right, forward/back). This paper asks: "What if space had 4, 5, or even 10 dimensions?"
The authors look at a specific type of black hole in these higher-dimensional worlds. They assume the black hole is surrounded by some kind of "stuff" (matter or energy), but they place strict rules on this stuff:

• The Weak Energy Condition: The "stuff" has positive energy (it doesn't act like anti-gravity).
• The Trace Condition: The internal pressure and energy of this stuff balance out in a specific way (mathematically, the "trace" is non-positive).

2. The Upper Bound: The "Ceiling" of the Tightrope

The first question they answer is: How far out can this light circle go?

They prove there is a maximum limit. No matter how much matter surrounds the black hole, the photon sphere cannot be larger than a certain distance determined by the black hole's total mass.

• The Analogy: Imagine the black hole's mass is a giant magnet. The photon sphere is a ring of iron filings orbiting it. The authors prove that no matter how you arrange the iron filings (the matter around the hole), the ring cannot expand beyond a specific "ceiling."
• The Result: In our familiar 4-dimensional world, this ceiling is at 3 times the radius of the event horizon (the point of no return). In their higher-dimensional math, this ceiling changes slightly based on the number of dimensions, but the rule remains: The photon sphere is always smaller than or equal to a specific value related to the black hole's mass.
• The "Bald" Black Hole: They note that the absolute largest this sphere can get is when the black hole is "bald" (completely empty, with no extra matter around it). If you add any extra "hair" (matter fields), the photon sphere actually shrinks.

3. The Lower Bound: The "Floor" of the Tightrope

The second question is: How close to the black hole can this light circle get?

To answer this, they add one more rule: The pressure of the surrounding matter must decrease smoothly as you move away from the black hole (like a hill that gets flatter the further you walk).

• The Analogy: Imagine the photon sphere is a boat floating on a river flowing toward a waterfall (the black hole). The authors prove that even with the current pushing it, the boat cannot get closer to the waterfall than a specific "floor."
• The Result: They found a minimum distance. In our 4-dimensional world, the photon sphere must be at least 1.5 times the radius of the event horizon. In higher dimensions, this "floor" shifts based on the number of dimensions, but it is always a specific multiple of the black hole's size.

4. Why This Matters (According to the Paper)

The authors are not saying we will see these extra dimensions in a telescope tomorrow. In fact, they explicitly state that for real-world black holes (like the ones we see in our galaxy), the extra dimensions are likely so tiny that they don't change what we observe. Our universe looks 4-dimensional to us.

Instead, this work is a theoretical map.

• It takes rules we know work in our 4D world (like the 3M and 1.5M limits) and proves they still hold true in a more complex, higher-dimensional mathematical universe.
• It provides a "rulebook" for physicists who study theories like String Theory, which often require extra dimensions. It tells them: "If you build a black hole model in a higher-dimensional world, your photon sphere must fall between these two lines."

Summary

Think of this paper as drawing a safety zone on a map of a higher-dimensional universe.

• The Outer Line: The photon sphere can never be too far out (it's capped by the mass).
• The Inner Line: The photon sphere can never be too close (it's capped by the horizon and the pressure of matter).
• The Takeaway: Even in a universe with extra dimensions, the geometry of light around a black hole is tightly constrained. The "tightrope" of light always exists, and its size is strictly limited by the black hole's mass and the behavior of the matter surrounding it.

Technical Summary

1. Problem Statement

The photon sphere, defined as the hypersurface of unstable circular null geodesics, is a critical feature of black hole spacetimes. It determines the boundary of the black hole shadow (observable by instruments like the Event Horizon Telescope), influences gravitational lensing, and constrains the quasinormal modes of the black hole.

While rigorous upper and lower bounds for the photon sphere radius ($r_\gamma$) are well-established for four-dimensional ($n=4$) static, spherically symmetric, asymptotically flat black holes (specifically $r_\gamma \leq 3M$ and $r_\gamma \geq \frac{3}{2}r_H$ under specific energy conditions), these results have not been systematically generalized to higher dimensions ($n \geq 4$). The paper addresses the gap in understanding how spacetime dimensionality affects these fundamental geometric constraints within Einstein gravity.

2. Methodology and Framework

The authors employ a model-independent framework within $n$-dimensional Einstein gravity ($n \geq 4$) to derive bounds for static, spherically symmetric, and asymptotically flat black holes.

• Metric Ansatz: The analysis utilizes a Tangherlini-type metric (a generalization of the Schwarzschild metric to $n$ dimensions) coupled with an anisotropic matter fluid:
  $$ds^2 = -e^{-2\delta(r)}\mu(r)dt^2 + \mu(r)^{-1}dr^2 + r^2 d\Omega_{n-2}^2$$
  where $\mu(r) = 1 - \frac{2m(r)}{r^{n-3}}$.
• Matter Model: The matter is modeled as an anisotropic fluid with energy density $\rho$, radial pressure $p_r$, and tangential pressure $p_t$. The energy-momentum tensor is diagonal: $T^\mu_\nu = \text{diag}(-\rho, p_r, p_t, \dots, p_t)$.
• Physical Assumptions:
  1. Weak Energy Condition (WEC): $\rho \geq 0$ and $\rho \geq |p_r|, |p_t|$.
  2. Non-positive Trace: The trace of the energy-momentum tensor $T = -\rho + p_r + (n-2)p_t \leq 0$. This holds for electromagnetic fields and conformally invariant matter.
  3. Monotonicity Condition (for Lower Bound): The function $P(r) \equiv |r^{n-1}p_r(r)|$ is assumed to be monotonically decreasing. This generalizes a condition used in 4D proofs.
• Photon Sphere Condition: The radius $r_\gamma$ is determined by the condition $V(r_\gamma) = 0$ and $V'(r_\gamma) = 0$ for the effective potential of null geodesics, leading to the characteristic equation:
  $$R(r) = 3 - n + \mu(n-1) - \frac{16\pi r^2 p_r}{n-2} = 0$$

3. Key Contributions and Derivations

A. Existence Proof

The authors first prove the existence of a photon sphere exterior to the event horizon ($r_H$). By evaluating the characteristic function $R(r)$ at the horizon ($R(r_H) \leq 0$) and at infinity ($R(r \to \infty) = 2 > 0$), and noting the continuity of $R(r)$, they establish that a root $r_\gamma$ must exist in the interval $[r_H, \infty)$.

B. Upper Bound Derivation

To derive the upper bound, the authors analyze the pressure function $P(r) = r^n p_r$.

1. Using the WEC and non-positive trace conditions, they show that $P(r)$ is non-positive and monotonically decreasing in the region $r_H \leq r < r_\gamma$.
2. Consequently, at the photon sphere, $p_r(r_\gamma) \leq 0$.
3. Substituting this into the characteristic equation yields $\mu(r_\gamma) \leq \frac{n-3}{n-1}$.
4. Using the mass definition $\mu(r) = 1 - \frac{2m(r)}{r^{n-3}}$ and the fact that mass is non-decreasing ($m(r_\gamma) \leq M_{ADM}$), they derive the upper bound.

C. Lower Bound Derivation

To derive the lower bound, the monotonicity of $|r^{n-1}p_r(r)|$ is utilized.

1. The authors establish a lower bound for the mass of the external matter fields ($m_{ex}$) by integrating the pressure gradient, utilizing the monotonicity assumption to bound the integral.
2. They substitute this mass bound back into the photon sphere characteristic equation.
3. Through a rigorous algebraic analysis involving the function $G(x)$ (where $x = r_\gamma/r_H$), they prove that the condition $G(x) \geq 0$ necessitates a specific lower limit on $x$.
4. This involves proving an inequality in Appendix A: $\frac{n-1}{n-2} \leq (\frac{n-1}{2})^{1/(n-3)}$ for $n \geq 4$.

4. Main Results

The paper establishes the following dimension-dependent geometric constraints for the photon sphere radius $r_\gamma$:

1. Upper Bound:
$$r_\gamma \leq [(n-1)M]^{\frac{1}{n-3}}$$

• Significance: For $n=4$, this reduces to the well-known $r_\gamma \leq 3M$. The bound is saturated by the vacuum (bald) Tangherlini black hole. The presence of matter fields satisfying the energy conditions reduces the photon sphere radius below this limit.

2. Lower Bound:
$$r_\gamma \geq \left( \frac{n-1}{2} \right)^{\frac{1}{n-3}} r_H$$

• Significance: For $n=4$, this reduces to $r_\gamma \geq \frac{3}{2}r_H$, consistent with previous 4D results. This bound relies on the additional assumption that the radial pressure function decays monotonically.

5. Significance and Limitations

Significance:

• Generalization: The work successfully extends the "no-hair" type geometric bounds from 4D to arbitrary dimensions ($n \geq 4$) within Einstein gravity.
• Theoretical Tool: These bounds provide a rigorous framework for analyzing the structure of higher-dimensional black holes, particularly those with "hair" (matter fields), and constrain the possible size of black hole shadows in higher-dimensional theories.
• Consistency: The results smoothly recover known 4D limits, validating the methodology.

Limitations and Scope:

• Metric Restriction: The results are specific to static, spherically symmetric spacetimes with a Tangherlini-type metric structure (direct product with a maximally symmetric transverse space). They do not apply to rotating (axisymmetric) black holes, warped spacetimes, or brane-world scenarios with non-trivial bulk geometries.
• Observational Relevance: The authors note that in phenomenologically viable extra-dimensional models, extra dimensions are compactified at scales far smaller than astrophysical black hole horizons. Therefore, for solar-mass or supermassive black holes, the effective physics is 4D, and these higher-dimensional bounds would not produce observable deviations from standard 4D predictions unless non-compact extra dimensions exist (which are currently disfavored).
• Future Directions: The authors suggest extending this work to rotating configurations, asymptotically (A)dS spacetimes, and investigating quantum corrections to energy conditions.

In conclusion, this paper provides a complete set of dimension-dependent bounds for the photon sphere, deepening the theoretical understanding of spacetime geometry in higher-dimensional gravity theories.