Lifted Multiplicity Codes and the Disjoint Repair Group Property

Lifted Reed-Solomon Codes (Guo, Kopparty, Sudan 2013) were introduced in the context of locally correctable and testable codes. They are multivariate polynomials whose restriction to any line is a codeword of a Reed-Solomon code. We consider a generalization of their construction, which we call <italic>lifted multiplicity codes</italic>. These are multivariate polynomial codes whose restriction to any line is a codeword of a multiplicity code (Kopparty, Saraf, Yekhanin 2014). We show that lifted multiplicity codes have a better trade-off between redundancy and a notion of locality called the <inline-formula> <tex-math notation="LaTeX">$t$ </tex-math></inline-formula>-disjoint-repair-group property than previously known constructions. As a corollary, they also give better tradeoffs for PIR codes in the same parameter regimes. More precisely, we show that, for <inline-formula> <tex-math notation="LaTeX">$t\le \sqrt {N}$ </tex-math></inline-formula>, lifted multiplicity codes with length <inline-formula> <tex-math notation="LaTeX">$N$ </tex-math></inline-formula> and redundancy <inline-formula> <tex-math notation="LaTeX">$O(t^{0.585} \sqrt {N})$ </tex-math></inline-formula> have the property that any symbol of a codeword can be reconstructed in <inline-formula> <tex-math notation="LaTeX">$t$ </tex-math></inline-formula> different ways, each using a disjoint subset of the other coordinates. This gives the best known trade-off for this problem for any super-constant <inline-formula> <tex-math notation="LaTeX">$t < \sqrt {N}$ </tex-math></inline-formula>. We also give an alternative analysis of lifted Reed-Solomon codes using dual codes, which may be of independent interest.

[1]  Itzhak Tamo,et al.  Bounds on the Parameters of Locally Recoverable Codes , 2015, IEEE Transactions on Information Theory.

[2]  Swastik Kopparty,et al.  List-Decoding Multiplicity Codes , 2012, Theory Comput..

[3]  Swastik Kopparty Some remarks on multiplicity codes , 2013, Discrete Geometry and Algebraic Combinatorics.

[4]  Vitaly Skachek,et al.  Batch and PIR Codes and Their Connections to Locally-Repairable Codes , 2016, ArXiv.

[5]  Dimitris S. Papailiopoulos,et al.  Locality and Availability in Distributed Storage , 2014, IEEE Transactions on Information Theory.

[6]  Francis Y. L. Chin A Generalized Asymptotic Upper Bound on Fast Polynomial Evaluation and Interpolation , 1976, SIAM J. Comput..

[7]  Zhifang Zhang,et al.  Repair Locality With Multiple Erasure Tolerance , 2014, IEEE Transactions on Information Theory.

[8]  Venkatesan Guruswami,et al.  Linear-Algebraic List Decoding for Variants of Reed–Solomon Codes , 2013, IEEE Transactions on Information Theory.

[9]  Tuvi Etzion,et al.  PIR array codes with optimal PIR rates , 2016, 2017 IEEE International Symposium on Information Theory (ISIT).

[10]  YekhaninSergey,et al.  High-rate codes with sublinear-time decoding , 2014 .

[11]  Rafail Ostrovsky,et al.  Local correctability of expander codes , 2013, Inf. Comput..

[12]  Alexandros G. Dimakis,et al.  Batch codes through dense graphs without short cycles , 2014, 2015 IEEE International Symposium on Information Theory (ISIT).

[13]  Alexander Vardy,et al.  Lower Bound on the Redundancy of PIR Codes , 2016, ArXiv.

[14]  Rafail Ostrovsky,et al.  Batch codes and their applications , 2004, STOC '04.

[15]  Or Meir,et al.  High-rate locally-correctable and locally-testable codes with sub-polynomial query complexity , 2015, STOC.

[16]  Eitan Yaakobi,et al.  Nearly optimal constructions of PIR and batch codes , 2017, 2017 IEEE International Symposium on Information Theory (ISIT).

[17]  Eitan Yaakobi,et al.  Codes for distributed PIR with low storage overhead , 2015, 2015 IEEE International Symposium on Information Theory (ISIT).

[18]  Itzhak Tamo,et al.  Bounds on locally recoverable codes with multiple recovering sets , 2014, 2014 IEEE International Symposium on Information Theory.

[19]  Jonathan Katz,et al.  On the efficiency of local decoding procedures for error-correcting codes , 2000, STOC '00.

[20]  David P. Woodruff A Quadratic Lower Bound for Three-Query Linear Locally Decodable Codes over Any Field , 2010, Journal of Computer Science and Technology.

[21]  Venkatesan Guruswami,et al.  Locality via Partially Lifted Codes , 2017, APPROX-RANDOM.

[22]  Liyasi Wu Revisiting the multiplicity codes: A new class of high-rate locally correctable codes , 2015, 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[23]  L. Litwin,et al.  Error control coding , 2001 .

[24]  Alan Guo,et al.  New affine-invariant codes from lifting , 2012, ITCS '13.