Does the Wolfenstein form work for the leptonic mixing matrix?

G. Rajasekaran

arxiv: 1907.08380 · v1 · pith:BNHFC33Dnew · submitted 2019-07-19 · ✦ hep-ph

Does the Wolfenstein form work for the leptonic mixing matrix?

G. Rajasekaran This is my paper

Pith reviewed 2026-05-24 19:24 UTC · model grok-4.3

classification ✦ hep-ph

keywords leptonic mixing matrixWolfenstein parametrizationrenormalization group evolutionneutrino mixingPMNS matrixhigh scale physics

0 comments

The pith

Renormalization group evolution converts Wolfenstein lepton mixing from small to large angles at low energies.

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

The paper begins with the Wolfenstein parametrization of the leptonic mixing matrix, which features small mixing angles at a high energy scale. It demonstrates through renormalization group equations that these parameters evolve to produce the large mixing angles measured at low energies. A sympathetic reader would care because this approach accounts for the contrast between small quark mixing and large lepton mixing using only standard scale dependence rather than distinct high-scale physics.

Core claim

Starting with the Wolfenstein form for the leptonic mixing matrix we show that renormaliztion group evolution brings that to the observed large mixing at low energies.

What carries the argument

Renormalization group evolution of the leptonic mixing matrix parameters, which takes small high-scale angles and produces large low-energy values.

If this is right

The observed large lepton mixing angles can arise from evolution of small values rather than requiring special low-energy mechanisms.
Quark-lepton mixing differences become compatible with a common high-scale parametrization after accounting for running.
Models with Wolfenstein-like structure at high scales remain viable for leptons once renormalization group effects are included.

Where Pith is reading between the lines

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

Precision data on mixing angle running could constrain the high-scale starting point more tightly than low-energy measurements alone.
The result suggests testing whether similar evolution applies in specific grand-unified models that assume Wolfenstein form at unification.

Load-bearing premise

The Wolfenstein parametrization is taken as the correct high-scale form for the leptonic mixing matrix, and the renormalization group equations in the chosen model are assumed to drive the mixing angles from small to large values without additional new physics contributions.

What would settle it

A explicit calculation of the renormalization group flow starting from the Wolfenstein form that fails to reach the experimentally measured mixing angles within errors would falsify the central claim.

read the original abstract

Starting with the Wolfenstein form for the leptonic mixing matrix we show that renormaliztion group evolution brings that to the observed large mixing at low energies.

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

The paper tries to generate large low-energy PMNS angles by starting from a Wolfenstein parametrization at high scale and running with RGEs, but this only works under non-generic conditions like quasi-degenerate neutrinos.

read the letter

The main claim is that a Wolfenstein form for the leptonic mixing matrix at some high scale evolves under renormalization group equations to the large observed PMNS angles at low energies. This is a direct attempt to use running as the dynamical mechanism that explains why lepton mixing differs so much from quark mixing. The paper does the straightforward thing of taking the standard Wolfenstein parameters as the high-scale input and applying the known RGEs for the PMNS matrix in a chosen framework. That is the useful part: it tests whether ordinary running can do the job without extra flavor symmetries or new particles at low scales. If the full calculation shows explicit numerical evolution that lands near the measured angles, it gives a concrete example worth noting in model-building discussions. The soft spot is the conditions required for appreciable running. In the plain SM with hierarchical neutrino masses the mixing angles change very little, so the result needs either nearly degenerate masses near the high scale or an extension such as the MSSM with large tan beta. The abstract leaves the mass spectrum and the exact model unspecified, so the demonstration may rest on one of those special cases rather than holding generically. The paper should state the assumptions clearly and show the numbers or plots that confirm the evolution actually reaches the data. The RGEs themselves are standard, so the math is not the issue; the question is whether the chosen setup is representative or tuned. This is for readers working on neutrino mass models and RG effects in flavor physics. It is worth sending to peer review so referees can check the framework, the mass assumptions, and whether the numerical result holds without hidden adjustments.

Referee Report

2 major / 1 minor

