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

Resumo Técnico: Limites de Desempenho de Sistemas FRIS em Desvanecimento Nakagami-m

Definição do Problema
As Superfícies Inteligentes Reconfiguráveis Fluidas (FRIS) surgiram como uma tecnologia promissora para aumentar a confiabilidade do link sem fio ao selecionar dinamicamente subconjuntos de elementos fracamente correlacionados, superando assim as limitações de correlação espacial das RIS de estrutura fixa convencional. No entanto, a análise de desempenho de sistemas assistidos por FRIS permanece desafiadora devido à complexa estrutura de soma-produto do canal em cascata. A literatura existente baseia-se amplamente em argumentos assintóticos, aproximações pelo Teorema do Limite Central (CLT) ou suposições de desvanecimento simplificadas (por exemplo, desvanecimento Rayleigh). Essas abordagens frequentemente falham em fornecer garantias de desempenho rigorosas, como limites superiores ou inferiores estritos, e são limitadas em sua aplicabilidade a ambientes de propagação gerais caracterizados por desvanecimento Nakagami-m com correlação espacial arbitrária.

Metodologia
O artigo desenvolve um framework analítico rigoroso para sistemas sem fio assistidos por FRIS operando sobre canais de desvanecimento Nakagami-m arbitrariamente correlacionados. A metodologia procede através das seguintes etapas:

1. Modelagem do Sistema: Os autores modelam uma estação base de antena única comunicando-se com um terminal de usuário via uma FRIS composta por $L_{tot}$ elementos, onde um subconjunto de $L_{ON}$ elementos é ativado. A FRIS é modelada como um arranjo planar uniforme (UPA) com correlação espacial governada por um modelo Jakes isotrópico. Uma estratégia de seleção de sub-rede ciente da correlação é empregada para ativar os elementos enquanto adere a um limiar de correlação prescrito.
2. Framework de Cauchy–Schwarz Ponderado (WCS): Para lidar com a estrutura intratável de soma-produto do ganho de canal em cascata efetivo ($S = \sum X_\ell Y_\ell$), os autores aplicam uma desigualdade de Cauchy–Schwarz ponderada. Isso transforma o problema na derivação de limites para o produto de duas somas ponderadas de envelopes de desvanecimento ao quadrado ($A_w$ e $B_w$).
3. Modelo de Correlação Fisicamente Consistente: Um modelo fisicamente consistente para desvanecimento Nakagami-m correlacionado é introduzido. Em vez de impor a correlação diretamente nos envelopes, o modelo representa variáveis Nakagami-m como somas de magnitudes ao quadrado de variáveis gaussianas complexas correlacionadas. Isso permite que a estrutura de correlação emerja naturalmente dos clusters de espalhamento subjacentes.
4. Caracterização Estatística: Usando a representação Gaussiana, as somas ponderadas $A_w$ e $B_w$ são expressas como somas de formas quadráticas em vetores Gaussianos correlacionados. Através da decomposição em autovalores, estas são reformuladas como somas de variáveis aleatórias Gamma independentes. As funções de densidade de probabilidade (PDF) dessas somas são derivadas usando a representação de soma Gamma de Moschopoulos.
5. Derivação de Limites: A PDF e a função de distribuição cumulativa (CDF) do produto das duas variáveis de mistura Gamma são derivadas. Ao truncar as representações de série infinita dessas funções, os autores estabelecem um limite inferior rigoroso de truncamento finito para a CDF do ganho de canal ao quadrado. Isso leva diretamente a um limite inferior em forma fechada para a Probabilidade de Interrupção (OP).

Principais Contribuições

• Limites Inferiores de OP Rigorosos: O artigo deriva os primeiros limites inferiores estritos para a probabilidade de interrupção de um sistema sem fio assistido por FRIS sob desvanecimento Nakagami-m arbitrariamente correlacionado.
• Modelo de Desvanecimento Generalizado: Diferente de trabalhos anteriores restritos ao desvanecimento Rayleigh, este framework acomoda o desvanecimento Nakagami-m geral com parâmetros reais positivos arbitrários ($m_X, m_Y$), incluindo naturalmente o desvanecimento Rayleigh como um caso especial ($m=1$).
• Correlação Fisicamente Consistente: O modelo de correlação proposto relaciona a matriz de correlação Gaussiana à correlação de envelope Nakagami induzida de uma maneira fisicamente consistente, evitando suposições heurísticas.
• Expressões em Forma Fechada Tratáveis: Os limites derivados são expressos em forma fechada envolvendo funções G de Meijer e somas finitas, tornando-os computacionalmente tratáveis para avaliação de desempenho.
• Caso i.i.d. Simplificado: Uma expressão em forma fechada simplificada é fornecida para o cenário independente e identicamente distribuído (i.i.d.).

Resultados Numéricos
Simulações de Monte Carlo foram conduzidas para uma superfície FRIS de $10 \times 10$ com números variados de elementos ativos ($L_{ON} = 25, 36$). Os resultados demonstram:

• Precisão: O limite inferior analítico proposto coincide estreitamente com a probabilidade de interrupção simulada, confirmando a validade da derivação.
• Consciência de Correlação: Uma estratégia de seleção de elementos ciente da correlação (Configuração 2) supera significativamente uma seleção central compacta (Configuração 1) ao selecionar elementos fracamente correlacionados, melhorando assim a diversidade espacial.
• Comparação com Aproximações: Embora as aproximações baseadas em CLT e Gamma possam alinhar-se com os resultados de simulação sobre intervalos limitados de Razão Sinal-Ruído (SNR), elas falham em fornecer limites rigorosos (às vezes aparecendo acima ou abaixo da curva real). Em contraste, o limite proposto permanece consistentemente abaixo da OP real, fornecendo um piso de desempenho garantido. Notavelmente, o limite proposto produz uma caracterização mais justa do que a aproximação CLT no regime de alto SNR.

Significância e Alegações
Os autores alegam que este trabalho estabelece marcos fundamentais para o desempenho alcançável de sistemas FRIS. Ao evitar aproximações distributivas heurísticas e assintóticas, o framework proposto oferece garantias de desempenho comprováveis para números arbitrários de elementos FRIS. O artigo posiciona estes resultados como um passo significativo para uma compreensão analítica mais rigorosa dos sistemas FRIS, indo além das limitações dos estudos existentes focados apenas em desvanecimento Rayleigh e análises baseadas em aproximações. Os limites derivados servem como uma referência confiável para avaliar a probabilidade mínima de interrupção alcançável em ambientes de propagação realistas e correlacionados.