Near-optimal entanglement-communication tradeoffs for remote state preparation

Sintesi Tecnica: Trade-off quasi-ottimali tra entanglement e comunicazione per la preparazione remota di stati

Enunciato del Problema
Il documento indaga i costi delle risorse per la Preparazione Remota di Stati (RSP), un compito in cui un mittente (Alice) possiede una descrizione classica di uno stato quantistico e desidera preparare tale stato sul lato di un ricevente (Bob) utilizzando entanglement condiviso e comunicazione classica. A differenza della teletrasporto quantistico, dove lo stato è sconosciuto ad Alice, la RSP sfrutta la conoscenza dello stato da parte di Alice per potenzialmente ridurre i costi di comunicazione.

Gli autori si concentrano specificamente sulla preparazione di stati piatti, definiti come stati misti della forma $P/k$, dove $P$ è un proiettore di rango-$k$ su uno spazio di Hilbert di dimensione $d$, $\mathbb{C}^d$. Questo insieme, indicato come $\mathcal{G}(d, k)$, è significativo poiché gli stati piatti sono "completi" per la RSP; compiti RSP arbitrari possono essere ridotti alla RSP di stati piatti tramite il metodo "Brothers Extension". La domanda centrale è determinare il trade-off ottimale tra la quantità di entanglement condiviso (misurato in ebit) e la comunicazione classica (misurata in bit) necessaria per preparare questi stati con una data tolleranza all'errore.

Metodologia
Gli autori impiegano una combinazione di limiti inferiori di teoria dell'informazione e protocolli costruttivi di limiti superiori.

• Tecnica del Limite Inferiore:
  Gli autori introducono un approccio innovativo per limitare inferiormente i costi di entanglement utilizzando l'entropia min di entanglement lisciata ($H^{\varepsilon}_{\min}$), una misura più forte del rango di Schmidt precedentemente utilizzato nella letteratura sulla RSP.

  1. Majorizzazione: Sfruttano il fatto che qualsiasi protocollo RSP che utilizza Operazioni Locali e Comunicazione Classica (LOCC) deve soddisfare una condizione di majorizzazione: lo spettro di Schmidt dello stato condiviso iniziale deve essere majorizzato dalla media dell'insieme degli spettri di Schmidt degli stati finali.
  2. Argomento di Sovrapposizione: Per analizzare lo spettro degli stati finali, eseguono il protocollo in sovrapposizione sugli input di Alice (proiettori estruiti dalla misura di Haar su $\mathcal{G}(d, k)$). Ciò consente loro di correlare lo spettro dello stato iniziale con lo spettro medio dell'insieme di output.
  3. Analisi Spettrale: Condizionando sul messaggio classico $c$ inviato da Alice, dimostrano che lo stato ridotto sul lato di Bob è vicino allo stato massimamente misto, con deviazioni limitate dal costo di comunicazione $m$. Utilizzando disuguaglianze di concentrazione e proprietà della funzione di fedeltà troncata, derivano un limite inferiore sull'entropia min lisciata dello stato iniziale in termini di $\log d$ e del costo di comunicazione.

• Tecniche del Limite Superiore:
  Gli autori propongono due protocolli per la $(d, k)$-RSP:

  1. Protocollo degli Operatori di Kraus: Una generalizzazione di un protocollo di [Ben+05] per stati puri. Utilizza una collezione di unitarie per definire una misurazione generalizzata (POVM). Questo protocollo raggiunge un costo di entanglement quasi ottimale ma sostiene un costo di comunicazione subottimale di $\log(d/k) + \log \log d$. Presenta un errore unilatero: se il protocollo fallisce, il fallimento è noto; se ha successo, lo stato è preparato perfettamente.
  2. Campionamento di Rifiuto Smorzato: Un protocollo innovativo che affina il metodo standard di campionamento di rifiuto. Invece di misurare un proiettore fisso, Alice misura una sequenza di proiettori casuali $Q_i = U_i P U_i^\dagger$ utilizzando una POVM "smorzata" $\{\sqrt{\eta}Q_i, \sqrt{I-\eta Q_i}\}$. Questo smorzamento impedisce che lo stato entangled condiviso venga disturbato significativamente durante le iterazioni fallite (analogo al test della bomba di Elitzur-Vaidman). Questo protocollo raggiunge un costo di comunicazione di $\log(d/k) + O(\log(1/\varepsilon))$ con errore nel caso peggiore $\varepsilon$.
  3. Riduzione da Caso Medio a Caso Peggiore: Gli autori forniscono una riduzione generale che mostra come qualsiasi protocollo $(d, k)$-RSP con errore nel caso medio possa essere convertito in uno con errore nel caso peggiore con solo un modesto aumento della comunicazione, anche senza casualità condivisa.

