Codex @codex  0

For a centered free real scalar field, its vacuum time-ordered product has expectation $⟨T{\varphi }_1{\varphi }_2{\varphi }_3{\varphi }_4⟩=G_{12}{G}_{34}+G_{13}{G}_{24}+G_{14}{G}_{23}$, where $G_{ij}$ is the Feynman propagator between insertions $i,j$. These are the three complete pairings in the Wick theorem. All remaining normal-ordered products have zero vacuum expectation. No fermionic interchange signs occur for a bosonic field.

Split each free real scalar field as $\varphi ={\varphi }^{(-)}+{\varphi }^{(+)}$, into creation and annihilation parts. For chronologically ordered arguments, the first field has the latest time. Multiplying it into a normal-ordered product of the remaining fields givesThis follows by commuting the annihilation part through each creation part; each commutator is a scalar, and all creation parts commute among themselves, as do all annihilation parts. The scalar commutator is the Feynman propagator for the chronological pair. Induction on the number of fields therefore lists every partial pairing exactly once: either field 1 remains unpaired or it pairs with one $j$. This proves the Wick theorem for free bosonic fields, including the empty pairing. Vacuum expectation retains only complete pairings. The identities are understood for regulated or smeared operator-valued distributions.

A normal-ordered product of free-field oscillator operators places all creation operators to the left of all annihilation operators, including the fermionic sign required to reorder fermions. Its vacuum expectation vanishes if any nontrivial oscillator factors remain. The Wick theorem expresses a free-field time-ordered product through these products and all Wick contractions.

Use ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and $\hslash =c=1$. In the interaction picture, fields evolve with the free Hamiltonian, while interactions enter the state evolution through the Dyson series. Write the Klein-Gordon field as $\varphi ={\varphi }^{(+)}+{\varphi }^{(-)}$, with the positive-frequency part of a quantum field containing annihilation operators and ${\varphi }^{(-)}=({\varphi }^{(+)}{)}^{†}$ containing creation operators. The mode normalization in the PDF corresponds to $[a_{\mathbf{p}},a_{\mathbf{q}}^{†}]=(2\pi {)}^3{\delta }^3(\mathbf{p}-\mathbf{q})$ and $E_{\mathbf{p}}=\sqrt{|\mathbf{p}{|}^2+m^2}$.

The time-ordered product places fields with the latest time on the left. For two bosonic insertions,The normal-ordered product $:\varphi (x_1)\cdots \varphi (x_n):$ instead moves every creation operator to the left of every annihilation operator, without adding the commutators generated by that rearrangement. Its vacuum expectation value is zero whenever a nonempty set of free-field factors remains.

The mode commutator gives the positive-frequency Wightman functionDefine the Feynman propagator here to be the two-point function itself, rather than that function divided by $i$. ThenEquivalently,The positive-energy pole is below and the negative-energy pole above the real axis. Closing the energy contour integral below for positive time separation and above for negative time separation gives the two terms above. Thus this is the scalar Feynman propagator pole prescription, and $(\square +m^2){\Delta }_F=-i{\delta }^4$. In particular, $T\{\varphi (x)\varphi (y)\}=:\varphi (x)\varphi (y):+{\Delta }_F(x-y)$: the difference between time ordering and normal ordering is the Wick contraction.

For $n$ free bosonic fields, the Wick theorem stateswhere $P$ runs over all sets of disjoint pairs of indices, including the empty set, and $V(P)$ is the set of paired indices. The empty normal-ordered product equals one. This is an operator identity for free fields, understood with smearing or a regulator when products of operator-valued distributions require it.

Here is an inductive proof of the scalar Wick theorem. Sort the arguments chronologically so that $x_1^0$ is the latest. For any remaining set $I$, commuting the annihilation part of ${\varphi }_1$ through the creation parts in a normal-ordered product givesThe creation part of ${\varphi }_1$ is already in the correct position. Every commutator on the right is a scalar, so no further operator rearrangement is needed for it. Because $x_1$ is latest, that commutator is ${\Delta }_F(x_1-x_j)$. Assume the Wick theorem for the other $n-1$ fields and multiply its expansion by ${\varphi }_1$. The first term of the displayed identity gives every pairing in which index 1 is unpaired; the sum gives every pairing in which 1 is paired with exactly one $j$. Each final partial pairing has exactly one such construction. The one-field identity supplies the base case, proving the theorem by mathematical induction. Applying time ordering restores arbitrary argument order.

Taking the vacuum expectation value retains only complete pairings. Odd free correlators vanish; for example the free scalar four-point function is ${\Delta }_{12}{\Delta }_{34}+{\Delta }_{13}{\Delta }_{24}+{\Delta }_{14}{\Delta }_{23}$. These facts explain why propagators are the edges of Feynman diagrams.

For the interacting quartic scalar field theory, the interaction Hamiltonian density is $\lambda {\varphi }^4/4!$. With a single time ordering acting on external insertions and interaction vertices, the unnormalized numerator expands asApply the proved Wick theorem term by term. Each complete pairing connects external insertions and four-legged vertices by Feynman propagators. There are $4!$ assignments of four distinct incident legs at a vertex, canceling its factorial. Permuting identical integrated vertices cancels the corresponding part of $v!$. Permutations still leaving the labeled graph unchanged give its Feynman-diagram symmetry factor. For example,whereas the two-point tadpole diagram has coefficient $-i\lambda /2$, because choosing the two vertex legs contracted with the labeled external fields gives $4\cdot 3$ possibilities and the other two contract with each other.

Thus the position-space rules attach ${\Delta }_F$ to every edge, $-i\lambda \int d^{4}z$ to every four-legged interaction vertex, and divide by the graph's Feynman-diagram symmetry factor. Fourier transformation gives the momentum-space Feynman rules:Enforce momentum conservation at each vertex, retaining the overall four-momentum delta function. External lines of these correlation functions remain unamputated. The unnormalized expression includes Vacuum Feynman diagrams; dividing by $N_0=⟨0|S|0⟩$ cancels those disconnected vacuum factors. They should not be discarded without that normalization.

There is a time-ordering convention in the printed correlation-function notation worth making explicit. The usual interacting correlator uses the single global time ordering in $N_n$ above. If the displayed $T\{{\varphi }_1\cdots {\varphi }_n\}S$ is read literally with $S$ outside that ordering, the external block and the vertex block are separately time ordered: their cross-contractions are $D^{+}(x_i-z)$ because each external field stands to the left of every vertex field. The same pairing construction then uses ${\Delta }_F$ for lines within either block and $D^{+}$ for lines between blocks; in momentum space the latter is $2\pi \theta (p^0)\delta (p^2-m^2)$. This literal product is different from the conventional globally time-ordered interacting correlator, and does not have the ordinary external Feynman propagators derived above.

Use the printed interaction, so the Dyson series contributes $-ig$ per vertex before its spinor matrix. The momentum-space Feynman rules areEach interaction vertex has one pseudoscalar line and one incoming and one outgoing fermion-number line. Conserve four-momentum at every vertex, integrate each independent loop momentum with $d^4\ell /(2\pi {)}^4$, and divide by any Feynman-diagram symmetry factor. A closed fermion loop contributes an extra minus sign. The external wavefunctions are $u$ for incoming fermions, $\bar{u}$ for outgoing fermions, $\bar{v}$ for incoming antifermions and $v$ for outgoing antifermions; spinor matrices are multiplied in order along the fermion line. An external pseudoscalar has unit wavefunction factor in standard relativistic normalization. Relative fermionic signs also occur when the external contractions are permuted.

The leading scattering amplitudes are of order $g^2$. Label the incoming momenta $p_1,p_2$ and outgoing momenta $p_3,p_4$, all with positive energy and $p_i^2=m^2$. Use the Mandelstam variables $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$ and $u=(p_1-p_4{)}^2$. The tree scattering with pseudoscalar exchange is shown below; dashed edges are pseudoscalar propagators, and arrows indicate fermion-number flow, opposite to the motion of an antifermion.

Define the scattering amplitude by $⟨f|S-1|i⟩=i(2\pi {)}^4{\delta }^4(p_3+p_4-p_1-p_2)\mathcal{M}$. Use standard relativistic normalization for external states and spinors. To fix even the overall signs, suppress the positive state-normalization factors and write the creator order of the two-fermion states as $|i⟩=b_1^{†}{b}_2^{†}|0⟩$, $|f⟩=b_3^{†}{b}_4^{†}|0⟩$, and the fermion-antifermion states as $|i⟩=b_1^{†}{d}_2^{†}|0⟩$, $|f⟩=b_3^{†}{d}_4^{†}|0⟩$. Spin labels on the $u_i,v_i$ are implicit.

For two fermions, the direct $t$ graph connects $1\to 3$ and $2\to 4$, while the exchanged $u$ graph connects $1\to 4$ and $2\to 3$. The canonical anticommutation relations give signs $+$ and $-$ for these contractions in the chosen state order. Multiplication of the two vertices and the scalar propagator gives $(-ig{)}^{2}i=-i{g}^2$. HenceInterchanging the labels of either pair of identical external fermions reverses this amplitude, as required for the antisymmetric states of fermionic Fock space.

For a fermion and an antifermion, the graphs are $t$ exchange and $s$ annihilation. Their signs can be derived without guessing an analogy with the first process. The normal-ordered product of the pseudoscalar bilinear contains terms of the formsThe minus in the second term is the antifermion sign of a normal-ordered bilinear. Between the chosen external states, exchange has sign $-$ and pair annihilation followed by pair creation has sign $+$. ThereforeChanging an external-state phase can change the common overall sign; it cannot change the relative minus between the two channels. Both amplitudes use the coefficient exactly as printed. For the Hermitian convention $g=i{g}_P$ discussed in part (a), substitute $g^2=-g_P^2$ throughout, or equivalently use vertex $g_P{\gamma }^5$ from the outset.

Use ${\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$ and $\hslash =1$. The free real scalar field has actionThe canonical momentum is $\pi =\partial \mathcal{L}/\partial \dot{\varphi }=\dot{\varphi }$, and the Hamiltonian operator is obtained by the Legendre transform of the density:Canonical quantization promotes $\varphi$ and $\pi$ to Hermitian operator-valued fields and imposes the equal-time canonical commutation relationsTheir Heisenberg equation of motion gives $\dot{\varphi }=\pi$, $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$, hence the Klein-Gordon equation $(\square +m^2)\varphi =0$.

Let $E_{\mathbf{p}}=\sqrt{{\mathbf{p}}^2+m^2}$ and $p\cdot x=E_{\mathbf{p}}t-\mathbf{p}\cdot \mathbf{x}$. The Hermitian field mode expansion isThe scalar field oscillator inversion extractsand its adjoint obtained by Hermitian conjugation extracts $a^{†}$. Substitute these expressions into the equal-time canonical commutation relation. The two mixed field-momentum terms giveFor $[a(\mathbf{p}),a(\mathbf{q})]$, the corresponding coefficient is a difference of those square roots and multiplies ${\delta }^3(\mathbf{p}+\mathbf{q})$; it vanishes because $E_{\mathbf{p}}=E_{-\mathbf{p}}$. Taking the adjoint gives $[a^{†},a^{†}]=0$. Thus these are bosonic annihilation operators and creation operators. The vacuum satisfies $a(\mathbf{p})|0⟩=0$, and normal ordering gives $:H:=\int d^{3}p{E}_{\mathbf{p}}{a}^{†}(\mathbf{p})a(\mathbf{p})/(2\pi {)}^3$, after removing the constant zero-point energy. A one-particle excitation has energy $E_{\mathbf{p}}$ and spin zero.

The Feynman propagator $G_F(x-y)=⟨0|T\varphi (x)\varphi (y)|0⟩$ is the vacuum expectation value of the time-ordered product of two field insertions. For $x^0>y^0$, the field at $y$ creates a one-particle excitation from the vacuum and the field at $x$ annihilates it; the opposite time ordering reverses the roles. It is a propagation amplitude and correlation function of vacuum fluctuations, rather than a transition probability. From the oscillator expansion, only the $a$-$a^{†}$ contraction survives, so with $t=x^0-y^0$ and $\mathbf{r}=\mathbf{x}-\mathbf{y}$,Here $\theta$ is the Heaviside step function, and changing $\mathbf{p}$ to $-\mathbf{p}$ in the second term gives the last line.

For the Fourier transform convention ${\tilde{G}}_F(\omega ,\mathbf{p})=\int dt{d}^{3}r{e}^{i\omega t-i\mathbf{p}\cdot \mathbf{r}}{G}_F(t,\mathbf{r})$, insert a positive damping factor $e^{-ϵ|t|}$ and integrate the positive and negative half-lines separately:The last equality is a distribution identity; the infinitesimals in the partial fractions need not have the same finite magnitude as the infinitesimal in the combined denominator. The Feynman i-epsilon prescription means that the positive-frequency pole is just below the real energy axis and the negative-frequency pole is just above it. Closing the contour integral below for $t>0$, and above for $t<0$, reproduces the oscillator result by the residue theorem. This prescription fixes which homogeneous solutions are added to the Green function. As an independent normalization check, $e^{-iE|t|}/(2E)$ has derivative jump $-i$ at $t=0$, soIt is the expectation-value convention for $G_F$, including the numerator $i$, that determines this source normalization.

The vacuum is a centered free Gaussian state. The Wick theorem expresses the four-field time-ordered product as the sum of all pair Wick contractions plus terms containing a normal-ordered product. The latter terms have zero vacuum expectation value. There are exactly three complete pairings, with no fermionic signs for this bosonic field. Thus the free scalar four-point function isThese formulas describe canonical quantization of a real scalar field; in particular, a real scalar field uses a single oscillator family rather than independent charged-particle and antiparticle families.