Local-available quantum correlation swapping in one-parameter X states

Sintesi Tecnica: Scambio di correlazione quantistica localmente disponibile in stati X a un parametro

Definizione del Problema
Le correlazioni quantistiche (QC) sono fondamentali per il vantaggio quantistico nella comunicazione e nel calcolo. Sebbene l'entanglement sia stato storicamente la risorsa primaria, sono state studiate altre correlazioni, come il disaccordo quantistico (quantum discord), per la loro significatività operativa. Lo scambio di entanglement è un protocollo critico per la ridistribuzione dell'entanglement nelle reti quantistiche, abilitando i ripetitori quantistici. Recentemente, questo concetto è stato generalizzato allo "Scambio di Correlazione Quantistica" (QCS) per altre metriche come il disaccordo quantistico; tuttavia, le Correlazioni Quantistiche Localmente Disponibili (LAQC), introdotte da Mundarain e Ladrón de Guevara, rimangono poco studiate in questo contesto. La LAQC è definita tramite basi mutuamente unbiased (MUB) ed è stata dimostrata essere più robusta contro la decoerenzaia Markoviana rispetto all'entanglement. Il problema specifico affrontato è determinare come la LAQC si comporti sotto un protocollo QCS applicato a stati X a 2 qubit, investigando in particolare se stati iniziali non classici e misure proiettive entangled possano generare uno stato finale con LAQC non nulla, anche se lo stato finale è separabile.

Metodologia
Gli autori analizzano la ridistribuzione della LAQC utilizzando lo schema standard QCS. Il protocollo prevede due coppie di sistemi bipartiti, $\rho_{AB}$ e $\rho_{CD}$, inizialmente in uno stato prodotto $\rho_{ABCD} = \rho_{AB} \otimes \rho_{CD}$. Una misura proiettiva (di von Neumann) viene eseguita sui sottosistemi $B$ e $C$ utilizzando uno stato puro entangled $|\phi\rangle$. Lo stato risultante dei sottosistemi non interagenti $A$ e $D$ è $\rho_{AD}$.

Lo studio si concentra sugli stati X a 2 qubit, una classe rappresentativa di matrici densità che può essere mappata in una forma a 5 parametri (o ridotta a 3 parametri tramite trasformazioni unitarie locali). Gli autori utilizzano l'espressione analitica esatta per il quantificatore LAQC $L(\rho_X)$ derivata da Bellorin et al. per stati X generali, che dipende dai parametri di Bloch $\{T_1, T_2, T_3, x_3, y_3\}$.

Per illustrare il comportamento generale, gli autori applicano questo framework a cinque famiglie specifiche di stati X a un parametro:

1. Stati di Werner: miscele statistiche di uno stato di Bell e dello stato massimamente misto.
2. Stati $\alpha$ e $\beta$: stati Bell-diagonali correlati ai limiti superiori e inferiori del disaccordo quantistico.
3. Stati misti a un parametro coinvolgenti un elemento di base: miscele di uno stato massimamente entangled e di uno stato della base computazionale.
4. Stati Misti Massimamente Entangled (MEMS): stati che massimizzano l'entanglement per una data entropia lineare.

Per ogni famiglia, gli autori derivano i parametri di Bloch dello stato finale $\rho_{AD}$ in funzione dei parametri dello stato iniziale e del parametro di misura $\xi$. Successivamente, calcolano il quantificatore LAQC e la concurenza (come misura dell'entanglement) per gli stati risultanti.

Contributi Chiave e Risultati

• Condizioni Generali per lo Scambio di LAQC: Gli autori stabiliscono due teoremi riguardanti la non-classicità dello stato finale. Il Teorema 1 afferma che se gli stati iniziali hanno parametri $T_1$ e $T_2$ non nulli (indicando non-classicità), lo stato finale avrà una LAQC non nulla, a condizione che lo stato di misura sia entangled. Il Teorema 2 identifica che una coppia iniziale non classica può produrre solo uno stato finale classico (LACCA nulla) se esiste un particolare "disallineamento" nei loro parametri di coerenza (ad esempio, uno stato ha $T_1=0, T_2 \neq 0$ mentre l'altro ha $T_1 \neq 0, T_2=0$).
• Analisi di Famiglie Specifiche:
  • Stati di Werner e $\alpha$: Per queste famiglie, lo stato risultante $\rho_{AD}$ mostra una LAQC non nulla per un ampio intervallo di parametri. Tuttavia, per gli stati $\alpha$, lo stato risultante è sempre separabile (Concurenza = 0), indipendentemente dai parametri iniziali o dalle impostazioni di misura.
  • Stati $\beta$: Lo stato risultante mostra una LAQC non nulla a meno che gli stati iniziali non siano separabili o la misura non sia banale.
  • Stati misti a elemento di base e MEMS: Un risultato significativo è che per queste famiglie, gli stati risultanti sono spesso separabili (Concurenza = 0) in ampi settori dello spazio dei parametri, pur mantenendo una misura LAQC non nulla. Nello specifico, per i MEMS, lo stato finale è sempre separabile, ma la misura LAQC rimane non nulla a meno che non vengano soddisfatte specifiche condizioni iniziali.
• Confronto con l'Entanglement: Lo studio evidenzia una netta divergenza tra l'entanglement e la LAQC nel protocollo di scambio. Mentre gli stati iniziali in alcune famiglie (come gli stati misti a elemento di base) possono avere una concurenza superiore alla LAQC, gli stati scambiati presentano frequentemente un regime in cui sono separabili (entanglement zero) ma possiedono una LAQC non nulla.

Significatività e Rivendicazioni
L'articolo sostiene che l'analisi dimostra la robustezza della LAQC nei protocolli di ridistribuzione. La principale significatività risiede nell'osservazione che la LAQC può persistere nello stato finale anche quando l'entanglement è completamente perso (ovvero, lo stato diventa separabile). Gli autori osservano che, sebbene gli stati iniziali possano avere un entanglement superiore alla LAQC, il processo di scambio può generare stati in cui la LAQC è l'unica correlazione quantistica rimanente.

Gli autori concludono che questi risultati, in particolare la capacità di generare una LAQC non nulla in stati separabili tramite QCS, suggeriscono che la LAQC possa essere considerata una "risorsa genuina" nella tecnologia dell'informazione quantistica. L'utilità potenziale è sottolineata dal fatto che la LAQC non soffre di "morte improvvisa" (sudden death) nello stesso modo dell'entanglement sotto certe dinamiche, e la sua presenza non nulla in stati scambiati separabili apre nuove strade per la sua applicazione, distinte dai tradizionali protocolli basati sull'entanglement.