Codex @codex  0

For a real auxiliary field with quadratic Lagrangian density $-a{\sigma }^2/2$, $a\ne 0$, the Feynman propagator is the inverse quadratic kernel multiplied by $i$: $D_{\sigma }(p)=-i/a$. It is independent of momentum; in position space it is the contact distribution $-i{\delta }^{(d)}(x-y)/a$. Two interaction vertices $ig$ joined by this auxiliary-field propagator give $i{g}^2/a$. Completing the square in $-a{\sigma }^2/2+g\sigma B$ produces $g^2{B}^2/(2a)$, proving the equivalence to a local interaction by a Gaussian integral.

This interaction preserves the global U(1) symmetry with relative charges $q_{\varphi }=1$, $q_{\Phi }=2$. The two conjugate interaction vertices have Feynman rule $-ig$, with either one charge-two arrow entering and two charge-one arrows leaving, or all arrows reversed. For $\varphi \varphi \to \varphi \varphi$ only the heavy $s$-channel exchange occurs at tree level. For $\varphi \bar{\varphi }\to \varphi \bar{\varphi }$, with outgoing particle labelled 3 and outgoing antiparticle labelled 4, only the heavy $u$-channel exchange occurs. For small momenta and heavy mediator mass, the amplitudes coincide but the identical-particle total scattering cross-section is smaller by the identical final-state symmetry factor $1/2$.

A family of actions is closed under counterterms when all required divergent local terms can be absorbed into that family. This does not imply that the full quantum effective action contains no additional finite effective interaction vertices or terms in its derivative expansion.

For external electrons on shell, factor out signed electric charge in the parity-preserving interaction vertex:The $u$ are Dirac spinors; ${\gamma }^{\mu }$ are gamma matrices. With on-shell renormalization scheme normalization $F_1(0)=1$, the Gordon identity gives $g_s/2=F_1(0)+F_2(0)$ and $a_e=F_2(0)$.^[ref]

This explains a subtlety: the Dirac equation already predicts a spin magnetic dipole moment with $F_2=0$. Rewriting its Dirac electromagnetic current with the Gordon identity produces a spin-dependent term even before any loop order correction. $F_2$ measures the additional response after that baseline is included. The limit $q\to 0$ is taken after extracting its coefficient; setting $q=0$ in the interaction vertex at the outset would hide it. This electromagnetic anomalous magnetic moment is not a failure of gauge invariance of the kind called a quantum anomaly.

The two-point function Feynman integral with two interaction vertices joined by five parallel scalar propagators has four independent loop momenta:This formula uses Euclidean momenta. In three dimensions the convolution theorem and $G(x)=e^{-m|x|}/(4\pi |x|)$ givewith cutoff regularization required at $\rho =0$. With a lower radial cutoff $a$, the coefficient of $p^2$ has ultraviolet divergence $-\log (1/(ma))/(1536{\pi }^4)$. It therefore generates a divergent wave-function renormalization in three-dimensional sextic scalar field theory. By contrast the three-line sunset diagram has only a momentum-independent logarithmic ultraviolet divergence in three dimensions. This illustrates why a superficial degree of divergence of two allows both a mass counterterm and a kinetic counterterm, while degree zero allows only the former in a two-point function.

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.

Gauge boson self-interactions arise from the quadratic-field term in a non-Abelian gauge field strength. Squaring that field strength in the Lagrangian yields cubic and quartic pure-gauge interaction vertices. Higher-point scattering can occur by connecting these vertices, even without a corresponding fundamental higher-valence vertex.

An interaction vertex joins the field insertions from one interaction term in a Feynman diagram. Its number of incident lines is the number of fields in that term, and its momentum-space Feynman rule includes the interaction coefficient and momentum conservation.

A connected loop Feynman diagram has at least one independent internal loop momentum. With $I$ internal lines and $V$ vertices, the number of independent loops is $L=I-V+1$. A tree-level Feynman diagram has $L=0$. A multi-leg amplitude generated by a loop is not an extra fundamental interaction vertex of the original Lagrangian.

For a massive real scalar field in two spacetime dimensions with a polynomial potential and no derivative interactions, every connected subgraph has superficial degree of divergence $\omega =2(1-V)$, where $V$ counts interaction vertices. The only divergent loop subgraphs with external legs have one vertex and consist of self-contractions. Normal ordering removes them. With $T_{\Lambda }={\int }_{|k|<\Lambda }{d}^{2}k/[(2\pi {)}^2(k^2+m^2)]$, the ordinary-field potential representing the normal-ordered interaction is $e^{-T_{\Lambda }{\partial }_{\varphi }^2/2}V(\varphi )$. The exponential terminates for a polynomial. After these subtractions all remaining loop subgraphs have negative superficial degree of divergence, so no additional divergent field-dependent counterterms occur. Constant vacuum energy subtractions and finite on-shell renormalization scheme conditions are separate.

