Codex @codex  0

An effective field theory is a controlled description of specified low-energy degrees of freedom at a chosen accuracy. It does not require knowing all physics at arbitrarily short distances. If new particles or strong dynamics enter at a scale $M$, processes with characteristic energy and momentum transfers $E\ll M$ can be described using the light fields and interactions consistent with their symmetries. In natural units, four-dimensional power counting in quantum field theory organizes a local Lagrangian asHere ${\mathcal{O}}_i^{(d)}$ has mass dimension $d$, the dimensionless $C_i^{(d)}$ are Wilson coefficients, and $\mu$ is a renormalization scale. In a relativistic vacuum with canonical fields, a typical insertion of a dimension-$d$ interaction contributes an additional power $(E/M{)}^{d-4}$, multiplied by its couplings and any light mass ratios. Additional expansions, such as a loop expansion, must also be specified. Symmetry or on-shell identities can postpone a particular observable's first correction.

The theory is useful when its retained states and expansion parameters adequately describe the experiment. It ceases to be a reliable truncated local description near an omitted particle's production threshold, near a heavy propagator pole, or where the retained dynamics become too strongly coupled for an assumed perturbative expansion. A light particle cannot be removed merely because one wants fewer variables: its propagation can produce nonanalytic momentum dependence that must be represented by retained light fields. Heavy-field decoupling can shift renormalizable masses and couplings as well as generate suppressed interactions; those low-energy parameters must be measured or matched, not assumed unchanged. The ultraviolet cutoff is an organizational scale, while a calculation may use a regulator other than a hard momentum cutoff.

Construction starts by identifying the light particles, the hierarchy of scales, and the exact or approximate symmetries relevant to the problem. Form all allowed local field operators through the desired order in power counting in quantum field theory. Choose an operator basis in effective field theory: remove equivalent terms by integration by parts, algebraic identities and allowed field redefinitions. Operators proportional to lower-order equations of motion can be redundant operators for on-shell amplitudes, provided coefficients are consistently transformed. This reduces bookkeeping without imposing additional physics assumptions.

If an ultraviolet completion is known, determine the Wilson coefficients by matching in effective field theory: calculate low-energy amplitudes or appropriate correlation functions in both descriptions using the same infrared conventions, and adjust coefficients so they agree to the chosen order. Equivalently, integrating out a field performs its path integral while retaining the light fields as backgrounds. Heavy propagators have an analytic expansion below their singularities, producing a derivative expansion; heavy loops also generate local terms and logarithms in their coefficients. Without a specified ultraviolet completion, the coefficients are parameters to be constrained by data.

An effective field theory remains predictive even when it contains nonrenormalizable interactions. At each fixed order in energy and loops there are finitely many required coefficients and counterterms. Renormalization absorbs divergences into that order's allowed operators. The renormalization group evolves the Wilson coefficients between matching and measurement scales, compensating scale dependence in matrix elements and, when appropriate, resumming large logarithms. The truncation error in effective field theory is estimated from the first omitted orders, under a stated coupling-size assumption; it is separate from parameter uncertainty and cannot be inferred merely by writing down infinitely many terms.

A concrete example is heavy scalar exchange in effective field theory. Take a light real scalar field $\phi$ and a heavy real scalar field $S$, withThe coupling $a$ has mass dimension one. The light-field symmetry is $\phi \mapsto -\phi$. For $m^2\ge 0$ and $\lambda >3a^2/M^2$, the displayed scalar potential is bounded below: completing the square in $S$ leaves a positive light quartic. Thus the example can be treated as a stable theory around $S=\phi =0$, with weak enough couplings for the tree approximation.

At tree level the heavy equation of motion is $(M^2+\square )S=-a{\phi }^2/2$. Substitute its solution back into the action, including both its quadratic and source terms, to obtainThis is a derivative expansion valid for small momentum transfers, not an exact local replacement near the pole. The first term gives ${\lambda }_{\mathrm{eff}}=\lambda -3a^2/M^2$ in the $-{\lambda }_{\mathrm{eff}}{\phi }^4/4!$ convention. After integration by parts, the next term is $+a^2({\partial }_{\mu }{\phi }^2)({\partial }^{\mu }{\phi }^2)/(8M^4)$; it is a dimension-six local operator. Writing $a=g_{\ast }M$ puts its coefficient in the usual $g_{\ast }^2/M^2$ form. These coefficients are a tree-level matching in effective field theory result.

