[论文解读] List Decoding of Lifted Gabidulin Codes via the Plücker Embedding

Anna-Lena Trautmann, Natalia Silberstein+1 more|arXiv (Cornell University)|Jan 10, 2013

Cooperative Communication and Network Coding参考文献 24被引用 5

一句话总结

该论文提出了一种基于普吕克嵌入的提升格比迪林码新型列表译码算法，将这些码的普吕克坐标表示为线性分组码，并通过求解线性与双线性方程组来枚举所有与接收码字在子空间距离范围内的码字。关键贡献是一种通用且参数灵活的译码方法，适用于任意 $ q, n, k, \delta $，其复杂度在 $ n $ 上为多项式，在 $ k $ 上为指数级，而 $ k $ 在实际中通常较小。

ABSTRACT

Codes in the Grassmannian have recently found an application in random network coding. All the codewords in such codes are subspaces of $\F_q^n$ with a given dimension. In this paper, we consider the problem of list decoding of a certain family of codes in the Grassmannian, called lifted Gabidulin codes. For this purpose we use the Plücker embedding of the Grassmannian. We describe a way of representing a subset of the Plücker coordinates of lifted Gabidulin codes as linear block codes. The union of the parity-check equations of these block codes and the equations which arise from the description of a ball around a subspace in the Plücker coordinates describe the list of codewords with distance less than a given parameter from the received word.

研究动机与目标

• 开发一种适用于任意参数 $ q, n, k, \delta $ 的提升格比迪林码通用列表译码算法。
• 利用格拉斯曼流形的普吕克嵌入来代数化表示子空间及其距离约束。
• 将列表译码问题转化为由校验条件和普吕克坐标中球约束导出的线性与双线性方程组。
• 提供一个可扩展至不同维度接收子空间及不同长度码的并集的框架。
• 通过聚焦普吕克坐标及其代数关系的结构，最小化存储与计算复杂度。

提出的方法

• 使用普吕克嵌入表示提升格比迪林码，将每个 $ k $-维子空间映射到 $ \mathbb{P}^{\binom{n}{k}-1} $ 中的普吕克坐标。
• 将提升格比迪林码的部分普吕克坐标建模为线性分组码，通过其代数结构推导出校验方程。
• 利用施伯特演算的结果，将格拉斯曼流形中接收子空间周围半径为 $ e $ 的球表示为普吕克坐标中的线性方程组。
• 将码的校验方程与球方程以及普吕克关系（如二次普吕克关系）结合，形成线性与双线性方程组。
• 求解所得方程组，枚举所有与接收码字子空间距离为 $ 2e $ 以内的码字，解空间对应候选码字列表。
• 使用秩约化技术与行阶梯形式简化方程组，确保在不同接收子空间维度下保持正确性。

实验结果

研究问题

• RQ1 能否利用普吕克嵌入对提升格比迪林码实现列表译码，将几何约束转化为代数方程？
• RQ2 如何将提升格比迪林码的结构表示为普吕克坐标中的线性分组码，以推导出校验方程？
• RQ3 能够捕捉所有与接收码字在给定子空间距离内的码字的最小方程组（线性与双线性）是什么？
• RQ4 该算法能否推广至任意维度的接收子空间及提升格比迪林码的并集？
• RQ5 是否可通过减小方程组规模来提升计算效率，同时保持正确性？

主要发现

• 所提出的算法通过求解普吕克坐标中的线性与双线性方程组，成功枚举出所有与接收码字在给定子空间距离内的码字。
• 该方法具有通用性，适用于任意参数 $ q, n, k, \delta $，而不同于以往方法对特定约束的依赖。
• 该算法的复杂度在 $ n $ 上为多项式，在 $ k $ 上为指数级，由于 $ k $ 在网络编码应用中通常较小，因此具有优势。
• 方程组包含来自提升格比迪林码的校验约束、普吕克空间中的球约束以及普吕克关系，确保了几何与代数的一致性。
• 通过调整被约束为零的普吕克坐标，该算法可扩展以处理不同维度的接收子空间。
• 列表大小受经典格比迪林码在秩距离下的对应列表大小的限制，如引理17所示的基于秩的同构关系所证明。