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 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 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(ℂ) la C*-algèbre des matrices k × k à coefficients complexes et I désignera son application identité.

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

Φ 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⊗Φ est positive ; complètement positive si elle est k-positive pour tout k.

Si A est une algèbre de matrices M(ℂ), 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(A) sont elles-mêmes (à isomorphisme près) des algèbres de matrices : M(ℂ)⊗M(ℂ) ≃ M(ℂ). Pour une application linéaire Φ : M(ℂ) → M(ℂ), on peut donc expliciter I⊗Φ en termes de matrices par blocs, et Φ est k-positive si et seulement si l'image par I⊗Φ 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 :

mais son image par I⊗T est

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

Théorème de Choi À toute application linéaire Φ : M(ℂ) → M(ℂ) on associe sa « matrice de Choi » C ∈ M(ℂ)⊗M(ℂ) ≃ M(ℂ), définie par

où les E sont les unités matricielles formant la base canonique de M(ℂ).

3 ⇒ 1 étant immédiat, montrons que 1 ⇒ 2 et 2 ⇒ 3. La matricevérifieSi Φ est n-positive, on en déduit qued'où 1 ⇒ 2. La preuve de 2 ⇒ 3 vient essentiellement du lien entre les différentes représentations de M(ℂ) :Supposons que C est positive. Sa décomposition spectrale est alors de la formeou encore (puisque ses valeurs propres λ sont positives) en posantL'adjoint de la projection P ∈ M(ℂ), de ℂ sur sa k copie dans ℂ⊗ℂ = ⊕ ℂ, est l'inclusion P* ∈ M(ℂ) de ℂ comme k facteur de la somme directe etEn définissant les opérateurs V ∈ M(ℂ) sur la base canonique de ℂ paron obtientd'où, par linéarité :donc Φ est complètement positive.

Conséquences Opérateurs de Kraus Dans le contexte de la théorie de l'information quantique, les V permettant d'écrire l'application complètement positive Φ, dans la preuve du théorème de Choi, sous la forme

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 — 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 les colonnes de B*, la matrice C est la somme des b b* 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) et (B) représentent la même application complètement positive Φ, il existe une matrice unitaire d'opérateurs U ∈ M(M(ℂ)) telle que

C'est un cas particulier du lien entre deux minimales.

Il existe alors aussi une matrice unitaire de scalaires u ∈ M(ℂ) telle que

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

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(ℂ) → 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

avec des λ réels. On peut choisir pour λ les valeurs propres de C et pour V les matrices correspondant à des vecteurs propres associés.

Notes et références

Articles connexes

Catégorie:Algèbre linéaire Catégorie:Théorie des opérateurs Choi