nLab
open quantum system

Open systems and reversibility

Consider two quantum systems, Q and E where Q is some system of interest and E is some system that is external to Q and that is in some fixed pure state |e|e\rangle. Now let us suppose that the two systems interact and evolve via some unitary operator on the combined Hilbert space of each, (QE)\mathcal{H}^{(QE)}. In this situation Q is known as an open system and E is the environment.

The dilation construction of quantum states (see Stinespring’s dilation theorem above), i.e. in the quantum operation formalism, the evolution of a system is often written in a more condensed manner as

ρ=ε(ρ)\rho'=\varepsilon (\rho).

Here we refer to ε(ρ)\varepsilon (\rho) as a superoperator.

Lemma

Suppose ε\varepsilon is a linear map on Q-operators. Then the following three conditions are equivalent:

  • ε\varepsilon represents a “physically reasonable” evolution for density operators on Q.
  • ε\varepsilon is given by unitary evolution on an extended system as in the quantum operation formalism.
  • ε\varepsilon has a Kraus decomposition with normalized Kraus operators as in the quantum channel formalism.
Proof

This is proven in Appendix D of

  • Schumacher, Benjamin and Westmoreland, Michael, Q-PSI: Quantum Processes, Systems, and Information, Cambridge University Press, Cambridge, 2010

where there is also an explanation of “physically reasonable.”

Ian Durham: Is there a convenient category theoretic way to prove the above lemma?

Revised on April 11, 2010 18:55:05 by Toby Bartels (98.19.62.150)