A Closer Look at Constrained Instantons

This paper resolves a previously claimed inconsistency in constructing constrained instantons with conventional gauge-invariant constraints by demonstrating that proper treatment of asymptotic expansions allows for the consistent construction of such solutions in both massive $\phi^4$ and spontaneously broken Yang--Mills theories.

The Gist

Imagine you are trying to find the perfect shape for a soap bubble. In a perfect, weightless world (what physicists call a "symmetric phase"), the bubble naturally settles into a perfect sphere. It's a stable, happy shape.

But now, imagine you put that bubble in a room with a strong wind blowing (this represents a "broken symmetry" or a massive field). The wind tries to blow the bubble away or shrink it. In this windy world, a perfect, finite-sized bubble can't exist as a stable shape anymore. If you try to make one, the wind will either crush it to nothing or blow it apart.

The Problem: The "Wobbly" Bubble
For decades, physicists have wanted to study these "wobbly" bubbles because they represent crucial, hidden forces in the universe (like how particles gain mass or how the early universe behaved). To study them, they invented a trick called the "Constrained Instanton."

Think of this like putting a rubber band around the bubble to force it to stay a specific size, even though the wind wants to change it. This rubber band is a mathematical "constraint."

The Old Doubt
A few years ago, some researchers (Nielsen and Nielsen) looked at this rubber band trick and said, "Wait a minute. If we use the standard, most logical type of rubber band (a 'gauge-invariant' constraint), the math breaks down. The bubble seems to explode or vanish at the edges. They concluded that maybe we can't use the standard rubber bands at all; we'd have to invent weird, complicated ones."

The New Discovery
This paper, by Aoki, Ibe, and Shirai, says: "Not so fast! The bubble is fine. We just weren't looking at it closely enough."

Here is the simple breakdown of their discovery:

1. The Two Halves of the Bubble

To understand the bubble, the scientists split it into two parts:

• The Core (Inner Solution): The center of the bubble, where the wind hasn't hit hard yet. It looks like a perfect sphere.
• The Edge (Outer Solution): The part of the bubble far away, where the wind is blowing hard. It looks like a wavy, decaying ripple.

The trick is to stitch these two halves together perfectly in the middle.

2. The "Zoom" Mistake

The previous researchers (Nielsen and Nielsen) tried to stitch the halves together, but they made a mistake in how they "zoomed" in on the math.

• The Analogy: Imagine trying to match a high-resolution photo of a face (the Core) with a blurry, low-resolution sketch of the same face (the Edge). If you try to match them pixel-for-pixel without realizing the sketch is blurry, the eyes won't line up, and you'll think the face is broken.
• The Fix: The authors realized that the "Edge" math needs to be treated with a specific kind of "zoom" (an asymptotic expansion). When you look at the math with the right level of detail, the blurry sketch actually lines up perfectly with the high-res photo. The "explosion" they saw was just a mathematical illusion caused by looking at the wrong level of detail.

3. The Result: The Rubber Band Works!

By carefully re-doing the math, the authors showed that:

• You can use the standard, simple rubber bands (conventional constraints).
• The "wobbly" bubble (the constrained instanton) is a real, consistent solution.
• They proved this by building the solution on paper (analytically) and then running computer simulations (numerically) that confirmed their math was correct.

Why Does This Matter?

In the real world, this isn't just about soap bubbles. It's about the fundamental rules of the universe.

• The "Wind" is the Higgs field (which gives particles mass).
• The "Bubble" represents rare, powerful events where particles transform (like protons decaying or the creation of matter in the early universe).

For a long time, physicists were worried that their main tool for calculating these events was broken. This paper puts that worry to rest. It says, "The tool works! We just needed to clean the lens."

In a Nutshell:
The authors took a complex mathematical puzzle that everyone thought was broken, looked at it with fresh eyes, and realized the pieces fit together perfectly all along. They proved that the standard way of calculating these "wobbly" quantum shapes is valid, opening the door for more accurate predictions about how our universe works.

Technical Summary

1. Problem Statement

In quantum field theories with spontaneously broken gauge symmetries (such as the electroweak theory), finite-size instanton solutions are no longer exact stationary points (minima) of the Euclidean action. Unlike the symmetric phase, where instantons are exact solutions with size $\rho$ as a zero mode, the presence of mass terms (from symmetry breaking) causes the action to decrease as the instanton size shrinks, leading to a collapse to zero size or infinite action.

To study non-perturbative effects (e.g., baryon-number violation) in these broken phases, the constrained instanton framework is employed. This involves fixing the instanton size $\rho$ via a constraint functional $S_{\text{con}} = \int d^4x \, \mathcal{O}_{\text{con}}$ using a Lagrange multiplier $\sigma$.

The Core Conflict:
A previous study by Nielsen and Nielsen (N&N) [29] argued that constructing consistent constrained instanton solutions using conventional gauge-invariant constraints (e.g., $\mathcal{O}_{\text{con}} \propto \text{tr}(F\tilde{F})^2$ or $\phi^p$ with $p \ge 5$) is impossible. They claimed that the asymptotic behaviors of the inner (near origin) and outer (large distance) solutions could not be matched consistently at the Next-to-Leading Order (NLO) in the expansion parameter $(\rho m)^2$. This suggested that only gauge-dependent constraints could yield valid solutions, casting doubt on standard semiclassical computations in broken phases.

2. Methodology

The authors revisit the asymptotic structure of constrained instantons in two models:

