Flavor conversion in a slowly varying medium when an occupied instantaneous propagation eigenstate follows its eigenvalue branch without transitions to the other branch. For positive electron-neutrino matter potential and normal two-state ordering, a high-density electron neutrino follows the upper branch into the vacuum mass eigenstate . Detection in the electron flavor then has probability , rather than the phase-averaged vacuum value . High production density alone does not guarantee adiabatic evolution.
For mass eigenstates , unequal forward and reverse flavour transition probabilities occur when . They are proportional to and . This diagnostic is invariant under rephasing the two flavour eigenstates.
Flavor eigenstate Created 2026-10-07 Updated 2026-10-14
A flavor eigenstate is a state with a definite flavor label in the specified interaction or flavor-charge basis. For neutral kaons, and have definite opposite strangeness. Weak interactions mix them, so these flavor states are not the mass eigenstates. The precise flavor basis must be specified when discussing mixing.
Ideal vector-meson mixing 2026-10-25
Mixing of the flavour singlet and isoscalar octet vector states so that the mass eigenstates separate into nonstrange and strange flavour. In the basis , , the determinant-one rotation to has angle . Basis phases change the quoted angle but not the flavour content.
Interaction eigenstate 2026-10-25
A neutrino state selected by the charged lepton accompanying a weak charged current production or detection process. It is generally a coherent quantum superposition of mass eigenstates, rather than a state of definite propagating mass.
Mass eigenstate 2026-10-07
A mass eigenstate diagonalizes the Hermitian mass operator or mass matrix and has a definite mass. In a flavor basis with off-diagonal mass terms, it is a linear combination of flavor states. For unstable particles, decay propagation instead involves an effective complex matrix; its eigenvectors need not inherit the orthogonality of a Hermitian mass problem.
Neutrino oscillation Created 2026-09-28 Updated 2026-10-18
Neutrino oscillation is coherent conversion between neutrino flavors: different mass eigenstates acquire different propagation phases. It measures squared-mass differences and mixing, rather than an absolute neutrino mass. The Super-Kamiokande atmospheric-neutrino experiment tests path-dependent disappearance; the Sudbury Neutrino Observatory compares reactions with complementary neutrino flavor sensitivity. Solar neutrino propagation also requires matter effects; the two-flavour vacuum survival model is only an illustration.
Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets transform as under , whereas and transform as and . With a Higgs doublet and its conjugate , the gauge-invariant Yukawa interaction is
The generation indices are matrix-multiplied. Electroweak symmetry breaking, , produces and .
Each complex fermion mass matrix admits a biunitary diagonalization,
where the diagonal entries are real nonnegative quark masses. Define and , and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomes
This unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.
Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and . The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an amplitude contains . Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.
For generations a unitary matrix has real parameters: mixing angles and phases. Rephasing the up-type and down-type quark fields removes phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers are
Two generations therefore give a real Cabibbo rotation,
with strangeness-changing charged-current transitions suppressed by . Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.
Writing and , a standard exact parametrization is
Complex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes real. A useful invariant test is the Jarlskog invariant,
A nonzero requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.
The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put , , and . Expanding the exact matrix gives
The observed pattern is predominantly diagonal, with - mixing largest and -, - mixing successively suppressed. The expansion implies . The truncated matrix must not be treated as an exactly unitary matrix.
Column orthogonality gives
The three complex numbers form a CKM unitarity triangle, with area . Dividing by puts its vertices at , and , where . The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.
Semileptonic decay rates determine magnitudes of CKM entries through factors once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.
The flavor content is and . A charged-current box diagram changes strangeness by two units. The two internal quark lines can contain any up-type flavors , connected by two charged propagators. One allowed topology is shown below; its crossed counterpart also contributes to the full mixing amplitude.
Figure 1.
Charged weak box diagram converting a neutral kaon into its antikaon
. Details.
Each charged-current vertex contains the appropriate CKM matrix element. The flavor sum has combinations , with , multiplying mass-dependent loop functions. CKM matrix unitarity gives , illustrating the GIM cancellation of flavor-independent loop terms. The diagram is at order and second order in the weak interaction.
Let be the antiunitary CPT operator. It interchanges the neutral-kaon flavor states up to phases. For a Hermitian Hamiltonian invariant under CPT,
since the diagonal expectation is real. Therefore CPT gives . More generally an effective decay Hamiltonian has , where both and are Hermitian. CPT gives and , hence the same equality of the complex diagonal entries. It does not require ; that is a CP condition. Nor is true for the full decay matrix in general.
Choose the CP convention and . Then CP acts as on the flavor basis. Invariance of means , and therefore
With a different flavor-state phase convention this relation carries the corresponding phase factors; equality is the relation in the convention adopted here. For a Hermitian mass matrix it makes the off-diagonal element real.
For the requested production-time mass eigenstates, discard the absorptive part. From now on denotes the Hermitian part , so its entries have the form
If the original matrix already was Hermitian no replacement is needed. The neutral-kaon mass matrix diagonalization gives eigenvalues , since . Write , . Use the kaon mixing square-root branch convention
continuously from the CP-conserving convention in which . Independent unrelated root signs would interchange the eigenvalue labels. Direct multiplication gives and . Assigning the larger mass to gives
with mass shifts and respectively. A common strong-interaction mass may simply be added to both. Their norms are one and their inner product is zero. A Hermitian mass-only calculation determines the lighter and heavier combinations; it does not determine their different lifetimes.
In the CP-conserving limit, the chosen lighter and heavier combinations are
They are CP eigenstates with eigenvalues and in the convention above. The sign of the real off-diagonal entry and the flavor-state convention are chosen together so that the stated limit is the lower-mass state.
Changing to this CP basis gives
Consequently, provided , define
Absorbing the common phase of into the definitions of the mass eigenstates and normalizing now yields
For this Hermitian approximation, is purely imaginary, so . The phase convention matters for the kaon CP mixing parameter. Physical kaon decay eigenstates instead diagonalize the generally non-Hermitian matrix , for which the mixing parameter can have a real part and the eigenstates need not be orthogonal. The formula here is the requested mass-only result, not a calculation of that full decay dynamics.
Use a high-multiplicity hadronic mode with only one invisible neutrino, and reconstruct the total visible four-momentum . In the tau lepton rest frame,
Fit the endpoint of the hadronic invariant mass distribution, preferably together with its laboratory energy boundary at known beam energy. The two-dimensional boundary uses more information than the single largest observed mass. Detector smearing, unseen neutral products, backgrounds, beam radiation and hadronic spectral modeling must be included. Absence of a displaced endpoint generally sets an upper bound rather than a positive neutrino mass measurement. Strictly the flavour state contains several mass eigenstates; an unresolved endpoint constrains the corresponding weighted mass spectrum.
Nuclear fusion in the Sun produces predominantly electron neutrinos, through the pp chain and subsidiary reactions. The historical solar-neutrino deficit could have reflected either a source-model error or flavour transformation. In a two-flavour approximation, mixing gives the vacuum survival law derived in a. In matter the additional electron neutrino charged current potential is . Dropping a common diagonal term, the flavour Hamiltonian is
The MSW effect enhances mixing near . An initially electron-like high-density state follows its instantaneous mass eigenstate approximately adiabatically as solar density falls. After phase averaging, high-energy solar survival approaches , while low-energy vacuum-averaged survival approaches , neglecting the small third-angle correction.
The Sudbury Neutrino Observatory used about a kilotonne of heavy water viewed by photomultipliers. Its three channels separate flavour from total active flux:
The charged current channel measures electron flavour, the neutral current channel measures all active flavours nearly equally, and elastic scattering is more sensitive to electron flavour but also detects the others. Cherenkov radiation gives the charged-particle energy and direction. Neutrons were detected through capture gamma rays, with later salt loading and dedicated counters improving the neutral-current separation. The different angular patterns, light isotropy and energy spectra permit a combined channel fit, with radioactive backgrounds and calibrations controlled.
The measured electron flux was lower than the total active flux, while the latter agreed with solar fusion expectations. This directly established a non-electron component and removed a simple overall source-flux error as the explanation. [ref] Super-Kamiokande supplied high-statistics directional elastic-scattering data; radiochemical chlorine/gallium experiments supplied complementary thresholds, and reactor antineutrino disappearance independently confirmed the solar mass-squared difference. Together these support large-angle mixing at rather than the atmospheric splitting in c.
In neutral meson mixing, the mass eigenstates and flavor eigenstates differ. A state prepared as develops a component because the effective Hamiltonian operator has off-diagonal mass and decay width entries. In the CP symmetry limit implicit in the source, the propagating states are equal superpositions, with average mass and average decay width .
To retain the source's positive convention for , take and , with , where . Then and reproduce the given functions. Reversing an eigenstate label changes signs in intermediate formulae; it must also change the phase conventions consistently.
For equal widths, the mixed probability is proportional to . Thus the angular angular frequency is in natural units, or with units restored; the period is . A nonzero difference of decay widths adds hyperbolic time dependence.
The ordinary neutral flavour-carrying mesons that mix are , , and with their antiparticles. A self-conjugate has no distinct antiparticle flavour to oscillate into. There are no long-lived top-flavoured mesons, since the top quark decays before hadronization.
The Cabibbo-Kobayashi-Maskawa matrix is the unitary change of basis between down-type quark mass eigenstates and the combinations appearing in the weak charged current. In particular, and production carry and . Exclusive tau lepton decays into a charged pseudoscalar meson give
up to small radiative corrections. The pseudoscalar decay constants specify the vacuum-to-meson axial-current matrix elements, .
The observed branching fraction ratio is , and the kinematic factor is approximately . Hence the directly determined combination is
With an independent, representative lattice input , this becomes , close to the source's rounded expectation . Conversely that expectation and the hadronic input predict a branching fraction ratio near . Without the decay-constant input the table does not isolate a pure Cabibbo-Kobayashi-Maskawa matrix ratio. Setting would give approximately , demonstrating the importance of flavor symmetry breaking.[ref]
The lepton mixing matrix relates charged-current neutrino flavour fields to mass eigenfields: . 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 . A consistent convention is , where the real rotations use the indicated mixing angles and
The lower-row phase factors in the resulting full matrix are , opposite to the in . For the source's all-minus assignment, the scalar product of the electron row with the conjugated muon row is , which is nonzero at and nonzero mixing. This supplies an explicit counterexample. The electron-row moduli used below are unaffected by this correction.[ref]
The flavour states and have definite Strangeness and are distinguished by flavour-sensitive production or decay. The propagation states diagonalize the effective Hamiltonian ; their complex eigenvalues give a pole mass and a decay width. The common flavour combinations specified in the source assume the usual CPT-symmetric two-state description and are normalized with .
Choose the phase convention . If mixing conserves CP, can be chosen, and the symmetric and antisymmetric combinations are CP even and odd. More generally the equality must be understood with the corresponding flavour-state phase convention; alone is not a statement fixing an arbitrary written phase.
The almost CP-even state decays rapidly to two pions, whereas the almost CP-odd state is largely restricted to slower channels such as three pions. Their very different lifetimes are easier to distinguish than their tiny mass splitting, motivating the names and . In the source's first notation the subscript means light, not long-lived: the light state is identified with the short-lived kaon, and the heavy state with the long-lived kaon. Below, label light/heavy to avoid that collision.
A mass eigenstate has a definite neutrino mass and acquires a definite propagation phase at fixed momentum. An interaction eigenstate is the neutrino flavor selected by a weak charged current: is produced or detected together with an electron, and together with a muon. The two bases are related by a unitary matrix, here the real rotation matrix .
Inverting the supplied transformation gives and , where , . If , these bases coincide: each produced neutrino flavor propagates as one mass eigenstate, and there is no neutrino oscillation, even if the two masses differ. Conversely, equal masses also prevent vacuum neutrino oscillation, even when a nonzero basis-rotation angle is written down.
For a positive electron neutrino matter potential and the normal ordering implicit in positive , choose by continuous diagonalization of the matter Hamiltonian. With , the quadrant is fixed by
At high density , so
Taking a principal-value arctangent alone and concluding would select the wrong branch. The production state is the second matter propagation eigenstate, rather than literally the vacuum mass eigenstate while still inside the dense medium.
Assume the solar density decreases slowly enough for adiabatic matter-enhanced neutrino conversion, and neglect subsequent Earth matter effects. The state follows continuously into the vacuum mass eigenstate . Since ,
This is substantially below the phase-averaged vacuum result . There is no interference between two populated vacuum mass eigenstates in this ideal adiabatic limit. More generally, after phase averaging, at production if the evolution is adiabatic. In the high-density limit, a nonadiabatic level-jump probability instead gives . Thus the supplied core-density condition alone does not guarantee the numerical Earth result: the usual solar adiabatic assumption is also needed. These are the stipulated two-flavor parameters, not a precision prediction for the measured three-flavor solar spectrum.
For a deliberately simplified neutrino oscillation calculation, take two neutrino flavors related to two mass eigenstates by a real rotation matrix with angle . A quantum superposition acquires different phases during propagation; projecting back onto the initial neutrino flavor gives the probability
Here is path length and is neutrino energy; the numerical coefficient incorporates unit conversion.
The paper states the corresponding conversion formula.[ref]
The path dependence has a geometrical origin. In an original spherical-Earth model, let be the radius and a fixed production height, neglecting detector depth. Let be the zenith distance of the direction in the sky from which the neutrino arrives, so means downward propagation. The backward ray from detector to production obeys . Its positive solution is
Thus and . The calculation explains why opposite directions test very different baselines, rather than attributing every observed direction to the same travel distance. Actual production heights and the angle between the outgoing charged lepton and incoming neutrino smear that relationship.
For an original chosen example, set and . At , gives , while gives . The first minimum is at . These are stipulated inputs, not a fit to the 1998 data. A broad distribution of true , together with energy and directional uncertainty, smooths the sharp minima.
A direct amplitude check makes the mechanism explicit. Define
Then . Taking its squared absolute value yields the displayed survival formula because . Unitarity gives : disappearance from one channel becomes conversion to the other within this closed model.
This illustration does not describe all solar neutrino propagation. Coherent forward scattering in matter changes the effective propagation operator, and three active neutrino flavors require a larger mixing description. Even in the simplified model, neutrino oscillation measures a squared-mass difference; it does not determine the absolute neutrino mass.