[論文レビュー] Binary Codes with Locality for Four Erasures

S. B. Balaji, K. P. Prasanth+1 more|arXiv (Cornell University)|Jul 11, 2016

Coding theory and cryptography参考文献 19被引用数 6

ひとこと要約

本稿では、サイクル長6の正則な二部グラフを用いて、4つのエラーを許容する二値符号の構成を提案し、体に依存しない最適なレート境界 $rac{r^2}{r^2 + 2r + 2}$ を達成する。この手法により、局所的パリティチェックとグラフ構造を活用して、最大4つのエラーに対して逐次復旧が可能であり、追加のパリティノードを用いることで5エラーに対しても拡張可能である。

ABSTRACT

In this paper, codes with locality for four erasures are considered. An upper bound on the rate of codes with locality with sequential recovery from four erasures is derived. The rate bound derived here is field independent. An optimal construction for binary codes meeting this rate bound is also provided. The construction is based on regular graphs of girth $6$ and employs the sequential approach of locally recovering from multiple erasures. An extension of this construction that generates codes which can sequentially recover from five erasures is also presented.

研究の動機と目的

• 体に依存しない $(n,k,r,4)_{\text{seq}}$ 符号のレートに対する上界を導出すること。
• 正則な二部グラフ（サイクル長6）を用いて、このレート境界に達する最適な二値符号を構成すること。
• 4エラーからの逐次復旧を可能にする構成を5エラーに対しても拡張すること。
• 複数のエラーパターン下でも高いレートと効率的な修復を維持すること。

提案手法

• 低重み双対符号語のスパンと行列分解を用いて、$(n,k,r,4)_{\text{seq}}$ 符号のレートに対する上界を導出する。
• 情報記号を辺に対応させ、パリティチェックをノードに対応させる、サイクル長が6以上である $r$-正則な二部グラフを用いて符号を構築する。
• 各破損符号記号が、互いに素なサポートを持つ局所的パリティチェックを用いて復元可能であるように、逐次修復を実現する。
• ノードをサイズ $r$ の集合に分割し、元の符号が対処できない5エラーのパターンを補うために新たなパリティノードを追加する。
• 構成が二値符号において導出されたレート境界に等しく達成されることを証明する。
• 5エラーからの逐次復旧を可能にするために、$ ceil L/r ceil$ 個のパリティノードを追加して符号を拡張する。

実験結果

リサーチクエスチョン

• RQ1 体に依存しない二値符号で、4エラーからの逐次復旧が可能な最大レートは何か？
• RQ2 組合せ的構造を用いて、このレート境界に到達する構成的手法を考案可能か？
• RQ3 4エラーからの復旧構成を5エラーに対しどのように拡張できるか？
• RQ4 どのようなグラフ論的性質が、必要な局所的復旧可能性と互いに素なサポート条件を保証するか？
• RQ5 元の4エラー符号が補えない特定のエラーパターンは存在するか？ それらはどのように対処できるか？

主な発見

• 本稿では、$(n,k,r,4)_{\text{seq}}$ 符号の体に依存しない上界として、$rac{r^2}{r^2 + 2r + 2}$ を確立した。
• サイクル長6の $r$-正則な二部グラフに基づく二値符号の構成は、このレート境界に等しく達成される。
• 局所的パリティチェックにおける互いに素なサポートを保証することで、4エラーからの逐次復旧が可能である。
• $ ceil L/r ceil$ 個のパリティノードを追加することで5エラーへの拡張が達成され、レートは $rac{Lr^2}{Lr^2 + 2Lr + 2L + ceil L/r ceil}$ となる。
• 元の4エラー符号が処理できないすべての5エラーパターンを補い、完全な逐次復旧能力を保証する。
• 基礎となるグラフのサイクル長6の性質により、任意の4エラーパターンにおいて、少なくとも1つのノードが1つの破損エッジに接続されていることが保証され、逐次復旧が可能になる。