pith. sign in

arxiv: 2601.02452 · v3 · submitted 2026-01-05 · ✦ hep-ph · hep-th

Fixed points of the renormalisation group running of quark and fermion mixing matrices in the Standard Model and beyond

Brian P. Dolan This is my paper

Pith reviewed 2026-05-16 17:41 UTC · model grok-4.3

classification ✦ hep-ph hep-th
keywords renormalisation groupfermion mixing matricesfixed pointsstandard modelneutrino mixinganomalous dimensions
0
0 comments X

The pith

Fixed points of fermion mixing matrix running are protected by vector field geometry on the mixing space.

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

The paper examines the renormalisation group evolution of quark and lepton mixing matrices in the Standard Model and extensions with extra neutrinos. At one loop in the massless three-generation case it locates six fixed points and classifies each by the eigenvalues of its anomalous dimension matrix as attractive, repulsive or mixed. It claims these points remain fixed to all perturbative orders and non-perturbatively because they are tied to intrinsic differential-geometric features of the vector field that generates the flow on the space of mixing matrices. When Ng sterile or dark neutrinos are added the same geometric argument yields at least Ng! fixed points.

Core claim

For massless one-loop running with three generations six fixed points exist; their stability follows from the associated anomalous dimension matrices. These fixed points are preserved to all orders and non-perturbatively because they correspond to special properties of vector fields on the manifold of mixing matrices. With Ng dark or sterile neutrinos the fermion mixing matrix possesses at least Ng! fixed points.

What carries the argument

Differential geometric properties of vector fields on the space of mixing matrices, which enforce that certain points remain stationary under the renormalisation group flow.

If this is right

  • The six one-loop fixed points remain fixed points at every perturbative order.
  • The same points remain fixed points even outside perturbation theory.
  • Adding Ng dark or sterile neutrinos produces at least Ng! fixed points of the mixing matrix.

Where Pith is reading between the lines

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

  • If physical mixing angles are near one of these fixed points the running is strongly suppressed at high scales.
  • The geometric protection may extend to other flavor observables that live on the same matrix manifold.

Load-bearing premise

The one-loop fixed points coincide exactly with the zeros of a vector field whose geometric character is unchanged by higher-order corrections.

What would settle it

An explicit two-loop or higher calculation of the beta function for the mixing matrix that moves any of the six one-loop fixed points away from their reported locations.

Figures

Figures reproduced from arXiv: 2601.02452 by Brian P. Dolan.

Figure 1
Figure 1. Figure 1: The left action of U(1) on SU(2)/U(1), with the N and S-poles fixed points, reduces the sphere to a line of constant longitude. Note that the poles in βC at z = 0, −1 and z ′ = 0, −1 are not a pathology [13]. For example, if the RG trajectories of ys and yd cross at some energy t, so y 2 s = y 2 d and z ′ = 0 there, then Λ′ is proportional to the identity matrix at that energy. With y 2 c > y2 u and y 2 s … view at source ↗
Figure 2
Figure 2. Figure 2: When δ = 0 or π the θ2 = π 2 face of the cube degenerates to a line segment which is topologically equivalent to the line on the right of figure 1. V ∗ 1 =   1 0 0 0 1 0 0 0 1   , (θ ∗ 1 , θ∗ 2 , θ∗ 3 ) = (0, 0, 0); V ∗ 2 =   0 1 0 1 0 0 0 0 1   , (θ ∗ 1 , θ∗ 2 , θ∗ 3 ) =  0, 0, π 2  ; V ∗ 3 =   1 0 0 0 0 1 0 1 0   , (θ ∗ 1 , θ∗ 2 , θ∗ 3 ) = π 2 , 0, 0  ; V ∗ 4 =   0 1 0 0 0 1 1 0 0   ,… view at source ↗
read the original abstract

The renormalisation group running of fermion mixing matrices in the Standard model and beyond is studied. For the massless 1-loop running with three generations six fixed points are found. Their associated anomalous dimension matrices are calculated and the nature of each fixed point, whether attractive, repulsive or mixed, is determined. An argument is given that the fixed points found at 1-loop must remain fixed points to all orders in perturbation theory and even non-perturbatively, as they are associated with certain differential geometric properties of vector fields on the space of mixing matrices. With $N_g$ dark or sterile neutrinos there are at least $N_g!$ fixed points of the fermion mixing matrix.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 2 minor

