Performance Limits of FRIS Systems in Nakagami-$m$ Fading

Resumen Técnico: Límites de Rendimiento de los Sistemas FRIS en Desvanecimiento Nakagami-m

Planteamiento del Problema
Las Superficies Inteligentes Reconfigurables Fluidas (FRIS, por sus siglas en inglés) han surgido como una tecnología prometedora para mejorar la fiabilidad del enlace inalámbrico mediante la selección dinámica de subconjuntos de elementos débilmente correlacionados, superando así las limitaciones de correlación espacial de las RIS de estructura fija convencionales. Sin embargo, el análisis de rendimiento de los sistemas asistidos por FRIS sigue siendo un desafío debido a la compleja estructura de suma-producto del canal en cascada. La literatura existente depende en gran medida de argumentos asintóticos, aproximaciones del Teorema del Límite Central (CLT) o supuestos de desvanecimiento simplificados (por ejemplo, desvanecimiento Rayleigh). Estos enfoques a menudo no logran proporcionar garantías de rendimiento rigurosas, tales como límites estrictos superiores o inferiores, y están limitados en su aplicabilidad a entornos de propagación generales caracterizados por el desvanecimiento Nakagami-m con correlación espacial arbitraria.

Metodología
El artículo desarrolla un marco analítico riguroso para sistemas inalámbricos asistidos por FRIS que operan sobre canales de desvanecimiento Nakagami-m arbitrariamente correlacionados. La metodología procede a través de los siguientes pasos:

1. Modelado del Sistema: Los autores modelan una estación base de una sola antena comunicándose con una terminal de usuario a través de una FRIS compuesta por $L_{tot}$ elementos, donde se activa un subconjunto de $L_{ON}$ elementos. La FRIS se modela como un arreglo planar uniforme (UPA) con correlación espacial gobernada por un modelo de Jakes isotrópico. Se emplea una estrategia de selección de subredes consciente de la correlación para activar los elementos cumpliendo con un umbral de correlación prescrito.
2. Marco de Cauchy–Schwarz Ponderado (WCS): Para manejar la estructura de suma-producto intratable de la ganancia del canal en cascada efectiva ($S = \sum X_\ell Y_\ell$), los autores aplican una desigualdad de Cauchy–Schwarz ponderada. Esto transforma el problema en la derivación de límites para el producto de dos sumas ponderadas de envolventes de desvanecimiento al cuadrado ($A_w$ y $B_w$).
3. Modelo de Correlación Físicamente Consistente: Se introduce un modelo físicamente consistente para el desvanecimiento Nakagami-m correlacionado. En lugar de imponer la correlación directamente sobre las envolventes, el modelo representa las variables Nakagami-m como sumas de las magnitudes al cuadrado de variables gaussianas complejas correlacionadas. Esto permite que la estructura de correlación surja naturalmente de los cúmulos de dispersión subyacentes.
4. Caracterización Estadística: Utilizando la representación gaussiana, las sumas ponderadas $A_w$ y $B_w$ se expresan como sumas de formas cuadráticas en vectores gaussianos correlacionados. A través de la descomposición en valores propios, estas se reformulan como sumas de variables aleatorias Gamma independientes. Las funciones de densidad de probabilidad (PDF) de estas sumas se derivan utilizando la representación de suma Gamma de Moschopoulos.
5. Derivación de Límites: Se derivan la PDF y la función de distribución acumulativa (CDF) del producto de las dos variables de mezcla Gamma. Mediante la truncación de las representaciones de series infinitas de estas funciones, los autores establecen un límite inferior estricto de truncación finita para la CDF de la ganancia del canal al cuadrado. Esto conduce directamente a un límite inferior de forma cerrada para la Probabilidad de Interrupción (OP).

Contribuciones Clave

• Límites Inferiores de OP Rigurosos: El artículo deriva los primeros límites inferiores estrictos para la probabilidad de interrupción de un sistema inalámbrico asistido por FRIS bajo desvanecimiento Nakagami-m arbitrariamente correlacionado.
• Modelo de Desvanecimiento Generalizado: A diferencia de trabajos previos restringidos al desvanecimiento Rayleigh, este marco acomoda el desvanecimiento Nakagami-m general con parámetros reales positivos arbitrarios ($m_X, m_Y$), incluyendo naturalmente el desvanecimiento Rayleigh como un caso especial ($m=1$).
• Correlación Físicamente Consistente: El modelo de correlación propuesto relaciona la matriz de correlación gaussiana con la correlación de la envolvente Nakagami inducida de una manera físicamente consistente, evitando supuestos heurísticos.
• Expresiones de Forma Cerrada Tratables: Los límites derivados se expresan en forma cerrada involucrando funciones G de Meijer y sumas finitas, lo que los hace computacionalmente tratables para la evaluación del rendimiento.
• Caso i.i.d. Simplificado: Se proporciona una expresión de forma cerrada simplificada para el escenario independiente e idénticamente distribuido (i.i.d.).

Resultos Numéricos
Se realizaron simulaciones de Monte Carlo para una superficie FRIS de $10 \times 10$ con variaciones en el número de elementos activos ($L_{ON} = 25, 36$). Los resultados demuestran:

• Precisión: El límite inferior analítico propuesto coincide estrechamente con la probabilidad de interrupción simulada, confirmando la validez de la derivación.
• Conciencia de la Correlación: Una estrategia de selección de elementos consciente de la correlación (Configuración 2) supera significativamente a una selección central compacta (Configuración 1) al seleccionar elementos débilmente correlacionados, mejorando así la diversidad espacial.
• Comparación con Aproximaciones: Aunque las aproximaciones basadas en CLT y Gamma pueden alinearse con los resultados de simulación en rangos limitados de Relación Señal-Ruido (SNR), no proporcionan límites rigurosos (a veces apareciendo por encima o por debajo de la curva real). En contraste, el límite propuesto se mantiene consistentemente por debajo de la OP real, proporcionando un suelo de rendimiento garantizado. Notablemente, el límite propuesto ofrece una caracterización más ajustada que la aproximación CLT en el régimen de alta SNR.

Significancia y Reclamaciones
Los autores afirman que este trabajo establece puntos de referencia fundamentales para el rendimiento alcanzable de los sistemas FRIS. Al evitar aproximaciones de distribución heurísticas y asintóticas, el marco propuesto ofrece garantías de rendimiento demostrables para números arbitrarios de elementos FRIS. El artículo posiciona estos resultados como un paso significativo hacia una comprensión analítica más rigurosa de los sistemas FRIS, yendo más allá de las limitaciones de los estudios actuales limitados solo al desvanecimiento Rayleigh y los análisis basados en aproximaciones. Los límites derivados sirven como una referencia fiable para evaluar la probabilidad de interrupción mínima alcanzable en entornos de propagación realistas y correlacionados.