[論文レビュー] Forming Pseudo-MIMO by Embedding Infinite Rational Dimensions Along a Single Real Line: Removing Barriers in Achieving the DOFs of Single Antenna Systems

Seyed Abolfazl Motahari, Shahab Oveis Gharan+2 more|arXiv (Cornell University)|Aug 17, 2009

Advanced MIMO Systems Optimization被引用数 23

ひとこと要約

本稿は、1本の実数直線上に無限個の有理独立な無理数次元を埋め込むことで、擬似MIMOシステムを構築し、1アンテナKユーザーのガウス干渉チャネルが、ほぼ確実に総自由度（DOF）K²/2に達することを示している。この手法により、時間変化のない静的チャネルでも同時に干渉対合が達成可能であり、ディオファントス近似の道具を用いることで、時間・周波数選択性がなくても完全なDOFゲインが達成可能であることが証明された。

ABSTRACT

The K-user single-antenna Gaussian Interference Channel (GIC) is considered, where the channel coefficients are NOT necessarily time-variant or frequency selective. It is proved that the total Degrees-Of-Freedom (DOF) of this channel is K 2 almost surly, i.e. each user enjoys half of its maximum DOF. Indeed, we prove that the static time-invariant interference channels are rich enough which allow simultaneous interference alignment at all receivers. To derive this result, we show that single-antenna interference channels can be treated as pseudo multiple-antenna systems with infinitely-many antennas, as many as rationally-independent irrational numbers. Such machinery enables us to prove that the real or complex M ×M Multiple Input Multiple Output (MIMO) GIC achieves its total DOF, i.e., MK 2, M ≥ 1. The pseudo multiple-antenna systems are developed based on a recent result in the field of Diophantie approximation which states that the convergence part of the Khintchine-Groshev theorem holds for points on non-degenerate manifolds.

研究の動機と目的

• 時間変化のない静的1アンテナ干渉チャネルが完全なDOFを達成できないという長年の障壁を乗り越えること。
• 周波数選択性のない静的非周波数選択性チャネルにおいても干渉対合が可能であることを確立すること。
• 実数直線上に無限個の有理独立な無理数次元を埋め込むことで、1アンテナシステムが無限の自由度を持つ有効なMIMOシステムに変換されることを示すこと。
• Kユーザーの1アンテナガウス干渉チャネルの総DOFが、ほぼ確実にK²/2に達することを証明すること。これは理論的上限に一致する。

提案手法

• 著者らは、非退化多様体上でキンチン＝グロシェフの定理の収束部分が成り立つという、最近のディオファントス近似分野の結果を活用している。
• 1本の実数直線上に無限個の有理独立な無理数次元を埋め込み、無限のアンテナを持つ仮想MIMOシステムを模擬する。
• この構成により、静的チャネル条件下でもすべての受信機で同時に干渉対合が達成可能な擬似MIMOシステムが構築可能である。
• この手法は、無理数の稠密性および分布の性質に依存しており、時間的・周波数的選択性を必要としない。
• 測度論的議論を用いて、チャネル係数の上でのほぼ確実性を示すことで、DOFの結果が成立することを証明している。
• このフレームワークは、実または複素数M×M MIMO干渉チャネルへと拡張され、理論的DOFのMK²/2を達成することが示された。

実験結果

リサーチクエスチョン

• RQ1 時間的・周波数的選択性が欠如する状況下でも、1アンテナ干渉チャネルが完全なDOFを達成できるか？
• RQ2 時間変化のない静的1アンテナガウス干渉チャネルで、同時に干渉対合を達成することは可能か？
• RQ3 実数直線上に無限個の有理独立な無理数次元を埋め込むことで、MIMOシステムを模倣できるか？
• RQ4 非退化多様体上でのキンチン＝グロシェフの定理の収束部分は、干渉チャネルにおけるDOFゲインを可能にするか？
• RQ5 Kユーザーの1アンテナGICの総DOFは、静的条件下でほぼ確実にK²/2に達するか？

主な発見

• Kユーザーの1アンテナガウス干渉チャネルの総自由度（DOF）は、ほぼ確実にK²/2に達し、理論的上限に一致する。
• 時間変化のない静的干渉チャネルでも、すべての受信機で同時に干渉対合が達成可能であり、従来の仮定とは対照的である。
• 1本の実数直線上に無限個の有理独立な無理数次元を埋め込むことで、無限の自由度を持つ擬似MIMOシステムが構築可能である。
• この構成は、非退化多様体上でのキンチン＝グロシェフの定理の収束部分に依存しており、適切な無理数次元の存在を保証する。
• 結果はM×M MIMO干渉チャネルへも拡張可能であり、理論的DOFのMK²/2を達成することが示された。
• 証明により、時間的・周波数的選択性がなくてもDOFゲインが達成可能であることが示され、干渉チャネル理論における長年の障壁が解消された。