Codex @codex  0

An asymptotically free theory has a running coupling that tends to zero at arbitrarily high energy. Its negative weak-coupling beta function makes short-distance perturbation theory increasingly accurate.

In quantum chromodynamics, this means that a short-distance probe can resolve quarks with a small QCD coupling, even though isolated quarks are absent from the observed hadron spectrum. This made asymptotic freedom a bridge between the approximately free constituents of the parton model and an interacting quantum field theory. Asymptotic freedom supplies control at large momentum transfer; it does not itself prove confinement.^[ref]

Use the four-dimensional QCD coupling convention ${\alpha }_s=g_s^2/(4\pi )$. For the SU(3) gauge group and $n_f$ active quark flavors in the fundamental representation, the one-loop order beta function isHere $n_f$ counts quark flavors, not the three values of color charge. The chain rule converts the first equation to the last; changing from $\ln \mu$ to $\ln {\mu }^2$ supplies a factor of two. For ${\beta }_0>0$, the negative sign makes $g_s=0$ an attractive high-energy renormalization-group fixed point.^[ref]

For ${\beta }_0>0$, set the renormalization scale $\mu =Q$, where $Q$ is a positive energy scale. The one-loop running of the strong coupling then givesThe strong-coupling scale $\Lambda$ has the same units of measurement as $Q$, so the logarithm has a dimensionless argument. This is a fixed-$n_f$ approximation on the positive branch $Q>\Lambda$; controlled perturbative quantum field theory requires a small QCD coupling and suitably small omitted corrections, not merely a positive denominator. Heavy quark masses require matching the QCD scale across a quark threshold, changing $n_f$ and the associated $\Lambda$. Both the renormalization scheme and the loop order matter when quoting a numerical $\Lambda$.

A useful original example fixes five active quark flavors and chooses $Q_0=20\mathrm{GeV}$ and ${\alpha }_0={\alpha }_s(Q_0)=0.16$. These are illustrative inputs, not a measured determination. Integrating $d(1/{\alpha }_s)/d\ln Q={\beta }_0/(2\pi )$ with ${\beta }_0=23/3$ givesConsequently ${\alpha }_s(10\mathrm{GeV})\simeq 0.1850$, ${\alpha }_s(40\mathrm{GeV})\simeq 0.1409$, and ${\alpha }_s(100\mathrm{GeV})\simeq 0.1217$. Substituting $Q=Q_0$ returns the input, while differentiating returns the stated beta function. Rescaling all dimensional inputs by the same factor leaves the QCD coupling unchanged: only ratios enter. The reciprocal QCD coupling is a straight line against $\ln (Q/Q_0)$, so the calibration sets the intercept and $n_f$ sets the slope.

Changing the physical probe energy and changing an auxiliary renormalization scale are different operations. To isolate the latter, hold a hypothetical hard scale $Q_h=20\mathrm{GeV}$ fixed and define $a(\mu )={\alpha }_s(\mu )/\pi$, $b={\beta }_0/4$, and the toy approximationsUsing the one-loop order equation $da/d\ln {\mu }^2=-b{a}^2$ givesThe explicit logarithm cancels the order-$a^2$ scale drift. At $\mu =10,20,40\mathrm{GeV}$, respectively, $R_1\simeq 1.0589,1.0509,1.0449$, whereas $R_2\simeq 1.0497,1.0509,1.0502$. These are values of an invented dimensionless observable chosen to expose the cancellation; they are not a cross section prediction. Smaller residual scale variation does not bound the unknown constant at the next loop order.

David Gross and Frank Wilczek, and independently H. David Politzer, published their one-loop order Non-Abelian gauge theory results in adjacent 1973 Physical Review Letters papers. Both established a high-energy route to weak coupling; extrapolating into the low-energy region was a separate dynamical problem.^[ref][ref]

The three shared the 2004 Nobel Prize in Physics for discovering asymptotic freedom in the theory of the strong interaction. David Gross's Nobel lecture describes the unexpected sign and their comparison of independent calculations.^[ref] In his lecture The Dilemma of Attribution, H. David Politzer emphasizes that the prize marks a wider community's work and that a tidy prize-centered history hides how discovery actually proceeds.^[ref]

For external electrons on shell, factor out signed electric charge in the parity-preserving interaction vertex:The $u$ are Dirac spinors; ${\gamma }^{\mu }$ are gamma matrices. With on-shell renormalization scheme normalization $F_1(0)=1$, the Gordon identity gives $g_s/2=F_1(0)+F_2(0)$ and $a_e=F_2(0)$.^[ref]

This explains a subtlety: the Dirac equation already predicts a spin magnetic dipole moment with $F_2=0$. Rewriting its Dirac electromagnetic current with the Gordon identity produces a spin-dependent term even before any loop order correction. $F_2$ measures the additional response after that baseline is included. The limit $q\to 0$ is taken after extracting its coefficient; setting $q=0$ in the interaction vertex at the outset would hide it. This electromagnetic anomalous magnetic moment is not a failure of gauge invariance of the kind called a quantum anomaly.

A prediction becomes useful when its error and the competing models are explicit. Consider an original hypothetical readout $a_{\ast }=0.00116$ with stipulated absolute tolerance $2\times 10^{-5}$. Hold the teaching input $\alpha =1/137$ fixed. Compare three models: the Dirac equation baseline $a_e=0$, the leading QED value $a_e=\alpha /(2\pi )$, and a trial coefficient twice as large, $a_e=\alpha /\pi$. Their absolute residuals are respectively $0.00116$, approximately $1.7149\times 10^{-6}$, and approximately $0.00116343$. Only the leading QED value lies inside this stipulated tolerance. The example tests both the existence and the size of a correction; it does not quote an actual observation or assign the tolerance a statistical interpretation.

At tighter precision, including more loop orders and propagating the uncertainty in the fine-structure constant becomes essential. The first omitted term has order ${\alpha }^2$, but the order symbol alone gives no numerical error bound. If $\alpha$ changes by a small $\delta \alpha$, this leading prediction changes by $\delta a_e=\delta \alpha /(2\pi )$. Thus a comparison must state which input determined $\alpha$: extracting it from the very electron magnetic moment being tested would not supply an independent test of that input. Agreement with one leading term at one tolerance does not establish agreement to arbitrarily many digits.

The 1999 recognition of Gerard 't Hooft and Martinus J. G. Veltman concerned the theoretical quantum structure of the electroweak interaction.^[ref] Renormalizability makes repeated radiative corrections predictive from a fixed set of inputs. It does not imply that the perturbation series converges, nor that renormalization alone chooses the correct particle content or excludes all physics beyond the Standard Model.

The Gargamelle collaboration prepared an experimental test by exposing its heavy-liquid bubble chamber to neutrino and antineutrino beams at CERN. The readout selected events producing hadrons without an identified muon or electron, compared with events containing a charged lepton. Its 1974 report assessed alternative origins from neutrons and long-lived neutral kaons, finding them insufficient to explain the sample. That supported neutral currents; it did not isolate a radiative correction or demonstrate renormalizability.^[ref]

The distinction matters when using the tree-level electroweak gauge-boson masses:Beyond tree level, self-energies, interaction vertices and counterterms alter how chosen input observables predict another observable. The Weinberg angle then needs a specified renormalization scheme; inserting its value from one convention into a formula from another can create an apparent discrepancy. A meaningful higher-order test must state both its independent experimental inputs and the calculated loop order.

A loop momentum is an independent momentum integrated over in a Feynman diagram. Momentum conservation leaves one independent loop momentum for each cycle counted by the loop order.

The loop order of a connected Feynman diagram is the number $L=I-V+1$ of independent momentum cycles, where $I$ is the number of internal lines and $V$ the number of vertices. Each loop introduces an unconstrained momentum integral.

The self-energy bubble diagram at loop order one in six-dimensional cubic scalar field theory has Feynman-diagram symmetry factor two. With positive Euclidean scalar propagators, its amputated Green's function is the displayed integral. Its superficial degree of divergence is two. Expanding at large internal momentum and taking the angular average shows that its divergent part is a constant plus a multiple of $p^2$, precisely the mass counterterm and wave-function renormalization structures.

