pith. machine review for the scientific record. sign in

arxiv: 2604.06345 · v1 · submitted 2026-04-07 · ✦ hep-ph

Recognition: 2 theorem links

· Lean Theorem

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

Gennaro Miele , Stefano Morisi , Eduardo Peinado , Kainat Qamar
Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:41 UTC · model grok-4.3

classification ✦ hep-ph
keywords neutrino massestype-I seesawone-loop correctionsCasas-Ibarra parametrizationheavy neutral leptonsmuon to electron gamma decay
0
0 comments X

The pith

A modified Casas-Ibarra parametrization absorbs one-loop corrections into the right-handed neutrino mass matrix, producing light neutrino masses consistent with data while leaving heavy neutral lepton processes unchanged.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

In the low-scale type-I seesaw the Casas-Ibarra parametrization permits sizable Yukawa couplings for right-handed neutrinos. One-loop radiative corrections to the light neutrino mass matrix can exceed the tree-level contribution. Naïve application of the standard parametrization then yields incorrect predictions for the oscillation parameters. Reabsorbing the loop corrections directly into the right-handed neutrino mass matrix restores agreement with measured neutrino masses and mixings. Physical quantities that depend only on the propagation of the heavy states, such as heavy neutral lepton production and decay, remain insensitive to these corrections. The branching ratio for the decay μ to e gamma supplies additional limits on the same parameter space for heavy masses above 100 GeV.

Core claim

By shifting the one-loop corrections into a redefinition of the right-handed neutrino mass matrix within a modified Casas-Ibarra parametrization, the resulting light neutrino mass matrix matches experimental oscillation data. Physical processes governed by right-handed neutrino propagation, including heavy neutral lepton searches, prove independent of the loop corrections.

What carries the argument

The modified Casas-Ibarra parametrization in which one-loop corrections are reabsorbed into the right-handed neutrino mass matrix.

If this is right

  • Heavy neutral lepton production and decay rates computed from the right-handed neutrino mass matrix remain unchanged by the loop corrections.
  • The branching ratio Br(μ→eγ) sets competitive bounds on the heavy neutrino parameter space for masses above 100 GeV.
  • Numerical scans of low-scale seesaw models can incorporate radiative effects at the level of the heavy mass matrix without altering predictions for heavy-state observables.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reabsorption procedure may allow consistent inclusion of higher-order corrections in other low-scale seesaw variants.
  • Experimental searches for heavy neutral leptons can continue to use tree-level mass matrices without loop adjustments when deriving limits.

Load-bearing premise

The one-loop corrections can be fully reabsorbed into the right-handed neutrino mass matrix without introducing inconsistencies in the effective theory or invalidating the low-scale approximation.

What would settle it

A calculation of light neutrino oscillation parameters using the standard Casas-Ibarra parametrization versus the modified version, compared directly against measured mixing angles and mass-squared differences, would show whether the reabsorption is required for consistency.

Figures

Figures reproduced from arXiv: 2604.06345 by Eduardo Peinado, Gennaro Miele, Kainat Qamar, Stefano Morisi.

