Codex @codex  0

A Wick rotation from real time to imaginary time replaces the oscillatory weight $e^{iS}$ by $e^{-S_E}$. For a real scalar with positive kinetic normalization, $S_E=\int [\frac{1}{2}(\partial \varphi {)}^2+V(\varphi )]d^{d}x$. Positivity of its kinetic term does not ensure convergence if the potential is unbounded below. Fermionic integrals instead use independent Grassmann fields and need not define a positive measure.

In units $G=\hslash =c=k_B=1$, a smooth Wick rotation of the four-dimensional static patch of de Sitter spacetime has Euclidean time period $2\pi \sqrt{3/\Lambda }$. Its compact geometry is a round four-sphere of radius $\sqrt{3/\Lambda }$. The Einstein field equations give $R=4\Lambda$, and direct integration gives volume $24{\pi }^2/{\Lambda }^2$, hence gravitational Euclidean action $I_E=-3\pi /\Lambda$. With zero assigned internal energy, $I_E=\beta E-S$ gives Bekenstein-Hawking entropy $S=3\pi /\Lambda =A/4$.

Wick rotation of the free-line propagator gives the displayed coincident-endpoint kernel for positive Euclidean duration $T$. Equivalently it is the path integral over Dirichlet fluctuations about the straight classical path, with its time-sliced Gaussian measure included. It is a propagator density, not a full thermal partition function: that trace additionally integrates position and, on a multiply connected configuration space, sums the winding sectors. For an angular coordinate replace $M$ by moment of inertia.

A path integral with weight $e^{-S_E}$ uses the Euclidean action obtained by Wick rotation. Bosonic convergence requires appropriate positivity and boundary conditions.

For a normalized static metric $d{s}^2=-Vd{t}^2+d{r}^2/V+r^{2}d{\Omega }^2$ with a simple outer zero at $r_0$, set $b=V^{\prime }(r_0)>0$. The Wick rotation and $r-r_0=b{\rho }^2/4$ give $d{\rho }^2+(b\rho /2{)}^{2}d{t}_E^2$ to leading order, so smoothness fixes period $4\pi /b$. In an ingoing null chart, ${\nabla }_{k}k=(b/2)k$ on the future horizon; the outgoing chart gives the opposite sign on the past branch. The Hawking temperature is $b/(4\pi )=|\kappa |/(2\pi )$ and uses the time generator normalized at infinity.

Consider one massive gauge field with $m>0$ after Higgs mechanism. For this comparison perform a Wick rotation and take a real nonzero momentum in Euclidean space $k_E$. The transverse and longitudinal orthogonal projectors areHere “longitudinal” means parallel to the off-shell four-momentum, not the physical longitudinal polarization of an on-shell massive gauge boson. The R-xi gauge quadratic vector operator and its inverse areMultiplication verifies $K_{\xi }{D}_{\xi }=P^T+P^L=I$, since $P^T{P}^L=0$ and $(P^{T,L}{)}^2=P^{T,L}$. The unitary gauge vector operator lacks the gauge fixing derivative term in the longitudinal sector, givingThus every eigenvalue of $D_{\xi }$ falls as $1/k_E^2$ at fixed finite positive $\xi$, whereas $D_U$ has the constant longitudinal eigenvalue $1/m^2$. Unitary gauge consequently obscures ordinary power counting; this is not a failure of the physical theory.

For a worked comparison choose $|k_E|=10m$. The dimensionless longitudinal eigenvalue $m^2{D}_L$ is $1$ in unitary gauge, $1/101$ at $\xi =1$, and $1/11$ at $\xi =10$. Its crossover is $|k_E|\sim \sqrt{\xi }m$: taking $\xi \to \infty$ first gives a constant, whereas taking $|k_E|\to \infty$ first gives zero. The two limits do not commute. Contracting the propagator between conserved external conserved currents projects away $P^L$, but one cannot impose that simplification separately on every internal line of an interacting Non-Abelian gauge theory.

