title: Application complètement positive
text: # 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_2(ℂ)$ → $M_2(ℂ)$ 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_2(ℂ)⊗M_2(ℂ)$ ≃ $M_4(ℂ)$ 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_2⊗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 :
     * Φ est n-positive ;
  
     * la matrice $C_Φ$ est positive ;
  
     * Φ est complètement positive.
  
  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 ke copie dans $ℂ^n⊗ℂ^m$ = $⊕_{i=1,…,n}$ $ℂ^m,$ est l'inclusion $P_k*$ ∈ $M_{nm,m}(ℂ)$ de $ℂ^m$ comme ke 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 $ℂ^n$ 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_1,$ … , $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)_1^{nm}$ et $(B_i)_1^{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.
  
  