Quantum random-number generator with non-demolition measurements: semi-device-independent implementation

Sintesi Tecnica: Generatore di Numeri Casuali Quantistici con Misurazioni Non-Demolitive

Problematica
I generatori di numeri casuali quantistici (QRNG) offrono vantaggi rispetto ai generatori classici, come il superamento della periodicità finita e la vulnerabilità agli attacchi di terze parti. Tuttavia, l'implementazione pratica richiede che gli utenti finali possano certificare la natura quantistica del dispositivo senza comprendere il suo funzionamento interno o la fisica sottostante. I tradizionali QRNG indipendenti dal dispositivo (device-independent) si basano sulla violazione delle disuguaglianze di Bell, il che richiede una separazione spaziale tra i rilevatori. Questo requisito spaziale impone vincoli significativi alle applicazioni tecnologiche e ostacola la miniaturizzazione dei dispositivi. Sebbene approcci alternativi che utilizzano le disuguaglianze di Leggett-Garg (LGI) permettano misurazioni sequenziali su un singolo sistema, le implementazioni esistenti soffrono di una limitata flessibilità dei parametri e di bassi tassi di generazione. La sfida consiste nello sviluppare un QRNG che certifichi simultaneamente gli effetti quantistici genuini e generi numeri casuali ad alta entropia senza richiedere la separazione spaziale, abilitando così implementazioni scalabili e miniaturizzate.

Metodologia
Gli autori propongono un QRNG semi-indipendente dal dispositivo basato su un sistema quantistico tripartito composto da un sistema a tre livelli ($S$) e due rilevatori ancillari: un rilevatore a due livelli ($D_1$) e un rilevatore a tre livelli ($D_2$). Il protocollo utilizza uno schema di Misurazione Quantistica Non-Demolitiva (QNDM) in cui l'informazione sugli osservabili è codificata nella fase dei rilevatori.

1. Evoluzione del Sistema: Il sistema $S$ subisce un'evoluzione unitaria generica $\hat{u}$, accoppiato sequenzialmente a $D_1$ e $D_2$ tramite operatori unitari $\hat{U}_1$ e $\hat{U}_2$. Gli operatori di accoppiamento dipendono dagli osservabili $\hat{a}$ e $\hat{A}$ che agiscono su $S$, e da $\hat{\lambda}$ e $\hat{m}$ che agiscono sui rilevatori.
2. Interferenza di Percorso e Certificazione ($D_1$): Il primo rilevatore, $D_1$, viene utilizzato per certificare la presenza di effetti quantistici genuini. Tracciando fuori $D_2$, il protocollo ricostruisce una distribuzione di quasi-probabilità (QPDD), $P_{ND}(\Delta)$, derivata da una funzione quasi-caratteristica $G_\lambda$. La presenza di regioni negative in $P_{ND}(\Delta)$ funge da firma necessaria e sufficiente della sovrapposizione di percorso (interferenza coerente), certificando la natura quantistica della dinamica. Questa certificazione avviene simultaneamente alla generazione, anziché a posteriori.
3. Generazione di Numeri Casuali ($D_2$): Il secondo rilevatore, $D_2$, genera numeri casuali. A causa della degenerazione dell'osservabile $\hat{A}$, percorsi di evoluzione distinti mappano lo stesso esito del rilevatore ($\beta \in \{0, \pm 2\}$). La distribuzione di probabilità di questi esiti, $P_\beta(\lambda)$, dipende dal parametro di accoppiamento $\lambda$.
4. Ottimizzazione: Il protocollo discretizza il parametro di accoppiamento $\lambda$ su $[0, 2\pi)$. Mediante l'integrazione su questi accoppiamenti, i termini di interferenza oscillante nella distribuzione svaniscono, lasciando una distribuzione determinata dallo stato iniziale e dall'evoluzione unitaria $\hat{u}$. Ciò consente di ottimizzare la distribuzione affinché si avvicini all'uniformità, massimizzando così l'entropia della stringa generata.

Contributi Chiave

• Generazione e Certificazione Simultanea: A differenza degli schemi precedenti in cui la certificazione viene eseguita dopo la raccolta dei dati, questo protocollo estrae i dati di certificazione da $D_1$ e i numeri casuali da $D_2$ simultaneamente durante l'evoluzione.
• Rimozione dei Vincoli Spaziali: Il protocollo non richiede la separazione spaziale tra i rilevatori, poiché si basa su sequenze temporali di misurazioni e interferenza di percorso all'interno di un singolo sistema. Ciò rimuove un importante vincolo fisico degli approcci indipendenti dal dispositivo.
• Framework Semi-Indipendente dal Dispositivo: Lo schema opera come un QRNG indipendente dalla sorgente. Non richiede che l'utente si fidi della specifica preparazione degli stati di input o delle dimensioni del sistema; qualsiasi manipolazione degli input altererebbe o la quasi-distribuzione (influendo sulla certificazione) o le statistiche di output.
• Quantificazione del Trade-off: Gli autori derivano un limite matematico che mette in relazione la quanticità certificabile (quantificata dalla negatività della QPDD, specificamente $P_q(-1)$) con la casualità estraibile (min-entropia). Dimostrano che, sebbene la massimizzazione della certificazione richieda una negatività non nulla, la deviazione dalla massima casualità può essere mantenuta ridotta.

Risultati
Gli autori presentano un'implementazione specifica utilizzando un formalismo spin-1 per il sistema $S$, con $\hat{a} = \hat{J}_z$ e $\hat{A} = \hat{J}_z^2$.

• Certificazione: Le simulazioni numeriche mostrano che, ottimizzando lo stato iniziale e il parametro di evoluzione $\theta$, la QPDD ricostruita da $D_1$ esibisce regioni negative, confermando la presenza di sovrapposizioni coerenti.
• Generazione di Casualità: La distribuzione risultante degli esiti da $D_2$ è quasi uniforme. Nell'esempio ottimizzato, la deviazione relativa dalla massima min-entropia (uniformità completa) è di circa il 9,81% per un numero sufficiente di valori di accoppiamento ($L \gtrsim 30$).
• Indipendenza: Lo studio evidenzia come il processo di certificazione (determinato dalla quasi-distribuzione) e le statistiche dei numeri casuali generati possano essere sintonizzati indipendentemente regolando lo stato iniziale e i parametri di evoluzione.

Significatività e Rivendicazioni
Il documento sostiene di proporre un nuovo paradigma per i QRNG che supera i limiti sia degli approcci basati su Bell (spazialmente separati) sia di quelli basati su LGI (basso tasso/flessibilità). La principale significatività risiede nella capacità di generare numeri casuali ad alta entropia pur certificando simultaneamente la loro origine quantistica all'interno di una configurazione compatta e non spazialmente separata. Questa proprietà facilita la miniaturizzazione del dispositivo e la sua integrazione in piattaforme elettroniche standard, rendendolo un candidato promettente per le tecnologie quantistiche scalabili. Gli autori affermano che il loro protocollo raggiunge un equilibrio in cui più del 90% dei numeri generati è genuinamente casuale, mantenendo al contempo una robusta certificazione della natura quantistica. Il lavoro futuro suggerito dagli autori include l'introduzione di ulteriori misurazioni non-demolitive per dinamiche più complesse e l'aumento delle dimensioni dei rilevatori per ottimizzare ulteriormente l'estrazione della casualità.