Summary. The manuscript studies the renormalization group running of fermion mixing matrices in the Standard Model and extensions. At one-loop order for the massless case with three generations, it identifies six fixed points corresponding to the 3! permutation matrices, computes the associated anomalous dimension matrices, and classifies the stability (attractive, repulsive, or mixed) of each fixed point. The central claim is that these fixed points persist to all perturbative orders and non-perturbatively due to intrinsic differential-geometric properties of the RG vector field on the manifold of mixing matrices. The result is extended to N_g generations, yielding at least N_g! fixed points when including dark or sterile neutrinos.

Significance. If the all-order persistence holds, the result would be significant for flavor physics, supplying exact fixed points of the mixing-matrix RG flow that are independent of perturbative order and potentially constraining BSM model building with additional neutrinos. The explicit one-loop calculations and geometric approach to the vector field on the mixing-matrix space represent a novel contribution; the generalization to arbitrary N_g is of interest for sterile-neutrino scenarios.

major comments (1)
  1. [Section presenting the geometric argument for all-order persistence] The argument that the six one-loop fixed points remain fixed points to all orders (and non-perturbatively) relies on the differential-geometric properties of the RG vector field being independent of loop order. No explicit two-loop computation or general demonstration is provided that higher-order contributions to the anomalous-dimension matrices preserve the algebraic identity (e.g., equivariance or vanishing commutator under the relevant group action) that forces the beta function to vanish at these points. This assumption is load-bearing for the central all-order claim.
minor comments (2)
  1. The correspondence between the fixed points and permutation matrices is stated in the abstract but would benefit from an explicit listing or table in the main text for clarity.
  2. Notation for the mixing matrices and the manifold coordinates could be introduced with a brief definition early in the manuscript to aid readers unfamiliar with the geometric formulation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address the major comment below.

read point-by-point responses

  1. Referee: [Section presenting the geometric argument for all-order persistence] The argument that the six one-loop fixed points remain fixed points to all orders (and non-perturbatively) relies on the differential-geometric properties of the RG vector field being independent of loop order. No explicit two-loop computation or general demonstration is provided that higher-order contributions to the anomalous-dimension matrices preserve the algebraic identity (e.g., equivariance or vanishing commutator under the relevant group action) that forces the beta function to vanish at these points. This assumption is load-bearing for the central all-order claim.

    Authors: The geometric argument rests on the fact that the RG beta function defines a vector field on the manifold of mixing matrices (a quotient space of the unitary group) that is equivariant under the natural action of the symmetric group S_3 corresponding to permutations of the three generations. The six permutation matrices are precisely the fixed points of this group action. Equivariance of the vector field then forces it to vanish at those points, independently of the explicit form of the beta function. Because every perturbative order (and, assuming the RG flow remains well-defined on the manifold, the non-perturbative flow) produces a contribution that respects the same group action, the vanishing condition holds order by order. We have revised the manuscript to expand the relevant section with a more explicit statement of this equivariance and its independence from loop order. revision: partial

Circularity Check

0 steps flagged

No significant circularity: 1-loop zeros shown by direct computation; all-order persistence rests on independent geometric properties of the mixing-matrix manifold

full rationale

The paper computes the 1-loop beta function for the mixing matrices explicitly, locates the six permutation-matrix fixed points for Ng=3, and evaluates their stability from the associated anomalous-dimension matrices. The claim that these points remain fixed points to all orders is justified by invoking differential-geometric properties (vector-field equivariance or vanishing commutators under the relevant group action) that are stated to hold on the manifold independently of perturbative order. No equation in the derivation reduces a higher-order term to the 1-loop result by construction, no fitted parameter is relabeled as a prediction, and the geometric argument is not supported solely by self-citation. The derivation chain therefore remains self-contained against external mathematical structure.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard one-loop renormalization group equations for mixing matrices and on the assumption that certain vector-field properties on the space of unitary matrices guarantee fixed points at all orders.

axioms (2)
  • domain assumption The one-loop renormalization group equations govern the scale dependence of fermion mixing matrices in the massless limit.
    Invoked to locate the fixed points at one loop.
  • domain assumption Differential geometric properties of vector fields on the space of mixing matrices protect the fixed points to all orders.
    This is the load-bearing step for the non-perturbative claim.

