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

Sintesi Tecnica: Sequenze di Björck: Estensione a Lunghezze Arbitrarie, Analisi di Correlazione e Applicazioni ai Sistemi Wireless

Enunciato del Problema
Le sequenze a Costante Ampiezza e Autocorrelazione Zero (CAZAC), come le sequenze Zadoff–Chu (ZC), sono fondamentali per i moderni sistemi wireless (ad es. LTE, 5G NR) per la sincronizzazione e l'accesso casuale. Tuttavia, queste sequenze sono intrinsecamente definite per lunghezze prime. I sistemi pratici, in particolare le reti basate su Multiplexing a Divisione di Frequenza Ortogonale (OFDM), richiedono lunghezze di sequenza tipicamente non prime (ad es. multipli di 12). La pratica industriale attuale adatta le sequenze a lunghezza prime a lunghezze arbitrarie utilizzando estensioni basate sulla ripetizione. Questo approccio altera la struttura sottostante della sequenza, portando a una perdita di ortogonalità tra le versioni ciclicamente spostate e a un aumento della correlazione incrociata a lag zero (prodotto scalare) tra sequenze con indici di radice diversi. Inoltre, le costruzioni analitiche esistenti per le sequenze CAZAC sono limitate a classi specifiche di lunghezze, e le estensioni numeriche spesso mancano di garanzie strutturali. Queste limitazioni sono esacerbate nelle Reti Non Terrestri (NTN), in particolare nei sistemi in Orbita Bassa Terrestre (LEO), dove i grandi ritardi di propagazione e gli elevati spostamenti Doppler degradano le proprietà di correlazione delle sequenze ZC standard, causando picchi spurii ed errori di stima.

Metodologia
Gli autori propongono un framework generico di costruzione di sequenze per estendere le sequenze CAZAC a lunghezza prime a lunghezze arbitrarie, preservando le proprietà chiave di correlazione. Il nucleo di questa metodologia si basa sulla congettura di Goldbach:

• Lunghezze Pari ($N$): La lunghezza della sequenza $N$ è espressa come la somma di due numeri primi, $N = Q_1 + Q_2$. La costruzione prevede l'aggiunta di una sequenza a lunghezza $Q_2$ a una sequenza a lunghezza $Q_1$.
• Lunghezze Dispari ($N$): La lunghezza è espressa come la somma di tre numeri primi, $N = Q_1 + Q_2 + Q_3$, seguendo una logica di concatenazione analoga.

Il framework supporta due modalità di estensione principali:

1. Versioni Ciclicamente Spostate: Estensione di una sequenza base e dei suoi spostamenti ciclici.
2. Indici di Radice Diversi: Estensione di sequenze generate da indici di radice diversi (ove applicabile, come nelle sequenze ZC; per le sequenze di Björck, sequenze distinte sono generate tramite spostamenti ciclici).

Il documento fornisce una caratterizzazione analitica rigorosa del comportamento di correlazione risultante. Deriva espressioni per il prodotto scalare (correlazione incrociata a lag zero) e per la Radice Quadratica Media (RMS) sia delle correlazioni incrociate periodiche che aperiodiche. L'analisi quantifica il compromesso tra il numero totale di sequenze disponibili e il numero di sequenze mutualmente ortogonali in base alla scelta delle coppie di primi $(Q_1, Q_2)$.

Contributi Chiave

1. Framework di Costruzione Generico: Il documento introduce un metodo unificato per estendere le sequenze CAZAC a lunghezza prime a lunghezze arbitrarie utilizzando la congettura di Goldbach. Questo framework preserva l'ortogonalità tra un sottoinsieme di spostamenti ciclici e mantiene proprietà favorevoli di correlazione incrociata a lag zero tra diversi indici di radice.
2. Analisi di Correlazione: Gli autori caratterizzano analiticamente il comportamento del prodotto scalare, dimostrando che:
   • Per gli spostamenti ciclici, l'ortogonalità perfetta può essere preservata se i segmenti aggiunti non si sovrappongono, limitando il numero di sequenze ortogonali a $\min\{Q_1, Q_2\}$.
   • Per indici di radice diversi, il prodotto scalare normalizzato scala come $O(1/\sqrt{N})$, analogamente alle sequenze a lunghezza prime, indipendentemente dalla specifica decomposizione in primi.
   • La RMS delle correlazioni incrociate periodiche e aperiodiche scala favorevolmente, preservando il comportamento $1/\sqrt{N}$ tipico delle sequenze CAZAC.
