[论文解读] A Simple Proof for the Existence of "Good" Pairs of Nested Lattices

Or Ordentlich, Uri Erez|arXiv (Cornell University)|Sep 23, 2012

Wireless Communication Security Techniques被引用 14

一句话总结

本论文提出了一种简化的概率性证明，证明了存在能实现加性白高斯噪声（AWGN）信道容量以及高斯信源最优率失真权衡的‘良好’嵌套格对。通过基于提升子码的构造A方法构建的简单集合，该证明仅依赖于基本概率与几何知识，并表明可实现速率仅取决于噪声功率，而非其分布——使其对非高斯遍历噪声具有鲁棒性。

ABSTRACT

This paper provides a simplified proof for the existence of nested lattice codebooks allowing to achieve the capacity of the additive white Gaussian noise channel, as well as the optimal rate-distortion trade-off for a Gaussian source. The proof is self-contained and relies only on basic probabilistic and geometrical arguments. An ensemble of nested lattices that is different, and more elementary, than the one used in previous proofs is introduced. This ensemble is based on lifting different subcodes of a linear code to the Euclidean space using Construction A. In addition to being simpler, our analysis is less sensitive to the assumption that the additive noise is Gaussian. In particular, for additive ergodic noise channels it is shown that the achievable rates of the nested lattice coding scheme depend on the noise distribution only via its power. Similarly, the nested lattice source coding scheme attains the same rate-distortion trade-off for all ergodic sources with the same second moment.

研究动机与目标

• 为存在能实现AWGN信道容量的嵌套格对，提供一个自包含且基础的证明。
• 在高分辨率假设下，建立同时适用于信道编码与源编码的格存在的证明。
• 提出一种基于通过构造A提升子码的新嵌套格集合，区别于以往的构造方法。
• 表明可实现速率仅取决于噪声功率，而非其分布，将结果扩展至遍历噪声信道。
• 证明对于具有相同二阶矩的所有遍历信源，均能实现相同的率失真权衡。

提出的方法

• 通过在Z_p上对线性码的子码进行提升，并利用构造A，引入一种新的嵌套格集合。
• 在模-Λ方案中使用陪集最近邻译码，译码器识别模γZ^n下的正确陪集，而非精确的格点。
• 采用有界距离陪集译码器以界定错误概率，译码半径为r² = n(1+δ)σ²_Z。
• 利用马尔可夫不等式界定条件错误概率超过δ的概率，基于球体内格点的期望数量。
• 推导出一个关键不等式，涉及项Γ(p, γ²/σ²_Z) = log(1 + √(γ²/(4p²σ²_Z)))，该式捕捉了有限域大小与整形的影响。
• 证明当R < ½ log(γ²/(2πe(1+δ)σ²_Z)) − Γ(p, γ²/σ²_Z)时，随着n增大，错误概率趋于零。

实验结果

研究问题

• RQ1 能否为实现AWGN容量的嵌套格对的存在性，构建一个更简单、基于概率的证明？
• RQ2 嵌套格码的性能是否依赖于噪声分布（而不仅其功率），特别是在非高斯遍历噪声下？
• RQ3 基于通过构造A提升子码的新格集合，能否实现与先前构造相同的性能保证？
• RQ4 是否可以将译码要求从精确格点恢复解耦，转而专注于陪集识别？
• RQ5 对于具有相同二阶矩的所有遍历信源，是否都能实现相同的率失真权衡？

主要发现

• 所提出的通过构造A提升子码构建的嵌套格集合，在n足够大时，能以趋于零的错误概率实现AWGN信道容量。
• 可实现速率仅取决于噪声功率，而非其分布——结果扩展至遍历噪声信道，性能仅由噪声方差决定。
• 在源编码中，相同的嵌套格方案能对任意具有相同二阶矩的遍历信源实现最优率失真函数。
• 通过基于球体内格点期望数量与马尔可夫不等式的概率论证，界定了陪集最近邻译码的错误概率。
• 关键速率界为R < ½ log(γ²/(2πe(1+δ)σ²_Z)) − log(1 + √(γ²/(4p²σ²_Z)))，确保当n → ∞时错误概率趋于零。
• 该证明自包含，仅依赖于基本的概率与几何论证，避免了复代数数论或闵可夫斯基定理的复杂工具。