Quantum mechanics: density matrix purification

Click For Summary
SUMMARY

The discussion centers on the purification of a density matrix defined by M(a) = (a - (1/4)i; (1/4)i a). To ensure M(a) is a valid density matrix, the parameter 'a' must be set to 1/2, satisfying the conditions of being Hermitian, having a trace of 1, and being positive semi-definite. The system is confirmed to be in a mixed state since M(a)^2 ≠ M(a). The final part of the discussion seeks clarification on the purification process, particularly regarding the conditions for M(a) to maintain positivity.

PREREQUISITES
  • Understanding of density matrices in quantum mechanics
  • Knowledge of Hermitian matrices and their properties
  • Familiarity with the trace operation and its implications
  • Concepts of mixed and pure states in quantum systems
NEXT STEPS
  • Study the properties of Hermitian matrices in quantum mechanics
  • Learn about the purification process of density matrices
  • Explore the implications of positive semi-definite matrices
  • Investigate the mathematical techniques for decomposing matrices
USEFUL FOR

Students and researchers in quantum mechanics, particularly those focusing on quantum state representation and density matrix formalism.

vj3336
Messages
15
Reaction score
0

Homework Statement



Given a matrix

M(a) = (a -(1/4)i ; (1/4)i a)

(semicolon separates rows)

a) Determine a so that M(a) is a density matrix.
b) Show that the system is in a mixed state.
c) Purify M(a)


The Attempt at a Solution



a) from conditions for a density matrices

1) M(a)=M(a)*
2) tr(M(a))=1
3) M(a)>=0

form 1) a must be real
from 2) a=1/2
I'm not sure what 3) means, but if it means trace and determinant
must be non-negative, than this is also fulfilled if a=1/2.

b) I think that condition for system to be in mixed state is:
M(a)^2 /= M(a)
since this is true for M(a), system is in mixed state.

c) Don't know how to solve this part, Maybe it has to do something with decomposing a matrix ?
 
Physics news on Phys.org
M(a)≥0 means xM(a)x≥0 for all x.
 
thanks,
if I take x to be a vector with components (x y) then,
x†M(a)x = a(xx† + yy†) + (1/4)i(xy† + x†y)

this then means a(xx† + yy†)≥(1/4)i(xy† + x†y)
but term on the left hand side is real and term on the right hand side may be complex,
so how can I conclude when is x†M(a)x≥0 ?

also is my answer to b) correct ?
and if anyone would give me a little help on c)
 
First, you made a sign error. Second, note that x*y and xy* are conjugates.

Your answer to (b) is correct.

I'm not sure what they're asking for in (c).
 
Last edited:

Similar threads

Replies
46
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 20 ·
Replies
20
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K