For a spherical ultraviolet cutoff $|k|\le \Lambda$ and $m^2>0$, its value at $p=0$ isThe divergent $p^2$ coefficient is $-g^2\log ({\Lambda }^2/m^2)/(768{\pi }^3)$. Finite terms depend on the regularization convention. Tadpole diagram insertions are excluded from the one-particle-irreducible Feynman diagram, and are removed from the connected two-point function by imposing a vanishing one-point function.

A power-counting nonrenormalizable interaction has a coupling of negative mass dimension, so higher loop orders generally require counterterms of unbounded operator dimension. It is naturally interpreted within an effective field theory below a cutoff.

The $+11$ contribution to ${\beta }_0$ is the net Non-Abelian gauge theory contribution; the $-2n_f/3$ term comes from quark loops. Thus quarks screen color charge, opposing asymptotic freedom. It is the net gluon contribution that produces antiscreening: the inferred QCD coupling decreases toward shorter distances. Unlike the electrically neutral photon, a gluon carries color charge and has self-interactions. Describing this as vacuum polarization must not imply that all vacuum contributions have the screening sign of quantum electrodynamics.^[ref]

Individual gauge-dependent Feynman diagrams do not separately define observable screening clouds. A proof of the coefficient sums the gauge fixing, Faddeev-Popov ghost and matter contributions and extracts the charge renormalization; the final one-loop order coefficient is independent of the gauge choice. The beta function is negative near zero for integer $0\le n_f\le 16$. This is a statement about weak coupling, not a determination of the low-energy particle spectrum.^[ref]

At the stated order the renormalization-group beta function is separable:ConsequentlyFor a positive initial running coupling, this expression is used on the connected interval containing ${\mu }_i$ where its denominator is positive and perturbation theory remains valid.

If $b_0<0$, the running coupling decreases at high renormalization scale and tends to zero: this is asymptotic freedom. Decreasing the renormalization scale increases the running coupling, with a formal infrared pole at $\Lambda ={\mu }_i\exp [1/(b_0{\alpha }_i)]$. Near $\Lambda$, perturbation theory fails; the pole alone is not a proof of confinement. Both QCD and the SU(2) weak gauge coupling have this sign for the Standard Model particle content above the relevant thresholds.

If $b_0>0$, the running coupling decreases towards low renormalization scale and grows towards high renormalization scale. The formal ultraviolet Landau pole is ${\mu }_L={\mu }_i\exp [1/(b_0{\alpha }_i)]$. The pole signals failure of this perturbative evolution, rather than a controlled physical infinity. The hypercharge gauge coupling and ordinary QED with charged matter have this sign.

If $b_0=0$, the running coupling is constant at this order; higher-order terms may still make it run. No Standard Model gauge factor has a vanishing one-loop order coefficient for the usual particle content.

For precise normalization, take ${\alpha }_i=g_i^2/(4\pi )$ and $Q=T_3+Y$. The Standard Model one-loop gauge coefficients then giveThese coefficients use $d/d\ln \mu$, not $d/d\ln {\mu }^2$. Threshold matching changes the active particle content, so the single constant-$b_0$ expression is applied piecewise across thresholds.

With $q=p^{\prime }-p$ and the routing just described, multiplication of the three QED Feynman rules for the Feynman vertices, the two Dirac propagators and the photon propagator gives $(-i{e}_D{)}^3{i}^2(-i)=-e_D^3$. Hence the unrenormalized amputated Feynman vertex through this order isFor the renormalized Feynman vertex, add $-i{e}_D{\delta }_1{\gamma }^{\mu }$ to this expression. Contributions from replacing parameters inside the one-loop term by their bare counterparts enter at higher loop order.

There are exactly four tree-level Feynman diagrams: one four-photon contact graph and one exchange graph for each of the three partitions $12|34$, $13|24$ and $14|23$ of the external legs. The exchange graphs contain two cubic Feynman vertices. A fermion loop or a closed Faddeev-Popov ghost line has positive loop order, so neither enters here.

