Codex @codex  0

One adjoint Dirac spinor contributes the displayed screening term to the four-dimensional renormalization-group beta function in the modified minimal subtraction scheme. The fermion contribution to the gluon self-energy insertion has pole $-8g^2{C}_A(k^2{\delta }_{\mu \nu }-k_{\mu }{k}_{\nu })/(3ϵ(4\pi {)}^2)$. The corresponding background gauge-field counterterm is $\delta Z_A=-8g^2{C}_A/(3ϵ(4\pi {)}^2)$; the background gauge-field renormalization identity $Z_g=Z_A^{-1/2}$ gives $g_0={\mu }^{ϵ/2}(g+4C_A{g}^3/[3ϵ(4\pi {)}^2])$. Differentiation at fixed $g_0$ yields the screening coefficient. The mass-independent subtraction includes massive fields until effective-theory threshold matching is performed.

An amputated connected correlation function is obtained by removing external propagators. Amputation using full propagators eliminates external self-energy decorations; internal exchange diagrams remain. It is distinct from a one-particle-irreducible correlation function. In a scalar theory with vanishing one-point function, at zero momentum the four-point quantity satisfies ${\mathcal{A}}_4=-{\Gamma }^{(4)}+3[{\Gamma }^{(3)}{]}^2/{\Gamma }^{(2)}$ with a convention in which connected diagram vertices are minus effective-action derivatives. For a constant scalar source, the Legendre relation $J={\Gamma }^{\prime }(\varphi )$ gives $G^{\prime \prime }=1/{\Gamma }^{\prime \prime }$ and $G^{\prime \prime \prime \prime }=-{\Gamma }^{\prime \prime \prime \prime }/({\Gamma }^{\prime \prime }{)}^4+3({\Gamma }^{\prime \prime \prime }{)}^2/({\Gamma }^{\prime \prime }{)}^5$. Dividing by the four full external propagators proves the formula.

The bare mass is the mass parameter in a regulated field-theory action before a renormalization condition relates it to a measured mass. For a scalar, loop self-energy corrections change the propagator denominator to $p^2-m_0^2-\Sigma (p^2)$. The pole mass solves $m^2-m_0^2-\Sigma (m^2)=0$ for a stable particle. The bare mass generally depends on the regulator when the pole mass is held fixed.

For the connected tree scattering amplitude of one particle and one antiparticle of a complex scalar field, the Dyson series inserts $-i\lambda {\varphi }^{†2}{\varphi }^2/4$. There are $2!$ assignments of the particle and antiparticle external attachments to each pair of identical field factors, giving $2!2!=4$ and hence the displayed Feynman vertex. With relativistic normalization of a one-particle state, integrating the vertex position gives $i\mathcal{T}(2\pi {)}^4{\delta }^4(p_1+q_1-p_2-q_2)$ with $\mathcal{T}=-\lambda$. Vacuum diagrams and one-particle self-energy insertions are separate disconnected contributions; normal ordering eliminates the single-vertex vacuum and tadpole contractions.

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

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

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

A normalized retarded amplitude $G^R(\mathbf{k},t)=-i\Theta (t)e^{-i{\Omega }_{\mathbf{k}}t-{\Gamma }_{\mathbf{k}}t}$, with constant ${\Gamma }_{\mathbf{k}}>0$, has Fourier transform $G^R(\mathbf{k},\omega )=(\omega -{\Omega }_{\mathbf{k}}+i{\Gamma }_{\mathbf{k}}{)}^{-1}$. Consequently $A=-\mathrm{Im}{G}^R/\pi$ is the displayed positive Lorentzian line shape, of unit frequency integral. Its maximum is at ${\Omega }_{\mathbf{k}}$ and its half width at half maximum is ${\Gamma }_{\mathbf{k}}$. The energy half-width is $\hslash {\Gamma }_{\mathbf{k}}$. Amplitude decays on time $1/{\Gamma }_{\mathbf{k}}$ whereas probability decays on time $1/(2{\Gamma }_{\mathbf{k}})$. A general interacting electron has quasiparticle residue $Z$ and incoherent spectral weight in addition to this normalized local pole model; frequency-dependent width or self-energy can invalidate a global Lorentzian.

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

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

Yoichiro Nambu's superconductivity work led to the spontaneous symmetry breaking ideas recognized by his share of the 2008 Nobel Prize in Physics.^[ref] His 1960 treatment made the Meissner effect response consistent with gauge invariance by including collective pair contributions alongside the quasiparticles. The resulting Ward identity relates the interaction correction to the current and the self-energy; retaining the quasiparticles alone omits part of the response.^[ref]

The individual Nobel lecture explains the bridge to particle: the superconductivity gap suggested a dynamically generated fermion mass, and the accompanying collective excitation suggested a light pion. It also notes that the long-range Coulomb interaction turns the charged phase response into a plasmon. A neutral global phase mode and a charged material therefore need different low-momentum descriptions.^[ref]

