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

技術的サマリー：流体アンテナが持つ独立モードの数はいくつか？等価自由度による閉形式のアウトアウ解析

問題定義
流体アンテナシステム（FAS）は、物理的なアパーチャ内の $N$ 個の相関した位置から最適なポートを動的に選択することで、コンパクトなデバイスにおける空間ダイバーシティを達成する有望な解決策を提供する。しかし、特にアウトアウ確率に関する正確な性能解析は、依然として重大な課題である。厳密な評価には、$N$ 個の相関したチャネル利得の結合累積分布関数（CDF）を計算する必要があり、これは扱いにくい $N$ 次元の多変数積分を伴う。ブロック相関モデル（BCM）やその変形版（VBCM）といった既存の閉形式近似は、ポートを独立したブロックに分割することで問題を簡素化する。解析的に便利である一方で、これらのモデルはブロック間の相関を体系的に無視しており、真のアウトアウ確率を楽観的に過小評価する結果を招く。さらに、既存の閉形式式には、以下の 3 つの重要な基準を同時に満たすものが存在しない：(i) 数値積分なしでの簡易な評価、(ii) 証明可能な保守性（真のアウトアウの上界）、(iii) 正しいダイバーシティ次数との整合性。

手法
本論文は、FAS の空間相関と帯域制限信号の古典理論、特にスレプニアン・ランドウ・ポラックの集中定理を架橋する。著者らは、正規化された線形アパーチャ長 $W$（波長単位）を持つ FAS において、空間相関行列が特定のスペクトル構造を有することを確立した。配備されたポートの総数 $N$ に関わらず、相関行列の固有値は鋭い遷移を示す：最初の $K^*$ 個の固有値は支配的なクラスターを形成し、残りの固有値は指数関数的にゼロへ減衰する。

有意な固有モードの数は以下のように導出される：
$$K^* = 2\lceil W \rceil + 1$$
この量、すなわち**等価自由度（EDoF）**は、ポート数 $N$ ではなく、アパーチャサイズ $W$ のみに依存する。

このスペクトル集中に基づき、本論文は 2 つの近似枠組みを提案する：

1. EDoF 近似：相関する $N$ ポートシステムを、$K^*$ 個の独立同分布（i.i.d.）レイリー分岐に対する選択結合としてモデル化する。これにより、単純な閉形式のアウトアウ式が得られる：$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$ の知識を一切必要とせず、FAS に対する最初の保守的な閉形式アウトアウ上限を導出した。これは正規化されたアパーチャ $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 近似は厳密なアウトアウ確率を密に追跡し、tight な保守的上限として機能する。高 SNR において、EDoF 推定値と厳密なアウトアウの比率は有限の定数（実用的なアパーチャでは通常 1.5 から 4 の間）に収束し、漸近的厳密性を確認する。
• ポート数の独立性：ポート数 $N$ を $N \approx 4K^*$ を超えて増加させても、追加のポートは既存の $K^*$ 個の空間モードを単に過剰サンプリングするに過ぎないため、ダイバーシティ利得は無視できるほど小さいことがシミュレーションで確認された。
• アパーチャのスケーリング：アウトアウ確率はアパーチャサイズ $W$ の増加とともに単調に減少する。EDoF モデルの「階段状」の挙動は、$K^*$ の離散的な性質を反映しており、$W$ を整数値をわずかに超えて増加させることで追加の空間モードが活性化される。
• FAMA パフォーマンス：マルチユーザーシナリオでは、干渉により高 SNR においてアウトアウ確率にフロアが生じる。結果は、送信電力を増加させるよりも、アパーチャサイズ（したがって $K^*$）を増加させる方が、このフロアを低下させるのに効果的であることを示している。
• 2 次元対 1 次元：同等の総アパーチャを持つ 1 次元線形 FAS に比べて、2 次元平面 FAS は著しく高いダイバーシティ次数を達成し、コンパクトな端末に対して大幅な SNR 利得を提供する。

意義
本論文は、提案された枠組みが FAS 解析ツールの重要なギャップを埋めると主張している。評価が容易で、証明可能に保守的であり、かつダイバーシティ次数において正確である閉形式式を提供することで、この研究は信頼性の高いシステム寸法設計と性能認証を可能にする。アウトアウを過小評価することでシステムの過小設計を招くリスクがあった以前のモデルとは異なり、EDoF と WIM 近似は、リンクバジェット分析およびリソース割り当てに対して、安全で定量化可能なマージンをエンジニアに提供する。アパーチャサイズによって決定され、ポート数ではなく空間ダイバーシティの根本的な限界として $K^*$ を特定することは、明確な設計指針を提供する：アパーチャの固有モードの分解能を超えてポートを追加しても逓減するリターンしか得られないのに対し、物理的なアパーチャを増加させることが信頼性を向上させるための主要な手段である。