1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Partial traces of density operators in the tensor product

  1. Apr 9, 2017 #1
    1. The problem statement, all variables and given/known data
    Consider a system formed by particles (1) and (2) of same mass which do not interact among themselves and that are placed in a potential of infinite well type with width [itex]a[/itex]. Let [itex]H(1)[/itex] and [itex]H(2)[/itex] be the individual hamiltonians and denote [itex]|\varphi_n(1)\rangle[/itex] and [itex]|\varphi_q(2)\rangle[/itex] the eigenstates of those hamiltonians. In the global system space the basis is

    [tex]|\varphi_n(1)\varphi_q(2)\rangle = |\varphi_n(1)\rangle \otimes |\varphi_q(2)\rangle .[/tex]

    Considering the initial state
    [tex]|\psi(0)\rangle = \dfrac{1}{\sqrt{6}}|\varphi_1\varphi_1\rangle+\dfrac{1}{\sqrt{3}}|\varphi_1\varphi_2\rangle+\dfrac{1}{\sqrt{6}}|\varphi_2\varphi_1\rangle+\dfrac{1}{\sqrt{3}}|\varphi_2\varphi_2\rangle[/tex]

    Show that it is a tensor product of states. Find the density operator [itex]\rho(0)[/itex] in the basis [itex]|\varphi_n\varphi_q\rangle[/itex] and compute the partial traces [itex]\rho(1)=\operatorname{Tr}_2(\rho)[/itex] and [itex]\rho(2)=\operatorname{Tr}_1(\rho)[/itex]. The operators [itex]\rho,\rho(1),\rho(2)[/itex] describe pure states? Compare [itex]\rho[/itex] with [itex]\rho(1)\otimes \rho(2)[/itex]. What is the interpretation?

    2. Relevant equations
    The relevant equations seems to be the definition of the density operator for a pure state [itex]|\varphi\rangle[/itex] as [itex]\rho = |\varphi\rangle \langle \varphi |[/itex], the definition of the density operator of a composite system as [itex]\rho = \rho(1)\otimes \rho(2)[/itex] and finally the definition of the partial traces. Upon expanding
    [tex]\rho = \sum_{n,m,r,s} \rho_{nm,rs}|\varphi_n(1)\rangle \langle \varphi_m (1)| \otimes |\varphi_r(2)\rangle \langle \varphi_s(2)| [/tex]
    this becomes
    [tex]\operatorname{Tr}_2(\rho) = \sum_r \rho_{nm, rr}[/tex]
    and
    [tex]\operatorname{Tr}_1(\rho)=\sum_n \rho_{nn,rs}[/tex]

    3. The attempt at a solution

    This is the first time I deal with density operators, so I'm still quite lost with it. Showing the state is a tensor product was quite easy. I got [itex]|\psi\rangle = (\frac{1}{\sqrt{3}}|\varphi_1(1)\rangle+\frac{1}{\sqrt{3}}|\varphi_2(1)\rangle)\otimes (\frac{1}{\sqrt{2}}|\varphi_1(2)\rangle + |\varphi_2(2)\rangle)[/itex].

    Now my first thought was to use the definition of the density operator and compute [itex]|\psi(0)\rangle\langle\psi(0)|[/itex] but it turned out to become a mess. My next ide was: since [itex]|\psi(0)\rangle = |\psi_1\rangle \otimes |\psi_2\rangle[/itex] we know that we can compute the density operator [itex]\rho_1[/itex] and [itex]\rho_2[/itex] of each subsystem as if it were alone, and get the density operator of the composite system as [itex]\rho = \rho_1\otimes \rho_2[/itex] which in turn handle us the matrix of [itex]\rho[/itex] as a tensor product of matrices.

    I computed then [itex]\rho_1 = |\psi_1\rangle\langle \psi_1|[/itex] and got the matrix (on the subspace spanned by the first two eigenstates of the hamiltonian) [tex]\dfrac{1}{3}\begin{pmatrix}1 & 1 \\ 1 & 1\end{pmatrix}[/tex]
    I did similarly for [itex]\rho_2 = |\psi_2\rangle\langle\psi_2|[/itex] and got the matrix [tex]\begin{pmatrix}\frac{1}{2} & \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & 1\end{pmatrix}[/tex] Finaly I took the tensor product of matrices getting [tex](\rho_1\otimes \rho_2)=\dfrac{1}{3}\begin{pmatrix}\frac{1}{2} & \frac{1}{\sqrt{2}} & \frac{1}{2} & \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & \frac{1}{2} & \frac{1}{\sqrt{2}} & \frac{1}{2} \\ \frac{1}{2} & \frac{1}{\sqrt{2}} & \frac{1}{2} & \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} & \frac{1}{2} & \frac{1}{\sqrt{2}} & \frac{1}{2} \end{pmatrix}[/tex]

    Now this seems all wrong. First of all the individual density operators of each subsystem in isolation do not have unit trace. They are not idempotent also, which seems wrong since I defined them in terms of pure states. Now, to take the trace, I found a formula that allows to take the partial trace of a tensor product of matrices [itex]A\otimes B[/itex] as: [itex]\operatorname{Tr}_2 A\otimes B = \operatorname{tr}(B) A[/itex] and analogously for the other partial trace. I did so and found the resulting reduced density operators as [itex]\rho(1) = \operatorname{Tr}_2 \rho = \frac{3}{2}\rho_1[/itex] and [itex]\rho(2)=\operatorname{Tr}_1\rho = \frac{2}{3}\rho_2[/itex].

    These reduced density operators, on the other hand have unit trace and are idempotent. In that case I believe because of idempotency we can conclude all three operators describe pure states. Finally [itex]\rho[/itex] is identical to the product of the reduced operators. I just don't know the meaning.

    I mean, I believe I got the right results, but I really didn't understand much. Are the results I obtained and my procedure correct? I mean, I built density operators on subsystems that should behave as density operators, but they didn't (no unit trace, nor idempotency). Then the reduced ones do behave as density operators. Finaly i don't know the meaning of the full [itex]\rho[/itex] being identical to the product of the reduced ones.

    I also want to know: is there any more efficient method than the one I've used? I've tried to translate everything into matrices, instead of working with the components, in order to use the tensor product of matrices and partial traces of matrices which are fairly easy to compute. I don't know if this would be the best approach.
     
  2. jcsd
  3. Apr 15, 2017 #2
    Thanks for the thread! This is an automated courtesy bump. Sorry you aren't generating responses at the moment. Do you have any further information, come to any new conclusions or is it possible to reword the post? The more details the better.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Partial traces of density operators in the tensor product
Loading...