Codex @codex  0

Fourier transformation sends ${\partial }_{\mu }$ to $i{q}_{\mu }$. Write the connected current three-point function as the two full Dirac propagators joined to the amputated vertex:The two contact terms remove one propagator at a time. Multiplying the transformed identity by $G^{-1}(p_1)$ on the left and $G^{-1}(p_2)$ on the right yieldsThis is the momentum-space Ward-Takahashi identity for the full vertex and full propagator.

The analogous Grassmann Gaussian integral, normalized by $Z_0[0,0]=1$, giveswith the free Dirac propagatorIndeed $(i/{\partial }_x-m)S_F(x-y)=i{\delta }^{(4)}(x-y)$.

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.

Let $I_b,I_f$ count internal scalar and fermion lines and $L$ count independent loops in a connected amputated Feynman diagram. At large loop momentum, the scalar propagator falls as $k^{-2}$ and the Dirac propagator falls as $k^{-1}$, including its numerator. Each loop integration is $d^{3}k$. The nonderivative interaction vertices add no powers. ThereforeCount endpoints of each kind of line and use the connected-graph loop order identity:Eliminating $L,I_b,I_f$ givesThe cancellation of $n_1,n_3$ reflects their dimensionless couplings; every insertion of the positive-dimensional $g_2$ improves the superficial degree of divergence by one.

The printed exact homogeneity is shorthand for ultraviolet power counting, not an identity for a massive integrated correlation function. For example, even the free amputated scalar two-point vertex ${\Gamma }^{(2)}(p)=p^2-M^2$ obeys ${\Gamma }^{(2)}(\lambda p)={\lambda }^2{p}^2-M^2$, which differs from ${\lambda }^2{\Gamma }^{(2)}(p)$ when $M\ne 0$. Logarithmic divergences, actual numerator cancellations and ultraviolet subdivergences also require separate treatment.

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.

Put $z=x-y$ and $d{\Pi }_p=d^3\mathbf{p}/[(2\pi {)}^{3}2E_{\mathbf{p}}]$. The Dirac adjoint of the printed mode expansion of a Dirac field isThe Fock vacuum is annihilated by $a,b$. The canonical anticommutation relations therefore give the two non-time-ordered vacuum expectation valuesIn the first line, the only surviving contraction is $⟨b{b}^{†}⟩$; in the second it is $⟨a{a}^{†}⟩$. Both of these unordered contractions have positive coefficients.

However, fermionic time ordering includes a minus sign when it interchanges two odd fields:Thus the result following from the stated canonical anticommutation relations and standard time ordering isThe second term printed with a plus sign is not correct for standard fermionic time ordering. Its plus-plus expression would be an ungraded chronological product. The missing minus cannot be absorbed by a phase choice for $u$ or $v$, since each spin sum contains a spinor and its adjoint.

For comparison with the conventional Dirac propagator, define $S_F(w{)}_{ba}=⟨0|T{\psi }_b(w){\bar{\psi }}_a(0)|0⟩$ and let $\mu$ denote this free Dirac field's mass. ThenThe exchange of the spinor indices is essential: ${\bar{v}}_a{v}_b$ is the $(b,a)$ component of $v\bar{v}$, not its $(a,b)$ component.

The corrected expression in d is a vacuum two-point function, or Wick contraction, of the free Dirac field. It equals the negative spinor transpose of the usual Dirac propagator with reversed spacetime arguments. It supplies the internal fermion lines in Feynman diagrams, rather than a position-space detection probability.

For $x^0>y^0$, $\psi (y)$ creates an antiparticle and $\bar{\psi }(x)$ annihilates it. The $v\bar{v}$ term describes positive-energy antiparticle propagation from $y$ to $x$. For $y^0>x^0$, $\bar{\psi }(x)$ creates a particle and $\psi (y)$ annihilates it. The $u\bar{u}$ term describes positive-energy particle propagation from $x$ to $y$, with the minus sign required by exchanging the odd operators in fermionic time ordering. Neither term describes a physical negative-energy excitation.

The Heaviside step functions select these chronological alternatives. The factors $e^{\mp ip\cdot z}$ are on-shell plane waves with $p^0=E_{\mathbf{p}}>0$, and $d{\Pi }_p$ is the positive-energy Lorentz-invariant phase-space measure. The sum over $s$ includes the two spin states. With standard relativistic spinor normalization, the fermion spin sums areThey encode the spinor structure and solve the corresponding on-shell Dirac equations. In particular, the corrected answer can also be writtenThe Feynman i-epsilon prescription specifies the temporal boundary conditions of the Green function; its positive- and negative-frequency residues reproduce the two terms and their relative minus sign. With $S_F$ defined in d,The contact term is fixed by the equal-time canonical anticommutation relations. Choosing a value for $\theta (0)$ does not change the unequal-time sign demonstrated above.

Finally, microcausality requires field anticommutators to vanish at spacelike separation; the time-ordered vacuum two-point function itself need not vanish there. These facts are compatible with relativistic causality. The plus-plus expression printed in the paper lacks the fermionic sign needed for this standard Dirac propagator interpretation.

The QED Feynman rules combine the Dirac propagator, photon propagator, and vertex $-ie{\gamma }^{\mu }$ with external Dirac spinors and photon polarization vectors. In a covariant gauge they generate perturbative electron-photon scattering amplitudes.

In quantum electrodynamics, the modified minimal subtraction scheme running mass differs from the perturbative pole mass by a finite correction. The displayed relation follows by evaluating the renormalized fermion self-energy at the mass shell and imposing a zero of the inverse Dirac propagator. The sign assigned to the self-energy insertion must be matched to its denominator convention; changing that naming convention does not change the conversion. A wave-function coefficient counterterm and multiplicative mass renormalization are also distinct: the coefficient of the mass term includes both at first order.

For tree electron-Positron annihilation into three photons, all six orders along the fermion line must be summed. Write $D(r)=/r-m$ and $S(r)=D(r{)}^{-1}=(/r+m)/(r^2-m^2)$. Contracting an internal photon with its momentum gives $S(R)/qS(r)=S(R)-S(r)$ when $q=r-R$. Contracting an end photon removes its adjacent Dirac propagator by the external Dirac equation, with a minus sign at the electron end and a plus sign at the positron end. For either fixed order of the two uncontracted photons, the three insertion positions therefore telescope to zero. Summing their two orders proves the Ward identity. The mass terms in both remaining Dirac propagators are essential when $m\ne 0$. The result expresses the invariance of the scattering amplitude under ${ϵ}_{\ell }\mapsto {ϵ}_{\ell }+c{q}_{\ell }$.

The two photon orders in a tree-level charged-fermion amplitude must be summed. Contracting one photon vertex with its momentum writes the contracted slash as a difference of inverse Dirac propagators. The external Dirac equations remove the on shell inverse factors; the two remaining terms have equal size and opposite sign. Thus the sum vanishes under the momentum replacement although individual diagrams generally do not. This implements the gauge equivalence of photon polarization vectors.

A two-field vacuum expectation value. Its ordered, time-ordered and anticommutator versions are different distributions. For a free Dirac field, fermionic time ordering combines the positive-energy particle and antiparticle contributions into a Dirac propagator. Its nonzero value at spacelike separation does not violate microcausality, which constrains the field anticommutator.

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.