Electron-positron annihilation into a muon pair Created 2026-10-05 Updated 2026-10-06
At tree level, the Feynman diagram has an electron-positron current and a muon-antimuon current joined by one virtual photon. In the massless limit, the spin average and final-state spin sum give , and the integrated relativistic scattering cross-section is .
Leptonic tensor 2026-10-05
The product of lepton-current matrix elements with a specified spin sum or spin average. Its normalization must be stated when quoting a differential scattering cross-section.
For an initial Dirac field of mass annihilating into a distinct Dirac field of mass through a vector current, put . With Mandelstam variables satisfying , the spin average of the two contracted vector currents is , where . The gamma-matrix trace proof uses and the analogous final tensor. Couplings, the mediator denominator and color charge factors multiply this common kinematic expression.
There is one tree-level Feynman diagram: annihilation of the up quark and its antiquark into an -channel gluon, followed by production of the down quark and its antiquark. A gluon interaction vertex preserves quark flavor, so a -channel line joining the incoming up quark to the outgoing down quark is impossible.
Figure 1.
Annihilation and exchange channels with labelled external momenta
. Original Feynman diagrams, with arrows denoting fermion flow. The left panel with and is the distinct-quark flavor process. Both panels with describe Bhabha scattering; both with and describe identical-quark flavor scattering. The wavy internal line stands for the indicated vector mediator. Details.
Let label the initial quark, initial antiquark, final quark, final antiquark color charges. Up to an irrelevant common sign, the scattering amplitude is
The Mandelstam variables are , , , with in the zero-mass limit. The spin sum uses , and the initial spin average contributes . The resulting two gamma matrix traces contract to
The initial color average contributes . Summing final color charges gives the distinct-flavor quark scattering color factor
Therefore
Equivalently for the QCD coupling . There is no initial gluon spin average: the gluon is internal.
For massless quark Compton scattering, the color average contributes one, since . The spin average and incoming photon polarization average supply . The Ward identities permit use of for each photon polarization completeness relation, and the massless fermion spin sum is .
Let
Reversing the gamma matrices order gives its Dirac-conjugate matrix . The squared scattering amplitude is
For clarity evaluate the four traces before dividing by their denominators. The Mandelstam variables obey , with , , and . For the squared -channel contribution, the gamma matrix trace identities imply
Here and . For the squared -channel contribution, gives
One interference trace reduces to
since . The other interference trace is its complex conjugate and also vanishes. Therefore
Equivalently in terms of the fine-structure constant. In the physical noncollinear region , , so the result is positive. The singular massless endpoint reflects a collinear divergence; it is not a negative squared scattering amplitude.
The exchanged particle is now a gluon, and the incoming up quark mass replaces . Define
The Dirac trace and spin average are unchanged. Normalize the fundamental gauge generators by . Averaging over the initial color charge choices and summing the final color charge choices gives
Replace the factor from part (ii) by . Therefore
Keeping is allowed; if the usual negligible up quark mass approximation is wanted, simply set . The factor is essential: initial quark color charge states are averaged, whereas final ones are summed.
Let , , and . The single tree-level Feynman diagram is annihilation through a virtual photon. Up to an irrelevant common phase, its scattering amplitude is
There are two initial spin angular momentum states for each particle, so the spin average is . The final color charge sum gives . There is no additional photon polarization average for a virtual photon and no separate polarization label beyond the Dirac spinor spin sums.
The spin sums and the gamma-matrix trace identities give
Here . Contracting gives
Since and , this is the massive vector-current annihilation kernel
Thus the absolutely normalized result is
After taking out the displayed prefactor, . Because the source uses a proportionality sign, only their ratio is fixed until that prefactor is specified. Equivalently, after taking out just , their values are . No mass has been neglected. At and , the bracket yields the finite isotropic threshold value of the scattering amplitude; the vanishing threshold scattering cross-section comes from relativistic two-body phase space.
There are four relevant tree-level Feynman diagrams: -channel photon, Z boson and Higgs boson exchange, and -channel electron-neutrino exchange. The electron and Positron are incoming, and and outgoing. The Higgs diagram is normally tiny because its electron coupling is proportional to ; it should nevertheless be included in the requested list.
Figure 1.
The four tree-level diagrams for electron–positron annihilation into a charged W pair
. Original schematics. Fermion arrows show particle-number flow, which opposes the momentum of an incoming positron. W lines are labelled by charge. Details.
Let . The Higgs-electron coupling is , while the Higgs boson coupling to W bosons is . Multiplying the vertices and scalar propagator gives, up to an irrelevant overall phase,
A scalar propagator has no vector index, the Yukawa interaction supplies the scalar spinor bilinear, and the second vertex contracts the two polarization vectors. We retain the tree propagator and neglect widths, consistently with the stated leading-order calculation.
For unpolarized incoming beams the spin average is , not a sum without normalization. The fermion spin sums and gamma-matrix trace identities give
The terms with one gamma matrix have zero trace; the two-gamma trace gives . Both final polarization states are specified as longitudinal, so no final polarization average is appropriate.
In the centre-of-momentum frame, take and , where and . A pair of longitudinal polarization vectors is
Each obeys and . Their contraction is angle independent:
Consequently
For the two-body scattering cross section, the outgoing-to-incoming momentum ratio is
The source's final sentence interchanges the particle names attached to these two momenta; physical final-state phase space and initial-state flux fix the ratio as written here. Since the Higgs-only spin-averaged expression is isotropic, integrating the solid angle gives :
There is no identical-particle factor: and are distinguishable. The threshold factor makes this contribution vanish when the outgoing momentum vanishes. This is the isolated squared Higgs amplitude for a specified longitudinal pair, not the complete physical cross section: the full result squares the coherent sum of all four amplitudes and includes their interference.
Take metric and write . The outgoing electron and antineutrino momenta are and . Up to an irrelevant overall phase, the amplitude is
A fermion spin sum gives
Anticommuting through the massless momentum and gamma matrix, and using , reduces the trace to twice the four-gamma trace minus twice its counterpart. In particular its symmetric part is
The epsilon-tensor part is antisymmetric and contributes neither to the unpolarized polarization sum nor to the real linear polarization used below. There is no extra factor for selecting the neutrino helicity: the chiral vertex has already done so.
The external massless equations imply for , so . With , averaging over the three initial spin states gives
Indeed . This is a massive-vector spin average, not an average over the final spins.
In the rest frame, eliminating the momentum delta function and integrating the remaining radial delta function reduces the two-body Lorentz-invariant phase space to . Therefore
This derives the massless leptonic W decay width without invoking a precomputed decay formula.
For the specified polarization there is no initial spin average. Put , and . The contraction selects
It follows that
Here . The total rate agrees with the spin-averaged result, but its normalized polar distribution is instead of the isotropic unpolarized distribution. This is polarized massless leptonic W decay.
The tree-level Feynman diagram contains one weak charged current vertex. Fermion arrows point along fermion-number flow, so the outgoing antiquark arrow points toward the vertex.
Figure 1.
Tree-level W-plus decay into an outgoing quark and antiquark with fermion-flow arrows
. Details.
For one fixed matching color, the scattering amplitude is
An overall phase from the vertex has no effect on the width. The fermion spin sums give , in the massless approximation. For the three initial polarizations, use a spin average of . The gamma matrix trace identities give
The sign of the last term follows the PDF's convention and does not affect this decay: the polarization sum is symmetric. Since and the daughter masses vanish, and . Therefore
In the rest frame, the two-body Lorentz-invariant phase space integrates to : after the spatial delta function sets , its radial delta function fixes . Explicitly,
The decay formula consequently gives
This is the printed expression, interpreted for one color. For a physical quark-flavor channel there are three orthogonal final color states. Their probabilities add; no initial color average is present for a colorless W boson. Thus
The PDF's formula omits this color multiplicity if read as the ordinary inclusive flavor width. It is also the familiar normalization for a colorless lepton channel.
The six physically accessible quark combinations are . A real on-shell W boson cannot produce a top quark; the massless approximation is applied to the accessible daughters and does not open a physically forbidden top channel. CKM matrix unitarity gives . Therefore the physical color-summed hadronic width at this order is
If the printed one-color convention is retained for every channel, its sum is instead . In the artificial theory where all three up-type flavors, including the top, are kinematically massless, there would be nine channels and the physical sum would be ; that is not the on-shell Standard Model channel list.
The two tree-level Feynman diagrams have t-channel W boson exchange. The antiquark process reverses the fermion-flow arrows on the lower line.
Each vertex contributes multiplying a chiral current. At momentum transfer , the gauge-boson propagator is approximated by its momentum-independent term , up to the overall phase. The longitudinal term does not contribute to these conserved massless currents. Thus the coefficient is , giving the Fermi interaction. For the quark and antiquark amplitudes, apart from irrelevant overall phases,
and
The low-energy operator form is ; its external spinor matrix elements are the displayed products.
For an unpolarized initial parton, average over its two spin states. There is no factor for the incoming active neutrino, which has one allowed helicity. The initial color average cancels the final color sum, so there is no surviving color multiplicity in this parton cross section. Define
The symmetric and antisymmetric parts have zero cross contraction. Their separate contractions are and . Thus the given Levi-Civita symbol identity yields
Including the coefficient and the initial-parton spin average gives
Massless kinematics and imply . From , . Therefore
To reduce the supplied phase-space formula, use the massless center-of-mass flux and . This gives . In that frame , so . Hence
The antiquark channel's angular factor is a consequence of the chiral current and the reversed lower-line spinor order, rather than a color factor.
At this order there is one annihilation tree-level Feynman diagram. The squared-amplitude diagram is its product with its complex conjugate, with the same external momenta and spin labels in both factors:
 e-(p,s) --->\          /---> mu-(p',s')
             o ~~~~~~ o
 e+(q,r) <---/          \<--- mu+(q',r')

                     times

 e-(p,s) --->\          /---> mu-(p',s')
             o ~~~~~~ o                       *
 e+(q,r) <---/          \<--- mu+(q',r')
