Robust One-Sided Device-Independent Quantum Key Distribution via High-Dimensional Steering

Sintesi Tecnica: Distribuzione di Chiavi Quantistiche One-Sided Device-Independent Robusta tramite Steering ad Alta Dimensionalità

Definizione del Problema
La Distribuzione di Chiavi Quantistiche (QKD) offre sicurezza informatico-teorica, ma affronta limitazioni pratiche dovute al rumore, alle perdite di trasmissione e alle imperfezioni dei dispositivi. Sebbene i sistemi quantistici ad alta dimensionalità (HD) siano stati dimostrati capaci di migliorare la resilienza contro rumore e perdite in contesti device-dependent, estendere questi vantaggi a scenari device-independent rimane una sfida. La QKD completamente device-independent (DI) offre una sicurezza che non richiede fiducia nei dispositivi di misura, ma è fortemente limitata dalle perdite e non ha ancora dimostrato vantaggi significativi con dimensioni più elevate. Al contrario, la Q even la QKD one-sided device-independent (1sDI) offre una via di mezzo percorribile, assumendo che solo una parte (Bob) possieda dispositivi fidati, mentre l'altra (Alice) operi con hardware non caratterizzato o non fidato. Tuttavia, le prove di sicurezza esistenti per la 1sDI sono ampiamente limitate a sistemi a qubit o a specifiche configurazioni di misura, e l'implementazione di misure con risultati multipli genuini, richieste per la HD 1sDI-QKD, ha rappresentato un ostacolo sperimentale significativo.

Metodologia
Gli autori propongono un'analisi sistematica della sicurezza e un'implementazione sperimentale di protocolli HD 1sDI-QKD sfruttando lo steering quantistico. La metodologia comprende tre componenti principali:

1. Framework Teorico:

   • Scenario: Il protocollo assume una sorgente non affidabile che distribuisce stati entangled bipartiti ad Alice (dispositivo non fidato) e Bob (dispositivo fidato). La sicurezza è certificata tramite la violazione di una disuguaglianza di steering, garantendo che le correlazioni osservate non possano essere spiegate da un modello di Stato Locale Nascosto (LHS).
   • Prove di Sicurezza: Gli autori analizzano tre varianti di protocollo utilizzando due framework di sicurezza complementari:
     • Protocollo a due basi (Ia): Utilizza il framework della Relazione di Incertezza Entropica (EUR).
     • Protocolli a d+1 basi (Ib e Ic): Utilizzano un framework di min-entropia formulato come Programma di Semidefinita (SDP) vincolato da disuguaglianze di steering.
   • Strategia di Riconciliazione: L'analisi impiega la riconciliazione inversa, in cui Alice (non fidata) corregge la sua chiave basandosi sui dati di Bob (fidato). Ciò sfrutta l'asimmetria intrinseca dello scenario 1sDI, producendo tassi di chiave più elevati e una maggiore robustezza al rumore rispetto alla riconciliazione diretta, specialmente all'aumentare della dimensione.
   • Gestione delle Perdite: Per affrontare il loophole di rilevamento sul lato di Alice, gli autori adottano una strategia a esito extra, trattando gli eventi "no-click" come un ulteriore esito di misura anziché scartarli o assegnarli casualmente. Ciò consente disuguaglianze di steering tolleranti alle perdite.

2. Analisi delle Prestazioni:

   • Gli autori modellano il sistema utilizzando un modello di depolarizzazione-perdita con visibilità ($\nu$) ed efficienza di rilevamento ($\eta$).
   • Derivano limiti inferiori sui tassi di chiave segreta nei regimi asintotici contro attacchi collettivi, valutando i compromessi tra dimensione del sistema ($d$), rumore e perdite per diverse configurazioni di misura (2 basi vs. $d+1$ basi di spot-checking vs. $d+1$ basi di generazione di chiavi multiple).

3. Implementazione Sperimentale:

   • Piattaforma: L'esperimento utilizza coppie di fotoni entangled nel grado di libertà spaziale trasversale.
   • Sorgente: I fotoni entangled sono generati tramite Conversione Parametrica Spontanea di Tipo II (SPDC) a 1550 nm.
   • Misura: Un Convertitore di Luce Multi-Piano (MPLC) viene utilizzato per eseguire misure multi-esito completamente programmabili. L'MPLC ordina i modi spaziali in punti Gaussiani corrispondenti agli esiti di misura in Basi Mutuamente Unbiased (MUB).
   • Dimensioni: L'allestimento opera in dimensioni fino a $d=11$, con dati sperimentali raccolti per $d \in \{2, 3, 5, 7, 9, 11\}$.