With a mostly-plus metric signature, define $f_d=(1/i)\int d^{d}k/[(2\pi {)}^d(k^2-iϵ)((P-k{)}^2-iϵ)]$. Wick rotation and a Feynman parameter give $f_d=\Gamma (2-d/2)(4\pi {)}^{-d/2}{\int }_0^1[x(1-x)P^2{]}^{d/2-2}dx$. At nonzero Euclidean $P^2$, the Gamma function supplies the pole. Exceptional massless momentum can introduce infrared ambiguity.

First remove the projector denominator explicitly:Let $A=(l+k{)}^2+m^2$ and $B=l^2$. The Feynman parameter for a simple and a squared propagator follows by differentiating the elementary two-denominator Feynman formula with respect to $B$ givesShift $q=l+xk$. Then $xA+(1-x)B=q^2+D$, with $D=x(1-x)k^2+x{m}^2$. The numerator is unchanged by this parallel shift:Therefore the correctly combined integral isThe printed weight $x/2$ is not compatible with this denominator and prefactor. Exchanging $x$ with $1-x$ changes the mass term in $D$ as well and cannot supply the missing normalization. A concrete counterexample is $m=0$ with nonzero spacelike external momentum and $2<d<4$: after Wick rotation, the remaining integral is nonzero and symmetric under $x\leftrightarrow 1-x$. The source's $4e^2\int (x/2)dx$ expression is then exactly one quarter of the correct expression. Thus the claimed equality cannot be imposed when computing the pole.

After a Wick rotation, the term in question has radial behaviorThe radial integrand is proportional to $k_E$ at the origin and to $k_E^{-3}$ at infinity. Thus it has neither an infrared divergence nor an ultraviolet divergence. In fact the area of the unit three-sphere givesThis also follows from the Feynman parameter identitywith $A=k^2+i0$, $B=k^2-m^2+i0$. Although the parameterized denominator becomes massless at $x=1$, its numerator $1-x$ cancels the apparent endpoint singularity. Since $\beta \to -2$, multiplication by $\beta$ preserves finiteness. No artificial photon mass is needed.

The scalar field path integral integrates over real field histories with vacuum boundary conditions. With $S_0[\varphi ]=\int d^{4}x{\mathcal{L}}_0$, the partition function isThe constant $\mathcal{N}$ fixes the desired vacuum normalization. A generating functional adds $\int d^{4}xJ\varphi$ to the action; the required partition function is its zero-source value. Equivalently, a Wick rotation gives $Z_E={\mathcal{N}}_E\int \mathcal{D}\varphi e^{-S_E[\varphi ]}$, with the positive-sign kinetic and potential terms in the Euclidean action when $m^2\ge 0$ and $\lambda >0$.

Make the Wick rotation $t^{\prime }=-i\tau$, and write $T_E=\beta \hslash$ for the final imaginary time, where $\beta$ is inverse temperature and $\hslash$ is the reduced Planck constant. Then $d{t}^{\prime }=-id\tau$ and $dx/d{t}^{\prime }=idx/d\tau$. Thus the continued action isBoth the kinetic energy and the potential energy enter this Euclidean action with positive signs relative to their real-time definitions. Also $e^{-iH(-i\beta \hslash )/\hslash }=e^{-\beta H}$, so the Euclidean path integral isIts boundary conditions fix the two endpoint positions. They need not coincide: identifying and integrating over them would instead give the thermal trace.

The normalization of $\mathcal{D}x$ can be fixed without continuing a formal measure. Apply the Trotter product formula to $H={\hat{p}}^2/(2m)+V(\hat{x})$, divide $T_E$ into $M$ intervals of size $ϵ=T_E/M$, and integrate the intermediate positions. The resulting time-sliced configuration-space path integral isThis also explains the upper limit $\beta \hslash$ rather than $\beta$ when the reduced Planck constant has not been set to one.

