A Gaussian Process Framework for Outage Analysis in Continuous-Aperture Fluid Antenna Systems

Resumen Técnico: Marco de Procesos Gaussianos para el Análisis de Interrupción en Sistemas de Antenas Fluidas de Apertura Continua

1. Planteamiento del Problema

Los Sistemas de Antenas Fluidas (FAS, por sus siglas en inglés) representan un paradigma transformador para las comunicaciones inalámbricas de próxima generación (6G). A diferencia de las antenas fijas, los FAS utilizan una única cadena de radiofrecuencia (RF) que selecciona dinámicamente entre $N$ puertos densamente empaquetados dentro de una apertura lineal de tamaño $W\lambda$.

El desafío central en el diseño de FAS es el análisis de la probabilidad de interrupción (outage probability), definida como la probabilidad de que la mejor relación señal-ruido (SNR) entre los puertos caiga por debajo de un umbral.

• Dificultad Fundamental: La estructura de correlación espacial del canal bajo el modelo estándar de Jakes (dispersión isotrópica) implica una función de correlación basada en la función de Bessel $J_0$. Esta función es oscilatoria y cambia de signo, lo que hace que la distribución conjunta de las ganancias de los puertos sea analíticamente intratable.
• Limitaciones de Métodos Existentes: Los modelos actuales utilizan aproximaciones de "correlación por bloques" (BCM) que imponen estructuras diagonales por bloques, alterando el espectro de eigenvalores y introduciendo errores de aproximación difíciles de cuantificar. Además, los análisis discretos dependen paramétricamente del número de puertos $N$, sin ofrecer una fórmula universal para el comportamiento asintótico basado únicamente en la apertura física.

2. Metodología Propuesta

El artículo aborda estas limitaciones mediante dos elecciones de modelado complementarias que habilitan un nuevo nivel de tratabilidad analítica:

1. Modelado de Apertura Continua: En lugar de tratar el FAS como un conjunto finito de puertos, se modela como un campo aleatorio complejo gaussiano $g(\tau)$ indexado por una coordenada espacial continua $\tau \in [0, W]$. Esto conecta el problema con la teoría de procesos gaussianos y la teoría de valores extremos.
2. Aproximación de Correlación Gaussiana: Se propone aproximar la correlación de Jakes ($J_0(2\pi\delta)$) mediante un núcleo gaussiano (exponencial cuadrático):
   $$\rho_G(\delta) = e^{-\pi^2 \delta^2}$$
   Esta aproximación es exacta hasta el segundo orden en $\delta$ (ambas funciones comparten la misma curvatura en el origen) y permite un tratamiento analítico completo mediante el teorema de Karhunen-Loève (KL), la desigualdad de Slepian y la fórmula cinemática de Adler-Taylor.

Estrategias Analíticas Clave:

• Expansión KL: Se deriva la expansión de eigenfunciones bajo el núcleo gaussiano para obtener expresiones cerradas de interrupción para truncamientos de rango 1 y 2, y una fórmula de cuadratura Gauss-Hermite para rangos arbitrarios.
• Límites de Slepian: Se establecen cotas superiores e inferiores rigurosas "sandwich" utilizando la desigualdad de Slepian y el teorema de comparación gaussiana, envolviendo la correlación real con modelos de correlación equi-correlacionada ($\rho_{min}$ y $\rho_{max}$).
• Teoría de Valores Extremos: Se desarrolla una teoría para la probabilidad de interrupción en apertura continua utilizando el método del Característico Euleriano Esperado (Adler-Taylor) y el teorema de Piterbarg.

3. Contribuciones Clave

• Aproximación de Núcleo Gaussiano con Cota de Error Rigurosa: Se establece una cota de error puntual $|J_0(2\pi\delta) - e^{-\pi^2\delta^2}| \leq \pi^4\delta^4/4$. Se demuestra que, aunque el modelo gaussiano tiene una "fuga espectral" del 15.7% fuera del ancho de banda de Jakes, este error tiene un impacto negligible en la probabilidad de interrupción para aperturas $W \leq 2$.
• Grados de Libertad Efectivos (DoF): Se deriva que el número efectivo de grados de libertad bajo el modelo gaussiano es $K_{eff}^G \approx \pi\sqrt{2}W \approx 4.44W$, comparado con $K_{eff}^J \approx 2W + 1$ para el modelo de Jakes.
• Fórmula de Interrupción de Apertura Continua: Se obtiene una expresión cerrada asintótica que depende únicamente de la apertura física $W$ y el umbral normalizado $x = \gamma_{th}/\bar{\gamma}$, siendo independiente del número de puertos $N$:
  $$P_{out} \approx 1 - e^{-x} \left(1 + \pi\sqrt{2} W x\right)$$
  Esta fórmula es idéntica para los modelos de Jakes y Gaussiano porque ambos comparten el mismo segundo momento espectral $\lambda_2 = 2\pi^2$.
• Diversidad Efectiva Dependiente del Umbral: Se extrae un orden de diversidad efectivo $N_{eff} \approx 1 + \pi\sqrt{2} W x$, revelando que la ganancia de diversidad crece linealmente con la apertura y el umbral de SNR.

4. Resultados Numéricos y Validación

• Convergencia de Puertos: Los resultados confirman que la fórmula de apertura continua converge con tan solo $N \approx 10W$ puertos. Esto proporciona una guía práctica para la densidad de puertos: desplegar más de $10W$ puertos por longitud de onda ofrece mejoras decrecientes.
• Precisión de la Aproximación: Para aperturas $W \leq 2$, la aproximación gaussiana incurre en un error relativo de interrupción inferior al 10% en todos los escenarios de SNR probados.
• Límites de Slepian: Las cotas derivadas son estrictamente más ajustadas que las aproximaciones BCM, ya que preservan la información de correlación completa sin descartar correlaciones entre bloques. Se demuestra que el refinamiento mediante partición de bloques mejora monótonamente la cota superior.
• Comportamiento de Alta SNR: A altas SNR, la probabilidad de interrupción escala con una diversidad que depende del número de modos de eigenvalor retenidos, validando la necesidad de truncamientos de orden superior para aperturas grandes.

5. Significado e Impacto

Este trabajo ofrece un marco analítico unificado que supera las limitaciones de los modelos discretos y las aproximaciones de bloques:

1. Justificación Rigurosa de la Aproximación Gaussiana: Demuestra que, a nivel de probabilidad de interrupción asintótica, el modelo gaussiano es exacto para FAS de apertura continua porque ambos modelos (Jakes y Gaussiano) comparten la misma curvatura local (segundo momento espectral).
2. Escalabilidad Universal: La probabilidad de interrupción está determinada por la apertura física $W$ y no por el número de puertos $N$. Esto simplifica drásticamente el diseño de sistemas, permitiendo optimizar la densidad de puertos sin recalcular la distribución de probabilidad completa.
3. Guía de Diseño Práctica: Proporciona reglas concretas para ingenieros:
   • Usar $N \geq 10W$ para convergencia efectiva.
   • Utilizar la fórmula cerrada $P_{out} \approx 1 - e^{-x}(1 + \pi\sqrt{2}Wx)$ para estimaciones rápidas y precisas en el diseño de sistemas 6G.
   • Aprovechar la aproximación gaussiana en regímenes de baja SNR (alta probabilidad de interrupción), donde es más precisa y relevante para aplicaciones críticas como URLLC.

En conclusión, el artículo establece una base teórica sólida para el análisis de FAS, transformando un problema intratable de correlación espacial oscilatoria en un marco analítico elegante y computacionalmente eficiente basado en procesos gaussianos y teoría de valores extremos.