## 9.1 Everything is (secretly) unitary

At the fundamental level — and this should be your quantum mantra^{170} — there is *only* unitary evolution, and if there is any other evolution then it has to be derived from a unitary evolution.
From this perspective, any *non*-unitary evolution of an open system is induced by a unitary evolution of a larger system — all evolutions become unitary when you make your system large enough!
But how?
The short answer is: by adding (via *tensoring*) and removing (via *partial trace*) physical systems.
A typical combination of these operations is shown in the following diagram:

Let’s explain what this diagram is really saying.

First, as always, we prepare our system of interest in an input state

Next we dilate the system by “**adding**” (or “**taking into account**”) an auxiliary system^{171} which is large enough to include everything our system will interact with, and also large enough to be in a pure state *closed*, and thus undergoes *unitary* evolution, described by some

Finally, after all the (unitary) interactions have taken place, we **trace out** the auxiliary system, turning the joint state

We shall later show that the net effect of these three operations (adding, unitary evolution, and tracing out) can be written, as long as the initial state *not* correlated with the input state **completely positive trace-preserving map**, or, in the parlance of quantum information science, a **quantum channel**.

We will elaborate on the mathematics behind quantum channels shortly, but for now let us only check the essential properties, i.e. that this map preserves both trace and positivity (as its name suggests).

*Trace preserving*. Since the trace is linear, invariant under cyclic permutations of operators, and we ask that\sum_i E_i^\dagger E_i=\mathbf{1} , we see that\operatorname{tr}\left(\sum_k E_k\rho E_k^\dagger\right) = \operatorname{tr}\left(\sum_k E^\dagger_k E_k \rho\right) = \operatorname{tr}\rho. *Positivity preserving*. Since\rho is a positive^{172}(semi-definite) operator, so too is\sqrt{\rho} , and we thus see that\sum_k E_k\rho E_k^\dagger = \sum_k (E_k\sqrt{\rho})(\sqrt{\rho} E_k^\dagger).

These conditions are certainly *necessary* if we want to map density operators into legal density operators, but we shall see in a moment that they are *not sufficient*: quantum channels are not just positive maps, but instead **completely** positive maps.

We will discuss the special properties of completely positive trace preserving maps, describe the most common examples, and, last but not least, specify when the action of quantum channels can be reversed, or corrected, so that we can recover the original input state. This will set the stage for our subsequent discussion of quantum error correction.

…There is only unitary evolution. There is only unitary evolution. There is only unitary evolution… …and everything else is cheating.↩︎

Depending on the context, the auxiliary system is either called the

**ancilla**(usually when we can control it) or the**environment**(usually when we cannot control it).↩︎Recall that an operator is positive if and only if it can be written in the form

XX^\dagger for someX (hereX=E_k\sqrt{\rho} ). Also, the sum of positive operators is again a positive operator.↩︎