Density matrix elements, momentum basis, second quantization

[Final ansatz]

Hello everyone,

I'm having some trouble, that I was hoping someone here could assist me with. I do hope that I have started the topic in an appropriate subforum - please redirect me otherwise.
Specifically, I'm having a hard time understanding the matrix elements of the density matrix, $\varrho$. For instance, I would like to determine the density matrix element $\langle \boldsymbol{\mathrm{k}} | \varrho | \boldsymbol{\mathrm{k}}+\boldsymbol{\mathrm{q}} \rangle$, i.e. matrix elements of $\varrho$ in a momentum basis.

The reason for me wanting to do this, is that I am trying to understand an old paper by N.D. Mermin [1]. In this paper, the particle density, $\rho(\boldsymbol{\mathrm{q}})$, and current density, $\boldsymbol{\mathrm{J}}(\boldsymbol{\mathrm{q}})$, expectation values are introduced as (slightly rewritten - the essence remains the same):
$$\langle \rho(\boldsymbol{\mathrm{q}})\rangle = \sum_{\boldsymbol{\mathrm{p}}} \langle \boldsymbol{\mathrm{p}}+\boldsymbol{\mathrm{q}} | \varrho | \boldsymbol{\mathrm{p}} \rangle \\ \langle \boldsymbol{\mathrm{J}}(\boldsymbol{\mathrm{q}}) \rangle = \sum_{\boldsymbol{\mathrm{p}}} (\boldsymbol{\mathrm{p}}+\frac{1}{2} \boldsymbol{\mathrm{q}} )\langle \boldsymbol{\mathrm{p}}+\boldsymbol{\mathrm{q}} | \varrho | \boldsymbol{\mathrm{p}} \rangle$$
I'm used to the following second quantized forms of the particle density operator and particle currents:
$$\rho(\boldsymbol{\mathrm{q}}) = \sum_{\boldsymbol{\mathrm{p}}} c_{\boldsymbol{\mathrm{p}}}^\dagger c_{\boldsymbol{\mathrm{p}}+\boldsymbol{\mathrm{q}}} \\ \boldsymbol{\mathrm{J}}(\boldsymbol{\mathrm{q}}) = \sum_{\boldsymbol{\mathrm{p}}} (\boldsymbol{\mathrm{p}}+\frac{1}{2} \boldsymbol{\mathrm{q}} )c_{\boldsymbol{\mathrm{p}}}^\dagger c_{\boldsymbol{\mathrm{p}}+\boldsymbol{\mathrm{q}}}$$
My question is, how do I derive (preferably starting from the second-quantized form of the operators) the expectation values $\langle \rho(\boldsymbol{\mathrm{q}})\rangle$ and $\langle \boldsymbol{\mathrm{J}}\boldsymbol{\mathrm{q}}) \rangle$, expressed as sums over density matrix elements?
I feel that, essentially, this should be a simple problem to do in a stringent manner - but I just can't seem to make the necessary connections.

[1] Lindhard Dielectric Function in the Relaxation-Time Approximation

EDIT: Edit since I had apparently not understood the use of [ tex ] [ /itex ].

 

[A. Neumaier]

I'm having a hard time understanding the matrix elements of the density matrix, [...]
I feel that, essentially, this should be a simple problem to do in a stringent manner - but I just can't seem to make the necessary connections.

Use <A>=trace rho A = sum_{p,q} <p|rho|q><q|A|p> and the annihilation properties of the c's.

Note that you use rho in two different fonts with two different meanings - not a very good choice of notation.

 

[Final ansatz]

Use <A>=trace rho A = sum_{p,q} <p|rho|q><q|A|p> and the annihilation properties of the c's.

Note that you use rho in two different fonts with two different meanings - not a very good choice of notation.

Thanks for your reply Neumaier!
Sadly, after having considered your suggestion for some time, I remain stuck with the same predicament as before. I must be confusing something basic. My intention with using $\varrho$ for the density matrix and $\rho$ for particle density operator, was that, in my mind they are different quantities and so deserve different notations (e.g. the density matrix evolve according to the Liouville-von Neumann equation while the particle density operator evolve according to the Heisenberg equation of motion)?

