How Many Independent Modes Does a Fluid Antenna Have? A Closed-Form Outage Analysis via Equivalent Degrees of Freedom

기술 요약: 유체 안테나는 몇 개의 독립 모드인가? 동등 자유도를 통한 폐쇄형 중단 분석

문제 제기
유체 안테나 시스템 (FAS) 은 물리적 개구면 내의 $N$개 상관된 위치 중 가장 우수한 포트를 동적으로 선택함으로써 소형 장치에서 공간 다이버시티를 달성할 수 있는 유망한 해결책을 제공합니다. 그러나 특히 중단 확률 (outage probability) 에 대한 정확한 성능 분석은 여전히 중요한 과제로 남아 있습니다. 정확한 평가는 $N$개 상관 채널 이득의 결합 누적 분포 함수 (CDF) 를 계산해야 하며, 이는 처리 불가능한 $N$차원 다변량 적분을 수반합니다. 블록 상관 모델 (BCM) 과 그 변수 확장 (VBCM) 과 같은 기존 폐쇄형 근사들은 포트를 독립적인 블록으로 분할함으로써 문제를 단순화합니다. 분석적으로 편리하지만, 이러한 모델들은 블록 간 상관관계를 체계적으로 배제하여 실제 중단 확률을 낙관적으로 과소평가하게 됩니다. 더 나아가, 기존에 존재하는 폐쇄형 표현식 중 다음 세 가지 중요한 기준을 동시에 만족하는 것은 없습니다: (i) 수치적 적분 없이도 간단한 평가, (ii) 증명 가능한 보수성 (실제 중단에 대한 상한), 그리고 (iii) 올바른 다이버시티 차수와 일치함.

방법론
본 논문은 FAS 공간 상관관계를 대역 제한 신호의 고전적 이론, 특히 슬레피안 - 랜드 - 폴락 (Slepian-Landau-Pollak) 집중 정리와 연결합니다. 저자들은 정규화된 선형 개구면 길이 $W$ (파장 단위) 를 가진 FAS 의 경우, 공간 상관 행렬이 특정 스펙트럼 구조를 가짐을 입증합니다. 배치된 포트의 총수 $N$과 무관하게 상관 행렬의 고유값은 날카로운 전이를 보입니다: 처음 $K^*$개의 고유값은 지배적인 군집을 형성하는 반면, 나머지 고유값은 지수적으로 0 으로 감소합니다.

중요한 고유 모드의 수는 다음과 같이 유도됩니다:
$$K^* = 2\lceil W \rceil + 1$$
이 양은 **동등 자유도 (Equivalent Degrees of Freedom, EDoF)**라고 명명되며, 포트 수 $N$이 아닌 개구면 크기 $W$에만 의존합니다.

이러한 스펙트럼 집중을 바탕으로, 논문은 두 가지 근사 프레임워크를 제안합니다:

1. EDoF 근사: 상관된 $N$포트 시스템은 $K^*$개의 독립적이고 동일한 분포 (i.i.d.) 를 가진 레이리 (Rayleigh) 분지 (branches) 에 대한 선택 결합으로 모델링됩니다. 이는 간단한 폐쇄형 중단 표현식을 산출합니다: $P_{out}^{EDoF} = (1 - e^{-x})^{K^*}$, 여기서 $x$는 정규화된 중단 임계값입니다.
2. 정교화된 가중 독립 모드 (WIM): 중간 신호대잡음비 (SNR) 에서 정확도를 향상시키기 위해, 이 변형은 지배적인 고유값들의 구체적인 크기를 통합합니다. 이는 정규화된 고유값에서 유도된 불균등 가중치 $\{\beta_k\}$를 가진 $K^*$개의 독립 분지에 대한 선택 결합으로 시스템을 모델링하며, 곱셈 형태 표현식 $P_{out}^{Ref} = \prod_{k=1}^{K^*} (1 - e^{-x/\beta_k})$를 결과로 냅니다.

이론적 증명들은 카루넨 - 로브 (KL) 전개와 앤더슨 부등식을 활용하여 이러한 근사들이 실제 중단 확률을 결코 과소평가하지 않으며 정확한 다이버시티 차수 $K^*$를 달성함을 보여줍니다.

주요 기여

