15. Quantum field theory & particle physics

15.1 Creation and annihilation operators

A state with more particles can be described by a collection occupation numbers \(|n_1n_2n_3\cdots\rangle\). Hence the vacuum state is given by \(|000\cdots\rangle\). This is a complete description because the particles are indistinguishable. The states are orthonormal:

\[\left\langle n_1n_2n_3\cdots|n_1'n_2'n_3'\cdots \right\rangle=\prod_{i=1}^\infty\delta_{n_in_i'}\]

The time-dependent state vector is given by

\[\Psi(t)=\sum_{n_1n_2\cdots}c_{n_1n_2\cdots}(t)|n_1n_2\cdots\rangle\]

The coefficients \(c\) can be interpreted as follows: \(|c_{n_1n_2\cdots}|^2\) is the probability to find \(n_1\) particles with momentum \(\vec{k}_1\), \(n_2\) particles with momentum \(\vec{k}_2\), etc., and \(\left\langle \Psi(t)|\Psi(t) \right\rangle=\sum|c_{n_i}(t)|^2=1\). The expansion of the states in time is described by the Schrödinger equation

\[i\frac{d}{dt}|\Psi(t)\rangle=H|\Psi(t)\rangle\]

where \(H=H_0+H_{\rm int}\). \(H_0\) is the Hamiltonian for free particles and keeps \(|c_{n_i}(t)|^2\) constant, \(H_{\rm int}\) is the interaction Hamiltonian and can increase or decrease a \(c^2\) at the cost of others.

All operators which can change occupation numbers can be expanded in the \(a\) and \(a^\dagger\) operators. \(a\) is the annihilation operator and \(a^\dagger\) the creation operator, and:

\[\begin{aligned} a(\vec{k}_i)|n_1n_2\cdots n_i\cdots\rangle&=&\sqrt{n_i}~|n_1n_2\cdots n_i-1\cdots\rangle\\ a^\dagger(\vec{k}_i)|n_1n_2\cdots n_i\cdots\rangle&=&\sqrt{n_i+1}~|n_1n_2\cdots n_i+1\cdots\rangle\end{aligned}\]

Because the states are normalized \(a|0\rangle=0\) and \(a(\vec{k}_i)a^\dagger(\vec{k}_i)|n_i\rangle=n_i|n_i\rangle\). So \(aa^\dagger\) is an occupation number operator. The following commutation rules can be derived:

\[ [a(\vec{k}_i),a(\vec{k}_j)]=0~~,~~~ [a^\dagger(\vec{k}_i),a^\dagger(\vec{k}_j)]=0~~,~~~ [a(\vec{k}_i),a^\dagger(\vec{k}_j)]=\delta_{ij}\]

Hence for free spin-0 particles: \(H_0=\sum\limits_i a^\dagger(\vec{k}_i)a(\vec{k}_i)\hbar\omega_{k_i}\)

15.2 Classical and quantum fields

Starting with a real field \(\Phi^\alpha(x)\) (complex fields can be split in a real and an imaginary part), the Lagrange density \({\cal L}\) is a function of the position \(x=(\vec{x},ict)\) through the fields: \({\cal L}={\cal L}(\Phi^\alpha(x),\partial_\nu\Phi^\alpha(x))\). The Lagrangian is given by \(L=\int{\cal L}(x)d^3x\). Using the variational principle \(\delta I(\Omega)=0\) and with the action-integral \(I(\Omega)=\int{\cal L}(\Phi^\alpha,\partial_\nu\Phi^\alpha)d^4x\) the field equation can be derived:

\[\frac{\partial {\cal L}}{\partial \Phi^\alpha}-\frac{\partial }{\partial x_\nu}\frac{\partial {\cal L}}{\partial (\partial_\nu\Phi^\alpha)}=0\]

The conjugated field is, analogous to momentum in classical mechanics, defined as:

\[\Pi^\alpha(x)=\frac{\partial {\cal L}}{\partial \dot{\Phi}^\alpha}\]

With this, the Hamilton density becomes \({\cal H}(x)=\Pi^\alpha\dot{\Phi}^\alpha-{\cal L}(x)\).

Quantization of a classical field is analogous to quantization in point mass mechanics: the field functions are considered as operators obeying certain commutation rules:

\[ [\Phi^\alpha(\vec{x}),\Phi^\beta(\vec{x}\,')]=0~~,~~~ [\Pi^\alpha(\vec{x}),\Pi^\beta(\vec{x}\,')]=0~~,~~[\Phi^\alpha(\vec{x}),\Pi^\beta(\vec{x}\,')]=i\delta_{\alpha\beta}(\vec{x}-\vec{x}\,')\]

15.3 The interaction picture

Some equivalent formulations of quantum mechanics are possible:

  1. Schrödinger picture: time-dependent states, time-independent operators.
  2. Heisenberg picture: time-independent states, time-dependent operators.
  3. Interaction picture: time-dependent states, time-dependent operators.

The interaction picture can be obtained from the Schrödinger picture by an unitary transformation:

\[|\Phi(t)\rangle={\rm e}^{iH_0^{\rm S}}|\Phi^{\rm S}(t)\rangle~~\mbox{and}~~ O(t)={\rm e}^{iH_0^{\rm S}}O^{\rm S}{\rm e}^{-iH_0^{\rm S}}\]

The index \(^{\rm S}\) denotes the Schrödinger picture. From this follows:

\[i\frac{d}{dt}|\Phi(t)\rangle=H_{\rm int}(t)|\Phi(t)\rangle~~\mbox{and}~~ i\frac{d}{dt}O(t)=[O(t),H_0]\]

15.4 Real scalar field in the interaction picture

It is easy to find that, with \(M:=m_0^2c^2/\hbar^2\), holds:

\[\frac{\partial }{\partial t}\Phi(x)=\Pi(x)~~\mbox{and}~~\frac{\partial }{\partial t}\Pi(x)=(\nabla^2-M^2)\Phi(x)\]

From this follows that \(\Phi\) obeys the Klein-Gordon equation \((\Box-M^2)\Phi=0\). With the definition \(k_0^2=\vec{k}^2+M^2:=\omega_k^2\) and the notation \(\vec{k}\cdot\vec{x}-ik_0t:=kx\) the general solution of this equation is:

\[\Phi(x)=\frac{1}{\sqrt{V}}\sum_{\vec{k}}\frac{1}{\sqrt{2\omega_k}} \left(a(\vec{k}\,){\rm e}^{ikx}+a^\dagger(\vec{k}\,){\rm e}^{-ikx}\right)~,~~ \Pi(x)=\frac{i}{\sqrt{V}}\sum_{\vec{k}}\sqrt{\mbox{$\frac{1}{2}$}\omega_k} \left(-a(\vec{k}\,){\rm e}^{ikx}+a^\dagger(\vec{k}\,){\rm e}^{-ikx}\right)\]

The field operators contain a volume \(V\), which is used as normalization factor. Usually one can take the limit \(V\rightarrow\infty\).

In general it holds that the term with \({\rm e}^{-ikx}\), the positive frequency part, is the creation part, and the negative frequency part is the annihilation part.

The coefficients have to be each others hermitian conjugate because \(\Phi\) is hermitian. Because \(\Phi\) has only one component this can be interpreted as a field describing a particle with spin zero. From this follows that the commutation rules are given by \([\Phi(x),\Phi(x')]=i\Delta(x-x')\) with

\[\Delta(y)=\frac{1}{(2\pi)^3}\int\frac{\sin(ky)}{\omega_k}d^3k\]

\(\Delta(y)\) is an odd function which is invariant for proper Lorentz transformations (no mirroring). This is consistent with the previously found result \([\Phi(\vec{x},t,\Phi(\vec{x}\,',t)]=0\). In general it holds that \(\Delta(y)=0\) outside the light cone. So the equations obey the locality postulate.

The Lagrange density is given by: \({\cal L}(\Phi,\partial_\nu\Phi)=-\frac{1}{2}(\partial_\nu\Phi\partial_\nu\Phi+m^2\Phi^2)\). The energy operator is given by:

\[H=\int{\cal H}(x)d^3x=\sum_{\vec{k}}\hbar\omega_ka^\dagger(\vec{k}\,)a(\vec{k}\,)\]

15.5 Charged spin-0 particles, conservation of charge

The Lagrange density of charged spin-0 particles is given by: \({\cal L}=-(\partial_\nu\Phi\partial_\nu\Phi^*+M^2\Phi\Phi^*)\).

Noether’s theorem connects a continuous symmetry of \({\cal L}\) and an additive conservation law. Suppose that \({\cal L}\left((\Phi^\alpha)',\partial_\nu(\Phi^\alpha)'\right)= {\cal L}\left(\Phi^\alpha,\partial_\nu\Phi^\alpha\right)\) and there exists a continuous transformation between \(\Phi^\alpha\) and \({\Phi^\alpha}'\) such as \({\Phi^\alpha}'=\Phi^\alpha+\epsilon f^\alpha(\Phi)\). Then  

\[\frac{\partial }{\partial x_\nu}\left(\frac{\partial {\cal L}}{\partial (\partial_\nu\Phi^\alpha)}f^\alpha\right)=0\]

This is a continuity equation \(\Rightarrow\) conservation law. Which quantity is conserved depends on the symmetry. The above Lagrange density is invariant for a change in phase \(\Phi\rightarrow\Phi{\rm e}^{i\theta}\): a global gauge transformation. The conserved quantity is the current density \(J_\mu(x)=-ie(\Phi\partial_\mu\Phi^*-\Phi^*\partial_\mu\Phi)\). Because this quantity is 0 for real fields a complex field is needed to describe charged particles. When this field is quantized the field operators are given by

\[\Phi(x)=\frac{1}{\sqrt{V}}\sum_{\vec{k}}\frac{1}{\sqrt{2\omega_k}} \left(a(\vec{k}\,){\rm e}^{ikx}+b^\dagger(\vec{k}\,){\rm e}^{-ikx}\right) ~,~~ \Phi^\dagger(x)=\frac{1}{\sqrt{V}}\sum_{\vec{k}}\frac{1}{\sqrt{2\omega_k}} \left(a^\dagger(\vec{k}\,){\rm e}^{ikx}+b(\vec{k}\,){\rm e}^{-ikx}\right)\]

Hence the energy operator is given by:

\[H=\sum_{\vec{k}}\hbar\omega_k\left(a^\dagger(\vec{k}\,)a(\vec{k}\,)+b^\dagger(\vec{k}\,)b(\vec{k}\,)\right)\]

and the charge operator is given by:

\[Q(t)=-i\int J_4(x)d^3x\Rightarrow Q=\sum_{\vec{k}}e\left(a^\dagger(\vec{k}\,)a(\vec{k}\,)-b^\dagger(\vec{k}\,)b(\vec{k}\,)\right)\]

From this follows that \(a^\dagger a:=N_+(\vec{k}\,)\) is an occupation number operator for particles with a positive charge and \(b^\dagger b:=N_-(\vec{k}\,)\) is an occupation number operator for particles with a negative charge.

15.6 Field functions for spin-\(\frac{1}{2}\)-particles

Spin is defined by the behaviour of the solutions \(\psi\) of the Dirac equation. A scalar field \(\Phi\) has the property that, if it obeys the Klein-Gordon equation, the rotated field \(\tilde{\Phi}(x):=\Phi(\Lambda^{-1}x)\) also obeys it. \(\Lambda\) denotes 4-dimensional rotations: the proper Lorentz transformations. These can be written as:

\[\tilde{\Phi}(x)=\Phi(x){\rm e}^{-i\vec{n}\cdot\vec{L}}~~\mbox{with}~~ L_{\mu\nu}=-i\hbar\left(x_\mu\frac{\partial }{\partial x_\nu}-x_\nu\frac{\partial }{\partial x_\mu}\right)\]

For \(\mu\leq3,\nu\leq3\) these are rotations, for \(\nu=4,\mu\neq4\) these are Lorentz transformations.

A rotated field \(\tilde{\psi}\) obeys the Dirac equation if the following condition holds: \(\tilde{\psi}(x)=D(\Lambda)\psi(\Lambda^{-1}x)\). This results in the condition \(D^{-1}\gamma_\lambda D=\Lambda_{\lambda\mu}\gamma_\mu\). One finds: \(D={\rm e}^{i\vec{n}\cdot\vec{S}}\) with \(S_{\mu\nu}=-i\frac{1}{2}\hbar\gamma_\mu\gamma_\nu\). Hence:

\[\tilde{\psi}(x)={\rm e}^{-i(S+L)}\psi(x)={\rm e}^{-iJ}\psi(x)\]

Then the solutions of the Dirac equation are given by:

\[\psi(x)=u_\pm^r(\vec{p}\,){\rm e}^{-i(\vec{p}\cdot\vec{x}\pm Et)}\]

Here, \(r\) is an indication for the direction of the spin, and \(\pm\) is the sign of the energy. With the notation \(v^r(\vec{p}\,)=u^r_-(-\vec{p}\,)\) and \(u^r(\vec{p}\,)=u^r_+(\vec{p}\,)\) one can write for the dot products of these spinors:

\[u_+^r(\vec{p}\,)u_+^{r'}(\vec{p}\,)=\frac{E}{M}\delta_{rr'}~~,~~ u_-^r(\vec{p}\,)u_-^{r'}(\vec{p}\,)=\frac{E}{M}\delta_{rr'}~~,~~ u_+^r(\vec{p}\,)u_-^{r'}(\vec{p}\,)=0\]

Because of the factor \(E/M\) this is not relativistic invariant. A Lorentz-invariant dot product is defined by \(\overline{a}b:=a^\dagger\gamma_4b\), where \(\overline{a}:=a^\dagger\gamma_4\) is a row spinor. From this follows:

\[\overline{u^r(\vec{p}\,)}u^{r'}(\vec{p}\,)=\delta_{rr'}~~,~~ \overline{v^r(\vec{p}\,)}v^{r'}(\vec{p}\,)=-\delta_{rr'}~~,~~ \overline{u^r(\vec{p}\,)}v^{r'}(\vec{p}\,)=0\]

Combinations of the type \(a\overline{a}\) give a \(4\times4\) matrix:

\[\sum_{r=1}^2 u^r(\vec{p}\,)\overline{u^r(\vec{p}\,)}=\frac{-i\gamma_\lambda p_\lambda+M}{2M}~~,~~ \sum_{r=1}^2 v^r(\vec{p}\,)\overline{v^r(\vec{p}\,)}=\frac{-i\gamma_\lambda p_\lambda-M}{2M}\]

The Lagrange density which results in the Dirac equation and having the correct energy normalization is:

\[{\cal L}(x)=-\overline{\psi(x)}\left(\gamma_\mu\frac{\partial }{\partial x_\mu}+M\right)\psi(x)\]

and the current density is \(J_\mu(x)=-ie\overline{\psi}\gamma_\mu\psi\).

15.7 Quantization of spin-\(\frac{1}{2}\) fields

The general solution for the fieldoperators is in this case:

\[\psi(x)=\sqrt{\frac{M}{V}}\sum_{\vec{p}}\frac{1}{\sqrt{E}}\sum_r \left(c_r(\vec{p}\,)u^r(\vec{p}\,){\rm e}^{ipx}+ d^\dagger_r(\vec{p}\,)v^r(\vec{p}\,){\rm e}^{-ipx}\right)\]

and

\[\overline{\psi(x)}=\sqrt{\frac{M}{V}}\sum_{\vec{p}}\frac{1}{\sqrt{E}}\sum_r \left(c^\dagger_r(\vec{p}\,)\overline{u^r}(\vec{p}\,){\rm e}^{-ipx}+ d_r(\vec{p}\,)\overline{v^r}(\vec{p}\,){\rm e}^{ipx}\right)\]

Here, \(c^\dagger\) and \(c\) are the creation respectively annihilation operators for an electron and \(d^\dagger\) and \(d\) the creation respectively annihilation operators for a positron. The energy operator is given by

\[H=\sum_{\vec{p}}E_{\vec{p}}\sum_{r=1}^2\left(c_r^\dagger(\vec{p}\,)c_r(\vec{p}\,)-d_r(\vec{p}\,)d^\dagger_r(\vec{p}\,)\right)\]

To prevent that the energy of positrons is negative the operators must obey anti commutation rules in stead of commutation rules:

\[[c_r(\vec{p}\,),c_{r'}^\dagger(\vec{p}\,)]_+=[d_r(\vec{p}\,),d_{r'}^\dagger(\vec{p}\,)]_+=\delta_{rr'}\delta_{pp'}~~,~~ \mbox{all other anti commutators are 0.}\]

The field operators obey

\[[\psi_\alpha(x),\psi_\beta(x')]=0~~,~~ [\overline{\psi_\alpha(x)},\overline{\psi_\beta(x')}]=0~~,~~ [\psi_\alpha(x),\overline{\psi_\beta(x')}]_+=-iS_{\alpha\beta}(x-x')\] \[\mbox{with}~~~S(x)=\left(\gamma_\lambda\frac{\partial }{\partial x_\lambda}-M\right)\Delta(x)\]

The anti commutation rules give besides the positive-definite energy also the Pauli exclusion principle and the Fermi-Dirac statistics: because \(c_r^\dagger(\vec{p}\,)c_r^\dagger(\vec{p}\,)=-c_r^\dagger(\vec{p}\,)c_r^\dagger(\vec{p}\,)\) and thus: \(\{c_r^\dagger(p)\}^2=0\). It appears to be impossible to create two electrons with the same momentum and spin. This is the exclusion principle. Another way to see this is the fact that \(\{N_r^+(\vec{p}\,)\}^2=N_r^+(\vec{p}\,)\): the occupation operators have only eigenvalues 0 and 1.

To avoid infinite vacuum contributions to the energy and charge the normal product is introduced. The expression for the current density now becomes \(J_\mu=-ieN(\overline{\psi}\gamma_\mu\psi)\). This product is obtained by:

15.8 Quantization of the electromagnetic field

Starting with the Lagrange density \(\displaystyle{\cal L}=-\frac{1}{2}\frac{\partial A_\nu}{\partial x_\mu}\frac{\partial A_\nu}{\partial x_\mu}\)

it follows for the field operators \(A(x)\):

\[A(x)=\frac{1}{\sqrt{V}}\sum_{\vec{k}}\frac{1}{\sqrt{2\omega_k}}\sum_{m=1}^4 \left(a_m(\vec{k}\,)\epsilon^m(\vec{k}\,){\rm e}^{ikx}+ a^\dagger(\vec{k}\,)\epsilon^m(\vec{k}\,)^*{\rm e}^{-ikx}\right)\]

The operators obey \([a_m(\vec{k}\,),a_{m'}^\dagger(\vec{k}\,)]=\delta_{mm'}\delta_{kk'}\). All other commutators are 0. \(m\) gives the polarization direction of the photon: \(m=1,2\) gives transversal polarized, \(m=3\) longitudinal polarized and \(m=4\) time like polarized photons. Further:

\[[A_\mu(x),A_\nu(x')]=i\delta_{\mu\nu}D(x-x')~~\mbox{with}~~D(y)=\Delta(y)|_{m=0}\]

In spite of the fact that \(A_4=iV\) is imaginary in the classical case, \(A_4\) is still defined to be hermitian because otherwise the sign of the energy becomes incorrect. By changing the definition of the inner product in configuration space the expectation values for \(A_{1,2,3}(x)\in I\hspace{-1mm}R\) and for \(A_4(x)\) become imaginary.

If the potentials satisfy the Lorentz gauge condition \(\partial_\mu A_\mu=0\) the \(E\) and \(B\) operators derived from these potentials will satisfy the Maxwell equations. However, this gives problems with the commutation rules. It is now demanded that only those states are permitted for which

\[\frac{\partial A^+_\mu}{\partial x_\mu}|\Phi\rangle=0\]

This results in: \(\displaystyle\left\langle \frac{\partial A_\mu}{\partial x_\mu} \right\rangle=0\).

From this follows that \((a_3(\vec{k}\,)-a_4(\vec{k}\,))|\Phi\rangle=0\). With a local gauge transformation one obtains \(N_3(\vec{k}\,)=0\) and \(N_4(\vec{k}\,)=0\). However, this only applies to free EM-fields: in intermediary states in interactions there can exist longitudinal and timelike photons. These photons are also responsible for the stationary Coulomb potential.

15.9 Interacting fields and the S-matrix

The \(S\)(scattering)-matrix gives a relation between the initial and final states of an interaction: \(|\Phi(\infty)\rangle=S|\Phi(-\infty)\rangle\). If the Schrödinger equation is integrated:

\[|\Phi(t)\rangle=|\Phi(-\infty)\rangle-i\int\limits_{-\infty}^t H_{\rm int}(t_1)|\Phi(t_1)\rangle dt_1\]

and when perturbation theory is applied one finds that:

\[S=\sum_{n=0}^\infty\frac{(-i)^n}{n!}\int\cdots\int T\left\{{\cal H}_{\rm int}(x_1)\cdots{\cal H}_{\rm int}(x_n)\right\}d^4x_1\cdots d^4x_n \equiv\sum_{n=0}^\infty S^{(n)}\]

Here, the \(T\)-operator means a time-ordered product: the terms in such a product must be ordered in increasing time order from the right to the left so that the earliest terms act first. The \(S\)-matrix is then given by: \(S_{ij}=\left\langle \Phi_i|S|\Phi_j \right\rangle=\left\langle \Phi_i|\Phi(\infty) \right\rangle\).

The interaction Hamilton density for the interaction between the electromagnetic and the electron-positron field is: \({\cal H}_{\rm int}(x)=-J_\mu(x)A_\mu(x)=ieN(\overline{\psi}\gamma_\mu\psi A_\mu)\)

When this is expanded as: \({\cal H}_{\rm int}=ieN\left((\overline{\psi^+}+\overline{\psi^-})\gamma_\mu(\psi^++\psi^-)(A_\mu^++A_\mu^-)\right)\)

eight terms appear. Each term corresponds to a possible process. The term \(ie\overline{\psi^+}\gamma_\mu\psi^+A_\mu^-\) acting on \(|\Phi\rangle\) gives transitions where \(A_\mu^-\) creates a photon, \(\psi^+\) annihilates an electron and \(\overline{\psi^+}\) annihilates a positron. Only terms with the correct number of particles in the initial and final state contribute to a matrix element \(\left\langle \Phi_i|S|\Phi_j \right\rangle\). Further the factors in \({\cal H}_{\rm int}\) can create and thereafter annihilate particles: the virtual particles.

The expressions for \(S^{(n)}\) contain time-ordered products of normal products. This can be written as a sum of normal products. The appearing operators describe the minimal changes necessary to change the initial state into the final state. The effects of the virtual particles are described by the (anti)commutator functions. Some time-ordered products are:

\[ T\left \{ \Phi(x) \Phi(y) \right \} = N  \left \{ \Phi(x) \Phi(y) \right \}+\frac{1}{2} \Delta^{F} (x-y) \]

\[ T\left \{ \psi_\alpha(x)\overline{\psi_\beta(y)}\right \} = N\left \{ \psi_\alpha(x)\overline{\psi_\beta(y)} \right \} - \frac{1}{2}S_{\alpha \beta}^{F}(x-y) \]

\[ T\left \{ A_\mu(x) A_\nu(y) \right \} = N \left \{  A_\mu(x) A_\nu(y) \right \}+\frac{1}{2} \delta_{\mu \nu} D_{\mu \nu}^{F} (x-y) \]

Here, \(S^{\rm F}(x)=(\gamma_\mu\partial_\mu-M)\Delta^{\rm F}(x)\), \(D^{\rm F}(x)=\Delta^{\rm F}(x)|_{m=0}\) and

\[ \Delta^{F}(x)=\left \{ \begin{array}{ll} \frac{1}{(2 \pi)^3} \int \frac{e^{ikx}}{\omega_{\vec{k}}} d^3k & ~~~~~if~x_0>0\\ \\ \frac{1}{(2 \pi)^3} \int \frac{e^{-ikx}}{\omega_{\vec{k}}} d^3k&~~~~~if~x_0<0 \end{array}\right.\]

The term \(\frac{1}{2}\Delta^{\rm F}(x-y)\) is called the contraction of \(\Phi(x)\) and \(\Phi(y)\), and is the expectation value of the time-ordered product in the vacuum state. Wick’s theorem gives an expression for the time-ordened product of an arbitrary number of field operators. The graphical representation of these processes are called Feynman diagrams. In the \(x\)-representation each diagram describes a number of processes. The contraction functions can also be written as:

\[ \Delta^{F}(x) = \lim_{\epsilon \rightarrow0} \frac{-2i}{(2 \pi)^4} \int \frac{e^{ikx}}{k^2 + m^2 - i\epsilon} d^4k \;\;\;\mbox{and}\;\;\; S^{F}(x) = \lim_{\epsilon\rightarrow0}\frac{-2i}{(2 \pi)^4} \int  e^{ipx} \frac {i\gamma_\mu p_\mu -M}{p^2+M^2-i\epsilon} d^4p \]

In the expressions for \(S^{(2)}\) this gives rise to terms \(\delta(p+k-p'-k')\). This means that energy and momentum is conserved. However, virtual particles do not obey the relation between energy and momentum.

15.10 Divergences and renormalization

It turns out that higher orders contribute infinite terms because only the sum \(p+k\) of the four-momentum of the virtual particles is fixed. An integration over one of them becomes \(\infty\). In the \(x\)-representation this can be understood because the product of two functions containing \(\delta\)-like singularities is not well defined. This is solved by discounting all divergent diagrams in a renormalization of \(e\) and \(M\). It is assumed that an electron, if there would not be an electromagnetic field, would have a mass \(M_0\) and a charge \(e_0\) unequal to the observed mass \(M\) and charge \(e\). In the Hamilton and Lagrange density of the free electron-positron field  \(M_0\) appears. So this gives, with \(M=M_0+\Delta M\):

\[{\cal L}_{\rm e-p}(x)=-\overline{\psi(x)}(\gamma_\mu\partial_\mu+M_0)\psi(x)= -\overline{\psi(x)}(\gamma_\mu\partial_\mu+M)\psi(x)+\Delta M\overline{\psi(x)}\psi(x)\]

and \({\cal H}_{\rm int}=ieN(\overline{\psi}\gamma_\mu\psi A_\mu)-i\Delta eN(\overline{\psi}\gamma_\mu\psi A_\mu)\).

15.11 Classification of elementary particles

Elementary particles can be categorized as follows:

  1. Hadrons: these exist of quarks and can be categorized in:
    1. Baryons: these exist of 3 quarks or 3 antiquarks.
    2. Mesons: these exist of one quark and one antiquark.
  2. Leptons: e\(^\pm\), \(\mu^\pm\), \(\tau^\pm\), \(\nu_{\rm e}\), \(\nu_\mu\), \(\nu_\tau\), \(\overline{\nu}_{\rm e}\), \(\overline{\nu}_\mu\), \(\overline{\nu}_\tau\).
  3. Field quanta: \(\gamma\), W\(^\pm\), Z\(^0\), gluons, gravitons (?).
  4. Higgs particle: \(\phi\).

An overview of particles and antiparticles is given in the following table:

Particlespin (\(\hbar\))BLTT\(_3\)SCB\(^*\)charge (\(e\))\(m_0\) (MeV)antiparticle
u1/21/301/21/2000+2/35\(\overline{\rm u}\)
d1/21/301/2-1/2000-1/39\(\overline{\rm d}\)
s1/21/3000-100-1/3175\(\overline{\rm s}\)
c1/21/3000010+2/31350\(\overline{\rm c}\)
b1/21/300000-1-1/34500\(\overline{\rm b}\)
t1/21/3000000+2/3173000\(\overline{\rm t}\)
e\(^-\) 1/20100000-1 0.511e\(^+\)
\(\mu_-\) 1/20100000-1 105.658\(\mu^+\)
\(\tau^-\) 1/20100000-11777.1\(\tau^+\)
\(\nu_e\) 1/20100000 00(?)\(\overline{\nu}_e\)
\(\nu_\mu\) 1/20100000 00(?)\(\overline{\nu}_\mu\)
\(\nu_\tau\)1/20100000 00(?)\(\overline{\nu}_\tau\)
\(\gamma\)1000000000\(\gamma\)
gluon1000000000\(\overline{\rm gluon}\)
W\(^+\)10000000+180220W\(^-\)
Z1000000091187Z
graviton200000000graviton
Higgs000000000125350Higgs

Here B is the baryon number and L the lepton number. It is found that there are three different lepton numbers, one for e, \(\mu\) and \(\tau\), which are separately conserved. T is the isospin, with \(T_3\) the projection of the isospin on the third axis, C the charm, S the strangeness and B\(^*\) the bottom. The anti particles have quantum numbers with the opposite sign except for the total isospin T. The composition of (anti)quarks of the hadrons is given in the following table, together with their mass in MeV in their ground state:

\(\pi^0\) \(\rm\frac{1}{2}\sqrt{2}(u\overline{u}+d\overline{d})\)134.9764
\(\pi^+\) \(\rm u\overline{d}\)139.56995
\(\pi_-\) \(\rm d\overline{u}\)139.56995
K\(^0\) \(\rm s\overline{d}\)497.672
K\(^0\) \(\rm d\overline{s}\)497.672
K\(^+\) \(\rm u\overline{s}\)493.677
K\(^-\) \(\rm s\overline{u}\)493.677
D\(^+\) \(\rm c\overline{d}\)1869.4
D\(^-\) \(\rm d\overline{c}\)1869.4
D\(^0\) \(\rm c\overline{u}\)1864.6
D\(^0\) \(\rm u\overline{c}\)1864.6
F\(^+\) \(\rm c\overline{s}\)1969.0
F\(^-\) \(\rm s\overline{c}\)1969.0
J/\(\Psi\) \(\rm c\overline{c}\)3096.8
\(\Upsilon\) \(\rm b\overline{b}\)9460.37
p\(^+\) uud938.27231
p\(^-\) \(\rm\overline{u}\overline{u}\overline{d}\)938.27231
n\(^0\) udd939.56563
\(\rm\overline{n}^0\) \(\rm\overline{u}\overline{d}\overline{d}\)939.56563
\(\Lambda\) uds1115.684
\(\overline{\Lambda}\) \(\rm\overline{u}\overline{d}\overline{s}\)1115.684
\(\Sigma^+\) uus1189.37
\(\overline{\Sigma^-}\) \(\rm\overline{u}\overline{u}\overline{s}\)1189.37
\(\Sigma^0\) uds1192.55
\(\Sigma^0\) \(\rm\overline{u}\overline{d}\overline{s}\)1192.55
\(\Sigma^-\) dds1197.436
\(\overline{\Sigma^+}\) \(\rm\overline{d}\overline{d}\overline{s}\)1197.436
\(\Xi^0\) uss1314.9
\(\Xi^0\) \(\rm\overline{u}\overline{s}\overline{s}\)1314.9
\(\Xi^-\) dss1321.32
\(\Xi^+\) \(\rm\overline{d}\overline{s}\overline{s}\)1321.32
\(\Omega^-\) sss1672.45
\(\Omega^+\) \(\rm\overline{s}\overline{s}\overline{s}\)1672.45
\(\Lambda_c^+\) udc2285.1
\(\Delta^{2-}\) \(\rm\overline{u}\overline{u}\overline{u}\)1232.0
\(\Delta^{2+}\) uuu1232.0
\(\Delta^+\) uud1232.0
\(\Delta^0\) udd1232.0
\(\Delta^-\) ddd1232.0

Each quark can exist in two spin states. So mesons are bosons with spin 0 or 1 in their ground state, while baryons are fermions with spin \(\) or \(\frac{3}{2}\). There exist excited states with higher internal \(L\). Neutrino’s have a helicity of \(-\) while antineutrino’s have only \(+\) as possible value.

The quantum numbers are subject to conservation laws. These can be derived from symmetries in the Lagrange density: continuous symmetries give rise to additive conservation laws, discrete symmetries result in multiplicative conservation laws.

Geometrical conservation laws are invariant under Lorentz transformations and the CPT-operation. These are:

  1. Mass/energy because the laws of nature are invariant for translations in time.
  2. Momentum because the laws of nature are invariant for translations in space.
  3. Angular momentum because the laws of nature are invariant for rotations.

Dynamical conservation laws are invariant under the CPT-operation. These are:

  1. Electrical charge because the Maxwell equations are invariant under gauge transformations.
  2. Colour charge is conserved.
  3. Isospin because QCD is invariant for rotations in T-space.
  4. Baryon number and lepton number are conserved but not under a possible SU(5) symmetry of the laws of nature.
  5. Quarks type is only conserved under the colour interaction.
  6. Parity is conserved except for weak interactions.

The elementary particles can be classified into three families:

leptonsquarksantileptonsantiquarks
1st generation\(\rm e^-\) d\(\rm e^+\)\(\overline{d}\)
\(\rm\nu_e\)u\(\rm\overline{\nu}_e\)\(\overline{u}\)
2nd generation\(\mu^-\) s\(\mu^+\)\(\overline{s}\)
\(\nu_\mu\)c\(\overline{\nu}_\mu\)\(\overline{c}\)
3rd generation\(\tau^-\) b\(\tau^+\)\(\overline{b}\)
\(\nu_\tau\)t\(\overline{\nu}_\tau\)\(\overline{t}\)

Quarks exist in three colours but because they are confined these colours cannot be seen directly. The color force does not decrease with distance. The potential energy will become high enough to create a quark-antiquark pair when it is tried to disjoin an (anti)quark from a hadron. This will result in two hadrons and not in free quarks.

15.12 P and CP-violation

It is found that the weak interaction violates P-symmetry, and even CP-symmetry is not conserved. Some processes which violate P symmetry but conserve the combination CP are:

  1. \(\mu\)-decay: \(\mu^-\rightarrow {\rm e}^-+\nu_\mu+\overline{\nu}_{\rm e}\). Left-handed electrons appear more than \(1000\times\) as much as right-handed ones.
  2. \(\beta\)-decay of spin-polarized \(^{60}\)Co: \(\rm ^{60}Co\rightarrow^{60}Ni+e^-+\overline{\nu}_e\). More electrons with a spin parallel to the Co than with a spin antiparallel are created: (parallel\(-\)antiparallel)/(total)=20%.
  3. There is no connection with the neutrino: the decay of the \(\Lambda\) particle through: \(\Lambda\rightarrow{\rm p}^++\pi^-\) and \(\Lambda\rightarrow{\rm n}^0+\pi^0\) has also these properties.

The CP-symmetry was found to be violated by the decay of neutral Kaons. These are the lowest possible states with a s-quark so they can decay only weakly. The following holds: \(\rm C|K^0\rangle=\eta|\overline{K^0}\rangle\) where \(\eta\) is a phase factor. Further \(\rm P|K^0\rangle=-|K^0\rangle\) because \(\rm K^0\) and \(\rm\overline{K^0}\) have an intrinsic parity of \(-1\). From this follows that \(\rm K^0\) and \(\rm\overline{K^0}\) are not eigenvalues of CP: \(\rm CP|K^0\rangle=|\overline{K^0}\rangle\). The linear combinations \[\rm|K_1^0\rangle:=\mbox{$\frac{1}{2}$}\sqrt{2}(|K^0\rangle+|\overline{K^0}\rangle)~~\mbox{and}~~ |K_2^0\rangle:=\mbox{$\frac{1}{2}$}\sqrt{2}(|K^0\rangle-|\overline{K^0}\rangle)\] are eigenstates of CP: \(\rm CP|K_1^0\rangle=+|K_1^0\rangle\) and \(\rm CP|K_2^0\rangle=-|K_2^0\rangle\). A base of \(\rm K_1^0\) and \(\rm K_2^0\) is practical while describing weak interactions. For colour interactions a base of \(\rm K^0\) and \(\rm\overline{K^0}\) is practical because then the number u\(-\)number\(~\overline{\rm u}\) is constant. The expansion postulate must be used for weak decays:

\[\rm|K^0\rangle=\mbox{$\frac{1}{2}$}(\langle K_1^0|K^0\rangle+\langle K_2^0|K^0\rangle)\]

The probability to find a final state with CP\(=-1\) is \(\rm|\left\langle K_2^0|K^0 \right\rangle|^2\), the probability of CP=+1 decay is \(\rm|\left\langle K_1^0|K^0 \right\rangle|^2\).

The relation between the mass eigenvalues of the quarks (unaccented) and the fields arising in the weak currents (accented) is \((u',c',t')=(u,c,t)\), and:

\[\begin{aligned} \left(\begin{array}{c}d'\\s'\\b'\end{array}\right)&=& \left(\begin{array}{ccc} 1&0&0\\ 0&\cos\theta_2&\sin\theta_2\\ 0&-\sin\theta_2&\cos\theta_2 \end{array}\right) \left(\begin{array}{ccc} 1&0&0\\ 0&1&0\\ 0&0&{\rm e}^{i\delta} \end{array}\right) \left(\begin{array}{ccc} \cos\theta_1&\sin\theta_1&0\\ -\sin\theta_1&\cos\theta_1&0\\ 0&0&1\\ \end{array}\right)\\ &&\left(\begin{array}{ccc} 1&0&0\\ 0&\cos\theta_3&\sin\theta_3\\ 0&-\sin\theta_3&\cos\theta_3\\ \end{array}\right) \left(\begin{array}{c}d\\s\\b\end{array}\right)\end{aligned}\]

\(\theta_1\equiv\theta_{\rm C}\) is the Cabibbo angle: \(\sin(\theta_{\rm C})\approx0.23\pm0.01\).

15.13 The standard model

When one wants to make the Lagrange density which describes a field invariant for local gauge transformations from a certain group, one has to perform the transformation

\[\frac{\partial }{\partial x_\mu}\rightarrow\frac{D}{Dx_\mu}=\frac{\partial }{\partial x_\mu}-i\frac{g}{\hbar}L_kA_\mu^k\]

Here the \(L_k\) are the generators of the gauge group (the “charges”) and the \(A_\mu^k\) are the gauge fields. \(g\) is the matching coupling constant. The Lagrange density for a scalar field becomes:

\[{\cal L}=-\mbox{$\frac{1}{2}$}(D_\mu\Phi^*D^\mu\Phi+M^2\Phi^*\Phi)-\mbox{$\frac{1}{4}$}F_{\mu\nu}^aF_a^{\mu\nu}\]

and the field tensors are given by: \(F^a_{\mu\nu}=\partial_\mu A^a_\nu-\partial_\nu A^a_\mu+gc^a_{lm}A_\mu^lA_\nu^m\).

15.13.1 The electroweak theory

The electroweak interaction arises from the necessity to keep the Lagrange density invariant for local gauge transformations of the group SU(2)\(\otimes\)U(1). Right- and left-handed spin states are treated different because the weak interaction does not conserve parity. If a fifth Dirac matrix is defined by:

\[\gamma_5:=\gamma_1\gamma_2\gamma_3\gamma_4=- \left(\begin{array}{cccc}0&0&1&0\\0&0&0&1\\1&0&0&0\\0&1&0&0\end{array}\right)\]

the left- and right- handed solutions of the Dirac equation for neutrino’s are given by:

\[\psi_{\rm L}=\mbox{$\frac{1}{2}$}(1+\gamma_5)\psi~~~\mbox{and}~~~\psi_{\rm R}=\mbox{$\frac{1}{2}$}(1-\gamma_5)\psi\]

It appears that neutrino’s are always left-handed while antineutrino’s are always right-handed. The hypercharge \(Y\), for quarks given by \(Y={\rm B+S+C+B^*+T'}\), is defined by:

\[Q=\mbox{$\frac{1}{2}$}Y+T_3\] so \([Y,T_k]=0\).

The group U(1)\(_Y\otimes\)SU(2)\(_T\) is taken as symmetry group for the electroweak interaction because the generators of this group commute. The multiplets are classified as follows:

e\(^-_{\rm R}\)\(\nu_{\rm eL}\;\;\;\) e\(^-_{\rm L}\)u\(_{\rm L}\;\;\;\) d\('_{\rm L}\)u\(_{\rm R}\)d\(_{\rm R}\;\)
\(T\)0\(\frac{1}{2}\)\(\frac{1}{2}\)00
\(T_3\)0\(\frac{1}{2}\;\;\;-\frac{1}{2}\)\(\frac{1}{2}\;\;\;-\frac{1}{2}\)00
\(Y\)-2-1\(\frac{1}{3}\)\(\frac{4}{3}\)\(-\frac{2}{3}\)

Now, 1 field \(B_\mu(x)\) is connected with gauge group U(1) and 3 gauge fields \(\vec{A}_\mu(x)\) are connected with SU(2). The total Lagrange density (minus the fieldterms) for the electron-fermion field now becomes:

\[\begin{aligned} {\cal L}_{0,\rm EW}&=&-(\overline{\psi_{\rm\nu e,L}},\overline{\psi_{\rm eL}})\gamma^\mu \left(\partial_\mu-i\frac{g}{\hbar}\vec{A}_\mu\cdot(\mbox{$\frac{1}{2}$}\vec{\sigma})-\mbox{$\frac{1}{2}$}i\frac{g'}{\hbar}B_\mu\cdot(-1)\right) \left(\begin{array}{c}\psi_{\rm\nu e,L}\\ \psi_{\rm eL}\end{array}\right)-\\ &&\overline{\psi_{\rm eR}}\gamma^\mu\left(\partial_\mu-\mbox{$\frac{1}{2}$}i\frac{g'}{\hbar}(-2)B_\mu\right)\psi_{\rm eR}\end{aligned}\]

Here, \(\vec{\sigma}\) are the generators of \(T\) and \(-1\) and \(-2\) the generators of \(Y\).

15.13.2 Spontaneous symmetry breaking: the Higgs mechanism

All leptons are massless in the equations above. Their mass is probably generated by spontaneous symmetry breaking. This means that the dynamic equations which describe the system have a symmetry which the ground state does not have. It is assumed that there exists an isospin-doublet of scalar fields \(\Phi\) with electrical charges +1 and 0 and potential \(V(\Phi)=-\mu^2\Phi^*\Phi+\lambda(\Phi^*\Phi)^2\). Their antiparticles have charges \(-1\) and 0. The extra terms in \({\cal L}\) arising from these fields, \({\cal L}_H=(D_{L\mu}\Phi)^*(D_L^\mu\Phi)-V(\Phi)\), are globally U(1)\(\otimes\)SU(2) symmetric. Hence the state with the lowest energy corresponds with the state \(\Phi^*(x)\Phi(x)=v=\mu^2/2\lambda=\)constant. The field can be written (were \(\omega^\pm\) and \(z\) are Nambu-Goldstone bosons which can be transformed away, and \(m_\phi=\mu\sqrt{2}\)) as:

\[\Phi=\left(\begin{array}{c}\Phi^+\\ \Phi^0\end{array}\right)= \left(\begin{array}{c}i\omega^+\\ (v+\phi-iz)/\sqrt{2}\end{array}\right)\;\mbox{and}\;\left\langle 0|\Phi|0 \right\rangle=\left(\begin{array}{c}0\\ v/\sqrt{2}\end{array}\right)\] Because this expectation value \(\neq0\) the SU(2) symmetry is broken but the U(1) symmetry is not. When the gauge fields in the resulting Lagrange density are separated one obtains:

\[\begin{aligned} W_\mu^-&=&\mbox{$\frac{1}{2}$}\sqrt{2}(A_\mu^1+iA_\mu^2)~~,~~W_\mu^+~=~\mbox{$\frac{1}{2}$}\sqrt{2}(A_\mu^1-iA_\mu^2)\\ Z_\mu&=&\frac{gA_\mu^3-g'B_\mu}{\sqrt{g^2+g'^2}}\equiv A_\mu^3\cos(\theta_{\rm W})-B_\mu\sin(\theta_{\rm W})\\ A_\mu&=&\frac{g'A_\mu^3+gB_\mu}{\sqrt{g^2+g'^2}}\equiv A_\mu^3\sin(\theta_{\rm W})+B_\mu\cos(\theta_{\rm W})\end{aligned}\]

where \(\theta_{\rm W}\) is called the Weinberg angle. For this angle: \(\sin^2(\theta_{\rm W})=0.255\pm0.010\). Relations for the masses of the field quanta can be obtained from the remaining terms: \(M_W=vg\) and \(M_Z=v\sqrt{g^2+g'^2}\), and for the elementary charge: \(\displaystyle e=\frac{gg'}{\sqrt{g^2+g'^2}}=g'\cos(\theta_{\rm W})=g\sin(\theta_{\rm W})\)

Experimentally it is found that \(M_W=80.022\pm0.26\) GeV/c\(^2\) and \(M_Z=91.187\pm0.007\) GeV/c\(^2\). According to the weak theory this should be: \(M_W=83.0\pm0.24\) GeV/c\(^2\) and \(M_Z=93.8\pm2.0\) GeV/c\(^2\).

15.13.3 Quantumchromodynamics

Coloured particles interact because the Lagrange density is invariant for the transformations of the group SU(3) of the colour interaction. A distinction can be made between two types of particles:

  1. “White” particles: they have no colour charge, the generator \(\vec{T}=0\).
  2. “Coloured” particles: the generators \(\vec{T}\) are 8 \(3\times3\) matrices. There exist three colours and three anticolours.

The Lagrange density for coloured particles is given by

\[{\cal L}_{\rm QCD}=i\sum_k\overline{\Psi_k}\gamma^\mu D_\mu\Psi_k+ \sum_{k,l}\overline{\Psi_k}M_{kl}\Psi_l-\mbox{$\frac{1}{4}$}F^a_{\mu\nu}F_a^{\mu\nu}\]

The gluons remain massless because this Lagrange density does not contain spinless particles. Because left- and right- handed quarks now belong to the same multiplet a mass term can be introduced. This term can be brought in the form \(M_{kl}=m_k\delta_{kl}\).

15.14 Path integrals

The development in time of a quantum mechanical system can, besides with Schrödingers equation, also be described by a path integral (Feynman):

\[\psi(x',t')=\int F(x',t',x,t)\psi(x,t)dx\]

in which \(F(x',t',x,t)\) is the amplitude of probability to find a system on time \(t'\) in \(x'\) if it was in \(x\) on time \(t\). Then,

\[F(x',t',x,t)=\int\exp\left(\frac{iS[x]}{\hbar}\right)d[x]\]

where \(S[x]\) is an action-integral: \(S[x]=\int L(x,\dot{x},t)dt\). The notation \(d[x]\) means that the integral has to be taken over all possible paths \([x]\):

\[\int d[x]:=\lim_{n\rightarrow\infty}\frac{1}{N}\prod_n\left\{\int\limits_{-\infty}^\infty dx(t_n)\right\}\]

in which \(N\) is a normalization constant. To each path is assigned a probability amplitude \(\exp(iS/\hbar)\). The classical limit can be found by taking \(\delta S=0\): the average of the exponent vanishes, except where it is stationary. In quantum field theory, the probability of the transition of a field operator \(\Phi(\vec{x},-\infty)\) to \(\Phi'(\vec{x},\infty)\) is given by

\[F(\Phi'(\vec{x},\infty),\Phi(\vec{x},-\infty))=\int\exp\left(\frac{iS[\Phi]}{\hbar}\right)d[\Phi]\]

with the action-integral \[S[\Phi]=\int\limits_\Omega {\cal L}(\Phi,\partial_\nu\Phi)d^4x\]

15.15 Unification and quantum gravity

The strength of the forces varies with energy and the reciprocal coupling constants approach each other with increasing energy. The SU(5) model predicts complete unification of the electromagnetic, weak and colour forces at \(10^{15}\)GeV. It also predicts 12 extra X bosons which couple leptons and quarks and are i.g. responsible for proton decay, with dominant channel \({\rm p}^+\rightarrow\pi^0+{\rm e}^+\), with an average lifetime of the proton of \(10^{31}\) year. This model has been experimentally falsified.

Supersymmetric models assume a symmetry between bosons and fermions and predict partners for the currently known particles with a spin which differs . The supersymmetric SU(5) model predicts unification at \(10^{16}\)GeV and an average lifetime of the proton of \(10^{33}\) year. The dominant decay channels in this theory are \({\rm p}^+\rightarrow{\rm K}^++\overline{\nu}_\mu\) and \({\rm p}^+\rightarrow{\rm K}^0+\mu^+\).

Quantum gravity plays only a role in particle interactions at the Planck dimensions, where \(\lambda_{\rm C}\approx R_{\rm S}\): \(m_{\rm Pl}=\sqrt{hc/G}=3\cdot10^{19}\) GeV, \(t_{\rm Pl}=h/m_{\rm Pl}c^2=\sqrt{hG/c^5}=10^{-43}\) sec and \(r_{\rm Pl}=ct_{\rm Pl}\approx 10^{-35}\) m.