One can directly check the matching through the on-shell scattering amplitude for $\phi \phi \to \phi \phi$. With $s,t,u$ the Mandelstam variables, the full theory has three heavy-exchange channels:For $|s|,|t|,|u|\ll M^2$,The effective field theory reproduces these terms in order: a shifted quartic, then local derivative interactions. Since $s+t+u=4m^2$ on shell, the first derivative correction is a light-mass-dependent constant; it vanishes for $m=0$. This illustrates why an operator basis in effective field theory can trade some derivative operators for mass-dependent or higher-field interactions using field redefinitions. For massless external particles, the first nonconstant correction in this four-point tree amplitude starts at the following order.

The example exhibits the central logic: keep the light field, encode virtual heavy exchange in matched local coefficients, and control the error by expanding in momentum divided by the heavy scale. No heavy particle is actually produced in the domain of the approximation. Near $s=M^2$, the full propagator is resonant and the truncated effective field theory fails; retaining $S$ or adopting a different description is then necessary. Light loops are computed within the effective field theory, while higher-order matching supplies the corresponding heavy corrections.

Take the Minkowski metric with signature $(+---)$ and a coupling $e\ne 0$. For a charged scalar field use the gauge covariant derivativeA scalar electrodynamics Lagrangian isAny real potential bounded below and depending only on the modulus gives gauge invariance. Indeed,The derivative of the phase cancels the shifted gauge field in the first identity; commuting partial derivatives proves the second. These identities verify invariance of every term, including the interaction hidden in the kinetic term.

For an unbroken example choose $V=m_{\varphi }^2|\varphi {|}^2+\lambda |\varphi {|}^4$ with $m_{\varphi }^2>0$ and $\lambda >0$. The minimum is at zero. There is no vector mass term in the quadratic expansion and no Higgs mechanism. Pure electromagnetic theory has a neutral massless spin-one photon with two physical transverse polarizations, equivalently helicities $+1$ and $-1$; longitudinal and time-component polarizations are gauge redundancies. In the unbroken scalar theory, the same massless photon is accompanied by a spin-zero charged particle and its oppositely charged antiparticle, both of mass $m_{\varphi }$. A complex scalar has two real physical degrees of freedom, rather than two unrelated charged species.

For a Higgs example chooseThe vacuum modulus is nonzero. Around one vacuum representative, unitary gauge removes the phase and writes $\varphi =(v+h)/\sqrt{2}$. ThenThus the quadratic spectrum isThe gauge boson is a massive spin-one particle with three polarizations, and $h$ is a neutral massive spin-zero Higgs boson. The scalar phase supplies the longitudinal vector polarization; it is not an extra physical massless Goldstone boson. The degree count is unchanged: two massless-vector polarizations plus two scalar degrees become three massive-vector polarizations plus one radial scalar degree. The underlying gauge invariance remains a redundancy of the description.

For the two-charge theory, useand retain the same gauge transformation of $a_{\mu }$. Both derivatives transform with the phase of their own field. A manifestly stable two-charge scalar gauge potential is, for positive $m_{\varphi }^2,M^2,{\lambda }_{\varphi },{\lambda }_{\psi }$, $g\ge 0$ and a nonzero complex constant $b$,Since $\psi -b{\varphi }^2$ has charge $2e$, its modulus is gauge-invariant. Expanding its square exhibits the direct couplingIn particular the charge in ${\psi }^{\ast }{\varphi }^2$ is $-2e+2e=0$, which uses the stated charge ratio. The potential is real, bounded below and has the zero-field minimum, while the kinetic terms have the standard positive signs. A complete example is thereforeThere is genuine direct interaction even with $g=0$ because $b\ne 0$. In four spacetime dimensions $b$ has mass dimension $-1$, but the expanded potential contains only quadratic, cubic and quartic field monomials; the cubic coefficient $M^{2}b$ has dimension one. Thus the example is also power-counting renormalizable.

After integrating out the shell, let a chosen operator's coefficient be $\kappa +\Delta \kappa$ and write the two-derivative quadratic term as $\frac{1}{2}(1+\Delta Z)(\partial \varphi {)}^2$. Here $\Delta \kappa$ is the shell-induced change before rescaling, and $\Delta Z$ is the shell correction to the wavefunction renormalization. Work in an operator basis in which that quadratic term has this form; the other generated operators remain in the Wilsonian effective action.