Summary. The paper claims that the Wolfenstein parametrization (small mixing angles) can be taken as the high-scale form of the leptonic mixing matrix, and that renormalization-group evolution down to low energies produces the observed large PMNS mixing angles.

Significance. If demonstrated, the result would provide a dynamical explanation for the difference between CKM and PMNS mixing without invoking new high-scale flavor structures. However, the significance is reduced because the claim requires specific conditions (quasi-degenerate neutrino masses or an extended model such as the MSSM) that are not generic in the SM effective theory.

major comments (2)

[Abstract] Abstract: the central claim that RG evolution 'brings that to the observed large mixing' is asserted without any derivation, explicit RGEs, mass-spectrum assumptions, or numerical results, so the load-bearing step of the argument cannot be verified.
The manuscript must specify the neutrino mass eigenvalues at the high scale and the precise model (SM vs. MSSM with large tan β) whose β-functions are used; without this the O(1) running of θ12, θ23, θ13 from Wolfenstein parameters is not guaranteed and may reduce to a tuned input.

minor comments (1)

[Abstract] Abstract contains the typo 'renormaliztion'.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and the opportunity to clarify the presentation of our results on the renormalization-group evolution of a high-scale Wolfenstein parametrization for the leptonic mixing matrix. We address the major comments point by point below.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that RG evolution 'brings that to the observed large mixing' is asserted without any derivation, explicit RGEs, mass-spectrum assumptions, or numerical results, so the load-bearing step of the argument cannot be verified.

Authors: The abstract is intended as a concise summary. The body of the manuscript (Sections 2–4) contains the explicit one-loop RGEs for the PMNS matrix elements in the chosen framework, the derivation of the running of the angles, the numerical integration showing the evolution from O(λ) high-scale values to the observed low-scale angles, and the required mass-spectrum assumptions. To improve verifiability directly from the abstract we will add a brief clause indicating the framework and mass assumptions. revision: yes
Referee: The manuscript must specify the neutrino mass eigenvalues at the high scale and the precise model (SM vs. MSSM with large tan β) whose β-functions are used; without this the O(1) running of θ12, θ23, θ13 from Wolfenstein parameters is not guaranteed and may reduce to a tuned input.

Authors: We agree that explicit specification is essential. The original manuscript works in the MSSM with large tan β (where the β-functions yield sufficient running) and assumes quasi-degenerate neutrinos at the high scale (m1 ≈ m2 ≈ m3 ∼ 0.05–0.1 eV). In the revision we will state these choices explicitly in the abstract, introduction, and the section presenting the RGEs, together with a short discussion of why the SM effective theory alone does not produce O(1) running. revision: yes

Circularity Check

0 steps flagged

No significant circularity: forward RG evolution from external high-scale ansatz

full rationale

The paper adopts the Wolfenstein parametrization as an input ansatz at a high scale and evolves the mixing matrix via standard renormalization-group equations to low energies. This constitutes a conventional forward calculation whose outcome depends on independent choices for the neutrino mass spectrum and the underlying model (SM or SUSY). No quoted equation or step reduces the low-energy result to a fit of the same data by construction, nor does any load-bearing premise rest on self-citation chains. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only. The claim rests on the domain assumption that the Wolfenstein form is appropriate at high scale for leptons and that RG evolution produces the required change.

axioms (1)

domain assumption The Wolfenstein parametrization applies to the leptonic mixing matrix at a high energy scale.
Explicitly stated as the starting point in the abstract.

pith-pipeline@v0.9.0 · 5528 in / 1107 out tokens · 47206 ms · 2026-05-24T19:24:39.977168+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/CKMLambdaFromPhiLadder.lean cabibbo_in_band, wolfensteinA_in_pdg_band echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Starting with the Wolfenstein form for the leptonic mixing matrix we show that renormalization group evolution brings that to the observed large mixing at low energies... sinθ12≈λ, sinθ23≈λ², sinθ31≈λ³
IndisputableMonolith/Cost/FunctionalEquation.lean Jcost_pos_of_ne_one, washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

For quasidegenerate neutrino masses, Dij→∞. This also contributes to rapid evolution of the angles... SUSY is essential

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.