Application complètement positive

En mathématiques, une application positive entre deux C*-algèbres est une application linéaire qui est croissante, c'est-à-dire qui envoie tout élément positif (en) sur un élément positif. Une application complètement positive est une application telle que pour tout entier naturel k, l'application induite, entre les algèbres correspondantes de matrices carrées d'ordre k, est positive. Les applications complètement positives entre C*-algèbres de matrices sont classifiées par un théorème dû à Man-Duen Choi. Le « théorème de Radon-Nikodym de Belavkin (en) pour les applications complètement positives » est une généralisation algébrique en dimension infinie.

Notions préliminaires

Pour tout entier naturel k, on note M_k(ℂ) la C*-algèbre des matrices k × k à coefficients complexes et I_k désignera son application identité.

Toute application linéaire Φ : A → B entre deux C*-algèbres induit naturellement une application linéaire I_k⊗Φ, de M_k(ℂ)⊗A ≃ M_k(A) dans M_k(ℂ)⊗B ≃ M_k(B) :

$(I_{k}\otimes \Phi ){\begin{pmatrix}a_{1,1}&\cdots &a_{1,k}\\\vdots &\ddots &\vdots \\a_{k,1}&\cdots &a_{k,k}\end{pmatrix}}={\begin{pmatrix}\Phi (a_{1,1})&\cdots &\Phi (a_{1,k})\\\vdots &\ddots &\vdots \\\Phi (a_{k,1})&\cdots &\Phi (a_{k,k})\end{pmatrix}}.$

Φ est dite :

• positive si Φ(A⁺) ⊂ B⁺, c'est-à-dire si pour tout élément positif a de A, l'élément Φ(a) est positif dans B ;
• k-positive si l'application I_k⊗Φ est positive ;
• complètement positive si elle est k-positive pour tout k.

Si A est une algèbre de matrices M_n(ℂ), alors :

• les éléments positifs de A sont les matrices positives, c'est-à-dire les matrices hermitiennes dont toutes les valeurs propres sont positives ;
• les M_k(A) sont elles-mêmes (à isomorphisme près) des algèbres de matrices : M_k(ℂ)⊗M_n(ℂ) ≃ M_kn(ℂ).

Pour une application linéaire Φ : M_n(ℂ) → M_m(ℂ), on peut donc expliciter I_k⊗Φ en termes de matrices par blocs, et Φ est k-positive si et seulement si l'image par I_k⊗Φ de toute matrice positive est une matrice positive.

Par exemple, l'application T : M₂(ℂ) → M₂(ℂ) qui à toute matrice associe sa transposée est clairement 1-positive (c'est-à-dire positive) mais n'est pas 2-positive. En effet, la matrice suivante de M₂(ℂ)⊗M₂(ℂ) ≃ M₄(ℂ) est positive :

${\begin{pmatrix}{\begin{pmatrix}1&0\\0&0\end{pmatrix}}&{\begin{pmatrix}0&1\\0&0\end{pmatrix}}\\{\begin{pmatrix}0&0\\1&0\end{pmatrix}}&{\begin{pmatrix}0&0\\0&1\end{pmatrix}}\end{pmatrix}}={\begin{pmatrix}1&0&0&1\\0&0&0&0\\0&0&0&0\\1&0&0&1\end{pmatrix}}$

mais son image par I₂⊗T est ${\begin{pmatrix}{\begin{pmatrix}1&0\\0&0\end{pmatrix}}^{\rm {T}}&{\begin{pmatrix}0&1\\0&0\end{pmatrix}}^{\rm {T}}\\{\begin{pmatrix}0&0\\1&0\end{pmatrix}}^{\rm {T}}&{\begin{pmatrix}0&0\\0&1\end{pmatrix}}^{\rm {T}}\end{pmatrix}}={\begin{pmatrix}1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{pmatrix}},$

qui n'est pas positive puisque son déterminant vaut –1.

Théorème de Choi

À toute application linéaire Φ : M_n(ℂ) → M_m(ℂ) on associe sa « matrice de Choi » C_Φ ∈ M_n(ℂ)⊗M_m(ℂ) ≃ M_nm(ℂ), définie par

$C_{\Phi }=(I_{n}\otimes \Phi )(\sum _{i,j}E_{i,j}\otimes E_{i,j})=\sum _{i,j}E_{i,j}\otimes \Phi (E_{i,j}),$ où les E_i,j sont les unités matricielles formant la base canonique de M_n(ℂ).

Pour toute application linéaire Φ : M_n(ℂ) → M_m(ℂ), les propositions suivantes sont équivalentes :

1. Φ est n-positive ;
2. la matrice C_Φ est positive ;
3. Φ est complètement positive.

Démonstration

3 ⇒ 1 étant immédiat, montrons que 1 ⇒ 2 et 2 ⇒ 3.