In 1961, Yoichiro Nambu and Giovanni Jona-Lasinio supplied a four-fermion model with a self-consistent mass and a massless pseudoscalar bound state: an idealized pion. Their original constituents were nucleon fields. Their introduction explicitly distinguishes the zero-mass neutral collective excitation from its charged plasma counterpart and allows approximate chiral symmetry as the explanation of a nonzero pion mass. This is a model of dynamical symmetry breaking, rather than a microscopic derivation of quantum chromodynamics.^[ref]

In the modern two-light-quark account, chiral symmetry breaking leaves isospin intact and produces three Goldstone bosons in the exact non-anomalous chiral limit. Small quark masses explicitly break that chiral symmetry, so the observed pions are pseudo-Goldstone bosons. The chiral protection of a fermion mass identifies the distinct obstruction to inserting an explicit fermion mass into a chirally symmetric equation. The useful lesson is that massive individual excitations and much lighter collective excitations can coexist because they describe different motions of an interacting state.

A concrete experimental motivation for treating the electromagnetic response carefully is the Field-cooled Meissner experiment. MIT's realization cools lead in a solenoid field using helium gas. A nearby thermometer follows the cooling; a test coil feeds an integrator and oscilloscope. Expulsion gives a pulse, warming reverses it, and switching off the field while the sample is normal checks its sign. A change in alternating-field response alone can reflect normal electrical conductivity. This readout tests magnetic flux expulsion, not the spectrum or existence of a neutral Goldstone boson.^[ref]

For a global symmetry in field theory, different orientations can be physically distinct states. A local gauge symmetry instead includes redundant descriptions of the same physical state. A gauge-dependent field expectation alone is consequently insufficient as a physical criterion for spontaneous symmetry breaking. The Higgs mechanism changes the physical mode content when the gauge field is dynamical; the global Goldstone theorem alone does not prove that mechanism. In particular, the massless direction of a gauge-fixed scalar potential need not appear as a separately observable massless particle.

At order $e^4$, the open electron line can carry an internal-electron self-energy, a correction at either photon vertex, or a virtual photon spanning both vertices. Include the crossed external-photon order for each class. External-electron self-energies and external-photon vacuum polarization insertions appear in unamputated functions and are treated by LSZ reduction and field residues in physical amplitudes. A closed loop with three photon vertices cancels between orientations by Furry's theorem. Renormalized calculations also include the mass, field and vertex counterterms of the same perturbative order.

The second derivative of a Legendre effective action is the inverse connected two-point kernel. In a translation-invariant scalar theory it is ${\tilde{\Gamma }}^{(2)}(p)=\tilde{G}(p{)}^{-1}$. Its loop expansion contains the reference inverse propagator, any separately displayed counterterms, and the self-energy. A generic amputated connected higher-point function is not the same as a one-particle-irreducible vertex.

At second order in the interaction term, attach the two external fermion fields to different vertices and contract the remaining two fermion fields with each other and the two vector fields with each other. The factor $1/2!$ in the expansion is cancelled by the two ways to assign the external ends. There is no closed fermion loop, and hence no extra closed-loop fermionic sign.

After removing the two external Dirac propagators, the internal momentum assignment $l$ for the photon and $p+l$ for the fermion gives the one-loop insertionThus the insertion is proportional to exactly the propagator product specified in the source. Define $\mathcal{I}=-i\Sigma$. With Fourier convention $\psi (x)\sim e^{ip\cdot x}$, the reduced free inverse kernel is $K_0(p)=-/p-m$, since the printed Dirac propagator equals $i{K}_0^{-1}$. Repeated insertions giveThe factors of $i$ and the sign of the named self-energy are convention dependent; the cancelling counterterm is fixed once this insertion convention is specified. The internal photon joins two vertices on one directed fermion line, as in the first panel of the figure in 1b.

The one-particle-irreducible scalar two-point function has three one-loop topologies: a scalar-photon exchange loop built from two cubic vertices; a photon tadpole at one seagull vertex; and a scalar tadpole at one quartic vertex. The last is absent when $\lambda =0$. Reducible chains of self-energy insertions belong to the Dyson expansion and are not additional one-loop self-energy graphs. The scalar-QED photon-tadpole symmetry factor is $1/2$ because its two identical photon legs are joined; the oriented complex-scalar tadpole has no such identical-real-line factor.

For the proper four-point interaction vertex, retain one-particle-irreducible Feynman diagrams with two labelled external photons and the two ends of a directed scalar line. Put $C$ for a cubic scalar–photon vertex and $S$ for a seagull vertex. The one-loop counting identities require $V_C+2V_S=4$. There are three possibilities, giving the nine proper scalar-QED seagull-vertex diagrams:

Each graph has Feynman-diagram symmetry factor one with these external labels: the internal photon and scalar are different species, and the charged scalar endpoints cannot be exchanged. The list is complete because the internal photon must join the ends of the open scalar chain for the graph to remain connected after any one internal line is cut. If it joined two interior points, an outside scalar segment would be a bridge and the graph would be one-particle reducible.

External-leg self-energy insertions contribute to an unamputated four-point correlation function, not this proper vertex. The local four-point counterterm from i is included separately when constructing the renormalized answer; it is not another one-loop topology. Abelian Faddeev-Popov ghosts do not interact in this linear gauge and add no diagram.

There is one one-particle-irreducible Feynman diagram: an internal photon joins two points of the open fermion line, with the external photon attached to that line between them. It is the upper-left panel of the figure. Route internal photon four-momentum $k$ from the incoming side to the outgoing side; the adjacent internal fermion four-momenta are $p-k$ and $p^{\prime }-k$. The symmetry factor is one.

The vertex renormalization counterterm is an additional local contribution when forming the renormalized Feynman vertex. External-leg self-energy insertions belong to the complete three-point correlation function, rather than this amputated one-particle-irreducible Feynman diagram.

The Lamb shift is a radiative displacement of atomic energy levels beyond the values from the Dirac equation in a Coulomb potential. In hydrogen, the $2S_{1/2}$ and $2P_{1/2}$ levels are degenerate for a point Coulomb potential in the Dirac equation, yet the $2S_{1/2}$ level lies higher by roughly a gigahertz. This is distinct from the fine structure splitting between different $J$ levels and from nuclear-spin hyperfine structure.

Electron self-energy in the quantized electromagnetic field is the dominant contribution to the familiar hydrogen splitting; vacuum polarization contributes too. Renormalization separates the physical electron mass from its divergent free-electron self-energy. A useful leading-log scale for a hydrogenic $nS$ level isnot an exact numerical formula. The enhanced sensitivity of S states follows from their nonzero wavefunction at the nucleus; leading short-distance corrections act like contact perturbations. A precision prediction also includes finite nuclear size and recoil, and must consistently separate those effects from the radiative contribution.^[ref]

The original Lamb-Retherford experiment used a beam of hydrogen atoms, electron-impact excitation into metastable $2S$, and microwave-induced transfer into short-lived $2P$ states. Those atoms decayed before reaching the detector. Metastable atoms surviving to a metal target ejected electrons, so a drop in the measured current signalled a resonance. Varying the microwave excitation and magnetic field established the displacement from the Dirac equation expectation. Microwave quenching converted a small energy difference into a measurable loss of a long-lived population, avoiding optical Doppler widths that obscure the splitting.^[ref]

Changing the ultraviolet cutoff changes which fluctuations remain explicit. Integrating out a shell of Fourier modes shifts the coefficients of all symmetry-allowed operators and a field-independent constant. Hence the cutoff-dependent coefficients are chosen so that the remaining partition function and long-distance observables reproduce the same microscopic system. This is the Wilsonian coarse-grained statistical Hamiltonian; retaining only the printed operators is a local derivative expansion, not an exact closure.

In a massive symmetric phase, the quadratic long-wavelength inverse two-point function has the form ${\alpha }^{-1}{p}^2+m^2$. Its Landau scalar correlation length satisfies ${\xi }^{-2}=\alpha m^2$ in this approximation. For canonical normalization of a scalar gradient term, set $\varphi =\sqrt{\alpha }\psi$; then the mass and quartic coefficients become $r=\alpha m^2$ and $g_c={\alpha }^{2}g$. With this normalization the infrared mass is the inverse correlation length, $m_R={\xi }^{-1}$, within the massive quadratic or one-loop approximation. More generally the decay rate is a pole mass, whereas the zero-momentum inverse magnetic susceptibility is a curvature mass; an anomalous dimension or nontrivial momentum dependence can distinguish them. In the ordered phase one must first expand about a selected stable equilibrium magnetization, rather than identify a negative quadratic coefficient at the unstable origin with a squared inverse correlation length. Thus the intended mass identification includes a field normalization and a stable-phase qualification.

For momentum-shell renormalization group, split $\varphi ={\varphi }_{<}+{\varphi }_{>}$, retaining $|p|<\Lambda /b$ and eliminating $\Lambda /b<|p|<\Lambda$. DefineTaking a logarithm gives the cumulant expansion of a coarse-grained free energy. For a centered fast Gaussian measure with $G_{>}(0)=⟨{\varphi }_{>}^2⟩$, the first quartic cumulant isThe Wick contractions give a mass shift $\Delta r=g{G}_{>}(0)/2$ and an identity-operator contribution, while leaving the quartic term at this order. The second cumulant produces higher interactions and a quartic correction. After the length and field rescalings $x=b{x}^{\prime }$ and ${\varphi }_{<}(x)=b^{-(D-2)/2}{\varphi }^{\prime }(x^{\prime })$, the gradient coefficient remains one, andThe one-loop shell mass renormalization in scalar quartic theory explicitly shows why the critical bare mass is shifted by fluctuations.

