Stinespring dilation theorem

In mathematics, Stinespring's dilation theorem, also called Stinespring's factorization theorem, named after W. Forrest Stinespring, is a result from operator theory that represents any completely positive map on a C*-algebra A as a composition of two completely positive maps each of which has a special form:

1. A *-representation of A on some auxiliary Hilbert space K followed by
2. An operator map of the form T ↦ V*TV.

Moreover, Stinespring's theorem is a structure theorem from a C*-algebra into the algebra of bounded operators on a Hilbert space. Completely positive maps are shown to be simple modifications of *-representations, or sometimes called *-homomorphisms.

Formulation

In the case of a unital C*-algebra, the result is as follows:

Theorem. Let A be a unital C*-algebra, H be a Hilbert space, and B(H) be the bounded operators on H. For every completely positive

$\Phi :A\to B(H),$

there exists a Hilbert space K and a unital *-homomorphism

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi : A \to B(K)}

such that

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi(a) = V^\ast \pi (a) V,}

where $V:H\to K$ is a bounded operator. Furthermore, we have

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \| \Phi(1) \| = \| V \|^2.}

Informally, one can say that every completely positive map Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi} can be "lifted" up to a map of the form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V^* (\cdot) V} .

The converse of the theorem is true trivially. So Stinespring's result classifies completely positive maps.

Sketch of proof

We now briefly sketch the proof. Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle K = A \otimes H} . For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \otimes h, \ b \otimes g \in K} , define

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle a \otimes h, b \otimes g \rangle _K := \langle \Phi(b^*a) h, g \rangle _H = \langle h, \Phi(a^*b)g \rangle_H}

and extend by semi-linearity to all of K. This is a Hermitian sesquilinear form because Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi} is compatible with the * operation. Complete positivity of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi} is then used to show that this sesquilinear form is in fact positive semidefinite. Since positive semidefinite Hermitian sesquilinear forms satisfy the Cauchy–Schwarz inequality, the subset

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle K' = \{x \in K \mid \langle x , x \rangle _K = 0 \} \subset K}

is a subspace. We can remove degeneracy by considering the quotient space Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle K / K' } . The completion of this quotient space is then a Hilbert space, also denoted by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle K} . Next define Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi (a) (b \otimes g) = ab \otimes g} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V h = 1_A \otimes h} . One can check that $\pi$ and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} have the desired properties.

Notice that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} is just the natural algebraic embedding of H into K. One can verify that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V^\ast(a\otimes h) = \Phi(a)h} holds. In particular Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V^\ast V = \Phi(1)} holds so that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V} is an isometry if and only if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi(1)=1} . In this case H can be embedded, in the Hilbert space sense, into K and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V^\ast} , acting on K, becomes the projection onto H. Symbolically, we can write

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi (a) = P_H \; \pi(a) \Big|_H.}

In the language of dilation theory, this is to say that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi(a)} is a compression of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi(a)} . It is therefore a corollary of Stinespring's theorem that every unital completely positive map is the compression of some *-homomorphism.

Minimality

The triple (π, V, K) is called a Stinespring representation of Φ. A natural question is now whether one can reduce a given Stinespring representation in some sense.

Let K₁ be the closed linear span of π(A) VH. By property of *-representations in general, K₁ is an invariant subspace of π(a) for all a. Also, K₁ contains VH. Define

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi _1 (a) = \pi (a) \Big|_{K_1}.}

We can compute directly

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \pi_1 (a) \pi_1 (b) &= \pi (a) \Big|_{K_1} \pi (b) \Big|_{K_1} \\ &= \pi (a) \pi (b) \Big|_{K_1} \\ &= \pi (ab) \Big|_{K_1} \\ &= \pi_1 (ab) \end{align}}

and if k and ℓ lie in K₁

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \langle \pi_1 (a^*)k, \ell \rangle &= \langle \pi (a^*)k, \ell \rangle \\ &= \langle \pi(a)^* k, \ell \rangle \\ &= \langle k, \pi (a) \ell \rangle \\ &= \langle k, \pi_1 (a) \ell \rangle \\ &=\langle \pi_1 (a)^* k, \ell \rangle. \end{align}}

So (π₁, V, K₁) is also a Stinespring representation of Φ and has the additional property that K₁ is the closed linear span of π(A) V H. Such a representation is called a minimal Stinespring representation.

Uniqueness

Let (π₁, V₁, K₁) and (π₂, V₂, K₂) be two Stinespring representations of a given Φ. Define a partial isometry W : K₁ → K₂ by

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \; W \pi_1 (a) V_1 h = \pi_2 (a) V_2 h.}

On V₁H ⊂ K₁, this gives the intertwining relation

$\;W\pi _{1}=\pi _{2}W.$

In particular, if both Stinespring representations are minimal, W is unitary. Thus minimal Stinespring representations are unique up to a unitary transformation.

Some consequences

We mention a few of the results which can be viewed as consequences of Stinespring's theorem. Historically, some of the results below preceded Stinespring's theorem.

GNS construction

