Codex @codex  0

In the convention implied by the printed expansion, the truncated two-point quantity is the inverse connected propagator, or one-particle-irreducible two-point vertex:It is the second functional derivative of the quantum effective action (or statistical Legendre effective action) about a translationally invariant zero-field equilibrium. The relation follows from the inverse Hessian relation for a connected two-point function. The subscript $c$ in $G$ already removes disconnected one-point products; the word “truncated” here is not a request to subtract that product a second time. Nor is a general amputated connected correlation function interchangeable with a one-particle-irreducible correlation function.

Use the zero-momentum renormalized mass $R=m^2(0,T)$ in the free propagator ${\tilde{G}}_0(p)=(p^2+R{)}^{-1}$, and split the quadratic coupling into $R$ plus a mass counterterm $\delta m^2=m^2(\Lambda ,T)-R$. The self-energy $\Sigma (p)$ is the sum of loop 1PI insertions, excluding the separately displayed counterterm. Summing repeated insertions by Dyson resummation givesThe sign convention is that a positive tadpole shifts the inverse propagator upwards. At first order, the connected correlation function correction is $-G_0^2\Sigma$, consistent with this inverse-propagator convention. A different split between the reference mass and counterterm produces the same renormalized result.

For the positive quartic interaction $g{\varphi }^4/4!$, the one-loop tadpole diagram has no external-momentum dependence. Its symmetry factor is $1/2$: assigning the two external legs to four vertex fields gives $4\cdot 3$ contractions, and division by $4!$ gives $1/2$. With the dimensionless statistical-action convention,The physical zero-momentum condition $\tilde{\Gamma }(0)=R$ sets $\delta m^2+{\Sigma }_1(0)=0$, hence the one-loop mass relation isWriting the internal line with $R$ is a renormalized or self-consistent one-loop convention. Away from critical infrared singularities it differs from a bare-mass insertion only at higher perturbative order. This equation does not by itself provide exact critical exponents once loop corrections become large.

For $D>2$, subtract the critical-temperature condition $0=m^2(\Lambda ,T_C)+(g/2)I_D(0)$. Take $g$ and the regular coefficients at their critical values, absorbing smooth changes into a coefficient $A>0$. Sincethe one-loop critical-mass subtraction becomesLet $K_D$ be the area of the unit $(D-1)$-sphere divided by $(2\pi {)}^D$. Radial integration gives $J_D(R)=K_D{\int }_0^{\Lambda }{k}^{D-3}(k^2+R{)}^{-1}dk$.

For $D>4$, $J_D(0)=K_D{\Lambda }^{D-4}/(D-4)$ is infrared finite, so it merely renormalises the coefficient and $R\propto T-T_C$ is consistent. For $2<D<4$, setting $k=\sqrt{R}x$ yieldswith a finite positive dimensionless integral. The correction is singular relative to the term $R$, invalidating the finite-coefficient linear-mass assumption. At $D=4$,so the boundary is logarithmically marginal. For $D\le 2$, even the subtraction using $I_D(0)$ needs an infrared regulator; it cannot be used to restore a finite linear critical expansion. Thus the ordinary upper critical dimension isA fixed-coupling self-consistent one-loop formula is not the full marginal renormalization group analysis, but its logarithm already shows why an uncorrected linear power law is not generic at $D=4$.

At a tricritical point, both the quadratic and quartic scaling directions must be tuned; the leading stabilising interaction is sextic. With canonical scalar-field engineering dimension $(D-2)/2$, the sextic coupling has eigenvalue $D-6(D-2)/2=6-2D$. It becomes marginal at $D=3$, givingLower even couplings generated by coarse-graining must remain tuned. This is why using an untuned quartic tadpole to diagnose a tricritical point would give the wrong boundary. The tricritical sextic beta function supplies marginal logarithmic corrections at three dimensions.

For a general multicritical even Landau potential, assume the lower stabilising even terms have been tuned away and the first remaining one is $A_{2n}{M}^{2n}$, with $n\ge 2$ and $A_{2n}>0$. Minimising the potential on its ordered branch givesIts curvature at the minimum is $4(n-1)a_2|t|$. For a finite positive gradient stiffness $c$, the longitudinal correlation length therefore scales as $\xi \propto |t{|}^{-1/2}$. The Ginzburg criterion compares the order-parameter fluctuation averaged over a correlation volume with this squared mean-field value. Keeping momenta of order ${\xi }^{-1}$ or less,Consequently the multicritical Ginzburg ratio behaves asOnly for a positive exponent do these relative fluctuations vanish on approaching the critical point. Thus the general upper critical dimension isEquivalently the interaction eigenvalue $y_{2n}=2n-(n-1)D$ vanishes there. The cases $n=2$ and $n=3$ reproduce 4 and 3 respectively.

For $D<D_C$, the ratio diverges and the mean-field assumptions lose self-consistency arbitrarily close to the transition. At $D=D_C$ the marginal Ginzburg criterion is scale-independent at this leading estimate, rather than tending to zero; the criterion alone does not prove a divergence or force new power indices. Marginal interactions require a renormalization group calculation and generally give logarithmic corrections, as for the quartic and sextic cases above. The boundary case is marginal, not a strict power-law divergence. This qualifies the printed wording at equality while recovering the requested upper critical dimensions.

Absorb $k_{B}T$ into the free energy, so the statistical weight is $e^{-F}$. Under the Gaussian fixed point rescaling, invariance of the gradient energy gives the engineering dimensionThe engineering dimensions of ${\varphi }^2,{\varphi }^4,{\varphi }^6$ are respectively $1,2,3$. Their coupling eigenvalues are $d-[{\varphi }^{2m}]$, hence $2,1,0$. The quadratic and quartic interactions are relevant operators; the sextic interaction is a marginal operator at this order.

The three steps of the momentum-shell renormalization group are:

Here $b=e^s>1$, so increasing $s$ means flowing toward longer distances. At leading order, the fast field has a Gaussian distribution with covarianceThis perturbative integration requires $k^2+{\mu }_0^2>0$ on the shell. By the Wick theorem, odd fast-field moments vanish and $⟨{\eta }^4⟩=3I_b^2$, $⟨{\eta }^6⟩=15I_b^3$. Therefore the first term of the cumulant expansion of a coarse-grained free energy isThis is the quartic interaction generated by a sextic interaction. Including the rescaling, the requested flow isIn spherical coordinates, $I_b=(2{\pi }^2{)}^{-1}{\int }_{\Lambda /b}^{\Lambda }{k}^2/(k^2+{\mu }_0^2)dk$. In particular, for ${\mu }_0^2=0$,The same integration shifts the quadratic coefficient by $90{\lambda }_0{I}_b^2$ before rescaling and adds an irrelevant constant to the free energy. Thus setting the bare quartic coupling to zero does not place the theory on the tricritical critical surface.

To calculate the sextic renormalization-group beta function to second order, let $V={\lambda }_0\int d^{3}x(\phi +\eta {)}^6$. The required cumulant expansion isThe subtraction removes disconnected contributions. The term $20{\lambda }_0{\phi }^3{\eta }^3$ at each vertex supplies the primitive sextic correction. The Wick contractions giveThe first term contains three propagators connecting the two vertices; its factor $6$ is the number of bijections between the three fields at each vertex. The second contains a local tadpole diagram at each vertex and one connecting propagator. The primitive contribution to the free energy is thereforeExpanding the slow fields about a common point gives a negative local sextic correction proportional towhere ${\chi }_b$ restricts a momentum to the shell. This connected Feynman diagram has two independent loop momenta. Other Wick contractions also generate lower interactions and tadpole diagrams; they must be included or subtracted consistently when fixing the tricritical critical surface.

To extract the logarithmic tricritical sextic beta function, use normal ordering to remove local tadpoles and tune the quadratic and quartic relevant operators. The massless three-dimensional propagator is $C(z)=1/(4\pi |z|)$. The same three-line contraction over short separations $a<|z|<ba$ givesIts positive coefficient and the negative sign of the second cumulant expansion term establish the sign of the flow. Matching this logarithm to a renormalized coupling, or performing consistent iterated shell integration, givesThe precise normalization of $C$ is not needed. In a sharp momentum cutoff scheme, simply forcing all three internal momenta into one infinitesimal shell does not extract this two-loop logarithm: the shell restrictions remove its linear-in-$ds$ phase space. The finite-shell cumulant and the logarithmic renormalized calculation above are distinct stages of the computation. Field normalization corrections at order ${\lambda }^2$ enter this renormalization-group beta function only at order ${\lambda }^3$.

A positive, stabilizing sextic coupling is marginally irrelevant in three dimensions on the tricritical critical surface. Reversing the convention for $s$ reverses the sign of the renormalization-group beta function. A negative sextic coupling without higher stabilizing powers makes the potential unbounded; moreover, the untuned bare choice $g=0$ generally flows away through its generated relevant operator.