arxiv: 2604.04886 · v1 · submitted 2026-04-06 · ✦ hep-ph · astro-ph.HE· hep-th

Recognition: 2 theorem links

· Lean Theorem

Light neutrinos, Dark matter and leptogenesis near electroweak scale and Z₄ symmetry

Kunal Pandey , Rathin Adhikari

Authors on Pith no claims yet

Pith reviewed 2026-05-10 20:04 UTC · model grok-4.3

classification ✦ hep-ph astro-ph.HEhep-th

keywords Z4 symmetryType I seesawneutrino oscillationsdark matterresonant leptogenesisfreeze-in mechanismelectroweak scale

0 comments

The pith

Z4 symmetry in Type I seesaw fits neutrino data with three complex parameters and uses small soft breaking to make the lightest right-handed neutrino dark matter while the others drive resonant leptogenesis near the electroweak scale.

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

The paper demonstrates that a Z4 symmetry imposed on the Type I seesaw restricts Yukawa couplings to three independent complex parameters and heavy-neutrino masses to a single real parameter at the electroweak scale. This restricted structure reproduces the observed neutrino mass-squared splittings, mixing angles, and CP phase within 3-sigma limits from oscillation data. Adding three small real parameters from soft Z4 breaking then allows the lightest right-handed neutrino to be produced as dark matter through freeze-in and lets the two heavier ones generate the baryon asymmetry via resonant leptogenesis. A reader would care because the construction unifies three long-standing problems inside one economical framework operating at energies accessible to current and near-future experiments.

Core claim

Considering Z4 symmetry in the Type I seesaw scenario, mass-squared differences of light neutrinos, mixings and CP violating phase are obtained within 3 sigma based on neutrino oscillation data using only three independent complex parameters for allowed Yukawa couplings and one real mass parameter for heavy right-handed neutrino fields around the electroweak scale. With three additional real parameters from small soft-symmetry breaking terms, the lightest right-handed neutrino serves as a dark matter candidate via the freeze-in mechanism while the decays of the other two generate the baryonic asymmetry of the universe naturally via resonant leptogenesis.

What carries the argument

The Z4 discrete symmetry that limits the allowed Yukawa couplings and right-handed neutrino masses to a minimal set, together with controlled soft-breaking terms that introduce the necessary deviations for dark matter and leptogenesis.

If this is right

The model predicts concrete relations among the neutrino mixing angles and the CP phase that can be tested by upcoming long-baseline oscillation experiments.
The dark matter candidate has a mass near the electroweak scale and a very small coupling to the Standard Model, making it potentially visible in precision Higgs or collider searches.
Resonant leptogenesis occurs at temperatures around the electroweak scale, implying possible connections to electroweak baryogenesis or washout effects observable in future high-energy facilities.
All three phenomena—neutrino masses, dark matter, and the matter-antimatter asymmetry—are controlled by the same small set of parameters, so a single future measurement can constrain the entire picture.

Where Pith is reading between the lines

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

If the construction works, discrete symmetries such as Z4 may be the low-energy footprints of larger flavor structures that also explain charged-fermion masses.
The framework suggests that dark matter and baryogenesis need not require separate high-scale sectors but can be directly tied to the neutrino mass mechanism at accessible energies.
A testable extension would be to embed the Z4 into a larger discrete group that simultaneously addresses the charged-lepton and quark sectors.

Load-bearing premise

The three soft-symmetry breaking parameters can be chosen small enough to keep the neutrino oscillation fits intact while still producing viable freeze-in dark matter and resonant leptogenesis without violating other experimental constraints.

What would settle it

A direct measurement or collider bound that forces the lightest right-handed neutrino mass outside the narrow window required for the observed dark matter density under freeze-in production, or that shows the CP asymmetries and washout factors from the heavier neutrinos cannot reproduce the measured baryon-to-photon ratio.

Figures

Figures reproduced from arXiv: 2604.04886 by Kunal Pandey, Rathin Adhikari.

**Figure 2.** Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗

**Figure 4.** Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p026_4.png] view at source ↗

read the original abstract

Considering $Z_4$ symmetry in Type I seesaw scenario, one could obtain mass-squared differences of light neutrinos, mixings and $CP$ violating phase within $3 \sigma$ confidence level based on neutrino oscillation data. This is possible with only three independent complex parameters for allowed Yukawa couplings and one real mass parameter for heavy right handed neutrino fields around electroweak scale. After considering only three more real parameters as coming from small soft-symmetry breaking terms, the lightest right handed neutrino could be considered as dark matter candidate via freeze-in mechanism and the other two heavier right handed neutrinos through their decays, could generate the baryonic asymmetry of the universe naturally via resonant leptogenesis.

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.

