Extremely Large Beyond-Diagonal RIS: Low-Rank Modal Optimization for Near-Field Communications

Problema

O artigo aborda os desafios de escalabilidade e desempenho de Superfícies Inteligentes Reconfiguráveis Além-da-Diagonal (BD-RIS) no contexto de aberturas Extremamente Grandes (XL) operando no campo radiativo próximo (near-field).

1. Otimização e Carga de Hardware: Arquiteturas BD-RIS totalmente conectadas oferecem o maior desempenho ao permitir respostas de espalhamento não diagonais e unitárias. No entanto, otimizar uma matriz de espalhamento $M \times M$ (onde $M$ é o número de elementos) acarreta um número quadrático de entradas reconfiguráveis ($O(M^2)$) e uma complexidade computacional cúbica por iteração ($O(M^3)$). Para superfícies XL com centenas ou milhares de elementos, esse fardo é proibitivo.
2. Quebra do Modelo de Campo Distante: À medida que o tamanho da abertura aumenta em frequências de ondas milimétricas e sub-THz, a distância de Rayleigh se estende, colocando tanto a Estação Base (BS) quanto os usuários no campo próximo. Nesse regime, as frentes de onda são esféricas em vez de planas. As ferramentas de design tradicionais baseadas em suposições de campo distante (ex: beamspace DFT, parametrização baseada apenas em ângulo) degradam-se significativamente porque falham em capturar a informação de alcance e o decaimento de amplitude inerente às ondas esféricas.
3. A Lacuna: As técnicas existentes de redução de dimensionalidade, como os beamspaces DFT fixos, reintroduzem suposições de campo distante que violam a geometria de campo próximo, levando a penalidades significativas de desempenho. Há uma falta de um método de redução de dimensionalidade que seja compatível com a geometria de campo próximo e provadamente equivalente ao ótimo totalmente conectado.

Metodologia

Os autores propõம் uma Arquitetura Modal Geométrica que desacopla a dimensão de otimização do tamanho físico do painel ($M$) e a vincula, em vez disso, ao ambiente de propagação.

1. Modelagem do Sistema:

   • O sistema é modelado como uma abertura contínua usando a função de Green escalar no espaço livre, que captura tanto a curvatura de fase esférica quanto o decaimento de amplitude.
   • O canal em cascata (BS-RIS-Usuário) mostra-se residindo em um subespaço de baixa dimensão gerado por átomos de onda esférica determinados exclusivamente pelas posições dos terminais (antenas da BS e usuários).
   • Os campos incidente e radiado são expandidos sobre uma base modal ortonormal $\Phi$, reduzindo o núcleo de espalhamento de dimensão infinita a uma matriz modal compacta $L \times L$ denominada $\Psi$.

2. Construção da Base Modal Geométrica:

   • Os autores constroem uma base a partir da matriz de átomos empilhados $[G, F^*]$, onde $G$ representa a resposta da BS para a RIS e $F^*$ representa a resposta conjugada da RIS para o usuário.
   • Uma Decomposição de Valores Singulares (SVD) fina desta matriz identifica a dimensão do subespaço ativo $\rho$ (o posto numérico).
   • A base $\Phi$ é formada pelos vetores singulares dominantes mais um "slack" ortonormal arbitrário para garantir a unitariedade. A dimensão resultante é $L = 2\rho \le 2(N+K)$, onde $N$ é o número de antenas da BS e $K$ é o número de usuários.

3. Equivalência Teórica (Proposição 2):

   • Usando um argumento de dilatação unitária (dilatação de Halmos), o artigo prova que uma matriz modal unitária $L \times L$ $\Psi$ (incorporada na superfície via uma completude sem perdas) é provadamente equivalente a uma superfície unitária não restrita $M \times M$.
   • Esta equivalência mantém-se para qualquer geometria de Linha de Visão (LoS), o que significa que o ótimo totalmente conectado pode ser alcançado com apenas $L^2$ entradas reconfiguráveis, independentemente do tamanho do painel $M$.

