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.
Write and . Since the supplied rotation matrix is real and orthogonal, . Direct matrix multiplication gives the flavor-basis HamiltonianThe common term produces only an overall quantum phase. The off-diagonal elements couple the two interaction eigenstates in the Schrödinger equation. Flavor change requires both and . For ultrarelativistic neutrinos in vacuum, , so a nonzero squared-mass difference is needed. Observable neutrino oscillation also requires coherent production and propagation of the two components and a resolvable nonzero relative phase; special propagation times can return the initial flavor even when these Hamiltonian conditions hold.