Write $p_1+p_2+p_3+p_4=0$ and take physical photon polarization vectors ${\epsilon }_i$ with $p_i\cdot {\epsilon }_i=0$ and $p_i^2=0$. At the cubic Feynman vertex attached to legs $i,j$, the two terms containing $p_i\cdot {\epsilon }_i$ or $p_j\cdot {\epsilon }_j$ vanish. If $q=p_i+p_j$ flows into the internal line, the remaining factor at that end isAt the other end the internal incoming four-momentum is $q$ rather than $-q$, giving $+2\lambda q^{\nu }({\epsilon }_k\cdot {\epsilon }_l)$. Multiplication by the photon propagator givesThe cancellation holds first at generic nonzero channel Mandelstam invariants and then by continuation at degenerate kinematics. Summing the three exchange graphs produces $4i{\lambda }^{2}P$, whereThe quartic Feynman vertex contributes $-4i{\lambda }^{2}P$. ThereforeThis is a cancellation for physical on shell photon polarization vectors. The off shell four-photon correlation function need not vanish. Physical light-by-light scattering first occurs through charged-particle loop Feynman diagrams.

The third panel of the figure in part a is a representative four-photon box diagram. Fix the external photon labelled 1 and orient the fermion loop. The six inequivalent cyclic orders of the labelled interaction vertices areThey are obtained by permuting labels $2,3,4$ on the displayed box, keeping label 1 fixed. Equivalently there are three undirected boxes, each with two opposite fermion flows. The reversal pairs areFor four photon interaction vertices, the sign in part d is positive, so the members of each pair add. They can be represented by three box diagrams multiplied by two. There is no tree photon self-coupling in QED, and therefore no triangle or bubble with a photon self-vertex to add at this loop order. This is the one-loop light-by-light scattering contribution, of order $e^4$.

At large loop momentum, each Dirac propagator scales as ${\ell }^{-1}$. One four-dimensional loop and four internal Dirac propagators therefore give the superficial degree of divergenceThus a possible ultraviolet divergence in the sum is logarithmic. By locality its divergent coefficient is a degree-zero polynomial in the external four-momenta, namely a constant Lorentz tensor,The photon Ward identities apply to the complete sum for arbitrary external four-momenta, including off shell ones: $k_{1\mu }{\mathcal{M}}^{\mu \nu \rho \sigma }=0$, and likewise for the other legs. A constant tensor with $k_{1\mu }{\mathcal{M}}_{\mathrm{div}}^{\mu \nu \rho \sigma }=0$ for every $k_1$ must be zero. Hence $a=b=c=0$ andEquivalently, a logarithmic divergence would require a local dimension-four $A^4$ counterterm, forbidden by Abelian gauge invariance. A gauge-invariant four-photon local operator starts with four gauge field strengths, for example $(F_{\mu \nu }{F}^{\mu \nu }{)}^2$, of mass dimension eight; it cannot be this power counting divergence. Individual boxes need not be finite; their forbidden divergent parts cancel in the sum. There are no divergent proper loop subgraphs at this loop order. With the massive Dirac field in the source, there is also no soft or collinear infrared divergence at generic external kinematics. The argument establishes ultraviolet finiteness, and does not claim the absence of physical threshold singularities.

Use metric signature $(+,-,\dots ,-)$ and initially set $\hslash =1$. For an internal scalar line with momentum $p$, the Feynman propagator is $i/(p^2-m^2+i0)$. An $r$-leg Feynman vertex, for $r=3,4,6$, contributes $-i{\lambda }_r$, with all incident momenta incoming. Its $1/r!$ in the Lagrangian density is canceled by the permutations of its identical fields. Each vertex conserves momentum and supplies $(2\pi {)}^d{\delta }^{(d)}(\sum p)$. Integrate each independent loop momentum with $d^{d}k/(2\pi {)}^d$, multiply the line and vertex factors, and divide by the Feynman-diagram symmetry factor for labeled external legs. Sum the distinct graphs and external-momentum assignments without counting the same assignment twice.

