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

Probleemstelling

Het artikel behandelt de schaalbaarheids- en prestatie-uitdagingen van Beyond-Diagonal Reconfigurable Intelligent Surfaces (BD-RIS) in de context van Extreem Grote (XL) apertures die opereren in het nabijveld (near-field).

1. Optimalisatie en Hardwarebelasting: Volledig verbonden BD-RIS-architecturen bieden de hoogste prestaties door niet-diagonale, unitaire verstrooiingsresponsen mogelijk te maken. Echter, het optimaliseren van een $M \times M$ verstrooiingsmatrix (waarbij $M$ het aantal elementen is) brengt een kwadratisch aantal herconfigureerbare parameters ($O(M^2)$) en een cubische computationele complexiteit per iteratie ($O(M^3)$) met zich mee. Voor XL-oppervlakken met honderden of duizenden elementen is deze belasting prohibitief.
2. Doorbraak in Near-Field Modellering: Naarmate de afmetingen van de aperture toenemen bij millimetergolf- en sub-THz-frequenties, breidt de Rayleigh-afstand zich uit, waardoor zowel de Basisstation (BS) als de gebruikers zich in het nabijveld bevinden. In dit regime zijn de golffronten bolvormig in plaats van vlak. Traditionele ontwerptools die vertrouwen op far-field aannames (bijv. DFT beamspace, hoekgebaseerde parametrisatie) degraderen aanzienlijk omdat ze er niet in slagen de range-informatie en de amplitude-taper inherent aan sferische golven te vangen.
3. De Kloof: Bestaande technieken voor dimensionaliteitsreductie, zoals vaste DFT beamspaces, herintroduceren far-field aannames die de near-field geometrie schenden, wat leidt tot significante prestatieverliezen. Er is een gebrek aan een methode voor dimensionaliteitsreductie die gematcht is aan de near-field geometrie en die bewezen equivalent is aan de volledig verbonden optimum.

Methodologie

De auteurs stellen een Geometric Modal Architecture voor die de optimalisatiedimensie ontkoppelt van de fysieke paneelgrootte ($M$) en deze in plaats koppelt aan de voortplantingsomgeving.

1. Systeemmodellering:

   • Het systeem wordt gemodelleerd als een continue aperture met behulp van de vrije-ruimte scalaire Green-functie, die zowel de sferische fasekromming als de amplitude-afname vastlegt.
   • Het gekoppelde kanaal (BS-RIS-Gebruiker) bevindt zich in een laagdimensionale subspace gespannen door sferische-golf atomen, die uitsluitend worden bepaald door de posities van de terminals (BS-antennes en gebruikers).
   • De invallende en uitgestraalde velden worden geëxpandeerd op een orthonormale modale basis $\Phi$, wat de oneindig-dimensionale verstrooiingskern reduceert tot een compacte $L \times L$ modale matrix $\Psi$.

2. Constructie van de Geometric Modale Basis:

   • De auteurs construeren een basis vanuit de gestapelde atoommatrix $[G, F^*]$, waarbij $G$ de BS-naar-RIS respons representeert en $F^*$ de geconjugeerde RIS-naar-gebruiker respons representeert.
   • Een dunne Singular Value Decomposition (SVD) van deze matrix identificeert de actieve subspace dimensie $\rho$ (de numerieke rang).
   • De basis $\Phi$ wordt gevormd door de dominante singuliere vectoren plus een willekeurige orthonormale 'slack' om unitariteit te waarborgen. De resulterende dimensie is $L = 2\rho \le 2(N+K)$, waarbij $N$ het aantal BS-antennes is en $K$ het aantal gebruikers.

3. Theoretische Equivalentie (Proposition 2):

   • Met behulp van een unitaire dilatatie-argument (Halmos-dilatatie) bewijst het artikel dat een $L \times L$ unitaire modale matrix $\Psi$ (ingebed in het oppervlak via een verliesloze voltooiing) bewijsbaar equivalent is aan een onbeperkte $M \times M$ unitaire oppervlak.
   • Deze equivalentie houdt stand voor elke Line-of-Sight (LoS) geometrie, wat betekent dat de volledig verbonden optimum kan worden bereikt met slechts $L^2$ herconfigureerbare parameters, onafhankelijk van de paneelgrootte $M$.