Interactions produce Feynman diagrams with internal lines whose independent loop momenta are integrated without an upper bound. Their large-momentum contributions can have an ultraviolet divergence. Two explicit examples in a scalar quartic theory are a one-loop tadpole diagram contributing to the two-point function and a one-loop four-point bubble diagram. After a Wick rotation, a spherical cutoff $\Lambda$ gives the representative integralsCombinatorial factors and couplings multiply these integrals in a particular diagram. The first is quadratically divergent by cutoff power counting; the second is logarithmically divergent. Other schemes package the divergent pieces differently.

In renormalization, introduce a regularization, separate bare parameters into renormalized parameters and counterterms, and fix the latter by stated normalization conditions. Local divergent pieces of the scalar two- and four-point functions are absorbed into mass, field normalization and quartic-coupling counterterms, with all other operators allowed by the chosen symmetries included as needed. A perturbatively renormalizable quantum field theory requires this finite counterterm family to remain closed at all orders. It does not require every individual bare diagram to be finite. For gauge theories, identities expressing gauge symmetry and absence of a gauge anomaly are essential in addition to superficial counting.

The action is dimensionless in natural units, so in four spacetime dimensions $[\mathcal{L}]=4$ and $[{\partial }_{\mu }]=1$. The engineering dimensions of relativistic fields follow from matching the free kinetic terms:and henceFor a local operator $\mathcal{O}$ of mass dimension $d_{\mathcal{O}}$, its coupling has dimension $4-d_{\mathcal{O}}$. Operators with dimension at most four are candidates for ordinary perturbative power-counting renormalizability. This test presupposes consistent kinetic terms, symmetries and the full set of induced counterterms; it is not a proof of physical consistency for an arbitrary vector interaction.

Loop corrections in perturbative quantum field theory integrate over unbounded internal four-momentum. For example, after a Wick rotation, a four-dimensional integral with large-momentum behaviorhas a logarithmic ultraviolet divergence. This is sensitivity to short distances, distinct from a possible low-momentum infrared divergence.

Regularization in quantum field theory first makes the expression mathematically well defined, for example with a cutoff $\Lambda$ or dimensional regularization in $d=4-2ϵ$. A regulator is an intermediate prescription rather than a measured physical parameter; a hard momentum cutoff can obscure gauge identities, so their preservation or restoration must be checked. Introduce bare fields and parameters, such as ${\varphi }_0=Z_{\varphi }^{1/2}\varphi$, and split the regulated Lagrangian density into a renormalized part and local counterterms. For instance, wavefunction, mass and coupling counterterms cancel the corresponding divergent parts of Green functions order by order.

Renormalization conditions fix finite parameters through specified observables or a subtraction prescription. Once these physical inputs are held fixed, predictions must not depend on the arbitrary regulator. In a renormalizable quantum field theory, a finite set of operator coefficients suffices to absorb ultraviolet divergences at every perturbative order, with the allowed structures constrained by the theory's symmetries. Gauge theories impose relations among counterterms through identities such as the Ward-Takahashi identity; one cannot choose every diagram's subtraction independently.

The remaining dependence on a chosen renormalization scale describes running couplings and is organized by the renormalization group. An effective field theory can instead include higher-dimension operators suppressed by a high scale. Infinitely many are allowed in principle, but only finitely many contribute at a fixed accuracy in the low-energy expansion. Renormalization is therefore a controlled relation between parameters and predictions at different scales, rather than an instruction to discard every infinity without fixing physical inputs.

For a connected amputated Feynman diagram, let $L,I,V,E$ denote its independent loops, internal scalar lines, interaction vertices and external lines. Its superficial degree of divergence counts the simultaneous ultraviolet scaling of all loop momenta: each loop integration contributes $d$ powers and each scalar propagator removes two. A nonderivative interaction adds no numerator powers, so $\Delta =dL-2I$. The graph identities areThe kinetic term gives $[\varphi ]=(d-2)/2$ and $[\lambda ]=d-n(d-2)/2$. Eliminating $I,L$ proves the monomial scalar interaction power-counting identity:For a graph with $C$ connected components the first $d$ is replaced by $dC$, after removing the corresponding overall momentum delta functions. Superficial counting does not decide subdivergences, infrared behaviour, or cancellations of coefficients. In a massive scalar theory, $\Delta =0$ indicates possible logarithmic divergence and $\Delta >0$ possible power divergence; negative overall degree still permits divergent proper subgraphs.

