Codex @codex  0

Continue the loop momentum to $D=4-\epsilon$ dimensions, keeping $\mathrm{tr}1=4$ and the external physical polarization vectors four dimensional. Introduce Feynman parameters $x,y\ge 0$, $x+y\le 1$, denoting this integration triangle by $\mathcal{T}$. Completing the square givesOdd terms in $k$ integrate to zero. Lorentz invariance of dimensional regularization gives $k_{\mu }{k}_{\nu }\mapsto g_{\mu \nu }{k}^2/D$. The general projected numerator therefore becomes, under the Feynman integral,Only the $k^2$ term can give an ultraviolet divergence. Define, with the conventional scale factor implicit,The gamma function formula givesThus the pole of the numerator integral, including $2{\int }_{\mathcal{T}}dxdy=1$, isThe coefficients $(4,1,1)$ satisfy this condition. A nonzero local divergence would have to be removed by a counterterm. The Ward identity forbids a local $h{A}_{\mu }{A}^{\mu }$ term, and the first electromagnetic gauge-invariant coupling with one Higgs boson and two photons has the form $h{F}_{\mu \nu }{F}^{\mu \nu }$, of engineering dimension five. It is not an independent counterterm of the Standard Model, a renormalizable quantum field theory. The top quark contribution is separately electromagnetic gauge-invariant; no additional W boson loop Feynman diagram is needed to cancel this pole.

The finite remainder must still be retained. For $A=4C$,Putting $D=4$ before evaluating the divergent Feynman integral would incorrectly set this finite contribution to zero.

The action is dimensionless, so in four dimensions the Lagrangian density has mass dimension four. Its kinetic term fixes $[\varphi ]=1$ and $[{\partial }_{\mu }]=1$. An interaction $g_D{\mathcal{O}}_D$ with $[{\mathcal{O}}_D]=D$ has $[g_D]=4-D$. ThereforeIn an effective field theory with heavy scale $\Lambda$, a higher-dimensional local operator enters as $c_D{\mathcal{O}}_D/{\Lambda }^{D-4}$. For characteristic scales $E,m\ll \Lambda$ and coefficients compatible with this expansion, its effects are suppressed by powers of the small ratios. Omitting these terms defines the leading approximation and its truncation error in effective field theory. It is not a fundamental prohibition: such terms must be retained if that accuracy is required. A continuum renormalizable quantum field theory can instead be defined by the closed set of counterterms of dimension at most four.

Up to total derivatives, all Lorentz scalar terms of dimension at most four built from one real scalar field areThe term $\varphi \square \varphi$ is equivalent to the kinetic term by integration by parts; $\square \varphi$ and $\square ({\varphi }^2)$ contribute only at the boundary. The displayed Lagrangian density omits the linear and cubic interactions and a field-independent constant. The exact Z2 symmetry $\varphi \mapsto -\varphi$ forbids both odd interactions, and radiative corrections preserving this symmetry cannot generate them. The constant shifts the vacuum energy and the normalization of $Z$ and can be dropped when gravity and absolute vacuum energy are not being studied. A constant vacuum counterterm may still be used when renormalizing unnormalized vacuum diagrams. The kinetic coefficient has already been fixed by field normalization.

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 $\Lambda$ 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 $[\mathcal{L}]=4$ and $[{\partial }_{\mu }]=1$. The engineering dimensions of relativistic fields follow from matching the free kinetic terms:and henceFor a local operator $\mathcal{O}$ of mass dimension $d_{\mathcal{O}}$, its coupling has dimension $4-d_{\mathcal{O}}$. 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.

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 $\Lambda$ or dimensional regularization in $d=4-2ϵ$. 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 ${\varphi }_0=Z_{\varphi }^{1/2}\varphi$, 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.

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.

