Quantum many-body physics Lecture3
Quantum many-body physics Lecture3
Learning goals
• To have a vague idea how to describe many-body physics with wavefunctions;
the Hartree-Fock model as an example.
• To understand the fundamental difference between bosons and fermions.
• To learn that wavefunctions of bosons (fermions) must be (anti)symmetrized.
• To understand why number states (Fock states) are useful in describing
many-body quantum systems, to learn how bosonic annihilation and creation
operators act on them and how the Hamiltonian can be expressed in terms
of these operators.
6 Hartree-Fock Model
Literature: R.L. Liboff, Introductory Quantum Mechanics (Fourth edition) (Addi-
son Wesley), Chapter 13.10
21
Ze2
VC (rk ) ≡ − (6.5)
4π0 rk
e2
Z X
1 2
Vk (rk ) = |ϕj (rj )| drj (6.6)
4π0 rjk
j6=k
7 Second quantization
Literature: F. Schwabl, Advanced Quantum Mechanics, Third edition (Springer),
Chapters 1.2-1.4
H = H (1, 2, . . . , N) (7.1)
22
is symmetric with respect to the 1, ..., N particles. Here 1 = x1 , σ1 denotes both
position and spin. A meaningful Hamiltonian (7.1) has to be symmetric, since for
identical particles physically observable quantities such as the energy (Hamiltonian)
have to be invariant under permutations of the particles. If one permutes particles
in an eigenfunction of the Hamiltonian (7.1), the permuted function also has to be
an eigenfunction of the Hamiltonian (7.1) and with the same energy. Therefore, the
permuted wavefunctions are experimentally indistinguishable.
But what else can be said about the wavefunction of a system? A wavefunc-
tion is not a directly observable quantity in the same way as physical observables.
What happens to the wavefunction under permutations? Write the wavefunction as
Ψ = Ψ (1, 2, . . . , N) . (7.2)
Apply a permutation:
Pij Ψ (. . . , i, . . . , j, . . .) = Ψ (. . . , j, . . . , i, . . .) (7.3)
It is natural to demand that doing the same perturbation twice, one should return
to the initial state:
Pij2 = 1. (7.4)
Therefore, the eigenvalues of the permutation operator (7.3) are:
23
1 X P
S± |i1 , i2 , . . . , iN i ≡ √ (±1) P |i1 , i2 , . . . , iN i (7.9)
N! P
Sum over all permutations P (there are N ! of them). For Fermions, get ± depending
on odd/even # of permutations.
For two particles:
1
|Ψs,a i = √ [|1i1 |2i2 ± |2i1 |1i2 ] (7.10)
2
For N particles: a nightmare. Let us do the second quantization in order to
simplify life.
QUIZ
QUIZ
QUIZ
7.1 Bosons
For bosons, it is possible to have, e.g., |1i1 |1i2 , that is two particles occupying the
same state. Any fully symmetric, normalized state for bosons can be specified with
occupation numbers, telling how many particles are in a specific state.
Symmetric basis states:
1
|n1 , n2 , . . .i = S+ |i1 , i2 , . . . , iN i √ (7.11)
n1 !n2 ! . . .
ni is the number of particles in state i
√ 1 is the normalisation since the same states occur, e.g. |1i1 |1i2 +|1i1 |1i2 . For
n1 !n2 !...
instance ϕ1 (x1 ) ϕ1 (x2 ) ϕ2 (x3 ) is the same as ϕ1 (x2 ) ϕ1 (x1 ) ϕ2 (x3 ) but different
from ϕ1 (x3 ) ϕ1 (x2 ) ϕ2 (x1 ) .
Note: sum of all occupation numbers must be the total number of particles:
∞
X
ni = N (7.12)
i=1
The idea in second quantization is: let us just use the states |n1 , n2 , . . .i, find
operators that act in a convenient way on these states, and write all the physics
of the problem in terms of them. In this way, we can avoid worrying about the
permutations; the effect of permutations is ”hidden” in the states |n1 , n2 , . . .i and
in the way operators act on them.
24
Some operators, like x and p, acting on an N-particle state leave it as an N-particle
state. But there are also operators that can change the occupation number.
Let us define the annihilation and creation operators. As will be seen, other
operators can be expressed in terms of these. The point with annihilation and
creation operators is that they act in a particularly convenient way on the states of
the Fock space.
The creation operator is:
√
a†i |. . . , ni , . . .i = ni + 1 |. . . , ni + 1, . . .i (7.15)
The adjoint (annihilation) operator:
p
h. . . , n0 i , . . .| ai = n0 i + 1 h. . . , n0 i + 1, . . .| (7.16)
√
⇒ h. . . , n0 i , . . .| ai |. . . , ni , . . .i = ni δn0i +1,ni (7.17)
√
⇒ ai |. . . , ni , . . .i = ni |. . . , ni − 1, . . .i , f or ni ≥ 1 (7.18)
ai |. . . , ni = 0, . . .i = 0 (7.19)
These relations together with the completeness relation mean that the operators
fulfill the Bose commutation relations (to show this is an exercise, see Exercise
Set 3): h i h i
[ai , aj ] = 0, a†i , a†j = 0, ai , a†j = δij . (7.20)
Now, we can construct all states by using the annihilation and creation
operators and starting from the ground state. This is also called the vacuum state,
however, it is not necessarily the same as physical vacuum. The vacuum state could
be, for instance, a state where no particle moves. Then the creation operator could
create one particle that actually moves with some velocity. Sometimes, of course, the
vacuum state can be real vacuum, such as in the case of quantized electromagnetic
field, where in the vacuum state there are no photons, and the creation operator
creates photons.
Ground (vacuum) state:
25
√
a† |n − 1i = n |ni (7.25)
1 †
|ni = √ a |n − 1i (7.26)
n
QUIZ
QUIZ
QUIZ
The commutation and other properties of the number operator are equal to
those in the case of a harmonic oscillator.
p2β
Aβ = , U (xβ ) (7.32)
2m
Total operator (sum of single-particle operators for all particles):
X
T = A1 + A2 + . . . + AN = Aβ (7.33)
β
26
so
X
A= Aij |ii hj| (7.35)
i,j
X N
X
T = Aij |iiβ β hj| (7.36)
i,j β=1
= a†i aj |. . . , ni , . . . , nj , . . .i (7.40)
So, compare rows (7.37) and (7.40) above:
N
|iiβ β hj| = a†i aj .
X
⇒ (7.41)
β=1
Aij a†i aj ,
X
T = (7.42)
i,j
Ei a†i ai .
X
H0 = (7.43)
i
QUIZ
QUIZ
QUIZ
27
In the same way, for two-particle operators
1 X ˆ(2)
F = f (xα , xβ ) (7.44)
2
α6=β
where the symmetry of fˆ(2) that makes the matrix element independent of α and
β was used. Now one can introduce the operators using the relation 7.41 (it is a
useful trick to add and substract the term α = β to/from the formula). The result
becomes
1 X
F = hi, j| fˆ(2) |k, mi a†i a†j am ak , (7.46)
2
i,j,k,m
where
Z Z
hi, j| fˆ(2) |k, mi = dx dyϕ∗i (x) ϕ∗j (y) f (2) (x, y) ϕk (x) ϕm (y) . (7.47)
28