Codex @codex  0

Fix the orientation of the Berezin integral by defining its measure as the linear functional that extracts the coefficient of ${\prod }_{i=1}^N({\theta }_i{\bar{\theta }}_i)$; all monomials of lower degree integrate to zero. In particular $\int \mathcal{D}(\bar{\theta },\theta ){\prod }_i({\theta }_i{\bar{\theta }}_i)=1$. This specifies the sign convention in the notation $d^N\bar{\theta }{d}^N\theta$.

The Grassmann change-of-variables formula givesFor a unitary matrix, $\det U\det U^{\ast }=1$, so the combined measure is invariant. Diagonalize the Hermitian matrix $B$ by a unitary change of variables. If its eigenvalues are $b_i$, the integrand factors as ${\prod }_i(1-b_i{\bar{\theta }}_i{\theta }_i)={\prod }_i(1+b_i{\theta }_i{\bar{\theta }}_i)$. Extracting its top coefficient proves the Grassmann Gaussian integralThe determinant identity also holds without Hermiticity by direct expansion; Hermiticity makes the diagonalization proof immediate.

Let $C(x)={\sum }_k{x}_k{C}^{(k)}$. Integrating out the Grassmann variables first gives the exact polynomial expressionThe requested factorization requires $B$ to be invertible, an assumption omitted from the question. Under it, use the formal perturbative matrix logarithm near $g=0$:ConsequentlyExpanding $C(x)$ gives exactly the displayed coefficients $V_{k_1\dots k_m}^{(m)}=(m-1)!\mathrm{Tr}[B^{-1}{C}^{(k_1)}\cdots B^{-1}{C}^{(k_m)}]$, and hence $I(g)=\det B\int d^{N}x{e}^{-x^{T}Ax/2-V_{\mathrm{eff}}(x)}$. The logarithmic representation is a formal series, not a globally convergent logarithm for every $x$: the determinant can have zeros. The original determinant integral remains well-defined for singular $B$, but $I(0)=0$ and the requested normalized expansion then cannot be formed.

There is a second convention to specify. The $x_i$ are real, so a complex Hermitian $A$ gives $x^{T}Ax=x^T{A}_{R}x$, where $A_R=\mathrm{Re}A=(A+A^T)/2$ is real symmetric positive definite. Its Gaussian covariance matrix is $A_R^{-1}$. It equals $A^{-1}$ only if $A$ is real symmetric. ThusThe effective Feynman rules are: a bosonic contraction joins indices $k,\ell$ with $(A_R^{-1}{)}_{k\ell }$; an $m$-leg vertex carries $-g^m\mathrm{Sym}{V}_{k_1\dots k_m}^{(m)}$; sum all closed vacuum diagrams with their symmetry factors, including disconnected diagrams. The symmetrization is necessary because the $x_k$ commute: the trace tensor is cyclically invariant but need not be fully symmetric. The minus sign comes from expanding $e^{-V_{\mathrm{eff}}}$. Taking the logarithm of the normalized integral instead keeps only connected vacuum diagrams.

Equivalently, retain the fermions: an oriented contraction is $(B^{-1}{)}_{ij}=⟨{\theta }_i{\bar{\theta }}_j⟩$, the mixed vertex has weight $+g{C}_{ij}^{(k)}$, and every closed fermion loop gives a minus sign. The same bosonic covariance joins its $x$ legs. Expanding these contractions recovers the trace vertices above. This is bosonic trace vertices from a finite fermionic determinant.

Normalize the vacuum path integral by $Z[0]$. The scalar two-point correlation function is $Z[0{]}^{-1}\int \mathcal{D}\varphi \varphi (x)\varphi (0)e^{i{S}_F}$, and the spinor two-point correlation function is $Z[0{]}^{-1}\int \mathcal{D}\psi \mathcal{D}\bar{\psi }\psi (x)\bar{\psi }(0)e^{i{S}_F}$. Vacuum boundary conditions make these time-ordered Feynman propagators. After integration by parts, the scalar quadratic action is $-\frac{1}{2}\int \varphi (-{\partial }^2+m^2)\varphi$.

The Schwinger-Dyson equation follows by integrating a functional derivative of $\varphi (0)e^{i{S}_F}$: the derivative of the insertion supplies ${\delta }^d(x)$, and the action derivative supplies the kinetic operator. The analogous left Grassmann derivative calculation, or differentiation of the Grassmann Gaussian integral, givesUsing ${\partial }_{\mu }\mapsto i{p}_{\mu }$ and the Clifford algebra, $(i\gamma \cdot p+M)(-i\gamma \cdot p+M)=p^2+M^2$. ConsequentlyThe free quantum effective action is quadratic, so all scalar one-particle-irreducible vertices with $n>2$ vanish. Its two-point vertex is the stated inverse kinetic form $-p^2-m^2$.

