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

Resumen Técnico: Receptor Local Asintóticamente Óptimo en el Uplink de CF-mMIMO

Planteamiento del Problema
En los sistemas de Múltiple Entrada y Múltiple Salida Masiva Libre de Celdas (CF-mMIMO) en el enlace ascendente (uplink), el enfoque estándar para el diseño del receptor local se basa en la técnica de acotación "usar y luego olvidar" (Use-and-then-Forget, UatF). Este marco emplea típicamente un receptor de Mínimo Error Cuadrático Medio Local (LMMSE) en cada Punto de Acceso (AP), seguido de una Decodificación de Desvanecimiento de Gran Escala (LSFD) en la Unidad de Procesamiento Central (CPU). Aunque es analíticamente tratable, los autores identifican tres limitaciones fundamentales en este paradigma:

1. Brecha de Rendimiento: La cota inferior UatF es un sustituto conservador de la verdadera tasa ergódica alcanzable. La brecha entre la cota y la tasa real puede ser significativa, particularmente en regímenes limitados por interferencia o cuando el endurecimiento del canal (channel hardening) no se realiza plenamente.
2. Sobrecarga y Complejidad: La etapa de LSFD requiere que la CPU recolecte estimaciones locales y calcule coeficientes de combinación óptimos basados en estadísticas de canal a largo plazo. Esto introduce sobrecarga adicional de fronthaul y carga computacional en la CPU.
3. Falta de Prueba de Optimidad Rigurosa: Aunque la estructura LMMSE-LSFD es ampliamente adoptada, el artículo señala que no se ha reportado formalmente en la literatura previa una prueba rigurosa que establezca su optimalidad específicamente bajo el objetivo UatF.

El problema central abordado es si los receptores locales pueden diseñarse directamente desde el objetivo de la tasa ergódica real (en lugar del sustituto UatF) para mejorar el rendimiento evitando los costos computacionales y de señalización asociados con LSFD.

Metodología
El artículo propone un marco de optimización directa para el diseño del receptor local bajo la suposición de Información de Estado de Canal (CSI) local perfecta en cada AP. La metodología procede de la siguiente manera:

1. Formulación del Problema: Los autores formulan el diseño del receptor como un problema de optimización funcional destinado a maximizar la tasa ergódica, E[\log_2(1 + \text{SINR}_{\text{INS}} same}]. Este es un problema de programación fraccionaria desafiante que involucra la esperanza de un logaritmo sobre un espacio de funciones de dimensión infinita.
2. Aproximación de Gran Sistema: Para hacer el problema tratable, los autores aprovechan la teoría de matrices aleatorias de sistemas grandes. Introducen una restricción basada en la esperanza para reemplazar la normalización puntual de la Relación Señal a Interferencia más Ruido (SINR) instantánea. En el límite de sistema grande (donde el número total de antenas $NM$ es grande), las cantidades aleatorias en el denominador de la SINR se concentran alrededor de sus esperanzas, lo que permite relajar la restricción puntual a una restricción basada en la esperanza.
3. Análisis Variacional-Funcional: Utilizando derivadas funcionales, los autores derivan las condiciones de estacionariedad de primer orden para el problema relajado. Esto implica la construcción de un funcional dual de Lagrange y el análisis de perturbaciones.
4. Desacoplamiento de Términos entre APs: Un paso crítico consiste en analizar los términos de acoplamiento entre APs (interferencia de otros APs). Utilizando la teoría de matrices aleatorias, los autores demuestran que, en el límite de sistema grande, la esperanza condicional de estos términos de acoplamiento se anula. Esto desacopla el diseño del receptor local entre los APs.
5. Derivación de Q-LMMSE: El análisis produce un receptor "Cuasi-LMMSE" (Q-LMMSE). Los autores demuestran que este receptor comparte el mismo vector direccional que el receptor LMMSE convencional, pero difiere únicamente por un factor escalar instantáneo dependiente de la CSI.

Contribuciones Clave
El artículo realiza las siguientes contribuciones específicas:

• Marco Variacional-Funcional: Los autores desarrollan un nuevo marco para el diseño de receptores orientados directamente a la tasa ergódica en CF-mMIMO, yendo más allá del sustituto UatF.
• Receptor Asintóticamente Óptimo: Derivan el receptor Q-LMMSE en forma cerrada, el cual demuestra ser asintóticamente óptimo bajo el objetivo de la tasa ergódica en el régimen de sistema grande.
• Prueba de Optimalidad Formal: El artículo proporciona un análisis variacional riguroso que demuestra que la combinación de MMSE local seguida de LSFD es, de hecho, la estructura óptima cuando se adopta la cota UatF como métrica de rendimiento.
• Reducción de Complejidad: Al explotar la lemma de inversión de matrices (específicamente la fórmula de Sherman-Morrison), los autores muestran que el receptor Q-LMMSE incurre en la misma complejidad computacional por AP que el receptor LMMSE estándar. Crucialmente, elimina la necesidad del cálculo de coeficientes de LSFD en el lado de la CPU y la señalización de fronthaul asociada para los parámetros estadísticos.
• Ganancia de Rendimiento: El receptor Q-LMMSE emplea la combinación de ganancia igual (sumatoria directa) en la CPU. Los coeficientes escalares instantáneos varían entre los APs, proporcionando implícitamente una ponderación adaptativa que explota mejor los grados de libertad espaciales instantáneos en comparación con la ponderación estadística estática de LSFD.

Resultados Numéricos
Los autores validan sus hallazgos teóricos mediante simulaciones numéricas comparando el receptor Q-LMMSE propuesto contra el benchmark convencional LMMSE-LSFD y la cota superior de MMSE centralizado (C-MMSE). Los hallazgos clave incluyen:

• Ganancia de Tasa Ergódica: El receptor Q-LMMSE supera consistentemente al benchmark LMMSE-LSFD en términos de la verdadera tasa ergódica. La ganancia es de aproximadamente un 5% cuando el número de antenas por AP es bajo (por ejemplo, $N=8$), donde el endurecimiento del canal es menos pronunciado.
• Convergencia: A medida que aumenta el número de antenas por AP ($N$), la brecha de rendimiento entre Q-LMMSE y LMMSE-LSFD se estrecha, lo cual es consistente con el fenómeno de endurecimiento del canal que hace que la cota UatF sea más ajustada.
• Escalabilidad: El receptor propuesto mantiene un rendimiento superior a través de variaciones en el número de APs ($M$) y usuarios ($K$), mientras opera con una complejidad de nivel de sistema estrictamente menor al eliminar el procesamiento LSFD en la CPU.

Significado y Reivindicaciones
El artículo afirma que el receptor Q-LMMSE propuesto ofrece un compromiso convincente entre rendimiento y complejidad. Al derivar el receptor directamente del objetivo de la tasa ergódica, logra una tasa de datos verdadera más alta que el enfoque estándar basado en UatF sin incurrir en la sobrecarga computacional adicional de LSFD en la CPU. Los autores enfatizan que la mejora proviene no de un algoritmo de procesamiento local más complejo (que sigue siendo $O(N^3)$), sino de una estrategia de fusión más eficiente en la CPU que se adapta implícitamente a las condiciones de canal instantáneas en lugar de depender de estadísticas a largo plazo.

Este trabajo se presenta como un avance teórico en el diseño de receptores distribuidos para sistemas de más allá de 5G y 6G, proporcionando una alternativa rigurosa al dominante marco UatF. Los autores señalan que el trabajo futuro extenderá este análisis a escenarios de CSI imperfecto e investigará la robustez bajo impedimentos de hardware.