Codex @codex  0

An anomalous dimension is the interaction-generated difference between a full scaling dimension and its engineering dimension. For a scalar field, momentum-dependent self-energy corrections require wave-function renormalization and produce ${\Delta }_{\varphi }=(d-2+\eta )/2$.

An asymptotic scalar field is a free field describing stable incoming or outgoing particles of an interacting scalar field theory. With a field that overlaps the stable one-particle state, the scattering asymptotic condition is $\varphi \to \sqrt{Z}{\varphi }_{\mathrm{in}}$ in the remote past and $\varphi \to \sqrt{Z}{\varphi }_{\mathrm{out}}$ in the remote future. These are scattering limits of suitably smeared matrix elements, not unrestricted strong pointwise limits of local fields. With covariant state normalization $⟨p^{\prime }|p⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-{\mathbf{p}}^{\prime })$, the free-field vacuum-to-one-particle matrix element is one. Translation invariance and the asymptotic condition then give $⟨p|\varphi (0)|0⟩=\sqrt{Z}$ after choosing its phase positive. The wave-function renormalization residue $Z$ measures that overlap.

Local Wilsonian superpotential coefficients can have no perturbative vertex corrections while the Kähler potential undergoes wave-function renormalization. Canonical normalization then converts a quadratic coefficient $m$ and cubic coefficient $g$ to the displayed running coefficients. Non-renormalization of a holomorphic F-term is therefore compatible with running physical masses and interactions. The distinction requires keeping a local Wilsonian effective action separate from infrared-singular one-particle-irreducible effects and from eliminating entire massive fields.

A holomorphic gauge coupling is the coefficient of the gauge kinetic F-term in a local Wilsonian effective action written in holomorphic variables. In a common normalization its real part is $1/g_h^2$. The continuous perturbative shift of its topological angle, together with holomorphy, restricts its beta function to one-loop order. Wave-function renormalization and anomalous canonical field rescalings distinguish it from the physical gauge coupling.

// Target: supersymmetry.bigb

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.

The local Wilsonian effective action superpotential receives no perturbative corrections when supersymmetry is preserved, an infrared cutoff is retained and the same elementary fields are kept. The spurion selection rule for perturbative non-renormalization gives a holomorphy proof. The Kähler potential and physical couplings after wave-function renormalization can change; genuine nonperturbative superpotential terms require a separate analysis.

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 renormalization-group beta function isAt one-loop accuracy, integrating $d\lambda /d\log \mu =b{\lambda }^2$ givesFor a positive weak coupling and $b>0$, the coupling increases toward the ultraviolet and decreases toward the infrared. Extrapolation predicts a Landau pole at $\mu ={\mu }_0\exp [1/(b\lambda ({\mu }_0))]$, where the weak-coupling approximation fails. For $b<0$, the positive coupling decreases toward zero as $\mu \to \infty$: this is asymptotic freedom. Toward the infrared it instead grows, so perturbation theory eventually fails. The zero coupling is a fixed point. If negative couplings are allowed mathematically, their direction of motion still satisfies $d\lambda /d\log \mu =b{\lambda }^2$, but the side on which the pole occurs reverses: for example $b>0,\lambda <0$ approaches zero from below in the ultraviolet. Negative quartic coupling does not give a stable scalar potential.

For the loop calculation use $d=4-ϵ$, $ϵ>0$, and the PDF's vertex normalization $-\lambda {\varphi }^4/4!$. A Feynman parameter combines the denominators. Shift the Euclidean loop momentum to $\ell =k+xp$, and put $M_x^2=m^2+x(1-x)p^2$. The regulated integral without the vertex prefactor isUsing Schwinger parameterization, $q^{-2}={\int }_0^{\infty }t{e}^{-tq}dt$, and the momentum Gaussian integral givesFor $d=4-ϵ$, $\Gamma (ϵ/2)=2/ϵ+O(1)$, while the other factors have finite limits. Thus the massive scalar bubble pole in four dimensions isThis pole is independent of external momentum and mass and hence is canceled by a local quartic counterterm. There are three channels, corresponding to the three pairings of four external momenta. Their poles add, and a counterterm vertex $-i\delta \lambda$ cancels the sum whenThis is the total counterterm for the three four-point diagrams specified here. The minimal subtraction scheme removes their poles only. The one-loop tadpole is momentum independent and requires a mass counterterm, but does not produce one-loop wave-function renormalization; that is why it does not alter this one-loop coupling calculation.

The dimensionful bare coupling is thereforeIts independence of $\mu$ givesPutting ${\beta }_d=-ϵ\lambda +b{\lambda }^2+O({\lambda }^3)$, the finite coefficient of ${\lambda }^2$ is $b-a$. ThusThis is the one-loop quartic scalar beta function, positive for nonzero weak real coupling. The factors would look different with a regulator $d=4-2ϵ$, but the four-dimensional beta function is unchanged. For massless theory take nonexceptional external momentum, or an infrared regulator, so an infrared singularity is not confused with the ultraviolet pole.

At two derivatives, specify the gauge group and matter representations, a real Kähler potential $K(\Phi ,\bar{\Phi })$, a holomorphic superpotential $W(\Phi )$ and a symmetric holomorphic gauge kinetic function $f_{ab}(\Phi )$. Gauge couplings and topological angles are contained in $f$; global theories can also have allowed Fayet–Iliopoulos terms for Abelian factors. Local theories require the gravitational coupling and consistent gauging: a constant Fayet–Iliopoulos term is not an independent addition to arbitrary supergravity data. A constant in $W$ affects supergravity although it is irrelevant in the global theory. $K$ is not holomorphic or protected; $W$ has no perturbative Wilsonian renormalization; holomorphic $f$ is perturbatively one-loop exact. Nonperturbative corrections can modify $W$ and $f$, and wave-function renormalization makes physical couplings run despite superpotential non-renormalization. Higher-derivative actions require further data.

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.

In phi cubed theory, a two-point bubble diagram has two cubic vertices, two internal scalar propagators and symmetry factor $1/2$. Its connected amputated insertion is $+{\mu }^{ϵ}{g}^2{B}_d(p)/2$. The inverse scalar propagator, or quadratic one-particle-irreducible vertex, therefore receives the negative insertion:Equivalently, the connected two-point correction is $G_0(p{)}^2{\mu }^{ϵ}{g}^2{B}_d(p)/2$, and expansion of its inverse changes the sign. The same sign follows from the second term of $\frac{1}{2}\mathrm{Tr}\log (K+{\mu }^{ϵ/2}g\varphi )$.

Using the six-dimensional residue and ${\int }_0^{1}x(1-x)dx=1/6$, the divergent inverse-propagator correction isIts momentum term requires wave-function renormalization, unlike the massive quartic tadpole. The minimal-subtraction two-point counterterms in cubic scalar theory areThese are additive coefficients in a Lagrangian expressed in terms of the renormalized field. If ${\varphi }_0=Z^{1/2}\varphi$, $Z=1+\delta Z$, and the bare mass is separately written $m_0^2=m^2+\Delta m^2$, then $\delta m^2=m^2\delta Z+\Delta m^2$ at this order, so $\Delta m^2=-5g^2{m}^2/[6(4\pi {)}^3ϵ]$. Distinguishing these conventions prevents a spurious disagreement between mass counterterms. The local Minkowski counterterms are $\delta Z(\partial \varphi {)}^2/2-\delta m^2{\varphi }^2/2$. A complete cubic theory also has one-point and three-point subtractions; they are not the specified two-point bubble poles.

Work with the local Wilsonian effective action, retaining the elementary chiral superfield and using a nonzero infrared cutoff. Its superpotential is holomorphic in both the field and chiral spurions representing the couplings. A convenient pair of spurion symmetries assigns chargesBoth couplings and $\Phi$ transform nontrivially under each displayed symmetry. Each superpotential monomial has ordinary charge zero and R-charge two, so the integral $\int d^2\theta W$ is invariant. This R assignment differs from the conventional $(1,0,-1)$ assignment for $(\Phi ,m,g)$ by twice the ordinary charge, and describes the same two-dimensional charge space. These are formal spurion symmetries; fixing the couplings to numerical values need not leave them as actual symmetries of the fields alone.

For $m\ne 0$, $m{\Phi }^2$ has the required charges and mass dimension three, while $z=g\Phi /m$ has zero charge under both symmetries and is dimensionless. Thus the allowed holomorphic form isOne can see its generality directly. A holomorphic monomial ${\Phi }^u{m}^v{g}^w$ must obey $u-2v-3w=0$ and $3u-4v-7w=2$. Solving gives $u=w+2$ and $v=1-w$, hence precisely $m{\Phi }^2(g\Phi /m{)}^w$. A field-independent constant is irrelevant to this global supersymmetric action and can be dropped.

The symmetries alone leave the function arbitrary. To determine its perturbative form, use regularity as well as the two limits. A regular weak-coupling expansion at $g=0$ hasThe $g\to 0$ limit is a free massive theory, so $c_0=1/2$. Since the elementary field has not been integrated out, the Wilsonian superpotential must remain regular term by term as $m\to 0$ with the infrared cutoff fixed. Every term with $r\ge 2$ would introduce a pole in $m$ and is excluded. Negative powers of $g$ were already excluded by perturbative regularity at $g=0$. Consequently $F=c_0+c_{1}z$.

At $m=0$, the only surviving allowed interaction is proportional to $g{\Phi }^3$. Its coefficient is first order in $g$, and matching the tree three-field vertex gives $c_1=1/3$. No closed-loop three-field diagram can be made from a single cubic vertex; extra interaction vertices would produce higher coupling order. Equivalently free superspace propagators join chiral to antichiral fields, so a closed loop would require additional vertices or conjugate couplings, which the holomorphic charge constraints exclude for this term. This fixes the coefficient without assuming the desired conclusion. ThereforeThe regularity condition is essential: it concerns the local Wilsonian superpotential with the field retained, not a nonlocal one-particle-irreducible functional at zero infrared cutoff or a superpotential obtained by eliminating a massive field. Such different operations can generate inverse masses or infrared singularities without contradicting this proof.

The Kähler potential is a real D-term, not a holomorphic F-term, and is not protected by this argument. For example its quadratic part becomes $Z(g,\bar{g},m,\bar{m};\mu ){\Phi }^{†}\Phi$, with higher real operators also allowed. Terms involving $|g{|}^2$ are compatible with the symmetries and produce wave-function renormalization. After the canonical rescaling ${\Phi }_c=Z^{1/2}\Phi$, the parameters in the superpotential expressed using canonical fields are $m_c=m/Z$ and $g_c=g/Z^{3/2}$, so physical couplings can run despite the holomorphic non-renormalization statement.

Holomorphy is crucial. Without it, neutral factors such as $1+c|g{|}^2$ could multiply either superpotential monomial while respecting both spurion symmetries. Excluding conjugate couplings, together with regularity and tree matching, is what turns the charge argument into the non-renormalization theorem.

Use signature $(+---)$ and covariant one-particle state normalization $⟨p^{\prime }|p⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-{\mathbf{p}}^{\prime })$. The future scattering condition uses the outgoing asymptotic scalar field:As with the incoming condition, this is understood in suitably smeared scattering matrix elements, not as unrestricted pointwise strong convergence of interacting and free local operators.

The free incoming field has expansionThe creation operator defines $|p⟩=a_{\mathrm{in}}^{†}(p)|0⟩$, with $a_{\mathrm{in}}|0⟩=0$, so $⟨p|{\varphi }_{\mathrm{in}}(x)|0⟩=e^{ipx}$. On the other hand, translation invariance givesMatching the stable one-particle state component in the asymptotic condition fixes the constant overlap. Choose its state phase so that it is real and nonnegative. ThenThe same stable particle appears in the outgoing description, with compatible one-particle phases. Thus $Z$ is the squared overlap measured by wave-function renormalization.

Insert a complete set of four-momentum eigenstates between the fields. For $x^0>0$, translation invariance and Hermiticity giveFor $x^0<0$, reversing the time-ordered product gives the same sum with $e^{i{p}_{\alpha }x}$. Therefore, with continuous-state integrals implicit in the completeness sum,Here $\theta$ is the Heaviside step function.

For the usual spectral representation, take a Lorentz-invariant vacuum, a positive-norm Hilbert space and the future-cone spectrum condition. Also take $⟨0|\varphi |0⟩=0$, as for the unbroken real scalar field, or subtract this constant and use the connected correlation function. Otherwise the vacuum intermediate state adds a disconnected constant not represented by the ordinary mass-shell measure below.

Let $W(x)=⟨0|\varphi (x)\varphi (0)|0⟩$ for that centered field, and use the Fourier transform convention $W(x)=\int d^{4}p(2\pi {)}^{-4}{e}^{-ipx}\tilde{W}(p)$. Define the Källén–Lehmann spectral density by the distributional equalityLorentz invariance makes the weight on each future mass shell a function or measure of $p^2$; the spectrum condition gives $p^2\ge 0$. Its nonnegativity follows from the displayed squared matrix elements. ThusApplying time ordering to this expression mass shell by mass shell proves the Källén–Lehmann spectral representation:The factor $i$ is outside ${\Delta }_F$ under the convention in the question.

The stable one-particle state part of completeness is $\int d^3\mathbf{p}[(2\pi {)}^{3}2E_p{]}^{-1}|p⟩⟨p|$. Its overlap is $\sqrt{Z}$, so its contribution to $W$ is $Z$ times the free mass-$m$ two-point function. HenceOther isolated particles as well as multiparticle states can belong to ${\rho }_{\mathrm{rest}}$. The full scalar propagator accordingly has isolated pole $Z/(p^2-m^2+i0)$, making $Z$ its pole residue.

Finally use canonical field normalization: the canonical momentum is $\dot{\varphi }$ and the equal-time canonical commutation relation is $[\dot{\varphi }(t,\mathbf{x}),\varphi (t,\mathbf{y})]=-i{\delta }^3(\mathbf{x}-\mathbf{y})$. The vacuum commutator $C(x)=W(x)-W(-x)$ has the same spectral decomposition. For each free mass shell,independently of $\sigma$. Comparing with the interacting equal-time commutator gives the canonical scalar spectral sum rule:For the particle genuinely interpolated by the stated asymptotic field, $Z>0$; the general nonnegative bound allows a field with zero overlap. The total weight and the upper bound require this canonical normalization and a well-defined distributional equal-time limit. They do not follow from the asymptotic condition alone: rescaling $\varphi$ rescales both $Z$ and the entire spectral measure.

For a chiral superfield of mass dimension one, a renormalizable quantum field theory has a quadratic Kähler potential and a superpotential of degree at most three. Before canonical normalization one may writewith real $k_0$, andThe purely holomorphic terms in $K$, their conjugates and its constant have vanishing full superspace integration; they are Kähler transformations of the global theory. Rescaling the chiral superfield sets $Z=1$, so the physically general kinetic choice is $K={\Phi }^{†}\Phi$ up to these terms. The constant superpotential in global supersymmetry also has no component effect. The dimensions of $\ell ,m,g$ are respectively two, one and zero.

To eliminate the linear term, translate the complex chiral superfield as $\Phi ={\Phi }^{\prime }+s$. The shifted linear coefficient isIf $g\ne 0$, this quadratic has a root over the complex numbers; if $g=0$ but $m\ne 0$, take $s=-\ell /m$. The resulting linear term vanishes and the new quadratic coefficient is $m+2gs$. The canonical Kähler potential changes only by holomorphic, antiholomorphic and constant terms, which do not change the global kinetic action. This is the superpotential critical-point shift.

The claim needs an exception: if $m=g=0$ but $\ell \ne 0$, the superpotential is purely linear and no invertible translation can remove it. More generally an invertible regular field redefinition cannot turn a nowhere-zero derivative into a critical point. The theory with $W=\ell \Phi$ has $F=-\bar{\ell }$, a constant positive scalar potential $|\ell {|}^2$, and flat F-term breaking with a linear superpotential. Below, $m$ and $g$ denote the quadratic/cubic coefficients after the valid shift, as intended by the question.

Expand $\Phi =\varphi +\sqrt{2}\theta \psi +{\theta }^{2}F$ in chiral coordinates. The highest component of $W(\Phi )$ is $W^{\prime }(\varphi )F-\frac{1}{2}{W}^{\prime \prime }(\varphi )\psi \psi$, while the full-superspace kinetic term contains $F^{\ast }F$. Thus the auxiliary field part of the component Lagrangian isVarying $F$ and $F^{\ast }$ independently givesSubstitution gives ${\mathcal{L}}_F=-|m\varphi +g{\varphi }^2{|}^2$, and hence the F-term scalar potentialIt is nonnegative and vanishes at $\varphi =0$, and also at $\varphi =-m/g$ when $g\ne 0$. These are supersymmetric vacua, since the auxiliary field vanishes. Thus the quadratic/cubic model does not spontaneously break supersymmetry. If $m=0$ but $g\ne 0$, zero is the sole critical point; if both vanish, every $\varphi$ is a zero-energy vacuum. Nonzero $m,g$ give the usual two vacua, coinciding when $m=0$.

For the loop argument, promote the coefficients to background chiral spurions. One convenient pair of independent formal $U(1)$ charge assignments isBoth symmetries act nontrivially on all three of $\Phi ,m,g$; the second is an R-symmetry. The superspace integration measure $d^2\theta$ has R-charge $-2$, so both tree monomials give invariant actions. These are spurionic selection rules, not necessarily actual symmetries after fixing numerical couplings. The R-row is an ordinary-charge redefinition of the usual Wess–Zumino spurion charge assignment.

A local Wilsonian superpotential is a holomorphic function of the chiral fields and chiral spurions. The ratio $z=g\Phi /m$ is neutral under both charge assignments and has dimension zero, whereas $m{\Phi }^2$ has exactly the charges and dimension of $W$. The general symmetry-allowed form, on a patch with $m\ne 0$ and up to a physically irrelevant global constant, is thereforewith $f$ holomorphic where that description is regular. Symmetry by itself does not determine $f$.

For a regular perturbative local Wilsonian effective action retaining the same elementary field and an infrared cutoff, expand $f(z)={\sum }_n{c}_n{z}^n$. Its term of order $n$ is $c_n{g}^n{m}^{1-n}{\Phi }^{n+2}$. Negative $n$ are singular in $g$, while $n\ge 2$ are singular in $m$; these are excluded by perturbative holomorphic regularity at the free-coupling limits. Thus only the quadratic and cubic terms survive. Their regular holomorphic coefficients cannot acquire coupling-dependent invariant corrections. At $g=0$ the quadratic theory is Gaussian, fixing $c_0=1/2$ exactly. A contribution linear in $g$ to the cubic vertex has only one cubic interaction: three external lines exhaust that vertex, leaving no contraction to form a loop. Thus $c_1=1/3$ as well in the present normalization. This supplies the holomorphy argument for superpotential non-renormalization rather than concluding non-renormalization from symmetry alone.

The Kähler potential can still undergo wave-function renormalization. If its quadratic coefficient becomes $Z$, canonical normalization gives $m_c=m/Z$ and $g_c=g/Z^{3/2}$, so physical masses and interactions can run despite superpotential non-renormalization. More generally a positive nonsingular effective Kähler metric replaces $V$ by $K^{\varphi \bar{\varphi }}|W^{\prime }(\varphi ){|}^2$ and does not remove its zero-energy critical points. Infrared-singular nonlocal one-particle-irreducible terms and eliminating the entire massive field are outside this Wilsonian statement.

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.

Use the mostly-plus Minkowski metric, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the source term $+\int J\varphi$. Define the vacuum-normalized generating functional, connected generating functional, and quantum effective action byThe Legendre transform is taken after expressing $J$ in terms of $\phi$, locally where this relation is invertible. Varying it gives $\delta \Gamma /\delta \phi =J$ and ${\Gamma }^{(2)}=(W^{(2)}{)}^{-1}$. The logarithm generates connected graphs; the Legendre transform removes graphs joined by a single propagator, leaving one-particle-irreducible vertices. This sign convention is important: its classical limit is $\Gamma =-S$, consistent with the positive vertices in this question.