- #1

Kreizhn

- 743

- 1

## Homework Statement

Given that [itex] \Gamma(\rho_A) = \displaystyle \sum_k A_k \rho_A(0) A_k^\dagger [/itex], I need to show that if [itex]\rho_{AB} (0)[/itex] is a positive map, then [itex] \rho_{AB}(t) = \Gamma\otimes 1_B ( \rho_{AB}(0) ) [/itex] is also a positive map.

## Homework Equations

## The Attempt at a Solution

This doesn't seem like it should be very hard, I'm just not very comfortable with tensor products. I'm not sure how this should be expanded out, and so if anyone could help, it would be appreciated.