[论文解读] On the Duality of Erasures and Defects

Yongjune Kim, B. V. K. Vijaya Kumar|arXiv (Cornell University)|Mar 7, 2014

Error Correcting Code Techniques参考文献 16被引用 3

一句话总结

本文通过分析由生成矩阵和接收向量定义的方程组的可解性，建立了线性编码理论中删失与缺陷之间的对偶性。证明了解存在的充要条件是增广矩阵的秩等于生成子矩阵的秩。关键结果表明：当秩为满秩时，无错误（M=0）的概率为零；当秩不足时，可解性取决于接收向量最后 j 个元素的结构。

ABSTRACT

In this paper, the duality of erasures and defects will be investigated by comparing the binary erasure channel (BEC) and the binary defect channel (BDC). The duality holds for channel capacities, capacity achieving schemes, minimum distances, and upper bounds on the probability of failure to retrieve the original message. Also, the binary defect and erasure channel (BDEC) will be introduced by combining the properties of the BEC and the BDC. It will be shown that the capacity of the BDEC can be achieved by the coding scheme that combines the encoding for the defects and the decoding for the erasures. This coding scheme for the BDEC has two separate redundancy parts for correcting erasures and masking defects. Thus, we will investigate the problem of redundancy allocation between these two parts.

研究动机与目标

• 研究线性码中错误模式可唯一译码的数学条件。
• 利用矩阵秩分析，建立编码系统中删失与缺陷之间的形式对偶性。
• 基于从生成矩阵和接收向量导出的子矩阵的秩，确定译码方程的可解性。
• 量化在系统矩阵秩条件不同的情况下，成功译码的概率（M=0）。

提出的方法

• 分析由生成矩阵 G₀ᵁ 和接收向量 bᵁ 定义的线性方程组的可解性。
• 使用秩条件 rank(G₀ᵁ) = rank(G₀ᵁ | bᵁ) 作为至少存在一个解的充要条件。
• 应用行最简阶梯形，识别当 rank(G₀ᵁ) < u 时 G₀ᵁ 中的零行。
• 检查 bᵁ 的最后 j 个元素，以确定当 G₀ᵁ 的秩减少 j 时，系统是否仍可解。
• 基于 G₀ᵁ 的秩推导概率 P(M=0 | |U|=u)，表明当 rank(G₀ᵁ) = u 时该概率为零。
• 考虑 rank(G₀ᵁ) = u−j（1 ≤ j ≤ u）的情形，研究其对可解性与错误纠正的影响。

实验结果

研究问题

• RQ1 由生成矩阵和接收向量定义的方程组在何种条件下至少存在一个解？
• RQ2 生成子矩阵 G₀ᵁ 的秩如何影响译码问题的可解性？
• RQ3 G₀ᵁ 的秩亏值与接收向量 bᵁ 的结构之间有何关系？
• RQ4 当 |U|=u 时，无错误（M=0）的概率如何依赖于 G₀ᵁ 的秩？
• RQ5 当 rank(G₀ᵁ) = u−j 时，bᵁ 的最后 j 个元素在确定系统可解性方面起什么作用？

主要发现

• 当且仅当增广矩阵 (G₀ᵁ | bᵁ) 的秩等于 G₀ᵁ 的秩时，系统存在解。
• 当 rank(G₀ᵁ) = u 时，系统保证至少存在一个解，从而导致 P(M=0 | |U|=u) = 0。
• 若 rank(G₀ᵁ) = u−j（1 ≤ j ≤ u），则 G₀ᵁ 的行最简阶梯形的最后 j 行为零向量。
• 当秩不足时，系统的可解性关键取决于接收向量 bᵁ 的最后 j 个元素。
• 当生成子矩阵具有满秩 u 时，无错误（M=0）的概率为零。