Normalize the generating functional by its value with all sources zero, and take the connected part of the time-ordered correlation function. Source differentiation of the interaction exponential is equivalent to the Dyson series followed by Wick's theorem. Write and temporarily, so that every contraction has an unambiguous meaning.
The second-order Dyson series contributesThere are two connected external scalar field attachments:They become equal after exchanging the integration variables , cancelling . The connected fermion contractions have the closed fermion loop sign:The minus sign can also be checked directly: the pairing of the first with the fourth field and the second with the third has positive pairing parity, but . Multiplying it by leaves a positive result:A contraction of the two external fields with each other times a vacuum bubble cancels against the normalization. Separate fermion tadpole integrals at and belong to a product of one-point functions, removed by taking the connected part.
To match the source's generating functional convention, distinguish its displayed kernels from contractions. The positive exponent gives . With the source insertion order in equation (5), the positive exponent similarly gives . The two scalar propagators and two Dirac propagators supply a total phase . Thus, writing as in the requested formula,The matrix trace closes the spinor indices; no extra factor of two or additional symmetry factor remains for a Dirac field with this Yukawa interaction.
For commuting real scalar fields, remove the closed fermion loop sign and replace the Dirac propagators by scalar propagators. There are no spinor indices, hence no matrix trace. With two independent real scalar fields and interaction , the same normalization givesThe overall sign has reversed relative to part (i) because is now unaccompanied by a closed fermion loop sign. The same formula holds in the source's kernel convention, since there are again four propagators.
There is an additional convention to specify if the two symbols are intended to denote the same real scalar field. For the literal interaction , there are two identical connected Wick contractions between and , so the coefficient becomes . If the conventional interaction is instead , each vertex is and the loop has symmetry factor , giving coefficient . In both interpretations the closed fermion loop sign and spinor matrix trace disappear; the differing numerical factor comes from the interaction normalization and field identity.
Articles by others on the same topic
There are currently no matching articles.