Technische Samenvatting: MISO Downlink met Fluid Antenna Multiple Access

1. Probleemstelling

Fluid Antenna Multiple Access (FAMA) is een opkomend paradigma waarbij gebruikers een enkele radiofrequentie (RF)-keten-antenne dynamisch verplaatsen binnen een compacte apertuur om de poort te selecteren die het sterkste instantane signaal biedt. Hoewel FAMA micro-schaal ruimtelijke diversiteit biedt, blijft de prestatie in multi-user downlink-systemen analytisch ongekarakteriseerd wanneer deze wordt gecombineerd met lineaire precoding en ruimtelijke correlatie.

Bestaande literatuur richt zich voornamelijk op Single-Input Single-Output (SISO)-configuraties, onafhankelijke poorten, of statistieken van de sterkste poort, zonder rekening te houden met multi-user precoding of ruimtelijke correlatie. Bijgevolg zijn de gezamenlijke effecten van Maximum Ratio Transmission (MRT) en Zero-Forcing (ZF) beamforming, interferentie, poort-gewijze Signal-to-Interference Ratio (SIR)-statistieken en ruimtelijke correlatie op uitvalprestaties niet in gesloten vorm afgeleid. Dit artikel adresseert deze lacune door een unificerend analytisch kader te ontwikkelen voor de Multiple-Input Single-Output (MISO) downlink met FAMA-gebruikers, waarbij specifiek wordt geanalyseerd hoe lineaire precoding interageert met gecorreleerde poortselectie.

2. Methodologie

De auteurs stellen een unificerend analytisch kader voor voor een downlink MISO-systeem waarbij een Base Station (BS) met $M$ antennes $U$ gebruikers met één RF-chain bedient. Elke gebruiker is uitgerust met een vloeibare antenne die kan schakelen tussen $N$ poorten die zijn verdeeld over een lineaire apertuur met lengte $W\lambda$.

Systeemmodel en Aannames:

• Kanaalmodel: Het systeem opereert onder Rayleigh-vervaging met een isotroop verstrooiingsmilieu. Ruimtelijke correlatie tussen poorten wordt gemodelleerd met een Bessel-type correlatiefunctie ($J_0$), waarbij het kanaal bij poort $k$ wordt uitgedrukt als een gecorreleerde versie van een referentiepoort (Poort 1) plus een onafhankelijk innovatie-component.
• CSI-verwerving: De BS verwerft instantane Channel State Information (CSI) uitsluitend voor de referentiepoort (Poort 1) van elke gebruiker. Precoders (MRT of ZF) worden uitsluitend ontworpen op basis van deze referentie-CSI.
• Precoding-strategieën:
  • MRT: Beamformers aligneren met het referentiekanaalvector om het signaalvermogen te maximaliseren.
  • ZF: Beamformers worden ontworpen om interferentie bij de referentiepoorten te nullen.
• Prestatiemeting: De analyse richt zich op de Signal-to-Interference Ratio (SIR), waarbij wordt uitgegaan van een interferentie-gelimiteerde regime waarbij thermische ruis verwaarloosbaar is ten opzichte van multi-user interferentie. De gebruiker selecteert de poort $k$ die de instantane SIR maximaliseert.

Analytische Aanpak:

1. Statistische Karakterisering: De auteurs leiden de exacte waarschijnlijkheidsverdelingen van de per-poort SIR af voor zowel MRT- als ZF-precoding.
2. Correlatiemodeling: Een gesloten-vorm benadering voor de cross-poort SIR-correlatiecoëfficiënt wordt afgeleid, waarbij rekening wordt gehouden met de geometrische overlap van poorten en de effectieve array-dimensie.
3. Uitvalanalyse: Rigoureuze boven- en ondergrenzen voor de FAMA-uitvalkans worden vastgesteld voor willekeurige correlatieniveaus, waardoor de onbehandelbaarheid van de exacte gezamenlijke verdeling wordt vermeden.
4. Asymptotische Analyse: Het artikel onderzoekt de schalingswetten voor grote aantallen poorten ($N$), grote antenne-arrays ($M$) en extreme SIR-drempels (kleine en grote $\gamma$).

3. Belangrijkste Bijdragen

A. Exacte Per-Poort SIR-Verdelingen

Het artikel toont aan dat onder zowel MRT- als ZF-precoding de per-poort SIR een Beta-prime-verdeling volgt. De verdeling wordt gekenmerkt door parameters $(a, b) = (M_{\text{eff}}, L)$, waarbij $L = U-1$ het aantal interfererende stromen is en $M_{\text{eff}}$ de effectieve signaaldimensie:

• MRT: $M_{\text{eff}} = M$.
• ZF: $M_{\text{eff}} = M - U + 1$.
  Deze onderscheiding onthult dat ZF de effectieve array-winst vermindert vanwege de vrijheidsgraden die worden verbruikt door interferentienulling.

B. Gesloten-Vorm Eindige-Som CDF's