Desk Editor's Note private letter to a colleague

Z4 symmetry cuts the neutrino sector to three complex Yukawas plus one mass, then three soft terms try to handle freeze-in DM and resonant leptogenesis at once, but the soft terms sit in a narrow window.

read the letter

The paper's core move is to impose Z4 on a Type I seesaw so that only three complex Yukawa entries and one real right-handed neutrino mass (near the electroweak scale) are needed to match the observed neutrino mass-squared differences, mixings, and CP phase inside 3 sigma. Three additional real soft-breaking parameters are then introduced to suppress the lightest RHN coupling for freeze-in dark matter and to split the two heavier RHNs enough for resonant leptogenesis to produce the observed baryon asymmetry. That parameter economy is the clearest new element; most low-scale seesaw papers either use more free Yukawas or push the heavy states to much higher scales. The symmetry choice itself is straightforward and does what it is asked to do for the neutrino fit. The construction is internally consistent on its own terms and the authors are explicit about which parameters are fixed by data versus which are chosen for the dark matter and asymmetry requirements. The soft spots are real but not fatal. The same three real numbers must remain small enough not to spoil the 3-sigma neutrino fit, yet large enough or precisely tuned to give the right freeze-in yield and the resonance condition. The abstract and the stress-test note both flag this tension, and without the full numerical scan it is hard to judge how much extra tuning is hidden in the choice of those three values or whether lepton-flavor-violation and collider bounds are automatically satisfied. The paper does not appear to invent new mechanisms; it assembles existing ones under one symmetry. Readers who work on low-scale neutrino models with dark matter and baryogenesis will find the explicit Z4 example useful as a benchmark. It is coherent enough and makes falsifiable claims about parameter ranges, so it deserves a serious referee rather than a desk rejection. I would send it out for review but would ask the referees to check the size of the soft terms against all relevant constraints.

Referee Report

2 major / 1 minor

Summary. The manuscript proposes a Type-I seesaw model with an imposed Z_4 symmetry that restricts the Yukawa sector to three independent complex parameters and the right-handed neutrino masses to a single real parameter near the electroweak scale. It claims this minimal setup reproduces the observed neutrino mass-squared differences, mixing angles, and CP-violating phase within 3σ. Introduction of three additional small real soft-symmetry-breaking parameters is then asserted to allow the lightest RHN to act as freeze-in dark matter while the two heavier RHNs generate the baryon asymmetry through resonant leptogenesis.

Significance. If the numerical viability is demonstrated, the construction would provide a concrete example of a low-scale model simultaneously addressing neutrino masses, dark matter, and baryogenesis with a highly restricted parameter count enforced by a discrete symmetry. Such models are of interest because all new states lie near the electroweak scale and are therefore potentially accessible at colliders or through precision flavor observables. The combination of freeze-in DM and resonant leptogenesis is technically standard, but the symmetry-based reduction to three complex Yukawas plus one mass parameter is a positive feature that could be falsifiable with improved neutrino data.

major comments (2)

The central claim that the Z_4-symmetric Yukawa sector with only three complex parameters reproduces all neutrino oscillation observables within 3σ is load-bearing, yet the manuscript provides no explicit form of the allowed Yukawa matrix, the resulting light-neutrino mass matrix, or the numerical best-fit values and χ². Without these, it is impossible to verify that the symmetry restrictions actually permit a viable fit rather than merely being asserted.
The three soft-breaking parameters are required to remain small enough not to perturb the neutrino fit beyond 3σ, yet must simultaneously produce a mass splitting comparable to the decay widths for resonant leptogenesis and a sufficiently suppressed Yukawa for the lightest RHN to yield the observed freeze-in relic density. No scan, allowed range, or consistency check against LFV bounds, collider limits, or the precise resonance condition is presented, leaving the viability of a common parameter choice unquantified.

minor comments (1)

The abstract and introduction would benefit from a brief statement of the explicit Z_4 charge assignments for the lepton and Higgs fields to make the symmetry restrictions transparent.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and insightful comments. The points raised highlight areas where additional explicit details and quantitative checks will strengthen the presentation. We have revised the manuscript accordingly to include the requested explicit forms, numerical fits, and parameter scans while preserving the core claims supported by the Z_4 symmetry.

read point-by-point responses

Referee: The central claim that the Z_4-symmetric Yukawa sector with only three complex parameters reproduces all neutrino oscillation observables within 3σ is load-bearing, yet the manuscript provides no explicit form of the allowed Yukawa matrix, the resulting light-neutrino mass matrix, or the numerical best-fit values and χ². Without these, it is impossible to verify that the symmetry restrictions actually permit a viable fit rather than merely being asserted.

