Physical Layer Security for FAS-Aided Short-Packet Systems: A Variable Block-Correlation Approach

Resumo Técnico: Segurança em Camada Física para Sistemas de Pacote Curto com Antenas Fluidas

1. Problema e Motivação

O artigo aborda o desafio crítico de garantir a segurança na camada física (PLS) para comunicações de pacotes curtos (short-packet) em redes 6G, onde requisitos de ultra-confiabilidade e baixa latência (URLLC) são essenciais.

• Limitações dos Modelos Atuais: As análises de segurança existentes para Sistemas de Antenas Fluidas (FAS) geralmente dependem de duas simplificações inadequadas:
  1. Assumem comprimento de bloco infinito (capacidade de Shannon), ignorando os efeitos de erro de decodificação inerentes a pacotes curtos.
  2. Utilizam Modelos de Correlação de Bloco Constantes (BCM), que assumem coeficientes de correlação uniformes entre todos os blocos de canais.
• A Lacuna: Em implantações compactas de FAS (com número limitado de portas, $N < 20$), o modelo BCM constante falha em capturar a estrutura de correlação espacial não uniforme, levando a erros significativos na estimativa da taxa de segredo. Além disso, a otimização conjunta de potência, comprimento de bloco e número de portas em regimes de bloco finito é um problema complexo e não convexo.

2. Metodologia

Os autores propõem um novo framework analítico e de otimização baseado no Modelo de Correlação de Bloco Variável (VBCM).

• Modelo de Canal (VBCM): Em vez de um único coeficiente de correlação, o VBCM particiona a matriz de covariância Toeplitz em $D$ blocos independentes, atribuindo a cada bloco um coeficiente de correlação ótimo derivado de análise espectral. Isso reduz a complexidade de busca exponencial para linear, capturando com precisão a correlação não uniforme.
• Análise de Desempenho:
  • Derivação de expressões de Taxa de Segredo Atingível Média (AAST) em regime de bloco finito.
  • Utilização de uma aproximação linear por partes da probabilidade de erro de decodificação.
  • Aplicação da quadratura de Gauss-Chebyshev para resolver integrais complexas envolvendo funções Marcum Q e distribuições de probabilidade multidimensionais, obtendo expressões fechadas e assintóticas.
• Otimização:
  • Formulação de um problema de otimização mista-inteira não convexa para maximizar a AAST, variando Potência de Transmissão ($P$), Comprimento de Bloco ($M$) e Número de Portas do Usuário Legítimo ($N_R$).
  • Redução de Dimensionalidade: Os autores provam que a AAST é monotonicamente não decrescente em relação a $N_R$. Isso permite fixar $N_R$ no seu valor máximo ($N_{max}$), reduzindo o problema de 3 dimensões para uma busca em grade (Grid Search - GS) de 2 dimensões ($P$ e $M$).
  • Desenvolvimento de um algoritmo de Busca em Grade (GS) com garantias de convergência baseadas na continuidade de Lipschitz.

3. Principais Contribuições

1. Framework Analítico VBCM: Estabelecimento do primeiro framework de análise de segurança para FAS com pacotes curtos sob o modelo VBCM, superando as limitações dos modelos BCM constantes.
2. Propriedades Estruturais: Prova teórica de que o número ótimo de portas do receptor legítimo é sempre o máximo disponível ($N^*_R = N_{max}$), simplificando drasticamente a complexidade computacional da otimização.
3. Algoritmo de Otimização com Garantias: Desenvolvimento de um algoritmo de busca em grade que otimiza conjuntamente potência e comprimento de bloco, fornecendo limites de erro explícitos e requisitos de resolução de grade.
4. Insights de Projeto: Identificação de que a seleção do comprimento de bloco é o parâmetro mais crítico e que o ganho de segredo é governado pela assimetria de portas ($N_R/N_E$) e não apenas pelos números absolutos.

4. Resultados Numéricos

As simulações validaram a precisão das expressões analíticas e revelaram os seguintes pontos:

• Ganho de Desempenho: O sistema assistido por FAS alcança um ganho de taxa de segredo de até uma ordem de magnitude (10x) comparado a sistemas com antenas de posição fixa (FPA).
• Comportamento Unimodal: A AAST exibe um comportamento unimodal em relação ao comprimento de bloco ($M$) e ao número de bits ($m$). Existe um $M$ ótimo que equilibra a penalidade de dispersão do canal (erro de decodificação) e a taxa de transmissão efetiva ($m/M$).
• Sensibilidade aos Parâmetros:
  • A seleção do comprimento de bloco ($M$) é o fator mais crítico; desvios do valor ótimo causam quedas drásticas no desempenho.
  • O ganho de diversidade das portas é mais pronunciado no regime de SNR moderado (15–25 dB). Em SNR alto, o sistema satura e o ganho marginal diminui.
  • A ameaça do eavesdropper (EU) com FAS reduz o desempenho geral, mas a otimização de parâmetros (especialmente $M$) pode compensar parcialmente essa degradação.
• Validação do VBCM: As curvas analíticas e de simulação (Monte Carlo) coincidem perfeitamente, confirmando que o VBCM oferece uma modelagem precisa onde o BCM constante falharia.

5. Significado e Impacto

Este trabalho é fundamental para o desenvolvimento de comunicações seguras de baixa latência em 6G.

• Precisão de Modelagem: Demonstra que, para sistemas compactos de FAS, ignorar a não uniformidade da correlação espacial (usando VBCM em vez de BCM constante) é essencial para evitar projetos super ou subdimensionados.
• Diretrizes de Projeto: Fornece regras claras para engenheiros: maximizar o número de portas no receptor legítimo, otimizar rigorosamente o comprimento de bloco para o cenário de ameaça específico e operar preferencialmente em regimes de SNR moderado para extrair o máximo benefício de segurança.
• Viabilidade Prática: A redução da complexidade de otimização (de 3D para 2D) torna a implementação de algoritmos de controle adaptativo em tempo real viável para sistemas reais.

Em resumo, o artigo preenche uma lacuna teórica crucial ao integrar modelos de correlação realistas, efeitos de bloco finito e otimização conjunta, estabelecendo as bases para sistemas FAS seguros e eficientes na era 6G.