[论文解读] On Optimal Ternary Locally Repairable Codes

Jie Hao, Shu‐Tao Xia+1 more|arXiv (Cornell University)|Feb 19, 2017

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

一句话总结

本文通过校验矩阵方法，表征了满足类似Singleton界的所有最优三元局部可修复码（LRCs）的可能参数。证明了此类码恰好有8类，最小距离被限制在2、3、4、5或6之间，并为全部8类提供了显式构造，包括参数为 (n=4l,k=3l-2,r=3,d=4)、(n=3l,k=2l-1,r=2,d=3) 和 (n=12,k=5,r=2,d=6) 的码。

ABSTRACT

In an $[n,k,d]$ linear code, a code symbol is said to have locality $r$ if it can be repaired by accessing at most $r$ other code symbols. For an $(n,k,r)$ \emph{locally repairable code} (LRC), the minimum distance satisfies the well-known Singleton-like bound $d\le n-k-\lceil k/r ceil +2$. In this paper, we study optimal ternary LRCs meeting this Singleton-like bound by employing a parity-check matrix approach. It is proved that there are only $8$ classes of possible parameters with which optimal ternary LRCs exist. Moreover, we obtain explicit constructions of optimal ternary LRCs for all these $8$ classes of parameters, where the minimum distance could only be 2, 3, 4, 5 and 6.

研究动机与目标

• 确定所有满足类似Singleton界之最优三元局部可修复码（LRCs）的可能参数。
• 根据长度n、维度k、局部性r和最小距离d，对所有最优三元LRCs进行分类。
• 为所有可行参数类别的最优三元LRCs提供显式构造。
• 证明除已识别的8类外，不存在其他最优三元LRCs。
• 利用校验矩阵结构和F₃上MDS码的界，分析域大小和码参数的约束。

提出的方法

• 采用校验矩阵分解方法，将H分解为局部性行（H₁）和影响距离的行（H₂），以分别建模局部性和最小距离。
• 以 d ≤ n − k − ⌈k/r⌉ + 2 作为F₃上(n,k,r) LRCs最优性的基准。
• 利用M₃(n,d)（长度为n、最小距离为d的三元码的最大大小）的递归界，约束可能的参数集。
• 应用关于F₃上MDS码的引理1，排除[4,2,3]以外的非平凡MDS码，从而缩小搜索空间。
• 对r（奇数与偶数）进行情况分析，并利用递归不等式约束n和k，最终实现可行参数类别的分类。
• 为每类8种参数显式构造校验矩阵，包括使用Kronecker积和循环模式的结构化形式。

实验结果

研究问题

• RQ1 所有满足类似Singleton界之最优三元LRCs的可能参数集(n,k,r,d)有哪些？
• RQ2 所有最优三元LRCs是否均可显式构造？若是，适用于哪些参数类别？
• RQ3 在类似Singleton界之外，最优三元LRCs的最小距离d是否存在其他约束？
• RQ4 域大小F₃在限制最优LRCs存在性方面起什么作用，特别是与MDS码约束的关系如何？
• RQ5 是否存在某些参数类别，使得最优三元LRCs不可能存在？若是，原因是什么？

主要发现

• 存在恰好8类参数，用于实现满足类似Singleton界 d ≤ n − k − ⌈k/r⌉ + 2 的最优三元(n,k,r) LRCs。
• 最优三元LRCs的最小距离d被限制为仅2、3、4、5或6。
• 为全部8类提供了显式构造，包括参数为 (k+⌈k/r⌉,k,r,d=2)、(13−g,10−g,8−g,d=3)（0≤g≤4）、(2k+2,k,1,d=4)、(8,2,1,d=6)、(n,r+1,r,d=n−k)（3≤k≤6且3≤n−k≤6）、(4l,3l−2,3,d=4)（l≥3）、(3l,2l−1,2,d=3)（l≥3）以及(12,5,2,d=6)的码。
• 当r=3时，码(4l,3l−2,3,d=4)是最优的，且可通过包含(1 1 1 1)与2×4矩阵的Kronecker积结构的校验矩阵构造。
• 当r=2时，码(3l,2l−1,2,d=3)是最优的，且可通过Iₗ⊗(1 1 1)与行(1 1 ... 1)⊗(0 1 2)的组合构造。
• 对于r=4或r=5，除已知类别外，不存在其他最优三元LRCs，该结论由M₃(n,d)的界和参数约束得出。