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

Technische Samenvatting: Asymptotisch Optimale Lokale Ontvanger in Uplink CF-mMIMO

Probleemstelling
In Cell-Free Massive Multiple-Input Multiple-Output (CF-mMIMO) systemen berust de standaardbenadering voor het ontwerp van lokale ontvangers in de uplink op de "use-and-then-forget" (UatF) boundingtechniek. Dit kader maakt doorgaans gebruik van een lokale Minimum Mean Square Error (LMMSE) ontvanger bij elk Access Point (AP), gevolgd door Large-Scale Fading Decoding (LSFD) bij de Central Processing Unit (CPU). Hoewel analytisch hanteerbaar, identificeren de auteurs drie fundamentele beperkingen in dit paradigma:

1. Prestatiekloof: De UatF ondergrens is een conservatieve surrogaat voor de werkelijke ergodische snelheid. De kloof tussen de grens en de werkelijke snelheid kan aanzienlijk zijn, met name in interferentie-gelimiteerde regimes of wanneer kanaalharding niet volledig wordt gerealiseerd.
2. Overhead en Complexiteit: De LSFD-fase vereist dat de CPU lokale schattingen verzamelt en optimale combinerende coëfficiënten berekent op basis van langetermijn kanaalstatistieken. Dit introduceert extra fronthaul-overhead en een computationele belasting bij de CPU.
3. Gebrek aan Rigoureus Optimale Bewijs: Hoewel de LMMSE-LSFD structuur wijdverbreid wordt toegepast, merkt het artikel op dat een rigoureus bewijs dat de optimaliteit ervan specifiek onder de UatF-doelstelling vaststelt, niet formeel is gerapporteerd in de eerdere literatuur.

Het kernprobleem dat wordt aangepakt, is of lokale ontvangers direct kunnen worden ontworpen vanuit de werkelijke ergodische snelheid-doelstelling (in plaats van de UatF-surrogaat) om de prestaties te verbeteren en tegelijkertijd de computationele en signaleringskosten die met LSFD gepaard gaan, te vermijden.

Methodologie
Het artikel stelt een direct optimalisatiekader voor voor lokaal ontvangerontwerp onder de aanname van perfecte lokale kanaalinformatie (CSI) bij elk AP. De methodologie verloopt als volgt:

1. Probleemformulering: De auteurs formuleren het ontwerp van de ontvanger als een functioneel optimalisatieprobleem gericht op het maximaliseren van de ergodische snelheid, $E[\log_2(1 + \text{SINR}_{\text{INS}})]$. Dit is een uitdagend fractionair programmeerprobleem dat een verwachting van een logaritme omvat over een oneindig-dimensionale functieruimte.
2. Grootschalige Systeembenadering: Om het probleem hanteerbaar te maken, maken de auteurs gebruik van random matrix theory voor grote systemen. Ze introduceren een op verwachting gebaseerde surrogaatbeperking om de puntgewijze normalisatie van de instantane Signal-to-Interference-plus-Noise Ratio (SINR) te vervangen. In de limiet van het grote systeem (waarbij het totaal aantal antennes $NM$ groot is), concentreren willekeurige grootheden in de SINR-noemer zich rond hun verwachtingswaarden, waardoor de puntgewijze beperking kan worden versoepeld naar een op verwachting gebaseerde beperking.
3. Functioneel-Variationele Analyse: Met behulp van functionele afgeleiden leiden de auteurs de eerste-orde stationariteitscondities af voor het versoepelde probleem. Dit omvat het construeren van een Lagrange duale functionaal en het analyseren van perturbaties.
4. Ontkoppeling van Cross-AP Termen: Een cruciale stap is het analyseren van de cross-AP koppelingstermen (interferentie van andere AP's). Met behulp van random matrix theory bewijzen de auteurs dat in de limiet van het grote systeem de conditionele verwachting van deze koppelingstermen verdwijnt. Dit ontkoppelt het lokale ontvangerontwerp over de AP's heen.
5. Afleiding van Q-LMMSE: De analyse leidt tot een "Quasi-LMMSE" (Q-LMMSE) ontvanger. De auteurs demonstreren dat deze ontvanger dezelfde directionele vector deelt als de conventionele LMMSE-ontvanger, maar alleen verschilt door een instantane, CSI-afhankelijke scalaire factor.

Belangrijkste Bijdragen
Het artikel levert de volgende specifieke bijdragen:

• Functioneel-Variationeel Kader: De auteurs ontwikkelen een nieuw kader voor direct op de ergodische snelheid gericht ontvangerontwerp in CF-mMIMO, waarmee zij verder gaan dan de UatF-surrogaat.
• Asymptotisch Optimale Ontvanger: Zij leiden de Q-LMMSE ontvanger in gesloten vorm af, die wordt aangetoond asymptotisch optimaal te zijn onder de ergodische snelheid-doelstelling in het grote systeemregime.
• Formeel Optimale Bewijs: Het artikel biedt een rigoureuze variationele analyse die bewijst dat de lokale MMSE-combinatie gevolgd door LSFD inderdaad de optimale structuur is wanneer de UatF-grens wordt gehanteerd als prestatiemetriek.
• Complexiteitsreductie: Door gebruik te maken van de matrix inversie lemma (specifiek de Sherman-Morrison formule), tonen de auteurs aan dat de Q-LMMSE ontvanger dezelfde per-AP computationele complexiteit heeft als de standaard LMMSE-ontvanger. Cruciaal is dat het de noodzaak voor CPU-zijde LSFD-coëfficiëntberekening en de bijbehorende fronthaul-signalisering voor statistische parameters elimineert.
• Prestatiewinst: De Q-LMMSE ontvanger maakt gebruik van equal-gain combining (directe sommatie) bij de CPU. De instantane scalaire coëfficiënten variëren over de AP's, wat impliciet een adaptieve weging biedt die de instantane ruimtelijke vrijheidsgraden beter benut dan de statische statistische weging van LSFD.

Numerieke Resultaten
De auteurs valideren hun theoretische bevindingen via numerieke simulaties waarbij de voorgestelde Q-LMMSE ontvanger wordt vergeleken met de conventionele LMMSE-LSFD benchmark en een gecentraliseerde MMSE (C-MMSE) bovengrens. Belangrijkste bevindingen zijn:

• Ergodische Snelheidswinst: De Q-LMMSE ontvanger presteert consequent beter dan de LMMSE-LSFD benchmark in termen van de werkelijke ergodische snelheid. De winst is ongeveer 5% wanneer het aantal antennes per AP laag is (bijv. $N=8$), waar kanaalharding minder uitgesproken is.
• Convergentie: Naarmate het aantal antennes per AP ($N$) toeneemt, verkleint de prestatiekloof tussen Q-LMMSE en LMMSE-LSFD, wat consistent is met het fenomeen van kanaalharding dat de UatF-grens nauwer maakt.
• Schaalbaarheid: De voorgestelde ontvanger behoudt een superieur prestatieniveau over variërende aantallen AP's ($M$) en gebruikers ($K$), terwijl deze werkt met een strikt lagere systeemniveau-complexiteit door het verwijderen van de CPU-zijde LSFD-verwerking.

Betekenis en Claims
Het artikel claimt dat de voorgestelde Q-LMMSE ontvanger een overtuigende afweging biedt tussen prestaties en complexiteit. Door de ontvanger direct af te leiden uit de ergodische snelheid-doelstelling, bereikt het een hogere werkelijke datacommunicatiesnelheid dan de standaard UatF-gebaseerde aanpak, zonder de extra computationele overhead van LSFD bij de CPU te veroorzaken. De auteurs benadrukken dat de verbetering niet voortkomt uit een complexer lokaal verwerkingsalgoritme (dat $O(N^3)$ blijft), maar uit een efficiëntere fusiestrategie bij de CPU die impliciet aanpast aan de instantane kanaalcondities in plaats van te vertrouren op langetermijnstatistieken.

Het werk wordt gepresenteerd als een theoretische vooruitgang in het ontwerp van gedistribueerde ontvangers voor beyond-5G en 6G systemen, en biedt een rigoureus alternatief voor het dominante UatF-kader. De auteurs merken op dat toekomstig werk de analyse zal uitbreiden naar scenario's met imperfecte CSI en de robuustheid onder hardware-beperkingen zal onderzoeken.