Maximal global device-independent randomness from projective measurements in every dimension

Sintesi Tecnica: Massima Casualità Globale Device-Independent da Misure Proiettive in Ogni Dimensione

Enunciato del Problema
La generazione di numeri casuali quantistici device-independent (DIQRNG) permette di certificare la casualità privata basandosi esclusivamente sulle statistiche di misura osservate, senza richiedere la fiducia nel funzionamento interno dei dispositivi. Sebbene sia teoricamente stabilito che una singola parte possa certificare un massimo di $2 \log(d)$ bit di casualità in una dimensione locale $d$ utilizzando misure generalizzate (non proiettive), l'implementazione pratica di tali misure è complessa. Le misure proiettive sono l'opzione sperimentalmente più fattibile. Tuttavia, rimaneva aperta una questione critica: è possibile raggiungere il massimo teorico di $2 \log(d)$ bit di casualità globale (certificata per entrambe le parti congiuntamente) utilizzando solo misure proiettive per tutte le dimensioni $d \ge 2$? Risultati precedenti che confermavano ciò erano limitati al caso dei qubit ($d=2$).

Metodologia
Gli autori affrontano questo problema costruendo espliciti protocolli DIQRNG basati su una famiglia di disuguaglianze di Bell introdotte originariamente nel Rif. [15], adattate per includere un'impostazione di misura specifica per la generazione di casualità.

1. Costruzione della Disuguaglianza di Bell: Il protocollo utilizza una disuguaglianza di Bell $\hat{W}_d(p)$ parametrizzata da un intero $d \ge 2$. In questo scenario:

   • Alice ha due impostazioni ($x \in \{1, 2\}$), ciascuna con $d$ esiti.
   • Bob ha $d^2 + 1$ impostazioni. Le prime $d^2$ impostazioni sono utilizzate per massimizzare la violazione della disuguaglianza base del Rif. [15], mentre l'ultima impostazione, etichettata come 'r', è specificamente progettata per generare casualità.
   • La disuguaglianza combina termini della disuguaglianza originale del Rif. [15] con un nuovo termine che coinvolge l'impostazione 'r' di Bob e la prima impostazione di Alice.

2. Self-Testing e Certificazione: Gli autori impiegano una decomposizione sum-of-squares (SOS) dell'operatore di Bell per derivare il valore quantistico massimo, che è $\sqrt{d(d-1)} + 1$. Analizzando le condizioni necessarie per raggiungere tale violazione massima, derivano vincoli algebrici sullo stato e sulle misure:

   • Lo stato sottostante deve essere isometricamente locale rispetto a uno stato massimamente entangled $|\phi^+_d\rangle$ in dimensione $d$.
   • Le misure di Alice devono soddisfare specifiche relazioni algebriche caratteristiche delle basi mutuamente unbiased (MUB).
   • Crucialmente, i vincoli impongono che gli operatori di misura 'r' di Bob siano proiettivi e perfettamente correlati con i primi operatori di misura di Alice (tramite trasposizione nella base computazionale).

3. Calcolo dell'Entropia: Utilizzando questi vincoli di self-testing, gli autori calcolano lo stato classico-quantistico $\sigma_{ABE}$ corrispondente agli esiti della seconda impostazione di Alice e dell'impostazione 'r' di Bob. Dimostrano che per qualsiasi stato e misure compatibili con la massima violazione, l'entropia di von Neumann condizionata $H(A, B|E)$ — che quantifica la casualità device-independent — è uguale a $\log(d^2) = 2 \log(d)$.

4. Analisi della Robustezza: Riconoscendo che le imperfezioni sperimentali impediscono la violazione massima esatta, gli autori calcolano numericamente i limiti inferiori sulla casualità certificata (min-entropia) per scenari rumorosi. Utilizzano la gerarchia di Navascués-Pironio-Acín al livello $1+AB$ per stimare la probabilità di indovinare per le dimensioni $d=3$ e $d=4$, confrontando i risultati con la standard disuguaglianza modCHSH ($d=2$).

Contributi Chiave e Risultati

• Raggiungimento del Massimo Teorico: Il documento prova che, per ogni dimensione $d \ge 2$, è possibile certificare il massimo teorico di $2 \log(d)$ bit di casualità globale device-independent utilizzando solo misure proiettive. Ciò risolve la questione aperta riguardante il limite globale per le misure proiettive, estendendo le conoscenze precedenti che erano limitate a $d=2$.
• Protocolli Espliciti: Gli autori forniscono protocolli espliciti basati su basi mutuamente unbiased che raggiungono questo limite. I protocolli si basano su una specifica disuguaglianza di Bell la cui massima violazione certifica che il sistema si comporta come uno stato massimamente entangled misurato in basi mutuamente unbiased.
• Robustezza al Rumore: Le simulazioni numeriche dimostrano che i protocolli sono robusti al rumore sperimentale. Per le dimensioni $d=3$ e $d=4$, la casualità certificata supera i 2 bit (il massimo per $d=2$) a livelli di rumore $\eta \approx 0.997$ e $\eta \approx 0.998$, rispettivamente. Questi livelli di rumore sono paragonabili a quelli riportati negli attuali esperimenti sui qubit, suggerendo che i vantaggi dei sistemi ad alta dimensione siano alla portata della tecnologia attuale.

Significato
Il lavoro stabilisce che il limite teorico della generazione di casualità device-independent è raggiungibile in qualsiasi dimensione utilizzando il tipo di misura più accessibile sperimentalmente (proiettiva). Dimostrando che la casualità globale scala come $2 \log(d)$, il documento motiva l'uso di sistemi quantistici ad alta dimensione per massimizzare il tasso di generazione di numeri casuali sicuri senza richiedere complesse misure non proiettive. Gli autori osservano che, sebbene tecniche analitiche per un self-testing robusto rafforzerebbero ulteriormente questi protocolli, l'attuale evidenza numerica conferma la fattibilità pratica di tali schemi. Il documento riconosce inoltre che risultati simili riguardanti la certificazione della casualità globale sono stati sviluppati indipendentemente nel Rif. [30].