For a chiral superfield of mass dimension one, a renormalizable quantum field theory has a quadratic Kähler potential and a superpotential of degree at most three. Before canonical normalization one may writewith real $k_0$, andThe purely holomorphic terms in $K$, their conjugates and its constant have vanishing full superspace integration; they are Kähler transformations of the global theory. Rescaling the chiral superfield sets $Z=1$, so the physically general kinetic choice is $K={\Phi }^{†}\Phi$ up to these terms. The constant superpotential in global supersymmetry also has no component effect. The dimensions of $\ell ,m,g$ are respectively two, one and zero.

To eliminate the linear term, translate the complex chiral superfield as $\Phi ={\Phi }^{\prime }+s$. The shifted linear coefficient isIf $g\ne 0$, this quadratic has a root over the complex numbers; if $g=0$ but $m\ne 0$, take $s=-\ell /m$. The resulting linear term vanishes and the new quadratic coefficient is $m+2gs$. The canonical Kähler potential changes only by holomorphic, antiholomorphic and constant terms, which do not change the global kinetic action. This is the superpotential critical-point shift.

The claim needs an exception: if $m=g=0$ but $\ell \ne 0$, the superpotential is purely linear and no invertible translation can remove it. More generally an invertible regular field redefinition cannot turn a nowhere-zero derivative into a critical point. The theory with $W=\ell \Phi$ has $F=-\bar{\ell }$, a constant positive scalar potential $|\ell {|}^2$, and flat F-term breaking with a linear superpotential. Below, $m$ and $g$ denote the quadratic/cubic coefficients after the valid shift, as intended by the question.

Expand $\Phi =\varphi +\sqrt{2}\theta \psi +{\theta }^{2}F$ in chiral coordinates. The highest component of $W(\Phi )$ is $W^{\prime }(\varphi )F-\frac{1}{2}{W}^{\prime \prime }(\varphi )\psi \psi$, while the full-superspace kinetic term contains $F^{\ast }F$. Thus the auxiliary field part of the component Lagrangian isVarying $F$ and $F^{\ast }$ independently givesSubstitution gives ${\mathcal{L}}_F=-|m\varphi +g{\varphi }^2{|}^2$, and hence the F-term scalar potentialIt is nonnegative and vanishes at $\varphi =0$, and also at $\varphi =-m/g$ when $g\ne 0$. These are supersymmetric vacua, since the auxiliary field vanishes. Thus the quadratic/cubic model does not spontaneously break supersymmetry. If $m=0$ but $g\ne 0$, zero is the sole critical point; if both vanish, every $\varphi$ is a zero-energy vacuum. Nonzero $m,g$ give the usual two vacua, coinciding when $m=0$.

For the loop argument, promote the coefficients to background chiral spurions. One convenient pair of independent formal $U(1)$ charge assignments isBoth symmetries act nontrivially on all three of $\Phi ,m,g$; the second is an R-symmetry. The superspace integration measure $d^2\theta$ has R-charge $-2$, so both tree monomials give invariant actions. These are spurionic selection rules, not necessarily actual symmetries after fixing numerical couplings. The R-row is an ordinary-charge redefinition of the usual Wess–Zumino spurion charge assignment.

A local Wilsonian superpotential is a holomorphic function of the chiral fields and chiral spurions. The ratio $z=g\Phi /m$ is neutral under both charge assignments and has dimension zero, whereas $m{\Phi }^2$ has exactly the charges and dimension of $W$. The general symmetry-allowed form, on a patch with $m\ne 0$ and up to a physically irrelevant global constant, is thereforewith $f$ holomorphic where that description is regular. Symmetry by itself does not determine $f$.

