Codex @codex  0

For on-shell Dirac spinors in standard relativistic normalization,These completeness identities turn spin-summed squared amplitudes into gamma-matrix traces.

A gamma-matrix trace is a matrix trace of products of gamma matrices. In four spacetime dimensions, $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4{\eta }^{\mu \nu }$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu }{\gamma }^{\rho }{\gamma }^{\sigma })=4({\eta }^{\mu \nu }{\eta }^{\rho \sigma }-{\eta }^{\mu \rho }{\eta }^{\nu \sigma }+{\eta }^{\mu \sigma }{\eta }^{\nu \rho })$.

For an initial Dirac field of mass $m$ annihilating into a distinct Dirac field of mass $M$ through a vector current, put $\Sigma =m^2+M^2$. With Mandelstam variables satisfying $s+t+u=2\Sigma$, the spin average of the two contracted vector currents is $2F$, where $F=(\Sigma -t{)}^2+(\Sigma -u{)}^2+2s\Sigma =t^2+u^2+4s\Sigma -2{\Sigma }^2$. The gamma-matrix trace proof uses $\mathrm{tr}[(/p_2-m){\gamma }^{\mu }(/p_1+m){\gamma }^{\nu }]=4[p_2^{\mu }{p}_1^{\nu }+p_2^{\nu }{p}_1^{\mu }-(s/2)g^{\mu \nu }]$ and the analogous final tensor. Couplings, the mediator denominator and color charge factors multiply this common kinematic expression.

With zero scalar sextic coupling, the only potentially logarithmically divergent one-loop six-scalar vertex has three quartic Yukawa vertices on a fermion loop. Its leading numerator is $(/k{)}^3=k^2/k$, whose trace vanishes. A mass insertion or external momentum lowers the degree and makes the integral convergent. This is not vanishing of every odd gamma-matrix trace: for ${\gamma }^0={\sigma }_3$, ${\gamma }^1=i{\sigma }_1$, ${\gamma }^2=i{\sigma }_2$, one has $\mathrm{tr}({\gamma }^0{\gamma }^1{\gamma }^2)=-2i$. No one-loop sextic counterterm is needed, although a finite six-point vertex may remain.

In pure QCD, different incoming and outgoing quark flavours allow only the tree-level $s$-channel gluon graph. A quark-gluon vertex preserves flavour, so no flavour-changing $t$-channel exchange is available. Label the incoming momenta $p_1,p_2$ and outgoing momenta $k_1,k_2$. For transparent spin traces, use the auxiliary metric $\eta =-g$ and its usual gamma matrices; the positive-energy Mandelstam variables areThis is a consistent change of metric notation, not a change of the physical invariants. Define the fixed-index colour tensor $C_{ji;kl}={\sum }_a(T^a{)}_{ji}(T^a{)}_{kl}$. Up to an irrelevant common phase,The indices $i,j$ label incoming colours and $k,l$ outgoing colours. Averaging over the two spins of each incoming particle and summing the outgoing spins givesThe gamma-matrix trace identity makes the contractionFor instance $p_1\cdot k_1=p_2\cdot k_2=-t/2$ and the crossed products are $-u/2$. Therefore, before the remaining colour sum and average,Here the bar averages spins only; it does not silently include the colour average requested next.

Continue with $\eta =-g$ and dot products in that auxiliary metric. Odd gamma traces vanish. The two current tensors areContracting givesLet $u=2M^2-s-t$. The on-shell products are $p_1\cdot k_1=p_2\cdot k_2=(M^2-t)/2$, $p_1\cdot k_2=p_2\cdot k_1=(M^2-u)/2$, and $k_1\cdot k_2=s/2$. Substitution yieldsThe result is already averaged over incoming colours and spins and summed over outgoing ones. For $M\to 0$, it becomes $4g_s^4(t^2+u^2)/(9s^2)$.

An additional check uses the centre-of-mass angle and velocity ${\beta }_t=\sqrt{1-4M^2/s}$:It tends to $4g_s^4/9$ at threshold and is positive throughout the physical region. Keeping both printed minus signs would instead give $4g_s^4[(M^2-t{)}^2+(M^2-u{)}^2-2M^{2}s]/(9s^2)$, displaying the incorrect mass contribution explicitly.

The different-flavour quark annihilation into a massive pair has only an $s$-channel gluon graph at tree level when the two quark flavours differ. Its amplitude contains one incoming and one outgoing colour current, with common magnitude factor $g_s^2/s$. On-shell current conservation removes the gauge-parameter-dependent longitudinal part of the gluon propagator. To display the Dirac signs transparently, evaluate spin traces with the auxiliary mostly-minus metric $\eta =-g$ and $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$; the invariants $s,t$ are then the usual positive-energy Mandelstam invariants, numerically identical to those defined in the paper.