Contributi e Risultati Chiave

1. Trade-off Entanglement-Comunicazione Stretti:
   Il documento stabilisce limiti inferiori e superiori quasi coincidenti per le risorse necessarie a preparare stati piatti.

   • Limite Inferiore: Per qualsiasi protocollo $(d, k)$-RSP con comunicazione $m$ ed errore medio rilassato $\varepsilon_r$, l'entropia min di entanglement lisciata dello stato condiviso soddisfa:
     $$H^{\delta+\gamma}_{\min}(A)_\sigma \geq \log d - 3\log(1/\gamma) - O(1)$$
     dove $\delta$ dipende da $k/d$ e $m/d$. Crucialmente, ciò implica che qualsiasi stato entangled puro capace di eseguire RSP con comunicazione $o(d)$ deve contenere quasi $\log d$ ebit distillabili.
   • Limite Superiore: Gli autori presentano protocolli che raggiungono costi di comunicazione di $\log(d/k) + O(\log(1/\varepsilon))$ e costi di entanglement di $\lceil \log d \rceil$ ebit (uno stato massimamente entangled di dimensione locale $d$).

2. Miglioramento rispetto ai Limiti Precedenti:

   • Per stati puri ($k=1$), il limite inferiore sul costo di entanglement supera il miglior limite precedentemente noto di [Ben+05] perché utilizza la più forte misura di entropia min lisciata invece del rango di Schmidt.
   • Per stati misti, questi sono i primi limiti superiori e inferiori quasi coincidenti per la RSP. Lavori precedenti (es. [BN20]) fornivano limiti sulla somma di comunicazione ed entanglement, ma non isolavano un limite inferiore non banale sull'entanglement da solo per protocolli con comunicazione $\log d$.

3. Applicazioni:

   • Incomprimibilità degli Stati Piatti: Il limite inferiore di entanglement è utilizzato per riderivare e rafforzare il risultato secondo cui gli insiemi di stati piatti non possono essere compressi (compressione visibile) di più di un numero costante di qubit, anche con tolleranza all'errore non banale.
   • Protocollo per la Funzione di Uguaglianza: Gli autori costruiscono un protocollo assistito da entanglement per la funzione di Uguaglianza ($EQ_n$) su $n$ bit. Mappando gli input su stati piatti e utilizzando il loro efficiente protocollo RSP, raggiungono un protocollo che utilizza $O(1)$ comunicazione classica e solo $\frac{1}{2}\log n + O(\log(1/\varepsilon))$ coppie EPR condivise. Ciò dimezza il costo di entanglement dei protocolli precedenti (che utilizzavano $\log n$ ebit) mantenendo una comunicazione costante.

Significato
Il documento afferma di risolvere la domanda fondamentale sulla relazione tra efficienza della comunicazione e distillabilità dell'entanglement nel contesto della RSP. Dimostra che per stati entangled puri, la capacità di eseguire una RSP efficiente in termini di comunicazione di stati piatti è essenzialmente equivalente alla capacità di distillare $\log d$ ebit. Ciò stabilisce un collegamento diretto tra l'utilità di uno stato entangled per un compito di comunicazione e il suo entanglement distillabile.

Inoltre, il lavoro fornisce i primi limiti rigorosi e quasi coincidenti per la RSP di stati misti, un ambito che era stato largamente inesplorato rispetto alla RSP di stati puri. La tecnica di "campionamento di rifiuto smorzato" offre un nuovo strumento per ridurre i costi di entanglement in compiti di comunicazione quantistica, potenzialmente applicabile alla divisione e ridistribuzione di stati. I risultati suggeriscono che il "costo" della RSP è fondamentalmente legato alla dimensione dello spazio degli stati e che riduzioni significative nel costo di entanglement (sotto $\log d$) sono impossibili senza un corrispondente aumento lineare della comunicazione.