[论文解读] (l,s)-Extension of Linear Codes

Axel Kohnert|ArXiv.org|Jan 17, 2007

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

一句话总结

本文提出了 (l, s)-扩展方法，通过向生成矩阵添加 l 列，使得每个最小重量码字至少获得 s 个非零项，从而构造出最小距离更高的新线性码。该方法基于交集矩阵推导出的丢番图方程组来确定有效的列扩展，最终得到 12 个新码，包括一个最优的 [88, 8, 54]₃ 码，其性能超越了此前已知的界限。

ABSTRACT

We construct new linear codes with high minimum distance d. In at least 12 cases these codes improve the minimum distance of the previously known best linear codes for fixed parameters n,k. Among these new codes there is an optimal ternary [88,8,54] code. We develop an algorithm, which starts with already good codes C, i.e. codes with high minimum distance d for given length n and dimension k over the field GF(q). The algorithm is based on the newly defined (l,s)-extension. This is a generalization of the well-known method of adding a parity bit in the case of a binary linear code of odd minimum weight. (l,s)-extension tries to extend the generator matrix of C by adding l columns with the property that at least s of the l letters added to each of the codewords of minimum weight in C are different from 0. If one finds such columns the minimum distance of the extended code is d+s provided that the second smallest weight in C was at least d+s. The question whether such columns exist can be settled using a Diophantine system of equations.

研究动机与目标

• 开发一种广义扩展方法，使线性码的最小距离在扩展码长时超越标准的奇偶校验位扩展方法。
• 通过允许 l 列扩展而非单列扩展，解决单列扩展的局限性，使最小距离至少增加 s ≥ 1。
• 提供一种系统化的算法框架，利用组合与代数约束识别有效的列扩展。
• 为固定 n, k, q 参数构造出最小距离高于以往已知结果的新线性码。

提出的方法

• (l, s)-扩展通过向生成矩阵添加 l 列，使每个最小重量码字至少获得 s 个非零项，从而推广奇偶校验扩展。
• 构建一个规范的交集矩阵 D，其中元素表示最小重量生成向量与候选扩展列的内积是否非零。
• 将有效 (l, s)-扩展的存在性问题转化为一个丢番图方程组，其条件是 D 的每一行在选定的 l 列中至少有 s 个非零元素。
• 通过多重集选择列（允许重复）来满足每个最小重量码字的 s 个非零项条件。
• 计算可行性通过 LLL 算法求解丢番图方程组得到提升，小 l 值下也可采用枚举法与舞蹈链算法作为替代方案。
• 该方法与特殊删减（puncturing）互为逆操作，即通过 (l,s)-扩展构建的码可通过删减扩展码恢复。

实验结果

研究问题

• RQ1 能否开发一种广义扩展方法，在扩展 l 列的同时使最小距离增加超过 1？
• RQ2 在何种条件下，l 列扩展可使最小距离至少增加 s？
• RQ3 如何利用代数与组合约束系统地确定此类扩展的存在性？
• RQ4 该方法能否发现新线性码，使其在固定 n, k, q 参数下优于已知界限？
• RQ5 在标准扩展方法失效的情况下，(l,s)-扩展方法是否仍能有效构造最优码，特别是对特定参数？

主要发现

• 本文构造了一个新的最优三元码 [88, 8, 54]₃，其最小距离达到了该参数下的理论上限。
• 共发现 12 个新线性码，包括 [82, 8, 49]₃、[132, 8, 81]₃ 及多个 GF(4) 上的 [n, 6, d]₄ 码，均优于此前已知的最佳最小距离。
• [88, 8, 54]₃ 码是通过从一个具有 1320 个最小重量码字的 [80, 8, 48]₃ 码出发，依次进行 (1,1)-和 (2,1)-扩展构建而成。
• 该方法成功扩展了单列奇偶校验扩展失败的码，证明其在最小距离在一系列码长下保持最优时具有显著实用性。
• 该算法能高效处理最多约 5000 个最小重量码字的码，计算复杂度可通过基于 LLL 的丢番图方程组求解方法有效控制。
• (l,s)-扩展方法被证明是奇偶校验扩展与特殊删减的推广，二者在码构造中构成对偶关系。