Resumo Técnico: Zak-OTFS ISAC com Sensoriamento Bistático via Denoising de Norma Atômica Semi-Cego

1. Definição do Problema

Este artigo aborda o desafio da Integração de Sensoriamento e Comunicação (ISAC) em cenários de alta mobilidade utilizando a modulação Orthogonal Time Frequency Space baseada na transformada de Zak (Zak-OTFS). Em configurações de ISAC bistáticas, onde o transmissor e o receptor estão espacialmente separados, a estimativa precisa do canal é crítica tanto para a detecção confiável de dados quanto para a estimativa precisa dos parâmetros do alvo (atraso, Doppler e ganho de canal).

As principais dificuldades identificadas são:

• Atrasos Fracionários e Desvios de Doppler: Em cenários práticos de alta mobilidade, os parâmetros do alvo frequentemente não se alinham com a grade discreta do domínio Delay-Doppler (DD). Esses deslocamentos "fora da grade" (off-grid) causam a dispersão das respostas do canal por múltiplos bins de DD, levando a erros de desalinhamento de grade.
• Acoplamento Forte: A natureza fora da grade cria um forte acoplamento entre a estimativa do canal e a detecção de dados. Erros na detecção de símbolos atuam como interferência, degradando a estimativa do canal, enquanto estimativas de canal imprecisas prejudicam a detecção de símbolos.
• Limitações de Métodos Existentes:
  • Abordagens de duas etapas (estimando primeiro a matriz de canal efetiva) dependem de pulsos bi-ortogonais ideais ou estruturas de invariância de deslocamento que não são fisicamente realizáveis com pulsos retangulares práticos.
  • Métodos de estimativa direta de parâmetros frequentemente dependem de grades discretizadas (ex: Aprendizado Bayesiano Esparso), que sofrem com limites de resolução e alta complexidade computacional quando a resolução da grade é aumentada.
  • Soluções existentes geralmente falham em realizar conjuntamente a estimativa de parâmetros fora da grade e a detecção de dados sem assumir restrições severas (ex: atrasos inteiros ou contagem de caminhos conhecida).

2. Metodologia

A. Modelo de Sistema e Relação I/O em Tempo Discreto

Os autores primeiro derivam uma relação de matriz de entrada-saída (I/O) em tempo discreto para sistemas Zak-OTFS que utilizam janelas de tempo e frequência retangulares.

• Estrutura Zak-OTFS: O sistema utiliza a transformada inversa de Zak para mapear símbolos do domínio DD para o domínio do tempo e a transformada de Zak para recuperar o sinal recebido no domínio DD.
• Convolução Torcida (Twisted Convolution): A propagação do canal é modelada como uma convolução torcida. Os autores demonstram que, mesmo com pulsos retangulares práticos, o sistema mantém a "propriedade de previsibilidade", o que significa que todos os símbolos do domínio DD experimentam a mesma resposta de canal efetiva.
• Formulação Discreta: Uma relação de matriz I/O em tempo discreto é estabelecida, preenchendo a lacuna entre a teoria de tempo contínuo e a implementação digital. Este modelo confirma que a estimativa de canal livre de modelo (usando um único piloto) permanece uma estratégia de inicialização válida.

B. Formulação do Problema: Denoising de Norma Atômica Semi-Cego

A estimativa conjunta de parâmetros de canal fora da grade e símbolos de dados desconhecidos é formulada como um problema de otimização.

• Regularização por Norma Atômica: Para lidar com a natureza fora da grade de atrasos e desvios de Doppler sem discretização, o vetor de canal é regularizado usando a norma atômica. Isso explora a esparsidade inerente no domínio DD do canal.
• Tratamento de Restrições Discretas: Os símbolos de dados pertencem a uma constelação discreta (ex: PSK). Para evitar a natureza NP-difícil da programação de inteiros mistos, os autores empregam uma reformulação baseada em penalidade.
  • A restrição discreta é relaxada para seu invólucro convexo (convex hull).
  • Uma penalidade de quadrado negativo ($-\rho \|x\|_2^2$) é introduzida na função objetivo. Esta penalidade côncava incentiva a solução a se mover em direção aos vértices do invólucro convexo (os símbolos discretos reais) conforme o parâço de penalidade $\rho$ aumenta.
• Objetivo: O problema resultante minimiza o erro de reconstrução, a penalidade de quadrado negativo para a discretização do símbolo e a norma atômica para a esparsidade do canal.

C. Algoritmo Iterativo Acelerado

Para resolver o problema de otimização não convexo e acoplado, um algoritmo iterativo acelerado é desenvolvido com base no framework de Majorização-Minimização (MM) e descida de coordenadas.