4. Schaalbare Optimalisatie:

   • De auteurs ontwikkelen een Weighted-MMSE (WMMSE) Riemannian alternating optimization algoritme.
   • Beamforming: Wordt bijgewerkt via closed-form oplossingen met een radiale krachtprojectie om monotone convergentie te garanderen.
   • Modale Matrix Update: Wordt geoptimaliseerd op de unitaire groep $U(L)$ met behulp van Riemannian gradiëntafdaling met Armijo backtracking.
   • Complexiteit: De per-iteratie kosten zijn $O(L^3)$, wat onafhankelijk is van $M$. De afhankelijkheid van $M$ is beperkt tot een eenmalige compressiestap ($O(M\rho^2)$).

Belangrijkste Bijdragen

1. Geometric Modal Architecture: Een nieuw ontwerp waarbij de herconfigureerbare dimensie wordt bepaald door het aantal gekoppelde sferische golfmodi (bepaald door terminalposities) in plaats van de paneelgrootte.
2. Exacte $M$-Vrije Equivalentie: Een bewijs dat de volledig verbonden optimum haalbaar is met $L = 2\rho$ vrijheidsgraden, mits de basis de actieve subspace van het kanaal beslaat. Dit elimineert de noodzaak voor $O(M^2)$ parameters.
3. Schaalbaar Optimalisatiealgoritme: Een WMMSE-Riemannian algoritme dat monotone convergentie bereikt met een per-iteratie complexiteit die onafhankelijk is van de oppervlaktegrootte.
4. Near-Field Analyse: Een uitgebreide analyse die de straffen van mismatched ontwerpen (DFT beamspace) kwantificeert en de voordelen van near-field focusing (range resolvability) benadrukt.

Numerieke Resultaten

Het artikel valideert de theorie met behulp van een $24 \times 24$ ($M=576$) element paneel in een near-field scenario ($d_{BS} = 0.16 d_F$).

• Prestaties vs. Parameters:
  • Het voorgestelde modale ontwerp bereikt de volledig verbonden optimum met ongeveer 196 parameters ($L=14$).
  • Een mismatchende DFT beamspace vereist ongeveer 12.100 parameters om 99% van de volledig verbonden prestaties te bereiken, wat een 60-voudige parameter-straf vertegenwoordigt.
  • Group-connected architecturen (bijv. $N_g=32$) vereisen nog meer parameters om de optimum te benaderen en convergeren langzamer.
• Convergentie: Het modale ontwerp convergeert in ongeveer $2 \times 10^4$ buitenste iteraties. Hoewel de DFT beamspace sneller convergeert, settleert deze op een aanzienlijk lagere objectieve waarde vanwege de mismatchende basis.
• Range Resolvability: De studie demonstreert dat de voorgestelde architectuur twee gebruikers op dezelfde azimuth kan onderscheiden die slechts gescheiden zijn in range, waarbij de transitie overeenkomt met de depth-of-focus wet ($2r_0^2/D$).
• Diepte-afhankelijkheid: Naarmate de BS dieper in het nabijveld beweegt, neemt het voordeel van beyond-diagonal koppeling boven diagonale phasing toe (van 2.5 naar 4.4 bits/s/Hz), terwijl de vereiste modale dimensie $L$ klein blijft en de geometrie volgt.

Betekenis en Claims

Het artikel claimt de "schaalbaarheid vs. optimaliteit" trade-off voor XL-BD-RIS in het nabijveld op te lossen. De primaire betekenis ligt in het bewijs dat volledig verbonden prestaties betaalbaar zijn op schaal, wanneer het ontwerp gematcht is aan de near-field geometrie.

• Bewijsbaar Optimale: In tegenstelling tot group-connected architecturen die empirische trade-offs bieden, biedt de voorgestelde modale architectuur een bewijsbaar garant om de volledig verbonden optimum te bereiken.
• Hardware Efficiëntie: Het reduceert de herconfigureerbare parameters van $O(M^2)$ (bijv. ~330.000 voor $M=576$) naar $O((N+K)^2)$ (bijv. ~196), wat de hardwarecomplexiteit en de controle-overhead drastisch vermindert.
• Geometrie-gestuurd Ontwerp: Het werk stelt vast dat het nabijveld geen hinderlijk probleem is dat gecorrigeerd moet worden, maar een bron die laag-dimensionale optimalisatie mogelijk maakt, aangezien de sferische golffronten het kanaal natuurlijk beperken tot een laag-dimensionale subspace die wordt bepaald door de locaties van de terminals.

De auteurs concluderen dat hun framework een compleet complexiteit-prestatie ladder biedt, waarbij de modale architectuur de enige optie is die zowel bewezen optimaal als computationeel schaalbaar is voor extreem grote oppervlakken.