Insights into 1-loop corrections to neutrino low-scale type-I seesaw mechanism

This paper demonstrates that while naive application of the Casas-Ibarra parametrization with 1-loop corrections leads to incorrect neutrino oscillation predictions, a modified approach that reabsorbs these corrections into the right-handed neutrino mass matrix yields consistent results, while also establishing that heavy neutral lepton searches are insensitive to such corrections and that the $\mu\to e \gamma$ decay provides competitive constraints for masses above 100 GeV.

The Gist

The Big Picture: A Recipe Gone Wrong (But Fixable)

Imagine you are a chef trying to bake a perfect cake (the neutrino mass). You have a famous, trusted recipe called the Casas-Ibarra parametrization. For years, this recipe has been the gold standard for figuring out how to mix your ingredients (the Yukawa couplings) to get the right flavor, even if you are using very cheap, light ingredients (low-mass right-handed neutrinos).

However, a new problem has emerged. Scientists realized that if you bake this cake in a very hot oven (high energy), the heat causes the ingredients to react in unexpected ways (1-loop corrections).

The paper argues that if you just follow the old recipe while ignoring the heat, your cake will come out completely wrong. But don't worry—the authors have found a way to tweak the recipe so it works perfectly, even in the hot oven.

---

1. The Mystery of the "Ghost" Particles

In the world of physics, we know that neutrinos have mass, but they are incredibly light. The Type-I Seesaw is a theory that explains this. It suggests that for every light neutrino we see, there is a heavy "partner" (a Right-Handed Neutrino) that is too heavy to see directly.

• The Old Thinking: If these heavy partners are super heavy (like a mountain), the light neutrinos are tiny. If the heavy partners are light (like a pebble), the light neutrinos should be even tinier, making them impossible to detect.
• The New Thinking: Using the "Casas-Ibarra" recipe, scientists realized you can have light heavy-partners (pebbles) but still get the right-sized light neutrinos, if you use some "secret spices" (complex numbers). This opens the door to finding these particles in experiments like SHiP or FASER.

2. The Problem: The "Heat" of the Oven

The authors discovered a glitch. When you calculate the mass of these light neutrinos, you usually just look at the main ingredients (Tree-level). But in quantum physics, there are also "ghostly" interactions happening in the background (1-loop corrections).

• The Analogy: Imagine you are trying to weigh a feather on a scale. You ignore the wind blowing through the room.
  • Naive Approach: You just weigh the feather.
  • The Reality: The wind (loop corrections) is actually pushing the feather down so hard that it weighs 10 times more than you thought.
  • The Consequence: If you use the old recipe (ignoring the wind), your predictions for how the neutrinos mix and oscillate will be completely wrong. It's like predicting a storm based on a sunny day forecast.

3. The Solution: Rewriting the Recipe

The authors show that the old recipe fails because it treats the "wind" (loop corrections) as a separate, small thing. But when the "secret spices" (complex angles) are strong, the wind becomes a hurricane.

Their Fix: Instead of fighting the wind, they decided to bake the wind into the recipe itself.

• They modified the definition of the heavy neutrino's mass. They said, "Let's pretend the heavy mass already includes the effect of the wind."
• By doing this, the new recipe (Equation 26 in the paper) automatically accounts for the corrections.
• The Result: When they use this new recipe, the predictions for neutrino behavior match the real-world data perfectly. The "cake" tastes right again.

4. The Good News: The "Heavy" Particles Don't Care

Here is the most surprising part of the paper.

While the "wind" (loop corrections) completely messes up the calculation for the light neutrinos, it has almost no effect on the heavy neutrinos.

• The Analogy: Imagine a massive cruise ship (the heavy neutrino) and a tiny dinghy (the light neutrino).
  • A strong gust of wind (loop corrections) might capsize the tiny dinghy, changing its path entirely.
  • But the massive cruise ship? The wind barely makes it wobble.
• Why this matters: Experiments searching for these heavy particles (Heavy Neutral Leptons) rely on how they interact with other particles. The authors prove that even though the math for the light neutrinos is complicated, the signals we look for in the heavy neutrino searches remain the same. We don't need to panic and redesign our detectors; the old search strategies still work.

5. The "Lepton Flavor Violation" Connection