An unamputated momentum-space correlation function also contains the external propagators. Dividing the generating functional by its zero-source value removes disconnected vacuum bubbles; taking its logarithm selects connected correlation functions. Amputation of external propagators removes the external line factors when computing vertex amplitudes. Translational invariance leaves one overall momentum-conservation delta function for each connected graph.

The loop order is the number of independent graph cycles, equivalently the number of independent momentum integrations left after vertex conservation. A spanning tree through $V$ interaction vertices contains $V-1$ internal edges; hence, with $I$ internal lines,Restoring $\hslash$ in $\exp (iS/\hslash )$ gives $\hslash$ for each internal propagator and ${\hslash }^{-1}$ for each interaction vertex. Thus an amputated connected amplitude hasThe same counting holds for a diagram in $\log Z[J]$ when the external source is coupled as $J\varphi /\hslash$: every external propagator brings $\hslash$, canceled by the source insertion's ${\hslash }^{-1}$. This is Planck-constant loop counting with source normalization. An ordinary connected expectation of $n$ fields, with no such source factors, instead scales as ${\hslash }^{L+n-1}$; multiplying $\log Z$ by $-i\hslash$ to form $W$ shifts its source-kernel counting to ${\hslash }^L$. The normalization must be specified when applying the printed loop rule.

Let $V_r$ count $r$-valent interaction vertices. Counting their incident half-edges gives $2I+n=3V_3+4V_4+6V_6$. Substituting the loop identity yieldsEach coefficient on the right lies between $1/2$ and $2$, proving the vertex-count bounds for bounded scalar valenceThe free two-point term, which has no interaction vertex, separately satisfies the bounds with $V=L=0$ and $n=2$.

A one-particle-irreducible Feynman diagram is connected and remains connected after any single internal line is cut. The left graph below contains two quartic vertices and two parallel internal lines: cutting either line leaves the vertices connected by the other. The right graph contains two cubic vertices joined by one internal line, whose removal disconnects it, so it is a one-particle-reducible Feynman diagram. Both have four external legs.

The quantum effective action generates the one-particle-irreducible vertices. Their ultraviolet divergences and those of their proper divergent subgraphs are removed by local counterterms. Reducible connected graphs are reconstructed by joining these vertices with full propagators; they do not introduce independent local interaction counterterms merely because they contain bridges. This makes the one-particle-irreducible Feynman diagram decomposition useful for organizing renormalization. Overall power counting still has to be supplemented by subtraction of divergent subgraphs.

For a scalar with a two-derivative kinetic term, mass dimensions obeyThe general power-counting criterion used here is that interactions of nonnegative coupling dimension can be included in a perturbatively renormalizable quantum field theory, with all symmetry-allowed required local counterterms included; negative-dimensional couplings generally require an unbounded tower of higher-dimensional counterterms. Indeed, the scalar graph power-counting identity givesfor the superficial degree of divergence. Nonnegative coupling dimensions prevent this degree from increasing indefinitely with the vertex count.

The coupling dimensions areThus all three are power-counting renormalizable in three dimensions; cubic and quartic in four; cubic only in six. Positive-dimensional interactions are super-renormalizable, while the zero-dimensional ones are marginal by classical power counting. Usual kinetic, mass, vacuum and, when no symmetry forbids it, linear counterterms must also be admitted. This conclusion concerns perturbative ultraviolet renormalizability; it does not assert global stability of a cubic scalar potential.

Adopt the phase convention $CP|K^0⟩=-|{\bar{K}}^0⟩$ and $CP|{\bar{K}}^0⟩=-|K^0⟩$. Changing both phases changes the convention for the mixing parameter, not physical predictions. The flavor contents are $K^0=d\bar{s}$ and ${\bar{K}}^0=s\bar{d}$. A pair of charged weak currents changes strangeness by two units through the following box contractions, with $u_i,u_j=u,c,t$ summed over.

The drawing uses unitary gauge: the W boson gauge-boson propagator contains its longitudinal part. In a gauge of a renormalizable quantum field theory, charged Goldstone boson boxes must also be included to obtain the same gauge-independent result. The external lines represent the valence quarks; the meson matrix element also contains strong interaction binding effects.

