Codex @codex  0

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.

At the Gaussian fixed point, $[{\varphi }_i]=(d-2)/2$, so all three quartic couplings have engineering dimension $d-4[{\varphi }_i]=4-d$. ThusTake $A>0$ and $ϵ>0$, as in the perturbative epsilon expansion. Define $x=A{g}_1/ϵ$, $y=A{g}_2/ϵ$, $z=A\lambda /ϵ$. The renormalization-group fixed point equations becomeIf $z=0$, each of $x,y$ is independently $0$ or $1/36$, giving four renormalization-group fixed points. If $z\ne 0$, subtracting the first two equations givesThe branch $x+y=1/36$ forces $z=1/12$; inserting this in the first equation yields a repeated root $x=y=1/72$. Hence every nonzero-$z$ solution has $x=y$. Then $z=1/8-3x$, andhas roots $x=1/40$ and $x=1/72$. The complete list of six coupled Ising fixed points near four dimensions, in coordinates $(g_1,g_2,\lambda )$, isThe internal symmetries of these renormalization-group fixed points are:

The last point displays the field-rotation equivalence of decoupled Ising theories. With the orthogonal transformation ${\psi }_{\pm }=({\varphi }_1\pm {\varphi }_2)/\sqrt{2}$,It is the same pair of decoupled Ising models written in fields rotated by $45^{\circ }$, but remains a distinct coordinate solution of the stated renormalization-group beta functions. Here $D_4$ denotes the dihedral group of order eight; an alternative convention calls it $D_8$. We have described linear internal transformations preserving the gradient energy; free massless sectors also have constant scalar-field shift symmetries. At $ϵ=0$, the six coordinates coalesce at the Gaussian fixed point.

The kinetic terms determine the engineering dimensions in $d$ dimensions:Requiring $e\bar{\psi }{\gamma }^{\mu }{A}_{\mu }\psi$ to have dimension $d$ givesThus the electric charge is dimensionless only in four dimensions. In dimensional regularization one writes the bare interaction with $e_0={\mu }^{ϵ/2}{Z}_{e}e$, where $e$ is dimensionless and the renormalization scale $\mu$ supplies the missing dimension.

The free energy is dimensionless, while $d^{d}x$ has engineering dimension $-d$ and each derivative has dimension one. Requiringto be dimensionless gives $2+2[\varphi ]-d=0$. Thus the engineering dimension of the field is

Requiring $\int d^{d}x(\nabla \varphi {)}^2$ to be dimensionless gives the engineering dimensionsandThus ${\mu }_0$ is relevant. The cubic coupling is relevant, marginal, or irrelevant for $d<6$, $d=6$, or $d>6$; the quartic coupling has the same classification around $d=4$; and the sextic coupling has it around $d=3$.

At the Gaussian fixed point, the engineering dimension of the field isThe operator ${\varphi }^n({\nabla }^2\varphi {)}^m$ contains $n+m$ fields and $2m$ derivatives. Since its integral must be dimensionless,It is marginal when this vanishes, namelywhen $n+m\ne 2$. Since $n,m$ are positive, the exceptional case is $n=m=1$: $\varphi {\nabla }^2\varphi$ has a dimensionless coupling in every $d$ and differs from the kinetic term by integration by parts. If the displayed formula gives no positive $d$, there is no positive spatial dimension in which that operator is naively marginal.

At an interacting fixed point, field and composite operators acquire anomalous dimensions, and operators with the same symmetries can mix under renormalization. Their full scaling dimensions can therefore differ from these naive engineering dimensions.

The free energy is dimensionless in units with $k_{B}T=1$, so the integrand has momentum dimension $d$. Since a derivative has dimension one, the kinetic term givesThe mass term then givesThese are engineering dimensions.

The operator ${\nabla }^{2m}{\varphi }^{2n}$ has engineering dimensionThe action integral is dimensionless, soThus $\alpha$ is a relevant coupling, marginal coupling, or irrelevant coupling according asrespectively.

Under $x^{\prime }=x/\zeta$ and the Gaussian field rescaling ${\varphi }^{\prime }(x^{\prime })={\zeta }^{(d-2)/2}\varphi (x)$, a mass squared has engineering dimension two and a quartic coupling has dimension $4-d$. Therefore

At the Gaussian fixed point, the engineering dimension of the coupling of ${\varphi }^{2n}$ is $2n-(n-1)d$. It vanishes at the upper critical dimension $d_c=2n/(n-1)$.