De auteurs zetten de incomplete Beta-functierepresentaties van de SIR Cumulative Distribution Functions (CDF's) om in gesloten-vorm eindige-som expressies. Deze formules maken een exacte, hanteerbare uitvalanalyse mogelijk zonder numerieke integratie voor gehele parameters.

C. Analytisch Cross-Poort SIR-Correlatiemodel

Dit werk biedt de eerste gesloten-vorm expressie voor de correlatie tussen SIR's over vloeibare-antenne-poorten. De afgeleide correlatiecoëfficiënt hangt gezamenlijk af van:

1. Geometrische overlapparameters ($\mu_k \mu_\ell$).
2. De effectieve BS-array-dimensie ($M_{\text{eff}}$).
   De analyse toont aan dat MRT een zwakkere cross-poort correlatie induceert dan ZF voor dezelfde geometrie, aangezien de grotere $M_{\text{eff}}$ bij MRT het mengeffect over poorten versterkt.

D. Rigoureuze Uitvalgrenzen

Strakke boven- en ondergrenzen voor de FAMA-uitvalkans worden afgeleid voor willekeurige cross-poort correlatie:

• Bovengrens: Komt overeen met de single-poort uitval (volledig gecorreleerde poorten).
• Ondergrens: Komt overeen met het onafhankelijke-poort geval (ideale selectiediversiteit).
  Deze grenzen omkaderen de exacte prestatie en worden exact in de limietgevallen van volledig gecorreleerde en onafhankelijke poorten, respectievelijk.

E. Asymptotische Schalingswetten

• Regime met Kleine Drempel: De single-poort uitvalkans neemt af als $\gamma^{M_{\text{eff}}}$. Onder FAMA-poortselectie in een zwak gecorreleerd regime, schaalt de effectieve diversiteitsorde als $M_{\text{eff}}N$.
• Regime met Grote SIR: Het staartgedrag wordt universeel gecontroleerd door het aantal interfererende gebruikers ($L$), en neemt af als $\gamma^{-L}$, ongeacht het precoding-schema.

4. Resultaten en Numerieke Validatie

Numerieke resultaten gebaseerd op Monte Carlo-simulaties valideren het analytische kader:

• Verdelingsnauwkeurigheid: De eindige-som CDF's komen exact overeen met simulatieresultaten voor zowel MRT als ZF.
• Correlatiemodel: De afgeleide correlatie-expressies vangen nauwkeurig het vervalprofiel van SIR-correlatie over poorten voor verschillende apertuurgroottes ($W$) in. MRT vertoont consequent lagere correlatie dan ZF.
• Uitvalgrenzen: De voorgestelde grenzen omkaderen de gesimuleerde uitvalkans strak. Bij grote aperturen (zwakke correlatie) nadert de prestatie de onafhankelijke-poort benchmark; bij kleine aperturen (sterke correlatie) nadert deze de single-poort limiet.
• Precoder-vergelijking:
  • MRT: Bereikt sterkere selectiewinsten en zwakkere poortcorrelatie, waardoor het preferabel is wanneer de BS over ruimtelijke vrijheidsgraden beschikt ($M \gg U$) en in matige interferentieregimes.
  • ZF: Biedt agressieve interferentiereductie, maar lijdt onder hogere cross-poort correlatie en verminderde effectieve diversiteit. Het is voordelig in dichte multi-user scenario's waar interferentiereductie kritiek is, mits de apertuur groot genoeg is om de correlatieboete te mitigeren.

5. Betekenis en Claims

Het artikel claimt de eerste analytische karakterisering te bieden van per-poort SIR-statistieken, cross-poort correlatie en uitvalgrenzen voor multi-user MISO downlink-systemen met FAMA onder lineaire precoding.

Belangrijke betekenispunten zijn:

• Unificerend Kader: Het overbrugt de kloof tussen vloeibare antenne-poortselectie en multi-user precoding, en biedt expliciete richtlijnen voor poortconfiguratie en precoder-selectie.
• Ontwerpinsichten: De resultaten bieden directe engineering-insights, zoals de trade-off tussen apertuurgrootte en selectiewinst, en de voorwaarden waaronder MRT of ZF preferabel is.
• Theoretische Benchmark: De afgeleide grenzen en verdelingen dienen als theoretische prestatiebenchmarks, waarbij signaalverwerkingseffecten worden geïsoleerd van hardware-ongewenstigheden.
• Beperkingen en Scope: De auteurs stellen expliciet dat de analyse ideale kanaalcondities veronderstelt (Rayleigh-vervaging, perfecte CSI bij de referentiepoort) en geen mechanische actuatienauwkeurigheden modelleert. De resultaten worden geïnterpreteerd als optimistische bovengrenzen voor prestaties, met toekomstig werk voorgesteld voor Rician-vervaging en scenario's met imperfecte CSI.

Kortom, het artikel stelt vast dat hoewel FAMA aanzienlijke diversiteitswinsten biedt, deze winsten fundamenteel worden beperkt door ruimtelijke correlatie en de specifieke lineaire precoding-strategie die wordt toegepast, waarbij MRT over het algemeen superieure robuustheid en selectiediversiteit biedt ten opzichte van ZF in de geanalyseerde MISO-instelling.