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

Resumo Técnico: Receptor Local Assintoticamente Ótimo em Uplink CF-mMIMO

Definição do Problema
Em sistemas de MIMO Massivo Cell-Free (CF-mMIMO) de uplink, a abordagem padrão para o design de receptor local baseia-se na técnica de limitação "use-and-then-forget" (UatF - use e depois esqueça). Este framework tipicamente emprega um receptor de Erro Quadrático Médio Mínimo (LMMSE) local em cada Ponto de Acesso (AP), seguido por uma Decodificação de Desvanecimento de Grande Escala (LSFD) na Unidade de Processamento Central (CPU). Embora analiticamente tratável, os autores identificam três limitações fundamentais neste paradigma:

1. Lacuna de Desempenho: O limite inferior UatF é um substituto conservador para a verdadeira taxa ergódica. A lacuna entre o limite e a taxa real pode ser significativa, particularmente em regimes limitados por interferência ou quando o endurecimento do canal (channel hardening) não é totalmente realizado.
2. Sobrecarga e Complexidade: A etapa de LSFD exige que a CPU colete estimativas locais e compute coeficientes de combinação otimizados baseados em estatísticas de canal de longo prazo. Isso introduz sobrecarga adicional de fronthaul e carga computacional na CPU.
3. Falta de Prova de Otimalidade Rigorosa: Embora a estrutura LMMSE-LSFD seja amplamente adotada, o artigo observa que uma prova rigorosa estabelecendo sua otimalidade especificamente sob o objetivo UatF não foi formalmente relatada na literatura anterior.

O problema central abordado é se os receptores locais podem ser projetados diretamente a partir do verdadeiro objetivo de taxa ergódica (em vez do substituto UatF) para melhorar o desempenho, evitando os custos computacionais e de sinalização associados ao LSFD.

Metodologia
O artigo propõe um framework de otimização direta para o design do receptor local sob a suposição de Informação de Estado de Canal (CSI) local perfeita em cada AP. A metodologia procede da seguinte forma:

1. Formulação do Problema: Os autores formulam o design do receptor como um problema de otimização funcional visando maximizar a taxa ergódica, $E[\log_2(1 + \text{SINR}_{\text{INS}})]$. Este é um problema de programação fracionária desafiador que envolve a expectativa de um logaritmo sobre um espaço de funções de dimensão infinita.
2. Aproximação de Grande Sistema: Para tornar o problema tratável, os autores utilizam a teoria de matrizes aleatórias de grandes sistemas. Eles introduzem uma restrição baseada em expectativa para substituir a normalização pontual da Relação Sinal-Interferência-mais-Ruído (SINR) instantânea. No limite de grande sistema (onde o número total de antenas $NM$ é grande), quantidades aleatórias no denominador da SINR concentram-se em torno de suas expectativas, permitindo que a restrição pontual seja relaxada para uma restrição baseada em expectativa.
3. Análise Funcional-Variacional: Usando derivadas funcionais, os autores derivam as condições de estacionalidade de primeira ordem para o problema relaxado. Isso envolve a construção de um funcional dual de Lagrange e a análise de perturbações.
4. Desacoplamento de Termos entre APs: Um passo crítico envolve a análise dos termos de acoplamento entre APs (interferência de outros APs). Usando a teoria de matrizes aleatórias, os autores provam que, no limite de grande sistema, a expectativa condicional desses termos de acoplamento desaparece. Isso desacopla o design do receptor local entre os APs.
5. Derivação do Q-LMMSE: A análise resulta em um receptor "Quasi-LMMSE" (Q-LMMSE). Os autores demonstram que este receptor compartilha o mesmo vetor direcional que o receptor LMMSE convencional, mas difere apenas por um fator escalar instantâneo, dependente de CSI.

Principais Contribuições
O artigo apresenta as seguintes contribuições específicas:

• Framework Funcional-Variacional: Os autores desenvolvem um novo framework para o design de receptor orientado diretamente à taxa ergódica em CF-mMIMO, indo além do substituto UatF.
• Receptor Assintoticamente Ótimo: Eles derivam o receptor Q-LMMSE em forma fechada, que se mostra assintoticamente ótimo sob o objetivo de taxa ergódica no regime de grande sistema.
• Prova de Otimalidade Formal: O artigo fornece uma análise variacional rigorosa provando que a combinação MMSE local seguida de LSFD é, de fato, a estrutura ótima quando o limite UatF é adotado como métrica de desempenho.
• Redução de Complexidade: Ao explorar o lema da inversão de matriz (especificamente a fórmula de Sherman-Morrison), os autores mostram que o receptor Q-LMMSE incorre na mesma complexidade computacional por AP que o receptor LMMSE padrão. Crucialmente, ele elimina a necessidade de cálculo de coeficientes de LSFD no lado da CPU e a associação sinalização de fronthaul para parâmetros estatísticos.
• Ganho de Desempenho: O receptor Q-LMMSE emprega combinação de ganho igual (soma direta) na CPU. Os coeficientes escalares instantâneos variam entre os APs, fornecendo implicitamente uma ponderação adaptativa que explora melhor os graus de liberdade espaciais instantâneos em comparação com a ponderação estatística estática do LSFD.

Resultados Numéricos
Os autores validam seus achados teóricos através de simulações numéricas comparando o receptor Q-LMMSE proposto contra o benchmark convencional LMMSE-LSFD e um limite superior de MMSE centralizado (C-MMSE). Os principais achados incluem:

• Ganho de Taxa Ergódica: O receptor Q-LMMSE supera consistentemente o benchmark LMMSE-LSFD em termos de verdadeira taxa ergódica. O ganho é de aproximadamente 5% quando o número de antenas por AP é baixo (ex: $N=8$), onde o endurecimento do canal é menos pronunciado.
• Convergência: À medida que o número de antenas por AP ($N$) aumenta, a lacuna de desempenho entre o Q-LMMSE e o LMMSE-LSFD diminui, sendo consistente com o fenômeno de endurecimento do canal que torna o limite UatF mais estreito.
• Escalabilidade: O receptor proposto mantém um desempenho superior através de variações no número de APs ($M$) e usuários ($K$), enquanto opera com uma complexidade de nível de sistema estritamente menor ao remover o processamento de LSFD no lado da CPU.

Significância e Alegações
O artigo afirma que o receptor Q-LMMSE proposto oferece um compromisso atraente entre desempenho e complexidade. Ao derivar o receptor diretamente do objetivo de taxa ergódica, ele alcança uma taxa de dados verdadeira maior do que a abordagem padrão baseada em UatF sem incorrer no overhead computacional adicional do LSFD na CPU. Os autores enfatizam que a melhoria provém não de um algoritmo de processamento local mais complexo (que permanece $O(N^3)$), mas de uma estratégia de fusão mais eficiente na CPU que se adapta implicitamente às condições de canal instantâneas em vez de depender de estatísticas de longo prazo.

O trabalho é apresentado como um avanço teórico no design de receptores distribuídos para sistemas além do 5G e 6G, fornecendo uma alternativa rigorosa ao dominante framework UatF. Os autores observam que trabalhos futuros estenderão esta análise para cenários de CSI imperfeito e investigarão a robustez sob impedimentos de hardware.