[论文解读] A Construction of Maximally Recoverable Codes with Order-Optimal Field Size

Han Cai, Ying Miao+2 more|arXiv (Cornell University)|Nov 27, 2020

Advanced Data Storage Technologies参考文献 49被引用 10

一句话总结

本文提出了一种基于线性化 Reed-Solomon 码的新构造方法，用于生成最大可纠正（MR）码，在某些渐近参数范围内实现了阶次最优的域大小。通过利用结构化的校验矩阵和域扩张技术，所提出的码在 $ r = \Theta(n) $ 或 $ \delta > 2 $ 的情形下，相较于先前构造方法显著减小了域大小，且渐近地匹配已知的理论下界。

ABSTRACT

We construct maximally recoverable codes (corresponding to partial MDS codes) which are based on linearized Reed-Solomon codes. The new codes have a smaller field size requirement compared with known constructions. For certain asymptotic regimes, the constructed codes have order-optimal alphabet size, asymptotically matching the known lower bound.

研究动机与目标

• 为解决在具有 $(r,\delta)$-局部性的最大可纠正（MR）码中最小化域大小的挑战，特别是在大规模分布式存储系统中。
• 构造出在特定参数范围内渐近地达到阶次最优域大小的 MR 码，且匹配已知的理论下界。
• 克服先前构造方法的局限性，这些方法需要较大的域或对域的特征施加限制（例如仅限奇特征）。
• 提供一种统一的构造方法，适用于任意有限域（无论特征如何），并在 $ r = \Theta(n) $ 和 $ \delta > 2 $ 的情形下优于现有边界。

提出的方法

• 该构造以线性化 Reed-Solomon 码为基础，将其嵌入具有不相交修复集的结构化校验矩阵中。
• 关键部分是使用域扩张 $ \mathbb{F}_{q^h} $，其中 $ q $ 根据 $ r, \delta, m = n/(r+\delta-1) $ 选择，以确保足够的秩和独立性。
• 校验矩阵的设计使得每个大小为 $ r+\delta-1 $ 的修复集具有局部可修复性，且全局校验符号可纠正额外的 $ h $ 个擦除。
• 该构造确保码能够纠正超过最小汉明距离所允许的擦除模式数量，满足 MR 码的条件。
• 该方法采用系统编码过程，将信息符号映射到 $ \mathbb{F}_{q^h} $ 上的结构化矩阵格式，从而实现高效的修复与恢复。
• 理论分析利用秩度量性质和组合界，验证了该码实现了期望的最小距离和域大小最优性。

实验结果

研究问题

• RQ1 是否能够构造出在 $ r = \Theta(n) $ 和 $ \delta > 2 $ 情况下，其域大小渐近匹配已知下界的 MR 码？
• RQ2 是否可能在任意有限域（包括偶特征）上构造 MR 码，使得当 $ h=3 $ 时域大小为 $ \Theta(n^3) $，且不施加域奇偶性的限制？
• RQ3 当 $ (r+\delta-1)^{h+\delta-1} > m $ 时，该构造的域大小与 [12] 和 [17] 等现有构造相比如何？
• RQ4 当 $ m = \Theta(q) $ 且 $ r = \Theta(q) $ 时，是否能对 $ h \leq \min\{m, \delta+1\} $ 实现阶次最优的域大小？
• RQ5 使用线性化 Reed-Solomon 码是否能相比 Gabidulin 基或其它代数构造方法，实现域大小的减小？

主要发现

• 所构造的 MR 码实现了域大小 $ \Theta\left(\left(\max\{r+\delta-1, \frac{n}{r+\delta-1}\} \right)^h\right) $，在某些参数范围内小于先前构造方法。
• 在 $ r = \Theta(n) $ 的情形下，域大小为 $ \Theta(n^h) $，相较于 [12] 的 $ \Theta(n^{h\delta}) $ 边界（当 $ \delta > 2 $ 时）有所改进。
• 当 $ h=3 $ 时，该构造在任意有限域（包括偶特征）上实现了 $ q = \Theta(n^3) $，解决了 [17] 留下的一个开放问题。
• 当 $ m = \Theta(q) $ 且 $ r = \Theta(q) $ 时，码实现了渐近阶次最优的域大小 $ \Theta(q^h) $，与理论下界一致。
• 当 $ (r+\delta-1)^{h+\delta-1} > m $ 时，该构造优于 [12]，因为此时 $ \max\{r+\delta-1, \frac{n}{r+\delta-1}\}^h < \max\{m, (r+\delta-1)^{h+\delta-1}\}^h $。
• 该码的最小距离为 $ d = \left(\left\lfloor\frac{h}{r}\right\rfloor + 1\right)(\delta-1) + h + 1 $，证实了其最大可纠正性质。