[论文解读] 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界、汉明界和Plotkin界）来推导线性批处理码参数的约束条件。
• 提出递归构造技术，利用代数与组合方法从较小码构建更大的线性批处理码。
• 通过线性代数与编码理论的视角分析线性批处理码的结构特性。
• 利用码参数与查询效率之间的对偶性来指导码的设计。
• 证明码的线性性在查询的线性组合下保持批处理解码特性。

实验结果

研究问题

• RQ1 经典二元线性纠错码理论如何应用于分析和约束线性批处理码的参数？
• RQ2 线性批处理码从其底层纠错码表示中继承了哪些结构性质？
• RQ3 能否系统性地利用已知编码理论原理，从较小码导出高效的大规模线性批处理码构造？
• RQ4 线性批处理码与经典纠错码之间生成矩阵的对应关系，对码的设计与优化有何影响？

主要发现

• 二元线性批处理码的生成矩阵同时也是经典二元线性纠错码的生成矩阵。
• 因此，所有已知的经典二元线性码参数上界（如Singleton界、汉明界和Plotkin界）均可直接应用于二元线性批处理码。
• 该联系使得在存储、服务器数量与查询效率之间的权衡上，能够获得更紧的理论限制。
• 提出了新的构造方法，用于从较小码构建大规模线性批处理码，从而提升可扩展性与实际部署能力。
• 研究结果为在分布式存储和私有信息检索系统中设计高效线性批处理码奠定了基础框架。