In the second quantization formalism,
Wick’s theorem helps to evaluate products
of creation and annihilation operators by
breaking them down into smaller products.
Firstly, let us define the normal product or normal order as
a product of second quantization operators
reordered such that
all creation operators are on the left of
all annihilation operators.
For two operators this is written as follows,
at least in the case of bosons:
For fermions, the result must be negated for each swapping of adjacent operators
(and every reordering of operators can be treated as a sequence of such swaps):
The normal product of three or more operators works in the same way,
but might not be unique depending,
on how many of each type there are.
Next, the contraction of the operators and
is defined as the vacuum matrix element,
i.e. the expectation value of :
Unsurprisingly, a contraction can only be nonzero if
is an annihilation and
a creation for the same state .
Wick’s theorem states:
any product of second quantization operators can be
rewritten as a sum of normal products,
from which 0, 1, 2, etc. contractions have been removed
in every possible way.
For fermions, the sign of a term must also be swapped
every time two adjacent operators are swapped.
As an example, for four operators:
Where the negative signs apply to fermions only.
We take the normal product with 0 contractions removed (),
then with 1 contraction removed in every possible way (first two lines),
then with 2 contractions removed in every possible way (last line), and so on.
We will prove this by induction, with the base case being two operators,
where Wick’s theorem becomes as follows:
This must be proven separately for fermions and bosons.
For fermions, a general consequence of the definition of the anticommutator is:
This anticommutator is known to be ,
so we can inconsequentially take
its inner product with the vacuum state :
Which agrees with Wick’s theorem. For bosons, we use the commutator:
This commutator is known to be ,
so we take the inner product with , like before:
Which again agrees with Wick’s theorem.
Next, we prove that if it holds for operators, then it also holds for .
To begin with, consider the following statement about right-multiplying
by an extra , with for bosons and for fermions:
If is an annihilation operator, then this is trivial:
appending it does not break the existing normal order,
and for all .
However, if is a creation operator,
then to restore the normal order,
we move it to the front by swapping,
which introduces a bunch of (anti)commutators:
Where is the anticommutator or commutator,
respectively for fermions or bosons.
If we take Wick’s theorem for operators ,
and right-multiply it by ,
then each term will contain a product of the form .
Using the relation that we just proved,
each such product can be rewritten as follows:
Inserting this back into Wick’s theorem,
we get new terms with contractions of .
After a lot of rearranging,
the result turns out to just be Wick’s theorem for operators.
if Wick’s theorem holds for operators,
it also holds for .
We showed that Wick’s theorem holds for ,
so, by induction, it holds for all .
- L.E. Ballentine,
Quantum mechanics: a modern development, 2nd edition,