Assume short-range interactions, an analytic even local potential, a positive gradient coefficient, and a weak-coupling trajectory in the basin of the Gaussian fixed point. Above four dimensions the quartic interaction has negative engineering dimension and its dimensionless strength decreases under coarse graining; higher local powers and higher derivative terms also decrease. After absorbing analytic short-distance shifts into the coefficients, long-wavelength fluctuations are small compared with the ordered order parameter. The remaining coarse Landau free energy can therefore be evaluated at its stable saddle:The quartic stabilizer must still be retained for the ordered minimum even though it is dangerously irrelevant. Stationarity, $r_{R}M+g_R{M}^3/6=h$, gives the ordinary Landau-Ginzburg theory and its mean-field critical exponents. This derives the saddle approximation from decreasing fluctuation strength under the stated RG assumptions; it does not assume that every exact coarse-grained functional becomes a quartic polynomial. Below four dimensions the quartic coupling grows, long-wavelength loop corrections cease to be small, and the argument fails. At four dimensions the interaction is marginal and generates logarithmic corrections. The tuned sextic theory has the analogous boundary at three dimensions.

Use a consistent Fourier transform pair for the connected correlation function:The printed forward-transform expression integrates over $p$ while leaving $x$ free; that integration variable is an error. The above convention resolves it and produces the loop measure used below. At zero magnetization, $G_c(x)=⟨\varphi (0)\varphi (x)⟩$; otherwise the disconnected product of expectations must be subtracted.

In the inverse-propagator identity used here, the truncated two-point function means the full one-particle-irreducible two-point vertex, including its free quadratic part. This convention differs from using “truncated” for a connected cumulant. To derive the inverse relation, introduce $W[J]=\log Z[J]$, $\phi =\delta W/\delta J$ and the effective action $\Gamma [\phi ]=\int J\phi -W[J]$. Then $\delta \Gamma /\delta \phi =J$ and the chain rule gives ${\Gamma }^{(2)}{W}^{(2)}=1$. Since $W^{(2)}$ is the connected correlation function, translation invariance gives $\tilde{\Gamma }(p)=\tilde{G}(p{)}^{-1}$.

Now use canonically normalized coefficients, denoting the cutoff mass by $m_b^2=m^2(\Lambda ,T)$ and the renormalized infrared mass by $m_R^2=m^2(0,T)$. Choose the free propagator ${\tilde{G}}_0(p)=(p^2+m_R^2{)}^{-1}$ and put $\delta m^2=m_b^2-m_R^2$ in the interaction as a quadratic counterterm. With the Euclidean self-energy convention in which an insertion changes the connected propagator by $-G_0\Sigma G_0$, the perturbative series beginsThe self-energy sums one-particle-irreducible loop insertions; the explicit mass counterterm is kept separate. Repeated insertions generate the geometric Dyson resummation, which explains why reducible chains occur in $G$ but not as independent terms in its inverse. Beyond one loop a momentum-dependent self-energy and wave-function renormalization must also be included.

At one loop the only quartic two-point graph is the tadpole diagram. At a $g{\varphi }^4/4!$ vertex, attaching the two labeled external fields uses $4\cdot 3=12$ choices and contracts the remaining two fields together. The factor is $12/4!=1/2$. Equivalently this is the same quadratic term in the shell cumulant expansion above. ThusIt is positive for $g>0$ and independent of external momentum, so there is no one-loop gradient renormalization. The condition $\tilde{\Gamma }(0)=m_R^2$ implies $\delta m^2+\Sigma (0)=0$, henceThe cutoff is necessary: the unregulated integral is ultraviolet divergent for $D\ge 2$. Using the renormalized mass internally is a self-consistent one-loop organization, not an exact resummation of all critical fluctuations. With nonunit $\alpha$, this formula instead applies to $r=\alpha m^2$, $g_c={\alpha }^{2}g$ after canonical normalization of a scalar gradient term.

