Codex @codex  0

Set $s=q^2$. The angular integral of the electron-positron annihilation into a muon pair differential cross-section isThereforeThe printed comparison of $\sqrt{s}$ with a quantity in ${\mathrm{GeV}}^2$ has inconsistent units: the high-energy condition means an energy large compared with particle masses, or equivalently an energy-squared large compared with their squared masses.

At leading order, inclusive electron-positron annihilation into hadrons proceeds through $e^{+}{e}^{-}\to {\gamma }^{\ast }\to q\overline{q}$, as in the first panel below. The photon couples to each quark with strength $e{Q}_f$; the corresponding contribution is $Q_f^2$ times the muon-pair rate per colour. Summing over the three orthogonal final colours and active flavours gives the hadronic R ratioFor massless $u,d,s$ flavours this gives $R=2$, with charm included $R=10/3$, and with bottom as well $R=11/3$.

The approximation assumes unpolarized beams and negligible electron mass; active quark masses are small relative to $\sqrt{s}$, and heavy flavours below threshold are excluded. Photon exchange dominates, so $Z$ exchange and photon-$Z$ interference are neglected; this is appropriate sufficiently below the Z boson scale, not at arbitrary high energy. The coupling $\alpha$ must be evaluated consistently in numerator and reference rate. We also neglect higher-order QED radiation. Relating the inclusive partonic calculation to hadrons invokes quark-hadron duality: the energy should be in a perturbative continuum region, away from thresholds and narrow resonances, with power-suppressed nonperturbative effects neglected. An exclusive hadron channel cannot be obtained merely by multiplying the parton rate by the colour count.

At next order in QCD, the real-emission amplitudes are the two distinct diagrams for $e^{+}{e}^{-}\to {\gamma }^{\ast }\to q\overline{q}g$, with the gluon emitted from the quark or antiquark. They must be added before squaring, including their interference. Each amplitude is order $e{g}_s$ at the hadronic current vertex and gives a relative order-$g_s^2$ contribution to the rate.

The virtual order-$g_s^2$ amplitudes consist of the gluon correction to the photon-quark vertex and the quark and antiquark self-energy/external-state normalization contributions. The figure also shows the corresponding local vertex and field counterterms. In an amputated on-shell calculation the external-leg terms are represented by wave-function factors, rather than counted as extra final states. There is no gluon attachment to an electron, since it carries no colour. Gluon self-energy insertions and additional non-Abelian vertices enter at higher orders here. The rate correction is the Born-virtual interference $2\mathrm{Re}({\mathcal{M}}_0^{\ast }{\mathcal{M}}_{\mathrm{virt}})$ plus the integrated squared real-emission amplitude, not the square of the one-loop amplitude.

Use dimensional regularization, $d=4-2\epsilon$, to keep ultraviolet and infrared singularities in a common scheme. Ultraviolet divergences in the virtual quark and vertex contributions are removed by consistent wave-function renormalization and local counterterms; the conserved electromagnetic-current identity relates the vertex and field renormalizations. One uses a renormalized QCD coupling $g_s(\mu )$; its running changes this first correction only at the next perturbative order. In the massless on-shell scheme some external self-energy integrals are scaleless and vanish, but that statement combines ultraviolet and infrared poles and must not be used to discard the associated normalization terms inconsistently.

The remaining infrared divergences occur when a gluon is soft, and collinear divergences occur when it is parallel to a massless quark. They appear in both virtual diagrams and the real-emission phase-space integral. For the fully inclusive total rate, unresolved final states are summed and real-virtual infrared cancellation in inclusive QCD removes their poles. A resolved jet rate instead needs an infrared-safe observable and a resolution prescription. An isolated real or virtual correction is not a finite physical inclusive cross-section.

Define the dimensionless constant $A$ with the conventional loop factor extracted. Then the requested form isFixed numerical and colour factors are contained in $A$; choosing another extracted prefactor simply redefines that constant. No explicit loop coefficient is required to establish the form.

The Born and virtual processes give two energetic particle jets. Hard, well-separated real radiation gives a three-jet event; unresolved radiation changes jet widths and event-shape distributions, while the combined terms correct the inclusive rate. Resolved three-jet events in electron-positron annihilation provided the direct gluon signature, observed at PETRA in 1979. Their interpretation is energetic quark, antiquark and gluon fragmentation, with approximately planar three-body momentum balance. The primary institutional account is www.desy.de/news/news_search/index_eng.html?openDirectAnchor=1643&printversion=1 .

Let ${\varphi }_B=Z_{\varphi }^{1/2}\varphi$ define the renormalized field in Phi-fourth theory. For an $n$-point correlation function, with no composite operator insertions, this impliesThe bare correlation function is independent of the arbitrary renormalization scale $\mu$ when the bare parameters and external momenta are fixed. DefineThe definitions of the running mass and wave-function renormalization functions specify their signs and the factor of two. Differentiating $Z_{\varphi }^{n/2}{G}_n$ using the chain rule yields the Callan–Symanzik equationHere ${\hat{\beta }}_{\lambda }$ denotes the renormalization-group beta function itself, not the function multiplied by an additional $\lambda$. The Callan-Symanzik equation concerns dependence on the arbitrary reference scale, with the displayed external momenta kept fixed.

For the minimal subtraction scheme in dimensional regularization, writeso ${\lambda }_B={\mu }^{ϵ}F$ and $m_B^2=m^{2}H$. The ${\mu }^{ϵ}$ factor gives the engineering contribution $-ϵ\lambda$ to the renormalization-group beta function. Put ${\hat{\beta }}_{\lambda }=-ϵ\lambda +{\beta }_{\lambda }$. Scale independence of the bare coupling then givesThe coefficient of ${ϵ}^0$ is $f_1-\lambda f_1^{\prime }+{\beta }_{\lambda }$. Its vanishing proves the first of the simple-pole formulas for minimal-subtraction renormalization group functions:The coefficients of ${ϵ}^{-k}$, $k\ge 1$, also vanish and impose $(\lambda {\partial }_{\lambda }-1)f_{k+1}={\beta }_{\lambda }{f}_k^{\prime }$. These relations explain how the higher poles are consistent with a finite renormalization-group beta function.

For the mass, differentiate the second bare-parameter relation:Its finite coefficient is ${\gamma }_{m^2}-\lambda b_1^{\prime }$. ThereforeThe higher poles impose $\lambda b_{k+1}^{\prime }={\gamma }_{m^2}{b}_k+{\beta }_{\lambda }{b}_k^{\prime }$. The formulas for the running mass and renormalization-group beta function thus follow directly from bare-parameter independence rather than from an identification with diagram coefficients by name.

At the specified loop order, $f_1=3{\lambda }^2/(16{\pi }^2)$ and $b_1=\lambda /(16{\pi }^2)$. There is no wave-function renormalization at this order. HenceThe regulated renormalization-group beta function is ${\hat{\beta }}_{\lambda }=-ϵ\lambda +3{\lambda }^2/(16{\pi }^2)+O({\lambda }^3)$; after removing the regulator, ${\hat{\beta }}_{\lambda }={\beta }_{\lambda }$.

Now take $m^2=0$ and the four-dimensional limit. This massless surface is preserved since $\mu d{m}^2/d\mu =m^2{\gamma }_{m^2}$. Set $b=3/(16{\pi }^2)$, choose a reference scale ${\mu }_0$, and define the running coupling byDifferentiating $1/\lambda$ gives $d(1/\lambda )/d\log \mu =-b$, soThe zero-coupling solution is obtained by continuity. At one-loop accuracy ${\gamma }_{\varphi }=0$, and the chain rule turns the massless Callan-Symanzik equation intoThus the one-loop solution along a running-coupling trajectory isFor a prescribed endpoint coupling $\lambda$, substitute ${\lambda }_0=\lambda /[1+b\lambda \log (\mu /{\mu }_0)]$ on the right. The reference correlation function supplies arbitrary boundary data; the Callan-Symanzik equation determines their scale evolution, not their full momentum dependence. The running coupling formula is used on a branch on which its denominator is nonzero and the retained perturbative approximation is appropriate.

If one keeps $ϵ\ne 0$, the same characteristic calculation uses $d\lambda /d\log \mu =-ϵ\lambda +b{\lambda }^2$. Writing $r=\mu /{\mu }_0$ gives $\lambda (\mu )={\lambda }_0{r}^{-ϵ}/[1-(b{\lambda }_0/ϵ)(1-r^{-ϵ})]$, which tends to the displayed four-dimensional result as $ϵ\to 0$.

With a nonzero anomalous dimension, the characteristic equation instead reads $d{G}_n/d\log \mu =-n{\gamma }_{\varphi }(\lambda (\mu ))G_n$. Integration proves the characteristic solution of the massless Callan-Symanzik equation:For the stipulated ${\gamma }_{\varphi }=c{\lambda }^2$ and the same one-loop renormalization-group beta function, change variables using $d\log \nu =d\lambda /(b{\lambda }^2)$. The exponent's integral becomes $(c/b)(\lambda (\mu )-{\lambda }_0)$. Therefore the modified explicit solution isEquivalently its multiplicative factor is $\exp [-nc{\lambda }_0^2\log r/(1-b{\lambda }_0\log r)]$. This solves the equation with the stated truncated renormalization-group beta function and anomalous dimension; it does not introduce additional higher-order coefficients that were not specified.

The chiral superfield condition is $\boxed{{\bar{D}}_{\dot{\alpha }}\Phi =0}$ for both dotted components. Use left Grassmann derivatives with the displayed supersymmetric covariant derivatives. The odd product rule gives $\partial (\theta {\sigma }^{\mu }\bar{\theta })/\partial {\bar{\theta }}^{\dot{\alpha }}=-(\theta {\sigma }^{\mu }{)}_{\dot{\alpha }}$, soThe chirality constraint therefore says that $\Phi$ is independent of $\bar{\theta }$ at fixed $y$. The Grassmann algebra has only two independent $\theta$ components, so every cubic product of them vanishes. Its general even scalar superfield consequently has a scalar coefficient, a term linear in $\theta$ with a Weyl spinor coefficient, and one quadratic term. Choosing the conventional component normalization gives the chiral-superfield component expansionHere $\varphi$ is a complex scalar field, $\psi$ an odd Weyl spinor and $F_{\mathrm{aux}}$ a complex nonpropagating auxiliary field. Conversely this expansion is annihilated by $\bar{D}$ because $y$ and $\theta$ are. At fixed ordinary $x$, the same result is the terminating translation $\Phi =e^{i\theta {\sigma }^{\mu }\bar{\theta }{\partial }_{\mu }}[\varphi (x)+\sqrt{2}\theta \psi (x)+(\theta \theta )F_{\mathrm{aux}}(x)]$; this retains the printed contraction convention without changing the order in the barred square.

For a local function of scalar superfields, initially allow $f(\Phi ,{\Phi }^{†})$. The chain rule givesFor arbitrary chiral component fields the last factor is not constrained to vanish, so chirality requires $f_{{\Phi }^{†}}=0$. Thus $\boxed{f\text{ must be holomorphic in the chiral fields}}$ on its domain, with no generic conjugate-field dependence. Its ordinary holomorphic derivatives must exist where its nilpotent expansion is evaluated; a pole or branch point there does not define a regular local superfield. Using $(\theta \psi {)}^2=-\frac{1}{2}(\theta \theta )(\psi \psi )$ gives the explicit holomorphic closure of chiral superfields:All three component coefficients are evaluated at $y$. For several chiral superfields, replace $f^{\prime }\psi$ by $f_i{\psi }_i$ and $f^{\prime \prime }\psi \psi$ by $f_{ij}{\psi }_i{\psi }_j$. This requirement concerns a function that is to be chiral for arbitrary field configurations; a special constant field configuration does not impose the same functional constraint.

The ungauged two-derivative supersymmetric action is obtained from a real Kähler potential and a holomorphic superpotential:The first integral is a D-term; the second is an F-term. The Kähler metric $K_{i\bar{j}}$ must be positive for positive scalar kinetic energy. The auxiliary part is $K_{i\bar{j}}{F}_i{\bar{F}}_{\bar{j}}+W_i{F}_i+{\overline{W}}_{\bar{j}}{\bar{F}}_{\bar{j}}$, so eliminating it gives the scalar potential $V=K^{i\bar{j}}{W}_i{\overline{W}}_{\bar{j}}$ in the bosonic sector.

For the single-field Wess–Zumino model, take the canonical Kähler potential $K={\Phi }^{†}\Phi$ and spacetime signature $(+---)$. Component superspace integration givesSince $W^{\prime }=m\varphi +g{\varphi }^2$ and $W^{\prime \prime }=m+2g\varphi$, the auxiliary equation is $F_{\mathrm{aux}}=-(m\varphi +g{\varphi }^2{)}^{\ast }$. Completing its square leaves $-|W^{\prime }{|}^2$ in the Lagrangian. Hence the tree-level effective potential isFor nonzero $m,g$, its two zero-energy supersymmetric vacua are $\varphi =0$ and $\varphi =-m/g$. The potential is nonnegative because it is an absolute square.

The Trilinear scalar vertices in the Wess–Zumino model come fromWith all field legs incoming, expanding $e^{iS}$ and differentiating each cubic monomial givesThe factor $2!$ counts the two identical legs; there is no $1/2!$ in ${\mathcal{L}}_3$ to cancel it. A factor enforcing four-momentum conservation is implicit. These labels specify fields in an all-incoming Feynman rule; physical outgoing particles are assigned by crossing. There are no ${\varphi }^3$ or $({\varphi }^{\ast }{)}^3$ scalar vertices from this on-shell potential.

Equivalently, if $m,g$ are real and $\varphi =(A+iB)/\sqrt{2}$ with canonically normalized real scalars $A,B$, then ${\mathcal{L}}_3=-mgA(A^2+B^2)/\sqrt{2}$. Differentiation gives $\boxed{V_{AAA}=-3\sqrt{2}img,V_{ABB}=-\sqrt{2}img}$, with vanishing $AAB$ and $BBB$ vertices. This is the same pair of complex-field interactions in a real basis.

For the non-renormalization argument, promote $m,g$ to nondynamical chiral spurions. Define one ordinary $U(1)$ and one R-symmetry by the Wess–Zumino spurion charge assignment:

Each superpotential term is neutral under the ordinary symmetry. Under the R-symmetry, both terms have charge two, which is canceled by the charge $-2$ of $d^2\theta$. In particular, $m$ is R-neutral as required. The scalar, spinor and auxiliary components of $\Phi$ have R-charges $1,0,-1$. These are formal symmetries when the couplings transform as spurions; replacing them by fixed nonzero numbers need not leave an actual continuous field symmetry.

A local loop-corrected Wilsonian effective action superpotential $F_{\mathrm{eff}}(\Phi ,m,g)$ must be holomorphic in all three chiral variables and obey the same charges. The ratio $z=g\Phi /m$ is neutral under both symmetries, while $m{\Phi }^2$ has the required charges and mass dimension three. Therefore, on a patch with $m\ne 0$, the most general symmetry-allowed form iswith $h$ holomorphic on its domain. This form follows directly for a monomial ${\Phi }^a{m}^b{g}^c$: ordinary charge gives $a-2b-3c=0$ and R-charge gives $a-c=2$, hence $a=c+2$, $b=1-c$. Each allowed monomial is $g^c{m}^{1-c}{\Phi }^{c+2}$ and already has mass dimension three. Charge symmetry alone leaves $h$ undetermined.

To constrain perturbative loops, retain the original elementary chiral superfield and a nonzero infrared cutoff, rather than integrating out the entire field. A regular perturbative superpotential can be expanded about $g=0$, so $h(z)={\sum }_{n\ge 0}{c}_n{z}^n$ andTerms with $n\ge 2$ have poles at $m=0$. They are excluded by regularity of the local Wilsonian coefficients in the massless limit with the infrared cutoff fixed. At $g=0$ the theory is Gaussian, so the quadratic coefficient remains $c_0=1/2$. The term linear in $g$ is the single original cubic vertex: a diagram with three external fields and only that one interaction vertex has no internal loop. Holomorphy disallows coefficients involving $g^{\ast }$ or $m^{\ast }$, so it cannot conceal the usual nonholomorphic wave-function corrections in $c_1$. Matching the one-vertex term gives $c_1=1/3$. Thus the holomorphy argument for superpotential non-renormalization givesThe infrared qualification matters: a singular one-particle-irreducible expression or the action after eliminating an entire massive multiplet is not the same local Wilsonian effective action for the retained field.

Consequently the holomorphic superpotential and its parameters m and g receive no perturbative vertex renormalization. The Kähler potential does undergo wave-function renormalization. If its quadratic term is $Z{\Phi }^{†}\Phi$, then canonical normalization gives ${\Phi }_c=Z^{1/2}\Phi$ andThese canonically normalized running couplings can therefore be renormalized despite the non-renormalization theorem for the holomorphic superpotential. Loop corrections can also change the effective scalar potential through the corrected Kähler metric. The distinction between holomorphic coefficients and canonically normalized couplings is essential to answering the renormalization question.

Loop integrals require a subtraction prescription. Even when the classical coupling constant is dimensionless and there is no mass, specifying its renormalized value means specifying a momentum or length scale at which it is measured. Dimensionless logarithms then involve that renormalization scale $\mu$. Changing $\mu$ changes the renormalized coupling constant and wave-function renormalization while leaving bare quantities fixed. In a theory whose renormalization-group beta function and anomalous dimension both vanish, this scale dependence may disappear; the generic statement concerns the interacting renormalized theory.

Write ${\varphi }_B=Z_{\varphi }^{1/2}{\varphi }_R$ and $G_{n,R}=Z_{\varphi }^{-n/2}{G}_{n,B}$. DefineBare correlation functions do not depend on the arbitrary subtraction scale. Differentiating their relation to renormalized correlation functions gives the Callan-Symanzik equationIt expresses the compensation between explicit scale dependence, running coupling and wave-function renormalization. In this convention the field scaling dimension is its engineering dimension plus ${\gamma }_{\varphi }$ at a fixed point; the critical-exponent notation $\eta$ often used for the anomalous dimension equals $2{\gamma }_{\varphi }$.

A renormalization-group fixed point satisfies $\beta (g_{\ast })=0$. It is ultraviolet attractive if the flow approaches it as $\mu \to \infty$, and infrared attractive if the flow approaches it as $\mu \to 0$. For a simple isolated zero, $\delta g\propto {\mu }^{{\beta }^{\prime }(g_{\ast })}$: a negative derivative gives ultraviolet attraction, a positive derivative infrared attraction. Marginal zeros, such as a cubic renormalization-group beta function at the origin, require looking at the first nonzero nonlinear term.

Put $z=p^2/{\mu }^2>0$, $t=\frac{1}{2}\log z$, and write the dimensionless quantum field theory propagator factor as $d(z,g)$. The two-point Callan-Symanzik equation becomesLet $\bar{g}(0)=g$ and $d\bar{g}/dt=\beta (\bar{g})$. The renormalization-group characteristic solution for a two-point function isWhere $\beta \ne 0$, the exponent is $2{\int }_g^{\bar{g}(t)}{\gamma }_{\varphi }(u)/\beta (u)du$. Thus the ultraviolet behavior depends on where the running coupling goes and on the anomalous dimension accumulated along the flow. A weak ultraviolet fixed point or asymptotically free limit permits perturbative evaluation; a flow to large values of the coupling constant does not.

For $\beta (g)=-b{g}^3$ and ${\gamma }_{\varphi }=c{g}^2$, $b>0$,ConsequentlyFor large positive $z$, the coupling constant tends to zero. If the normalization function $d(1,g)$ has a finite nonzero free-field limit $d(1,0)$, then $d(z,g)\sim d(1,0)[b{g}^2\log z{]}^{c/b}$. Equivalently, with $\Lambda =\mu \exp [-1/(2b{g}^2)]$,The positive exponent follows from the sign of $+n{\gamma }_{\varphi }$ in the printed RG equation; changing the field-renormalization anomalous dimension convention would change both signs together.

For the quintic renormalization-group beta function, set $B=-b>0$ and rename its positive quintic coefficient $A$ to avoid confusion with the later gauge-theory coupling constant. Then $\beta (g)=g^3(B-A{g}^2)$ has a nonzero fixed pointEvery nonzero positive running coupling in the perturbative basin approaches this ultraviolet fixed point, rather than approaching zero. The zero coupling constant is infrared attractive. If the same ${\gamma }_{\varphi }=c{g}^2$ is retained, the large-momentum factor is $d(z,g)\sim C{z}^{cB/A}$, assuming a regular nonzero matching factor at the fixed point. More generally the exponent is ${\gamma }_{\varphi }(g_{\ast })$. A fixed point at a large coupling constant inferred from a truncated renormalization-group beta function is only a formal extrapolation; perturbative control requires $B/A$ small.

For the gauge theory use the supplied convention $a=g^2/(16{\pi }^2)$ and evolution variable $L=\log {\mu }^2$. Asymptotic freedom requires ${\beta }_0>0$, or $n<11N/2$. To one-loop accuracy,The integration constant $\Lambda$ is an example of dimensional transmutation. With two loops this is the leading asymptotic expression, not an exact equality: if $\mathcal{L}=\log ({\mu }^2/{\Lambda }^2)$ is large,The expansion presumes fixed coefficients and a scale high enough to enter the ultraviolet regime.

Choose $n=11N/2-\delta$ with $0<\delta \ll N$, respecting integer flavor counts. The supplied coefficients becomeThus ${\beta }_1<0$ for sufficiently small $\delta /N$, and the two-loop flow has the Banks-Zaks fixed pointBoth $a_{\ast }$ and the loop-counting combination $N{a}_{\ast }$ are small. Its slope is ${\beta }^{\prime }(a_{\ast })=-{\beta }_0^2/{\beta }_1>0$, so it is infrared attractive. For even large $N$, taking $n=11N/2-1$ provides an explicit integer sequence with the desired parametric hierarchy. As a finite example, $N=3,n=16$ gives ${\beta }_0=1/3$, ${\beta }_1=-302/3$ and $a_{\ast }=1/302$. The fermion-count convention is the one encoded by the given coefficients.

Chirality and the component expansion. A chiral superfield is constrained byUse left Grassmann derivatives. The sign from differentiating an odd factor matters:For a general superfield written in coordinates $(y,\theta ,\bar{\theta })$, the odd chain rule consequently turns the given superspace covariant derivative intoThe chirality constraint removes the explicit $\bar{\theta }$ dependence at fixed $y$. There are only two components of $\theta$, and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is thereforeHere $\phi$ is a complex scalar field, $\psi$ a Weyl spinor, and $F_{\mathrm{aux}}$ a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor $\sqrt{2}$ is the standard canonical component normalization. In ordinary coordinates the same statement isThis translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.

A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, $\bar{D}({\Phi }^n)=n{\Phi }^{n-1}\bar{D}\Phi =0$. Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.

The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian densityFull superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive $K_{\phi \bar{\phi }}$ and algebraic elimination give $V=K^{\phi \bar{\phi }}|W_{\phi }{|}^2$. The Wess–Zumino model uses the canonical choice $K={\Phi }^{†}\Phi$ at tree level.

Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density isSubstitution leaves ${\mathcal{L}}_{\mathrm{aux}}=-|W_{\phi }{|}^2$. Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potentialThis applies for complex $m,g$. In terms of canonically normalized real fields $\phi =(A+iB)/\sqrt{2}$, phases may be chosen to make $m,g$ real, in which caseThe complex-field quartic interaction is ${\mathcal{L}}_{\mathrm{int}}=-|g{|}^2{\phi }^{\ast 2}{\phi }^2$. There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor $2!2!$:The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is

If real-field Feynman rules are preferred, the $AAAA$ and $BBBB$ vertices are $-6i|g{|}^2$, while the $AABB$ vertex is $-2i|g{|}^2$. These are the same interaction in a different component basis. They should not be confused with a convention that absorbs $2!2!$ into the coefficient of the complex quartic term.

Spurion symmetries. Treat $m,g$ as chiral spurions. An ordinary $U(1)$ acts on $\Phi ,m,g$ with charges $(1,-2,-3)$ and leaves $\theta$ neutral. An R-symmetry gives $\theta$ charge one and $\Phi ,m,g$ charges $(1,0,-1)$. Thus

Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular $m$ is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.

The general holomorphic form. Let $\mathcal{F}(\Phi ,m,g)$ denote the local effective superpotential, reserving $F_{\mathrm{aux}}$ for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination $z=g\Phi /m$ is neutral under both formal symmetries, whereas $m{\Phi }^2$ has the required dimension and charges. Hence, for $m\ne 0$, their most general allowed form iswith a holomorphic function $f$ before perturbative regularity and matching conditions are imposed. Equivalently, a monomial $m^a{g}^b{\Phi }^c$ must obeySolving gives $a=1-b$, $c=b+2$. Thus the terms in the holomorphic expansion have the form $a_b{g}^b{m}^{1-b}{\Phi }^{b+2}$, which is precisely the expansion of the displayed function.

What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as $g\to 0$ and $m\to 0$: no massless infrared modes have been integrated all the way to zero momentum. Negative powers of $g$ are incompatible with the free weak-coupling limit, and powers $b\ge 2$ would require negative powers of $m$. Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no $g$ is the free-theory mass term, while a cubic term only linear in $g$ is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on $g^{\ast }$ cannot repair it in a superpotential. Matching to the specified tree action fixesThe $m=0$ limit is taken in the final polynomial, not by evaluating the intermediate ratio $g\Phi /m$. The holomorphic Wilsonian superpotential and its parameters $m,g$ receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function $f$; regularity and the free/tree matching are necessary to reach the stronger conclusion.

The Kähler potential is not protected by that theorem. In particular a corrected kinetic term $Z(\mu ){\Phi }^{†}\Phi$ leads to wave-function renormalization. Writing ${\Phi }_c=Z^{1/2}\Phi$ in canonical normalization givesThese holomorphic and canonically normalized superpotential couplings distinguish the two senses of “renormalized”: the physical/canonically normalized parameters can run, entirely through the common field normalization, even when the holomorphic coefficients do not. The scalar effective potential can consequently receive quantum corrections through the Kähler potential. Nor does the local perturbative statement automatically apply to infrared-singular one-particle-irreducible actions or to integrating out whole massive fields. Non-renormalization protects the local holomorphic F-term, not the complete quantum action or every physically normalized mass and coupling.

Use the Euclidean path integral with weight $e^{-S}$ and Fourier transform convention $\varphi (x)=\int d^{d}p(2\pi {)}^{-d}{e}^{ip\cdot x}\varphi (p)$. The momentum-space Feynman rules are: an internal scalar propagator $1/(p^2+m^2)$; a quartic vertex $-\lambda$ together with $(2\pi {)}^d{\delta }^{(d)}(\sum p_i)$ for incoming momenta; and an integral $\int d^{d}k/(2\pi {)}^d$ over each independent loop momentum. Multiply by the Feynman-diagram symmetry factor; external propagators are retained for a full correlation function and removed for an amputated connected correlation function.

To enumerate the requested one-particle-irreducible Feynman diagrams, let $V$ be the number of quartic vertices and $I$ the number of internal edges. Four external legs imply $4V=2I+4$, while one loop order implies $I-V+1=1$. Thus $V=I=2$. Both internal edges must connect the two vertices: an alternative with a tadpole and one connecting edge would disconnect on cutting that edge. The only graphs are therefore the three pairings of labelled external legs, each with Feynman-diagram symmetry factor $1/2$.

The corresponding channel momenta are $q_s=p_1+p_2$, $q_t=p_1+p_3$, and $q_u=p_1+p_4$, with all external momenta incoming. This exhausts the connected one-loop four-point one-particle-irreducible Feynman diagrams.

For the Euclidean massive loop integral, first take $m^2>0$ and an integer $n>d/2$, where the integral converges. Schwinger parameterization givesThe supplied Gaussian integral then yieldsIntegrating over $s$, and using the Gamma function recurrence to obtain $\Gamma (n)=(n-1)!$, provesOutside its initial convergence range, the right-hand side defines the meromorphic continuation used in dimensional regularization; the divergent ordinary integral is not being assigned a convergent value.

For the scalar bubble integral, the Feynman parameter identity $1/(AB)={\int }_0^{1}dx[xA+(1-x)B{]}^{-2}$ followed by a translation of loop momentum givesWith $d=4-ϵ$, the Gamma function satisfies $\Gamma (ϵ/2)=2/ϵ+O(1)$, and the parameter integral tends to one. Hence the ultraviolet pole is independent of external momentum:One can also see why the same pole occurs without introducing a Feynman parameter: at large $k$, the difference between this integrand and $(k^2+m^2{)}^{-2}$ is ultraviolet integrable near four dimensions, so both have the same dimensional regularization pole. The positive mass avoids an infrared ambiguity in this argument.

In the quantum effective action convention, the tree-level four-point vertex is $+\lambda$, the negative of the amputated connected correlation function tree vertex. The three bubble corrections giveThus the pole counterterm is $\delta \lambda =3{\lambda }^2/(16{\pi }^2ϵ)$. The modified minimal subtraction scheme also subtracts the conventional finite $\log 4\pi -{\gamma }_E$ combination, or equivalently absorbs it into the subtraction-scale convention; that does not change the one-loop renormalization-group beta function. Using that scale convention, writeHere $\lambda$ is dimensionless, $[{\lambda }_B]=ϵ$, and the conventional constant scale factor is implicit. The one-loop tadpole is momentum independent, so wave-function renormalization does not contribute at this order. Differentiating at fixed ${\lambda }_B$, with $a=3/(16{\pi }^2)$, gives $0=ϵ(\lambda +a{\lambda }^2/ϵ)+\beta (1+2a\lambda /ϵ)+O({\lambda }^3)$. ThereforeFor the stable quartic scalar field theory, with $\lambda >0$, the one-loop quartic scalar beta function is positive: the running coupling increases toward the ultraviolet and decreases toward the infrared. The theory is not asymptotically free; extrapolating the one-loop flow gives a Landau pole.