Original public paper: Physical PDF pages 813–815. All three questions and all three alternatives in question 2 are answered. We use natural units and Minkowski metric signature .
A variational symmetry of a Lagrangian density maps admissible field configurations to configurations with the same action, up to an allowed boundary contribution. Thus (i) the action is invariant for suitable boundary conditions, while (ii) the Lagrangian density need only change by a total divergence, rather than be pointwise invariant. For an internal symmetry of a classical field theory, the coordinates are fixed. A spacetime transformation also changes the integration measure and must be treated accordingly.
A conserved current satisfies on shell. The Noether charge then obeys , so conservation of the integrated charge additionally requires vanishing net boundary flux.
For several real field components and a constant infinitesimal parameter, write and . The product rule givesSubtract the specified divergence. The Euler-Lagrange field equations make the first term vanish, proving the Noether theorem withFor a complex scalar field, treat the field and its complex conjugate as independent variables in this calculation; this is equivalent to using its two real components. This is the Noether current for a first-derivative scalar field, summed over components.
Collect the two complex fields into . Their Lagrangian density has the radial formFor a constant Hermitian matrix , the unitary transformation preserves both the kinetic contraction and . In particular the two specified transformations have generators and , the first two Pauli matrices. Their Noether currents are instances of the unitary scalar multiplet currentExplicitly,An overall change of current sign corresponds to reversing the associated symmetry parameter; the signs here follow the two transformations as written.
The matrix commutator of their infinitesimal matrices is . The antisymmetric difference of successive transformations therefore supplies a third symmetry, after a nonzero rescaling of its parameter:Its current isThe three traceless matrices obey . Their exponentials act as SU(2) on the complex doublet. This identifies both the Lie algebra and the group acting on these fields: the central element changes and is not the identity transformation, so the doublet action is not an action of obtained by identifying with .
There is also a common global phase symmetry of a complex scalar field, , with current . Together with SU(2) this gives among complex-linear transformations. Independent constant phases of and , and field interchange, are already contained in this group.
In fact this particular scalar potential has a larger real internal symmetry. Write and ; thenThe O(4) symmetry of a complex scalar doublet includes transformations mixing with , which need not be complex-linear. Its connected part has six rotation generators, so listing alone would not exhaust the internal symmetries of the displayed isolated theory. Individual field conjugations are examples of its discrete transformations. Finally the spacetime-independent scalar coefficients and Lorentz contractions give Poincaré symmetry, and the real scalar action also permits spatial reflection and time reversal. These statements concern the action; a chosen vacuum or external boundary conditions can preserve fewer symmetries. Special parameter choices can introduce additional symmetries, but are not required here.
Chirality distinguishes the two inequivalent Weyl spinor representations of the proper Lorentz group. For a Dirac spinor, define and the chiral projectorsThey satisfy and . Proper Lorentz transformations preserve each chiral representation, whereas parity exchanges them. Helicity instead measures the projection of spin angular momentum along momentum. For a massive particle it can change under a boost that overtakes the particle, so it must not be identified with chirality. For massless positive-energy particles the left-chiral field annihilates negative-helicity particles and creates positive-helicity antiparticles.
The Standard Model is a chiral gauge theory: left- and right-chiral fields have different gauge group representations. In the convention , one generation containsThe minimal field content has no right-handed neutrino. A sterile right-handed field is a possible extension, not a required member of that minimal list. The table displays weak isospin, hypercharge and color charge assignments, not assignments of massive-particle helicity.
The weak charged current contains and its Hermitian conjugate, with coupling . Only the left-chiral lepton doublet participates, giving parity violation. Both chiralities can couple to the Z boson, but their coefficients differ:Here is that of the left-chiral component. For the electron, it is . The photon and gluon couplings of a charged massive fermion are vectorlike; this does not make the full electroweak interaction vectorlike.
A bare Dirac mass term joins the two chiral representations. Their different electroweak quantum numbers forbid that term before electroweak symmetry breaking. A Yukawa interaction, such as , is gauge invariant; the Higgs doublet expectation value then gives . Up-type quarks use the conjugate doublet. Thus chirality explains the weak charge assignments, their parity violation, and why masses arise through the Higgs mechanism. The consistency of these chiral assignments also requires Standard Model anomaly cancellation.
Gauge boson self-interactions follow from noncommuting generators, rather than a separate assumption that the force carriers should attract one another. With and , the Yang-Mills field strength isThe last term is required so that transforms covariantly under the gauge group. Let . Expanding gives a quadratic kinetic term and the cubic and quartic Yang-Mills self-interactionsThe structure constants and one gauge coupling fix both types of vertex. For an Abelian group the structure constants vanish: the renormalizable pure electromagnetic field action has no elementary three- or four-photon vertex. Photon scattering through charged-particle loops is a different statement, not a contradiction.
In Quantum chromodynamics, the non-Abelian structure produces three- and four-gluon vertices; the gluons themselves carry color charge. These vertices influence multi-jet production and the renormalization group running of the strong coupling. In the electroweak sector the fields mix with the Abelian field after electroweak symmetry breaking. The resulting charged-vector vertices include and , with couplings and , together with the related four-boson vertices. Neutral-only triple vertices such as are absent at tree level in the Standard Model.
The electroweak triple gauge coupling can be measured using . The neutrino exchange and neutral-vector exchange diagrams interfere: the gauge-related coefficients cancel the most rapidly growing longitudinal-polarization terms. Their relative strengths and angular dependence therefore test the theory more sharply than merely observing a pair of massive vector bosons. The electron-mass-suppressed Higgs contribution completes the corresponding mass-dependent cancellation. Adding arbitrary independent three- and four-vector couplings would generally destroy these relations.
At the Large Electron–Positron Collider, the L3 experiment fitted charged triple-gauge parameters using hadronic and semileptonic W-pair events, complemented by single-W and single-photon channels. These measurements agreed with the predicted self-couplings. Their interpretation uses reconstructed decay products and differential distributions, rather than direct pictures of a three-boson vertex.[ref]
Measurement of Triple-Gauge-Boson Couplings of the W Boson at LEP by L3 Collaboration. 2004, abstract: W-pair channels at 189–209 GeV, complementary channels and agreement with Standard Model self-couplings
The evidence tests several linked claims: a weak neutral current, massive charged and neutral mediators, their chiral couplings, and the non-Abelian interactions among those mediators. A theory must describe these with a common set of electroweak parameters.
The Gargamelle neutral-current experiment supplied a particularly direct early test. A neutrino beam crossed a heavy-liquid bubble chamber; charged reaction products made visible tracks, while incoming and outgoing neutrinos did not. Neutral-current candidates had a hadronic vertex without an accompanying charged lepton, or an isolated recoiling electron. The visible final state differs from a muon-neutrino charged-current event with an outgoing muon. Neutral hadrons entering from surrounding material could imitate a hadronic vertex, so background rejection was essential. The 1973 observations supported an interaction carried by a neutral weak mediator; they did not directly reconstruct an on-shell Z resonance.[ref]
Gargamelle by CERN. Experimental description: neutrino beam, heavy-liquid chamber, hadronic and electron-scattering searches
The UA1 experiment and UA2 experiment collider discoveries supplied complementary evidence in 1983. A proton–antiproton collider provided enough energy to produce the mediators. Charged W candidates used a high-transverse-momentum charged lepton and missing transverse momentum from an escaping neutrino; because its longitudinal momentum was not measured, a transverse-mass distribution was useful. Neutral Z candidates instead formed a charged-lepton pair with an invariant-mass peak. Observing both kinds of events and their masses tested the predicted mediator structure.[ref]
The Weinberg angle connects independent measurements. At tree level, a Higgs doublet givesso . Neutral-current scattering, the mediator masses and electromagnetic measurements must be consistent with one mixing angle after a common renormalization prescription and radiative corrections are included. Precise Z-resonance widths and asymmetries test the left- and right-chiral couplings; a mass peak alone would not establish those coupling assignments.
At higher collider energies, W-pair production tested the electroweak triple gauge couplings. Reconstructing hadronic jets or a charged lepton plus missing momentum identifies W decays; total rates and production/decay angles constrain the and vertices. Their non-Abelian relations are required for the characteristic interference with neutrino exchange. L3's 2004 analysis used these channels and found agreement with the Standard Model expectation.[ref]
Measurement of Triple-Gauge-Boson Couplings of the W Boson at LEP by L3 Collaboration. Abstract: measured triple-gauge parameters and W-pair, single-W and single-photon samples
Finally, the 2012 Higgs boson discovery and subsequent coupling tests address the symmetry-breaking sector, beyond the existence of gauge mediators. The initial observation was a new resonance in several decay channels; establishing all its properties requires further measurements. These are mutually supporting tests of the electroweak interaction, with distinct apparatus, observables and background controls, rather than a claim that any single event proves the entire theory.
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.
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 giveThe 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 isEach obeys and . 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 :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.
Original public paper: Physical PDF pages 746–748. All three questions are answered. Use , metric , and canonically normalized gauge-field kinetic terms.
For an infinitesimal element of the SO(4) group, write . Reality of makes purely imaginary; gives . Together these imply , while antisymmetry makes the trace vanish. An antisymmetric four-by-four matrix has independent entries. Thus six imaginary, Hermitian, antisymmetric, traceless matrices span the Special orthogonal Lie algebra in this convention. The physicists' Hermitian generators differ by a factor of from the real antisymmetric matrices used for its real Lie algebra.
A nonzero real four-vector has a length and a direction. Proper rotations act transitively on the unit three-sphere, so a gauge choice aligns the scalar vacuum expectation value along the fourth coordinate: . This chooses an orientation of the vacuum without changing its length. Its stabilizer rotates the first three coordinates and is an SO(3) group.
The supplied generators obeyHence the three sums are unbroken generators. The orthogonal field combinationsare respectively the unbroken and broken gauge directions. With , direct action on the vacuum givesCompare with the vector mass term . ThereforeThe SO(4) vector-Higgs gauge-boson spectrum uses the scalar kinetic normalization printed in the paper, . Inserting an additional factor while keeping the same numerical would instead give . This is a field-normalization convention, not a disagreement about the broken subgroup. The massless fields generate the residual SO(3) gauge symmetry; they are sums, not three of the six original gauge fields individually.
Multiplying the first three supplied matrices givesThey generate a copy of the SU(2) Lie algebra. The other triple generates a second copy, and the two commute. Since they span all six dimensions,This is the two commuting rotation algebras in so4 decomposition. A Lie-algebra isomorphism fixes the local group structure but not its global central identifications. The Spin(4) double cover givesThus SO(4) is not globally the direct product of the two simply connected groups. The unbroken diagonal Lie algebra integrates to SO(3), with the same simultaneous central sign already identified. This distinguishes the gauge algebra, its covering group and the actual group acting faithfully on the four-vector.
A relativistic theory must accommodate the energy-momentum relation , causal interactions and the possibility of particle creation. Promoting the squared relation to a wave equation gives the Klein-Gordon field equationA plane wave hasThe positive and negative branches both solve the local differential equation. Its being second order in time means that specifying only a wavefunction, as in the nonrelativistic Schrödinger equation, is not the complete initial datum.
For a complex scalar, the conserved Klein-Gordon inner product comes from the currentFor the plane wave, , which is negative on the negative-frequency branch. Thus this conserved density cannot be a positive single-particle probability density for arbitrary Klein-Gordon solutions. Merely replacing it by does not supply the missing conserved relativistic probability law. The indefinite Klein-Gordon charge density is an obstacle to that naive one-particle interpretation, not evidence that a consistent scalar field theory has negative probabilities.
The Dirac equation is first order,The gamma-matrix anticommutation relations imply , so its spectrum again contains . But its conserved Dirac current has density . The Dirac equation solves the density-sign difficulty while leaving both energy branches. Treating every negative-energy solution as an ordinary accessible one-electron state would leave the energy unbounded below and permit radiative descent without a stable ground state.
The historical Dirac sea filled the negative-energy electron states and interpreted holes as positive-energy antiparticles. It motivates the Positron but is not the general modern explanation: bosons do not obey an exclusion principle and cannot be stabilized by filling a sea. Quantum field theory instead promotes the fields to operators and interprets negative-frequency modes using antiparticle creation operators.
For a complex scalar field, schematically,Bosonic commutation relations give a normal-ordered Hamiltonian and conserved charge of the formBoth particle species have positive excitation energies. The sign-changing scalar current now represents charge, rather than particle probability; opposite charges are physically allowed. The ordinary positive Fock space norm gives nonnegative probabilities. A real scalar field is its own antiparticle and has no corresponding complex-field U(1) charge.
For the Dirac field, the analogous expansion contains electron annihilation operators and positron creation operators. Fermionic anticommutation relations turn the negative-frequency contribution into a positive antiparticle excitation energy after the vacuum constant is removed. The Pauli exclusion principle and relativistic locality are thereby incorporated in a field description, rather than a postulated infinite population of physical negative-energy electrons. The normal-ordering step removes an additive vacuum constant; it does not by itself settle the separate gravitational vacuum-energy problem.
Interactions can change particle number while conserving total energy, momentum and charge. Trying to localize a particle on its Compton wavelength scale requires momenta of order its rest mass, where accessible interactions can involve pair creation. A fixed-particle wavefunction is consequently not a general description of such processes. Creation and annihilation operators act between different particle-number sectors, and field interactions describe scattering and production within one framework.
Finally, relativistic causality concerns observables: spacelike separated local bosonic observables commute, while fermionic fields satisfy the appropriate anticommutation conditions. This microcausality prevents a controllable influence through spacelike separated local operations. Free relativistic one-particle theories remain useful, and low-energy fixed-number approximations can be excellent. What fails is the naive insistence that unrestricted relativistic interactions, positive probabilities, stability and arbitrary particle production all fit an unchanged one-particle Schrödinger picture.[ref]
Quantum Field Theory by David Tong. §2.5 complex scalar fields; §5.1–5.3 fermionic quantization and the hole interpretation
At leading order in quantum electrodynamics, the electron-positron pair annihilates into one virtual photon, which produces the muon-antimuon pair. This is an s-channel Feynman diagram with and . No QED vertex changes an electron directly into a muon, so there is no corresponding single-photon t-channel flavor-changing diagram.
Each charged-fermion vertex contributes , the internal photon contributes in Feynman gauge, and external legs supply incoming and outgoing . Their ordered contraction gives the stated amplitude. The overall convention-dependent phase does not affect its squared modulus.
For unpolarized scattering, average over the two spin choices of each incoming particle and sum over outgoing spins. The identities and , together with , convert the products into fermion spin sums:The factor averages the initial spins; there is no additional average over the final ones. In the massless limit the first trace is , with the analogous expression for the outgoing current. Contracting givesIn the centre-of-mass frame, every external energy is . Choose along and let make angle with it. The dot products are and . HenceThe electron-positron annihilation into a muon pair cross-section is thereforeUsing givesIn ordinary units this becomes . It is the leading high-energy QED result: finite masses, radiative corrections and weak-interaction exchange modify the prediction outside that approximation.
Cross-section measurements can test spin assignments when the interaction and charges are specified. For example, keeping spin-half electrons but replacing the final muons by minimally coupled charged spin-zero particles replaces the fermion current by a momentum-difference current. In the massless limit, scalar-pair production by fermion annihilation gives and total . Its central angular peak differs from the fermionic distribution.
Thus angular distributions, polarization information and suitably modeled rates distinguish spin hypotheses. A single total rate without assumptions about the couplings or the initial species does not independently establish both spins; changing interactions can mimic normalizations. The predicted fermion result is a testable consequence of the spin-half QED model, rather than a model-independent inference of spin from any one observed cross-section.
Original public paper: Physical PDF pages 672–675. Both adjoint-vacuum cases, the decay calculation and all three optional notes are covered. Natural units and the metric are used.
In spontaneous symmetry breaking, the action respects a symmetry while a selected vacuum state is invariant only under a proper subgroup. A nonzero vacuum expectation value can identify that choice. For a local gauge theory, gauge transformations are redundancies rather than transformations between physically different states; a gauge-fixed scalar expectation value describes the Higgs mechanism and its massive excitations. It should not be interpreted as breaking an observable local redundancy.
Write the adjoint scalar field as , with Hermitian gauge generators normalized by . Since is constant, the part of the covariant derivative linear in the gauge field is . Both and are Hermitian, so their commutator is anti-Hermitian. The scalar kinetic term therefore contributesMatching coefficients gives the adjoint scalar gauge-boson mass matrixIt is positive semidefinite: for real coefficients , its quadratic form is , where . Its null space consists of generators commuting with the vacuum, the Lie algebra of its centralizer.
For a diagonal vacuum , the matrix unit obeys . The two normalized Hermitian generators built from each acquireThe diagonal generators commute with every such vacuum and remain massless. Orthogonality of these root generators also shows that the mass matrix is diagonal in the supplied Gell-Mann matrices basis. Take and below; restores the full SU(3) group.
For eigenvalues , the first two entries coincide. Consequently the generators , as well as , commute with the vacuum. The and eigenvalue differences both have magnitude , givingThere are four massless and four massive gauge bosons. The centralizer of a Hermitian matrix in SU(n) preserves the degenerate two-dimensional eigenspace, so the unbroken group isAt the Lie algebra level this is , generated by and . The finite quotient specifies the actual subgroup inside SU(3); simply writing suppresses that global identification. The four real massive fields combine into a complex SU(2) doublet and its conjugate. Unbroken SU(2) rotations relate its two components, explaining the equal masses of the and sectors in this SU(3) gauge theory with an adjoint Higgs field.
For eigenvalues , all entries are distinct. The difference has magnitude , while both the and differences have magnitude . The adjoint scalar gauge-boson mass matrix therefore givesOnly the two diagonal generators commute with the vacuum. Its unbroken group is the maximal torusThe two real fields belonging to each pair combine into oppositely charged conjugate vector states with equal mass. The further equality between the and masses comes from the equally spaced vacuum eigenvalues; the surviving Abelian group alone does not force distinct root-charge sectors to have equal masses. Thus a fourfold massive degeneracy occurs in both examples, but its relation to the unbroken continuous symmetry differs. The scalar potential has not been specified, so no additional symmetry of that potential or physical scalar mass spectrum can be inferred.
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 . With , 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 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 and as stipulated.
Let , 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 term vanishes because . Anticommuting through the remaining gamma matrices, using , then using cyclicity of the matrix trace and the symmetry of yieldsThe extra factor two from the chiral algebra compensates the initial spin-average factor. The term with is antisymmetric in and vanishes upon contraction with . The remaining gamma-matrix trace isIts contraction givesHere , , and , soThereforeThe two-body Lorentz-invariant phase space has rest-frame momentum . Substitution into 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 . The result is at tree level, for an on-shell W boson and ; finite bottom mass and radiative corrections change it. Restoring quark mixing multiplies the width by .
A relativistic quantum field describes both creation and annihilation of excitations; a one-particle wavefunction alone is insufficient when interactions can change particle number. For a free complex scalar field, one conventional mode expansion of a free field isThe apparently negative-frequency term creates a positive-energy antiparticle; it is not a physical particle of unbounded negative energy. The normal-ordered Hamiltonian and conserved global phase charge have the formsParticles and antiparticles have equal mass and opposite additive internal charges. Including both frequency sectors is also essential to the local field commutator: the positive- and negative-frequency terms combine so that spacelike-separated scalar observables commute, respecting microcausality.
A Dirac field similarly contains particle annihilation operators multiplying spinors and antiparticle creation operators multiplying spinors. Its canonical anticommutation relations implement Fermi-Dirac statistics, whereas scalar modes use commutators and Bose-Einstein statistics. These assignments are tied to the Spin-statistics theorem under the usual relativistic locality and positivity assumptions. Conserved charge constrains particle creation and annihilation, but particle and antiparticle numbers need not be separately conserved in an interacting theory.
An antiparticle need not be a distinct species. A neutral real scalar field is self-conjugate; the photon is also its own antiparticle. A Majorana fermion obeys a self-conjugacy condition and cannot carry an unbroken additive charge that distinguishes it from its antiparticle. Electric neutrality alone does not force self-conjugacy when other conserved quantum numbers distinguish the states.
Loop corrections in perturbative quantum field theory integrate over unbounded internal four-momentum. For example, after a Wick rotation, a four-dimensional integral with large-momentum behaviorhas a logarithmic ultraviolet divergence. This is sensitivity to short distances, distinct from a possible low-momentum infrared divergence.
Regularization in quantum field theory first makes the expression mathematically well defined, for example with a cutoff or dimensional regularization in . A regulator is an intermediate prescription rather than a measured physical parameter; a hard momentum cutoff can obscure gauge identities, so their preservation or restoration must be checked. Introduce bare fields and parameters, such as , and split the regulated Lagrangian density into a renormalized part and local counterterms. For instance, wavefunction, mass and coupling counterterms cancel the corresponding divergent parts of Green functions order by order.
Renormalization conditions fix finite parameters through specified observables or a subtraction prescription. Once these physical inputs are held fixed, predictions must not depend on the arbitrary regulator. In a renormalizable quantum field theory, a finite set of operator coefficients suffices to absorb ultraviolet divergences at every perturbative order, with the allowed structures constrained by the theory's symmetries. Gauge theories impose relations among counterterms through identities such as the Ward-Takahashi identity; one cannot choose every diagram's subtraction independently.
The remaining dependence on a chosen renormalization scale describes running couplings and is organized by the renormalization group. An effective field theory can instead include higher-dimension operators suppressed by a high scale. Infinitely many are allowed in principle, but only finitely many contribute at a fixed accuracy in the low-energy expansion. Renormalization is therefore a controlled relation between parameters and predictions at different scales, rather than an instruction to discard every infinity without fixing physical inputs.
The left- and right-chiral components of a charged Standard Model fermion transform in different electroweak group representations. A bare Dirac mass term is therefore not invariant under the full electroweak gauge group. The Higgs doublet supplies the missing transformation properties. With , the gauge-invariant Yukawa interactions arewhere each is a flavor-space Yukawa matrix. For example, hypercharges in the down-quark term add to , while those in the up-quark term add to . Thus the Higgs and conjugate Higgs are required in different terms.
After electroweak symmetry breaking, choose unitary gauge with . The fermion mass matrices becomeA singular value decomposition defines nonnegative physical tree-level masses. The mismatch is the Cabibbo-Kobayashi-Maskawa matrix in the weak charged current. The corresponding physical Higgs boson couples diagonally as in the minimal one-doublet theory. This relates its coupling strength to each mass, but the measured Yukawa couplings remain independent input parameters: the minimal theory does not predict their hierarchy.
The minimal renormalizable Standard Model contains no right-handed neutrino, so it has neither a neutrino Dirac Yukawa term nor a gauge-invariant renormalizable left-handed Majorana mass term. Its neutrinos are massless. Observed neutrino oscillations require going beyond that minimal field content or operator set: adding right-handed singlets permits Dirac masses, while the dimension-five Weinberg operator gives a Majorana neutrino mass of order after symmetry breaking. These alternatives should be distinguished from the charged-fermion Yukawa mechanism.
Original public paper: Physical PDF pages 578–580. All three questions and all listed interactions are covered.
Use natural units and the Minkowski metric . Varying the Proca action with respect to gives and . The Euler-Lagrange equation is thereforeTaking a divergence annihilates the antisymmetric field strength, since commuting derivatives are symmetric in their indices. For this gives the Lorenz constraint in Proca theory , and hence . The constraint follows from dynamics; it is not an additional gauge fixing condition for this massive theory.
For four-momentum , longitudinal polarization of a massive vector boson lies in the time– plane, has and is normalized by . Takingsatisfies both requirements because . It can also be obtained by boosting the rest-frame unit spatial polarization along the direction of motion. Together with two transverse polarizations it gives the three physical spin states of a massive spin one particle.
In the Higgs boson rest frame, choose and , with and . Consistent normalized longitudinal polarization vectors areTheir Lorentz contraction is . The Higgs boson coupling to W bosons consequently givesUsing the two-body Lorentz-invariant phase space, and yields the longitudinal partial decay widthThe charged W bosons are distinguishable, so there is no identical-particle factor of . This expression includes the entire angular phase space but only the specified longitudinal final polarizations. The Higgs decay to two W bosons summed over all polarizations instead has the factor ; the additional transverse contribution is . At the longitudinal channel dominates and the leading width grows as .
Below , the on-shell two-body decay channel is kinematically closed. An imaginary in the preceding formula is therefore a sign that this formula no longer applies. Slightly below threshold, the physical process can instead contain an on-shell W boson and an off-shell one, , followed by decay of the remaining W boson. Its rate requires the virtual-vector propagator, its allowed fermionic decay channels and the corresponding multiparticle Lorentz-invariant phase space. The nonzero decay width of the W boson smooths the idealized threshold. A polarization-resolved rate for two on-shell longitudinal vectors must not be analytically continued and treated as that multiparticle rate.
In the stronger limit , both intermediate W bosons must be virtual. Their heavy propagators suppress the four-fermion decay amplitude, while the small available phase space suppresses its rate further. At energies small compared with , integrating out the two vectors gives a local interaction proportional to . Its dimension-seven coefficient implies a rate of order when all four final fermions can be treated as massless, with channel-dependent constants. This is a low-energy scaling statement, not the on-shell longitudinal-width formula. Other accessible Higgs boson decay channels, such as a pair of fermions or loop-induced two-photon decay, must then be compared using their actual masses and couplings.
The Standard Model uses the local gauge group . Its Higgs field is a complex Higgs doublet of hypercharge . A bare mass term for a weak gauge boson, or for a charged fermion joining inequivalent left- and right-handed gauge representations, would not respect the unbroken electroweak construction. Instead introduce a gauge-invariant Higgs potentialIts minima satisfy , . Choosing a representative leaves unbroken. In this description electroweak symmetry breaking is ; the underlying local gauge symmetry remains a redundancy of the theory. A vacuum representative is not a physical explicit violation of gauge invariance.
In unitary gauge, write . The gauge-covariant kinetic term produceswith and . Three angular scalar directions supply the longitudinal gauge-boson polarizations of , while one real radial Higgs boson survives with . Counting physical degrees of freedom checks the Higgs mechanism: the electroweak gauge sector and scalar doublet have before the rearrangement and afterwards.
The Higgs potential also fixes the scalar self-interactions:The color gauge group is unbroken, so gluons remain massless. The same electroweak kinetic term fixesGauge-invariant Yukawa couplings such as give and the physical coupling . These relations predict stronger Higgs couplings to heavier massive particles; they do not determine the Yukawa parameters themselves. The minimal Standard Model does not supply observed neutrino masses. The surviving Higgs boson is neutral and has spin zero; its mass and self-coupling are tied to the curvature of the Higgs potential, not fixed by the gauge couplings alone. Higgs exchange also provides the Higgs cancellation in longitudinal vector scattering, maintaining the required high-energy behavior of weak amplitudes.
At a proton collider, important production mechanisms are gluon-fusion Higgs production through a heavy-quark loop, vector-boson fusion with two outgoing quark jets, associated or production, and production with a top quark pair. At an electron–positron collider, Higgsstrahlung is a clean example. Tree-level decays include Higgs decay to a fermion pair and, when allowed, Higgs decay to two W bosons or Higgs decay to two Z bosons. Below an on-shell vector-pair threshold, one or both vectors can be virtual. The and channels arise through loops; neutral colorless has no corresponding direct tree-level gauge coupling. Rates and branching fractions depend on both couplings and kinematics, so “heaviest available particle” is a guide rather than a complete rule.
The Higgs boson discovery in 2012 supplied an experimental test. The ATLAS experiment and CMS experiment reconstructed two-photon and four-lepton invariant masses in Large Hadron Collider proton collisions. Electromagnetic calorimeters measure photon energies, while tracking and muon systems identify charged leptons; narrow reconstructed peaks can be distinguished from smooth backgrounds with control samples and a likelihood analysis. The ATLAS discovery paper reported a new resonance near . An observed mass peak supports the existence of a new state; production channels, decay rates and angular distributions test whether it has the particular Higgs couplings and quantum numbers.[ref]
Finally, the hierarchy problem asks why the electroweak scalar mass scale remains much smaller than a putative heavy physical scale without delicate cancellations. A cutoff estimate suggests corrections times couplings, but the quadratic cutoff term itself depends on the regularization convention. The physical concern persists when a heavy state of mass couples to the Higgs field and produces threshold corrections of order its coupling times . Matching a much smaller Higgs mass may then require cancellation between independent parameters. Supersymmetry, compositeness and other protective structures propose different resolutions; renormalizability of the Standard Model does not by itself resolve this sensitivity or establish that new particles must occur at one particular mass.
Interactions produce Feynman diagrams with internal lines whose independent loop momenta are integrated without an upper bound. Their large-momentum contributions can have an ultraviolet divergence. Two explicit examples in a scalar quartic theory are a one-loop tadpole diagram contributing to the two-point function and a one-loop four-point bubble diagram. After a Wick rotation, a spherical cutoff gives the representative integralsCombinatorial factors and couplings multiply these integrals in a particular diagram. The first is quadratically divergent by cutoff power counting; the second is logarithmically divergent. Other schemes package the divergent pieces differently.
In renormalization, introduce a regularization, separate bare parameters into renormalized parameters and counterterms, and fix the latter by stated normalization conditions. Local divergent pieces of the scalar two- and four-point functions are absorbed into mass, field normalization and quartic-coupling counterterms, with all other operators allowed by the chosen symmetries included as needed. A perturbatively renormalizable quantum field theory requires this finite counterterm family to remain closed at all orders. It does not require every individual bare diagram to be finite. For gauge theories, identities expressing gauge symmetry and absence of a gauge anomaly are essential in addition to superficial counting.
The action is dimensionless in natural units, so in four spacetime dimensions and . The engineering dimensions of relativistic fields follow from matching the free kinetic terms:and henceFor a local operator of mass dimension , its coupling has dimension . Operators with dimension at most four are candidates for ordinary perturbative power-counting renormalizability. This test presupposes consistent kinetic terms, symmetries and the full set of induced counterterms; it is not a proof of physical consistency for an arbitrary vector interaction.
The operator has mass dimension four, so . It is a power-counting renormalizable scalar quartic interaction. It describes scalar self-interactions, including the quartic term in the Higgs potential for the appropriate scalar representation. Its sign in the potential must be chosen for a stable large-field theory; dimension counting alone does not ensure stability.
The operator has mass dimension , so . It is a power-counting renormalizable Yukawa interaction between a real scalar combination and a fermion bilinear. A scalar vacuum expectation value contributes to a Dirac mass term; its fluctuations couple to the fermion pair. This is a schematic scalar–fermion theory. In a chiral gauge theory, representations must be combined gauge-invariantly, as in the Standard Model Higgs–fermion interactions. Without additional protecting symmetries, all allowed scalar counterterms must be included as well.
The operator has mass dimension , giving . It is not power-counting renormalizable as a fundamental interaction treated to arbitrary energy. It is a perfectly usable dimension-five effective operator below its suppression scale. Successive orders in that effective field theory require a derivative and operator expansion rather than one finite set of parameters valid at every order.
The operator has mass dimension , so . It is the renormalizable electromagnetic current coupling when completed as quantum electrodynamics: a massless Abelian gauge field couples minimally to the conserved Dirac current, with consistent gauge fixing and Ward identities. Indeed, replacing by a gauge covariant derivative in the Dirac equation produces this interaction. The gauge structure, rather than dimension counting alone, ensures the necessary cancellations.[ref]
The operator has mass dimension , so . It is not power-counting renormalizable. Hermiticity may require a suitable conjugate or a symmetrized derivative, and electromagnetic gauge invariance would require a further consistent completion; neither repair changes its engineering dimension. Such derivative interactions can occur in an effective field theory, subject to its symmetries and operator redundancies.
Each Dirac current has mass dimension three, so their product has dimension six. Its coefficient therefore has dimension :The Fermi interaction is not power-counting renormalizable, but its success at low energies is explained by effective field theory. Exchange of a heavy W boson between the appropriate chiral weak currents has a propagator that expands as . The leading term is a local four-fermion interaction and further terms are suppressed by powers of . The complete spontaneously broken electroweak gauge theory resolves the pointlike approximation at higher energies. The source's vector-current product illustrates the operator dimension; the actual weak interaction also has its specific flavors and chiral structure.
Assume so that the Higgs potential is bounded below, and work at tree level in four spacetime dimensions with metric . For , the minimum is . The quadratic terms describe three massless gauge bosons and two complex scalars of mass , equivalently four real scalar degrees of freedom. These are the perturbative particle masses about this vacuum, without a claim about the nonperturbative asymptotic spectrum of an interacting non-Abelian theory.
Expanding the gauge covariant derivative with gives the interaction termsIn the second term, the antisymmetric part of vanishes against the symmetric gauge-field product. The corresponding Feynman diagram vertices have one vector and a scalar–antiscalar pair, two vectors and a scalar–antiscalar pair, or four scalar legs with two particles and two antiparticles. The first vertex carries a momentum difference from its derivative. The Pauli matrix in it determines which doublet components couple; the two-vector scalar vertex is proportional to . There is no cubic scalar interaction about the zero-field vacuum.
For , minimize the Higgs potential to obtain . In unitary gauge, the physical scalar fluctuation is real andComparing with and givesAll three gauge generators are broken by this complex doublet; this pure SU(2) model has no surviving massless photon. Three scalar angular degrees of freedom supply the longitudinal vector polarizations, leaving one real Higgs boson. The count is . The corresponding fundamental-doublet example also appears in Gauge Theory by David Tong.[ref]
Gauge Theory by David Tong. Section 2.7, example “SU(2) with Fundamental Matter”, Higgs-phase spectrum
The remaining interactions are , , and . They give vertices with two equal-species vector legs and one or two scalar legs, or three or four scalar legs, as drawn above. The coefficients in the Lagrangian must be differentiated with respect to identical fields when obtaining fully normalized Feynman rules; the written coefficients alone are not all the vertex factors.
The gauge fields require their own Yang-Mills Lagrangian, . The non-Abelian field strength contains a term quadratic in the gauge potentials, so squaring it produces three-vector and four-vector self-interaction vertices, with derivative momentum factors in the cubic vertex and SU(2) structure constants in both. They exist in either scalar phase and must be added to the scalar-generated vertices. A gauge-fixed quantum calculation also has gauge-fixing and, where applicable, ghost terms; those are not extra physical boson species.
For , the global phase transformation leaves both the scalar potential and the covariant kinetic term unchanged while leaving fixed. Its Noether charge counts scalar particles minus antiparticles. Thus and are compatible with this charge, whereas is forbidden: its initial charge is two and final charge zero. Charge conservation is necessary, not sufficient, for a particular amplitude to be nonzero; other quantum numbers and kinematics still apply.
After adding the hypercharge field, the neutral-vector mass term becomesIts mass matrix has zero determinant. With , the orthonormal combinations areThe unbroken generator is electric charge, , because the lower doublet component has and . The charged combinations keep mass .
The observed charged weak interaction couples left-chiral fermions within SU(2) doublets. In the Standard Model, and are doublets, while are singlets. A vectorlike assignment would also give right-handed charged weak currents, contrary to this observed chiral structure. Once the measured electric charges are specified, fixesAn optional right-handed neutrino is a singlet with . Conjugate left-chiral fields have the opposite hypercharges to these right-chiral fields. These assignments permit gauge-invariant Yukawa interactions; they are not obtained by assigning one common hypercharge to every chirality.
Write . Hermiticity converts its complex-conjugate factors into . Summing all external colors therefore givessince SU(3) has eight generators. This is a sum, before averaging the nine equally populated incoming color states.
For the spinor current, use , and the stated gamma-matrix adjoint identity:The spin sum completeness relation then closes each product of currents into a trace. Averaging two spins for each incoming quark, in addition to nine incoming colors, givesThe factor is , rather than : the latter omits the initial spin average.
To derive the four-gamma matrix trace, first anticommutation and cyclicity give , with . If , move successively through the next three matrices. The last term is by cyclicity, soSubstitution yieldsConsequently the first momentum trace is . Contracting both traces givesHere , and all external masses vanish. Thus the distinct-flavor quark scattering color factor givesWe used and . The forward divergence reflects massless -channel exchange in this parton-level tree approximation; it is not an unrestricted prediction for an experimentally resolved jet cross section.
Finally, completeness of the SU(3) generators gives the fundamental-generator Fierz identityFor each distinct pair , the allowed final colors are either , with coefficient , or , with coefficient . If , only is nonzero, with coefficient . These are 15 ordered configurations: six unchanged-color cases, six exchanged-color cases and three all-equal cases. Their squared coefficients sum to , independently checking the first result. Flavor remains tied to each external line; exchanging colors does not exchange the up and down quark species.
A bare Dirac mass couples left and right chirality, so the distinct electroweak representations prevent writing it as a gauge-invariant term before symmetry breaking. Instead the Yukawa interactions areWeak indices are contracted to singlets. Substituting the vacuum value gives mass matrices and a physical Higgs coupling plus its conjugate. Biunitary diagonalization defines mass eigenstates; a mismatch between the up- and down-quark left rotations appears in the CKM matrix. Gauge-boson masses arise from the Higgs kinetic term, whereas these fermion masses arise from the Yukawa term.
With only the minimal field content there is no right-handed neutrino, so no renormalizable neutrino Yukawa term. Adding a gauge-singlet permits both a Dirac scale and a Majorana scale . For one family the symmetric mass matrix in a left-chiral basis isIts signed eigenvalues are . Rephasing gives positive physical masses, and for the seesaw mechanism yieldsFor and , the light scale is about . Integrating out the heavy state generates the dimension-five Weinberg operator, whose Higgs vacuum insertion gives the same suppression. Alternatively a Dirac neutrino can have a very small Yukawa coupling with lepton number conserved. A tiny observed neutrino mass does not by itself distinguish these mechanisms.
In units , a dimensionless action fixes . Canonical kinetic terms then give , and . If an interaction operator has dimension , its coefficient has mass dimension . Thus scalar quartic, Yukawa and gauge couplings are dimensionless; a scalar cubic coupling has dimension one, a four-fermion coupling has dimension minus two, and the Weinberg coefficient has dimension minus one. These are engineering dimensions; anomalous scaling is an additional quantum effect.
For a connected graph with independent loop momenta, boson lines, fermion lines and derivatives at vertex , ordinary covariant-gauge ultraviolet counting gives the superficial degree of divergenceThe second form follows from and counting field ends at vertices. It presumes the canonical large-momentum propagators; unitary-gauge vector propagators can obscure the cancellations of a renormalizable gauge theory. A nonnegative signals a possible overall ultraviolet divergence, not proof of one. Symmetries can cancel it, while a graph with can still contain divergent subgraphs.
With only operators of dimension at most four, increasing the vertex count does not require counterterms of unbounded dimension. Subject to the necessary symmetry identities and absence of gauge anomalies, scalar quartic theory, Yukawa theories and the Standard Model are perturbatively renormalizable when all required interactions are included. In particular, coupling a scalar to other fields can require a scalar quartic counterterm even if its coefficient was initially set to zero. The Higgs mechanism does not destroy renormalizability of the underlying anomaly-free gauge theory.
By contrast, repeated insertions of the dimension-six Fermi interaction or a dimension-five operator allow increasingly high-dimensional counterterms. Such terms are useful in an effective field theory with a stated expansion in energy over a high scale; nonrenormalizable does not mean unpredictive at a fixed order. A scalar interaction and perturbative Einstein gravity in four dimensions provide other examples. Renormalizability also does not assert small coupling at every scale or a complete ultraviolet theory.
The SU(5) grand unified theory embeds the strong and electroweak groups in a single simple gauge group. Its 24 gauge generators contain the eight gluons, three weak generators and one hypercharge generator, plus twelve additional generators connecting color and weak directions. A common gauge coupling applies at the unification scale with the properly normalized hypercharge generator; low-energy couplings differ through their renormalization group evolution.
Using left-chiral fields throughout, one Standard Model generation fits intoThe dimensions are and , so no right-handed neutrino is required in these multiplets. A singlet neutrino can be added. A suitable adjoint scalar vacuum breaks SU(5) to the Standard Model subgroup; a fundamental scalar contains an electroweak doublet and a colored triplet. The extra heavy vector bosons can mediate transitions between quarks and leptons, hence proton decay in the minimal model. This is a proposed unification, not an experimentally established identification of new particles.
The hierarchy problem concerns keeping an elementary weak-scale scalar light in the presence of much heavier physical scales. A heavy state coupled to it generically induces a threshold correction of order , with a product of couplings. Without protection, a weak-scale result then needs cancellation against a much larger parameter. In SU(5), this is sharpened by doublet-triplet splitting: the electroweak doublet must stay light while its colored partner must be sufficiently heavy to avoid rapid proton decay. Choosing a small tree-level doublet mass is not by itself a mechanism protecting it from subsequent heavy-particle corrections. Supersymmetry and other proposals change this protection problem, but the minimal SU(5) embedding alone does not solve it.
Articles by others on the same topic
There are currently no matching articles.