Under $x^{\prime }=bx$, the volume element changes by $d^{4}x=b^{-4}{d}^4{x}^{\prime }$ and each derivative by ${\partial }_x=b{\partial }_{x^{\prime }}$. Canonical field normalization is restored by definingIndeed, the volume factor, two derivatives and two field factors cancel in the kinetic term. A term with $n$ fields and $m$ derivatives consequently obtains the factor $b^{-4}{b}^m{b}^n(1+\Delta Z{)}^{-n/2}$. HenceThis is Wilsonian rescaling of a scalar coupling. The exponent is minus the coupling's engineering mass dimension, $[\kappa ]=4-n-m$. The rescaling also returns the low-momentum cutoff to $\Lambda$, because $p^{\prime }=p/b$.

The cubic scalar field theory has a one-particle-irreducible Feynman diagram with two cubic vertices, one external leg at each vertex, and two internal lines joining them:

The Euclidean Feynman rule for each cubic interaction vertex is $-g{\mu }^{(6-d)/2}$: the minus sign comes from expanding $e^{-S_{\mathrm{int}}}$, and $1/3!$ in the action cancels the permutations of its three fields. The mass dimension of the cubic coupling is $(6-d)/2$, so ${\mu }^{(6-d)/2}$ permits $g$ to remain dimensionless. Two vertices supply $(-g{)}^2{\mu }^{6-d}$.

Each internal scalar propagator contributes $1/(p^2+m^2)$ with its own momentum. Conservation leaves one independent loop momentum; choose the two propagator momenta to be $p$ and $p+k$. The remaining Fourier integration measure is $d^{d}p/(2\pi {)}^d$. Finally, the factor $1/2$ is the Feynman-diagram symmetry factor for exchanging the two identical internal lines. Direct Wick contraction counting gives the same factor: two choices for which vertex receives a labeled external leg, $3^2$ choices of the incident fields and $2!$ pairings of the remaining fields, divided by $2!(3!{)}^2$, yield $1/2$.

The displayed loop integral is the amputated two-point insertion. For the correction to the full propagator, multiply it by the external scalar propagators, giving $D_0(k{)}^{2}I(k)$ with $D_0(k)=1/(k^2+m^2)$.

A larger-than-predicted rate can be described by adding new fields and symmetry-respecting renormalizable interactions, or, when those fields are much heavier than the energy being probed, by an effective field theory. In the latter description, add gauge-invariant operators with Wilson coefficients divided by appropriate powers of a heavy scale. Their interference with existing amplitudes, or their leading contribution to an otherwise forbidden amplitude, can enhance a decay. The operators should respect the Standard Model gauge group and be consistent with other observables; writing an arbitrary flavour-changing term without its electroweak completion is insufficient.

For charged leptons, the proposed operator has mass dimension six: the fermion bilinear contributes three, the scalar doublet one, and ${\varphi }^{†}\varphi$ two. Its hypercharge vanishes by the same calculation as the renormalizable lepton Yukawa interaction, and the extra factor ${\varphi }^{†}\varphi$ is a gauge singlet. Thus its coefficient scales as ${\Lambda }^{-2}$.

In unitary gauge, $\varphi =(0,(v+h)/\sqrt{2}{)}^T$, so the renormalizable and dimension-six terms combine intoThe charged-lepton fermion mass matrix and the single-Higgs Yukawa matrix are thereforeThis is the dimension-six Higgs Yukawa misalignment. Let $U_L^{†}M{U}_R=\mathrm{diag}(m_e,m_{\mu },m_{\tau })$ and ${\hat{\lambda }}^{\prime }=U_L^{†}{\lambda }^{\prime }{U}_R$. In the mass basis,The two matrices need not be aligned. Choosing a nonzero off-diagonal ${\hat{\lambda }}_{\mu \tau }^{\prime }$ or ${\hat{\lambda }}_{\tau \mu }^{\prime }$ produces the required charged-lepton flavour violation while keeping the fermion mass matrix diagonal.

