[论文解读] Cyclic Codes with Locality and Availability

Lukas Holzbaur, Ragnar Freij-Hollanti+1 more|arXiv (Cornell University)|Dec 17, 2018

Coding theory and cryptography参考文献 11被引用 4

一句话总结

本论文提出了一种基于广义定义集方法的循环局部可修复码（LRCs）构造方法，结合Tamo-Barg码，实现了强$(r,\rho)$-局部性与$t$-可用性。通过应用Hartmann-Tzeng界并仔细扩展定义集，作者在给定最小距离下实现了最优或近似最优的码维度，尤其在修复集强正交性条件下，对特定参数集展示了最优性。

ABSTRACT

In this work codes with availability are constructed based on the cyclic \emph{locally repairable code} (LRC) construction by Tamo et al. and their extension to $(r,ρ)$-locality by Chen et al. The minimum distance of these codes is increased by carefully extending their defining set. We give a bound on the dimension of LRCs with availability and orthogonal repair sets and show that the given construction is optimal for a range of parameters.

研究动机与目标

• 设计兼具$(r,\rho)$-局部性与多个不相交修复集（可用性）的循环码，以提升分布式存储效率。
• 提出并形式化修复集中强正交性的概念，确保最小重叠与最大独立性。
• 推导具有强正交性的LRCs的维度界，并与所构造的码进行比较，以评估最优性。
• 通过使用Hartmann-Tzeng界扩展定义集，提升最小距离与码维度。
• 证明所提构造在一系列参数下实现了最优或近似最优的维度，尤其在强正交性条件下。

提出的方法

• 基于Tamo-Barg框架及其在有限域上通过乘积结构推广至$(r,\rho)$-局部性的方法，构造循环LRCs。
• 基于单位根与整除$x^n - 1$的生成多项式$g(x)$，定义基于$t$维超长方体的定义集。
• 应用Hartmann-Tzeng界，通过在定义集内增加额外零点$\mathcal{D}_g$，推导最小距离$d$的下界。
• 通过与$\mathbb{Z}/n_1 \times \cdots \times \mathbb{Z}/n_t$的双射关系，对修复集施加强正交性，确保不相交且结构受控。
• 在$\gamma = 0$时，将BCH界作为Hartmann-Tzeng界的特例，用于估计最小距离。
• 将所构造码的维度与基于强正交性及修复集参数的维度约束所导出的理论上限进行比较。

实验结果

研究问题

• RQ1 能否构造出兼具$(r,\rho)$-局部性与$t$-可用性的循环码，同时保持较高的最小距离？
• RQ2 修复集的强正交性如何影响可实现的码维度与最小距离？
• RQ3 所提构造在给定最小距离与局部性参数下，其维度是否最优？
• RQ4 在多可用性循环LRCs中，Hartmann-Tzeng界在多大程度上可被用于提升最小距离？
• RQ5 具有强正交性的LRCs的维度理论上限是多少？所构造方法与该上限的接近程度如何？

主要发现

• 所提构造在$[n=15,k=6]$码（在$\mathbb{F}_{16}$上）中实现了最优维度，具有强$\{2,4\},\{2,2\}$-2-可用性与最小距离$d \geq 7$，与理论界完全一致。
• 对于$[n=12,k=4]$码（在$\mathbb{F}_{13}$上），构造方法利用Hartmann-Tzeng界实现了$d \geq 8$，优于先前报道的$d \geq 6$。
• 在表1中，多个码（如$n=15, d\geq11, k=4$）达到了定理3.1的界，表明在给定约束下具有最优性。
• 当维度公式中的下取整整函数被考虑时，构造被证明是最优的，如示例1所示，其中$k \leq 6$为紧致界。
• 通过使用$\mathcal{D}_g$扩展定义集，可在保持局部性与可用性特性的同时，系统性地提升最小距离。
• 定理3.1中推导的界对选定参数为紧致，证实所构造方法在给定$d$、$r$与$\rho$下，维度上为最优或近似最优。