- #1
naima
Gold Member
- 938
- 54
We have ## \rho ## and a hamiltonian K on ## H_s \otimes H_E##.
have we [tex] (K \rho)_S \otimes Id_E = K (\rho _S \otimes Id_E)[/tex] ?
here ## \rho _ s ## and ## (K \rho) _ s ## are the reduced density matrices.
If P maps an operator O to ##O_S \otimes Id_E##, I have to prove that
## PK \rho = KP \rho## for all ##\rho##
have we [tex] (K \rho)_S \otimes Id_E = K (\rho _S \otimes Id_E)[/tex] ?
here ## \rho _ s ## and ## (K \rho) _ s ## are the reduced density matrices.
If P maps an operator O to ##O_S \otimes Id_E##, I have to prove that
## PK \rho = KP \rho## for all ##\rho##
Last edited: