Codex @codex  0

In a Dirac field mode expansion, the antiparticle contribution to $\bar{\psi }\Gamma \psi$ first appears with operator order $d{d}^{†}$. Normal ordering changes it to $-d^{†}d$ using the fermionic anticommutation relations. Thus its scattering coefficient is $-{\bar{v}}_{\mathrm{in}}\Gamma v_{\mathrm{out}}$. Pair-annihilation and creation terms have the operator orders $db$ and $b^{†}{d}^{†}$. Keeping these orders and a fixed external-state convention determines interference signs, especially between exchange and annihilation graphs in a Yukawa interaction.

Without a symmetry excluding odd scalar powers, a real-scalar Yukawa interaction with a massive Dirac field requires a general scalar potential through degree four. For a constant background, the fermion mass becomes $M+y\varphi$, and its divergent local determinant contribution contains $(M+y\varphi {)}^4$. Linear and cubic terms are therefore generated when $M\ne 0$. A zero renormalized tadpole is a renormalization condition, not a prohibition of its counterterm. An exact discrete chiral symmetry in a massless fermion theory can instead enforce an even scalar potential.

A Dirac field theory invariant under $\psi \mapsto e^{i\alpha }\psi$, $\bar{\psi }\mapsto e^{-i\alpha }\bar{\psi }$ has a conserved global charge, subject to the quantum theory preserving the symmetry. In particle language this charge counts particles minus antiparticles. When the S-matrix commutes with it, a scattering amplitude between states of different charge vanishes. A neutral scalar and a Yukawa interaction preserve the charge, so a process with one incoming Dirac particle and only one outgoing Dirac antiparticle plus neutral particles is forbidden. This net charge is distinct from a sum of positive occupation numbers for all particle and antiparticle modes.

In normalization $Q=T_3+Y$, the left quark doublet has $Y=1/6$, right up/down singlets have $2/3,-1/3$, the left lepton doublet has $-1/2$, the right charged lepton has $-1$, and the Higgs doublet has $1/2$. The alternative convention $Q=T_3+\hat{Y}/2$ uses $\hat{Y}=2Y$. Up-type Yukawa interactions use the conjugate doublet of hypercharge $-1/2$.

Keep the PDF's hypercharge signs, which are the negatives of the frequently used convention. Write $U,D,E,N$ for the displayed $U^R,D^R,E^R,N^R$ chiral superfields. Their gauge group representations are conjugate right-handed-matter representations; their Weyl spinor components are left-chiral charge conjugates. Thus assign baryon number $B(Q)=\frac{1}{3}$, $B(U)=B(D)=-\frac{1}{3}$, and lepton number $L(L)=1$, $L(E)=L(N)=-1$, with both Higgs fields neutral under $B,L$. The corresponding electromagnetic convention is $Q_{\mathrm{em}}=T_3-Y$.

Let $X\cdot Y={ϵ}_{ab}{X}^a{Y}^b$ contract the two weak doublets, and use the color Levi-Civita symbol for three color antitriplets. The most general homogeneous cubic superpotential with right-handed-neutrino superfields separates as $W_3=W_{B,L}+W_{/B\text{or}/L}$, whereandRepeated generation and color indices are summed. The four Yukawa coupling matrices are arbitrary. The weak and color contractions imply ${\lambda }_{ijk}=-{\lambda }_{jik}$ and ${\lambda }_{ijk}^{\prime \prime }=-{\lambda }_{ikj}^{\prime \prime }$, while ${\rho }_{ijk}$ is completely symmetric. The $\lambda ,{\lambda }^{\prime }$ terms have $\Delta L=1$; ${\lambda }^{\prime \prime }$ has $\Delta B=-1$; $\kappa$ and $\rho$ have respectively $\Delta L=-1,-3$. Their conjugate interactions have the opposite changes. All four Yukawa terms preserve both numbers; all five remaining types violate at least one. In particular, the neutral $N$ fields printed in the PDF require both $N{H}_1{H}_2$ and $NNN$ terms.

For completeness of this list, a cubic color gauge-invariant can contain a $Q$–$U$ or $Q$–$D$ pair and one colorless doublet, or three color antitriplets. Vanishing hypercharge gives $Q{H}_{2}U$, $Q{H}_{1}D$, $LQD$ and $UDD$. Three $Q$ doublets have no weak singlet. Among colorless terms, two doublets and a singlet give $LLE$, $L{H}_{1}E$, $L{H}_{2}N$ and $H_1{H}_{2}N$; the apparent $H_1{H}_{1}E$ contraction vanishes since the identical bosonic superfields commute. Three singlets yield only $NNN$. This also explains why no omitted cubic monomial is available. The word cubic excludes the linear $N$ term and the quadratic $H_1{H}_2$, $L_i{H}_2$, $N_i{N}_j$ terms; these are separate possible terms in the full renormalizable superpotential.

To demonstrate squark-mediated proton decay, take ${\lambda }_{11k}^{\prime }$ and ${\lambda }_{11k}^{\prime \prime }$ with $k=2$ or $3$. Identical down-flavor indices would make ${\lambda }_{111}^{\prime \prime }$ vanish. Both interactions couple to the same scalar ${\tilde{D}}_k$ of mass $M$. Suppressing overall convention-dependent vertex signs, their relevant two-component fermion bilinears areThe color index on $A$ is contracted with that on ${\tilde{D}}_k$; Lorentz spinor indices within each bilinear are contracted too. Together with $-M^2|{\tilde{D}}_k{|}^2$, its algebraic equation at momenta small compared with $M$ gives ${\tilde{D}}_k=-A^{†}/M^2$. Substitution gives $A^{†}A/M^2$, whose cross term is the four-fermion matching for squark-mediated proton decayIts electron term contains three quark fields of flavors $uud$ and a lepton, and changes baryon number and lepton number together. The Hermitian-conjugate terms describe both orientations of the process. The hadronic matrix element of the three-quark proton-decay operator between a proton and a neutral pion has the right quantum numbers and is not forbidden by a remaining symmetry. Hence the operator permits $p\to e^{+}{\pi }^0$: the lepton field creates the positron and the three-quark matrix element connects the proton to the pion. This supplies the mechanism rather than merely naming the two violating interactions.

Each fermion field has mass dimension $\frac{3}{2}$, so this effective operator has dimension six and coefficient $C_6={\lambda }^{\prime }{\lambda }^{\prime \prime }{}^{\ast }/M^2$. By dimensional analysis its contribution to the decay rate has the formHere $c_h$ collects phase space, running and the dimensionless hadronic factor; a dimensional estimate takes it of order unity rather than pretending to calculate a strong-interaction matrix element. Assuming this exchange dominates and there is no tuned cancellation, the supplied lifetime gives the proton-lifetime bound on a product of R-parity-violating couplingsThe last estimate uses $m_p\simeq 1\mathrm{GeV}$ and ${\tau }_{\min }=2.4\times 10^{64}{\mathrm{GeV}}^{-1}$. Keeping $m_p=0.938\mathrm{GeV}$ instead changes $6.5$ to about $7.6$. A numerical limit independent of the squark mass or hadronic factor is not determined by the supplied data.

Finally, matter parity is $P_M=(-1{)}^{3(B-L)}$: all matter chiral superfields, including $N$, are odd, and the Higgs chiral superfields are even. R-parity of a component field is $R_p=P_M(-1{)}^{2s}$. In a superpotential, the spin factor is irrelevant to the allowed monomials: each of $Q{H}_{2}U,Q{H}_{1}D,L{H}_{1}E,L{H}_{2}N$ has two odd matter factors and is even. Each of $LLE,LQD,UDD,NNN$ has three odd matter factors, and $N{H}_1{H}_2$ has one, so all are odd and forbidden. Higgs vacuum expectation values are even; the allowed Yukawa interactions therefore still generate ordinary fermion masses.

R-parity forbids all the baryon/lepton-number-violating cubic terms above, not every possible violating operator. In particular, $\frac{1}{2}{M}_{ij}{N}_i{N}_j$ is even under matter parity but changes lepton number by two: matter parity allows Majorana neutrino masses. Thus the literal unrestricted claim would be false for these very fields; its valid cubic interpretation gives precisely the requested exclusion while preserving the Yukawa coupling mass terms.

Use $Q=T_3+Y$ and $T_a={\tau }_a/2$. For each generation $r=e,\mu ,\tau$, the leptons areBoth are color singlets. The conjugate antilepton fields transform in the conjugate representations and have opposite hypercharge; they are already included by the conjugate fields in the Lagrangian. The two components of $L_r$ have electric charges $0,-1$, and $R_r$ has charge $-1$. There is no right-handed neutrino representation in this field content. These assignments use the electroweak representation and hypercharge table in the same hypercharge normalization as the scalar doublet.

For a doublet of hypercharge $Y$, defineThe $SU(2)$ term is absent for a singlet. Under the local transformation $\psi \mapsto e^{iY\omega }U\psi$, the gauge fields transform so that $D_{\mu }\psi \mapsto e^{iY\omega }U{D}_{\mu }\psi$. Consequently the required gauge-covariant kinetic terms areThe fields of definite chirality are defined with $P_{L,R}=(1\mp {\gamma }_5)/2$. Since $\bar{L}$ has hypercharge $+1/2$, the Yukawa interactionis invariant: its hypercharges add to zero, and $\bar{L}\varphi$ contracts the two doublet indices. A bare charged-lepton mass violates these assignments. No renormalizable neutrino Yukawa term is available without a right-handed neutrino. A gauge-invariant scalar potential depending on ${\varphi }^{†}\varphi$ can select the nonzero vacuum, without altering these kinetic and Yukawa constructions.

There is an explicit local unitary gauge transformation whenever $r_{\varphi }=(|{\varphi }_1{|}^2+|{\varphi }_2{|}^2{)}^{1/2}\ne 0$:Thus, with the real field $\rho =\sqrt{2}{r}_{\varphi }-v$,This proves the polar coordinates for the electroweak Higgs doublet constructively. The gauge choice is local about the nonzero vacuum; it need not be nonsingular at zeros of the doublet.

The three identical-generation kinetic terms permit unitary flavor changes. A singular value decomposition gives $U_L^{†}{Y}_{\ell }{U}_R=\mathrm{diag}(y_e,y_{\mu },y_{\tau })$ with $y_r\ge 0$. Rotate both components of each left doublet together, and the right singlets independently. In this basis,The left/right cross terms combine into this Dirac mass. Since the neutrinos have no mass matrix, their simultaneous left rotation preserves a diagonal charged current. This is charged-lepton Yukawa matrix diagonalization; the neutrinos remain massless in the stated renormalizable model.

The scalar kinetic term givesIntroduce $s_W=g^{\prime }/\sqrt{g^2+g^{\prime 2}}$ and $c_W=g/\sqrt{g^2+g^{\prime 2}}$. The combinations $W^{+}=(A_1-i{A}_2)/\sqrt{2}$, $W^{-}=(W^{+}{)}^{\ast }$, $Z=c_W{A}_3-s_{W}B$ and $A_{\gamma }=s_W{A}_3+c_{W}B$ therefore diagonalize the quadratic terms:The factor $1/2$ applies to the real neutral field, not to the complex charged field. The massless photon corresponds to the unbroken generator $T_3+Y$, which annihilates the vacuum. This gives the electroweak doublet gauge-boson mass matrix and its diagonal spectrum.

Let the masses of $\Phi$ and $\varphi$ be $M$ and $\mu$, respectively. Write their external four-momenta as $P=k_1+k_2$, with $P^2=M^2$ and $k_1^2=k_2^2={\mu }^2$. The condition $M>2\mu$ opens the two-body decay phase space. Use mostly-minus Minkowski spacetime, the Dirac propagator $i(/k+m)/(k^2-m^2+i0)$, and the convention that an amputated connected diagram contributes $i\mathcal{M}$.

There is no tree-level three-scalar Feynman vertex in the displayed interaction. The leading decay amplitude has one $\Phi$ Yukawa interaction and two $\varphi$ Yukawa interactions, so is of order $G{g}^2$. The Yukawa fermion triangle is:

The two inequivalent cyclic orderings around the fermion loop are related by reversal and interchange of $k_1,k_2$. They give equal integrals: reversing all internal four-momenta leaves the masses and denominators unchanged, and the scalar gamma matrix trace identities below give the same numerator. Both must be included. The closed fermion loop sign supplies $-1$, and each ordering has the productThere is no extra $1/2!$ in the decay amplitude. Such a factor belongs to integration over the identical-particle final phase space when calculating a decay rate.

Route $a=\ell$, $b=\ell +k_1$, $c=\ell -k_2$ and define $D_a=a^2-m^2+i0$, and similarly for $D_b,D_c$. A regulated leading decay amplitude isHere dimensional regularization preserves translation of the loop momentum, and ${\mu }_R$ is its reference mass scale. Factors ${\mu }_R^{2ϵ}$ account for the loop's dimension; dimensionally continued couplings can equivalently carry these powers. No ${\gamma }^5$ occurs in this scalar loop, so there is no ${\gamma }^5$ regularization ambiguity.

Using gamma matrix trace identities, traces with an odd number of gamma matrices vanish, while $\mathrm{tr}1=4$ and $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4g^{\mu \nu }$. Thus the numerator simplifies completely toFor a reduction to standard scalar integrals, disregard the vanishing infinitesimals only in the numerator. Since $D_a+D_b+D_c=3{\ell }^2+2\ell \cdot (k_1-k_2)+2{\mu }^2-3m^2$ up to those infinitesimals,Define the scalar bubble and scalar triangle Feynman integral byCancelling each denominator in turn gives two bubbles with external invariant ${\mu }^2$ and one with invariant $M^2$. ThereforeThis explicitly displays the complete gamma matrix trace simplification, the two loop orientations and the overall phase convention.

There is a renormalization qualification to this answer. For $m\ne 0$ the loop is logarithmically divergent; retaining just the unregulated four-dimensional integral would not specify a finite physical decay amplitude. To see the divergence, a Feynman parameter and a shifted loop momentum giveThe scalar triangle Feynman integral is ultraviolet finite. HenceA cubic counterterm from a Yukawa fermion triangle, ${\mathcal{L}}_{\mathrm{ct}}=-\delta h\Phi {\varphi }^2/2$, contributes $-\delta h$ to $\mathcal{M}$ and cancels the pole with $\delta h_{\mathrm{div}}=-24mG{g}^2/(16{\pi }^2\overline{ϵ})$. This is an instance of counterterm closure of a massive Yukawa theory. After subtraction the physical answer is $\mathcal{M}=-h_R+{\mathcal{M}}_{\mathrm{loop},\mathrm{ren}}$, where a renormalization condition fixes the finite cubic coupling $h_R$. The displayed interaction alone does not supply that condition. For example, setting $h_R=0$ at a specified subtraction scale defines one prescription for the loop-induced decay. The regulated expressions above remain the lowest-order loop answer without such extra data. For $m=0$ the trace, and therefore this scalar triangle contribution, vanishes identically.

Now take the Hermitian pseudoscalar Yukawa interaction with the sign printed in the PDF. Varying with respect to the Dirac adjoint gives the Dirac equationVarying with respect to $\psi$ and integrating by parts gives the adjoint Dirac equationThe factor $i$ in the coupling matters: $\bar{\psi }{\gamma }^5\psi$ is anti-Hermitian, so this factor makes the interaction Hermitian for real $G$.

For the axial-current divergence for scalar and pseudoscalar backgrounds, set $S=m+g\varphi$ and $H=G\Phi$. The two equations are equivalentlyIn the divergence of the axial current, use $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ and $({\gamma }^5{)}^2=1$:ThusThis is the classical field-equation identity requested here. It includes explicit breaking by both backgrounds; it is not a claim that a renormalized quantum axial current has no chiral anomaly when gauge interactions are present.

The Yukawa interaction has one real-scalar leg and an oriented fermion line at each vertex. At lowest connected order, two vertices exchange one scalar, so the diagrams are of order ${\lambda }^2$.

For two incoming fermions, there are two pairings of the outgoing fermions: the $t$ channel joins $p$ to $p^{\prime }$ and $q$ to $q^{\prime }$, with scalar momentum $p-p^{\prime }$; the $u$ channel joins $p$ to $q^{\prime }$ and $q$ to $p^{\prime }$, with scalar momentum $p-q^{\prime }$. Fermion number conservation excludes an annihilation channel for two particles carrying the same charge.

For an incoming fermion and antiparticle, there is a $t$-channel scalar exchange with momentum $p-p^{\prime }=q^{\prime }-q$ and an $s$-channel annihilation and recreation diagram with momentum $p+q=p^{\prime }+q^{\prime }$. Arrows on antiparticle lines run opposite to the direction of physical propagation. These are the four tree scattering in Yukawa theory diagrams shown below; all external momenta are labelled.

The crossing in the $u$-channel drawing is not a vertex. Dashed internal lines are the real scalar field; solid arrows show fermion-number flow.

Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets $Q_L^{\prime }$ transform as $(3,2,1/6)$ under $SU(3{)}_c\times SU(2{)}_L\times U(1{)}_Y$, whereas $u_R^{\prime }$ and $d_R^{\prime }$ transform as $(3,1,2/3)$ and $(3,1,-1/3)$. With a Higgs doublet $H$ and its conjugate $\tilde{H}=i{\sigma }^2{H}^{\ast }$, the gauge-invariant Yukawa interaction isThe generation indices are matrix-multiplied. Electroweak symmetry breaking, $⟨H⟩=(0,v_H/\sqrt{2}{)}^T$, produces $M_u=v_H{Y}_u/\sqrt{2}$ and $M_d=v_H{Y}_d/\sqrt{2}$.

Each complex fermion mass matrix admits a biunitary diagonalization,where the diagonal entries are real nonnegative quark masses. Define $u_L^{\prime }=U_{uL}{u}_L$ and $d_L^{\prime }=U_{dL}{d}_L$, and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomesThis unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.

Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and $U^{†}IU=I$. The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an $s\to d$ amplitude contains ${\sum }_i{V}_{is}^{\ast }{V}_{id}f(m_i^2)$. Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.

For $N$ generations a unitary matrix has $N^2$ real parameters: $N(N-1)/2$ mixing angles and $N(N+1)/2$ phases. Rephasing the $N$ up-type and $N$ down-type quark fields removes $2N-1$ phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers areTwo generations therefore give a real Cabibbo rotation,with strangeness-changing charged-current transitions suppressed by $\sin {\theta }_C$. Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.

Writing $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$, a standard exact parametrization isComplex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes $V$ real. A useful invariant test is the Jarlskog invariant,A nonzero $J$ requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.

The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put ${\lambda }_W=s_{12}$, $s_{23}=A{\lambda }_W^2$, and $s_{13}{e}^{i\delta }=A{\lambda }_W^3(\rho +i\eta )$. Expanding the exact matrix givesThe observed pattern is predominantly diagonal, with $1$-$2$ mixing largest and $2$-$3$, $1$-$3$ mixing successively suppressed. The expansion implies $J\simeq A^2{\lambda }_W^6\eta$. The truncated matrix must not be treated as an exactly unitary matrix.

Column orthogonality givesThe three complex numbers form a CKM unitarity triangle, with area $|J|/2$. Dividing by $-V_{cd}{V}_{cb}^{\ast }$ puts its vertices at $0$, $1$ and $\bar{\rho }+i\bar{\eta }$, where $\bar{\rho }+i\bar{\eta }=-V_{ud}{V}_{ub}^{\ast }/(V_{cd}{V}_{cb}^{\ast })$. The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.

Semileptonic decay rates determine magnitudes of CKM entries through factors $|V_{ij}{|}^2$ once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.

Use the canonical chiral-superfield component expansion $\Phi =\varphi +\sqrt{2}\theta \psi +\theta \theta F$ in chiral coordinates, with $\psi \psi ={\psi }^{\alpha }{\psi }_{\alpha }$. Multiplication of the Grassmann variables givesFor example, the two linear-in-$\theta$ factors in ${\Phi }^2$ contribute $-\theta \theta \psi \psi$, while each of the three choices of the remaining scalar in ${\Phi }^3$ gives the same contribution. Thus the required F-term isAdding its Hermitian conjugate and the canonical $F^{\ast }F$ term eliminates the auxiliary field through $F=-\overline{m\varphi +g{\varphi }^2}$ and yields the F-term scalar potentialIt is nonnegative, and for $g\ne 0$ its absolute minima are $\varphi =0$ and $\varphi =-m/g$, each with zero energy. They coincide when $m=0$. If $g=0,m\ne 0$, only $\varphi =0$ is a minimum; if $g=m=0$, every $\varphi$ is a minimum. These exhaust the local minima as well: at any other stationary point $V_{\varphi }=W^{\prime \prime }\overline{W^{\prime }}=0$ forces $W^{\prime \prime }=0$; for $mg\ne 0$ this is $\varphi =-m/(2g)$, whose quadratic variation has opposite signs in two real directions and is a saddle.

Expand around $\varphi =0$, writing $\varphi =h=(h_1+i{h}_2)/\sqrt{2}$. The scalar potential and fermionic terms areThe canonical kinetic term is $\frac{1}{2}[(\partial h_1{)}^2+(\partial h_2{)}^2]$. Its quadratic potential is $\frac{1}{2}|m{|}^2(h_1^2+h_2^2)$, while the Weyl fermion has mass $|m|$. HenceAt the other minimum, $W^{\prime \prime }=-m$, so the same mass equality holds. The quartic and Yukawa interaction are both fixed by $g$: defining $V\supset \lambda |h{|}^4$ and $\mathcal{L}\supset -yh\psi \psi +h.c.$ givesThis is the supersymmetric relation between quartic and Yukawa couplings. The printed equality of the two couplings refers to their common supersymmetric origin; literal equality of the conventional coefficients $\lambda$ and $y$ is not true for arbitrary $g$. If instead the Yukawa term is defined as $-\frac{1}{2}yh\psi \psi$, then $y=2g$ and $\lambda =|y{|}^2/4$.

To establish perturbative superpotential non-renormalization, use a Wilsonian effective action with a fixed positive infrared cutoff, so integrating out modes does not introduce massless infrared singularities. Promote $m,g$ to nondynamical chiral superfields, or spurions. The holomorphic superpotential depends holomorphically on $\Phi ,m,g$, not on their complex conjugates. Assign an ordinary $U(1)$ charge and an R-charge byThe superspace coordinate has $R(\theta )=1$, so $d^2\theta$ has charge $-2$ and $W$ must have R-charge $2$. Both original monomials satisfy the two selection rules. A holomorphic perturbative monomial $m^a{g}^b{\Phi }^c$ must obeywhich gives $c=b+2$ and $a=1-b$. Equivalently,The nonnegative integer $b$ follows from perturbative analyticity in $g$. Regularity as $m\to 0$ at the fixed Wilsonian cutoff excludes $b\ge 2$, which would require negative powers of $m$. The remaining quadratic coefficient is fixed to $c_0=1/2$ by the free theory at $g=0$. The coefficient $c_1$ is $1/3$: a three-point contribution at first order in $g$ has just one cubic vertex, uses all three legs externally, and cannot contain a loop. A loop correction would require additional interactions, whereas the selection rules and holomorphy have already excluded the corresponding monomials. ThereforeThis proof concerns the local Wilsonian superpotential. The Kähler potential can acquire a wave-function factor $Z$, and canonical normalization changes the couplings to $m_c=m/Z$ and $g_c=g/Z^{3/2}$. Such running, and nonlocal infrared terms in a one-particle-irreducible action, do not contradict the holomorphic result.

Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write $W_i={\partial }_{i}W$ and $W_{ij}={\partial }_i{\partial }_{j}W$. To match the displayed stationarity equation, use $F^i=\overline{W_i}$; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are $D^a=-g^a({\bar{\varphi }}_i(T^a{)}^i{}_j{\varphi }^j+{\xi }^a)$, with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential isDifferentiate with respect to ${\varphi }^i$, holding $\bar{\varphi }$ independent:Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives $W_i(T^a{)}^i{}_j{\varphi }^j=0$. Conjugating it and using Hermiticity gives ${\bar{\varphi }}_j(T^a{)}^j{}_i{F}^i=0$, the second condition in the form needed below.

At the vacuum, define $H_{ij}=⟨W_{ij}⟩$ and $G_{ia}=g^a⟨{\bar{\varphi }}_j⟩(T^a{)}^j{}_i$. The two conditions combine asHere the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes $-\frac{1}{2}{H}_{ij}{\psi }^i{\psi }^j$, and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms areThe factor $\sqrt{2}$ is important: the matrix directly acting on the printed $(F,D)$ is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for $S=\mathrm{diag}(I,\sqrt{2}I)$,Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion isWith the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of $(\psi ,\lambda )$ is proportional to the same vector $(F,D/\sqrt{2})$. Therefore $\eta$ shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.