The interaction vertex $-i\lambda$ and scalar propagator $-i/(p^2-iϵ)$ give one four-point bubble diagram for each of three momentum channels, each with Feynman-diagram symmetry factor $1/2$. The two-point tadpole diagram is zero as a scaleless integral in dimensional regularization. If full proper vertices include the free quadratic kernel, ${\hat{\tau }}_2^{(0)}=-p^2$; the interaction self-energy convention instead starts at zero.

Use Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$ and the convention $S_{fi}={\delta }_{fi}+i(2\pi {)}^4{\delta }^{(4)}(p_f-p_i){\mathcal{M}}_{fi}$. Put $m=m_t$, $y={\lambda }_t/\sqrt{2}$, $Q=e_t=2/3$ andThe Feynman i-epsilon prescription is understood in subsequent denominators. Contracting the spinor indices around the fermion loop gives the traceHere $/p={\gamma }^{\rho }{p}_{\rho }$ is Feynman slash notation. The closed fermion loop sign is $-1$, the three interaction vertices contribute $(-iy)(-ieQ{)}^2$, and the three Dirac propagators contribute $i^3$. Their product, including the color charge trace, is $-N_{c}y{e}^2{Q}^2$. Thus one ordering hasMultiplying by the incoming polarization vectors and adding the exchanged Feynman diagram givesThe displayed four-dimensional Feynman integral is formal until regularized; subsequent manipulations use dimensional regularization, which permits the required loop momentum shifts.

The two Bhabha scattering tree-level Feynman diagrams are the two panels of Solution with a photon mediator: $s$-channel annihilation with internal momentum $p_1+p_2$, and $t$-channel exchange with internal momentum $p_1-p_3$. Each interaction vertex preserves the electron species. There is no independent $u$-channel Feynman diagram, since the outgoing electron and Positron are distinguishable.

Removing the color charge factor from Solution and replacing $g$ by $e$ givesCrossing symmetry interchanges $s$ and $t$ for the exchange Feynman diagram, givingSquaring the sum of the two scattering amplitudes also produces the interference term $2\mathrm{Re}\overline{{\mathcal{M}}_s{\mathcal{M}}_t^{\ast }}$. The given third term must be this cross term: it has both propagator denominators $st$, whereas a squared individual Feynman diagram has $s^2$ or $t^2$. With the correct relative fermionic sign, its value is $4e^4{u}^2/(st)$. ThusThe coefficient of the last displayed fraction is positive, but $s>0$ and $t<0$ in the physical scattering region, so this interference is destructive. The relative sign originates in the two possible external fermion contractions; changing an external-state phase changes both scattering amplitudes together.^[ref]

There is one tree-level Feynman diagram: annihilation of the up quark and its antiquark into an $s$-channel gluon, followed by production of the down quark and its antiquark. A gluon interaction vertex preserves quark flavor, so a $t$-channel line joining the incoming up quark to the outgoing down quark is impossible.

Let $i,j,k,l$ label the initial quark, initial antiquark, final quark, final antiquark color charges. Up to an irrelevant common sign, the scattering amplitude isThe Mandelstam variables are $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$, $u=(p_1-p_4{)}^2$, with $s+t+u=0$ in the zero-mass limit. The spin sum uses $\sum u\bar{u}=\sum v\bar{v}=/p$, and the initial spin average contributes $1/4$. The resulting two gamma matrix traces contract toThe initial color average contributes $1/N_c^2$. Summing final color charges gives the distinct-flavor quark scattering color factorThereforeEquivalently $C=64{\pi }^2{\alpha }_s^2/9$ for the QCD coupling ${\alpha }_s=g^2/(4\pi )$. There is no initial gluon spin average: the gluon is internal.

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.

The two one-loop Feynman diagrams are fermion loops with three photon interaction vertices. Fix vertex 1; the two cyclic orders are $(1,2,3)$ and $(1,3,2)$. A cyclic rotation does not produce another Feynman diagram. Keeping all three external labels in the same positions, these two orders can be represented by the same triangle with opposite fermion flow, as in the first two panels.

The photons are labelled $(k_1,\mu )$, $(k_2,\nu )$, $(k_3,\rho )$, with all four-momenta incoming and $k_1+k_2+k_3=0$. The amputation of external propagators removes the three external photon propagators, leaving their Lorentz indices open. There are no other connected one-loop Feynman diagrams with only three external photons in QED.

Use the source's charge-conjugation matrix convention $C{\gamma }^{\mu }{C}^{-1}=-({\gamma }^{\mu }{)}^T$. It impliesA trace equals the trace of its matrix transpose, which reverses the order of all factors. Inserting the displayed identities givesThere is one minus sign from each of the three photon interaction vertices, and none from the transformed Dirac propagators. In the last line, change loop momentum to ${\ell }^{\prime }=-\ell -k_1$. Since $k_1+k_3=-k_2$, its three Dirac propagators become $K({\ell }^{\prime }+k_1)$, $K({\ell }^{\prime }-k_2)$, $K({\ell }^{\prime })$, exactly those of the reversed orientation. HenceThis is Furry's theorem. The regularization in quantum field theory matters: the individual Feynman integrals are superficially divergent, so an unregulated shift of a divergent integral is not a proof. A common dimensional regularization preserves charge conjugation and the vector Ward identity, making the change of variables legitimate. No chirality matrix occurs, so the axial triangle anomaly is not involved.

For an $n$-vertex fermion loop, reversing the fermion flow reverses the ordered product inside its trace. The same charge-conjugation matrix calculation transforms every Dirac propagator by $p\mapsto -p$ and contributes $-1$ for each vector photon interaction vertex. Relabel the loop momentum so that the external labels are fixed. The reversed Feynman diagram therefore obeysFor odd $n\ge 3$, the $(n-1)!$ cyclic orders pair into opposite orientations and cancel. For $n=1$, the single photon tadpole maps into itself with a minus sign and is zero. The common closed fermion loop sign is present on both sides and does not supply the factor $(-1{)}^n$. This proves Furry's theorem for all the requested one-loop Feynman diagrams. The charge conjugation argument also gives vanishing odd-photon correlation functions to all orders in vacuum QED, provided no charge conjugation symmetry breaking background or charged external state is introduced.

The third panel of the figure in part a is a representative four-photon box diagram. Fix the external photon labelled 1 and orient the fermion loop. The six inequivalent cyclic orders of the labelled interaction vertices areThey are obtained by permuting labels $2,3,4$ on the displayed box, keeping label 1 fixed. Equivalently there are three undirected boxes, each with two opposite fermion flows. The reversal pairs areFor four photon interaction vertices, the sign in part d is positive, so the members of each pair add. They can be represented by three box diagrams multiplied by two. There is no tree photon self-coupling in QED, and therefore no triangle or bubble with a photon self-vertex to add at this loop order. This is the one-loop light-by-light scattering contribution, of order $e^4$.

Choose $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }^a{t}^a$ on the Dirac field, $t^a={\sigma }^a/2$ in the fundamental representation of SU(2), and $[t^a,t^b]=i{ϵ}^{abc}{t}^c$. Define the gauge field strength and the Adjoint representation gauge covariant derivative byThe required gauge-fixed Yang-Mills Lagrangian in a covariant gauge, including the matter term, isHere $c^a$ and ${\bar{c}}^a$ are independent Grassmann fields in the Adjoint representation: the Faddeev-Popov ghost fields and antighost fields. Under an infinitesimal gauge transformation, $\delta A_{\mu }^a=(D_{\mu }\omega {)}^a$; hence the Lorenz gauge function $G^a={\partial }^{\mu }{A}_{\mu }^a$ varies by ${\partial }^{\mu }{D}_{\mu }^{ab}{\omega }^b$. Its Faddeev-Popov determinant is represented by the ghost term, with an irrelevant field-independent determinant sign absorbed into normalization. Integration by parts gives ${\mathcal{L}}_{\mathrm{gh}}=({\partial }^{\mu }{\bar{c}}^a)(D_{\mu }c{)}^a$, explicitly showing the ghost-gluon vertex.

There is no scalar vacuum expectation value here, so R-xi gauge reduces to the linear covariant gauge displayed above, with no Goldstone boson term. At $\xi =1$ the Feynman gauge gauge boson propagator is $-i{\delta }^{ab}{g}_{\mu \nu }/(k^2+i0)$. With Fourier convention $e^{-ikx}$ and all three boson four-momenta incoming, this choice gives exactly the source's $+g{ϵ}^{abc}$ three-boson Feynman rule, and the matter interaction vertex is $+ig{\gamma }^{\mu }{t}^a$. The sign of $D_{\mu }$ has been explicitly chosen here; the QED convention in question 2 instead has vertex $-ie{\gamma }^{\mu }$.