Björck Sequences: Extension to Arbitrary Lengths, Correlation Analysis, and Applications to Wireless Systems

Resumo Técnico: Sequências de Björck: Extensão para Comprimentos Arbitrários, Análise de Correlação e Aplicações a Sistemas Sem Fio

Enunciado do Problema
Sequências de Amplitude Constante e Autocorrelação Nula (CAZAC), como as sequências de Zadoff–Chu (ZC), são fundamentais para sistemas sem fio modernos (por exemplo, LTE, 5G NR) para sincronização e acesso aleatório. No entanto, essas sequências são inerentemente definidas para comprimentos primos. Sistemas práticos, particularmente redes baseadas em Multiplexação por Divisão de Frequência Ortogonal (OFDM), exigem comprimentos de sequência que são tipicamente não primos (por exemplo, múltiplos de 12). A prática industrial atual adapta sequências de comprimento primo a comprimentos arbitrários usando extensões baseadas em repetição. Essa abordagem perturba a estrutura subjacente da sequência, levando à perda de ortogonalidade entre versões deslocadas ciclicamente e ao aumento da correlação cruzada em atraso zero (produto interno) entre sequências com diferentes índices de raiz. Além disso, construções analíticas existentes para sequências CAZAC restringem-se a classes específicas de comprimento, e extensões numéricas frequentemente carecem de garantias estruturais. Essas limitações são exacerbadas em Redes Não Terrestres (NTNs), particularmente em sistemas de Órbita Terrestre Baixa (LEO), onde grandes atrasos de propagação e altos desvios Doppler degradam as propriedades de correlação das sequências ZC padrão, causando picos espúrios e erros de estimação.

Metodologia
Os autores propõem um framework genérico de construção de sequências para estender sequências CAZAC de comprimento primo a comprimentos arbitrários, preservando propriedades de correlação fundamentais. O núcleo dessa metodologia baseia-se na conjectura de Goldbach:

• Comprimentos Pares ($N$): O comprimento da sequência $N$ é expresso como a soma de dois primos, $N = Q_1 + Q_2$. A construção envolve anexar uma sequência de comprimento primo de tamanho $Q_2$ a uma sequência de comprimento primo de tamanho $Q_1$.
• Comprimentos Ímpares ($N$): O comprimento é expresso como a soma de três primos, $N = Q_1 + Q_2 + Q_3$, seguindo uma lógica de concatenação similar.

O framework suporta dois modos principais de extensão:

1. Versões Deslocadas Ciclicamente: Estendendo uma sequência base e seus deslocamentos cíclicos.
2. Diferentes Índices de Raiz: Estendendo sequências geradas a partir de diferentes índices de raiz (quando aplicável, como em sequências ZC; para sequências de Björck, sequências distintas são geradas via deslocamentos cíclicos).

O artigo fornece uma caracterização analítica rigorosa do comportamento de correlação resultante. Deriva expressões para o produto interno (correlação cruzada em atraso zero) e a Raiz Quadrada Média (RMS) de ambas as correlações cruzadas periódicas e aperiódicas. A análise quantifica o compromisso entre o número total de sequências disponíveis e o número de sequências mutuamente ortogonais com base na escolha dos pares de primos $(Q_1, Q_2)$.

Principais Contribuições

1. Framework Genérico de Construção: O artigo introduz um método unificado para estender sequências CAZAC de comprimento primo a comprimentos arbitrários usando a conjectura de Goldbach. Este framework preserva a ortogonalidade entre um subconjunto de deslocamentos cíclicos e mantém propriedades favoráveis de correlação cruzada em atraso zero entre diferentes índices de raiz.
2. Análise de Correlação: Os autores caracterizam analiticamente o comportamento do produto interno, demonstrando que:
   • Para deslocamentos cíclicos, a ortogonalidade perfeita pode ser preservada se os segmentos anexados não se sobrepuserem, limitando o número de sequências ortogonais a $\min\{Q_1, Q_2\}$.
   • Para diferentes índices de raiz, o produto interno normalizado escala como $O(1/\sqrt{N})$, semelhante a sequências de comprimento primo, independentemente da decomposição prima específica.
   • A RMS das correlações cruzadas periódicas e aperiódicas escala favoravelmente, preservando o comportamento $1/\sqrt{N}$ típico de sequências CAZAC.
3. Aplicação a Sequências de Björck: O framework é aplicado especificamente a sequências de Björck, uma classe de sequências CAZAC conhecida por propriedades favoráveis da função de ambiguidade. O estudo avalia as sequências de Björck como candidatos a sinais de referência tanto para Redes Terrestres (TNs) quanto para Redes Não Terrestres (NTNs).
4. Comportamento Dependente de Doppler e Mitigação: Os autores identificam um comportamento inerentemente dependente de Doppler nas sequências de Björck, onde grandes desvios Doppler podem causar identificação equivocada da sequência (ambiguidade entre deslocamentos cíclicos). Duas estratégias de mitigação são propostas:
   • Aproveitar uma estimativa grosseira de Doppler antes da detecção para estreitar o espaço de busca.
   • Selecionar subconjuntos adequadamente espaçados de sequências ortogonais para garantir que a separação em frequência exceda a incerteza máxima de Doppler.

Resultados

• Resiliência à Interferência: Em cenários terrestres com sinais sobrepostos, a construção proposta supera significativamente as extensões convencionais baseadas em repetição. Especificamente, configurações com conjuntos maiores de sequências mutuamente ortogonais (por exemplo, usando pares de primos como 101 e 19 para $N=120$) alcançam maior probabilidade de detecção e menores erros de estimação de deslocamento temporal sob alta interferência (baixo SINR).
• Desempenho TN vs. NTN:
  • Em ambientes TN de baixo Doppler, as sequências de Björck exibem desempenho comparável às sequências ZC para estimação de deslocamento temporal e de frequência.
  • Em ambientes NTN de alto Doppler (por exemplo, satélites LEO com desvios Doppler de até 45 kHz), as sequências de Björck demonstram robustez superior em comparação com as sequências ZC. Elas mantêm precisão de estimação consistente e exibem picos de correlação mais agudos com lóbulos laterais reduzidos, enquanto as sequências ZC sofrem com funções de ambiguidade distorcidas e picos espúrios.
• Compromissos: O estudo confirma um compromisso fundamental: maximizar o número de sequências disponíveis frequentemente exige aceitar alguma sobreposição nos segmentos anexados, o que aumenta o produto interno. Por outro lado, impor condições estritas de não sobreposição preserva a ortogonalidade perfeita, mas limita o número total de sequências utilizáveis.

Significado
O artigo estabelece as sequências de Björck como uma alternativa forte às sequências ZC para o design de sinais de referência em sistemas sem fio de próxima geração, particularmente para cenários de alta mobilidade e NTN. Ao fornecer um framework genérico para estender essas sequências a comprimentos arbitrários, o trabalho aborda uma lacuna crítica na implantação prática onde as restrições de comprimento primo são incompatíveis com alocações de subportadoras OFDM. A identificação da identificação equivocada dependente de Doppler e a proposta de estratégias práticas de mitigação aumentam ainda mais a viabilidade das sequências de Björck em ambientes de alto Doppler. Globalmente, o trabalho permite o design prático de sequências CAZAC de comprimento arbitrário com propriedades de correlação controladas, oferecendo uma substituta potencial para as sequências ZC em futuros padrões 6G e NTN.