[论文解读] Codes with Locality for Two Erasures

N. Prakash, V. Lalitha+1 more|arXiv (Cornell University)|Jan 10, 2014

Advanced Data Storage Technologies参考文献 11被引用 23

一句话总结

本文引入了局部2-可重构码，通过顺序局部校验实现双丢失恢复，利用对偶码的广义汉明权重推导出更紧致的最小距离通用上界。基于Turán图构造了达到该上界的最优码，并为单丢失恢复的全符号局部码建立了更紧致的新上界，改进了现有码设计与距离极限结果。

ABSTRACT

In this paper, we study codes with locality that can recover from two erasures via a sequence of two local, parity-check computations. By a local parity-check computation, we mean recovery via a single parity-check equation associated to small Hamming weight. Earlier approaches considered recovery in parallel; the sequential approach allows us to potentially construct codes with improved minimum distance. These codes, which we refer to as locally 2-reconstructible codes, are a natural generalization along one direction, of codes with all-symbol locality introduced by Gopalan extit{et al}, in which recovery from a single erasure is considered. By studying the Generalized Hamming Weights of the dual code, we derive upper bounds on the minimum distance of locally 2-reconstructible codes and provide constructions for a family of codes based on Turán graphs, that are optimal with respect to this bound. The minimum distance bound derived here is universal in the sense that no code which permits all-symbol local recovery from $2$ erasures can have larger minimum distance regardless of approach adopted. Our approach also leads to a new bound on the minimum distance of codes with all-symbol locality for the single-erasure case.

研究动机与目标

• 开发一类新型码，实现双丢失的高效顺序局部恢复，优于并行恢复模型。
• 推导出具有全符号局部性的码在双丢失情况下的最小距离的通用上界，且不依赖于构造方法。
• 基于Turán图设计构造达到该上界的最优码。
• 将该框架扩展至单丢失情形，得到比经典界(1)更紧致的最小距离上界。

提出的方法

• 利用对偶码的广义汉明权重（GHWs）推导局部2-可重构码的最小距离上界。
• 通过序列 $ e_m $ 的递归上界（定义为 $ e_b = n $ 且 $ e_{m-1} = e_m - \lceil 2e_m / m \rceil + (r+1) $）建模子码的支撑增长。
• 利用Turán图定义局部校验支撑集，构造达到GHW上界相等性的最优码。
• 通过关于两两相交支撑集且重叠受限的引理，证明构造码 $ \mathcal{B}_0 $ 的GHWs达到上界。
• 利用对偶码中低权重码字的结构建模局部修复性并推导距离约束。
• 将相同框架应用于单丢失情形，推导出比经典界 $ d_{\min} \leq n-k-\lceil k/r \rceil + 2 $ 更紧致的上界。

实验结果

研究问题

• RQ1 双丢失的顺序恢复模型是否能产生比并行恢复模型具有更优最小距离的码？
• RQ2 具有全符号局部性的码在双丢失情况下的最小距离的最紧可能上界是什么？该上界与构造方式无关。
• RQ3 能否使用Turán图等组合设计构造出达到该通用上界的最优码？
• RQ4 所提出的基于GHW的框架是否能为单丢失全符号局部码情形提供比经典界更紧致的最小距离上界？
• RQ5 对偶码中低权重码字的结构能否用于推导局部可修复码的精确最小距离极限？

主要发现

• 本文推导出具有全符号局部性的码在双丢失情形下的最小距离通用上界，任何码（无论构造方式）均无法超过该上界。
• 所提上界在单丢失情形下比经典界(1)更紧致，且在 $ n=18, r=3 $ 情况下实现了可量化的改进。
• 利用Turán图构造了达到推导上界的最优码，其局部校验支撑集由图的边划分定义。
• 通过基于支撑集的引理（涉及两两相交集合且重叠受限），证明构造码 $ \mathcal{B}_0 $ 的广义汉明权重达到上界。
• 在单丢失情形下，本文基于对偶码子码 $ \mathcal{B}_0 $ 的GHW递归上界，建立了比(1)更紧致的 $ d_{\min} $ 上界。
• 式(29)的上界比(1)更紧，因其使用了更优的GHW估计 $ d_m(\mathcal{B}_0) \leq e_m $，该估计优于朴素的 $ m(r+1) $ 上界。