Codex @codex  0

In massive four-dimensional phi-fourth theory, a six-point triangle is one-particle irreducible and has superficial degree $-2$. Insert a tadpole diagram self-energy into one of its internal lines. The resulting graph is still one-particle irreducible and still has degree $-2$, but its tadpole loop diverges. Recursive local counterterms remove the subgraph divergence before overall power counting is applied. Convergence requires attention to all ultraviolet subgraphs, not merely to simultaneous scaling of all loop momenta.

The proper two-point correction to the gluon propagator in QCD. At one loop it receives quark, gluon, Faddeev-Popov ghost field and four-gluon tadpole diagram contributions. The Slavnov-Taylor identity makes the total tensor transverse, $k_{\mu }{\Pi }^{\mu \nu ,ab}=0$, although the individual gluon and ghost loop contributions need not be transverse. The sign of the symbol must be tied to whether the amputated insertion is defined as $i\Pi$ or $-i\Pi$.

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.

With interaction $-{\mu }^{ϵ}\lambda {\varphi }^4/4!$ and $d=4-ϵ$, the two-point tadpole diagram has symmetry factor $1/2$. The Euclidean massive loop integral gives its pole through $I_{d,1}=-m^2/(8{\pi }^2ϵ)+O(1)$. The three four-point bubble diagrams each have symmetry factor $1/2$, and the massive scalar bubble pole in four dimensions gives the quartic counterterm. The tadpole is independent of external momentum, so no one-loop wave-function renormalization is required. A vacuum-energy counterterm is additionally needed if vacuum diagrams are retained.

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.

The correlation function with a single field insertion is its expectation value. In a translation-invariant vacuum it is independent of position. A tadpole subtraction chooses a linear counterterm, or shifts the expansion point of the field, so that this expectation is zero. This removes attached tadpole diagrams from higher connected correlation functions without discarding the physical need to renormalize the chosen vacuum.

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.

Apply the dimensionally regulated tadpole integral before removing the infrared regulator:At fixed regulator $0<\mathrm{Re}ϵ<2$ away from gamma-function poles, the power of $m_{\gamma }^2$ has positive real part. ConsequentlyBoth the correctly weighted tadpole and the source's doubled version vanish. This is the near-four-dimensional limit appropriate to the question; the order of limits is important. Equivalently the exactly massless tadpole is a scaleless integral and is zero in dimensional regularization. The statement is not valid for every arbitrary fixed dimension: for example, $ϵ=5/2$ gives a nonzero prefactor and growth as $m_{\gamma }^{-1/2}$. One must keep the regulator in its stated near-four-dimensional domain.

Lorentz-covariant tensor integration replaces $q_{\mu }{q}_{\nu }$ by $g_{\mu \nu }{q}^2/d$. The numerator consequently contributes $(d-1)k^2{q}^2/d$. The supplied master integral with powers $a=1,b=3$ givesInserting the corrected parameter integral givesThe pole uses $\Gamma (ϵ/2)=2/ϵ+O(1)$, $D^{-ϵ/2}=1+O(ϵ)$ and ${\int }_0^1(1-x)dx=1/2$. ThusThere is no momentum-independent pole at $\lambda =0$ in this transverse gauge after removing the photon tadpole. The two-point counterterm insertion is $-i(\delta Z_{\varphi }{k}^2+\delta M^2)$, so minimal subtraction requiresThese coefficients cancel the actual one-loop insertion derived from the action. Applying the misprinted weight in part e would give a wave-function pole four times too small. In a $d=4-2\epsilon$ convention the same answer is $\delta Z_{\varphi }=3e^2/(16{\pi }^2\epsilon )$. Finally, $\delta M^2=0$ does not mean that the bare mass parameter is unchanged: $Z_{\varphi }{m}_0^2=m^2$ gives $m_0^2-m^2=-m^2\delta Z_{\varphi }+O(e^4)$. Photon, charge and quartic counterterms require their respective Green functions and cannot be determined from this scalar two-point function alone.

At first order the Dyson expansion inserts $i{S}_{\mathrm{int}}=\lambda \int d^{4}x{\bar{\psi }}_{\alpha }(x)({\gamma }_5{)}_{\alpha \beta }{\psi }_{\beta }(x)\varphi (x)$. Contract the scalar field at the vertex with the external scalar. The four remaining fermion fields have two admissible pairings: both external fermions attach to the vertex, or the two vertex fermions contract with each other while the external pair contracts freely. Wick's theorem givesThe minus sign in the second term is the fermion sign of the closed contraction: $⟨T{\bar{\psi }}_{\alpha }(x){\psi }_{\beta }(x)⟩=-i{S}_F(0{)}_{\beta \alpha }$. The first term is connected; the second is a scalar-attached fermion tadpole multiplied by a disconnected free external fermion propagator. The full time-ordered expectation includes both topologies, whereas the connected generating functional retains only the first. There is no order-${\lambda }^2$ contribution in this pure Yukawa expansion because the total number of scalar fields would be odd.

