Submitted:
22 October 2026
Posted:
26 October 2026
You are already at the latest version
Abstract
We derive the Standard-Model mixing angles and CP phases from a finite algebraic structure: the \(\mathbb{Z}_3\)-graded Lie algebra \(\mathfrak{g}=\mathfrak{sl}(5)\) of dimension \(24=15+4+4+1\), graded by the mod-\(3\) reduction of \((1,1,1,1,-4)\), and realized on a discrete vacuum lattice in \(\mathbb{R}^3\). The paper contains three structural results and one bookkeeping correction. The algebra. The cubic bracket used in earlier versions, \(\tfrac12(\psi\chi^{\!\top}+(\psi\!\cdot\!\chi)\mathbf{1}_n)\), does \emph{not} satisfy the graded Jacobi identity. We prove that for the one-parameter family of actions \([A,\psi]=A\psi+\alpha\,\operatorname{tr}(A)\psi\) the identity holds if and only if \(c(1+n\alpha)=1-\alpha\), with canonical representatives \((\alpha,c)=(0,1)\) and \((1,0)\); the two are isomorphic, and both algebras are \(\mathfrak{sl}(n+1)\). Hence \(\mathfrak{g}=\mathfrak{sl}(5)\), and the failure of the earlier \(19\)-dimensional truncation is structural: \(19\neq n^2+2n\).\emph{(ii) The lattice.} The closure does \emph{not} saturate at \(44\). It is infinite: \[ \mathcal{C}_\infty=\{e_1,e_2,e_3\}\cup\{\pm d\}\cup\bigcup_{k\ge0}3^kR\cup\bigcup_{k\ge0}3^kH\cup\bigcup_{k\ge0}3^k(1,1,1). \] The \(44\)-vector set is exactly the shell cut \(|v|^2\le486\); it consists of \(3\) flavour vectors, \(5\) democratic vectors, \(18\) root-like and \(18\) hybrid vectors. The finite invariant is the set of \(17\) directions, reached after two iterations. No prediction of this paper depends on \(44\).\emph{(iii) The numbers.} With \(\varepsilon_q=\dim\mathfrak{g}_1/\dim\mathfrak{g}=1/(n+2)=\frac16\) (the same Frobenius projection lemma that gives the \(\mathfrak{u}(3)\) dilution \(\frac19\)), with \(\lambda_0=\varepsilon_qC_2(\mathbf{3})=\frac29\), and with the second-order isotropy factor \(\frac1{72}\), the Cabibbo angle is \(\lambda=73/324=0.22530864\) (\(+0.46\sigma\)). The PMNS sector follows from one complex breaking parameter fixed by \(\mathbb{Z}_3\) and by the geometry of the tetrahedral frame: \(\sin^2\theta_{13}=16/729\), \(\sin^2\theta_{12}=0.31436\), \(\sin^2\theta_{23}=0.45022\), \(\delta_{CP}=240^\circ\), \(J_{CP}=-0.0292\), all within \(0.9\sigma\). The neutrino sector gives normal ordering with \(m_1=0\), \(\sum m_\nu=58.7\)~meV and \(|m_{ee}|\in[1.6,3.8]\)~meV.We also prove three no-go theorems: graded phases force \(J_{\mathrm{CKM}}\equiv0\) (so \(\delta_{\mathrm{CKM}}\) is not derivable); \(|V_{cb}|\) and \(|V_{ub}|\) require the mass spectrum; and no dimensionless algebra can fix a mass scale. The paper closes with an explicit list of what is a theorem, what is a discrete choice, and what is an assumption.
Keywords:
discrete vacuum lattice
; Z3-graded Lie algebra
; sl(5)
; flavour mixing
; Cabibbo angle
; PMNS matrix
; CKM matrix
; CP violation
; algebraic numbers
1. Introduction
The flavour sector of the Standard Model (SM) contains nineteen parameters whose values have resisted explanation for sixty years. Among them the Cabibbo angle occupies a special position: it is large, clean, and stable under renormalization-group running, and it was the first to be discovered [1]. This paper derives it, together with the PMNS angles and the Dirac CP phase, from a finite -graded algebraic structure [6], with no continuous parameter in the mixing sector.
The logic of the derivation is a chain of seven steps, each labelled by its epistemic status:
| Step | Statement | Status | Ref. |
| [0] | rigidity variable is (algebraic) | theorem | §Section 4 |
| [1] | parent algebra , | theorem | §Section 2.1 |
| [2] | unbroken ⇒ circulant | theorem | §Section 5 |
| [3] | unique grade-1 breaking operator | theorem | §Section 5 |
| [4] | theorem | §Section 6 | |
| [5] | discrete choice | §Section 7 | |
| [6] | second order | theorem + choice | §Section 8 |
| [7] | and the PMNS set | prediction | §Section 9, Section 10 and Section 11 |
1.1. What Changed with Respect to the 2026 Version
Three corrections are substantive and one is bookkeeping.
- The cubic bracket. The bracket of Ref. [6] is not a Lie bracket: the graded Jacobi identity fails in the sector. We prove (Theorem 2.1) that the general solution is , so that with the fundamental action () one must take , and with the traceless action () one must take . The value is on neither branch.
- The algebra is . With the corrected bracket the identification becomes a theorem rather than a machine check (Theorem 2.3). This simultaneously explains why the earlier 19-dimensional truncation could not close: 19 is not of the form .
- The lattice does not saturate at 44. The closure is infinite; 44 is the shell cut . The invariant object is a set of 17 directions (Theorem 3.1). All predictions below use only directions, and are therefore independent of the cutoff (Proposition 3.4).
- Bookkeeping removed. The following earlier claims are withdrawn because they are either internally inconsistent or post-hoc: , , , , and . Each is replaced by a derivable statement or by an explicit no-go theorem.
1.2. Organisation
Section 2 fixes the algebra and the lattice. Section 4 states the variable theorem. Section 5 proves the uniqueness of the breaking operator. Section 6, Section 7 and Section 8 derive the dilution, the tree-level angle and the second-order correction. Section 9, Section 10 and Section 11 collect the Cabibbo and PMNS predictions. Section 12, Section 13 and Section 14 treat the CKM sector, neutrinos, and the scales. Section 15 gives the status and falsifiability table. The appendices contain the sector-by-sector Jacobi proof, the closure proof, the PMNS closed forms, the numerical certificates, and an audit of the claims of the companion closure document.
2. Framework
2.1. The Parent Algebra and Its One-Parameter Family
Let with the standard inner product, and let
with . We write elements as triples with , , and define, for real parameters ,
The case is the fundamental action of ; the case is the action obtained from the block embedding into . The parameter c measures the trace part of the cubic bracket. In the 2026 version [6] the values , were used.
Theorem 2.1.
Proof.
The sectors , , and are the standard statements (the last one is the equivariance of the bilinear ). The two critical sectors are and .
Sector . Let , , put , , and . Using and ,
with . The sum is , which vanishes for all iff .
Sector . Since , the cyclic sum reduces to . With , ,
so the sum is , again vanishing iff . Thus Jacobi holds iff , which is (8). Conversely, when (8) holds, all sectors vanish; this is verified symbolically for in Appendix A. □
Corollary 2.2.
The two canonical representatives of (8) are
In particular with isnota Lie bracket; the cubic bracket of Ref. [6] must be replaced by
in the two conventions. The two are related by
which is an isomorphism of Lie algebras.
Proof.
Theorem 2.3.
(). For the map
is an isomorphism . Hence
and the -grading of restricts to on the diagonal entries. For , , , with -degree content .
Proof.
The map is linear and injective; the image consists of the matrices whose n-block is arbitrary and whose last diagonal entry is minus its trace, together with the two off-diagonal blocks, which is exactly . Brackets are preserved by direct block multiplication; this is checked to in Appendix A. □
Corollary 2.4.
(Why 19 dimensions failed). The graded dimensions of the earlier truncation give . No integer n solves (the roots are ). Hence cannot be the graded content of any -type algebra; the Jacobi residual observed in Ref. [6] is structural, not numerical.
2.2. Invariants
Because is simple, the invariant tensors are severely constrained.
- The Killing form is ; it is nondegenerate and fixes the kinetic normalization.
- is one-dimensional, spanned by . This is the unique invariant totally antisymmetric trilinear form.
- with (exponents ). Hence there is a unique (up to scale) invariant symmetric cubic ; it, not , is the correct invariant for a Yukawa coupling .
The distinction in the third item is a genuine upgrade: is antisymmetric and therefore cannot reproduce a symmetric fermion mass matrix; can.
2.3. Why : Minimality and Matching to
Theorem 2.5.
(Selection of ). Let be the family (1) with and with the matter module containing a colour singlet. Then . Moreover, if the flavour symmetry of the light generations is (equivalently ), so that , the consistency condition
selects uniquely.
Proof.
decomposes ; a colour singlet requires , while requires . Equation (18) is elementary. □
Remark 2.6.
The theorem isconditionalon the flavour group being . It does not derive the number of generations; it says thatgiventhree generations with an symmetry, the parent algebra is . This is weaker than a derivation from nothing, and stronger than an ansatz.
3. The 44-Vector Lattice, Re-Analysed
3.1. The Closure Algorithm
Let with , and let T be the cyclic permutation . Define three operations on a vector v:
The lattice is the closure of under T, and × (with the unnormalized also included, since the unnormalized cross product carries the norm information). This is the algorithm of Ref. [6].
3.2. The Closure Is Infinite
Theorem 3.1.
(Structure of the closure). Let
so that . Then the closure of is
In particular is infinite; the number of vectors grows by exactly 7 per iteration after the second.
Proof.
The three operations act on the five families as follows. T permutes coordinates and therefore preserves each family. For the difference: ; (for , , a hybrid direction); (for , ); . For the cross product: ; ; ; . Induction on the level then gives (21); the scaling by 3 appears because maps H to and R to H, while the cross product maps R to and H to , so that the democratic ray receives every power . The count is verified to level 10 in Appendix B. □
Corollary 3.2.
(What 44 is). The 44 lowest-norm vectors are exactly those with :
The shell content is . The origin is never generated; the earlier statement “43 non-zero vectors, 44 with the origin” is incorrect, as is the statement that the algorithm saturates there.
Figure 1.
(a) The number of distinct vectors (blue) grows without bound, by exactly seven per iteration after level two; the number of distinct directions (red) saturates at 17. The dashed line at 44 is the shell cut of Eq. (22); the dotted line at 109 is a level-15 truncation, not a fixed point. (b) Shell content of the 44-vector set.
Figure 1.
(a) The number of distinct vectors (blue) grows without bound, by exactly seven per iteration after level two; the number of distinct directions (red) saturates at 17. The dashed line at 44 is the shell cut of Eq. (22); the dotted line at 109 is a level-15 truncation, not a fixed point. (b) Shell content of the 44-vector set.

