Secure One-Sided Device-Independent Quantum Key Distribution Under Collective Attacks with Enhanced Robustness

Sintesi Tecnica: Distribuzione di Chiavi Quantistiche One-Sided Device-Independent Sicura Sotto Attacchi Collettivi con Robustezza Migliorata

Problematica
La sicurezza della Distribuzione di Chiavi Quantistiche (QKD) si basa tradizionalmente su assunzioni o dipendenti dal dispositivo (DD), dove tutti i dispositivi sono considerati affidabili, o su assunzioni indipendenti dal dispositivo (DI), dove la sicurezza è garantita esclusivamente dalla violazione delle disuguaglianze di Bell. Sebbene la DI-QKD offra il massimo livello di sicurezza, la sua implementazione sperimentale è ostacolata da requisiti stringenti, in particolare l'alta efficienza di rilevamento (spesso >92%) e la necessità di test di Bell privi di loophole. Al contrario, la DD-QKD è sperimentalmente percorribile ma vulnerabile ad attacchi side-channel se i dispositivi non sono caratterizzati. La 1sDI-QKD (One-Sided Device-Independent) offre una via di mezzo, assumendo la fiducia solo in un dispositivo di misura di una parte (tipicamente Bob), utilizzando lo steering quantistico per certificare la sicurezza. Tuttavia, gli esistenti protocolli 1sDI spesso mancano di un'espressione in forma chiusa del tasso di chiave asintotico che colleghi direttamente la violazione dello steering osservata con l'informazione dell'intercettatore, oppure si affidano a limiti dipendenti esclusivamente dai Tassi di Errore di Bit Quantistici (QBER) piuttosto che a esplicite disuguaglianze di steering. Questo articolo affronta la lacuna nella derivazione di un tasso di chiave analitico in forma chiusa per la 1sDI-QKD sotto attacchi collettivi, utilizzando specificamente la disuguaglianza di steering di Cavalcanti–Jones–Wiseman–Reid (CJWR) a tre impostazioni.

Metodologia
Gli autori propongono un protocollo 1sDI-QKD basato sull'entanglement in cui Alice (non affidabile) e Bob (affidabile) condividono uno stato di Bell massimamente entangled. Il protocollo impiega tre misure di Pauli binaria per parte. I bit della chiave vengono estratti dai round in cui entrambe le parti misurano nella base $\sigma_z$, mentre altri round vengono utilizzati per stimare il parametro di steering CJWR $F_3$.

L'analisi di sicurezza è condotta contro attacchi collettivi ottimali, in cui l'intercettatore (Eve) applica operazioni identiche e indipendenti tra i round. La derivazione segue una strategia di riduzione in quattro fasi:

1. Riduzione della Dimensionalità: Utilizzando le simmetrie della disuguaglianza CJWR, gli autori dimostrano che l'attacco ottimale di Eve può essere ristretto a un sottospazio a due qubit, anche se l'iperspazio sottostante è ad alta dimensionalità.
2. Riduzione dello Stato: L'analisi è ulteriormente ridotta a stati Bell-diagonali. Gli autori dimostrano che qualsiasi stato a due qubit può essere simmetrizzato in una forma Bell-diagonale senza alterare il valore del funzionale CJWR, semplificando così il calcolo dell'informazione accessibile a Eve.
3. Calcolo del Limite di Holevo: Gli autori derivano un limite superiore sull'informazione accessibile a Eve (quantificata dalla quantità di Holevo $\chi$) per gli stati Bell-diagonali. Utilizzando le disuguaglianze entropiche, collegano questo limite direttamente alla violazione CJWR osservata $F_3$.
4. Derivazione del Tasso di Chiave: Combinando l'informazione mutua tra Alice e Bob (derivata dal QBER) e il limite superiore sull'informazione di Eve, gli autori applicano la formula di Devetak–Winter per ottenere un limite inferiore in forma chiusa sul tasso di chiave segreta asintotico.

Contributi Chiave

• Tasso di Chiave in Forma Chiusa: Il documento deriva un'espressione analitica esplicita per il tasso di chiave asintotico nella 1sDI-QKD:
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  dove $Q$ è il QBER, $F_3$ è il parametro di steering CJWR osservato, e $h(x)$ è la funzione entropica binaria. Ciò collega direttamente il tasso di chiave alla violazione dello steering, analogamente a come la DI-QKD collega i tassi alle violazioni di Bell.
• Analisi della Tolleranza al Rumore: Il protocollo è testato sotto rumore depolarizzante. Gli autori mostrano che il protocollo tollera un QBER critico ($Q_c$) dell'8,62%. Questo è significativamente più alto dei protocolli DI-QKD standard (tipicamente 7,1% per gli schemi basati su CHSH) e si avvicina alla robustezza dei sistemi DD completamente affidabili (11%), pur mantenendo assunzioni di fiducia più deboli rispetto ai DD.
• Soglie di Efficienza di Rilevamento: Lo studio modella le inefficienze di rilevamento sul lato non affidabile (Alice) tramite esiti nulli.
  • Senza post-selezione, la generazione di chiavi sicure è possibile con efficienze di rilevamento basse fino all'82,7% (sotto visibilità ideale).
  • Con la post-selezione, la soglia scende al 74,5%.
    Queste soglie sono notevolmente inferiori a quelle richieste per la DI-QKD (spesso >92%), evidenziando il vantaggio pratico dell'impostazione 1sDI in ambienti con perdite.

Risultati

• Robustezza: Il protocollo dimostra una tolleranza al rumore superiore rispetto agli esistenti protocolli DI-QKD. Mentre la DI-QKD basata su disuguaglianze di Bell a tre impostazioni tollera fino al 7,5% di QBER e le disuguaglianze di Bell asimmetriche fino all'8,34%, il proposto protocollo 1sDI basato su CJWR raggiunge l'8,62%.
• Efficienza: L'analisi rivela che la generazione di chiavi sicure è fattibile con efficienze di rilevamento basse fino al 74,5% (con post-selezione), valore ben al di sotto dei tipici requisiti del 92%+ per la DI-QKD.
• Confronto: Il documento confronta i propri risultati con altri protocolli 1sDI (ad esempio, Branciard et al., Tomamichel et al., Pramanik et al.). A differenza dei lavori precedenti che limitano l'informazione di Eve tramite QBER o relazioni di incertezza entropica senza una specifica dipendenza dallo steering, o di quelli che forniscono solo limiti numerici tramite programmazione semidefinita, questo lavoro fornisce un limite analitico in forma chiusa, indipendente dal modello e dipendente dalla coppia $(Q, F_3)$.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro rappresenta un passo significativo verso la viabilità sperimentale della 1sDI-QKD. Stabilendo un tasso di chiave in forma chiusa che dipende esplicitamente dalla violazione della disuguaglianza di steering, il protocollo semplifica la certificazione della sicurezza e ne aumenta la rilevanza pratica. I risultati evidenziano la 1sDI-QKD come un'alternativa robusta basata sullo steering per la comunicazione quantistica sicura, offrendo un equilibrio tra la fattibilità sperimentale della DD-QKD e le assunzioni di fiducia minime della DI-QKD. Gli autori osservano che, sebbene l'attuale analisi sia limitata alla sicurezza asintotica contro attacchi collettivi, i limiti derivati per singolo round servono come blocco fondamentale per future estensioni alla sicurezza composibile contro attacchi coerenti generali. Il documento conclude che questi risultati offrono approfondimenti rilevanti per le implementazioni sperimentali nel prossimo futuro, particolarmente in scenari con rilevamento imperfetto e canali rumorosi.