Unambiguous randomness from a quantum state

Titolo: Randomness Ambigua da uno Stato Quantistico

Autore: Fionnuala Curran (ICFO-Institut de Ciències Fotòniche, Barcellona)

---

1. Problema e Contesto

La fisica quantistica è intrinsecamente casuale: misurare uno stato puro in una base non diagonale produce risultati imprevedibili. Tuttavia, in scenari reali, gli stati sono spesso misti (rumorosi). La casualità negli stati misti deriva da due fonti:

1. L'indeterminazione quantistica intrinseca.
2. L'ignoranza classica sulla composizione dello stato misto (poiché uno stato misto può essere visto come una miscela di infiniti stati puri).

In un contesto avversario (es. crittografia quantistica o generazione di numeri casuali certificati), si deve assumere che un eavesdropper (Eva) possieda l'informazione laterale completa sulla decomposizione dello stato misto. Il problema centrale è quantificare la casualità intrinseca residua, ovvero quanto Eva può indovinare correttamente i risultati della misura di Alice.

La maggior parte degli studi precedenti assume che Eva debba fare una congettura in ogni round, accettando un certo tasso di errori. Questo lavoro introduce due nuovi paradigmi ispirati alla discriminazione di stati quantistici:

1. Randomness Ambigua (Unambiguous Randomness): Eva non commette mai errori, ma può restituire un risultato "inconclusivo" (non sa indovinare).
2. Randomness FRIO (Fixed Rate of Inconclusive Outcomes): Eva è vincolata a un tasso fisso $Q$ di risultati inconclusivi e massimizza la probabilità di indovinare correttamente il resto.

2. Metodologia

L'autore utilizza un approccio basato sulla decomposizione degli stati e sulla programmazione semidefinita (SDP), sfruttando il teorema di Schrödinger-Gisin-HJW.

• Scenario: Alice possiede uno stato $\rho$ e lo misura con una POVM $M$. Eva possiede una purificazione di $\rho$ e sceglie una decomposizione $\{p_\mu, \rho_\mu\}$ tale che $\sum p_\mu \rho_\mu = \rho$.
• Vincoli:
  • Per la randomness ambigua, la decomposizione deve includere stati puri ortogonali ai risultati della misura per garantire l'assenza di errori, lasciando un residuo per l'esito inconclusivo.
  • Per FRIO, si fissa la probabilità $p_0 = Q$ dell'esito inconclusivo.
• Ottimizzazione: Il problema è formulato come un'ottimizzazione (massimizzazione della probabilità di indovinare per Eva, minimizzazione per la casualità di Alice) su tutte le possibili decomposizioni e basi di misura.
• Casi di Studio Analizzati:
  1. Stati quantistici generici in dimensione $d$.
  2. Qubit (dimensione 2) con misurazioni proiettive.
  3. Stati rumorosi (canale di depolarizzazione isotropo) misurati in basi unbiased (non allineate).
  4. Scenario con rumore condiviso: sia lo stato che il dispositivo di misura sono rumorosi e correlati a Eva.

3. Contributi Chiave e Risultati

A. Randomness Ambigua Massima per Stati Generici

Il paper risolve analiticamente la massima randomness ambigua per qualsiasi stato $\rho$ ottimizzando su tutte le misurazioni proiettive di rango uno.

• Risultato Principale (Teorema 1): La massima probabilità di indovinare per Eva (e quindi la minima casualità garantita) è proporzionale all'autovalore minimo dello stato:
  $$P^*_{UD}(\rho) = d \cdot \lambda_{\min}(\rho)$$
  dove $d$ è la dimensione dello spazio di Hilbert.
• Condizione di Ottimalità: La misura ottimale è quella in cui la base è "unbiased" (non allineata) rispetto all'autovettore corrispondente all'autovalore minimo.

B. Caso dei Qubit (Dimensione 2)

Per i qubit, l'autore fornisce soluzioni geometriche intuitive usando i vettori di Bloch.

• Viene derivata una formula chiusa per la probabilità di indovinare $P_{UD}$ in funzione del vettore di stato $\vec{r}$ e della direzione di misura $\vec{m}$.
• Viene analizzato il caso FRIO per i qubit, identificando un valore critico $Q_{crit}$ che separa due regimi di strategia ottimali per Eva (una strategia che ignora un esito vs. una strategia che usa una decomposizione specifica).

C. Stati Rumorosi e Basi Unbiased

Per uno stato rumoroso $\rho_\varepsilon = (1-\varepsilon)|\phi\rangle\langle\phi| + \frac{\varepsilon}{d}\mathbb{I}$ misurato in una base unbiased:

• La massima randomness ambigua è esattamente il parametro di rumore: $P^*_{UD} = \varepsilon$.
• Viene risolta la formula FRIO per qualsiasi dimensione $d$, mostrando come la probabilità di indovinare dipenda dal tasso di inconclusività $Q$.

D. Il Pericolo del Rumore Condiviso (Joint Noise)

Questo è uno dei risultati più significativi e allarmanti del lavoro.

• Scenario: Si confronta un eavesdropper correlato solo allo stato rumoroso ("Single Noise") con uno correlato sia allo stato che al dispositivo di misura rumoroso ("Joint Noise").
• Risultato (Teorema 6): A parità di rumore totale, l'eavesdropper con correlazioni giunte (stato + misura) ottiene sempre una probabilità di indovinare più alta rispetto a quello con correlazioni singole.
• Soglia Critica: Esiste un valore critico di rumore $\varepsilon_{crit} = \frac{d}{2(d+\sqrt{d})}$ (sempre $< 0.5$) oltre il quale l'eavesdropper con rumore congiunto raggiunge una probabilità di indovinare del 100%, eliminando completamente la possibilità di generare casualità privata, anche se i dispositivi sembrano statisticamente perfetti.

4. Significato e Implicazioni

1. Nuova Metrica di Sicurezza: L'introduzione della "randomness ambigua" e FRIO offre strumenti più flessibili per la certificazione della casualità quantistica, permettendo di valutare scenari dove l'accettazione di esiti inconclusivi è preferibile all'errore.
2. Modellazione del Rumore: Il lavoro dimostra che la modellazione del rumore è cruciale. Ignorare il fatto che anche i dispositivi di misura possono essere rumorosi e correlati all'avversario porta a una sovrastima pericolosa della quantità di casualità privata generabile.
3. Avvertenza per i QRNG: Anche in impostazioni "device-dependent" (dove si assume di conoscere i dispositivi), se il rumore non è modellato correttamente (in particolare le correlazioni congiunte tra stato e misura), un avversario potrebbe ottenere informazioni totali sugli output, rendendo il generatore di numeri casuali insicuro.
4. Connessione Teorica: Il lavoro stabilisce un ponte solido tra la generazione di casualità quantistica e la teoria della discriminazione di stati quantistici, permettendo di trasferire risultati matematici da un campo all'altro.

In sintesi, il paper fornisce soluzioni analitiche complete per la quantificazione della casualità in presenza di vincoli di accuratezza e inconclusività, evidenziando come la presenza di rumore correlato possa distruggere la sicurezza della casualità quantistica a livelli di rumore inferiori a quanto precedentemente pensato.