Asymptotically Optimal Local Receiver in Uplink CF-mMIMO: A Functional-Variational Analysis

Sintesi Tecnica: Ricevitore Locale Asintoticamente Ottimale in Uplink CF-mMIMO

Definizione del Problema
Nei sistemi Cell-Free Massive Multiple-Input Multiple-Output (CF-mMIMO), l'approccio standard per la progettazione del ricevitore locale in uplink si basa sulla tecnica di bounding "use-and-then-forget" (UatF). Questo framework impiega tipicamente un ricevitore LMMSE (Minimum Mean Square Error) locale in ogni Access Point (AP), seguito da una decodifica Large-Scale Fading Decoding (LSFD) presso la Central Processing Unit (CPU). Sebbene analiticamente trattabile, gli autori identificano tre limitazioni fondamentali in questo paradigma:

1. Gap di Prestazioni: Il limite inferiore UatF è una surrogata conservativa del vero tasso ergodico (ergodic rate). Il divario tra il limite e il tasso reale può essere significativo, in particolare in regimi limitati dall'interferenza o quando l'indurimento del canale (channel hardening) non è pienamente realizzato.
2. Overhead e Complessità: La fase LSFD richiede che la CPU raccolga le stime locali e calcoli i coefficienti di combinazione ottimali basandosi sulle statistiche del canale a lungo termine. Ciò introduce un ulteriore overhead di fronthaul e un carico computazionale alla CPU.
3. Mancanza di una Dimostrazione Rigorosa di Ottimalità: Sebbene la struttura LMMSE-LSFD sia ampiamente adottata, l'articolo nota che una rigorosa dimostrazione che stabilisca la sua ottimalità specificamente sotto l'obiettivo UatF non è stata formalmente riportata nella letteratura precedente.

Il problema centrale affrontato è se i ricevitori locali possano essere progettati direttamente dall'obiettivo del tasso ergodico reale (invece della surrogata UatF) per migliorare le prestazioni evitando i costi computazionali e di segnalazione associati a LSFD.

Metodologia
L'articolo propone un framework di ottimizzazione diretta per la progettazione del ricevitore locale sotto l'assunzione di informazione sul canale (CSI) locale perfetta in ogni AP. La metodologia procede come segue:

1. Formulazione del Problema: Gli autori formulano la progettazione del ricevitore come un problema di ottimizzazione funzionale volto a massimizzare il tasso ergodico, $E[\log_2(1 + \text{SINR}_{\text{INS}})]$. Si tratta di un complesso problema di programmazione frazionaria che coinvolge l'aspettativa di un logaritmo su uno spazio funzionale infinito.
2. Approssimazione di Grande Sistema: Per rendere il problema trattabile, gli autori sfruttano la teoria delle matrici casuali dei grandi sistemi. Introducono un vincolo basato sull'aspettativa per sostituire la normalizzazione puntuale del Rapporto Segnale-Interferenza più Rumore (SINR) istantaneo. Nel limite del grande sistema (dove il numero totale di antenne $NM$ è grande), le quantità casuali nel denominatore del SINR si concentrano attorno alle loro aspettative, permettendo di rilassare il vincolo puntuale in un vincolo basato sull'aspettativa.
3. Analisi Funzionale-Variazionale: Utilizzando le derivate funzionali, gli autori derivano le condizioni di stazionarietà del primo ordine per il problema rilassato. Ciò comporta la costruzione di un funzionale duale di Lagrange e l'analisi delle perturbazioni.
4. Decoupling dei Termini Cross-AP: Un passaggio critico consiste nell'analizzare i termini di accoppiamento cross-AP (interferenza dagli altri AP). Utilizzando la teoria delle matrici casuali, gli autori dimostrano che, nel limite del grande sistema, l'aspettativa condizionata di questi termini di accoppiamento svanisce. Questo deaccoppia la progettazione del ricevitore locale tra gli AP.
5. Derivazione di Q-LMMSE: L'analisi produce un ricevitore "Quasi-LMMSE" (Q-LMMSE). Gli autori dimostrano che questo ricevitore condivide lo stesso vettore direzionale del convenzionale ricevitore LMMSE, ma differisce solo per un fattore scalare istantaneo dipendente dalla CSI.

Contributi Chiave
L'articolo apporta i seguenti contributi specifici:

• Framework Funzionale-Variazionale: Gli autori sviluppano un nuovo framework per la progettazione del ricevitore orientata direttamente al tasso ergodico in CF-mMIMO, andando oltre la surrogata UatF.
• Ricevitore Asintoticamente Ottimale: Derivano il ricevitore Q-LMMSE in forma chiusa, che si dimostra essere asintoticamente ottimale sotto l'obiettivo del tasso ergodico nel regime di grande sistema.
• Dimostrazione Formale di Ottimalità: L'articolo fornisce un'analisi variazionale rigorosa che dimostra come la combinazione MMSE locale seguita da LSFD sia effettivamente la struttura ottimale quando viene adottato il limite UatF come metrica di prestazione.
• Riduzione della Complessità: Sfruttando il lemma dell'inversione di matrice (specificamente la formula di Sherman-Morrison), gli autori mostrano che il ricevitore Q-LMMSE comporta la stessa complessità computazionale per AP del ricevitore LMMSE standard. Fondamentalmente, elimina la necessità di calcolo dei coefficienti LSFD lato CPU e il relativo overhead di segnalazione per i parametri statistici.
• Guadagno di Prestazioni: Il ricevitore Q-LMMSE impiega una combinazione a guadagno uguale (somma diretta) alla CPU. I coefficienti scalari istantanei variano tra gli AP, fornendo implicitamente una ponderazione adattiva che sfrutta meglio i gradi di libertà spaziali istantanei rispetto alla ponderazione statistica statica di LSFD.

Risultati Numerici
Gli autori validano i loro risultati teorici attraverso simulazioni numeriche che confrontano il ricevitore Q-LMMSE proposto con il benchmark convenzionale LMMSE-LSFD e il limite superiore MMSE centralizzato (C-MMSE). Le principali conclusioni includono:

• Guadagno del Tasso Ergodico: Il ricevitore Q-LMMSE supera costantemente il benchmark LMMSE-LSFD in termini di vero tasso ergodico. Il guadagno è di circa il 5% quando il numero di antenne per AP è basso (ad esempio, $N=8$), dove l'indurimento del canale è meno pronunciato.
• Convergenza: All'aumentare del numero di antenne per AP ($N$), il divario di prestazioni tra Q-LMMSE e LMMSE-LSFD si riduce, in linea con il fenomeno dell'indurimento del canale che rende più stretto il limite UatF.
• Scalabilità: Il ricevitore proposto mantiene prestazioni superiori attraverso diversi numeri di AP ($M$) e utenti ($K$), operando al contempo con una complessità di sistema strettamente inferiore grazie alla rimozione dell'elaborazione LSFD lato CPU.

Significatività e Rivendicazioni
L'articolo sostiene che il ricevitore Q-LMMSE proposto offre un compromesso convincente tra prestazioni e complessità. Progettando il ricevitore direttamente dall'obiettivo del tasso ergodico, esso raggiunge un tasso di dati reale superiore rispetto all'approccio standard basato su UatF senza incorrere nell'ulteriore overhead computazionale di LSFD alla CPU. Gli autori sottolineano che il miglioramento non deriva da un algoritmo di elaborazione locale più complesso (che rimane $O(N^3)$), ma da una strategia di fusione più efficiente alla CPU che si adatta implicitamente alle condizioni di canale istantanee invece di fare affidamento sulle statistiche a lungo termine.

Il lavoro è presentato come un avanzamento teorico nella progettazione di ricevitori distribuiti per sistemi beyond-5G e 6G, fornendo un'alternativa rigorosa al dominante framework UatF. Gli autori notano che i lavori futuri estenderanno questa analisi a scenari con CSI imperfetta e indagheranno la robustezza sotto impedenze hardware.