[论文解读] Groebner bases and combinatorics for binary codes

M. Borges-Quintana, M. A. Borges-Trenard+2 more|ArXiv.org|Sep 8, 2005

Polynomial and algebraic computation参考文献 7被引用 4

一句话总结

本文提出了一种从二元线性码导出的二项式理想，并展示了其在总次数序下的格罗卜纳基如何实现高效译码以及对关联图中最小环路的组合分析。关键贡献是一种改进的FGLM算法，该算法按项的次数递增顺序计算格罗卜纳基，从而系统性地发现最小权码字和环路基，为码与图的性质提供了计算优势。

ABSTRACT

In this paper we introduce a binomial ideal derived from a binary linear code. We present some applications of a Gröbner basis of this ideal with respect to a total degree ordering. In the first application we give a decoding method for the code. By associating the code with the set of cycles in a graph, we can solve the problem of finding all codewords of minimal length (minimal cycles in a graph), and show how to find a minimal cycle basis. Finally we discuss some results on the computation of the Gröbner basis.

研究动机与目标

• 通过二项式生成元建立二元线性码与多项式理想的关联。
• 基于格罗卜纳基约化至标准型开发一种译码算法。
• 应用格罗卜纳基技术，找出与码相关联的图中所有最小环路及一个最小环路基。
• 设计一种高效算法，计算码理想格罗卜纳基，具有固有的排序优势。

提出的方法

• 在变量 $x_1, \dots, x_n$ 上定义一个幺半群，并通过同态 $\psi$ 映射到 $\mathbb{F}_2^n$，将字词与向量对应。
• 构造由 $\{w_i - 1\}$（对应码字 $w_i$）和 $\{x_i^2 - 1\}$（用于强制二元结构）生成的二项式理想 $I(\mathcal{C})$。
• 使用与总次数相容的单项式序（例如 degrevlex）计算 $I(\mathcal{C})$ 的格罗卜纳基，该基编码了码的性质。
• 应用一种改进的FGLM风格算法，按项的次数递增顺序处理，保持代表元与标准型的列表。
• 利用该排序特性，在计算早期检测到最小权码字与环路，从而高效提取最小结构。
• 通过模基约化将接收到的字约化为其唯一的标准型，实现译码。

实验结果

研究问题

• RQ1 如何利用二项式理想的格罗卜纳基高效译码二元线性码？
• RQ2 从码理想的格罗卜纳基中，可提取图中哪些组合结构（如最小环路）？
• RQ3 能否将FGLM算法改进，以按项次数自然排序的方式计算码理想的格罗卜纳基？
• RQ4 格罗卜纳基的结构如何反映码或关联图的最小距离与环路基？
• RQ5 使用次数相容排序与计算中的早期终止，会带来哪些计算优势？

主要发现

• 在 degrevlex 排序下，理想 $I(\mathcal{C})$ 的格罗卜纳基可通过标准型约化实现译码，对于权重 $\leq t$ 的错误具有唯一解。
• 该算法按项次数递增顺序计算格罗卜纳基，使最小权码字与最小环路得以在计算早期被检测到。
• 改进的FGLM算法通过维护标准型列表并按次数顺序插入后继项，结合成员资格检查进行剪枝，高效计算格罗卜纳基。
• 通过提取基中总次数最小的元素，该方法可识别与码相关联图中的所有最小环路。
• 针对特定码，计算得到约化的格罗卜纳基 $\{x_2 - x_1, x_3 - x_1, x_1^2 - 1\}$，验证了该算法的正确性与效率。
• 通过选择基中长度最短的环路，该方法可计算最小环路基，充分利用了按次数遍历的特性。