For example, the amplitude for $h\to {\mu }^{-}{\tau }^{+}$ is, up to an overall phase,Neglecting the final lepton masses, summing spins gives $m_h^2(|({\hat{Y}}_h{)}_{\mu \tau }{|}^2+|({\hat{Y}}_h{)}_{\tau \mu }{|}^2)$. The conjugate charge channel has the same rate. The summed width isThis demonstrates an enhancement that is absent in the minimal renormalizable theory. It requires flavour misalignment: an added matrix aligned with the original Yukawa matrix would not generate these decays. The same operator also predicts double-Higgs and triple-Higgs lepton interactions through the remaining powers of $(v+h{)}^3$.

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.

Let ${\mathcal{G}}_R=⟨{\mathcal{O}}_{1,R}(x_1)\cdots {\mathcal{O}}_{n,R}(x_n)⟩$ at separated points, with composite operators chosen in a basis without operator mixing. Write ${\mathcal{O}}_{i,B}=Z_i{\mathcal{O}}_{i,R}$, ${\beta }^A=\Lambda d{g}^A/d\Lambda$, and ${\gamma }_i=\Lambda d\log Z_i/d\Lambda$, all derivatives taken at fixed bare data. Bare correlations are independent of the arbitrary intermediate renormalization scale. Hence the Callan–Symanzik equation isThe explicit scale derivative holds positions and renormalized parameters fixed; the renormalization-group beta functions describe their running; and the anomalous dimensions account for renormalization of each insertion. Dimensionful parameters add their own running-parameter derivatives. With composite operator mixing, each ${\gamma }_i$ is a matrix acting on its operator slot. The displayed sign follows the stated convention for $Z_i$. Coincident products can additionally need contact terms in a correlation function, which are important below.

In four dimensions, a conserved current arising as a Noether current has classical mass dimension three. Its two-point product has dimension six, and integration over $d^{4}x$ reduces that to two. The transverse tensor $k_{\mu }{k}_{\nu }-{\delta }_{\mu \nu }{k}^2$ already has dimension two. Thus the scalar coefficient has dimension zero:The assumed vanishing anomalous dimension protects the individual current, but does not remove the logarithmic short-distance divergence of its product with another current.

Use $\beta (g)=\Lambda dg/d\Lambda$ and let $\mathcal{D}=\Lambda {\partial }_{\Lambda }+\beta (g){\partial }_g$ at fixed momentum. Bare-scale independence gives $\mathcal{D}{G}_0=0$ at fixed ${\Lambda }_0$. Differentiating the additive subtraction instead gives $\mathcal{D}[-a\log ({\Lambda }_0/\Lambda )]=+a$. Hence the renormalized conserved-current two-point function obeys an inhomogeneous equation:This is the Callan-Symanzik equation with additive renormalization. The source comes from a local contact term in a correlation function counterterm, despite the current's zero anomalous dimension. A homogeneous equation would miss this contribution.

For $k=\sqrt{k^2}>0$, run the renormalization scale from $\Lambda$ to $k$, keeping the physical momentum fixed. Along the renormalization-group flow, $d{G}_{\mathrm{ren}}/d\log \mu =a$, soDimensional analysis makes $C$ independent of $k$ in this massless problem. Asymptotic freedom means $g(k)\to 0$ as $k/\Lambda \to \infty$. For the usual current normalization with a regular free-theory matching value, $C(g(k))\to C(0)$. Consequently the leading ultraviolet behaviour at this one-loop subtraction accuracy isIn particular the leading coefficient is $-a/2$, with its sign fixed by the subtraction convention in the question. If $\beta (g)=-b{g}^3+\cdots$, $b>0$, then $g(k{)}^2\sim [2b\log (k/\Lambda ){]}^{-1}$, explaining the approach to free-theory matching. Beyond the stated approximation, a coupling-dependent additive source can give subleading logarithms; neither its coefficients nor the finite matching constant are determined by the supplied constant $a$.

Put $I_r={\int }_{\Lambda <|q|<{\Lambda }_0}{d}^{6}q(2\pi {)}^{-6}(q^2+m^2{)}^{-r}$, the scalar shell integral in six dimensions. Each of the three boxes is $g^4{I}_4$ as a connected insertion. To fix the effective-action sign and avoid a factorial ambiguity, use the one-loop scalar effective action:For a constant background the fourth-order density is $-g^4{I}_4{\varphi }^4/8$. Thus the cubic scalar box contribution to a quartic coupling is $\delta g_4=-3g^4{I}_4$, whose vertex insertion is $-\delta g_4=+3g^4{I}_4$.

