Photon Efficiency of High-Dimensional Quantum Key Distribution

Sintesi Tecnica: Efficienza dei Fotoni nella Distribuzione Quantistica di Chiavi ad Alta Dimensionalità

Enunciato del Problema
La Distribuzione Quantistica di Chiavi (QKD) affronta sfide significative quando estesa a scale globali tramite collegamenti satellitari e ottici nello spazio libero. Sebbene la QKD satellitare eviti i costi elevati e le limitazioni di distanza delle reti in fibra, opera in condizioni di "fame di fotoni". Il segnale ricevuto è estremamente debole a causa delle perdite di propagazione atmosferica e della tipica bassa luminosità (bassa probabilità di produzione di coppie, $p_{pair} \ll 1$) delle sorgenti di fotoni entangled. Inoltre, questi collegamenti sono soggetti a radiazione di fondo (rumore).

In questo regime, la metrica standard del tasso di chiave segreta è insufficiente. Invece, le prestazioni devono essere quantificate dall'Efficienza della Chiave per Fotone (PKE), definita come la quantità di bit di chiave segreta estraibili per coppia di fotoni ricevuti. Il lavoro affronta i limiti teorici della PKE per protocolli QKD basati su entanglement, investigando specificamente se codificare più qubit in un singolo fotone (codifica ad alta dimensionalità) possa ottimizzare le prestazioni in condizioni realistiche di rumore e perdita.

Metodologia
Gli autori analizzano protocolli QKD basati su entanglement, in particolare le versioni a quattro stati e a sei stati di BBM92 e SARG04. Lo studio si concentra su uno specifico schema di codifica ad alta dimensionalità in cui $m$ qubit logici sono codificati in un singolo fotone utilizzando la codifica a slot temporali (una forma di Modulazione di Posizione dell'Impulso).

1. Schema di Codifica: Un singolo fotone occupa uno degli $M = 2^m$ slot temporali all'interno di un frame. L'indice dello slot, rappresentato in binario, corrisponde allo stato della base computazionale di $m$ qubit. Sovrapposizioni arbitrarie sono codificate tramite fasi relative attraverso gli slot.
2. Schema di Ricezione: Il ricevitore utilizza una cascata di $m$ stadi interferometrici. Ogni stadio agisce come un divisore di fascio temporale, combinando intervalli di tempo adiacenti e permettendo la selezione indipendente della base (X, Y o Z) per ogni qubit logico tramite regolazioni di fase e rapporto di divisione.
3. Modello del Canale: Gli autori modellano un collegamento satellitare realistico includendo:
   • Efficienze di trasmissione ($\eta_A, \eta_B$).
   • Rumore di fondo ($n_A, n_B$).
   • Disturbi dei rivelatori ($D$) e la frazione di eventi conclusivi ($E$).
   • Due modelli di decoerenza: Dephasing (asimmetrico, che influenza le basi X/Y, modellato dalla visibilità dell'interferometro) e Depolarizzante (simmetrico, che influenza tutte le basi).
4. Ottimizzazione: Il tasso teorico di chiave segreta ($K$) è calcolato utilizzando l'informazione mutua tra Alice e Bob meno l'informazione di Holevo tra Bob ed Eve. Il tasso di chiave totale è $R_{key} = m \cdot R_{event} \cdot K$. Gli autori ottimizzano la PKE ($R_{key} / (\eta_A \eta_B R_{source})$) rispetto a due variabili:
   • Il numero di qubit codificati per fotone ($m$).
   • L'intensità della sorgente, quantificata dalla probabilità di produzione di coppie ($p_{pair}$).

Risultati Chiave

• Intensità Ottimale della Sorgente: Contrariamente alla comunicazione classica nel regime di fame di fotoni (dove l'efficienza ottimale è avvicinata quando la potenza del segnale tende a zero), la PKE ottimale nella QKD è raggiunta a una probabilità di produzione di coppie finita e non nulla. Se il segnale è troppo debole rispetto al rumore di fondo, il rumore domina, rendendo impossibile la generazione di chiavi segrete.
• Guadagno ad Alta Dimensionalità: La codifica multiqubit migliora significativamente le prestazioni. Il numero ottimale di qubit codificati ($m^*$) scala logaritmicamente con il rapporto rumore-trasmissione ($n_b/\eta$). Gli autori dimostrano che la codifica multiqubit può aumentare il tasso di chiave segreta fino a un ordine di grandezza rispetto agli schemi a singolo qubit.
• Confronto tra Protocolli: Il protocollo BBM92 generalmente produce la più alta efficienza di fotoni rispetto a SARG04. Inoltre, l'uso di una scelta di base sbilanciata (misurando prevalentemente nella base Z, con $q \approx 1$) aumenta ulteriormente l'efficienza.
• Vincoli di Rumore: Esiste un limite fondamentale sul numero di qubit che possono essere codificati in un singolo fotone, dettato dal livello di rumore. Il numero di slot temporali $M$ deve soddisfare $M < \eta / 2n_b$. Ad esempio, in condizioni di luce diurna con specifici valori di rumore e trasmittanza, possono essere codificati efficacemente solo due qubit.
• Approssimazione Analitica: Nel regime di rumore debole ($n_b/\eta \ll 1$), gli autori derivano espressioni analitiche approssimate per l'ottimale $m^*$ e $p^*_{pair}$ utilizzando la funzione W di Lambert. Queste approssimazioni si allineano bene con le simulazioni numeriche.

Significato e Affermazioni
Il lavoro afferma di stabilire il limite informativo teorico per l'efficienza QKD negli scenari satellitari. Il suo contributo principale è dimostrare che la codifica ad alta dimensionalità è una strategia cruciale per massimizzare l'utilità dei segnali deboli nelle comunicazioni quantistiche nello spazio libero.

Gli autori evidenziano una distinzione fondamentale tra l'efficienza della comunicazione classica e quella quantistica:

• Nei canali classici affetti da fame di fotoni, l'efficienza si massimizza quando la potenza del segnale tende a zero.
• Nella QKD, la presenza di rumore di fondo impone un limite inferiore alla potenza del segnale richiesta per distinguere la chiave dal rumore. Di conseguenza, la potenza del segnale ottimale è finita.

Il lavoro suggerisce che ottimizzando il compromesso tra il numero di qubit codificati e l'intensità della sorgente, i sistemi QKD satellitari possono raggiungere tassi di chiave segreta per fotone significativamente più elevati, migliorando così la fattibilità delle reti quantistiche globali senza fare affidamento su nodi fidati. Lo studio rimane teorico, concentrandosi sui limiti fondamentali imposti dalla fisica e dal rumore piuttosto che proporre nuove implementazioni hardware specifiche.