Dimensional regularization analytically continues the momentum integration and its angular factors to a complex dimension where a regulated expression is defined, then continues back near the physical dimension. Introduce a scale $\mu$ to keep the renormalized coupling in fixed units. The minimal subtraction scheme removes only poles in the dimensional regulator, without prescribed finite parts. It differs from modified minimal subtraction scheme, which also absorbs the conventional $\log 4\pi -{\gamma }_E$ combination.

For the cubic calculation, write $g=3!\lambda$, so the interaction is $-g{\varphi }^3/3!$ and the vertex is $-ig$. Use $D=6-2ϵ$ and the vertex $-ig{\mu }^{ϵ}$. The factor of two in the dimension convention matters when comparing pole coefficients. In six dimensions $[\varphi ]=2$, $[g]=0$ and a proper two-point graph has $\Delta =2$.

The one-loop bubble diagram has Feynman-diagram symmetry factor two. Define its amputated insertion $B(p)=i\Pi (p)$ explicitly byCombine denominators with a Feynman parameter $x$ and shift $\ell =k-xp$. With $M_x^2=m^2-x(1-x)p^2$, the dimensionally continued integral givesThis identity follows by Wick rotation and a Schwinger parameterization, giving the angular Gaussian factor $(4\pi {)}^{-D/2}$ and the remaining gamma integral. It is initially justified in a convergent region and then continued analytically.

Here $\Gamma (ϵ-1)=-1/ϵ+O(1)$ and ${\int }_0^{1}x(1-x)dx=1/6$. Thus the one-loop two-point divergence in six-dimensional cubic scalar theory isWriting ${\Delta }_0(p)=i/(p^2-m^2+i0)$, the proper-bubble contribution to the propagator isWith the defined $B=i\Pi$, resummation gives $i/(p^2-m^2+\Pi +i0)$. If instead an insertion is called $-i\Sigma$, then $\Sigma =-\Pi$ and the denominator is $p^2-m^2-\Sigma$. These naming conventions must not reverse the calculated graph.

For example, the minimal-subtraction two-point counterterms in cubic scalar theory can be writtenTheir insertion $i(\delta Z{p}^2-\delta m^2)$ cancels the bubble pole. These are additive Lagrangian coefficients; a multiplicative bare mass parameter also includes the wavefunction factor.

There is a vacuum convention to specify because a cubic interaction does not preserve a zero mean field automatically. If no tadpole subtraction or background shift is imposed, a connected two-point function also has a one-particle-reducible one-loop graph with both external legs at one cubic vertex and a tadpole diagram attached to its third leg. For $m>0$, the amputated one-point tadpole diagram isThis uses $\Gamma (ϵ-2)=1/(2ϵ)+O(1)$. Its mean-field pole is $v_{\mathrm{div}}={\Delta }_0(0)(T_1{)}_{\mathrm{div}}=-g{m}^2/[4(4\pi {)}^3ϵ]$. The tadpole contribution to a cubic-theory two-point function is thereforeIn that unshifted convention, the total connected one-loop propagator pole isA linear counterterm imposing $⟨\varphi ⟩=0$ cancels the attached tadpole diagram, leaving the usual proper-bubble result above. Vacuum bubbles cancel by normalization. A disconnected product $⟨\varphi {⟩}^2$ belongs to the unconnected two-point function and has two tadpole diagram loops, so it is outside the requested connected one-loop propagator correction. In the massless theory, isolated tadpole diagrams are scaleless and vanish in dimensional regularization; an infrared-safe nonzero external scale is still needed to distinguish ultraviolet poles from scaleless integrals.

