[論文レビュー] On Feasibility of Interference Alignment in MIMO Interference Networks

Cenk M. Yetiş, Tiangao Gou+2 more|ArXiv.org|Nov 23, 2009

Advanced MIMO Systems Optimization参考文献 12被引用数 5

ひとこと要約

本稿は、信号空間ビームフォーミングを用いたMIMO干渉ネットワークにおける干渉整合の実現可能性を調査し、問題を多変数多項式系の解法として定式化する。実現可能性は、方程式と変数のバランスに基づく「適切な系（proper system）」であるかどうかに依存することを示し、代数幾何学的手法（ベイズンの定理など）を用いて、情報理論的外挙限界を多ビームケースに組み込むことで、より強い保証が得られることを明らかにする。

ABSTRACT

We explore the feasibility of interference alignment in signal vector space -- based only on beamforming -- for K-user MIMO interference channels. Our main contribution is to relate the feasibility issue to the problem of determining the solvability of a multivariate polynomial system, considered extensively in algebraic geometry. It is well known, e.g. from Bezout's theorem, that generic polynomial systems are solvable if and only if the number of equations does not exceed the number of variables. Following this intuition, we classify signal space interference alignment problems as either proper or improper based on the number of equations and variables. Rigorous connections between feasible and proper systems are made through Bernshtein's theorem for the case where each transmitter uses only one beamforming vector. The multi-beam case introduces dependencies among the coefficients of a polynomial system so that the system is no longer generic in the sense required by both theorems. In this case, we show that the connection between feasible and proper systems can be further strengthened (since the equivalency between feasible and proper systems does not always hold) by including standard information theoretic outer bounds in the feasibility analysis.

研究の動機と目的

• KユーザーMIMO干渉チャネルにおいて、ビームフォーミングのみを用いた干渉整合が実現可能となる条件を特定すること。
• 干渉整合の実現可能性を代数幾何学における多変数多項式系の可解性と関連付けること。
• 方程式と変数の数のバランスに基づき、干渉整合問題を「適切な系」と「不適切な系」とに分類すること。
• 多ビームケースにおいて情報理論的外挙限界を組み込むことで、実現可能系と適切な系の関係を強化すること。
• 幾何学的・代数的ツールを用いて、MIMO干渉ネットワークにおける自由度を厳密に予測する数学的枠組みを提供すること。

提案手法

• 各受信機における干渉のゼロ・フォーリング制約から導かれる多変数多項式方程式系として、干渉整合問題を定式化する。
• 一般解の存在可能性を分析するため、ベズォウの定理を適用し、実現可能性が方程式数が変数数を超えない場合に限って可能であることを示す。
• 部分集合条件を用いて「適切な系」という概念を導入：任意の方程式の部分集合に対して、関与する変数の数が方程式数以上であること。
• 単ビームケースにおいて、係数が一般的である場合に、ベイズンの定理を用いて実現可能性と適切性を厳密に結びつける。
• 多ビームケースでは係数の依存関係が一般性を破るため、情報理論的外挙限界による追加制約が必要となる。
• 可逆変換による冗長な基底表現の削除により設計変数の数を削減し、最小変数数を導出：$ N_v = \sum_{k=1}^{K} d^{[k]}(M^{[k]} + N^{[k]} - 2d^{[k]}) $。

実験結果

リサーチクエスチョン

• RQ1 KユーザーMIMO干渉チャネルにおいて、線形ビームフォーミングのみを用いた干渉整合が実現可能となる条件は何か？
• RQ2 干渉整合問題の可解性は、背後にある多変数多項式系の構造とどのように関係するか？
• RQ3 方程式数と変数数の組み合わせ的条件によって、干渉整合の実現可能性を特定できるか？
• RQ4 多ビームケースにおける係数の依存関係は、ベズォウの定理やベイズンの定理のような一般解の存在定理の有効性にどのように影響するか？
• RQ5 情報理論的外挙限界を組み込むことで、適切／不適切系分類を超えて、実現可能な干渉整合系の特徴づけをどの程度改善できるか？

主な発見

• KユーザーMIMO干渉チャネルは、すべての整合方程式の部分集合に対して、関与する変数数が方程式数以上である「適切な系」である場合に限り、干渉整合が実現可能である。
• 単ビームケースでは、ベイズンの定理により、実現可能性と適切性が同値であり、実現可能性分析に厳密な代数的基盤を提供する。
• 多ビームケースでは係数の依存関係が一般性を破るため、実現可能性と適切性の同値性は常に成り立たず、追加の制約が必要となる。
• 対称MIMO干渉チャネル（$ (M \times N, d)^K $構成）は、$ M + N - (K+1)d \geq 0 $ である場合に限り適切な系である。これは簡単な実現可能性基準を提供する。
• ビームフォーミングおよび受信フィルタリングのための設計変数総数は $ N_v = \sum_{k=1}^{K} d^{[k]}(M^{[k]} + N^{[k]} - 2d^{[k]}) $ であり、これはシステムの潜在的可解性を決定づける。
• 情報理論的外挙限界の組み込みにより、多ビーム設定における実現可能系と適切な系の関係が強化され、実現可能性予測の精度が向上する。