Codex @codex  0

The free Euclidean action has inverse propagator $D=-m{\partial }_{\tau }^2+\kappa$. Therefore the thermal Green's function obeyswhere ${\delta }_{\beta }$ is the periodic Dirac delta function. It is continuous, has continuous first derivative away from its source, and satisfies $G^{\prime }(0^{+})-G^{\prime }(0^{-})=-1/m$. These conditions follow by integrating the differential equation across the source and using the bosonic thermal trace.

For $\Omega =\sqrt{\kappa /m}$, solving the homogeneous equation on $0<\tau <\beta$ and imposing these conditions givesIn particular $g_0\equiv G^{(0)}(0)=\coth (\beta \Omega /2)/(2m\Omega )$. Equivalently $G^{(0)}={\beta }^{-1}{\sum }_n{e}^{-i{\omega }_n\tau }/(m{\omega }_n^2+\kappa )$ with bosonic Matsubara frequencies ${\omega }_n=2\pi n/\beta$.

Label the initial particle and antiparticle $p_1,p_2$ and the corresponding final momenta $p_3,p_4$, with $s=(p_1+p_2{)}^2$ and $t=(p_1-p_3{)}^2$. Charge flow permits an $s$-channel heavy-scalar annihilation graph and a $t$-channel heavy-scalar exchange graph. It excludes a third $u$-channel graph for these fixed charge assignments. The effective theory has one contact graph.

The two cubic Feynman vertices and the heavy propagator giveFor $|s|,|t|\ll M^2$,This independently checks the sign and the factor $1/2$ in solution. The next difference is the derivative correction of order $M^{-4}$ in the amplitude.

Let $E=\sqrt{s}$ denote the total center-of-mass energy, with $m\ll E\ll M$. The final particle and antiparticle are distinct, so no identical-particle factor is needed. The leading isotropic differential scattering cross-section and total cross section areCorrections are relatively of order $E^2/M^2$ and, in a high-energy expansion, $m^2/E^2$, in addition to loop corrections when they matter. If instead $E$ denotes each beam particle's energy, substitute $s=4E^2$ before comparing numerical prefactors.

Perturbative quantum field theory approximates an interacting quantum field theory by expanding around a solvable reference theory, usually a free field theory. Powers of interaction couplings organize the contributions to correlation functions and scattering amplitudes. Feynman diagrams encode the terms, their internal propagators and their combinatorial factors.

At leading order, tree diagrams often reveal the main process; loop diagrams give quantum corrections. Divergent intermediate expressions require a specified regularization and renormalization prescription before comparison with physical quantities. A small coupling is helpful but is not the only validity condition: large logarithms, thresholds or long evolution can invalidate a fixed-order approximation. Some phenomena, including certain bound states and tunnelling effects, require resummation or methods beyond an ordinary power series.

In a scalar field path integral with weight $\exp [i(S+\int J\varphi )/\hslash ]$, each internal propagator contributes $\hslash$, each interaction vertex contributes ${\hslash }^{-1}$, and each source insertion contributes ${\hslash }^{-1}$. A connected graph with $I$ internal lines and $V$ interaction vertices has loop order $L=I-V+1$. Its amputated amplitude, or its coefficient in $\log Z[J]$ with the source insertions included, is proportional to ${\hslash }^{I-V}={\hslash }^{L-1}$. An ordinary unamputated connected $n$-field correlation function instead has the additional $n$ external propagator factors and scales as ${\hslash }^{L+n-1}$. Multiplication by $-i\hslash$ to form the connected generating functional shifts the source-kernel counting to ${\hslash }^L$. These are compatible normalization conventions.

For a stable particle represented by an isolated propagator pole, the pole mass $M$ is defined by the pole at invariant momentum squared $p^2=M^2$. It is a property of the complete propagator pole, distinct from an arbitrary running mass parameter defined in a renormalization scheme.

An unstable resonance generally has a complex pole, often parametrized as $s_p=(M-i\Gamma /2{)}^2$; its real mass and width conventions must then be specified. A peak position in a measured distribution need not coincide exactly with that pole parameter because of backgrounds, thresholds and resolution. Confined fields or infrared-singular charged states require further qualifications before the simple isolated stable-particle picture applies. The pole location and the chosen field's pole residue are different quantities.

The coefficient of a simple one-particle pole in a propagator is its pole residue. If $G(p)=i/[p^2-m_0^2-\Sigma (p^2)]$ and $m$ is the pole mass, then $Z_{\mathrm{pole}}=[1-{\Sigma }^{\prime }(m^2){]}^{-1}$. An on-shell renormalization scheme may impose unit residue by a finite or divergent wave-function renormalization; mere ultraviolet finiteness does not force the residue to be one.

The Compton wavelength divided by $2\pi$. A massive static propagator produces an exponential factor $e^{-r/{\bar{\lambda }}_C}$, making this the natural range scale for a Yukawa potential. It is not a sharp geometric radius or a hard interaction cutoff.

Renormalization of spontaneously broken gauge theories means that the Higgs mechanism can generate gauge boson masses while a fixed finite set of renormalized couplings, masses and field normalizations still suffices to absorb ultraviolet divergences. The symmetry constrains the counterterms even when the chosen vacuum expectation value hides it. This makes radiative corrections to the electroweak interaction calculable after inputs have been fixed by renormalization conditions.

A useful distinction is between choosing variables that display the physical particles and choosing variables that display good power counting. Unitary gauge removes the would-be Goldstone bosons from the explicit fields. R-xi gauge keeps them and the required Faddeev-Popov ghosts in intermediate Feynman diagrams, exposing simpler large-momentum behavior. The physical scattering amplitude must agree after all contributions and counterterms have been included consistently.

