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

문제 정의

본 논문은 초거대(Extremely Large, XL) 개구부가 작동하는 방사 근접장(radiative near-field) 환경에서 초거대 비대각(Beyond-Diagonal, BD) RIS의 확장성 및 성능 문제를 다룹니다.

1. 최적화 및 하드웨어 부담: 완전 연결형(fully connected) BD-RIS 구조는 비대각(non-diagonal) 및 유니터리 산란 응답을 가능하게 하여 가장 높은 성능을 제공합니다. 그러나 $M \times M$ 산란 행렬(여기서 $M$은 소자의 수)을 최적화하는 것은 이차적인 수의 재구성 가능한 엔트리($O(M^2)$)와 삼차적인 반복당 계산 복잡도($O(M^3)$)를 수반합니다. 수백 또는 수천 개의 소자를 가진 XL 표면의 경우, 이러한 부담은 매우 치명적입니다.
2. 근접장 모델링의 붕괴: 밀리미터파 및 sub-THz 주파수 대역에서 개구부 크기가 증가함에 따라 레이leigh 거리(Rayleigh distance)가 확장되어, 기지국(BS)과 사용자 모두 근접장에 위치하게 됩니다. 이 영역에서는 파면이 평면이 아닌 구면 형태를 띱니다. DFT 빔스페이스(beamspace)나 각도 기반 파라미터화와 같이 원거리 장(far-field) 가정에 의존하는 기존 설계 도구들은 범위(range) 정보와 구면파 특유의 진폭 테이퍼링(amplitude taper)을 포착하지 못하기 때문에 성능이 크게 저하됩니다.
3. 공백(The Gap): 고정된 DFT 빔스페이스와 같은 기존의 차원 축소 기술은 근접장 기하학을 위반하는 원거리 장 가정을 다시 도입함으로써 상당한 성능 손실을 초래합니다. 근접장 기하학에 부합하면서도 완전히 연결된 최적해와 증명 가능한 동등성을 갖는 차원 축소 방법론이 부족한 실정입니다.

방법론

저자들은 최적화 차원을 물리적 패널 크기($M$)가 아닌 전파 환경에 결합하는 **기하학적 모달 아키텍처(Geometric Modal Architecture)**를 제안합니다.

1. 시스템 모델링:

   • 시스템은 자유 공간 스칼라 그린 함수(free-space scalar Green function)를 사용하여 연속 개구부로 모델링되며, 이는 구면 위상 곡률과 진폭 감쇄를 모두 포착합니다.
   • 계단형 채널(BS-RIS-사용자)은 오직 단말 위치(BS 안테나 및 사용자)에 의해 결정되는 **구면파 원자(spherical-wave atoms)**로 생성된 저차원 부분 공간에 존재함을 보여줍니다.
   • 입사 및 방사되는 전계는 직교 모달 기저(orthonormal modal basis) $\Phi$ 상으로 확장되어, 무한 차원의 산란 커널을 압축된 $L \times L$ 모달 행렬 $\Psi$로 축소합니다.

2. 기하학적 모달 기저 구축:

   • 저자들은 $[G, F^*]$인 **스택형 원자 행렬(stacked atom matrix)**로부터 기저를 구축합니다. 여기서 $G$는 BS-to-RIS 응답을, $F^*$는 RIS-to-user의 켤레 복소수 응답을 나타냅니다.
   • 이 행렬에 대한 씬 SVD(thin Singular Value Decomposition)를 통해 활성 부분 공간 차원 $\rho$(수치적 랭크)를 식별합니다.
   • 기저 $\Phi$는 지배적인 특이 벡터(singular vectors)와 유니터리성을 보장하기 위한 임의의 직교 슬랙(slack)으로 형성됩니다. 결과적인 차원은 $L = 2\rho \le 2(N+K)$이며, 여기서 $N$은 BS 안테나 수, $K$는 사용자 수입니다.

3. 이론적 동등성 (Proposition 2):

   • 유니터리 딜레이션 논증(Halmos dilation)을 사용하여, 본 논문은 손실 없는 완성을 통해 표면에 임베딩된 $L \times L$ 유니터리 모달 행렬 $\Psi$가 임의의 $M \times M$ 유니터리 표면과 증명 가능한 동등성을 가짐을 입증합니다.
   • 이 동등성은 모든 가시선(Lo-S) 기하학에 대해 성립하며, 즉 패널 크기 $M$과 무관하게 $L^2$개의 재구성 가능한 엔트리만으로 완전히 연결된 최적해를 달성할 수 있습니다.

