Construction qui réalise un canal quantique comme le résultat d'une évolution unitaire sur le système plus un environnement auxiliaire initialisé dans un état pur fixé, suivie d'un oubli de l'environnement : Λ(ρ)=Tr_E[U(ρ⊗|0⟩⟨0|_E)U†]. C'est une mise en œuvre concrète de la Dilatation de Stinespring où l'isométrie est étendue en une unitéaire sur un espace de Hilbert plus grand.

Principe

Exprimer des dynamiques irréversibles ou bruitées du système comme dynamiques unitaires réversibles sur un système élargi en introduisant un ancilla préparé dans un état connu ; les implémentations physiques découlent alors de la conception de U et de la préparation de l'ancilla.

Démonstration

Le canal d'amortissement d'amplitude admet une dilatation unitaire U agissant sur système⊗ancilla où l'ancilla est initialisé en |0〉, U intrique système et ancilla comme dans la description isométrique, et la trace de l'ancilla récupère le canal d'amortissement ; cela fournit une implémentation au niveau circuit via des portes qui réalisent U.

Mauvaise application

Supposer qu'une dilatation unitaire peut être réalisée sans ajouter d'ancilla ou ignorer les contraintes de ressources (dimension et pureté de l'ancilla), ou confondre dilatation unitaire avec une unitéaire agissant uniquement sur le système.

Conséquence

Fournit des circuits physiques explicites et des stratégies de contrôle pour implémenter des canaux, clarifie la réversibilité sur système+environnement, et soutient des constructions de correction d'erreur et la simulation de dynamiques de systèmes ouverts.

Inversion

La vue inverse traite la carte non unitaire elle-même comme fondamentale et pas nécessairement réalisable par une unitéaire contrôlée avec un ancilla pur ; cela met en évidence des limites opérationnelles lorsque l'environnement ne peut être préparé ou contrôlé.

Limite

Nécessite l'accès à un ancilla/environnement et la capacité d'implémenter l'unitaire conjoint ; dans les systèmes de dimension infinie surgissent des problèmes techniques liés aux domaines et aux contraintes énergétiques. Les canaux modélisés sans ancilla contrôlable échappent au champ constructif de la dilatation unitaire.

Tension sémantique

Tension avec l'isométrie minimale de Stinespring (isométrie versus extension unitaire complète) et avec des approches qui représentent les canaux de façon abstraite (somme de Kraus) plutôt que par des unitaires explicites ; les contraintes pratiques (pureté, taille de l'ancilla) créent aussi une tension avec l'énoncé mathématique idéalisé.

Synthèse

La Dilatation Unitaire met en œuvre un canal quantique en incluant le système dans une évolution unitaire réversible plus large avec un ancilla préparé, puis en traçant l'environnement : elle transforme les applications CP abstraites en circuits unitaires explicites soumis aux ressources d'ancilla et de contrôle.