[论文解读] Optimal binary linear locally repairable codes with disjoint repair groups

Jingxue Ma, Gennian Ge|arXiv (Cornell University)|Nov 20, 2017

Advanced Data Storage Technologies参考文献 34被引用 9

一句话总结

该论文提出了一类显式构造的最优二元线性局部可修复码（LRCs），其修复组互不相交，最小距离 d=6 和 d=8，利用有限几何中的弱独立集与部分可展集。该工作建立了一个新的码维上界，并在几乎全部参数下实现了 r∈{2,3}、d=6 时的最优性，构造结果匹配或逼近了 Cadambe-Mazumdar 上界。

ABSTRACT

In recent years, several classes of codes are introduced to provide some fault-tolerance and guarantee system reliability in distributed storage systems, among which locally repairable codes (LRCs for short) play an important role. However, most known constructions are over large fields with sizes close to the code length, which lead to the systems computationally expensive. Due to this, binary LRCs are of interest in practice. In this paper, we focus on binary linear LRCs with disjoint repair groups. We first derive an explicit bound for the dimension k of such codes, which can be served as a generalization of the bounds given in [11, 36, 37]. We also give several new constructions of binary LRCs with minimum distance $d = 6$ based on weakly independent sets and partial spreads, which are optimal with respect to our newly obtained bound. In particular, for locality $r\in \{2,3\}$ and minimum distance $d = 6$, we obtain the desired optimal binary linear LRCs with disjoint repair groups for almost all parameters.

研究动机与目标

• 推导二元线性 LRCs 在修复组互不相交条件下的维数 k 的新上界，推广先前的 Singleton 类似界与 Cadambe-Mazumdar 上界。
• 利用 F₂ 上的弱独立集与部分可展集，构造最小距离 d=6 的最优二元 LRCs。
• 通过确保任意三个修复组子空间的和具有满秩，将构造方法扩展至 d=8，以实现更高的容错能力。
• 在 r=2,3 且 d=6,8 的条件下，实现 d-最优或 k-最优码，其构造结果匹配或逼近新维数约束下的理论界。
• 提供计算高效且适用于使用二元字母表的实用分布式存储系统的显式构造。

提出的方法

• 推导二元 LRCs 在修复组互不相交条件下的维数 k 的新上界，推广现有界，并结合域大小与码结构。
• 在 F₂^s 中使用弱独立集构造 d=6 的二元 LRCs，确保任意三个向量之和不为零，从而保证最小距离。
• 通过 F₂^s 中二维子空间的部分可展集构造码，其中每个子空间对应一个局部修复度为 r 的修复组。
• 对于 d=8，定义部分可展集子集上的性质 P，使得子集中任意三个子空间的直和维数为 6，从而保证 d≥8。
• 通过块结构构造校验矩阵，其中每个块对应一个修复组，利用子空间的基向量定义局部可修复性。
• 通过将构造码的维数与新推导的上界及 Cadambe-Mazumdar 上界进行比较，验证其最优性。

实验结果

研究问题

• RQ1 对于给定的 n, r, d，二元线性 LRCs 在修复组互不相交条件下的维数 k 的最紧可能上界是什么？
• RQ2 能否利用 F₂^s 中的弱独立集与部分可展集构造出 d=6 的最优二元 LRCs？
• RQ3 如何强制实现三子空间和的维数性质，以在 r=2 的二元 LRCs 中实现 d≥8？
• RQ4 显式二元 LRC 构造在多大程度上可达到或逼近 Cadambe-Mazumdar 上界？
• RQ5 是否存在 d=6 且 r∈{2,3} 的显式二元 LRC 构造，在几乎所有参数集下均为最优？

主要发现

• 推导出二元线性 LRCs 在修复组互不相交条件下的维数 k 的新上界，推广了先前的界，并提供了比 Singleton 类似界更紧的约束。
• 对于 r∈{2,3} 且 d=6 的情况，论文利用弱独立集与部分可展集构造出最优二元 LRCs，在几乎所有参数集下达到新上界。
• 通过 F₂⁶ 中的 2-可展集显式构造出一个 [18,6,8;2]₂ LRC，其校验矩阵由六个满足三重和维数条件的二维子空间的基向量导出。
• 所构造的 [18,6,8;2]₂ 码在新上界下为最优，并与 Cadambe-Mazumdar 上界完全匹配，证实其理论最优性。
• 对于 d=8 且 r=2 的情况，该方法通过要求任意三个修复组子空间的直和维数为 6 来确保 d≥8，该条件通过性质 P 条件得到验证。
• 论文还利用相同框架构造出其他最优码，如 [20,8,8;3]₂ 和 [24,11,8;3]₂，所有码均匹配理论维数上界。