A Simple Deterministic Reduction for the Gap Minimum Distance of Code Problem

We present a simple deterministic gap-preserving reduction from SAT to the Minimum Distance of Code Problem over F2. We also show how to extend the reduction to work over any finite field (of constant size). Previously a randomized reduction was known due to Dumer, Micciancio, and Sudan [9], which was recently derandomized by Cheng and Wan [7, 8]. These reductions rely on highly non-trivial coding theoretic constructions whereas our reduction is elementary. As an additional feature, our reduction gives a constant factor hardness even for asymptotically good codes, i.e., having constant rate and relative distance. Previously it was not known how to achieve deterministic reductions for such codes.

[1]  Shachar Lovett Unconditional Pseudorandom Generators for Low Degree Polynomials , 2009, Theory Comput..

[2]  Subhash Khot Hardness of approximating the Shortest Vector Problem in high lp norms , 2006, J. Comput. Syst. Sci..

[3]  M. Ajtai The shortest vector problem in L2 is NP-hard for randomized reductions (extended abstract) , 1998, STOC '98.

[4]  Jin-Yi Cai,et al.  Approximating the SVP to within a Factor (1+1/dimxi) Is NP-Hard under Randomized Reductions , 1999, J. Comput. Syst. Sci..

[5]  Alexander Vardy,et al.  The intractability of computing the minimum distance of a code , 1997, IEEE Trans. Inf. Theory.

[6]  Miklós Ajtai,et al.  The shortest vector problem in L2 is NP-hard for randomized reductions (extended abstract) , 1998, STOC '98.

[7]  Subhash Khot,et al.  Hardness of approximating the shortest vector problem in high L/sub p/ norms , 2003, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings..

[8]  Subhash Khot Hardness of Approximating the Shortest Vector Problem in Lattices , 2004, FOCS.

[9]  Qi Cheng,et al.  A Deterministic Reduction for the Gap Minimum Distance Problem , 2012, IEEE Transactions on Information Theory.

[10]  Daniele Micciancio The Shortest Vector in a Lattice is Hard to Approximate to within Some Constant , 2000, SIAM J. Comput..

[11]  Emanuele Viola,et al.  The Sum of D Small-Bias Generators Fools Polynomials of Degree D , 2008, 2008 23rd Annual IEEE Conference on Computational Complexity.

[12]  Qi Cheng,et al.  Complexity of Decoding Positive-Rate Reed-Solomon Codes , 2008, ICALP.

[13]  Madhu Sudan,et al.  Hardness of approximating the minimum distance of a linear code , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[14]  Sanjeev Arora,et al.  Probabilistic checking of proofs: a new characterization of NP , 1998, JACM.

[15]  Qi Cheng,et al.  A Deterministic Reduction for the Gap Minimum Distance Problem , 2012, IEEE Trans. Inf. Theory.

[16]  László Lovász,et al.  Interactive proofs and the hardness of approximating cliques , 1996, JACM.

[17]  Emanuele Viola,et al.  Pseudorandom Bits for Polynomials , 2010, SIAM J. Comput..

[18]  Carsten Lund,et al.  Proof verification and the hardness of approximation problems , 1998, JACM.

[19]  Oded Regev,et al.  Tensor-based Hardness of the Shortest Vector Problem to within Almost Polynomial Factors , 2012, Theory Comput..

[20]  Madhu Sudan,et al.  Hardness of approximating the minimum distance of a linear code , 1999, IEEE Trans. Inf. Theory.