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.

Apply the Grassmann Gaussian integral to a regulated finite collection of field components. Up to a field-independent measure normalization and phase,In the continuum this is a formal functional determinant, including spinor and spacetime indices. Its meaningful definition requires a regulator and boundary conditions. A complex Dirac field supplies a determinant, not the inverse square root obtained for a real commuting field.

The comparison is clean after Wick rotation. A free real scalar field with positive Euclidean operator $P_E=-{\partial }_E^2+m^2$ hasTaking a logarithm gives $-\frac{1}{2}\mathrm{Tr}\log P_E$ for the scalar and $+\mathrm{Tr}\log K_E$ for the Dirac field. The opposite statistics sign is the determinant counterpart of the minus sign for a closed fermion loop. The magnitude also differs because a Dirac field has several independent spin and antiparticle degrees of freedom.

The vacuum energy sign of a fermionic oscillator makes the comparison explicit. A real scalar mode contributes $+E/2$; each independent fermionic oscillator contributes $-E/2$. There is one oscillator per scalar momentum, but a massive Dirac field has two particle and two antiparticle oscillators. Thus the vacuum energy densities are formallyEquivalently, the large Euclidean-time vacuum functional behaves as $\log Z_E\sim -\beta V{\rho }_{\mathrm{vac}}$. Both displayed vacuum energies are ultraviolet divergent; a common regularization in quantum field theory and the appropriate renormalization are needed before comparing them. The zero-point vacuum energies of bosons and fermions have opposite signs, but do not cancel without matching masses and degrees of freedom. Normal ordering removes an additive vacuum constant in nongravitating flat-space theory. Coupling to the metric in general relativity makes that constant contribute to the cosmological constant, so it cannot simply be discarded without a renormalization condition.

Use natural units and the Minkowski metric $\eta =\mathrm{diag}(1,-1,-1,-1)$. A real scalar field assigns a real variable $\varphi (t,\mathbf{x})$ to each spatial point. Its Lagrangian density can be taken to beThe principle of stationary action gives the Euler-Lagrange equation $\square \varphi +V^{\prime }(\varphi )=0$. With $V(\varphi )=m^2{\varphi }^2/2$, this is the Klein-Gordon equation. An additional nonlinear part of $V$ describes interactions.

The canonical momentum is $\pi =\partial \mathcal{L}/\partial \dot{\varphi }=\dot{\varphi }$. The Legendre transform in mechanics gives the canonical Hamiltonian density of a real scalar fieldThe Hamiltonian equations $\dot{\varphi }=\pi$ and $\dot{\pi }={\nabla }^2\varphi -V^{\prime }(\varphi )$ recover the same field equation. In canonical quantization, the fields become operators satisfying the equal-time canonical commutation relationsA spatial lattice makes the analogy with many coupled quantum-mechanical coordinates precise. Each lattice field value is a coordinate, with its own conjugate momentum. The path integral is another representation of the same quantum evolution.

To see its origin, first consider one coordinate with $H=p^2/(2M)+V(q)$. Split a time interval into $N$ steps of length $\epsilon$ and insert position and momentum resolutions of the identity. The short-time kernel isMultiplying the kernels and integrating over intermediate positions gives the phase-space path integralThe endpoints of $q$ are fixed. The momentum integrals are Gaussian integrals; completing the square produces the configuration-space path integralAt finite slicing its normalization contains $(M/(2\pi i\epsilon ){)}^{N/2}{\prod }_{j=1}^{N-1}d{q}_j$. This fixes the composition law and the initial delta-function kernel. One sums over all paths, not merely solutions of the classical equation. Restoring $\hslash$ replaces the weight by $e^{iS/\hslash }$; stationary phase explains the emergence of classical trajectories.

For the field, use scalar field configuration eigenstates $|\phi ⟩$, satisfying $\hat{\varphi }(\mathbf{x})|\phi ⟩=\phi (\mathbf{x})|\phi ⟩$. Insert their completeness relations on every time slice. This givesThe endpoint field configurations are fixed. Integrating the Gaussian momentum variables leaves the scalar field path integral $\mathcal{N}\int \mathcal{D}\varphi e^{iS[\varphi ]}$. The functional measure means a regulated product over the field variables. A spacetime lattice or another ultraviolet cutoff makes this product finite before the continuum limit; interacting continuum calculations may require renormalization. The oscillatory Minkowski weight is an amplitude, not a positive probability density.

