Diversity vs Degrees of Freedom in Gaussian Fading Channels

Sintesi Tecnica: Diversità vs. Gradi di Libertà per Canali di Fading Gaussiano

Enunciato del Problema
Il documento affronta un limite fondamentale nelle definizioni classiche di Gradi di Libertà (DOF) e Diversità (DIV) per i canali di fading gaussiano. Tradizionalmente, questi parametri vengono estratti utilizzando un calibro fisso di $\log \rho$ (dove $\rho$ è il rapporto segnale-rumore): il DOF è definito come $\lim_{\rho \to \infty} C(\rho)/\log \rho$, e la DIV come $\lim_{\rho \to \infty} -\log P_e(\rho)/\log \rho$.

L'autore sostiene che questo approccio confonda due operazioni distinte: la selezione del calibro (identificare la corretta scala asintotica sulla quale cresce la capacità o l'affidabilità) e la normalizzazione atomica (dividere il coefficiente di crescita grezzo per il coefficiente di un singolo "atomo" di informazione o affidabilità). Nel caso classico del MIMO complesso coerente, il calibro coincide con $\log \rho$ e i coefficienti degli atomi rilevanti sono pari a 1, rendendo queste operazioni numericamente invisibili. Tuttavia, per canali in cui la scala di crescita differisce da $\log \rho$ (ad esempio, il fading veloce non coerente dove la capacità cresce come $\log \log \rho$) o dove il coefficiente grezzo include costanti non unitarie (ad esempio, AWGN reale o canali con $H$ fisso), le definizioni classiche producono risultati non informativi o errati (ad esempio, prelog zero o pendenza della diversità infinita).

Metodologia
Il documento propone un framework in due fasi per disaccoppiare la selezione del calibro dalla normalizzazione atomica, utilizzando la frontiera di Bhattacharyya come strumento geometrico unificante.

1. Costruzione della Frontiera di Bhattacharyya: Lo strumento centrale è la frontiera di Bhattacharyya, $\Delta^*_B(K; \rho)$, definita come il massimo, su tutti gli $K$-codebook ammissibili, della distanza di Bhattacharyya minima tra le leggi di output indotte.

   • Lato Capacità (Rate): Il packing di codeword a separazione fissa identifica il calibro della capacità. Il Teorema 1 (Capacity–Packing Sandwich) dimostra che se il packing e il covering con risoluzione fissa delle leggi di output hanno coefficienti di entropia corrispondenti, si recuperano sia il calibro della capacità che il coefficiente grezzo della capacità.
   • Lato Diversità (Affidabilità): L'endpoint binario ($K=2$) della frontiera identifica il calibro della diversità a tasso zero. Il Teorema 2 stabilisce che l'endpoint binario è equivalente per calibro al tasso di errore di testing ottimale per due messaggi.

2. Normalizzazione Atomica: Una volta identificati il corretto calibro e il coefficiente grezzo, il documento definisce gli "atomi" per normalizzare tali valori:

   • Atomo di Comunicazione: Un grado di libertà di input indipendentemente controllabile (ad esempio, una direzione di input SISO o un sottospazio di Grassmann).
   • Atomo di Affidabilità: Un'unità indipendente di osservazione di affidabilità di output normalizzata (ad esempio, un'osservazione rumorosa a guadagno unitario).
   • Endpoint DOF/DIV: I parametri finali si ottengono dividendo il coefficiente grezzo per il corrispondente coefficiente dell'atomo ($\alpha_{comm}$ o $\alpha_{rel}$).

Contributi Chiave e Risultati
Il documento applica questo framework a sette famiglie di canali, distinguendo tra casi a "stesso calibro" (dove le definizioni classiche valgono) e casi a "calibro incrociato" (dove esse falliscono).

• H Deterministico Fisso (Calibro Incrociato):

  • Capacità: Cresce sul calibro $\log \rho$. Il DOF dell'endpoint a blocco è $T \cdot \text{rank}(H)$.
  • Diversità: Cresce sul calibro lineare $\rho$ (non $\log \rho$). L'endpoint binario produce un coefficiente grezzo di $T\sigma_1^2(H)/\ln 2$. Dopo la normalizzazione rispetto all'atomo di affidabilità AWGN fisso ($1/\ln 2$), l'endpoint DIV è $T\sigma_1^2(H)$.
  • Insight: Questo canale è a "calibro incrociato". La capacità è determinata dal covering dell'immagine di input (dimensioni di input), mentre la diversità è determinata dall'espansione della separazione tra gli output (osservazioni di output). L'endpoint DIV dipende dal guadagno per $H$ non normalizzato.

• Fading Veloce Non Coerente (Calibro Incrociato):

  • Capacità: Cresce sul calibro $\log \log \rho$ (recuperando i risultati di Lapidoth–Moser). L'endpoint DOF è 1.
  • Diversità: Cresce sul calibro $\log \rho$. L'endpoint binario ha un coefficiente grezzo di $N/2$. Dopo la normalizzazione rispetto all'atomo di affidabilità del fading veloce ($1/2$), l'endpoint DIV è $N$.
  • Frontiera Load-r: Il documento deriva un esatto calibro della frontiera load-r pari a $(\log \rho)^{1-r}$ con un coefficiente di $N/2$.

• Casi di Calibrazione a Stesso Calibro:

  • Per il MIMO Rayleigh Coerente e il Fading a Blocchi Non Coerente, viene dimostrato che sono casi a stesso calibro dove sia la capacità che la diversità crescono sulla scala $\log \rho$. I coefficienti grezzi corrispondono ai conteggi classici di DOF e DIV (ad esempio, DIV a tasso zero $MN$) poiché i coefficienti degli atomi rilevanti sono pari a 1.

• Casi Aperti e Condizionali:

  • Fading Multipath: Una costruzione protetta fornisce un limite inferiore sul calibro della diversità ($\log \rho$) e un limite inferiore sull'endpoint DIV, ma la frontiera esatta non protetta rimane aperta.
  • Fading Parallelo Fractional-Log: Fornisce un benchmark condizionale basato sulla funzione $E_0$ di Gallager, assumendo un insieme di input prodotto.
  • Fading Toeplitz Stazionario: Il calibro della capacità è $(\log \rho)^\beta$ (log frazionario), ma il calibro della diversità a tasso zero e la frontiera load-r rimangono aperti a causa della non commutatività delle matrici di covarianza tra le codeword, che impedisce la fattorizzazione per coordinate.

Significatività e Rivendicazioni
Il documento sostiene di chiarire le definizioni di DOF e DIV separando esplicitamente l'identificazione della scala di crescita asintotica (calibro) dalla normalizzazione del coefficiente di crescita (conteggio atomico).

• Correzione di Equivoci: Dimostra che un "prelog zero" o una "pendenza della diversità infinita" in certi canali non sono dovuti a una mancanza di struttura del segnale, ma a un disallineamento del calibro (usare $\log \rho$ quando il canale cresce come $\log \log \rho$ o $\rho$).
• Framework Unificato: Introduce la frontiera di Bhattacharyya come un oggetto geometrico indipendente dal calibro che estrae coerentemente sia i parametri di capacità che di diversità attraverso diversi modelli di canale.
• Precisione: Fornisce valori esatti per gli endpoint DOF e DIV per i canali a calibro incrociato (Fixed-H e Fading Veloce Non Coerente) dove le definizioni classiche falliscono, e stabilisce frontiere load-r esatte per il caso di fading veloce.
• Modestia: Il documento riconosce esplicitamente che per diversi modelli (Multipath, Fading Toeplitz Stazionario), i calibri esatti della diversità e le frontiere load-r non sono ancora determinati. Inquadra i risultati per questi casi come limiti inferiori, benchmark condizionali o problemi aperti, evitando di rivendicare funzioni di affidabilità operativa esatte dove non sono state provate.

In sint, il documento sostiene che la convenzione classica del MIMO coerente ha oscurato la necessità della selezione del calibro e della normalizzazione atomica. Rendendo espliciti questi passaggi, il framework recupera i risultati classici dove appropriato e fornisce metriche corrette e rigorose per i canali in cui il calibro $\log \rho$ classico è insufficiente.