A Unified Dual Framework for Sparse-Array Near-Field Beam Focusing With Spatial Interference Suppression

Resumo Técnico: Um Framework Dual Unificado para Focagem de Feixe em Campo Próximo com Matrizes Esparsas e Supressão de Interferência Espacial

Enunciado do Problema
Este artigo aborda o desafio de projetar formações de satélites coerentes (especificamente constelações de Órbita Terrestre Baixa, ou LEO) para focar a energia irradiada em um alvo aéreo enquanto suprime simultaneamente a interferência sobre uma região de proteção terrestre contínua. Este cenário surge em redes não terrestres (NTN) de carga útil regenerativa, onde os sinais de downlink para terminais aéreos devem coexistir com usuários celulares baseados no solo.

O problema é caracterizado por três desafios principais:

1. Restrições semi-infinitas: A região de proteção é um contínuo espacial contínuo, exigindo a supressão da intensidade do campo sobre infinitos pontos, o que normalmente necessita de métodos de plano de corte numéricos com propriedades de convergência incertas.
2. Degenerescência geométrica: Em cenários LEO típicos, a altitude do alvo é muito menor que a altitude orbital. Isso cria uma geometria "quase-colinear", onde o alvo e a direção dominante de interferência terrestre estão altamente correlacionados, impondo um teto fundamental na Relação Sinal-Interferência (SIR) que é independente do algoritmo de otimização.
3. Implementação de módulo constante: Cargas úteis de satélites práticas utilizam amplificadores de potência saturados, impondo uma restrição de módulo constante aos pesos de formação de feixe (beamforming). Isso transforma o problema em uma otimização de variedade não convexa, tornando inviáveis as soluções lineares clássicas de forma fechada (como o MVDR).

Metodologia
Os autores propõem um framework dual Lagrangiano unificado para analisar e resolver este problema. Em vez de tratar diferentes abordagens de formação de feixe (SOCP, MVDR, LCMV) como designs distintos, o artigo deriva uma estrutura analítica comum para a solução ótima.

• Análise Dual: Os autores formulam o problema de focagem de feixe como um Programa de Cono de Segunda Ordem (SOCP) semi-infinito. Ao aplicar a dualidade Lagrangiana, eles caracterizam o formador de feixe ótimo como um filtro casado generalizado contra uma matriz de covariância espacial efetiva. Esta covariância é induzida por uma medida dual ótima suportada na região de proteção.
• Caracterização de Suporte Finito: Usando argumentos de teoria da medida (especificamente o teorema de Tchakaloff), os autores provam que a medida dual ótima possui suporte finito. O número de pontos de interferência "pior caso" ativos é limitado por $M^2$ em geral e por $M$ (onde $M$ é o número de elementos da matriz) para Matrizes Lineares Uniformes (ULA). Isso fornece um certificado teórico para a convergência de métodos de plano de corte.
• Análise Assintótica: O artigo deriva um limite superior em forma fechada para a média-SIR. Sob o regime quase-colinear, mostra-se que este limite escala logaritmicamente com a ordem da matriz $M$ (especificamente $10 \log_{10} M$), em vez de com a abertura da abertura (aperture span).
• Especialização Algorítmica: O framework unifica vários algoritmos existentes como casos especiais da formulação de medida dual. Além disso, para abordar a restrição de módulo constante, os autores desenvolvem um algoritmo de gradiente conjugado de Riemann na variedade do toro unitário, inicializado pela projeção da solução MVDR não restrita sobre a variedade.

Principais Contribuições

