[論文レビュー] 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

ひとこと要約

本稿では、Tamo-Bargコードに基づく一般化された定義集合アプローチを用いて、強い$(r,\rho)$-局所性および$t$-可用性を有する巡回局所的修理可能コード（LRC）の構成を提示する。ハートマン＝ツェングの境界を適用し、定義集合を巧みに拡張することで、特に修理集合の強い直交性下で、与えられた最小距離に対して最適またはほぼ最適なコード次元を達成し、特定のパrameterセットにおいて最適性を示している。

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)$-局所性および複数の互いに素な修理集合（可用性）を併せ持つ巡回コードの設計。
• 修理集合における強い直交性の概念を導入・形式化し、重複の最小化と最大の独立性を保証する。
• 強い直交性を有するLRCの次元に関する境界を導出し、構成されたコードと比較して最適性を評価する。
• ハートマン＝ツェングの境界を用いて定義集合を拡張することで、最小距離およびコード次元を向上させる。
• 提案された構成が、特に強い直交性下で、さまざまなパラメータに対して最適またはほぼ最適な次元を達成することを示す。

提案手法

• 有限体上の積構造を用いて、Tamo-Bargフレームワークの一般化に基づき、$(r,\rho)$-局所性を有する巡回LRCを構築する。
• 単位根と生成多項式$g(x)$（$x^n - 1$ を割り切る）を用いて、$t$次元の超長方形に基づく定義集合を定義する。
• 定義集合に追加の零点$\mathcal{D}_g$を追加することで、ハートマン＝ツェングの境界を適用し、最小距離$d$の下界を導出する。
• 修理集合に強い直交性を課すために、$\mathbb{Z}/n_1 \times \cdots \times \mathbb{Z}/n_t$への全単射を用いることで、互いに素で構造が制御された修理集合を保証する。
• $\gamma = 0$ の場合に、BCH境界がハートマン＝ツェングの境界の特殊ケースとして最小距離を推定できる。
• 強い直交性と修理集合のパラメータに基づく次元制約から導かれる理論的上界と、構成されたコードの次元を比較する。

実験結果

リサーチクエスチョン

• RQ1 $(r,\rho)$-局所性と$t$-可用性を併せ持つ巡回コードを、高い最小距離を維持したまま構築可能か？
• RQ2 修理集合の強い直交性が、達成可能なコード次元および最小距離に与える影響は何か？
• RQ3 提案された構成は、与えられた最小距離および局所性パラメータに対して次元の観点で最適か？
• RQ4 ハートマン＝ツェングの境界をどの程度活用して、可用性を有する巡回LRCの最小距離を向上させられるか？
• RQ5 強い直交性を有するLRCの次元に関する理論的上界は何か？ また、構成はその上界にどの程度近いか？

主な発見

• 強力な$(\{2,4\},\{2,2\})$-2-可用性および最小距離$d \geq 7$を有する$[n=15,k=6]$コード（$\mathbb{F}_{16}$上）において、提案された構成は理論的上界と一致し、最適な次元を達成している。
• $\mathbb{F}_{13}$上での$[n=12,k=4]$コードにおいて、ハートマン＝ツェングの境界を用いることで$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$が与えられた場合に、構成が次元の観点で最適またはほぼ最適であることが確認されている。