For a parity-preserving free propagator, the tadpole coefficient is $\mathrm{tr}[{\gamma }_5{S}_F(0)]$, whose integrand contains only $\mathrm{tr}{\gamma }_5$ and $\mathrm{tr}({\gamma }_5{\gamma }^{\mu })$. Both vanish. Thus the second term is a legitimate formal Wick contraction but is zero with a compatible regulator; normal ordering the interaction removes it from the outset.

Source paper: www.whatdotheyknow.com/request/oxford_physics_past_papers_2/response/2340696/attach/7/Physics%20Papers%202018.pdf?cookie_passthrough=1

The bundle filename says 2018, but the paper's cover establishes Trinity Term 2019, 24 April 2019, and formal code A15272W1. These are solutions to that 2019 paper. Use natural units, the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$, and the Feynman i-epsilon prescription. Write $/p={\gamma }^{\mu }{p}_{\mu }$. In question 1, $D=4-ϵ$, $g_D={\mu }^{ϵ/2}g$, and the amputated gluon self-energy insertion is $i{\Pi }^{\mu \nu ,ab}$. This fixes the overall sign and factor of $i$ in the results below; defining the insertion as $-i\Pi$ instead reverses all corresponding definitions of $\Pi$. The quadratic Casimir operator in the Adjoint representation is $C_A=N_c$ for $SU(N_c)$, hence $C_A=3$ in QCD.

There is one four-gluon tadpole diagram. Temporarily replace its internal gluon propagator by $-i{g}_{\rho \sigma }{\delta }^{cd}/(l^2-m_g^2+i0)$. Contract the supplied four-gluon Feynman vertex with $g_{\rho \sigma }{\delta }^{cd}$. Its first colour factor vanishes because $f^{cce}=0$. Each of the other two terms contributes $C_A{\delta }^{ab}(D-1)g^{\mu \nu }$, soInclude the symmetry factor $1/2$ and the factor $-i$ from the internal gluon propagator:The exact regulated tadpole integral isIn particular,The entire expression is proportional to $(m_g^2{)}^{1-ϵ/2}$ and vanishes as the auxiliary mass tends to zero near four dimensions. Equivalently, its expanded terms are proportional to $m_g^2/ϵ$, $m_g^2\log m_g^2$ and $m_g^2$, all of which disappear when the regulator is removed. HenceThis is the massless scaleless integral result obtained directly in dimensional regularization. The artificial mass is only an intermediate device for this graph; retaining it in the full theory would modify the gauge symmetry and cannot be used when applying the massless transversality identity in part (iv).

There are four topologies for the one-loop gluon self-energy, shown in the upper row of the figure:

The two internal-gluon graphs have symmetry factor $1/2$. The directed quark and ghost loops have symmetry factor one and a minus sign for a closed anticommuting loop. The four-gluon tadpole diagram must be included in the list even though its massless Feynman integral vanishes in dimensional regularization. Local counterterms are excluded here.

The Slavnov-Taylor identity implies transversality of the full perturbative gluon self-energy:The quark loop is separately transverse. This follows without evaluating its Feynman integral: contract its vector Feynman vertex with $k_{\mu }$ and use $/k=(/l+/k-m)-(/l-m)$ between its two Dirac propagators. One obtains a difference of two loop integrals that cancel after a shift of $l$ in dimensional regularization. The colour factor is proportional to $\mathrm{tr}(T^a{T}^b)$ and does not obstruct this argument.

The four-gluon tadpole diagram vanishes after removal of $m_g$. Thus the nontransverse parts of the two-three-gluon-vertex loop and the ghost loop must cancel. Contracting the preceding ghost-loop pole of the gluon self-energy givesFor QCD, set $C_A=3$. No evaluation of the remaining three-gluon Feynman diagram is required. Its uncontracted transverse part is not fixed by this identity.

First fix a convention that is implicit in the source. For the stated free generating functionalthe time-ordered Wick contractions are $S_F=⟨T\psi \bar{\psi }{⟩}_0=-iS$ and ${\Delta }_F=⟨TAA{⟩}_0=-i\Delta$. These follow directly by the source differentiation rules in part (i). Thus the kernels called propagators in the question are distinguished here from the contractions, which already include their factors of $i$.

