[论文解读] Bounds and Constructions of Locally Repairable Codes: Parity-check Matrix Approach

Jie Hao, Shu‐Tao Xia+4 more|arXiv (Cornell University)|Jan 21, 2016

Advanced Data Storage Technologies参考文献 45被引用 24

一句话总结

本文提出一种校验矩阵框架，用于分析界并构造最优局部可修复码（LRCs），推导出$q$-元LRCs的最小距离和最大码长的上界。证明了满足类似Singleton界的所有最优二元LRCs恰好分为五类，并通过其校验矩阵在码等价意义下完全枚举。

ABSTRACT

A $q$-ary $(n,k,r)$ locally repairable code (LRC) is an $[n,k,d]$ linear code over $\mathbb{F}_q$ such that every code symbol can be recovered by accessing at most $r$ other code symbols. The well-known Singleton-like bound says that $d \le n-k-\lceil k/r ceil +2$ and an LRC is said to be optimal if it attains this bound. In this paper, we study the bounds and constructions of LRCs from the view of parity-check matrices. Firstly, a simple and unified framework based on parity-check matrix to analyze the bounds of LRCs is proposed. Several useful structural properties on $q$-ary optimal LRCs are obtained. We derive an upper bound on the minimum distance of $q$-ary optimal $(n,k,r)$-LRCs in terms of the field size $q$. Then, we focus on constructions of optimal LRCs over binary field. It is proved that there are only 5 classes of possible parameters with which optimal binary $(n,k,r)$-LRCs exist. Moreover, by employing the proposed parity-check matrix approach, we completely enumerate all these 5 classes of possible optimal binary LRCs attaining the Singleton-like bound in the sense of equivalence of linear codes.

研究动机与目标

• 开发统一的校验矩阵框架，用于分析$q$-元局部可修复码（LRCs）的界与结构特性。
• 基于域大小$q$，推导出$q$-元最优LRCs的最小距离和最大码长的上界。
• 表征所有可实现类似Singleton界之最优二元$(n,k,r)$-LRCs的可能参数。
• 利用所提出的校验矩阵方法，完全枚举所有在码等价意义下的最优二元LRCs。
• 建立特定参数类中最优二元LRCs的存在性与唯一性，包括接近MDS码和$d=4$的码。

提出的方法

• 提出一种系统化的校验矩阵框架，用于分析$q$-元最优LRCs的结构，重点研究局部性行及其其上支撑。
• 以类似Singleton的界$d \leq n - k - \lceil k/r \rceil + 2$作为最优性的基准，并推导出等式成立的条件。
• 应用引理5与定理2，约束校验矩阵的结构，特别是针对$s=1$（接近MDS）和$s \geq 2$的二元LRCs。
• 结合整数规划与域大小的考量，推导出最小距离与码长的上界，尤其针对$q=2$的情况。
• 基于$r$、$k$、$d$与$n$，将最优二元LRCs划分为五类不同的参数类别，利用校验矩阵形式进行分类。
• 为全部五类提供显式校验矩阵构造，包括$H = I_l \otimes (1\ 1\ 1\ 1)$以及$d=4$情形下的附加结构行。

实验结果

研究问题

• RQ1 什么结构性条件是$q$-元最优LRC的校验矩阵必须满足，以实现类似Singleton的界？
• RQ2 基于域大小$q$，可以为$q$-元最优LRCs的最小距离和最大码长推导出哪些上界？
• RQ3 哪些参数集$(n,k,r)$允许存在实现类似Singleton界的最优二元LRCs？
• RQ4 如何利用校验矩阵方法在码等价意义下完全枚举所有最优二元LRCs？
• RQ5 所有最优二元LRCs的校验矩阵的确切形式是什么？它们如何反映底层码的结构？

主要发现

• 恰好存在五类参数，使得最优二元$(n,k,r)$-LRCs实现类似Singleton的界，且在码等价意义下不存在其他类别。
• 当$s=1$时，最优二元LRCs对应于四类已知的二元接近MDS码：$[7,4,3]$、$[8,4,4]$、$[7,3,4]$与$[6,3,3]$码，其局部度$r=3$或$r=2$。
• 当$s \geq 2$时，唯一可能的最优二元LRCs具有参数$n=4l$、$k=3l-2$、$r=3$、$d=4$、$l \geq 3$，其校验矩阵结构包含$I_l \otimes (1\ 1\ 1\ 1)$与附加的结构化行。
• 第三类与第四类码，以及$[7,3,4]$单纯形码，均实现了最小距离上界$d=2q=4$，并符合推论4中对最大码长的界定。
• $n=12$的$[12,7,3]$ LRC的校验矩阵被明确给出为一个$5 \times 12$的分块矩阵，确认了其一般形式。
• 分析结果确认，这五种类别完全覆盖了所有最优二元LRCs，解决了先前研究中遗漏接近MDS情形的空白。