The paper also connects this to a rare event called $\mu \to e\gamma$ (a muon turning into an electron and a photon).

• Think of this as a "smoke alarm" for new physics.
• The authors show that if we find these heavy neutrinos in a collider, we can predict exactly how often this "smoke alarm" should go off.
• Currently, the MEG II experiment (the smoke alarm) is setting strict limits. If the heavy neutrinos exist, they must be heavy enough or interact weakly enough so that the alarm doesn't go off too often. This gives us a powerful new way to rule out certain theories.

Summary: What Did They Actually Do?

1. Identified a Flaw: They showed that using the standard math for low-mass neutrinos leads to wrong answers because it ignores quantum "wind" (loop corrections).
2. Fixed the Math: They created a new, modified version of the standard recipe that absorbs the "wind" into the ingredients, making the predictions accurate again.
3. Reassured the Community: They proved that despite this math fix, the experiments looking for these heavy particles don't need to change their plans. The "wind" doesn't affect the heavy ships.
4. Set New Rules: They used current experimental limits (from the MEG II experiment) to draw a new map of where these particles can and cannot hide.

In a nutshell: The paper is a guide on how to fix a broken calculator so we can accurately predict where to look for hidden particles, without having to throw away all our previous search plans.

Technical Summary

1. Problem Statement

The standard Type-I seesaw mechanism typically predicts right-handed neutrino (RHN) masses near the Grand Unification scale ($\sim 10^{15}$ GeV), resulting in negligible Yukawa couplings for light RHNs. However, the Casas-Ibarra parametrization allows for a "low-scale" Type-I seesaw where RHNs exist at the GeV scale with large Yukawa couplings (order unity), making them accessible to current and future experiments (e.g., SHiP, FASER, MATHUSLA).

The core problem addressed in this paper is the reliability of the Casas-Ibarra parametrization in the presence of radiative (1-loop) corrections.

• Previous studies (e.g., Ref. [6]) suggested that 1-loop corrections to the light neutrino mass matrix can dominate over the tree-level contribution when the complex angles in the Casas-Ibarra parametrization are large.
• This dominance implies that the standard tree-level Casas-Ibarra relation becomes invalid, potentially rendering the low-scale Type-I seesaw framework inconsistent with experimental neutrino oscillation data.
• There is skepticism regarding whether the Type-I seesaw can serve as a viable low-energy framework for Heavy Neutral Lepton (HNL) searches if loop corrections invalidate the parameter reconstruction.

2. Methodology

The authors employ a theoretical framework extending the Standard Model with three right-handed neutrinos ($N_{1,2,3}$). Their methodology involves:

• Mass Matrix Construction:
  • Tree-level: The light neutrino mass matrix is given by $m^{(0)}_\nu = -M_D^T M_R^{-1} M_D$.
  • 1-loop corrections: The full mass matrix includes a self-energy correction $\delta M$ derived from Grimus and Lavoura, leading to $M^{(1)} = \begin{pmatrix} \delta M & M_D^T \\ M_D & M_R \end{pmatrix}$.
• Parametrization Analysis:
  • They analyze the standard Casas-Ibarra parametrization (Eq. 7), where $M_D$ is reconstructed from oscillation data and a complex orthogonal matrix $R$ (parameterized by complex angles $\theta_i = x_i + i y_i$).
  • They investigate the behavior of the ratio $r_{ij} = (m^{(0)}_\nu + m^{(1)}_\nu)_{ij} / (m^{(0)}_\nu)_{ij}$ to quantify the dominance of loop corrections.
• Numerical Diagonalization:
  • The authors numerically diagonalize the full $6 \times 6$ mass matrix (specifically $M^\dagger M$) to extract physical observables: light neutrino masses, mixing angles, and heavy-light mixing parameters ($U^2$).
  • They compare the results of "naive" application (using tree-level $M_D$ in the loop-corrected matrix) versus a "modified" approach.
• Phenomenological Constraints:
  • They calculate the branching ratio for the lepton-flavor-violating process $\text{Br}(\mu \to e\gamma)$ and compare it with projected sensitivities of HNL search experiments (ANUBIS, MATHUSLA, etc.) and the latest MEG II limits.

3. Key Contributions

A. Identification of the "Naive" Failure