1. Inicialização: Utiliza a estimativa de canal livre de modelo (do piloto) para inicializar o canal e LMMSE para a detecção inicial de símbolos.
2. Atualização do Canal: Um método de gradiente proximal acelerado inexato é utilizado. Em vez de resolver o subproblema da norma atômica via Programação Semidefinida (SDP) dispendiosa, o algoritmo utiliza um framework de descida de coordenadas que explora a simetria de origem do conjunto atômico. Isso envolve uma busca em grade com sobreamostragem seguida de um refinamento local baseado em Newton para encontrar os parâmetros ideais fora da grade.
3. Atualização de Símbolos: Um método de gradiente projetado acelerado atualiza os símbolos de dados. A penalidade de quadrado negativo é tratada via um passo de majorização, seguido de projeção no invólucro convexo da constelação.
4. Técnica de Homotopia: O parâmetro de penalidade $\rho$ é aumentado gradualmente (homotopia) para rastrear o caminho da solução do problema convexo relaxado para a solução discreta, garantindo a convergência para um ponto válido da constelação discreta.

D. Análise de Convergência

O artigo fornece uma análise teórica rigorosa provando que o algoritmo proposto converge para um ponto $\epsilon$-estacionário com uma taxa de estacionariedade sublinear de $O(1/\sqrt{t})$.

3. Principais Contribuições

1. Modelo de I/O em Tempo Discreto: Derivação de uma relação de matriz I/O em tempo discreto para Zak-OTFS com janelas retangulares, provando a validade da propriedade de previsibilidade para inicialização.
2. Framework de Otimização Unificado: Uma nova formulação semi-cega que recupera conjuntamente parâmetros de canal fora da grade e símbolos PSK usando denoising de norma atômica combinado com uma penalidade de quadrado negativo para restrições discretas.
3. Algoritmo Eficiente: Desenvolvimento de um algoritmo iterativo acelerado combinando MM, gradiente proximal acelerado inexato e gradiente projetado acelerado, evitando a alta complexidade de solvers baseados em SDP.
4. Prova de Convergência: Estabelecimento de garantias teóricas de convergência para um ponto $\epsilon$-estacionário.

4. Resultados de Simulação

O esquema proposto foi avaliado via simulações de Monte Carlo em um cenário de ISAC bistático com múltiplos alvos e sem link de Linha de Visão (LoS).

• Convergência: O algoritmo acelerado demonstrou convergência significativamente mais rápida e menor carga computacional (menos iterações internas) em comparação com esquemas ordinários (não acelerados), particularmente quando os parâmetros de penalidade foram atualizados rapidamente.
• Desempenho de Comunicação: O desempenho de Taxa de Erro de Bit (BER) aproximou-se do limite teórico inferior de Informação de Estado de Canal (CSI) perfeita. O método superou detectores LMMSE padrão, especialmente em cenários de múltiplos alvos, explorando efetivamente a diversidade do domínio DD.
• Desempenho de Sensoriamento: O algoritmo alcançou sensoriamento de super-resolução, estimando com precisão os parâmetros de atraso e Doppler fora da grade. Demonstrou detecção confiável de múltiplos alvos com alta probabilidade de detecção e baixas taxas de falso alarme em SNR suficiente.
• Limites de Resolução: O artigo observa que, embora o método permita a estimação fora da grade, sua capacidade de resolver alvos arbitrariamente próximos é limitada pelo número de alvos e sua separação mínima, bem como por potenciais erros de detecção de símbolos no cenário semi-cego.

5. Significância e Alegações

O artigo afirma fornecer um framework unificado para ISAC-OTFS confiável em canais duplamente dispersivos sem depender de pressupostos restritivos (como atrasos inteiros ou contagem de caminhos conhecida).

• Significância: Ele preenche a lacuna entre os modelos teóricos de Zak-OTFS e a implementação prática ao abordar questões críticas de deslocamentos fracionários e o acoplamento entre sensoriamento e comunicação.
• Alegações Modestas: Os autores declaram explicitamente que o algoritmo proposto é projetado para símbolos modulados em PSK e que a extensão para constelações QAM de ordem superior (onde a penalidade de quadrado negativo pode não ser equivalente ao problema original) é deixada para trabalhos futuros. Eles também reconhecem que o método é mais adequado para cenários de ISAC esparsos com poucos alvos dominantes, pois a complexidade computacional escala com o quadrado do número de átomos ativos.

Em resumo, o artigo apresenta uma solução matematicamente rigorosa e computacionalmente eficiente para sensoriamento e comunicação conjuntos em ambientes de alta mobilidade, alcançando um desempenho próximo aos benchmarks de CSI perfeita, ao mesmo tempo em que permite a estimativa de parâmetros de super-resolução.