• La matrice$E=\sum _{i,j}E_{i,j}\otimes E_{i,j}$vérifie$E^{*}=E{\text{ et }}E^{2}=nE{\text{ donc }}E={\frac {1}{n}}EE^{*}\geq 0.$Si Φ est n-positive, on en déduit que$0\leq (I_{n}\otimes \Phi )(E)=C_{\Phi },$d'où 1 ⇒ 2.
• La preuve de 2 ⇒ 3 vient essentiellement du lien entre les différentes représentations de M_nm(ℂ) :${\rm {M}}_{nm}(\mathbb {C} )\simeq \mathbb {C} ^{nm}\otimes (\mathbb {C} ^{nm})^{*}\simeq \mathbb {C} ^{n}\otimes \mathbb {C} ^{m}\otimes (\mathbb {C} ^{n}\otimes \mathbb {C} ^{m})^{*}\simeq \mathbb {C} ^{n}\otimes (\mathbb {C} ^{n})^{*}\otimes \mathbb {C} ^{m}\otimes (\mathbb {C} ^{m})^{*}\simeq {\rm {M}}_{n}(\mathbb {C} )\otimes {\rm {M}}_{m}(\mathbb {C} ).$Supposons que C_Φ est positive. Sa décomposition spectrale est alors de la forme$C_{\Phi }=\sum _{i=1}^{nm}\lambda _{i}u_{i}u_{i}^{*}{\text{ avec }}u_{i}\in \mathbb {C} ^{nm}$ou encore (puisque ses valeurs propres λ_i sont positives) en posant$v_{i}={\sqrt {\lambda _{i}}}~u_{i}~:~C_{\Phi }=\sum _{i=1}^{nm}v_{i}v_{i}^{*}.$L'adjoint de la projection P_k ∈ M_{m, nm}(ℂ), de ℂ^m sur sa k^e copie dans ℂⁿ⊗ℂ^m = ⊕_{i = 1, … , n} ℂ^m, est l'inclusion P_k* ∈ M_{nm, m}(ℂ) de ℂ^m comme k^e facteur de la somme directe et$\Phi (E_{k,l})=P_{k}C_{\Phi }P_{l}^{*}=\sum _{i=1}^{nm}P_{k}v_{i}(P_{l}v_{i})^{*}.$En définissant les opérateurs V_i ∈ M_{m, n}(ℂ) sur la base canonique de ℂⁿ par$V_{i}e_{k}=P_{k}v_{i},$on obtient$\Phi (E_{k,l})=\sum _{i=1}^{nm}P_{k}v_{i}(P_{l}v_{i})^{*}=\sum _{i=1}^{nm}V_{i}e_{k}e_{l}^{*}V_{i}^{*}=\sum _{i=1}^{nm}V_{i}E_{k,l}V_{i}^{*}$d'où, par linéarité :$\forall A\in {\rm {M}}_{n}(\mathbb {C} ),~\Phi (A)=\sum _{i=1}^{nm}V_{i}AV_{i}^{*}$donc Φ est complètement positive.

Conséquences

Opérateurs de Kraus

Dans le contexte de la théorie de l'information quantique, les V_i permettant d'écrire l'application complètement positive Φ, dans la preuve du théorème de Choi, sous la forme $\Phi (A)=\sum _{i=1}^{nm}V_{i}AV_{i}^{*},$ sont appelés « les » opérateurs de Kraus de Φ (d'après Karl Kraus) mais une telle famille n'est pas unique. Par exemple toute décomposition de la matrice (positive) de Choi sous la forme C_Φ = B* B — sans que B soit nécessairement positive, c'est-à-dire égale à l'unique racine carrée positive de C_Φ — donne une famille d'opérateurs de Kraus. En effet, en notant b₁, … , b_nm les colonnes de B*, la matrice C_Φ est la somme des b_i b_i* et une telle écriture fournit, comme dans la preuve du théorème de Choi, une famille d'opérateurs de Kraus pour Φ.

La famille d'opérateurs de Kraus particulière obtenue à partir de la décomposition spectrale de C_Φ — avec vecteurs propres deux à deux orthogonaux — est constituée de matrices deux à deux orthogonales pour le produit scalaire de Hilbert-Schmidt.

Si deux familles d'opérateurs de Kraus (A_i)₁^nm et (B_i)₁^nm représentent la même application complètement positive Φ, il existe une matrice unitaire d'opérateurs U ∈ M_nm(M_m(ℂ)) telle que $A_{i}=\sum _{j=1}^{nm}U_{i,j}B_{j}.$ C'est un cas particulier du lien entre deux représentations de Stinespring (en) minimales.

Il existe alors aussi une matrice unitaire de scalaires u ∈ M_nm(ℂ) telle que $A_{i}=\sum _{j=1}^{nm}u_{i,j}B_{j}.$ Cela résulte du fait que pour deux matrices carrées M et N, M M* = N N* si et seulement s'il existe une matrice unitaire U telle que M = N U (voir Décomposition polaire).

Applications complètement copositives

L'application Φ est dite complètement copositive si sa composée Φ∘T par l'application de transposition est complètement positive. D'après le théorème de Choi, c'est le cas si et seulement si Φ est de la forme $\Phi (A)=\sum _{i}V_{i}A^{\rm {T}}V_{i}^{*}.$

Applications préservant l'hermiticité

La technique de Choi peut être utilisée pour caractériser, de façon analogue, une classe plus générale d'applications linéaires : celles qui préservent l'hermiticité, c'est-à-dire qui envoient tout élément autoadjoint sur un élément autoadjoint. Pour une application Φ : M_n(ℂ) → M_m(ℂ), cela revient à dire que Φ envoie toute matrice hermitienne sur une matrice hermitienne, et l'on démontre qu'il en est ainsi si et seulement si Φ est de la forme

$\Phi (A)=\sum _{i}\lambda _{i}V_{i}AV_{i}^{*}$

avec des λ_i réels. On peut choisir pour λ_i les valeurs propres de C_Φ et pour V_i les matrices correspondant à des vecteurs propres associés.

Notes et références

• (en) V. P. Belavkin et P. Staszewski, « A Radon-Nikodym Theorem for Completely Positive Maps », Reports on Mathematical Physics, vol. 24, n^o 1,‎ 1986, p. 49-55 (lire en ligne)
• (en) J. de Pillis, « Linear transformations which preserve hermitian and positive semi-definite operators », Pacific J. Math., vol. 23, n^o 1,‎ 1967, p. 129-137 (DOI 10.2140/pjm.1967.23.129)

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Choi's theorem on completely positive maps » (voir la liste des auteurs).

Articles connexes

• Opération quantique (en)
• Théorème de Holevo (en)