The Gelfand–Naimark–Segal (GNS) construction is as follows. Let H in Stinespring's theorem be 1-dimensional, i.e. the complex numbers. So Φ now is a positive linear functional on A. If we assume Φ is a state, that is, Φ has norm 1, then the isometry Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V : H \to K} is determined by

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V 1 = \xi}

for some Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \xi \in K} of unit norm. So

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \Phi(a) = V^* \pi (a) V &= \langle V^* \pi (a) V 1, 1 \rangle _H \\ &= \langle \pi (a) V 1, V 1 \rangle _K \\ &= \langle \pi (a) \xi, \xi \rangle _K \end{align} }

and we have recovered the GNS representation of states. This is one way to see that completely positive maps, rather than merely positive ones, are the true generalizations of positive functionals.

A linear positive functional on a C*-algebra is absolutely continuous with respect to another such functional (called a reference functional) if it is zero on any positive element on which the reference positive functional is zero. This leads to a noncommutative generalization of the Radon–Nikodym theorem. The usual density operator of states on the matrix algebras with respect to the standard trace is nothing but the Radon–Nikodym derivative when the reference functional is chosen to be trace. Belavkin introduced the notion of complete absolute continuity of one completely positive map with respect to another (reference) map and proved an operator variant of the noncommutative Radon–Nikodym theorem for completely positive maps. A particular case of this theorem corresponding to a tracial completely positive reference map on the matrix algebras leads to the Choi operator as a Radon–Nikodym derivative of a CP map with respect to the standard trace (see Choi's Theorem).

Choi's theorem

It was shown by Choi that if $\Phi :B(G)\to B(H)$ is completely positive, where G and H are finite-dimensional Hilbert spaces of dimensions n and m respectively, then Φ takes the form:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i .}

This is called Choi's theorem on completely positive maps. Choi proved this using linear algebra techniques, but his result can also be viewed as a special case of Stinespring's theorem: Let (π, V, K) be a minimal Stinespring representation of Φ. By minimality, K has dimension less than that of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C^{n \times n} \otimes C^m} . So without loss of generality, K can be identified with

$K=\bigoplus _{i=1}^{nm}C_{i}^{n}.$

Each Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C_i^n} is a copy of the n-dimensional Hilbert space. From Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi (a) (b \otimes g) = ab \otimes g} , we see that the above identification of K can be arranged so $\;P_{i}\pi (a)P_{i}=a$, where P_i is the projection from K to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C_i^n} . Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V_i = P_i V} . We have

$\Phi (a)=\sum _{i=1}^{nm}(V^{*}P_{i})(P_{i}\pi (a)P_{i})(P_{i}V)=\sum _{i=1}^{nm}V_{i}^{*}aV_{i}$

and Choi's result is proved.

Choi's result is a particular case of noncommutative Radon–Nikodym theorem for completely positive (CP) maps corresponding to a tracial completely positive reference map on the matrix algebras. In strong operator form this general theorem was proven by Belavkin in 1985 who showed the existence of the positive density operator representing a CP map which is completely absolutely continuous with respect to a reference CP map. The uniqueness of this density operator in the reference Steinspring representation simply follows from the minimality of this representation. Thus, Choi's operator is the Radon–Nikodym derivative of a finite-dimensional CP map with respect to the standard trace.

Notice that, in proving Choi's theorem, as well as Belavkin's theorem from Stinespring's formulation, the argument does not give the Kraus operators V_i explicitly, unless one makes the various identification of spaces explicit. On the other hand, Choi's original proof involves direct calculation of those operators.

Naimark's dilation theorem

Naimark's theorem says that every B(H)-valued, weakly countably-additive measure on some compact Hausdorff space X can be "lifted" so that the measure becomes a spectral measure. It can be proved by combining the fact that C(X) is a commutative C*-algebra and Stinespring's theorem.

Sz.-Nagy's dilation theorem

This result states that every contraction on a Hilbert space has a unitary dilation with the minimality property.

Application

In quantum information theory, quantum channels, or quantum operations, are defined to be completely positive maps between C*-algebras. Being a classification for all such maps, Stinespring's theorem is important in that context. For example, the uniqueness part of the theorem has been used to classify certain classes of quantum channels.

For the comparison of different channels and computation of their mutual fidelities and information another representation of the channels by their "Radon–Nikodym" derivatives introduced by Belavkin is useful. In the finite-dimensional case, Choi's theorem as the tracial variant of the Belavkin's Radon–Nikodym theorem for completely positive maps is also relevant. The operators Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ V_i \}} from the expression

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i.}

are called the Kraus operators of Φ. The expression

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{i = 1}^{nm} V_i^* ( \cdot ) V_i}

is sometimes called the operator sum representation of Φ.

References

• M.-D. Choi, Completely Positive Linear Maps on Complex Matrices, Linear Algebra and its Applications, 10, 285–290 (1975).
• V. P. Belavkin, P. Staszewski, Radon–Nikodym Theorem for Completely Positive Maps, Reports on Mathematical Physics, v. 24, No 1, 49–55 (1986).
• V. Paulsen, Completely Bounded Maps and Operator Algebras, Cambridge University Press, 2003.
• W. F. Stinespring, Positive Functions on C*-algebras, Proceedings of the American Mathematical Society, 6, 211–216 (1955).