pith-pipeline@v0.9.0 · 5405 in / 1319 out tokens · 68264 ms · 2026-05-16T17:41:41.798420+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · 9 internal anchors

  1. [1]

    Politzer, Reliable perturbative results for strong interactions, Phys

    H.D. Politzer, Reliable perturbative results for strong interactions, Phys. Rev. Let.30(1973) 1346

    work page 1973

  2. [2]

    Gross and F

    D.J. Gross and F. Wilczek, Ultraviolet behavior of non-abelian gauge theories,Phys. Rev. Let,30(1973) 1343

    work page 1973

  3. [3]

    Vacuum Stability in the Standard Model

    Y. Tang, Vacuum Stability in the Standard Model,Mod. Phys. Lett. A 28(2013) 1330002, arXiv:1301.5812

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  4. [4]

    Why should we care about the top quark Yukawa coupling?

    F. Bezrukov and M. Shaposhnikov, Why should we care about the top quark Yukawa coupling?J. Exp. Theor. Phys.120(2015) 335, arXiv:1411.1923

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  5. [5]

    Kobayashi and T

    M. Kobayashi and T. Maskawa, CP-violation in the renormalizable the- ory of weak interaction,Prog. Theor. Phys.49(1973) 652. 24

    work page 1973

  6. [6]

    Pontecorvo, Inverse beta processes and nonconservation of lepton charge, Zhurnal ´Eksperimental’no˘ ı i Teoretichesko˘ ı Fiziki.(1957)34247, (Soviet Physics JETP,7(1958) 172)

    B. Pontecorvo, Inverse beta processes and nonconservation of lepton charge, Zhurnal ´Eksperimental’no˘ ı i Teoretichesko˘ ı Fiziki.(1957)34247, (Soviet Physics JETP,7(1958) 172)

    work page 1957

  7. [7]

    Z. Maki, M. Nakagawa and S. Sakata, Remarks on the unified model of elementary particles,Prog. Theor. Phys.28(1962) 870

    work page 1962

  8. [8]

    Pendleton and G.G

    B. Pendleton and G.G. Ross, Mass and mixing angle prediction from infra-red fixed points,Phys. Lett.98B(1980) 291

    work page 1980

  9. [9]

    Babu, Renormalization-group analysis of the Kobayashi-Maskawa matrix,Z

    K.S. Babu, Renormalization-group analysis of the Kobayashi-Maskawa matrix,Z. Phys. C,35(1987) 35

    work page 1987

  10. [10]

    Denner and T

    A. Denner and T. Sack, Renormalization of the quark mixing matrix Nucl. Phys.B347(1990) 203

    work page 1990

  11. [11]

    The Renormalization Group Evolution of the CKM Matrix

    C. Balzereit, T Hansmann, T. Mannel and B. Pl¨ umper, The Renormalization Group Evolution of the CKM Matrix, Eur. Phys. J.C9(1999) 197, arXiv:hep-ph/9810350

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  12. [12]

    Chankowskia, W

    P.H. Chankowskia, W. Kr´ olikowski and S. Pokorski, Fixed points in the evolution of neutrino mixings,Phys.Lett.B473(2000) 109, arXiv:hep- ph/9910231

    work page arXiv 2000

  13. [13]

    General RG Equations for Physical Neutrino Parameters and their Phenomenological Implications

    J.A. Casas , J.R. Espinosa, A. Ibarra and I. Navarro, General RG Equa- tions for Physical Neutrino Parameters and their Phenomenological Im- plications,Nucl. Phys.B573(2000) 652, hep-ph/9910420

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  14. [14]

    Gauge and Scheme Dependence of Mixing Matrix Renormalization

    A. Pilaftsis, Gauge and scheme dependence of mixing matrix renormal- izationPhys. Rev.D65(2002) 115013, arXiv:hep-ph/0203210

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  15. [15]

    High scale mixing unification and large neutrino mixing angles

    R.N. Mohapatra, M.K. Parida and G. Rajasekaran, High Scale Mixing Unification and Large Neutrino Mixing Angles,Phys. Rev.D69(2004) 053007, arXiv:hep-ph/0301234

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  16. [16]

    Zhang,Threshold effects on the massless neutrino in the canonical seesaw mechanism, JHEP10(2024) 002, [2405.18017]

    D. Zhang, Threshold effects on the massless neutrino in the canonical seesaw mechanism,JHEP10(2024) 1, arXiv:2405.18017 [hep-ph]

    work page arXiv 2024

  17. [17]

    Antusch, J

    S. Antusch, J. Kersten and M. Lindner and M. Ratz, Running Neu- trino Masses, Mixings and CP Phases: Analytical Results and Phe- nomenological Consequences.Nucl. Phys.B674(2003) 40, arXiv:hep- ph/0305273

    work page arXiv 2003

  18. [18]

    Grossman, A

    Y. Grossman, A. Ismail, J.T. Ruderman and T-H. Tsai, CKM sub- structure from the weak to the Planck scale,JHEP06(2022) 065, arXiv:2201.10561 [hep-ph]. 25

    work page arXiv 2022

  19. [19]

    Pikelner and V.N

    A.F. Pikelner and V.N. Velizhani, Yukawa coupling beta-functions in the Standard Model at three loops,Phys. Lett.B722(2013) 336

    work page 2013

  20. [20]

    Constraints on RG Flow for Four Dimensional Quantum Field Theories

    I. Jack and H. Osborn, Constraints on RG Flow for Four Di- mensional Quantum Field Theories,Nuc. Phys.B883(2014) 425, arXiv:1312.0428

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  21. [21]

    Three-loop SM beta-functions for matrix Yukawa couplings

    A.V. Bednyakov, A.F. Pikelner and V.N. Velizhanin, Three-loop SM beta-functions for matrix Yukawa couplings,Phys. Lett.B737(2014) 129, arXiv:1406.7171 [hep-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  22. [22]

    Herren, L

    F. Herren, L. Mihaila and M. Steinhauser, Gauge and Yukawa coupling beta functions of two-Higgs-doublet mod- els to three-loop order, Phys. Rev.D97(2018) 015016 ; (E)Phys. Rev.D101(2020), arXiv:1712.06614 [hep-ph]

    work page arXiv 2018

  23. [23]

    Zhang, Two-loop renormalization group equations in theνSMEFT, JHEP06(2025) 106, arXiv:2504.00792 [hep-ph]

    D. Zhang, Two-loop renormalization group equations in theνSMEFT, JHEP06(2025) 106, arXiv:2504.00792 [hep-ph]

    work page arXiv 2025

  24. [24]

    Alkofer, A

    R. Alkofer, A. Eichhorn, A. Held, C.M. Nieto, R. Percacci and M. Schr¨ ofl, Quark masses and mixings in minimally parameterized UV completions of the Standard Model,Annals of Physics,421(2020) 168282, arXiv:2003.08401 [hep-ph]

    work page arXiv 2020

  25. [25]

    Jarlskog, Commutator of the Quark Mass Matrices in the Standard Electroweak Model and a Measure of Maximal CP Nonconservation, Phys

    C. Jarlskog, Commutator of the Quark Mass Matrices in the Standard Electroweak Model and a Measure of Maximal CP Nonconservation, Phys. Rev. Lett.55(1985) 1039

    work page 1985

  26. [26]

    Schechter and J.W.F

    J. Schechter and J.W.F. Valle, Neutrino masses inSU(2)U(1) theories, Phys. Rev.22(1980) 2227

    work page 1980

  27. [27]

    V. M. Buchstaber and S. Terzi´ c,The foundations of(2n, k)- manifolds, Sbornik: Mathematics,210(2019) 508

    work page 2019

  28. [28]

    Chau and W.-Y

    L.L. Chau and W.-Y. Keung, W.-Y, Comments on the Parametrization of the Kobayashi-Maskawa Matrix,Phys. Rev. Lett.53, 1802 (1984)

    work page 1984

  29. [29]

    B.P. Dolan. Duality and The Modular Group in the Quantum Hall Effect,J. Phys.A32(1999) L243, arXiv:cond-mat/9805171

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  30. [30]

    Wallace and R.K.P

    D.J. Wallace and R.K.P. Zia, Gradient flow and the renormalisation group,Phys. Lett.48A(1974) 325; Gradient properties of the renor- malisation group equations in multicomponent systemsAnn. Phys.92 (1975) 142. 26

    work page 1974