Semi-Device-Independent Quantum Key Distribution from Operational Assumptions

Sintesi Tecnica: Distribuzione Quantistica di Chiavi Semi-Device-Independent basata su Assunzioni Operative

Definizione del Problema
La distribuzione quantistica di chiavi semi-device-independent (SDI-QKD) mira a colmare il divario tra i protocolli completamente device-independent (che richiedono test di Bell senza falle e sono sperimentalmente esigenti) e i protocolli standard prepare-and-measure (che richiedono la caratterizzazione completa dei dispositivi). Gli attuali framework di SDI-QKD si basano tipicamente su un'assunzione di fiducia riguardante la dimensione dello spazio di Hilbert della sorgente. Tuttavia, questo limite dimensionale non quantifica direttamente l'informazione operativamente accessibile dall'insieme di preparazione, e un vincolo di supporto a dimensione finita esatta è spesso una restrizione innaturale per le sorgenti ottiche (che occupano spazi di Fock illimitati). Inoltre, gli attuali protocolli confondono spesso il test del Random Access Code (RAC) con la generazione di chiavi, mantenendo errori di decodifica intrinseci, e si affidano a certificati di entropia che potrebbero non sfruttare appieno i vincoli operativi sulla sorgente.

Metodologia
Gli autori propongono un framework per la SDI-QKD basato su assunzioni operative della sorgente piuttosto che su limiti dimensionali. Formulano quattro assunzioni distinte, ciascuna definita da un limite superiore scalare ($\tau$) su un compito specifico di recupero dell'informazione eseguito sull'insieme di quattro preparazioni di Alice:

1. Discriminazione a quattro stati ($D$): la probabilità ottimale di identificare lo stato emesso.
2. Discriminazione di parità ($\Pi$): la probabilità ottimale di inferire la parità ($x_0 \oplus x_1$) della stringa di input.
3. Discriminazione assistita dall'esclusione ($D \oplus A$): un composito di discriminazione a quattro stati ed esclusione dello stato (escludere uno stato candidato).
4. Parità assistita dall'esclusione ($\Pi \oplus A$): un composito di discriminazione di parità ed esclusione dello stato.

Il documento deriva le frontiere classiche esatte del RAC per ciascuna di queste quattro assunzioni senza limitare l'alfabeto del messaggio classico. Analizzano inoltre la deviazione quantistica da queste frontiere utilizzando due specifiche famiglie di deformazioni della sorgente:

• Depolarizzazione della preparazione BB84: riduce il contrasto degli stati (visibilità $\nu$).
• Leakage a somma diretta (Direct-sum leakage): aggiunge un settore ortogonale che rivela esplicitamente l'input $x$ (frazione di leakage $\ell$).

Per certificare la sicurezza, gli autori impiegano un protocollo a chiave trattenuta a tre impostazioni (three-setting retained-key protocol). Bob utilizza le impostazioni $y=0, 1$ per il test RAC e una terza impostazione $y=2$ per la generazione della chiave su un ramo specifico ($x=00$ o $x=11$) dove l'implementazione ideale BB84 ha errore zero. Ciò separa il test della sorgente dalla generazione della chiave.

La sicurezza è certificata contro tutte le estensioni Bob–Eve compatibili con il comportamento osservato a tre impostazioni e con il limite operativo della sorgente. Vengono derivati due certificati di sicurezza indipendenti dalla dimensione:

1. Certificato di min-entropia: ottenuto ottimizzando direttamente la probabilità di indovinare la chiave da parte di Eve tramite rilassamenti di momenti non commutativi.
2. Certificato PM-BFF: un rilassamento semidefinite prepare-and-measure basato sul limite variazionale Brown–Fawzi–Fawzi (BFF) per l'entropia di von Neumann condizionale, reso più stretto imponendo relazioni di stazionarietà di Sylvester e costruendo localizzatori di norma.

Contributi Chiave e Risultati

• Frontiere Classiche Esatte: Il documento stabilisce i limiti classici esatti per i punteggi RAC sotto le quattro assunzioni operative. Dimostra che la strategia BB84 raggiunge la massima deviazione quantistica da tutte e quattro le frontiere.
• Robustezza Assistita dall'Esclusione: Il risultato più significativo è che le assunzioni che coinvolgono l'esclusione dello stato ($D \oplus A$ e $\Pi \oplus A$) forniscono una robustezza molto maggiore rispetto alle assunzioni di sola identificazione ($D$ e $\Pi$).
  • Sotto depolarizzazione della preparazione, i limiti di sola identificazione richiedono un'alta visibilità (ad esempio, $\nu > 0.72$ per $D$) per generare un tasso di chiave positivo.
  • Al contrario, i limiti assistiti dall'esclusione certificano tassi di chiave positivi fino a una visibilità di preparazione quasi nulla ($\nu \approx 0.01$).
  • Questo vantaggio persiste anche sotto depolarizzazione dei decoder di riferimento lato ricevitore, a condizione che la visibilità del ricevitore superi la soglia di misurabilità congiunta ($\nu_M > 1/\sqrt{2}$).
• Leakage a Somma Diretta: Sotto il modello di leakage a somma diretta, dove la sorgente rivela progressivamente $x$ mentre il ramo della chiave rimane privo di errori, tutti e quattro i limiti di tasso ottimizzati indipendentemente rimangono positivi per qualsiasi leakage incompleto ($\ell < 1$) e scompaiono solo al raggiungimento del leakage completo ($\ell = 1$).
• Certificazione dell'Entropia: Il certificato PM-BFF supera costantemente il certificato di min-entropia, ampliando la regione a tasso positivo. Per il limite implicito di dimensione fissa ($D \leq 1/2$), l'approccio PM-BFF abbassa la visibilità critica da 0.8895 (min-entropia) a 0.8741.
• Validazione Numerica: Gli autori dimostrano che la deviazione BB84 è entro $5 \times 10^{-6}$ dall'ottimo quantistico ad arbitrarie dimensioni per tutte e quattro le assunzioni, suggerendo che BB84 sia vicino all'ottimalità per tali compiti.

Significato e Rivendicazioni
Il documento sostiene che la sicurezza semi-device-independent robusta dipende non solo da ciò che un avversario (Eve) può identificare, ma anche da ciò che può escludere. Spostandosi dai limiti dimensionali ai limiti dei compiti operativi, in particolare quelli che incorporano l'esclusione dello stato, il protocollo raggiunge la sicurezza in regimi di visibilità della sorgente molto bassa e di alto rumore dove i precedenti metodi di SDI-QKD falliscono.

Il lavoro dimostra che:

1. Le assunzioni operative della sorgente sono un vincolo più naturale e potente rispetto ai limiti della dimensione dello spazio di Hilbert per le sorgenti ottiche.
2. Le assunzioni assistite dall'esclusione ($D \oplus A$ e $\Pi \oplus A$) rimuovono strutturalmente le estensioni avversarie che i limiti di sola identificazione lasciano ammissibili.
3. La combinazione di un protocollo a chiave trattenuta a tre impostazioni e del certificato di entropia PM-BFF abbassa significativamente le soglie di rumore per la generazione di chiavi sicure, rendendo la SDI-QKD fattibile in regimi precedentemente considerati troppo rumorosi.

Gli autori concludono che questi risultati mostrano che una sicurezza robusta è ottenibile sfruttando l'incapacità operativa di un avversario di escludere determinati stati, anche quando non può identificarli perfettamente.