Codex @codex  0

The kinetic normalization fixes $[\Phi ]=(d-2)/2$, since a derivative has mass dimension one and the Lagrangian density has dimension $d$. Every differentiated field is still a field insertion. Hence the interaction has $n+r$ legs, not just $n$, and its vertex contains a homogeneous polynomial of degree $r$ in the attached momenta. Its coupling dimension isFor a connected Feynman diagram of this vertex type,The superficial momentum degree is now $D=dL-2I+rV$. Eliminating $I$ and $L$ givesso derivative-interaction scalar power counting yieldsThe same counting applies to tensor components with quantum field theory propagators scaling as $p^{-2}$; contractions, identities and cancellations can lower the actual degree. A coupling of negative mass dimension lets the superficial degree increase with the number of vertices, explaining the need for progressively higher-dimensional counterterms in a perturbative effective field theory.

Use $F_{\mu \nu }^a={\partial }_{\mu }{A}_{\nu }^a-{\partial }_{\nu }{A}_{\mu }^a+g{f}^{abc}{A}_{\mu }^b{A}_{\nu }^c$ and $\mathcal{L}=-F_{\mu \nu }^a{F}^{a\mu \nu }/4$. Its cubic and quartic Yang-Mills self-interactions areAntisymmetry of the Lie algebra structure constants lets the cubic expression also be written as $-g{f}^{abc}({\partial }_{\mu }{A}_{\nu }^a)A^{b\mu }{A}^{c\nu }$.

The cubic vertex has three fields and one derivative, corresponding to $n=2,r=1$ in part (b). The quartic vertex has four fields and no derivatives, corresponding to $n=4,r=0$. Their dimensions areWith both types present, the same Feynman diagram counting givesIn four dimensions both couplings are dimensionless, and the degree is bounded independently of vertex count. Gauge symmetry, implemented consistently after gauge fixing, restricts the ultraviolet counterterms to the allowed renormalizable gauge-invariant and gauge fixing/ghost structures. Thus the counting is consistent with perturbative renormalizability of ordinary four-dimensional Yang-Mills theory.

In six dimensions $[g]=-1$ and $[g^2]=-2$, giving $D=6-2E+V_3+2V_4$. Increasing the vertex count permits new divergent momentum structures and higher-dimensional operators without a finite closed list of renormalization parameters. Ordinary Yang-Mills theory is therefore power-counting renormalizable in four dimensions and nonrenormalizable in six dimensions. It can still be used in six dimensions as an effective field theory with a cutoff and higher-operator expansion; this conclusion concerns the usual perturbative theory.

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.

In quantum electrodynamics, gauge invariance connects local phase freedom, electric-charge conservation and the restrictions on photon interactions. For definiteness takeThe gauge transformationhas $D_{\mu }\psi \mapsto e^{-ie\alpha }{D}_{\mu }\psi$: the derivative of the local phase cancels the added gauge potential. Also $F_{\mu \nu }$ is unchanged because mixed partial derivatives commute. Consequently every term in the Lagrangian density is invariant. This derives the minimal electromagnetic coupling of a Dirac field, including the interaction $-e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. A fermion mass is compatible with the symmetry, whereas a local Proca photon mass $m_{\gamma }^2{A}_{\mu }{A}^{\mu }/2$ is not.

The classical Maxwell equations are ${\partial }_{\mu }{F}^{\mu \nu }=j^{\nu }$, with $j^{\nu }=e\bar{\psi }{\gamma }^{\nu }\psi$. Taking a divergence gives ${\partial }_{\nu }{j}^{\nu }=0$ because $F^{\mu \nu }$ is antisymmetric. The same conservation law follows directly from the charged Dirac equation and its adjoint. For vanishing flux at spatial infinity, $Q=\int d^{3}x{j}^0$ is conserved. Gauss law identifies this charge with the electric flux through a surrounding surface. Particle-antiparticle creation is allowed, but its net electric charge is zero.

