Certified quantum supremacy in entanglement-assisted prepare-measure random-access-code

Sintesi Tecnica: Supremazione Quantistica Certificata nei Codici di Accesso Casuale Prepare-Measure Assistiti da Entanglement

Definizione del Problema
Il documento affronta i limiti dei classici codici di accesso casuale Prepare-Measure (PMRC), un framework in cui un mittente (Alice) codifica una stringa di $n$ bit in un sistema fisico di dimensione $d$ (inviando $l < n$ bit o qubit) affinché un ricevente (Bob) possa decodificare un bit specifico $x_y$ basato su un input $y$. Sebbene i PMRAC quantistici standard offrano vantaggi rispetto ai controparti classici, questo lavoro investiga uno scenario "semi-device-independent" (SDI) potenziato da entanglement pregresso. Nello specifico, gli autori esplorano una famiglia di giochi PMRAC $n \to l$ assistiti da entanglement in cui Alice e Bob condividono uno stato bipartito entangled. Alice applica operazioni quantistiche locali (unitari) al suo sottosistema per codificare il suo input $x$ e trasmette i suoi $l$ qubit a Bob, il quale esegue una misura congiunta sui qubit ricevuti e sulla sua metà conservata dello stato entangled. L'obiettivo è determinare le probabilità ottimali di successo quantistico per questi giochi e dimostrare la "suprarezza quantistica" sia rispetto ai RAC classici che rispetto ai PMRAC quantistici standard (non assistiti da entanglement).

Metodologia
Gli autori utilizzano un framework semi-device-indipendente, assumendo un limite sulla dimensione dello spazio di Hilbert del sistema comunicato senza fidarsi del funzionamento interno dei dispositivi di preparazione e misura. La metodologia principale consiste in:

1. Ottimizzazione Analitica: Gli autori derivano le probabilità di successo ottimali per casi specifici ($4 \to 1$, $4 \to 2$ e $5 \to l$) utilizzando una tecnica analitica elegante. Ciò comporta la formulazione della probabilità di successo in termini di una funzione di correlazione $I$ e la massimizzazione della stessa tramite disuguaglianze convesse e proprietà delle norme di Frobenius scalate.
2. Certificazione di Stato e Misura: Analizzando le condizioni necessarie per raggiungere i valori ottimali di correlazione, gli autori deducono le proprietà necessarie degli stati quantistici condivisi, delle unità di codifica di Alice e degli osservabili di misura di Bob.
3. Generalizzazione: Il framework viene esteso a un caso generale $n \to n-2$ per derivare i limiti superiori sulle probabilità di successo quantistiche per arbitrarie $n$.

Contributi Chiave e Risultati

• PMRAC $4 \to 1$ assistito da Entanglement:

  • Gli autori derivano analiticamente la probabilità di successo quantistica ottimale come $(P_{4\to1}^Q)_{opt} = \frac{1}{2} + \frac{1}{2\sqrt{2}} \approx 0.853$.
  • Questo valore supera la probabilità di successo classica ottimale per $4 \to 2$ ($P_{4\to2}^C = 0.75$) e il PMRAC quantistico standard ($P_{4\to1}^{SQ} \approx 0.7415$).
  • Certificazione: Il raggiungimento di questa probabilità ottimale certifica che lo stato condiviso è uno stato a due qubit massimamente entangled, che le operazioni di codifica di Alice sono specifiche unità mutuamente anticommutanti e che le misure di Bob sono unicamente determinate da questi stati. Ciò stabilisce una capacità di "self-testing" per le operazioni unitarie.

• PMRAC $4 \to 2$ assistito da Entanglement:

  • La probabilità di successo quantistica ottimale è derivata come $(P_{4\to2}^Q)_{opt} = \frac{1}{2} + \frac{\sqrt{3}}{4} \approx 0.933$.
  • Questo valore supera il limite classico anche quando vengono comunicati tre bit classici ($P_{4\to3}^C$).
  • Necessità dello Stato: Gli autori dimostrano che il raggiungimento di questo valore ottimale richiede che lo stato condiviso sia uno stato GHZ a tre qubit (o uno stato della classe GHZ). A differenza del caso $4 \to 1$, essi notano la difficoltà nel provare analiticamente l'esistenza di una trasformazione "grand unitary" tra le basi per questo caso, sebbene forniscano costruzioni esplicite per stati e misure.

• PMRAC $5 \to l$ assistito da Entanglement:

  • Il documento deriva i limiti superiori per gli scenari $5 \to 1$, $5 \to 2$ e $5 \to 3$.
  • I limiti superiori derivati sono approssimativamente $0.847$, $0.887$e$0.947$, rispettivamente.
  • Questi risultati dimostrano costantemente un vantaggio quantistico rispetto ai RAC classici per le stesse restrizioni di comunicazione.

• Caso Generale $n \to n-2$:

  • Il framework viene generalizzato per arbitrarie $n$ dove $l = n-2$.
  • Un limite superiore per la probabilità di successo quantistica viene derivato: $P_{n\to n-2}^Q \leq \frac{1}{2} + \frac{\sqrt{n(n-1)}}{2^n}$.
  • Il documento conferma che per $n=\{3, 4, 5\}$, i risultati specifici derivati in precedenza soddisfano questo limite generale.

Significato e Rivendicazioni
Il documento rivendica di aver dimostrato la suprarezza quantistica certificata nel contesto dei giochi di comunicazione assistiti da entanglement. Il significato primario risiede nella capacità non solo di superare i protocolli classici e quantistici standard, ma anche di certificare le risorse fisiche e le operazioni sottostanti in modo semi-device-indipendente.

Nello specifico, gli autori affermano che:

1. Superiorità: I PMRAC assistiti da entanglement superano strettamente sia i RAC classici che i PMRAC quantistici standard per i casi analizzati.
2. Self-Testing: La probabilità di successo ottimale nel caso $4 \to 1$ funge da testimone che certifica che lo stato condiviso è massimamente entangled, che le operazioni unitari locali di Alice sono specifici operatori anticommutanti e che le misure di Bob sono fissate.
3. Identificazione delle Risorse: Per il caso $4 \to 2$, si dimostra che il valore ottimale è raggiungibile solo se la risorsa condivisa è uno stato della classe GHZ, evidenziando il ruolo specifico dell'entanglement multipartito in questi compiti di comunicazione.

Gli autori concludono che il loro framework concettuale e tecnico fornisce una base per investigare sistematicamente i giochi di comunicazione assistiti da entanglement, pur notando che i casi con $n$ bit per arbitrarie $l$ rimangono computazionalmente impegnativi e sono lasciati a lavori futuri. Suggeriscono inoltre che lo studio della robustezza di questi protocolli rispetto al rumore sia una potenziale direzione futura.