[論文レビュー] Division algebra codes achieve MIMO block fading channel capacity within a constant gap

Laura Luzzi, Roope Vehkalahti|arXiv (Cornell University)|Dec 24, 2014

Cooperative Communication and Network Coding参考文献 21被引用数 5

ひとこと要約

本稿は、フェージングブロック数が増加するにつれて、マルチブロック分割代数符号が、エルゴディックMIMOブロックフェージングチャネル容量に対して定数ギャップのスペクトル効率を達成することを示している。数論、特に類体理論と小判別式を有する分割代数を活用することで、正規化された最小行列式が、最大尤度およびナイーブな格子復号の両方において容量へのギャップを有界に保証する格子符号を構築している。

ABSTRACT

This work addresses the question of achieving capacity with lattice codes in multi-antenna block fading channels when the number of fading blocks tends to infinity. In contrast to the standard approach in the literature which employs random lattice ensembles, the existence results in this paper are derived from number theory. It is shown that a multiblock construction based on division algebras achieves rates within a constant gap from block fading capacity both under maximum likelihood decoding and naive lattice decoding. First the gap to capacity is shown to depend on the discriminant of the chosen division algebra; then class field theory is applied to build families of algebras with small discriminants. The key element in the construction is the choice of a sequence of division algebras whose centers are number fields with small root discriminants.

研究の動機と目的

• フェージングブロック数が無限大に近づく際、MIMOブロックフェージングチャネル容量に対して定数ギャップで到達可能な格子符号の存在を確立すること。
• ランダム集合ではなく構造化された格子符号を用いることで、MIMOシステムにおける実現可能なレートと理論的容量のギャップを解消すること。
• フェージングチャネルにおける情報理論的問題と、数論および数体幾何学の深い結果を結びつけること。
• 適切に選ばれた小判別式を有する分割代数が、高い正規化された最小行列式を持つ符号をもたらし、容量へのギャップを最小化することを証明すること。
• H.-f. Luの予想である、マルチブロック分割代数符号がMIMO容量に近づけることの確認に加え、DMT最適性のみでは不十分であることを示すこと。

提案手法

• 根判別式が小さい数体 $K$ を用いた $K$-中心分割代数からマルチブロック符号を構築する。
• 類体理論を用いて、最小判別式を有する数体およびそれに対応する分割代数の族を生成する。
• 正規化された最小行列式 $\delta(L)$ を、容量へのギャップを制限する主要な指標として用いる。ここで $\delta(L) = \det_{\text{min}}(L) / \text{Vol}(L)^{n/l}$ である。
• 格子の性質と実現可能なレートとの関係を、数体幾何学におけるヘルメート不変量および一様形式を用いて関係づける。
• 分割代数の判別式に依存して、ブロック数 $k$ に依存しない定数で容量へのギャップが有界であることを証明する。
• 最大尤度復号およびナイーブな格子復号の両方で構成が有効であることを示し、実用的妥当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 数体に基づく構造化された格子符号としての分割代数符号は、$k \to \infty$ のとき、MIMOブロックフェージングチャネル容量に対して定数ギャップで到達可能か？
• RQ2 分割代数の判別式は、正規化された最小行列式にどのように影響を与え、結果として容量へのギャップに寄与するか？
• RQ3 類体理論を用いて、根判別式が小さい数体および代数を体系的に構築することで、符号性能を最適化できるか？
• RQ4 DMT最適性は容量に近づくために十分か、それともより高い正規化された最小行列式が必須か？
• RQ5 情報理論的容量限界と数体幾何学における幾何的不変量との根本的関係は何か？

主な発見

• フェージングブロック数 $k$ が無限大に近づくにつれて、マルチブロック分割代数符号は、エルゴディックMIMOブロックフェージングチャネル容量に対して定数ギャップのレートを達成する。
• 容量へのギャップは、対応する分割代数の判別式に反比例し、より小さい判別式はより小さなギャップをもたらす。
• 類体理論を用いることで、根判別式が小さい数体の族を構築でき、これにより判別式が小さい代数の構築が可能になる。
• 正規化された最小行列式 $\delta(L)$ が容量へのギャップを決定づける主要なパrameterであることが示され、これらの構築により $\delta(L)$ がゼロから離れたまま保証できる。
• 本研究では、H.-f. Luの予想が確認され、マルチブロック分割代数符号がMIMO容量に近づけることが示されたが、正規化された最小行列式が最大化されている場合に限る。
• 本研究は、情報理論と数体幾何学の間に深い結びつきを確立し、実現可能なレートが格子理論における特定の形式の絶対的均一最小値によって支配されることを示した。