[論文レビュー] Linear Batch Codes

Helger Lipmaa, Vitaly Skachek|arXiv (Cornell University)|Apr 10, 2014

Advanced Data Storage Technologies参考文献 2被引用数 4

ひとこと要約

本稿では線形バッチ符号を導入し、その生成行列が古典的二値線形エラー訂正符号の生成行列でもあることを示している。この関係により、既知のエラー訂正符号の境界を線形バッチ符号に応用でき、より大きな線形バッチ符号をより小さな符号から構成する新しい構成的手法が得られる。

ABSTRACT

In an application, where a client wants to obtain many elements from a large database, it is often desirable to have some load balancing. Batch codes (introduced by Ishai et al. in STOC 2004) make it possible to do exactly that: the large database is divided between many servers, so that the client has to only make a small number of queries to every server to obtain sufficient information to reconstruct all desired elements. Other important parameters of the batch codes are total storage and the number of servers. Batch codes also have applications in cryptography (namely, in the construction of multi-query computationally-private information retrieval protocols). In this work, we initiate the study of linear batch codes. These codes, in particular, are of potential use in distributed storage systems. We show that a generator matrix of a binary linear batch code is also a generator matrix of classical binary linear error-correcting code. This immediately yields that a variety of upper bounds, which were developed for error-correcting codes, are applicable also to binary linear batch codes. We also propose new methods to construct large linear batch codes from the smaller ones.

研究の動機と目的

• 分散ストレージおよびプライベート情報検索システムにおける線形バッチ符号の研究を開始すること。
• 線形バッチ符号と古典的二値線形エラー訂正符号との間の理論的関係を確立すること。
• エラー訂正符号理論から既知の境界を活用して、線形バッチ符号のパラメータを制約および分析すること。
• 既存の小さな符号からより大きな線形バッチ符号を体系的に構成するための構成的手法を開発すること。

提案手法

• 二値線形バッチ符号の生成行列が、古典的二値線形エラー訂正符号の生成行列でもあることを示すこと。
• エラー訂正符号理論における既知の上界（例えば、Singleton、Hamming、Plotkinの境界）を適用し、線形バッチ符号のパラメータに制約を課すこと。
• 代数的および組合せ論的技法を用いて、より小さな符号からより大きな線形バッチ符号を再帰的に構成する技法を提案すること。
• 線形代数および符号理論の観点から、線形バッチ符号の構造的性質を分析すること。
• 符号のパラメータとクエリ効率の双対性を活用して、符号設計をガイドすること。
• 符号の線形性が、クエリの線形結合においてもバッチ復号特性を保つことを確立すること。

実験結果

リサーチクエスチョン

• RQ1 古典的二値線形エラー訂正符号理論を、線形バッチ符号のパラメータの分析および境界付けにどのように応用できるか。
• RQ2 線形バッチ符号は、その背後にあるエラー訂正符号表現からどのような構造的性質を引き継ぐか。
• RQ3 既知の符号理論的原則を用いて、小さな符号から効率的な大きな線形バッチ符号を体系的に導出できるか。
• RQ4 線形バッチ符号と古典的エラー訂正符号との間の生成行列の対応が、符号設計および最適化に与える影響は何か。

主な発見

• 二値線形バッチ符号の生成行列は、古典的二値線形エラー訂正符号の生成行列としても機能する。
• その結果、Singleton、Hamming、Plotkinの境界を含む、古典的二値線形符号の既知のすべての上界が、二値線形バッチ符号に対しても直接適用可能となる。
• この関係により、線形バッチ符号におけるストレージ、サーバー数、クエリ効率のトレードオフに関するより厳密な理論的制限が得られる。
• より大きな線形バッチ符号をより小さな符号から構成するための新しい構成的手法が提案され、スケーラビリティおよび実用的導入が向上する。
• 分散ストレージおよびプライベート情報検索システムにおける効率的な線形バッチ符号の設計のための基盤フレームワークが確立される。