Neutrinos are produced in flavor eigenstates (νₑ, νμ, ντ) but propagate as mass eigenstates. The PMNS matrix rotates between bases, producing quantum oscillations. P(νₑ→νμ) = sin²(2θ)·sin²(Δm²L/4E).
P(νₑ→νμ) = sin²(2θ) · sin²(1.267·Δm²[eV²]·L[km] / E[GeV])