Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Positivity of Kraus Map

  1. Jun 4, 2013 #1
    In Quantum Computation we define a map that takes on density matrix to another. It is represented by some kraus matrices. I do not know why it has to be completely positive.
  2. jcsd
  3. Jun 5, 2013 #2


    User Avatar
    Science Advisor

    I'm not active in this area, so take my remarks with a grain of salt.

    A positive map [itex]\Phi[/itex] takes a density matrix to another density matrix. The difference between positive and completely positive maps is important for entangled states in combined systems, where the map acts only on one of the systems.

    For a seperable state [itex]\rho = \rho_1 \otimes \rho_2[/itex], a new state [itex](\Phi \otimes I_2)\rho[/itex] is always positive ([itex]I_2[/itex] is the identity in the second system). Counterintuitively, non-seperable states can yield negative eigenvalues when acted upon with a positive but not completely positive map.

    Since we want our map to yield a valid density matrix in all cases, we require it to be completely positive, that is to say that [itex](\Phi \otimes I_2)\rho[/itex] has to be positive for arbitrary systems 2 and states [itex]\rho[/itex].
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook