Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to understand how in Hartree-Fock-Bogoliubov (HFB) or BCS theory we can write a product of creation/annihilation operators as single-particle densities under the guise of "Wick's theorem".

In this set of slides, on slide no. 20 (and I've seen this in many many, many papers) the author makes the claim $c_a^\dagger c_b = \rho_{ba} + :c_a^\dagger c_b:$, invoking Wick's theorem, where $\rho_{ba} \equiv \left.\langle\Phi\right| c_a^\dagger c_b\left|\Phi\rangle\right.$. Essentially, the Wick contraction of $c_a^\dagger c_b$ is equal to $\rho_{ba}$. I'd like to put this on firm footing. My two questions are:

  1. How do we know the contraction $\langle c_a^\dagger c_b \rangle = \rho_{ba}$?
  2. Given #1, the normal ordered product $:c_a^\dagger c_b:$ must be 0 in the state $\left|\Phi\rangle\right.$ by definition. Are we free to choose "normal-ordering" with respect to any state we like?

That is, can we say $c_a^\dagger c_b$ is normal-ordered with respect to the vacuum $\left|-\rangle\right.$, so $\langle c_a^\dagger c_b \rangle$ should be 0 there but isn't normal-ordered with respect to the state $\left|\Phi\rangle\right.$ where $c^\dagger_a c_b \ne :c^\dagger_a c_b:$ (whatever $:c^\dagger_a c_b:$ actually is)? Is there a way to prove that some combination $c_a^\dagger c_b$, $c_a c_b$, etc. always has a vanishing normal-ordered product (I think I can show this with Boguliubov quasiparticles in this case)?

If we have the freedom of #2, then #1 is trivial without having to calculate anything, since $$ \rho_{ba} = \left.\langle\Phi\right| c_a^\dagger c_b\left|\Phi\rangle\right. = \left.\langle\Phi\right| \langle c_a^\dagger c_b \rangle + :c_a^\dagger c_b:\left|\Phi\rangle\right. = \langle c_a^\dagger c_b \rangle. $$

From there we can do the more general decomposition $$\left.\langle\Phi\right| c_a^\dagger c_b^\dagger c_d c_c \left|\Phi\rangle\right. = \rho_{ca} \rho_{db} - \rho_{da}\rho_{cb} + \kappa_{ba}^* \kappa_{cd},$$

where $\kappa_{ba} = \left.\langle\Phi\right| c_a c_b \left|\Phi\rangle\right.$, using Wick's theorem.

share|cite|improve this question
up vote 1 down vote accepted

Normal ordering is an ordering of a product of field operators, in which all the annihilation operators are placed in to the right of all creation operators. This mean that the expectation value of a normal ordering in relation to the vacuum state is zero.

If $c_a^\dagger c_b = \rho_{ba} + :c_a^\dagger c_b:$ and $|\Phi\rangle$ is the vacuum state, then $\rho_{ba} = \left.\langle\Phi\right| c_a^\dagger c_b\left|\Phi\rangle\right.$ because $\langle \Phi|:c_a^\dagger c_b:|\Phi\rangle=0$ .

Is important to note that the definition of normal odering is dependent of the definition of vacuum state. Each set of creation and annihilation operator are defined in relation to some vacuum state, which imply that the normal ordering is implicitly related to vacuum state definition. In Fermi sea our definition of vacuum state is the state of fermi energy filled by electrons for bellow, and for this we have a suitable definition of Normal ordering compatible to the vacuum state (The particle-hole picture).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.