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

問題提起

本論文は、放射近接場（near-field）で動作する極大（Extremely Large: XL）開口における、極大非対角（Beyond-Diagonal: BD）RISのスケイラビリティと性能の課題に対処している。

1. 最適化とハードウェアの負担: 完全接続型（fully connected）のBD-RISアーキテクチャは、非対角かつユニタリな散乱応答を可能にすることで最高の性能を提供する。しかし、$M \times M$ の散乱行列（$M$ は素子数）を最適化するには、二次的な数の再構成可能エントリ（$O(M^2)$）と、反復あたりの三次的な計算量（$O(M^3)$）を要する。数百または数千の素子を持つXL表面において、この負担は極めて大きい。
2. 近接場モデリングの破綻: ミリ波およびサブTHz周波数において開口サイズが増大するにつれ、レイリー距離が延び、基地局（BS）とユーザーの両方が近接場に位置することになる。この領域では、波面は平面ではなく球面となる。DFTビームスペースや角度のみのパラメータ化といった、遠方場（far-field）の仮定に基づく従来の設計ツールは、範囲情報や球面波に固有の振幅テーパーを捉えられないため、大幅に劣化する。
3. ギャップ: DFTビームスペースのような固定されたDFTビームスペースなどの既存の次元削減手法は、近接場の幾何学性を損なう遠方場の仮定を再導入しており、重大な性能低下を招く。近接場の幾何学に適合し、かつ完全接続型の最適解と証明可能な等価性を持つ次元削減手法が欠如している。

手法

著者らは、最適化の次元を物理的なパネルサイズ（$M$）から切り離し、代わりに伝搬環境に紐付ける**幾何学的モード・アーキテクチャ（Geometric Modal Architecture）**を提案している。

1. システムモデリング:

   • システムは、球面位相の曲率と振幅減衰の両方を捉える自由空間スカラーグリーン関数を用いて、連続的な開口としてモデル化される。
   • カスケードチャネル（BS-RIS-User）は、端末の位置（BSアンテナおよびユーザー）のみによって決定される**球面波原子（spherical-wave atoms）**によって張られる低次元部分空間内に存在することが示されている。
   • 入射場および放射場は、直交モード基底 $\Phi$ 上に展開され、無限次元の散乱カーネルをコンパクトな $L \times L$ モード行列 $\Psi$ へと削減する。

2. 幾何学的モード基底の構築:

   • 著者らは、BSからRISへの応答を表す $G$ と、共役なRISからユーザーへの応答を表す $F^*$ からなるスタック原子行列 $[G, F^*]$ から基底を構築する。
   • この行列のシン・特異値分解（Thin SVD）により、有効部分空間の次元 $\rho$（数値ランク）を特定する。
   • 基底 $\Phi$ は、支配的な特異ベクトルと、ユニタリ性を確保するための任意の直交スラック（slack）によって形成される。結果として得られる次元は $L = 2\rho \le 2(N+K)$ であり、ここで $N$ はBSアンテナ数、$K$ はユーザー数である。

3. 理論的等価性（命題2）:

   • ユニタリ拡張引数（Unitary dilation argument）（Halmos dilation）を用いることで、本論文は、$L \times L$ のユニタリモード行列 $\Psi$（損失のない補完を通じて表面に埋め込まれるもの）が、$M \times M$ の制約なしのユニタリ表面と証明可能な等価性を持つことを証明している。
   • この等価性は、あらゆる視線内（LoS）ジオメトリにおいて成立する。つまり、完全接続型の最適解は、パネルサイズ $M$ に依存することなく、$L^2$ 個の再構成可能エントリのみで達成可能である。

4. スケーラブルな最適化:

   • 著者らは、WMMSE（Weighted-MMSE）リーマン・交互最適化アルゴリズムを開発した。
   • ビームフォーミング: 単調収束を保証するために、径方向のパワー投影を用いた閉形式解によって更新される。
   • モード行列の更新: アルモ・バックトラッキングを用いたリーマン勾配降下法を用いて、ユニタリ群 $U(L)$ 上で最適化される。
   • 計算量: 1反復あたりのコストは $O(L^3)$ であり、$M$ に依存しない。$M$ への依存性は、一度限りの圧縮ステップ（$O(M\rho^2)$）に限定される。

主な貢献

1. 幾何学的モード・アーキテクチャ: 再構成可能な次元が、パネルサイズではなく、結合された球面波モードの数（端末位置によって決定される）によって設定される新しい設計。
2. 正確な $M$ 非依存の等価性: 基底がチャネルの有効部分空間を張る限り、完全接続型の最適解が得られるという証明。これにより、$O(M^2)$ 個のエントリを排除できる。
3. スケーラブルな最適化アルゴリズム: 近接場において単調収束を実現する、反復あたりの計算量が表面サイズに依存しないWMMSE-リーマンアルゴリズム。
4. 近接場分析: ミスマッチ設計（DFTビームスペース）のペナルティと、近接場フォーカシング（範囲分解能）の利点を定量化する包括的な分析。

数値結果

本論文は、近接場シナリオ（$d_{BS} = 0.16 d_F$）における $24 \times 24$ （$M=576$）素子パネルを用いて理論を検証している。

• エントリ数に対する性能:
  • 提案されたモード設計は、約196個のエントリ（$L=14$）で、完全接続型の最適値に到達する。
  • ミスマッチしたDFTビームスペースは、完全接続型の性能の99%に到達するために約12,100個のエントリを必要とし、これはエントリ数において60倍のペナルティを意味する。
  • グループ接続型アーキテクチャ（例：$N_g=32$）は、最適値に近づくためにより多くのエントリを必要とし、収束も遅い。
• 収束性: モード設計は約 $2 \times 10^4$ 回の外側反復で収束する。DFTビームスペースの方が早く収束するが、基底がミスマッチしているため、著しく低い目的関数値に落ち着く。
• 範囲分解能: 提案されたアーキテクチャは、方位角が同じで範囲（range）のみが異なる2人のユーザーを識別できることを示しており、その遷移は焦点深度の法則（$2r_0^2/D$）と一致する。
• 深度依存性: BSが近接場深くへ移動するにつれ、対角フェージングに対する非対角結合の優位性が増大し（2.5 から 4.4 bits/s/Hz）、必要なモード次元 $L$ は小さく保たれ、幾何学に従って追従する。

意義と主張

本論文は、XL-BD-RISの「スケーラビリティ vs 最適性」のトレードオフを解決すると主張している。その主な意義は、設計が近接場の幾何学に適合している場合、完全接続型の性能が大規模でも実現可能であることを証明した点にある。

• 証明された最適性: 実証的なトレードオフを提供するグループ接続型アーキテクチャとは異なり、提案されたモードアーキテクチャは、完全接続型の最適解を得られるという証明可能な保証を提供する。
• ハードウェア効率: 再構成可能なエントリ数を、$O(M^2)$（例：$M=576$ のとき約330,000）から $O((N+K)^2)$（例：約196）へと削減し、ハードウェアの複雑さと制御オーバーヘッドを劇的に減少させる。
• 幾何学駆動型設計: 本研究は、近接場を修正すべき厄介なものとしてではなく、球面波が端末の位置によって決定される低次元部分空間にチャネルを自然に閉じ込めるため、低ランク最適化を可能にするリソースとして確立している。

著者らは、本フレームワークが完全な「複雑性と性能の梯子（ladder）」を提供しており、モードアーキテクチャこそが、証明可能な最適性と計算のスケーラビリティの両方を備えた唯一の選択肢であると結論付けている。