4. Otimização Escalável:

   • Os autores desenvolvem um algoritmo de otimização alternada Riemanniana WMMSE (Weighted-MMSE).
   • Beamforming: Atualizado via soluções de forma fechada com uma projeção de potência radial para garantir convergência monotônica.
   • Atualização da Matriz Modal: Otimizada no grupo unitário $U(L)$ usando gradiente descendente Riemanniano com backtracking de Armijo.
   • Complexidade: O custo por iteração é $O(L^3)$, que é independente de $M$. A dependência de $M$ limita-se a uma etapa de compressão única ($O(M\rho^2)$).

Principais Contribuições

1. Arquitetura Modal Geométrica: Um design inovador onde a dimensão reconfigurável é definida pelo número de modos de onda esférica acoplados (determinado pelas posições dos terminais) em vez do tamanho do painel.
2. Equivalência Exata Independente de $M$: Uma prova de que o ótimo totalmente conectado é alcançável com $L = 2\rho$ graus de liberdade, desde que a base abranja o subespaço ativo do canal. Isso elimina a necessidade de $O(M^2)$ entradas.
3. Algoritmo de Otimização Escalável: Um algoritmo WMMSE-Riemanniano que alcança convergência monotônica com complexidade por iteração independente do tamanho da superfície.
4. Análise de Campo Próximo: Uma análise abrangente quantificando as penalidades de designs incompatíveis (beamspace DFT) e os benefícios do foco de campo próximo (resolução de alcance).

Resultos Numéricos

O artigo valida a teoria usando um painel de $24 \times 24$ ($M=576$) elementos em um cenário de campo próximo ($d_{BS} = 0.16 d_F$).

• Desempenho vs. Entradas:
  • O design modal proposto atinge o ótimo totalmente conectado com aproximadamente 196 entradas ($L=14$).
  • Um beamspace DFT incompatível requer aproximadamente 12.100 entradas para atingir 99% do desempenho totalmente conectado, representando uma penalidade de contagem de entradas de 60 vezes.
  • Arquiteturas conectadas por grupos (ex: $N_g=32$) exigem ainda mais entradas para se aproximar do ótimo e convergem mais lentamente.
• Convergência: O design modal converge em cerca de $2 \times 10^4$ iterações externas. Embora o beamspace DFT converja mais rápido, ele se estabiliza em um valor de objetivo significativamente inferior devido à base incompatível.
• Resolução de Alcance: O estudo demonstra que a arquitetura proposta pode resolver dois usuários no mesmo azimute separados apenas por alcance, com a transição alinhando-se com a lei de profundidade de foco ($2r_0^2/D$).
• Dependência de Profundidade: À medida que a BS se move mais profundamente no campo próximo, a vantagem do acoplamento além-da-diagonal sobre o faseamento diagonal aumenta (de 2.5 para 4.4 bits/s/Hz), enquanto a dimensão modal necessária $L$ permanece pequena e acompanha a geometria.

Significância e Alegações

O artigo afirma resolver o compromisso entre "escalabilidade vs. otimalidade" para XL-BD-RIS no campo próximo. Sua principal significância reside em provar que o desempenho totalmente conectado é acessível em escala quando o design é compatível com a geometria de campo próximo.

• Otimidade Provável: Ao contrário das arquiteturas conectadas por grupos, que oferecem compromissos empíricos, a arquitetia modal proposta oferece uma garantia provável de atingir o ótimo totalmente conectado.
• Eficiência de Hardware: Reduz o número de entradas reconfiguráveis de $O(M^2)$ (ex: ~330.000 para $M=576$) para $O((N+K)^2)$ (ex: ~196), reduzindo drasticamente a complexidade de hardware e o overhead de controle.
• Design Dirigido pela Geometria: O trabalho estabelece que o campo próximo não é um incômodo a ser corrigido, mas um recurso que permite a otimização de baixo posto, pois as frentes de onda esféricas confinam naturalmente o canal a um subespaço de baixa dimensão determinado pelas localizações dos terminais.

Os autores concluem que seu framework fornece uma escada completa de complexidade-desempenho, onde a arquitetura modal é a única entrada que é simultaneamente provadamente ótima e computacionalmente escalável para superfícies extremamente grandes.