On the characterization of partially entanglement breaking and annihilating channels

Sintesi Tecnica: Sulla Caratterizzazione dei Canali Parzialmente Entanglement Breaking e Annihilating

Definizione del Problema
L'entanglement quantistico è una risorsa fondamentale per i compiti di elaborazione dell'informazione quantistica, come la teletrasporto, la crittografia e la discriminazione dei canali. Sebbene la presenza di entanglement sia spesso binaria (separabile vs. entangled), la dimensionalità dell'entanglement, quantificata dal numero di Schmidt (SN), è cruciale per i protocolli ad alta dimensione. Gli stati con numeri di Schmidt più elevati offrono vantaggi distinti in compiti come la discriminazione dei canali e la distribuzione di chiavi quantistiche. Tuttavia, i canali quantistici (rumore) possono degradare queste risorse riducendo il numero di Schmidt degli stati trasmessi.

Mentre i canali "entanglement breaking" (EB) sono ben caratterizzati come canali che disaccoppiano completamente un sottosistema, esiste una classe più ampia di canali che riducono il numero di Schmidt senza distruggere necessariamente tutto l'entanglement. Questi sono definiti canali "parzialmente entanglement breaking" (PEBT). Inoltre, esiste una distinzione tra i canali che riducono l'entanglement attraverso una bipartizione (A|B) e quelli che distruggono l'entanglement all'interno di un sottosistema (B) di un sistema composito più grande. Questi ultimi sono noti come canali "entanglement annihilating" (EA). L'articolo affronta la necessità di caratterizzare queste classi intermedie — specificamente i canali $r$-partially entanglement breaking ($r$-PEBT) e $r$-partially entanglement annihilating ($r$-PEAT) — e di sviluppare metodi per identificare i canali che preservano l'entanglement ad alta dimensione (canali non resource breaking).

Metodologia
Gli autori impiegano un framework di teoria delle risorse combinato con strumenti di teoria degli operatori per analizzare i canali quantistici che agiscono su spazi di Hilbert a $d$ dimensioni ($C^d$).

1. Definizioni e Caratterizzazione:

   • $r$-PEBT: Un canale $S$ è $r$-PEBT se riduce il numero di Schmidt di qualsiasi stato di input $\rho$ tale che $SN[(id_A \otimes S)\rho] \leq r$.
   • $r$-PEAT: Un canale $E$ che agisce su un sottosistema $B$ è $r$-partially entanglement annihilating se $SN[E(\rho_B)] \leq r$ per tutti i $\rho_B$. Gli autori distinguono tra canali $r$-PEAT locali (prodotto tensoriale di canali individuali) e non locali.
   • Isomorfismo di Choi-Jamiołkowski: Gli autori utilizzano la matrice di Choi ($C_S$) per caratterizzare questi canali. Un risultato chiave dalla letteratura precedente (Chruściński et al.) viene utilizzato: $S \in r\text{-PEBT}$ se e solo se $SN(C_S) \leq r$.

2. Analisi Topologica:

   • Il documento stabilisce che l'insieme dei canali $r$-PEBT è sia convesso che compatto. Ciò è dimostrato mostrando che le combinazioni convesse di canali $r$-PEBT rimangono nell'insieme e che l'insieme contiene tutti i suoi punti limite.
   • Simili proprietà topologiche (convessità e compattezza) sono stabilite per l'insieme dei canali $r$-PEAT non locali.

3. Criteri di Rilevamento:

   • Operatori Witness: Per rilevare i canali che non sono $r$-PEBT (ovvero quelli che preservano $SN > r$), gli autori propongono un approccio basato su witness. Definiscono un funzionale scalare basato sulla distanza della norma di diamante rispetto all'insieme dei canali $r$-PEBT.
   • Condizioni Spettrali: Viene derivata una condizione sufficiente utilizzando mappe $\Lambda$ che sono $r$-positive ma non $(r+1)$-positive. Se un canale $S$ soddisfa $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$, allora $S \in r\text{-PEBT}$.
   • Numero di Schmidt Assoluto: Per $r$-PEAT, il documento introduce il concetto di canali a "numero di Schmidt assoluto" (canali dove l'SN di output rimane $\leq r$ sotto qualsiasi unitaria non locale). Una condizione sufficiente basata sullo spettro degli autovalori dello stato di output è fornita per i canali covarianti.

4. Case Studies:

   • Gli autori applicano questi criteri ai canali di depolarizzazione qutritica e di dephasing per determinare i regimi precisi di parametri in cui questi canali falliscono nel non essere 2-PEBT o 2-localmente $r$-PEAT.

Contributi Chiave e Risultati

1. Caratterizzazione di $r$-PEBT:

   • Dimostrato che l'insieme dei canali $r$-PEBT è convesso e compatto, consentendo l'uso di operatori witness per il rilevamento.
   • Dimostrato che la concatenazione in serie di due canali $r$-PEBT rimane $r$-PEBT.
   • Mostrato che l'insieme non è chiuso rispetto ai prodotti tensoriali per $r > 1$ (a differenza degli standard canali EB dove $r=1$). Specificamente, se $S_1, S_2 \in r\text{-PEBT}$, allora $S_1 \otimes S_2$ potrebbe non essere in $r\text{-PEBT}$ (sebbene lo sia in $r^2\text{-PEBT}$).

2. Introduzione di $r$-PEAT:

   • Definito e caratterizzato i canali $r$-PEAT non locali.
   • Dimostrato che la concatenazione in serie di canali $r$-PEAT non locali rimane $r$-PEAT non locale.
   • Dimostrato che l'ordine di concatenazione conta: se $E$ è un canale $r$-PEAT non locale e $F_B$ è un canale arbitrario, $E \circ F_B$ è $r$-PEAT non locale, ma $F_B \circ E$ potrebbe non esserlo (poiché $F_B$ potrebbe aumentare il numero di Schmidt).

3. Rilevamento di Canali Non-Resource Breaking:

   • Fornito intervalli espliciti di parametri per i canali di depolarizzazione e dephasing qutritici in cui agiscono come non-partially entanglement breaking (preservando $SN=3$).
   • Per il canale di depolarizzazione qutritico $S_3(\rho) = p\rho + \frac{1-p}{3}I$, è 2-PEBT se $0 \leq p \leq 5/8$ e non-2-PEBT (preservando $SN=3$) se $5/8 < p \leq 1$.
   • Per il canale di dephasing qutritico, è 2-PEBT se $0 \leq v \leq 1/2$ e non-2-PEBT se $1/2 < v \leq 1$.

4. Relazioni tra Insiemi:

   • Stabilito la gerarchia: $EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$.
   • Mostrato che $r\text{-PEBT} \subset 2\text{-local } r\text{-PEAT}$ (ogni canale $r$-PEBT è un canale 2-localmente $r$-PEAT).
   • Dimostrato che il inverso è falso: $2\text{-local } r\text{-PEAT} \not\subset r\text{-PEBT}$.
   • Dimostrato che $r\text{-PEBT}$ e $r$-PEAT non locale hanno un'intersezione non vuota, ma nessuno dei due è un sottoinsieme dell'altro.

Significato e Rivendicazioni
Il documento sostiene di fornire un framework teorico completo per comprendere come i canali quantistici degradino la dimensionalità dell'entanglement, andando oltre la visione binaria dell'entanglement breaking. Caratterizzando le proprietà topologiche (convessità e compattezza) di questi insiemi di canali, gli autori consentono lo sviluppo di metodi di rilevamento efficienti (witness) per identificare i canali che preservano le risorse di entanglement ad alta dimensione.

L'introduzione dei "canali parzialmente entanglement annihilating" estende la teoria delle risorse a scenari in cui l'entanglement viene distrutto all'interno di un sottosistema ma non necessariamente attraverso l'intero sistema. Gli autori sottolineano che l'identificazione di canali "non-resource breaking" è imperativa per un'elaborazione affidabile dell'informazione quantistica. Il lavoro fornisce prescrizioni per identificare tali canali, specificamente attraverso le condizioni sufficienti derivate e i regimi di parametri per i modelli di rumore standard.

Gli autori concludono con modestia, notando che, sebbene abbiano fornito una caratterizzazione topologica, l'ottenimento di una rappresentazione di tipo Choi-Kraus per i canali $r$-PEAT rimane un problema aperto. Evidenziano anche che la mancanza di chiusura sotto i prodotti tensoriali per $r$-PEBT ($r>1$) motiva ulteriori indagini su se proprietà simili valgano per $r$-PEAT. Il documento non propone nuovi setup sperimentali, ma offre gli strumenti teorici necessari per analizzare le capacità dei canali e la preservazione delle risorse nei sistemi ad alta dimensione.