1. Estrutura do Formador de Feixe Ótimo: O artigo estabelece que todo formador de feixe linear ótimo pode ser representado como um filtro casado generalizado contra uma covariância espacial induzida por uma medida dual. Isso conecta formulações SOCP semi-infinitas diretamente à formação de feixe adaptativa clássica (MVDR, LCMV).
2. Certificado de Suporte Finito: É provado que a medida dual ótima tem suporte finito (cardinalidade $\le M^2$ em geral, $\le M$ para ULA). Isso explica a eficiência empírica de métodos de conjunto ativo esparsos e garante que algoritmos de plano de corte terminem com um conjunto de trabalho finito.
3. Limite Fundamental de SIR: Um limite superior em forma fechada para a média-SIR é derivado. A análise revela que, sob geometria quase-colinear, a SIR alcançável é governada pela ordem da matriz $M$, não pela abertura ou pelo algoritmo de otimização específico.
4. Interpretação Algorítmica Unificada: O framework demonstra que MVDR, LCMV e a focagem baseada em SOCP são casos especiais de uma única formulação de medida dual. Também fornece um algoritmo de otimização de variedade de Riemann para restrições de módulo constante que se aproxima do limite de desempenho não restrito.
5. Insights Arquiteturais: A análise identifica três invariâncias operacionais:
   • Invariância de algoritmo: Tanto os formadores de feixe não restritos quanto os de módulo constante atingem uma SIR próxima da ótima.
   • Invariância de topologia: No regime quase-colinear, constelações 1D e 2D com o mesmo $M$ produzem essencialmente a mesma SIR.
   • Assimetria Transmissão-Recepção: O aumento da abertura de transmissão (por plataforma) gera retornos decrescentes devido às restrições geométricas, enquanto antenhas direcionais do lado do receptor fornecem ganhos lineares em dB, tornando-as o principal alavancagem para exceder o teto de SIR.

Resultados
Experimentos numéricos em uma formação LEO representativa ($M=8$ satélites, $D=300$ km) validam os achados teóricos:

• Escalonamento de SIR: A SIR superior medida escala exatamente como $10 \log_{10} M$ e é amplamente independente da abertura $D$, confirmando a análise assintótica.
• Desempenho do Algoritmo: O formador de feixe MVDR não restrito atinge 9,03 dB, dentro de 0,01 dB do limite teórico. O algoritmo de variedade de Riemann proposto (com inicialização MVDR) atinge 9,09 dB, demonstrando que as restrições de módulo constante não degradam significativamente o desempenho neste regime.
• Falha do LCMV: O estudo quantifica a falha do LCMV sob degenerescência geométrica; conforme o número de restrições de nulidade aumenta, o número de condição da matriz explode, levando ao colapso do sinal do alvo.
• Robustez: O sistema mostra sensibilidade a perturbações de posição, com a degradação da SIR escalando como $1/\sigma_p^2$ (onde $\sigma_p$ é o desvio padrão do erro de posição). No entanto, a precisão de determinação de órbita sub-centimétrica é suficiente para manter uma baixa perda de SIR.
• Estratégias Por Plataforma: Simulações mostram que estratégias de processamento local (direção central/boresight, nulidade local ou MVDR local) em plataformas de satélites individuais não podem superar o teto geométrico de SIR. Apenas um processamento coerente totalmente conjunto de todos os elementos físicos ($MN$ elementos) pode quebrar este limite, embora isso exija uma sincronização em rede impraticável para os sistemas atuais.

Significância e Alegações
O artigo afirma fornecer uma unificação teórica da focagem de feixe em campo próximo de matrizes esparsas, preenchendo a lacuna entre a otimização numérica (SOCP) e a formação de feixe adaptativa analítica (MVDR/LCMV). Sua principal significância reside em deslocar o foco das melhorias algorítmicas para as limitações geométricas.

Os autores afirmam que, para formações de satélites distribuídos operando em geometrias quase-colineares:

• A SIR alcançável é fundamentalmente limitada pela ordem da matriz $M$ e pela razão de altitude, não pela sofisticação do algoritmo de otimização.
• Arquiteturas hierárquicas existentes (onde os satélites realizam combinações locais antes da coordenação interplataforma) são inerentemente limitadas por este teto geométrico.
• Os esforços de design prático devem priorizar a diretividade do lado do receptor ou o aumento do número de plataformas ($M$), em vez de tentar refinar os algoritmos do lado da transmissão ou as aberturas, já que estes oferecem ganhos negligenciáveis neste regime específico.

O trabalho conclui que, embora as restrições de módulo constante sejam praticamente necessárias, elas não impedem a aproximação dos limites de desempenho fundamentais derivados das restrições geométricas do problema.