Recognition: 2 theorem links
· Lean TheoremWhy Quarks and Leptons Demand Different Symmetries: A Systematic Z₃ Froggatt-Nielsen Analysis
Pith reviewed 2026-05-15 10:05 UTC · model grok-4.3
The pith
A Z3 discrete symmetry reproduces quark and charged lepton mass hierarchies but fails for neutrinos.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
With Z3 charges assigned to right-handed chiral superfields and a single flavon, the superpotential terms produce hierarchical Yukawa matrices for quarks and charged leptons that match observed mass ratios. Extending the identical charge algebra to the right-handed Majorana mass matrix MR forces an unsuppressed off-diagonal entry; the seesaw formula then over-suppresses the two lightest neutrino masses, driving the ratio Delta m21 squared over Delta m31 squared down to order epsilon to the sixth, two orders of magnitude below the measured value, while the PMNS matrix entries stay O(1) and random.
What carries the argument
Z3 charge assignments on right-handed superfields together with the flavon vacuum expectation value that sets the suppression parameter epsilon, with holomorphy forbidding all but selected higher-dimensional operators.
If this is right
- Quark and charged lepton mass ratios are reproduced generically with O(1) coefficients and one expansion parameter.
- CKM angles can be fit by tuning coefficients but receive no structural prediction from the symmetry.
- Neutrino masses and mixings require a symmetry mechanism distinct from the one used for quarks and charged leptons.
- The failure of a unified Z3 charge assignment across all sectors points toward a sectorial construction of flavor symmetries.
Where Pith is reading between the lines
- Model building should assign separate discrete symmetries to the quark and lepton sectors rather than a single Z3 for everything.
- Alternative neutrino mass mechanisms such as type-II seesaw or additional flavons might restore the observed spectrum without altering the quark sector success.
- The random PMNS angles align with statistical anarchy expectations in the neutrino sector once the Z3 constraint is removed.
Load-bearing premise
The Z3 charge algebra on the right-handed Majorana neutrinos forces an unsuppressed off-diagonal entry in the Majorana mass matrix.
What would settle it
A measured value of Delta m21 squared over Delta m31 squared near 0.03 would contradict the predicted order epsilon to the sixth suppression from the seesaw formula.
Figures
read the original abstract
We present a systematic analysis of a minimal supersymmetric $Z_3$ discrete flavor symmetry as a solution to the fermion mass hierarchy problem. With generation-dependent $Z_3$ charges on the right-handed chiral superfields and a single flavon chiral superfield, holomorphy of the superpotential restricts the Yukawa operators so that a single expansion parameter $\epsilon \simeq 0.015$ structurally accounts for the hierarchical pattern of quark and charged lepton mass ratios with $\mathcal{O}(1)$ Yukawa couplings. A Monte Carlo scan over $10^5$ random $\mathcal{O}(1)$ coefficient sets confirms that adjacent-generation mass ratios generically fall within the experimental ranges. The CKM mixing angles are reproducible with specific coefficient choices ($\chi^2/\text{dof} \simeq 1.6$) but are not structurally predicted. Extended to neutrinos within a type-I seesaw, the framework fails decisively on two fronts. First, the mass spectrum is far too hierarchical: $\Delta m_{21}^2/\Delta m_{31}^2 \lesssim 10^{-4}$, two orders of magnitude below the observed $0.030$. Second, the PMNS mixing angles are generically $\mathcal{O}(1)$ random -- consistent with Haar-distributed unitaries -- providing no mechanism to predict the observed pattern. When $M_R$ carries the $Z_3$ charge structure dictated by the Majorana charge algebra, an unsuppressed off-diagonal entry combines with the hierarchical column texture of the Dirac mass: the seesaw congruence transformation over-suppresses both light masses $m_1, m_2$ to $\mathcal{O}(\epsilon^3)$, deepening the ratio $\Delta m_{21}^2/\Delta m_{31}^2$ to $\mathcal{O}(\epsilon^6) \sim 10^{-11}$. These results motivate a sectorial view of flavor where different fermion sectors arise from distinct symmetry mechanisms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents a systematic analysis of a minimal supersymmetric Z_3 discrete flavor symmetry in the Froggatt-Nielsen framework. With generation-dependent Z_3 charges on right-handed chiral superfields and a single flavon, holomorphy restricts Yukawa operators so that a single expansion parameter ε ≃ 0.015 accounts for quark and charged-lepton mass hierarchies with O(1) coefficients. A Monte Carlo scan over 10^5 random coefficient sets confirms that adjacent-generation mass ratios generically match experiment; CKM angles are reproducible with specific choices (χ²/dof ≃ 1.6) but not structurally predicted. Extending to neutrinos in a type-I seesaw, the framework fails: the light-neutrino spectrum is over-hierarchical (Δm₂₁²/Δm₃₁² ≲ 10^{-4} versus observed 0.030) and PMNS angles are generically O(1) random, because the Majorana charge algebra forces an unsuppressed off-diagonal entry in M_R that, combined with the hierarchical Dirac texture, over-suppresses m₁ and m₂ to O(ε³) and deepens the ratio to O(ε⁶).
Significance. If the neutrino failure is robust, the work is significant because it supplies concrete, falsifiable evidence that a single minimal Z_3 Froggatt-Nielsen mechanism cannot unify all fermion sectors, thereby motivating a sectorial approach to flavor symmetries. Credit is due for the large-scale Monte Carlo confirmation of the quark/lepton sector and for the explicit seesaw calculations that isolate the structural mismatch.
major comments (1)
- [neutrino extension and seesaw analysis] § on neutrino extension (type-I seesaw): the claim that the Z_3 Majorana charge algebra necessarily produces an unsuppressed off-diagonal entry in M_R for every consistent assignment of charges to the three right-handed neutrinos is load-bearing for the decisive failure result. An explicit enumeration of all allowed charge configurations (or a proof that no fully suppressed texture exists) is required; if even one assignment suppresses all off-diagonals at higher order in ε, the over-suppression argument and the resulting Δm₂₁²/Δm₃₁² ~ O(ε⁶) prediction do not hold universally.
minor comments (1)
- [Introduction] The numerical value ε ≃ 0.015 is stated without a short derivation from the observed quark mass ratios; a one-sentence justification in the introduction would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comment on the neutrino sector. We address the major point below and will revise the manuscript accordingly to strengthen the argument.
read point-by-point responses
-
Referee: [neutrino extension and seesaw analysis] § on neutrino extension (type-I seesaw): the claim that the Z_3 Majorana charge algebra necessarily produces an unsuppressed off-diagonal entry in M_R for every consistent assignment of charges to the three right-handed neutrinos is load-bearing for the decisive failure result. An explicit enumeration of all allowed charge configurations (or a proof that no fully suppressed texture exists) is required; if even one assignment suppresses all off-diagonals at higher order in ε, the over-suppression argument and the resulting Δm₂₁²/Δm₃₁² ~ O(ε⁶) prediction do not hold universally.
Authors: We agree that an explicit enumeration of all allowed Z_3 charge assignments for the three right-handed neutrinos will make the argument more robust and transparent. In the revised manuscript we will add a dedicated appendix that systematically lists every charge configuration consistent with Z_3 invariance, holomorphy of the superpotential, and the type-I seesaw. For each such assignment we explicitly construct the allowed Majorana mass matrix M_R and demonstrate that the charge algebra always permits at least one off-diagonal entry whose suppression is at most O(ε^0) or O(ε^1). This follows because the Z_3 charges of the three neutrinos must permit at least one bilinear term N_i N_j (i ≠ j) with total charge congruent to zero modulo 3 without requiring additional flavon insertions beyond those already fixed by the Dirac sector. Consequently, the seesaw formula continues to over-suppress m_1 and m_2 relative to m_3, yielding Δm₂₁²/Δm₃₁² ≲ O(ε^6) in every case. We will also report the corresponding Monte Carlo statistics for the neutrino observables under these configurations to confirm the generic failure. revision: yes
Circularity Check
No significant circularity: structural failure shown via explicit symmetry constraints and scan
full rationale
The paper derives Z3 charge assignments from holomorphy and the discrete symmetry, then uses a Monte Carlo scan over O(1) coefficients to confirm quark and charged-lepton hierarchies are generically reproduced for ε ≈ 0.015. Neutrino failure is shown by applying the type-I seesaw formula to the resulting mD and MR textures fixed by the same charge algebra, producing Δm21²/Δm31² ≲ 10^{-4} and random PMNS angles without any fit to neutrino data. No equation reduces to its input by construction, no parameter is fitted then renamed as prediction, and no load-bearing step relies on self-citation chains. The derivation remains self-contained against external experimental benchmarks.
Axiom & Free-Parameter Ledger
free parameters (2)
- ε =
0.015
- O(1) Yukawa coefficients
axioms (2)
- domain assumption Holomorphy of the superpotential
- domain assumption Type-I seesaw mechanism
invented entities (1)
-
Flavon chiral superfield
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The column texture of Eq. (9) ... n_j = q_j ... (ε², ε, 1) ... structural predictions m1/m2 ∼ ε, m2/m3 ∼ ε
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Z3 charge algebra ... n_ij ≡ (q_i + q_j) mod 3 ... unsuppressed a12 entry ... Δm21²/Δm31² ∼ O(ε^6)
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
-
The exact column texture: tree-level Yukawa universality in heterotic $Z_3 \times Z_3$ orbifolds
In heterotic Z3 x Z3 orbifolds, the tree-level Yukawa amplitude has an exact column texture Y_lead(i,j) = c ε^{q_R[j]} with universal O(1) coefficient c across generations.
Reference graph
Works this paper leans on
-
[1]
Failure 1: mass spectrum too hierarchical The eigenvalues ofM ν in Eq. (27) inherit theε-hierarchy of the diagonal factor: mν1 :m ν2 :m ν3 ∼ε 4 :ε 2 : 1.(28) Forε= 0.015, this gives ∆m2 21 ∆m2 31 ∼ m2 2 m2 3 ∼ε 4 ≃5×10 −8,(29) while the observed value is [19] ∆m2 21 ∆m2 31 exp = 7.42×10 −5 2.51×10 −3 ≃0.030.(30) The prediction is six orders of magnitude t...
-
[2]
Failure 2: PMNS angles are unstructured The PMNS matrix is UPMNS =U † ℓ Uν,(31) whereU ℓ diagonalisesM eM † e andU ν diagonalisesM ν. In the column texture, bothU ℓ and Uν are determined by thedirectionsof independent sets of randomO(1) column vectors: Uℓ by{⃗ ce j}, andU ν by{⃗ cν j }(modified by the seesaw). Since these column directions are unrelated, ...
-
[3]
Hierarchy of Quark Masses, Cabibbo Angles and CP Violation,
C. D. Froggatt and H. B. Nielsen, “Hierarchy of Quark Masses, Cabibbo Angles and CP Violation,” Nucl. Phys. B147(1979) 277, doi:10.1016/0550-3213(79)90316-X
-
[4]
M. Leurer, Y. Nir and N. Seiberg, “Mass matrix models,” Nucl. Phys. B398(1993) 319, [arXiv:hep-ph/9212278]
work page internal anchor Pith review Pith/arXiv arXiv 1993
-
[5]
Y. Nir, “Flavor physics and CP violation,” Conf. Proc. C0107091(2001) 165 [TASI 2001 Lectures], [arXiv:hep-ph/0109090]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[6]
Unification and Fermion Mass Structure
G. G. Ross and M. Serna, “Unification and fermion mass structure,” Phys. Lett. B664(2008) 97, [arXiv:0704.1248 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[7]
N. Ardakanian, “From seesaw over-suppression to trimaximal mixing:A 4 as the minimal resolution of theZ 3 neutrino failure,” [arXiv:2603.21264 [hep-ph]]
-
[8]
Discrete Flavor Symmetries and Models of Neutrino Mixing
G. Altarelli and F. Feruglio, “Discrete Flavor Symmetries and Models of Neutrino Mixing,” Rev. Mod. Phys.82(2010) 2701, [arXiv:1002.0211 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[9]
Non-Abelian Discrete Symmetries in Particle Physics
H. Ishimori, T. Kobayashi, H. Ohki, Y. Shimizu, H. Okada and M. Tanimoto, “Non- Abelian Discrete Symmetries in Particle Physics,” Prog. Theor. Phys. Suppl.183(2010) 1, [arXiv:1003.3552 [hep-th]]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[10]
Neutrino Mass and Mixing with Discrete Symmetry
S. F. King and C. Luhn, “Neutrino Mass and Mixing with Discrete Symmetry,” Rept. Prog. Phys.76(2013) 056201, [arXiv:1301.1340 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[11]
Softly Broken A_4 Symmetry for Nearly Degenerate Neutrino Masses
E. Ma and G. Rajasekaran, “Softly broken A4 symmetry for nearly degenerate neutrino masses,” Phys. Rev. D64(2001) 113012, [arXiv:hep-ph/0106291]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[12]
Tri-Bimaximal Neutrino Mixing, A4 and the Modular Symmetry
G. Altarelli and F. Feruglio, “Tri-bimaximal neutrino mixing from discrete symmetry,” Nucl. Phys. B741(2006) 215, [arXiv:hep-ph/0512103]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[13]
Embedding A4 into left-right flavor symmetry: Tribimaximal neutrino mixing and fermion hierarchy
F. Bazzocchi, S. Morisi and M. Picariello, “Embedding A4 into left-right flavor symme- try: Tribimaximal neutrino mixing and fermion hierarchy,” Phys. Lett. B659(2008) 628, [arXiv:0710.2928 [hep-ph]]. 16
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[14]
A Realistic Pattern of Lepton Mixing and Masses from S4 and CP
F. Feruglio, C. Hagedorn and R. Ziegler, “A realistic pattern of lepton mixing and masses from S4 and CP,” Eur. Phys. J. C74(2014) 2753, [arXiv:1303.7178 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[15]
Lepton Mixing Predictions from Delta(6n^2) Family Symmetry
S. F. King, T. Neder and A. J. Stuart, “Lepton mixing predictions from ∆(6n 2) family sym- metry,” Phys. Lett. B726(2013) 312, [arXiv:1305.3200 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[16]
Are neutrino masses modular forms?
F. Feruglio, “Are neutrino masses modular forms?,” [arXiv:1706.08749 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv
-
[17]
Neutrino mixing from finite modular groups
T. Kobayashi, K. Tanaka and T. H. Tatsuishi, “Neutrino mixing from finite modular groups,” Phys. Rev. D98(2018) 016004, [arXiv:1803.10391 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[18]
Lepton Masses and Mixing from Modular $S_4$ Symmetry
J. T. Penedo and S. T. Petcov, “Lepton masses and mixing from modularS 4 symmetry,” Nucl. Phys. B939(2019) 292, [arXiv:1806.11040 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[19]
S. Aokiet al.[Flavour Lattice Averaging Group], “FLAG Review 2021,” Eur. Phys. J. C82 (2022) 869, [arXiv:2111.09849 [hep-lat]]
-
[20]
S. Navaset al.[Particle Data Group], “Review of Particle Physics,” Phys. Rev. D110(2024) 030001
work page 2024
-
[21]
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, “NuFit-6.0: Updated global analysis of three-flavor neutrino oscillations,” JHEP 12(2024) 216, [arXiv:2410.05380 [hep-ph]]
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[22]
Evidence forB + →K +ν¯νdecays,
I. Adachiet al.[Belle II], “Evidence forB + →K +ν¯νdecays,” Phys. Rev. D109(2024) 112006, [arXiv:2311.14647 [hep-ex]]
-
[23]
Neutrino Mixing Anarchy: Alive and Kicking
A. de Gouvea and H. Murayama, “Neutrino mixing anarchy: Alive and kicking,” Phys. Lett. B747(2015) 479, [arXiv:1204.1249 [hep-ph]]. 17
work page internal anchor Pith review Pith/arXiv arXiv 2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.