[论文解读] Subspace Polynomials and Cyclic Subspace Codes

Eli Ben‐Sasson, Tuvi Etzion+2 more|arXiv (Cornell University)|Apr 30, 2014

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

一句话总结

本文引入子空间多项式作为新型代数工具，用于构建具有最优参数的循环子空间码。通过域扩张嵌入和轨道结构上的容斥原理，证明了当 $k$ 固定时，对无穷多个 $n$，$\mathcal{G}_q(n,k)$ 中存在最小距离为 $2k-2$ 的循环码，并给出了具有全轨道或退化轨道的码的显式构造。

ABSTRACT

Subspace codes have received an increasing interest recently due to their application in error-correction for random network coding. In particular, cyclic subspace codes are possible candidates for large codes with efficient encoding and decoding algorithms. In this paper we consider such cyclic codes and provide constructions of optimal codes for which their codewords do not have full orbits. We further introduce a new way to represent subspace codes by a class of polynomials called subspace polynomials. We present some constructions of such codes which are cyclic and analyze their parameters.

研究动机与目标

• 为解决缺乏针对具有全轨道或退化轨道的循环子空间码（尤其是最小距离最优者）的一般构造方法的问题。
• 开发子空间的新型表示方法，即子空间多项式，以实现对子空间交集和轨道结构的高效分析。
• 证明当 $k$ 固定时，在 $\mathcal{G}_q(n,k)$ 中对无穷多个 $n$ 存在最小距离为 $2k-2$ 的循环码。
• 探索将更小域上的循环码嵌入更大格拉斯曼流形中，同时保持循环性并控制最小距离的方法。
• 提供具有全轨道长度的循环码的显式构造，并分析其自同构群，尤其当 $n$ 为素数时。

提出的方法

• 通过子空间多项式表示子空间——一种特殊的线性化多项式，其根张成该子空间——从而实现对子空间性质的代数操作。
• 利用两个多项式之间“间隙”（gap）的概念，以边界子空间交集的维数，将多项式结构与子空间几何联系起来。
• 应用容斥原理，基于轨道分解，计算由与 $n$ 的因数相关的子码组合而成的循环码的大小。
• 通过域范数映射将 $\mathcal{G}_{q^d}(n/d, k/d)$ 中的循环码嵌入 $\mathcal{G}_q(n,k)$，保持循环性并使最小距离按因子 $d$ 缩放。
• 利用 Singer 子群和 Frobenius 自同构的结构，证明所构造码的自同构群包含 Singer 子群的法包络。
• 利用事实：若 $\text{gap}(P_1, P_2) \geq d$，则 $\dim(V_1 \cap V_2) \leq \dim(V_1) - d/2$，该不等式有助于界定码的最小距离。

实验结果

研究问题

• RQ1 当 $k$ 固定时，能否对无穷多个 $n$ 显式构造出最小距离为 $2k-2$ 的循环子空间码？
• RQ2 子空间多项式如何用于表示和分析循环子空间码的结构，特别是其轨道和交集？
• RQ3 子空间的轨道结构与其关联的子空间多项式的代数性质之间有何关系？
• RQ4 能否将更小域上的循环码嵌入更大的格拉斯曼流形中，同时保持循环性并控制最小距离？
• RQ5 能否构造具有多个轨道的循环码，特别是当轨道退化（即小于 $\frac{q^n-1}{q-1}$）时？

主要发现

• 本文证明，对任意固定的 $k$ 和无穷多个 $n$，$\mathcal{G}_q(n,k)$ 中存在最小距离为 $2k-2$ 的循环子空间码，解决了某些特殊情况下的长期猜想。
• 通过子空间多项式和轨道分解，提供了此类码的显式构造，码的大小由 $n$ 的因数上的容斥公式给出。
• 当 $n$ 为素数时，所构造的码的自同构群包含 Singer 子群的法包络，表现出强结构特性。
• 由对应于 $n$ 的因数 $d_i$ 的子码构成的循环码的大小为 $|\mathbb{C}| = \sum_{i} {n/d_i \brack k/d_i}_{q^{d_i}} - \sum_{i<j} {n/\text{lcm}(d_i,d_j) \brack k/\text{lcm}(d_i,d_j)}_{q^{\text{lcm}(d_i,d_j)}} + \cdots$，使用容斥原理。
• 一个 $\mathbb{C} \subseteq \mathcal{G}_{q^d}(n/d, k/d)$ 的循环码，其最小距离为 $2(k/d) - 2\delta$，可被嵌入 $\mathcal{G}_q(n,k)$ 为 $\mathbb{C}'$，保持大小并使最小距离变为 $2k - 2d\delta$。
• 本文表明，两个子空间多项式之间的间隙可为对应码的最小距离提供下界，尽管它可能不是衡量交集大小的最有效指标。