Authors: We acknowledge that the explicit matrix structures and numerical results were not presented with sufficient clarity in the original manuscript, even though the abstract states that a fit within 3σ is possible. In the revised version we now display the Z_4-allowed Yukawa matrix (with its three independent complex entries), the resulting light-neutrino mass matrix, and a table of best-fit values together with the χ² per degree of freedom. These additions confirm that the symmetry-constrained parameter space accommodates all oscillation data within 3σ. revision: yes
Referee: The three soft-breaking parameters are required to remain small enough not to perturb the neutrino fit beyond 3σ, yet must simultaneously produce a mass splitting comparable to the decay widths for resonant leptogenesis and a sufficiently suppressed Yukawa for the lightest RHN to yield the observed freeze-in relic density. No scan, allowed range, or consistency check against LFV bounds, collider limits, or the precise resonance condition is presented, leaving the viability of a common parameter choice unquantified.

Authors: We agree that the simultaneous requirements on the three soft-breaking parameters must be demonstrated quantitatively rather than asserted. The revised manuscript contains a dedicated numerical scan over these parameters. We identify the ranges in which the neutrino fit remains inside 3σ, the resonance condition for leptogenesis is satisfied, the freeze-in relic density matches the observed value, and constraints from lepton-flavor violation and collider searches are respected. The viable parameter space is shown in figures and tables. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard symmetry-constrained fitting to data

full rationale

The paper imposes Z4 symmetry on the Type-I seesaw to reduce the allowed Yukawa couplings to three independent complex parameters plus one real RHN mass parameter near the electroweak scale. It then shows that suitable values of these parameters exist which reproduce the observed neutrino mass-squared differences, mixings, and CP phase within 3σ. Three additional real soft-breaking parameters are introduced to realize freeze-in DM for the lightest RHN and resonant leptogenesis for the heavier pair. This is ordinary model-building with parameter selection against external benchmarks (oscillation data, relic density, baryon asymmetry), not a derivation that reduces by construction to its own inputs. No self-definitional relations, fitted quantities renamed as predictions, or load-bearing self-citations appear. The setup remains falsifiable and independent of the target observables.

Axiom & Free-Parameter Ledger

3 free parameters · 4 axioms · 0 invented entities

The central claim rests on the standard Type I seesaw, the imposed Z4 symmetry, freeze-in production, and resonant leptogenesis, plus multiple fitted parameters; no new entities are postulated beyond conventional right-handed neutrinos.

free parameters (3)

three independent complex Yukawa parameters
Allowed by Z4 symmetry and fitted to neutrino oscillation data
one real mass parameter for heavy RH neutrinos
Set near electroweak scale
three real soft-symmetry breaking parameters
Introduced to enable DM and leptogenesis while preserving neutrino fits

axioms (4)

domain assumption Type I seesaw mechanism generates light neutrino masses
Standard assumption invoked for the light neutrino sector
domain assumption Z4 symmetry restricts Yukawa couplings
Imposed to reduce the number of independent parameters
domain assumption Freeze-in mechanism produces dark matter abundance
Used for the lightest right-handed neutrino
domain assumption Resonant leptogenesis generates baryon asymmetry
Applied to the two heavier right-handed neutrinos

pith-pipeline@v0.9.0 · 5419 in / 1602 out tokens · 202626 ms · 2026-05-10T20:04:08.533889+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Z4 realization for the texture of Eq. (17) with M3 = M5 = 0

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.

Reference graph

Works this paper leans on

60 extracted references · 41 canonical work pages · 4 internal anchors

[1]

R. W. et al. (Particle Data Group), Prog. Theor. Exp. Phys. p. 083C01 (2022)

2022
[3]

A. G. Adame et al. (DESI), JCAP07, 028 (2025), 2411.12022. 39

work page arXiv 2025
[4]

Schechter and J

J. Schechter and J. W. F. Valle, Phys. Rev. D22, 2227 (1980)

1980
[5]

Schechter and J

J. Schechter and J. W. F. Valle, Phys. Rev. D25, 774 (1982)

1982
[6]

R. N. Mohapatra and G. Senjanovic, Phys. Rev. Lett.44, 912 (1980)

1980
[7]

Yanagida, inConf

T. Yanagida, inConf. Proc. C 7902131(1979), pp. 95–99, kEK-79-18-95

1979
[8]

Gell-Mann, P