A wavy line is the virtual photon; the arrows show fermion-number flow. The star means complex conjugation of the entire second graph, including its external spinors. This represents for fixed spins, without adding a new physical loop to the amplitude.
For the spin sum in part (iv), identify each external spin label between the two copies and sum it. The fermion spin sum sews each spinor chain into a gamma-matrix trace. The two incoming unpolarized spin states are then handled by a spin average, giving the factor . In particular, the diagrammatic contraction becomes
First derive the needed gamma-matrix traces directly from the Clifford algebra. The cyclic property of the trace gives
so . For , move successively through the other three matrices and cycle the final term back to the front:
Therefore
These are all the trace identities required.
For massless external Dirac spinors, the fermion spin sums are and . With the initial spin average, part (iii) becomes a contraction of
Their contraction is
The massless Mandelstam variables give and , hence
In the center of mass frame each particle has energy , and
Substitution gives the concise angular answer:
Substitute the preceding spin average into the supplied differential scattering cross-section. Since ,
The angular integral is . Consequently the relativistic scattering cross-section for the massless electron-positron annihilation into a muon pair is
The outgoing particles are distinct, so there is no identical-particle factor. Comparing with the requested monomial form gives
The integrated answer depends only on the incoming invariant ; the angular variables have been integrated out.
The deep inelastic scattering process contains a virtual photon exchanged between the electron and the hadron:
Use an electromagnetic vector current containing the dimensionless quark charges, with the coupling factored out. The scattering amplitude, up to an irrelevant phase, is
To match the printed prefactor, define the leptonic tensor with a spin sum over both electron spins and keep the initial spin average outside it. The gamma-matrix trace gives
For a stationary target and massless electron, the invariant flux factor is . The inclusive final-state Lorentz-invariant phase-space measure and target spin average are contained in . Thus the differential scattering cross-section is
Here means . If the initial spin average is instead built into the leptonic tensor, its normalization is and the displayed cross-section prefactor must be doubled. The two conventions give the same observable.
Use the massless collinear parton approximation in a high-energy frame: , , and with . This neglects target-mass corrections to the parton model; it does not literally set a stationary massive target to a massless particle in the earlier flux formula.
For a quark of dimensionless charge , the electromagnetic vector current matrix element is . The spin average and gamma-matrix trace give
Integrating the three-momentum Dirac delta function in the parton hadronic tensor leaves
Since , this is
For the massless electron momenta, and . Substitution into the leptonic tensor gives
and likewise . These Ward identities eliminate every term with an exposed index in the contraction. Therefore
Here means equality after contraction with the leptonic tensor. The shortened tensor is not itself conserved; the omitted terms restore current conservation in the full hadronic tensor.
Define by removing the factor from the connected transition matrix element. The single tree-level Feynman diagram in i gives
There is no identical-particle exchange term because the species differ. Each incoming fermion has two equally populated spin angular momentum states in an unpolarized beam. Their probabilities multiply to , giving a spin average over the four initial choices. The unobserved final spin angular momentum states are distinct outcomes, so their probabilities are added by a spin sum, with no final averaging:
Taking the complex conjugate of gives . The fermion spin sum therefore converts each squared bilinear into a gamma-matrix trace:
Using , , , and the mass shell conditions , each gamma-matrix trace is
The second equality follows from ; momentum conservation gives the identical result for . Hence
The printed prefactor is incorrect for the stated coupling. Each of the two Yukawa interaction vertices contributes one to the scattering amplitude, so its square is proportional to . As a concrete counterexample, take , , and forward elastic kinematics , . Then and the spin average is , whereas the printed expression gives .
In the convention of iii, the invariant decay amplitude is . Including the common overall in the definition changes no squared decay amplitude. An unpolarized ensemble is an incoherent equal mixture of the two initial spin states; hence take a spin average over and a spin sum over the unobserved final . Different final spin states are orthogonal outcomes, so their probabilities, rather than their decay amplitudes, add.
Using the Dirac adjoint and the fermion spin sum gives
The gamma-matrix trace identities used here are and . The mass-shell conditions and , together with four-momentum conservation, imply
Therefore
In the parent's rest frame this also says .
Write and . With , choose
The relative minus sign is fixed by the canonical anticommutation relations, not by the Mandelstam variables. It follows by crossing symmetry from the identical-fermion scattering amplitude in i, or directly by the two inequivalent external contractions of . For an explicit sign check, fix incoming state order and outgoing order . The direct contraction contains , whose coefficient in the ordered product is ; the annihilation contraction has coefficient . The common sign can change with the external-state convention, while their relative minus sign cannot.
Let . The external particles are on shell, so and
Use the supplied spin sums and gamma matrix trace identities. The two diagonal terms in the initial spin average are
For the interference term, the spin sum is a single Dirac trace:
Terms with an odd number of Dirac gamma matrices vanish. Expanding the remaining terms gives
Substituting the Mandelstam variables reduces this to
It is real. The initial spin average therefore yields
The displayed answer in the source is false. At threshold, , hence and . Then , while the spin sums give . The printed expression instead gives . This is also a counterexample in the continuous threshold limit from physical nonzero incoming momenta. At there is a further discrepancy: the correct result is , rather than the printed . Changing a common phase of the scattering amplitude cannot change either comparison.
The requested symmetry nevertheless holds for the correct answer. Crossing symmetry exchanges the two ways of pairing the four external fermion lines; the momentum-independent auxiliary-field propagator supplies no channel-dependent denominator. The relative fermionic sign can reverse the crossed scattering amplitude, but disappears in its squared modulus. With , the boxed expression is manifestly symmetric under . This is an analytic crossing relation, not a statement that positive physical and negative physical have interchangeable scattering kinematics.
Interpret the repeated species label in the Yukawa interaction as summed over : each Feynman vertex is diagonal in species and equals . Define the invariant scattering amplitude by . There is one tree-level Feynman diagram, an -channel scalar exchange. In the left panel, for this part; the right panel only occurs in d. Arrows show fermion-number flow, so an antifermion arrow opposes its physical momentum.
Figure 1.
Labelled scalar-exchange annihilation and elastic diagrams, with arrows following fermion-number flow
. Details.
Writing and , the momentum-space Feynman rules give
The scalar carries no spin label. Average over the incoming spin states and sum the four outgoing combinations. For the real scalar Yukawa interaction, the conjugate of is . The fermion spin sums then yield
The bar denotes the initial spin average, not a Dirac adjoint. The gamma matrix trace identities give
and the second trace has the same value because and all external masses are . Therefore
This is the fixed-order expression away from . If that pole is accessible, a physical scattering resonance requires a scalar self-energy and decay width; the tree formula alone is not finite there.