[論文レビュー] Subspace Alignment Chains and the Degrees of Freedom of the Three-User MIMO Interference Channel

Chenwei Wang, Tiangao Gou+1 more|arXiv (Cornell University)|Sep 20, 2011

Antenna Design and Optimization被引用数 9

ひとこと要約

本稿は、任意の$M_T \times M_R$アンテナ構成を有する3ユーザーMIMO干渉チャネルの正確な自由度（DoF）を確立し、DoFが$d(M,N) = \min\left(\frac{M}{2-1/\kappa}, \frac{N}{2+1/\kappa}\right)$として与えられることを示している。ここで$M = \min(M_T,M_R)$、$N = \max(M_T,M_R)$、$\kappa = \lceil M/(N-M) \rceil$である。達成可能性は線形ビームフォーミングとスケーリング$q$による空間拡張に依存し、$qd(M,N)$を整数にする。また、部分空間整合性チェーンが基本的なDoFの制約要因であることが特定された。

ABSTRACT

We show that the 3 user M_T x M_R MIMO interference channel has d(M,N)=min(M/(2-1/k),N/(2+1/k)) degrees of freedom (DoF) normalized by time, frequency, and space dimensions, where M=min(M_T,M_R), N=max(M_T,M_R), k=ceil{M/(N-M)}. While the DoF outer bound is established for every M_T, M_R value, the achievability is established in general subject to normalization with respect to spatial-extensions. Given spatial-extensions, the achievability relies only on linear beamforming based interference alignment schemes with no need for time/frequency extensions. In the absence of spatial extensions, we show through examples how essentially the same scheme may be applied over time/frequency extensions. The central new insight to emerge from this work is the notion of subspace alignment chains as DoF bottlenecks. The DoF value d(M,N) is a piecewise linear function of M,N, with either M or N being the bottleneck within each linear segment. The corner points of these piecewise linear segments correspond to A={1/2,2/3,3/4,...} and B={1/3,3/5,5/7,...}. The set A contains all values of M/N and only those for which there is redundancy in both M and N. The set B contains all values of M/N and only those for which there is no redundancy in either M or N. Our results settle the feasibility of linear interference alignment, introduced by Cenk et al., for the 3 user M_T x M_R MIMO interference channel, completely for all values of M_T, M_R. Specifically, the linear interference alignment problem (M_T x M_R, d)^3 (as defined in previous work by Cenk et al.) is feasible if and only if d<=floor{d(M,N)}. With and only with the exception of the values M/N\in B, we show that for every M/N value there are proper systems that are not feasible. Our results show that M/N\in A are the only values for which there is no DoF benefit of joint processing among co-located antennas at the transmitters or receivers.

研究の動機と目的

• 任意の$M_T \times M_R$アンテナ構成を有する3ユーザーMIMO干渉チャネルの正確な自由度（DoF）を特定すること。
• 空間拡張下での線形干渉整合の可能性を特徴づけることにより、すべての$M_T, M_R$値におけるDoFの可解性を解明すること。
• 部分空間整合性チェーンがMIMO干渉チャネルにおけるDoFを制限する基本的要因であることを同定すること。
• 線形干渉整合における「適正システム」と「可解システム」の不一致を、$M$および$N$における冗長性の分析により解明すること。
• $M/N \in \mathcal{A} = \{1/2, 2/3, 3/4, \dots\}$のとき、共同処理が自由度に利益をもたらさない理由を確立すること。このとき、最大の冗長性が生じる。

提案手法

• 干渉漏れを制限するため、複数の対称ジェイニ構成を用いたジェイニ支援的議論を用いてDoFの外挙動を導出する。
• 部分空間整合性チェーンという概念を導入し、ユーザー間で部分空間が鎖のように重なり合う構造的制約を特定する。
• すべての$M_T, M_R$を要因$q$でスケーリングすることで空間拡張を実施し、$qd(M,N)$を整数にすることで、時間・周波数拡張を必要としない線形ビームフォーミングによる達成可能性を可能にする。
• 部分空間の重なり深さと冗長性解析に基づき、DoFの式$d(M,N) = \min\left(\frac{M}{2-1/\kappa}, \frac{N}{2+1/\kappa}\right)$を導出する。ここで$\kappa = \lceil M/(N-M) \rceil$である。
• $d(M,N)$の区分的線形セグメントを用いた端末ケースの分析を行い、$\mathcal{A}$および$\mathcal{B}$を、$M$および$N$における冗長性と非冗長性を示す臨界集合とする。
• 複数のチェーンレベルにわたりジェイニ支援的境界を適用し、不等式を合算することで、特に$|X_{a_0}| \neq |X_{c_0}|$となる非対称ケースにおいてもタイトなDoF上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の$M_T \times M_R$アンテナ構成を有する3ユーザーMIMO干渉チャネルの正確な自由度（DoF）は何か？
• RQ2 時間または周波数拡張を用いずに線形干渉整合をどのように達成できるか。空間拡張は果たす役割は何か？
• RQ3 DoFの特徴づけにおける基本的制約要因としての構造的性質（部分空間整合性チェーン）は何か？
• RQ4 なぜ一部の「適正システム」は可解でないのか。$M$および$N$における冗長性は、この不一致をどのように説明するか？
• RQ5 どの$M/N$の値において、集約アンテナにおける共同処理が有益であり、どの場合に有益でないか？

主な発見

• 3ユーザーMIMO干渉チャネルのDoFは、正確に$d(M,N) = \min\left(\frac{M}{2-1/\kappa}, \frac{N}{2+1/\kappa}\right)$として与えられる。ここで$M = \min(M_T,M_R)$、$N = \max(M_T,M_R)$、$\kappa = \lceil M/(N-M) \rceil$である。
• DoF値$d(M,N)$は$M$および$N$に関して区分的線形であり、各セグメントで$M$または$N$がボトルネックとして機能する。これは比$M/N$に依存する。
• $M/N \in \mathcal{A} = \{1/2, 2/3, 3/4, \dots\}$のとき、$M$および$N$の両方に最大の冗長性が生じる。このため、集約アンテナ間の共同処理は自由度に利益をもたらさない。
• $M/N \in \mathcal{B} = \{1/3, 3/5, 5/7, \dots\}$のとき、$M$および$N$の両方に冗長性がなく、最も制約の厳しい構成となる。
• 線形干渉整合問題$(M_T \times M_R, d)^3$は、$d \leq \lfloor d(M,N) \rfloor$であるときかつそのときに限り可解である。これは、先行研究における長年の未解決問題を解消した。
• 空間拡張要因$q$を用いることで、$qd(M,N)$のDoFが線形ビームフォーミングのみで達成可能であり、チャネル拡張や時間・周波数変動を必要としない。