[论文解读] A Lattice-Theoretic Characterization of Optimal Minimum-Distance Linear Precoders

Dževdan Kapetanović, Hei Victor Cheng+2 more|arXiv (Cornell University)|Apr 9, 2012

Advanced Wireless Communication Techniques参考文献 13被引用 4

一句话总结

本文提出了一种格理论框架，用于设计在能量约束下最大化接收格点间最小距离的最优线性预编码器。证明了仅有有限多个的完美格（perfect lattices）可为最优，并表明最密集的格（如 $D_4$）并不总是最优，具体取决于信道条件，从而可通过紧致的性能边界实现有限码本预编码器搜索。

ABSTRACT

This work investigates linear precoding over non-singular linear channels with additive white Gaussian noise, with lattice-type inputs. The aim is to maximize the minimum distance of the received lattice points, where the precoder is subject to an energy constraint. It is shown that the optimal precoder only produces a finite number of different lattices, namely perfect lattices, at the receiver. The well-known densest lattice packings are instances of perfect lattices, however it is analytically shown that the densest lattices are not always the solution. This is a counter-intuitive result at first sight, since previous work in the area showed a tight connection between densest lattices and minimum distance. Since there are only finitely many different perfect lattices, they can theoretically be enumerated off-line. A new upper bound on the optimal minimum distance is derived, which significantly improves upon a previously reported bound. Based on this bound, we propose an enumeration algorithm that produces a finite codebook of optimal precoders.

研究动机与目标

• 确定在非奇异线性衰落信道与加性白高斯噪声下，能最大化接收格点间最小距离的最优线性预编码器。
• 表征最优接收格的结构，证明其必须为Ryshkov定义的完美格。
• 推导最优最小距离的更紧致上界，以实现候选预编码器的有限枚举。
• 证明最密集的格堆积（如 $D_4$）并不总是最优，从而挑战先前假设。
• 通过离线枚举最优预编码器，实现大离散星座图下的实用预编码器设计。

提出的方法

• 将复值线性信道转换为实值模型，以推广问题并提升性能。
• 将预编码问题重新表述为对格结构的优化，目标是最大化接收格的最小距离。
• 利用完美形式理论与单模变换理论，表征所有可能的最优格结构。
• 推导出一种新的、更紧致的最优最小距离上界，显著优于先前的边界。
• 提出一种枚举算法，将候选预编码器限制为生成等距完美形式的类型，结合迹约束与最小向量集。
• 应用Fincke-Pohst算法识别候选格矩阵（如 $D_4$、$A_4$）的最小向量，并评估由其构成的所有单模矩阵。

实验结果

研究问题

• RQ1 在给定信道下，何种接收格结构在能量约束下能最大化最小距离？
• RQ2 最密集的格堆积（如 $D_4$）是否总是适用于最小距离预编码？
• RQ3 最优预编码器集合是否可被有限枚举，若可，其条件为何？
• RQ4 如何推导更紧致的最优最小距离边界，以支持高效搜索算法？
• RQ5 在高信噪比下使用离散星座图时，信息速率最大化与最小距离最大化之间存在何种关系？

主要发现

• 最优预编码器始终在接收端生成完美格，且在任一维度下仅有有限多个完美格存在。
• 最密集的格堆积并非在所有情况下都适用于最小距离预编码，4维中的反例表明 $A_4$ 在某些信道矩阵下优于 $D_4$。
• 推导出一种新的最优最小距离上界，其紧致性显著优于先前边界，从而支持候选预编码器的有限枚举。
• 对于给定信道，最优格结构取决于奇异值；例如，当奇异值为 (1, 0.99, 0.94, 0.93) 时 $D_4$ 最优，而当奇异值为 (1, 0.95, 0.94, 0.93) 时 $A_4$ 最优。
• 所提出的枚举算法将候选单模矩阵限制为那些列向量为候选格矩阵最小向量的类型，从而大幅减少搜索空间。
• 提出一种次优预编码器构造方法，其性能相比先前方案具有解析证明的提升，且基于新理论边界。