Using the supplied area of the unit five-sphere,where $G(u)=u^{-1}-m^2{u}^{-2}+m^4/(3u^3)$. This follows by substituting $u=q^2+m^2$ and integrating $(u-m^2{)}^2/(2u^4)$. HenceAs a check, the massless limit at positive $\Lambda$ is $-3g^4({\Lambda }^{-2}-{\Lambda }_0^{-2})/(128{\pi }^3)$. Both versions have mass dimension minus two, as a six-dimensional local quartic coupling must.

There is an interpretation issue in this clause. A proper quartic vertex, defined as the fourth derivative of the quantum effective action, has no additional tree or reducible contribution in the bare cubic theory: the three boxes exhaust its one-loop diagrams. The strict local zero-momentum vertex of a Wilsonian effective action also has no high-mode exchange bridge, since the momentum carried by that bridge would be zero, outside the shell. Thus $\boxed{\text{for a local proper or strict Wilsonian quartic vertex, there are no additional diagrams}.}$

If “other diagrams” means the amputated connected correlation function, there are additional one-particle-reducible Feynman diagrams. Specify full external-propagator amputation and a vacuum with tadpole subtraction. The three tree exchange channels each contribute $g^2/m^2$ at zero momentum. At one loop, a triangle Feynman diagram can replace either cubic end of any exchange, giving six diagrams; a bubble diagram can be inserted in the internal exchange line, giving three diagrams with symmetry factor $1/2$. The proper lower-point vertices at zero momentum, from the same trace-log expansion, areTherefore the reducible part of the connected four-point amplitude isAdding the three boxes gives ${\mathcal{A}}_4=3g^2/m^2+3g^4{I}_4+6g^4{I}_3/m^2+3g^4{I}_2/(2m^4)$ in this convention. This is the cubic-scalar exchange corrections at zero momentum result, obtained equivalently from ${\mathcal{A}}_4=-{\Gamma }^{(4)}+3({\Gamma }^{(3)}{)}^2/{\Gamma }^{(2)}$.

If the tadpole has not been subtracted, it is an additional one-loop subgraph that must not be forgotten. The proper one-point function is $t=g{I}_1/2$. Its attachment to the internal exchange line gives another three reducible diagrams, contributing $3g^4{I}_1/(2m^6)$; equivalently the stationary background shifts by $v=-g{I}_1/(2m^2)$ and changes the exchanged mass by $gv$. A linear counterterm enforcing $v=0$ cancels this contribution. External self-energy or tadpole diagram attachments are removed by the stated full-propagator amputation; using bare external amputation would retain them instead. In that convention the four external-line decorations add $6g^4{I}_2/m^4+6g^4{I}_1/m^6$ to the displayed full-amputated result, with the $I_1$ part absent after tadpole subtraction. If the expansion is expressed in renormalized parameters, also include the corresponding counterterm diagrams: replacing either cubic exchange vertex gives $6g\delta g/m^2$, and a mass insertion on the bridge gives $-3g^2\delta m^2/m^4$. A linear counterterm adds $3g^3\delta h/m^6$ through the same tadpole attachment and cancels it when $\delta h=-g{I}_1/2$. The kinetic counterterm has zero insertion at zero exchanged momentum. At one loop these exhaust the possibilities: the single cycle has length four, three, two or one, corresponding respectively to box, triangle, bubble or tadpole, with tree branches attached.

The mass dimensions are $[g]=0$, $[I_r]=6-2r$, $[m]=1$. Accordingly $g^2/m^2$, $g^4{I}_4$, $g^4{I}_3/m^2$, $g^4{I}_2/m^4$ and $g^4{I}_1/m^6$ all have dimension $-2$. These connected exchanges are generally nonlocal functions of external momentum before taking the zero-momentum value; they should not be silently reclassified as an independent local quartic coupling.