1. Massive $\phi^4$ Theory: A scalar field theory with a negative quartic interaction and a mass term.
2. Spontaneously Broken $SU(2)$ Yang–Mills Theory: Coupled to a scalar doublet (Higgs mechanism).

Analytical Approach:

• Perturbative Expansion: The solutions are expanded in powers of the small parameter $(\rho m)^2$ (where $m$ represents the mass scale of the broken phase).
• Double Expansion: The authors perform a systematic double expansion in $(\rho m)^2$ and the radial coordinate ratio $\hat{r} = r/\rho$.
• Inner and Outer Regions:
  • Inner Solution ($r \ll m^{-1}$): Expanded around the origin, treating the mass and constraint terms as perturbations to the massless instanton profile.
  • Outer Solution ($r \gg \rho$): Expanded at large distances, dominated by the massive free-field equations (Bessel functions).
• Matching: The solutions are matched in the overlap region $\rho \ll r \ll m^{-1}$. The authors meticulously track the coefficients of the expansion terms, including logarithmic dependencies on $\rho m$, to ensure consistency at NLO.
• Constraint Operator: They specifically test the conventional gauge-invariant constraint $\mathcal{O}_{\text{con}} = (\frac{1}{2}\text{tr} F_{\mu\nu}\tilde{F}_{\mu\nu})^2$ in Yang–Mills theory and $\mathcal{O}_{\text{con}} = \phi^6$ in scalar theory.

Numerical Verification:

• The authors numerically solve the Euler–Lagrange equations with the constraint term for various values of the Lagrange multiplier $\sigma$.
• They compare the numerical profiles and the relationship between the Lagrange multiplier and the instanton size against their analytic NLO predictions.

3. Key Contributions and Results

A. Resolution of the N&N Obstruction

The primary contribution is the refutation of the N&N claim regarding the impossibility of matching gauge-invariant constraints.

• Root Cause of N&N's Error: The authors demonstrate that N&N failed to distinguish between the orders of the expansion functions in the outer region. They effectively used the asymptotic form $\kappa K_1(mr)/r$ even in the region where $mr \lesssim 1$, ignoring the systematic expansion in $(\rho m)^2$.
• Corrected Matching: By treating the outer solution as a series expansion $g_0 + (\rho m)^2 g_2 + \dots$ rather than a single asymptotic form, the authors show that the coefficients can be uniquely determined to satisfy all boundary conditions.
• Consistency: They prove that for both $\phi^4$ and Yang–Mills theories, the inner and outer solutions can be matched consistently up to NLO using conventional gauge-invariant constraints.

B. Explicit Construction of Solutions

• $\phi^4$ Theory: They derived the NLO corrections to the scalar profile and the Lagrange multiplier $\sigma$. They showed that the matching conditions fix the integration constants (e.g., $c_1, c_2$) and the Lagrange multiplier coefficient $\sigma_2$ without contradiction.
• Yang–Mills Theory: They constructed the constrained instanton profiles for the gauge field $A_\mu$ and the Higgs field $H$.
  • They derived the NLO corrections to the action, finding terms of order $(\rho m_A)^4$ and $(\rho m_A)^2 (\rho m_H)^2$.
  • They explicitly calculated the Lagrange multiplier coefficient $\sigma_2 = \frac{7}{192} \rho^4$ (in appropriate units), confirming consistency via two independent methods: direct matching and the derivative of the action with respect to the constraint.

C. Numerical Validation

• Lagrange Multiplier Relation: Figure 5 (for $\phi^4$) and Figure 8 (for Yang–Mills) show that the numerically obtained relation between the dimensionless Lagrange multiplier ($m^2\sigma$ or $m_A^4\sigma$) and the instanton size ($\rho m$) agrees perfectly with the analytic NLO prediction for small $\rho m$.
• Action Calculation: Figure 9 confirms that the $O((\rho m)^4)$ correction to the action derived analytically matches the numerical minimization results.
• Profile Deviations: The numerical solutions show that the relative deviation between the analytic NLO+LO solution and the full numerical solution decreases as $\rho m \to 0$, validating the perturbative expansion.

4. Significance and Implications

1. Restoration of Gauge-Invariant Constraints: The paper establishes that conventional, gauge-invariant constraint operators are valid and consistent tools for semiclassical computations in theories with spontaneous symmetry breaking. This removes a significant theoretical hurdle that had previously suggested such calculations might be ill-defined or require ad-hoc gauge-fixing.
2. Reliability of Electroweak Baryogenesis Calculations: Constrained instantons are crucial for calculating baryon- and lepton-number violating rates in the electroweak theory (sphaleron/instanton transitions). This work validates the theoretical framework used to compute these rates, ensuring that the results are not artifacts of inconsistent asymptotic matching.
3. Axion Physics: The findings support the calculation of small-instanton contributions to the axion mass in models where the QCD axion couples to the electroweak sector or in hidden sectors with broken symmetries.
4. Methodological Rigor: The paper provides a robust template for handling asymptotic matching in non-perturbative problems where exact solutions do not exist. It highlights the necessity of systematic order-by-order expansions in the outer region to avoid spurious inconsistencies.

Conclusion

The authors successfully demonstrate that the "obstruction" to constructing constrained instantons with gauge-invariant constraints, previously claimed by Nielsen and Nielsen, is an artifact of improper asymptotic treatment. By carefully tracking the asymptotic expansions in both the inner and outer regions, they construct consistent solutions up to NLO in both scalar and gauge theories. Their analytical results are fully corroborated by numerical simulations, firmly establishing the validity of the constrained instanton framework for studying non-perturbative dynamics in broken phases.