On the characterization of partially entanglement breaking and annihilating channels

*** RÉSUMÉ TECHNIQUE ***
Sur la caractérisation des canaux partiellement briseurs d'intrication et d'annihilation d'intrication

Énoncé du problème
L'intrication quantique est une ressource fondamentale pour les tâches de traitement de l'information quantique telles que la téléportation, la cryptographie et la discrimination de canaux. Bien que la présence de l'intrication soit souvent binaire (séparable vs intriquée), la dimensionnalité de l'intrication, quantifiée par le nombre de Schmidt (SN), est cruciale pour les protocoles de haute dimension. Les états possédant des nombres de Schmidt plus élevés offrent des avantages distincts dans des tâches comme la discrimination de canaux et la distribution de clés quantiques. Cependant, les canaux quantiques (bruit) peuvent dégrader ces ressources en réduisant le nombre de Schmidt des états transmis.

Alors que les canaux « briseurs d'intrication » (EB - entanglement breaking) sont bien caractérisés comme ceux qui désintriquent complètement un sous-système, il existe une classe plus large de canaux qui réduisent le nombre de Schmidt sans nécessairement détruire toute l'intrication. Ce sont les canaux appelés « partiellement briseurs d'intrication » (PEBT - partially entanglement breaking). De plus, une distinction existe entre les canaux qui réduisent l'intrication à travers une bipartition (A|B) et ceux qui détruisent l'intrication au sein d'un sous-système (B) d'un système composé plus large. Ces derniers sont connus sous le nom de canaux « d'annihilation d'intrication » (EA - entanglement annihilating). L'article traite de la nécessité de caractériser ces classes intermédiaires — spécifiquement les canaux $r$-partiellement briseurs d'intrication ($r$-PEBT) et les canaux $r$-partiellement d'annihilation d'intrication ($r$-PEAT) — et de développer des méthodes pour identifier les canaux qui préservent l'intrication de haute dimension (canaux ne brisant pas la ressource).

Méthodologie
Les auteurs emploient un cadre de théorie des ressources combiné à des outils de théorie des opérateurs pour analyser les canaux quantiques agissant sur des espaces de Hilbert de dimension $d$ ($C^d$).

1. Définitions et caractérisation :

   • $r$-PEBT : Un canal $S$ est $r$-PEBT s'il réduit le nombre de Schmidt de tout état d'entrée $\rho$ tel que $SN[(id_A \otimes S)\rho] \leq r$.
   • $r$-PEAT : Un canal $E$ agissant sur un sous-système $B$ est $r$-partiellement d'annihilation d'intrication si $SN[E(\rho_B)] \leq r$ pour tout $\rho_B$. Les auteurs distinguent les canaux $r$-PEAT locaux (produit tensoriel de canaux individuels) et non-locaux.
   • Isomorphisme de Choi-Jamiołkowski : Les auteurs utilisent la matrice de Choi ($C_S$) pour caractériser ces canaux. Un résultat clé issu de la littérature antérieure (Chruściński et al.) est utilisé : $S \in r\text{-PEBT}$ si et seulement si $SN(C_S) \leq r$.

2. Analyse topologique :

   • L'article établit que l'ensemble des canaux $r$-PEBT est à la fois convexe et compact. Cela est prouvé en montrant que les combinaisons convexes de canaux $r$-PEBT restent dans l'ensemble et que l'ensemble contient tous ses points limites.
   • Des propriétés topologiques similaires (convexité et compacité) sont établies pour l'ensemble des canaux $r$-PEAT non-locaux.

3. Critères de détection :

   • Opérateurs témoins (Witness operators) : Pour détecter les canaux qui ne sont pas $r$-PEBT (c'est-à-dire ceux préservant un $SN > r$), les auteurs proposent une approche basée sur des témoins. Ils définissent une fonctionnelle scalaire basée sur la distance de la norme diamant à l'ensemble des canaux $r$-PEBT.
   • Conditions spectrales : Une condition suffisante est dérivée en utilisant des applications $r$-positives mais non $(r+1)$-positives ($\Lambda$). Si un canal $S$ satisfait $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$, alors $S \in r\text{-PEBT}$.
   • Nombre de Schmidt absolu : Pour $r$-PEAT, l'article introduit le concept de canaux à « nombre de Schmidt absolu » (canaux où le SN de sortie reste $\leq r$ sous toute unitaire non-locale). Une condition suffisante basée sur le spectre des valeurs propres de l'état de sortie est fournie pour les canaux covariants.

4. Études de cas :

   • Les auteurs appliquent ces critères aux canaux de dépolarisation qutrit et de déphasage pour déterminer les régimes de paramètres précis où ces canaux échouent à être 2-PEBT ou 2-localement $r$-PEAT.

Contributions clés et résultats

1. Caractérisation de $r$-PEBT :

   • Prouvé que l'ensemble des canaux $r$-PEBT est convexe et compact, permettant l'utilisation d'opérateurs témoins pour la détection.
   • Démontré que la concaténation en série de deux canaux $r$-PEBT reste $r$-PEBT.
   • Montré que l'ensemble n'est pas fermé sous les produits tensoriels pour $r > 1$ (contrairement aux canaux EB standards où $r=1$). Spécifiquement, si $S_1, S_2 \in r\text{-PEBT}$, alors $S_1 \otimes S_2$ peut ne pas être dans $r\text{-PEBT}$ (bien qu'il soit dans $r^2\text{-PEBT}$).

2. Introduction de $r$-PEAT :

   • Défini et caractérisé les canaux $r$-PEAT non-locaux.
   • Prouvé que la concaténation en série de canaux non-locaux $r$-PEAT reste non-locale $r$-PEAT.
   • Démontré que l'ordre de la concaténation importe : si $E$ est un canal non-local $r$-PEAT et $F_B$ est un canal arbitraire, $E \circ F_B$ est non-local $r$-PEAT, mais $F_B \circ E$ ne l'est pas forcément (car $F_B$ pourrait augmenter le nombre de Schmidt).

3. Détection des canaux ne brisant pas la ressource :

   • Fourni des plages de paramètres explicites pour les canaux de dépolarisation et de déphasage qutrit où ils agissent comme des canaux non-partiellement briseurs d'intrication (préservant $SN=3$).
   • Pour le canal de dépolarisation qutrit $S_3(\rho) = p\rho + \frac{1-p}{3}I$, il est 2-PEBT si $0 \leq p \leq 5/8$ et non-2-PEBT (préservant $SN=3$) si $5/8 < p \leq 1$.
   • Pour le canal de déphasage qutrit, il est 2-PEBT si $0 \leq v \leq 1/2$ et non-2-PEBT si $1/2 < v \leq 1$.

4. Relations d'ensembles :

   • Établi la hiérarchie : $EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$.
   • Montré que $r\text{-PEBT} \subset 2\text{-local } r\text{-PEAT}$ (chaque canal $r$-PEBT est un canal 2-localement $r$-PEAT).
   • Démontré que la réciproque est fausse : $2\text{-local } r\text{-PEAT} \not\subset r\text{-PEBT}$.
   • Prouvé que $r\text{-PEBT}$ et le non-local $r$-PEAT ont une intersection non vide, mais aucun n'est un sous-ensemble de l'autre.

Signification et affirmations
L'article affirme fournir un cadre théorique complet pour comprendre comment les canaux quantiques dégradent la dimensionnalité de l'intrication, allant au-delà de la vision binaire de la rupture d'intrication. En caractérisant les propriétés topologiques (convexité et compacité) de ces ensembles de canaux, les auteurs permettent le développement de méthodes de détection efficaces (témoins) pour identifier les canaux qui préservent les ressources d'intrication de haute dimension.

L'introduction des « canaux partiellement d'annihilation d'intrication » étend la théorie des ressources aux scénarios où l'intrication est détruite au sein d'un sous-système mais pas nécessairement à travers le système. Les auteurs soulignent que l'identification des canaux « ne brisant pas la ressource » est impérative pour un traitement fiable de l'information quantique. Le travail pose les prescriptions pour identifier de tels canaux, spécifiquement à travers les conditions suffisantes dérivées et les régimes de paramètres pour les modèles de bruit standards.

Les auteurs concluent avec modestie, notant que bien qu'ils aient fourni une caractérisation topologique, obtenir une représentation de type Choi-Kraus pour les canaux $r$-PEAT reste un problème ouvert. Ils soulignent également que l'absence de fermeture sous les produits tensoriels pour $r\text{-PEBT}$ ($r>1$) motive des investigations supplémentaires sur la question de savoir si des propriétés similaires s'appliquent aux $r$-PEAT. L'article ne propose pas de nouveaux dispositifs expérimentaux, mais offre plutôt les outils théoriques nécessaires pour analyser les capacités des canaux et la préservation des ressources dans les systèmes de haute dimension.