[论文解读] Coding for Errors and Erasures in Random Network Coding

R. Koetter, Frank R. Kschischang|ArXiv.org|Mar 13, 2007

Cooperative Communication and Network Coding参考文献 28被引用 15

一句话总结

本文提出了一种基于子空间度量和Grassmannian码的非协作式错误控制框架，用于随机线性网络编码。该框架引入了一种基于传输子空间与接收子空间交集维度的最小距离译码器，通过Sudan风格的列表-1译码算法实现错误与删除错误的纠正，并在有限域上建立了编码界以及类似Reed-Solomon码的构造方法。

ABSTRACT

The problem of error-control in random linear network coding is considered. A ``noncoherent'' or ``channel oblivious'' model is assumed where neither transmitter nor receiver is assumed to have knowledge of the channel transfer characteristic. Motivated by the property that linear network coding is vector-space preserving, information transmission is modelled as the injection into the network of a basis for a vector space $V$ and the collection by the receiver of a basis for a vector space $U$. A metric on the projective geometry associated with the packet space is introduced, and it is shown that a minimum distance decoder for this metric achieves correct decoding if the dimension of the space $V \cap U$ is sufficiently large. If the dimension of each codeword is restricted to a fixed integer, the code forms a subset of a finite-field Grassmannian, or, equivalently, a subset of the vertices of the corresponding Grassmann graph. Sphere-packing and sphere-covering bounds as well as a generalization of the Singleton bound are provided for such codes. Finally, a Reed-Solomon-like code construction, related to Gabidulin's construction of maximum rank-distance codes, is described and a Sudan-style ``list-1'' minimum distance decoding algorithm is provided.

研究动机与目标

• 为在发射端和接收端均不掌握信道状态信息的情况下，解决随机线性网络编码中的错误与删除错误控制问题。
• 将信息传输建模为向量空间 V 的基的注入，接收过程建模为接收空间 U 的基的接收。
• 在子空间的射影几何上定义一种度量，使得当 dim(V ∩ U) 足够大时，能够实现可靠译码。
• 为Grassmannian中的恒维码建立编码界——球体打包、球体覆盖以及Singleton型界。
• 提出一种类似Reed-Solomon码的码构造方法，以及一种Sudan风格的列表-1译码算法，以实现高效的错误纠正。

提出的方法

• 将网络建模为一种算子信道，其中输入和输出是有限域向量空间的子空间。
• 引入一种基于子空间交集维度的度量，通过 dim(V ∩ U) 实现错误与删除错误的检测。
• 将恒维码定义为有限域Grassmannian的子集，对应Grassmann图的顶点。
• 通过建模某个码字周围给定距离内的子空间数量，推导出球体打包与球体覆盖界。
• 提出一种Sudan风格的译码算法，通过双变量线性化多项式的插值来恢复传输的子空间。
• 采用 Interpolate 过程寻找在接收子空间上消失的最小权重双变量线性化多项式，随后通过 RDiv 进行根求解，以恢复信息多项式。

实验结果

研究问题

• RQ1 当发射端和接收端均不了解网络的传输特性时，如何在随机线性网络编码中实现可靠通信？
• RQ2 在非协作式网络编码的背景下，何种子空间上的度量能够同时捕捉错误与删除错误？
• RQ3 在有限域上的Grassmannian中，恒维码适用的编码界（如球体打包、Singleton界）是什么？
• RQ4 能否将类似Reed-Solomon码的构造方法适配到Grassmannian中，以在网络编码中实现高效的错误纠正？
• RQ5 是否存在一种低复杂度的译码算法，能够为这类码提供保证纠错能力的唯一译码？

主要发现

• 当传输子空间 V 与接收子空间 U 的交集维度满足 dim(V ∩ U) ≥ ℓ − k + 1 时，可实现正确译码，其中 ℓ 为码字的维度，k 为信息维度。
• 所提出的码构造等价于Gabidulin的最大秩距离码，在给定维度与域大小下实现了最优最小距离。
• 提供了一种Sudan风格的列表-1译码算法，其时间复杂度为 𝔽_{q^m} 中的 O((ℓ + m)²) 次运算，支持高效的唯一译码。
• 为Grassmannian码推导出球体打包与球体覆盖界，为给定最小距离下的码大小提供了理论极限。
• 建立了Singleton型界，表明恒维码的最小距离至多为 ℓ − k + 1，且该界可通过所提出的构造方法达到。
• 该方法在渐近速率上与文献[9]中的全知对手模型相当，但具有确定的纠错能力，且无需信道状态反馈。