Contributi Chiave

• Analisi Sistematica della Sicurezza: Il documento fornisce un'analisi completa della sicurezza per la HD 1sDI-QKD, dimostrando che l'aumento della dimensione del sistema migliora la robustezza sia contro il rumore che contro le perdite, in particolare quando si utilizza la riconciliazione inversa.
• Varianti di Protocollo: Introduce e analizza tre distinte varianti di protocollo (due basi, spot-checking e multi-key-basis), mostrando che mentre il protocollo a due basi offre attualmente i limiti più stretti tramite EUR, i protocolli che utilizzano set completi di MUB ($d+1$ basi) mostrano un potenziale significativo per il miglioramento dei limiti di min-entropia.
• Dimostrazione Sperimentale: Gli autori presentano la prima implementazione proof-of-principle di HD 1sDI-QKD utilizzando misure multi-esito genuine nel grado di libertà spaziale, operando fino alla dimensione 11.
• Strategia Tollerante alle Perdite: Il lavoro incorpora esplicitamente gli eventi no-click di Alice nell'analisi di sicurezza tramite la strategia a esito extra, evitando il loophole di rilevamento associato alla post-selezione sul lato non fidato.

Risultati

• Risultati Teorici:
  • L'aumento della dimensione $d$ migliora significativamente la visibilità critica ($\nu_{cr}$) necessaria per generare una chiave segreta, permettendo al protocollo di tollerare livelli di rumore più elevati.
  • La riconciliazione inversa supera costantemente la riconciliazione diretta, con un vantaggio che cresce nelle dimensioni più elevate.
  • Per il protocollo a due basi, la soglia minima di efficienza di rilevamento converge al 50% nel caso privo di rumore, indipendentemente dalla dimensione.
  • Per i protocolli a $d+1$ basi, l'analisi suggerisce che l'uso di più basi di generazione della chiave (Protocollo Ic) potrebbe consentire tassi di chiave positivi a efficienze di rilevamento inferiori al 50%, sebbene i limiti rigorosi per questi protocolli rimangano un problema aperto.
• Risultati Sperimentali:
  • L'esperimento ha dimostrato con successo violazioni di steering post-selezionate attraverso tutte le dimensioni investigate ($d=2$ a $11$).
  • Sotto l'assunzione di fair-sampling, sono stati ottenuti tassi di chiave segreta positivi per tutte le dimensioni.
  • I tassi di chiave più elevati sono stati raggiunti alla dimensione $d=7$. Ad esempio, nel protocollo a due basi, il tasso di chiave è aumentato da ~0.87 bit (d=2) a ~2.02 bit (d=7) prima di declinare a dimensioni superiori a causa delle imperfezioni sperimentali (minore visibilità).
  • I dati sperimentali hanno mostrato una buona concordanza con il modello teorico di depolarizzazione-perdita.

Significatività
Il documento afferma che questo lavoro colma il divario tra le proposte teoriche per la HD 1sDI-QKD e la loro implementazione pratica. Dimostrando che l'entanglement ad alta dimensionalità può essere sfruttato per migliorare la robustezza della 1sDI-QKD contro rumore e perdite, gli autori forniscono una via percorribile verso reti di comunicazione quantistica più pratiche. L'uso di MPLC per misure programmabili ad alta dimensionalità affronta un collo di bottiglia critico nella realizzazione della HD QKD. I risultati suggeriscono che, sebbene la QKD completamente DI rimanga impegnativa, lo scenario 1sDI con sistemi ad alta dimensionalità offre un'alternativa robusta per scenari in cui una parte può impiegare hardware fidato (ad esempio, data center, banche) pur comunicando con dispositivi meno sicuri e non fidati. Gli autori osservano che il raggiungimento di un'implementazione priva di loophole in regimi di perdita realistici rimane un obiettivo futuro, ma il presente lavoro stabilisce i blocchi costruttivi necessari e la giustificazione teorica per tali progressi.