• EDoF 근사: 고유값 분해, 수치적 적분, 또는 포트 수 $N$에 대한 지식이 필요 없는 최초의 보수적 폐쇄형 중단 상한 도출. 이는 정규화된 개구면 $W$에만 의존합니다.
• 정교화된 WIM: 고유값 분포를 고려한 곱셈 형태 정교화 개발로, 폐쇄형 구조와 정확한 다이버시티 차수를 유지하면서도 중간 SNR 에서 향상된 정확도를 제공합니다.
• 다이버시티 차수와 점근적 엄밀성: 두 근사 모두 정확한 다이버시티 차수 $K^* = 2\lceil W \rceil + 1$을 달성함을 증명. EDoF 공식은 높은 SNR 에서 점근적으로 정확하며, 실제 중단에 대해 유계된 곱셈 간격을 가짐이 증명됨.
• 평균 채널 용량: 순서 통계를 사용하여 EDoF 모델 하의 평균 채널 용량에 대한 폐쇄형 급수 표현식 도출. 몬테카를로 시뮬레이션 없이 빠른 시스템 수준 평가를 가능하게 함.
• 다중 사용자 확장 (FAMA): 유체 안테나 다중 접속 (FAMA) 시스템으로 프레임워크 확장. 간섭 제한 중단 바닥에 대한 폐쇄형 표현식 제공. 이는 사용자 수, 개구면 크기, 다이버시티 차수가 어떻게 중단 바닥을 공동으로 결정하는지 밝힘.
• 2 차원 평면 FAS: EDoF 개념을 2 차원 평면 개구면으로 일반화. 다이버시티 차수가 개구면 차원에 곱셈적으로 스케일링됨 ($K^*_{2D} = K^*_x \cdot K^*_y$). 이는 modest 한 2 차원 개구면이 높은 다이버시티 차수를 달성할 수 있음을 보여줌.
• 비교 분석: 근사들의 순서를 확립하는 체계적 비교: $P_{iid} \le P_{BCM} \le P_{exact} \le P_{EDoF} \le P_{Ref}$. 이는 BCM/VBCM 모델이 중단 과소평가로 낙관적임을 확인하며, 제안된 EDoF/WIM 모델은 중단 과대평가로 보수적임을 입증함.

결과
몬테카를로 시뮬레이션을 통한 수치적 결과는 분석적 발견을 검증합니다:

• 정확도: EDoF 근사는 실제 중단 확률을 밀접하게 추적하며, 엄격한 보수적 상한으로 작용합니다. 높은 SNR 에서 EDoF 추정치와 실제 중단 사이의 비율은 유한한 상수 (일반적으로 실용적 개구면의 경우 1.5 에서 4 사이) 로 수렴하여 점근적 엄밀성을 확인합니다.
• 포트 수 독립성: 시뮬레이션은 $N \approx 4K^*$를 초과하여 포트 수 $N$을 증가시키는 것은 기존 $K^*$개 공간 모드를 단순히 과샘플링할 뿐이므로 미미한 다이버시티 이득을 가져온다는 것을 확인합니다.
• 개구면 스케일링: 중단 확률은 개구면 크기 $W$에 따라 단조 감소합니다. EDoF 모델의 "계단" 거동은 $K^*$의 이산적 성질을 반영하며, 정수 값을 약간 초과하여 $W$를 증가시키면 추가적인 공간 모드가 활성화됨을 보여줍니다.
• FAMA 성능: 다중 사용자 시나리오에서 중단 확률은 간섭으로 인해 높은 SNR 에서 바닥을 보입니다. 결과는 전송 전력을 증가시키는 것보다 개구면 크기 (따라서 $K^*$) 를 증가시키는 것이 이 바닥을 낮추는 데 더 효과적임을 보여줍니다.
• 2 차원 대 1 차원: 동등한 총 개구면을 가진 1 차원 선형 FAS 에 비해 2 차원 평면 FAS 는 훨씬 더 높은 다이버시티 차수를 달성하여 소형 단말기에 상당한 SNR 이득을 제공합니다.

의의
본 논문은 제안된 프레임워크가 FAS 분석 도구 세트의 중요한 공백을 해소한다고 주장합니다. 평가가 용이하고, 증명 가능하게 보수적이며, 다이버시티 차수에서 정확한 폐쇄형 표현식을 제공함으로써, 이 연구는 신뢰할 수 있는 시스템 차원 설정 및 성능 인증을 가능하게 합니다. 중단 과소평가로 인해 시스템을 과소 설계할 위험이 있는 이전 모델들과 달리, EDoF 및 WIM 근사는 엔지니어들에게 링크 예산 분석 및 자원 할당을 위한 안전하고 정량화 가능한 마진을 제공합니다. 포트 수가 아닌 개구면 크기에 의해 결정되는 공간 다이버시티의 근본적 한계로서 $K^*$를 규명함으로써, 개구면의 고유 모드 해상도 이상으로 포트를 추가하는 것은 체감 수익이 감소하는 반면, 물리적 개구면을 증가시키는 것이 신뢰성 향상을 위한 주요 레버라는 명확한 설계 지침을 제시합니다.