Pilot-Identifiable Single-Parameter Compensation for Power-Amplifier Nonlinearity in IEEE 802.11ax Receivers

Sintesi Tecnica: Compensazione a Parametro Singolo Identificabile dai Pilot per la Nonlinearità dell'Amplificatore di Potenza nei Ricevitori IEEE 802.11ax

Problematica
I moderni ricevitori IEEE 802.11ax (WiFi 6) affrontano una sfida critica nel supportare modulazioni ad alta densità (fino a 1024-QAM), che richiedono un'estrema linearità dell'hardware. La saturazione dell'amplificatore di potenza (PA), modellata dal modello di Rapp, introduce una compressione del guadagno dipendente dall'ampiezza che degrada severamente il tasso di errore di simbolo. Sebbene l'equalizzazione standard MMSE (Minimum Mean Square Error) sia ottimale per il rumore gaussiano additivo, essa non riesce a correggere i residui strutturati causati dalla nonlinearità del PA.

Un approccio naturale per la correzione è l'apprendimento dei residui basato sui dati tramite il preambolo del pacchetto. Tuttavia, gli autori identificano un vincolo strutturale fondamentale nell'IEEE 802.11ax: l'HE-LTF (High-Efficiency Long Training Field) di un'unità di risorsa standard da 52 toni fornisce solo quattro sottoportanti pilot. Tentare di adattare modelli di correzione ad alta dimensionalità (ad esempio, regressione ridge a 12 feature) a queste quattro osservazioni risulta in un sistema severamente sottodeterminato e con rango insufficiente. Gli autori dimostrano che tali approcci sono inaffidabili, con numeri di condizionamento che superano $10^{300}$, e spesso performano peggio del MMSE standard.

Metodologia
Il documento propone un ricevitore a singolo parametro, fisicamente identificabile (K-R) che rispetta il vincolo dei quattro pilot sfruttando i priori fisici anziché un generico apprendimento automatico. L'architettura si compone di due stadi:

1. K-Step (Standard): Viene eseguita una convenzionale equalizzazione MMSE nel dominio della frequenza.
2. R-Step (Riprogettata): Un processo a tre operazioni applicato specificamente ai quattro pilot HE-LTF:
   • Metrica di Distorsione ($D$): Viene calcolata una metrica utilizzando solo il modello lineare per quantificare l'errore residuo. Questa viene calcolata indipendentemente da qualsiasi stima di parametri non lineari per garantire che la decisione di gating non sia circolare.
   • Gate Soft ($\alpha$): Una funzione di gating $\alpha(D) \in [0,1]$ sopprime la correzione se la metrica di distorsione è bassa (indicando un hardware quasi lineare). Il gate si attiva linearmente tra le soglie $\tau_1=0.15$ e $\tau_2=0.30$, garantendo un comportamento conservativo in condizioni di hardware pulito.
   • Stima del Parametro e Inversione: Se il gate è attivo, il ricevitore stima l'ampiezza di saturazione del modello di Rapp ($A_{sat}$) utilizzando minimi quadrati non lineari limitati sui quattro pilot. Poiché ci sono quattro osservazioni e un parametro incognito, il problema è sovradeterminato. Il ricevitore applica quindi un'inversione controllata dal gate della nonlinearità di Rapp al segnale equalizzato.

Contributi Chiave

• Diagnosi del Fallimento ad Alta Dimensionalità: Il documento fornisce prove numeriche dirette del fatto che l'apprendimento dei residui ad alta dimensionalità è strutturalmente impossibile sotto il vincolo dei quattro pilot HE-LTF, indipendentemente dalla regolarizzazione.
• Design a Singolo Parametro: Introduce un ricevitore che stima un singolo parametro fisico ($A_{sat}$) dai pilot disponibili, inverte la nota nonlinearità di Rapp e gestisce il gating della correzione.
• Garanzie Teoriche:
  • Teorema 1: Stabilisce l'identificabilità locale dello stimatore sotto standard assunzioni di regolarità e sensibilità.
  • Teorema 2: Dimostra la coerenza con rumore evanescente, mostrando che all'aumentare del SNR (con $N_p=4$ fisso), lo stimatore converge al parametro reale.
  • Proposizioni di Sicurezza: Dimostra che il gate assicura che non venga applicata alcuna correzione in condizioni di quasi-linearità (Proposizione 1) e che l'entità della correzione è limitata (Proposizione 2).
• Architettura di Deployment a Due Stadi: Il documento caratterizza un deployment pratico in cui la stima del canale viene eseguita sul preambolo L-LTF, e la correzione del PA viene applicata utilizzando i pilot HE-LTF. Questa architettura recupera l'81–96% del guadagno del CSI perfetto a SNR $\ge$ 20 dB.

Risultati
Validato attraverso 3.000 prove Monte Carlo per condizione, il ricevitore dimostra:

• Guadagni di Efficienza Spettrale: Guadagni statisticamente significativi ($p < 10^{-100}$) attraverso tutti i valori di SNR testati (da -5 a 40 dB). I guadagni aumentano monotonicamente con il SNR, raggiungendo +0,590 bps/Hz a 40 dB.
• Robustezza all'Hardware: Sotto una distorsione standard del PA ($A_{sat}=0.7$), il guadagno è +0,262 bps/Hz. Con hardware "pulito", il guadagno è trascurabile (-0,0004 bps/Hz), confermando che il gate previene la degradazione delle prestazioni.
• Scalabilità della Modulazione: I guadagni aumentano con l'ordine di modulazione, da +0,640 bps/Hz (64-QAM) a +0,724 bps/Hz (1024-QAM) a 30 dB SNR, indicando che il ricevitore è più vantaggioso nei regimi ad alto throughput di WiFi 6.
• Generalizzazione: Il ricevitore mantiene guadagni coerenti attraverso quattro modelli di canale (TGax-D, TGax-B, AWGN, Rayleigh) e gestisce efficacemente i disallineamenti del punto di operazione del PA.
• Confronto con OAMP-Net: Il ricevitore proposto supera un baseline rappresentativo di deep-unfolding (OAMP-Net) in tutto il regime operativo non lineare praticamente rilevante ($A_{sat} \le 0.9$). Sebbene OAMP-Net sia computazionalmente più veloce sotto compilazione JIT, il metodo proposto offre una superiore interpretabilità fisica e non richiede un addestramento offline.

Significato e Rivendicazioni
Il documento sostiene che il ricevitore proposto ha successo laddove l'apprendimento generico fallisce, aderendo ai vincoli fisici dello standard IEEE 802.11ax. La sua importanza risiede in:

1. Identificabilità Fisica: Trasforma un problema di apprendimento sottodeterminato in un problema di stima fisica sovradeterminato, riducendo i gradi di libertà a un singolo parametro fisicamente significativo.
2. Sicurezza e Conservatorismo: Il meccanismo di gating della distorsione assicura che il ricevitore rimanga "conservativo" (applicando una correzione trascurabile) quando l'hardware è lineare, evitando l'introduzione di artefatti che potrebbero degradare le prestazioni.
3. Fattibilità del Deployment: L'architettura a due stadi dimosta che è possibile recuperare prestazioni quasi ottimali in catene di ricezione realistiche senza richiedere un CSI perfetto o complessi dati di addestramento.

Gli autori notano esplicitamente i limiti: l'approccio richiede una stima del canale separata (L-LTF vs. HE-LTF), si basa su simulazioni senza prototipi hardware, assume un modello di Rapp fisso (ignorando la distorsione AM-PM) e non pretende di soddisfare gli standard di certificazione EVM per 1024-QAM, bensì di migliorare l'efficienza spettrale all'interno del ricevitore.