Mass & weak eigenstates
Every particle a detector ever records has a definite mass and a definite flavour — but for neutrinos these two labels belong to different bases of the same Hilbert space, and that single fact is the deepest surprise in the lepton sector. The states that propagate freely through space are the mass eigenstates : the stationary solutions of the free Hamiltonian, , each evolving in time by nothing more than a phase, . The states a weak interaction actually makes are the flavour (weak) eigenstates , defined operationally by the charged lepton that appears with them at the vertex — an electron tags a , a muon tags a . There is no law forcing these two bases to coincide, and in Nature they do not. Resolve the vertex over mass eigenstates and any of can be emitted alongside the electron; because no measurement can say which was produced, the neutrino leaves the vertex as a coherent superposition of all three. The rotation between the bases is a unitary matrix — the Pontecorvo–Maki–Nakagawa–Sakata (PMNS) matrix — whose entries are fixed by the relative charged-current couplings. The consequence is spectacular. Once created, the superposition propagates with each component ticking at its own rate ; if the masses differ, relative phases accumulate, the flavour content re-mixes, and the probability of detecting a given flavour oscillates with distance. This mass–weak distinction is the conceptual bedrock of neutrino oscillations — the mechanism that resolved the solar-neutrino problem at SNO and the atmospheric anomaly at Super-Kamiokande, and the first laboratory proof that neutrinos have mass at all.
- Mass eigenstates are the free-Hamiltonian stationary states with definite mass, propagating as ; flavour eigenstates are defined by the charged lepton at the vertex.
- The two bases are connected by a unitary matrix, ; the state a vertex produces is .
- There is no reason the bases align: the charged-current interaction is diagonal in flavour while the mass term is not, and the mismatch of the two diagonalising rotations is the PMNS matrix.
- A produced neutrino is a coherent superposition of mass eigenstates; e.g. is , , , and these probabilities sum to one by unitarity.
- Because the components have different masses they evolve at different rates, generating relative phases and flavour oscillations with probability in the two-flavour case.
- Key idea: The neutrino a weak interaction produces (a flavour state) is not a particle of definite mass but a quantum superposition of the three definite-mass particles; because the components have different masses they evolve at different rates, so the flavour identity changes with time.
Where this lives today
The mass–weak distinction is no longer a hypothesis but the working framework of an entire experimental programme. Long-baseline accelerator experiments — T2K in Japan and NOvA in the United States — fire near-pure beams hundreds of kilometres to giant far detectors and measure both disappearance () and appearance (), the latter sensitive to the CP-violating phase that lives in versus . Their successors, DUNE (1300 km through the Earth to a liquid-argon detector in South Dakota) and Hyper-Kamiokande, are being built precisely to measure and to fix the neutrino mass ordering — whether is the heaviest or lightest, still unknown because oscillations see only , not the individual masses or their signs in the solar sector's convention. Reactor experiments (Daya Bay, RENO, and the forthcoming JUNO) pin down and from disappearance, while IceCube reads atmospheric oscillations at the South Pole. The same -versus-mass-basis mismatch, exported to the quark sector as the CKM matrix, underwrites all of flavour physics; and the very existence of a nontrivial — the fact that neutrinos have mass — is the clearest crack in the original Standard Model, pointing toward seesaw mechanisms, right-handed neutrinos, and possible leptogenesis as the origin of the matter–antimatter asymmetry.
The physical picture
At the charged-current vertex a converts into a positive lepton plus a neutrino. The lepton is measured — say it is a positron — so we call the neutrino a . But "" is only a bookkeeping name for "the neutrino that came out with the electron"; it is not a state of definite mass. Written in the basis of the propagating mass eigenstates, that same neutrino is a weighted sum , and every one of is genuinely present. The first figure resolves the vertex this way and shows the real mixing weights: the electron neutrino is dominantly , with a healthy admixture of and a sliver of , the three probabilities adding to exactly one.
Nothing has changed yet — the superposition is a static fact about how the state is written. The physics happens in flight. Each mass component carries energy , and for a fixed momentum the three energies differ slightly because the masses differ. Over a baseline the components acquire different phases , the relative phase shifts the interference, and the flavour content re-mixes: a beam born as develops a and probability that rises and falls with distance. The second figure is the punchline that experiments actually measure — the muon-neutrino survival probability as a function of , drawn with the real atmospheric splitting , showing the first full disappearance at and a complete oscillation period at .
The core equations
The whole subject is built on one linear-algebra statement: the flavour basis and the mass basis are two orthonormal bases of the same three-dimensional neutrino space, related by a unitary rotation. Written for the fields, each flavour state is a superposition of mass states.
where: — the flavour (weak) eigenstate that couples to charged lepton ; — the mass eigenstate of mass ; — the PMNS mixing-matrix element, a complex number set by the charged-current couplings. Reading it: a flavour is a column of acting on the mass triplet — knowing is knowing everything about the mismatch of the two bases. The neutrino state a vertex actually produces carries the complex conjugate of , because the interaction that creates the neutrino contains the conjugate field. This sign-of-the-phase detail matters for CP violation but not for the leading oscillation pattern.
where: — the ket describing the produced neutrino; — conjugate mixing element (probability weight is unaffected by the conjugation). Reading it: the produced neutrino is a coherent superposition, and the amplitudes — not just the probabilities — are what propagate and interfere. Because is unitary, both bases are orthonormal and probability is conserved. Unitarity is the statement that no flavour is lost — a neutrino that stops being has become or , never nothing.
where: — the identity; the two contractions express orthonormality of the mass columns and of the flavour rows. Reading it: for each flavour, which is exactly why the composition weights in the first figure add to one. Each mass eigenstate is a stationary state of the free Hamiltonian, so its only time evolution is a phase. For an ultrarelativistic neutrino of fixed momentum the energies are nearly equal but split at order .
where: — energy of mass eigenstate ; — the common ultrarelativistic energy; the split is the only term that distinguishes the components. Reading it: identical masses give identical phases and nothing happens — oscillation lives entirely in the differences . Propagating the superposition of eq. (2) with the phases of eq. (4) and projecting onto a detected flavour gives, for the two-flavour case, the celebrated oscillation formula. Its argument is written below in both natural units and the practical form experimenters use.
where: — the two-flavour mixing angle; — the mass-squared splitting; — baseline; — neutrino energy; the constant in the stated units. Reading it: the amplitude of oscillation is set by mixing (), the phase by the splitting and the geometry () — two independent knobs Nature turns. Finally, the distance over which the pattern repeats defines an oscillation length, the single number that tells an experimentalist where to put a detector.
where: — full spatial period of the oscillation; a detector placed near (the first maximum) sees the strongest effect. Reading it: small splittings mean long oscillation lengths — the tiny solar forces baselines of hundreds of kilometres.
The goal of this derivation is to locate the physical origin of the mismatch: to show that the flavour basis is singled out by the charged-current interaction while the mass basis is singled out by the mass (Yukawa) term of the Lagrangian, that these two operators are diagonal in generally different bases, and that the unitary rotation carrying one into the other is precisely the observable PMNS matrix. Nothing here assumes neutrinos are special — the same logic gives the CKM matrix for quarks; the point is that mixing is generic and its absence, not its presence, would demand an explanation.
Step 1. Write the leptonic charged-current interaction in the flavour basis, where by definition the couples each charged lepton to its own neutrino: This is diagonal — that diagonality is what defines the labels . Why: the flavour eigenstate is not a free choice; it is the neutrino field sitting next to in the interaction that produces it, so "flavour" means "charged-current partner".
Step 2. Now add the mass terms. The charged-lepton mass matrix and the neutrino mass matrix arise from Yukawa couplings to the Higgs and are, in general, arbitrary non-diagonal matrices in this same flavour basis. There is no symmetry forcing them to be diagonal where the current is. Why: the interaction basis and the mass basis are fixed by different pieces of the Lagrangian, and generic matrices are not simultaneously diagonal.
Step 3. Diagonalise each mass matrix by a bi-unitary transformation: and are diagonal, defining the physical mass eigenstates (the states that propagate with definite mass). Rotating the charged leptons to their mass basis by and the neutrinos by leaves the charged current with a leftover matrix . Why: you cannot diagonalise the masses and keep the current diagonal at the same time unless ; the residue of failing to do so is a physical rotation sandwiched in the interaction.
Step 4. Identify as the PMNS matrix of eq. (1): in the mass basis the current reads , so a charged lepton is produced with the combination — a flavour state. The bases coincide only in the special case , which Nature declines to choose. Why: this exhibits the flavour eigenstate as a fixed linear combination of mass eigenstates, with coefficients that are the measurable entries of — the mixing is not put in by hand but is the unavoidable mismatch of two diagonalisations.
Go deeper · Derivation B · 1 minThe produced state, its conjugate weights, and orthonormality
The aim here is to pin down two facts that the oscillation calculation depends on and that students routinely get backwards: first, that the neutrino state emerging from a vertex carries rather than ; and second, that the flavour states so defined form an orthonormal set, , so that "produce a , detect a " is a well-posed transition with unit total probability. Both follow directly from unitarity of once the creation operator is handled carefully.
Step 1. In the mass basis the interaction term that creates a neutrino is proportional to ; the field annihilates a neutrino, so the piece that creates the outgoing neutrino sits in the Hermitian conjugate and carries . Acting on the vacuum it builds , eq. (2). Why: the conjugation is not cosmetic — reversed for antineutrinos (), it is the seed of the difference between neutrino and antineutrino oscillations, i.e. leptonic CP violation.
Step 2. Compute the overlap of two flavour states using orthonormal mass states : . Why: this reduces a statement about flavour states to a single contraction of the mixing matrix, exactly the row-orthonormality object in eq. (3).
Step 3. Apply unitarity, , to conclude : the flavour states are orthonormal, and gives the composition weights their probability interpretation. Why: without unitarity the flavour "states" would not be a clean basis and total probability across flavours would not be conserved — every oscillation formula silently rests on this.
Step 4. Read off the composition of from the measured angles: , , , summing to . Why: this turns the abstract unitary rotation into the concrete pie of the first figure — the electron neutrino really is mostly , and the weights are experimental numbers, not conventions.
Go deeper · Derivation C · 2 minFrom coherent superposition to the oscillation probability
The objective is to carry the produced superposition of eq. (2) forward in time with the phases of eq. (4), project onto a detected flavour, and obtain the two-flavour probability of eq. (5) — making explicit at each step that the effect is pure quantum interference and that it vanishes identically if the masses are equal or the mixing is switched off. We keep two flavours () and a single angle for transparency; the three-flavour generalisation is algebra, not new physics.
Step 1. Parametrise the two-flavour rotation as and . Evolve each mass component by its phase: . Why: only the mass states have simple time evolution, so we must pass through the mass basis to propagate at all — the flavour state has no clock of its own.
Step 2. Project onto to get the transition amplitude: . The two mass paths interfere; their phase difference is the whole story. Why: the amplitude is a difference of two complex exponentials — a textbook two-slit interference, with the "slits" being the two mass eigenstates rather than two points in space.
Step 3. Square to a probability and use , together with : . Why: the mixing angle emerges as the interference amplitude and the mass split as the interference phase — the two are cleanly factorised.
Step 4. Insert the ultrarelativistic energies of eq. (4): , and set (natural units) to reach , eq. (5). Why: this is where the abstract phase becomes a laboratory quantity — restoring produces the practical constant and hence a definite prediction for where the oscillation maxima fall.
Step 5. Check the limits: gives (no mass difference, no oscillation) and gives (no mixing, no oscillation) — either alone kills the effect, so oscillation is direct proof of both nonzero mass splitting and nonzero mixing. Why: this is the logical core of the whole field — a single observed oscillation establishes that at least one neutrino is massive, which the Standard Model did not require.
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Degenerate masses | , | equal phases; is unobservable and flavour is exactly conserved |
| No mixing | flavour eigenstate mass eigenstate | each propagates as one definite-mass particle; no flavour change |
| Short baseline | quadratic rise from the source; the near-detector regime | |
| Long baseline or wide spread | rapid phases average out; solar/astrophysical neutrinos sit here | |
| Maximal mixing | complete flavour conversion possible; atmospheric | |
| One dominant splitting | 3-flavour effective 2-flavour | why the simple formula (5) describes most single experiments |
Worked examples
1 · The mass composition of the electron neutrino (unitarity in numbers)
Using the measured mixing angles and , find the probabilities that a freshly produced is found to be , , or , and verify they sum to one.
Step 1. In the standard PMNS parametrisation the electron row is , , . The probabilities are the squared magnitudes, and the CP phase drops out of each single .
Step 2. Evaluate with : ; ; .
Step 3. Sum: — exactly the row-unitarity condition from eq. (3). Physically, a born at a reactor or in the Sun is , , and just ; the smallness of is why was the last angle to be measured (Daya Bay/RENO, 2012). A produced ν_e is 0.68 ν₁ + 0.30 ν₂ + 0.022 ν₃, summing to 1.
2 · Where to put the detector — atmospheric oscillation length and the T2K maximum
The atmospheric splitting is with near-maximal mixing . (a) Find the oscillation length for a . (b) The T2K experiment fires over at a peak energy ; compute the survival probability and comment.
Step 1. Oscillation length from eq. (6): . The first full disappearance is at half of this, — a neutrino vanishes maximally after , comparable to Earth's radius, which is exactly why the effect first showed up in atmospheric neutrinos crossing the planet.
Step 2. T2K phase from eq. (5): . This sits essentially at — T2K was designed to place its far detector at the first oscillation maximum.
Step 3. Survival probability: . Almost every muon neutrino has disappeared (converted to , below threshold to make a ) — the near-total dip seen in the second figure. L_osc = 992 km; T2K sits at Φ ≈ π/2 with survival ≈ 0.0002, near-complete ν_μ disappearance.
3 · Why KamLAND is 180 km from the reactors (quick estimate)
The solar splitting is . Estimate the oscillation length for reactor antineutrinos of .
Step 1. With , eq. (6) gives , so the first maximum falls near but the sensitive region for a broad reactor spectrum extends to –. The ≈180 km flux-weighted baseline of KamLAND is matched to the solar Δm², which is how a reactor experiment confirmed the solar oscillation.
Physics of the portrait
The idea that a produced neutrino need not be a mass eigenstate — and that this would make flavour oscillate — belongs to one restless, brilliant, and politically star-crossed physicist who saw it two decades before anyone could test it.
Origins · 1 minBruno Pontecorvo and how this was discovered
Bruno Pontecorvo was one of Enrico Fermi's "via Panisperna boys" in 1930s Rome, co-author of the slow-neutron work that won Fermi the Nobel Prize. A Jewish communist, he fled fascist Italy in 1936, worked in Paris under the Joliot-Curies, then in the United States and at Canada's Chalk River reactor, where he invented the chlorine radiochemical method later used by Ray Davis to catch solar neutrinos. In 1950, at the height of the atomic-spy panic, he defected with his family to the Soviet Union and vanished from Western physics for years, resurfacing at Dubna. It was there, in 1957–58, that he proposed neutrino oscillations — first by analogy with the – system he admired, imagining neutrino–antineutrino transitions, and by 1967 the modern picture of flavour oscillation driven by a mass–flavour mismatch. He predicted the solar-neutrino deficit before Davis measured it and argued for a distinct muon neutrino before the 1962 two-neutrino experiment. The mixing matrix bears his initial first — PMNS, for Pontecorvo–Maki–Nakagawa–Sakata — and the 2015 Nobel Prize for the discovery of oscillations, awarded to Kajita and McDonald, was in a real sense the confirmation of an idea Pontecorvo had chased, from three countries and against the current of his times, for nearly forty years. He died in Dubna in 1993, five years before Super-Kamiokande proved him right.
Going further
Texts. Thomson, Modern Particle Physics, §13.3 (mass and weak eigenstates) and §13.4 (neutrino oscillations) · Griffiths, Introduction to Elementary Particles, 2nd ed., §11 · Halzen & Martin, Quarks and Leptons, Ch. 12 · Schwartz, Quantum Field Theory and the Standard Model, §29 (neutrino masses and mixing) · Peskin & Schroeder, An Introduction to QFT, §20 (the mass matrix and mixing).
Provenance. The charged-current vertex –– and its structure are recalled by name from aq-pp-weak-charged-current and aq-pp-v-minus-a; the stationary-state phase and superposition principle from aq-pp-nonrel-qm-review; the operational definition of the three flavours from aq-pp-neutrino-flavours. The explicit oscillation phenomenology built on this article is owned downstream by aq-pp-two-flavour-oscillations (formula and limits), aq-pp-three-flavour-pmns (the full , its angles and the CP phase ), and aq-pp-neutrino-mass-mechanisms (why the masses are nonzero at all). A verifier should confirm: (1) with from ; (2) for ; (3) the T2K phase at ; (4) the two-flavour probability from the interference of two evolved mass states.
Prerequisites. The Weak Charged Current · Non-relativistic QM Review (stationary states and superposition) · Neutrino Flavours. Leads to. Two-Flavour Oscillations · The Three-Flavour PMNS Matrix · Neutrino Mass Mechanisms.
Ask the tutor: Ask me to trace a single from a vertex to a far detector — writing its superposition, evolving each mass component, and watching the flavour probability oscillate step by step.
Why does the neutrino leave the vertex as a superposition rather than one definite mass eigenstate?
Because the charged-current interaction that makes it does not care about mass — it couples the electron to the neutrino field that shares its flavour label, and that field is a fixed combination of the three mass fields. At production, any of can come out with the electron, and since no available measurement distinguishes them (their mass differences are far too small to resolve kinematically), the correct quantum description is a coherent sum of all three, weighted by the mixing amplitudes . It is the same reason a photon passing a two-slit screen is described by a superposition of both paths: when which-path information is unavailable, amplitudes add.
If I can't measure a flavour state's mass, in what sense do neutrinos "have mass"?
The masses belong to the mass eigenstates , which are perfectly well-defined particles with sharp masses . What you cannot do is assign a single mass to a flavour state, because it is a blend of the three. Oscillation experiments are sensitive only to the differences — they prove at least two masses are nonzero and unequal, but not the absolute scale. That scale is chased by other methods: the tritium beta-decay endpoint (KATRIN), cosmology's effect on structure formation, and neutrinoless double-beta decay. So "neutrinos have mass" is a statement about , established indirectly through the flavour oscillations that only nonzero splittings allow.
What is the difference between the PMNS matrix here and the CKM matrix for quarks?
They are the same mathematical object in two sectors. In the quark sector the up-type and down-type mass matrices are diagonalised by different rotations, and the leftover mismatch in the charged current is the CKM matrix ; in the lepton sector the charged-lepton and neutrino mass matrices are diagonalised differently, and the mismatch is the PMNS matrix . Both are unitary, both carry three mixing angles and a CP-violating phase. The striking difference is in the numbers: CKM is nearly diagonal (quark mixing is small, the Cabibbo angle being the largest), whereas PMNS has two large angles (, ) and only small. Why leptons mix so much more than quarks is an open question.
Does the complex conjugate in |ν_α⟩ = Σ U*_αi |ν_i⟩ actually matter?
For a single oscillation probability like it does not — the survival probability depends only on , and conjugation leaves magnitudes untouched. It matters the moment you compare neutrinos with antineutrinos. Antineutrinos are produced with (not ), so and can differ if contains an irreducible complex phase . That difference is leptonic CP violation, one of the headline goals of DUNE and Hyper-Kamiokande, and a candidate ingredient in explaining why the universe is made of matter. So the conjugate is invisible in the simplest measurement and decisive in the deepest one.
Why don't the electron, muon and tau themselves oscillate the way neutrinos do?
In principle the same mismatch exists, but for charged leptons the mass basis and the interaction basis are conventionally chosen to coincide — we define the electron, muon and tau as the mass eigenstates and push the entire mixing into the neutrino sector, which is a legitimate freedom because only the product is physical. More practically, the charged leptons have hugely different, well-resolved masses and interact electromagnetically almost immediately, so any coherent superposition is destroyed (decohered) essentially at birth — you always know whether you have an electron or a muon. Neutrinos are unique in staying coherent over astronomical distances because they interact so weakly, which is precisely what lets the interference survive to be observed.
How does the oscillation "know" the baseline L — what carries the phase?
Each mass eigenstate propagates as a plane wave , and because the three have slightly different energies (or momenta) at fixed conditions, they accumulate slightly different phases as they travel. The relative phase between components, , grows linearly with the distance the packet has covered, and it is this relative phase that controls the interference when you finally project onto a flavour at the detector. So the baseline enters through the ordinary propagation phase of quantum mechanics — nothing exotic. A careful wave-packet treatment confirms the naive plane-wave answer and also shows why coherence is eventually lost at enormous : the packets of different mass, moving at slightly different group velocities, drift apart and stop overlapping.