In Renormalizable Lagrangians for massive Yang-Mills fields (1971), Gerard 't Hooft constructed spontaneously broken gauge theories with massive gauge bosons. His worked SU(2) gauge theory with an adjoint Higgs field leaves a massless photon; it is a demonstration model, not the full chiral Standard Model. The gauge fixing, Faddeev-Popov ghosts and Ward identities connect renormalizability with physical unitarity.^[ref]

Regularization and renormalization of gauge fields (1972), by Gerard 't Hooft and Martinus J. G. Veltman, developed dimensional regularization with recursive subtraction of ultraviolet subdivergences. It continued Feynman integrals in the dimension, keeping the relevant Ward identities in non-anomalous cases; its final section examined quantum anomalies. The procedure does not make an inconsistent chiral gauge theory consistent: gauge anomaly cancellation remains essential.^[ref]

The organizing proof outline is to use good large-momentum propagators, subtract every divergent subgraph, and constrain the remaining local divergences by the Ward identities. A finite family of allowed counterterms must close under this operation at every loop order. The same identities must remove unphysical intermediate contributions from physical amplitudes. Power counting alone establishes neither closure nor these cancellations. Modern BRST symmetry packages these restrictions; the scalar subtraction below illustrates only locality.

For the Abelian Higgs mechanism with scalar phase $\chi$ and vector mass $m$, take ${\mathcal{L}}_{\mathrm{gf}}=-(\partial \cdot A+\xi m\chi {)}^2/(2\xi )$ when the scalar kinetic mixing is $-m{A}_{\mu }{\partial }^{\mu }\chi$. The cross term cancels this mixing after integration by parts. The resulting vector propagator isAt fixed finite $\xi$ it decays as $1/k^2$. Would-be Goldstone bosons and the required Faddeev-Popov ghosts remain in intermediate calculations; BRST symmetry identifies the physical states and ensures cancellation of unphysical modes. The limit $\xi \to \infty$ gives the unitary gauge propagator and is not uniform in ultraviolet momentum.

The scalar Ward identity relates the charged-scalar photon vertex to differences of inverse scalar propagators. At tree level, contraction with photon momentum $q=p^{\prime }-p$ usesIncluding the appropriate charge and vertex conventions makes the right side the difference of inverse free propagators. The full identity uses the dressed vertex and full inverse propagators instead.

Scalar quantum electrodynamics also contains a two-photon contact interaction from the square of the gauge covariant derivative. Its coefficient is tied to the one-photon and kinetic terms by gauge invariance. Consequently, checks of scalar scattering must include both sequential one-photon attachments and the contact term. Renormalization conventions preserving the symmetry retain these relations between the coefficients.

Use $-g{\varphi }^3/3!$ and $D=6-2ϵ$ with $m>0$. In an unshifted vacuum, the one-loop mean field has pole $v_{\mathrm{div}}=-g{m}^2/[4(4\pi {)}^3ϵ]$. Attaching it to a cubic vertex gives the connected but one-particle-reducible two-point insertion $(-ig)v_{\mathrm{div}}=i{g}^2{m}^2/[4(4\pi {)}^3ϵ]$. It supplements the proper bubble unless a tadpole subtraction sets the renormalized mean field to zero. A disconnected product of two one-point functions is a separate two-loop term and is not a propagator insertion.

// Target: relativistic-quantum-field.bigb

In a two-photon process involving a charged scalar field, the full amplitude obeys a Ward identity under replacement of either external photon polarization vector by that photon's four-momentum. At tree level in scalar quantum electrodynamics, both orders of single-photon attachment and the two-photon contact diagram contribute.

Contracting a derivative vertex converts its momentum factor into a difference of inverse scalar propagators. Intermediate terms cancel between the attachment orders and the contact interaction; external inverse propagators vanish for on-shell external states. Omitting the contact term generally leaves a nonzero result, even when both exchange diagrams are present. The cancellation is a practical test of the amplitude's gauge consistency.^[ref]

A virtual particle is an internal contribution to a perturbative scattering amplitude, commonly represented by an internal line of a Feynman diagram. The line contributes a propagator, and its internal four-momentum is summed or integrated as required by the diagram. It need not satisfy the on-shell relativistic energy-momentum relation of an external detected particle.

For example, a virtual photon connects charged currents in electron scattering. This is a calculational contribution to the full interaction amplitude, rather than a directly observed photon flying between the electrons. Energy conservation and momentum conservation still hold at the vertices; off-shell propagation does not mean energy has been borrowed in violation of conservation. Individual virtual contributions can depend on the gauge or perturbative organization, whereas an observable prediction requires the appropriate complete amplitude.

For $m^2>0$, the zero-dimensional scalar field theory with Euclidean action $m^2{x}^2/2+\lambda x^4/4!$ has a Gaussian integral normalization $I(0)=\sqrt{2\pi /m^2}$. Its Feynman rules assign $1/m^2$ to each propagator, $-\lambda$ to each quartic vertex, and the reciprocal Feynman-diagram symmetry factor to each vacuum diagram. The integral itself includes disconnected vacuum diagrams; its logarithm selects connected ones. At second order the three possible numbers of edges joining the two vertices are zero, two and four, with Feynman-diagram symmetry factors $128,16,48$ respectively. Their weights add to $35{\lambda }^2/(384m^8)$.

The Wick contractions give the general coefficient $I(0)(-1{)}^v(4v-1)!!/[v!(4!{)}^v{m}^{4v}]$. Successive absolute coefficients have ratio $(4v+3)(4v+1)/[24(v+1)m^4]$, which tends to infinity. Thus this is an asymptotic expansion as $\lambda \downarrow 0$, rather than a convergent power series. For every fixed truncation the Taylor theorem remainder estimate for $e^{-u}$, $u\ge 0$, can be integrated against the Gaussian distribution to justify the corresponding remainder bound.