[论文解读] Binary Linear Locally Repairable Codes

Pengfei Huang, Eitan Yaakobi+2 more|arXiv (Cornell University)|Nov 22, 2015

Advanced Data Storage Technologies参考文献 38被引用 8

一句话总结

本文通过引入幻影校验符号和多层张量积结构，提出了一类具有灵活参数的二元线性局部可修复码（LRC）新构造方法。该文推导了考虑域大小的最小距离上界，并证明所提出的码在给定参数下可实现最优或近似最优的最小距离，同时分析了循环码、LDPC码等经典码的局部性和可用性。

ABSTRACT

Locally repairable codes (LRCs) are a class of codes designed for the local correction of erasures. They have received considerable attention in recent years due to their applications in distributed storage. Most existing results on LRCs do not explicitly take into consideration the field size $q$, i.e., the size of the code alphabet. In particular, for the binary case, only a few results are known. In this work, we present an upper bound on the minimum distance $d$ of linear LRCs with availability, based on the work of Cadambe and Mazumdar. The bound takes into account the code length $n$, dimension $k$, locality $r$, availability $t$, and field size $q$. Then, we study binary linear LRCs in three aspects. First, we focus on analyzing the locality of some classical codes, i.e., cyclic codes and Reed-Muller codes, and their modified versions, which are obtained by applying the operations of extend, shorten, expurgate, augment, and lengthen. Next, we construct LRCs using phantom parity-check symbols and multi-level tensor product structure, respectively. Compared to other previous constructions of binary LRCs with fixed locality or minimum distance, our construction is much more flexible in terms of code parameters, and gives various families of high-rate LRCs, some of which are shown to be optimal with respect to their minimum distance. Finally, availability of LRCs is studied. We investigate the locality and availability properties of several classes of one-step majority-logic decodable codes, including cyclic simplex codes, cyclic difference-set codes, and $4$-cycle free regular low-density parity-check (LDPC) codes. We also show the construction of a long LRC with availability from a short one-step majority-logic decodable code.

研究动机与目标

• 为解决现有LRC界中缺乏对域大小的显式考虑，特别是针对二元码的问题。
• 开发可调节码长、维度、最小距离和局部性的灵活二元LRC构造方法。
• 分析经典二元码（如循环码、Reed-Muller码和LDPC码）的局部性和可用性。
• 利用张量积结构，从短的单步多数逻辑可译码码系统构造长LRC，实现高可用性。
• 建立考虑局部性和可用性的二元LRC最小距离的理论界，改进先前工作。

提出的方法

• 通过扩展Cadambe-Mazumdar框架，推导出二元线性LRC的最小距离新上界，引入域大小q、长度n、维度k、局部性r和可用性t。
• 通过扩展、缩短、删减、增强和延长等操作，分析经典二元码（循环码、Reed-Muller码、LDPC码）及其变体的局部性和可用性。
• 提出一种利用“幻影”校验符号的构造方法，以实现具有期望参数的高码率二元LRC。
• 引入多层张量积结构，将单步多数逻辑可译码码的校验矩阵作为构建模块，生成具有全符号局部性和可用性的长LRC。
• 在基于张量的构造中，使用[15,7,5]二元BCH码（r=3, t=4）的校验矩阵H′₁，生成一个新的[15ℓ, 7ℓ−2, 7] LRC，其局部性r=3，可用性t=4，参数可通过ℓ实现可扩展。
• 应用边界公式(6)和(9)评估最小距离(du)和可用性(tu)的理论极限，并与构造码的参数进行比较。

实验结果

研究问题

• RQ1 如何得到考虑域大小、局部性和可用性的二元线性LRC最小距离的最紧上界？
• RQ2 如何构造具有灵活码参数（n, k, d, r, t）的二元LRC，同时实现高码率和最优最小距离？
• RQ3 经典二元码（如循环单纯形码、差集码和无4-环LDPC码）的局部性和可用性特性如何？
• RQ4 能否从短的单步多数逻辑可译码码系统性地构造出具有高可用性的长二元LRC？
• RQ5 所构造的二元LRC在多大程度上实现了相对于已知最小距离边界的最优性？

主要发现

• 所提出的考虑局部性r和可用性t的二元LRC最小距离上界，通过显式引入域大小q，优于先前的边界。
• 构造的最小距离d=3或d=4的二元LRC被证明在最小距离边界下为最优。
• 通过张量积构造的[15ℓ, 7ℓ−2, 7] LRC实现了全符号局部性r=3和可用性t=4，且参数可通过ℓ实现可扩展。
• 长度为2^m−1的循环二元单纯形码实现全符号局部性r=2和可用性t=2^{m−1}−1，其最小距离由Plotkin界达到最优。
• 二维类型-I循环(0,m)阶EG-LDPC码实现r=2^m−1和t=2^m；当m=5时，码的参数为n=1023, k=781, d=33, r=31, t=32，理论最小距离边界du=80，理论可用性边界tu=32。
• 通过多层张量积结构从短的单步多数逻辑可译码码构造长LRC，可实现可扩展、高码率的码，且保证局部性和可用性。