[论文解读] 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}$。
• 利用Hermite不变量和数的几何学中的齐次形式，将格的性质与可实现速率联系起来。
• 证明与容量的差距由一个不依赖于块数 $k$ 的常数有界，其依据是划分代数的判别式。
• 证明该构造在最大似然解码和朴素格解码下均有效，确保了实际可行性。

实验结果

研究问题

• RQ1 基于划分代数的结构化格码是否能在 $k \to \infty$ 时以恒定差距逼近MIMO块衰落信道容量？
• RQ2 划分代数的判别式如何影响归一化最小行列式，从而影响与容量的差距？
• RQ3 类域论能否系统性地用于构造具有小根判别式的数域和代数，以优化码的性能？
• RQ4 DMT最优性是否足以逼近容量，还是需要更高的归一化最小行列式？
• RQ5 信息论容量极限与数的几何学中几何不变量之间存在何种根本联系？

主要发现

• 当衰落块数 $k$ 趋于无穷时，多块划分代数码在遍历MIMO块衰落信道容量上实现了与容量的恒定差距。
• 与容量的差距与底层划分代数的判别式成反比，判别式越小，差距越小。
• 通过类域论，作者构造了具有小根判别式的数域族，从而实现了具有小判别式的代数构造。
• 归一化最小行列式 $\delta(L)$ 被证明是决定与容量差距的关键参数，且可通过这些构造使其远离零。
• 研究结果证实了H.-f. Lu的猜想：多块划分代数码可以逼近MIMO容量，但仅当归一化最小行列式被最大化时才成立。
• 该研究在信息论与数的几何学之间建立了深刻联系，表明可实现速率由格理论中某些形式的绝对齐次最小值所决定。