3. Applicazione alle Sequenze di Björck: Il framework è applicato specificamente alle sequenze di Björck, una classe di sequenze CAZAC nota per le favorevoli proprietà della funzione di ambiguità. Lo studio valuta le sequenze di Björck come candidati per segnali di riferimento sia per le Reti Terrestri (TN) che per le Reti Non Terrestri (NTN).
4. Comportamento Dipendente dal Doppler e Mitigazione: Gli autori identificano un comportamento intrinsecamente dipendente dal Doppler nelle sequenze di Björck, dove grandi spostamenti Doppler possono causare un'errata identificazione della sequenza (ambiguità tra spostamenti ciclici). Vengono proposte due strategie di mitigazione:
   • Sfruttare una stima grossolana del Doppler prima della rilevazione per restringere lo spazio di ricerca.
   • Selezionare sottoinsiemi opportunamente spaziati di sequenze ortogonali per garantire che la separazione in frequenza superi l'incertezza massima del Doppler.

Risultati

• Resilienza alle Interferenze: In scenari terrestri con segnali sovrapposti, la costruzione proposta supera significativamente le estensioni convenzionali basate sulla ripetizione. Nello specifico, configurazioni con insiemi più ampi di sequenze mutualmente ortogonali (ad es. utilizzando coppie di primi come 101 e 19 per $N=120$) raggiungono una probabilità di rilevazione più elevata e errori di stima dello spostamento temporale inferiori in condizioni di alta interferenza (basso SINR).
• Prestazioni TN vs NTN:
  • In ambienti TN a basso Doppler, le sequenze di Björck mostrano prestazioni comparabili alle sequenze ZC per la stima dello spostamento temporale e in frequenza.
  • In ambienti NTN ad alto Doppler (ad es. satelliti LEO con spostamenti Doppler fino a 45 kHz), le sequenze di Björck dimostrano una robustezza superiore rispetto alle sequenze ZC. Mantengono una precisione di stima coerente e presentano picchi di correlazione più netti con lobi laterali ridotti, mentre le sequenze ZC soffrono di funzioni di ambiguità distorte e picchi spurii.
• Compromessi: Lo studio conferma un compromesso fondamentale: massimizzare il numero di sequenze disponibili richiede spesso di accettare una certa sovrapposizione nei segmenti aggiunti, il che aumenta il prodotto scalare. Viceversa, imporre condizioni di non sovrapposizione rigorose preserva l'ortogonalità perfetta ma limita il numero totale di sequenze utilizzabili.

Significato
Il documento stabilisce le sequenze di Björck come una valida alternativa alle sequenze ZC per la progettazione di segnali di riferimento nei sistemi wireless di prossima generazione, in particolare per scenari ad alta mobilità e NTN. Fornendo un framework generico per estendere queste sequenze a lunghezze arbitrarie, il lavoro colma una lacuna critica nell'implementazione pratica, dove i vincoli di lunghezza prime sono incompatibili con le allocazioni di sottoportanti OFDM. L'identificazione dell'errata identificazione dipendente dal Doppler e la proposta di strategie pratiche di mitigazione migliorano ulteriormente la fattibilità delle sequenze di Björck in ambienti ad alto Doppler. Complessivamente, il lavoro abilita la progettazione pratica di sequenze CAZAC a lunghezza arbitraria con proprietà di correlazione controllate, offrendo una potenziale sostituzione delle sequenze ZC negli standard futuri 6G e NTN.