Attempting to follow your suggestion to express the average of the particle density operator in momentum space, $\langle \rho(\boldsymbol{\mathrm{q}}) \rangle$, I make it as far as (again, I'm using two different notation for the density matrix and the particle density - I would be very interested in any explanation as to why this is inappropriate):
$$\langle \rho(\boldsymbol{\mathrm{q}}) \rangle = \mathrm{tr}[\varrho \rho(\boldsymbol{\mathrm{q}})] = \sum_{\boldsymbol{\mathrm{p}}} \langle \boldsymbol{\mathrm{p}} | \varrho \rho(\boldsymbol{\mathrm{q}}) | \boldsymbol{\mathrm{p}} \rangle = \sum_{\boldsymbol{\mathrm{p\, k}}} \langle \boldsymbol{\mathrm{p}} | \varrho | \boldsymbol{\mathrm{k}} \rangle \langle \boldsymbol{\mathrm{k}} | \rho(\boldsymbol{\mathrm{q}}) | \boldsymbol{\mathrm{p}} \rangle = \sum_{\boldsymbol{\mathrm{p\, k}}} \langle 0 | c_{\boldsymbol{\mathrm{p}}} \varrho c_\boldsymbol{\mathrm{k}}^\dagger | 0 \rangle \langle 0 | c_\boldsymbol{\mathrm{k}} \rho(\boldsymbol{\mathrm{q}}) c_\boldsymbol{\mathrm{p}}^\dagger | 0 \rangle = \sum_{\boldsymbol{\mathrm{p\, k\, k}}'} \langle 0 | c_{\boldsymbol{\mathrm{p}}} \varrho c_\boldsymbol{\mathrm{k}}^\dagger | 0 \rangle \langle 0 | c_\boldsymbol{\mathrm{k}} c_{\boldsymbol{\mathrm{k}}'}^\dagger c_{\boldsymbol{\mathrm{k}}'} c_\boldsymbol{\mathrm{p}}^\dagger | 0 \rangle$$... which does not appear a viable path. Could I possibly persuade you to give my yet a hint? What am I doing wrong here? Thanks again!

 

[A. Neumaier]

My intention with using $\varrho$ for the density matrix and $\rho$ for particle density operator, was that, in my mind they are different quantities and so deserve different notations (e.g. the density matrix evolve according to the Liouville-von Neumann equation while the particle density operator evolve according to the Heisenberg equation of motion)?

Attempting to follow your suggestion to express the average of the particle density operator in momentum space, $\langle \rho(\boldsymbol{\mathrm{q}}) \rangle$,
[...]
Could I possibly persuade you to give my yet a hint? What am I doing wrong here? Thanks again!

You must aim at getting the result, hence not convert everything to c/a notation.
Thus keep the bras and kets in the density matrix part, and replace the particle density by its definition. Then you get a triple sum in which most terms vanish.

 

[Ilmrak]

Thanks for your reply Neumaier!
Sadly, after having considered your suggestion for some time, I remain stuck with the same predicament as before. I must be confusing something basic. My intention with using $\varrho$ for the density matrix and $\rho$ for particle density operator, was that, in my mind they are different quantities and so deserve different notations (e.g. the density matrix evolve according to the Liouville-von Neumann equation while the particle density operator evolve according to the Heisenberg equation of motion)?

Attempting to follow your suggestion to express the average of the particle density operator in momentum space, $\langle \rho(\boldsymbol{\mathrm{q}}) \rangle$, I make it as far as (again, I'm using two different notation for the density matrix and the particle density - I would be very interested in any explanation as to why this is inappropriate):
$$\langle \rho(\boldsymbol{\mathrm{q}}) \rangle = \mathrm{tr}[\varrho \rho(\boldsymbol{\mathrm{q}})] = \sum_{\boldsymbol{\mathrm{p}}} \langle \boldsymbol{\mathrm{p}} | \varrho \rho(\boldsymbol{\mathrm{q}}) | \boldsymbol{\mathrm{p}} \rangle = \sum_{\boldsymbol{\mathrm{p\, k}}} \langle \boldsymbol{\mathrm{p}} | \varrho | \boldsymbol{\mathrm{k}} \rangle \langle \boldsymbol{\mathrm{k}} | \rho(\boldsymbol{\mathrm{q}}) | \boldsymbol{\mathrm{p}} \rangle = \sum_{\boldsymbol{\mathrm{p\, k}}} \langle 0 | c_{\boldsymbol{\mathrm{p}}} \varrho c_\boldsymbol{\mathrm{k}}^\dagger | 0 \rangle \langle 0 | c_\boldsymbol{\mathrm{k}} \rho(\boldsymbol{\mathrm{q}}) c_\boldsymbol{\mathrm{p}}^\dagger | 0 \rangle = \sum_{\boldsymbol{\mathrm{p\, k\, k}}'} \langle 0 | c_{\boldsymbol{\mathrm{p}}} \varrho c_\boldsymbol{\mathrm{k}}^\dagger | 0 \rangle \langle 0 | c_\boldsymbol{\mathrm{k}} c_{\boldsymbol{\mathrm{k}}'}^\dagger c_{\boldsymbol{\mathrm{k}}'} c_\boldsymbol{\mathrm{p}}^\dagger | 0 \rangle$$... which does not appear a viable path. Could I possibly persuade you to give my yet a hint? What am I doing wrong here? Thanks again!

You was close to the result:

$\langle \rho(\boldsymbol{\mathrm{q}})\rangle= \sum_{\boldsymbol{\mathrm{p}}} \langle\boldsymbol{\mathrm{p}}| \rho (\boldsymbol{\mathrm{q}}) \varrho|\boldsymbol{\mathrm{p}}\rangle= \sum_{\boldsymbol{\mathrm{p}},\boldsymbol{\mathrm{k}}} \langle\boldsymbol{\mathrm{p}}| c^\dagger_\boldsymbol{\mathrm{k}}c_{\boldsymbol{ \mathrm{k} } + \boldsymbol{\mathrm{q}}} \varrho|\boldsymbol{\mathrm{p}}\rangle= \sum_{\boldsymbol{\mathrm{p}},\boldsymbol{\mathrm{k}}, \boldsymbol{\mathrm{k'}}'} \langle\boldsymbol{\mathrm{p}}| c^\dagger_\boldsymbol{\mathrm{k}}c_{\boldsymbol{ \mathrm{k} } + \boldsymbol{\mathrm{q}}} |\boldsymbol{\mathrm{k}}'\rangle\langle\boldsymbol{\mathrm{k}}'|\varrho|\boldsymbol{\mathrm{p}} \rangle= \sum_{\boldsymbol{\mathrm{k}}} \langle\boldsymbol{\mathrm{k}} + \boldsymbol{\mathrm{q}}|\varrho| \boldsymbol{\mathrm{k}} \rangle ,$

where in the last step I used

$\langle\boldsymbol{\mathrm{p}}| c^\dagger_\boldsymbol{\mathrm{k}}c_{\boldsymbol{ \mathrm{k} } + \boldsymbol{\mathrm{q}}} |\boldsymbol{\mathrm{k}}'\rangle = \delta_{\boldsymbol{ \mathrm{k} }, \boldsymbol{ \mathrm{p} }}\delta_{\boldsymbol{ \mathrm{k} } + \boldsymbol{ \mathrm{q} }, \boldsymbol{ \mathrm{k} }'}.$

With analogous calculation you can easly obtain the second equation you needed.

I hope this helps.

Ilm

 

[Final ansatz]

Thank you both a ton - your help is very much appreciated. Just couldn't get that bit right! Thanks alot, this has saved my week :).