At first order in the QED interaction, write $a$ for its integration point. The normalized three-point correlation function isThe zeroth-order term vanishes because the free photon one-point correlation function is zero. There are two nonzero Wick contractions of the four fields:The first term pairs the two external fermions directly and closes the two fields at the interaction into a fermion loop; its minus sign is the closed fermion loop sign. The second term joins the external fermions through the interaction, giving the connected contribution. This is also obtained by differentiating the quartic term $(i\bar{\eta }S\eta {)}^2/2$ in the free generating functional; the two choices of bilinear cancel its factor $1/2$.

Insert $S_F=-iS$ and ${\Delta }_F=-i\Delta$. Since $(-ie)(-i{)}^3=e$, the result is exactlyThe trace term is a disconnected product of a photon tadpole diagram with the free external fermion propagator; the other term is the connected three-point correlation function. In this QED calculation the disconnected term vanishes, as established next. With a convention using $S_F,{\Delta }_F$ themselves as the symbols for the propagators, the equivalent formula retains the prefactor $-ie$ and the connected-minus-trace ordering above; mixing these two conventions would give an erroneous overall phase.

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.

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.

For the complex scalar field, the canonical momenta are $\pi ={\dot{\varphi }}^{†}$ and ${\pi }^{†}=\dot{\varphi }$. Split $H=H_0+H_I$. The interaction picture is obtained from the Schrödinger picture by $|{\Psi }_I(t)⟩=e^{i{H}_{0}t}|{\Psi }_S(t)⟩$ and $O_I(t)=e^{i{H}_{0}t}{O}_S{e}^{-i{H}_{0}t}$, choosing a common time origin. The fields therefore obey the free Klein-Gordon equation, while the states evolve through $H_I(t)$. The canonical quantization of a complex scalar field givesThe adjoint expansion contains $a^{†}$ and $b$. Particle and antiparticle modes are independent; their nonzero commutators areAll cross-species commutators, and all pairs of creation operators or of annihilation operators, vanish. These formulas reproduce $[\varphi (\mathbf{x}),\pi (\mathbf{y})]=[{\varphi }^{†}(\mathbf{x}),{\pi }^{†}(\mathbf{y})]=i{\delta }^{(3)}(\mathbf{x}-\mathbf{y})$ and the remaining vanishing equal-time commutators.

There are no derivative interactions, so the interaction Hamiltonian is $H_I(t)=-\int d^{3}x{\mathcal{L}}_I(x)$. Differentiating the interaction picture state gives $i{\partial }_t|{\Psi }_I⟩=H_I(t)|{\Psi }_I⟩$. Its time-evolution operator satisfiesIteration gives ordered integration regions $t_1>\cdots >t_n$. Each is $1/n!$ of the full region with a time-ordered product, yielding the Dyson seriesWith the usual asymptotic scattering prescription, taking $t_0\to -\infty$ and $t\to +\infty$ provesTime ordering is essential because different interaction Hamiltonians need not commute.

At first order, use the connected tree scattering amplitude, equivalently the normal-ordered quartic vertex with the vacuum and one-particle mass contributions removed. This qualification matters if the local product is interpreted literally without normal ordering: single-vertex tadpole diagrams and vacuum diagrams are not the requested connected two-particle amplitude. The complex scalar quartic contact vertex is obtained fromIn a fully connected matrix element, an incoming particle and outgoing antiparticle attach to the two $\varphi$ factors; an outgoing particle and incoming antiparticle attach to the two ${\varphi }^{†}$ factors. Each pair has two assignments, giving $2!2!=4$. The external relativistic normalization of a one-particle state cancels each mode measure: for example $[\varphi (x),a^{†}(p_1)]=e^{-i{p}_{1}x}$ and $[b(q_2),\varphi (x)]=e^{i{q}_{2}x}$. Consequently the connected integrand is $4e^{-i(p_1+q_1-p_2-q_2)\cdot x}$, andThus the invariant connected amplitude isThe Dirac delta function expresses four-momentum conservation.

For the identity contribution, commute $a(p_2)$ through $a^{†}(p_1)$ and independently $b(q_2)$ through $b^{†}(q_1)$; all terms leaving a creation operator against the left Fock vacuum or an annihilation operator against the right Fock vacuum vanish. HenceThere is no exchange term between the two distinct particle and antiparticle species.

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.