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

Résumé Technique : Récepteur Local Asymptotiquement Optimal dans l'Uplink CF-mMIMO

Énoncé du Problème
Dans les systèmes de MIMO massif sans cellule (Cell-Free Massive MIMO ou CF-mMIMO), l'approche standard pour la conception de récepteurs locaux en liaison montante (uplink) repose sur la technique de bornage « use-and-then-forget » (UatF - utiliser puis oublier). Ce cadre utilise généralement un récepteur LMMSE (Minimum Mean Square Error linéaire) local à chaque point d'accès (AP), suivi d'un décodage par grande échelle de fading (LSFD - Large-Scale Fading Decoding) au niveau de l'unité centrale de traitement (CPU). Bien que cette méthode soit analytiquement traitable, les auteurs identifient trois limitations fondamentales dans ce paradigme :

1. Écart de Performance : La borne inférieure UatF est un substitut conservateur du véritable taux ergodique. L'écart entre la borne et le taux réel peut être significatif, particulièrement dans les régimes limités par l'interférence ou lorsque le durcissement du canal (channel hardening) n'est pas pleinement réalisé.
2. Surcharge et Complexité : L'étape LSFD nécessite que le CPU collecte les estimations locales et calcule les coefficients de combinaison optimaux basés sur les statistiques de canal à long terme. Cela introduit une surcharge de fronthaul supplémentaire et une charge de calcul au niveau du CPU.
3. Absence de Preuve d'Optimalité Rigoureuse : Bien que la structure LMMSE-LSFD soit largement adoptée, l'article note qu'aucune preuve rigoureuse établissant son optimalité spécifiquement sous l'objectif UatF n'a été formellement rapportée dans la littérature antérieure.

Le problème central abordé est de savoir si les récepteurs locaux peuvent être conçus directement à partir de l'objectif réel du taux ergodique (plutôt que du substitut UatF) afin d'améliorer les performances tout en évitant les coûts de calcul et de signalisation associés au LSFD.

Méthodologie
L'article propose un cadre d'optimisation directe pour la conception de récepteurs locaux sous l'hypothèse d'une information d'état du canal (CSI) locale parfaite à chaque AP. La méthodologie procède comme suit :

