[论文解读] Decoding q-ary lattices in the Lee metric

Antonio Campello, Grasiele C. Jorge+1 more|arXiv (Cornell University)|May 27, 2011

Coding theory and cryptography参考文献 13被引用 4

一句话总结

本文提出了一种基于构造A的q-ary格的Lee度量球形译码算法，将格译码与相关q-ary码译码联系起来。对于素数q，该方法将球形译码适配至Lee度量，通过几何与仿真分析表明，在高维空间中Lee球的平均体积小于欧几里得球，暗示其在效率上可能优于经典球形译码。

ABSTRACT

q-ary lattices can be obtained from q-ary codes using the so-called Construction A. We investigate these lattices in the Lee metric and show how their decoding process can be related to the associated codes. For prime q we derive a Lee sphere decoding algorithm for q-ary lattices, present a brief discussion on its complexity and some comparisons with the classic sphere decoding.

研究动机与目标

• 建立q-ary码与其相关q-ary格在Lee度量下的译码关联。
• 为Lee度量下的q-ary格开发一种定制化的球形译码算法，尤其针对素数q。
• 分析所提出的Lee球形译码算法的期望复杂度。
• 比较Lee与欧几里得球形译码在高维空间中的性能与球体积特性。
• 通过使用拉普拉斯噪声的低维仿真评估该算法的行为。

提出的方法

• 通过基于l1范数定义译码球，从而将球形译码原理适配至Lee度量，该l1范数在商空间R^n / qZ^n中诱导出Lee距离。
• 使用q-ary格Λ_q(C)的生成矩阵M的系统形式，该矩阵由具有[I_k | B^t]^t形式的q-ary码C的生成矩阵导出。
• 运用几何论证，通过超球坐标与单位球面面积分，比较以Babai估计为中心的Lee球的平均体积与相同半径的欧几里得球体积。
• 采用积分I(n,j)计算Lee球的平均体积，通过伽马函数及伽马函数项的比值推导其渐近行为。
• 通过接收向量r = Mx + e的仿真进行验证，其中e的分量为独立同分布的拉普拉斯分布，以模拟Lee球形噪声并验证译码性能。
• 利用l1范数与Lee距离的等价性，将Z_q^n中的码级译码与R^n中的格级译码关联起来。

实验结果

研究问题

• RQ1 q-ary格在Lee度量下的译码过程如何与它们相关q-ary码的译码相关联？
• RQ2 球形译码能否有效适配至q-ary格的Lee度量，尤其当q为素数时？
• RQ3 在高维空间中，Lee球的平均体积与相同半径的欧几里得球相比如何？
• RQ4 Lee度量球形译码在球体积与搜索空间方面是否相对于经典球形译码具有复杂度优势？
• RQ5 在与l1范数天然匹配的拉普拉斯噪声下，该算法的性能如何？

主要发现

• 通过构造A，成功将Lee球形译码算法适配至q-ary格，并在Lee度量下建立了码译码与格译码之间的正式关联。
• 在高维空间中，以Babai估计为中心的Lee球的平均体积渐近小于相同半径的欧几里得球，其关系由极限表达式lim_{n→∞} [I(n,n)2^n / (n!(π/2)^{n-1})] / [π^{n/2}/Γ(n/2+1)] = 0 所证明。
• 该体积减小表明，Lee球形译码可能探索比经典球形译码更小的搜索空间，从而潜在降低期望复杂度。
• 在维度高达17、q=5且存在拉普拉斯噪声的仿真中，验证了该算法在实际条件下的可行性与行为特性。
• 对格应用最近平面算法在Lee范数下提供O(2^n / √n)的近似因子，其界涉及比值2/√3。
• 分析结果表明，当q > 3时，Lee度量为q-ary码与格提供了更自然的几何框架，因其与l1范数一致。