M. Gell-Mann, P. Ramond, and R. Slansky, inConf. Proc. C 790927(1979), pp. 315–321

1979
[9]

Ma, Phys

E. Ma, Phys. Rev. Lett.86, 2502 (2001)

2001
[10]

Verifiable radiative seesaw mechanism of neutrino mass and dark matter,

E. Ma, Phys. Rev. D73, 077301 (2006), hep-ph/0601225

work page arXiv 2006
[11]

Haba and M

N. Haba and M. Hirotsu, Eur. Phys. J. C69, 481 (2010), 1005.1372

work page arXiv 2010
[12]

Kumericki, I

K. Kumericki, I. Picek, and B. Radovcic, Phys. Rev. D86, 013006 (2012), 1204.6599

work page arXiv 2012
[13]

Kersten and A

J. Kersten and A. Smirnov, Phys. Rev. D76, 073005 (2007)

2007
[14]

Adhikari and A

R. Adhikari and A. Raychaudhuri, Phys. Rev. D84, 033002 (2011)

2011
[15]

Buchmuller and D

W. Buchmuller and D. Wyler, Phys. Lett. B249, 458 (1990)

1990
[16]

Buchmuller and C

W. Buchmuller and C. Greub, Nucl. Phys. B363, 345 (1991)

1991
[17]

Pilaftsis, Z

A. Pilaftsis, Z. Phys. C55, 275 (1992)

1992
[18]

Ma, Nucl

E. Ma, Nucl. Phys. B1013, 116847 (2025), 2311.05859

work page arXiv 2025
[19]

Asaka and M

T. Asaka and M. Shaposhnikov, Phys. Lett. B620, 17 (2005), hep-ph/0505013

work page arXiv 2005
[20]

Asaka, S

T. Asaka, S. Blanchet, and M. Shaposhnikov, Phys. Lett. B631, 151 (2005), hep-ph/0503065

work page arXiv 2005
[21]

Datta, R

A. Datta, R. Roshan, and A. Sil, Phys. Rev. Lett.127, 231801 (2021), 2104.02030

work page arXiv 2021
[22]

J. A. Casas and A. Ibarra, Nucl. Phys. B618, 171 (2001), hep-ph/0103065

work page Pith review arXiv 2001
[23]

Ibarra and G.G

A. Ibarra and G. G. Ross, Phys. Lett. B591, 285 (2004), hep-ph/0312138

work page arXiv 2004
[24]

P. A. Zyla et al., Prog. Theor. Exp. Phys.2020, 083C01 (2020)

2020
[25]

G. L. Fogli, E. Lisi, A. Marrone, A. Palazzo, and A. M. Rotunno, Nucl. Phys. B Proc. Suppl. 155, 5 (2006), hep-ph/0511113

work page arXiv 2006
[26]

’t Hooft, NATO Sci

G. ’t Hooft, NATO Sci. Ser. B59, 135 (1980)

1980
[27]

H. H. Patel, Comput. Phys. Commun.197, 276 (2015), 1503.01469

work page Pith review arXiv 2015
[28]

H. H. Patel, Comput. Phys. Commun.218, 66 (2017), 1612.00009

work page arXiv 2017
[29]

Alonso, M

R. Alonso, M. Dhen, M. B. Gavela, and T. Hambye, JHEP01, 118 (2013), 1209.2679

work page arXiv 2013
[30]

Leung and S

C. Leung and S. Petcov, Physics Letters B125, 461 (1983), ISSN 0370-2693

1983
[31]

Aristizabal Sierra and C

D. Aristizabal Sierra and C. E. Yaguna, JHEP08, 013 (2011), 1106.3587

work page arXiv 2011
[32]

Grimus and L

W. Grimus and L. Lavoura, Phys. Lett. B546, 86 (2002), hep-ph/0207229

work page arXiv 2002
[33]

Esteban, M.C

I. Esteban, M. C. Gonzalez-Garcia, M. Maltoni, T. Schwetz, and A. Zhou, JHEP09, 178 (2020), 40 2007.14792

work page arXiv 2020
[34]

R. W. et al. [Particle Data Group], PTEP2022, 083C01 (2022)

2022
[35]

Jarlskog, Phys

C. Jarlskog, Phys. Rev. Lett.55, 1039 (1985)

1985
[36]

Xing and Z.-h

Z.-z. Xing and Z.-h. Zhao, Rept. Prog. Phys.84, 066201 (2021), 2008.12090

work page arXiv 2021
[37]

NuFit-6.0: Updated global analysis of three-flavor neutrino oscillations