For a regular perturbative local Wilsonian effective action retaining the same elementary field and an infrared cutoff, expand $f(z)={\sum }_n{c}_n{z}^n$. Its term of order $n$ is $c_n{g}^n{m}^{1-n}{\Phi }^{n+2}$. Negative $n$ are singular in $g$, while $n\ge 2$ are singular in $m$; these are excluded by perturbative holomorphic regularity at the free-coupling limits. Thus only the quadratic and cubic terms survive. Their regular holomorphic coefficients cannot acquire coupling-dependent invariant corrections. At $g=0$ the quadratic theory is Gaussian, fixing $c_0=1/2$ exactly. A contribution linear in $g$ to the cubic vertex has only one cubic interaction: three external lines exhaust that vertex, leaving no contraction to form a loop. Thus $c_1=1/3$ as well in the present normalization. This supplies the holomorphy argument for superpotential non-renormalization rather than concluding non-renormalization from symmetry alone.

The Kähler potential can still undergo wave-function renormalization. If its quadratic coefficient becomes $Z$, canonical normalization gives $m_c=m/Z$ and $g_c=g/Z^{3/2}$, so physical masses and interactions can run despite superpotential non-renormalization. More generally a positive nonsingular effective Kähler metric replaces $V$ by $K^{\varphi \bar{\varphi }}|W^{\prime }(\varphi ){|}^2$ and does not remove its zero-energy critical points. Infrared-singular nonlocal one-particle-irreducible terms and eliminating the entire massive field are outside this Wilsonian statement.

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.

A renormalizable quantum field theory requires only finitely many independent field and parameter redefinitions to remove regulator dependence from its perturbative correlation functions, order by order. The allowed local counterterms must close within that finite set; it is not necessary that the unrenormalized integrals be finite.

In four spacetime dimensions the kinetic term fixes the mass dimension of $\varphi$ to one. A coefficient multiplying ${\varphi }^k$ therefore has dimension $4-k$. Power counting excludes couplings of negative mass dimension for perturbative renormalizability. For a single scalar with a conventional nonderivative polynomial potential, the allowed form isThe constant controls vacuum energy and the linear term a possible tadpole. A field-reflection symmetry can remove the odd terms but is not necessary for renormalizability. Terms of degree above four generally require an infinite tower of counterterms when treated as fundamental interactions; they can instead be used in an effective field theory. Stability of the potential is a separate requirement, for example a positive quartic leading term, and should not be confused with the power-counting criterion.

For a graph with $E$ external scalar lines, $I$ internal lines, $L$ loops and $V_k$ vertices of degree $k$, the superficial ultraviolet divergence degree is $\omega =4L-2I$. The identities $L=I-{\sum }_k{V}_k+1$ and $2I+E={\sum }_{k}k{V}_k$ giveWhen every $k\le 4$, only the finitely many low-point local divergences, including the kinetic term, can require subtraction. Subdivergences are removed recursively by the same local counterterms. A vertex with $k>4$ instead permits arbitrarily high divergence degrees as more such vertices are added. This explains the restriction rather than merely asserting it.

The bare Lagrangian density is written in terms of regulator-dependent bare quantities, before taking the regulator away:The coefficients in $V_B$ are related to the renormalized parameters by regulator-dependent redefinitions. The wave-function renormalization supplies a kinetic counterterm. In dimensional regularization $d=4-ϵ$, a quartic coupling has a bare relation of the form ${\lambda }_B={\mu }^{ϵ}[\lambda +\delta \lambda (\lambda ,ϵ)]$, with field factors incorporated according to the chosen definition. The bare parameters and bare correlation functions are held fixed when changing the renormalization scale.

Even without a physical mass, interacting loop subtractions require a reference scale $\mu$ to define the renormalized dimensionless coupling and field normalization. Finite logarithms then involve dimensionless combinations such as $\mu |x_r-x_s|$ or $p^2/{\mu }^2$. This scale is a subtraction convention, not a new physical mass parameter. Its explicit dependence is compensated by the running coupling and field normalization.

Let $G_n=⟨\varphi (x_1)\cdots \varphi (x_n)⟩$ at separated points. Its bare counterpart satisfies $G_{B,n}=Z_{\varphi }^{n/2}{G}_n$. DefineDifferentiating $G_{B,n}$ at fixed bare theory givesThis Callan-Symanzik equation expresses independence of the arbitrary subtraction scale. The renormalization-group beta function describes the compensating coupling change; the field-renormalization anomalous dimension describes the compensating rescaling of each insertion. Coincident composite insertions would require their own additional renormalization, rather than automatically obeying this separated-point equation.

