How Many Independent Modes Does a Fluid Antenna Have? A Closed-Form Outage Analysis via Equivalent Degrees of Freedom

Riassunto Tecnico: Quanti Modi Indipendenti Ha un'Antenna Fluida? Un'Analisi di Interruzione in Forma Chiusa tramite Gradi di Libertà Equivalenti

Enunciato del Problema
I Sistemi ad Antenna Fluida (FAS) offrono una soluzione promettente per ottenere diversità spaziale in dispositivi compatti selezionando dinamicamente la porta migliore tra $N$ posizioni correlate all'interno di un'apertura fisica. Tuttavia, l'analisi accurata delle prestazioni, in particolare la probabilità di interruzione, rimane una sfida significativa. La valutazione esatta richiede il calcolo della funzione di distribuzione cumulativa congiunta (CDF) di $N$ guadagni di canale correlati, che comporta un intrattabile integrale multivariato di dimensione $N$. Le approssimazioni in forma chiusa esistenti, come il Modello di Correlazione a Blocchi (BCM) e la sua estensione variabile (VBCM), semplificano il problema partizionando le porte in blocchi indipendenti. Sebbene analiticamente convenienti, questi modelli scartano sistematicamente le correlazioni inter-blocco, portando a una sottostima ottimistica della vera probabilità di interruzione. Inoltre, nessuna espressione in forma chiusa esistente soddisfa simultaneamente tre criteri critici: (i) valutazione banale senza integrazione numerica, (ii) conservatività dimostrabile (un limite superiore sulla vera interruzione) e (iii) coerenza con l'ordine di diversità corretto.

