[论文解读] Dense Error-Correcting Codes in the Lee Metric

Tuvi Etzion, Alexander Vardy+1 more|arXiv (Cornell University)|Apr 2, 2010

graph theory and CDMA systems参考文献 17被引用 9

一句话总结

本文利用Hadamard矩阵构造了Lee度量下的密集纠错码，实现了接近最优的打包密度，并逼近球体打包界。提出了一种通过离散和连续的Hadamard映射，将Lee球体转换为紧凑矩形框的变换方法，从而在受限的多维空间中实现高效编码，适用于闪存和受限信道等应用。

ABSTRACT

Several new applications and a number of new mathematical techniques have increased the research on error-correcting codes in the Lee metric in the last decade. In this work we consider several coding problems and constructions of error-correcting codes in the Lee metric. First, we consider constructions of dense error-correcting codes in relatively small dimensions over small alphabets. The second problem we solve is construction of diametric perfect codes with minimum distance four. We will construct such codes over various lengths and alphabet sizes. The third problem is to transfer an n-dimensional Lee sphere with large radius into a shape, with the same volume, located in a relatively small box. Hadamard matrices play an essential role in the solutions for all three problems. A construction of codes based on Hadamard matrices will start our discussion. These codes approach the sphere packing bound for very high rate range and appear to be the best known codes over some sets of parameters.

研究动机与目标

• 在小字母表上构造Lee度量下具有高码率和大最小距离的密集纠错码。
• 利用Hadamard矩阵设计最小距离为四的直径完美码，推广已知的完美码。
• 将n维Lee球体变换为体积相等且可嵌入小整数矩形框内的形状，以提高打包效率。
• 通过利用格结构和Hadamard矩阵，弥合理论编码界与实际构造之间的差距。
• 解决在多维信号空间中对非矩形区域应用编码技术的挑战。

提出的方法

• 通过递归构造 G(n) = [G(n/2) G(n/2); G(n/2) -G(n/2)]（当n被4整除时），从Hadamard矩阵导出生成矩阵，在Zn上构造线性码。
• 使用变换 T(x) = H·x/√n，其中H为n阶Hadamard矩阵，将Rn中的Lee球体映射为边长为(2R/√n)^n的n维矩形框。
• 通过将每个向量分解为码字与陪集代表元，定义离散变换 Td²: Zd² → Zd²，然后对码字部分应用连续变换。
• 利用Hadamard变换的等距性和体积保持性，在变换过程中保持Lee距离与球体体积不变。
• 应用加倍构造法，将奇数n下的直径完美码扩展至2^i·n，生成参数为(2^i·n, 4, 2^{i+2}·n, 4n)的码。
• 利用码-反码界构造最小距离为四的最优码，将完美码的概念推广至最小距离四。

实验结果

研究问题

• RQ1 能否在小字母表和中等维度下构造出接近球体打包界的Lee度量密集纠错码？
• RQ2 最小距离为四的直径完美码是否存在于任意长度和字母表大小下？如何系统地构造？
• RQ3 能否将半径为R的n维Lee球体变换为体积相等且可嵌入显著更小矩形框内的形状？
• RQ4 曼哈顿度量下反码的最大可能大小是多少？其与最优码设计有何关联？
• RQ5 Hadamard矩阵如何用于构造既高度密集又适用于受限信号空间中高效编码与译码的码？

主要发现

• 基于Hadamard矩阵构造的码达到参数(n, 4, 4n, 4n)，在高码率区域逼近球体打包界，对无限多个参数集优于已知构造。
• 最小距离为四的直径完美码存在于所有奇数n下，其参数通过加倍构造扩展至(2^i·n, 4, 2^{i+2}·n, 4n)，推广了已知完美码。
• 连续变换 T(x) = H·x/√n 将半径为R的n维Lee球体映射为边长为(2R/√n)^n的矩形框，使矩形框尺寸从(2R+1)^n减小为√n倍。
• 离散变换 Td² 将Zd²映射到自身，使得半径为R的Lee球体被包含在边长为(2⌈(R+ρ)/d⌉ + 2ρ + 1)^{d²}的矩形框内，其中ρ为基码的覆盖半径，与朴素嵌入相比显著减小了矩形框尺寸。
• 该变换保持体积与Lee距离，使得可在非矩形形状的信号区域上应用基于矩形框的编码技术。
• 所构造的码达到了码-反码界，证明了在给定直径下码大小的最大最优性，将完美码的概念推广至最小距离四。