What is a completely positive map *physically*?

I am sure this question is really stupid, but I could not refrain from asking it in this forum. This can be considered as a continuation of this question.

What does it mean to be a completely positive map, from a Physics point of view.


A positive map $h:\mathcal{B(H)}\rightarrow\mathcal{B(K)}$ is a map which takes states to states. However if we put an auxiliary space $\mathcal{B(A)}$ and take the natural extension $1\otimes h:\mathcal{B(A)}\otimes\mathcal{B(H)}\rightarrow\mathcal{B(A)}\otimes\mathcal{B(K)}$, then completely positive maps are the ones which preserves positivity whatever the dimension of $\mathcal{B(A)}$ may be. So they form what we know as quantum channel (and all its relations with Jamiołkowski isomorphism etc.). Obviously foor positive maps which are not completely positive, when extended, will not remain as a physical object. In a way the same thing is done by operator space theorists as well.

My question is, can we give a definition of complete positivity without involving auxiliary systems? After all positive maps sends a state to a state. So which physical process actually hinders them of being a valid quantum operation? Looking back, are all not completely maps are physically impossible to simulate? (This alone perhaps should be written as a different question all together)

-

Physically, a CP map is represents evolution processes even in the presence of entanglement.

After all positive maps sends a state to a state

This is false when the system is entangled with something else. The classic example is the transpose on the system of interest. (Technically, a transpose, since it's basis-dependent.) Since positivity can be characterized using determinants, transposing preserves positivity. However, if you only transpose a tensor half of a big matrix then this fails. Again, the standard example is a pair of qubits entangled in the $|\phi^+\rangle={1\over\sqrt{2}}\left(|00\rangle+|11\rangle\right)$ Bell state. Then the total density matrix is

$$\rho=\frac{1}{2}\begin{pmatrix}1&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&1\end{pmatrix}$$

and when transposed over the second qubit (done transposing each of the four submatrices) it goes to

$$\rho^{T_\textrm{B}}=\frac{1}{2}\begin{pmatrix}1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{pmatrix},$$

which is not positive ($(0,1,-1,0)$ has eigenvalue -1).

That's the math. The physics it implies is that while you can ensure lone-system positivity of a map with purely local conditions, it does not imply that it works as a physical evolution for a larger, entangled system.

-

Physically, a completely positive map is just the kind of transformation one can achieve by passing a beam in a certain mixed state through some device (the transformer) thereby producing another beam in a usually different mixed state, allowing for dissipative effects.

Clearly, such a transformation must map states into states and hence be positive. But under the standard asssumptions of a unitary dynamics of the universe as a whole, it is a restriction of a unitary map of the bigger system consisting of beam plus transformer. This implies that it has the form given in Stinespring's theorem, and is therefore completely positive.

Conversely, Stinespring's theorem says that each completely positive map can be realized as the restriction of such a unitary dynamics, hence is (in principle at least) experimentally realizable.

-

Completely positive maps can be characterized without involving external systems by means of the Stinespring factorization theorem, which reduces to Choi's theorem for the case of finite dimensional Hilbert spaces:

$\Phi(a) = \sum_{i=1}^{mn}V_i^\dagger a V_i$.

Completely positive maps are considered to represent the most general quantum evolutions, however, Shaji and Sudarshan:

"ftp://79.110.128.93/books/physics,%20math/%D0%96%D1%83%D1%80%D0%BD%D0%B0%D0%BB%D1%8B/Phys%20Letters%20A/Volume%20341,%20Issues%201-4,%20pp.%201-356%20(20%20June%202005)/Anil%20Shaji,%20E.C.G.%20Sudarshan%20-%20Who's%20afraid%20of%20not%20completely%20positive%20maps%3F.pdf"

(Who’s afraid of not completely positive maps?) gave arguments that they do not exhaust all physical evolution possibilities.

-
Shaji and Sudarshan's paper is completely bogus. Also the Stinespring theorem doesn't get rid of the auxiliary system, it's always there. –  Ron Maimon Jul 30 '12 at 15:12