Existence conditions of nonsingular dyonic black holes in nonlinear electrodynamics

This paper establishes a general criterion on two-parameter nonlinear electrodynamics Lagrangians for the existence of nonsingular dyonic black hole solutions and validates this criterion with a concrete example.

The Gist

Imagine the universe as a giant, stretchy trampoline. When you place a heavy bowling ball (a star) on it, the fabric curves. If the ball is heavy enough, it creates a deep pit—a black hole.

For decades, physicists have been troubled by what happens at the very bottom of that pit. According to our current rules of physics (General Relativity), the fabric of the trampoline gets crushed into an infinitely small, infinitely dense point called a singularity. It's like the trampoline tearing a hole so small that the math breaks down and stops making sense. It's a "glitch" in the universe's code.

This paper is like a team of architects trying to design a black hole that has a deep pit but no tear at the bottom. They want a "smooth" black hole.

The Problem: The "One-Tool" Limitation

To fix the tear, scientists usually try to change the rules of how the black hole interacts with light and electricity (electromagnetism). They use a mathematical "recipe" called a Lagrangian to describe these rules.

• The Old Way (One-Parameter): Previously, scientists tried to fix the singularity using a recipe with only one ingredient (let's call it "Magnetic Spice").
  • The Result: It worked perfectly if the black hole only had a magnetic charge (like a magnet).
  • The Failure: But real black holes often have both magnetic and electric charges (like a magnet that is also a battery). When they tried to add electricity to the "one-ingredient" recipe, the math broke, and the singularity (the tear) came back. It was like trying to bake a cake with only flour; you can make a plain biscuit, but you can't make a complex cake with frosting.

The Solution: The "Two-Ingredient" Recipe

The authors of this paper, Ren Tsuda, Ryotaku Suzuki, and Shinya Tomizawa, asked: "What if we use a recipe with two ingredients?"

In physics terms, they looked at Lagrangians that depend on two variables:

1. F: The strength of the electric and magnetic fields (the "flavor").
2. G: A more complex, twisted relationship between the electric and magnetic fields (the "texture").

They discovered a Golden Rule (a necessary criterion) that any two-ingredient recipe must follow to prevent the singularity from forming.

The Golden Rule Analogy:
Imagine you are driving a car toward a cliff (the singularity).

• In the old "one-ingredient" cars, no matter how you brake, you always crash into the cliff.
• In the new "two-ingredient" cars, there is a specific way to press the brakes (a specific mathematical relationship between the electric and magnetic fields) that allows the car to slow down smoothly and stop right before the edge, leaving the cliff intact.

What They Found

1. The "Charge Matching" Trick: They found that for a black hole to be smooth (nonsingular) with both electric and magnetic charges, the "twist" ingredient ($G$) in the recipe must be perfectly tuned to the ratio of the electric charge to the magnetic charge. It's like a lock and key; the key (the math) must fit the lock (the charges) exactly, or the singularity returns.
2. New Possibilities: They proved that while the old "one-ingredient" recipes are doomed to fail for electric-magnetic black holes, the new "two-ingredient" recipes can succeed.
3. Building Examples: They didn't just find the rule; they built a few sample "cars" (mathematical models) that follow this rule. They showed that you can take a known smooth magnetic black hole and, by adding the right amount of the second ingredient, turn it into a smooth electric-magnetic black hole.

Why Does This Matter?

• Fixing the Glitch: It offers a way to describe black holes without the universe "breaking" at the center.
• Quantum Clues: Since we know quantum mechanics (the physics of the very small) should eventually fix these singularities, these smooth black holes act as "practice models." They help us guess what the final, correct theory of quantum gravity might look like.
• Particle Physics: These smooth black holes might even look like elementary particles (like electrons) in a way, helping us understand the connection between the very big (black holes) and the very small (atoms).

The Catch

The authors are honest: They found the rules for building a smooth black hole, but they haven't built the perfect one yet.

• They found the blueprint, but the construction is hard.
• They proved that if you don't follow their Golden Rule, a smooth black hole is impossible.
• They showed that if you do follow the rule, it's possible, but solving the final math equations to get the exact shape of the black hole is still a tough puzzle.

In short: They found the secret handshake required to build a black hole that doesn't rip a hole in reality, proving that you need two types of "magic" (electric and magnetic fields interacting in a specific way) to make the universe smooth all the way to the center.

Technical Summary

1. Problem Statement

The central problem addressed is the existence of nonsingular black hole solutions (black holes without curvature singularities at the center) in General Relativity coupled to Nonlinear Electrodynamics (NED) when the black hole carries both electric ($Q_e$) and magnetic ($Q_m$) charges (a dyonic configuration).

• Context: While nonsingular black holes with purely magnetic charges are well-established in NED (e.g., Bardeen, Hayward, Fan-Wang models), extending these to dyonic cases has proven difficult.
• The Obstacle: Previous "no-go" theorems (Refs. [11, 12]) demonstrated that one-parameter Lagrangians $L(F)$ (where $F = F_{\mu\nu}F^{\mu\nu}$) cannot support regular dyonic black holes. The electric-magnetic duality of Maxwell theory is broken in NED, and the presence of both charges in $L(F)$ leads to curvature singularities at the origin.
• The Gap: It was unclear whether two-parameter Lagrangians $L(F, G)$ (where $G = F_{\mu\nu}{}^*F^{\mu\nu}$ is the topological invariant) could bypass these restrictions and support regular dyonic solutions.

2. Methodology

The authors employ a rigorous analytical approach based on the behavior of field equations near the origin ($r \to 0$) for a static, spherically symmetric spacetime.

• Framework: They utilize the action of General Relativity coupled to NED with a general Lagrangian $L(F, G)$.
• Field Equations: They derive the Einstein equations and the source-free NED equations for a metric ansatz $ds^2 = -f(r)dt^2 + f(r)^{-1}dr^2 + r^2 d\Omega^2$ and a gauge potential $A_\mu dx^\mu = a(r)dt - Q_m \cos\theta d\phi$.
• Regularity Analysis:
  • They analyze the behavior of the metric function $f(r)$ and the electric potential $a(r)$ as $r \to 0$.
  • They impose the condition that curvature invariants ($R$, $R_{\mu\nu}R^{\mu\nu}$, $R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}$) must remain finite at the origin.
  • Using Landau notation ($O$), they determine the required asymptotic scaling of the Lagrangian derivatives $L_F = \partial L/\partial F$ and $L_G = \partial L/\partial G$ in the strong-field limit ($F \to \infty$).
• Derivation: By integrating the NED equation and substituting the asymptotic behaviors of the fields, they derive necessary conditions on the functional form of $L(F, G)$.

3. Key Contributions and Results

A. Derivation of Necessary Existence Criteria

The paper establishes a necessary criterion for the existence of nonsingular dyonic black holes in the strong-field limit ($F \to \infty$). For a solution to be regular, the Lagrangian derivatives must satisfy:

1. Condition on $L_F$:
   $$L_F = O(F^{-(1+\delta_1/4)})$$
   where $\delta_1 \geq 0$. This ensures the magnetic contribution to curvature remains finite.

2. Condition on $L_G$:
   $$L_G - \frac{Q_e}{Q_m} = O(F^{-(1+\delta_1/4 - \delta_2/8)})$$
   where $\delta_2$ relates to the behavior of the electric field. Crucially, this implies that as the field strength diverges, $L_G$ must approach a constant value equal to the charge ratio $\alpha = Q_e/Q_m$.

Significance of the Criterion:

• Consistency with No-Go Theorems: For one-parameter models $L(F)$, $L_G = 0$. The criterion requires $0 = Q_e/Q_m$, which implies $Q_e = 0$. This mathematically recovers the known result that $L(F)$ cannot support dyonic regular black holes.
• Opening for Two-Parameter Models: For $L(F, G)$, if $L_G$ can be tuned to match the charge ratio $Q_e/Q_m$ at high field strengths, regular dyonic solutions become possible.

B. Construction of Explicit Models

The authors provide explicit examples of two-parameter Lagrangians that satisfy these criteria:

1. Linear Topological Term:
   $$L(F, G) = \alpha G + h(F)$$
   Here, $h(F)$ is a known Lagrangian supporting a regular magnetic black hole. The term $\alpha G$ is a topological term (total derivative) that does not affect local equations of motion but shifts the integration constant.

   • Result: If $\alpha = Q_e/Q_m$, the regular magnetic solution of $h(F)$ becomes a regular dyonic solution in $L(F, G)$. The metric remains the same, but the electric charge is non-zero.

2. Non-Linear Extensions:
   They propose more complex forms, such as:
   $$L(F, G) = \alpha G + \ln(1 + \beta G) + h(F)$$
   and exponential types involving $G$. In all cases, the condition $\alpha = Q_e/Q_m$ is required for regularity.

C. Extension of Known Solutions

The paper demonstrates that any regular magnetic black hole solution derived from a one-parameter Lagrangian $h(F)$ (e.g., the Fan-Wang model) can be "upgraded" to a regular dyonic solution by adding a specific $G$-dependent term to the Lagrangian, provided the coefficient of the linear $G$ term matches the charge ratio.

4. Significance and Implications

• Theoretical Breakthrough: This work resolves the long-standing question of whether dyonic regular black holes are theoretically possible in NED. It proves they are, provided the Lagrangian depends on both invariants $F$ and $G$ and satisfies specific asymptotic conditions.
• Diagnostic Tool: The derived criteria (Eqs. 24 and 25) serve as a "filter" for theoretical models. Any NED model failing these conditions can be immediately ruled out as a candidate for supporting nonsingular dyonic black holes.
• Physical Interpretation: The results suggest that the topological invariant $G$ plays a critical role in "balancing" the electric and magnetic charges to prevent curvature divergence at the center.
• Future Directions:
  • The authors note these are necessary but not sufficient conditions; solving the full differential equations for specific models remains a challenge.
  • The criteria currently apply to static, spherically symmetric cases. Extending these conditions to rotating (Kerr-like) black holes and non-stationary solutions (oscillons) is identified as a key future direction.
  • The potential of these solutions as classical models for elementary particles (due to finite energy and localized charge) is highlighted.

Conclusion

The paper successfully generalizes the theory of regular black holes from purely magnetic to dyonic configurations by introducing a necessary asymptotic condition on two-parameter NED Lagrangians. It bridges the gap between known no-go theorems for $L(F)$ and the potential for regular dyonic solutions in $L(F, G)$, offering a concrete pathway for constructing such models in future research.