A semi-definite programming formulation of the device-dependent guessing probability

Sintesi Tecnica: Una formulazione di Programmazione Semidefinita della Probabilità di Indovinare Dipendente dal Dispositivo

Definizione del Problema
Nella meccanica quantistica, la casualità intrinseca generata dalla misurazione di uno stato che non è un autostato dell'osservabile è una risorsa fondamentale per i Generatori di Numeri Casuali Quantistici (QRNG). Sebbene lo scenario più semplice di un QRNG coinvolga una configurazione di preparazione e misura (PM) completamente caratterizzata (dipendente dal dispositivo) — dove uno stato noto $\rho_S$ è misurato da una POVM (Positive Operator-Valued Measure) nota $\{M^a_S\}$ — quantificare l'esatta quantità di casualità certificabile rimane una sfida.

La metrica operativa standard per la casualità è l'entropia minima condizionata, $H_{\min}(A|E)$, che è derivata dalla massima probabilità ($P_{\text{guess}}$) con cui un avversario (Eve) può indovinare gli esiti della misurazione dati i dati quantistici collaterali. In uno scenario dipendente dal dispositivo, si assume che Eve detenga una purificazione dello stato congiunto del sistema e di qualsiasi sistema ancillare coinvolto nella dilatazione della misura. Come notato nel lavoro precedente [4], il calcolo di questa probabilità di indovinare comporta un problema di ottimizzazione non convesso su tutte le possibili dilatazioni di Naimark della misura e su tutte le possibili correlazioni che Eve potrebbe condividere con i dispositivi. Non esisteva una procedura computazionale generale per risolvere esattamente questo problema non convesso, costringendo spesso i ricercatori a fare affidamento su limiti superiori o assunzioni restrittive (ad esempio, assumendo l'assenza di entanglement tra i dispositivi di preparazione e di misura).

Metodologia
Gli autori affrontano questo gap computazionale dimostrando che la probabilità di indovinare dipendente dal dispositivo può essere riformulata come un Programma Semidefinito (SDP).

1. Riformulazione dell'Ottimizzazione: Gli autori partono dalla definizione di $P_{\text{guess}}$ come massimizzazione su misure proiettive (PVM) $\{\Pi^a_{SM}\}$ sullo spazio sistema-ancilla e sugli esiti di misura di Eve. Introducendo stati subnormalizzati condizionati agli esiti di Eve, il problema viene ricanalizzato in una forma che coinvolge polinomi non commutativi.
2. Costruzione dell'SDP: Sfruttando le tecniche di [5, 13], gli autori esprimono la misura proiettiva $\{\Pi^a_{SM}\}$ in una forma a blocchi rispetto a una base ortonormale dello spazio di Hilbert del sistema. Ciò consente la definizione di matrici di momenti generalizzate $\Gamma_e$.
3. Vincoli Lineari: La funzione obiettivo e i vincoli fisici (compatibilità con lo stato noto $\rho_S$, la POVM nota $\{M^a_S\}$ e la proiettività/completezza della PVM) sono espressi come funzioni lineari dei coefficienti di queste matrici di momenti.
4. Completezza: Gli autori dimostrano (Teorema 1) che questa rilassazione SDP non è solo un limite superiore, ma fornisce una caratterizzazione completa della probabilità di indovinare. Nello specifico, qualsiasi soluzione ammissibile dell'SDP corrisponde a una valida soluzione fisica del problema non convesso originale, garantendo che l'SDP fornisca l'esatta probabilità massima di indovinare.

Risultati Chiave e Applicazioni
Il documento applica questa formulazione SDP a tre scenari specifici per testare il metodo e determinare i valori esatti di casualità dove prima erano noti solo i limiti superiori:

1. Stato e Misura Depolarizzati: Gli autori analizzano una configurazione in cui sia lo stato del qubit che la misura sono soggetti a rumore depolarizzante. I risultati dell'SDP corrispondono al limite analitico derivato in [6], confermando che il limite analitico è stretto e che l'SDP identifica correttamente l'esatta quantità di casualità certificabile.
2. Stato Depolarizzato e Rilevatore Inefficiente: Revisitando uno schema proposto da Berta e Brandão [7] per i computer quantistici, gli autori confrontano la casualità stimata utilizzando una specifica dilatazione fissa (come fatto in [7]) contro l'ottimizzazione non restrittiva fornita dal loro SDP. Essi trovano che fissare la dilatazione porta a una leggera sovrastima della casualità intrinseca, dimostrando la necessità di ottimizzare su tutte le possibili dilatazioni.
3. Stato Non Caratterizzato con Misure Equiangolari: Gli autori investigano uno schema source-device-independent [8] in cui lo stato è non caratterizzato, ma la misura è una POVM equiangolare a $k$ esiti affidabile. Mentre [8] sosteneva che una casualità illimitata potesse essere estratta per $k > 3$ sotto l'assunzione di misure affidabili, gli autori mostrano che se Eve è autorizzata a essere correlata con il dispositivo di misura (ovvero la misura non è completamente affidabile), la casualità certificabile svanisce per $k=4$. Ciò evidenzia l'impatto critico delle assunzioni di affidabilità della misura.

Entanglement e Potere Predittivo
Un contributo teorico significativo del lavoro è la dimostrazione che l'entanglement tra il dispositivo di preparazione dello stato e il dispositivo di misura aumenta strettamente il potere predittivo di Eve.

• Gli autori confrontano la probabilità di indovinare $P_{\text{guess}}$ (permettendo correlazioni arbitrarie, incluso l'entanglement) con $P^{\text{sep}}_{\text{guess}}$ (vincolata a stati separabili tra il sistema e il registro di misura).
• Utilizzando uno specifico stato qubit e una misura binaria, mostrano che $P_{\text{guess}} > P^{\text{sep}}_{\text{guess}}$.
• Questo risultato implica che assumere l'assenza di entanglement tra i dispositivi di preparazione e di misura (una semplificazione comune in alcuni framework) porta a una sovrastima della casualità generata, anche negli scenari più elementari che coinvolgono un singolo qubit e una misura binaria.

Significato e Rivendicazioni
Il documento sostiene di fornire il primo metodo generale e computazionalmente agevole per stimare la casualità intrinseca in configurazioni PM dipendenti dal dispositivo senza fare affidamento su euristiche di ottimizzazione non convesse o assunzioni restrittive sulle correlazioni tra i dispositivi.

• Certificazione: L'SDP consente la determinazione esatta della casualità certificabile in scenari in cui precedentemente erano disponibili solo limiti superiori.
• Intuizione Fondamentale: Il lavoro stabilisce che l'assistenza dall'entanglement tra i dispositivi di preparazione e di misura è una risorsa che potenzia strettamente la capacità dell'avversario di predire gli esiti, una conseguenza osservabile anche in semplici scenari di misura binaria.
• Utilità Pratica: Il metodo funge da strumento generale per certificare la casualità in dispositivi quantistici reali e soggetti a rumore, offrendo una ricetta rigorosa per i più semplici QRNG dipendenti dal dispositivo.

Gli autori concludono che la loro formulazione fa progredire la comprensione della generazione di casualità in presenza di informazioni collaterali quantistiche e fornisce un framework robusto per futuri protocolli di certificazione della casualità.