Simulation of Adjoints and Petz Recovery Maps for Unknown Quantum Channels

Résumé technique : Simulation des adjointes et des cartes de récupération de Petz pour des canaux quantiques inconnus

Énoncé du problème
L'article traite d'un problème fondamental de la théorie de l'information quantique : la réalisabilité physique des transformations sur des canaux quantiques inconnus, à savoir le conjugué complexe ($N^*$), la transposée ($N^T$) et l'adjointe ($N^\dagger$). Bien que ces transformations soient bien comprises pour les opérations unitaires (où $U \to U^\dagger$ correspond à l'inversion temporelle), leur mise en œuvre pour les dynamiques générales de systèmes ouverts (canaux quantiques) présente des défis distincts. Une difficulté majeure réside dans le fait que, si le conjugué complexe d'un canal reste une application complètement positive (CP) et préservant la trace (TP), la transposée et l'adjointe ne sont généralement pas TP, ce qui signifie qu'elles ne constituent pas des canaux quantiques valides. La question centrale est de savoir si ces applications non-TP peuvent être implémentées physiquement via des supercanaux probabilistes ou si elles nécessitent des schémas virtuels (quasi-probabilistes).

Méthodologie
Les auteurs emploient une hiérarchie de transformations quantiques d'ordre supérieur, en distinguant :

1. Peignes probabilistes (Probabilistic Combs) : Protocoles physiques qui réussissent avec une certaine probabilité (post-sélection).
2. Peignes virtuels (Virtual Combs) : Protocoles basés sur des décompositions de quasi-probabilité, où des processus physiques sont combinés avec des poids négatifs pour simuler des applications non physiques.

La méthodologie comprend :

• Téléportation post-sélectionnée : Utilisation d'états maximalement enchevêtrés et de mesures de Bell pour implémenter de manière probabiliste la transposée d'un canal inconnu.
• Preuves d'impossibilité (No-Go Proofs) : Utilisation de la preuve par l'absurde pour démontrer qu'aucune super-application complètement positive (CP), même avec un nombre fini de copies du canal d'entrée, ne peut réaliser universellement le conjugué complexe ou l'adjointe.
• Canaux de Werner-Holevo : Construction d'un peigne virtuel utilisant des canaux de Werner-Holevo ($W^\pm_d$) comme étapes de pré-traitement et de post-traitement. Ces canaux mélangent le terme de la transposée souhaitée avec un bruit isotrope. En effectuant une combinaison linéaire (mélange de quasi-probabilité) de ces canaux, les termes de bruit s'annulent, isolant ainsi l'application non physique du conjugué complexe.
• Optimisation de la norme diamant (Diamond Norm Optimization) : Quantification de l'écart entre le peigne virtuel et les peignes physiques en utilisant la norme de base (équivalente à la norme diamant pour les peignes) afin de prouver l'optimalité de la construction proposée.
• Estimation de la carte de récupération de Petz : Intégration du protocole d'adjointe virtuelle avec des techniques de bloc-encodage pour estimer les valeurs d'espérance de la carte de récupération de Petz sans nécessiter l'accès à l'isométrie de Stinespring du canal.

Contributions clés et résultats

1. Hiérarchie stricte de réalisabilité :

   • Transposée ($N^T$) : Prouvée comme étant physiquement réalisable via un protocole de téléportation post-sélectionné probabiliste. La probabilité de succès est de $1/d^2$ pour les canaux unilatéraux (unital).
   • Conjugué complexe ($N^*$) et Adjointe ($N^\dagger$) : L'article démontre un théorème d'impossibilité (Théorème 1) stipulant que ni $N^*$ ni $N^\dagger$ ne peuvent être implémentés par aucune super-application complètement positive, même de manière probabiliste, pour un canal inconnu. Cela établit un écart fondamental entre les transformations d'unitaires et celles des canaux généraux.

2. Protocole virtuel pour la conjugaison complexe :

   • Les auteurs conçoivent un peigne virtuel à 1 emplacement (Théorème 3) qui implémente universellement le conjugué complexe $N^*$ en utilisant une décomposition de quasi-probabilité de canaux de Werner-Holevo.
   • Le protocole implique l'échantillonnage de trois combinaisons de processus physiques avec des probabilités spécifiques ($p_1, p_2, p_3$) et un post-traitement classique pour reconstruire la valeur d'espérance $\text{Tr}[O N^*(\rho)]$.
   • Optimalité : Le Théorème 4 établit que le peigne virtuel construit atteint la norme de base minimale (surcoût d'échantillonnage) de $d_A d_B - d_A + 1$, prouvant que la construction est optimale par rapport à la norme diamant.

3. Estimation de la carte de récupération de Petz :

   • L'article propose un protocole pour estimer la valeur d'espérance $\text{Tr}[O_A P_{\sigma, N}(\omega_B)]$ de la carte de récupération de Petz pour un canal inconnu $N$, étant donné un état préalable $\sigma$.
   • Contrairement aux méthodes précédentes (ex. Réf. [30, 31]) qui reposent sur le bloc-encodage de l'isométrie de Stinespring ou sur des approximations déterministes avec une complexité de requête élevée, cette méthode n'utilise qu'un accès boîte noire au canal.
   • Complexité de requête : Pour les canaux unilatéraux, la complexité de requête passe à l'échelle de $O\left(\frac{d_A^3 d_B^3}{\varepsilon^2} \log \frac{1}{\delta}\right)$. Cela représente une amélioration significative par rapport à l'approximation déterministe de la Réf. [31], qui passe à l'échelle de $O\left(\frac{d_A^{5.5} d_B^{2.5}}{\varepsilon^4 \lambda_{\min}^{3/2} \dots}\right)$.

Signification
L'article prétend fournir une image complète de l'implémentation physique des cartes duales universelles (conjugué, transposée, adjointe) pour les canaux quantiques. Sa signification réside dans :

• Résolution des limites fondamentales : Il sépare définitivement les capacités des super-applications physiques (qui peuvent gérer la transposée mais pas le conjugué ou l'adjointe) des protocoles virtuels (qui peuvent gérer les trois).
• Possibilité de nouvelles applications : En fournissant un protocole virtuel pour l'adjointe, ce travail permet l'estimation de la carte de récupération de Petz en utilisant uniquement un accès boîte noire au canal. Ceci est crucial pour caractériser la réversibilité des dynamiques quantiques et la correction d'erreurs quasi-optimale.
• Efficacité : La méthode proposée offre une amélioration polynomiale de la complexité de requête pour l'estimation des valeurs d'espérance de la carte de Petz par rapport aux approches déterministes existantes, la rendant plus réalisable pour des tâches pratiques de traitement de l'information quantique impliquant des systèmes ouverts.

Les auteurs notent que ce cadre permet de sonder les corrélateurs de type "out-of-time-ordered" (OTOC) dans des systèmes quantiques ouverts génériques et suggère des extensions futures vers des contextes multi-emplacements et des classes plus larges de transformations d'ordre supérieur en thermodynamique quantique et en atténuation d'erreurs.