Secure Multiuser Beamforming With Movable Antenna Arrays

Resumo Técnico: Formação de Feixe Multiusuário Segura com Matrizes de Antenas Móveis

Definição do Problema
O artigo aborda o desafio de aumentar a segurança na camada física em sistemas MIMO (Múltiplas Entradas e Múltiplas Saídas) multiusuários. Embora as arquiteturas de antenas móveis (MA - Movable Antenna) tenham mostrado promessa na melhoria da taxa de transferência e na redução do desvanecimento em cenários de usuário único ou multiusuários restritos, um framework geral para transmissão multiusuária segura permanece pouco explorado. Especificamente, a literatura existente frequentemente limita a análise a cenários de usuário único, casos de um único interceptador (eavesdropper) ou condições específicas de canal. Os autores identificam uma lacuna no desenvolvimento de um framework que acomode números arbitrários de usuários legítimos, fluxos de dados e interceptadores cooperativos, otimizando conjuntamente a formação de feixe digital e o posicionamento físico das antenas para maximizar a taxa de segredo somada.

Modelo de Sistema e Formulação
O sistema proposto consiste em uma estação base (BS) equipada com $M$ antenas móveis, servindo $K$ terminais de usuários legítimos (UTs) enquanto enfrenta $J$ interceptadores cooperativos. A BS opera em modo de duplexação por divisão de tempo (TDD) com informação de estado de canal (CSI) perfeita, adquirida via treinamento de piloto de uplink. O modelo de canal utiliza uma abordagem de resposta de campo, onde os vetores de canal dependem explicitamente das coordenadas físicas das antenas dentro de uma região de transmissão bidimensional prescrita.

O objetivo é maximizar a taxa de segredo somada alcançável, definida com base na teoria de codificação de canal segura. A taxa de segredo para cada usuário é a diferença entre a capacidade do link legítimo e a capacidade agregada dos links dos interceptadores, limitada a zero. O problema de otimização envolve determinar conjuntamente a matriz de formação de feixe de transmissão e as coordenadas das $M$ antenas, sujeito a uma restrição de potência total de transmissão e a uma restrição de espaçamento mínimo para mitigar o acoplamento mútuo. O problema é inerentemente difícil devido à natureza não côncava da função objetivo em relação a ambas as variáveis e às restrições não convexas de posicionamento de antena.

Metodologia
Para resolver o problema de otimização conjunta não convexo, os autores propõem um framework combinando Programação Fracionária (FP) e Descida de Coordenadas em Bloco (BCD).

1. Reformulação: O problema original, que inclui um operador $[\cdot]_+$ não suave, é primeiro transformado em uma forma equivalente usando um vetor de variável binária auxiliar. Subsequentemente, a estrutura de soma de razões é abordada através da introdução de variáveis auxiliares ($\alpha, \beta, \eta$) para converter o objetivo em uma forma mais tratável via framework FP. Isso resulta em uma representação variacional onde as variáveis ótimas de formação de feixe e posicionamento permanecem inalteradas.
2. Algoritmo BCD: O problema transformado é resolvido usando uma abordagem BCD, onde as variáveis são atualizadas iterativamente enquanto outras são mantidas fixas:
   • Formação de Feixe ($W$): Com as posições das antenas fixas, o subproblema torna-se um programa quadrático com restrições quadráticas (QCQP) convexo. Os formadores de feixe ótimos são derivados usando as condições de Karush-Kuhn-Tucker (KKT), resolvidos via decomposição de autovalores e uma busca por bisseção para o multiplicador de Lagrange.
   • Posicionamento de Antena ($T$): Com a formação de feixe fixa, a atualização do posicionamento é não convexa e acoplada. Os autores empregam uma estratégia de otimização alternada elemento a elemento. Cada coordenada de antena ($x$ e $y$) é atualizada sequencialmente via uma busca unidimensional de baixa complexidade sobre uma grade finita, garantindo que as restrições de espaçamento mínimo sejam atendidas.
   • Variáveis Auxiliares: As variáveis auxiliares ($b, \alpha, \beta, \eta$) são atualizadas usando expressões de forma fechada derivadas das condições de otimalidade.

É provido que o algoritmo proposto converge, pois o valor do objetivo é não decrescente em cada iteração e possui um limite superior.

Principais Contribuições

• Desenvolvimento de Framework: O artigo estabelece um framework geral de transmissão segura multiusuária habilitado por MA que suporta números arbitrários de usuários e interceptadores cooperativos, estendendo-se além de estudos anteriores de usuário único ou multiusuários restritos.
• Caracterização Teórica: Novas expressões para a taxa de segredo somada alcançável são derivadas com base em teoremas de codificação de canal segura, contabilizando explicitamente a dependência das características do canal em relação às posições físicas das antenas.
• Design de Algoritmo: Um algoritmo de otimização conjunta é desenvolvido para lidar eficientemente com o forte acoplamento entre a formação de feixe digital e o posicionamento de MA. O método garante que cada atualização de variável admita ou uma solução de forma fechada ou uma busca de baixa complexidade, facilitando a implementação eficiente.

Resultados Numéricos
Resultados de simulação validam a eficeficácia do método proposto contra um benchmark utilizando arranjos de antenas de posição fixa (FPAs) convencionais com arranjos lineares uniformes.

• Ganho de Desempenho: O design habilitado por MA alcança consistentemente taxas de segredo somadas mais altas do que o benchmark FPA em vários cenários, incluindo diferentes números de interceptadores, antenas de transmissão e usuários.
• Impacto de Parâmetros:
  • O aumento do número de antenas de transmissão ($M$) ou do tamanho da região de transmissão ($A$) melhora a taxa de segredo ao fornecer maior diversidade espacial e graus de liberdade para supressão de vazamento.
  • A taxa de segredo geralmente aumenta com o número de usuários ($K$) quando há antenas suficientes para gerenciar a interferência. No entanto, em casos limitados por RF (ex: $M=2$), a taxa pode diminuir conforme $K$ cresce devido à incapacidade de suprimir simultaneamente a interferência e o vazamento.
  • À medida que o número de interceptadores cooperativos aumenta, a taxa de segredo diminui, refletindo a maior capacidade dos interceptadores de capturar a energia vazada.
• Convergência: O algoritmo demonstra convergência monotônica em poucas iterações. Além disso, o aumento da resolução da busca em grade para o posicionamento da antena gera ganhos de desempenho que diminuem à medida que a resolução se torna muito fina.

Significância e Alegações
O artigo afirma que o design proposto habilitado por MA oferece uma vantagem significativa sobre os arranjos de posição fixa convencionais para a transmissão multiusuária segura. Ao aproveitar a flexibilidade do movimento das antenas para remodelar o canal sem fio, o sistema pode direcionar o fluxo de energia de forma mais eficaz para os usuários legítimos e minimizar o vazamento de informações para os interceptadores. Os autores posicionam este trabalho como um passo em direção aos sistemas MIMO de próxima geração, demonstrando que a otimização conjunta do posicionamento físico e do processamento digital é uma estratégia viável e eficaz para aumentar a segurança na camada física. O estudo reconhece que trabalhos futuros precisarão abordar designs robustos sob CSI imperfeito, restrições práticas de mobilidade, interceptação não cooperativa e canais seletivos em frequência.