9.4: Outlook: Quantum Field Theory
( \newcommand{\kernel}{\mathrm{null}\,}\)
We have surreptitiously introduced the basic elements of non-relativistic quantum field theory. Consider again the Heisenberg model, where we described a lattice of spins with nearestneighbour interactions. If we take the limit of the lattice constant a→0 we end up with a continuum of creation and annihilation operators for each point in space. This is a field.
Traditionally we construct a quantum field theory from harmonic oscillators at each point in space. To this end, we characterise a classical harmonic oscillator with mass M in terms of its displacement q and velocity ˙q. The equations of motion for the classical harmonic oscillator are the Euler-Lagrange equations
ddt∂L∂˙q−∂L∂q=0,
where L is the Lagrangian
L=12M˙q2−12Kq2,
and K can be thought of as a spring constant. Substituting this L into Eq. (9.53) yields the familiar differential equations for the harmonic oscillator ¨q+Ω2q=0, with Ω2=K/M.
Next, we arrange N particles in a one-dimensional lattice of length L and lattice constant a, where L=Na. Each particle’s displacement is coupled to the displacement of it’s nearest neighbours by a spring with constant K. The equations of motion of this set of coupled particles is given by
¨qn=Ω2[(qn+1−qn)+(qn−1−qn)].
We take the limit of a→0 and N→∞ while keeping L=Na fixed. Our variable qn(t) then becomes a field u(x,t), and it takes only a few lines of algebra to show that
¨u(x,t)=a2Ω2u′′(x,t)=v2u′′(x,t) with lima→0aΩ=v.
This is a wave equation, and v is the velocity of the wave. We can generalise this immediately to three dimensions:
∂2u∂x2+∂2u∂y2+∂2u∂z2−1v2∂2u∂t2=0.
In quantum field theory, we consider only these waves as the field excitations, and ignore the underlying particle structure we used to arrive at this result. We have already done something similar when we considered the spin waves in the Heisenberg model. Note also that the finite speed of propagation of waves means that we can make the theory Lorentz invariant when v=c, the speed of light, and Eq. (9.57) becomes ∂μ∂μu=0.
The wave equation is typically derived from a Lagrangian L, or in the case of a field theory, the Lagrangian density L. A massless scalar field is described by the Lorentz-invariant Lagrangian density
L=12[(∂ϕ∂x)2+(∂ϕ∂x)2+(∂ϕ∂x)2−1c2(∂ϕ∂x)2]=12(∂μϕ)(∂μϕ),
where for technical reasons we redefined ϕ=u/√a. The dispersion relation for such a field is c2k2=ω2, with k the wave number and ω the frequency of the wave. Similarly, a massive field is described by
L=12(∂μϕ)(∂μϕ)−12m2ϕ2.
The Euler-Lagrange equation for this Lagrangian density is the so-called Klein-Gordon equation
(∂μ∂μ+m2c2ℏ2)ϕ=0.
The mass term leads to a new dispersion relation
c2ℏ2k2−ℏ2ω2+m2c4=0,
and the group velocity for wave packets is
vg=dωdk=c√1+μ2 with μ=mcℏk.
For relativistic particles the momentum ℏk is much larger than the rest mass mc, and therefore vg approaches c.
We can solve the Klein-Gordon equation formally by writing
ϕ(r,t)=∫dk√2(2π)3ωk(a(k)eik⋅r−iωt+a∗(k)e−ik⋅r+iωt),
where ak is the complex amplitude of a wave with wave vector k. The field is essentially a superposition of (non-interacting) eigenmodes labelled by k, and we call this a free field. We can introduce interactions between the waves in the field by adding higher-order terms to L with coupling constants v,λ,…
L=12(∂μϕ)(∂μϕ)−12m2ϕ2−v3!ϕ3−λ4!ϕ4−⋯
The solution to the Klein-Gordon equation is now no longer the correct solution to the new equations of motion, but when the interaction is reasonably weak we can use the solutions ϕ(r,t) of the free field as a starting point in a perturbation expansion.
So far, everything in this section has been a classical treatment. In order to extend the theory to quantum mechanics we have to quantise the field. We achieve this by promoting the amplitudes in ϕ (and therefore ϕ itself) to operators that obey commutation of anti-commutation relations)
ˆϕ(r,t)=∫dk√2(2π)3ωk(ˆa(k)eik⋅r−iωkt+ˆa†(k)e−ik⋅r+iωkt).
These are the creation and annihilation operators for excitations of the field. For the Klein-Gordon equation they obey the bosonic commutation relations
[ˆa(k),ˆa(k′)]=[ˆa†(k),ˆa†(k′)]=0 and [ˆa(k),ˆa†(k′)]=δ3(k−k′).
The state of the field can then be written as a superposition of Fock states. The field ˆϕ has now become an observable.
In quantum field theory, the excitations of the field are interpreted as particles. All fundamental particles like quarks, electrons, photons, and the Higgs boson are excitations of a corresponding field. So the excitations of the Higgs field are Higgs bosons, and the excitations of the electromagnetic field are photons. Spin−12 particles obey the Dirac equation
(iℏγμ∂μ−mc)ˆψ=0,
where the γμ are 4×4 matrices
γ0=(I00−I),γ1=(0σx−σx0),γ2=(0σy−σy0),γ3=(0σz−σz0),
and ψ is a four-dimensional vector field called a spinor field. The solution to the free Dirac field can be written as
ˆψ(r,t)=∑s∫dk√2(2π)3ωk[ˆbs(k)us(k)eik⋅r−iωkt+ˆd†s(k)vs(k)e−ik⋅r+iωkt],
where s=±12ℏ is the spin value, and us(k) and vs(k) are two spinors carrying the spin component of the field
us(k)=N(χsℏcσ⋅kℏω+mc2χs) and vs(k)=N(−ℏc⋅σ⋅kℏω+mc2χsχs),
where N is a normalisation constant, σ is a vector of Pauli matrices, and
χ+=(10) and χ−=(01).
The creation and annihilation operators ˆbs(k) and ˆd†s(k) obey anti-commutation relations:
{ˆbs(k),ˆbr(k′)}={ˆb†s(k),ˆb†r(k′)}=0 and {ˆbs(k),ˆb†r(k′)}=δrsδ3(k−k′),{ˆds(k),ˆdr(k′)}={ˆd†s(k),ˆd†r(k′)}=0 and {ˆds(k),ˆd†r(k′)}=δrsδ3(k−k′),{ˆbs(k),ˆdr(k′)}={ˆb†s(k),ˆd†r(k′)}=0 and {ˆbs(k),ˆd†r(k′)}={ˆds(k),ˆb†r(k′)}=0.
This means that the excitations of the Dirac field are fermions with spin 12, such as the electron. You see immediately that ˆψ is not Hermitian due to the appearance of ˆd†. This means that ˆψ is not an observable and we cannot think of the Dirac field as a quantised version of a classical observable field. There is no classical analog to the Dirac field. This is a consequence of the fact that the anti-particle of the Dirac excitations are not the same as the particle itself. E.g., the positron is different from the electron. Anti-particles are a quintessentially quantum mechanical phenomenon.
There is of course a lot more to quantum field theory than this. For example, the techniques for doing the perturbation expansion of interacting fields leads to Feynman diagrams, and renormalisation theory must be employed to deal with the infinities that crop up in the perturbation theory. Furthermore, one has to choose the right Lagrangian density, and principles such as gauge invariance and CPT invariance are imposed to constrain the possible choices. This leads ultimately to the extraordinary successful Standard Model of particle physics. It the most fundamental theory of Nature that we have, and it is tested to unprecedented accuracy.
- The Hamiltonian for a two-level atom in the presence of an electromagnetic wave, as given in Eq. (9.38) depends on the time t. This makes it difficult to solve the Schrödinger equation, so in this exercise we will get rid of the time dependence by applying the Rotating Wave Approximation.
- If |ψ′(t)⟩=U(t)|ψ(t)⟩, find the Schrödinger equation for |ψ′(t)⟩. What is the new Hamiltonian?
- Choose U(t) such that
U(t)=(eiωt/200e−iωt/2),
and H is given by Eq. (9.38). Show that the new Hamiltonian is given by Eq. (9.39).
- A two-level atom is placed in a perfect cavity with an electromagnetic field of frequency ω.
- Show that the Jaynes-Cummings Hamiltonian can be written as a direct sum of 2×2 matrices Hn, and specify Hn.
- Diagonalize Hn to find the energy values of the system, and calculate the eigenstates.
- At t=0, the system is in the state |ψ(0)⟩=|e,n⟩. Calculate the state |ψ(t)⟩ when the light is on resonance with the atomic transition (ω=ω0).
- Calculate the amount of entanglement between the atom and the cavity field. Use the relative entropy as the entanglement measure.
- How long does the atom need to reside in the cavity in order to achieve maximum entanglement?