For vacuum expectation values, the boundaries must select the vacuum rather than arbitrary field configurations. Long imaginary-time evolution suppresses excited states: $e^{-TH}|n⟩=e^{-T{E}_n}|n⟩$, so after normalization only the lowest-energy component remains as $T\to \infty$. This is vacuum projection by imaginary time. The corresponding Feynman i-epsilon prescription in the real-time integral specifies the vacuum boundary conditions and the poles of the propagator. With $t=-i\tau$, the Euclidean path integral has the weight $e^{-S_E}$, whereIt is often a useful regulated starting point; analytic continuation returns the vacuum time-ordered quantities.

Introduce a classical source $J(x)$ and define the normalized vacuum generating functionalwith the same vacuum prescription in numerator and denominator. A functional derivative brings down $i\varphi (x)$. The order of the time slices makes the operator insertion time-ordered. Thus source differentiation inserts time-ordered field operators:The denominator removes vacuum diagrams and gives normalized expectation values. It is essential that these are time-ordered products; differentiating this vacuum functional does not directly give every possible operator ordering.

The free theory illustrates the method. Its quadratic kernel is $K=-\square -m^2$ with the vacuum pole prescription, and completing the square gives the Gaussian evaluation of a free scalar generating functionalTwo source derivatives give ${\Delta }_F=⟨\Omega |T\{\hat{\varphi }(x)\hat{\varphi }(y)\}|\Omega ⟩$. Higher derivatives give all pairings, the content of Wick theorem. For an interaction $S_{\mathrm{int}}$, one may use path-integral perturbation by source derivatives:Expanding this expression generates Feynman diagrams and their Wick contractions. The connected generating functional $W[J]=-i\log Z[J]$ retains connected contributions; in particular $\delta W/\delta J=⟨\varphi {⟩}_J$. These functionals turn the computation of field-operator expectations into source differentiation of an ordinary regulated integral.

Write $d=4-ϵ$ and $C_A=C_2(G)$. The pole term is independent of $m$ and external momentum beyond the transverse tensor: ${\int }_0^{1}x(1-x)dx=1/6$, $\Gamma (ϵ/2)=2/ϵ+O(1)$ and $({\mu }^2/\Delta {)}^{ϵ/2}=1+O(ϵ)$. The supplied gluon self-energy insertion therefore hasUsing the insertion convention ${\Gamma }_{AA}^{(2)}={\Gamma }_{AA,0}^{(2)}-\Pi$, its cancellation requires the matter contribution $\delta Z_A=-8g^2{C}_A/[3ϵ(4\pi {)}^2]$ to the background gauge-field kinetic factor. One can extract the coupling running from this gauge-invariant matter determinant using the background gauge-field renormalization identity $Z_g{Z}_A^{1/2}=1$. This is a background-field Ward identity, not a claim that the ordinary quantum-gluon wave-function factor alone always determines the full coupling renormalization. For this one adjoint Dirac spinor,Differentiate at fixed $g_0$. If $a=4C_A/[3(4\pi {)}^2]$ and $\beta (g)=-ϵg/2+b{g}^3+O(g^5)$, the order-$g^3$ terms in $\mu d{g}_0/d\mu =0$ give $b=a$. Subtracting $-{\gamma }_E+\log 4\pi$ as well as the pole in the modified minimal subtraction scheme does not change this one-loop coefficient. Thus the adjoint Dirac contribution to the Yang-Mills beta function isThis is screening. The pure Yang-Mills one-loop beta function coefficient is $-11C_A{g}^3/[3(4\pi {)}^2]$. With $N_D$ adjoint Dirac spinors, the total renormalization-group beta function is consequentlyFor a non-Abelian simple factor $C_A>0$, vanishing of the nontrivial one-loop coefficient would require $N_D=11/4$. It cannot be a nonnegative integer, proving the integer obstruction to one-loop marginality with adjoint Dirac fermions. For a product group the same argument applies to every non-Abelian factor; the statement concerns the beta-function coefficient, not the trivial fixed point $g=0$. The modified minimal subtraction scheme is mass independent, so a massive spinor has this ultraviolet contribution; decoupling below its mass instead requires effective-theory threshold matching.

A radiative correction is a quantum correction beyond the classical or tree approximation, represented in perturbative quantum field theory by Feynman diagrams of positive loop order. Such corrections can alter a scalar potential and its derivatives; symmetries and renormalization constrain which changes are allowed.

In a gauge-preserving regularization and consistent renormalization convention, the proper-vertex Ward-Takahashi identity in QED equates the vertex and electron wave-function renormalization constants. With ${\psi }_0=Z_2^{1/2}\psi$ and $A_0=Z_3^{1/2}A$, the vertex coefficient gives $e_0={\mu }_R^{ϵ}{Z}_{1}e/(Z_2\sqrt{Z_3})$, proving the displayed charge relation in $d=4-2ϵ$. Gauge invariance restricts counterterms but does not forbid charge running.