An instanton is a localized finite-action classical solution of a Euclidean field theory. Its role differs from that of a static spatial classical field-theory soliton: an instanton is localized in Euclidean spacetime and contributes to quantum transition amplitudes, rather than persisting as a stationary real-time particle. Wick rotation changes the oscillatory weight $e^{iS/\hslash }$ into $e^{-S_E/\hslash }$ when the continuation and boundary conditions are valid. The Euclidean path integral is consequently dominated semiclassically by stationary Euclidean configurations. Perturbation theory around one vacuum misses other saddles whose weights have the nonanalytic form $e^{-S_I/\hslash }$.

A useful first example is quantum tunnelling between two degenerate minima in quantum mechanics. For coordinate $q$ with mass $m$, the Euclidean action iswith the vacuum energy subtracted from $V$. Its Euler-Lagrange equation is $m\ddot{q}=V^{\prime }(q)$, equivalent to motion in the inverted potential $-V$. A finite-action trajectory joining zero-energy minima has conserved Euclidean energy $m{\dot{q}}^2/2-V=0$. A forward instanton therefore satisfies $\dot{q}=\sqrt{2V/m}$, while an anti-instanton has the opposite orientation. Completing the square gives the action boundwhich these zero-energy paths saturate. This is the Euclidean counterpart of the first-order kink argument, with Euclidean time replacing the spatial coordinate.

For the quartic double-well instanton, chooseThe first-order equation in the interval $-a<q<a$ is $\dot{q}=\omega (a^2-q^2)/(2a)$. Separation givesThe center ${\tau }_0$ is arbitrary. Its derivative ${\dot{q}}_I$ is an instanton translation zero mode: differentiating the Euclidean field equation shows that it lies in the kernel of the quadratic fluctuation operator $-m{\partial }_{\tau }^2+V^{\prime \prime }(q_I)$. A naive Gaussian determinant therefore has a zero eigenvalue. Replace its integration by the collective-coordinate integral over ${\tau }_0$, and take the determinant only over nonzero modes. The resulting instanton fluctuation prefactor combines that Jacobian with the determinant ratio against the vacuum. The action controls the exponential suppression; the prefactor is essential for a quantitative rate or splitting.

When $S_I/\hslash \gg 1$, crossings are rare and their typical separations greatly exceed their widths. In the dilute instanton gas, ordered center integrals for $n$ well-separated crossings over Euclidean duration $\mathcal{T}$ produce ${\mathcal{T}}^n/n!$. If a single-crossing rate is $\kappa =K{e}^{-S_I/\hslash }$, a symmetric two-well system has even-crossing and odd-crossing sums proportional to $\cosh (\kappa \mathcal{T})$ and $\sinh (\kappa \mathcal{T})$. The spectral interpretation gives levels $E_{\mathrm{well}}\mp \hslash \kappa$ andThis is a real tunnelling level splitting. A Euclidean bounce instead describes false vacuum decay: it leaves and returns to a metastable vacuum, and a characteristic negative fluctuation mode supplies the imaginary part interpreted as decay. A bounce must not be confused with a stable double-well instanton merely because both use Euclidean saddles.

The central gauge-theory example is a Yang-Mills instanton on Euclidean four-space. State conventions carefully: take anti-Hermitian generators $T_a=-i{\sigma }_a/2$, with $\mathrm{Tr}(T_a{T}_b)=-{\delta }_{ab}/2$, connection $A=A_{\mu }d{x}^{\mu }$, and gauge curvature $F=dA+A\wedge A$. With coupling $g$, the positive Yang-Mills action isThe Hodge star operator squares to one on Euclidean two-forms. Under the usual finite-action boundary conditions, the connection approaches a pure gauge at infinity, defining a map $S_{\infty }^3\to SU(2)\simeq S^3$. Its winding degree is the integer instanton numberThis is unchanged by smooth deformations preserving the boundary sector. Geometrically this is, up to the stated sign convention, the second Chern number of the compactified bundle. Different sign conventions for trace, curvature or orientation must be changed together.