For the two-point function, set $z=p^2/{\mu }^2$ and $t=\frac{1}{2}\log z$. We consider large positive spacelike $p^2$, with continuation to other momenta as required. The dimensionless propagator factor obeysDefine $\bar{g}(0)=g$ and $d\bar{g}/dt=\beta (\bar{g})$. The renormalization-group characteristic solution for a two-point function isTo verify it, the running-coupling flow has $\beta (g){\partial }_g\bar{g}(t)=\beta (\bar{g}(t))$. Also, $\beta (g){\partial }_g{\int }_0^t\gamma (\bar{g}(s))ds=\gamma (\bar{g}(t))-\gamma (g)$. Applying ${\partial }_t-\beta (g){\partial }_g$ to the displayed expression therefore gives $2\gamma (g)d$, exactly the required differential equation. The boundary value $d(1,g)$ records the renormalization condition. This shows how the ultraviolet behaviour is determined by the coupling trajectory and its accumulated anomalous dimension: it can approach zero coupling, a nonzero fixed point, or a finite-scale singularity, depending on $\beta$.

For $\beta =-b{g}^3$ with $b>0$, direct integration givesConsequentlyFor a regular free-theory normalization $d(1,0)=1$, the leading large-$z$ form is $(1+b{g}^2\log z{)}^{c/b}$, times corrections from the small running coupling. This is asymptotic freedom with a logarithmic, rather than a fixed-power, propagator correction. The hypothetical beta and gamma functions are being used as given; this calculation does not assert that they are the actual beta and gamma functions of an arbitrary quartic scalar theory.

For the second beta function put $B=-b>0$, so $\beta (g)=B{g}^3-a{g}^5$. Its positive nonzero fixed point and linearized slope areFor $0<g<g_{\ast }$ the coupling increases with momentum, while for $g>g_{\ast }$ it decreases; each positive trajectory approaches $g_{\ast }$ in the ultraviolet. Negative initial couplings approach $-g_{\ast }$ by the odd symmetry of the beta function, with the same limiting squared coupling. The exactly zero trajectory remains zero. Thus the nonzero ultraviolet fixed point of a cubic-quintic beta function replaces asymptotic freedom by a finite-coupling ultraviolet limit, with $\bar{g}(t)-g_{\ast }=O(e^{-2B^{2}t/a})$. If the anomalous dimension is regular there, the propagator factor has fixed-point behaviour $d(z,g)\sim A(g)z^{\gamma (g_{\ast })}$ when its fixed-point boundary value is nonzero. If $\gamma (g)=c{g}^2$ is retained, the exponent is $\gamma (g_{\ast })=-cb/a$. Trusting this perturbative truncation as a statement about the underlying theory requires $g_{\ast }$ to be sufficiently small; the flow result itself follows from the specified beta function.

In four spacetime dimensions, canonical mass dimensions areSince a Lagrangian has mass dimension four, a power-counting renormalizable quantum field theory requires $[K]=2$ and $[W]=3$, with couplings of nonnegative mass dimension. Up to a positive constant kinetic matrix, field redefinitions and Kähler transformations, the renormalizable ungauged kinetic term is canonical. Holomorphic additions to $K$ integrate to a boundary term. The general renormalizable superpotential isThe coefficients have dimensions $3,2,1,0$, respectively; $m_{ij}$ and $y_{ijk}$ may be taken symmetric. The constant $W_0$ does not affect a global chiral theory. Higher polynomial degree in $W$, nontrivial higher-degree terms in $K$, or higher-derivative interactions are nonrenormalizable interactions and can instead be retained in an effective field theory.

