On Bounded Distance Decoding for General Lattices

摘要

A central problem in the algorithmic study of lattices is the closest vector problem: given a lattice L represented by some basis, and a target point y, find the lattice point closest to y. Bounded Distance Decoding is a variant of this problem in which the target is guaranteed to be close to the lattice, relative to the minimum distance λ_1(L) of the lattice. Specifically, in the α-Bounded Distance Decoding problem (α-BDD), we are given a lattice L and a vector y (within distance α·λ_1(L) from the lattice), and we are asked to find a lattice point x ∈ L within distance α·λ_1(L) from the target. In coding theory, the lattice points correspond to codewords, and the target points correspond to lattice points being perturbed by noise vectors. Since in coding theory the lattice is usually fixed, we may "pre-process" it before receiving any targets, to make the subsequent decoding faster. This leads us to consider α-BDD with pre-processing. We show how a recent technique of Aharonov and Regev can be used to solve a-BDD with pre-processing in polynomial time for α = O (((log n))~(1/2)). This improves upon the previously best known algorithm due to Klein which solved the problem for α = O(1). We also establish hardness results for α-BDD and α-BDD with pre-processing, as well as generalize our results to other l_p norms.