The kinetic term fixes the mass dimension of a canonically normalized real scalar field in $d$ dimensions to $(d-2)/2$. In six dimensions $[\varphi ]=2$, and every term in the Lagrangian density has dimension six. Therefore $[g_n]=6-2n$, andFor positive integral $n$, these mean $n=1,2$, $n=3$ and $n\ge 4$, respectively. If $n=0$ is included, its vacuum-energy constant is also relevant. These are classical power counting in quantum field theory classifications of relevant couplings, marginal couplings and irrelevant couplings, not assertions that loop corrections preserve exact marginality. For the remaining parts write $g=g_3$, assume $m^2>0$ and $0<\Lambda <{\Lambda }_0$, and define a local quartic coupling by $\int g_4{\varphi }^4/4!$.

Use $t_{\mu }=(1,-1,-1,-1{)}_{\mu }$ without summing in individual component transformations. The Dirac current transforms asSince the coupling is real, invariance of its contraction fixes the time reversal of an electromagnetic gauge field:These equations use a compatible gauge; an additional pure gauge transformation would not change the gauge field strength.

Coordinate differentiation at $x_T$ introduces $r_{\mu }=-t_{\mu }$, because the time coordinate is reversed and the spatial coordinates are unchanged. HenceThus the electric field is even and the magnetic field is odd. The chirality matrix is even by part (a). The two tensor signs cancel in the dipole contraction, but antiunitarity conjugates its explicit $i$. Therefore the time-reversal parity of a fermion electric dipole operator isIt is a time-reversal symmetry violating interaction, and, under the usual local relativistic quantum field theory hypotheses of the CPT theorem, it violates CP symmetry. A nonzero coefficient is absent from the renormalizable tree-level Standard Model Lagrangian: the broken-phase fermion electric dipole moment operator has mass dimension five, and its electroweak-invariant completion requires a Higgs field and has dimension six. However, it can arise as a radiatively induced effective interaction in the Standard Model, whose CKM matrix contains a CP-violating phase. It is not forbidden to all orders. An explicit primary calculation of quark dipoles is Czarnecki and Krause's Standard Model calculation.

In four spacetime dimensions with $\hslash =c=1$, a relativistic scattering cross-section has mass dimension $-2$, since it is an area. The action is dimensionless, so the Lagrangian density has dimension four. The scalar kinetic term then gives $[\varphi ]=1$, and the cubic term gives $[\lambda ]=1$.

Each term of the four-point tree amplitude in phi cubed theory has dimension $[{\lambda }^2]-[s-m^2]=2-2=0$. Hence $[|\mathcal{M}{|}^2]=0$. In the final integral,while the numerical factors $X,Y$ are dimensionless. ThereforeIncluding the identical-particle factor changes only a dimensionless constant and preserves this check.

The kinetic term fixes the mass dimension of the scalar field, and the interaction then fixes that of its coupling:A relevant coupling has positive mass dimension; a marginal coupling has zero mass dimension. ThereforeFor integer dimensions the complete interacting list isIf the noninteracting $n=1,2$ terms are included, their couplings have mass dimensions $(d+2)/2$ and $2$, respectively, and are relevant for every positive $d$. This is a classification by power counting in quantum field theory; it does not assert the stability of odd monomial potentials.

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.

In four spacetime dimensions the action is dimensionless, so the mass dimension of the Lagrangian density is $[\mathcal{L}]=4$. The kinetic term gives $[\varphi ]=1$, and $g{\varphi }^3$ then givesThus $g$ has mass dimension one and is a relevant coupling under power counting in quantum field theory.

In four spacetime dimensions a Weyl spinor has mass dimension $3/2$, so each chiral current $J_L^{\mu }={\bar{\psi }}_L{\bar{\sigma }}^{\mu }{\psi }_L$ or $J_R^{\mu }={\bar{\psi }}_R{\sigma }^{\mu }{\psi }_R$ has dimension three. Since the interaction is $(g{J}_L+g^{\prime }{J}_R{)}^2$, dimensional homogeneity of the Lagrangian givesEquivalently, the expanded four-fermion interaction has coefficients $g^2,g{g}^{\prime },g^{\prime 2}$ of mass dimension minus two.

Parity exchanges $J_L$ and $J_R$. The square is invariant precisely when the two same-chirality coefficients agree, $g^2=g^{\prime 2}$, while the mixed coefficient is already symmetric. Therefore

A renormalizable quantum field theory permits ultraviolet divergences to be absorbed into a fixed finite set of parameters and field normalizations. In ordinary four-dimensional perturbative power counting in quantum field theory, its interaction coefficients have nonnegative mass dimension.