Bessel Beam Optimization for Near-Field THz Communications under UE Location Uncertainty

Resumo Técnico: Otimização de Feixe de Bessel para Comunicações THz em Campo Próximo sob Incerteza de Localização do UE

Definição do Problema
Os futuros sistemas sem fio de Terahertz (THz) dependem de arranjos de antenas extremamente grandes para superar as severas perdas de propagação e alcançar taxas de dados de terabits por segundo. No entanto, a combinação de comprimentos de onda curtos e grandes aberturas de arranjo estende a zona de campo radiativo próximo a centenas de metros, tornando inválidas as convenções de ondas planas de campo distante. Neste regime de campo próximo, o Equipamento do Usuário (UE) frequentemente opera onde o foco do feixe é necessário. Embora os feixes de Bessel ofereçam vantagens distintas para links THz móveis — especificamente seu comportamento "não difratante" (mantendo a potência axial ao longo de um intervalo) e sua capacidade de "autocura" (resiliência a bloqueios) — otimizar sua configuração permanece desafiador.

Ao contrário do beamforming de campo distante (determinado pelo ângulo) ou do foco de campo próximo padrão (determinado pelo ângulo e distância), os feixes de Bessel introduzem um parâmetro de design adicional: o "ângulo do cone de Bessel" ($\theta$). As abordagens existentes ou dependem de escolhas de parâmetros heurísticos, que podem ser subótimas, ou realizam buscas exaustivas sobre as configurações, o que é computacionalmente caro e inadequado para adaptação em tempo real. Além disso, as estimativas práticas de localização do UE são imperfeitas. A configuração ideal do feixe de Bessel depende conjuntamente da localização estimada, da distribuição de incerteza e da métrica de desempenho, tornando a otimização em tempo real difícil com os métodos existentes.

Metodologia
Os autores formulam o problema como a maximização da Eficiência Espectral (SE) esperada de um link MIMO (Múltiplas Entradas e Múltiplas Saídas) downlink THz de usuário único sob conhecimento imperfeito da localização do UE. O modelo de sistema considera um Arranjo Planar Uniforme (UPA) no Ponto de Acesso (AP) e um UPA no UE, operando na região de campo radiativo próximo com um canal de onda esférica não uniforme de linha de visão (LoS).

O estudo aborda três cenários específicos de localização do UE:

1. Determinístico: Conhecimento perfeito da localização ($\epsilon_z = 0$).
2. Incerteza Gaussiana: Erros de localização seguindo uma distribuição normal ($\epsilon_z \sim \mathcal{N}(0, \sigma_G^2)$).
3. Incerteza Uniforme: Erros de localização seguindo uma distribuição uniforme ($\epsilon_z \sim \mathcal{U}(-\delta_U, \delta_U)$).

Para resolver o problema de otimização sem busca exaustiva, os autores derivam aproximações de baixa complexidade em forma fechada:

• Caso Determinístico: Usando uma aproximação de fase estacionária e argumentos de escala geométrica, os autores modelam os elementos do AP como anéis concêntricos. Eles derivam que o pico de potência axial dominante ocorre em $z_{peak} = Z_{max}/2$, onde $Z_{max}$ é o alcance máximo não difratante. O ângulo do cone ideal é determinado pelo alinhamento deste pico com a localização estimada ($\mu$).
• Casos de Incerteza: Para incertezas Gaussianas e uniformes, os autores estendem o princípio de alinhamento de pico. Eles introduzem fatores de correção de primeira ordem ($\alpha$ e $\beta$) para deslocar o ponto de alinhamento alvo para dentro, em relação à localização média $\mu$, para levar em conta a distribuição de incerteza. O ângulo ideal é encontrado alinhando o pico dominante do feixe com $\mu - \alpha\sigma_G$ (Gaussiano) ou $\mu - \beta\sigma_U$ (Uniforme).

Os coeficientes de correção $\alpha$ e $\beta$ são calibrados contra um benchmark de busca exaustiva usando simulações numéricas através de vários tamanhos de arranjo e frequências.

Principais Contribuições e Resultados

1. Soluções de Forma Fechada: O artigo fornece fórmulas explícitas de complexidade $O(1)$ para o ângulo do cone de Bessel ideal sob incerteza de localização determinística, gaussiana e uniforme.

   • Determinístico: $\theta^* = \tan^{-1}\left(\frac{D_{AP}}{2\sqrt{2}\mu}\right)$
   • Gaussiano: $\theta^* = \tan^{-1}\left(\frac{D_{AP}}{2\sqrt{2}(\mu - 0,22\sigma_G)}\right)$
   • Uniforme: $\theta^* = \tan^{-1}\left(\frac{D_{AP}}{2\sqrt{2}(\mu - 0,40\sigma_U)}\right)$
     (Onde $D_{AP}$ é o comprimento lateral do arranjo do AP).

2. Validação: Simulações extensas em várias frequências (100–1000 GHz), tamanhos de arranjo (300–800 elementos) e níveis de incerteza demonstram que estas aproximações de forma fechada se aproximam estreitamente do desempenho de uma busca exaustiva.

   • A diferença na Eficiência Espectral entre o método proposto e o benchmark de busca exaustiva é insignificante, com erros máximos do percentil 95 de 0,057% (determinístico), 0,00722% (gaussiano) e 0,00471% (uniforme).
   • As configurações propostas acompanham o ângulo do cone ideal $\theta^*$ com alta fidelidade.

3. Insights de Desempenho:

   • Impacto da Incerteza: Sob incerteza de localização, a estratégia ideal envolve uma "correção para dentro", deslocando o pico do feixe para mais perto do transmissor para maximizar a SE esperada.
   • Robustez: A lacuna de desempenho entre os casos determinístico e de incerteza diminui à medida que a distância do UE aumenta, mas aumenta à medida que a magnitude da incerteza de localização cresce.
   • Ganho de Arranjo: O aumento do número de elementos de antena ($N_{AP}$ e $N_{UE}$) melhora consistentemente a SE, enquanto o aumento da frequência (com abertura física fixa) reduz ligeiramente a SE devido ao ganho de arranjo reduzido e regiões axiais mais estreitas.

Significância e Alegações
Os autores alegam que seu trabalho aborda uma lacuna crítica no design de sistemas práticos de THz em campo próximo, fornecendo um método eficiente e analiticamente tratável para a configuração de feixes de Bessel. A principal significância reside na redução da complexidade de configuração de uma busca exaustiva computacionalmente proibitiva para uma expressão de forma fechada simples ($O(1)$) sem sacrificar o desempenho.

O artigo afirma que estas aproximações são robustas através de uma ampla gama de parâmetros de sistema e regimes de incerteza. Consequentemente, as expressões derivadas facilitam o design de futuros sistemas THz de campo próximo, incluindo o design de codebooks, e permitem estudos de nível de sistema analiticamente tratáveis e precisos em relação a capacidade, cobertura e modelagem de interferência. Os autores mantêm uma postura modesta, observando que, embora as aproximações sejam altamente precisas, elas dependem de argumentos geométricos de primeira ordem e calibração empírica, deixando efeitos residuais de ordem superior como desvios menores.