[論文レビュー] Settling the feasibility of interference alignment for the MIMO interference channel: the symmetric square case

Guy Bresler, Dustin Cartwright+1 more|arXiv (Cornell University)|Apr 5, 2011

Advanced MIMO Systems Optimization参考文献 17被引用数 96

ひとこと要約

本稿は、各ノードにNアンテナ、各ユーザーがd個のデータストリームを要求する対称KユーザーMIMO干渉チャネルにおける干渉対合の正確な実現可能性条件を確立する。代数幾何学を用いて、干渉対合が可能であるのはN ≥ d(K+1)/2であるとき、かつそのときに限ることを証明し、定常チャネルを有するMIMOシステムにおける干渉管理分野における長年の未解決問題を解決する。

ABSTRACT

Determining the feasibility conditions for vector space interference alignment in the K-user MIMO interference channel with constant channel coefficients has attracted much recent attention yet remains unsolved. The main result of this paper is restricted to the symmetric square case where all transmitters and receivers have N antennas, and each user desires d transmit dimensions. We prove that alignment is possible if and only if the number of antennas satisfies N>= d(K+1)/2. We also show a necessary condition for feasibility of alignment with arbitrary system parameters. An algebraic geometry approach is central to the results.

研究の動機と目的

• 定常チャネル係数を有するKユーザーMIMO干渉チャネルにおけるベクトル空間干渉対合の正確な実現可能性条件を特定すること。
• すべての送信機と受信機がNアンテナを有し、各ユーザーがd個のデータストリームを要求する対称的条件下で干渉対合が可能かどうかという未解決問題を解消すること。
• 代数幾何学を用いて、ヒューリスティック的または数値的手法を超えて、干渉対合の実現可能性の必要十分条件を確立すること。
• 干渉対合条件の解集合の次元を特徴づけ、干渉対合問題のより深い構造的洞察を提供すること。

提案手法

• 著者らは、特に多項式系およびその解集合の研究を用いた代数幾何学的手法を採用し、干渉対合の実現可能性を分析する。
• 干渉除去制約をモデル化するため、ビームフォーミングおよびプレフィルタ行列における多項式方程式系として干渉対合条件を定義する。
• 解が非自明に存在するための条件を決定するために、ベルンシュタインの定理と次元数え上げの議論を用いた証明を行う。
• ビームフォーマーに線形制約を課すために、特定の行列構造（F_ij, G_ij）を構築し、問題を構造的行列のランクおよび核空間の解析に還元する。
• Kの偶奇に基づく2つの場合に分けて分析を行い、すべての干渉源にわたる干渉対合制約を強制する再帰的ブロック行列構築を実施する。
• 重要なステップとして、N ≥ d(K+1)/2の下で解集合が正の次元を有することを証明し、非自明なビームフォーミング解の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 定常チャネル係数を有する対称KユーザーMIMO干渉チャネルにおいて、N, K, dのどの条件下で干渉対合が実現可能か？
• RQ2 N ≥ d(K+1)/2 は、対称的正方形MIMO干渉チャネルにおける干渉対合実現可能性にとって必要かつ十分であるか？
• RQ3 一般のチャネル条件下で、干渉対合の解空間の次元は何か？
• RQ4 干渉対合の実現可能性を、ヒューリスティック的または数値的手法を越えて代数幾何学を用いて厳密に証明できるか？

主な発見

• 対称KユーザーMIMO干渉チャネルにおいて、干渉対合は、ノードごとのアンテナ数NがN ≥ d(K+1)/2を満たすとき、かつそのときに限り可能である。
• 解集合の次元に対する上界は一般に成り立ち、任意のシステムパrameter下での干渉対合実現可能性の必要条件を示唆する。
• 全正規化自由度は2K/(K+1)で抑えられ、これは無限個の並列チャネルで達成可能なK/2より厳密に小さい。
• N < d(K+1)/2のとき、干渉対合は不可能であり、システムは干渉対合制約によって制限され、空間多重性によって制限されない。
• N ≥ d(K+1)/2のとき、解集合は正の次元を有し、完全な干渉対合を達成する非自明なビームフォーミング戦略の存在が確認される。
• この結果は、d(K+1)/2を超えてNを増加させても、MIMO利得（1ユーザーあたりの多重性増加）しか得られず、追加の干渉対合利得は得られないという根本的なトレードオフを明らかにする。