[论文解读] An Integer Programming Based Bound for Locally Repairable Codes

Anyu Wang, Zhifang Zhang|arXiv (Cornell University)|Sep 3, 2014

Advanced Data Storage Technologies被引用 6

一句话总结

本文提出了一种基于整数规划的局部可修复码（LRCs）最小距离上界，推导出在满足 $n_1 > n_2$ 的参数条件下 LRCs 的显式上界，其中 $n_1 = \lceil n/(r+1) \rceil$ 且 $n_2 = n_1(r+1) - n$。此外，本文还提出了一种在 $\mathbb{F}_{2^m}$ 上的构造方法，其中 $m \geq n_1 r$，可实现该上界，从而完全确定了所有满足 $r \leq \sqrt{n} - 1$ 的 LRCs 的最大可能最小距离。

ABSTRACT

The locally repairable code (LRC) studied in this paper is an $[n,k]$ linear code of which the value at each coordinate can be recovered by a linear combination of at most $r$ other coordinates. The central problem in this work is to determine the largest possible minimum distance for LRCs. First, an integer programming based upper bound is derived for any LRC. Then by solving the programming problem under certain conditions, an explicit upper bound is obtained for LRCs with parameters $n_1>n_2$, where $n_1 = \left\lceil \frac{n}{r+1} ight ceil$ and $n_2 = n_1 (r+1) - n$. Finally, an explicit construction for LRCs attaining this upper bound is presented over the finite field $\mathbb{F}_{2^m}$, where $m\geq n_1r$. Based on these results, the largest possible minimum distance for all LRCs with $r \le \sqrt{n}-1$ has been definitely determined, which is of great significance in practical use.

研究动机与目标

• 解决确定 $[n,k]$ 局部可修复码（LRCs）最大可能最小距离的开放问题，特别是在 Singleton 型界不紧致的情况下。
• 通过引入基于整数规划的新框架，识别并弥合现有界之间的差距，推导出更紧致的上界。
• 为满足 $n_1 > n_2$ 的 LRCs 提供一种显式构造方法，其中 $n_1 = \lceil n/(r+1) \rceil$ 且 $n_2 = n_1(r+1) - n$。
• 确立最优 LRCs 存在并可在可控大小的有限域上显式构造的条件。
• 阐明再生集结构在决定最小距离中的作用，并证明先前采用不相交再生集的构造在某些参数范围内为次优。

提出的方法

• 将 LRCs 的最小距离上界问题建模为整数规划问题，利用再生集的结构及其覆盖特性。
• 定义函数 $\Phi(x)$，表示 $x$ 个再生集的并集的最小大小，该值通过 $d \geq n - k + 1 - \tilde{\eta}$ 直接影响最小距离，其中 $\tilde{\eta}$ 由 $\Phi(x)$ 导出。
• 在条件 $n_1 > n_2$ 下求解整数规划形式，推导出最小距离的显式上界，得到 $d \leq n - k + 1 - \left(\left\lceil \frac{k + n_2}{r} \right\rceil - 1\right)$。
• 提出一种新颖的码构造方法，利用 $\mathbb{F}_{2^m}$ 上的特殊设计多项式，其中 $m \geq n_1 r$，确保所有坐标具有局部度 $r$，并实现所推导的上界。
• 分析所构造码的再生集结构，并证明 $\Phi(x)$ 达到理论最大值，从而确认最优性。
• 将所提构造与 [15] 和 [19] 等先前工作进行比较，表明当 $k \mod r \geq n \mod(r+1) > 0$ 时，其采用不相交再生集的结构会导致最小距离次优。

实验结果

研究问题

• RQ1 对于所有符号局部度为 $r$ 的 $[n,k]$ 局部可修复码，其最小距离的最紧致上界是什么？
• RQ2 再生集的结构如何影响 LRCs 中可实现的最小距离？
• RQ3 能否为满足 $n_1 > n_2$ 条件的 LRCs 提供一种显式构造方法，使其达到所推导的上界？
• RQ4 在何种域大小条件下，可在可控大小的有限域上构造出最优 LRCs？
• RQ5 所提出的上界是否在 $n \mod(r+1) \neq 0$ 的情况下优于现有上界（如 Singleton 型界和 [12] 中的界）？

主要发现

• 本文推导出基于整数规划的 LRCs 最小距离上界，在许多情况下比经典的 Singleton 型界更紧致。
• 对于满足 $n_1 > n_2$ 的 LRCs，本文建立了显式上界：$d \leq n - k + 1 - \left(\left\lceil \frac{k + n_2}{r} \right\rceil - 1\right)$，并证明该上界是紧致的。
• 所提出的在 $\mathbb{F}_{2^m}$ 上（$m \geq n_1 r$）的构造方法实现了该上界，证明了在 $n_1 > n_2$ 条件下最优 LRCs 的存在性。
• 数值比较表明，当 $k \mod r \geq n \mod(r+1) > 0$ 时，采用成对不相交再生集的先前构造（如 [15] 和 [19]）可能无法达到最优最小距离。
• 分析结果确认，所提码的再生集结构使 $\Phi(x)$（即 $x$ 个集合的最小并集大小）达到理论最大值，从而实现最大的 $\tilde{\eta}$，并因此获得最大的 $d$。
• 对于所有满足 $r \leq \sqrt{n} - 1$ 的 LRCs，最大可能的最小距离已被明确定义，从而解决了编码理论中长期存在的一个开放问题。