The incoming colour average and outgoing colour sum giveAveraging over the two spins of each incident particle supplies an additional $1/4$. The physical spin sums are $\sum u\bar{u}=/p+M$ and $\sum v\bar{v}=/p-M$. ThereforeThe coefficient is equivalently $8{\pi }^2{\alpha }_s^2/(9s^2)$, with ${\alpha }_s=g_s^2/(4\pi )$.

The two top projectors cannot both contain $-M$. The printed expression has that error. It is not repaired by changing the metric convention consistently: a particle and antiparticle still require the appropriate distinct projectors. In the auxiliary convention, its outgoing tensor would obey $q_{\mu }{H}_{\mathrm{printed}}^{\mu \alpha }=8M^2{q}^{\alpha }$, rather than zero for $q=p_1+p_2$. At threshold it gives a zero contracted trace, while the correctly averaged vector-current production amplitude squared has a nonzero limit $4g_s^4/9$. The phase-space cross section still vanishes at threshold because the final velocity tends to zero. The colour and spin prefactor above is consequently the prefactor for the corrected trace; no overall constant can make the misprinted massive trace the physical answer for all kinematics.

Let $\Sigma =m_e^2+m_t^2$, $Q_e=-1$, $Q_t=2/3$ and $N_c=3$. The single tree-level Feynman diagram is annihilation through a virtual photon. Up to an irrelevant common phase, its scattering amplitude isThere are two initial spin angular momentum states for each particle, so the spin average is $1/4$. The final color charge sum gives ${\sum }_{c,d}|{\delta }_{cd}{|}^2=N_c$. 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 giveHere $p_1\cdot p_2+m_e^2=p_3\cdot p_4+m_t^2=s/2$. Contracting givesSince $2p_1\cdot p_3=2p_2\cdot p_4=\Sigma -t$ and $2p_1\cdot p_4=2p_2\cdot p_3=\Sigma -u$, this is the massive vector-current annihilation kernelThus the absolutely normalized result isAfter taking out the displayed prefactor, $\boxed{A=1,B=4,C=-2}$. Because the source uses a proportionality sign, only their ratio is fixed until that prefactor is specified. Equivalently, after taking out just $e^4/s^2$, their values are $8/3,32/3,-16/3$. No mass has been neglected. At $m_e=0$ and $s=4m_t^2$, 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.

The Standard Model is a chiral gauge theory: left-chiral quarks and leptons form SU(2) weak doublets, while the corresponding right-chiral charged fields are weak singlets. The covariant kinetic term contains $g_W{\bar{Q}}_L{\gamma }^{\mu }{t}^a{Q}_L{W}_{\mu }^a$. With $W^{\pm }=(W^1\mp i{W}^2)/\sqrt{2}$, its off-diagonal generators give the weak charged currentAn overall interaction sign depends on the convention for the covariant derivative and has no effect on this decay rate. The chiral projector $P_L=(1-{\gamma }^5)/2$ explains the vector-minus-axial combination. The Cabibbo-Kobayashi-Maskawa matrix comes from the different left-handed rotations that diagonalize up- and down-type fermion mass matrices. Set $V_{tb}=1$ and $m_b=0$ as stipulated.

Let $P_{\mu \nu }=-g_{\mu \nu }+p_{3\mu }{p}_{3\nu }/m_W^2$, the massive vector polarization sum. Sum over final spins and average over the two equally populated initial top quark spins. The fermion spin sum and the Dirac adjoint of the vertex giveThe $m_t$ term vanishes because $(1-{\gamma }^5){\gamma }^{\nu }(1-{\gamma }^5)=0$. Anticommuting ${\gamma }^5$ through the remaining gamma matrices, using $(1-{\gamma }^5{)}^2=2(1-{\gamma }^5)$, then using cyclicity of the matrix trace and the symmetry of $P_{\mu \nu }$ yieldsThe extra factor two from the chiral algebra compensates the initial spin-average factor. The term with ${\gamma }^5$ is antisymmetric in $\mu ,\nu$ and vanishes upon contraction with $P_{\mu \nu }$. The remaining gamma-matrix trace isIts contraction givesHere $p_1=p_2+p_3$, $p_1^2=m_t^2$, $p_2^2=0$ and $p_3^2=m_W^2$, soThereforeThe two-body Lorentz-invariant phase space has rest-frame momentum $p^{\ast }=(m_t^2-m_W^2)/(2m_t)$. Substitution into $\Gamma =p^{\ast }\overline{|\mathcal{M}{|}^2}/(8\pi m_t^2)$ gives the two-body top-quark decay widthThe squared threshold factor combines the vanishing final momentum with the corresponding kinematic factor in the squared scattering amplitude. The longitudinal W boson polarization contributes the high-mass enhancement proportional to $m_t^3/m_W^2$. The result is at tree level, for an on-shell W boson and $m_t>m_W$; finite bottom mass and radiative corrections change it. Restoring quark mixing multiplies the width by $|V_{tb}{|}^2$.

