15: Quantum Field Theory and Particle Physics
- Page ID
- 25631
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Creation and annihilation operators
A state with many particles can be described by collectiive 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}\)
Classical and quantum fields
Starting with a real field \(\Phi^\alpha(x)\) (complex fields can be split into 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}\,')\]
The interaction picture
Some equivalent formulations of quantum mechanics are possible:
- Schrödinger picture: time-dependent states, time-independent operators.
- Heisenberg picture: time-independent states, time-dependent operators.
- Interaction picture: time-dependent states, time-dependent operators.
The interaction picture can be obtained from the Schrödinger picture by an unitary transform:
\[|\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]\]
Real scalar field in the interaction picture
It is easy to find that, with \(M:=m_0^2c^2/\hbar^2\), it holds that:
\[\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{\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 indicates creation, and the negative frequency indicates annihilation.
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 transforms (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}\,)\]
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 transform 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 transform. 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.
Field functions for spin-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 transforms. 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\) indicates 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 relativistically 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 has 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\).
Quantization of spin-1/2 fields
The general solution for the field operators 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 respectively the creation and annihilation operators for an electron and \(d^\dagger\) and \(d\) the creation and 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 the energy of positrons being negative the operators must obey anti commutation rules instead 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'}~~,~~ \]
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)\]
Besides providing a positive-definite energy the anti commutation rules lead to the Pauli exclusion principle and 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:
- Expand all fields into creation and annihilation operators,
- Keep all terms which have no annihilation operators, or in which they are on the right of the creation operators,
- In all other terms interchange the factors so that the annihilation operators go to the right. In an interchange of two fermion operators add a minus sign, in interchange of two boson operators not. Assume thereby that all commutators are zero.
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 transversely polarized, \(m=3\) longitudinally 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 \mathbb{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 transform one obtains \(N_3(\vec{k}\,)=0\) and \(N_4(\vec{k}\,)=0\). However, this only applies to free EM-fields: for intermediate states in interactions there can exist longitudinal and time like photons. These photons are also responsible for the stationary Coulomb potential.
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 operators that appear describe the minimum 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 ~~~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.
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 create 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)\).
Classification of elementary particles
Elementary particles can be categorized as follows:
- Hadrons: these consist of quarks and can be categorized in:
- Baryons: these consist of 3 quarks or 3 antiquarks.
- Mesons: these consist of 1 quark and 1 antiquark.
- Leptons: e\(^\pm\), \(\mu^\pm\), \(\tau^\pm\), \(\nu_{\rm e}\), \(\nu_\mu\), \(\nu_\tau\), \(\overline{\nu}_{\rm e}\), \(\overline{\nu}_\mu\), \(\overline{\nu}_\tau\).
- Field quanta: \(\gamma\), W\(^\pm\), Z\(^0\), gluons, gravitons (?).
- Higgs particle: \(\phi\).
An overview of particles and antiparticles is given in the following table:
Particle | spin (\(\hbar\)) | B | L | T | T\(_3\) | S | C | B\(^*\) | charge (\(e\)) | \(m_0\) (MeV) | antiparticle |
---|---|---|---|---|---|---|---|---|---|---|---|
u | 1/2 | 1/3 | 0 | 1/2 | 1/2 | 0 | 0 | 0 | +2/3 | 5 | \(\overline{u}\) |
d | 1/2 | 1/3 | 0 | 1/2 | -1/2 | 0 | 0 | 0 | -1/3 | 9 | \(\overline{d}\) |
s | 1/2 | 1/3 | 0 | 0 | 0 | -1 | 0 | 0 | -1/3 | 175 | \(\overline{s}\) |
c | 1/2 | 1/3 | 0 | 0 | 0 | 0 | 1 | 0 | +2/3 | 1350 | \(\overline{c}\) |
b | 1/2 | 1/3 | 0 | 0 | 0 | 0 | 0 | -1 | -1/3 | 4500 | \(\overline{b}\) |
t | 1/2 | 1/3 | 0 | 0 | 0 | 0 | 0 | 0 | +2/3 | 173000 | \(\overline{t}\) |
e\(^-\) | 1/2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | -1 | 0.511 | e\(^+\) |
\(\mu_-\) | 1/2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | -1 | 105.658 | \(\mu^+\) |
\(\tau^-\) | 1/2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | -1 | 1777.1 | \(\tau^+\) |
\(\nu_e\) | 1/2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0(?) | \(\overline{\nu}_e\) |
\(\nu_\mu\) | 1/2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0(?) | \(\overline{\nu}_\mu\) |
\(\nu_\tau\) | 1/2 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0(?) | \(\overline{\nu}_\tau\) |
\(\gamma\) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | \(\gamma\) |
gluon | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | \(\overline{\rm gluon}\) |
W\(^+\) | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | +1 | 80220 | W\(^-\) |
Z | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 91187 | Z | |
graviton | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | graviton | |
Higgs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 125600 | Higgs |
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 strange and B\(^*\) the bottom quarks. The anti-particles have quantum numbers with the opposite sign except for the total isospin T. The composition of the (anti)quarks of the hadrons is given in the following table, together with their mass in MeV in their ground state:
\(\pi^0\) | \( \frac{1}{2}(\sqrt{2}\)(u\(\overline{\rm u}\)+d\(\overline{\rm d}\) | 134.9764 | J/\(\Psi\) | c\(\overline{\rm c}\) | 3096.8 | \(\overline{\Sigma^+}\) | \(\overline{\rm d}~\overline{\rm d}~\overline{\rm s}\) | 1197.436 |
\(\pi^+\) | u\(\overline{\rm d}\) | 139.56995 | \(\Upsilon\) | b\(\overline{\rm b}\) | 9460.37 | \(\Xi^0\) | u s s | 1314.9 |
\(\pi^-\) |
d\(\overline{\rm u}\) | 139.56995 | p\(^+\) | u u d | 938.27231 | \(\overline{\Xi}^0\) | \(\overline{\rm u}~\overline{\rm s}~\overline{\rm s}\) | 1314.9 |
K\(^0\) | s\(\overline{\rm d}\) | 497.672 | p\(^-\) | \(\overline{\rm u}~\overline{\rm u}~\overline{\rm d}\) | 938.27231 | \(\Xi^-\) | d s s | 1321.32 |
K\(^0\) | d\(\overline{\rm s}\) | 497.672 | n\(^0\) | u d d | 939.56563 | \(\Xi^+\) | \(\overline{\rm d}~\overline{\rm s}~\overline{\rm s}\) | 1321.32 |
K\(^+\) | u\(\overline{\rm s}\) | 493.677 | \(\overline{\rm n}^0\) | \(\overline{\rm u}~\overline{\rm d}~\overline{\rm d}\) | 939.56563 | \(\Omega^-\) | s s s | 1672.45 |
K\(^-\) | s\(\overline{\rm u}\) | 493.677 | \(\Lambda\) | u d s | 1115.684 | \(\Omega^+\) | \(\overline{\rm s}~\overline{\rm s}~\overline{\rm s}\) | 1672.45 |
D\(^+\) | c\(\overline{\rm d}\) | 1869.4 | \(\overline{\Lambda}\) | \(\overline{\rm u}~\overline{\rm d}~\overline{\rm s}\) | 1115.684 | \(\Lambda_c^+\) | u d c | 2285.0 |
D\(^-\) | d\(\overline{\rm c}\) | 1869.4 | \(\Sigma^+\) | u u s | 1189.37 | \(\Delta^{2-}\) | \(\overline{\rm u}~\overline{\rm u}~\overline{\rm u}\) | 1232.0 |
D\(^0\) | c\(\overline{\rm u}\) | 1864.6 | \(\overline{\Sigma^-}\) | \(\overline{\rm u}~\overline{\rm u}~\overline{\rm s}\) | 1189.37 | \(\Delta^{2+}\) | u u u | 1232.0 |
D\(^0\) | u\(\overline{\rm c}\) | 1864.6 | \(\Sigma^0\) | u d s | 1192.55 | \(\Delta^+\) | u u d | 1232.0 |
F\(^+\) | c\(\overline{\rm s}\) | 1969.0 | \(\Sigma^0\) | \(\overline{\rm u}~\overline{\rm d}~\overline{\rm s}\) | 1192.55 | \(\Delta^0\) | u d d | 1232.0 |
F\(^-\) | s\(\overline{\rm c}\) | 1969.0 | \(\Sigma^-\) | d d s | 1197.436 | \(\Delta^-\) | d d d | 1232.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 \(\frac{1}{2}\) or \(\frac{3}{2}\). There exist excited states with higher internal \(L\). Neutrino’s have a helicity of \(-\frac{1}{2}\) while antineutrino’s have only \(+\frac{1}{2}\) as possible values.
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:
- Mass/energy because the laws of nature are invariant for translations in time.
- Momentum because the laws of nature are invariant for translations in space.
- Angular momentum because the laws of nature are invariant for rotations.
Dynamical conservation laws are invariant under the CPT-operation. These are:
- Electrical charge because Maxwell's equations are invariant under gauge transforms.
- Colour charge is conserved.
- Isospin because QCD is invariant for rotations in T-space.
- Baryon number and lepton number are conserved but not under a possible SU(5) symmetry of the laws of nature.
- Quarks type is only conserved under the colour interaction.
- Parity is conserved except for weak interactions.
The elementary particles can be classified into three families:
leptons | quarks | antileptons | antiquarks | |
---|---|---|---|---|
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 colour force does not decrease with distance. The potential energy will become high enough to create a quark-antiquark pair when it is tried to separate an (anti)quark from a hadron. This will result in two hadrons and not in free quarks.
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 symmetry are:
- \(\mu\)-decay: \(\mu^-\rightarrow {\rm e}^-+\nu_\mu+\overline{\nu}_{\rm e}\). Left-handed electrons appear more than \(1000\times\) as often as right-handed ones.
- \(\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%.
- 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\) also has these properties.
The CP-symmetry was found to be violated by the decay of neutral Kaons. These are the lowest possible states with an 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:=\frac{1}{2} \sqrt{2}(|K^0\rangle+|\overline{K^0}\rangle)~~\mbox{and}~~ |K_2^0\rangle:=\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 basis of \(\rm K_1^0\) and \(\rm K_2^0\) is practical while describing weak interactions. For colour interactions a basis 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=\\frac{1}{2} (\langle K_1^0|K^0\rangle+\langle K_2^0|K^0\rangle)\]
The probability of finding a final state with CP\(=-1\) is \(\frac{1}{2} \rm|\left\langle K_2^0|K^0 \right\rangle|^2\), the probability of CP=+1 decay is \(\frac{1}{2} \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\).
The standard model
When one wants to make the Lagrange density which describes a field invariant for local gauge transforms from a certain group, one has to perform the transform
\[\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}=-\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\).
The electroweak theory
The electroweak interaction arises from the necessity to keep the Lagrange density invariant for local gauge transforms of the group SU(2)\(\otimes\)U(1). Right- and left-handed spin states are treated differently 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 neutrinos are given by:
\[\psi_{\rm L}=\frac{1}{2} (1+\gamma_5)\psi~~~\mbox{and}~~~\psi_{\rm R}=\frac{1}{2} (1-\gamma_5)\psi\]
It appears that neutrinos are always left-handed while antineutrinos are always right-handed. The hypercharge \(Y\), for quarks given by \(Y={\rm B+S+C+B^*+T'}\), is defined by:
\[Q= \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} \) | 0 | 0 |
\(T_3\) |
0 | \( \frac{1}{2} ~~- \frac{1}{2}\) | \( \frac{1}{2}~~- \frac{1}{2}\) | 0 | 0 |
\(Y\) |
\(-2\) | \(-1\) | \(\frac{1}{3}\) | \(\frac{4}{3}\) | \(-\frac{2}{3}\) |
Now, one field \(B_\mu(x)\) is connected with gauge group U(1) and three gauge fields \(\vec{A}_\mu(x)\) are connected with SU(2). The total Lagrange density (minus the field terms) 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(\frac{1}{2} \vec{\sigma})-\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- \frac{1}{2} i\frac{g'}{\hbar}(-2)B_\mu\right)\psi_{\rm eR}\end{aligned}\]
Here, \( \frac{1}{2} \vec{\sigma}\) are the generators of \(T\) and \(-1\) and \(-2\) the generators of \(Y\).
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 (where \(\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^-&=& \frac{1}{2} \sqrt{2}(A_\mu^1+iA_\mu^2)~~,~~W_\mu^+~=~\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= \frac{1}{2} vg\) and \(M_Z= \frac{1}{2}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\).
Quantum chromodynamics
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:
- “White” particles: they have no colour charge, the generator \(\vec{T}=0\).
- “Coloured” particles: the generators \(\vec{T}\) are eight \(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}\).
Path integrals
Besides the Schrödinger equation the development in time of a quantum mechanical system can 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 at time \(t'\) and \(x'\) if it was at \(x\) at 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. A probability amplitude \(\exp(iS/\hbar)\) is assigned to each path. 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\]
Unification and quantum gravity
The strength of 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 twelve extra X bosons which couple leptons and quarks and are e.g. responsible for proton decay, with the dominant channel \({\rm p}^+\rightarrow\pi^0+{\rm e}^+\), and 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 by \frac{1}{2}. 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 only plays 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.