To test a linear thermal mass, approach the ordinary transition from the symmetric side and set $R=m_R^2>0$. For $D>2$ the massless tadpole is infrared finite. Subtract its critical value, absorb regular temperature dependence of the coupling into a nonzero thermal coefficient $A$, and write $m_b^2(T)-m_b^2(T_C)=A(T-T_C)+\cdots$. The one-loop critical-mass subtraction giveswhereFor $D>4$, $J_D(0)=c_D{\Lambda }^{D-4}/(D-4)$ is finite, so the bracket tends to a finite constant and $R\propto T-T_C$ is self-consistent. At $D=4$,and the growing logarithm obstructs an asymptotically constant linear coefficient at nonzero coupling. For $2<D<4$, put $k=\sqrt{R}q$ to obtainThe divergent bracket then invalidates the assumed linear thermal mass. The radial critical-mass subtraction in dimensions three to five gives explicit checks of all three behaviors. For $D\le 2$, the massless tadpole subtraction itself is infrared divergent; that failure of the Gaussian expansion does not prove absence of an interacting transition. Therefore the ordinary upper critical dimension is $D_C=4$, with the unmodified Landau-Ginzburg theory asymptotically justified by this test only for $D>4$. Exponents inferred by solving the self-consistent one-loop equation below four dimensions would not be exact interacting exponents.

For a tricritical point the renormalized quartic coefficient must be tuned to zero, and a positive sextic interaction stabilizes the order parameter. The gradient term gives the scalar field engineering dimension $(D-2)/2$. A coefficient of ${\varphi }^6$ therefore has dimension $D-6(D-2)/2=6-2D$, which becomes marginal at $D=3$. This gives $D_C^{\mathrm{tri}}=3$. A direct Ginzburg criterion reaches the same result: long-wavelength variance in a correlation volume iswhile the tricritical saddle has $M^2\sim |r{|}^{1/2}$. Their ratio scales as $|r{|}^{(D-3)/2}$, vanishing only above three dimensions. At three dimensions it is marginal; below three it grows. In contrast the ordinary saddle $M^2\sim |r|/g$ gives a ratio $g|r{|}^{(D-4)/2}$. Both calculations assume the thermal mass is measured relative to its shifted critical value. A sextic interaction generates quartic terms under coarse graining, so tricriticality requires tuning the renormalized quartic scaling field as well as the mass.

Use signature $(+,-,-,-)$ and electron charge $q=-e$, with $e>0$. Then ${\mathcal{L}}_{\mathrm{int}}=-q\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }=+e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. Write the process as $e^{-}(p,s)+\gamma (k,ϵ)\to e^{-}(p^{\prime },s^{\prime })+\gamma (k^{\prime },{ϵ}^{\prime })$. Physical external states satisfyand the photon polarization vectors obey $k\cdot ϵ=k^{\prime }\cdot {ϵ}^{\prime }=0$. Choose unit physical polarizations with ${ϵ}^{\ast }\cdot ϵ={ϵ}^{\prime \ast }\cdot {ϵ}^{\prime }=-1$; representatives differing by a multiple of the corresponding null momentum describe the same physical polarization. The external spinors obey $(/p-m)u(p)=0$, $\bar{u}(p^{\prime })(/p^{\prime }-m)=0$, with ${\bar{u}}_s{u}_r=2m{\delta }_{sr}$. Outgoing polarization appears complex conjugated, so this formula includes helicity states as well as real linear polarizations.

The needed QED Feynman rules are a vertex $-iq{\gamma }^{\mu }=+ie{\gamma }^{\mu }$, an internal Dirac propagator $i(/q+m)/(q^2-m^2+i0)$, the external spinors, and the incoming/outgoing photon polarization vectors. There is no internal photon at this order and no elementary two-photon–Dirac seagull vertex. The two photon orderings along the electron line give internal momenta $q_s=p+k$ and $q_u=p-k^{\prime }$. Defining the matrix element by $S_{fi}-{\delta }_{fi}=i(2\pi {)}^4{\delta }^4(p+k-p^{\prime }-k^{\prime })\mathcal{M}$, their sum isThe denominators are $2p\cdot k+i0$ and $-2p\cdot k^{\prime }+i0$. Both terms are essential; this is the tree-level Compton amplitude.

To prove the incoming Ward identity, replace $ϵ$ by $k$ and write $R(q)=(/q+m)/(q^2-m^2)$, with the Feynman boundary prescription understood. The physical nonzero-photon kinematics keeps these tree denominators off the electron pole. Sincethe external Dirac equations implyTherefore the two contracted terms are $\bar{u}(p^{\prime })/{ϵ}^{\prime \ast }u(p)$ and its negative, and cancel. By linearity,This is the two-photon fermion Ward identity. An analogous cancellation holds for the outgoing photon. Gauge-equivalent polarization representatives have the same scattering amplitude, so a longitudinal pure-gauge component is not an extra physical photon state. Individual diagrams do not generally satisfy this identity; their sum does.

For perturbative order, each elementary QED vertex has one photon leg. If $I_{\gamma }$ is the number of internal photon lines and $E_{\gamma }=2$, the vertex parity of a QED amplitude givesThus there is no third-order contribution. At fourth order, $V=4$ and, counting all three legs per vertex with four external legs, $I=(3V-4)/2=4$. A connected graph has loop number $I-V+1=1$.

The nonzero one-loop classes on the open electron line are an internal-electron self-energy insertion, a vertex correction at either external-photon vertex, and a virtual photon spanning both photon vertices, giving the four-point box class. The first figure sketches each class for one photon ordering; interchange the two external photon attachments for its crossed partner. This yields two internal-self-energy graphs, four vertex graphs and two spanning-box graphs. They use the usual photon propagator, for example $-i{g}_{\mu \nu }/({\ell }^2+i0)$ in Feynman gauge.

For completeness, one-loop diagram classes for Compton scattering also depend on whether one is drawing an unamputated correlation function or a physical amplitude. Electron self-energies can be attached to either external electron leg, and photon vacuum polarization can be attached to either external photon leg, for both photon orders. In an on-shell renormalized S-matrix, these are accounted for by LSZ reduction and external-field residues rather than counted again as independent amputated graphs. Photon-leg corrections are not vacuum-polarization insertions on an internal Born photon: there is no such Born line.

At the same fourth order, a renormalized calculation has one mass or electron-field counterterm on the internal electron line, or one vertex counterterm at either Born vertex; the crossed partners are included. Each counterterm is a relative order-$e^2$ correction to the order-$e^2$ tree amplitude. External-field normalization must follow the same convention.

A possible closed electron loop with three photon vertices, linked to the external electron line by a virtual photon, cancels between its two orientations by Furry's theorem. Transposing the loop and using $C^{-1}{\gamma }^{\mu }C=-({\gamma }^{\mu }{)}^T$ gives an extra sign $(-1{)}^3$, so its orientation-reversed partner is its negative. A one-photon tadpole likewise vanishes. Disconnected vacuum bubbles are removed by vacuum normalization. The first genuine radiative corrections are fourth order, with the internal self-energy, vertex and spanning-box classes and their consistently included renormalization terms.

The superficial degree of divergence is the power of a common large-momentum scale obtained by scaling all independent internal momenta together, before cancellations or subtraction of divergent subdiagrams. In a scalar field theory with a standard quadratic kinetic term and non-derivative interactions, each loop momentum integral supplies $d$ powers of momentum and each internal propagator supplies minus two. ThusFor a connected Feynman diagram, counting vertex half-edges and applying the stated identity for the loop order givesIt follows that $D=(d-2)L-2V+2$. Meanwhile, ${\sum }_n(n-4)V_n=2I+E-4V=2L-2V+E-2$. Substitution provesThis power counting in quantum field theory concerns the overall scaling: even a Feynman diagram with $D<0$ can contain divergent subdiagrams, and cancellations may improve convergence when $D\ge 0$.

The canonical mass dimensions are $[\varphi ]=(d-2)/2$ and $[g_n]=d-n(d-2)/2$. A finite polynomial scalar field theory has power-counting renormalizability when its interactions have nonnegative mass dimensions and the allowed local counterterms form a finite set closed under subtraction of divergent subdiagrams. For $d>2$, non-derivative interactions therefore satisfy $n\le 2d/(d-2)$. Equivalently,so adding vertices of such interactions cannot force an indefinitely increasing number of external legs or derivatives in divergent counterterms. In dimensions $d\le 2$ a fixed finite polynomial still has this favorable power counting in quantum field theory; the displayed upper bound on $n$ is intended only for $d>2$.

For six-dimensional cubic scalar field theory, $3V=2I+E$ and $L=I-V+1$ yieldThe coupling $g$ has zero mass dimension. The possible overall divergences have $E\le 3$: vacuum energy, a linear tadpole diagram term, a mass term, a kinetic term, and a cubic interaction. These are finitely many local counterterms. Divergent subdiagrams of higher-point Feynman diagrams are removed by the same counterterms, establishing perturbative renormalizability of cubic scalar theory in six dimensions. A real cubic potential is unbounded below, so this claim is one of perturbative quantum field theory, not a claim that the polynomial defines a stable nonperturbative vacuum.

After Wick rotation, use the Euclidean action with positive kinetic and mass terms and interaction $g{\varphi }^3/3!$. The Euclidean momentum-space Feynman rules are: an internal scalar propagator $1/(k^2+m^2)$, a vertex $-g$, momentum conservation at each vertex, integration $d^{6}k/(2\pi {)}^6$ for each independent loop, and division by the Feynman-diagram symmetry factor. Strip the overall momentum-conserving delta function and external propagators when computing an amputated Green's function.

The one-particle-irreducible two-point vertex at one loop is the bubble:

Interchanging its two internal lines is an automorphism, giving Feynman-diagram symmetry factor two. In the normalization of the printed Minkowski amputated Green's function, the two vertices contribute $(-ig{)}^2$, the two internal propagators contribute $(-i{)}^2$, and Wick rotation supplies the overall $i$ already factored out there. Thus the Euclidean bubble contribution isFor this self-energy calculation we impose a vanishing one-point function, so tadpole diagram insertions are canceled by the linear counterterm. Without that convention a connected but one-particle-reducible Feynman diagram with a tadpole insertion is also possible: both external legs attach to one vertex, a zero-momentum line joins it to a second vertex, and that second vertex has a self-loop. Its amputated contribution is $g^2/(2m^2)\int d^{6}k/[(2\pi {)}^6(k^2+m^2)]$, independent of $p$. It is not the bubble drawn above; keeping it without a tadpole subtraction would add this constant to the full amputated answer.

To find the bubble's local divergence, put $K=k^2+m^2$ and expand at large $|k|$:Odd terms vanish under the angular integral. Rotational symmetry gives $⟨(k\cdot p{)}^2⟩=k^2{p}^2/6$. The terms through order $p^2$ are thereforeand the $p^2$ coefficient approaches $-1/(3k^6)$. Terms of order $p^4$ and higher are integrable at infinity in six dimensions; subtracting the two displayed terms leaves an ultraviolet-convergent integral. Hence the divergent part is a local polynomial $A{p}^2+B$, with momentum-independent coefficients. For example, when $m^2>0$ its logarithmically divergent coefficient isChanging the reference scale in this logarithm only changes a finite local term.

At zero external momentum the spherical ultraviolet cutoff and $\mathrm{Vol}(S^5)={\pi }^3$ giveWith $u=k^2$, integrate $u^2/(u+m^2{)}^2=1-2m^2/(u+m^2)+m^4/(u+m^2{)}^2$. This gives the momentum-cutoff two-point function in six-dimensional cubic scalar theoryIn particular, the divergent part of this constant iswhile the last term in $B_{\Lambda }$ tends to a finite constant. For $m=0$ the zero-momentum integral gives $B_{\Lambda }=g^2{\Lambda }^2/(256{\pi }^3)$ directly. The finite parts of a local subtraction can depend on the regularization prescription; the conclusion about mass and kinetic counterterms does not.

The ultraviolet cutoff specifies which fluctuations remain explicit. Changing it integrates out some modes; to preserve long-distance predictions, their effect must be absorbed into the mass, interactions, and other couplings. Thus bare coefficients depend on $\Lambda$. The long-distance inverse connected correlation function has the form $\tilde{\Gamma }(p)\simeq Z^{-1}(p^2+{\xi }^{-2})$. After fixing the gradient normalization, the infrared mass is an inverse correlation length. With the question's unrescaled gradient coefficient, ${\xi }^{-2}=\alpha m^2$ at Gaussian level, so proportionality rather than literal equality is appropriate until that normalization is chosen.

As a concrete momentum-shell renormalization group step, split $\varphi ={\varphi }_{<}+{\varphi }_{>}$ into modes below $\Lambda /b$ and in the shell $\Lambda /b<|p|<\Lambda$, and defineThen rescale coordinates and the field to restore the cutoff and gradient coefficient. A local derivative expansion of $H_{\mathrm{eff}}$ gives new quadratic, quartic, and higher even couplings. If the system has short-range interactions, the field varies slowly, the effective potential is analytic, and remaining fluctuations are small, retaining the leading gradient and lowest stabilizing powers and minimizing the resulting functional gives Landau-Ginzburg theory. Suppressing the omitted fluctuations is the substantive Landau approximation; it is justified sufficiently far from the narrow fluctuation region or above the appropriate upper critical dimension.

The truncated two-point function in this question is the one-particle-irreducible two-point vertex, $\tilde{\Gamma }(p)=\tilde{G}(p{)}^{-1}$. It is the Hessian of the Legendre effective action, not merely the connected two-point function. In perturbation theory,Here ${\tilde{G}}_0$ is the Gaussian propagator about the chosen reference mass, $\delta m^2$ is the mass counterterm or bare-to-reference mass shift, and $\Sigma$ is the interaction self-energy, computed from proper diagrams. Fix the gradient normalization so ${\tilde{G}}_0(p)=(p^2+M^2{)}^{-1}$, and choose the infrared reference mass $M^2=m^2(0,T)$. Then $\delta m^2=m^2(\Lambda ,T)-M^2$ at this order. The mass renormalization condition is $\tilde{\Gamma }(0)=M^2$.

At one loop the only two-point diagram is the quartic tadpole diagram. There are $4\cdot 3$ choices for attaching its two external lines, leaving the other pair contracted; dividing by $4!$ gives its factor $1/2$. It is independent of external momentum, soThe renormalization condition therefore gives the self-consistent one-loop equationUsing $M$ inside the loop is a self-consistent resummation; replacing it by the bare mass gives the same formal first-order expansion away from infrared problems.

Subtract the equation at $T_c$, where $M=0$, and absorb regular temperature dependence of $g$ into the thermal coefficient. Let $\tau =m^2(\Lambda ,T)-m^2(\Lambda ,T_c)\propto T-T_c$ and $I(M)={\int }_{|q|<\Lambda }{d}^{D}q/(2\pi {)}^D(q^2+M^2{)}^{-1}$. ThenFor $D>4$, the integral divided by $M^2$ tends to a finite cutoff-dependent constant, since its small-momentum radial integrand is $q^{D-5}$. Thus $\tau$ is proportional to $M^2$, consistent with the Landau prediction. For $2<D<4$, set $q=Mz$: the correction instead scales as $M^{D-2}$ and dominates $M^2$. At $D=4$ it is proportional to $M^2\log (\Lambda /M)$. Hence a pure linear Landau mass law without logarithmic modification is consistent only aboveFor $D\le 2$, the massless integral itself is infrared divergent, so the subtraction already needs additional care. The sub-four-dimensional self-consistent approximation locates the breakdown of mean-field behavior; it is not an exact calculation of interacting critical exponents.

At a tricritical point the quartic coupling is tuned away and the leading stabilizing interaction is $g_6{\varphi }^6$. At the Gaussian fixed point, the field has engineering dimension $(D-2)/2$, so the sextic coefficient rescales as $g_6^{\prime }=b^{D-3(D-2)}{g}_6=b^{6-2D}{g}_6$. It changes from irrelevant to relevant atThis is the sextic case of the upper critical dimension of an even scalar interaction; marginality at three dimensions allows logarithmic corrections.

Use the metric signature $(-,+,\dots ,+)$, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the weight $e^{iS}$. The momentum-space Feynman rules for the massless Phi-fourth theory are: an internal scalar line contributes $-i/(k^2-iϵ)$; a quartic interaction vertex contributes $-i\lambda$ with its momentum-conservation delta function; every independent loop is integrated with $d^{d}k/(2\pi {)}^d$; and each graph is multiplied by its Feynman-diagram symmetry factor. All external momenta can be taken incoming. These rules follow by expanding the interaction exponential and contracting free fields with the Wick theorem.

For a connected graph with $I$ internal lines, $V$ interaction vertices and $L$ loops,Here $D$ is the superficial degree of divergence. In four dimensions,Odd $n$ vanish by Z2 symmetry. Thus only the nonvacuum two-point and four-point one-particle-irreducible Feynman diagrams can have overall ultraviolet divergences: degree two for $n=2$, degree zero for $n=4$. Vacuum graphs with $n=0$ may also diverge but cancel from normalized correlators. This is an overall power-counting statement; subgraphs must be subtracted before using it to conclude finiteness for $n\ge 6$.

For the full one-particle-irreducible vertices, the tree-level quadratic kernel and quartic interaction giveIf ${\hat{\tau }}_2$ is instead reserved for interaction-generated self-energy insertions, its tree value is zero and $-p^2$ is displayed separately as the free inverse kernel. The distinction is only that convention; the loop insertions below are unchanged.

The requested one-loop diagrams are the two-point tadpole diagram and the three four-point bubble diagrams. Each has symmetry factor $1/2$. The three bubble channels correspond to $P_s=p_1+p_2$, $P_t=p_1+p_3$, $P_u=p_1+p_4$.

The tadpole insertion obeysIn massless dimensional regularization this scaleless integral is zero. A mass or cutoff regulator exposes the ultraviolet divergence allowed by power counting; its vanishing in the scaleless convention does not remove the need to include this diagram.

For a bubble, the vertex and quantum field theory propagator factors give $(-i\lambda {)}^2(-i{)}^2/2={\lambda }^2/2$. The PDF defines $f$ with the factor $1/i$ outside the Minkowski integral, so the integral itself is $if(P^2)$. ThereforeThe converted TeX misplaces this $i$ as though it were part of the exponent of $(2\pi )$; keeping the printed $1/i$ is essential to this real pole coefficient.

For nonexceptional Euclidean external momentum, Wick rotation cancels that factor $1/i$. Use a Feynman parameter and translate the integration variable:For example, represent the inverse square as ${\int }_0^{\infty }d\alpha \alpha e^{-\alpha ({\ell }^2+\Delta )}$, do the Gaussian momentum integral, and then use the Gamma function. This also derives the formula rather than assuming a loop-integration table. At $d=4-\epsilon$, $\Gamma (\epsilon /2)=2/\epsilon +O(1)$ and the parameter integral tends to one, givingTake $P^2>0$ before continuation back to Minkowski momenta. At $P=0$, a massless scaleless integral mixes ultraviolet and infrared issues, so it cannot be used to read off this pole.