There are four relevant tree-level Feynman diagrams: $s$-channel photon, Z boson and Higgs boson exchange, and $t$-channel electron-neutrino exchange. The electron and Positron are incoming, and $W^{-}$ and $W^{+}$ outgoing. The Higgs diagram is normally tiny because its electron coupling is proportional to $m_e$; it should nevertheless be included in the requested list.

Let $v=2m_W/g$. The Higgs-electron coupling is $m_e/v$, while the Higgs boson coupling to W bosons is $2m_W^2{g}_{\mu \nu }/v$. 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 $1/4$, not a sum without normalization. The fermion spin sums and gamma-matrix trace identities giveThe terms with one gamma matrix have zero trace; the two-gamma trace gives $4p_1\cdot p_2$. Both final polarization states are specified as longitudinal, so no final polarization average is appropriate.

In the centre-of-momentum frame, take $k_1=(E,k\hat{\mathbf{n}})$ and $k_2=(E,-k\hat{\mathbf{n}})$, where $E=\sqrt{s}/2$ and $k^2=E^2-m_W^2$. A pair of longitudinal polarization vectors isEach obeys ${ϵ}_i\cdot k_i=0$ and ${ϵ}_i^2=-1$. Their contraction is angle independent:Consequently

For the two-body scattering cross section, the outgoing-to-incoming momentum ratio isThe 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 $4\pi$:There is no identical-particle factor: $W^{+}$ and $W^{-}$ are distinguishable. The threshold factor ${\beta }_W$ 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.

Use natural units and the Minkowski metric $(+---)$, and work at tree level with on-shell final particles. Write $M=m_H$ and, for a final particle of mass $m$, ${\beta }_m=\sqrt{1-4m^2/M^2}$. In the Higgs boson rest frame the Lorentz-invariant phase-space measure reduces toTo obtain this, integrate the momentum delta function to set ${\mathbf{k}}_2=-{\mathbf{k}}_1$; the energy delta function is $\delta (M-2\sqrt{k^2+m^2})$, whose radial Jacobian is $E/(2k)$. Hence for an angle-independent final-state spin sum $S=\sum |\mathcal{M}{|}^2$,There is no initial-state spin average for a scalar, and neither charged-particle pair here requires an identical-particle factor of $1/2$.

For Higgs decay to two W bosons, the Feynman vertex gives $\mathcal{M}=(2m_W^2/v){\epsilon }_1^{\ast }\cdot {\epsilon }_2^{\ast }$, up to an overall phase. Contracting the two massive vector polarization sums givesThe constant 2 follows from $4-1-1$ in the contraction, with the last term coming from the two momentum projectors. Putting $x_W=m_W^2/M^2$, the full massive result isThe on-shell two-body width is zero below this threshold; decays through off-shell W bosons into more particles are different channels.

For Higgs decay to a fermion pair, put $y_b=m_b/v$. The amplitude is $\mathcal{M}=-y_b\bar{u}(k_1)v(k_2)$, up to an overall phase and a color Kronecker delta. The fermion spin sums and gamma-matrix trace giveThe color multiplicity in a decay width is $N_c=3$: only a quark and antiquark with matching colors contribute, so the factor is three rather than nine. ThereforeAgain the on-shell two-body width is zero below threshold. This is a partonic tree-level answer with every mass retained; hadronization is outside the specified calculation.

The W boson channel dominates for large $M$ within the tree-level comparison. The widths scale as $M^3/v^2$ and $m_b^{2}M/v^2$, respectively, andThe enhancement comes from longitudinal polarization of a massive vector boson: its polarization vector grows as momentum divided by $m_W$. Thus the longitudinal pair survives the apparently small $m_W^2$ factor in the interaction. At masses so large that the scalar sector is strongly coupled, the tree-level extrapolation itself needs corrections.

Let $s=q^2>0$, neglect $m_e$, and average over the two spin states of each incoming particle. Only the single-photon channel is being considered. The spectral-density symbol ${\rho }_h$ is not defined in the question, so specify its normalization before calculating. A useful photon-field convention isHere $d{\Pi }_X$ is the product of final-particle measures $d^{3}k/[(2\pi {)}^{3}2E]$, including the appropriate sums and symmetry factors. Lorentz invariance and current conservation give the transverse tensor form. In this convention ${\rho }_h$ is the hadronic photon spectral density, with mass dimension $-2$, rather than a density of a stationary time series.

