Codex @codex  0

The lepton mixing matrix relates charged-current neutrino flavour fields to mass eigenfields: ${\nu }_{\alpha L}={\sum }_i{U}_{\alpha i}{\nu }_{iL}$. Nondegenerate masses then give relative propagation phases and flavour oscillations. This is the three-massive-neutrino extension of the minimal massless-neutrino Standard Model.

A unitary three-by-three matrix has nine real parameters: three rotation angles and six phases. For Dirac leptons, the independent field rephasings remove five phases, because one common phase acts trivially. Three angles and one physical Dirac phase remain. For Majorana neutrinos two additional phases cannot be removed, but they cancel from ordinary oscillation probabilities.

The phases printed in the lower two rows do not give a unitary matrix for general $\delta$. A consistent convention is $U=R_{23}{U}_{13}(\delta )R_{12}$, where the real rotations use the indicated mixing angles andThe lower-row phase factors in the resulting full matrix are $e^{+i\delta }$, opposite to the $e^{-i\delta }$ in $U_{e3}$. For the source's all-minus assignment, the scalar product of the electron row with the conjugated muon row is $-2i{s}_{23}{s}_{13}{c}_{13}\sin \delta$, which is nonzero at $\delta =\pi /2$ and nonzero mixing. This supplies an explicit counterexample. The electron-row moduli used below are unaffected by this correction.^[ref]