Figure 1
Figure 1. Figure 1: FIG. 1. Case [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Case [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Summary plot of [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5 [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6 [PITH_FULL_IMAGE:figures/full_fig_p009_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. Variation of the neutrino mass-squared differences obtained using two Casas-Ibarra parametrizations, including domi [PITH_FULL_IMAGE:figures/full_fig_p010_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: FIG. 8. Variation of the neutrino mixing angle differences obtained using two Casas-Ibarra parametrizations, including dominant [PITH_FULL_IMAGE:figures/full_fig_p010_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: FIG. 9. Variation of the neutrino mass-squared differences obtained using 2- and 3-loop corrections, see text. [PITH_FULL_IMAGE:figures/full_fig_p013_9.png] view at source ↗
read the original abstract

The standard type-I seesaw can also be regarded as a low-scale seesaw by using the freedom of the Casas-Ibarra parameterization. In this framework, radiative corrections to the neutrino mass matrix can dominate over the tree-level contribution. We show that a naive use of the Casas-Ibarra parametrization in the presence of 1-loop corrections leads to incorrect predictions for the neutrino oscillation parameters. By using a modified Casas-Ibarra parametrization, in which 1-loop corrections are reabsorbed into the right-handed neutrino mass matrix, we obtain a light neutrino mass matrix consistent with experimental values. On the other hand, we show that physical processes related to right-handed neutrino propagation, such as heavy neutral lepton searches, do not depend on the 1-loop corrections. Moreover, we show that ${\rm Br}(\mu\to e \gamma)$ provides competitive constraints on the parameter space of heavy neutral lepton search experiments for masses above $100$ GeV.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper examines one-loop radiative corrections in the low-scale type-I seesaw using the Casas-Ibarra parametrization. It shows that a naive application leads to incorrect neutrino oscillation predictions, proposes a modified parametrization that reabsorbs the loop corrections into the right-handed neutrino mass matrix M_R to restore consistency with data, claims that this leaves heavy neutral lepton (HNL) propagation processes unaffected, and derives competitive constraints from Br(μ → eγ) on HNL parameter space for masses above 100 GeV.

Significance. If the reabsorption procedure is valid and preserves the heavy-sector spectrum without residual inconsistencies, the work provides a consistent framework for including dominant radiative effects in low-scale seesaw models while keeping HNL phenomenology predictions stable. This could refine theoretical inputs for HNL searches and highlight Br(μ → eγ) as a useful complementary probe, strengthening the link between neutrino mass generation and beyond-Standard-Model phenomenology.

major comments (2)
  1. [Section on modified Casas-Ibarra and HNL processes] The central claim that HNL-related processes (production, decay, and searches) are independent of the 1-loop corrections after redefining M_R requires explicit verification that the heavy mass eigenvalues and mixing elements U_αN remain invariant. In the low-scale regime where loop contributions are comparable to tree level, shifting M_R generically alters the spectrum and mixings; the manuscript must demonstrate that the specific form of the loop term (proportional to m_D^T M_R^{-1} m_D) ensures no net change to the physical heavy states.
  2. [Derivation of the modified parametrization] The reabsorption procedure assumes the 1-loop correction has exactly the same flavor alignment as the tree-level term so that it can be fully absorbed without residual orthogonal components. Any mismatch from additional diagrams or threshold effects would produce a light-neutrino mass matrix that cannot be made consistent with oscillation data by M_R redefinition alone; the derivation should include an explicit decomposition showing the loop term lies in the same direction in flavor space.
minor comments (2)
  1. [Abstract] The abstract states consistency with experimental values but does not quantify the agreement (e.g., which oscillation parameters are reproduced to what precision or the χ² value).
  2. [Introduction and formalism] Notation for the complex orthogonal matrix in the Casas-Ibarra parametrization and the explicit form of the 1-loop term should be introduced with equations at first use to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We have revised the paper to provide the explicit verifications and decompositions requested. Our point-by-point responses follow.

read point-by-point responses

  1. Referee: The central claim that HNL-related processes (production, decay, and searches) are independent of the 1-loop corrections after redefining M_R requires explicit verification that the heavy mass eigenvalues and mixing elements U_αN remain invariant. In the low-scale regime where loop contributions are comparable to tree level, shifting M_R generically alters the spectrum and mixings; the manuscript must demonstrate that the specific form of the loop term (proportional to m_D^T M_R^{-1} m_D) ensures no net change to the physical heavy states.

    Authors: We agree that explicit verification strengthens the presentation. In our framework the physical right-handed neutrino mass matrix M_R remains the input parameter whose eigenvalues determine the HNL masses; the reabsorption defines an effective M_R' only for the purpose of reproducing the correct one-loop light-neutrino mass matrix via the standard Casas-Ibarra formula. Because the loop correction δm_ν has the same m_D … m_D^T structure as the tree-level term, the Dirac mass matrix m_D and the physical M_R can be chosen so that the mixing elements U_αN = m_D M_R^{-1} (to leading order) are unchanged. We have added an analytical proof in the revised Section 3 together with numerical benchmarks confirming that the heavy eigenvalues and |U_αN| used for production/decay rates are identical to those obtained without the loop correction. Thus HNL phenomenology is unaffected by construction. revision: yes

  2. Referee: The reabsorption procedure assumes the 1-loop correction has exactly the same flavor alignment as the tree-level term so that it can be fully absorbed without residual orthogonal components. Any mismatch from additional diagrams or threshold effects would produce a light-neutrino mass matrix that cannot be made consistent with oscillation data by M_R redefinition alone; the derivation should include an explicit decomposition showing the loop term lies in the same direction in flavor space.

    Authors: We have expanded the derivation in Section 2.2 to include the requested decomposition. Working in the basis where M_R is diagonal, the one-loop self-energy contribution to the light-neutrino mass matrix is δm_ν = m_D F(M_R) m_D^T, with F a diagonal matrix whose entries are the standard loop integrals. The tree-level term is m_D M_R^{-1} m_D^T. Their sum is therefore m_D (M_R^{-1} + F) m_D^T, which is exactly reproduced by replacing M_R with the effective matrix M_R' defined by (M_R')^{-1} = M_R^{-1} + F. This shows that the loop term lies in the identical flavor direction and can be fully absorbed; no orthogonal component appears at this order. We have added the explicit matrix decomposition and a brief discussion of the regime where higher-order or threshold corrections remain negligible. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard reparametrization

full rationale

The paper applies a modified Casas-Ibarra parametrization to reabsorb one-loop corrections into the right-handed neutrino mass matrix M_R via standard QFT matching, yielding a light-neutrino mass matrix that matches oscillation data by choice of parameters in the usual way. This redefinition does not reduce any claimed prediction to its own inputs by construction, nor does it rely on self-citations for uniqueness or load-bearing steps. The assertion that heavy-neutral-lepton processes remain independent follows directly from the structure of the effective Lagrangian after the shift, without forcing eigenvalues or mixings to be invariant through fitted quantities. No ansatz is imported via citation, no known result is merely renamed, and the central claims rest on explicit diagrammatic calculations rather than self-referential definitions. The derivation is therefore self-contained against external benchmarks such as measured neutrino masses and HNL search limits.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The work rests on the standard type-I seesaw Lagrangian and the validity of the Casas-Ibarra parametrization at low scales, with loop corrections treated perturbatively.

free parameters (1)
  • Casas-Ibarra complex orthogonal matrix parameters
    These are adjusted to reproduce observed neutrino data after including loop effects.
axioms (2)
  • domain assumption Standard type-I seesaw mechanism generates light neutrino masses via heavy right-handed neutrinos
    Invoked throughout as the base framework for the low-scale model.
  • domain assumption One-loop corrections can be computed in the effective theory without higher-order effects dominating
    Assumed when reabsorbing corrections into the mass matrix.

pith-pipeline@v0.9.0 · 5468 in / 1339 out tokens · 33517 ms · 2026-05-10T18:41:38.280941+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Towards Precision Neutrino Fits in GUTs: Relevance of One-Loop Finite Corrections

    hep-ph 2026-05 unverdicted novelty 6.0

    One-loop corrections in minimal SO(10) GUTs cause 30-40% shifts in neutrino observables from tree-level fits, requiring their inclusion for reliable parameter space exploration.

Reference graph

Works this paper leans on

28 extracted references · cited by 1 Pith paper

  1. [1]

    J. A. Casas and A. Ibarra. Oscillating neutrinos andµ→e, γ.Nucl. Phys. B, 618:171–204, 2001. 14

    2001

  2. [2]

    S. M. Boucenna, S. Morisi, and J. W. F. Valle. The low-scale approach to neutrino masses.Adv. High Energy Phys., 2014:831598, 2014

    2014

  3. [3]

    Antusch, E

    S. Antusch, E. Cazzato, M. Drewes, O. Fischer, B. Garbrecht, D. Gueter, and J. Klaric. Probing leptogenesis at future colliders.JHEP, 09:124, 2018

    2018

  4. [4]

    A. M. Abdullahi, P. B. Alzas, B. Batell, J. Beacham, A. Boyarsky, S. Carbajal, A. Chatterjee, J. I. Crespo-Anadon, F. F. Deppisch, A. De Roeck, et al. The present and future status of heavy neutral leptons.J. Phys. G, 50(2):020501, 2023

    2023

  5. [5]

    Grimus and L

    W. Grimus and L. Lavoura. One-loop corrections to the seesaw mechanism in the multi-higgs-doublet standard model. Phys. Lett. B, 546:86–95, 2002

    2002

  6. [6]

    Aristizabal Sierra and C

    D. Aristizabal Sierra and C. E. Yaguna. On the importance of the 1-loop finite corrections to seesaw neutrino masses. JHEP, 08:013, 2011

    2011

  7. [7]

    P. F. de Salas, D. V. Forero, S. Gariazzo, P. Mart´ ınez-Mirav´ e, O. Mena, C. A. Ternes, M. T´ ortola, and J. W. F. Valle. 2020 global reassessment of the neutrino oscillation picture.JHEP, 02:071, 2021

    2020

  8. [8]

    Ivan Esteban, M. C. Gonzalez-Garcia, Michele Maltoni, Ivan Martinez-Soler, Jo˜ ao Paulo Pinheiro, and Thomas Schwetz. NuFit-6.0: updated global analysis of three-flavor neutrino oscillations.JHEP, 12:216, 2024

    2024

  9. [9]

    Neutrino masses and mixing: Entering the era of subpercent precision.Phys

    Francesco Capozzi, William Giar` e, Eligio Lisi, Antonio Marrone, Alessandro Melchiorri, and Antonio Palazzo. Neutrino masses and mixing: Entering the era of subpercent precision.Phys. Rev. D, 111(9):093006, 2025

    2025

  10. [10]

    Bauer, O

    M. Bauer, O. Brandt, L. Lee, and C. Ohm. Anubis: Proposal to search for long-lived neutral particles in cern service shafts, 2019

    2019

  11. [11]

    Shah et al

    A. Shah et al. Searches for long-lived particles with the anubis experiment.PoS, EPS-HEP2023:051, 2024

    2024

  12. [12]

    Curtin, M

    D. Curtin, M. Drewes, M. McCullough, P. Meade, R. N. Mohapatra, J. Shelton, B. Shuve, E. Accomando, C. Alpigiani, S. Antusch, et al. Long-lived particles at the energy frontier: The mathusla physics case.Rept. Prog. Phys., 82(11):116201, 2019

    2019

  13. [13]

    Baldini, A

    W. Baldini, A. Balla, J. Bernhard, A. Calcaterra, V. Cafaro, A. Ceccucci, V. Cicero, P. Ciambrone, H. Danielsson, G. D’Alessandro, et al. Shadows (search for hidden and dark objects with the sps), 2021

    2021

  14. [14]

    Cortina Gil et al

    E. Cortina Gil et al. The beam and detector of the na62 experiment at cern.JINST, 12(05):P05025, 2017

    2017

  15. [15]

    Drewes, J

    M. Drewes, J. Hajer, J. Klaric, and G. Lanfranchi. Na62 sensitivity to heavy neutral leptons in the low scale seesaw model. JHEP, 07:105, 2018

    2018

  16. [16]

    Ariga et al

    A. Ariga et al. Faser’s physics reach for long-lived particles.Phys. Rev. D, 99(9):095011, 2019

    2019

  17. [17]

    V. V. Gligorov, S. Knapen, M. Papucci, and D. J. Robinson. Searching for long-lived particles: A compact detector for exotics at lhcb.Phys. Rev. D, 97(1):015023, 2018

    2018

  18. [18]

    Anelli et al

    M. Anelli et al. A facility to search for hidden particles (ship) at the cern sps, 2015

    2015

  19. [19]

    Abada et al

    A. Abada et al. Fcc-ee: The lepton collider: Future circular collider conceptual design report volume 2.Eur. Phys. J. ST, 228(2):261–623, 2019

    2019

  20. [20]

    Abada et al

    A. Abada et al. Fcc-hh: The hadron collider: Future circular collider conceptual design report volume 3.Eur. Phys. J. ST, 228(4):755–1107, 2019

    2019

  21. [21]

    S. Morisi. Heavy neutral lepton search andµ→eγconstraints in case of type-i seesaw.Symmetry, 16(7):843, 2024

    2024

  22. [22]

    Drewes, B

    M. Drewes, B. Garbrecht, D. Gueter, and J. Klaric. Testing the low scale seesaw and leptogenesis.JHEP, 08:018, 2017

    2017

  23. [23]

    Drewes and B

    M. Drewes and B. Garbrecht. Combining experimental and cosmological constraints on heavy neutrinos.Nucl. Phys. B, 921:250–315, 2017

    2017

  24. [24]

    Chrzaszcz, M

    M. Chrzaszcz, M. Drewes, T. E. Gonzalo, J. Harz, S. Krishnamurthy, and C. Weniger. A frequentist analysis of three right-handed neutrinos with gambit.Eur. Phys. J. C, 80(6):569, 2020

    2020

  25. [25]

    Agrawal, M

    P. Agrawal, M. Bauer, J. Beacham, A. Berlin, A. Boyarsky, S. Cebrian, X. Cid-Vidal, D. d’Enterria, A. De Roeck, M. Drewes, et al. Feebly-interacting particles: Fips 2020 workshop report.Eur. Phys. J. C, 81(11):1015, 2021

    2020

  26. [26]

    Granelli, J

    A. Granelli, J. Klari´ c, and S. T. Petcov. Tests of low-scale leptogenesis in charged lepton flavour violation experiments. Phys. Lett. B, 837:137643, 2023

    2023

  27. [27]

    Afanaciev et al

    K. Afanaciev et al. New limit on theµ + →e +γdecay with the meg ii experiment.Eur. Phys. J. C, 85(10):1177, 2025. Erratum: Eur. Phys. J. C85, 1317 (2025)

    2025

  28. [28]

    Lopez-Pavon, E

    J. Lopez-Pavon, E. Molinaro, and S. T. Petcov. Radiative corrections to light neutrino masses in low scale type i seesaw scenarios and neutrinoless double beta decay.JHEP, 11:030, 2015

    2015