Use the positive norm $\Vert F{\Vert }^2=-\int \mathrm{Tr}(F\wedge \ast F)$. Decomposition into self-dual and anti-self-dual curvature givesThe Yang-Mills instanton Bogomolny bound is saturated by $F=\ast F$ for positive $k$, or $F=-\ast F$ for negative $k$. These first-order equations imply the full Yang-Mills equations: the Bianchi identity $D_{A}F=0$ becomes $D_A\ast F=0$ when $\ast F=\pm F$. Thus the topological minimum is a genuine classical saddle, not just an arbitrary field with integer charge. Self-duality alone is a local differential condition; finite action is an additional requirement.

An explicit unit-charge example is the BPST instanton. Let $y=x-x_0$, $\rho >0$, and choose the self-dual symbols ${\eta }_{ij}^a={ϵ}_{aij}$, ${\eta }_{i4}^a={\delta }_{ai}$ and ${\eta }_{4i}^a=-{\delta }_{ai}$ for $i,j=1,2,3$, using orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$. In regular gauge,The curvature is self-dual. Since ${\sum }_{a,\mu ,\nu }({\eta }_{\mu \nu }^a{)}^2=12$, its squared component curvature is $192{\rho }^4/(y^2+{\rho }^2{)}^4$. Radial integration yieldsso $k=1$. Replacing self-dual symbols by anti-self-dual ones produces the opposite charge with the same positive action.

The center has four coordinates and $\rho$ is an instanton size modulus. Classical four-dimensional Yang-Mills action is scale invariant, so varying $\rho$ changes the action-density width but not the total action. If gauge transformations must tend to the identity at infinity, three global gauge orientations also remain, giving eight parameters for the one-instanton framed instanton moduli space. If those global orientations are quotiented out, the unframed one-instanton space has five parameters. A zero-size limit is a singular concentration of curvature, not another smooth instanton. Higher-charge solutions likewise possess instanton moduli spaces; their collective-coordinate integrals replace the corresponding zero-mode determinants.

In a Euclidean-time description, topologically distinct gauge vacua are separated by a change of Chern-Simons number; an instanton interpolates between them, with the change equal to $k$ in compatible orientation conventions. Theta-weighted instanton sectors give $Z(\vartheta )={\sum }_k{e}^{ik\vartheta }{Z}_k$, connecting topology to the vacuum angle. With fermions, the gauge-field topology also controls fermionic zero modes and chiral selection rules through the chiral anomaly. These phenomena explain why instantons encode physics beyond small fluctuations around a single vacuum.

Instantons link Euclidean classical solutions, topological sectors and exponentially suppressed quantum effects. Their interpretation requires the boundary conditions, normalization, fluctuation spectrum and measure over collective coordinates. A dilute approximation is controlled only when its individual-action suppression and separation assumptions hold; classical scale moduli and their quantum corrections can make size integrals delicate rather than automatically finite.

Use units $G=\hslash =c=k_B=1$ and put $\ell =\sqrt{3/\Lambda }$. The static patch of de Sitter spacetime has radial factor $f=1-r^2/{\ell }^2$. A Wick rotation $t=-i\tau$ makes its radial-time metric positive:Near the cosmological horizon, write $r=\ell -{\rho }^2/(2\ell )$. Then $f={\rho }^2/{\ell }^2+O({\rho }^4)$ andin the radial-time directions. Thus $\tau /\ell$ must be an angle of period $2\pi$. A larger integer multiple would give a conical excess rather than a smooth origin. The Euclidean black-hole regularity condition givesThis de Sitter horizon temperature uses the time normalization at $r=0$, where $t$ is proper time; static observers at other radii see the corresponding Tolman temperature law redshift.

Vary the gravitational Euclidean action with respect to $g^{ab}$. The identities $\delta \sqrt{g}=-\frac{1}{2}\sqrt{g}{g}_{ab}\delta g^{ab}$ and the integrated variation of the scalar curvature yield, after discarding the assumed boundary term,The resulting vacuum Einstein field equations are thereforeTracing in four dimensions gives $R=4\Lambda$, and substitution gives $R_{ab}=\Lambda g_{ab}$.

