[论文解读] A note on the linkage construction for constant dimension codes

Sascha Kurz|arXiv (Cornell University)|Jun 24, 2019

Cooperative Communication and Network Coding参考文献 19被引用 14

一句话总结

本文通过推广包含提升最大秩距离（MRD）码的码的上界，改进了常维数码的链式构造——这是随机线性网络编码中纠错的关键。作者提出一种改进的构造方法，对 $ A_q(v,d;k) $ 得到严格更优的下界，尤其在 $ d=4 $ 且 $ k=3 $ 时，对于 $ q \geq 4 $ 及更高维数，优于标准链式构造与埃舍伦-费勒斯构造。

ABSTRACT

Constant dimension codes are used for error control in random linear network coding, so that constructions for these codes with large cardinality have achieved wide attention in the last decade. Here, we improve the so-called linkage construction. Known upper bounds for constant dimension codes containing lifted MRD codes are generalized.

研究动机与目标

• 提升常维数码的标准链式构造，这类码在随机线性网络编码的纠错中至关重要。
• 推广包含提升最大秩距离（MRD）码的常维数码的已知上界。
• 通过改进链式方法，推导出 $ A_q(v,d;k) $ 的更紧下界，尤其针对 $ d=4 $ 和 $ k=3 $ 的情形。
• 基于猜想 4.6，将文献中现有的构造统一并推广至一个统一的理论框架。
• 为 $ A_q(v,4;3) $ 和 $ A_q(v,6;4) $ 提供显式且改进的下界，其结果优于 $ q \geq 4 $ 时已知的先前成果。

提出的方法

• 提出一种基于定理 3.2 的改进链式构造，通过引入更小码中的额外码字，推广标准链式构造。
• 应用猜想 4.6（关于特定子码的存在性），通过递归应用改进的链式方法推导新下界。
• 使用枢轴位置映射 $ p(U) $ 将子空间距离与汉明距离关联，从而实现基于秩的下界推导。
• 以提升MRD码作为构建模块，其大小为 $ M(q,k,v,d) = q^{\max\{k,v-k\} \cdot (\min\{k,v-k\} - d/2 + 1)} $，作为构造的锚点。
• 应用反码界与秩度量码界（通过定理 2.2），以约束并验证候选码的大小。
• 通过递归提升与 $ \left[\begin{smallmatrix}3t \\ 2\end{smallmatrix}\right]_q $（即三维空间中2维平面的数量）的级联，推导出 $ A_q(v,4;3) $ 和 $ A_q(v,6;4) $ 的参数化下界。

实验结果

研究问题

• RQ1 常维数码的标准链式构造能否系统性地改进，以生成更大的码？
• RQ2 当码包含提升MRD码时，$ A_q(v,d;k) $ 的最紧可能下界是什么？
• RQ3 在何种条件下，猜想 4.6 能够给出强于埃舍伦-费勒斯构造与标准链式构造的下界？
• RQ4 新下界与已知构造相比如何，尤其在 $ q \geq 4 $ 时，特别是在 $ k=3, d=4 $ 与 $ k=4, d=6 $ 的情形？
• RQ5 对于 $ v > 9 $ 且 $ q \geq 4 $，改进的链式方法能否产生严格优于标准链式构造与埃舍伦-费勒斯构造的下界？

主要发现

• 当 $ v = 10 $，$ d = 4 $，$ k = 3 $ 时，改进的链式构造给出 $ A_q(10,4;3) \geq q^{14} + q^{11} + q^{10} + q^8 - q^7 + q^2 + q + 1 $，比标准链式构造多出 $ q^2 + q $ 个码字。
• 当 $ v = 10 $，$ d = 6 $，$ k = 4 $ 时，新下界 $ A_q(10,6;4) \geq q^{12} + q^6 + 2q^2 + 2q + 1 $ 优于标准链式构造，并与已知构造持平或更优。
• 当 $ v = 8 + 3t $，$ d = 4 $，$ k = 3 $ 时，下界 $ A_q(8+3t,4;3) \geq (q^{10} + q^6 + q^5 + 2q^4 + 2q^3 + 2q^2 + q + 1) \cdot q^{6t} + \left[\begin{smallmatrix}3t \\ 2\end{smallmatrix}\right]_q $ 对于 $ q \geq 4 $ 且 $ t \geq 1 $，严格优于先前构造。
• 参数化下界 $ A_q(7+3t,4;3) \geq (q^8 + q^5 + q^4 + q^2 - q) \cdot q^{6t} + \left[\begin{smallmatrix}3t \\ 2\end{smallmatrix}\right]_q $ 对于 $ q \geq 4 $ 且 $ t \geq 1 $，优于埃舍伦-费勒斯与标准链式构造。
• 当 $ k=4 $，$ d=6 $ 时，下界 $ A_q(14,6;4) \geq q^{20} + q^{14} + q^{11} + q^{10} + q^8 - q^7 + q^2 + q + 1 $ 是 $ q \geq 4 $ 时目前已知的最佳结果，由改进链式构造与猜想 4.6 推导得出。
• 结果证实，改进的链式构造在 $ q \geq 4 $ 时，对 $ k=3 $，$ d=4 $ 情形（尤其当 $ v \geq 10 $ 时）产生的下界严格优于标准链式构造与埃舍伦-费勒斯构造。