Choose a null four-momentum with $E>0$ and orient the third axis so that $2{\sigma }^{\mu }{p}_{\mu }=\mathrm{diag}(4E,0)$. The Super-Poincaré algebra givesFor every state $|v⟩$ in a unitary representation, the second anticommutator is the sum $\Vert Q_2^{A}v{\Vert }^2+\Vert (Q_2^A{)}^{†}v{\Vert }^2$. Thus both operators act trivially. A central charge in supersymmetry also vanishes in this massless supermultiplet: its mixed-spinor anticommutator contains the now-trivial $Q_2$. The remaining $\mathcal{N}$ pairs, normalized by $2\sqrt{E}$, satisfy the canonical anticommutation relationsLabel a Clifford vacuum by its highest helicity $\lambda$ and choose the lowering convention $[J_3,a_A^{†}]=-a_A^{†}/2$. Acting with distinct fermionic creation operators produces the fermionic Fock spaceThis proves the helicity spectrum of a massless supermultiplet and the $2^{\mathcal{N}}$ state count. If the internal charges or helicities do not already make the spectrum invariant under the CPT theorem, add its conjugate using the CPT completion of a supermultiplet.

The spin bound for massless supermultiplets follows directly from the width $\mathcal{N}/2$ of this helicity interval. Requiring $|h|\le 1$ gives $\mathcal{N}\le 4$, achieved by the four-dimensional N=4 super Yang-Mills theory vector multiplet with multiplicities $1,4,6,4,1$ at helicities $1,1/2,0,-1/2,-1$. These helicity bounds are necessary spin restrictions for the usual interacting renormalizable quantum field theory; they do not by themselves establish renormalizability for an arbitrary action. Requiring $|h|\le 2$ gives $\mathcal{N}\le 8$. The four-dimensional N=8 supergravity supergravity multiplet attains this bound with highest helicity $2$ and multiplicities $1,8,28,56,70,56,28,8,1$. There is one $+2$ state and one $-2$ state, the two polarizations of a single graviton.

The stronger restriction relevant to matter is the chirality constraint on extended supersymmetry. An $\mathcal{N}=1$ chiral superfield can contain a left-handed Weyl spinor in a complex gauge group representation $R$. By contrast, a full $\mathcal{N}=2$ hypermultiplet consists of $\mathcal{N}=1$ matter in $R\oplus \overline{R}$, and the gauginos of a vector multiplet are in the real adjoint group representation. Higher unbroken extended supersymmetry retains this pairing. A pseudoreal representation may allow a half-hypermultiplet, but it does not yield net chirality in a genuinely complex gauge group representation. Consequently the chiral gauge spectrum of the Standard Model permits at most unbroken $\mathcal{N}=1$ supersymmetry in its four-dimensional low-energy matter sector.

Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices giveFor every $A$ and every state $|\chi ⟩$,Positivity therefore gives $Q_2^A={\bar{Q}}_{\dot{2}A}=0$ on this massless supermultiplet. The equal-chirality anticommutator $\{Q_1^A,Q_2^B\}={ϵ}_{12}{Z}^{AB}$ then shows that every central charge in supersymmetry vanishes on this superalgebra representation.

Normalize the remaining supercharges as fermionic raising and lowering operators:They obey the canonical anticommutation relationsChoose a Clifford vacuum $|\lambda ⟩$ of helicity $\lambda \in \frac{1}{2}\mathbb{Z}$ annihilated by every $a_A$. Such a vector exists because the commuting fermion number operators $a_A^{†}{a}_A$ have eigenvalues $0$ and $1$, and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states areThe canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention $[J_3,Q_1^A]=\frac{1}{2}{Q}_1^A$, its adjoint has $[J_3,a_A^{†}]=-\frac{1}{2}{a}_A^{†}$. Thus the Clifford vacuum is the highest-helicity state andReversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level-$k$ states form the exterior power ${\Lambda }^k{\mathbb{C}}^{\mathcal{N}}$, which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain $2^{\mathcal{N}-1}$ states, so a physical massless supermultiplet has $2^{\mathcal{N}-1}$ boson and $2^{\mathcal{N}-1}$ fermion states.

