Pith. sign in

REVIEW 2 major objections 3 minor 21 references

Inequalities for Standard Model Yukawa Couplings

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Any set of 3×3 Yukawa matrices that reproduces the measured fermion masses and CKM mixing must satisfy a handful of narrow, basis-independent inequalities—for instance, the longest columns of the up and down Yukawa matrices must overlap…

desk verdict Solid, useful SVD-based inequalities for flavor model builders, with real new content; the main caveat is that the numerical bounds are computed at central values without error propagation, so the 'necessary conditions on the SM' claim is slightly stronger than what is proven. read the letter →

arxiv 2506.06423 v1 pith:CHHIZN4O submitted 2025-06-06 hep-ph

Gero von Gersdorff , Lucas Modesto This is my paper
classification hep-ph
keywords YukawamatricessingularvaluedecompositionCKMmatrixflavormodelsfermionmassesbasisindependencecofactorhierarchicaldata
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that the Yukawa couplings of the Standard Model, although not fixed uniquely by the observed masses and mixings, are nonetheless constrained by a set of simple inequalities that hold for every choice of weak basis. Concretely, for any complex 3×3 matrices $Y_u$, $Y_d$, $Y_e$ whose singular values are the running fermion masses of Table 1 and whose left rotations produce the CKM matrix, certain inner products of normalized longest columns—for example $|u_{tL}^\dagger u_{bL}|$—must lie in narrow intervals, such as $0.9971$ to $1$. These inequalities are exact consequences of the singular value decomposition under the hierarchical pattern of the data, not numerical approximations. A flavor model that violates one of them cannot reproduce the observed fermion sector, which makes the bounds a practical filter for model building.

What carries the argument

The central machinery is the longest-column approximation to the singular value decomposition. For a matrix $Y$ with singular values $y_1 \le y_2 \le y_3$, the normalized longest column of $Y$ (and of its cofactor matrix $\tilde Y$) stands in for the singular vector belonging to $y_3$ (respectively $y_1$). Lemma 1 bounds how much weight the other singular vectors can have in that longest column by the factor $X = (2y_3^2 - y_2^2)/(y_3^2 - 2y_2^2) \approx 2$, and Lemma 2 does the same for the cofactor matrix with $Z$. These bounds make the approximate unitary $U'_L$ a provably close stand-in for the true $U_L$, with the deviation $V = U^\dagger U'$ bounded entry-by-entry in Theorem 3 in terms of mass ratios $(y_1/y_2)^2$, $(y_1/y_3)^2$, and $(y_2/y_3)^2$. All subsequent bounds, including the CKM ones, are built from these exact error bounds.

What would settle it

Use a high-precision numerical search: construct many complex 3×3 matrices $Y_u$ and $Y_d$ whose singular values equal the central masses of Table 1 and whose relative left rotation is the central CKM matrix, and evaluate the nine overlaps in Table 4; the first violation of, say, $0.9971 \le |u_{tL}^\dagger u_{bL}|$ would disprove the theorem, while a violation appearing only when Table 1 inputs are varied within their quoted errors would show the bounds are not robust to data uncertainty.

Watch

Extended reading notes

Core claim

For hierarchical 3×3 Yukawa matrices, the longest column of the matrix and the longest column of its cofactor matrix are excellent proxies for the third and first left singular vectors, and the errors of this proxy are controlled by exact inequalities in terms of mass ratios. The paper establishes this via Lemmas 1 and 2 and Theorem 3, then combines the up and down approximations with the CKM matrix to bound all nine overlaps of the approximate left singular vectors. The resulting table gives lower and upper bounds for nine CKM-like combinations plus six mass combinations, including $0.9971 \le |u_{tL}^\dagger u_{bL}| \le 1$, $0 \le |u_{uL}^\dagger u_{bL}| \le 0.01145$, and $0.003009 \le |u_{tL}^\dagger u_{dL}| \le 0.01507$. The proof treats only the central values of the data as exact; the intervals are not inflated by uncertainties.

Load-bearing premise

The paper's numerical bounds take the central values of the running fermion masses and CKM elements in Table 1 as exact, with no allowance for experimental or scale uncertainties.

Editorial extensions

If this is right

  • Any proposed flavor model whose Yukawa matrices reproduce the central mass and CKM values of Table 1 must pass the bounds in Table 4; failing one is a falsification without needing to diagonalize the model.
  • The bounds are renormalization-scale aware: at any other scale the corresponding intervals follow from the same formulae with running masses, so constraints can be applied at the scale where a model is defined.
  • The $V_{tb}$-type bound forces the longest columns of the up and down Yukawa matrices to align to about 0.3%, a sharp geometric condition on texture models.
  • Orthogonality bounds such as $|u_{uL}^\dagger u_{bL}| \le 0.01145$ quantify how separated the longest column of one matrix must be from the longest column of the other's cofactor matrix.
  • Because the inequalities are necessary but not sufficient, they provide a quick pretest for flavor-model scans rather than a full replacement for computing observables.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper does not propagate the experimental and scale uncertainties of Table 1; if that were done, sharp bounds such as the 0.9971 lower bound would widen, and some models currently marginally excluded might re-enter the allowed region.
  • The same longest-column inequalities could be applied to the neutrino Yukawa matrix if it is hierarchical, yielding constraints on seesaw or leptogenesis models that the paper does not touch.
  • The bounds could serve as a fast rejection criterion in numerical scans over random Yukawa textures or clockwork-type constructions, since evaluating the overlaps costs almost nothing compared to full diagonalization.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The manuscript derives a set of basis-independent inequalities that any 3x3 complex up-type, down-type, and charged-lepton Yukawa matrices must satisfy if their singular values equal the running fermion masses in Table 1 and if their left rotations reproduce the CKM matrix. The inequalities follow from an approximate SVD scheme developed in ref. [22], with exact bounds on the deviations of the approximate longest-column and longest-row vectors. The numerical intervals are collected in Table 4, including sharp constraints such as 0.9971 <= |u_tL^dagger u_bL| <= 1. The authors verify the inequalities by sampling one million random unitary rotations and constructing Yukawa matrices that reproduce the central values of Table 1. They conclude that the inequalities are strong necessary conditions for constraining flavor models.

Significance. If the two issues identified below are resolved, this is a useful and original contribution. The inequalities are explicitly derived from the SVD, they depend only on external data as inputs rather than on fitted targets, and the Monte Carlo check provides supporting evidence. The sharpness of the V_tb-type bound and the basis independence make the results convenient for model builders. The paper is also honest about the distinction between necessary conditions and sufficiency. However, the usefulness of the bounds as 'necessary conditions on the Standard Model' is currently overstated because the numerical intervals are computed at central values without any error propagation, and the proof of the main error bound in the appendix contains a normalization error that needs correction.

major comments (2)
  1. [§2.2, Tables 1 and 4, Eqs. (2.19)–(2.20)] The numerical intervals in Table 4 are computed from the central values of the running masses and CKM parameters in Table 1, and the Table 4 caption explicitly assumes that the Yukawa matrices exactly reproduce those data. The abstract and conclusions nevertheless present the inequalities as 'very strong necessary conditions on the Standard Model Yukawa couplings.' No experimental or renormalization-scale uncertainties are propagated into the bounds: for example, the lower bound 0.9971 in Eq. (2.21) shifts if |V_tb|, y_t, or y_b differ from their central values by 1σ. A flavor model that reproduces all observables within 1σ could therefore violate a central-value bound. Please either propagate the uncertainties or quote conservative intervals obtained from the extremes of the Table 1 inputs, or restrict the claim to models that reproduce the central values exactly.
  2. [Appendix A, Eq. (A.13)] The definition of the second column of U'_L is not unitary as printed. The denominator sqrt(1 - |U'^*_{Li3} U'_{Li1}|^2) is component-dependent, whereas the correct normalization of the cross-product vector c_i = ε_{ijk} U'_{Lj3} U'_{Lk1} is sqrt(1 - |Σ_l U'^*_{Ll3} U'_{Ll1}|^2). With the printed denominator, U'_L is not unitary, V_L = U_L^dagger U'_L is not unitary, and the proof of Theorem 3, especially Eqs. (A.19)–(A.22), which use unitarity of V_L, does not go through. Please correct the denominator (and similarly in Theorem 4) or prove the bounds without using unitarity. This step is load-bearing for Eq. (2.9).
minor comments (3)
  1. [§2.2, Eq. (2.17)] Please specify that sqrt(1 - δ_u) in Eq. (2.20) denotes the diagonal matrix diag(sqrt(1 - δ_{u,i})) rather than a scalar function of a vector; the same applies to sqrt(1 - δ_d).
  2. [§2.2, after Eq. (2.23)] The cross-reference 'Similar to eq. (2.24)' appears before Eq. (2.24) is introduced; the intended target is likely Eq. (2.24) itself or the V_ub inequality, and the text should be rephrased to avoid this forward-reference confusion.
  3. [§3, Figures 1 and 2] The captions and text say that the red crosses correspond to the physical values, but it would be clearer to state explicitly that these are the values of the expressions in the second column of Table 4 computed from the central data of Table 1.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the inequalities are theorems derived from the singular value decomposition and external data; the numerical bounds use the central masses and CKM values as inputs, not as fit targets.

