[論文レビュー] An Integer Programming Based Bound for Locally Repairable Codes

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

Advanced Data Storage Technologies被引用数 6

ひとこと要約

本稿では、局所復元可能符号（LRC）の最小距離に対する整数計画法に基づく上界を提案し、$n_1 > n_2$ を満たすパラメータを持つLRCに対して明示的な上界を導出する。ここで $n_1 = \lceil n/(r+1) \rceil$ および $n_2 = n_1(r+1) - n$ である。さらに、$m \geq n_1 r$ を満たす $\mathbb{F}_{2^m}$ 上での構成的技法を提示し、この上界を達成する。これにより、$r \leq \sqrt{n} - 1$ を満たすすべてのLRCの最大最小距離が完全に特定された。

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.

研究の動機と目的

• すべての符号記号の局所復元性 $r$ を持つ $[n,k]$ 局所復元可能符号（LRC）の最小距離として達成可能な最大値を特定する未解決問題に対処する。特に、Singleton型の上界がタイトでない場合を想定する。
• 整数計画法に基づく新しい枠組みを導入することで、既存の上界におけるギャップを特定・解消し、よりタイトな上界を導出する。
• $n_1 > n_2$ を満たすLRCに対して、導出された上界を達成する構成的技法を提供する。ここで $n_1 = \lceil n/(r+1) \rceil$ および $n_2 = n_1(r+1) - n$ である。
• 最適なLRCが存在する条件を特定し、扱いやすいサイズの有限体上での明示的構成を可能にする。
• 再生集合の構造が最小距離に与える影響を明確にし、従来の互いに素な再生集合を持つ構成法が特定のパrameter範囲で劣っていることを示す。

提案手法

• 再生集合の構造と被覆性を活用して、LRCの最小距離上界問題を整数計画問題として定式化する。
• 関数 $\Phi(x)$ を定義し、これは $x$ 個の再生集合の和集合の最小サイズを表す。この $\Phi(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)$ が得られる。
• $m \geq n_1 r$ を満たす $\mathbb{F}_{2^m}$ 上で、特別に設計された多項式を用いた新しい符号構成法を提案する。これにより、すべての座標が局所復元性 $r$ を持ち、導出された上界に到達する。
• 構成された符号の再生集合構造を分析し、$\Phi(x)$ が理論的上限に達することを証明する。これにより最適性が確認される。
• 本稿の構成法を [15] や [19] などの先行研究と比較し、$k \mod r \geq n \mod(r+1) > 0$ の場合に、それらの互いに素な再生集合構造が最小距離を最適にしないことが示される。

実験結果

リサーチクエスチョン

• RQ1 すべての符号記号の局所復元性 $r$ を持つ $[n,k]$ 局所復元可能符号の最小距離に対する、最もタイトな上界は何か？
• RQ2 再生集合の構造は、LRCにおける達成可能な最小距離にどのように影響するか？
• RQ3 条件 $n_1 > n_2$ を満たすLRCに対して、導出された上界を達成する明示的構成法を提供できるか？
• RQ4 どの有限体サイズの条件下で、扱いやすいサイズの有限体上に最適なLRCを構成できるか？
• RQ5 $n \mod(r+1) \neq 0$ の場合に、本稿の上界が、Singleton型の上界や [12] の上界よりもタイトであるか、特にその点で優れているか？

主な発見

• 本稿では、LRCの最小距離に対する整数計画法に基づく上界を導出し、多くの場合で古典的なSingleton型上界を上回るタイトさを示した。
• 条件 $n_1 > n_2$ を満たすLRCに対して、明示的上界 $d \leq n - k + 1 - \left(\left\lceil \frac{k + n_2}{r} \right\rceil - 1\right)$ を確立した。この上界はタイトであることが示された。
• $m \geq n_1 r$ を満たす $\mathbb{F}_{2^m}$ 上での本稿の構成法は、この上界に到達し、$n_1 > n_2$ 条件下での最適LRCの存在を証明した。
• 数値的比較により、[15] や [19] に見られるような、互いに素な再生集合を持つ従来の構成法は、$k \mod r \geq n \mod(r+1) > 0$ の場合に最適最小距離に到達しないことが分かった。
• 解析により、本稿の符号の再生集合構造が $\Phi(x)$、すなわち $x$ 個の集合の最小和集合サイズを理論的上限に達するように最適化されており、これにより $\tilde{\eta}$ を最大にし、結果として最小距離 $d$ を最大にしていることが確認された。
• すべての $r \leq \sqrt{n} - 1$ を満たすLRCについて、最大最小距離が明確に特定された。これは符号理論における長年の未解決問題を解決した。