Is Partial Trace Cyclic for Density Matrices in Quantum Systems?

  • Context: Graduate 
  • Thread starter Thread starter jenga42
  • Start date Start date
  • Tags Tags
    Cyclic Partial Trace
Click For Summary

Discussion Overview

The discussion centers on the properties of the partial trace operation in quantum mechanics, specifically whether it is cyclic like the normal trace. Participants explore definitions, examples, and seek proofs related to the non-cyclicity of the partial trace.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant questions whether the partial trace is cyclic and seeks clarification on the reasoning behind its properties.
  • Another participant asserts that the partial trace is not cyclic, referencing a specific example but does not provide a general proof.
  • A request for the definition of a partial trace is made, indicating a need for foundational understanding.
  • A participant provides a detailed example involving an entangled state and the calculation of the reduced density matrix, raising a question about proving the equality of traces involving two density matrices.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the properties of the partial trace, with some asserting it is not cyclic while others seek further clarification and proof.

Contextual Notes

Limitations include the lack of a general proof for the non-cyclicity of the partial trace and the dependence on specific definitions and examples provided by participants.

jenga42
Messages
12
Reaction score
0
Hello,

I know trace is usually cyclic, but is partial trace cyclic too? Why?

Thanks!

Jenga
 
Physics news on Phys.org
Ok... so I know that it isn't cyclic now ... just by picking a random example, but if anyone knows the reason why it's not cyclic, and has a general proof as to why it's not, I'd be very grateful to hear it!

Thanks.
 
What's the definition of a partial trace?
 
Normal trace is equivalent to the sum of the eigenvalues (or diagonal elements) of a matrix. Partial trace acts only on part of the system, so for a density matrix.. say it's a pure state but entangled,

[tex]\rho_{AB}=\frac{1}{2}(|01\rangle +|10\rangle )(\langle 01|+\langle 10 |)[/tex]

The partial trace over subsystem B gives the reduced density matrix [tex]\rho_A[/tex], so [tex]Tr_B(\rho_{AB})=\rho_A[/tex]

So

[tex]\rho_A=_B\langle 0 |\rho_{AB}|0\rangle_B +_B\langle 1 |\rho_{AB}|1\rangle_B[/tex]
[tex]\rho_A=|1\rangle \langle 1 | + |0\rangle \langle 0 |[/tex]

My question is how do I prove that

[tex]Tr_B (\rho \sigma) = Tr_B (\sigma \rho)[/tex]

where [tex]\rho[/tex] and [tex]\sigma[/tex] are both density matrices of a system AB.

Thanks!
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
5K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 41 ·
2
Replies
41
Views
5K
  • · Replies 16 ·
Replies
16
Views
9K