[论文解读] Binary Codes with Locality for Four Erasures

S. B. Balaji, K. P. Prasanth+1 more|arXiv (Cornell University)|Jul 11, 2016

Coding theory and cryptography参考文献 19被引用 6

一句话总结

本文提出了一种基于 girth 为 6 的正则二分图构造二元码的方法，用于处理四次删除，实现了与域无关的最优速率上界 $rac{r^2}{r^2 + 2r + 2}$。该方法通过利用局部校验和图结构，实现了最多四次删除的逐次恢复，通过增加校验节点，进一步扩展至五次删除的恢复能力。

ABSTRACT

In this paper, codes with locality for four erasures are considered. An upper bound on the rate of codes with locality with sequential recovery from four erasures is derived. The rate bound derived here is field independent. An optimal construction for binary codes meeting this rate bound is also provided. The construction is based on regular graphs of girth $6$ and employs the sequential approach of locally recovering from multiple erasures. An extension of this construction that generates codes which can sequentially recover from five erasures is also presented.

研究动机与目标

• 推导二元码在四次删除下实现逐次恢复的、与域无关的速率上界。
• 使用 girth 为 6 的正则二分图构造达到该速率上界的最优二元码。
• 将构造方法扩展至支持五次删除的逐次恢复。
• 确保码在多种删除模式下保持高码率和高效的修复能力。

提出的方法

• 通过低权重对偶码字的张成和矩阵分解，推导出 $(n,k,r,4)_{\text{seq}}$ 码的速率上界。
• 使用 girth 至少为 6 的 $r$-正则二分图构造码，其中信息符号对应边，校验节点对应校验方程。
• 通过确保每个被删除的符号可利用具有不相交支集的局部校验实现逐次修复，实现逐次修复。
• 将节点划分为大小为 $r$ 的集合，并添加新的校验节点，以纠正原始码无法处理的五次删除模式。
• 证明该构造对二元码而言，其速率达到推导出的上界。
• 通过增加 $\lceil L/r \rceil$ 个校验节点，扩展码以实现对五次删除的逐次恢复。

实验结果

研究问题

• RQ1 对于二元码，在四次删除下实现逐次恢复的最大可实现速率是多少，且与域无关？
• RQ2 能否设计一种基于组合结构的构造方法，以实现该速率上界？
• RQ3 如何将该构造方法扩展以支持五次删除的逐次恢复？
• RQ4 哪些图论性质可确保所需的局部可修复性和不相交支集条件？
• RQ5 是否存在原始四次删除码无法纠正的特定删除模式？若存在，如何解决？

主要发现

• 本文建立了 $(n,k,r,4)_{\text{seq}}$ 码的、与域无关的速率上界，为 $\frac{r^2}{r^2 + 2r + 2}$。
• 基于 $r$-正则二分图（girth 为 6）的二元码构造，其速率与该上界相等。
• 通过确保局部校验中支集不相交，该构造实现了对四次删除的逐次恢复。
• 通过增加 $\lceil L/r \rceil$ 个校验节点，将构造扩展至五次删除，得到码的速率为 $\frac{Lr^2}{Lr^2 + 2Lr + 2L + \lceil L/r \rceil}$。
• 该方法纠正了原始四次删除码无法处理的所有五次删除模式，确保了完整的逐次修复能力。
• 底层图的 girth-6 性质保证了在任意四次删除模式下，至少有一个节点与一个被删除的边保持连接，从而支持逐次恢复。