The paper demonstrates that directly applying the standard Casas-Ibarra parametrization (Eq. 7) within a 1-loop corrected mass matrix leads to incorrect predictions for neutrino oscillation parameters.

• When loop corrections dominate (due to large imaginary parts of the complex angles, $y_i$), the tree-level relation fails to reproduce the observed mass-squared differences ($\Delta m^2_{sol}, \Delta m^2_{atm}$) and mixing angles.
• The deviation from experimental best-fit values can exceed 100%, rendering the standard parametrization unreliable for low-scale scenarios with large Yukawa couplings.

B. Proposal of a Modified Casas-Ibarra Parametrization

The authors propose a consistent extension of the Casas-Ibarra parametrization to include 1-loop effects:

• They redefine the effective right-handed neutrino mass matrix as $M'_R = M_R (1 - \Sigma_1)^{-1}$, where $\Sigma_1$ encapsulates the loop corrections.
• The Dirac mass matrix is then reconstructed as $M^{(1)}_D = i \sqrt{M'_R} R \sqrt{m^{diag}_\nu} U_{PMNS}$.
• By using this modified $M^{(1)}_D$ in the full mass matrix, the resulting light neutrino spectrum perfectly matches experimental oscillation data, even when loop corrections are dominant.

C. Decoupling of Loop Effects from HNL Searches

A crucial finding is the distinction between light neutrino masses and heavy-light mixing:

• Light Neutrino Masses: Strongly affected by 1-loop corrections.
• Heavy-Light Mixing ($U_{\nu-N}$): The mixing parameter governing HNL production and decay rates is not significantly affected by 1-loop corrections.
• Reasoning: The mixing is proportional to $M_D M_R^{-1}$. Since the loop correction $\delta M$ is of the order of light neutrino masses ($\ll M_D \ll M_R$), it does not alter the mixing angle significantly. Thus, experimental constraints on HNLs remain valid regardless of the loop corrections to the light mass matrix.

D. Constraints from $\mu \to e\gamma$

The paper provides updated constraints on the $(M_1, U^2)$ parameter space:

• The current limit from the MEG II experiment ($\text{Br}(\mu \to e\gamma) > 1.5 \times 10^{-13}$) provides the most stringent constraint for HNL masses above 100 GeV, surpassing LHC limits in this region.
• They establish that a positive detection of an HNL in future experiments would imply a lower bound on $\text{Br}(\mu \to e\gamma)$ in the range of $10^{-35}$ to $10^{-14}$, significantly enhancing the Standard Model prediction ($10^{-54}$).

4. Results

• Validation of Low-Scale Seesaw: The study confirms that the Type-I seesaw is a viable low-scale mechanism. The skepticism regarding its validity due to loop corrections is a bias arising from the incorrect application of the tree-level parametrization.
• Convergence: The authors estimate 2-loop and 3-loop corrections (Appendix A). They find that higher-order terms are suppressed by additional powers of $(16\pi^2)^{-1}$, confirming that the perturbative expansion is well-controlled and the modified 1-loop parametrization is sufficient.
• Experimental Implications:
  • For $M_1 > 100$ GeV, the $\mu \to e\gamma$ constraint is competitive with or stronger than direct HNL search sensitivities.
  • The modified parametrization ensures that the parameter space explored by experiments like SHiP and FASER is consistent with neutrino oscillation data, even for large Yukawa couplings.

5. Significance

This paper resolves a critical theoretical ambiguity in the search for Heavy Neutral Leptons.

1. Theoretical Consistency: It provides the correct mathematical framework (modified Casas-Ibarra) to reconcile large Yukawa couplings at the GeV scale with precise neutrino oscillation data in the presence of radiative corrections.
2. Phenomenological Robustness: It reassures the community that the search strategies for HNLs (based on mixing parameters $U^2$) are robust against loop corrections, which primarily affect the light neutrino mass sector.
3. Experimental Guidance: It highlights the importance of $\mu \to e\gamma$ searches as a complementary and often dominant probe for the Type-I seesaw parameter space at the GeV scale, guiding the interpretation of future results from experiments like MATHUSLA, SHiP, and FCC.

In summary, the paper validates the "low-scale Type-I seesaw" as a robust phenomenological framework, provided that loop corrections are consistently reabsorbed into the model parameters, thereby opening a clear path for experimental discovery of right-handed neutrinos.