4. 확장 가능한 최적화:

   • 저자들은 WMMSE-리만 기하학적 교대 최적화(WMMSE Riemannian alternating optimization) 알고리즘을 개발합니다.
   • 빔포밍(Beamforming): 단조 수렴을 보장하기 위해 반경 방향 전력 투영(radial power projection)을 포함한 폐쇄형 해(closed-form solution)를 통해 업데이트됩니다.
   • 모달 행렬 업데이트: 리만 경사 하강법(Riemannian gradient descent)과 Armijo 백트래킹을 사용하여 유니터리 군 $U(L)$ 상에서 최적화됩니다.
   • 복잡도: 반복당 비용은 $O(L^3)$이며, 이는 $M$에 독립적입니다. $M$에 대한 의존성은 단 한 번의 압축 단계($O(M\rho^2)$)로 제한됩니다.

주요 기여

1. 기하학적 모달 아키텍처: 재구성 가능한 차원이 패널 크기가 아니라 결합된 구면파 모드의 수(단말 위치에 의해 결정됨)에 의해 설정되는 새로운 설계 방식입니다.
2. 정확한 $M$-Free 동등성: 기저가 채널의 활성 부분 공간을 가로지른다면, $L = 2\rho$의 자유도로 완전히 연결된 최적해를 달성할 수 있다는 것을 증명했습니다. 이는 $O(M^2)$개의 엔트리 필요성을 제거합니다.
3. 확장 가능한 최적화 알고리즘: 표면 크기에 독립적인 반복당 복잡도를 가지며 단조 수렴을 달성하는 WMMSE-Riemannian 알고리즘을 구현했습니다.
4. 근접장 분석: 미스매치된 설계(DFT 빔스페이스)의 페널티와 근접장 포커싱(범위 분해능)의 이점을 정량화하는 종합적인 분석을 제공합니다.

수치 결과

본 논문은 근접장 시나리오($d_{BS} = 0.16 d_F$)에서 $24 \times 24$ ($M=576$) 소자 패널을 사용하여 이론을 검증합니다.

• 성능 대비 엔트리 수:
  • 제안된 모달 설계는 약 196개의 엔트리($L=14$)만으로 완전히 연결된 최적해에 도달합니다.
  • 미스매치된 DFT 빔스페이스는 완전히 연결된 성능의 99%에 도달하기 위해 약 12,100개의 엔트리가 필요하며, 이는 60배의 엔트리 수 페널티를 의미합니다.
  • 그룹 연결(Group-connected) 아키텍처(예: $N_g=32$)는 최적해에 접근하기 위해 더 많은 엔트리가 필요하며 수렴 속도도 더 느립니다.
• 수렴: 모달 설계는 약 $2 \times 10^4$번의 외부 반복 내에 수렴합니다. DFT 빔스페이스가 더 빠르게 수렴하기는 하지만, 기저가 일치하지 않기 때문에 훨씬 낮은 목적 함수 값에서 머뭅니다.
• 범위 분해능(Range Resolvability): 제안된 아키텍처가 동일한 방위각(azimuth) 상에서 범위(range)만 다른 두 사용자를 분해할 수 있음을 보여주며, 그 전이 지점은 초점 깊이 법칙($2r_0^2/D$)과 일치합니다.
• 깊이 의존성: BS가 근접장 내부로 깊숙이 들어갈수록, 대각 위상(diagonal phasing) 대비 비대각 결합(beyond-diagonal coupling)의 이점이 증가하며(2.5에서 4.4 bits/s/Hz), 요구되는 모달 차원 $L$은 작게 유지되면서 기하학적 구조를 추적합니다.

의의 및 주장

본 논문은 XL-BD-RIS를 위한 "확장성 대 최적성" 트레이드오프 문제를 해결한다고 주장합니다. 주요 의의는 설계가 근접장 기하학에 맞춤화될 때 완전히 연결된 성능을 저렴한 비용으로 달성할 수 있음을 증명한 데 있습니다.

• 증명 가능한 최적성: 경험적인 트레이드오프를 제공하는 그룹 연결 아키텍처와 달리, 제안된 모달 아키텍처는 완전히 연결된 최적해를 달성한다는 증명 가능한 보장을 제공합니다.
• 하드웨어 효율성: 재구성 가능한 엔트리를 $O(M^2)$(예: $M=576$일 때 약 330,000개)에서 $O((N+K)^2)$(예: 약 196개)로 줄여 하드웨어 복잡도와 제어 오버헤드를 획기적으로 감소시킵니다.
• 기하학 중심 설계: 본 연구는 근접장이 교정해야 할 방해 요소가 아니라, 구면 파면이 단말 위치에 의해 결정되는 저차원 부분 공간으로 채널을 자연스럽게 국한시킴으로써 최적화를 가능하게 하는 자원임을 확립합니다.

저자들은 자신들의 프레임워크가 완전한 복잡도-성능 사다리를 제공하며, 모달 아키텍처가 증명 가능한 최적성과 계산 가능한 확장성을 동시에 갖춘 유일한 단계라고 결론짓습니다.