On List Recovery of High-Rate Tensor Codes

We continue the study of list recovery properties of high-rate tensor codes, initiated by Hemenway, Ron-Zewi, and Wootters (FOCS’17). In that work it was shown that the tensor product of an efficient (poly-time) high-rate globally list recoverable code is <italic>approximately</italic> locally list recoverable, as well as globally list recoverable in <italic>probabilistic</italic> near-linear time. This was used in turn to give the first capacity-achieving list decodable codes with (1) local list decoding algorithms, and with (2) <italic>probabilistic</italic> near-linear time global list decoding algorithms. This also yielded constant-rate codes approaching the Gilbert-Varshamov bound with <italic>probabilistic</italic> near-linear time global unique decoding algorithms. In the current work we obtain the following results: 1) The tensor product of an efficient (poly-time) high-rate globally list recoverable code is globally list recoverable in <italic>deterministic</italic> near-linear time. This yields in turn the first capacity-achieving list decodable codes with <italic>deterministic</italic> near-linear time global list decoding algorithms. It also gives constant-rate codes approaching the Gilbert-Varshamov bound with <italic>deterministic</italic> near-linear time global unique decoding algorithms. 2) If the base code is additionally locally correctable, then the tensor product is (genuinely) locally list recoverable. This yields in turn (non-explicit) constant-rate codes approaching the Gilbert-Varshamov bound that are <italic>locally correctable</italic> with query complexity and running time <inline-formula> <tex-math notation="LaTeX">$N^{o(1)}$ </tex-math></inline-formula>. This improves over prior work by Gopi et. al. (SODA’17; IEEE Transactions on Information Theory’18) that only gave query complexity <inline-formula> <tex-math notation="LaTeX">$N^{ \varepsilon }$ </tex-math></inline-formula> with rate that is exponentially small in <inline-formula> <tex-math notation="LaTeX">$1/ \varepsilon $ </tex-math></inline-formula>. 3) A nearly-tight combinatorial lower bound on output list size for list recovering high-rate tensor codes. This bound implies in turn a nearly-tight lower bound of <inline-formula> <tex-math notation="LaTeX">$N^{\Omega (1/\log \log N)}$ </tex-math></inline-formula> on the product of query complexity and output list size for locally list recovering high-rate tensor codes.

[1]  Madhu Sudan,et al.  Some improvements to total degree tests , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

[2]  Leonid A. Levin,et al.  Checking computations in polylogarithmic time , 1991, STOC '91.

[3]  Shubhangi Saraf,et al.  Improved Decoding of Folded Reed-Solomon and Multiplicity Codes , 2018, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS).

[4]  Venkatesan Guruswami,et al.  Efficiently decodable codes meeting Gilbert-Varshamov bound for low rates , 2004, SODA '04.

[5]  Venkatesan Guruswami,et al.  Explicit subspace designs , 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science.

[6]  Swastik Kopparty List-Decoding Multiplicity Codes , 2012, Theory Comput..

[7]  Shubhangi Saraf,et al.  High-rate codes with sublinear-time decoding , 2014, Electron. Colloquium Comput. Complex..

[8]  Eli Ben-Sasson,et al.  Tensor Products of Weakly Smooth Codes are Robust , 2008, Theory Comput..

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

[10]  Venkatesan Guruswami,et al.  Near-optimal linear-time codes for unique decoding and new list-decodable codes over smaller alphabets , 2002, STOC '02.

[11]  Oded Goldreich,et al.  A Sample of Samplers - A Computational Perspective on Sampling (survey) , 1997, Electron. Colloquium Comput. Complex..

[12]  Atri Rudra,et al.  Average-radius list-recoverability of random linear codes , 2018, SODA.

[13]  Noga Alon,et al.  A Fast and Simple Randomized Parallel Algorithm for the Maximal Independent Set Problem , 1985, J. Algorithms.

[14]  Paul Valiant,et al.  The Tensor Product of Two Codes Is Not Necessarily Robustly Testable , 2005, APPROX-RANDOM.

[15]  Michael Viderman A Combination of Testability and Decodability by Tensor Products , 2012, APPROX-RANDOM.

[16]  Ronitt Rubinfeld,et al.  Robust Characterizations of Polynomials with Applications to Program Testing , 1996, SIAM J. Comput..

[17]  Michael Viderman Strong LTCs with Inverse Poly-Log Rate and Constant Soundness , 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science.

[18]  Noga Alon,et al.  Linear time erasure codes with nearly optimal recovery , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[19]  Oded Goldreich,et al.  Locally testable codes and PCPs of almost-linear length , 2006, JACM.

[20]  Or Meir,et al.  The tensor product of two good codes is not necessarily robustly testable , 2012, Inf. Process. Lett..

[21]  Venkatesan Guruswami,et al.  List decoding reed-solomon, algebraic-geometric, and gabidulin subcodes up to the singleton bound , 2013, STOC '13.

[22]  Venkatesan Guruswami,et al.  The Existence of Concatenated Codes List-Decodable up to the Hamming Bound , 2010, IEEE Transactions on Information Theory.

[23]  Venkatesan Guruswami,et al.  Folded codes from function field towers and improved optimal rate list decoding , 2012, STOC '12.

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

[25]  Christian Thommesen The existence of binary linear concatenated codes with Reed - Solomon outer codes which asymptotically meet the Gilbert- Varshamov bound , 1983, IEEE Trans. Inf. Theory.

[26]  Alan Guo,et al.  List-Decoding Algorithms for Lifted Codes , 2016, IEEE Transactions on Information Theory.

[27]  E. Gilbert A comparison of signalling alphabets , 1952 .

[28]  Leonid A. Levin,et al.  A hard-core predicate for all one-way functions , 1989, STOC '89.

[29]  Venkatesan Guruswami,et al.  Explicit Codes Achieving List Decoding Capacity: Error-Correction With Optimal Redundancy , 2005, IEEE Transactions on Information Theory.

[30]  Noga Alon,et al.  A linear time erasure-resilient code with nearly optimal recovery , 1996, IEEE Trans. Inf. Theory.

[31]  F. Moore,et al.  Polynomial Codes Over Certain Finite Fields , 2017 .

[32]  Eli Ben-Sasson,et al.  Composition of semi-LTCs by two-wise tensor products , 2009, computational complexity.

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

[34]  Venkatesan Guruswami,et al.  Concatenated codes can achieve list-decoding capacity , 2008, SODA '08.

[35]  Venkatesan Guruswami,et al.  List decoding of error correcting codes , 2001 .

[36]  Or Meir Combinatorial Construction of Locally Testable Codes , 2009, SIAM J. Comput..

[37]  A. Rudra,et al.  List decoding and property testing of error-correcting codes , 2007 .

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

[39]  Avi Wigderson,et al.  Robust local testability of tensor products of LDPC codes ? , 2006 .

[40]  Shubhangi Saraf,et al.  Locally testable and Locally correctable Codes Approaching the Gilbert-Varshamov Bound , 2016, Electron. Colloquium Comput. Complex..

[41]  Eli Ben-Sasson,et al.  Robust locally testable codes and products of codes , 2004, Random Struct. Algorithms.

[42]  Brett Hemenway,et al.  Local List Recovery of High-Rate Tensor Codes & Applications , 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS).

[43]  Luca Trevisan,et al.  Pseudorandom generators without the XOR Lemma , 1999, Electron. Colloquium Comput. Complex..