Local gauge invariance is also a redundancy in the potentials, rather than an extra propagating degree of freedom. The canonical momentum of $A_0$ vanishes, and its field equation enforces the Gauss law constraint in gauge theory, $\nabla \cdot \mathbf{E}=j^0$. After imposing the constraint and quotienting gauge freedom, a massless photon has two transverse physical polarizations. Gauge transformations vanishing at the boundary identify equivalent descriptions; constant phase transformations at infinity can act on charged states and generate their conserved charge. This distinction explains why gauge redundancy and electric charge are compatible.

In perturbative QED, the quadratic photon operator cannot be inverted before gauge fixing. Adding $-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$ gives the covariant gauge propagatorThis propagator contains longitudinal and timelike components, but these are not external physical photon states. A Gupta-Bleuler null-state quotient, or the equivalent BRST construction, removes them. In linear Lorenz gauge, $\delta ({\partial }_{\mu }{A}^{\mu })=\square \alpha$, so the Faddeev-Popov determinant is independent of $A_{\mu }$ and the Faddeev-Popov ghost fields decouple. This last statement concerns the linear gauge; Abelian gauge groups alone do not guarantee decoupling in a nonlinear gauge condition.

At the quantum level, the vector symmetry gives a Ward identity. One way to obtain it is to change variables by a localized phase in a time-ordered correlation function containing $\psi (y)$ and $\bar{\psi }(z)$. The action variation becomes a current divergence; the two field insertions contribute opposite contact terms, since their charges are opposite. Fourier transformation turns the divergence into the photon momentum, and amputating the external fermion propagators turns the two contact terms into the difference of their inverse propagators. With the charge removed from the proper vertex and the overall propagator factor $i$ removed from its inverse, the result is the proper-vertex Ward-Takahashi identity in QEDAt tree level this is simply $k_{\mu }{\gamma }^{\mu }=(/p+/k-m)-(/p-m)$. Between on-shell external spinors, the inverse propagators vanish, so the full physical scattering amplitude satisfies $k_{\mu }{\mathcal{M}}^{\mu }=0$. Therefore replacing a photon polarization vector by ${\epsilon }_{\mu }+c{k}_{\mu }$ leaves the amplitude unchanged. The identity applies to the complete required sum of diagrams, not necessarily each diagram separately. It also ensures cancellation of the gauge parameter from physical observables when all terms at the chosen perturbative order are included.

For the photon two-point function, the Ward identity implies transverse photon vacuum polarization:Thus ultraviolet subtraction renormalizes the gauge-invariant kinetic term, rather than requiring a local photon-mass counterterm. Perturbative unbroken QED retains a massless photon. Transversality by itself would not exclude a nonlocal massless pole in a different theory; the assertion here includes the perturbative QED setting.

Taking $k\to 0$ in the proper-vertex identity gives ${\Gamma }^{\mu }(p,p)=\partial S^{-1}(p)/\partial p_{\mu }$. Matching the divergent coefficients of the derivative and vertex terms yields the Ward identity for QED renormalization constants, $Z_1=Z_2$, in a gauge-preserving prescription. If ${\psi }_0=\sqrt{Z_2}\psi$ and $A_0=\sqrt{Z_3}A$, comparison of the interaction coefficients givesHence charge renormalization is fixed by photon wave-function renormalization. Gauge invariance constrains counterterms and relates renormalizations; it does not make the electric charge independent of scale.

The Soft photon theorem gives another physical manifestation. Attaching a photon of small momentum $k$ to the external charged legs gives the leading factorwhere $Q_i$ is charge in units of $e$ and ${\eta }_i=+1$ for outgoing and $-1$ for incoming legs. Replacing $\epsilon$ by $k$ makes this factor proportional to ${\sum }_i{\eta }_i{Q}_i$, which vanishes by electric charge conservation. Massless photons also cause infrared divergences; physical inclusive measurements combine unresolved real emission with virtual corrections, rather than treating either contribution alone as an observable.

Finally, the vector gauge symmetry of a Dirac fermion in QED is anomaly-free, so it can be maintained by regularization and renormalization. This must be distinguished from the axial current: its divergence has explicit mass terms, as in Question 3, and can additionally have a quantum chiral anomaly. Conservation of the gauge current does not imply axial-current conservation. The resulting picture is that gauge invariance simultaneously organizes the physical photon states, enforces electric-charge conservation and ties together amplitudes and ultraviolet subtractions.

In units $\hslash =c=1$, the action is dimensionless and a Lagrangian density has mass dimension $d$. The kinetic term therefore gives $2+2[\varphi ]=d$. Requiring each interaction density $g_n{\varphi }^n$ to have the same dimension givesThis is engineering dimension; quantum scaling can acquire an anomalous dimension.

For a connected Feynman diagram with no derivative interactions, each independent loop integration contributes $d$ powers of momentum, and each internal scalar propagator contributes $-2$. Thus its superficial degree of divergence is $D=dL-2I$. Let $V={\sum }_n{V}_n$. A connected graph has $L=I-V+1$ independent cycles, and counting the half-edges incident on vertices gives $2I+E={\sum }_{n}n{V}_n$. Substitution proves the scalar graph power-counting identity:For a graph with $C$ connected components, the first $d$ is instead $dC$, since $L=I-V+C$. The printed expression therefore uses the usual connected-graph convention. This is the overall degree under simultaneous rescaling of all loop momenta. Subgraphs can still have ultraviolet divergences when the whole graph has $D<0$, so their counterterms must be subtracted before declaring an integral finite.

When all retained couplings have nonnegative dimension, only finitely many external-leg/derivative structures can have nonnegative degree. Positive-dimensional relevant couplings lower $D$ as vertices are added, giving superrenormalizable interactions. Zero-dimensional marginal couplings give power-counting renormalizable interactions. Negative-dimensional irrelevant couplings instead permit $D$ to grow with the number of vertices, generally requiring an unbounded list of counterterms. Such nonrenormalizable interactions can still define an effective field theory to any fixed order in a low-energy expansion.

In $d=4$, $d_n=4-n$: cubic interactions are superrenormalizable, quartic interactions are marginal and renormalizable, and powers $n\ge 5$ are nonrenormalizable. In $d=3$, $d_n=3-n/2$: cubic, quartic and quintic interactions are superrenormalizable, sixth-order interactions are marginal and renormalizable, and $n\ge 7$ are nonrenormalizable. This is a power-counting classification, not a guarantee that an odd highest-power potential is bounded below. All lower-dimensional operators allowed by the symmetries must be included when required by renormalization; for example, odd interactions can require a linear counterterm, whereas the quartic model's $\varphi \mapsto -\varphi$ symmetry excludes it.

Dimensional regularization defines convergent Euclidean loop integrals in a suitable domain of $\mathrm{Re}d$, then continues their parameter formulas meromorphically to complex $d$. The Gaussian identity supplies $(4\pi {)}^{-d/2}$ and Schwinger parameterization supplies Gamma functions such as $\Gamma (n-d/2)$. Their poles encode the ultraviolet singularities near physical dimension. Noninteger complex $d$ is an analytic regulator of amplitudes, not a literal space with a noninteger number of coordinates. Masses or nonexceptional external momenta distinguish ultraviolet poles from infrared poles; scaleless integrals vanish in this convention and can hide that distinction.

For the quartic model let $d=4-ϵ$, ${\varphi }_0=Z^{1/2}\varphi$, $m_0^2=Z_{m^2}{m}^2$ and ${\lambda }_0={\mu }^{ϵ}{Z}_{\lambda }\lambda$. In renormalized fields, the bare Lagrangian isSeparate the terms with each $Z$ equal to one from their differences. The differences are field, mass and quartic counterterms. After subtracting divergent subgraphs, the remaining ultraviolet pole of a proper graph is a local polynomial in its external momenta. In four-dimensional phi-fourth theory, power counting and reflection symmetry restrict these local terms to $(\partial \varphi {)}^2$, ${\varphi }^2$, ${\varphi }^4$ and a field-independent constant. Choosing the Laurent coefficients of the three renormalization factors recursively cancels these poles at every perturbative order. The constant vacuum term is removed by the zero-source normalization. This is an order-by-order finite renormalized expansion, not a claim of convergence of the perturbation series.

The source renormalization of a scalar generating functional follows directly from rewriting the source coupling in bare variables:A general source attached to a single elementary field needs this field renormalization; its connected correlations are the ordinary renormalized Green functions. Normalizing the path integral at $h=0$ cancels source-independent vacuum diagrams. Subject to a separate infrared/volume prescription, their source-dependent generating functional $F$ is consequently ultraviolet finite order by order. For a constant source, this statement is interpreted as a formal connected expansion or a vacuum density, not as an automatically finite total logarithm in infinite spacetime.

Changing integration variables from $\varphi$ to ${\varphi }_0$ introduces a source-independent constant Jacobian that cancels between the numerator and its normalization. The resulting normalized integral depends only on ${\lambda }_0,m_0^2,h_0$ and fixed physical boundary/volume data. ThusDefine all scale derivatives at these fixed bare quantities:In a mass-independent subtraction scheme, logarithmic differentiation of the bare relations givesThe factors contain regulator poles, but the combinations determining the physical renormalization group functions have finite limits. In particular $\hat{\beta }=-ϵ\lambda +\beta (\lambda )$ and ${\hat{\gamma }}_h=ϵ/2+{\gamma }_{\varphi }(\lambda )$. The chain rule now gives the requested equation:As a sign check, minimal subtraction gives $Z_{m^2}=1+\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$ and $Z_{\lambda }=1+3\lambda /(16{\pi }^2ϵ)+O({\lambda }^2)$, with $Z=1+O({\lambda }^2)$. Hence $\beta =3{\lambda }^2/(16{\pi }^2)+O({\lambda }^3)$, ${\gamma }_{m^2}=\lambda /(16{\pi }^2)+O({\lambda }^2)$, and ${\gamma }_{\varphi }$ starts at two loops. The positive signs agree with the tadpole subtraction and the three four-point channels.

The dimensional rewriting needs care. The chosen source normalization gives $[h]=3$, $[m^2]=2$, and $[\lambda ]=0$, so $m^2/{\mu }^2$ and $h/{\mu }^3$ are the natural dimensionless parameters. For the full source functional, spacetime arguments must also be rescaled: with $y=\mu x$, write $\varphi (x)={\mu }^{(d-2)/2}\psi (y)$ and $\tilde{h}(y)={\mu }^{-3}h(y/\mu )$. The dimensionless functional then depends on $\lambda ,m^2/{\mu }^2$, the rescaled source profile, and the rescaled integration domain.

For a literal uniform source in a fixed physical spacetime volume ${\mathcal{V}}_d$, the uniform-source vacuum functional and spacetime volume relation is insteadFor example, even at $\lambda =0$ and $m^2>0$, completing the square for the constant mode givesThus the printed three-argument rewriting of the total $F$ suppresses necessary volume/source-profile data. It is valid as a dimensional shorthand only with those data understood; a dimensionless density has the three arguments, while its scale equation includes its engineering dimension. At infinite volume, the total constant-source logarithm is generally extensive and infinite even after ultraviolet renormalization.

The massless renormalization-group characteristics with a source solve the requested flow directly, independently of this notational issue. Since the mass flow is proportional to $m^2$, its zero value remains zero. Starting at a reference scale ${\mu }_{\ast }$, solveThenwith any physical volume or source-shape data retained. Where $\hat{\beta }\ne 0$, the running quantities are determined byThese equations transport matching data at one scale to any other scale on the same flow trajectory. At a zero of the beta function use the differential equations themselves, rather than divide by zero.

For the uniform-source density, set $y=h/{\mu }^3$ and $m^2=0$. At $d=4$ the corrected dimensionless equation and its local characteristic solution areThe arbitrary function $\Psi$ is fixed by boundary/matching data. If the volume is retained as a dimensionless argument $v={\mu }^4{\mathcal{V}}_4$, the full dimensionless functional obeys the same transport operator with $4v{\partial }_v$ in place of the additive $4$ term; extensivity makes the two statements equivalent. Massless zero-momentum source expansions can also have infrared singularities, so this RG solution is formal until an infrared prescription or a suitable background expansion is chosen.

An ultraviolet fixed point is a zero of the beta functions approached by the dimensionless couplings as $\mu \to \infty$. Near a single-coupling fixed point ${\lambda }_{\ast }$, perturbations obey $\delta \lambda \propto {\mu }^{{\beta }^{\prime }({\lambda }_{\ast })}$, so ${\beta }^{\prime }<0$ gives attraction in that direction. In four-dimensional quartic scalar theory, the positive one-loop beta function makes positive small coupling grow toward the ultraviolet: $1/\lambda (\mu )=1/\lambda ({\mu }_{\ast })-[3/(16{\pi }^2)]\log (\mu /{\mu }_{\ast })$. This exhibits a perturbative Landau pole, not an interacting ultraviolet fixed point. A perturbative result does not exclude hypothetical strong-coupling behavior beyond its regime.

For $m^2>0$ and initially $\Re n>d/2$, Schwinger parameterization and the supplied Gaussian integral giveSubstitute $u=\alpha m^2$ to obtain the Euclidean massive loop integralFor a positive integer $n$, $\Gamma (n)=(n-1)!$. Outside the convergence region this expression defines its meromorphic continuation, used in dimensional regularization.

Combine the two denominators with a Feynman parameter and shift $k$ by $(1-x)p$. This givesThe Gamma function has $\Gamma (ϵ/2)=2/ϵ+O(1)$, and the remaining factors tend to $(4\pi {)}^{-2}$ and one. Hence the massive scalar bubble pole in four dimensions isThe pole is independent of the external momentum, as required for a local quartic counterterm.

Use the mostly-plus Minkowski metric and expand $e^{iS}$. The momentum-space Feynman rules are: an internal scalar propagator $i/(-p^2-m^2+i0)$; a four-scalar interaction vertex $-i{\mu }^{ϵ}\lambda$; a momentum conservation delta function at each vertex; and $\int d^{d}k/(2\pi {)}^d$ per independent loop momentum. Divide by the Feynman-diagram symmetry factor. All momenta can be taken incoming. External propagators are omitted when computing an amputated one-particle-irreducible vertex.

The connected one-loop one-particle-irreducible Feynman diagrams are the two-point tadpole diagram and the three four-point bubble diagrams, in the $s,t,u$ channels. Each has symmetry factor $1/2$. A tadpole attached to an external leg through a single bridge would be reducible, so is excluded here.

The Euclidean massive loop integral at $n=1$ has $\Gamma (-1+ϵ/2)=-2/ϵ+O(1)$, so $I_{d,1}=-m^2/(8{\pi }^2ϵ)+O(1)$. Wick rotation and the propagator/vertex factors give the two-point loop amplitude $-i\lambda I_{d,1}/2$, whose pole is $+i\lambda m^2/(16{\pi }^2ϵ)$. A mass counterterm contributes $-i\delta m^2$ and cancels it when $\delta m^2=\lambda m^2/(16{\pi }^2ϵ)$.

Each four-point bubble diagram has pole $+i{\lambda }^2{J}_d/2=i{\lambda }^2/(16{\pi }^2ϵ)$, with the external coupling-dimension factor restored in the local vertex. Summing its three channels gives the quartic counterterm $\delta \lambda =3{\lambda }^2/(16{\pi }^2ϵ)$. Therefore the one-loop massive phi-fourth counterterms are exactlyThere is no one-loop wave-function renormalization, since the tadpole is independent of external momentum. Vacuum graphs would additionally require a vacuum-energy subtraction.

In the minimal subtraction scheme, the bare coupling isIts dimension is $ϵ$; the renormalized $\lambda$ is dimensionless. Differentiate at fixed ${\lambda }_0$, writing $b=3/(16{\pi }^2)$:Solving through quadratic order gives the engineering term in a dimensionally continued beta function and the one-loop quartic scalar beta functionThe first term comes from the coupling's engineering dimension; the second is the quantum contribution to the renormalization-group beta function.

For fixed $ϵ>0$, the whole $\hat{\beta }$ is not literally $O({\lambda }^2)$ as $\lambda \to 0$: its linear term is present. Interpret the final instruction as keeping terms through quadratic order. Set ${\lambda }_{\ast }=ϵ/b=16{\pi }^2ϵ/3$. Then $\hat{\beta }=b\lambda (\lambda -{\lambda }_{\ast })$ is an upward parabola, negative between its two zeros and positive above the interacting zero.

For positive initial coupling ${\lambda }_r=\lambda ({\mu }_r)$, the quartic running coupling below four dimensions follows by solving the linear equation for $1/\lambda$:If $0<{\lambda }_r<{\lambda }_{\ast }$, then $\lambda (\mu )\to {\lambda }_{\ast }$ as $\mu \to 0$ and $\lambda (\mu )\to 0$ as $\mu \to \infty$. If ${\lambda }_r={\lambda }_{\ast }$ it stays fixed; the zero solution also stays fixed. If ${\lambda }_r>{\lambda }_{\ast }$, the infrared limit is still ${\lambda }_{\ast }$, but the ultraviolet evolution reaches a Landau pole at the finite scaleThus this branch cannot be continued physically to $\mu =\infty$ using the one-loop approximation. These are statements about the quartic coupling direction. The Wilson-Fisher fixed point of the full scalar theory also has a thermal relevant direction at the Wilson-Fisher fixed point; approaching the critical theory requires mass tuning. For negative initial coupling, the quartic potential is unstable: the same formula tends to zero from below in the ultraviolet and reaches a pole at finite scale toward the infrared.

With $Z[J]=e^{iW[J]}$, the logarithm $W$ is the connected generating functional. Its derivative $\phi =\delta W/\delta J$ is the mean field. The specified Legendre transform satisfies $\delta \Gamma /\delta \phi =J$, and the quantum effective action generates amputated one-particle-irreducible vertices by further functional derivatives. In this question $\Gamma =-W+\int J\phi$ is the negative of the commonly used Minkowski effective-action convention; consequently its tree term is $-S[\phi ]$. Its diagrammatic content is unchanged if the convention is used consistently.

Expand the action around a stationary background in the presence of the source. For $\varphi =\phi +f$, integration by parts givesThe linear term vanishes at the tree-level saddle, $\delta S/\delta \phi +J=0$. Keeping the Gaussian fluctuation approximation, and fixing the field-independent normalization, givesto one-loop order. The shift from the tree saddle to the exact mean field cancels from the tree Legendre transform at this order. Hence the one-loop scalar effective action in the question's convention isThe functional determinant has a Feynman i-epsilon prescription before Wick rotation. Higher loops come from the omitted cubic and higher fluctuation vertices.

To see the one-loop one-particle-irreducible Feynman diagrams, write $\Delta ={\Delta }_0+U(\phi )$. Its determinant expansion isEach trace closes a single scalar loop, with propagators ${\Delta }_0^{-1}$ and background insertions $U$. No internal edge is a bridge, so these graphs are one-particle irreducible. Expanding the background factors produces their external legs.

For a constant $\phi$, set $A=V^{\prime \prime }(\phi )>0$. The quantum effective potential is defined here by $\Gamma [\phi ]=\int d^{d}x{V}_{\mathrm{eff}}(\phi )$. A plane-wave basis diagonalizes $\Delta$, and the supplied Wick rotation converts its correction per unit volume toHere the power of the renormalization scale keeps the continued integral in four-dimensional units. The Gamma function recurrence and expansion giveConsequentlyThe divergence is local, so subtract it with a potential counterterm. In the modified minimal subtraction scheme, remove its associated $\gamma -\log 4\pi$ constants as well. The one-loop scalar effective potential becomesup to an arbitrary field-independent vacuum-energy constant. Another allowed finite subtraction replaces the nonlogarithmic constant. Restoring a loop-counting parameter would multiply the displayed correction by $\hslash$. The logarithm assumes positive curvature $A$; a background with negative curvature requires an analytic continuation and can have an imaginary part signalling instability.

The quartic case is special because of quartic closure of scalar effective-potential counterterms. If $V$ has degree at most four, then $V^{\prime \prime }$ has degree at most two and $(V^{\prime \prime }{)}^2$ has degree at most four: its pole is removable by the original polynomial couplings and a constant. For example, $V=m^2{\phi }^2/2+\lambda {\phi }^4/4!$ givesThe last two terms reproduce the one-loop massive phi-fourth counterterms, and the first is a vacuum-energy subtraction. A degree-$r$ potential with $r>4$ instead generates degree $2r-4>r$, forcing new operators. This is the potential-level manifestation of power counting in quantum field theory and four-dimensional renormalizability, even though the finite effective potential itself need not remain polynomial.

For an oriented Euclidean string worldsheet with metric $h_{ab}$, use the string nonlinear sigma model actionHere ${ϵ}^{ab}$ is an antisymmetric density with ${ϵ}^{12}=1$. The factor $i$ in the Euclidean Kalb–Ramond field term follows from continuing the real Lorentzian two-form coupling; reversing orientation or the convention for $B$ reverses its sign. The conventional positive Euclidean dilaton coupling is being used. With worldsheet boundaries its curvature coupling also needs ${\int }_{\partial \Sigma }\Phi kds/(2\pi )$, where $k$ is the boundary geodesic curvature, to have the proper topological normalization for constant $\Phi$.

All three terms are invariant under worldsheet diffeomorphisms. Target-coordinate changes act on $X,G,B,\Phi$ by their ordinary scalar and tensor transformation rules, making the target description covariant as well. For the two-form there is also the target gauge symmetry $B\mapsto B+d\Lambda$. Its change in the closed-worldsheet action is an integral of an exact two-form and hence zero. With boundaries it is instead $i{\int }_{\partial \Sigma }{X}^{\ast }\Lambda /(2\pi {\alpha }^{\prime })$; an endpoint gauge field with $\delta A=-\Lambda /(2\pi {\alpha }^{\prime })$ cancels it.

Under a local Weyl transformation $h_{ab}\mapsto e^{2\omega }{h}_{ab}$, the metric term is invariant because the two-dimensional factors $\sqrt{h}$ and $h^{ab}$ cancel. The $B$ term is independent of $h$ and is separately invariant. The curvature transforms asOn a closed surface the dilaton variation is consequentlyThus a general nonconstant dilaton term is not separately invariant under Weyl transformations. Its variation is the Weyl variation of a nonconstant dilaton coupling; it vanishes for constant $\Phi$ after the boundary completion where necessary.

For $\Phi ={\Phi }_0$, the Gauss-Bonnet theorem gives $S_{\Phi }={\Phi }_0\chi (\Sigma )$. In the Euclidean path integral the resulting weight isFor a connected orientable genus-$g$ surface with $b$ boundaries, $\chi =2-2g-b$, so the weight is $g_s^{2g+b-2}$. A closed-string handle therefore adds two powers of string coupling. External vertex normalizations add their own coupling factors; they are distinct from this dilaton Euler-characteristic weighting. The constant dilaton controls the string genus expansion, rather than adding a force to the classical embedding equation.