3.3. The Finite Invariant Is the Direction Set
Theorem 3.3.
(Direction saturation). The set of directions (normalised vectors, counted with orientation) reached by the closure is
and it is complete after two iterations. Every later iteration only rescales existing directions by powers of 3.
Proof.
Immediate from Theorem 3.1: the families R, H and are reached at levels 1, 2 and 2 respectively, and the operations map each family into a family already listed. □
Proposition 3.4.
(No observable depends on 44). Every quantity used in this paper is a function of the 17 directions and of the orbit sizes only. Consequently the numerical value of the cutoff (44, 109, or infinity) is immaterial.
Proof.
The TBM frame is built from d, R and H; the angles are inner products of unit vectors; the multiplicities enter only through orbit sizes. No norm appears. □
Table 1.
Orbit decomposition at the shell cut. The “count” column is the actual number of vectors in the 44-set. The column “old NF” is the norm-filtered bookkeeping of Ref. [6], which is not a count and is not used here.
Table 1.
Orbit decomposition at the shell cut. The “count” column is the actual number of vectors in the 44-set. The column “old NF” is the norm-filtered bookkeeping of Ref. [6], which is not a count and is not used here.
| Orbit | count | old NF | representative | |
|---|---|---|---|---|
| Flavour | 3 | 3 | 3 | |
| Democratic | 2 | 5 | 4 | |
| Root-like | 6 | 18 | 6 | |
| Hybrid | 6 | 18 | 24 | |
| total | 17 | 44 | 37 |
Figure 2.
The 44 vectors at the shell cut, coloured by orbit. Only 17 distinct directions occur; the repeated points are the scalings of Theorem 3.1.
Figure 2.
The 44 vectors at the shell cut, coloured by orbit. Only 17 distinct directions occur; the repeated points are the scalings of Theorem 3.1.