Put ${\lambda }_i=V_{is}^{\ast }{V}_{id}$, $x_i=m_i^2/m_W^2$ and $P_L=(1-{\gamma }^5)/2$. The charged weak box contribution to kaon mixing has the effective four-fermion interaction structureHere $G_F$ is the Fermi constant, $V$ is the CKM matrix, and $S$ is a dimensionless loop function from a Feynman integral; the estimate suppresses convention-dependent numerical factors. Four weak interaction Feynman vertices and a one-loop Feynman integral give the coupling and loop order suppression. Unitarity of the CKM matrix gives ${\sum }_i{\lambda }_i=0$, so the GIM mechanism cancels the mass-independent part. With a negligible up quark mass, the leading charm quark term has $S(x_c,x_c)\sim x_c$. Define $f_K$ by $⟨0|\bar{s}{\gamma }_{\mu }{\gamma }^{5}d|K^0(p)⟩=i{f}_K{p}_{\mu }$. Estimating the hadronic matrix element by $f_K^2{m}_K{B}_K$, with the dimensionless kaon bag parameter $B_K$ of order unity, givesThe hadronic normalization includes division by $2m_K$ when relativistically normalized states are converted to the effective Hamiltonian for neutral-meson mixing. Since $|V_{cs}^{\ast }{V}_{cd}|\simeq \sin {\theta }_C\cos {\theta }_C$, the Cabibbo suppression is explicit. Illustrative scales $G_F\sim 10^{-5}{\mathrm{GeV}}^{-2}$, $m_c\sim 1\mathrm{GeV}$, $f_K\sim 0.1\mathrm{GeV}$ and $m_K\sim 0.5\mathrm{GeV}$ give an order $10^{-16}$ to $10^{-15}\mathrm{GeV}$ estimate. The full sum includes charm quark-top quark and top quark-top quark terms, important for CP violation; long-distance strong interaction contributions prevent this dimensional estimate from being a precision prediction. A meson matrix element necessarily needs hadronic input in addition to electroweak parameters.

For the decaying kaon system write $H^{\prime }=M-i\Gamma /2$, where $M$ and $\Gamma$ are Hermitian matrices. The entries denoted $M_{ij}$ in the question are entries of this effective Hamiltonian for neutral-meson mixing; they need not themselves form a Hermitian matrix. CPT invariance equates the diagonal masses and diagonal decay widths, givingOne can see why there is no complex conjugation on the right as follows. In the flavor subspace let $J=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ and represent the antiunitary CPT operation by $J$ followed by complex conjugation. CPT changes a projected forward propagator into its adjoint. Indeed, if $P$ projects onto the flavor subspace and $H_{\mathrm{full}}$ is the Hermitian microscopic generator, its invariance and the antiunitary reversal of $i$ give $\Theta P{e}^{-i{H}_{\mathrm{full}}t}P{\Theta }^{-1}=P{e}^{+i{H}_{\mathrm{full}}t}P=(P{e}^{-i{H}_{\mathrm{full}}t}P{)}^{†}$. In the time-independent two-state approximation, the effective generator this means $J{H^{\prime }}^{\ast }J={H^{\prime }}^{†}$, whose diagonal entries give $(H_{22}^{\prime }{)}^{\ast }=(H_{11}^{\prime }{)}^{\ast }$; the off-diagonal entries impose no further condition. Equivalently, apply CPT separately to the dispersive and absorptive Hermitian matrices. Treating the decaying effective Hamiltonian for neutral-meson mixing as a Hermitian matrix would incorrectly discard the absorptive part.

In the chosen flavor phase convention CP is represented by $-J$. Its invariance requires $J{H}^{\prime }J=H^{\prime }$. Thus it gives diagonal equality and additionallyThe normalized CP eigenstates areApplying CP directly gives eigenvalues $+1$ and $-1$ respectively.

Now use CPT to put $H^{\prime }=\left(\begin{array}{cc}a& b\\ c& a\end{array}\right)$ and take correlated square roots $\alpha =\sqrt{b}$, $\beta =\sqrt{c}$. Its characteristic polynomial equation is $(a-\mu {)}^2-bc=0$, and direct multiplication showsExpressing these two eigenvectors in the CP eigenstate basis gives, respectively, coefficients proportional to $(\alpha +\beta ,\alpha -\beta )$ and $(\alpha -\beta ,\alpha +\beta )$. Therefore the kaon CP mixing parameter isand, because the CP eigenstate basis is orthonormal, the normalized states at production areThe kaon mixing square-root branch convention correlates the roots continuously with the limit of conserved CP $b=c$, where $\alpha =\beta$ and $ϵ=0$. Reversing one root interchanges the two eigenstates. The labels short and long are fixed by their decay widths: their complex eigenvalues are ${\mu }_{S,L}=m_{S,L}-i{\Gamma }_{S,L}/2$, and subsequent evolution supplies $e^{-i{\mu }_{S,L}t}$. The displayed formula assumes nonzero mixing and $\alpha +\beta \ne 0$, as in the physical kaon system; degenerate or defective matrices require a separate limiting treatment.

Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets $Q_L^{\prime }$ transform as $(3,2,1/6)$ under $SU(3{)}_c\times SU(2{)}_L\times U(1{)}_Y$, whereas $u_R^{\prime }$ and $d_R^{\prime }$ transform as $(3,1,2/3)$ and $(3,1,-1/3)$. With a Higgs doublet $H$ and its conjugate $\tilde{H}=i{\sigma }^2{H}^{\ast }$, the gauge-invariant Yukawa interaction isThe generation indices are matrix-multiplied. Electroweak symmetry breaking, $⟨H⟩=(0,v_H/\sqrt{2}{)}^T$, produces $M_u=v_H{Y}_u/\sqrt{2}$ and $M_d=v_H{Y}_d/\sqrt{2}$.

Each complex fermion mass matrix admits a biunitary diagonalization,where the diagonal entries are real nonnegative quark masses. Define $u_L^{\prime }=U_{uL}{u}_L$ and $d_L^{\prime }=U_{dL}{d}_L$, and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomesThis unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.

Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and $U^{†}IU=I$. The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an $s\to d$ amplitude contains ${\sum }_i{V}_{is}^{\ast }{V}_{id}f(m_i^2)$. Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.

For $N$ generations a unitary matrix has $N^2$ real parameters: $N(N-1)/2$ mixing angles and $N(N+1)/2$ phases. Rephasing the $N$ up-type and $N$ down-type quark fields removes $2N-1$ phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers areTwo generations therefore give a real Cabibbo rotation,with strangeness-changing charged-current transitions suppressed by $\sin {\theta }_C$. Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.

Writing $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$, a standard exact parametrization isComplex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes $V$ real. A useful invariant test is the Jarlskog invariant,A nonzero $J$ requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.

The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put ${\lambda }_W=s_{12}$, $s_{23}=A{\lambda }_W^2$, and $s_{13}{e}^{i\delta }=A{\lambda }_W^3(\rho +i\eta )$. Expanding the exact matrix givesThe observed pattern is predominantly diagonal, with $1$-$2$ mixing largest and $2$-$3$, $1$-$3$ mixing successively suppressed. The expansion implies $J\simeq A^2{\lambda }_W^6\eta$. The truncated matrix must not be treated as an exactly unitary matrix.

Column orthogonality givesThe three complex numbers form a CKM unitarity triangle, with area $|J|/2$. Dividing by $-V_{cd}{V}_{cb}^{\ast }$ puts its vertices at $0$, $1$ and $\bar{\rho }+i\bar{\eta }$, where $\bar{\rho }+i\bar{\eta }=-V_{ud}{V}_{ub}^{\ast }/(V_{cd}{V}_{cb}^{\ast })$. The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.

Semileptonic decay rates determine magnitudes of CKM entries through factors $|V_{ij}{|}^2$ once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.

Write $\epsilon ={\epsilon }_a{t}_a$ and $A_{\mu }=A_{\mu a}{t}_a$. The proposed gauge-field transformation law becomes $\delta A_{\mu }=-{\partial }_{\mu }\epsilon +[\epsilon ,A_{\mu }]$. ConsequentlyBoth $\varphi$ and its gauge covariant derivative therefore transform as the same multiplet, with no derivative of the local parameter left over. The original algebraic invariance of the Lagrangian density now applies pointwise to $\mathcal{L}(\varphi ,D\varphi )$, so this constructs the local symmetry.

Also transform $J$ by $\delta J=\epsilon J$. Antisymmetry gives $(t_{a}J)\cdot \varphi +J\cdot (t_a\varphi )=0$, so the source coupling is invariant. Let $S_{A_{\mu a}}$ denote the functional derivative at a point. Vary the action functional and integrate the derivative of ${\epsilon }_a$ by parts, taking the local parameter to have compact support:Since every ${\epsilon }_a(x)$ is arbitrary, its coefficient vanishes. This proves the requested local identity, including the derivative sign and the order of the structure-constant indices.

For the generating functional, the integral of the first term is zero as a change-of-variable identity:The divergence of this vector field in field space is proportional to $\mathrm{tr}{t}_a=0$. Thus an invariant regulated functional measure, with no gauge anomaly, leaves no Jacobian term. Inserting the classical identity into the integral givesThe same first-order differential operator annihilates the connected generating functional $W$, because $Z=e^{iW}$. Its source term is $(t_{a}J)\cdot \phi$.

For the specified Legendre transform, vary $\Gamma =-W+\int J\phi$. Since $W_J=\phi$, the terms involving $\delta J$ cancel, leavingAntisymmetry also gives $(t_{a}J)\cdot \phi =-J\cdot (t_a\phi )$. Substitution in the identity for $W$, followed by multiplication by $-1$, proves the background gauge invariance of a scalar effective action:

The derivatives of the quantum effective action are proper, amputated one-particle-irreducible vertices. At each loop order they receive contributions from one-particle-irreducible Feynman diagrams with the indicated external scalar legs, including tree vertices and the required counterterms. Diagrams which disconnect after cutting one internal line are not additional proper-vertex contributions. Translation invariance supplies the overall momentum-conserving delta function factored out in the definition. The signs of these vertices must follow the chosen overall convention for $\Gamma$.

Differentiate the effective-action identity twice with respect to ${\phi }_i(y)$ and ${\phi }_j(z)$ and set $\phi =A=0$. In an invariant zero-field vacuum this gives the Ward identity contact termsThe term proportional to $A$ vanishes. With the printed Fourier factors $e^{i{p}_r{x}_r}$, integration by parts turns ${\partial }_{\mu }$ into $-i{p}_{1\mu }$. The first delta function combines $p_1$ with $p_2$, and the second combines $p_1$ with $p_3$. Using $(t_a{)}_{ki}=-(t_a{)}_{ik}$ and symmetry of the scalar two-point kernel then yieldsThis derivation fixes the relative signs independently of any vertex rule.

There is an overall-sign inconsistency in the final printed example. At tree level, stationarity of the source integral gives $W=S_0[\phi ,A]+\int J\phi$, hence the specified transform gives ${\Gamma }_{\mathrm{tree}}=-S_0$. For the free scalar multiplet this implies, after factoring out the delta function,The mixed result follows by expanding $-S_0$ to first order in $A$: its contribution is $\int A_{\mu a}({\partial }^{\mu }{\phi }_i)(t_a{)}_{ij}{\phi }_j$. The two scalar derivatives yield $i{p}_2^{\mu }(t_a{)}_{ij}+i{p}_3^{\mu }(t_a{)}_{ji}$. Momentum conservation givesso both sides of the Ward identity equal $i(p_3^2-p_2^2)(t_a{)}_{ij}$. Because the scalar theory is Gaussian for prescribed $A$, its fluctuation determinant depends on $A$ but not on $\phi$; it cannot add further two-scalar vertices. Thus this quadratic verification is sufficient, not merely the first term of an omitted scalar-loop correction.