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

Resumo Técnico: Framework de Processo Gaussiano para Análise de Interrupção em Sistemas de Antena Fluida com Abertura Contínua

1. Problema e Motivação

Os Sistemas de Antena Fluida (FAS) representam um paradigma transformador para comunicações sem fio de próxima geração (6G), permitindo diversidade espacial através de uma única cadeia de radiofrequência (RF) que seleciona dinamicamente entre $N$ portas densamente agrupadas em uma abertura linear de tamanho $W\lambda$.

O principal desafio na análise de desempenho do FAS reside na probabilidade de interrupção (outage probability), definida como a probabilidade de o melhor ganho de canal cair abaixo de um limiar. A dificuldade fundamental surge da estrutura de correlação espacial do canal:

• Sob o modelo clássico de espalhamento de Jakes, a correlação entre portas é dada pela função de Bessel $J_0(2\pi\delta)$.
• A natureza oscilatória e que muda de sinal da função de Bessel torna a distribuição conjunta dos ganhos das portas analiticamente intratável.
• Modelos existentes, como os de correlação em blocos (BCM), simplificam a matriz de correlação, mas introduzem erros de aproximação estrutural e viés otimista, além de não capturarem o comportamento assintótico quando o número de portas $N \to \infty$.

O artigo visa superar essas limitações desenvolvendo um framework analítico rigoroso baseado em uma aproximação de abertura contínua e um núcleo de correlação Gaussiano.

2. Metodologia

Os autores propõem três estratégias analíticas complementares para modelar o FAS como um campo aleatório complexo Gaussiano contínuo $g(\tau)$ sobre o intervalo $[0, W]$:

1. Aproximação por Núcleo Gaussiano:

   • Substituem a função de correlação de Jakes $J_0(2\pi\delta)$ pelo núcleo Gaussiano (quadrado-exponencial) $\rho_G(\delta) = e^{-\pi^2\delta^2}$.
   • Esta aproximação é justificada pelo casamento de segunda ordem: ambas as funções compartilham a mesma curvatura na origem ($-\pi^2$) e o mesmo segundo momento espectral ($\lambda_2 = 2\pi^2$).
   • Estabelece-se um limite de erro pontual rigoroso, mostrando que a aproximação é altamente precisa para separações de portas pequenas ($\delta \leq 0.3$).

2. Expansão de Karhunen–Loève (KL):

   • Derivam a expansão KL sob o núcleo Gaussiano para obter expressões de interrupção em forma fechada para truncamentos de rank-1 e rank-2.
   • Para ranks arbitrários $K$, utilizam uma fórmula de quadratura Gauss-Hermite.
   • Calculam os Graus de Liberdade Efetivos (DoF) para o modelo Gaussiano, encontrando $K_{eff}^G \approx \pi\sqrt{2}W \approx 4.44W$, comparado a $2W+1$ para o modelo Jakes.

3. Limites Rigorosos via Desigualdade de Slepian:

   • Utilizam a Desigualdade de Slepian e o teorema de comparação Gaussiana para estabelecer limites superiores e inferiores rigorosos para a probabilidade de interrupção.
   • Em vez de ignorar correlações entre blocos (como no BCM), eles "sanduicham" a correlação real entre modelos equicorrelacionados com coeficientes $\rho_{min}$ e $\rho_{max}$, garantindo limites sem viés estrutural.

4. Teoria de Valores Extremos de Abertura Contínua:

   • Aplicam o método do Característico Euleriano Esperado (Adler–Taylor) e o Teorema de Piterbarg para derivar uma fórmula assintótica para a interrupção quando $N \to \infty$.
   • Demonstram que, no limite contínuo, as fórmulas para os modelos Jakes e Gaussiano são idênticas devido à igualdade do segundo momento espectral.

3. Contribuições Principais

• Aproximação Gaussiana com Limites de Erro: Prova que a aproximação Gaussiana é assintoticamente exata para a probabilidade de interrupção em abertura contínua, apesar das diferenças na função de correlação global, pois o comportamento de valores extremos depende apenas do momento espectral local.
• Fórmula de Interrupção em Forma Fechada: Derivação de uma expressão simples para a probabilidade de interrupção em abertura contínua:
  $$P_{out} \approx 1 - e^{-x}\left(1 + \pi\sqrt{2}W x\right)$$
  onde $x$ é o limiar normalizado e $W$ é a abertura física. Esta fórmula é independente do número de portas $N$.
• Limites Duais Rigorosos: Desenvolvimento de limites de Slepian que são mais apertados e rigorosos que as aproximações BCM, com garantia de refinamento monótono através de particionamento de blocos.
• Diversidade Efetiva Dependente do Limiar: Identificação de que a ordem de diversidade efetiva é $N_{eff} \approx 1 + \pi\sqrt{2}W x$, revelando que o ganho de diversidade do FAS cresce linearmente com a abertura e o limiar de SNR (sendo mais valioso em regimes de baixa confiabilidade/alto limiar).

4. Resultados Numéricos

• Convergência de Portas: Simulações de Monte Carlo confirmam que a fórmula de abertura contínua converge com apenas $N \approx 10W$ portas, fornecendo uma diretriz prática para a densidade de portos.
• Precisão da Aproximação: Para aperturas $W \leq 2$, o erro relativo entre o modelo Gaussiano e o Jakes é inferior a 10% em todos os cenários de SNR testados.
• Validação de Limites: Os limites de Slepian demonstraram ser significativamente mais apertados que as aproximações de blocos, capturando a informação de correlação completa.
• Convergência KL: O modelo Gaussiano requer um número ligeiramente maior de modos KL para convergência devido ao "vazamento espectral" (spectral leakage) além da banda de Jakes, mas oferece uma convergência mais suave.

5. Significado e Impacto

Este trabalho fornece uma fundamentação teórica rigorosa para o uso de modelos contínuos e Gaussianos na análise de FAS, eliminando a dependência de simulações numéricas caras ou aproximações estruturais imprecisas.

• Escalabilidade: A descoberta de que a interrupção depende apenas da abertura física $W$ e não do número de portas $N$ (no limite contínuo) simplifica drasticamente o projeto de sistemas FAS escaláveis.
• Justificativa Fundamental: A igualdade do segundo momento espectral ($\lambda_2 = 2\pi^2$) entre os modelos Jakes e Gaussiano justifica matematicamente o uso da aproximação Gaussiana para análise de valores extremos, mesmo que as funções de correlação difiram globalmente.
• Aplicabilidade Prática: As fórmulas em forma fechada permitem a otimização rápida de parâmetros de sistema (densidade de portos, tamanho da abertura) para aplicações críticas como URLLC (Comunicações Ultra-Confiáveis e de Baixa Latência), onde a precisão na estimativa de interrupção é vital.

Em suma, o artigo estabelece um novo padrão analítico para sistemas de antena fluida, unificando a teoria de processos Gaussianos, teoria de valores extremos e teoria de informação para fornecer ferramentas de projeto precisas e escaláveis.