Wick’s theorem is a way to reduce a time-ordered operator into the sum of normal-ordered operator and various contractions. Then, where is the time-ordered operator from? Why we need this reduction?
1. Where is the time-ordered operator from
Usually, it’s from perturbation expansion of Green’s function. The Green’s function is defined as
where is the Heisenberg ground state of the interacting system satisfying
depends on time if the Hamiltonian vary with time. And is a field operator in Heisenberg picture
With the help of Gell-Mann and Low theorem, it can be proved that
where is the ground state of , is the evolution operator
What’s more, we can prove
where the notation has been introduced， and is the field operator in interaction picture.
Take the interaction
into Eq.8. The numerator, which we will denote by , becomes
where refers to the noninteracting system. The second terms refers to in Eq.8. Then our problem to calculate Green’s function becomes how to calculate
The straight forward approach for this matrix element is very length. Instead, Wick’s Theorem provides a general procedure for evaluating it.
2. What is Wick’s Theorem
In order to understand it, we need to find out what is the normal ordering and contractions.
2.1 Normal Ordering
This is an ordering of a product of field operators, which has vanishing ground state expectation value.
In most systems of interest, can be uniquely separated into a positive part and negative part
with the property
Correspindingly, the adjoint operator becomes
Take the free fermions as example. After canonical transformation
the field operator in interacting picture can be written as
The normal ordering place all the positive operator and to the right of all the negative operator and , again including a factor of for every interchange of fermion operators. For example， if we deal with fermion fields,
Clearly, the ground state expectation value of normal-ordered operator is 0.
The contraction of two operators and is denoted as
and is equal to the difference between the product and the product
this is the Wick’s theorem for two operators. As for more operators, we have Eq.13.
Two factors that are contracted must be brought together by rearanging the order of the operators iwthin the normal product, always keeping the standard sign conventin for interchange of operators.
As for the field operators, most of the contraction is 0, only
As for its ground state expectation value, only the full connected contractions, the last three terms above, contribute non-zero value. What’s more, the last term is also zero. Thus
Now let’s look at the time-ordered operator in the first order term in Eq.11, it’s
 Fetter, Alexander L., and John Dirk Walecka. Quantum theory of many-particle systems. Courier Corporation, 2012.
 Peskin, Michael Edward. An introduction to quantum field theory. Westview press, 1995.