[論文レビュー] On the Degrees of Freedom of Finite State Compound Wireless Networks - Settling a Conjecture by Weingarten et. al

Tiangao Gou, Syed A. Jafar+1 more|ArXiv.org|Sep 23, 2009

Cooperative Communication and Network Coding参考文献 20被引用数 22

ひとこと要約

本論文は、Weingarten らが提起した有限状態コン pound ワイヤレスネットワークにおける自由度（DoF）に関する長年の予想を解決する。MISO ブロードキャストチャネルにおける DoF の外挿境界が、実数および複素数の両設定でタイトであることを証明し、DoF の損失はチャネル不確実性そのものではなく、共同送信処理が不可能であることに起因することを示している。スカラ型 X ネットワークおよび干渉ネットワークでは、チャネル不確実性が存在しても DoF が完全に保持される。

ABSTRACT

We explore the degrees of freedom (DoF) of three classes of finite state compound wireless networks in this paper. First, we study the multiple-input single-output (MISO) finite state compound broadcast channel (BC) with arbitrary number of users and antennas at the transmitter. In prior work, Weingarten et. al. have found inner and outer bounds on the DoF with 2 users. The bounds have a different character. While the inner bound collapses to unity as the number of states increases, the outer bound does not diminish with the increasing number of states beyond a threshold value. It has been conjectured that the outer bound is loose and the inner bound represents the actual DoF. In the complex setting (all signals, noise, and channel coefficients are complex variables) we solve a few cases to find that the outer bound -and not the inner bound- of Weingarten et. al. is tight. For the real setting (all signals, noise and channel coefficients are real variables) we completely characterize the DoF, once again proving that the outer bound of Weingarten et. al. is tight. We also extend the results to arbitrary number of users. Second, we characterize the DoF of finite state scalar (single antenna nodes) compound X networks with arbitrary number of users in the real setting. Third, we characterize the DoF of finite state scalar compound interference networks with arbitrary number of users in both the real and complex setting. The key finding is that scalar interference networks and (real) X networks do not lose any DoF due to channel uncertainty at the transmitter in the finite state compound setting. The finite state compound MISO BC does lose DoF relative to the perfect CSIT scenario. However, what is lost is only the DoF benefit of joint processing at transmit antennas, without which the MISO BC reduces to an X network.

研究の動機と目的

• 有限状態コンパund MISO ブロードキャストチャネルにおける DoF 外挿境界のタイト性に関する Weingarten らの予想を解決すること。
• 送信機におけるチャネル不確実性下での有限状態スカラ型 X ネットワークおよび干渉ネットワークにおける DoF を特徴づけること。
• 完全なチャネル状態情報（CSIT）が送信機に存在しない場合、コンパund ネットワークにおける DoF が保持されるか、それとも失われるかを特定すること。
• 有限状態コンパund 条件下で MISO BC における DoF を保持するために送信機での共同処理が果たす役割を調査すること。
• スカラ型ネットワーク（X ネットワークおよび干渉ネットワーク）がチャネル不確実性に対して DoF パフォーマンスの観点でどれほど頑健であるかを明らかにすること。

提案手法

• 干渉を低次元部分空間に整合させる干渉整合技術を用い、所望の信号の独立的復調を可能にする。
• チャネル係数の積を用いて、$1$ から $n$ までおよび $1$ から $n+1$ までの累乗をとることで、ビームフォーミングベクトル $\mathbf{V}$ および干渉整合部分空間ベクトル $\mathbf{U}$ を構築する。
• スケーリング係数 $A = \frac{1}{\|\mathbf{V}\|} P^{\frac{m_n - 1 + 2\epsilon}{2(m_n + \epsilon)}}$ を用いたパワー制御方式を採用し、パワー制約を満たす。
• DoF を $\frac{n^\Gamma}{1 + n^\Gamma + (n+1)^\Gamma}$ として導出する。これは $n \to \infty$ のとき $\frac{1}{2}$ に収束する。
• MISO BC、スカラ型 X ネットワーク、任意のユーザー数および状態数を持つ干渉ネットワークにこの手法を適用する。
• 増加する $n$ における漸近的解析を用い、実数および複素数の信号モデルの下で理論的極限への収束を示す。

実験結果

リサーチクエスチョン

• RQ1 Weingarten らが予想したように、有限状態コンパund MISO BC における DoF の外挿境界はタイトか？
• RQ2 送信機に CSIT が存在しない場合、有限状態コンパund チャネルを有するスカラ型 X ネットワークおよび干渉ネットワークで DoF の損失が生じるか？
• RQ3 MISO BC における DoF が、チャネル不確実性ではなく、共同送信処理が不可能であることに起因して制限を受ける程度はどの程度か？
• RQ4 チャネル係数が送信機で未知である場合、干渉整合技術がコンパund ネットワークにおける DoF を保持できるか？
• RQ5 有限状態コンパund ネットワークにおける状態数およびユーザー数の増加に伴い、DoF パフォーマンスはどのようにスケーリングするか？

主な発見

• 有限状態コンパund MISO ブロードキャストチャネルにおける DoF の外挿境界は、実数および複素数の両設定でタイトであることが確認され、Weingarten らの予想が裏付けられた。
• 実数設定では、MISO BC の DoF が完全に特徴づけられ、外挿境界がタイトであることが証明された。
• スカラ型 X ネットワークおよび干渉ネットワークでは、有限状態コンパund 条件下でも DoF が保持され、チャネル不確実性による DoF の損失は発生しない。
• 有限状態コンパund MISO BC は、完全な CSIT がある場合と比較して DoF を失うが、これは送信機での共同処理が不可能であることに起因する。それ以外の点では X ネットワークと同様に動作する。
• 干渉ネットワークにおいて、$n \to \infty$ の極限で各ユーザーはほぼ確実に $\frac{1}{2}$ の DoF を達成し、チャネル不確実性に対して頑健であることが示された。
• スカラ型ネットワークの DoF 範囲は、有限状態コンパund 仮定下でも変化せず、このネットワークが CSIT の欠如に対して頑健であることを示している。