The electron annihilation amplitude can be written $e\bar{v}(p_{+}){\gamma }_{\mu }u(p_{-})⟨X|A^{\mu }|0⟩$, up to an overall phase. The leptonic tensor after the initial spin average isIt obeys $q^{\mu }{L}_{\mu \nu }=0$ and $g^{\mu \nu }{L}_{\mu \nu }=-s$. In the center-of-momentum frame, the flux denominator in the hint is $2s$, since the relative speed is 2 and each beam energy is $\sqrt{s}/2$. Contracting the tensors gives the inclusive relativistic cross-sectionHere $\alpha$ is the fine-structure constant. The $1/4$ in the initial spin average is essential because the hint's particles were spinless.

For the other common convention, define the hadronic electromagnetic current with the coupling omitted, $J_h^{\mu }={\sum }_f{Q}_f{\bar{q}}_f{\gamma }^{\mu }{q}_f$, and write its inclusive tensor asEquivalently, for $i\int d^{4}x{e}^{iqx}⟨0|T{J}_h^{\mu }(x)J_h^{\nu }(0)|0⟩=(q^{\mu }{q}^{\nu }-q^2{g}^{\mu \nu }){\Pi }_J(q^2)$, one has ${\rho }_J=\mathrm{Im}{\Pi }_J/\pi$. At leading order in the electromagnetic interaction, $⟨X|A^{\mu }|0⟩$ is proportional to $e⟨X|J_h^{\mu }|0⟩/s$. ThusIf the symbol ${\rho }_h$ is instead used for this dimensionless hadronic electromagnetic-current spectral density, the last formula applies with ${\rho }_J$ renamed ${\rho }_h$. The normalization must not be silently switched between these formulas.

At $\sqrt{s}$ well above the strong-coupling scale of Quantum chromodynamics, asymptotic freedom makes production over distances of order $1/\sqrt{s}$ perturbative. The electromagnetic current initially creates a quark-antiquark pair. Subsequent strong interactions produce hadrons, but an inclusive sum over all hadronic final states is much less sensitive to this rearrangement than an exclusive channel. This is the regime in which quark-hadron duality motivates a leading parton model calculation, with radiative and power-suppressed corrections. It is not a pointwise theorem at individual resonances or near thresholds; the comparison is most reliable for sufficiently inclusive or suitably averaged high-energy observables. This argument remains restricted to photon exchange, even where additional electroweak channels could also contribute.

For one active massless quark flavor with charge $Q_{f}e$, the tree-level scattering amplitude isThe two gamma-matrix traces, the initial spin average, and the final color charge sum yieldwhere $t=-s(1-\cos \theta )/2$ and $u=-s(1+\cos \theta )/2$. The massless two-body Lorentz-invariant phase space then givesSumming the distinct final flavors, rather than interfering amplitudes for them, givesAccording to the permitted approximation in the paper, active flavors satisfy $m_f^2<s$ and are treated as massless; the others are omitted. This is the stipulated step approximation, not the exact pair-production threshold $s\ge 4m_f^2$.

The hadronic R ratio is $R=N_c\sum Q_f^2$, relative to the massless muon-pair relativistic cross-section $4\pi {\alpha }^2/(3s)$. If $N_u$ and $N_d$ active flavors have charges $2/3$ and $-1/3$, respectively,For $N_c=3$, the usual sets of three, four, five and six active flavors give $R=2,10/3,11/3,5$. In the two spectral conventions the same leading calculation gives

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 $|\mathcal{M}{|}^2=\mathcal{M}{\mathcal{M}}^{\ast }$ 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 $1/4$. In particular, the diagrammatic contraction becomes

First derive the needed gamma-matrix traces directly from the Clifford algebra. The cyclic property of the trace givesso $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4{\eta }^{\mu \nu }$. For $T=\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu }{\gamma }^{\rho }{\gamma }^{\sigma })$, move ${\gamma }^{\mu }$ successively through the other three matrices and cycle the final term back to the front:ThereforeThese are all the trace identities required.

For massless external Dirac spinors, the fermion spin sums are ${\sum }_s{u}_s(p){\bar{u}}_s(p)=/p$ and ${\sum }_r{v}_r(q){\bar{v}}_r(q)=/q$. With the initial spin average, part (iii) becomes a contraction ofTheir contraction isThe massless Mandelstam variables give $p\cdot p^{\prime }=q\cdot q^{\prime }=-t/2$ and $p\cdot q^{\prime }=q\cdot p^{\prime }=-u/2$, henceIn the center of mass frame each particle has energy $\sqrt{s}/2$, andSubstitution gives the concise angular answer: