Absorption capacity of separable noise: Bell-mixing thresholds on separability and teleportation

Sintesi Tecnica: Capacità di Assorbimento del Rumore Separabile

Problematica
Il documento affronta la dinamica dell'entanglement e dell'utilità della teletrasporto quantistico in sistemi a due qubit soggetti a rumore. Nello specifico, investiga le transizioni che avvengono lungo una "linea di miscelazione di Bell" (Bell-mixing line), definita come una combinazione convessa di un riferimento Bell fisso $|\Phi^+\rangle$ e uno stato di rumore separabile $\sigma$:
$$\rho_\lambda = \lambda |\Phi^+\rangle\langle\Phi^+| + (1-\lambda)\sigma, \quad \lambda \in [0, 1].$$
Vengono identificate due soglie operative critiche lungo questa linea:

1. La Soglia di Separabilità ($\lambda^*$): Il valore minimo di $\lambda$ per cui $\rho_\lambda$ diventa entangled (equivalente alla perdita della proprietà di Trasposta Parziale Positiva, o PPT, per i due qubit).
2. La Soglia di Teletrasporto ($\lambda_F$): Il valore minimo di $\lambda$ per cui la fedeltà massima di teletrasporto $F(\rho_\lambda)$ supera il limite classico di $2/3$.

Sebbene queste soglie siano ben note per casi specifici (ad esempio, gli stati di Werner), il documento cerca un quadro unificato per determinare tali valori per stati di rumore separabili generici $\sigma$ e per tracciarli mentre $\sigma$ evolve sotto canali di rumore locale.

Metodologia
Gli autori introducono una prospettiva a "riferimento fisso", spostando l'attenzione da quanto rumore distrugga un dato stato entangled a quanto riferimento Bell un dato sfondo separabile possa "assorbire" prima che avvenga una transizione. Ciò è formalizzato attraverso due capacità di assorbimento:

1. Capacità di Assorbimento dell'Entanglement ($C_{abs}(\sigma)$): Definita come il supremo del parametro di miscelazione $\eta$ tale che la trasposta parziale della miscela rimanga positiva:
   $$C_{abs}(\sigma) := \sup \{ \eta \ge 0 : \sigma^{TB} + \eta Q \succeq 0 \},$$
   dove $Q = (|\Phi^+\rangle\langle\Phi^+|)^{TB}$ e $\sigma^{TB}$ è la trasposta parziale dello stato di rumore.
2. Capacità di Assorbimento della Fedeltà ($C_F(\sigma)$): Definita analogamente, ma con la condizione di arresto che la frazione totalmente entangled $f(\rho_\eta)$ rimanga al di sotto o uguale a $1/2$ (equivalente a $F \le 2/3$):
   $$C_F(\sigma) := \sup \{ \eta \ge 0 : f(\rho_\eta) \le 1/2 \}.$$

Il documento stabilisce una trasformazione di Möbius che lega queste capacità alle soglie operative:
$$\lambda^*(\sigma) = \frac{C_{abs}(\sigma)}{1 + C_{abs}(\sigma)}, \quad \lambda_F(\sigma) = \frac{C_F(\sigma)}{1 + C_F(\sigma)}.$$

La metodologia procede derivando espressioni in forma chiusa per queste capacità per due famiglie strutturate di rumore separabile:

• Rumore di Prodotto ($\sigma = A \otimes B$): Decadimento locale indipendente.
• Stati X Separabili: Stati con entrate non nulle solo sulla diagonale e sulla anti-diagonale nella base computazionale.

Inoltre, il documento utilizza certificati di decomposizione, sfruttando la concavità delle capacità per fornire limiti inferiori per stati separabili generici decomponendoli in componenti risolte (stati di prodotto o X).

Contributi Chiave e Risultati

1. Soglie in Forma Chiusa per il Rumore di Prodotto:

   • La capacità di assorbimento dell'entanglement dipende solo dalle purità marginali locali:
     $$C_{abs}(A \otimes B) = \sqrt{(1 - \text{Tr} A^2)(1 - \text{Tr} B^2)}.$$
     Ciò implica che la soglia di separabilità $\lambda^*$ è determinata unicamente dalle impurità locali ed è indipendente dal particolare frame di riferimento massimamente entangled.
   • La capacità di assorbimento della fedeltà $C_F$ dipende sia dalle purità locali che dall'orientamento dello stato di prodotto rispetto al riferimento Bell (specificamente l'allineamento dei vettori di Bloch). Di conseguenza, $\lambda_F$ può differire da $\lambda^*$, creando un regime in cui lo stato è entangled ma non ancora utile per il teletrasporto.
   • Per riferimenti di stato puro arbitrari $|\psi\rangle$ con concurenza $C_\psi$, la capacità si riscala universalmente: $C_{abs}(A \otimes B; \psi) = C_{abs}(A \otimes B) / C_\psi$.

2. Soglie in Forma Chiusa per gli Stati X:

   • Il documento deriva formule esplicite per $C_{abs}$ e $C_F$ per stati X separabili in tutti e quattro i frame di Bell ($\Phi^\pm, \Psi^\pm$).
   • Per il frame $|\Phi^+\rangle$, $C_{abs}$ dipende dalla coerenza anti-diagonale $u$ e dalle popolazioni $b, c$ del blocco $\Psi$:
     $$C_{abs}(\sigma_X; \Phi^+) = -2 \text{Re}(u) + 2\sqrt{bc - (\text{Im}(u))^2}.$$
   • La capacità di teletrasporto $C_F$ presenta una struttura simile ma dipende dalla somma delle popolazioni $(b+c)$.
   • Un risultato chiave è la caratterizzazione esplicita del gap $\lambda_F - \lambda^*$. Tale gap svanisce (ovvero, l'entanglement e l'utilità del teletrasporto appaiono simultaneamente) se e solo se le popolazioni centrali sono uguali ($b=c$). Altrimenti, esiste un intervallo di "entanglement inutile".

3. Traiettorie di Decadimento:

   • Il framework viene applicato a canali di smorzamento di ampiezza (amplitude-damping) e dephasing locali, che preservano la struttura degli stati X.
   • Sostituendo le entrate dipendenti dal tempo nelle formule in forma chiusa, il documento genera traiettorie di soglia esplicite $\lambda^*(t)$ e $\lambda_F(t)$.
   • I risultati mostrano che, mentre il dephasing porta a cambiamenti monotoni delle soglie, l'amplitude damping può causare comportamenti non monotoni (le soglie salgono e scendono) a causa di una ridistribuzione transitoria delle popolazioni diagonali.

4. Certificati di Decomposizione:

   • Il documento dimostra che entrambe le capacità sono concave sotto decomposizione convessa. Ciò consente il calcolo di limiti inferiori certificati sulle soglie per rumore separabile generico scomponendolo in componenti di prodotto o X, evitando la necessità di ottimizzazioni numeriche complete in alcuni casi.

Significato e Rivendicazioni
Il documento sostiene di fornire un quadro analitico unificato per localizzare sia le transizioni di entanglement che quelle di teletrasporto lungo una linea di miscelazione di Bell. Il suo significato primario risiede in:

• Controllo Analitico: Andare oltre i controlli numerici di PPT o fedeltà in punti specifici per fornire formule in forma chiusa che possono essere vincolate, differenziate e tracciate lungo i canali.
• Specificità Direzionale: Trattare esplicitamente lo stato di rumore come l'input e il riferimento come fisso, distinguendo queste capacità dalle misure di entanglement indipendenti dalla direzione.
• Intuizione Operativa: Identificare chiaramente il regime di parametri in cui uno stato è entangled ma non fornisce un vantaggio quantistico nel teletrasporto (l'intervallo di "entanglement inutile"), e quantificare come l'orientamento del rumore e il tipo (prodotto vs X) influenzino questo gap.
• Estensione ai Riferimenti Puri: Fornire una semplice legge di riscalamento per il rumore di prodotto quando il riferimento è uno stato puro arbitrario, dipendente solo dalla concurenza del riferimento.

Gli autori osservano che per stati separabili generici senza una struttura speciale, l'individuazione delle soglie esatte richiede la risoluzione di un piccolo Programma di Programmazione Semidefinita (SDP), ma le forme chiuste derivate per gli stati di prodotto o X, insieme ai certificati di decomposizione, offrono un approccio pratico e analiticamente trattabile per molti modelli di rumore fisicamente rilevanti.