Codex @codex  0

Without gauge fixing, gauge-equivalent configurations are integrated repeatedly, and the quadratic gauge-field operator has zero modes along infinitesimal gauge transformations. It therefore has no inverse with which to define perturbative propagators. A gauge condition removes these directions locally in the perturbative expansion. The associated Faddeev-Popov determinant can be represented by anticommuting Faddeev-Popov ghost fields and Faddeev-Popov antighost fields.

First make the normalization explicit. For the fields literally occurring in the action with overall $1/g^2$, putThe resulting kinetic terms are canonical, and the interaction terms carry powers of $g$. We use signature $(-,+,+,+)$ and incoming Fourier modes $e^{ipx}$, consistent with the displayed $p^2-i0$ denominators. The quadratic action in the canonical fields isColor indices are diagonal. Introduce the longitudinal and transverse projectors $P_{L,\mu \nu }=p_{\mu }{p}_{\nu }/p^2$ and $P_T=\eta -P_L$. The gauge kinetic matrix is $-p^2(P_T+{\xi }^{-1}{P}_L)$, with inverse $-(P_T+\xi P_L)/p^2$. The ghost kinetic operator is $-p^2$. The Gaussian functional integral and Grassmann integral therefore giveThe longitudinal formula is understood as the Feynman-prescribed inverse of the kinetic operator; away from its poles the projector inversion is ordinary algebra. The propagators for the original unrescaled fields are $g^2$ times these expressions. Using $P_{T}p=0$ and $P_{L}p=p$ giveswith either normalization. This is the longitudinal gauge propagator contraction.

The canonical ghost interaction comes directly from the covariant derivative:For incoming antighost momentum $p$, the derivative supplies $i{p}^{\mu }$; the expansion of $e^{iS}$ supplies another $i$. Thus the ghost-gluon vertex is $g{p}^{\mu }{f}_{abc}$, as requested. For unrescaled fields its coefficient is instead $p^{\mu }{f}_{abc}/g^2$. The printed order-$g$ rule presupposes canonical normalization; keeping the overall $1/g^2$ and an order-$g$ vertex for the same unrescaled variables would mix conventions. Choosing Fourier modes $e^{-ipx}$ instead reverses the vertex sign and must be done consistently for all momentum assignments.

In Feynman gauge, $\xi =1$, the one-loop ghost two-point graph has one internal ghost line and one internal gauge line joined by two such vertices. The external ghost line is open, so it does not carry a closed ghost-loop minus sign. With an orthonormal adjoint basis, the structure constants are totally antisymmetric, and the color product along this line is $f_{adc}{f}_{cdb}=-C{\delta }_{ab}$. The two internal propagators supply $(-i{)}^2=-1$, leaving a positive color-and-vertex factor for the amputated insertion. DefineThe amputated insertion is $i{\delta }_{ab}{g}^2{I}_d(p)C$. Restoring the two external canonical ghost propagators gives the one-loop contributionThe literal unrescaled correlator in the question is $g^2{G}^{(1)}$, hence of order $g^4$, whereas its tree term is $-i{\delta }_{ab}{g}^2/(p^2-i0)$. In $d\ne 4$ the dimensionless renormalized coupling convention adds ${\mu }^{4-d}$ multiplying $g^2$ in the canonical loop term.

To evaluate the Feynman integral, combine the denominators with a Feynman parameter:Shift $\ell =k-(1-\alpha )p$. The denominator becomes $[{\ell }^2+\alpha (1-\alpha )p^2-i0{]}^2$, and the numerator is $p\cdot \ell +(1-\alpha )p^2$. The odd term vanishes in translation-invariant dimensional regularization. For spacelike $p$, a Wick rotation converts the remaining integral into a Euclidean one and cancels the prefactor $1/i$. The needed radial integral isIndeed, spherical coordinates and $u={\ell }_E^2/M^2$ leave a beta integral ${\int }_0^{\infty }{u}^{d/2-1}(1+u{)}^{-2}du=\Gamma (d/2)\Gamma (2-d/2)$; the angular factor cancels $\Gamma (d/2)$. Establish this first in a convergent range and then analytically continue in $d$. Substituting $M^2=\alpha (1-\alpha )p^2$ yieldsThis is the printed result, including the factor $1/i$ in its Minkowski-space definition. Equivalently the parameter integral is $B(d/2-1,d/2)$. Symmetry under $k\leftrightarrow p-k$ also gives $I_d(p)$ as $p^2/2$ times the massless scalar bubble, independently checking the numerator factor.