full rationale

The paper's central claim is that any 3x3 complex Yukawa matrices with singular values equal to the running fermion masses and left rotations giving the CKM matrix must satisfy the inequalities in Table 4. These inequalities are derived in the appendix as mathematical theorems (Lemmas 1-2, Theorems 1-4) about arbitrary complex 3x3 matrices with ordered singular values y1 ≤ y2 ≤ y3. The quantities X and Z are explicit functions of these singular values, and the bounds on eigenvector overlaps follow from linear algebra alone. The numerical bounds in Table 4 are obtained by substituting the central experimental values from Table 1 into these closed-form expressions; the data are not fitted parameters but inputs to a deterministic computation. The approximation scheme of ref. [22] is invoked, but the key error bounds are re-proven in Appendix A, so the self-citation is not load-bearing. The use of central values without propagating uncertainties is a data-fidelity caveat, not a circularity: it concerns whether the Standard Model exactly reproduces the central numbers, not whether the derivation of the inequalities reduces to its inputs. No fitted quantity is renamed as a prediction, and no uniqueness theorem is imported from the authors' prior work to force a choice. The analysis is therefore self-contained and non-circular.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are introduced; the masses and CKM elements are external inputs. No invented entities are postulated. The axioms are standard SVD mathematics plus the domain assumption that Table 1 central values exactly represent the SM Yukawa sector.

assumptions (4)
  • standard math Existence and standard properties of the singular value decomposition for complex 3x3 matrices
    Invoked throughout Section 2 and Appendix A, beginning with Eq. (2.3).
  • domain assumption The singular values of the Yukawa matrices are proportional to the running fermion masses of Table 1, and the CKM matrix equals U_uL^dagger U_dL up to phase redefinitions
    This identification connects the abstract SVD quantities to Standard Model physics, Section 1 and Eq. (2.16).
  • domain assumption The central values in Table 1 are treated as exact and no experimental or scale uncertainties are propagated
    Used to compute all numerical bounds in Table 4; Section 3 and Section 4 present the bounds as numbers without error bars.
  • domain assumption The longest row and longest column of each Yukawa matrix and its cofactor are well-defined, and the cross-product normalization in Eq. (A.13) is nonzero
    The approximate eigenvector construction in Theorem 3 requires this; it is generic for the hierarchical data but not proven for all matrices.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Inequalities for Standard Model Yukawa Couplings." pith.science (2026). https://pith.science/paper/CHHIZN4O

@misc{pith2026250606423,
  author       = {Pith},
  title        = {Pith review of: Inequalities for Standard Model Yukawa Couplings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CHHIZN4O}},
  note         = {Machine review of arXiv:2506.06423}
}
read the original abstract

We show that the Standard Model Yukawa matrices satisfy a set of simple yet nontrivial inequalities. The relations we derive are independent of the basis used to define the fermion fields, and, amongst other things, place strong constraints on the alignment of the columns of the up-type and down-type Yukawa matrices, as well as their cofactor matrices. The reason why one can obtain such strong statements can be traced back to the hierarchical nature of the fermion masses and quark mixings. The inequalities should be seen as very strong necessary conditions on the Standard Model Yukawa couplings and thus are useful for constraining flavor models.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

