Extremely Large Beyond-Diagonal RIS: Low-Rank Modal Optimization for Near-Field Communications

Problem Statement (Enunciato del Problema)

Il documento affronta le sfide di scalabilità e prestazioni delle Beyond-Diagonal Reconfigurable Intelligent Surfaces (BD-RIS) nel contesto di aperture estremamente grandi (XL) che operano nel campo vicino (near-field) radiativo.

1. Ottimizzazione e Onere Hardware: Le architetture BD-RIS completamente connesse offrono le prestazioni più elevate abilitando risposte di scattering non diagonali e unitarie. Tuttavia, l'ottimizzazione di una matrice di scattering $M \times M$ (dove $M$ è il numero di elementi) comporta un numero quadratico di voci riconfigurabili ($O(M^2)$) e una complessità computazionale cubica per iterazione ($O(M^3)$). Per superfici XL con centinaia o migliaia di elementi, questo onere è proibitivo.
2. Fallimento della Modellazione del Campo Vicino: Man mano che le dimensioni dell'apertura aumentano alle frequenze millimetriche e sub-THz, la distanza di Rayleigh si estende, posizionando sia la Base Station (BS) che gli utenti nel campo vicino. In questo regime, i fronti d'onda sono sferici anziché planari. Gli strumenti di progettazione tradizionali basati su assunzioni di campo lontano (ad esempio, DFT beamspace, parametrizzazione basata solo sull'angolo) degradano significativamente perché non riescono a catturare l'informazione sulla distanza (range) e l'attenuazione di ampiezza inerente alle onde sferiche.
3. Il Gap: Le tecniche esistenti di riduzione della dimensionalità, come i fissi beamspace DFT, reintroducono assunzioni di campo lontano che violano la geometria del campo vicino, portando a penalità prestazionali significative. Manca un metodo di riduzione della dimensionalità che sia coordinato con la geometria del campo vicino e provabilmente equivalente all'ottimo a connessione completa.

Metodologia

Gli autori propongono un'Architettura Modale Geometrica che disaccoppia la dimensione di ottimizzazione dalla dimensione fisica del pannello ($M$), legandola invece all'ambiente di propagazione.

1. Modellazione del Sistema:

   • Il sistema è modellato come un'apertura continua utilizzando la funzione di Green scalare in spazio libero, che cattura sia la curvatura di fase sferica che il decadimento dell'ampiezza.
   • Il canale cascata (BS-RIS-Utente) è dimostrato appartenere a un sottospazio a bassa dimensione spaziato da atomi d'onda sferica determinati esclusivamente dalle posizioni dei terminali (antenne BS e utenti).
   • I campi incidenti e radiati sono espansi su una base modale ortonormale $\Phi$, riducendo il kernel di scattering a dimensione infinita in una matrice modale compatta $L \times L$ denominata $\Psi$.

2. Costruzione della Base Modale Geometrica:

   • Gli autori costruiscono una base dalla matrice atomica impilata $[G, F^*]$, dove $G$ rappresenta la risposta BS-verso-RIS e $F^*$ rappresenta la risposta coniugata RIS-verso-utente.
   • Una SVD (Singular Value Decomposition) sottile di questa matrice identifica la dimensione del sottospazio attivo $\rho$ (il rango numerico).
   • La base $\Phi$ è formata dai vettori singolari dominanti più uno "slack" ortonormale arbitrario per garantire l'unitarietà. La dimensione risultante è $L = 2\rho \le 2(N+K)$, dove $N$ è il numero di antenne BS e $K$ è il numero di utenti.

3. Equivalenza Teorica (Proposizione 2):

   • Utilizzando un argomento di dilatazione unitaria (dilatazione di Halmos), il documento dimostra che una matrice modale unitaria $L \times L$ $\Psi$ (incorporata nella superficie tramite una completazione lossless) è provabilmente equivalente a una superficie unitaria $M \times M$ non vincolata.
   • Questa equivalenza è valida per qualsiasi geometria Line-of-Sight (LoS), il che significa che l'ottimo a connessione completa può essere raggiunto con solo $L^2$ voci riconfigurabili, indipendentemente dalla dimensione del pannello $M$.

4. Ottimizzazione Scalabile:

   • Gli autori sviluppano un algoritmo di ottimizzazione alternata Riemanniana Weighted-MMSE (WMMSE).
   • Beamforming: Aggiornato tramite soluzioni in forma chiusa con una proiezione di potenza radiale per garantire la convergenza monotona.
   • Aggiornamento della Matrice Modale: Ottimizzato sul gruppo unitario $U(L)$ tramite gradiente Riemanniano con backtracking di Armijo.
   • Complessità: Il costo per iterazione è $O(L^3)$, che è indipendente da $M$. La dipendenza da $M$ è limitata a un passaggio di compressione una tantum ($O(M\rho^2)$).

Contributi Chiave

1. Architettura Modale Geometrica: Un nuovo design in cui la dimensione riconfigurabile è impostata dal numero di modi d'onda sferiche accoppiati (determinati dalle posizioni dei terminali) piuttosto che dalla dimensione del pannello.
2. Equivalenza Esatta Indipendente da $M$ ($M$-Free): Una prova che l'ottimo a connessione completa è ottenibile con $L = 2\rho$ gradi di libertà, a condizione che la base spazi il sottospazio attivo del canale. Ciò elimina la necessità di $O(M^2)$ voci.
3. Algoritmo di Ottimizzazione Scalabile: Un algoritmo WMMSE-Riemanniano che raggiunge la convergenza monotona con una complessità per iterazione indipendente dalla dimensione della superficie.
4. Analisi del Campo Vicino: Un'analisi completa che quantifica le penalità dei design disallineati (DFT beamspace) e i benefici del focalizzazione nel campo vicino (risolvibilità della distanza/range).

Risultati Numerici

Il documento valida la teoria utilizzando un pannello con $24 \times 24$ ($M=576$) elementi in uno scenario di campo vicino ($d_{BS} = 0.16 d_F$).

• Prestazioni vs. Voci:
  • Il design modale proposto raggiunge l'ottimo a connessione completa con circa 196 voci ($L=14$).
  • Un DFT beamspace disallineato richiede circa 12.100 voci per raggiungere il 99% delle prestazioni della connessione completa, rappresentando una penalità di conteggio delle voci di 60 volte.
  • Le architetture connesse a gruppi (ad esempio, $N_g=32$) richiedono ancora più voci per avvicinarsi all'ottimo e convergono più lentamente.
• Convergenza: Il design modale converge in circa $2 \times 10^4$ iterazioni esterne. Sebbene il DFT beamspace converga più velocemente, si stabilizza su un valore obiettivo significativamente inferiore a causa del basis disallineato.
• Risolvibilità della Distanza (Range Resolvability): Lo studio dimostra che l'architettura proposta può risolvere due utenti alla stessa azimut separati solo dalla distanza, con la transizione che si allinea con la legge della profondità di fuoco ($2r_0^2/D$).
• Dipendenza dalla Profondità: Man mano che la BS si sposta più in profondità nel campo vicino, il vantaggio dello scattering beyond-diagonal rispetto alla fase diagonale aumenta (da 2.5 a 4.4 bit/s/Hz), mentre la dimensione modale richiesta $L$ rimane piccola e segue la geometria.

Significato e Rivendicazioni

Il documento sostiene di aver risolto il compromesso "scalabilità vs. ottimalità" per le XL-BD-RIS nel campo vicino. Il suo significato primario risiede nella prova che le prestazioni a connessione completa sono accessibili su larga scala quando il design è coordinato con la geometria del campo vicino.

• Ottimalità Provabile: A differenza delle architetture connesse a gruppi che offrono compromessi empirici, la proposta architettura modale fornisce una garanzia provabile di raggiungere l'ottimo a connessione completa.
• Efficienza Hardware: Riduce le voci riconfigurabili da $O(M^2)$ (ad esempio, ~330.000 per $M=576$) a $O((N+K)^2)$ (ad esempio, ~196), riducendo drasticamente la complessità hardware e l'overhead di controllo.
• Design Guidato dalla Geometria: Il lavoro stabilisce che il campo vicino non è un disturbo da correggere, ma una risorsa che consente l'ottimizzazione a basso rango, poiché i fronti d'onda sferici confinano naturalmente il canale in un sottospazio a bassa dimensione determinato dalle posizioni dei terminali.

Gli autori concludono che il loro framework fornisce una completa scala di complessità-prestazioni dove l'architettura modale è l'unica voce che è sia provabilmente ottimale che computazionalmente scalabile per superfici estremamente grandi.