Metodologia
Il documento collega la correlazione spaziale FAS alla teoria classica dei segnali a banda limitata, in particolare al teorema di concentrazione di Slepian-Landau-Pollak. Gli autori stabiliscono che per un FAS con una lunghezza di apertura lineare normalizzata $W$ (in lunghezze d'onda), la matrice di correlazione spaziale possiede una struttura spettrale specifica. Indipendentemente dal numero totale di porte implementate $N$, gli autovalori della matrice di correlazione mostrano una transizione netta: i primi $K^*$ autovalori formano un cluster dominante, mentre i restanti autovalori decadono esponenzialmente verso zero.

Il numero di modi autovaloriali significativi è derivato come:
$$K^* = 2\lceil W \rceil + 1$$
Questa quantità, denominata Gradi di Libertà Equivalenti (EDoF), dipende esclusivamente dalla dimensione dell'apertura $W$, non dal numero di porte $N$.

Sulla base di questa concentrazione spettrale, il documento propone due framework di approssimazione:

1. Approssimazione EDoF: Il sistema correlato a $N$ porte è modellato come combinazione di selezione su $K^*$ rami Rayleigh indipendenti e identicamente distribuiti (i.i.d.). Ciò produce una semplice espressione di interruzione in forma chiusa: $P_{out}^{EDoF} = (1 - e^{-x})^{K^*}$, dove $x$ è la soglia di interruzione normalizzata.
2. Modi Indipendenti Ponderati Raffinati (WIM): Per migliorare l'accuratezza a rapporti Segnale-Rumore (SNR) moderati, questa variante incorpora le grandezze specifiche degli autovalori dominanti. Modella il sistema come combinazione di selezione su $K^*$ rami indipendenti con pesi disuguali $\{\beta_k\}$ derivati dagli autovalori normalizzati, risultando in un'espressione di forma prodotto: $P_{out}^{Ref} = \prod_{k=1}^{K^*} (1 - e^{-x/\beta_k})$.

Le dimostrazioni teoriche utilizzano l'espansione di Karhunen-Loève (KL) e la disuguaglianza di Anderson per dimostrare che queste approssimazioni non sottostimano mai la vera probabilità di interruzione e raggiungono l'ordine di diversità esatto $K^*$.

Contributi Chiave

• Approssimazione EDoF: Derivazione del primo limite di interruzione conservativo in forma chiusa per FAS che non richiede decomposizione spettrale, integrazione numerica o conoscenza del numero di porte $N$. Dipende solo dall'apertura normalizzata $W$.
• WIM Raffinato: Sviluppo di un affinamento di forma prodotto che tiene conto della dispersione degli autovalori, offrendo un'accuratezza migliorata a SNR moderati mantenendo una struttura in forma chiusa e l'ordine di diversità esatto.
• Ordine di Diversità e Strettezza Asintotica: Dimostrazione che entrambe le approssimazioni raggiungono l'ordine di diversità esatto $K^* = 2\lceil W \rceil + 1$. La formula EDoF è dimostrata essere asintoticamente esatta ad alto SNR, con un gap moltiplicativo limitato rispetto alla vera interruzione.
• Capacità Ergodica: Derivazione di un'espressione in serie in forma chiusa per la capacità ergodica sotto il modello EDoF utilizzando statistiche d'ordine, consentendo una rapida valutazione a livello di sistema senza simulazione Monte Carlo.
• Estensione Multi-utente (FAMA): Estensione del framework ai sistemi ad Accesso Multiplo ad Antenna Fluida (FAMA), fornendo un'espressione in forma chiusa per i pavimenti di interruzione limitati dall'interferenza. Ciò rivela come il numero di utenti, la dimensione dell'apertura e l'ordine di diversità determinino congiuntamente il pavimento di interruzione.
• FAS Planare 2D: Generalizzazione del concetto EDoF ad aperture piane bidimensionali. L'ordine di diversità scala moltiplicativamente con le dimensioni dell'apertura ($K^*_{2D} = K^*_x \cdot K^*_y$), dimostrando che aperture 2D modeste possono raggiungere alti ordini di diversità.
• Analisi Comparativa: Un confronto sistematico che stabilisce l'ordinamento delle approssimazioni: $P_{iid} \le P_{BCM} \le P_{exact} \le P_{EDoF} \le P_{Ref}$. Ciò conferma che i modelli BCM/VBCM sono ottimistici (sottostimando l'interruzione), mentre i modelli EDoF/WIM proposti sono conservativi (sovrastimando l'interruzione).

Risultati
I risultati numerici tramite simulazioni Monte Carlo validano i risultati analitici:

• Accuratezza: L'approssimazione EDoF traccia da vicino la vera probabilità di interruzione, agendo come un limite superiore conservativo stretto. Ad alto SNR, il rapporto tra la stima EDoF e la vera interruzione converge a una costante finita (tipicamente tra 1,5 e 4 per aperture pratiche), confermando la strettezza asintotica.
• Indipendenza dal Numero di Porte: Le simulazioni confermano che aumentare il numero di porte $N$ oltre $N \approx 4K^*$ produce guadagni di diversità trascurabili, poiché le porte aggiuntive sovracampionano semplicemente i $K^*$ modi spaziali esistenti.
• Scalabilità dell'Apertura: La probabilità di interruzione diminuisce monotonicamente con la dimensione dell'apertura $W$. Il comportamento a "gradini" del modello EDoF riflette la natura discreta di $K^*$, dove aumentare $W$ leggermente oltre un valore intero attiva modi spaziali aggiuntivi.
• Prestazioni FAMA: Negli scenari multi-utente, la probabilità di interruzione mostra un pavimento ad alto SNR a causa dell'interferenza. I risultati mostrano che aumentare la dimensione dell'apertura (e quindi $K^*$) è più efficace nel abbassare questo pavimento rispetto all'aumento della potenza di trasmissione.
• 2D vs 1D: Un FAS planare 2D raggiunge ordini di diversità significativamente più alti rispetto a un FAS lineare 1D di apertura totale equivalente, offrendo guadagni SNR sostanziali per terminali compatti.

Significato
Il documento afferma che il framework proposto risolve una lacuna critica nello strumento analitico FAS. Fornendo un'espressione in forma chiusa che è contemporaneamente facile da valutare, provatamente conservativa e accurata nell'ordine di diversità, il lavoro consente una dimensionamento affidabile del sistema e la certificazione delle prestazioni. A differenza dei modelli precedenti che rischiano di sottodimensionare i sistemi sottostimando l'interruzione, le approssimazioni EDoF e WIM forniscono agli ingegneri un margine sicuro e quantificabile per l'analisi del budget di collegamento e l'allocazione delle risorse. L'identificazione di $K^*$ come limite fondamentale della diversità spaziale, determinata dalla dimensione dell'apertura piuttosto che dal numero di porte, offre una chiara linea guida progettuale: aggiungere porte oltre la risoluzione dei modi autovaloriali dell'apertura produce rendimenti decrescenti, mentre aumentare l'apertura fisica è la leva principale per migliorare l'affidabilità.