3.4. The TBM Frame
The tetrahedral (TBM) frame is the unique -compatible orthonormal set built from the orbit representatives,
so that tribimaximal mixing [5] is the -symmetric point. The geometric identities
will force the perturbation to be second order and the perturbation to be a pure first-order rotation.
4. Where the Rigidity Lives
Theorem 4.1.
(Variable theorem). Let be the Cabibbo angle, defined by with . Then:
- is a basis-covariant functional of ;
- is algebraic whenever the configuration vectors have algebraic coordinates;
- a rational radian measure is excluded for any configuration with algebraic coordinates, by Lindemann–Weierstrass.
Proof. (1) is the definition. (2) If the vectors have coordinates in a number field , then and is algebraic of degree over K. (3) If , Lindemann–Weierstrass makes transcendental, hence transcendental, contradicting (2). □
Koide duality.
For the Koide phase the rigid object is the radian measure ; since is algebraic and non-zero, is transcendental and no algebraic configuration can carry it. For the Cabibbo angle the rigid object is the sine, so the same theorem admits an algebraic origin. This is why is the right target and the Koide phase is not.
Numerically, with [3]. The unitarity bound is not saturated.
5. The Unique Breaking Operator
5.1. The Unbroken Limit
Let be generation space with acting by permutation, generated by the 3-cycle T and the swap S, with . Since , every operator carries a grade g,
Decomposing with and : a grade-0 mass matrix is circulant, hence diagonalized by the Fourier basis, hence is a permutation and
Any nonzero requires a grade- operator.
5.2. Uniqueness and the Correct Sector
Theorem 5.1.
(Unique breaking operator). The space of -grade-1 operators in is three-dimensional, but it decomposes under as
The one-dimensional piece is on the E plane; the two-dimensional piece consists of and (and their partners). A single grade-1 operator is unique onlyafterthe sector is chosen.
Proof.
In the Fourier basis the condition forces , leaving the three matrix units , , . Restricting to leaves only ; the other two connect and E. □
The distinction matters because the two sectors give different predictions, and the data choose between them.
Proposition 5.2.
(The E-plane operator is excluded). If the breaking operator lies in , the lepton mixing is TM2: the second column is tri-maximal, exactly, so
which is away from the measured . Hence the physical breaking must lie in the sector.
Proof.
TM2 leaves the direction d unchanged, so the second column of U is up to phases; the standard parametrization then gives and the stated relation. The numerical pull uses NuFIT 5.2 [4]. □
Corollary 5.3.
(Structure of ). If the up- and down-type mass matrices share the same breaking operator, their diagonalizing rotations are about the same axis and
In particular iff : the Cabibbo angle is therelative-breaking of the two sectors.
6. The Dilution as a Projection Ratio
Lemma 6.1.
(Frobenius/Parseval). Let V be an inner-product space with an orthonormal generator set and let Π be an orthogonal projector. Then
Proof.
With orthonormal, and . □
Instance 1 (, the established ).
For , , and of rank 1, the ratio is .
Instance 2 (the parent algebra).
For , , and the projector onto of rank 4,
The two instances are the same lemma; is an invariant of the embedding , not a chosen number. For it coincides with , which is the content of Theorem 2.5.
Remark 6.2.
(Status). Equation (32) is a theorem about a ratio of dimensions. Identifying this ratio with thephysicalYukawa coupling of the breaking sector is an assumption, which we callA1. The identification is natural (the same lemma reproduces the independently known ), but it is not derived from a Lagrangian computation in this paper.
7. The Cabibbo Angle at Tree Level
The tree-level angle is the product of the dilution and the Casimir of the rotating representation,
verified by . Hence
8. The Second-Order Correction
8.1. No Halving
For any -covariant coupling the sum over an orbit is , which takes values 3 or 0; a factor cannot arise from a grade selection. The factor is geometric instead.
8.2. Isotropy of the Hybrid Hexagon
Theorem 8.1.
(Hybrid-hexagon isotropy). Let and let be the six unit hybrid directions. Then, for every n,
and for unit the directional average is .
Proof.
The left side is an -invariant quadratic form, hence by Schur’s lemma a combination . Its trace is 6, and its value on d is 0; hence and , . □
8.3. Equipartition and the Factor
The second-order (Dem→Hyb→Dem) operator is with . Unit trace gives
Remark 8.2.
(Status). The identification of the intermediate state with the maximally mixed state on the six hybrid directions isassumption A3. It is the natural reading of the uniform coupling proved in §Section 10, and Table 3 shows that the alternatives are excluded, but the exclusion uses the same data that the formula predicts.
9. The Cabibbo Angle
The fraction is in lowest terms. Compared with the pull is ; with it is .
Corollary 9.1.
(Niven). Since and λ is rational, Niven’s theorem gives . The Cabibbo angle is not a rational multiple of π, and not an element of the lattice angle spectrum; is a quadratic algebraic number.
Corollary 9.2.
(3-adic signature). with , so . The exponent is the sum of from and from the second-order correction:
This is falsifiable: if a future rational approximation to has , the grading is out.
10. One-Loop Dynamics
The remaining question is whether the coupling is uniform, i.e. whether the coefficient k in equals one. In the convention the one-loop operator on is
because and the basis is orthonormal. Hence exactly. In the convention the same operator reads ; the enhancement of the overall is the trace-normalization artifact of Eq. (14), not a physical non-uniformity. Appendix A verifies both statements to .
11. PMNS Angles and CP Phase
11.1. The Breaking Parameter
The physical breaking lies in the sector (Proposition 5.2), so it is one complex parameter . Two facts fix its modulus and phase:
- the direction is orthogonal to both d and (Eq. (25)), so its first-order shift vanishes; the leading shift is second order, (a theorem given the geometry);
- the phase is the grade-2 phase of the grading, (Tier I).
The remaining amplitude is the lepton analogue of the tree-level quark angle,
where is the TBM geometric factor (a theorem) and the cross-sector equality is assumption A4.
11.2. Closed Form
At leading order in these reduce to the TM1 sum rule
and to .
11.3. Numbers
With , , :
The leading value is ; the correction in Eq. (41) raises it to .
Table 4.
PMNS predictions versus NuFIT 5.2 (normal ordering). The experimental entry is the best fit of the official table supplied with this paper.
Table 4.
PMNS predictions versus NuFIT 5.2 (normal ordering). The experimental entry is the best fit of the official table supplied with this paper.
| observable | predicted | experiment | pull |
|---|---|---|---|
Figure 3.
Pulls of the six mixing observables. All are within except , which is the CKM-unitarity prediction discussed in §Section 12.
Figure 3.
Pulls of the six mixing observables. All are within except , which is the CKM-unitarity prediction discussed in §Section 12.

