Une application linéaire complètement positive et préservant la trace (CPTP) qui modélise l'effet du bruit, de la décohérence et des imperfections opérationnelles sur des états quantiques ; elle transforme des matrices densité en d'autres matrices densité représentant une corruption ou transformation par un environnement ou un processus.

Principe

Les processus de bruit quantique sont représentés par des cartes CPTP exprimables sous forme de Kraus ou comme des interactions unitaires avec un environnement suivies d'une trace partielle ; cette formalisation capture les erreurs stochastiques et intriquantes tout en préservant la positivité et la normalisation physiques.

Démonstration

Le canal d'amortissement d'amplitude modélise l'émission spontanée sur un qubit : avec une probabilité p l'état excité décroit vers l'état fondamental et la cohérence est perdue en conséquence. Cela se représente par deux opérateurs de Kraus transformant une matrice densité d'entrée en la sortie amortie.

Mauvaise application

Traiter un canal d'erreur comme une unique unité déterministe ou comme des distributions de probabilité classiques sur des issues de mesure sans préserver la complète positivité ; ignorer le bruit corrélé multi‑qubits et utiliser des canaux mono‑qubit comme modèle injustifié pour des erreurs physiques fortement corrélées.

Conséquence

Fournit le langage mathématique pour analyser le bruit, concevoir des codes de correction d'erreurs et des protocoles tolérants aux fautes, et calculer des seuils ; permet la composition, la concaténation et la caractérisation (tomographie) des processus de bruit.

Inversion

Un canal idéal sans bruit — la carte identité CPTP — inverse l'effet ; la correction d'erreurs active combinée à des cartes de récupération peut inverser efficacement l'action de nombreux canaux d'erreur sur des sous‑espaces protégés ou codespace.

Limite

S'applique aux évolutions préservant la trace et aux mélanges probabilistes ; exclut les opérations conditionnelles non préservant la trace sauf si on étend le formalisme à la post‑sélection, et ne détermine pas en soi les mécanismes microscopiques physiques sans spécifier de modèles d'environnement.

Tension sémantique

Tension entre descriptions abstraites de canaux et modèles hamiltoniens microscopiques : une carte CPTP résume succinctement des effets mais peut masquer la mémoire non‑Markovienne, le couplage dépendant du temps ou les corrélations qui sont pertinents pour les stratégies d'atténuation d'erreur.

Synthèse

Un canal d'erreur quantique est la formalisation CPTP qui encode comment le couplage à l'environnement ou des opérations imparfaites transforment des états quantiques ; c'est l'objet central pour quantifier et corriger le bruit, tout en exigeant prudence vis‑à‑vis des corrélations et origines physiques cachées par son abstraction.