These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity $h$ to $-h$ and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second $2^{\mathcal{N}}$-state supermultiplet, with highest helicity $\mathcal{N}/2-\lambda$. A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is $\lambda =\mathcal{N}/4$; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.

For the conventional bounds on extended supersymmetry, suppose all massless states satisfy $|h|\le s_{\max }$. The helicity spectrum of a massless supermultiplet occupies an interval of width $\mathcal{N}/2$, whereas the available interval has width $2s_{\max }$. HenceAn ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum $3/2$ requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting $s_{\max }=1$ gives $\mathcal{N}\le 4$ for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing $\lambda =1$ givesfor its supersymmetric vector multiplet.

Allowing gravity permits $s_{\max }=2$, so $\mathcal{N}\le 8$ for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with $\lambda =2$:It has $256$ states, $128$ boson and $128$ fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.

Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities $(0,-\frac{1}{2})$ can carry a complex gauge group representation $R$. Its CPT completion of a supermultiplet supplies the right-handed antiparticle in $\bar{R}$, as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in $\bar{R}$. Consequently a chiral gauge spectrum is possible.

For $\mathcal{N}=2$, the matter hypermultiplet has helicities $(\frac{1}{2},0,0,-\frac{1}{2})$ before internal charge conjugation. If it carries a complex gauge group representation $R$, its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two $\mathcal{N}=1$ chiral superfields, one in $R$ and one in $\bar{R}$. These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every $\mathcal{N}\ge 2$ algebra contains an $\mathcal{N}=2$ subalgebra, the same obstruction applies to greater extended supersymmetry.

Therefore a conventional chiral gauge spectrum is possible only for $\mathcal{N}=0$ or $\mathcal{N}=1$. Here $\mathcal{N}=0$ means no supersymmetry; among theories with actual supersymmetry, only $\mathcal{N}=1$ qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.

For a connected amputated Feynman diagram, write $L$ for the number of independent loop momenta. Each loop momentum integration scales as ${\lambda }^4$, each internal scalar propagator as ${\lambda }^{-2}$, and each internal Dirac propagator as ${\lambda }^{-1}$ when both four-momenta and mass are scaled. The Yukawa coupling has mass dimension zero. ThusCounting the two fermion ends and one scalar end at each interaction vertex, and using connectedness, givesConsequently $n_f=n_v$, $L=n_s+1$, andThe requested exponent requires amputation and removal of the overall momentum delta function. An ordinary unamputated connected Green function has an additional $n$ external scalar propagators, giving mass dimension $4-3n$ after stripping that delta function, or $-3n$ if it is retained. For a concrete check, the free two-point scalar propagator scales as ${\lambda }^{-2}$, not ${\lambda }^2$. The exponent $4-n$ is the engineering result for the amputated object. A fixed renormalization scale introduces logarithms; the displayed homogeneity is a naive power counting statement rather than an exact quantum scaling law at fixed subtraction scale.

More generally, with $E_s$ external scalar ends and $E_f$ external fermion ends, the same counting gives the superficial degree of divergenceThis is an upper bound on the overall ultraviolet divergence. Numerator cancellations and Lorentz invariance may lower it; an apparently convergent whole Feynman diagram can still have ultraviolet subdivergences. Local subtraction of those ultraviolet subdivergences is required first.

For pure scalar ends, $E_s=0,1,2,3,4$ can require counterterms. Lorentz invariance reduces the two-point terms to a mass counterterm and wave-function renormalization; derivatives of a single scalar field are total derivatives, and a one-derivative cubic scalar term cannot be a Lorentz scalar. With two external fermions, $E_s=0$ requires their kinetic term and mass counterterm, while $E_s=1$ requires Yukawa coupling renormalization. Four external fermions give $D=-2$, so no independent four-fermion counterterm is required.