11.4. The Octant Is Tied to the Phase
Equation (44) is a two-branch relation. For , and
whereas the upper-octant value would require . The framework therefore predicts
This is the sharpest falsifiable statement of the paper: DUNE and Hyper-K can decide it.
Figure 4.
The TM1 sum rule (44). The curve is the prediction; the band is the NuFIT 5.2 region; the red point is . The upper octant would require .
Figure 4.
The TM1 sum rule (44). The curve is the prediction; the band is the NuFIT 5.2 region; the red point is . The upper octant would require .

12. The CKM Sector
12.1. A No-Go Theorem for
Theorem 12.1.
Let generation i carry charge and let the breaking operator carry grade , so that its phase is . Then
hence .
Proof.
Each inherits the phase at leading order; the Jarlskog combination is the product of four such phases whose exponents cancel identically. □
Corollary 12.2.
is not derivable in this framework. The earlier formula is withdrawn; it was a numerical coincidence with no derivation. This is a structural statement, not a defect: the PMNS phaseisderivable because the TBM zero-order matrix is real and supplies the interfering real amplitude, while the CKM zero order is a permutation matrix.
12.2. , ,
is the tree-level angle of §Section 9. For the other two, the leading-order formula in the Fourier basis is
The grade fixes the power of z; the mass denominators fix the rest. Hence and are equivalent to mass ratios and are not predictions of the mixing sector alone. The earlier relation is withdrawn.
12.3. The GST Bridge Is Excluded
The Gatto–Sartori–Tonin relation with gives
which is from . The framework does not contain a Fritzsch/GST texture; the failure of the bridge is therefore consistent with the -circulant texture.
12.4. and the Cabibbo Anomaly
CKM unitarity with gives
to be compared with the superallowed value , i.e. . The framework stands on the unitarity side of the Cabibbo anomaly. If the anomaly is confirmed, must be lowered by about , and is excluded.
13. Neutrinos
13.1. The Democratic Chain
Let the leading-order neutrino mass matrix be the -invariant combination with J the all-ones matrix. Decomposing gives
Cosmology excludes quasi-degeneracy, so and has rank one: , . The E doublet is split by the unique breaking operator of Theorem 5.1, which lifts . The result is normal ordering with
Remark 13.1.
This is ascenario, not a theorem: the rank-one limit is selected by cosmology, and the identification of the lifted state with is a choice. What is robust is that the democratic chain cannot produce an inverted ordering with a hierarchical ratio in the perturbative regime.
13.2. Three Sum Rules
The last is below the reach of LEGEND-1000 ( meV) and nEXO ( meV): a signal in the next generation of experiments would exclude the scenario.
14. Electroweak Mixing and the Scales
14.1.
The earlier claim is withdrawn. What the algebra does give is the standard normalization at the unification scale,
followed by one-loop running, which in the SM gives at , i.e. below the measured . This is the well-known failure of minimal unification, not a prediction of the flavour framework; it requires either threshold corrections or an intermediate Pati–Salam step (which the -grading naturally provides). We therefore do not count as a derived quantity.
14.2. No Mass Scale from a Dimensionless Algebra
Theorem 14.1.
(Dimensional no-go). No finite-dimensional dimensionless algebraic structure can determine a dimensionful quantity. Hence , the seesaw scale Λ, and are external inputs.
Proof.
A dimensionful with , , changes numerically under a change of units, while the dimensionless data of (dimensions, Casimirs, orbit sizes) do not. Hence f cannot be a function of alone. □
What is derived are ratios. With (the top quark at the lattice norm ), GeV is a normalization, not a fit.
Table 5.
Status of every ingredient. A1–A4 are the only assumptions beyond the SM kinematics; none is a continuous parameter.
Table 5.
Status of every ingredient. A1–A4 are the only assumptions beyond the SM kinematics; none is a continuous parameter.
| Statement | status |
|---|---|
| , , grading | theorem |
| Jacobi ; fails | theorem |
| 19 is not ; cannot close | theorem |
| closure infinite; 44 = shell cut | theorem |
| direction set , saturated at level 2 | theorem |
| no observable depends on 44 | theorem |
| theorem | |
| A2 (discrete) | |
| from isotropy + equipartition | theorem + A3 |
| ; ; | theorem |
| E-plane (TM2) operator excluded at | data |
| (second order) | theorem |
| A4 | |
| Tier I | |
| (to ) | prediction |
| , lower octant | prediction |
| ; not derivable | no-go |
| need masses | no-go |
| at | not a prediction |
| no-go (dim.) |
15. Status, Predictions, Falsifiability
Falsifiable predictions.
- Octant. in the lower octant, ; if the upper octant is confirmed, must be and the phase assignment fails.
- Cabibbo point. exactly; LHCb/Belle II at will test it.
- . Unitarity, ; a confirmed Cabibbo anomaly excludes the point.
- . vs the earlier ; JUNO distinguishes them at .
- . (equivalently to leading order).
- Neutrinos. Normal ordering, , meV, meV.
- 3-adic.; a future rational approximation with a different excludes the grading.
16. Discussion
What has actually been derived.
The algebra, the lattice structure, the projection ratio, the isotropy constant, the Cabibbo fraction and the PMNS closed forms are theorems or exact identities. The chain contains four assumptions, A1–A4, each of which is a discrete or structural statement, not a fitted number. The numerical agreement ( in six observables) is therefore not the result of a fit, but it is also not a parameter-free derivation: it is a parameter-free ansatz with four identifications.
What has been removed.
Five claims of the earlier version are withdrawn because they were either inconsistent with the framework’s own geometry or post-hoc: (linear in , contradicting the second-order nature of a), (), the interval (a -wide envelope around the data), (not a prediction), and (no derivation; and Theorem 12.1 forbids it).
The 44-vector question.
The lattice was never a fixed point. It is an infinite closure whose only finite invariant is a set of 17 directions; 44 is the number of vectors below a shell boundary, and 109 is the number obtained by stopping at level 15. Both are conventions. The physical content is the direction set and the orbit sizes, and that content is independent of the cutoff. The title is retained for continuity with the earlier work, but the reader should read “44-vector lattice” as “the shell cut of the 17-direction lattice”.
Outlook.
Two calculations would close the remaining gap. First, a direct tree-level computation of the misalignment angle from the action, which would replace A2 by a theorem. Second, an explicit realization of in (the and couplings), which would replace A4. Both are well-defined finite-dimensional problems.
Supplementary Materials
The following supporting information can be downloaded at the website of this paper posted on Preprints.org.
Use of Artificial Intelligence
During the preparation of this work the authors used DeepSeek to assist with symbolic bookkeeping and language editing. All methodological choices, derivations and numerical certificates were reviewed and verified by the authors, who take full responsibility for the content.
Acknowledgments
The authors thank the RIA-EISA collaboration for computational support.
Appendix A. Sector-by-Sector Jacobi Check
The symbolic check uses random integer matrices with entries in and compares the cyclic sum in all grade sectors. Table 6 lists the maximal absolute residual for and several . The pattern is exactly Eq. (8).
Table 6.
Maximal Jacobi residual (integer arithmetic) for random triples. Zero means identity; every non-zero entry is a multiple of the corresponding polynomial in .
Table 6.
Maximal Jacobi residual (integer arithmetic) for random triples. Zero means identity; every non-zero entry is a multiple of the corresponding polynomial in .
| , | 56 | 28 | 14 | 0 |
| , | 112 | 0 | 56 | 112 |
| , | 68 | 34 | 17 | 0 |
| , | 170 | 0 | 85 | 170 |
The explicit isomorphism (16) is checked by comparing with for random real data; the maximal deviation is at . The one-loop operator is checked in both conventions: for , and for , both to .
Appendix B. Proof of the Closure Theorem
We record the action of the generators on the five families. Write , , R, H as in Theorem 3.1, and .
| T | × (normalised) | × (unnormalised) | ||
| F | F | R | F | F |
| D | D | 0 | 0 | 0 |
| R | R | H | D | |
| H | H | D | ||
| 0 | 0 | 0 |
Scaling multiplies differences by and cross products by . Hence from one reaches (difference) and (cross), and from one reaches and . The union of the two sequences is . This proves (21).
The numerical iteration reproduces the counts and the direction count ; see the log file lattice_closure.log. equationsection
Appendix C. The PMNS Closed Forms
The flavour components of in the TBM frame are
Appendix D. Numerical Certificates
All numbers in the paper are reproduced by the scripts in the accompanying package; the log files are listed in Table 7. The inputs are PDG 2024 for and NuFIT 5.2 (normal ordering) for the oscillation parameters; the best fit and its width are read from the official table (v52_clean_3d.txt) supplied with the package.
Appendix E. Audit of the Companion Closure Document
The companion document [8] lists 27 “theorems”. Table Appendix E classifies them. The classification is our own; it is included so that the reader can see which statements survived the present revision.
Table 8.
Audit of the main claims of the closure document. Theorem: proved here or elementary; conditional: true only with a stated identification; rejected: wrong or unsupported.
Table 8.
Audit of the main claims of the closure document. Theorem: proved here or elementary; conditional: true only with a stated identification; rejected: wrong or unsupported.
| claim | verdict |
| , , grading | theorem |
| Jacobi for all c; unique cubic | rejected (only ) |
| rejected (parametrization-dependent) | |
| unique from | conditional on |
| theorem (ratio) | |
| rejected (actual count 18) | |
| as physical coupling | assumption A1 |
| assumption A2 | |
| at one loop | theorem in the convention |
| 44 irrelevant | theorem (Prop. 3.4) |
| from isotropy | theorem + A3 |
| , Niven, | theorem |
| TM2 excluded at | accepted ( with NuFIT 5.2) |
| rejected () | |
| rejected (wrong order) | |
| rejected (post-hoc envelope) | |
| rejected | |
| ; not derivable | theorem |
| not derivable | theorem |
| NO, , meV | scenario (accepted with ) |
| not derivable | theorem |
| rejected (needs external mechanism) |
References
- Cabibbo, N. Phys. Rev. Lett. 1963, 10, 531.
- Kobayashi, M.; Maskawa, T. Prog. Theor. Phys. 1973, 49, 652.
- Workman, R. L.; et al. (Particle Data Group). Prog. Theor. Exp. Phys. 2024 update. 2022, 2022, 083C01. [Google Scholar]
- Esteban, I.; Gonzalez-Garcia, M. C.; Maltoni, M.; Schwetz, T.; Zhou, A. JHEP NuFIT 5.2 (2022), nu-fit.org. 2020, 09, 178.
- Harrison, P. F.; Perkins, D. H.; Scott, W. G. Phys. Lett. B 2002, 530, 167.
- Zhang, Y. Symmetry 2026, 18, 54.
- Zhang, Y. RIA-EISA repository, github.com/csoftxyz/RIA_EISA. 2026.
- Zhang, Y. “Complete closure of the open problems” (companion note, 2026), supplied with this paper.
- Jarlskog, C. Phys. Rev. Lett. 1985, 55, 1039. [PubMed]
- Wolfenstein, L. Phys. Rev. Lett. 1983, 51, 1945.
- Minkowski, P. Phys. Lett. B 1977, 67, 421.
- Yanagida, T. <italic>Proc. Workshop on Unified Theory and Baryon Number</italic> (KEK, 1979). 1979.
- Gell-Mann, M.; Ramond, P.; Slansky, R. in Supergravity; North-Holland, 1979. [Google Scholar]
- Mohapatra, R. N.; Senjanović, G. Phys. Rev. Lett. 1980, 44, 912.
- Froggatt, C. D.; Nielsen, H. B. Nucl. Phys. B 1979, 147, 277.
- Ma, E. Phys. Rev. D. 2004, 70, 031901.
- Altarelli, G.; Feruglio, F. Nucl. Phys. B 2006, 741, 215.
- Lam, C. S. Phys. Rev. Lett. 2008, 101, 121602. [PubMed]
- Niven, I. Irrational Numbers. In Carus Mathematical Monographs; 1956. [Google Scholar]
- Lindemann, F. Math. Ann. 1882, 20, 213.
Table 2.
The discrete candidates for the multiplicative factor f in , with . Only survives.
| f | pull vs | |
|---|---|---|
Table 3.
The three natural normalizations of the intermediate state. Only the mixed-state () choice survives the data; the other two are excluded. This is a consistency check, not an independent prediction.
Table 3.
The three natural normalizations of the intermediate state. Only the mixed-state () choice survives the data; the other two are excluded. This is a consistency check, not an independent prediction.
| normalization | pull | ||
|---|---|---|---|
| mixed, | |||
| coherent, | |||
| mixed, negative sign |
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.