1. Formulation du Problème : Les auteurs formulent la conception du récepteur comme un problème d'optimisation fonctionnelle visant à maximiser le taux ergodique, $E[\log_2(1 + \text{SINR}_{\text{INS}})]$. Il s'agit d'un problème de programmation fractionnaire complexe impliquant une espérance d'un logarithme sur un espace de fonctions de dimension infinie.
2. Approximation de Grand Système : Pour rendre le problème traitable, les auteurs exploitent la théorie des matrices aléatoires de grands systèmes. Ils introduisent une contrainte de substitution basée sur l'espérance pour remplacer la normalisation ponctuelle du rapport signal sur interférence plus bruit (SINR) instantané. Dans la limite du grand système (où le nombre total d'antennes $NM$ est grand), les quantités aléatoires dans le dénominateur du SINR se concentrent autour de leurs espérances, permettant de relaxer la contrainte ponctuelle en une contrainte basée sur l'espérance.
3. Analyse Variationnelle-Fonctionnelle : En utilisant les dérivées fonctionnelles, les auteurs dérivent les conditions de stationnarité du premier ordre pour le problème relaxé. Cela implique la construction d'un fonctionnel dual de Lagrange et l'analyse des perturbations.
4. Découplage des Termes Inter-AP : Une étape critique consiste à analyser les termes de couplage entre les AP (interférence provenant d'autres AP). En utilisant la théorie des matrices aléatoires, les auteurs prouvent que, dans la limite du grand système, l'espérance conditionnelle de ces termes de couplage s'annule. Cela découple la conception du récepteur local entre les AP.
5. Dérivation du Q-LMMSE : L'analyse aboutit à un récepteur « Quasi-LMMSE » (Q-LMMSE). Les auteurs démontrent que ce récepteur partage le même vecteur directionnel que le récepteur LMMSE conventionnel, mais diffère uniquement par un facteur scalaire instantané dépendant de la CSI.

Contributions Clés
L'article présente les contributions spécifiques suivantes :

• Cadre Variationnel-Fonctionnel : Les auteurs développent un nouveau cadre pour la conception de récepteurs orientés vers le taux ergodique direct en CF-mMIMO, allant au-delà du substitut UatF.
• Récepteur Asymptotiquement Optimal : Ils dérivent le récepteur Q-LMMSE en forme fermée, qui s'avère être asymptotiquement optimal sous l'objectif de taux ergodique dans le régime de grand système.
• Preuve d'Optimalité Formelle : L'article fournit une analyse variationnelle rigoureuse prouvant que la combinaison MMSE locale suivie du LSFD est effectivement la structure optimale lorsque la borne UatF est adoptée comme métrique de performance.
• Réduction de la Complexité : En exploitant le lemme d'inversion de matrice (spécifiquement la formule de Sherman-Morrison), les auteurs montrent que le récepteur Q-LMMSE présente la même complexité de calcul par AP que le récepteur LMMSE standard. Crucialement, il élimine le besoin de calcul des coefficients LSFD côté CPU et la signalisation de fronthaul associée aux paramètres statistiques.
• Gain de Performance : Le récepteur Q-LMMSE utilise une combinaison à gain égal (sommation directe) au niveau du CPU. Les coefficients scalaires instantanés varient d'un AP à l'autre, fournissant implicitement une pondération adaptative qui exploite mieux les degrés de liberté spatiaux instantanés par rapport à la pondération statistique statique du LSFD.

Résultats Numériques
Les auteurs valident leurs conclusions théoriques par des simulations numériques comparant le récepteur Q-LMMSE proposé au benchmark conventionnel LMMSE-LSFD et à une borne supérieure MMSE centralisée (C-MMSE). Les principales conclusions sont :

• Gain de Taux Ergodique : Le récepteur Q-LMMSE surpasse systématiquement le benchmark LMMSE-LSFD en termes de véritable taux ergodique. Le gain est d'environ 5 % lorsque le nombre d'antennes par AP est faible (par exemple, $N=8$), là où le durcissement du canal est moins prononcé.
• Convergence : À mesure que le nombre d'antennes par AP ($N$) augmente, l'écart de performance entre Q-LMMSE et LMMSE-LSFD se réduit, ce qui est cohérent avec le phénomène de durcissement du canal rendant la borne UatF plus serrée.
• Scalabilité : Le récepteur proposé maintient une performance supérieure à travers différents nombres d'AP ($M$) et d'utilisateurs ($K$), tout en opérant avec une complexité de niveau système strictement inférieure grâce à la suppression du traitement LSFD côté CPU.

Signification et Revendications
L'article affirme que le récepteur Q-LMMSE proposé offre un compromis convaincant entre performance et complexité. En dérivant le récepteur directement de l'objectif du taux ergodique, il atteint un taux de données réel plus élevé que l'approche standard basée sur l'UatF sans encourir la surcharge de calcul supplémentaire du LSFD au niveau du CPU. Les auteurs soulignent que l'amélioration ne provient pas d'un algorithme de traitement local plus complexe (qui reste en $O(N^3)$), mais d'une stratégie de fusion plus efficace au CPU qui s'adapte implicitement aux conditions de canal instantanées plutôt que de dépendre des statistiques à long terme.

Ce travail est présenté comme une avancée théorique dans la conception de récepteurs distribués pour les systèmes au-delà de la 5G et de la 6G, offrant une alternative rigoureuse au cadre dominant UatF. Les auteurs notent que les travaux futurs étendront cette analyse aux scénarios de CSI imparfaite et étudieront la robustesse face aux imperfections matérielles.