The smooth Euclidean geometry is compact. Explicitly, in Euclidean five-space useThese obey $\sum X_A^2={\ell }^2$ and induce precisely the above metric, so $0\le r\le \ell$ with the identified Euclidean time covers a round four-sphere once. Neither the collapsing two-sphere at $r=0$ nor the collapsing time circle at $r=\ell$ is a physical boundary. Since $\sqrt{g}=r^2\sin \theta$, its volume and on-shell Euclidean action areThe semiclassical partition function is $Z\simeq e^{-I_E}$, and $I_E=\beta F=\beta E-S$ follows from the free energy relation $F=E-TS$. With the stipulated zero internal energy,Thus the Euclidean de Sitter action and entropy reproduce the Bekenstein-Hawking entropy of the cosmological horizon without a boundary contribution. Restoring constants, $S=k_B{c}^3{A}_H/(4G\hslash )$.

Use the mostly-minus Minkowski metric, quantum field theory propagator $i/(p^2-m^2+i0)$ and dimensionally continued interaction $-{\mu }^{2ϵ}\lambda {\varphi }^4/4!$, with $d=4-2ϵ$. Take all four external momenta incoming, so ${\sum }_j{p}_j=0$, and set $s=(p_1+p_2{)}^2$, $t=(p_1+p_3{)}^2$, $u=(p_1+p_4{)}^2$.

The three one-loop one-particle-irreducible Feynman diagrams are the bubble graphs with external pairings $(12|34)$, $(13|24)$ and $(14|23)$. Their external quantum field theory propagators are omitted by amputation. Each Feynman diagram has symmetry factor $1/2$ from exchanging the two internal lines; the fixed external labels are already accounted for by the three distinct channels.

For a channel carrying momentum $q$, its amplitude isThe signs in the last equality follow from the two vertices and two quantum field theory propagators. Apply the Feynman parameter identityAfter shifting the loop momentum, the denominator is $(k^2-{\Delta }_q(x)+i0{)}^2$, with ${\Delta }_q(x)=m^2-x(1-x)q^2$. For positive Euclidean $\Delta$, Wick rotation and the Schwinger representation giveAnalytic continuation to physical momenta keeps the prescription ${\Delta }_q-i0$. Thus dimensional regularization evaluates the channel asUse $\Gamma (ϵ)={ϵ}^{-1}-{\gamma }_E+O(ϵ)$ and expand the other factors. The minimal-subtraction scalar four-point bubble channels result through the finite part isThe parameter integral is left unevaluated, as requested. The three channel contributions are $B(s)+B(t)+B(u)$. Their pole is momentum independent and is cancelled by the four-point counterterm $-i{\mu }^{2ϵ}\delta \lambda$, withAfter pure minimal subtraction scheme subtraction, the complete vertex through one loop is the tree vertex $-i\lambda$ plusHere the $ϵ\to 0$ limit has been taken. The modified minimal subtraction scheme would also absorb $\log (4\pi )-{\gamma }_E$; it is not identical to the specified pure MS finite part.

The bare coupling is scale independent and satisfiesWriting ${\beta }_d=-2ϵ\lambda +b{\lambda }^2+O({\lambda }^3)$ and differentiating at fixed ${\lambda }_B$ givesAt order ${\lambda }^2$, the finite coefficient is $b-2a$, so the one-loop quartic scalar beta function isThe factor two relative to the pole residue follows from using $d=4-2ϵ$. With $d=4-ϵ$ the residue doubles, but the four-dimensional beta function is unchanged.

For pure nonabelian gauge theory, the corresponding pure Yang-Mills one-loop beta function has the opposite sign:Gauge-boson self-interactions and the gauge-consistency ghost contributions give antiscreening. For a compact nonabelian simple factor $C_A>0$, the coupling decreases at high energy: asymptotic freedom. In contrast, positive scalar $\lambda$ increases toward the ultraviolet. Its one-loop extrapolation has a Landau pole, indicating breakdown of weak-coupling perturbation theory, not a proof by itself of nonperturbative triviality. Ultraviolet poles should be extracted at infrared-safe mass or nonexceptional kinematics; a scaleless massless zero-momentum integral cannot be used to read off this ultraviolet counterterm without separating its infrared behavior.