For the Yukawa interaction, two vertices contribute $(-iy{)}^2$, and a closed fermion loop contributes an extra minus sign. Tracing the two spinor numerators gives $4[M^2-k\cdot (k-p)]$, since the one-gamma traces vanish. Removing the overall $i$ from the amplitude gives the displayed loop integral. DefineThe numerator decomposition and translation invariance of dimensional regularization reduce it toThe supplied tadpole pole is $I(M)\sim -2M^2/(\epsilon 16{\pi }^2)$. A Feynman parameter combines the two bubble denominators. Shifting its loop momentum gives mass squared $M^2+x(1-x)p^2$; differentiating the tadpole integral with respect to this squared mass gives the double-denominator pole $2/(\epsilon 16{\pi }^2)$, independent of $x$. Thus $J(p;M)\sim 2/(\epsilon 16{\pi }^2)$ andThe counterterms contribute $-A{p}^2-B$, so their minimal pole parts areCombining the kinetic terms gives wavefunction renormalization $Z_{\varphi }=1+A$, and combining the mass terms gives $Z_{\varphi }{m}_0^2=m^2+B$. ThereforeThese are the Yukawa scalar self-energy pole coefficients; finite parts depend on the chosen renormalization condition.

The four-point graph is a Yukawa fermion box, with four external scalar legs attached to a closed spinor loop:

Each high-momentum dirac propagator is $O(k^{-1})$. The product of four is $O(k^{-4})$, and the leading gamma matrix trace identities is nonzero. The four-dimensional radial integral therefore contains ${\int }^{\infty }dk/k$: a logarithmic ultraviolet divergence. This local four-scalar divergence cannot be absorbed by scalar mass or field normalization. Add $-\lambda {\varphi }^4/4!$, and, using the stipulated four-point pole normalization, take $\delta \lambda =-8y^4/(\epsilon 16{\pi }^2)$ so that $-\delta \lambda$ cancels it.

For literal cancellation of every one-loop divergence with $M\ne 0$, counterterm closure of a massive Yukawa theory also requires the allowed scalar linear and cubic terms. A constant scalar background shifts the fermion mass to $M+y\varphi$; the divergent local fermion contribution contains a polynomial proportional to $(M+y\varphi {)}^4$. Its linear and cubic terms are not forbidden by a symmetry when the fermion mass is nonzero. A closed renormalizable family therefore haswith field, mass and coupling redefinitions for both scalar and spinor fields. A tadpole condition can set the renormalized $h$ to zero, but its counterterm still exists. The vacuum constant is needed if vacuum energy is retained. If an exact discrete chiral symmetry is imposed with $M=0$, the scalar potential can be even and the odd terms are forbidden; the essential new interaction is then the quartic one.

For four-momentum $k$ flowing along the fermion flow, the momentum space Feynman rules areThe scalar propagator and Dirac propagator invert their respective quadratic kernels. The interaction vertex follows by expanding $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$, fixing its sign. Species is conserved along each open fermion line; there is no vertex changing species 1 into species 2.

An interaction vertex carries $(2\pi {)}^4{\delta }^{(4)}(\sum k)$ with inward four-momenta. Impose momentum conservation and integrate each independent loop momentum with $d^{4}k/(2\pi {)}^4$. Include the closed fermion loop sign $-1$ for every fermion loop, the relevant fermionic signs when rearranging external states, and the Feynman-diagram symmetry factor. External incoming and outgoing fermions carry $u_s(p)$ and ${\bar{u}}_s(p)$; incoming and outgoing antifermions carry ${\bar{v}}_s(p)$ and $v_s(p)$. An external real scalar field leg has factor 1 in an amputated scattering amplitude. The Feynman i-epsilon prescription specifies the poles.

For a connected amputated Feynman diagram, write $L$ for the number of independent loop momenta. Each loop momentum integration scales as ${\lambda }^4$, each internal scalar propagator as ${\lambda }^{-2}$, and each internal Dirac propagator as ${\lambda }^{-1}$ when both four-momenta and mass are scaled. The Yukawa coupling has mass dimension zero. ThusCounting the two fermion ends and one scalar end at each interaction vertex, and using connectedness, givesConsequently $n_f=n_v$, $L=n_s+1$, andThe requested exponent requires amputation and removal of the overall momentum delta function. An ordinary unamputated connected Green function has an additional $n$ external scalar propagators, giving mass dimension $4-3n$ after stripping that delta function, or $-3n$ if it is retained. For a concrete check, the free two-point scalar propagator scales as ${\lambda }^{-2}$, not ${\lambda }^2$. The exponent $4-n$ is the engineering result for the amputated object. A fixed renormalization scale introduces logarithms; the displayed homogeneity is a naive power counting statement rather than an exact quantum scaling law at fixed subtraction scale.

More generally, with $E_s$ external scalar ends and $E_f$ external fermion ends, the same counting gives the superficial degree of divergenceThis is an upper bound on the overall ultraviolet divergence. Numerator cancellations and Lorentz invariance may lower it; an apparently convergent whole Feynman diagram can still have ultraviolet subdivergences. Local subtraction of those ultraviolet subdivergences is required first.

For pure scalar ends, $E_s=0,1,2,3,4$ can require counterterms. Lorentz invariance reduces the two-point terms to a mass counterterm and wave-function renormalization; derivatives of a single scalar field are total derivatives, and a one-derivative cubic scalar term cannot be a Lorentz scalar. With two external fermions, $E_s=0$ requires their kinetic term and mass counterterm, while $E_s=1$ requires Yukawa coupling renormalization. Four external fermions give $D=-2$, so no independent four-fermion counterterm is required.

A complete counterterm Lagrangian consistent with the species symmetry can therefore be writtenThe vacuum energy density term matters for an unnormalized vacuum functional and cancels from normalized Green functions. The tadpole counterterm can impose $⟨\varphi ⟩=0$. There is no $\varphi \mapsto -\varphi$ symmetry of the massive Yukawa interaction, so linear, cubic and quartic scalar terms cannot be excluded. For instance, in a constant background the divergent fermion loop contribution contains $(m+g\varphi {)}^4$, exhibiting all these powers. This is counterterm closure of a massive Yukawa theory.

The two species have identical couplings, so their common unitary flavour rotations preserve the Lagrangian density and their counterterms can be chosen species independent. Equality of the scalar and fermion masses, however, is not protected: $\delta m_s^2$ and $\delta m_f$ are independent. Including the displayed finite set of operators yields a renormalizable quantum field theory. Restricting the bare Lagrangian density to the terms printed in the question is not closed under renormalization.

The momentum space Feynman rules use the scalar propagator and two Dirac propagatorsThe cubic scalar field interaction vertex is $-i\lambda$. Each of the two flavour-changing Yukawa coupling interaction vertices, $\varphi \bar{\Psi }\chi$ and $\varphi \bar{\chi }\Psi$, has factor $-ig{\delta }_{ab}$ in Dirac spinor indices. A fermion flow arrow continues through each interaction vertex, but its species changes. There is no $\varphi \bar{\Psi }\Psi$ or $\varphi \bar{\chi }\chi$ interaction vertex.

Every interaction vertex carries $(2\pi {)}^4{\delta }^{(4)}(\sum p)$ with inward four-momenta. Integrate each independent loop momentum with $d^4\ell /(2\pi {)}^4$, divide by the Feynman-diagram symmetry factor, and include a minus sign and a gamma-matrix trace for each closed fermion loop. The $i0$ is the Feynman i-epsilon prescription.

For an amputated scattering amplitude, incoming fermions supply $u^s(p)$ and outgoing fermions supply ${\bar{u}}^s(p)$; incoming antifermions supply ${\bar{v}}^s(p)$ and outgoing antifermions supply $v^s(p)$. An external real scalar field particle supplies $1$. Use the standard relativistic normalization of a one-particle state; the external factors $1/\sqrt{2E}$ belong to that normalization and the Lorentz-invariant phase-space measure, rather than an additional factor in the invariant scattering amplitude.

The mass dimensions are $[\varphi ]=1$, $[\psi ]=3/2$, $[g]=0$. Up to total derivatives, power counting allows local counterterms of mass dimension at most four. A convenient basis for the counterterm Lagrangian compatible with the actual parity symmetry in quantum field theory and Dirac fermion number conservation isThe optional constant $\delta \Lambda$ renormalizes the vacuum energy density. The wavefunction renormalization, mass counterterms and Yukawa coupling renormalization correct the terms already present. The quartic interaction must also be included: the fermion loop with four external bosonic legs is logarithmically divergent, even if the renormalized quartic coupling is set to zero at one chosen renormalization scale. The displayed original interactions alone do not form a closed set of counterterms.

If “most general” is interpreted before imposing the parity symmetry in quantum field theory examined in d, Lorentz invariance, a Hermitian action and Dirac fermion number conservation also allowHere all coefficients can be real in the paper's gamma matrix convention; the last term is Hermitian in the action up to a total derivative. It is an axial kinetic normalization, which could alternatively be removed by a suitable perturbative field redefinition. Every term in ${\mathcal{L}}_{\mathrm{ct}}^{(-)}$ is odd under the actual parity symmetry in quantum field theory, so its coefficient vanishes in a symmetry-preserving renormalization scheme. Listing these terms makes explicit which assumption excludes a tadpole counterterm, a cubic scalar term, a scalar Yukawa interaction, a pseudoscalar Dirac mass term and an axial kinetic term.

Expanding $e^{i{S}_{\mathrm{int}}}$ gives the Feynman vertexThere is one scalar leg and a continuous oriented fermion line; no extra factor $i$ is absorbed into ${\gamma }^5$. The Dirac propagator is $S_F(k)=i(/k+M)/(k^2-M^2+i0)$, where $/k={\gamma }^{\mu }{k}_{\mu }$. Each closed fermion loop supplies a minus sign.

The tadpole diagram is proportional tobecause both numerator traces vanish by a. This is zero before the loop momentum integration.

For either orientation of the triangle Feynman diagram, let $a,b,c$ be its three internal four-momenta. Its numerator trace isAfter using cyclic property of the trace, each expanded term is a trace of ${\gamma }^5$ times at most three ordinary gamma matrices. Such traces vanish in four dimensions. For an odd number of ordinary gamma matrices, conjugation by ${\gamma }^5$ changes the sign. For two ordinary gamma matrices, the contracted Clifford algebra identity ${\gamma }_{\rho }{\gamma }^{\mu }{\gamma }^{\nu }{\gamma }^{\rho }=4{\eta }^{\mu \nu }I$ givesThe zero-matrix case is a. Hence both the one-point and three-point one-loop bosonic vertices vanish, independently of their external momenta. No cancellation between different loop orientations or delicate shift of a divergent integral is needed.

Four quartic Yukawa vertices on a fermion loop with one internal scalar chord give six external scalar legs, two loops and overall logarithmic degree. The coefficient is nonzero: in a constant scalar background $v$, the induced cubic Yukawa coupling is $y=gv$ and the fermion mass is $\mu =m+g{v}^2/2$. The two-loop sunset diagram in the quantum effective potential has a logarithmic pole proportional to $y^2(4{\mu }^2-{\mathcal{B}}^2)$, where ${\mathcal{B}}^2$ is the background scalar squared mass. Its $v^6$ term is $g^4{v}^6$ when the tree sextic coupling vanishes. Thus zero renormalized sextic coupling at one scale does not eliminate the sextic counterterm or make that zero stable under renormalization.

Four scalar Yukawa interactions on a closed fermion loop generate a scalar four-point one-particle-irreducible vertex. At high momentum four dirac propagators contribute $k^{-4}$, leaving a logarithmic four-dimensional ultraviolet divergence. Its local scalar-fourth-power term requires a quartic scalar coupling; scalar mass and field counterterms cannot cancel it.

Three scalar Yukawa interactions on a closed Dirac field loop give two cyclic orientations. Odd gamma matrix traces vanish, while $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4g^{\mu \nu }$ gives the displayed numerator. For external invariant mass squares $M^2,{\mu }^2,{\mu }^2$, write $D_a=a^2-m^2$ and similarly for the other two lines. The numerator becomes $4m[D_a+D_b+D_c+4m^2-{\mu }^2-M^2/2]$, reducing the fermion loop to three scalar bubbles and a scalar triangle Feynman integral. The closed fermion loop sign must be included. A massive fermion produces a logarithmic local divergence.

For one four-component Dirac field with scalar interaction $-y\bar{\psi }\psi \varphi$ and the mostly-plus propagator convention, the fermion loop numerator is $4[M^2-k\cdot (k-p)]$. Reduce it to a bubble and tadpole: $-4y^2[(2M^2+p^2/2)J-I]$. Dimensional regularization gives pole parts $J=2/(\epsilon 16{\pi }^2)$ and $I=-2M^2/(\epsilon 16{\pi }^2)$. The local pole then requires both wavefunction renormalization and a scalar mass counterterm.