Capacity of multimode quantum Gaussian channels

Sintesi Tecnica: Capacità dei Canali Quantistici Gaussiani Multimodali

Enunciato del Problema
I moderni sistemi di comunicazione ottica, che spaziano dai collegamenti nello spazio libero alle reti in fibra, utilizzano sempre più architetture multiple-input multiple-output (MIMO) per aumentare i tassi di dati. Sebbene la teoria classica MIMO sia ben consolidata, i limiti fondamentali dei canali ottici MIMO richiedono una descrizione meccanica quantistica a causa della natura quantistica intrinseca della luce e del rumore quantistico inevitabile. I modelli esistenti spesso trattano i segnali ottici come forme d'onda classiche o si concentrano su scenari a singolo modo. Questo articolo colma il vuoto nella caratterizzazione della capacità informativa fondamentale dei canali ottici multimodali modellati come canali quantistici gaussiani bosonici. Nello specifico, esamina come il numero di modi, la diffusione casuale (trasformazioni passive) e le trasformazioni attive deboli influenzino la capacità del canale sotto vincoli di potenza fissi.

Metodologia
Gli autori modellano i collegamenti di comunicazione ottica utilizzando il quadro dei canali quantistici gaussiani bosonici. Il sistema è costituito da $N$ modi di segnale in ingresso, $K$ modi di segnale in uscita e $M$ modi ambientali. La dinamica del canale è descritta da trasformazioni simplettiche che agiscono sugli operatori di quadratura del segnale e dell'ambiente.

1. Decomposizione del Canale: Per trasformazioni passive e insensibili alla fase, gli autori dimostrano che il canale multimodale può essere decomposto in sotto-canali paralleli a singolo modo tramite la Decomposizione ai Valori Singoli (SVD). Crucialmente, mostrano che per le matrici che rappresentano queste trasformazioni specifiche, le matrici unitarie nella SVD sono anch'esse simplettiche, garantendo che la decomposizione corrisponda a trasformazioni ottiche fisiche valide.
2. Calcolo della Capacità:
   • Capacità di Holevo: La capacità fondamentale è derivata utilizzando il limite di Holevo, che rappresenta la massima informazione classica accessibile tramite misurazioni quantistiche ottimali. Gli autori derivano una formula esplicita per l'informazione di Holevo dello stato di uscita mediato sull'insieme, assumendo una modulazione gaussiana di stati coerenti.
   • Strategie di Rilevamento: Il lavoro deriva anche le capacità ottenibili con strategie di rilevamento specifiche e subottimali: rilevamento omodino ed eterodino. Queste sono espresse come somme di informazioni reciproche classiche per i canali a singolo modo decomposti.
   • Ottimizzazione: L'allocazione della potenza tra i modi è ottimizzata utilizzando un analogo quantistico dell'algoritmo "water-filling" (riempimento dell'acqua), soggetto a un vincolo di potenza totale.
3. Modello di Diffusione Casuale: Per modellare la diffusione casuale del segnale (analoga allo sfading di Rayleigh nelle radio), gli autori trattano la matrice di trasformazione del canale come una matrice unitaria casuale campionata dalla misura di Haar. Utilizzano la teoria dell'insieme di Jacobi per derivare la densità spettrale degli autovalori del canale. Ciò permette il calcolo analitico della capacità attesa del canale integrando la funzione di capacità a singolo modo sulla distribuzione degli autovalori.
4. Trasformazioni Attive: Il modello è esteso per includere trasformazioni attive deboli (squeezing) campionando i parametri di squeezing da una distribuzione gaussiana, valutata tramite simulazioni Monte Carlo.

Contributi e Risultati Chiave

• Formule Esplicite per la Capacità: L'articolo fornisce espressioni analitiche in forma chiusa per la capacità di Holevo dei canali gaussiani multimodali sotto operazioni passive e insensibili alla fase. Si dimostra che la capacità è una somma dei contributi dei singoli modi, ciascuno dipendente dai valori singolari della trasformazione del canale e dal rumore efficace.
• Ottimalità dell'Espansione dei Modi: Una scoperta centrale è che, sotto un vincolo di potenza totale fisso, aumentare il numero di modi di trasmissione ($N$) aumenta sempre la capacità del canale. In scenari privi di rumore, la capacità cresce indefinitamente con $N$, mentre in scenari rumorosi si satura a un valore determinato dalla forza del rumore.
• Canali Passivi Casuali: Per i canali governati da trasformazioni passive casuali, gli autori derivano una formula analitica per la capacità attesa (Eq. 29) basata sulla densità spettrale mediata sull'insieme dell'insieme di Jacobi. I risultati indicano che, sebbene la capacità aumenti con il numero di modi di segnale, una dimensione ambientale ($M$) più grande riduce generalmente la capacità a causa della fuoriuscita del segnale.
• Confronto delle Strategie di Rilevamento: Lo studio confronta la capacità di Holevo con i limiti di rilevamento omodino ed eterodino. Si riscontra che per un piccolo numero di modi, il rilevamento eterodino performa meglio, ma per un grande numero di modi, il rilevamento omodino si avvicina più da vicino al limite quantistico, sebbene nessuno dei due raggiunga il limite completo di Holevo.
• Trasformazioni Attive: L'inclusione di trasformazioni attive deboli mostra un impatto sfumato: a seconda della configurazione dei modi del trasmettitore ($N$), del ricevitore ($K$) e dell'ambiente ($M$), le trasformazioni attive casuali possono sia aumentare che diminuire l'informazione di Holevo. Tuttavia, aumentano costantemente le capacità ottenibili tramite rilevamento omodino ed eterodino.

Significato
L'articolo stabilisce una fondazione meccanica quantistica rigorosa per la comprensione delle comunicazioni ottiche MIMO. Estendendo i concetti classici di water-filling e diffusione casuale al regime quantistico, dimostra che la descrizione quantistica impone vincoli specifici e offre comportamenti di scalatura distinti rispetto ai modelli classici. La derivazione di formule analitiche per i canali passivi casuali fornisce uno strumento pratico per stimare le prestazioni dei collegamenti ottici soggetti a ambienti di diffusione complessi e casuali, senza ricorrere esclusivamente a simulazioni numeriche. Il lavoro conferma che i limiti fondamentali della trasmissione di informazioni ottiche sono governati dall'interazione tra il numero di modi disponibili, le proprietà di trasmissione del canale e il rumore quantistico di fondo, indipendentemente dalle specifiche architetture del ricevitore.