For a vertex into one massless color-singlet particle-antiparticle pair, the massive-vector spin average and two-body Lorentz-invariant phase space give . With Standard Model neutral-current vector and axial couplings, one neutrino flavor has and one charged-lepton flavor has . Chiral projectors already remove inactive neutrino helicities. These are tree-level massless results.
Each effectively massless active neutrino species contributes the same invisible Z boson partial decay width. Subtracting calculated or measured visible widths from the total width therefore measures the displayed number, assuming no additional invisible channels. The inference concerns particles lighter than with ordinary weak couplings. It does not exclude heavier neutrinos or right-handed neutrinos that are gauge singlets. Early LEP resonance measurements were consistent with three light active species, with statistical uncertainty. See the OPAL report on its 1989 data for the original resonance-width comparison.
For the Z boson vertex , sum over the three initial polarizations and final fermion spins. The symmetric Dirac trace is . The vector-axial interference is antisymmetric and drops out of the massive vector polarization sum. The longitudinal term drops out by current conservation for massless final particles. Contracting the remaining trace gives the displayed result. The massive-vector spin average divides it by three; two-body Lorentz-invariant phase space then gives per color. These coefficients are twice those used with a vertex prefactor .