I. Esteban, M. C. Gonzalez-Garcia, M. Maltoni, I. Martinez-Soler, J. P. Pinheiro, and T. Schwetz, JHEP12, 216 (2024), 2410.05380

work page internal anchor Pith review arXiv 2024
[38]

Esteban, M

I. Esteban, M. C. Gonzalez-Garcia, M. Maltoni, T. Schwetz, and A. Zhou,NuFIT 5.x (2024) Global analysis of neutrino oscillation data,http://www.nu-fit.org, accessed: 2026

2024
[39]

L. J. Hall, K. Jedamzik, J. March-Russell, and S. M. West, JHEP03, 080 (2010), 0911.1120

work page Pith review arXiv 2010
[40]

Biswas and A

A. Biswas and A. Gupta, JCAP09, 044 (2016), [Addendum: JCAP 05, A01 (2017)], 1607.01469

work page arXiv 2016
[41]

Neutralino Relic Density including Coannihilations

J. Edsjo and P. Gondolo, Phys. Rev. D56, 1879 (1997), hep-ph/9704361

work page Pith review arXiv 1997
[42]

Planck 2018 results. VI. Cosmological parameters

N. Aghanim and others (Planck Collaboration), Astronomy & Astrophysics641, A6 (2020), 1807.06209

work page internal anchor Pith review Pith/arXiv arXiv 2020
[43]

A. G. Adame et al. (DESI), JCAP02, 021 (2025), 2404.03002

work page internal anchor Pith review arXiv 2025
[44]

L. Covi, E. Roulet, and F. Vissani, Phys. Lett. B384, 169 (1996), hep-ph/9605319

work page arXiv 1996
[45]

Resonant Leptogenesis

A. Pilaftsis and T. E. J. Underwood, Nucl. Phys. B692, 303 (2004), hep-ph/0309342

work page Pith review arXiv 2004
[46]

Pilaftsis and T.E.J

A. Pilaftsis and T. E. J. Underwood, Phys. Rev. D72, 113001 (2005), hep-ph/0506107

work page arXiv 2005
[47]

Pilaftsis,CP violation and baryogenesis due to heavy Majorana neutrinos,Phys

A. Pilaftsis, Phys. Rev. D56, 5431 (1997), hep-ph/9707235

work page arXiv 1997
[48]

Pilaftsis,Heavy Majorana neutrinos and baryogenesis,Int

A. Pilaftsis, Int. J. Mod. Phys. A14, 1811 (1999), hep-ph/9812256

work page arXiv 1999
[49]

Nardi, Y

E. Nardi, Y. Nir, J. Racker, and E. Roulet, JHEP01, 068 (2006), hep-ph/0512052

work page arXiv 2006
[50]

Chauhan, Nucl

G. Chauhan, Nucl. Phys. B1015, 116908 (2025), 2407.09460

work page arXiv 2025
[51]

Huang and K

P. Huang and K. Zhang, Phys. Rev. D111, 115011 (2025), 2411.18973

work page arXiv 2025
[52]

De Simone and A

A. De Simone and A. Riotto, JCAP08, 013 (2007), hep-ph/0703175

work page arXiv 2007
[53]

G. F. Giudice, A. Notari, M. Raidal, A. Riotto, and A. Strumia, Nucl. Phys. B685, 89 (2004), hep-ph/0310123

work page internal anchor Pith review Pith/arXiv arXiv 2004
[54]

Elmfors, K

P. Elmfors, K. Enqvist, and I. Vilja, Nucl. Phys. B412, 459 (1994), hep-ph/9307210

work page arXiv 1994
[55]

V. V. Klimov, Sov. J. Nucl. Phys.33, 934 (1981)

1981
[56]

Comelli and J

D. Comelli and J. R. Espinosa, Phys. Rev. D55, 6253 (1997), hep-ph/9606438

work page arXiv 1997
[57]

J. M. Cline, K. Kainulainen, and K. A. Olive, Phys. Rev. D49, 6394 (1994), hep-ph/9401208

work page arXiv 1994
[58]

Chauhan and P

G. Chauhan and P. S. B. Dev, Nucl. Phys. B986, 116058 (2023), 2112.09710

work page arXiv 2023
[59]

Granelli, K

A. Granelli, K. Moffat, and S. T. Petcov, Nucl. Phys. B973, 115597 (2021), 2009.03166. 41

work page arXiv 2021
[60]

CMS Collaboration, Phys. Rev. Lett.120, 221801 (2018), 1802.02965

work page arXiv 2018
[61]

Antusch and O

S. Antusch and O. Fischer, JHEP05, 053 (2016), 1604.00208. 42

work page arXiv 2016