21 extracted references · 9 canonical work pages

  1. [22]

    Universal Approximations for Flavor Models

    G. von Gersdorff,Universal approximations for flavor models,JHEP07(2019) 131, [arXiv:1903.11077]. – 16 –

    work page Pith review arXiv 2019

  2. [1]

    Antusch and V

    S. Antusch and V. Maurer,Running quark and lepton parameters at various scales, JHEP11(2013) 115, [arXiv:1306.6879]. [2]Particle Data GroupCollaboration, S. Navas et al.,Review of particle physics,Phys. Rev. D110(2024), no. 3 030001

    arXiv 2013

  3. [3]

    C. D. Froggatt and H. B. Nielsen,Hierarchy of Quark Masses, Cabibbo Angles and CP Violation,Nucl. Phys.B147(1979) 277–298

    work page 1979

  4. [4]

    Pakvasa and H

    S. Pakvasa and H. Sugawara,Discrete Symmetry and Cabibbo Angle,Phys. Lett. B73 (1978) 61–64

    work page 1978

  5. [5]

    Wilczek and A

    F. Wilczek and A. Zee,Discrete Flavor Symmetries and a Formula for the Cabibbo Angle,Phys. Lett. B70(1977) 418. [Erratum: Phys.Lett.B 72, 504 (1978)]

    work page 1977

  6. [6]

    Barbieri, G

    R. Barbieri, G. R. Dvali, and L. J. Hall,Predictions from a U(2) flavor symmetry in supersymmetric theories,Phys. Lett.B377(1996) 76–82, [hep-ph/9512388]

    arXiv 1996

  7. [7]

    Barbieri, L

    R. Barbieri, L. J. Hall, and A. Romanino,Consequences of a U(2) flavor symmetry, Phys. Lett.B401(1997) 47–53, [hep-ph/9702315]

    arXiv 1997

  8. [8]

    Weinberg,The Problem of Mass,Trans

    S. Weinberg,The Problem of Mass,Trans. New York Acad. Sci.38(1977) 185–201

    1977

Show all 21 references
  1. [9]

    Fritzsch,Calculating the Cabibbo Angle,Phys

    H. Fritzsch,Calculating the Cabibbo Angle,Phys. Lett. B70(1977) 436–440

    1977

  2. [10]

    Grossman and M

    Y. Grossman and M. Neubert,Neutrino masses and mixings in nonfactorizable geometry,Phys. Lett.B474(2000) 361–371, [hep-ph/9912408]

    2000 arXiv

  3. [11]

    Gherghetta and A

    T. Gherghetta and A. Pomarol,Bulk fields and supersymmetry in a slice of AdS,Nucl. Phys.B586(2000) 141–162, [hep-ph/0003129]

    2000 arXiv

  4. [12]

    S. J. Huber and Q. Shafi,Fermion masses, mixings and proton decay in a Randall-Sundrum model,Phys. Lett.B498(2001) 256–262, [hep-ph/0010195]. – 15 –

    2001 arXiv

  5. [13]

    J. A. Cabrer, G. von Gersdorff, and M. Quiros,Flavor Phenomenology in General 5D Warped Spaces,JHEP01(2012) 033, [arXiv:1110.3324]

    2012 arXiv

  6. [14]

    von Gersdorff,Flavor Physics in Warped Space,Mod

    G. von Gersdorff,Flavor Physics in Warped Space,Mod. Phys. Lett.A30(2015), no. 15 1540013, [arXiv:1311.2078]

    2015 arXiv

  7. [15]

    Burdman, N

    G. Burdman, N. Fonseca, and L. de Lima,Full-hierarchy Quiver Theories of Electroweak Symmetry Breaking and Fermion Masses,JHEP01(2013) 094, [arXiv:1210.5568]

    2013 arXiv

  8. [16]

    von Gersdorff,Natural Fermion Hierarchies from Random Yukawa Couplings,JHEP 09(2017) 094, [arXiv:1705.05430]

    G. von Gersdorff,Natural Fermion Hierarchies from Random Yukawa Couplings,JHEP 09(2017) 094, [arXiv:1705.05430]

    2017 arXiv

  9. [17]

    K. M. Patel,Clockwork mechanism for flavor hierarchies,Phys. Rev.D96(2017), no. 11 115013, [arXiv:1711.05393]

    2017 arXiv

  10. [18]

    Alonso, A

    R. Alonso, A. Carmona, B. M. Dillon, J. F. Kamenik, J. Martin Camalich, and J. Zupan,A clockwork solution to the flavor puzzle,JHEP10(2018) 099, [arXiv:1807.09792]

    2018 arXiv

  11. [19]

    Smolkovič, M

    A. Smolkovič, M. Tammaro, and J. Zupan,Anomaly free Froggatt-Nielsen models of flavor,JHEP10(2019) 188, [arXiv:1907.10063]. [Erratum: JHEP 02, 033 (2022)]

    2019 arXiv

  12. [20]

    Abreu de Souza and G

    F. Abreu de Souza and G. von Gersdorff,A Random Clockwork of Flavor,JHEP02 (2020) 186, [arXiv:1911.08476]

    2020 arXiv

  13. [21]

    von Gersdorff,Realistic GUT Yukawa couplings from a random clockwork model, Eur

    G. von Gersdorff,Realistic GUT Yukawa couplings from a random clockwork model, Eur. Phys. J. C80(2020), no. 12 1176, [arXiv:2005.14207]

    2020 arXiv

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.