[论文解读] Locally Repairable Codes and Matroid Theory

Antti Pöllänen|arXiv (Cornell University)|Dec 16, 2015

Advanced Data Storage Technologies被引用 1

一句话总结

该论文通过建立几乎仿射LRC与拟阵理论之间更深层次的联系，推进了局部可修复码（LRC）的理论，证明关键码参数（n, k, d, r, δ）为拟阵不变量。该研究在先前工作的基础上，将广义Singleton界可实现的参数范围扩展，并为最优最小距离dmax提供了更紧致的一般下界。

ABSTRACT

Locally repairable codes (LRCs) are error correcting codes used in distributed data storage. A traditional approach is to look for codes which simultaneously maximize error tolerance and minimize storage space consumption. However, this tends to yield codes for which error correction requires an unrealistic amount of communication between storage nodes. LRCs solve this problem by allowing errors to be corrected locally. This thesis reviews previous results on the subject presented in [1]. These include that every almost affine LRC induces a matroid such that the essential properties of the code are determined by the matroid. Also, the generalized Singleton bound for LRCs can be extended to matroids as well. Then, matroid theory can be used to find classes of matroids that either achieve the bound, meaning they are optimal in a certain sense, or at least come close to the bound. This thesis presents an improvement to the results of [1] in both of these cases. [1] T. Westerb\"ack, R. Freij, T. Ernvall and C. Hollanti, "On the Combinatorics of Locally Repairable Codes via Matroid Theory", arXiv:1501.00153 [cs.IT], 2014.

研究动机与目标

• 建立几乎仿射局部可修复码（LRC）与拟阵理论之间的严格联系。
• 将LRC的广义Singleton界推广至拟阵，从而实现对码最优性的拟阵理论分析。
• 通过识别更广泛的参数类，使Singleton界可实现，从而超越现有结果。
• 为(n,k,r,δ)-拟阵中最大可能的最小距离dmax推导出更紧致的一般下界。
• 探索拟阵在何种结构条件下可实现或逼近Singleton界，为分布式存储中的码设计提供指导。

提出的方法

• 利用几乎仿射LRC均诱导唯一拟阵的事实，其不变量与码参数（n,k,d,r,δ）一一对应。
• 应用拟阵对偶性与亏格分析，刻画最优拟阵的结构，特别关注亏格η(Fi) = δ−1的原子。
• 使用算法1迭代降低原子的亏格，若超过界则导致矛盾。
• 通过组合优化及向下取整/向上取整函数，推导出⌈k/r⌉−1个原子上亏格总和的下界。
• 应用代换m = ⌊n/(r+δ−1)⌋−1以优化界，证明其与定理14中的界等价。
• 运用极值集合论概念与结构定理（如定理9）构造可实现或逼近Singleton界的拟阵。

实验结果

研究问题

• RQ1 LRC的广义Singleton界在何种条件下可推广至拟阵？
• RQ2 哪些类别的(n,k,r,δ)-拟阵可实现广义Singleton界，且可系统化构造？
• RQ3 Singleton界可实现的参数类是否可超越先前结果的范围？
• RQ4 当Singleton界不可实现时，dmax(n,k,r,δ)的最紧致一般下界是什么？
• RQ5 拟阵不变量（如亏格与秩）与对应LRC的最小距离d之间有何关系？

主要发现

• 成功将LRC的广义Singleton界推广至拟阵，使拟阵理论可用于分析码的最优性。
• 识别出一类新参数，当⌈k/r⌉= 2时，广义Singleton界可实现，扩展了先前结果。
• 推导出dmax(n,k,r,δ)的改进一般下界，其比先前界更紧致，并在不可实现参数类中被证明为最优。
• 证明了在s = ∑η(Fi)下，⌈k/r⌉−1个原子上亏格总和的界随s递增，且在s ≥ n−rm约束下使表达式最小化。
• 证明公式(19)关于m递减，从而最优代换为m = ⌊n/(r+δ−1)⌋−1，与定理14中的定义一致。
• 证明非最优拟阵的d始终被界(15)或(16)上界控制，从而确认所推导界之紧致性。