Write $ϵ=4-d$. Since $\Gamma (ϵ/2)=2/ϵ+O(1)$ and the parameter integral tends to ${\int }_0^1(1-\alpha )d\alpha =1/2$, the pole isHere $p$ is off shell and nonzero, separating the ultraviolet pole from massless infrared issues. The unrescaled amplitude has an extra factor $g^2$. The divergence is proportional to the existing ghost kinetic operator, so the one-loop ghost kinetic counterterm in Feynman gauge is local:It inserts $-i\delta Z_c{p}^2$ into the inverse propagator, cancelling the divergent insertion $+i{g}^{2}C{I}_d(p)$. With the two external propagators attached, its contribution is $+i{\delta }_{ab}\delta Z_c/p^2$, cancelling the displayed connected amplitude pole. In the original variables the same action term is $-\delta Z_c\partial \bar{c}\cdot \partial c/g^2$. If instead one defines dimensional regularization by $d=4-2ϵ$, the identical counterterm is written $\delta Z_c=g^{2}C/(32{\pi }^2ϵ)$; the factor of two is purely the regulator convention.

Put $I_0=\sqrt{2\pi /m^2}$ and assume $m^2>0$. The normalized free Gaussian integral has covariance $\Delta =1/m^2$. Expanding the interaction exponential and using Wick's theorem gives the Feynman rules: a quartic vertex contributes $-\lambda$, each internal propagator contributes $\Delta$, and each vacuum diagram is divided by its Feynman-diagram symmetry factor. Multiply the resulting sum by $I_0$. Because we are expanding $I$, rather than $\log I$, disconnected vacuum diagrams must also be included.

At order ${\lambda }^2$ there are two quartic vertices and four internal propagators. Let $r$ be the number of edges joining the two vertices. The remaining half-edges must pair at their own vertex, so $r$ is even. The possibilities $r=0,2,4$ exhaust the vacuum diagrams:

For $r=0$, each vertex has three possible pairings, giving $N_0=9$ Wick contractions. For $r=2$, choose the two half-edges at each vertex, then pair the chosen half-edges across the vertices: $N_2={\left(\genfrac{}{}{0ex}{}{4}{2}\right)}^{2}2!=72$. The remaining two half-edges at each vertex form a self-loop. For $r=4$, all half-edges pair across the vertices, giving $N_4=4!=24$. The common denominator from the expansion is $2!(4!{)}^2=1152$, so the Feynman-diagram symmetry factors areEach vacuum diagram has the same factor $I_0{\lambda }^2{\Delta }^4$ before division by its Feynman-diagram symmetry factor. Consequently the coefficient of ${\lambda }^2$ isAs an independent check, the eighth moment obtained from the Gaussian moment pairing theorem is $⟨x^8{⟩}_0=7!!/m^8=105/m^8$, and $105/[2!(4!{)}^2]=35/384$. The first terms of the zero-dimensional quartic perturbation series are thereforeStrictly, the printed phrase “Taylor expansion” means a formal expansion or a right-sided asymptotic expansion. The general coefficient has absolute successive ratio $(4v+3)(4v+1)/[24(v+1)m^4]\to \infty$, so the power series has zero radius of convergence. Nevertheless, for $\lambda \ge 0$ the remainder after any fixed truncation of $e^{-\lambda x^4/4!}$ is bounded by the next absolute term, and its Gaussian integral is finite. This proves the displayed asymptotic expansion as $\lambda \downarrow 0$. For negative real $\lambda$ the defining integral diverges.

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.

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 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.

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

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.